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-3752930-1339198484/watcher-3752930-1339198484 -o /tmp/evaluation-result-3752930-1339198484/solver-3752930-1339198484 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752930-1339198484.wbo 246041266 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: 1.91 1.55 1.56 2/179 26937
/proc/meminfo: memFree=30977408/32873844 swapFree=9160/9160
[pid=26937] ppid=26935 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26937/stat : 26937 (npSolver-wbo-It) S 26935 26937 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385972936 9367552 275 33554432000 4194304 5064252 140737137388800 140737137387712 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26937/statm: 2287 275 233 213 0 72 0
[startup+0.0498709 s]
/proc/loadavg: 1.91 1.55 1.56 2/179 26937
/proc/meminfo: memFree=30977408/32873844 swapFree=9160/9160
[pid=26937] ppid=26935 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26937/stat : 26937 (npSolver-wbo-It) S 26935 26937 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385972936 9367552 275 33554432000 4194304 5064252 140737137388800 140737137387712 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26937/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100178 s]
/proc/loadavg: 1.91 1.55 1.56 2/179 26937
/proc/meminfo: memFree=30977408/32873844 swapFree=9160/9160
[pid=26937] ppid=26935 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26937/stat : 26937 (npSolver-wbo-It) S 26935 26937 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385972936 9367552 275 33554432000 4194304 5064252 140737137388800 140737137387712 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26937/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300111 s]
/proc/loadavg: 1.91 1.55 1.56 2/179 26937
/proc/meminfo: memFree=30977408/32873844 swapFree=9160/9160
[pid=26937] ppid=26935 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26937/stat : 26937 (npSolver-wbo-It) S 26935 26937 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385972936 9367552 275 33554432000 4194304 5064252 140737137388800 140737137387712 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26937/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70011 s]
/proc/loadavg: 1.91 1.55 1.56 2/179 26937
/proc/meminfo: memFree=30977408/32873844 swapFree=9160/9160
[pid=26937] ppid=26935 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26937/stat : 26937 (npSolver-wbo-It) S 26935 26937 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385972936 9367552 275 33554432000 4194304 5064252 140737137388800 140737137387712 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26937/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50029 s]
/proc/loadavg: 1.91 1.55 1.56 3/183 26944
/proc/meminfo: memFree=30972284/32873844 swapFree=9160/9160
[pid=26937] ppid=26935 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26937/stat : 26937 (npSolver-wbo-It) S 26935 26937 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385972936 9367552 275 33554432000 4194304 5064252 140737137388800 140737137387712 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26937/statm: 2287 275 233 213 0 72 0
[pid=26938] ppid=26937 vsize=3092 CPUtime=0.22 cores=0,2,4,6
/proc/26938/stat : 26938 (npSolver-wbo) S 26937 26937 643 0 -1 4202496 1948 2221 0 0 2 0 20 0 20 0 1 0 385972936 3166208 369 33554432000 4194304 6006132 140734387088864 140734387083056 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26938/statm: 773 369 158 443 0 326 0
[pid=26943] ppid=26938 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26943/stat : 26943 (satsolver.sh) S 26938 26937 643 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385972960 9367552 266 33554432000 4194304 5064252 140733466917920 140733466916832 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26943/statm: 2287 266 226 213 0 72 0
[pid=26944] ppid=26943 vsize=8564 CPUtime=1.25 cores=0,2,4,6
/proc/26944/stat : 26944 (glucose) R 26943 26937 643 0 -1 4202496 2548 0 0 0 125 0 0 0 20 0 1 0 385972960 8769536 1634 33554432000 4194304 5208918 140736687826992 140736687824936 4229731 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/26944/statm: 2141 1634 96 248 0 1890 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 29952
[startup+3.10029 s]
/proc/loadavg: 1.91 1.55 1.56 3/183 26944
/proc/meminfo: memFree=30963788/32873844 swapFree=9160/9160
[pid=26937] ppid=26935 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26937/stat : 26937 (npSolver-wbo-It) S 26935 26937 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385972936 9367552 275 33554432000 4194304 5064252 140737137388800 140737137387712 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26937/statm: 2287 275 233 213 0 72 0
[pid=26938] ppid=26937 vsize=3092 CPUtime=0.22 cores=0,2,4,6
/proc/26938/stat : 26938 (npSolver-wbo) S 26937 26937 643 0 -1 4202496 1948 2221 0 0 2 0 20 0 20 0 1 0 385972936 3166208 369 33554432000 4194304 6006132 140734387088864 140734387083056 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26938/statm: 773 369 158 443 0 326 0
[pid=26943] ppid=26938 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26943/stat : 26943 (satsolver.sh) S 26938 26937 643 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385972960 9367552 266 33554432000 4194304 5064252 140733466917920 140733466916832 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26943/statm: 2287 266 226 213 0 72 0
[pid=26944] ppid=26943 vsize=12916 CPUtime=2.85 cores=0,2,4,6
/proc/26944/stat : 26944 (glucose) R 26943 26937 643 0 -1 4202496 3109 0 0 0 285 0 0 0 20 0 1 0 385972960 13225984 2695 33554432000 4194304 5208918 140736687826992 140736687824936 4211744 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/26944/statm: 3229 2695 96 248 0 2978 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 34304
[startup+6.30029 s]
/proc/loadavg: 1.92 1.56 1.56 3/183 26944
/proc/meminfo: memFree=30955600/32873844 swapFree=9160/9160
[pid=26937] ppid=26935 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26937/stat : 26937 (npSolver-wbo-It) S 26935 26937 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385972936 9367552 275 33554432000 4194304 5064252 140737137388800 140737137387712 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26937/statm: 2287 275 233 213 0 72 0
[pid=26938] ppid=26937 vsize=3092 CPUtime=0.22 cores=0,2,4,6
/proc/26938/stat : 26938 (npSolver-wbo) S 26937 26937 643 0 -1 4202496 1948 2221 0 0 2 0 20 0 20 0 1 0 385972936 3166208 369 33554432000 4194304 6006132 140734387088864 140734387083056 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26938/statm: 773 369 158 443 0 326 0
[pid=26943] ppid=26938 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26943/stat : 26943 (satsolver.sh) S 26938 26937 643 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385972960 9367552 266 33554432000 4194304 5064252 140733466917920 140733466916832 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26943/statm: 2287 266 226 213 0 72 0
[pid=26944] ppid=26943 vsize=22712 CPUtime=6.04 cores=0,2,4,6
/proc/26944/stat : 26944 (glucose) R 26943 26937 643 0 -1 4202496 4173 0 0 0 604 0 0 0 20 0 1 0 385972960 23257088 4753 33554432000 4194304 5208918 140736687826992 140736687824856 4229507 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/26944/statm: 5678 4753 96 248 0 5427 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 44100
[startup+12.7003 s]
/proc/loadavg: 1.93 1.56 1.56 3/183 26958
/proc/meminfo: memFree=30946740/32873844 swapFree=9160/9160
[pid=26937] ppid=26935 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26937/stat : 26937 (npSolver-wbo-It) S 26935 26937 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385972936 9367552 275 33554432000 4194304 5064252 140737137388800 140737137387712 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26937/statm: 2287 275 233 213 0 72 0
[pid=26938] ppid=26937 vsize=4888 CPUtime=8.28 cores=0,2,4,6
/proc/26938/stat : 26938 (npSolver-wbo) S 26937 26937 643 0 -1 4202496 2451 9438 0 0 3 2 822 1 20 0 1 0 385972936 5005312 712 33554432000 4194304 6006132 140734387088864 140734387080224 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26938/statm: 1222 712 177 443 0 775 0
[pid=26957] ppid=26938 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26957/stat : 26957 (satsolver.sh) S 26938 26937 643 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385973767 9367552 267 33554432000 4194304 5064252 140733684992656 140733684991568 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/26957/statm: 2287 267 226 213 0 72 0
[pid=26958] ppid=26957 vsize=19516 CPUtime=4.38 cores=0,2,4,6
/proc/26958/stat : 26958 (glucose) R 26957 26937 643 0 -1 4202496 4574 0 0 0 438 0 0 0 20 0 1 0 385973767 19984384 4427 33554432000 4194304 5208918 140737453426800 140737453424664 4229466 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26958/statm: 4879 4427 96 248 0 4628 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 42700
[startup+25.5003 s]
/proc/loadavg: 1.94 1.58 1.57 3/183 26979
/proc/meminfo: memFree=30958844/32873844 swapFree=9160/9160
[pid=26937] ppid=26935 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26937/stat : 26937 (npSolver-wbo-It) S 26935 26937 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385972936 9367552 275 33554432000 4194304 5064252 140737137388800 140737137387712 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26937/statm: 2287 275 233 213 0 72 0
[pid=26938] ppid=26937 vsize=4888 CPUtime=21.29 cores=0,2,4,6
/proc/26938/stat : 26938 (npSolver-wbo) S 26937 26937 643 0 -1 4202496 2940 17803 0 0 4 2 2119 4 20 0 1 0 385972936 5005312 712 33554432000 4194304 6006132 140734387088864 140734387080224 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26938/statm: 1222 712 177 443 0 775 0
[pid=26971] ppid=26938 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26971/stat : 26971 (satsolver.sh) S 26938 26937 643 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385975069 9367552 267 33554432000 4194304 5064252 140736558831632 140736558830544 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/26971/statm: 2287 267 226 213 0 72 0
[pid=26972] ppid=26971 vsize=19512 CPUtime=4.16 cores=0,2,4,6
/proc/26972/stat : 26972 (glucose) R 26971 26937 643 0 -1 4202496 3810 0 0 0 416 0 0 0 20 0 1 0 385975069 19980288 4427 33554432000 4194304 5208918 140734346104800 140734346102664 4229347 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26972/statm: 4878 4427 96 248 0 4627 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 42696
[startup+51.1004 s]
/proc/loadavg: 2.03 1.63 1.58 3/183 27007
/proc/meminfo: memFree=30953696/32873844 swapFree=9160/9160
[pid=26937] ppid=26935 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26937/stat : 26937 (npSolver-wbo-It) S 26935 26937 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385972936 9367552 275 33554432000 4194304 5064252 140737137388800 140737137387712 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26937/statm: 2287 275 233 213 0 72 0
[pid=26938] ppid=26937 vsize=4888 CPUtime=47.2 cores=0,2,4,6
/proc/26938/stat : 26938 (npSolver-wbo) S 26937 26937 643 0 -1 4202496 3918 34359 0 0 6 2 4701 11 20 0 1 0 385972936 5005312 712 33554432000 4194304 6006132 140734387088864 140734387080224 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26938/statm: 1222 712 177 443 0 775 0
[pid=27006] ppid=26938 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27006/stat : 27006 (satsolver.sh) S 26938 26937 643 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385977660 9367552 267 33554432000 4194304 5064252 140736140645760 140736140644672 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27006/statm: 2287 267 226 213 0 72 0
[pid=27007] ppid=27006 vsize=19512 CPUtime=3.85 cores=0,2,4,6
/proc/27007/stat : 27007 (glucose) R 27006 26937 643 0 -1 4202496 4157 0 0 0 384 1 0 0 20 0 1 0 385977660 19980288 4436 33554432000 4194304 5208918 140735607127856 140735607125800 4229712 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27007/statm: 4878 4436 96 248 0 4627 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 42696
[startup+102.307 s]
/proc/loadavg: 2.08 1.70 1.61 3/183 27077
/proc/meminfo: memFree=30955684/32873844 swapFree=9160/9160
[pid=26937] ppid=26935 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26937/stat : 26937 (npSolver-wbo-It) S 26935 26937 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385972936 9367552 275 33554432000 4194304 5064252 140737137388800 140737137387712 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26937/statm: 2287 275 233 213 0 72 0
[pid=26938] ppid=26937 vsize=4888 CPUtime=98.86 cores=0,2,4,6
/proc/26938/stat : 26938 (npSolver-wbo) S 26937 26937 643 0 -1 4202496 5874 66848 0 0 9 3 9851 23 20 0 1 0 385972936 5005312 712 33554432000 4194304 6006132 140734387088864 140734387080224 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26938/statm: 1222 712 177 443 0 775 0
[pid=27076] ppid=26938 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27076/stat : 27076 (satsolver.sh) S 26938 26937 643 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385982826 9367552 267 33554432000 4194304 5064252 140735995756336 140735995755248 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27076/statm: 2287 267 226 213 0 72 0
[pid=27077] ppid=27076 vsize=19512 CPUtime=3.39 cores=0,2,4,6
/proc/27077/stat : 27077 (glucose) R 27076 26937 643 0 -1 4202496 5052 0 0 0 339 0 0 0 20 0 1 0 385982827 19980288 4276 33554432000 4194304 5208918 140734222352208 140734222350152 4231508 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27077/statm: 4878 4276 96 248 0 4627 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 42696
[startup+162.3 s]
/proc/loadavg: 2.07 1.77 1.63 3/183 27154
/proc/meminfo: memFree=30959708/32873844 swapFree=9160/9160
[pid=26937] ppid=26935 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26937/stat : 26937 (npSolver-wbo-It) S 26935 26937 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385972936 9367552 275 33554432000 4194304 5064252 140737137388800 140737137387712 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26937/statm: 2287 275 233 213 0 72 0
[pid=26938] ppid=26937 vsize=4888 CPUtime=150.96 cores=0,2,4,6
/proc/26938/stat : 26938 (npSolver-wbo) S 26937 26937 643 0 -1 4202496 7830 103496 0 0 13 4 15044 35 20 0 1 0 385972936 5005312 712 33554432000 4194304 6006132 140734387088864 140734387080224 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26938/statm: 1222 712 177 443 0 775 0
[pid=27139] ppid=26938 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/28731/statm: 2287 267 226 213 0 72 0
[pid=28732] ppid=28731 vsize=19516 CPUtime=3.77 cores=0,2,4,6
/proc/28732/stat : 28732 (glucose) R 28731 26937 643 0 -1 4202496 4683 0 0 0 377 0 0 0 20 0 1 0 386108788 19984384 4428 33554432000 4194304 5208918 140734147974672 140734147972616 4229538 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28732/statm: 4879 4428 96 248 0 4628 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 42700
[startup+1422.31 s]
/proc/loadavg: 1.99 1.97 1.87 3/183 28810
/proc/meminfo: memFree=30940364/32873844 swapFree=9160/9160
[pid=26937] ppid=26935 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26937/stat : 26937 (npSolver-wbo-It) S 26935 26937 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385972936 9367552 275 33554432000 4194304 5064252 140737137388800 140737137387712 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26937/statm: 2287 275 233 213 0 72 0
[pid=26938] ppid=26937 vsize=4888 CPUtime=1410.16 cores=0,2,4,6
/proc/26938/stat : 26938 (npSolver-wbo) S 26937 26937 643 0 -1 4202496 55263 934225 0 0 99 17 140570 330 20 0 1 0 385972936 5005312 712 33554432000 4194304 6006132 140734387088864 140734387080224 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26938/statm: 1222 712 177 443 0 775 0
[pid=28802] ppid=26938 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28802/stat : 28802 (satsolver.sh) S 26938 26937 643 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386113998 9367552 267 33554432000 4194304 5064252 140735161619856 140735161618768 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/28802/statm: 2287 267 226 213 0 72 0
[pid=28803] ppid=28802 vsize=25388 CPUtime=11.67 cores=0,2,4,6
/proc/28803/stat : 28803 (glucose) R 28802 26937 643 0 -1 4202496 5130 0 0 0 1166 1 0 0 20 0 1 0 386113998 25997312 5912 33554432000 4194304 5208918 140737432475168 140737432473112 4229528 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28803/statm: 6347 5912 96 248 0 6096 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 48572
[startup+1482.3 s]
/proc/loadavg: 1.99 1.97 1.87 3/183 28894
/proc/meminfo: memFree=30952592/32873844 swapFree=9160/9160
[pid=26937] ppid=26935 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26937/stat : 26937 (npSolver-wbo-It) S 26935 26937 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385972936 9367552 275 33554432000 4194304 5064252 140737137388800 140737137387712 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26937/statm: 2287 275 233 213 0 72 0
[pid=26938] ppid=26937 vsize=4888 CPUtime=1474.64 cores=0,2,4,6
/proc/26938/stat : 26938 (npSolver-wbo) S 26937 26937 643 0 -1 4202496 57708 975784 0 0 103 18 146997 346 20 0 1 0 385972936 5005312 712 33554432000 4194304 6006132 140734387088864 140734387080224 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26938/statm: 1222 712 177 443 0 775 0
[pid=28886] ppid=26938 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28886/stat : 28886 (satsolver.sh) S 26938 26937 643 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386120447 9367552 267 33554432000 4194304 5064252 140736340191280 140736340190192 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/28886/statm: 2287 267 226 213 0 72 0
[pid=28887] ppid=28886 vsize=25380 CPUtime=7.18 cores=0,2,4,6
/proc/28887/stat : 28887 (glucose) R 28886 26937 643 0 -1 4202496 5046 0 0 0 717 1 0 0 20 0 1 0 386120447 25989120 4948 33554432000 4194304 5208918 140736431284704 140736431282792 4229717 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28887/statm: 6345 4948 96 248 0 6094 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 48564
[startup+1542.3 s]
/proc/loadavg: 1.99 1.97 1.88 3/184 28974
/proc/meminfo: memFree=30953832/32873844 swapFree=9160/9160
[pid=26937] ppid=26935 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26937/stat : 26937 (npSolver-wbo-It) S 26935 26937 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385972936 9367552 275 33554432000 4194304 5064252 140737137388800 140737137387712 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26937/statm: 2287 275 233 213 0 72 0
[pid=26938] ppid=26937 vsize=4888 CPUtime=1539.88 cores=0,2,4,6
/proc/26938/stat : 26938 (npSolver-wbo) S 26937 26937 643 0 -1 4202496 60153 1018896 0 0 108 18 153501 361 20 0 1 0 385972936 5005312 712 33554432000 4194304 6006132 140734387088864 140734387080224 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26938/statm: 1222 712 177 443 0 775 0
[pid=28973] ppid=26938 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28973/stat : 28973 (satsolver.sh) S 26938 26937 643 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386126974 9367552 267 33554432000 4194304 5064252 140733847043264 140733847042176 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/28973/statm: 2287 267 226 213 0 72 0
[pid=28974] ppid=28973 vsize=16796 CPUtime=1.9 cores=0,2,4,6
/proc/28974/stat : 28974 (glucose) R 28973 26937 643 0 -1 4202496 3869 0 0 0 190 0 0 0 20 0 1 0 386126975 17199104 3781 33554432000 4194304 5208918 140735796158752 140735796156840 4229010 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28974/statm: 4199 3781 96 248 0 3948 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 39980
[startup+1602.3 s]
/proc/loadavg: 2.06 1.99 1.89 3/184 29074
/proc/meminfo: memFree=30950848/32873844 swapFree=9160/9160
[pid=26937] ppid=26935 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26937/stat : 26937 (npSolver-wbo-It) S 26935 26937 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385972936 9367552 275 33554432000 4194304 5064252 140737137388800 140737137387712 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26937/statm: 2287 275 233 213 0 72 0
[pid=26938] ppid=26937 vsize=4888 CPUtime=1591.2 cores=0,2,4,6
/proc/26938/stat : 26938 (npSolver-wbo) S 26937 26937 643 0 -1 4202496 62109 1052618 0 0 112 19 158617 372 20 0 1 0 385972936 5005312 712 33554432000 4194304 6006132 140734387088864 140734387080224 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26938/statm: 1222 712 177 443 0 775 0
[pid=29066] ppid=26938 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29066/stat : 29066 (satsolver.sh) S 26938 26937 643 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386132108 9367552 266 33554432000 4194304 5064252 140733417557472 140733417556384 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29066/statm: 2287 266 226 213 0 72 0
[pid=29067] ppid=29066 vsize=25380 CPUtime=10.57 cores=0,2,4,6
/proc/29067/stat : 29067 (glucose) R 29066 26937 643 0 -1 4202496 5200 0 0 0 1056 1 0 0 20 0 1 0 386132108 25989120 5218 33554432000 4194304 5208918 140736338468928 140736338466872 4215245 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29067/statm: 6345 5218 96 248 0 6094 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 48564
[startup+1662.3 s]
/proc/loadavg: 2.02 1.99 1.90 3/183 29158
/proc/meminfo: memFree=30958364/32873844 swapFree=9160/9160
[pid=26937] ppid=26935 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26937/stat : 26937 (npSolver-wbo-It) S 26935 26937 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385972936 9367552 275 33554432000 4194304 5064252 140737137388800 140737137387712 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26937/statm: 2287 275 233 213 0 72 0
[pid=26938] ppid=26937 vsize=4888 CPUtime=1656.41 cores=0,2,4,6
/proc/26938/stat : 26938 (npSolver-wbo) S 26937 26937 643 0 -1 4202496 64554 1094930 0 0 116 19 165118 388 20 0 1 0 385972936 5005312 712 33554432000 4194304 6006132 140734387088864 140734387080224 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26938/statm: 1222 712 177 443 0 775 0
[pid=29150] ppid=26938 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29150/stat : 29150 (satsolver.sh) S 26938 26937 643 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386138633 9367552 267 33554432000 4194304 5064252 140736871970000 140736871968912 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29150/statm: 2287 267 226 213 0 72 0
[pid=29151] ppid=29150 vsize=19516 CPUtime=5.32 cores=0,2,4,6
/proc/29151/stat : 29151 (glucose) R 29150 26937 643 0 -1 4202496 4844 0 0 0 531 1 0 0 20 0 1 0 386138633 19984384 4427 33554432000 4194304 5208918 140735205974288 140735205972152 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29151/statm: 4879 4427 96 248 0 4628 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 42700
[startup+1722.3 s]
/proc/loadavg: 1.96 1.97 1.90 3/183 29229
/proc/meminfo: memFree=30945148/32873844 swapFree=9160/9160
[pid=26937] ppid=26935 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26937/stat : 26937 (npSolver-wbo-It) S 26935 26937 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385972936 9367552 275 33554432000 4194304 5064252 140737137388800 140737137387712 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26937/statm: 2287 275 233 213 0 72 0
[pid=26938] ppid=26937 vsize=4888 CPUtime=1720.95 cores=0,2,4,6
/proc/26938/stat : 26938 (npSolver-wbo) S 26937 26937 643 0 -1 4202496 66999 1138521 0 0 121 20 171551 403 20 0 1 0 385972936 5005312 712 33554432000 4194304 6006132 140734387088864 140734387080224 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26938/statm: 1222 712 177 443 0 775 0
Current children cumulated CPU time (s) 1720.95
Current children cumulated vsize (KiB) 14036
[startup+1782.3 s]
/proc/loadavg: 1.98 1.97 1.90 3/183 29358
/proc/meminfo: memFree=30958900/32873844 swapFree=9160/9160
[pid=26937] ppid=26935 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26937/stat : 26937 (npSolver-wbo-It) S 26935 26937 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385972936 9367552 275 33554432000 4194304 5064252 140737137388800 140737137387712 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26937/statm: 2287 275 233 213 0 72 0
[pid=26938] ppid=26937 vsize=4888 CPUtime=1773.3 cores=0,2,4,6
/proc/26938/stat : 26938 (npSolver-wbo) S 26937 26937 643 0 -1 4202496 68955 1173706 0 0 125 21 176768 416 20 0 1 0 385972936 5005312 712 33554432000 4194304 6006132 140734387088864 140734387080224 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26938/statm: 1222 712 177 443 0 775 0
[pid=29350] ppid=26938 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29350/stat : 29350 (satsolver.sh) S 26938 26937 643 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386150325 9367552 267 33554432000 4194304 5064252 140734435321056 140734435319968 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29350/statm: 2287 267 226 213 0 72 0
[pid=29351] ppid=29350 vsize=25384 CPUtime=8.39 cores=0,2,4,6
/proc/29351/stat : 29351 (glucose) R 29350 26937 643 0 -1 4202496 4943 0 0 0 838 1 0 0 20 0 1 0 386150325 25993216 4638 33554432000 4194304 5208918 140733727915952 140733727913896 4229717 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29351/statm: 6346 4638 96 248 0 6095 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 48568
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 1.99 1.97 1.91 3/183 29379
/proc/meminfo: memFree=30961212/32873844 swapFree=9160/9160
[pid=26937] ppid=26935 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26937/stat : 26937 (npSolver-wbo-It) S 26935 26937 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385972936 9367552 275 33554432000 4194304 5064252 140737137388800 140737137387712 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26937/statm: 2287 275 233 213 0 72 0
[pid=26938] ppid=26937 vsize=4888 CPUtime=1799.47 cores=0,2,4,6
/proc/26938/stat : 26938 (npSolver-wbo) S 26937 26937 643 0 -1 4202496 69933 1190355 0 0 127 21 179377 422 20 0 1 0 385972936 5005312 712 33554432000 4194304 6006132 140734387088864 140734387080224 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26938/statm: 1222 712 177 443 0 775 0
[pid=29378] ppid=26938 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29378/stat : 29378 (satsolver.sh) S 26938 26937 643 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386152944 9367552 267 33554432000 4194304 5064252 140737232221792 140737232220704 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29378/statm: 2287 267 226 213 0 72 0
[pid=29379] ppid=29378 vsize=10488 CPUtime=0.63 cores=0,2,4,6
/proc/29379/stat : 29379 (glucose) R 29378 26937 643 0 -1 4202496 2354 0 0 0 63 0 0 0 20 0 1 0 386152944 10739712 2056 33554432000 4194304 5208918 140733299804992 140733299802840 4231508 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29379/statm: 2622 2056 96 248 0 2371 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 33672
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.71 s]
/proc/loadavg: 1.99 1.97 1.91 3/183 29379
/proc/meminfo: memFree=30961212/32873844 swapFree=9160/9160
[pid=26937] ppid=26935 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26937/stat : 26937 (npSolver-wbo-It) S 26935 26937 643 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385972936 9367552 275 33554432000 4194304 5064252 140737137388800 140737137387712 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26937/statm: 2287 275 233 213 0 72 0
[pid=26938] ppid=26937 vsize=4888 CPUtime=1799.47 cores=0,2,4,6
/proc/26938/stat : 26938 (npSolver-wbo) S 26937 26937 643 0 -1 4202496 69933 1190355 0 0 127 21 179377 422 20 0 1 0 385972936 5005312 712 33554432000 4194304 6006132 140734387088864 140734387080224 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26938/statm: 1222 712 177 443 0 775 0
[pid=29378] ppid=26938 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29378/stat : 29378 (satsolver.sh) S 26938 26937 643 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386152944 9367552 267 33554432000 4194304 5064252 140737232221792 140737232220704 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29378/statm: 2287 267 226 213 0 72 0
[pid=29379] ppid=29378 vsize=10488 CPUtime=0.63 cores=0,2,4,6
/proc/29379/stat : 29379 (glucose) R 29378 26937 643 0 -1 4202496 2354 0 0 0 63 0 0 0 20 0 1 0 386152944 10739712 2056 33554432000 4194304 5208918 140733299804992 140733299802840 4231508 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29379/statm: 2622 2056 96 248 0 2371 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 33672
Child status: 0
Real time (s): 1800.71
CPU time (s): 1800.13
CPU user time (s): 1795.68
CPU system time (s): 4.45132
CPU usage (%): 99.9675
Max. virtual memory (cumulated for all children) (KiB): 49780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.68
system time used= 4.45132
maximum resident set size= 29876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1263632
page faults= 0
swaps= 0
block input operations= 0
block output operations= 225272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4576
involuntary context switches= 3391
runsolver used 2.66859 second user time and 7.17691 second system time
The end