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-3746532-1339107075/watcher-3746532-1339107075 -o /tmp/evaluation-result-3746532-1339107075/solver-3746532-1339107075 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3746532-1339107075.opb 385249570 HOME HOME
running on 4 cores: 1,3,5,7
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.92 1.98 1.99 3/178 23268
/proc/meminfo: memFree=29023772/32873844 swapFree=7120/7120
[pid=23268] ppid=23266 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23268/stat : 23268 (npSolver-pbo-It) S 23266 23268 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376832411 9367552 275 33554432000 4194304 5064252 140735544216960 140735544215872 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23268/statm: 2287 275 233 213 0 72 0
[startup+0.036021 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 23268
/proc/meminfo: memFree=29023772/32873844 swapFree=7120/7120
[pid=23268] ppid=23266 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23268/stat : 23268 (npSolver-pbo-It) S 23266 23268 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376832411 9367552 275 33554432000 4194304 5064252 140735544216960 140735544215872 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23268/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100301 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 23268
/proc/meminfo: memFree=29023772/32873844 swapFree=7120/7120
[pid=23268] ppid=23266 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23268/stat : 23268 (npSolver-pbo-It) S 23266 23268 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376832411 9367552 275 33554432000 4194304 5064252 140735544216960 140735544215872 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23268/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300165 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 23268
/proc/meminfo: memFree=29023772/32873844 swapFree=7120/7120
[pid=23268] ppid=23266 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23268/stat : 23268 (npSolver-pbo-It) S 23266 23268 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376832411 9367552 275 33554432000 4194304 5064252 140735544216960 140735544215872 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23268/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700271 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 23268
/proc/meminfo: memFree=29023772/32873844 swapFree=7120/7120
[pid=23268] ppid=23266 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23268/stat : 23268 (npSolver-pbo-It) S 23266 23268 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376832411 9367552 275 33554432000 4194304 5064252 140735544216960 140735544215872 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23268/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50046 s]
/proc/loadavg: 1.92 1.98 1.99 3/181 23274
/proc/meminfo: memFree=28996556/32873844 swapFree=7120/7120
[pid=23268] ppid=23266 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23268/stat : 23268 (npSolver-pbo-It) S 23266 23268 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376832411 9367552 275 33554432000 4194304 5064252 140735544216960 140735544215872 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23268/statm: 2287 275 233 213 0 72 0
[pid=23269] ppid=23268 vsize=15812 CPUtime=0.49 cores=1,3,5,7
/proc/23269/stat : 23269 (npSolver-pbo) S 23268 23268 22344 0 -1 4202496 5833 6475 0 0 13 2 33 1 20 0 1 0 376832411 16191488 3454 33554432000 4194304 6004724 140737392335680 140737392321960 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/23269/statm: 3953 3454 152 442 0 3507 0
[pid=23274] ppid=23269 vsize=13828 CPUtime=0.98 cores=1,3,5,7
/proc/23274/stat : 23274 (glucosInc) R 23269 23268 22344 0 -1 4202496 3149 0 0 0 98 0 0 0 20 0 1 0 376832462 14159872 2733 33554432000 4194304 5654031 140734048405760 140734048403656 4234964 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23274/statm: 3457 2733 141 357 0 3097 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 38788
[startup+3.10051 s]
/proc/loadavg: 1.92 1.98 1.99 3/181 23274
/proc/meminfo: memFree=28993332/32873844 swapFree=7120/7120
[pid=23268] ppid=23266 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23268/stat : 23268 (npSolver-pbo-It) S 23266 23268 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376832411 9367552 275 33554432000 4194304 5064252 140735544216960 140735544215872 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23268/statm: 2287 275 233 213 0 72 0
[pid=23269] ppid=23268 vsize=15812 CPUtime=0.49 cores=1,3,5,7
/proc/23269/stat : 23269 (npSolver-pbo) S 23268 23268 22344 0 -1 4202496 5833 6475 0 0 13 2 33 1 20 0 1 0 376832411 16191488 3454 33554432000 4194304 6004724 140737392335680 140737392321960 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/23269/statm: 3953 3454 152 442 0 3507 0
[pid=23274] ppid=23269 vsize=14504 CPUtime=2.57 cores=1,3,5,7
/proc/23274/stat : 23274 (glucosInc) R 23269 23268 22344 0 -1 4202496 4677 0 0 0 257 0 0 0 20 0 1 0 376832462 14852096 3030 33554432000 4194304 5654031 140734048405760 140734048393576 4232782 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23274/statm: 3626 3030 142 357 0 3266 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 39464
[startup+6.30043 s]
/proc/loadavg: 1.93 1.98 1.99 3/181 23274
/proc/meminfo: memFree=28975104/32873844 swapFree=7120/7120
[pid=23268] ppid=23266 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23268/stat : 23268 (npSolver-pbo-It) S 23266 23268 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376832411 9367552 275 33554432000 4194304 5064252 140735544216960 140735544215872 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23268/statm: 2287 275 233 213 0 72 0
[pid=23269] ppid=23268 vsize=15812 CPUtime=0.49 cores=1,3,5,7
/proc/23269/stat : 23269 (npSolver-pbo) S 23268 23268 22344 0 -1 4202496 5833 6475 0 0 13 2 33 1 20 0 1 0 376832411 16191488 3454 33554432000 4194304 6004724 140737392335680 140737392321960 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/23269/statm: 3953 3454 152 442 0 3507 0
[pid=23274] ppid=23269 vsize=28728 CPUtime=5.78 cores=1,3,5,7
/proc/23274/stat : 23274 (glucosInc) R 23269 23268 22344 0 -1 4202496 5622 0 0 0 577 1 0 0 20 0 1 0 376832462 29417472 5932 33554432000 4194304 5654031 140734048405760 140734048393576 4232976 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23274/statm: 7182 5932 142 357 0 6822 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 53688
[startup+12.7005 s]
/proc/loadavg: 1.93 1.98 1.99 3/181 23274
/proc/meminfo: memFree=28946444/32873844 swapFree=7120/7120
[pid=23268] ppid=23266 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23268/stat : 23268 (npSolver-pbo-It) S 23266 23268 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376832411 9367552 275 33554432000 4194304 5064252 140735544216960 140735544215872 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23268/statm: 2287 275 233 213 0 72 0
[pid=23269] ppid=23268 vsize=15812 CPUtime=0.49 cores=1,3,5,7
/proc/23269/stat : 23269 (npSolver-pbo) S 23268 23268 22344 0 -1 4202496 5833 6475 0 0 13 2 33 1 20 0 1 0 376832411 16191488 3454 33554432000 4194304 6004724 140737392335680 140737392321960 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/23269/statm: 3953 3454 152 442 0 3507 0
[pid=23274] ppid=23269 vsize=37684 CPUtime=12.17 cores=1,3,5,7
/proc/23274/stat : 23274 (glucosInc) R 23269 23268 22344 0 -1 4202496 6326 0 0 0 1216 1 0 0 20 0 1 0 376832462 38588416 8845 33554432000 4194304 5654031 140734048405760 140734048393576 4208659 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23274/statm: 9421 8845 142 357 0 9061 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 62644
[startup+25.5004 s]
/proc/loadavg: 1.95 1.98 1.99 3/181 23274
/proc/meminfo: memFree=28906428/32873844 swapFree=7120/7120
[pid=23268] ppid=23266 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23268/stat : 23268 (npSolver-pbo-It) S 23266 23268 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376832411 9367552 275 33554432000 4194304 5064252 140735544216960 140735544215872 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23268/statm: 2287 275 233 213 0 72 0
[pid=23269] ppid=23268 vsize=15812 CPUtime=0.49 cores=1,3,5,7
/proc/23269/stat : 23269 (npSolver-pbo) S 23268 23268 22344 0 -1 4202496 5833 6475 0 0 13 2 33 1 20 0 1 0 376832411 16191488 3454 33554432000 4194304 6004724 140737392335680 140737392321960 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/23269/statm: 3953 3454 152 442 0 3507 0
[pid=23274] ppid=23269 vsize=56360 CPUtime=24.98 cores=1,3,5,7
/proc/23274/stat : 23274 (glucosInc) R 23269 23268 22344 0 -1 4202496 6846 0 0 0 2496 2 0 0 20 0 1 0 376832462 57712640 11918 33554432000 4194304 5654031 140734048405760 140734048393576 4215076 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23274/statm: 14090 11918 142 357 0 13730 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 81320
[startup+51.1004 s]
/proc/loadavg: 1.96 1.98 1.99 3/181 23275
/proc/meminfo: memFree=28944956/32873844 swapFree=7120/7120
[pid=23268] ppid=23266 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23268/stat : 23268 (npSolver-pbo-It) S 23266 23268 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376832411 9367552 275 33554432000 4194304 5064252 140735544216960 140735544215872 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23268/statm: 2287 275 233 213 0 72 0
[pid=23269] ppid=23268 vsize=15812 CPUtime=0.49 cores=1,3,5,7
/proc/23269/stat : 23269 (npSolver-pbo) S 23268 23268 22344 0 -1 4202496 5833 6475 0 0 13 2 33 1 20 0 1 0 376832411 16191488 3454 33554432000 4194304 6004724 140737392335680 140737392321960 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/23269/statm: 3953 3454 152 442 0 3507 0
[pid=23274] ppid=23269 vsize=75012 CPUtime=50.57 cores=1,3,5,7
/proc/23274/stat : 23274 (glucosInc) R 23269 23268 22344 0 -1 4202496 8886 0 0 0 5053 4 0 0 20 0 1 0 376832462 76812288 17026 33554432000 4194304 5654031 140734048405760 140734048393576 4232912 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23274/statm: 18753 17026 142 357 0 18393 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 99972
[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/181 23275
/proc/meminfo: memFree=28922556/32873844 swapFree=7120/7120
[pid=23268] ppid=23266 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23268/stat : 23268 (npSolver-pbo-It) S 23266 23268 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376832411 9367552 275 33554432000 4194304 5064252 140735544216960 140735544215872 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23268/statm: 2287 275 233 213 0 72 0
[pid=23269] ppid=23268 vsize=15812 CPUtime=0.49 cores=1,3,5,7
/proc/23269/stat : 23269 (npSolver-pbo) S 23268 23268 22344 0 -1 4202496 5833 6475 0 0 13 2 33 1 20 0 1 0 376832411 16191488 3454 33554432000 4194304 6004724 140737392335680 140737392321960 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/23269/statm: 3953 3454 152 442 0 3507 0
[pid=23274] ppid=23269 vsize=94508 CPUtime=101.77 cores=1,3,5,7
/proc/23274/stat : 23274 (glucosInc) R 23269 23268 22344 0 -1 4202496 12520 0 0 0 10167 10 0 0 20 0 1 0 376832462 96776192 22899 33554432000 4194304 5654031 140734048405760 140734048393576 4234964 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23274/statm: 23627 22900 142 357 0 23267 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 119468
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/181 23275
/proc/meminfo: memFree=28897356/32873844 swapFree=7120/7120
[pid=23268] ppid=23266 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23268/stat : 23268 (npSolver-pbo-It) S 23266 23268 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376832411 9367552 275 33554432000 4194304 5064252 140735544216960 140735544215872 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23268/statm: 2287 275 233 213 0 72 0
[pid=23269] ppid=23268 vsize=15812 CPUtime=0.49 cores=1,3,5,7
/proc/23269/stat : 23269 (npSolver-pbo) S 23268 23268 22344 0 -1 4202496 5833 6475 0 0 13 2 33 1 20 0 1 0 376832411 16191488 3454 33554432000 4194304 6004724 140737392335680 140737392321960 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/23269/statm: 3953 3454 152 442 0 3507 0
[pid=23274] ppid=23269 vsize=144296 CPUtime=161.74 cores=1,3,5,7
/proc/23274/stat : 23274 (glucosInc) R 23269 23268 22344 0 -1 4202496 16384 0 0 0 16158 16 0 0 20 0 1 0 376832462 147759104 29661 33554432000 4194304 5654031 140734048405760 140734048393576 4232984 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23274/statm: 36074 29661 142 357 0 35714 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 169256
[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/181 23275
/proc/meminfo: memFree=28934304/32873844 swapFree=7120/7120
[pid=23268] ppid=23266 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23268/stat : 23268 (npSolver-pbo-It) S 23266 23268 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376832411 9367552 275 33554432000 4194304 5064252 140735544216960 140735544215872 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23268/statm: 2287 275 233 213 0 72 0
[pid=23269] ppid=23268 vsize=15812 CPUtime=0.49 cores=1,3,5,7
/proc/23269/stat : 23269 (npSolver-pbo) S 23268 23268 22344 0 -1 4202496 5833 6475 0 0 13 2 33 1 20 0 1 0 376832411 16191488 3454 33554432000 4194304 6004724 140737392335680 140737392321960 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/23269/statm: 3953 3454 152 442 0 3507 0
[pid=23274] ppid=23269 vsize=144296 CPUtime=221.73 cores=1,3,5,7
/proc/23274/stat : 23274 (glucosInc) R 23269 23268 22344 0 -1 4202496 19613 0 0 0 22153 20 0 0 20 0 1 0 376832462 147759104 28637 33554432000 4194304 5654031 140734048405760 140734048393576 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23274/statm: 36074 28637 142 357 0 35714 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 169256
[startup+282.3 s]
################
# More data... #
################
/proc/loadavg: 2.00 2.02 2.00 3/181 23287
/proc/meminfo: memFree=28746032/32873844 swapFree=7120/7120
[pid=23268] ppid=23266 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23268/stat : 23268 (npSolver-pbo-It) S 23266 23268 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376832411 9367552 275 33554432000 4194304 5064252 140735544216960 140735544215872 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23268/statm: 2287 275 233 213 0 72 0
[pid=23269] ppid=23268 vsize=15812 CPUtime=0.49 cores=1,3,5,7
/proc/23269/stat : 23269 (npSolver-pbo) S 23268 23268 22344 0 -1 4202496 5833 6475 0 0 13 2 33 1 20 0 1 0 376832411 16191488 3454 33554432000 4194304 6004724 140737392335680 140737392321960 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/23269/statm: 3953 3454 152 442 0 3507 0
[pid=23274] ppid=23269 vsize=209280 CPUtime=1361.46 cores=1,3,5,7
/proc/23274/stat : 23274 (glucosInc) R 23269 23268 22344 0 -1 4202496 55057 0 0 0 136047 99 0 0 20 0 1 0 376832462 214302720 40193 33554432000 4194304 5654031 140734048405760 140734048393576 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23274/statm: 52320 40193 142 357 0 51960 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 234240
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 23287
/proc/meminfo: memFree=28545188/32873844 swapFree=7120/7120
[pid=23268] ppid=23266 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23268/stat : 23268 (npSolver-pbo-It) S 23266 23268 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376832411 9367552 275 33554432000 4194304 5064252 140735544216960 140735544215872 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23268/statm: 2287 275 233 213 0 72 0
[pid=23269] ppid=23268 vsize=15812 CPUtime=0.49 cores=1,3,5,7
/proc/23269/stat : 23269 (npSolver-pbo) S 23268 23268 22344 0 -1 4202496 5833 6475 0 0 13 2 33 1 20 0 1 0 376832411 16191488 3454 33554432000 4194304 6004724 140737392335680 140737392321960 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/23269/statm: 3953 3454 152 442 0 3507 0
[pid=23274] ppid=23269 vsize=291372 CPUtime=1421.42 cores=1,3,5,7
/proc/23274/stat : 23274 (glucosInc) R 23269 23268 22344 0 -1 4202496 55814 0 0 0 142042 100 0 0 20 0 1 0 376832462 298364928 66193 33554432000 4194304 5654031 140734048405760 140734048393576 4232994 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23274/statm: 72843 66193 142 357 0 72483 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 316332
[startup+1482.3 s]
/proc/loadavg: 2.09 2.04 2.01 4/181 23334
/proc/meminfo: memFree=28228400/32873844 swapFree=7120/7120
[pid=23268] ppid=23266 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23268/stat : 23268 (npSolver-pbo-It) S 23266 23268 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376832411 9367552 275 33554432000 4194304 5064252 140735544216960 140735544215872 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23268/statm: 2287 275 233 213 0 72 0
[pid=23269] ppid=23268 vsize=15812 CPUtime=0.49 cores=1,3,5,7
/proc/23269/stat : 23269 (npSolver-pbo) S 23268 23268 22344 0 -1 4202496 5833 6475 0 0 13 2 33 1 20 0 1 0 376832411 16191488 3454 33554432000 4194304 6004724 140737392335680 140737392321960 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/23269/statm: 3953 3454 152 442 0 3507 0
[pid=23274] ppid=23269 vsize=161860 CPUtime=1481.4 cores=1,3,5,7
/proc/23274/stat : 23274 (glucosInc) R 23269 23268 22344 0 -1 4202496 58237 0 0 0 148034 106 0 0 20 0 1 0 376832462 165744640 37688 33554432000 4194304 5654031 140734048405760 140734048393576 4232984 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23274/statm: 40465 37688 142 357 0 40105 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 186820
[startup+1542.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/181 23334
/proc/meminfo: memFree=28111820/32873844 swapFree=7120/7120
[pid=23268] ppid=23266 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23268/stat : 23268 (npSolver-pbo-It) S 23266 23268 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376832411 9367552 275 33554432000 4194304 5064252 140735544216960 140735544215872 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23268/statm: 2287 275 233 213 0 72 0
[pid=23269] ppid=23268 vsize=15812 CPUtime=0.49 cores=1,3,5,7
/proc/23269/stat : 23269 (npSolver-pbo) S 23268 23268 22344 0 -1 4202496 5833 6475 0 0 13 2 33 1 20 0 1 0 376832411 16191488 3454 33554432000 4194304 6004724 140737392335680 140737392321960 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/23269/statm: 3953 3454 152 442 0 3507 0
[pid=23274] ppid=23269 vsize=293836 CPUtime=1541.4 cores=1,3,5,7
/proc/23274/stat : 23274 (glucosInc) R 23269 23268 22344 0 -1 4202496 59202 0 0 0 154032 108 0 0 20 0 1 0 376832462 300888064 63692 33554432000 4194304 5654031 140734048405760 140734048393576 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23274/statm: 73459 63692 142 357 0 73099 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 318796
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 23335
/proc/meminfo: memFree=28010448/32873844 swapFree=7120/7120
[pid=23268] ppid=23266 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23268/stat : 23268 (npSolver-pbo-It) S 23266 23268 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376832411 9367552 275 33554432000 4194304 5064252 140735544216960 140735544215872 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23268/statm: 2287 275 233 213 0 72 0
[pid=23269] ppid=23268 vsize=15812 CPUtime=0.49 cores=1,3,5,7
/proc/23269/stat : 23269 (npSolver-pbo) S 23268 23268 22344 0 -1 4202496 5833 6475 0 0 13 2 33 1 20 0 1 0 376832411 16191488 3454 33554432000 4194304 6004724 140737392335680 140737392321960 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/23269/statm: 3953 3454 152 442 0 3507 0
[pid=23274] ppid=23269 vsize=428188 CPUtime=1601.39 cores=1,3,5,7
/proc/23274/stat : 23274 (glucosInc) R 23269 23268 22344 0 -1 4202496 60703 0 0 0 160028 111 0 0 20 0 1 0 376832462 438464512 84098 33554432000 4194304 5654031 140734048405760 140734048393576 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23274/statm: 107047 84098 142 357 0 106687 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 453148
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 23335
/proc/meminfo: memFree=28131032/32873844 swapFree=7120/7120
[pid=23268] ppid=23266 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23268/stat : 23268 (npSolver-pbo-It) S 23266 23268 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376832411 9367552 275 33554432000 4194304 5064252 140735544216960 140735544215872 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23268/statm: 2287 275 233 213 0 72 0
[pid=23269] ppid=23268 vsize=15812 CPUtime=0.49 cores=1,3,5,7
/proc/23269/stat : 23269 (npSolver-pbo) S 23268 23268 22344 0 -1 4202496 5833 6475 0 0 13 2 33 1 20 0 1 0 376832411 16191488 3454 33554432000 4194304 6004724 140737392335680 140737392321960 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/23269/statm: 3953 3454 152 442 0 3507 0
[pid=23274] ppid=23269 vsize=296444 CPUtime=1661.39 cores=1,3,5,7
/proc/23274/stat : 23274 (glucosInc) R 23269 23268 22344 0 -1 4202496 62592 0 0 0 166022 117 0 0 20 0 1 0 376832462 303558656 56078 33554432000 4194304 5654031 140734048405760 140734048393576 4232968 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23274/statm: 74111 56078 142 357 0 73751 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 321404
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 23335
/proc/meminfo: memFree=28014968/32873844 swapFree=7120/7120
[pid=23268] ppid=23266 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23268/stat : 23268 (npSolver-pbo-It) S 23266 23268 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376832411 9367552 275 33554432000 4194304 5064252 140735544216960 140735544215872 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23268/statm: 2287 275 233 213 0 72 0
[pid=23269] ppid=23268 vsize=15812 CPUtime=0.49 cores=1,3,5,7
/proc/23269/stat : 23269 (npSolver-pbo) S 23268 23268 22344 0 -1 4202496 5833 6475 0 0 13 2 33 1 20 0 1 0 376832411 16191488 3454 33554432000 4194304 6004724 140737392335680 140737392321960 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/23269/statm: 3953 3454 152 442 0 3507 0
[pid=23274] ppid=23269 vsize=429696 CPUtime=1721.38 cores=1,3,5,7
/proc/23274/stat : 23274 (glucosInc) R 23269 23268 22344 0 -1 4202496 63875 0 0 0 172018 120 0 0 20 0 1 0 376832462 440008704 78307 33554432000 4194304 5654031 140734048405760 140734048393576 4215076 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23274/statm: 107424 78307 142 357 0 107064 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 454656
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 23338
/proc/meminfo: memFree=28165996/32873844 swapFree=7120/7120
[pid=23268] ppid=23266 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23268/stat : 23268 (npSolver-pbo-It) S 23266 23268 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376832411 9367552 275 33554432000 4194304 5064252 140735544216960 140735544215872 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23268/statm: 2287 275 233 213 0 72 0
[pid=23269] ppid=23268 vsize=15812 CPUtime=0.49 cores=1,3,5,7
/proc/23269/stat : 23269 (npSolver-pbo) S 23268 23268 22344 0 -1 4202496 5833 6475 0 0 13 2 33 1 20 0 1 0 376832411 16191488 3454 33554432000 4194304 6004724 140737392335680 140737392321960 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/23269/statm: 3953 3454 152 442 0 3507 0
[pid=23274] ppid=23269 vsize=217644 CPUtime=1781.37 cores=1,3,5,7
/proc/23274/stat : 23274 (glucosInc) R 23269 23268 22344 0 -1 4202496 65558 0 0 0 178012 125 0 0 20 0 1 0 376832462 222867456 43941 33554432000 4194304 5654031 140734048405760 140734048393576 4215248 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23274/statm: 54411 43941 142 357 0 54051 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 242604
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 23338
/proc/meminfo: memFree=28125144/32873844 swapFree=7120/7120
[pid=23268] ppid=23266 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23268/stat : 23268 (npSolver-pbo-It) S 23266 23268 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376832411 9367552 275 33554432000 4194304 5064252 140735544216960 140735544215872 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23268/statm: 2287 275 233 213 0 72 0
[pid=23269] ppid=23268 vsize=15812 CPUtime=0.49 cores=1,3,5,7
/proc/23269/stat : 23269 (npSolver-pbo) S 23268 23268 22344 0 -1 4202496 5833 6475 0 0 13 2 33 1 20 0 1 0 376832411 16191488 3454 33554432000 4194304 6004724 140737392335680 140737392321960 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/23269/statm: 3953 3454 152 442 0 3507 0
[pid=23274] ppid=23269 vsize=217644 CPUtime=1799.57 cores=1,3,5,7
/proc/23274/stat : 23274 (glucosInc) R 23269 23268 22344 0 -1 4202496 65574 0 0 0 179831 126 0 0 20 0 1 0 376832462 222867456 52133 33554432000 4194304 5654031 140734048405760 140734048393576 4233424 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23274/statm: 54411 52133 142 357 0 54051 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 242604
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 23338
/proc/meminfo: memFree=28125144/32873844 swapFree=7120/7120
[pid=23268] ppid=23266 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23268/stat : 23268 (npSolver-pbo-It) S 23266 23268 22344 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376832411 9367552 275 33554432000 4194304 5064252 140735544216960 140735544215872 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23268/statm: 2287 275 233 213 0 72 0
[pid=23269] ppid=23268 vsize=15812 CPUtime=0.49 cores=1,3,5,7
/proc/23269/stat : 23269 (npSolver-pbo) S 23268 23268 22344 0 -1 4202496 5833 6475 0 0 13 2 33 1 20 0 1 0 376832411 16191488 3454 33554432000 4194304 6004724 140737392335680 140737392321960 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/23269/statm: 3953 3454 152 442 0 3507 0
[pid=23274] ppid=23269 vsize=217644 CPUtime=1799.57 cores=1,3,5,7
/proc/23274/stat : 23274 (glucosInc) R 23269 23268 22344 0 -1 4202496 65574 0 0 0 179831 126 0 0 20 0 1 0 376832462 222867456 52133 33554432000 4194304 5654031 140734048405760 140734048393576 4233424 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23274/statm: 54411 52133 142 357 0 54051 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 242604
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23268 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=466929
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=44993
# CPU time returned by wait4() is 0.511922
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.51
CPU time (s): 1800.06
CPU user time (s): 1798.77
CPU system time (s): 1.29
CPU usage (%): 99.9748
Max. virtual memory (cumulated for all children) (KiB): 505572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.466929
system time used= 0.044993
maximum resident set size= 41112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12682
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 10
runsolver used 10.9243 second user time and 13.192 second system time
The end