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-3701307-1338065578/watcher-3701307-1338065578 -o /tmp/evaluation-result-3701307-1338065578/solver-3701307-1338065578 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701307-1338065578.opb 804814489 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.02 2.01 2.01 3/177 7481
/proc/meminfo: memFree=19302316/32873660 swapFree=7120/7120
[pid=7481] ppid=7479 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7481/stat : 7481 (npSolver-pbo.sh) S 7479 7481 6137 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272683535 9367552 274 33554432000 4194304 5064252 140735901223888 140735901222800 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7481/statm: 2287 274 233 213 0 72 0
[startup+0.015605 s]
/proc/loadavg: 2.02 2.01 2.01 3/177 7481
/proc/meminfo: memFree=19302316/32873660 swapFree=7120/7120
[pid=7481] ppid=7479 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7481/stat : 7481 (npSolver-pbo.sh) S 7479 7481 6137 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272683535 9367552 274 33554432000 4194304 5064252 140735901223888 140735901222800 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7481/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100135 s]
/proc/loadavg: 2.02 2.01 2.01 3/177 7481
/proc/meminfo: memFree=19302316/32873660 swapFree=7120/7120
[pid=7481] ppid=7479 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7481/stat : 7481 (npSolver-pbo.sh) S 7479 7481 6137 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272683535 9367552 274 33554432000 4194304 5064252 140735901223888 140735901222800 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7481/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300161 s]
/proc/loadavg: 2.02 2.01 2.01 3/177 7481
/proc/meminfo: memFree=19302316/32873660 swapFree=7120/7120
[pid=7481] ppid=7479 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7481/stat : 7481 (npSolver-pbo.sh) S 7479 7481 6137 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272683535 9367552 274 33554432000 4194304 5064252 140735901223888 140735901222800 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7481/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700219 s]
/proc/loadavg: 2.02 2.01 2.01 3/177 7481
/proc/meminfo: memFree=19302316/32873660 swapFree=7120/7120
[pid=7481] ppid=7479 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7481/stat : 7481 (npSolver-pbo.sh) S 7479 7481 6137 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272683535 9367552 274 33554432000 4194304 5064252 140735901223888 140735901222800 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7481/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50021 s]
/proc/loadavg: 2.02 2.01 2.01 3/179 7483
/proc/meminfo: memFree=19218020/32873660 swapFree=7120/7120
[pid=7481] ppid=7479 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7481/stat : 7481 (npSolver-pbo.sh) S 7479 7481 6137 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272683535 9367552 274 33554432000 4194304 5064252 140735901223888 140735901222800 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7481/statm: 2287 274 233 213 0 72 0
[pid=7482] ppid=7481 vsize=137716 CPUtime=1.48 cores=1,3,5,7
/proc/7482/stat : 7482 (npSolver-pbo) R 7481 7481 6137 0 -1 4202496 20805 0 0 0 144 4 0 0 20 0 1 0 272683535 141021184 32499 33554432000 4194304 5992684 140736318765136 140736318758616 4957503 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7482/statm: 34429 32499 156 440 0 33985 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 146864
[startup+3.1002 s]
/proc/loadavg: 2.02 2.01 2.01 3/179 7483
/proc/meminfo: memFree=19119076/32873660 swapFree=7120/7120
[pid=7481] ppid=7479 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7481/stat : 7481 (npSolver-pbo.sh) S 7479 7481 6137 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272683535 9367552 274 33554432000 4194304 5064252 140735901223888 140735901222800 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7481/statm: 2287 274 233 213 0 72 0
[pid=7482] ppid=7481 vsize=406388 CPUtime=3.09 cores=1,3,5,7
/proc/7482/stat : 7482 (npSolver-pbo) R 7481 7481 6137 0 -1 4202496 39981 0 0 0 298 11 0 0 20 0 1 0 272683535 416141312 68953 33554432000 4194304 5992684 140736318765136 140736318760216 4227934 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7482/statm: 101597 68953 156 440 0 101153 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 415536
[startup+6.30021 s]
/proc/loadavg: 2.01 2.01 2.01 3/179 7483
/proc/meminfo: memFree=18810352/32873660 swapFree=7120/7120
[pid=7481] ppid=7479 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7481/stat : 7481 (npSolver-pbo.sh) S 7479 7481 6137 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272683535 9367552 274 33554432000 4194304 5064252 140735901223888 140735901222800 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7481/statm: 2287 274 233 213 0 72 0
[pid=7482] ppid=7481 vsize=813484 CPUtime=6.29 cores=1,3,5,7
/proc/7482/stat : 7482 (npSolver-pbo) R 7481 7481 6137 0 -1 4202496 76974 0 0 0 606 23 0 0 20 0 1 0 272683535 833007616 142099 33554432000 4194304 5992684 140736318765136 140736318757912 5045116 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7482/statm: 203371 142099 156 440 0 202927 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 822632
[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 2.01 3/179 7483
/proc/meminfo: memFree=18210696/32873660 swapFree=7120/7120
[pid=7481] ppid=7479 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7481/stat : 7481 (npSolver-pbo.sh) S 7479 7481 6137 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272683535 9367552 274 33554432000 4194304 5064252 140735901223888 140735901222800 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7481/statm: 2287 274 233 213 0 72 0
[pid=7482] ppid=7481 vsize=1628444 CPUtime=12.69 cores=1,3,5,7
/proc/7482/stat : 7482 (npSolver-pbo) R 7481 7481 6137 0 -1 4202496 150510 0 0 0 1223 46 0 0 20 0 1 0 272683535 1667526656 288963 33554432000 4194304 5992684 140736318765136 140736318760216 4523474 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7482/statm: 407111 288963 156 440 0 406667 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1637592
[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 2.01 3/179 7483
/proc/meminfo: memFree=16983712/32873660 swapFree=7120/7120
[pid=7481] ppid=7479 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7481/stat : 7481 (npSolver-pbo.sh) S 7479 7481 6137 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272683535 9367552 274 33554432000 4194304 5064252 140735901223888 140735901222800 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7481/statm: 2287 274 233 213 0 72 0
[pid=7482] ppid=7481 vsize=3244872 CPUtime=25.48 cores=1,3,5,7
/proc/7482/stat : 7482 (npSolver-pbo) R 7481 7481 6137 0 -1 4202496 293808 0 0 0 2459 89 0 0 20 0 1 0 272683535 3322748928 586071 33554432000 4194304 5992684 140736318765136 140736318757688 4523497 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7482/statm: 811218 586071 156 440 0 810774 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 3254020
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.01 3/179 7483
/proc/meminfo: memFree=14593080/32873660 swapFree=7120/7120
[pid=7481] ppid=7479 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7481/stat : 7481 (npSolver-pbo.sh) S 7479 7481 6137 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272683535 9367552 274 33554432000 4194304 5064252 140735901223888 140735901222800 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7481/statm: 2287 274 233 213 0 72 0
[pid=7482] ppid=7481 vsize=6497320 CPUtime=51.08 cores=1,3,5,7
/proc/7482/stat : 7482 (npSolver-pbo) R 7481 7481 6137 0 -1 4202496 584812 0 0 0 4928 180 0 0 20 0 1 0 272683535 6653255680 1190827 33554432000 4194304 5992684 140736318765136 140736318758296 4955442 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7482/statm: 1624330 1190827 156 440 0 1623886 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 6506468
[startup+102.307 s]
/proc/loadavg: 2.44 2.12 2.04 3/181 7596
/proc/meminfo: memFree=12965808/32873660 swapFree=7120/7120
[pid=7481] ppid=7479 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7481/stat : 7481 (npSolver-pbo.sh) S 7479 7481 6137 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272683535 9367552 274 33554432000 4194304 5064252 140735901223888 140735901222800 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7481/statm: 2287 274 233 213 0 72 0
[pid=7482] ppid=7481 vsize=6601092 CPUtime=57.32 cores=1,3,5,7
/proc/7482/stat : 7482 (npSolver-pbo) S 7481 7481 6137 0 -1 4202496 612614 0 0 0 5171 561 0 0 20 0 1 0 272683535 6759518208 1243395 33554432000 4194304 5992684 140736318765136 140736318759168 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 421 0 0
/proc/7482/statm: 1650273 1243395 163 440 0 1649829 0
[pid=7484] ppid=7482 vsize=9148 CPUtime=0.02 cores=1,3,5,7
/proc/7484/stat : 7484 (cp2_pre.sh) S 7482 7481 6137 0 -1 4202496 610 0 0 0 0 2 0 0 20 0 1 0 272689689 9367552 277 33554432000 4194304 5064252 140734408020976 140734408019680 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7484/statm: 2287 277 234 213 0 72 0
[pid=7485] ppid=7484 vsize=7640132 CPUtime=40.57 cores=1,3,5,7
/proc/7485/stat : 7485 (coprocessor) R 7484 7481 6137 0 -1 4202496 29858 0 0 0 3868 189 0 0 20 0 1 0 272689694 7823495168 1495082 33554432000 4194304 6586260 140733594859392 140733594855144 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 14 0 0
/proc/7485/statm: 1910033 1495082 158 584 0 1909445 0
Current children cumulated CPU time (s) 97.91
Current children cumulated vsize (KiB) 14259520
[startup+162.3 s]
/proc/loadavg: 3.17 2.36 2.13 3/183 7598
/proc/meminfo: memFree=4642748/32873660 swapFree=7120/7120
[pid=7481] ppid=7479 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7481/stat : 7481 (npSolver-pbo.sh) S 7479 7481 6137 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272683535 9367552 274 33554432000 4194304 5064252 140735901223888 140735901222800 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7481/statm: 2287 274 233 213 0 72 0
[pid=7482] ppid=7481 vsize=6601092 CPUtime=57.32 cores=1,3,5,7
/proc/7482/stat : 7482 (npSolver-pbo) S 7481 7481 6137 0 -1 4202496 612614 0 0 0 5171 561 0 0 20 0 1 0 272683535 6759518208 1243395 33554432000 4194304 5992684 140736318765136 140736318759168 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 421 0 0
/proc/7482/statm: 1650273 1243395 163 440 0 1649829 0
[pid=7484] ppid=7482 vsize=9148 CPUtime=0.02 cores=1,3,5,7
/proc/7484/stat : 7484 (cp2_pre.sh) S 7482 7481 6137 0 -1 4202496 610 0 0 0 0 2 0 0 20 0 1 0 272689689 9367552 277 33554432000 4194304 5064252 140734408020976 140734408019680 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7484/statm: 2287 277 234 213 0 72 0
[pid=7485] ppid=7484 vsize=7640132 CPUtime=96.19 cores=1,3,5,7
/proc/7485/stat : 7485 (coprocessor) R 7484 7481 6137 0 -1 4202496 29858 0 0 0 9144 475 0 0 20 0 1 0 272689694 7823495168 1495082 33554432000 4194304 6586260 140733594859392 140733594855144 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 450 0 0
/proc/7485/statm: 1910033 1495082 158 584 0 1909445 0
Current children cumulated CPU time (s) 153.53
Current children cumulated vsize (KiB) 14259520
[startup+222.3 s]
/proc/loadavg: 2.87 2.44 2.17 3/183 7604
/proc/meminfo: memFree=7710216/32873660 swapFree=7120/7120
[pid=7481] ppid=7479 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7481/stat : 7481 (npSolver-pbo.sh) S 7479 7481 6137 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272683535 9367552 274 33554432000 4194304 5064252 140735901223888 140735901222800 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7481/statm: 2287 274 233 213 0 72 0
[pid=7482] ppid=7481 vsize=6601092 CPUtime=199.2 cores=1,3,5,7
/proc/7482/stat : 7482 (npSolver-pbo) S 7481 7481 6137 0 -1 4202496 612623 30762 0 0 5171 563 13392 794 20 0 1 0 272683535 6759518208 1243395 33554432000 4194304 5992684 140736318765136 140736318760256 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 421 0 0
/proc/7482/statm: 1650273 1243395 163 440 0 1649829 0
[pid=7603] ppid=7482 vsize=9148 CPUtime=0.02 cores=1,3,5,7
/proc/7603/stat : 7603 (satsolver.sh) S 7482 7481 6137 0 -1 4202496 597 0 0 0 0 2 0 0 20 0 1 0 272704576 9367552 265 33554432000 4194304 5064252 140735234863968 140735234862880 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7603/statm: 2287 265 226 213 0 72 0
[pid=7604] ppid=7603 vsize=4106776 CPUtime=11.84 cores=1,3,5,7
/proc/7604/stat : 7604 (glucose) R 7603 7481 6137 0 -1 4202496 347036 0 0 0 1060 124 0 0 20 0 1 0 272704580 4205338624 875154 33554432000 4194304 5208918 140734155216128 140734154165736 4237172 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7604/statm: 1026694 875154 69 248 0 1026443 0
Current children cumulated CPU time (s) 211.06
Current children cumulated vsize (KiB) 10726164
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+234.307 s]
/proc/loadavg: 2.81 2.44 2.17 3/183 7607
/proc/meminfo: memFree=8789736/32873660 swapFree=7120/7120
[pid=7481] ppid=7479 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7481/stat : 7481 (npSolver-pbo.sh) S 7479 7481 6137 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272683535 9367552 274 33554432000 4194304 5064252 140735901223888 140735901222800 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7481/statm: 2287 274 233 213 0 72 0
[pid=7482] ppid=7481 vsize=6601092 CPUtime=199.2 cores=1,3,5,7
/proc/7482/stat : 7482 (npSolver-pbo) S 7481 7481 6137 0 -1 4202496 612623 30762 0 0 5171 563 13392 794 20 0 1 0 272683535 6759518208 1243395 33554432000 4194304 5992684 140736318765136 140736318760256 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 421 0 0
/proc/7482/statm: 1650273 1243395 163 440 0 1649829 0
[pid=7603] ppid=7482 vsize=9148 CPUtime=0.02 cores=1,3,5,7
/proc/7603/stat : 7603 (satsolver.sh) S 7482 7481 6137 0 -1 4202496 597 0 0 0 0 2 0 0 20 0 1 0 272704576 9367552 265 33554432000 4194304 5064252 140735234863968 140735234862880 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7603/statm: 2287 265 226 213 0 72 0
[pid=7604] ppid=7603 vsize=9253544 CPUtime=23.85 cores=1,3,5,7
/proc/7604/stat : 7604 (glucose) R 7603 7481 6137 0 -1 4202496 635768 0 0 0 2130 255 0 0 20 0 1 0 272704580 9475629056 1725215 33554432000 4194304 5208918 140734155216128 140734154165624 4465602 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7604/statm: 2313386 1725217 69 248 0 2313135 0
Current children cumulated CPU time (s) 223.07
Current children cumulated vsize (KiB) 15872932
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+234.307 s]
/proc/loadavg: 2.81 2.44 2.17 3/183 7607
/proc/meminfo: memFree=8789736/32873660 swapFree=7120/7120
[pid=7481] ppid=7479 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7481/stat : 7481 (npSolver-pbo.sh) S 7479 7481 6137 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272683535 9367552 274 33554432000 4194304 5064252 140735901223888 140735901222800 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7481/statm: 2287 274 233 213 0 72 0
[pid=7482] ppid=7481 vsize=6601092 CPUtime=199.2 cores=1,3,5,7
/proc/7482/stat : 7482 (npSolver-pbo) S 7481 7481 6137 0 -1 4202496 612623 30762 0 0 5171 563 13392 794 20 0 1 0 272683535 6759518208 1243395 33554432000 4194304 5992684 140736318765136 140736318760256 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 421 0 0
/proc/7482/statm: 1650273 1243395 163 440 0 1649829 0
[pid=7603] ppid=7482 vsize=9148 CPUtime=0.02 cores=1,3,5,7
/proc/7603/stat : 7603 (satsolver.sh) S 7482 7481 6137 0 -1 4202496 597 0 0 0 0 2 0 0 20 0 1 0 272704576 9367552 265 33554432000 4194304 5064252 140735234863968 140735234862880 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7603/statm: 2287 265 226 213 0 72 0
[pid=7604] ppid=7603 vsize=9253544 CPUtime=23.85 cores=1,3,5,7
/proc/7604/stat : 7604 (glucose) R 7603 7481 6137 0 -1 4202496 635768 0 0 0 2130 255 0 0 20 0 1 0 272704580 9475629056 1725215 33554432000 4194304 5208918 140734155216128 140734154165624 4465602 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7604/statm: 2313386 1725217 69 248 0 2313135 0
Current children cumulated CPU time (s) 223.07
Current children cumulated vsize (KiB) 15872932
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7481 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1999
# CPU time returned by wait4() is 0.001999
# while last known CPU time is 223.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 234.327
CPU time (s): 223.07
CPU user time (s): 206.93
CPU system time (s): 16.14
CPU usage (%): 95.196
Max. virtual memory (cumulated for all children) (KiB): 15872932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.001999
maximum resident set size= 1096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 357
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 2
runsolver used 0.501923 second user time and 1.3358 second system time
The end