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-3715710-1338204970/watcher-3715710-1338204970 -o /tmp/evaluation-result-3715710-1338204970/solver-3715710-1338204970 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715710-1338204970.wbo 1852292411 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.88 2.01 2.05 3/179 9553
/proc/meminfo: memFree=28270968/32873844 swapFree=6856/6856
[pid=9553] ppid=9551 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9553/stat : 9553 (npSolver-wbo-It) S 9551 9553 2978 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286621868 9367552 275 33554432000 4194304 5064252 140734191384400 140734191383312 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9553/statm: 2287 275 233 213 0 72 0
[startup+0.087651 s]
/proc/loadavg: 1.88 2.01 2.05 3/179 9553
/proc/meminfo: memFree=28270968/32873844 swapFree=6856/6856
[pid=9553] ppid=9551 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9553/stat : 9553 (npSolver-wbo-It) S 9551 9553 2978 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286621868 9367552 275 33554432000 4194304 5064252 140734191384400 140734191383312 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9553/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100259 s]
/proc/loadavg: 1.88 2.01 2.05 3/179 9553
/proc/meminfo: memFree=28270968/32873844 swapFree=6856/6856
[pid=9553] ppid=9551 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9553/stat : 9553 (npSolver-wbo-It) S 9551 9553 2978 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286621868 9367552 275 33554432000 4194304 5064252 140734191384400 140734191383312 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9553/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300225 s]
/proc/loadavg: 1.88 2.01 2.05 3/179 9553
/proc/meminfo: memFree=28270968/32873844 swapFree=6856/6856
[pid=9553] ppid=9551 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9553/stat : 9553 (npSolver-wbo-It) S 9551 9553 2978 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286621868 9367552 275 33554432000 4194304 5064252 140734191384400 140734191383312 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9553/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700229 s]
/proc/loadavg: 1.88 2.01 2.05 3/179 9553
/proc/meminfo: memFree=28270968/32873844 swapFree=6856/6856
[pid=9553] ppid=9551 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9553/stat : 9553 (npSolver-wbo-It) S 9551 9553 2978 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286621868 9367552 275 33554432000 4194304 5064252 140734191384400 140734191383312 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9553/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 1.88 2.01 2.05 3/181 9555
/proc/meminfo: memFree=28167776/32873844 swapFree=6856/6856
[pid=9553] ppid=9551 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9553/stat : 9553 (npSolver-wbo-It) S 9551 9553 2978 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286621868 9367552 275 33554432000 4194304 5064252 140734191384400 140734191383312 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9553/statm: 2287 275 233 213 0 72 0
[pid=9554] ppid=9553 vsize=35156 CPUtime=1.49 cores=0,2,4,6
/proc/9554/stat : 9554 (npSolver-wbo) R 9553 9553 2978 0 -1 4202496 3647 0 0 0 148 1 0 0 20 0 1 0 286621868 35999744 7879 33554432000 4194304 5990268 140734703765232 140734703760472 4547439 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9554/statm: 8789 7879 140 439 0 8346 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44304
[startup+3.10036 s]
/proc/loadavg: 1.88 2.01 2.05 3/183 9557
/proc/meminfo: memFree=28105948/32873844 swapFree=6856/6856
[pid=9553] ppid=9551 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9553/stat : 9553 (npSolver-wbo-It) S 9551 9553 2978 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286621868 9367552 275 33554432000 4194304 5064252 140734191384400 140734191383312 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9553/statm: 2287 275 233 213 0 72 0
[pid=9554] ppid=9553 vsize=35460 CPUtime=1.89 cores=0,2,4,6
/proc/9554/stat : 9554 (npSolver-wbo) S 9553 9553 2978 0 -1 4202496 4267 0 0 0 185 4 0 0 20 0 1 0 286621868 36311040 7964 33554432000 4194304 5990268 140734703765232 140734703758384 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9554/statm: 8865 7964 149 439 0 8422 0
[pid=9556] ppid=9554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9556/stat : 9556 (cp2_pre.sh) S 9554 9553 2978 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 286622059 9367552 277 33554432000 4194304 5064252 140734937380480 140734937379184 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9556/statm: 2287 277 234 213 0 72 0
[pid=9557] ppid=9556 vsize=47724 CPUtime=1.18 cores=0,2,4,6
/proc/9557/stat : 9557 (coprocessor) R 9556 9553 2978 0 -1 4202496 11437 0 0 0 114 4 0 0 20 0 1 0 286622059 48869376 11164 33554432000 4194304 6586260 140733430268096 140733430263848 5732496 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/9557/statm: 11931 11164 204 584 0 11343 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 101480
[startup+6.30033 s]
/proc/loadavg: 1.89 2.01 2.04 3/183 9567
/proc/meminfo: memFree=27882524/32873844 swapFree=6856/6856
[pid=9553] ppid=9551 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9553/stat : 9553 (npSolver-wbo-It) S 9551 9553 2978 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286621868 9367552 275 33554432000 4194304 5064252 140734191384400 140734191383312 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9553/statm: 2287 275 233 213 0 72 0
[pid=9554] ppid=9553 vsize=53468 CPUtime=3.83 cores=0,2,4,6
/proc/9554/stat : 9554 (npSolver-wbo) S 9553 9553 2978 0 -1 4202496 6910 20709 0 0 200 39 133 11 20 0 1 0 286621868 54751232 12451 33554432000 4194304 5990268 140734703765232 140734703756640 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9554/statm: 13367 12451 174 439 0 12924 0
[pid=9566] ppid=9554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9566/stat : 9566 (satsolver.sh) S 9554 9553 2978 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286622254 9367552 267 33554432000 4194304 5064252 140733518304976 140733518303888 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9566/statm: 2287 267 226 213 0 72 0
[pid=9567] ppid=9566 vsize=68860 CPUtime=2.43 cores=0,2,4,6
/proc/9567/stat : 9567 (glucose) R 9566 9553 2978 0 -1 4202496 13407 0 0 0 241 2 0 0 20 0 1 0 286622254 70512640 16052 33554432000 4194304 5208918 140733923822048 140733923819896 4211834 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9567/statm: 17215 16052 95 248 0 16964 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 140624
[startup+12.7003 s]
/proc/loadavg: 1.90 2.01 2.04 3/183 9573
/proc/meminfo: memFree=28344424/32873844 swapFree=6856/6856
[pid=9553] ppid=9551 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9553/stat : 9553 (npSolver-wbo-It) S 9551 9553 2978 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286621868 9367552 275 33554432000 4194304 5064252 140734191384400 140734191383312 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9553/statm: 2287 275 233 213 0 72 0
[pid=9554] ppid=9553 vsize=53468 CPUtime=3.83 cores=0,2,4,6
/proc/9554/stat : 9554 (npSolver-wbo) S 9553 9553 2978 0 -1 4202496 6910 20709 0 0 200 39 133 11 20 0 1 0 286621868 54751232 12451 33554432000 4194304 5990268 140734703765232 140734703756640 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9554/statm: 13367 12451 174 439 0 12924 0
[pid=9566] ppid=9554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9566/stat : 9566 (satsolver.sh) S 9554 9553 2978 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286622254 9367552 267 33554432000 4194304 5064252 140733518304976 140733518303888 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9566/statm: 2287 267 226 213 0 72 0
[pid=9567] ppid=9566 vsize=68860 CPUtime=8.83 cores=0,2,4,6
/proc/9567/stat : 9567 (glucose) R 9566 9553 2978 0 -1 4202496 13487 0 0 0 881 2 0 0 20 0 1 0 286622254 70512640 16132 33554432000 4194304 5208918 140733923822048 140733923819896 4211584 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9567/statm: 17215 16132 95 248 0 16964 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 140624
[startup+25.5003 s]
/proc/loadavg: 1.92 2.01 2.04 3/183 9598
/proc/meminfo: memFree=28342056/32873844 swapFree=6856/6856
[pid=9553] ppid=9551 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9553/stat : 9553 (npSolver-wbo-It) S 9551 9553 2978 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286621868 9367552 275 33554432000 4194304 5064252 140734191384400 140734191383312 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9553/statm: 2287 275 233 213 0 72 0
[pid=9554] ppid=9553 vsize=53468 CPUtime=3.83 cores=0,2,4,6
/proc/9554/stat : 9554 (npSolver-wbo) S 9553 9553 2978 0 -1 4202496 6910 20709 0 0 200 39 133 11 20 0 1 0 286621868 54751232 12451 33554432000 4194304 5990268 140734703765232 140734703756640 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9554/statm: 13367 12451 174 439 0 12924 0
[pid=9566] ppid=9554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9566/stat : 9566 (satsolver.sh) S 9554 9553 2978 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286622254 9367552 267 33554432000 4194304 5064252 140733518304976 140733518303888 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9566/statm: 2287 267 226 213 0 72 0
[pid=9567] ppid=9566 vsize=81312 CPUtime=21.63 cores=0,2,4,6
/proc/9567/stat : 9567 (glucose) R 9566 9553 2978 0 -1 4202496 13860 0 0 0 2161 2 0 0 20 0 1 0 286622254 83263488 16500 33554432000 4194304 5208918 140733923822048 140733923820200 4211851 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9567/statm: 20328 16500 95 248 0 20077 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 153076
[startup+51.1003 s]
/proc/loadavg: 1.87 1.99 2.04 3/184 9657
/proc/meminfo: memFree=28345056/32873844 swapFree=6856/6856
[pid=9553] ppid=9551 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9553/stat : 9553 (npSolver-wbo-It) S 9551 9553 2978 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286621868 9367552 275 33554432000 4194304 5064252 140734191384400 140734191383312 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9553/statm: 2287 275 233 213 0 72 0
[pid=9554] ppid=9553 vsize=53468 CPUtime=28.29 cores=0,2,4,6
/proc/9554/stat : 9554 (npSolver-wbo) S 9553 9553 2978 0 -1 4202496 9449 39731 0 0 209 40 2552 28 20 0 1 0 286621868 54751232 12452 33554432000 4194304 5990268 140734703765232 140734703756640 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9554/statm: 13367 12452 175 439 0 12924 0
[pid=9611] ppid=9554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9611/stat : 9611 (satsolver.sh) S 9554 9553 2978 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 286624709 9367552 267 33554432000 4194304 5064252 140736837117440 140736837116352 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9611/statm: 2287 267 226 213 0 72 0
[pid=9612] ppid=9611 vsize=81312 CPUtime=22.67 cores=0,2,4,6
/proc/9612/stat : 9612 (glucose) R 9611 9553 2978 0 -1 4202496 15204 0 0 0 2265 2 0 0 20 0 1 0 286624709 83263488 16510 33554432000 4194304 5208918 140735510224192 140735510222344 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9612/statm: 20328 16510 95 248 0 20077 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 153076
[startup+102.307 s]
/proc/loadavg: 1.94 1.99 2.03 3/183 9780
/proc/meminfo: memFree=28349724/32873844 swapFree=6860/6860
[pid=9553] ppid=9551 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9553/stat : 9553 (npSolver-wbo-It) S 9551 9553 2978 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286621868 9367552 275 33554432000 4194304 5064252 140734191384400 140734191383312 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9553/statm: 2287 275 233 213 0 72 0
[pid=9554] ppid=9553 vsize=53468 CPUtime=101.81 cores=0,2,4,6
/proc/9554/stat : 9554 (npSolver-wbo) S 9553 9553 2978 0 -1 4202496 17063 101805 0 0 234 43 9822 82 20 0 1 0 286621868 54751232 12452 33554432000 4194304 5990268 140734703765232 140734703756640 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9554/statm: 13367 12452 175 439 0 12924 0
[pid=9779] ppid=9554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9779/stat : 9779 (satsolver.sh) S 9554 9553 2978 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286632063 9367552 266 33554432000 4194304 5064252 140734274276080 140734274274992 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9779/statm: 2287 266 226 213 0 72 0
[pid=9780] ppid=9779 vsize=67132 CPUtime=0.35 cores=0,2,4,6
/proc/9780/stat : 9780 (glucose) R 9779 9553 2978 0 -1 4202496 14310 0 0 0 32 3 0 0 20 0 1 0 286632063 68743168 15608 33554432000 4194304 5208918 140736963950976 140736962900616 4211668 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9780/statm: 16783 15608 95 248 0 16532 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 138896
[startup+162.3 s]
/proc/loadavg: 2.03 2.00 2.03 3/183 9914
/proc/meminfo: memFree=28352724/32873844 swapFree=6856/6856
[pid=9553] ppid=9551 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9553/stat : 9553 (npSolver-wbo-It) S 9551 9553 2978 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286621868 9367552 275 33554432000 4194304 5064252 140734191384400 140734191383312 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9553/statm: 2287 275 233 213 0 72 0
[pid=9554] ppid=9553 vsize=53468 CPUtime=150.93 cores=0,2,4,6
/proc/9554/stat : 9554 (npSolver-wbo) S 9553 9553 2978 0 -1 4202496 22139 142408 0 0 251 45 14673 124 20 0 1 0 286621868 54751232 12452 33554432000 4194304 5990268 140734703765232 140734703756640 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/9554/statm: 13367 12452 175 439 0 12924 0
[pid=9892] ppid=9554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9892/stat : 9892 (satsolver.sh) S 9554 9553 2978 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 286636975 9367552 266 33554432000 4194304 5064252 140735006915520 140735006914432 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9892/statm: 2287 266 226 213 0 72 0
[pid=9893] ppid=9892 vsize=69640 CPUtime=11.22 cores=0,2,4,6
/proc/9893/stat : 9893 (glucose) R 9892 9553 2978 0 -1 4202496 13188 0 0 0 1119 3 0 0 20 0 1 0 286636976 71311360 16387 33554432000 4194304 5208918 140734903827744 140734903825592 4211521 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9893/statm: 17410 16387 95 248 0 17159 0
Current children cumulated CPU time (s) 162.15
################
# More data... #
################
[startup+1422.3 s]
/proc/loadavg: 2.08 2.07 2.01 3/183 12797
/proc/meminfo: memFree=28465900/32873844 swapFree=6856/6856
[pid=9553] ppid=9551 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9553/stat : 9553 (npSolver-wbo-It) S 9551 9553 2978 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286621868 9367552 275 33554432000 4194304 5064252 140734191384400 140734191383312 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9553/statm: 2287 275 233 213 0 72 0
[pid=9554] ppid=9553 vsize=53468 CPUtime=1401.95 cores=0,2,4,6
/proc/9554/stat : 9554 (npSolver-wbo) S 9553 9553 2978 0 -1 4202496 151577 1152396 0 0 677 98 138361 1059 20 0 1 0 286621868 54751232 12452 33554432000 4194304 5990268 140734703765232 140734703756640 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 70 0 0
/proc/9554/statm: 13367 12452 175 439 0 12924 0
[pid=12758] ppid=9554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12758/stat : 12758 (satsolver.sh) S 9554 9553 2978 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286762277 9367552 267 33554432000 4194304 5064252 140735848783552 140735848782464 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12758/statm: 2287 267 226 213 0 72 0
[pid=12759] ppid=12758 vsize=69636 CPUtime=18.21 cores=0,2,4,6
/proc/12759/stat : 12759 (glucose) R 12758 9553 2978 0 -1 4202496 13820 0 0 0 1818 3 0 0 20 0 1 0 286762277 71307264 16491 33554432000 4194304 5208918 140736298671184 140736298669032 4211732 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12759/statm: 17409 16491 95 248 0 17158 0
Current children cumulated CPU time (s) 1420.16
Current children cumulated vsize (KiB) 141400
[startup+1482.3 s]
/proc/loadavg: 2.00 2.05 2.01 3/184 12938
/proc/meminfo: memFree=28335080/32873844 swapFree=6856/6856
[pid=9553] ppid=9551 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9553/stat : 9553 (npSolver-wbo-It) S 9551 9553 2978 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286621868 9367552 275 33554432000 4194304 5064252 140734191384400 140734191383312 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9553/statm: 2287 275 233 213 0 72 0
[pid=9554] ppid=9553 vsize=53468 CPUtime=1475.51 cores=0,2,4,6
/proc/9554/stat : 9554 (npSolver-wbo) S 9553 9553 2978 0 -1 4202496 159191 1210796 0 0 703 101 145634 1113 20 0 1 0 286621868 54751232 12452 33554432000 4194304 5990268 140734703765232 140734703756640 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 96 0 0
/proc/9554/statm: 13367 12452 175 439 0 12924 0
[pid=12930] ppid=9554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12930/stat : 12930 (satsolver.sh) S 9554 9553 2978 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286769659 9367552 267 33554432000 4194304 5064252 140734488608480 140734488607392 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12930/statm: 2287 267 226 213 0 72 0
[pid=12931] ppid=12930 vsize=68864 CPUtime=4.38 cores=0,2,4,6
/proc/12931/stat : 12931 (glucose) R 12930 9553 2978 0 -1 4202496 13745 0 0 0 435 3 0 0 20 0 1 0 286769660 70516736 16257 33554432000 4194304 5208918 140736214841776 140736214839624 4211572 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12931/statm: 17216 16257 95 248 0 16965 0
Current children cumulated CPU time (s) 1479.89
Current children cumulated vsize (KiB) 140628
[startup+1542.31 s]
/proc/loadavg: 2.08 2.06 2.01 3/185 13097
/proc/meminfo: memFree=28380140/32873844 swapFree=6856/6856
[pid=9553] ppid=9551 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9553/stat : 9553 (npSolver-wbo-It) S 9551 9553 2978 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286621868 9367552 275 33554432000 4194304 5064252 140734191384400 140734191383312 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9553/statm: 2287 275 233 213 0 72 0
[pid=9554] ppid=9553 vsize=53468 CPUtime=1524.5 cores=0,2,4,6
/proc/9554/stat : 9554 (npSolver-wbo) S 9553 9553 2978 0 -1 4202496 164267 1248912 0 0 719 103 150478 1150 20 0 1 0 286621868 54751232 12452 33554432000 4194304 5990268 140734703765232 140734703756640 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 96 0 0
/proc/9554/statm: 13367 12452 175 439 0 12924 0
[pid=13065] ppid=9554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13065/stat : 13065 (satsolver.sh) S 9554 9553 2978 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 286774560 9367552 266 33554432000 4194304 5064252 140736479709920 140736479708832 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13065/statm: 2287 266 226 213 0 72 0
[pid=13066] ppid=13065 vsize=69636 CPUtime=15.37 cores=0,2,4,6
/proc/13066/stat : 13066 (glucose) R 13065 9553 2978 0 -1 4202496 13779 0 0 0 1534 3 0 0 20 0 1 0 286774560 71307264 16454 33554432000 4194304 5208918 140736754294896 140736754292744 4211584 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13066/statm: 17409 16454 95 248 0 17158 0
Current children cumulated CPU time (s) 1539.87
Current children cumulated vsize (KiB) 141400
[startup+1602.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/184 13237
/proc/meminfo: memFree=28341664/32873844 swapFree=6856/6856
[pid=9553] ppid=9551 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9553/stat : 9553 (npSolver-wbo-It) S 9551 9553 2978 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286621868 9367552 275 33554432000 4194304 5064252 140734191384400 140734191383312 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9553/statm: 2287 275 233 213 0 72 0
[pid=9554] ppid=9553 vsize=53468 CPUtime=1597.95 cores=0,2,4,6
/proc/9554/stat : 9554 (npSolver-wbo) S 9553 9553 2978 0 -1 4202496 171881 1307785 0 0 745 106 157739 1205 20 0 1 0 286621868 54751232 12452 33554432000 4194304 5990268 140734703765232 140734703756640 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 96 0 0
/proc/9554/statm: 13367 12452 175 439 0 12924 0
[pid=13233] ppid=9554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13233/stat : 13233 (satsolver.sh) S 9554 9553 2978 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286781936 9367552 267 33554432000 4194304 5064252 140734182193312 140734182192224 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13233/statm: 2287 267 226 213 0 72 0
[pid=13234] ppid=13233 vsize=68868 CPUtime=1.6 cores=0,2,4,6
/proc/13234/stat : 13234 (glucose) R 13233 9553 2978 0 -1 4202496 12983 0 0 0 158 2 0 0 20 0 1 0 286781937 70520832 16162 33554432000 4194304 5208918 140735360275520 140735360273368 4211584 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13234/statm: 17217 16162 95 248 0 16966 0
Current children cumulated CPU time (s) 1599.55
Current children cumulated vsize (KiB) 140632
[startup+1662.3 s]
/proc/loadavg: 2.08 2.05 2.00 3/181 13371
/proc/meminfo: memFree=28508108/32873844 swapFree=6856/6856
[pid=9553] ppid=9551 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9553/stat : 9553 (npSolver-wbo-It) S 9551 9553 2978 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286621868 9367552 275 33554432000 4194304 5064252 140734191384400 140734191383312 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9553/statm: 2287 275 233 213 0 72 0
[pid=9554] ppid=9553 vsize=53468 CPUtime=1646.94 cores=0,2,4,6
/proc/9554/stat : 9554 (npSolver-wbo) S 9553 9553 2978 0 -1 4202496 176957 1344756 0 0 761 109 162585 1239 20 0 1 0 286621868 54751232 12452 33554432000 4194304 5990268 140734703765232 140734703756640 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 96 0 0
/proc/9554/statm: 13367 12452 175 439 0 12924 0
[pid=13345] ppid=9554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13345/stat : 13345 (satsolver.sh) S 9554 9553 2978 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286786836 9367552 267 33554432000 4194304 5064252 140736447585504 140736447584416 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13345/statm: 2287 267 226 213 0 72 0
[pid=13346] ppid=13345 vsize=69640 CPUtime=12.61 cores=0,2,4,6
/proc/13346/stat : 13346 (glucose) R 13345 9553 2978 0 -1 4202496 13746 0 0 0 1258 3 0 0 20 0 1 0 286786836 71311360 16420 33554432000 4194304 5208918 140737259209872 140737259207720 4211888 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13346/statm: 17410 16420 95 248 0 17159 0
Current children cumulated CPU time (s) 1659.55
Current children cumulated vsize (KiB) 141404
[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/183 13504
/proc/meminfo: memFree=28300448/32873844 swapFree=6856/6856
[pid=9553] ppid=9551 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9553/stat : 9553 (npSolver-wbo-It) S 9551 9553 2978 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286621868 9367552 275 33554432000 4194304 5064252 140734191384400 140734191383312 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9553/statm: 2287 275 233 213 0 72 0
[pid=9554] ppid=9553 vsize=53468 CPUtime=1695.84 cores=0,2,4,6
/proc/9554/stat : 9554 (npSolver-wbo) S 9553 9553 2978 0 -1 4202496 182033 1383288 0 0 778 111 167419 1276 20 0 1 0 286621868 54751232 12452 33554432000 4194304 5990268 140734703765232 140734703756640 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 96 0 0
/proc/9554/statm: 13367 12452 175 439 0 12924 0
[pid=13458] ppid=9554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13458/stat : 13458 (satsolver.sh) S 9554 9553 2978 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286791728 9367552 267 33554432000 4194304 5064252 140737252817296 140737252816208 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13458/statm: 2287 267 226 213 0 72 0
[pid=13459] ppid=13458 vsize=81456 CPUtime=23.69 cores=0,2,4,6
/proc/13459/stat : 13459 (glucose) R 13458 9553 2978 0 -1 4202496 15222 0 0 0 2366 3 0 0 20 0 1 0 286791728 83410944 16648 33554432000 4194304 5208918 140733451862864 140733451861016 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13459/statm: 20364 16648 95 248 0 20113 0
Current children cumulated CPU time (s) 1719.53
Current children cumulated vsize (KiB) 153220
[startup+1782.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/183 13648
/proc/meminfo: memFree=28378708/32873844 swapFree=6856/6856
[pid=9553] ppid=9551 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9553/stat : 9553 (npSolver-wbo-It) S 9551 9553 2978 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286621868 9367552 275 33554432000 4194304 5064252 140734191384400 140734191383312 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9553/statm: 2287 275 233 213 0 72 0
[pid=9554] ppid=9553 vsize=53468 CPUtime=1769.31 cores=0,2,4,6
/proc/9554/stat : 9554 (npSolver-wbo) S 9553 9553 2978 0 -1 4202496 189647 1444744 0 0 803 114 174680 1334 20 0 1 0 286621868 54751232 12452 33554432000 4194304 5990268 140734703765232 140734703756640 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 96 0 0
/proc/9554/statm: 13367 12452 175 439 0 12924 0
[pid=13626] ppid=9554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13626/stat : 13626 (satsolver.sh) S 9554 9553 2978 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286799109 9367552 266 33554432000 4194304 5064252 140734269664176 140734269663088 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13626/statm: 2287 266 226 213 0 72 0
[pid=13627] ppid=13626 vsize=69636 CPUtime=9.87 cores=0,2,4,6
/proc/13627/stat : 13627 (glucose) R 13626 9553 2978 0 -1 4202496 14607 0 0 0 986 1 0 0 20 0 1 0 286799109 71307264 16350 33554432000 4194304 5208918 140737460237040 140737460234888 4211888 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13627/statm: 17409 16350 95 248 0 17158 0
Current children cumulated CPU time (s) 1779.18
Current children cumulated vsize (KiB) 141400
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1803.4 s]
/proc/loadavg: 2.04 2.04 2.00 3/183 13697
/proc/meminfo: memFree=28349672/32873844 swapFree=6856/6856
[pid=9553] ppid=9551 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9553/stat : 9553 (npSolver-wbo-It) S 9551 9553 2978 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286621868 9367552 275 33554432000 4194304 5064252 140734191384400 140734191383312 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9553/statm: 2287 275 233 213 0 72 0
[pid=9554] ppid=9553 vsize=53468 CPUtime=1793.89 cores=0,2,4,6
/proc/9554/stat : 9554 (npSolver-wbo) S 9553 9553 2978 0 -1 4202496 192185 1465182 0 0 812 115 177110 1352 20 0 1 0 286621868 54751232 12452 33554432000 4194304 5990268 140734703765232 140734703756640 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 96 0 0
/proc/9554/statm: 13367 12452 175 439 0 12924 0
[pid=13682] ppid=9554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13682/stat : 13682 (satsolver.sh) S 9554 9553 2978 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 286801595 9367552 266 33554432000 4194304 5064252 140736869490704 140736869489616 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13682/statm: 2287 266 226 213 0 72 0
[pid=13683] ppid=13682 vsize=68860 CPUtime=6.13 cores=0,2,4,6
/proc/13683/stat : 13683 (glucose) R 13682 9553 2978 0 -1 4202496 14029 0 0 0 610 3 0 0 20 0 1 0 286801595 70512640 16098 33554432000 4194304 5208918 140734921511008 140734921508856 4211584 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13683/statm: 17215 16098 95 248 0 16964 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 140624
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1803.4 s]
/proc/loadavg: 2.04 2.04 2.00 3/183 13697
/proc/meminfo: memFree=28349672/32873844 swapFree=6856/6856
[pid=9553] ppid=9551 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9553/stat : 9553 (npSolver-wbo-It) S 9551 9553 2978 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286621868 9367552 275 33554432000 4194304 5064252 140734191384400 140734191383312 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9553/statm: 2287 275 233 213 0 72 0
[pid=9554] ppid=9553 vsize=53468 CPUtime=1793.89 cores=0,2,4,6
/proc/9554/stat : 9554 (npSolver-wbo) S 9553 9553 2978 0 -1 4202496 192185 1465182 0 0 812 115 177110 1352 20 0 1 0 286621868 54751232 12452 33554432000 4194304 5990268 140734703765232 140734703756640 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 96 0 0
/proc/9554/statm: 13367 12452 175 439 0 12924 0
[pid=13682] ppid=9554 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13682/stat : 13682 (satsolver.sh) S 9554 9553 2978 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 286801595 9367552 266 33554432000 4194304 5064252 140736869490704 140736869489616 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13682/statm: 2287 266 226 213 0 72 0
[pid=13683] ppid=13682 vsize=68860 CPUtime=6.13 cores=0,2,4,6
/proc/13683/stat : 13683 (glucose) R 13682 9553 2978 0 -1 4202496 14029 0 0 0 610 3 0 0 20 0 1 0 286801595 70512640 16098 33554432000 4194304 5208918 140734921511008 140734921508856 4211584 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13683/statm: 17215 16098 95 248 0 16964 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 140624
Child status: 0
Real time (s): 1803.41
CPU time (s): 1800.06
CPU user time (s): 1785.33
CPU system time (s): 14.7308
CPU usage (%): 99.8141
Max. virtual memory (cumulated for all children) (KiB): 155228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.33
system time used= 14.7308
maximum resident set size= 71088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1672372
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3308912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23037
involuntary context switches= 2631
runsolver used 2.71859 second user time and 7.14191 second system time
The end