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-3702621-1338124951/watcher-3702621-1338124951 -o /tmp/evaluation-result-3702621-1338124951/solver-3702621-1338124951 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702621-1338124951.opb 1853397214 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: 5.25 4.49 4.01 3/182 4428
/proc/meminfo: memFree=21181868/32873844 swapFree=7112/7112
[pid=4428] ppid=4426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4428/stat : 4428 (npSolver-pbo-It) S 4426 4428 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278620788 9367552 274 33554432000 4194304 5064252 140736639003408 140736639002320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4428/statm: 2287 274 233 213 0 72 0
[startup+0.028758 s]
/proc/loadavg: 5.25 4.49 4.01 3/182 4428
/proc/meminfo: memFree=21181868/32873844 swapFree=7112/7112
[pid=4428] ppid=4426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4428/stat : 4428 (npSolver-pbo-It) S 4426 4428 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278620788 9367552 274 33554432000 4194304 5064252 140736639003408 140736639002320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4428/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100227 s]
/proc/loadavg: 5.25 4.49 4.01 3/182 4428
/proc/meminfo: memFree=21181868/32873844 swapFree=7112/7112
[pid=4428] ppid=4426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4428/stat : 4428 (npSolver-pbo-It) S 4426 4428 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278620788 9367552 274 33554432000 4194304 5064252 140736639003408 140736639002320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4428/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300233 s]
/proc/loadavg: 5.25 4.49 4.01 3/182 4428
/proc/meminfo: memFree=21181868/32873844 swapFree=7112/7112
[pid=4428] ppid=4426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4428/stat : 4428 (npSolver-pbo-It) S 4426 4428 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278620788 9367552 274 33554432000 4194304 5064252 140736639003408 140736639002320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4428/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70024 s]
/proc/loadavg: 5.25 4.49 4.01 3/182 4428
/proc/meminfo: memFree=21181868/32873844 swapFree=7112/7112
[pid=4428] ppid=4426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4428/stat : 4428 (npSolver-pbo-It) S 4426 4428 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278620788 9367552 274 33554432000 4194304 5064252 140736639003408 140736639002320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4428/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50025 s]
/proc/loadavg: 5.25 4.49 4.01 3/184 4430
/proc/meminfo: memFree=20939156/32873844 swapFree=7112/7112
[pid=4428] ppid=4426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4428/stat : 4428 (npSolver-pbo-It) S 4426 4428 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278620788 9367552 274 33554432000 4194304 5064252 140736639003408 140736639002320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4428/statm: 2287 274 233 213 0 72 0
[pid=4429] ppid=4428 vsize=28696 CPUtime=1.48 cores=1,3,5,7
/proc/4429/stat : 4429 (npSolver-pbo) R 4428 4428 4091 0 -1 4202496 4664 0 0 0 147 1 0 0 20 0 1 0 278620788 29384704 5945 33554432000 4194304 5992684 140736415152896 140736415149016 5179600 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4429/statm: 7174 5945 148 440 0 6730 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 37844
[startup+3.10031 s]
/proc/loadavg: 5.25 4.49 4.01 3/184 4430
/proc/meminfo: memFree=20749228/32873844 swapFree=7112/7112
[pid=4428] ppid=4426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4428/stat : 4428 (npSolver-pbo-It) S 4426 4428 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278620788 9367552 274 33554432000 4194304 5064252 140736639003408 140736639002320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4428/statm: 2287 274 233 213 0 72 0
[pid=4429] ppid=4428 vsize=87864 CPUtime=3.09 cores=1,3,5,7
/proc/4429/stat : 4429 (npSolver-pbo) R 4428 4428 4091 0 -1 4202496 8813 0 0 0 305 4 0 0 20 0 1 0 278620788 89972736 13899 33554432000 4194304 5992684 140736415152896 140736415148632 4956952 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4429/statm: 21966 13899 165 440 0 21522 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 97012
[startup+6.3003 s]
/proc/loadavg: 5.07 4.47 4.01 2/184 4430
/proc/meminfo: memFree=20143272/32873844 swapFree=7112/7112
[pid=4428] ppid=4426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4428/stat : 4428 (npSolver-pbo-It) S 4426 4428 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278620788 9367552 274 33554432000 4194304 5064252 140736639003408 140736639002320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4428/statm: 2287 274 233 213 0 72 0
[pid=4429] ppid=4428 vsize=404780 CPUtime=6.28 cores=1,3,5,7
/proc/4429/stat : 4429 (npSolver-pbo) R 4428 4428 4091 0 -1 4202496 40216 0 0 0 613 15 0 0 20 0 1 0 278620788 414494720 87108 33554432000 4194304 5992684 140736415152896 140736415144552 4569812 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4429/statm: 101195 87113 165 440 0 100751 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 413928
[startup+12.707 s]
/proc/loadavg: 4.99 4.46 4.01 3/184 4430
/proc/meminfo: memFree=19203904/32873844 swapFree=7112/7112
[pid=4428] ppid=4426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4428/stat : 4428 (npSolver-pbo-It) S 4426 4428 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278620788 9367552 274 33554432000 4194304 5064252 140736639003408 140736639002320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4428/statm: 2287 274 233 213 0 72 0
[pid=4429] ppid=4428 vsize=1448612 CPUtime=12.7 cores=1,3,5,7
/proc/4429/stat : 4429 (npSolver-pbo) R 4428 4428 4091 0 -1 4202496 106153 0 0 0 1226 44 0 0 20 0 1 0 278620788 1483378688 234932 33554432000 4194304 5992684 140736415152896 140736415144552 5044385 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4429/statm: 362153 234932 165 440 0 361709 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 1457760
[startup+25.5003 s]
/proc/loadavg: 4.48 4.37 3.99 2/186 4432
/proc/meminfo: memFree=15769860/32873844 swapFree=7112/7112
[pid=4428] ppid=4426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4428/stat : 4428 (npSolver-pbo-It) S 4426 4428 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278620788 9367552 274 33554432000 4194304 5064252 140736639003408 140736639002320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4428/statm: 2287 274 233 213 0 72 0
[pid=4429] ppid=4428 vsize=1511672 CPUtime=15.3 cores=1,3,5,7
/proc/4429/stat : 4429 (npSolver-pbo) S 4428 4428 4091 0 -1 4202496 123168 0 0 0 1372 158 0 0 20 0 1 0 278620788 1547952128 268613 33554432000 4194304 5992684 140736415152896 140736415147344 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 13 0 0
/proc/4429/statm: 377918 268613 172 440 0 377474 0
[pid=4431] ppid=4429 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4431/stat : 4431 (cp2_pre.sh) S 4429 4428 4091 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 278622332 9367552 276 33554432000 4194304 5064252 140736530791488 140736530790192 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4431/statm: 2287 276 234 213 0 72 0
[pid=4432] ppid=4431 vsize=2026252 CPUtime=10.02 cores=1,3,5,7
/proc/4432/stat : 4432 (coprocessor) R 4431 4428 4091 0 -1 4202496 24266 0 0 0 947 55 0 0 20 0 1 0 278622334 2074882048 389715 33554432000 4194304 6586260 140733298299520 140733298295272 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/4432/statm: 506563 389715 158 584 0 505975 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 3556220
[startup+51.1003 s]
/proc/loadavg: 3.97 4.26 3.96 2/184 4434
/proc/meminfo: memFree=16937720/32873844 swapFree=7112/7112
[pid=4428] ppid=4426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4428/stat : 4428 (npSolver-pbo-It) S 4426 4428 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278620788 9367552 274 33554432000 4194304 5064252 140736639003408 140736639002320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4428/statm: 2287 274 233 213 0 72 0
[pid=4429] ppid=4428 vsize=1511672 CPUtime=48.21 cores=1,3,5,7
/proc/4429/stat : 4429 (npSolver-pbo) S 4428 4428 4091 0 -1 4202496 123185 25167 0 1 1372 159 3106 184 20 0 1 0 278620788 1547952128 268615 33554432000 4194304 5992684 140736415152896 140736415139160 5179600 0 0 4096 0 18446744071580380219 0 0 17 7 0 0 13 0 0
/proc/4429/statm: 377918 268615 174 440 0 377474 0
[pid=4434] ppid=4429 vsize=445176 CPUtime=1.05 cores=1,3,5,7
/proc/4434/stat : 4434 (glucosInc) R 4429 4428 4091 0 -1 4202496 68812 0 0 0 88 17 0 0 20 0 1 0 278625791 455860224 100224 33554432000 4194304 5654031 140735177664304 140735176613752 4797458 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4434/statm: 111294 100225 108 357 0 110934 0
Current children cumulated CPU time (s) 49.26
Current children cumulated vsize (KiB) 1965996
[startup+102.3 s]
/proc/loadavg: 3.77 4.13 3.93 1/185 4435
/proc/meminfo: memFree=10086804/32873844 swapFree=7112/7112
[pid=4428] ppid=4426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4428/stat : 4428 (npSolver-pbo-It) S 4426 4428 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278620788 9367552 274 33554432000 4194304 5064252 140736639003408 140736639002320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4428/statm: 2287 274 233 213 0 72 0
[pid=4429] ppid=4428 vsize=1697376 CPUtime=51.56 cores=1,3,5,7
/proc/4429/stat : 4429 (npSolver-pbo) S 4428 4428 4091 0 -1 4204032 131318 25167 0 1 1582 284 3106 184 20 0 1 0 278620788 1738113024 315059 33554432000 4194304 5992684 140736415152896 140736415147432 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 13 0 0
/proc/4429/statm: 424344 315059 192 440 0 423900 0
[pid=4434] ppid=4429 vsize=2945468 CPUtime=12.15 cores=1,3,5,7
/proc/4434/stat : 4434 (glucosInc) S 4429 4428 4091 0 -1 4202496 323603 0 0 0 1118 97 0 0 20 0 1 0 278625791 3016159232 626073 33554432000 4194304 5654031 140735177664304 140735177662616 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4434/statm: 736367 626073 147 357 0 736007 0
Current children cumulated CPU time (s) 63.71
Current children cumulated vsize (KiB) 4651992
heavy processes:
%CPU=12 pid=4435 uid=0 cmd=
Solver just ended. Dumping a history of the last processes samples
[startup+103.606 s]
/proc/loadavg: 3.77 4.13 3.93 1/185 4435
/proc/meminfo: memFree=10087052/32873844 swapFree=7112/7112
[pid=4428] ppid=4426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4428/stat : 4428 (npSolver-pbo-It) S 4426 4428 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278620788 9367552 274 33554432000 4194304 5064252 140736639003408 140736639002320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4428/statm: 2287 274 233 213 0 72 0
[pid=4429] ppid=4428 vsize=1697376 CPUtime=51.56 cores=1,3,5,7
/proc/4429/stat : 4429 (npSolver-pbo) S 4428 4428 4091 0 -1 4204032 131318 25167 0 1 1582 284 3106 184 20 0 1 0 278620788 1738113024 315059 33554432000 4194304 5992684 140736415152896 140736415147432 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 13 0 0
/proc/4429/statm: 424344 315059 192 440 0 423900 0
[pid=4434] ppid=4429 vsize=2945468 CPUtime=12.15 cores=1,3,5,7
/proc/4434/stat : 4434 (glucosInc) S 4429 4428 4091 0 -1 4202496 323603 0 0 0 1118 97 0 0 20 0 1 0 278625791 3016159232 626073 33554432000 4194304 5654031 140735177664304 140735177662616 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4434/statm: 736367 626073 147 357 0 736007 0
Current children cumulated CPU time (s) 63.71
Current children cumulated vsize (KiB) 4651992
[startup+116.4 s]
/proc/loadavg: 4.04 4.17 3.94 1/185 4435
/proc/meminfo: memFree=10085192/32873844 swapFree=7112/7112
[pid=4428] ppid=4426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4428/stat : 4428 (npSolver-pbo-It) S 4426 4428 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278620788 9367552 274 33554432000 4194304 5064252 140736639003408 140736639002320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4428/statm: 2287 274 233 213 0 72 0
[pid=4429] ppid=4428 vsize=1697376 CPUtime=51.56 cores=1,3,5,7
/proc/4429/stat : 4429 (npSolver-pbo) S 4428 4428 4091 0 -1 4204032 131318 25167 0 1 1582 284 3106 184 20 0 1 0 278620788 1738113024 315059 33554432000 4194304 5992684 140736415152896 140736415147432 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 13 0 0
/proc/4429/statm: 424344 315059 192 440 0 423900 0
[pid=4434] ppid=4429 vsize=2945468 CPUtime=12.15 cores=1,3,5,7
/proc/4434/stat : 4434 (glucosInc) S 4429 4428 4091 0 -1 4202496 323603 0 0 0 1118 97 0 0 20 0 1 0 278625791 3016159232 626073 33554432000 4194304 5654031 140735177664304 140735177662616 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4434/statm: 736367 626073 147 357 0 736007 0
Current children cumulated CPU time (s) 63.71
Current children cumulated vsize (KiB) 4651992
[startup+122.8 s]
/proc/loadavg: 4.12 4.19 3.95 1/185 4435
/proc/meminfo: memFree=10084820/32873844 swapFree=7112/7112
[pid=4428] ppid=4426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4428/stat : 4428 (npSolver-pbo-It) S 4426 4428 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278620788 9367552 274 33554432000 4194304 5064252 140736639003408 140736639002320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4428/statm: 2287 274 233 213 0 72 0
[pid=4429] ppid=4428 vsize=1697376 CPUtime=51.56 cores=1,3,5,7
/proc/4429/stat : 4429 (npSolver-pbo) S 4428 4428 4091 0 -1 4204032 131318 25167 0 1 1582 284 3106 184 20 0 1 0 278620788 1738113024 315059 33554432000 4194304 5992684 140736415152896 140736415147432 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 13 0 0
/proc/4429/statm: 424344 315059 192 440 0 423900 0
[pid=4434] ppid=4429 vsize=2945468 CPUtime=12.15 cores=1,3,5,7
/proc/4434/stat : 4434 (glucosInc) S 4429 4428 4091 0 -1 4202496 323603 0 0 0 1118 97 0 0 20 0 1 0 278625791 3016159232 626073 33554432000 4194304 5654031 140735177664304 140735177662616 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4434/statm: 736367 626073 147 357 0 736007 0
Current children cumulated CPU time (s) 63.71
Current children cumulated vsize (KiB) 4651992
[startup+129.2 s]
/proc/loadavg: 4.19 4.20 3.95 1/185 4435
/proc/meminfo: memFree=10083952/32873844 swapFree=7112/7112
[pid=4428] ppid=4426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4428/stat : 4428 (npSolver-pbo-It) S 4426 4428 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278620788 9367552 274 33554432000 4194304 5064252 140736639003408 140736639002320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4428/statm: 2287 274 233 213 0 72 0
[pid=4429] ppid=4428 vsize=1697376 CPUtime=51.56 cores=1,3,5,7
/proc/4429/stat : 4429 (npSolver-pbo) S 4428 4428 4091 0 -1 4204032 131318 25167 0 1 1582 284 3106 184 20 0 1 0 278620788 1738113024 315059 33554432000 4194304 5992684 140736415152896 140736415147432 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 13 0 0
/proc/4429/statm: 424344 315059 192 440 0 423900 0
[pid=4434] ppid=4429 vsize=2945468 CPUtime=12.15 cores=1,3,5,7
/proc/4434/stat : 4434 (glucosInc) S 4429 4428 4091 0 -1 4202496 323603 0 0 0 1118 97 0 0 20 0 1 0 278625791 3016159232 626073 33554432000 4194304 5654031 140735177664304 140735177662616 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4434/statm: 736367 626073 147 357 0 736007 0
Current children cumulated CPU time (s) 63.71
Current children cumulated vsize (KiB) 4651992
[startup+132.4 s]
/proc/loadavg: 4.25 4.21 3.96 1/185 4435
/proc/meminfo: memFree=10084572/32873844 swapFree=7112/7112
[pid=4428] ppid=4426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4428/stat : 4428 (npSolver-pbo-It) S 4426 4428 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278620788 9367552 274 33554432000 4194304 5064252 140736639003408 140736639002320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4428/statm: 2287 274 233 213 0 72 0
[pid=4429] ppid=4428 vsize=1697376 CPUtime=51.56 cores=1,3,5,7
/proc/4429/stat : 4429 (npSolver-pbo) S 4428 4428 4091 0 -1 4204032 131318 25167 0 1 1582 284 3106 184 20 0 1 0 278620788 1738113024 315059 33554432000 4194304 5992684 140736415152896 140736415147432 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 13 0 0
/proc/4429/statm: 424344 315059 192 440 0 423900 0
[pid=4434] ppid=4429 vsize=2945468 CPUtime=12.15 cores=1,3,5,7
/proc/4434/stat : 4434 (glucosInc) S 4429 4428 4091 0 -1 4202496 323603 0 0 0 1118 97 0 0 20 0 1 0 278625791 3016159232 626073 33554432000 4194304 5654031 140735177664304 140735177662616 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4434/statm: 736367 626073 147 357 0 736007 0
Current children cumulated CPU time (s) 63.71
Current children cumulated vsize (KiB) 4651992
[startup+133.2 s]
/proc/loadavg: 4.25 4.21 3.96 1/185 4435
/proc/meminfo: memFree=10086184/32873844 swapFree=7112/7112
[pid=4428] ppid=4426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4428/stat : 4428 (npSolver-pbo-It) S 4426 4428 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278620788 9367552 274 33554432000 4194304 5064252 140736639003408 140736639002320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4428/statm: 2287 274 233 213 0 72 0
[pid=4429] ppid=4428 vsize=1697376 CPUtime=51.56 cores=1,3,5,7
/proc/4429/stat : 4429 (npSolver-pbo) S 4428 4428 4091 0 -1 4204032 131318 25167 0 1 1582 284 3106 184 20 0 1 0 278620788 1738113024 315059 33554432000 4194304 5992684 140736415152896 140736415147432 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 13 0 0
/proc/4429/statm: 424344 315059 192 440 0 423900 0
[pid=4434] ppid=4429 vsize=2945468 CPUtime=12.15 cores=1,3,5,7
/proc/4434/stat : 4434 (glucosInc) S 4429 4428 4091 0 -1 4202496 323603 0 0 0 1118 97 0 0 20 0 1 0 278625791 3016159232 626073 33554432000 4194304 5654031 140735177664304 140735177662616 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4434/statm: 736367 626073 147 357 0 736007 0
Current children cumulated CPU time (s) 63.71
Current children cumulated vsize (KiB) 4651992
[startup+134 s]
/proc/loadavg: 4.25 4.21 3.96 1/185 4435
/proc/meminfo: memFree=10086184/32873844 swapFree=7112/7112
[pid=4428] ppid=4426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4428/stat : 4428 (npSolver-pbo-It) S 4426 4428 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278620788 9367552 274 33554432000 4194304 5064252 140736639003408 140736639002320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4428/statm: 2287 274 233 213 0 72 0
[pid=4429] ppid=4428 vsize=1697376 CPUtime=51.56 cores=1,3,5,7
/proc/4429/stat : 4429 (npSolver-pbo) S 4428 4428 4091 0 -1 4204032 131318 25167 0 1 1582 284 3106 184 20 0 1 0 278620788 1738113024 315059 33554432000 4194304 5992684 140736415152896 140736415147432 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 13 0 0
/proc/4429/statm: 424344 315059 192 440 0 423900 0
[pid=4434] ppid=4429 vsize=2945468 CPUtime=12.15 cores=1,3,5,7
/proc/4434/stat : 4434 (glucosInc) S 4429 4428 4091 0 -1 4202496 323603 0 0 0 1118 97 0 0 20 0 1 0 278625791 3016159232 626073 33554432000 4194304 5654031 140735177664304 140735177662616 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4434/statm: 736367 626073 147 357 0 736007 0
Current children cumulated CPU time (s) 63.71
Current children cumulated vsize (KiB) 4651992
[startup+134.407 s]
/proc/loadavg: 4.15 4.19 3.95 1/185 4435
/proc/meminfo: memFree=10151780/32873844 swapFree=7112/7112
[pid=4428] ppid=4426 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4428/stat : 4428 (npSolver-pbo-It) S 4426 4428 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278620788 9367552 274 33554432000 4194304 5064252 140736639003408 140736639002320 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4428/statm: 2287 274 233 213 0 72 0
[pid=4429] ppid=4428 vsize=1697376 CPUtime=51.56 cores=1,3,5,7
/proc/4429/stat : 4429 (npSolver-pbo) S 4428 4428 4091 0 -1 4204032 131318 25167 0 1 1582 284 3106 184 20 0 1 0 278620788 1738113024 315059 33554432000 4194304 5992684 140736415152896 140736415147432 5240597 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 13 0 0
/proc/4429/statm: 424344 315059 192 440 0 423900 0
[pid=4434] ppid=4429 vsize=2945468 CPUtime=12.15 cores=1,3,5,7
/proc/4434/stat : 4434 (glucosInc) S 4429 4428 4091 0 -1 4202496 323603 0 0 0 1118 97 0 0 20 0 1 0 278625791 3016159232 626073 33554432000 4194304 5654031 140735177664304 140735177662616 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4434/statm: 736367 626073 147 357 0 736007 0
Current children cumulated CPU time (s) 63.71
Current children cumulated vsize (KiB) 4651992
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4428 and gives
# childrusage.ru_utime.tv_sec=46
# childrusage.ru_utime.tv_usec=891871
# childrusage.ru_stime.tv_sec=4
# childrusage.ru_stime.tv_usec=731280
# CPU time returned by wait4() is 51.6232
# while last known CPU time is 63.71
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 134.486
CPU time (s): 63.71
CPU user time (s): 58.06
CPU system time (s): 5.65
CPU usage (%): 47.373
Max. virtual memory (cumulated for all children) (KiB): 4651992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 46.8919
system time used= 4.73128
maximum resident set size= 1686368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156859
page faults= 1
swaps= 0
block input operations= 96
block output operations= 2417200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 366874
involuntary context switches= 77
runsolver used 0.25796 second user time and 0.543917 second system time
The end