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-3698458-1338105173/watcher-3698458-1338105173 -o /tmp/evaluation-result-3698458-1338105173/solver-3698458-1338105173 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698458-1338105173.opb 1955662042 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: 3.35 2.55 2.26 3/179 27573
/proc/meminfo: memFree=22545592/32873648 swapFree=7116/7116
[pid=27573] ppid=27571 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/27573/stat : 27573 (runsolver) D 27571 27573 25163 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 276642851 12095488 50 33554432000 4194304 5436572 140736286838816 140736286835112 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/27573/statm: 2953 50 31 304 0 2645 0
[startup+0.0753441 s]
/proc/loadavg: 3.35 2.55 2.26 3/179 27573
/proc/meminfo: memFree=22545592/32873648 swapFree=7116/7116
[pid=27573] ppid=27571 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27573/stat : 27573 (npSolver-pbo-It) S 27571 27573 25163 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276642851 9367552 275 33554432000 4194304 5064252 140735688192144 140735688191056 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27573/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10023 s]
/proc/loadavg: 3.35 2.55 2.26 3/179 27573
/proc/meminfo: memFree=22545592/32873648 swapFree=7116/7116
[pid=27573] ppid=27571 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27573/stat : 27573 (npSolver-pbo-It) S 27571 27573 25163 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276642851 9367552 275 33554432000 4194304 5064252 140735688192144 140735688191056 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27573/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300131 s]
/proc/loadavg: 3.35 2.55 2.26 3/179 27573
/proc/meminfo: memFree=22545592/32873648 swapFree=7116/7116
[pid=27573] ppid=27571 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27573/stat : 27573 (npSolver-pbo-It) S 27571 27573 25163 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276642851 9367552 275 33554432000 4194304 5064252 140735688192144 140735688191056 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27573/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700121 s]
/proc/loadavg: 3.35 2.55 2.26 3/179 27573
/proc/meminfo: memFree=22545592/32873648 swapFree=7116/7116
[pid=27573] ppid=27571 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27573/stat : 27573 (npSolver-pbo-It) S 27571 27573 25163 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276642851 9367552 275 33554432000 4194304 5064252 140735688192144 140735688191056 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27573/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50021 s]
/proc/loadavg: 3.35 2.55 2.26 3/181 27575
/proc/meminfo: memFree=22501652/32873648 swapFree=7116/7116
[pid=27573] ppid=27571 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27573/stat : 27573 (npSolver-pbo-It) S 27571 27573 25163 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276642851 9367552 275 33554432000 4194304 5064252 140735688192144 140735688191056 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27573/statm: 2287 275 233 213 0 72 0
[pid=27575] ppid=27573 vsize=85232 CPUtime=1.48 cores=0,2,4,6
/proc/27575/stat : 27575 (npSolver-pbo) R 27573 27573 25163 0 -1 4202496 17909 0 0 0 146 2 0 0 20 0 1 0 276642851 87277568 20710 33554432000 4194304 5992684 140733573866608 140733573863032 4955127 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/27575/statm: 21308 20710 156 440 0 20864 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 94380
[startup+3.1002 s]
/proc/loadavg: 3.35 2.55 2.26 3/181 27575
/proc/meminfo: memFree=22364340/32873648 swapFree=7116/7116
[pid=27573] ppid=27571 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27573/stat : 27573 (npSolver-pbo-It) S 27571 27573 25163 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276642851 9367552 275 33554432000 4194304 5064252 140735688192144 140735688191056 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27573/statm: 2287 275 233 213 0 72 0
[pid=27575] ppid=27573 vsize=319568 CPUtime=3.08 cores=0,2,4,6
/proc/27575/stat : 27575 (npSolver-pbo) R 27573 27573 25163 0 -1 4202496 49458 0 0 0 297 11 0 0 20 0 1 0 276642851 327237632 71110 33554432000 4194304 5992684 140733573866608 140733573859096 4957503 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/27575/statm: 79892 71111 156 440 0 79448 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 328716
[startup+6.30029 s]
/proc/loadavg: 3.32 2.55 2.26 3/183 27577
/proc/meminfo: memFree=21762152/32873648 swapFree=7116/7116
[pid=27573] ppid=27571 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27573/stat : 27573 (npSolver-pbo-It) S 27571 27573 25163 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276642851 9367552 275 33554432000 4194304 5064252 140735688192144 140735688191056 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27573/statm: 2287 275 233 213 0 72 0
[pid=27575] ppid=27573 vsize=560516 CPUtime=4.89 cores=0,2,4,6
/proc/27575/stat : 27575 (npSolver-pbo) S 27573 27573 25163 0 -1 4202496 78287 0 0 0 435 54 0 0 20 0 1 0 276642851 573968384 117531 33554432000 4194304 5992684 140733573866608 140733573861056 5175646 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 3 0 0
/proc/27575/statm: 140129 117531 163 440 0 139685 0
[pid=27576] ppid=27575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27576/stat : 27576 (cp2_pre.sh) S 27575 27573 25163 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 276643346 9367552 276 33554432000 4194304 5064252 140733722993520 140733722992224 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27576/statm: 2287 276 234 213 0 72 0
[pid=27577] ppid=27576 vsize=216668 CPUtime=1.33 cores=0,2,4,6
/proc/27577/stat : 27577 (coprocessor) R 27576 27573 25163 0 -1 4202496 13658 0 0 0 126 7 0 0 20 0 1 0 276643347 221868032 50110 33554432000 4194304 6586260 140735175352896 140735175349656 5732400 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/27577/statm: 54167 50110 137 584 0 53579 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 795480
[startup+12.7003 s]
/proc/loadavg: 3.29 2.56 2.26 4/183 27577
/proc/meminfo: memFree=21155604/32873648 swapFree=7116/7116
[pid=27573] ppid=27571 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27573/stat : 27573 (npSolver-pbo-It) S 27571 27573 25163 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276642851 9367552 275 33554432000 4194304 5064252 140735688192144 140735688191056 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27573/statm: 2287 275 233 213 0 72 0
[pid=27575] ppid=27573 vsize=560516 CPUtime=4.89 cores=0,2,4,6
/proc/27575/stat : 27575 (npSolver-pbo) S 27573 27573 25163 0 -1 4202496 78287 0 0 0 435 54 0 0 20 0 1 0 276642851 573968384 117531 33554432000 4194304 5992684 140733573866608 140733573861056 5175646 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 3 0 0
/proc/27575/statm: 140129 117531 163 440 0 139685 0
[pid=27576] ppid=27575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27576/stat : 27576 (cp2_pre.sh) S 27575 27573 25163 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 276643346 9367552 276 33554432000 4194304 5064252 140733722993520 140733722992224 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27576/statm: 2287 276 234 213 0 72 0
[pid=27577] ppid=27576 vsize=610948 CPUtime=7.59 cores=0,2,4,6
/proc/27577/stat : 27577 (coprocessor) R 27576 27573 25163 0 -1 4202496 18778 0 0 0 715 44 0 0 20 0 1 0 276643347 625610752 121144 33554432000 4194304 6586260 140735175352896 140735175348648 5732496 0 0 4096 8404994 0 0 0 17 0 0 0 13 0 0
/proc/27577/statm: 152737 121144 158 584 0 152149 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 1189760
[startup+25.5003 s]
/proc/loadavg: 3.15 2.56 2.27 2/183 27580
/proc/meminfo: memFree=19812888/32873648 swapFree=7116/7116
[pid=27573] ppid=27571 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27573/stat : 27573 (npSolver-pbo-It) S 27571 27573 25163 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276642851 9367552 275 33554432000 4194304 5064252 140735688192144 140735688191056 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27573/statm: 2287 275 233 213 0 72 0
[pid=27575] ppid=27573 vsize=621136 CPUtime=16.54 cores=0,2,4,6
/proc/27575/stat : 27575 (npSolver-pbo) S 27573 27573 25163 0 -1 4204032 85053 19681 0 0 539 88 964 63 20 0 1 0 276642851 636043264 132683 33554432000 4194304 5992684 140733573866608 140733573861144 5240597 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 3 0 0
/proc/27575/statm: 155284 132683 184 440 0 154840 0
[pid=27579] ppid=27575 vsize=845344 CPUtime=3.57 cores=0,2,4,6
/proc/27579/stat : 27579 (glucosInc) S 27575 27573 25163 0 -1 4202496 95999 0 0 0 332 25 0 0 20 0 1 0 276644434 865632256 167936 33554432000 4194304 5654031 140735514018288 140735514016600 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/27579/statm: 211336 167936 147 357 0 210976 0
Current children cumulated CPU time (s) 20.11
Current children cumulated vsize (KiB) 1475628
heavy processes:
%CPU=39 pid=27580 uid=0 cmd=
Solver just ended. Dumping a history of the last processes samples
[startup+31.9067 s]
/proc/loadavg: 3.22 2.59 2.28 2/183 27580
/proc/meminfo: memFree=19720508/32873648 swapFree=7116/7116
[pid=27573] ppid=27571 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27573/stat : 27573 (npSolver-pbo-It) S 27571 27573 25163 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276642851 9367552 275 33554432000 4194304 5064252 140735688192144 140735688191056 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27573/statm: 2287 275 233 213 0 72 0
[pid=27575] ppid=27573 vsize=621136 CPUtime=16.54 cores=0,2,4,6
/proc/27575/stat : 27575 (npSolver-pbo) S 27573 27573 25163 0 -1 4204032 85053 19681 0 0 539 88 964 63 20 0 1 0 276642851 636043264 132683 33554432000 4194304 5992684 140733573866608 140733573861144 5240597 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 3 0 0
/proc/27575/statm: 155284 132683 184 440 0 154840 0
[pid=27579] ppid=27575 vsize=845344 CPUtime=3.57 cores=0,2,4,6
/proc/27579/stat : 27579 (glucosInc) S 27575 27573 25163 0 -1 4202496 95999 0 0 0 332 25 0 0 20 0 1 0 276644434 865632256 167936 33554432000 4194304 5654031 140735514018288 140735514016600 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/27579/statm: 211336 167936 147 357 0 210976 0
Current children cumulated CPU time (s) 20.11
Current children cumulated vsize (KiB) 1475628
[startup+35.1002 s]
/proc/loadavg: 3.28 2.61 2.29 2/183 27580
/proc/meminfo: memFree=19674752/32873648 swapFree=7116/7116
[pid=27573] ppid=27571 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27573/stat : 27573 (npSolver-pbo-It) S 27571 27573 25163 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276642851 9367552 275 33554432000 4194304 5064252 140735688192144 140735688191056 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27573/statm: 2287 275 233 213 0 72 0
[pid=27575] ppid=27573 vsize=621136 CPUtime=16.54 cores=0,2,4,6
/proc/27575/stat : 27575 (npSolver-pbo) S 27573 27573 25163 0 -1 4204032 85053 19681 0 0 539 88 964 63 20 0 1 0 276642851 636043264 132683 33554432000 4194304 5992684 140733573866608 140733573861144 5240597 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 3 0 0
/proc/27575/statm: 155284 132683 184 440 0 154840 0
[pid=27579] ppid=27575 vsize=845344 CPUtime=3.57 cores=0,2,4,6
/proc/27579/stat : 27579 (glucosInc) S 27575 27573 25163 0 -1 4202496 95999 0 0 0 332 25 0 0 20 0 1 0 276644434 865632256 167936 33554432000 4194304 5654031 140735514018288 140735514016600 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/27579/statm: 211336 167936 147 357 0 210976 0
Current children cumulated CPU time (s) 20.11
Current children cumulated vsize (KiB) 1475628
[startup+38.3003 s]
/proc/loadavg: 3.28 2.61 2.29 2/183 27580
/proc/meminfo: memFree=19644124/32873648 swapFree=7116/7116
[pid=27573] ppid=27571 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27573/stat : 27573 (npSolver-pbo-It) S 27571 27573 25163 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276642851 9367552 275 33554432000 4194304 5064252 140735688192144 140735688191056 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27573/statm: 2287 275 233 213 0 72 0
[pid=27575] ppid=27573 vsize=621136 CPUtime=16.54 cores=0,2,4,6
/proc/27575/stat : 27575 (npSolver-pbo) S 27573 27573 25163 0 -1 4204032 85053 19681 0 0 539 88 964 63 20 0 1 0 276642851 636043264 132683 33554432000 4194304 5992684 140733573866608 140733573861144 5240597 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 3 0 0
/proc/27575/statm: 155284 132683 184 440 0 154840 0
[pid=27579] ppid=27575 vsize=845344 CPUtime=3.57 cores=0,2,4,6
/proc/27579/stat : 27579 (glucosInc) S 27575 27573 25163 0 -1 4202496 95999 0 0 0 332 25 0 0 20 0 1 0 276644434 865632256 167936 33554432000 4194304 5654031 140735514018288 140735514016600 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/27579/statm: 211336 167936 147 357 0 210976 0
Current children cumulated CPU time (s) 20.11
Current children cumulated vsize (KiB) 1475628
[startup+39.9003 s]
/proc/loadavg: 3.28 2.61 2.29 2/183 27580
/proc/meminfo: memFree=19613124/32873648 swapFree=7116/7116
[pid=27573] ppid=27571 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27573/stat : 27573 (npSolver-pbo-It) S 27571 27573 25163 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276642851 9367552 275 33554432000 4194304 5064252 140735688192144 140735688191056 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27573/statm: 2287 275 233 213 0 72 0
[pid=27575] ppid=27573 vsize=621136 CPUtime=16.54 cores=0,2,4,6
/proc/27575/stat : 27575 (npSolver-pbo) S 27573 27573 25163 0 -1 4204032 85053 19681 0 0 539 88 964 63 20 0 1 0 276642851 636043264 132683 33554432000 4194304 5992684 140733573866608 140733573861144 5240597 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 3 0 0
/proc/27575/statm: 155284 132683 184 440 0 154840 0
[pid=27579] ppid=27575 vsize=845344 CPUtime=3.57 cores=0,2,4,6
/proc/27579/stat : 27579 (glucosInc) S 27575 27573 25163 0 -1 4202496 95999 0 0 0 332 25 0 0 20 0 1 0 276644434 865632256 167936 33554432000 4194304 5654031 140735514018288 140735514016600 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/27579/statm: 211336 167936 147 357 0 210976 0
Current children cumulated CPU time (s) 20.11
Current children cumulated vsize (KiB) 1475628
[startup+40.7067 s]
/proc/loadavg: 3.34 2.63 2.30 2/183 27580
/proc/meminfo: memFree=19598244/32873648 swapFree=7116/7116
[pid=27573] ppid=27571 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27573/stat : 27573 (npSolver-pbo-It) S 27571 27573 25163 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276642851 9367552 275 33554432000 4194304 5064252 140735688192144 140735688191056 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27573/statm: 2287 275 233 213 0 72 0
[pid=27575] ppid=27573 vsize=621136 CPUtime=16.54 cores=0,2,4,6
/proc/27575/stat : 27575 (npSolver-pbo) S 27573 27573 25163 0 -1 4204032 85053 19681 0 0 539 88 964 63 20 0 1 0 276642851 636043264 132683 33554432000 4194304 5992684 140733573866608 140733573861144 5240597 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 3 0 0
/proc/27575/statm: 155284 132683 184 440 0 154840 0
[pid=27579] ppid=27575 vsize=845344 CPUtime=3.57 cores=0,2,4,6
/proc/27579/stat : 27579 (glucosInc) S 27575 27573 25163 0 -1 4202496 95999 0 0 0 332 25 0 0 20 0 1 0 276644434 865632256 167936 33554432000 4194304 5654031 140735514018288 140735514016600 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/27579/statm: 211336 167936 147 357 0 210976 0
Current children cumulated CPU time (s) 20.11
Current children cumulated vsize (KiB) 1475628
[startup+41.1002 s]
/proc/loadavg: 3.34 2.63 2.30 2/183 27580
/proc/meminfo: memFree=19598244/32873648 swapFree=7116/7116
[pid=27573] ppid=27571 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27573/stat : 27573 (npSolver-pbo-It) S 27571 27573 25163 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 276642851 9367552 275 33554432000 4194304 5064252 140735688192144 140735688191056 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27573/statm: 2287 275 233 213 0 72 0
[pid=27575] ppid=27573 vsize=621136 CPUtime=16.54 cores=0,2,4,6
/proc/27575/stat : 27575 (npSolver-pbo) S 27573 27573 25163 0 -1 4204032 85053 19681 0 0 539 88 964 63 20 0 1 0 276642851 636043264 132683 33554432000 4194304 5992684 140733573866608 140733573861144 5240597 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 3 0 0
/proc/27575/statm: 155284 132683 184 440 0 154840 0
[pid=27579] ppid=27575 vsize=845344 CPUtime=3.57 cores=0,2,4,6
/proc/27579/stat : 27579 (glucosInc) S 27575 27573 25163 0 -1 4202496 95999 0 0 0 332 25 0 0 20 0 1 0 276644434 865632256 167936 33554432000 4194304 5654031 140735514018288 140735514016600 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/27579/statm: 211336 167936 147 357 0 210976 0
Current children cumulated CPU time (s) 20.11
Current children cumulated vsize (KiB) 1475628
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27573 and gives
# childrusage.ru_utime.tv_sec=15
# childrusage.ru_utime.tv_usec=44712
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=544765
# CPU time returned by wait4() is 16.5895
# while last known CPU time is 20.11
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 41.1499
CPU time (s): 20.11
CPU user time (s): 18.35
CPU system time (s): 1.76
CPU usage (%): 48.8701
Max. virtual memory (cumulated for all children) (KiB): 1475628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.0447
system time used= 1.54476
maximum resident set size= 642704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105109
page faults= 0
swaps= 0
block input operations= 24
block output operations= 681600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 146744
involuntary context switches= 56
runsolver used 0.077988 second user time and 0.217966 second system time
The end