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-3753195-1339207957/watcher-3753195-1339207957 -o /tmp/evaluation-result-3753195-1339207957/solver-3753195-1339207957 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753195-1339207957.wbo 1406562119 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: 2.24 2.01 1.95 3/179 6468
/proc/meminfo: memFree=31189920/32873648 swapFree=7376/7376
[pid=6468] ppid=6466 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/6468/stat : 6468 (runsolver) D 6466 6468 3376 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 386921667 12095488 50 33554432000 4194304 5436572 140733483294624 140733483290920 4883175 0 0 4096 24578 18446744071579943789 0 0 17 4 0 0 0 0 0
/proc/6468/statm: 2953 50 31 304 0 2645 0
[startup+0.0948619 s]
/proc/loadavg: 2.24 2.01 1.95 3/179 6468
/proc/meminfo: memFree=31189920/32873648 swapFree=7376/7376
[pid=6468] ppid=6466 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6468/stat : 6468 (npSolver-wbo-It) S 6466 6468 3376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386921667 9367552 274 33554432000 4194304 5064252 140733238079680 140733238078592 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6468/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100232 s]
/proc/loadavg: 2.24 2.01 1.95 3/179 6468
/proc/meminfo: memFree=31189920/32873648 swapFree=7376/7376
[pid=6468] ppid=6466 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6468/stat : 6468 (npSolver-wbo-It) S 6466 6468 3376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386921667 9367552 274 33554432000 4194304 5064252 140733238079680 140733238078592 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6468/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300173 s]
/proc/loadavg: 2.24 2.01 1.95 3/179 6468
/proc/meminfo: memFree=31189920/32873648 swapFree=7376/7376
[pid=6468] ppid=6466 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6468/stat : 6468 (npSolver-wbo-It) S 6466 6468 3376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386921667 9367552 274 33554432000 4194304 5064252 140733238079680 140733238078592 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6468/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700183 s]
/proc/loadavg: 2.24 2.01 1.95 3/179 6468
/proc/meminfo: memFree=31189920/32873648 swapFree=7376/7376
[pid=6468] ppid=6466 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6468/stat : 6468 (npSolver-wbo-It) S 6466 6468 3376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386921667 9367552 274 33554432000 4194304 5064252 140733238079680 140733238078592 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6468/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50029 s]
/proc/loadavg: 2.24 2.01 1.95 3/183 6482
/proc/meminfo: memFree=31174924/32873648 swapFree=7376/7376
[pid=6468] ppid=6466 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6468/stat : 6468 (npSolver-wbo-It) S 6466 6468 3376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386921667 9367552 274 33554432000 4194304 5064252 140733238079680 140733238078592 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6468/statm: 2287 274 233 213 0 72 0
[pid=6470] ppid=6468 vsize=2392 CPUtime=0.01 cores=0,2,4,6
/proc/6470/stat : 6470 (npSolver-wbo) S 6468 6468 3376 0 -1 4202496 1308 1748 0 0 0 0 1 0 20 0 1 0 386921668 2449408 254 33554432000 4194304 6006132 140734824261776 140734824255968 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6470/statm: 598 254 157 443 0 151 0
[pid=6474] ppid=6470 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6474/stat : 6474 (satsolver.sh) S 6470 6468 3376 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386921672 9367552 267 33554432000 4194304 5064252 140733366088896 140733366087808 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6474/statm: 2287 267 226 213 0 72 0
[pid=6475] ppid=6474 vsize=17424 CPUtime=1.44 cores=0,2,4,6
/proc/6475/stat : 6475 (glucose) R 6474 6468 3376 0 -1 4202496 3695 0 0 0 144 0 0 0 20 0 1 0 386921672 17842176 2726 33554432000 4194304 5208918 140735535142720 140735535140712 4231508 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6475/statm: 4356 2726 96 248 0 4105 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 38112
[startup+3.10029 s]
/proc/loadavg: 2.22 2.01 1.95 3/184 6492
/proc/meminfo: memFree=31230684/32873648 swapFree=7376/7376
[pid=6468] ppid=6466 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6468/stat : 6468 (npSolver-wbo-It) S 6466 6468 3376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386921667 9367552 274 33554432000 4194304 5064252 140733238079680 140733238078592 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6468/statm: 2287 274 233 213 0 72 0
[pid=6470] ppid=6468 vsize=2392 CPUtime=0.01 cores=0,2,4,6
/proc/6470/stat : 6470 (npSolver-wbo) S 6468 6468 3376 0 -1 4202496 1308 1748 0 0 0 0 1 0 20 0 1 0 386921668 2449408 254 33554432000 4194304 6006132 140734824261776 140734824255968 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6470/statm: 598 254 157 443 0 151 0
[pid=6474] ppid=6470 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6474/stat : 6474 (satsolver.sh) S 6470 6468 3376 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386921672 9367552 267 33554432000 4194304 5064252 140733366088896 140733366087808 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6474/statm: 2287 267 226 213 0 72 0
[pid=6475] ppid=6474 vsize=17424 CPUtime=3.05 cores=0,2,4,6
/proc/6475/stat : 6475 (glucose) R 6474 6468 3376 0 -1 4202496 3853 0 0 0 304 1 0 0 20 0 1 0 386921672 17842176 3906 33554432000 4194304 5208918 140735535142720 140735535140664 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6475/statm: 4356 3906 96 248 0 4105 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 38112
[startup+6.30029 s]
/proc/loadavg: 2.22 2.01 1.95 3/184 6513
/proc/meminfo: memFree=31226196/32873648 swapFree=7376/7376
[pid=6468] ppid=6466 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6468/stat : 6468 (npSolver-wbo-It) S 6466 6468 3376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386921667 9367552 274 33554432000 4194304 5064252 140733238079680 140733238078592 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6468/statm: 2287 274 233 213 0 72 0
[pid=6470] ppid=6468 vsize=2392 CPUtime=0.01 cores=0,2,4,6
/proc/6470/stat : 6470 (npSolver-wbo) S 6468 6468 3376 0 -1 4202496 1308 1748 0 0 0 0 1 0 20 0 1 0 386921668 2449408 254 33554432000 4194304 6006132 140734824261776 140734824255968 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6470/statm: 598 254 157 443 0 151 0
[pid=6474] ppid=6470 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6474/stat : 6474 (satsolver.sh) S 6470 6468 3376 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386921672 9367552 267 33554432000 4194304 5064252 140733366088896 140733366087808 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6474/statm: 2287 267 226 213 0 72 0
[pid=6475] ppid=6474 vsize=20172 CPUtime=6.24 cores=0,2,4,6
/proc/6475/stat : 6475 (glucose) R 6474 6468 3376 0 -1 4202496 4538 0 0 0 623 1 0 0 20 0 1 0 386921672 20656128 4598 33554432000 4194304 5208918 140735535142720 140735535140584 4229517 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6475/statm: 5043 4598 96 248 0 4792 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 40860
[startup+12.7002 s]
/proc/loadavg: 2.28 2.03 1.95 3/183 6559
/proc/meminfo: memFree=31203988/32873648 swapFree=7376/7376
[pid=6468] ppid=6466 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6468/stat : 6468 (npSolver-wbo-It) S 6466 6468 3376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386921667 9367552 274 33554432000 4194304 5064252 140733238079680 140733238078592 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6468/statm: 2287 274 233 213 0 72 0
[pid=6470] ppid=6468 vsize=2392 CPUtime=0.01 cores=0,2,4,6
/proc/6470/stat : 6470 (npSolver-wbo) S 6468 6468 3376 0 -1 4202496 1308 1748 0 0 0 0 1 0 20 0 1 0 386921668 2449408 254 33554432000 4194304 6006132 140734824261776 140734824255968 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6470/statm: 598 254 157 443 0 151 0
[pid=6474] ppid=6470 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6474/stat : 6474 (satsolver.sh) S 6470 6468 3376 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386921672 9367552 267 33554432000 4194304 5064252 140733366088896 140733366087808 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6474/statm: 2287 267 226 213 0 72 0
[pid=6475] ppid=6474 vsize=21836 CPUtime=12.64 cores=0,2,4,6
/proc/6475/stat : 6475 (glucose) R 6474 6468 3376 0 -1 4202496 4956 0 0 0 1263 1 0 0 20 0 1 0 386921672 22360064 5014 33554432000 4194304 5208918 140735535142720 140735535140584 4229532 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6475/statm: 5459 5014 96 248 0 5208 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 42524
[startup+25.5004 s]
/proc/loadavg: 2.22 2.03 1.95 3/183 6618
/proc/meminfo: memFree=31245756/32873648 swapFree=7376/7376
[pid=6468] ppid=6466 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6468/stat : 6468 (npSolver-wbo-It) S 6466 6468 3376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386921667 9367552 274 33554432000 4194304 5064252 140733238079680 140733238078592 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6468/statm: 2287 274 233 213 0 72 0
[pid=6470] ppid=6468 vsize=2392 CPUtime=0.01 cores=0,2,4,6
/proc/6470/stat : 6470 (npSolver-wbo) S 6468 6468 3376 0 -1 4202496 1308 1748 0 0 0 0 1 0 20 0 1 0 386921668 2449408 254 33554432000 4194304 6006132 140734824261776 140734824255968 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6470/statm: 598 254 157 443 0 151 0
[pid=6474] ppid=6470 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6474/stat : 6474 (satsolver.sh) S 6470 6468 3376 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386921672 9367552 267 33554432000 4194304 5064252 140733366088896 140733366087808 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6474/statm: 2287 267 226 213 0 72 0
[pid=6475] ppid=6474 vsize=36468 CPUtime=25.44 cores=0,2,4,6
/proc/6475/stat : 6475 (glucose) R 6474 6468 3376 0 -1 4202496 6250 0 0 0 2542 2 0 0 20 0 1 0 386921672 37343232 7885 33554432000 4194304 5208918 140735535142720 140735535140664 4229532 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6475/statm: 9117 7885 96 248 0 8866 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 57156
[startup+51.1003 s]
/proc/loadavg: 2.21 2.04 1.96 3/183 6625
/proc/meminfo: memFree=31208264/32873648 swapFree=7376/7376
[pid=6468] ppid=6466 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6468/stat : 6468 (npSolver-wbo-It) S 6466 6468 3376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386921667 9367552 274 33554432000 4194304 5064252 140733238079680 140733238078592 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6468/statm: 2287 274 233 213 0 72 0
[pid=6470] ppid=6468 vsize=2392 CPUtime=0.01 cores=0,2,4,6
/proc/6470/stat : 6470 (npSolver-wbo) S 6468 6468 3376 0 -1 4202496 1308 1748 0 0 0 0 1 0 20 0 1 0 386921668 2449408 254 33554432000 4194304 6006132 140734824261776 140734824255968 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6470/statm: 598 254 157 443 0 151 0
[pid=6474] ppid=6470 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6474/stat : 6474 (satsolver.sh) S 6470 6468 3376 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386921672 9367552 267 33554432000 4194304 5064252 140733366088896 140733366087808 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6474/statm: 2287 267 226 213 0 72 0
[pid=6475] ppid=6474 vsize=66780 CPUtime=51.04 cores=0,2,4,6
/proc/6475/stat : 6475 (glucose) R 6474 6468 3376 0 -1 4202496 7130 0 0 0 5101 3 0 0 20 0 1 0 386921672 68382720 9314 33554432000 4194304 5208918 140735535142720 140735535140664 4229517 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6475/statm: 16695 9314 96 248 0 16444 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 87468
[startup+102.3 s]
/proc/loadavg: 2.12 2.05 1.96 3/183 6625
/proc/meminfo: memFree=31138936/32873648 swapFree=7376/7376
[pid=6468] ppid=6466 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6468/stat : 6468 (npSolver-wbo-It) S 6466 6468 3376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386921667 9367552 274 33554432000 4194304 5064252 140733238079680 140733238078592 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6468/statm: 2287 274 233 213 0 72 0
[pid=6470] ppid=6468 vsize=2392 CPUtime=0.01 cores=0,2,4,6
/proc/6470/stat : 6470 (npSolver-wbo) S 6468 6468 3376 0 -1 4202496 1308 1748 0 0 0 0 1 0 20 0 1 0 386921668 2449408 254 33554432000 4194304 6006132 140734824261776 140734824255968 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6470/statm: 598 254 157 443 0 151 0
[pid=6474] ppid=6470 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6474/stat : 6474 (satsolver.sh) S 6470 6468 3376 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386921672 9367552 267 33554432000 4194304 5064252 140733366088896 140733366087808 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6474/statm: 2287 267 226 213 0 72 0
[pid=6475] ppid=6474 vsize=66780 CPUtime=102.23 cores=0,2,4,6
/proc/6475/stat : 6475 (glucose) R 6474 6468 3376 0 -1 4202496 7426 0 0 0 10220 3 0 0 20 0 1 0 386921672 68382720 15226 33554432000 4194304 5208918 140735535142720 140735535140664 4229299 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6475/statm: 16695 15226 96 248 0 16444 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 87468
[startup+162.3 s]
/proc/loadavg: 2.09 2.05 1.97 3/183 6626
/proc/meminfo: memFree=31134168/32873648 swapFree=7376/7376
[pid=6468] ppid=6466 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6468/stat : 6468 (npSolver-wbo-It) S 6466 6468 3376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386921667 9367552 274 33554432000 4194304 5064252 140733238079680 140733238078592 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6468/statm: 2287 274 233 213 0 72 0
[pid=6470] ppid=6468 vsize=2392 CPUtime=0.01 cores=0,2,4,6
/proc/6470/stat : 6470 (npSolver-wbo) S 6468 6468 3376 0 -1 4202496 1308 1748 0 0 0 0 1 0 20 0 1 0 386921668 2449408 254 33554432000 4194304 6006132 140734824261776 140734824255968 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6470/statm: 598 254 157 443 0 151 0
[pid=6474] ppid=6470 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/183 6693
/proc/meminfo: memFree=31102500/32873648 swapFree=7376/7376
[pid=6468] ppid=6466 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6468/stat : 6468 (npSolver-wbo-It) S 6466 6468 3376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386921667 9367552 274 33554432000 4194304 5064252 140733238079680 140733238078592 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6468/statm: 2287 274 233 213 0 72 0
[pid=6470] ppid=6468 vsize=6720 CPUtime=1282.85 cores=0,2,4,6
/proc/6470/stat : 6470 (npSolver-wbo) S 6468 6468 3376 0 -1 4202496 9734 104558 0 0 19 4 128197 65 20 0 1 0 386921668 6881280 1239 33554432000 4194304 6006132 140734824261776 140734824253136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6470/statm: 1680 1239 176 443 0 1233 0
[pid=6691] ppid=6470 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6691/stat : 6691 (satsolver.sh) S 6470 6468 3376 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 387049980 9367552 267 33554432000 4194304 5064252 140734707794864 140734707793776 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6691/statm: 2287 267 226 213 0 72 0
[pid=6692] ppid=6691 vsize=49304 CPUtime=79.13 cores=0,2,4,6
/proc/6692/stat : 6692 (glucose) R 6691 6468 3376 0 -1 4202496 8694 0 0 0 7911 2 0 0 20 0 1 0 387049981 50487296 11918 33554432000 4194304 5208918 140733367462432 140733367460376 4229712 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6692/statm: 12326 11918 96 248 0 12075 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 74320
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/183 6700
/proc/meminfo: memFree=31122892/32873648 swapFree=7376/7376
[pid=6468] ppid=6466 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6468/stat : 6468 (npSolver-wbo-It) S 6466 6468 3376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386921667 9367552 274 33554432000 4194304 5064252 140733238079680 140733238078592 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6468/statm: 2287 274 233 213 0 72 0
[pid=6470] ppid=6468 vsize=6720 CPUtime=1410.92 cores=0,2,4,6
/proc/6470/stat : 6470 (npSolver-wbo) S 6468 6468 3376 0 -1 4202496 10784 117387 0 0 21 4 140995 72 20 0 1 0 386921668 6881280 1239 33554432000 4194304 6006132 140734824261776 140734824253136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6470/statm: 1680 1239 176 443 0 1233 0
[pid=6699] ppid=6470 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6699/stat : 6699 (satsolver.sh) S 6470 6468 3376 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387062792 9367552 267 33554432000 4194304 5064252 140735954891744 140735954890656 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6699/statm: 2287 267 226 213 0 72 0
[pid=6700] ppid=6699 vsize=34984 CPUtime=11.04 cores=0,2,4,6
/proc/6700/stat : 6700 (glucose) R 6699 6468 3376 0 -1 4202496 7452 0 0 0 1103 1 0 0 20 0 1 0 387062792 35823616 8293 33554432000 4194304 5208918 140736565458016 140736565455880 4211570 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/6700/statm: 8746 8293 96 248 0 8495 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 60000
[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 1.98 3/182 6700
/proc/meminfo: memFree=31054468/32873648 swapFree=7376/7376
[pid=6468] ppid=6466 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6468/stat : 6468 (npSolver-wbo-It) S 6466 6468 3376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386921667 9367552 274 33554432000 4194304 5064252 140733238079680 140733238078592 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6468/statm: 2287 274 233 213 0 72 0
[pid=6470] ppid=6468 vsize=6720 CPUtime=1410.92 cores=0,2,4,6
/proc/6470/stat : 6470 (npSolver-wbo) S 6468 6468 3376 0 -1 4202496 10784 117387 0 0 21 4 140995 72 20 0 1 0 386921668 6881280 1239 33554432000 4194304 6006132 140734824261776 140734824253136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6470/statm: 1680 1239 176 443 0 1233 0
[pid=6699] ppid=6470 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6699/stat : 6699 (satsolver.sh) S 6470 6468 3376 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387062792 9367552 267 33554432000 4194304 5064252 140735954891744 140735954890656 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6699/statm: 2287 267 226 213 0 72 0
[pid=6700] ppid=6699 vsize=49308 CPUtime=71.02 cores=0,2,4,6
/proc/6700/stat : 6700 (glucose) R 6699 6468 3376 0 -1 4202496 9329 0 0 0 7100 2 0 0 20 0 1 0 387062792 50491392 11890 33554432000 4194304 5208918 140736565458016 140736565455960 4229311 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/6700/statm: 12327 11890 96 248 0 12076 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 74324
[startup+1542.31 s]
/proc/loadavg: 2.01 2.01 1.98 3/183 6708
/proc/meminfo: memFree=31087184/32873648 swapFree=7376/7376
[pid=6468] ppid=6466 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6468/stat : 6468 (npSolver-wbo-It) S 6466 6468 3376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386921667 9367552 274 33554432000 4194304 5064252 140733238079680 140733238078592 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6468/statm: 2287 274 233 213 0 72 0
[pid=6470] ppid=6468 vsize=6720 CPUtime=1537.39 cores=0,2,4,6
/proc/6470/stat : 6470 (npSolver-wbo) S 6468 6468 3376 0 -1 4202496 11834 131506 0 0 23 5 153631 80 20 0 1 0 386921668 6881280 1239 33554432000 4194304 6006132 140734824261776 140734824253136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6470/statm: 1680 1239 176 443 0 1233 0
[pid=6707] ppid=6470 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6707/stat : 6707 (satsolver.sh) S 6470 6468 3376 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387075442 9367552 267 33554432000 4194304 5064252 140734143829744 140734143828656 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6707/statm: 2287 267 226 213 0 72 0
[pid=6708] ppid=6707 vsize=26208 CPUtime=4.54 cores=0,2,4,6
/proc/6708/stat : 6708 (glucose) R 6707 6468 3376 0 -1 4202496 6520 0 0 0 454 0 0 0 20 0 1 0 387075442 26836992 5834 33554432000 4194304 5208918 140737005990800 140737005988744 4231508 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6708/statm: 6552 5834 96 248 0 6301 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 51224
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/183 6708
/proc/meminfo: memFree=31071412/32873648 swapFree=7376/7376
[pid=6468] ppid=6466 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6468/stat : 6468 (npSolver-wbo-It) S 6466 6468 3376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386921667 9367552 274 33554432000 4194304 5064252 140733238079680 140733238078592 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6468/statm: 2287 274 233 213 0 72 0
[pid=6470] ppid=6468 vsize=6720 CPUtime=1537.39 cores=0,2,4,6
/proc/6470/stat : 6470 (npSolver-wbo) S 6468 6468 3376 0 -1 4202496 11834 131506 0 0 23 5 153631 80 20 0 1 0 386921668 6881280 1239 33554432000 4194304 6006132 140734824261776 140734824253136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6470/statm: 1680 1239 176 443 0 1233 0
[pid=6707] ppid=6470 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6707/stat : 6707 (satsolver.sh) S 6470 6468 3376 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387075442 9367552 267 33554432000 4194304 5064252 140734143829744 140734143828656 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6707/statm: 2287 267 226 213 0 72 0
[pid=6708] ppid=6707 vsize=49304 CPUtime=64.52 cores=0,2,4,6
/proc/6708/stat : 6708 (glucose) R 6707 6468 3376 0 -1 4202496 9282 0 0 0 6451 1 0 0 20 0 1 0 387075442 50487296 11879 33554432000 4194304 5208918 140737005990800 140737005988744 4229517 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6708/statm: 12326 11879 96 248 0 12075 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 74320
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/184 6712
/proc/meminfo: memFree=31053896/32873648 swapFree=7376/7376
[pid=6468] ppid=6466 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6468/stat : 6468 (npSolver-wbo-It) S 6466 6468 3376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386921667 9367552 274 33554432000 4194304 5064252 140733238079680 140733238078592 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6468/statm: 2287 274 233 213 0 72 0
[pid=6470] ppid=6468 vsize=6720 CPUtime=1537.39 cores=0,2,4,6
/proc/6470/stat : 6470 (npSolver-wbo) S 6468 6468 3376 0 -1 4202496 11834 131506 0 0 23 5 153631 80 20 0 1 0 386921668 6881280 1239 33554432000 4194304 6006132 140734824261776 140734824253136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6470/statm: 1680 1239 176 443 0 1233 0
[pid=6707] ppid=6470 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6707/stat : 6707 (satsolver.sh) S 6470 6468 3376 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387075442 9367552 267 33554432000 4194304 5064252 140734143829744 140734143828656 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6707/statm: 2287 267 226 213 0 72 0
[pid=6708] ppid=6707 vsize=68160 CPUtime=124.52 cores=0,2,4,6
/proc/6708/stat : 6708 (glucose) R 6707 6468 3376 0 -1 4202496 10072 0 0 0 12450 2 0 0 20 0 1 0 387075442 69795840 16560 33554432000 4194304 5208918 140737005990800 140737005988744 4211744 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6708/statm: 17040 16560 96 248 0 16789 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 93176
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/183 6719
/proc/meminfo: memFree=31081352/32873648 swapFree=7376/7376
[pid=6468] ppid=6466 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6468/stat : 6468 (npSolver-wbo-It) S 6466 6468 3376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386921667 9367552 274 33554432000 4194304 5064252 140733238079680 140733238078592 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6468/statm: 2287 274 233 213 0 72 0
[pid=6470] ppid=6468 vsize=6720 CPUtime=1666 cores=0,2,4,6
/proc/6470/stat : 6470 (npSolver-wbo) S 6468 6468 3376 0 -1 4202496 12884 145535 0 0 26 5 166483 86 20 0 1 0 386921668 6881280 1239 33554432000 4194304 6006132 140734824261776 140734824253136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6470/statm: 1680 1239 176 443 0 1233 0
[pid=6718] ppid=6470 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6718/stat : 6718 (satsolver.sh) S 6470 6468 3376 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387088306 9367552 267 33554432000 4194304 5064252 140735748557488 140735748556400 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6718/statm: 2287 267 226 213 0 72 0
[pid=6719] ppid=6718 vsize=49308 CPUtime=55.88 cores=0,2,4,6
/proc/6719/stat : 6719 (glucose) R 6718 6468 3376 0 -1 4202496 8455 0 0 0 5587 1 0 0 20 0 1 0 387088306 50491392 11890 33554432000 4194304 5208918 140736419225744 140736419223688 4211537 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6719/statm: 12327 11890 96 248 0 12076 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 74324
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/183 6719
/proc/meminfo: memFree=31072720/32873648 swapFree=7376/7376
[pid=6468] ppid=6466 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6468/stat : 6468 (npSolver-wbo-It) S 6466 6468 3376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386921667 9367552 274 33554432000 4194304 5064252 140733238079680 140733238078592 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6468/statm: 2287 274 233 213 0 72 0
[pid=6470] ppid=6468 vsize=6720 CPUtime=1666 cores=0,2,4,6
/proc/6470/stat : 6470 (npSolver-wbo) S 6468 6468 3376 0 -1 4202496 12884 145535 0 0 26 5 166483 86 20 0 1 0 386921668 6881280 1239 33554432000 4194304 6006132 140734824261776 140734824253136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6470/statm: 1680 1239 176 443 0 1233 0
[pid=6718] ppid=6470 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6718/stat : 6718 (satsolver.sh) S 6470 6468 3376 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387088306 9367552 267 33554432000 4194304 5064252 140735748557488 140735748556400 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6718/statm: 2287 267 226 213 0 72 0
[pid=6719] ppid=6718 vsize=68164 CPUtime=115.88 cores=0,2,4,6
/proc/6719/stat : 6719 (glucose) R 6718 6468 3376 0 -1 4202496 9320 0 0 0 11586 2 0 0 20 0 1 0 387088306 69799936 16560 33554432000 4194304 5208918 140736419225744 140736419223688 4229296 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6719/statm: 17041 16560 96 248 0 16790 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 93180
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 1.98 3/183 6726
/proc/meminfo: memFree=31090780/32873648 swapFree=7376/7376
[pid=6468] ppid=6466 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6468/stat : 6468 (npSolver-wbo-It) S 6466 6468 3376 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386921667 9367552 274 33554432000 4194304 5064252 140733238079680 140733238078592 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6468/statm: 2287 274 233 213 0 72 0
[pid=6470] ppid=6468 vsize=6720 CPUtime=1790.96 cores=0,2,4,6
/proc/6470/stat : 6470 (npSolver-wbo) S 6468 6468 3376 0 -1 4202496 13934 158798 0 0 28 5 178970 93 20 0 1 0 386921668 6881280 1239 33554432000 4194304 6006132 140734824261776 140734824253136 5187998 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6470/statm: 1680 1239 176 443 0 1233 0
[pid=6725] ppid=6470 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6725/stat : 6725 (satsolver.sh) S 6470 6468 3376 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387100805 9367552 267 33554432000 4194304 5064252 140735204866736 140735204865648 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6725/statm: 2287 267 226 213 0 72 0
[pid=6726] ppid=6725 vsize=34984 CPUtime=9.12 cores=0,2,4,6
/proc/6726/stat : 6726 (glucose) R 6725 6468 3376 0 -1 4202496 7396 0 0 0 911 1 0 0 20 0 1 0 387100805 35823616 8292 33554432000 4194304 5208918 140734601857008 140734601854872 4229717 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/6726/statm: 8746 8292 96 248 0 8495 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 60000
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.11
CPU user time (s): 1799.1
CPU system time (s): 1.00685
CPU usage (%): 99.9776
Max. virtual memory (cumulated for all children) (KiB): 136788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.1
system time used= 1.00685
maximum resident set size= 108340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 181118
page faults= 0
swaps= 0
block input operations= 0
block output operations= 48656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1142
involuntary context switches= 2490
runsolver used 2.6046 second user time and 7.2239 second system time
The end