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-3699170-1338085746/watcher-3699170-1338085746 -o /tmp/evaluation-result-3699170-1338085746/solver-3699170-1338085746 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699170-1338085746.opb 1678171346 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: 2.08 2.04 2.00 3/179 5567
/proc/meminfo: memFree=28359936/32873648 swapFree=6844/6844
[pid=5567] ppid=5565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5567/stat : 5567 (npSolver-pbo-I.) S 5565 5567 339 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274701404 9367552 274 33554432000 4194304 5064252 140735396511520 140735396510432 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5567/statm: 2287 274 233 213 0 72 0
[startup+0.0753521 s]
/proc/loadavg: 2.08 2.04 2.00 3/179 5567
/proc/meminfo: memFree=28359936/32873648 swapFree=6844/6844
[pid=5567] ppid=5565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5567/stat : 5567 (npSolver-pbo-I.) S 5565 5567 339 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274701404 9367552 274 33554432000 4194304 5064252 140735396511520 140735396510432 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5567/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.1003 s]
/proc/loadavg: 2.08 2.04 2.00 3/179 5567
/proc/meminfo: memFree=28359936/32873648 swapFree=6844/6844
[pid=5567] ppid=5565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5567/stat : 5567 (npSolver-pbo-I.) S 5565 5567 339 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274701404 9367552 274 33554432000 4194304 5064252 140735396511520 140735396510432 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5567/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300166 s]
/proc/loadavg: 2.08 2.04 2.00 3/179 5567
/proc/meminfo: memFree=28359936/32873648 swapFree=6844/6844
[pid=5567] ppid=5565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5567/stat : 5567 (npSolver-pbo-I.) S 5565 5567 339 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274701404 9367552 274 33554432000 4194304 5064252 140735396511520 140735396510432 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5567/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700167 s]
/proc/loadavg: 2.08 2.04 2.00 3/179 5567
/proc/meminfo: memFree=28359936/32873648 swapFree=6844/6844
[pid=5567] ppid=5565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5567/stat : 5567 (npSolver-pbo-I.) S 5565 5567 339 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274701404 9367552 274 33554432000 4194304 5064252 140735396511520 140735396510432 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5567/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50035 s]
/proc/loadavg: 2.07 2.04 2.00 3/183 5571
/proc/meminfo: memFree=28236680/32873648 swapFree=6844/6844
[pid=5567] ppid=5565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5567/stat : 5567 (npSolver-pbo-I.) S 5565 5567 339 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274701404 9367552 274 33554432000 4194304 5064252 140735396511520 140735396510432 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5567/statm: 2287 274 233 213 0 72 0
[pid=5568] ppid=5567 vsize=25368 CPUtime=0.25 cores=1,3,5,7
/proc/5568/stat : 5568 (npSolver-pbo) S 5567 5567 339 0 -1 4202496 5030 0 0 0 20 5 0 0 20 0 1 0 274701404 25976832 4454 33554432000 4194304 5992684 140733419607168 140733419601616 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5568/statm: 6342 4454 167 440 0 5898 0
[pid=5570] ppid=5568 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5570/stat : 5570 (cp2_pre.sh) S 5568 5567 339 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 274701430 9367552 277 33554432000 4194304 5064252 140735188027216 140735188025920 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5570/statm: 2287 277 234 213 0 72 0
[pid=5571] ppid=5570 vsize=100532 CPUtime=1.22 cores=1,3,5,7
/proc/5571/stat : 5571 (coprocessor) R 5570 5567 339 0 -1 4202496 19877 0 0 0 117 5 0 0 20 0 1 0 274701430 102944768 24456 33554432000 4194304 6586260 140735310985152 140735310980904 5732496 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/5571/statm: 25133 24456 204 584 0 24545 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 144196
[startup+3.10032 s]
/proc/loadavg: 2.07 2.04 2.00 3/182 5573
/proc/meminfo: memFree=28281524/32873648 swapFree=6844/6844
[pid=5567] ppid=5565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5567/stat : 5567 (npSolver-pbo-I.) S 5565 5567 339 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274701404 9367552 274 33554432000 4194304 5064252 140735396511520 140735396510432 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5567/statm: 2287 274 233 213 0 72 0
[pid=5568] ppid=5567 vsize=98288 CPUtime=2.97 cores=1,3,5,7
/proc/5568/stat : 5568 (npSolver-pbo) R 5567 5567 339 0 -1 4202496 14510 32371 0 0 83 70 134 10 20 0 1 0 274701404 100646912 22626 33554432000 4194304 5992684 140733419607168 140733419599288 4525041 0 0 4096 0 0 0 0 17 5 0 0 10 0 0
/proc/5568/statm: 24572 22626 187 440 0 24128 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 107436
[startup+6.30038 s]
/proc/loadavg: 2.07 2.04 2.00 3/182 5576
/proc/meminfo: memFree=28116704/32873648 swapFree=6844/6844
[pid=5567] ppid=5565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5567/stat : 5567 (npSolver-pbo-I.) S 5565 5567 339 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274701404 9367552 274 33554432000 4194304 5064252 140735396511520 140735396510432 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5567/statm: 2287 274 233 213 0 72 0
[pid=5568] ppid=5567 vsize=28976 CPUtime=5.21 cores=1,3,5,7
/proc/5568/stat : 5568 (npSolver-pbo) S 5567 5567 339 0 -1 4202496 16532 32887 0 0 277 99 134 11 20 0 1 0 274701404 29671424 5383 33554432000 4194304 5992684 140733419607168 140733419592072 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 10 0 0
/proc/5568/statm: 7244 5383 187 440 0 6800 0
[pid=5576] ppid=5568 vsize=253940 CPUtime=0.94 cores=1,3,5,7
/proc/5576/stat : 5576 (glucosInc) R 5568 5567 339 0 -1 4202496 38293 0 0 0 85 9 0 0 20 0 1 0 274701939 260034560 55690 33554432000 4194304 5654031 140733521085472 140733520034824 4797458 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5576/statm: 63485 55691 109 357 0 63125 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 292064
[startup+12.7003 s]
/proc/loadavg: 2.14 2.05 2.01 3/182 5576
/proc/meminfo: memFree=27679452/32873648 swapFree=6844/6844
[pid=5567] ppid=5565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5567/stat : 5567 (npSolver-pbo-I.) S 5565 5567 339 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274701404 9367552 274 33554432000 4194304 5064252 140735396511520 140735396510432 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5567/statm: 2287 274 233 213 0 72 0
[pid=5568] ppid=5567 vsize=28976 CPUtime=5.21 cores=1,3,5,7
/proc/5568/stat : 5568 (npSolver-pbo) S 5567 5567 339 0 -1 4202496 16532 32887 0 0 277 99 134 11 20 0 1 0 274701404 29671424 5383 33554432000 4194304 5992684 140733419607168 140733419592072 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 10 0 0
/proc/5568/statm: 7244 5383 187 440 0 6800 0
[pid=5576] ppid=5568 vsize=498764 CPUtime=7.34 cores=1,3,5,7
/proc/5576/stat : 5576 (glucosInc) R 5568 5567 339 0 -1 4202496 77271 0 0 0 711 23 0 0 20 0 1 0 274701939 510734336 116290 33554432000 4194304 5654031 140733521085472 140733521073288 4215040 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5576/statm: 124691 116290 141 357 0 124331 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 536888
[startup+25.5003 s]
/proc/loadavg: 2.12 2.05 2.01 3/182 5576
/proc/meminfo: memFree=27661740/32873648 swapFree=6844/6844
[pid=5567] ppid=5565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5567/stat : 5567 (npSolver-pbo-I.) S 5565 5567 339 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274701404 9367552 274 33554432000 4194304 5064252 140735396511520 140735396510432 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5567/statm: 2287 274 233 213 0 72 0
[pid=5568] ppid=5567 vsize=28976 CPUtime=5.21 cores=1,3,5,7
/proc/5568/stat : 5568 (npSolver-pbo) S 5567 5567 339 0 -1 4202496 16532 32887 0 0 277 99 134 11 20 0 1 0 274701404 29671424 5383 33554432000 4194304 5992684 140733419607168 140733419592072 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 10 0 0
/proc/5568/statm: 7244 5383 187 440 0 6800 0
[pid=5576] ppid=5568 vsize=580372 CPUtime=20.14 cores=1,3,5,7
/proc/5576/stat : 5576 (glucosInc) R 5568 5567 339 0 -1 4202496 77451 0 0 0 1990 24 0 0 20 0 1 0 274701939 594300928 120047 33554432000 4194304 5654031 140733521085472 140733521083560 4215357 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5576/statm: 145093 120047 141 357 0 144733 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 618496
[startup+51.1004 s]
/proc/loadavg: 2.07 2.05 2.00 3/182 5578
/proc/meminfo: memFree=27819332/32873648 swapFree=6844/6844
[pid=5567] ppid=5565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5567/stat : 5567 (npSolver-pbo-I.) S 5565 5567 339 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274701404 9367552 274 33554432000 4194304 5064252 140735396511520 140735396510432 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5567/statm: 2287 274 233 213 0 72 0
[pid=5568] ppid=5567 vsize=28976 CPUtime=5.21 cores=1,3,5,7
/proc/5568/stat : 5568 (npSolver-pbo) S 5567 5567 339 0 -1 4202496 16532 32887 0 0 277 99 134 11 20 0 1 0 274701404 29671424 5383 33554432000 4194304 5992684 140733419607168 140733419592072 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 10 0 0
/proc/5568/statm: 7244 5383 187 440 0 6800 0
[pid=5576] ppid=5568 vsize=589068 CPUtime=45.73 cores=1,3,5,7
/proc/5576/stat : 5576 (glucosInc) R 5568 5567 339 0 -1 4202496 79633 0 0 0 4548 25 0 0 20 0 1 0 274701939 603205632 125295 33554432000 4194304 5654031 140733521085472 140733521083256 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5576/statm: 147267 125295 141 357 0 146907 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 627192
[startup+102.307 s]
/proc/loadavg: 2.03 2.04 2.00 3/182 5586
/proc/meminfo: memFree=27829264/32873648 swapFree=6844/6844
[pid=5567] ppid=5565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5567/stat : 5567 (npSolver-pbo-I.) S 5565 5567 339 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274701404 9367552 274 33554432000 4194304 5064252 140735396511520 140735396510432 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5567/statm: 2287 274 233 213 0 72 0
[pid=5568] ppid=5567 vsize=28976 CPUtime=5.21 cores=1,3,5,7
/proc/5568/stat : 5568 (npSolver-pbo) S 5567 5567 339 0 -1 4202496 16532 32887 0 0 277 99 134 11 20 0 1 0 274701404 29671424 5383 33554432000 4194304 5992684 140733419607168 140733419592072 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 10 0 0
/proc/5568/statm: 7244 5383 187 440 0 6800 0
[pid=5576] ppid=5568 vsize=513840 CPUtime=96.93 cores=1,3,5,7
/proc/5576/stat : 5576 (glucosInc) R 5568 5567 339 0 -1 4202496 81198 0 0 0 9665 28 0 0 20 0 1 0 274701939 526172160 117251 33554432000 4194304 5654031 140733521085472 140733521073288 4214502 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5576/statm: 128460 117251 141 357 0 128100 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 551964
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/181 5588
/proc/meminfo: memFree=27824948/32873648 swapFree=6844/6844
[pid=5567] ppid=5565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5567/stat : 5567 (npSolver-pbo-I.) S 5565 5567 339 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274701404 9367552 274 33554432000 4194304 5064252 140735396511520 140735396510432 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5567/statm: 2287 274 233 213 0 72 0
[pid=5568] ppid=5567 vsize=28976 CPUtime=5.21 cores=1,3,5,7
/proc/5568/stat : 5568 (npSolver-pbo) S 5567 5567 339 0 -1 4202496 16532 32887 0 0 277 99 134 11 20 0 1 0 274701404 29671424 5383 33554432000 4194304 5992684 140733419607168 140733419592072 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 10 0 0
/proc/5568/statm: 7244 5383 187 440 0 6800 0
[pid=5576] ppid=5568 vsize=513840 CPUtime=156.91 cores=1,3,5,7
/proc/5576/stat : 5576 (glucosInc) R 5568 5567 339 0 -1 4202496 81211 0 0 0 15663 28 0 0 20 0 1 0 274701939 526172160 117258 33554432000 4194304 5654031 140733521085472 140733521073288 4214469 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5576/statm: 128460 117258 141 357 0 128100 0
Current children cumulated CPU time (s) 162.12
Current children cumulated vsize (KiB) 551964
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 5588
/proc/meminfo: memFree=27794472/32873648 swapFree=6844/6844
[pid=5567] ppid=5565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5567/stat : 5567 (npSolver-pbo-I.) S 5565 5567 339 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274701404 9367552 274 33554432000 4194304 5064252 140735396511520 140735396510432 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5567/statm: 2287 274 233 213 0 72 0
[pid=5568] ppid=5567 vsize=28976 CPUtime=5.21 cores=1,3,5,7
/proc/5568/stat : 5568 (npSolver-pbo) S 5567 5567 339 0 -1 4202496 16532 32887 0 0 277 99 134 11 20 0 1 0 274701404 29671424 5383 33554432000 4194304 5992684 140733419607168 140733419592072 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 10 0 0
/proc/5568/statm: 7244 5383 187 440 0 6800 0
[pid=5576] ppid=5568 vsize=513840 CPUtime=216.9 cores=1,3,5,7
/proc/5576/stat : 5576 (glucosInc) R 5568 5567 339 0 -1 4202496 81290 0 0 0 21662 28 0 0 20 0 1 0 274701939 526172160 117977 33554432000 4194304 5654031 140733521085472 140733521073288 4236268 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5576/statm: 128460 117977 141 357 0 128100 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 551964
[startup+282.3 s]
################
# More data... #
################
/proc/loadavg: 1.00 1.11 1.49 2/173 5636
/proc/meminfo: memFree=27958700/32873648 swapFree=6844/6844
[pid=5567] ppid=5565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5567/stat : 5567 (npSolver-pbo-I.) S 5565 5567 339 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274701404 9367552 274 33554432000 4194304 5064252 140735396511520 140735396510432 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5567/statm: 2287 274 233 213 0 72 0
[pid=5568] ppid=5567 vsize=28976 CPUtime=5.21 cores=1,3,5,7
/proc/5568/stat : 5568 (npSolver-pbo) S 5567 5567 339 0 -1 4202496 16532 32887 0 0 277 99 134 11 20 0 1 0 274701404 29671424 5383 33554432000 4194304 5992684 140733419607168 140733419592072 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 10 0 0
/proc/5568/statm: 7244 5383 187 440 0 6800 0
[pid=5576] ppid=5568 vsize=543760 CPUtime=1356.7 cores=1,3,5,7
/proc/5576/stat : 5576 (glucosInc) R 5568 5567 339 0 -1 4202496 86405 0 0 0 135637 33 0 0 20 0 1 0 274701939 556810240 129565 33554432000 4194304 5654031 140733521085472 140733521073288 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5576/statm: 135940 129565 141 357 0 135580 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 581884
[startup+1422.31 s]
/proc/loadavg: 1.00 1.09 1.46 2/173 5636
/proc/meminfo: memFree=27954108/32873648 swapFree=6844/6844
[pid=5567] ppid=5565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5567/stat : 5567 (npSolver-pbo-I.) S 5565 5567 339 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274701404 9367552 274 33554432000 4194304 5064252 140735396511520 140735396510432 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5567/statm: 2287 274 233 213 0 72 0
[pid=5568] ppid=5567 vsize=28976 CPUtime=5.21 cores=1,3,5,7
/proc/5568/stat : 5568 (npSolver-pbo) S 5567 5567 339 0 -1 4202496 16532 32887 0 0 277 99 134 11 20 0 1 0 274701404 29671424 5383 33554432000 4194304 5992684 140733419607168 140733419592072 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 10 0 0
/proc/5568/statm: 7244 5383 187 440 0 6800 0
[pid=5576] ppid=5568 vsize=625148 CPUtime=1416.7 cores=1,3,5,7
/proc/5576/stat : 5576 (glucosInc) R 5568 5567 339 0 -1 4202496 86577 0 0 0 141636 34 0 0 20 0 1 0 274701939 640151552 130757 33554432000 4194304 5654031 140733521085472 140733521073288 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5576/statm: 156287 130757 141 357 0 155927 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 663272
[startup+1482.3 s]
/proc/loadavg: 1.00 1.07 1.43 2/173 5636
/proc/meminfo: memFree=27946600/32873648 swapFree=6844/6844
[pid=5567] ppid=5565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5567/stat : 5567 (npSolver-pbo-I.) S 5565 5567 339 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274701404 9367552 274 33554432000 4194304 5064252 140735396511520 140735396510432 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5567/statm: 2287 274 233 213 0 72 0
[pid=5568] ppid=5567 vsize=28976 CPUtime=5.21 cores=1,3,5,7
/proc/5568/stat : 5568 (npSolver-pbo) S 5567 5567 339 0 -1 4202496 16532 32887 0 0 277 99 134 11 20 0 1 0 274701404 29671424 5383 33554432000 4194304 5992684 140733419607168 140733419592072 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 10 0 0
/proc/5568/statm: 7244 5383 187 440 0 6800 0
[pid=5576] ppid=5568 vsize=627984 CPUtime=1476.69 cores=1,3,5,7
/proc/5576/stat : 5576 (glucosInc) R 5568 5567 339 0 -1 4202496 86921 0 0 0 147634 35 0 0 20 0 1 0 274701939 643055616 132634 33554432000 4194304 5654031 140733521085472 140733521073288 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5576/statm: 156996 132634 141 357 0 156636 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 666108
[startup+1542.3 s]
/proc/loadavg: 1.00 1.06 1.40 2/173 5637
/proc/meminfo: memFree=27943688/32873648 swapFree=6844/6844
[pid=5567] ppid=5565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5567/stat : 5567 (npSolver-pbo-I.) S 5565 5567 339 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274701404 9367552 274 33554432000 4194304 5064252 140735396511520 140735396510432 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5567/statm: 2287 274 233 213 0 72 0
[pid=5568] ppid=5567 vsize=28976 CPUtime=5.21 cores=1,3,5,7
/proc/5568/stat : 5568 (npSolver-pbo) S 5567 5567 339 0 -1 4202496 16532 32887 0 0 277 99 134 11 20 0 1 0 274701404 29671424 5383 33554432000 4194304 5992684 140733419607168 140733419592072 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 10 0 0
/proc/5568/statm: 7244 5383 187 440 0 6800 0
[pid=5576] ppid=5568 vsize=631880 CPUtime=1536.68 cores=1,3,5,7
/proc/5576/stat : 5576 (glucosInc) R 5568 5567 339 0 -1 4202496 87166 0 0 0 153633 35 0 0 20 0 1 0 274701939 647045120 133390 33554432000 4194304 5654031 140733521085472 140733521073288 4215091 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5576/statm: 157970 133390 141 357 0 157610 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 670004
[startup+1602.3 s]
/proc/loadavg: 1.00 1.04 1.37 2/173 5637
/proc/meminfo: memFree=27938436/32873648 swapFree=6844/6844
[pid=5567] ppid=5565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5567/stat : 5567 (npSolver-pbo-I.) S 5565 5567 339 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274701404 9367552 274 33554432000 4194304 5064252 140735396511520 140735396510432 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5567/statm: 2287 274 233 213 0 72 0
[pid=5568] ppid=5567 vsize=28976 CPUtime=5.21 cores=1,3,5,7
/proc/5568/stat : 5568 (npSolver-pbo) S 5567 5567 339 0 -1 4202496 16532 32887 0 0 277 99 134 11 20 0 1 0 274701404 29671424 5383 33554432000 4194304 5992684 140733419607168 140733419592072 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 10 0 0
/proc/5568/statm: 7244 5383 187 440 0 6800 0
[pid=5576] ppid=5568 vsize=631880 CPUtime=1596.67 cores=1,3,5,7
/proc/5576/stat : 5576 (glucosInc) R 5568 5567 339 0 -1 4202496 87171 0 0 0 159632 35 0 0 20 0 1 0 274701939 647045120 134414 33554432000 4194304 5654031 140733521085472 140733521073288 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5576/statm: 157970 134414 141 357 0 157610 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 670004
[startup+1662.3 s]
/proc/loadavg: 1.00 1.03 1.34 2/173 5637
/proc/meminfo: memFree=27962304/32873648 swapFree=6844/6844
[pid=5567] ppid=5565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5567/stat : 5567 (npSolver-pbo-I.) S 5565 5567 339 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274701404 9367552 274 33554432000 4194304 5064252 140735396511520 140735396510432 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5567/statm: 2287 274 233 213 0 72 0
[pid=5568] ppid=5567 vsize=28976 CPUtime=5.21 cores=1,3,5,7
/proc/5568/stat : 5568 (npSolver-pbo) S 5567 5567 339 0 -1 4202496 16532 32887 0 0 277 99 134 11 20 0 1 0 274701404 29671424 5383 33554432000 4194304 5992684 140733419607168 140733419592072 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 10 0 0
/proc/5568/statm: 7244 5383 187 440 0 6800 0
[pid=5576] ppid=5568 vsize=550492 CPUtime=1656.66 cores=1,3,5,7
/proc/5576/stat : 5576 (glucosInc) R 5568 5567 339 0 -1 4202496 87878 0 0 0 165629 37 0 0 20 0 1 0 274701939 563703808 128567 33554432000 4194304 5654031 140733521085472 140733521073288 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5576/statm: 137623 128567 141 357 0 137263 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 588616
[startup+1722.3 s]
/proc/loadavg: 1.00 1.02 1.32 2/173 5637
/proc/meminfo: memFree=27956376/32873648 swapFree=6844/6844
[pid=5567] ppid=5565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5567/stat : 5567 (npSolver-pbo-I.) S 5565 5567 339 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274701404 9367552 274 33554432000 4194304 5064252 140735396511520 140735396510432 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5567/statm: 2287 274 233 213 0 72 0
[pid=5568] ppid=5567 vsize=28976 CPUtime=5.21 cores=1,3,5,7
/proc/5568/stat : 5568 (npSolver-pbo) S 5567 5567 339 0 -1 4202496 16532 32887 0 0 277 99 134 11 20 0 1 0 274701404 29671424 5383 33554432000 4194304 5992684 140733419607168 140733419592072 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 10 0 0
/proc/5568/statm: 7244 5383 187 440 0 6800 0
[pid=5576] ppid=5568 vsize=550492 CPUtime=1716.65 cores=1,3,5,7
/proc/5576/stat : 5576 (glucosInc) R 5568 5567 339 0 -1 4202496 87898 0 0 0 171628 37 0 0 20 0 1 0 274701939 563703808 130120 33554432000 4194304 5654031 140733521085472 140733521073288 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5576/statm: 137623 130120 141 357 0 137263 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 588616
[startup+1782.3 s]
/proc/loadavg: 1.00 1.02 1.30 2/173 5637
/proc/meminfo: memFree=27946448/32873648 swapFree=6844/6844
[pid=5567] ppid=5565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5567/stat : 5567 (npSolver-pbo-I.) S 5565 5567 339 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274701404 9367552 274 33554432000 4194304 5064252 140735396511520 140735396510432 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5567/statm: 2287 274 233 213 0 72 0
[pid=5568] ppid=5567 vsize=28976 CPUtime=5.21 cores=1,3,5,7
/proc/5568/stat : 5568 (npSolver-pbo) S 5567 5567 339 0 -1 4202496 16532 32887 0 0 277 99 134 11 20 0 1 0 274701404 29671424 5383 33554432000 4194304 5992684 140733419607168 140733419592072 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 10 0 0
/proc/5568/statm: 7244 5383 187 440 0 6800 0
[pid=5576] ppid=5568 vsize=636628 CPUtime=1776.65 cores=1,3,5,7
/proc/5576/stat : 5576 (glucosInc) R 5568 5567 339 0 -1 4202496 88280 0 0 0 177626 39 0 0 20 0 1 0 274701939 651907072 132544 33554432000 4194304 5654031 140733521085472 140733521073288 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5576/statm: 159157 132544 141 357 0 158797 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 674752
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.02 1.29 2/173 5637
/proc/meminfo: memFree=27944276/32873648 swapFree=6844/6844
[pid=5567] ppid=5565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5567/stat : 5567 (npSolver-pbo-I.) S 5565 5567 339 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274701404 9367552 274 33554432000 4194304 5064252 140735396511520 140735396510432 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5567/statm: 2287 274 233 213 0 72 0
[pid=5568] ppid=5567 vsize=28976 CPUtime=5.21 cores=1,3,5,7
/proc/5568/stat : 5568 (npSolver-pbo) S 5567 5567 339 0 -1 4202496 16532 32887 0 0 277 99 134 11 20 0 1 0 274701404 29671424 5383 33554432000 4194304 5992684 140733419607168 140733419592072 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 10 0 0
/proc/5568/statm: 7244 5383 187 440 0 6800 0
[pid=5576] ppid=5568 vsize=636628 CPUtime=1794.85 cores=1,3,5,7
/proc/5576/stat : 5576 (glucosInc) R 5568 5567 339 0 -1 4202496 88281 0 0 0 179446 39 0 0 20 0 1 0 274701939 651907072 133056 33554432000 4194304 5654031 140733521085472 140733521073288 4215344 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5576/statm: 159157 133056 141 357 0 158797 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 674752
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 1.00 1.02 1.29 2/173 5637
/proc/meminfo: memFree=27944276/32873648 swapFree=6844/6844
[pid=5567] ppid=5565 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5567/stat : 5567 (npSolver-pbo-I.) S 5565 5567 339 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 274701404 9367552 274 33554432000 4194304 5064252 140735396511520 140735396510432 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5567/statm: 2287 274 233 213 0 72 0
[pid=5568] ppid=5567 vsize=28976 CPUtime=5.21 cores=1,3,5,7
/proc/5568/stat : 5568 (npSolver-pbo) S 5567 5567 339 0 -1 4202496 16532 32887 0 0 277 99 134 11 20 0 1 0 274701404 29671424 5383 33554432000 4194304 5992684 140733419607168 140733419592072 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 10 0 0
/proc/5568/statm: 7244 5383 187 440 0 6800 0
[pid=5576] ppid=5568 vsize=636628 CPUtime=1794.85 cores=1,3,5,7
/proc/5576/stat : 5576 (glucosInc) R 5568 5567 339 0 -1 4202496 88281 0 0 0 179446 39 0 0 20 0 1 0 274701939 651907072 133056 33554432000 4194304 5654031 140733521085472 140733521073288 4215344 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5576/statm: 159157 133056 141 357 0 158797 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 674752
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5567 and gives
# childrusage.ru_utime.tv_sec=4
# childrusage.ru_utime.tv_usec=125372
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=110831
# CPU time returned by wait4() is 5.2362
# 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.57
CPU system time (s): 1.49
CPU usage (%): 99.9748
Max. virtual memory (cumulated for all children) (KiB): 800232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.12537
system time used= 1.11083
maximum resident set size= 368248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49792
page faults= 0
swaps= 0
block input operations= 0
block output operations= 429000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 252
involuntary context switches= 44
runsolver used 2.68459 second user time and 7.36188 second system time
The end