runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3747200-1339098230/watcher-3747200-1339098230 -o /tmp/evaluation-result-3747200-1339098230/solver-3747200-1339098230 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3747200-1339098230.opb 452302316 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.05 0.28 0.09 2/177 11015
/proc/meminfo: memFree=23616448/32873844 swapFree=9160/9160
[pid=11015] ppid=11013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11015/stat : 11015 (npSolver-pbo-It) S 11013 11015 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375947609 9367552 275 33554432000 4194304 5064252 140734410137216 140734410136128 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11015/statm: 2287 275 233 213 0 72 0
[startup+0.0777449 s]
/proc/loadavg: 1.05 0.28 0.09 2/177 11015
/proc/meminfo: memFree=23616448/32873844 swapFree=9160/9160
[pid=11015] ppid=11013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11015/stat : 11015 (npSolver-pbo-It) S 11013 11015 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375947609 9367552 275 33554432000 4194304 5064252 140734410137216 140734410136128 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11015/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100302 s]
/proc/loadavg: 1.05 0.28 0.09 2/177 11015
/proc/meminfo: memFree=23616448/32873844 swapFree=9160/9160
[pid=11015] ppid=11013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11015/stat : 11015 (npSolver-pbo-It) S 11013 11015 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375947609 9367552 275 33554432000 4194304 5064252 140734410137216 140734410136128 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11015/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300263 s]
/proc/loadavg: 1.05 0.28 0.09 2/177 11015
/proc/meminfo: memFree=23616448/32873844 swapFree=9160/9160
[pid=11015] ppid=11013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11015/stat : 11015 (npSolver-pbo-It) S 11013 11015 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375947609 9367552 275 33554432000 4194304 5064252 140734410137216 140734410136128 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11015/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700266 s]
/proc/loadavg: 1.05 0.28 0.09 2/177 11015
/proc/meminfo: memFree=23616448/32873844 swapFree=9160/9160
[pid=11015] ppid=11013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11015/stat : 11015 (npSolver-pbo-It) S 11013 11015 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375947609 9367552 275 33554432000 4194304 5064252 140734410137216 140734410136128 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11015/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 1.13 0.31 0.10 3/179 11017
/proc/meminfo: memFree=23366644/32873844 swapFree=9160/9160
[pid=11015] ppid=11013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11015/stat : 11015 (npSolver-pbo-It) S 11013 11015 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375947609 9367552 275 33554432000 4194304 5064252 140734410137216 140734410136128 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11015/statm: 2287 275 233 213 0 72 0
[pid=11016] ppid=11015 vsize=229596 CPUtime=1.49 cores=0,2,4,6
/proc/11016/stat : 11016 (npSolver-pbo) R 11015 11015 10841 0 -1 4202496 41053 0 0 0 140 9 0 0 20 0 1 0 375947609 235106304 57016 33554432000 4194304 6004724 140733399056512 140733399052152 4582601 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11016/statm: 57399 57016 137 442 0 56953 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 238744
[startup+3.10027 s]
/proc/loadavg: 1.13 0.31 0.10 3/181 11019
/proc/meminfo: memFree=23162760/32873844 swapFree=9160/9160
[pid=11015] ppid=11013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11015/stat : 11015 (npSolver-pbo-It) S 11013 11015 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375947609 9367552 275 33554432000 4194304 5064252 140734410137216 140734410136128 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11015/statm: 2287 275 233 213 0 72 0
[pid=11016] ppid=11015 vsize=229596 CPUtime=2.94 cores=0,2,4,6
/proc/11016/stat : 11016 (npSolver-pbo) S 11015 11015 10841 0 -1 4202496 41086 12126 0 0 153 11 125 5 20 0 1 0 375947609 235106304 57035 33554432000 4194304 6004724 140733399056512 140733399042792 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11016/statm: 57399 57035 152 442 0 56953 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 238744
[startup+6.30026 s]
/proc/loadavg: 1.13 0.31 0.10 3/179 11022
/proc/meminfo: memFree=22919844/32873844 swapFree=9160/9160
[pid=11015] ppid=11013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11015/stat : 11015 (npSolver-pbo-It) S 11013 11015 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375947609 9367552 275 33554432000 4194304 5064252 140734410137216 140734410136128 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11015/statm: 2287 275 233 213 0 72 0
[pid=11016] ppid=11015 vsize=229600 CPUtime=5.81 cores=0,2,4,6
/proc/11016/stat : 11016 (npSolver-pbo) S 11015 11015 10841 0 -1 4202496 51917 21508 0 0 304 103 164 10 20 0 1 0 375947609 235110400 57061 33554432000 4194304 6004724 140733399056512 140733399042360 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11016/statm: 57400 57061 177 442 0 56954 0
Current children cumulated CPU time (s) 5.81
Current children cumulated vsize (KiB) 238748
[startup+12.7004 s]
/proc/loadavg: 1.26 0.36 0.12 3/180 11024
/proc/meminfo: memFree=22226268/32873844 swapFree=9160/9160
[pid=11015] ppid=11013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11015/stat : 11015 (npSolver-pbo-It) S 11013 11015 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375947609 9367552 275 33554432000 4194304 5064252 140734410137216 140734410136128 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11015/statm: 2287 275 233 213 0 72 0
[pid=11016] ppid=11015 vsize=229600 CPUtime=5.81 cores=0,2,4,6
/proc/11016/stat : 11016 (npSolver-pbo) S 11015 11015 10841 0 -1 4202496 51917 21508 0 0 304 103 164 10 20 0 1 0 375947609 235110400 57061 33554432000 4194304 6004724 140733399056512 140733399042360 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11016/statm: 57400 57061 177 442 0 56954 0
[pid=11024] ppid=11016 vsize=164928 CPUtime=6.85 cores=0,2,4,6
/proc/11024/stat : 11024 (glucosInc) R 11016 11015 10841 0 -1 4202496 31434 0 0 0 677 8 0 0 20 0 1 0 375948192 168886272 37405 33554432000 4194304 5654031 140735994027472 140735994015288 4232994 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11024/statm: 41232 37405 141 357 0 40872 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 403676
[startup+25.5004 s]
/proc/loadavg: 1.45 0.43 0.15 3/180 11024
/proc/meminfo: memFree=21289916/32873844 swapFree=9160/9160
[pid=11015] ppid=11013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11015/stat : 11015 (npSolver-pbo-It) S 11013 11015 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375947609 9367552 275 33554432000 4194304 5064252 140734410137216 140734410136128 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11015/statm: 2287 275 233 213 0 72 0
[pid=11016] ppid=11015 vsize=229600 CPUtime=5.81 cores=0,2,4,6
/proc/11016/stat : 11016 (npSolver-pbo) S 11015 11015 10841 0 -1 4202496 51917 21508 0 0 304 103 164 10 20 0 1 0 375947609 235110400 57061 33554432000 4194304 6004724 140733399056512 140733399042360 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11016/statm: 57400 57061 177 442 0 56954 0
[pid=11024] ppid=11016 vsize=166036 CPUtime=19.65 cores=0,2,4,6
/proc/11024/stat : 11024 (glucosInc) R 11016 11015 10841 0 -1 4202496 31690 0 0 0 1957 8 0 0 20 0 1 0 375948192 170020864 39194 33554432000 4194304 5654031 140735994027472 140735994025160 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11024/statm: 41509 39194 141 357 0 41149 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 404784
[startup+51.1004 s]
/proc/loadavg: 1.70 0.57 0.20 2/180 11029
/proc/meminfo: memFree=10790484/32873844 swapFree=9160/9160
[pid=11015] ppid=11013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11015/stat : 11015 (npSolver-pbo-It) S 11013 11015 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375947609 9367552 275 33554432000 4194304 5064252 140734410137216 140734410136128 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11015/statm: 2287 275 233 213 0 72 0
[pid=11016] ppid=11015 vsize=229600 CPUtime=44.51 cores=0,2,4,6
/proc/11016/stat : 11016 (npSolver-pbo) S 11015 11015 10841 0 -1 4202496 75026 85882 0 0 576 122 3720 33 20 0 1 0 375947609 235110400 57062 33554432000 4194304 6004724 140733399056512 140733399042360 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11016/statm: 57400 57062 178 442 0 56954 0
[pid=11028] ppid=11016 vsize=162996 CPUtime=6.56 cores=0,2,4,6
/proc/11028/stat : 11028 (glucosInc) R 11016 11015 10841 0 -1 4202496 31417 0 0 0 649 7 0 0 20 0 1 0 375952061 166907904 35747 33554432000 4194304 5654031 140736995986432 140736995974248 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11028/statm: 40749 35747 141 357 0 40389 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 401744
[startup+102.307 s]
/proc/loadavg: 2.92 1.11 0.41 3/182 11031
/proc/meminfo: memFree=9276736/32873844 swapFree=9160/9160
[pid=11015] ppid=11013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11015/stat : 11015 (npSolver-pbo-It) S 11013 11015 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375947609 9367552 275 33554432000 4194304 5064252 140734410137216 140734410136128 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11015/statm: 2287 275 233 213 0 72 0
[pid=11016] ppid=11015 vsize=229600 CPUtime=44.51 cores=0,2,4,6
/proc/11016/stat : 11016 (npSolver-pbo) S 11015 11015 10841 0 -1 4202496 75026 85882 0 0 576 122 3720 33 20 0 1 0 375947609 235110400 57062 33554432000 4194304 6004724 140733399056512 140733399042360 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11016/statm: 57400 57062 178 442 0 56954 0
[pid=11028] ppid=11016 vsize=199876 CPUtime=57.77 cores=0,2,4,6
/proc/11028/stat : 11028 (glucosInc) R 11016 11015 10841 0 -1 4202496 33905 0 0 0 5768 9 0 0 20 0 1 0 375952061 204673024 41877 33554432000 4194304 5654031 140736995986432 140736995974248 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11028/statm: 49969 41877 141 357 0 49609 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 438624
[startup+163.605 s]
/proc/loadavg: 2.85 1.41 0.55 3/181 11081
/proc/meminfo: memFree=26616560/32873844 swapFree=9160/9160
[pid=11015] ppid=11013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11015/stat : 11015 (npSolver-pbo-It) S 11013 11015 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375947609 9367552 275 33554432000 4194304 5064252 140734410137216 140734410136128 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11015/statm: 2287 275 233 213 0 72 0
[pid=11016] ppid=11015 vsize=229600 CPUtime=44.51 cores=0,2,4,6
/proc/11016/stat : 11016 (npSolver-pbo) S 11015 11015 10841 0 -1 4202496 75026 85882 0 0 576 122 3720 33 20 0 1 0 375947609 235110400 57062 33554432000 4194304 6004724 140733399056512 140733399042360 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11016/statm: 57400 57062 178 442 0 56954 0
[pid=11028] ppid=11016 vsize=203172 CPUtime=119.06 cores=0,2,4,6
/proc/11028/stat : 11028 (glucosInc) R 11016 11015 10841 0 -1 4202496 37813 0 0 0 11892 14 0 0 20 0 1 0 375952061 208048128 42279 33554432000 4194304 5654031 140736995986432 140736995974248 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11028/statm: 50793 42279 141 357 0 50433 0
Current children cumulated CPU time (s) 163.57
Current children cumulated vsize (KiB) 441920
[startup+225.604 s]
/proc/loadavg: 2.39 1.52 0.63 4/181 11081
/proc/meminfo: memFree=26576460/32873844 swapFree=9160/9160
[pid=11015] ppid=11013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11015/stat : 11015 (npSolver-pbo-It) S 11013 11015 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375947609 9367552 275 33554432000 4194304 5064252 140734410137216 140734410136128 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11015/statm: 2287 275 233 213 0 72 0
[pid=11016] ppid=11015 vsize=229600 CPUtime=44.51 cores=0,2,4,6
/proc/11016/stat : 11016 (npSolver-pbo) S 11015 11015 10841 0 -1 4202496 75026 85882 0 0 576 122 3720 33 20 0 1 0 375947609 235110400 57062 33554432000 4194304 6004724 140733399056512 140733399042360 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11016/statm: 57400 57062 178 442 0 56954 0
[pid=11028] ppid=11016 vsize=206388 CPUtime=181.05 cores=0,2,4,6
/proc/11028/stat : 11028 (glucosInc) R 11016 11015 10841 0 -1 4202496 40514 0 0 0 18088 17 0 0 20 0 1 0 375952061 211341312 42980 33554432000 4194304 5654031 140736995986432 140736995974248 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11028/statm: 51597 42980 141 357 0 51237 0
Current children cumulated CPU time (s) 225.56
Current children cumulated vsize (KiB) 445136
[startup+282.851 s]
/proc/loadavg: 2.18 1.63 0.73 3/181 11083
/proc/meminfo: memFree=26570652/32873844 swapFree=9160/9160
[pid=11015] ppid=11013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11015/stat : 11015 (npSolver-pbo-It) S 11013 11015 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375947609 9367552 275 33554432000 4194304 5064252 140734410137216 140734410136128 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11015/statm: 2287 275 233 213 0 72 0
[pid=11016] ppid=11015 vsize=229600 CPUtime=242.05 cores=0,2,4,6
/proc/11016/stat : 11016 (npSolver-pbo) S 11015 11015 10841 0 -1 4202496 86580 127178 0 0 711 132 23308 54 20 0 1 0 375947609 235110400 57062 33554432000 4194304 6004724 140733399056512 140733399042360 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11016/statm: 57400 57062 178 442 0 56954 0
[pid=11083] ppid=11016 vsize=199532 CPUtime=40.74 cores=0,2,4,6
################
# More data... #
################
/proc/meminfo: memFree=25831108/32873844 swapFree=9160/9160
[pid=11015] ppid=11013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11015/stat : 11015 (npSolver-pbo-It) S 11013 11015 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375947609 9367552 275 33554432000 4194304 5064252 140734410137216 140734410136128 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11015/statm: 2287 275 233 213 0 72 0
[pid=11016] ppid=11015 vsize=229600 CPUtime=665.79 cores=0,2,4,6
/proc/11016/stat : 11016 (npSolver-pbo) S 11015 11015 10841 0 -1 4202496 109688 210968 0 0 982 151 65344 102 20 0 1 0 375947609 235110400 57062 33554432000 4194304 6004724 140733399056512 140733399042360 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11016/statm: 57400 57062 178 442 0 56954 0
[pid=11094] ppid=11016 vsize=1048776 CPUtime=696.28 cores=0,2,4,6
/proc/11094/stat : 11094 (glucosInc) R 11016 11015 10841 0 -1 4202496 51160 0 0 0 69583 45 0 0 20 0 1 0 376014197 1073946624 189901 33554432000 4194304 5654031 140733515186192 140733515183976 4215168 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11094/statm: 262194 189901 141 357 0 261834 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 1287524
[startup+1422.3 s]
/proc/loadavg: 2.00 1.99 1.60 3/181 11122
/proc/meminfo: memFree=25736544/32873844 swapFree=9160/9160
[pid=11015] ppid=11013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11015/stat : 11015 (npSolver-pbo-It) S 11013 11015 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375947609 9367552 275 33554432000 4194304 5064252 140734410137216 140734410136128 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11015/statm: 2287 275 233 213 0 72 0
[pid=11016] ppid=11015 vsize=229600 CPUtime=665.79 cores=0,2,4,6
/proc/11016/stat : 11016 (npSolver-pbo) S 11015 11015 10841 0 -1 4202496 109688 210968 0 0 982 151 65344 102 20 0 1 0 375947609 235110400 57062 33554432000 4194304 6004724 140733399056512 140733399042360 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11016/statm: 57400 57062 178 442 0 56954 0
[pid=11094] ppid=11016 vsize=1049204 CPUtime=756.26 cores=0,2,4,6
/proc/11094/stat : 11094 (glucosInc) R 11016 11015 10841 0 -1 4202496 51297 0 0 0 75579 47 0 0 20 0 1 0 376014197 1074384896 210979 33554432000 4194304 5654031 140733515186192 140733515183976 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11094/statm: 262301 210979 141 357 0 261941 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 1287952
[startup+1482.31 s]
/proc/loadavg: 2.05 2.00 1.63 3/181 11122
/proc/meminfo: memFree=26430716/32873844 swapFree=9160/9160
[pid=11015] ppid=11013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11015/stat : 11015 (npSolver-pbo-It) S 11013 11015 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375947609 9367552 275 33554432000 4194304 5064252 140734410137216 140734410136128 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11015/statm: 2287 275 233 213 0 72 0
[pid=11016] ppid=11015 vsize=229600 CPUtime=665.79 cores=0,2,4,6
/proc/11016/stat : 11016 (npSolver-pbo) S 11015 11015 10841 0 -1 4202496 109688 210968 0 0 982 151 65344 102 20 0 1 0 375947609 235110400 57062 33554432000 4194304 6004724 140733399056512 140733399042360 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11016/statm: 57400 57062 178 442 0 56954 0
[pid=11094] ppid=11016 vsize=271384 CPUtime=816.26 cores=0,2,4,6
/proc/11094/stat : 11094 (glucosInc) R 11016 11015 10841 0 -1 4202496 52829 0 0 0 81574 52 0 0 20 0 1 0 376014197 277897216 58259 33554432000 4194304 5654031 140733515186192 140733515184280 4215076 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11094/statm: 67846 58259 141 357 0 67486 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 510132
[startup+1542.3 s]
/proc/loadavg: 2.02 2.00 1.65 3/181 11122
/proc/meminfo: memFree=26295788/32873844 swapFree=9160/9160
[pid=11015] ppid=11013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11015/stat : 11015 (npSolver-pbo-It) S 11013 11015 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375947609 9367552 275 33554432000 4194304 5064252 140734410137216 140734410136128 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11015/statm: 2287 275 233 213 0 72 0
[pid=11016] ppid=11015 vsize=229600 CPUtime=665.79 cores=0,2,4,6
/proc/11016/stat : 11016 (npSolver-pbo) S 11015 11015 10841 0 -1 4202496 109688 210968 0 0 982 151 65344 102 20 0 1 0 375947609 235110400 57062 33554432000 4194304 6004724 140733399056512 140733399042360 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11016/statm: 57400 57062 178 442 0 56954 0
[pid=11094] ppid=11016 vsize=485180 CPUtime=876.24 cores=0,2,4,6
/proc/11094/stat : 11094 (glucosInc) R 11016 11015 10841 0 -1 4202496 53906 0 0 0 87569 55 0 0 20 0 1 0 376014197 496824320 92551 33554432000 4194304 5654031 140733515186192 140733515183976 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11094/statm: 121295 92551 141 357 0 120935 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 723928
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.67 3/182 11126
/proc/meminfo: memFree=26203360/32873844 swapFree=9160/9160
[pid=11015] ppid=11013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11015/stat : 11015 (npSolver-pbo-It) S 11013 11015 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375947609 9367552 275 33554432000 4194304 5064252 140734410137216 140734410136128 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11015/statm: 2287 275 233 213 0 72 0
[pid=11016] ppid=11015 vsize=229600 CPUtime=665.79 cores=0,2,4,6
/proc/11016/stat : 11016 (npSolver-pbo) S 11015 11015 10841 0 -1 4202496 109688 210968 0 0 982 151 65344 102 20 0 1 0 375947609 235110400 57062 33554432000 4194304 6004724 140733399056512 140733399042360 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11016/statm: 57400 57062 178 442 0 56954 0
[pid=11094] ppid=11016 vsize=485332 CPUtime=936.23 cores=0,2,4,6
/proc/11094/stat : 11094 (glucosInc) R 11016 11015 10841 0 -1 4202496 53998 0 0 0 93567 56 0 0 20 0 1 0 376014197 496979968 115127 33554432000 4194304 5654031 140733515186192 140733515183976 4215017 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11094/statm: 121333 115127 141 357 0 120973 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 724080
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.68 3/181 11126
/proc/meminfo: memFree=26021336/32873844 swapFree=9160/9160
[pid=11015] ppid=11013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11015/stat : 11015 (npSolver-pbo-It) S 11013 11015 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375947609 9367552 275 33554432000 4194304 5064252 140734410137216 140734410136128 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11015/statm: 2287 275 233 213 0 72 0
[pid=11016] ppid=11015 vsize=229600 CPUtime=665.79 cores=0,2,4,6
/proc/11016/stat : 11016 (npSolver-pbo) S 11015 11015 10841 0 -1 4202496 109688 210968 0 0 982 151 65344 102 20 0 1 0 375947609 235110400 57062 33554432000 4194304 6004724 140733399056512 140733399042360 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11016/statm: 57400 57062 178 442 0 56954 0
[pid=11094] ppid=11016 vsize=700740 CPUtime=996.22 cores=0,2,4,6
/proc/11094/stat : 11094 (glucosInc) R 11016 11015 10841 0 -1 4202496 54679 0 0 0 99564 58 0 0 20 0 1 0 376014197 717557760 153111 33554432000 4194304 5654031 140733515186192 140733515183976 4232968 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11094/statm: 175185 153111 141 357 0 174825 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 939488
[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 1.71 3/181 11126
/proc/meminfo: memFree=25879024/32873844 swapFree=9160/9160
[pid=11015] ppid=11013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11015/stat : 11015 (npSolver-pbo-It) S 11013 11015 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375947609 9367552 275 33554432000 4194304 5064252 140734410137216 140734410136128 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11015/statm: 2287 275 233 213 0 72 0
[pid=11016] ppid=11015 vsize=229600 CPUtime=665.79 cores=0,2,4,6
/proc/11016/stat : 11016 (npSolver-pbo) S 11015 11015 10841 0 -1 4202496 109688 210968 0 0 982 151 65344 102 20 0 1 0 375947609 235110400 57062 33554432000 4194304 6004724 140733399056512 140733399042360 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11016/statm: 57400 57062 178 442 0 56954 0
[pid=11094] ppid=11016 vsize=1053740 CPUtime=1056.21 cores=0,2,4,6
/proc/11094/stat : 11094 (glucosInc) R 11016 11015 10841 0 -1 4202496 55859 0 0 0 105558 63 0 0 20 0 1 0 376014197 1079029760 183418 33554432000 4194304 5654031 140733515186192 140733515183976 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11094/statm: 263435 183418 141 357 0 263075 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 1292488
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 1.72 3/180 11126
/proc/meminfo: memFree=26350872/32873844 swapFree=9160/9160
[pid=11015] ppid=11013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11015/stat : 11015 (npSolver-pbo-It) S 11013 11015 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375947609 9367552 275 33554432000 4194304 5064252 140734410137216 140734410136128 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11015/statm: 2287 275 233 213 0 72 0
[pid=11016] ppid=11015 vsize=229600 CPUtime=665.79 cores=0,2,4,6
/proc/11016/stat : 11016 (npSolver-pbo) S 11015 11015 10841 0 -1 4202496 109688 210968 0 0 982 151 65344 102 20 0 1 0 375947609 235110400 57062 33554432000 4194304 6004724 140733399056512 140733399042360 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11016/statm: 57400 57062 178 442 0 56954 0
[pid=11094] ppid=11016 vsize=280272 CPUtime=1116.2 cores=0,2,4,6
/proc/11094/stat : 11094 (glucosInc) R 11016 11015 10841 0 -1 4202496 58400 0 0 0 111550 70 0 0 20 0 1 0 376014197 286998528 63608 33554432000 4194304 5654031 140733515186192 140733515174008 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11094/statm: 70068 63608 141 357 0 69708 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 519020
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.02 2.01 1.73 3/180 11126
/proc/meminfo: memFree=26304420/32873844 swapFree=9160/9160
[pid=11015] ppid=11013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11015/stat : 11015 (npSolver-pbo-It) S 11013 11015 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375947609 9367552 275 33554432000 4194304 5064252 140734410137216 140734410136128 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11015/statm: 2287 275 233 213 0 72 0
[pid=11016] ppid=11015 vsize=229600 CPUtime=665.79 cores=0,2,4,6
/proc/11016/stat : 11016 (npSolver-pbo) S 11015 11015 10841 0 -1 4202496 109688 210968 0 0 982 151 65344 102 20 0 1 0 375947609 235110400 57062 33554432000 4194304 6004724 140733399056512 140733399042360 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11016/statm: 57400 57062 178 442 0 56954 0
[pid=11094] ppid=11016 vsize=280272 CPUtime=1134.3 cores=0,2,4,6
/proc/11094/stat : 11094 (glucosInc) R 11016 11015 10841 0 -1 4202496 58411 0 0 0 113360 70 0 0 20 0 1 0 376014197 286998528 65656 33554432000 4194304 5654031 140733515186192 140733515174008 4215040 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11094/statm: 70068 65656 141 357 0 69708 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 519020
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.02 2.01 1.73 3/180 11126
/proc/meminfo: memFree=26304420/32873844 swapFree=9160/9160
[pid=11015] ppid=11013 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11015/stat : 11015 (npSolver-pbo-It) S 11013 11015 10841 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375947609 9367552 275 33554432000 4194304 5064252 140734410137216 140734410136128 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11015/statm: 2287 275 233 213 0 72 0
[pid=11016] ppid=11015 vsize=229600 CPUtime=665.79 cores=0,2,4,6
/proc/11016/stat : 11016 (npSolver-pbo) S 11015 11015 10841 0 -1 4202496 109688 210968 0 0 982 151 65344 102 20 0 1 0 375947609 235110400 57062 33554432000 4194304 6004724 140733399056512 140733399042360 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11016/statm: 57400 57062 178 442 0 56954 0
[pid=11094] ppid=11016 vsize=280272 CPUtime=1134.3 cores=0,2,4,6
/proc/11094/stat : 11094 (glucosInc) R 11016 11015 10841 0 -1 4202496 58411 0 0 0 113360 70 0 0 20 0 1 0 376014197 286998528 65656 33554432000 4194304 5654031 140733515186192 140733515174008 4215040 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11094/statm: 70068 65656 141 357 0 69708 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 519020
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11015 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.42
CPU time (s): 1800.09
CPU user time (s): 1796.86
CPU system time (s): 3.23
CPU usage (%): 99.9819
Max. virtual memory (cumulated for all children) (KiB): 1345588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 359
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 1
runsolver used 3.23151 second user time and 8.69468 second system time
The end