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-3752891-1339191303/watcher-3752891-1339191303 -o /tmp/evaluation-result-3752891-1339191303/solver-3752891-1339191303 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752891-1339191303.wbo 1969043374 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.87 1.86 1.86 3/179 6228
/proc/meminfo: memFree=30993984/32873844 swapFree=9160/9160
[pid=6228] ppid=6226 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6228/stat : 6228 (npSolver-wbo-It) S 6226 6228 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385254871 9367552 274 33554432000 4194304 5064252 140733391073760 140733391072672 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6228/statm: 2287 274 233 213 0 72 0
[startup+0.0961129 s]
/proc/loadavg: 1.87 1.86 1.86 3/179 6228
/proc/meminfo: memFree=30993984/32873844 swapFree=9160/9160
[pid=6228] ppid=6226 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6228/stat : 6228 (npSolver-wbo-It) S 6226 6228 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385254871 9367552 274 33554432000 4194304 5064252 140733391073760 140733391072672 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6228/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100333 s]
/proc/loadavg: 1.87 1.86 1.86 3/179 6228
/proc/meminfo: memFree=30993984/32873844 swapFree=9160/9160
[pid=6228] ppid=6226 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6228/stat : 6228 (npSolver-wbo-It) S 6226 6228 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385254871 9367552 274 33554432000 4194304 5064252 140733391073760 140733391072672 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6228/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300245 s]
/proc/loadavg: 1.87 1.86 1.86 3/179 6228
/proc/meminfo: memFree=30993984/32873844 swapFree=9160/9160
[pid=6228] ppid=6226 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6228/stat : 6228 (npSolver-wbo-It) S 6226 6228 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385254871 9367552 274 33554432000 4194304 5064252 140733391073760 140733391072672 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6228/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700209 s]
/proc/loadavg: 1.87 1.86 1.86 3/179 6228
/proc/meminfo: memFree=30993984/32873844 swapFree=9160/9160
[pid=6228] ppid=6226 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6228/stat : 6228 (npSolver-wbo-It) S 6226 6228 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385254871 9367552 274 33554432000 4194304 5064252 140733391073760 140733391072672 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6228/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50039 s]
/proc/loadavg: 1.87 1.86 1.86 3/182 6235
/proc/meminfo: memFree=30980244/32873844 swapFree=9160/9160
[pid=6228] ppid=6226 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6228/stat : 6228 (npSolver-wbo-It) S 6226 6228 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385254871 9367552 274 33554432000 4194304 5064252 140733391073760 140733391072672 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6228/statm: 2287 274 233 213 0 72 0
[pid=6229] ppid=6228 vsize=4060 CPUtime=0.14 cores=1,3,5,7
/proc/6229/stat : 6229 (npSolver-wbo) S 6228 6228 643 0 -1 4202496 1710 2678 0 0 3 0 11 0 20 0 1 0 385254871 4157440 594 33554432000 4194304 6006132 140736176390912 140736176385104 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6229/statm: 1015 594 157 443 0 568 0
[pid=6234] ppid=6229 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6234/stat : 6234 (satsolver.sh) S 6229 6228 643 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385254888 9367552 267 33554432000 4194304 5064252 140735899518256 140735899517168 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6234/statm: 2287 267 226 213 0 72 0
[pid=6235] ppid=6234 vsize=23248 CPUtime=1.32 cores=1,3,5,7
/proc/6235/stat : 6235 (glucose) R 6234 6228 643 0 -1 4202496 4694 0 0 0 131 1 0 0 20 0 1 0 385254888 23805952 3931 33554432000 4194304 5208918 140734827307504 140734827305656 4231508 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6235/statm: 5812 3931 96 248 0 5561 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 45604
[startup+3.10045 s]
/proc/loadavg: 1.88 1.86 1.86 3/182 6242
/proc/meminfo: memFree=30976072/32873844 swapFree=9160/9160
[pid=6228] ppid=6226 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6228/stat : 6228 (npSolver-wbo-It) S 6226 6228 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385254871 9367552 274 33554432000 4194304 5064252 140733391073760 140733391072672 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6228/statm: 2287 274 233 213 0 72 0
[pid=6229] ppid=6228 vsize=4060 CPUtime=0.14 cores=1,3,5,7
/proc/6229/stat : 6229 (npSolver-wbo) S 6228 6228 643 0 -1 4202496 1710 2678 0 0 3 0 11 0 20 0 1 0 385254871 4157440 594 33554432000 4194304 6006132 140736176390912 140736176385104 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6229/statm: 1015 594 157 443 0 568 0
[pid=6234] ppid=6229 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6234/stat : 6234 (satsolver.sh) S 6229 6228 643 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385254888 9367552 267 33554432000 4194304 5064252 140735899518256 140735899517168 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6234/statm: 2287 267 226 213 0 72 0
[pid=6235] ppid=6234 vsize=72356 CPUtime=2.92 cores=1,3,5,7
/proc/6235/stat : 6235 (glucose) R 6234 6228 643 0 -1 4202496 6269 0 0 0 290 2 0 0 20 0 1 0 385254888 74092544 12948 33554432000 4194304 5208918 140734827307504 140734827305496 4215346 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6235/statm: 18089 12948 96 248 0 17838 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 94712
[startup+6.30043 s]
/proc/loadavg: 1.88 1.86 1.86 3/182 6242
/proc/meminfo: memFree=30935508/32873844 swapFree=9160/9160
[pid=6228] ppid=6226 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6228/stat : 6228 (npSolver-wbo-It) S 6226 6228 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385254871 9367552 274 33554432000 4194304 5064252 140733391073760 140733391072672 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6228/statm: 2287 274 233 213 0 72 0
[pid=6229] ppid=6228 vsize=4060 CPUtime=0.14 cores=1,3,5,7
/proc/6229/stat : 6229 (npSolver-wbo) S 6228 6228 643 0 -1 4202496 1710 2678 0 0 3 0 11 0 20 0 1 0 385254871 4157440 594 33554432000 4194304 6006132 140736176390912 140736176385104 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6229/statm: 1015 594 157 443 0 568 0
[pid=6234] ppid=6229 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6234/stat : 6234 (satsolver.sh) S 6229 6228 643 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385254888 9367552 267 33554432000 4194304 5064252 140735899518256 140735899517168 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6234/statm: 2287 267 226 213 0 72 0
[pid=6235] ppid=6234 vsize=60860 CPUtime=6.12 cores=1,3,5,7
/proc/6235/stat : 6235 (glucose) R 6234 6228 643 0 -1 4202496 6857 0 0 0 609 3 0 0 20 0 1 0 385254888 62320640 14021 33554432000 4194304 5208918 140734827307504 140734827305448 4213035 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6235/statm: 15215 14021 96 248 0 14964 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 83216
[startup+12.7003 s]
/proc/loadavg: 1.97 1.88 1.87 3/183 6264
/proc/meminfo: memFree=30932576/32873844 swapFree=9160/9160
[pid=6228] ppid=6226 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6228/stat : 6228 (npSolver-wbo-It) S 6226 6228 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385254871 9367552 274 33554432000 4194304 5064252 140733391073760 140733391072672 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6228/statm: 2287 274 233 213 0 72 0
[pid=6229] ppid=6228 vsize=20388 CPUtime=8.89 cores=1,3,5,7
/proc/6229/stat : 6229 (npSolver-wbo) S 6228 6228 643 0 -1 4202496 3950 12448 0 0 10 4 871 4 20 0 1 0 385254871 20877312 4102 33554432000 4194304 6006132 140736176390912 140736176382272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6229/statm: 5097 4102 176 443 0 4650 0
[pid=6256] ppid=6229 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6256/stat : 6256 (satsolver.sh) S 6229 6228 643 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385255761 9367552 267 33554432000 4194304 5064252 140737263032176 140737263031088 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6256/statm: 2287 267 226 213 0 72 0
[pid=6257] ppid=6256 vsize=52300 CPUtime=3.78 cores=1,3,5,7
/proc/6257/stat : 6257 (glucose) R 6256 6228 643 0 -1 4202496 9952 0 0 0 376 2 0 0 20 0 1 0 385255762 53555200 10697 33554432000 4194304 5208918 140736974222208 140736974220056 4211670 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6257/statm: 13075 10697 95 248 0 12824 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 90984
[startup+25.5004 s]
/proc/loadavg: 1.98 1.88 1.87 3/183 6285
/proc/meminfo: memFree=30903008/32873844 swapFree=9160/9160
[pid=6228] ppid=6226 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6228/stat : 6228 (npSolver-wbo-It) S 6226 6228 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385254871 9367552 274 33554432000 4194304 5064252 140733391073760 140733391072672 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6228/statm: 2287 274 233 213 0 72 0
[pid=6229] ppid=6228 vsize=20388 CPUtime=8.89 cores=1,3,5,7
/proc/6229/stat : 6229 (npSolver-wbo) S 6228 6228 643 0 -1 4202496 3950 12448 0 0 10 4 871 4 20 0 1 0 385254871 20877312 4102 33554432000 4194304 6006132 140736176390912 140736176382272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6229/statm: 5097 4102 176 443 0 4650 0
[pid=6256] ppid=6229 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6256/stat : 6256 (satsolver.sh) S 6229 6228 643 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385255761 9367552 267 33554432000 4194304 5064252 140737263032176 140737263031088 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6256/statm: 2287 267 226 213 0 72 0
[pid=6257] ppid=6256 vsize=83280 CPUtime=16.58 cores=1,3,5,7
/proc/6257/stat : 6257 (glucose) R 6256 6228 643 0 -1 4202496 13090 0 0 0 1654 4 0 0 20 0 1 0 385255762 85278720 17844 33554432000 4194304 5208918 140736974222208 140736974220152 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6257/statm: 20820 17844 96 248 0 20569 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 121964
[startup+51.1003 s]
/proc/loadavg: 1.98 1.89 1.87 3/183 6341
/proc/meminfo: memFree=30938388/32873844 swapFree=9160/9160
[pid=6228] ppid=6226 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6228/stat : 6228 (npSolver-wbo-It) S 6226 6228 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385254871 9367552 274 33554432000 4194304 5064252 140733391073760 140733391072672 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6228/statm: 2287 274 233 213 0 72 0
[pid=6229] ppid=6228 vsize=20388 CPUtime=49.76 cores=1,3,5,7
/proc/6229/stat : 6229 (npSolver-wbo) S 6228 6228 643 0 -1 4202496 8406 46693 0 0 23 5 4917 31 20 0 1 0 385254871 20877312 4102 33554432000 4194304 6006132 140736176390912 140736176382272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6229/statm: 5097 4102 176 443 0 4650 0
[pid=6340] ppid=6229 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6340/stat : 6340 (satsolver.sh) S 6229 6228 643 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385259851 9367552 266 33554432000 4194304 5064252 140735288871744 140735288870656 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6340/statm: 2287 266 226 213 0 72 0
[pid=6341] ppid=6340 vsize=44856 CPUtime=1.28 cores=1,3,5,7
/proc/6341/stat : 6341 (glucose) R 6340 6228 643 0 -1 4202496 8734 0 0 0 126 2 0 0 20 0 1 0 385259851 45932544 9498 33554432000 4194304 5208918 140736614762848 140736614761256 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6341/statm: 11214 9498 95 248 0 10963 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 83540
[startup+102.307 s]
/proc/loadavg: 1.87 1.87 1.87 3/183 6439
/proc/meminfo: memFree=30924056/32873844 swapFree=9160/9160
[pid=6228] ppid=6226 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6228/stat : 6228 (npSolver-wbo-It) S 6226 6228 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385254871 9367552 274 33554432000 4194304 5064252 140733391073760 140733391072672 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6228/statm: 2287 274 233 213 0 72 0
[pid=6229] ppid=6228 vsize=20388 CPUtime=90.31 cores=1,3,5,7
/proc/6229/stat : 6229 (npSolver-wbo) S 6228 6228 643 0 -1 4202496 12862 80559 0 0 36 7 8927 61 20 0 1 0 385254871 20877312 4102 33554432000 4194304 6006132 140736176390912 140736176382272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6229/statm: 5097 4102 176 443 0 4650 0
[pid=6417] ppid=6229 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6417/stat : 6417 (satsolver.sh) S 6229 6228 643 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385263907 9367552 266 33554432000 4194304 5064252 140737280666336 140737280665248 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6417/statm: 2287 266 226 213 0 72 0
[pid=6418] ppid=6417 vsize=64380 CPUtime=11.93 cores=1,3,5,7
/proc/6418/stat : 6418 (glucose) R 6417 6228 643 0 -1 4202496 11692 0 0 0 1190 3 0 0 20 0 1 0 385263907 65925120 13298 33554432000 4194304 5208918 140736082600256 140736082598408 4211584 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6418/statm: 16095 13298 96 248 0 15844 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 103064
[startup+162.3 s]
/proc/loadavg: 1.99 1.91 1.88 3/183 6551
/proc/meminfo: memFree=30924012/32873844 swapFree=9160/9160
[pid=6228] ppid=6226 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6228/stat : 6228 (npSolver-wbo-It) S 6226 6228 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385254871 9367552 274 33554432000 4194304 5064252 140733391073760 140733391072672 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6228/statm: 2287 274 233 213 0 72 0
[pid=6229] ppid=6228 vsize=20388 CPUtime=151.8 cores=1,3,5,7
/proc/6229/stat : 6229 (npSolver-wbo) S 6228 6228 643 0 -1 4202496 19546 131277 0 0 56 9 15011 104 20 0 1 0 385254871 20877312 4102 33554432000 4194304 6006132 140736176390912 140736176382272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6229/statm: 5097 4102 176 443 0 4650 0
[pid=6536] ppid=6229 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/183 9022
/proc/meminfo: memFree=30887152/32873844 swapFree=9160/9160
[pid=6228] ppid=6226 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6228/stat : 6228 (npSolver-wbo-It) S 6226 6228 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385254871 9367552 274 33554432000 4194304 5064252 140733391073760 140733391072672 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6228/statm: 2287 274 233 213 0 72 0
[pid=6229] ppid=6228 vsize=20388 CPUtime=1403.01 cores=1,3,5,7
/proc/6229/stat : 6229 (npSolver-wbo) S 6228 6228 643 0 -1 4202496 155454 1176043 0 0 462 63 138796 980 20 0 1 0 385254871 20877312 4102 33554432000 4194304 6006132 140736176390912 140736176382272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 5 0 0
/proc/6229/statm: 5097 4102 176 443 0 4650 0
[pid=8993] ppid=6229 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8993/stat : 8993 (satsolver.sh) S 6229 6228 643 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385395227 9367552 266 33554432000 4194304 5064252 140734388681808 140734388680720 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8993/statm: 2287 266 226 213 0 72 0
[pid=8994] ppid=8993 vsize=83280 CPUtime=18.72 cores=1,3,5,7
/proc/8994/stat : 8994 (glucose) R 8993 6228 643 0 -1 4202496 12404 0 0 0 1867 5 0 0 20 0 1 0 385395228 85278720 19049 33554432000 4194304 5208918 140736470585296 140736470583240 4211635 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8994/statm: 20820 19049 96 248 0 20569 0
Current children cumulated CPU time (s) 1421.73
Current children cumulated vsize (KiB) 121964
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/183 9141
/proc/meminfo: memFree=30899056/32873844 swapFree=9160/9160
[pid=6228] ppid=6226 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6228/stat : 6228 (npSolver-wbo-It) S 6226 6228 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385254871 9367552 274 33554432000 4194304 5064252 140733391073760 140733391072672 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6228/statm: 2287 274 233 213 0 72 0
[pid=6229] ppid=6228 vsize=20388 CPUtime=1464.38 cores=1,3,5,7
/proc/6229/stat : 6229 (npSolver-wbo) S 6228 6228 643 0 -1 4202496 162138 1226132 0 0 482 66 144867 1023 20 0 1 0 385254871 20877312 4102 33554432000 4194304 6006132 140736176390912 140736176382272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 5 0 0
/proc/6229/statm: 5097 4102 176 443 0 4650 0
[pid=9112] ppid=6229 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9112/stat : 9112 (satsolver.sh) S 6229 6228 643 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385401364 9367552 267 33554432000 4194304 5064252 140734151327120 140734151326032 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9112/statm: 2287 267 226 213 0 72 0
[pid=9113] ppid=9112 vsize=83280 CPUtime=17.35 cores=1,3,5,7
/proc/9113/stat : 9113 (glucose) R 9112 6228 643 0 -1 4202496 12212 0 0 0 1731 4 0 0 20 0 1 0 385401365 85278720 18098 33554432000 4194304 5208918 140734851205152 140734851203096 4211635 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9113/statm: 20820 18098 96 248 0 20569 0
Current children cumulated CPU time (s) 1481.73
Current children cumulated vsize (KiB) 121964
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/184 9264
/proc/meminfo: memFree=30918592/32873844 swapFree=9160/9160
[pid=6228] ppid=6226 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6228/stat : 6228 (npSolver-wbo-It) S 6226 6228 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385254871 9367552 274 33554432000 4194304 5064252 140733391073760 140733391072672 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6228/statm: 2287 274 233 213 0 72 0
[pid=6229] ppid=6228 vsize=20388 CPUtime=1526.08 cores=1,3,5,7
/proc/6229/stat : 6229 (npSolver-wbo) S 6228 6228 643 0 -1 4202496 168822 1278521 0 0 502 68 150973 1065 20 0 1 0 385254871 20877312 4102 33554432000 4194304 6006132 140736176390912 140736176382272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 5 0 0
/proc/6229/statm: 5097 4102 176 443 0 4650 0
[pid=9234] ppid=6229 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9234/stat : 9234 (satsolver.sh) S 6229 6228 643 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385407537 9367552 267 33554432000 4194304 5064252 140737278060480 140737278059392 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9234/statm: 2287 267 226 213 0 72 0
[pid=9235] ppid=9234 vsize=64292 CPUtime=15.62 cores=1,3,5,7
/proc/9235/stat : 9235 (glucose) R 9234 6228 643 0 -1 4202496 11418 0 0 0 1560 2 0 0 20 0 1 0 385407537 65835008 12771 33554432000 4194304 5208918 140733913233536 140733913231480 4211558 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9235/statm: 16073 12771 96 248 0 15822 0
Current children cumulated CPU time (s) 1541.7
Current children cumulated vsize (KiB) 102976
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/184 9406
/proc/meminfo: memFree=30929932/32873844 swapFree=9160/9160
[pid=6228] ppid=6226 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6228/stat : 6228 (npSolver-wbo-It) S 6226 6228 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385254871 9367552 274 33554432000 4194304 5064252 140733391073760 140733391072672 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6228/statm: 2287 274 233 213 0 72 0
[pid=6229] ppid=6228 vsize=20388 CPUtime=1587.87 cores=1,3,5,7
/proc/6229/stat : 6229 (npSolver-wbo) S 6228 6228 643 0 -1 4202496 175506 1329666 0 0 522 71 157088 1106 20 0 1 0 385254871 20877312 4102 33554432000 4194304 6006132 140736176390912 140736176382272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 6 0 0
/proc/6229/statm: 5097 4102 176 443 0 4650 0
[pid=9384] ppid=6229 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9384/stat : 9384 (satsolver.sh) S 6229 6228 643 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385413718 9367552 267 33554432000 4194304 5064252 140735301686192 140735301685104 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9384/statm: 2287 267 226 213 0 72 0
[pid=9385] ppid=9384 vsize=64292 CPUtime=13.81 cores=1,3,5,7
/proc/9385/stat : 9385 (glucose) R 9384 6228 643 0 -1 4202496 12331 0 0 0 1378 3 0 0 20 0 1 0 385413718 65835008 11531 33554432000 4194304 5208918 140735541758928 140735541756872 4229992 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9385/statm: 16073 11531 96 248 0 15822 0
Current children cumulated CPU time (s) 1601.68
Current children cumulated vsize (KiB) 102976
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/183 9525
/proc/meminfo: memFree=30920304/32873844 swapFree=9160/9160
[pid=6228] ppid=6226 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6228/stat : 6228 (npSolver-wbo-It) S 6226 6228 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385254871 9367552 274 33554432000 4194304 5064252 140733391073760 140733391072672 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6228/statm: 2287 274 233 213 0 72 0
[pid=6229] ppid=6228 vsize=20388 CPUtime=1649.39 cores=1,3,5,7
/proc/6229/stat : 6229 (npSolver-wbo) S 6228 6228 643 0 -1 4202496 182190 1380448 0 0 542 74 163175 1148 20 0 1 0 385254871 20877312 4102 33554432000 4194304 6006132 140736176390912 140736176382272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 6 0 0
/proc/6229/statm: 5097 4102 176 443 0 4650 0
[pid=9503] ppid=6229 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9503/stat : 9503 (satsolver.sh) S 6229 6228 643 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385419870 9367552 267 33554432000 4194304 5064252 140735307671456 140735307670368 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9503/statm: 2287 267 226 213 0 72 0
[pid=9504] ppid=9503 vsize=64384 CPUtime=12.28 cores=1,3,5,7
/proc/9504/stat : 9504 (glucose) R 9503 6228 643 0 -1 4202496 10565 0 0 0 1226 2 0 0 20 0 1 0 385419870 65929216 13241 33554432000 4194304 5208918 140735595465856 140735595464008 4211888 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9504/statm: 16096 13241 96 248 0 15845 0
Current children cumulated CPU time (s) 1661.67
Current children cumulated vsize (KiB) 103068
[startup+1722.3 s]
/proc/loadavg: 2.18 2.04 1.96 3/183 9637
/proc/meminfo: memFree=30920348/32873844 swapFree=9160/9160
[pid=6228] ppid=6226 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6228/stat : 6228 (npSolver-wbo-It) S 6226 6228 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385254871 9367552 274 33554432000 4194304 5064252 140733391073760 140733391072672 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6228/statm: 2287 274 233 213 0 72 0
[pid=6229] ppid=6228 vsize=20388 CPUtime=1711.08 cores=1,3,5,7
/proc/6229/stat : 6229 (npSolver-wbo) S 6228 6228 643 0 -1 4202496 188874 1429564 0 0 561 77 169281 1189 20 0 1 0 385254871 20877312 4102 33554432000 4194304 6006132 140736176390912 140736176382272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 6 0 0
/proc/6229/statm: 5097 4102 176 443 0 4650 0
[pid=9622] ppid=6229 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9622/stat : 9622 (satsolver.sh) S 6229 6228 643 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385426041 9367552 266 33554432000 4194304 5064252 140736210062480 140736210061392 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9622/statm: 2287 266 226 213 0 72 0
[pid=9623] ppid=9622 vsize=52708 CPUtime=10.58 cores=1,3,5,7
/proc/9623/stat : 9623 (glucose) R 9622 6228 643 0 -1 4202496 10679 0 0 0 1057 1 0 0 20 0 1 0 385426042 53972992 12380 33554432000 4194304 5208918 140733461530960 140733461528808 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9623/statm: 13177 12380 96 248 0 12926 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 91392
[startup+1782.3 s]
/proc/loadavg: 2.11 2.05 1.97 3/183 9843
/proc/meminfo: memFree=30923260/32873844 swapFree=9160/9160
[pid=6228] ppid=6226 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6228/stat : 6228 (npSolver-wbo-It) S 6226 6228 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385254871 9367552 274 33554432000 4194304 5064252 140733391073760 140733391072672 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6228/statm: 2287 274 233 213 0 72 0
[pid=6229] ppid=6228 vsize=20388 CPUtime=1772.65 cores=1,3,5,7
/proc/6229/stat : 6229 (npSolver-wbo) S 6228 6228 643 0 -1 4202496 195558 1480014 0 0 581 80 175372 1232 20 0 1 0 385254871 20877312 4102 33554432000 4194304 6006132 140736176390912 140736176382272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 6 0 0
/proc/6229/statm: 5097 4102 176 443 0 4650 0
[pid=9800] ppid=6229 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9800/stat : 9800 (satsolver.sh) S 6229 6228 643 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385432199 9367552 267 33554432000 4194304 5064252 140735667902512 140735667901424 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9800/statm: 2287 267 226 213 0 72 0
[pid=9801] ppid=9800 vsize=52564 CPUtime=9 cores=1,3,5,7
/proc/9801/stat : 9801 (glucose) R 9800 6228 643 0 -1 4202496 11306 0 0 0 898 2 0 0 20 0 1 0 385432199 53825536 11858 33554432000 4194304 5208918 140736327268576 140736327266728 4229528 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9801/statm: 13141 11858 96 248 0 12890 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (KiB) 91248
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 2.14 2.06 1.97 3/183 9941
/proc/meminfo: memFree=30925648/32873844 swapFree=9160/9160
[pid=6228] ppid=6226 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6228/stat : 6228 (npSolver-wbo-It) S 6226 6228 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385254871 9367552 274 33554432000 4194304 5064252 140733391073760 140733391072672 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6228/statm: 2287 274 233 213 0 72 0
[pid=6229] ppid=6228 vsize=20388 CPUtime=1792.86 cores=1,3,5,7
/proc/6229/stat : 6229 (npSolver-wbo) S 6228 6228 643 0 -1 4202496 197786 1497324 0 0 588 80 177371 1247 20 0 1 0 385254871 20877312 4102 33554432000 4194304 6006132 140736176390912 140736176382272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 6 0 0
/proc/6229/statm: 5097 4102 176 443 0 4650 0
[pid=9905] ppid=6229 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9905/stat : 9905 (satsolver.sh) S 6229 6228 643 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385434222 9367552 267 33554432000 4194304 5064252 140734170423056 140734170421968 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9905/statm: 2287 267 226 213 0 72 0
[pid=9906] ppid=9905 vsize=52564 CPUtime=7.19 cores=1,3,5,7
/proc/9906/stat : 9906 (glucose) R 9905 6228 643 0 -1 4202496 11166 0 0 0 717 2 0 0 20 0 1 0 385434222 53825536 11263 33554432000 4194304 5208918 140734666300368 140734666298216 4211599 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9906/statm: 13141 11263 96 248 0 12890 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 91248
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.71 s]
/proc/loadavg: 2.14 2.06 1.97 3/183 9941
/proc/meminfo: memFree=30925648/32873844 swapFree=9160/9160
[pid=6228] ppid=6226 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6228/stat : 6228 (npSolver-wbo-It) S 6226 6228 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385254871 9367552 274 33554432000 4194304 5064252 140733391073760 140733391072672 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6228/statm: 2287 274 233 213 0 72 0
[pid=6229] ppid=6228 vsize=20388 CPUtime=1792.86 cores=1,3,5,7
/proc/6229/stat : 6229 (npSolver-wbo) S 6228 6228 643 0 -1 4202496 197786 1497324 0 0 588 80 177371 1247 20 0 1 0 385254871 20877312 4102 33554432000 4194304 6006132 140736176390912 140736176382272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 6 0 0
/proc/6229/statm: 5097 4102 176 443 0 4650 0
[pid=9905] ppid=6229 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9905/stat : 9905 (satsolver.sh) S 6229 6228 643 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385434222 9367552 267 33554432000 4194304 5064252 140734170423056 140734170421968 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9905/statm: 2287 267 226 213 0 72 0
[pid=9906] ppid=9905 vsize=52564 CPUtime=7.19 cores=1,3,5,7
/proc/9906/stat : 9906 (glucose) R 9905 6228 643 0 -1 4202496 11166 0 0 0 717 2 0 0 20 0 1 0 385434222 53825536 11263 33554432000 4194304 5208918 140734666300368 140734666298216 4211599 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9906/statm: 13141 11263 96 248 0 12890 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 91248
Child status: 0
Real time (s): 1800.72
CPU time (s): 1800.08
CPU user time (s): 1786.77
CPU system time (s): 13.311
CPU usage (%): 99.9647
Max. virtual memory (cumulated for all children) (KiB): 121972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.77
system time used= 13.311
maximum resident set size= 78700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1707266
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1041016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21169
involuntary context switches= 3055
runsolver used 3.18252 second user time and 8.82266 second system time
The end