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-3753568-1339186080/watcher-3753568-1339186080 -o /tmp/evaluation-result-3753568-1339186080/solver-3753568-1339186080 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753568-1339186080.wbo 1980721800 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.93 2/169 15725
/proc/meminfo: memFree=29808192/32873624 swapFree=7112/7112
[pid=15725] ppid=15723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15725/stat : 15725 (npSolver-wbo-It) S 15723 15725 14131 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384733442 9367552 274 33554432000 4194304 5064252 140736434818336 140736434817248 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15725/statm: 2287 274 233 213 0 72 0
[startup+0.0082679 s]
/proc/loadavg: 2.00 2.00 1.93 2/169 15725
/proc/meminfo: memFree=29808192/32873624 swapFree=7112/7112
[pid=15725] ppid=15723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15725/stat : 15725 (npSolver-wbo-It) S 15723 15725 14131 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384733442 9367552 274 33554432000 4194304 5064252 140736434818336 140736434817248 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15725/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100279 s]
/proc/loadavg: 2.00 2.00 1.93 2/169 15725
/proc/meminfo: memFree=29808192/32873624 swapFree=7112/7112
[pid=15725] ppid=15723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15725/stat : 15725 (npSolver-wbo-It) S 15723 15725 14131 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384733442 9367552 274 33554432000 4194304 5064252 140736434818336 140736434817248 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15725/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300186 s]
/proc/loadavg: 2.00 2.00 1.93 2/169 15725
/proc/meminfo: memFree=29808192/32873624 swapFree=7112/7112
[pid=15725] ppid=15723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15725/stat : 15725 (npSolver-wbo-It) S 15723 15725 14131 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384733442 9367552 274 33554432000 4194304 5064252 140736434818336 140736434817248 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15725/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700187 s]
/proc/loadavg: 2.00 2.00 1.93 2/169 15725
/proc/meminfo: memFree=29808192/32873624 swapFree=7112/7112
[pid=15725] ppid=15723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15725/stat : 15725 (npSolver-wbo-It) S 15723 15725 14131 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384733442 9367552 274 33554432000 4194304 5064252 140736434818336 140736434817248 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15725/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50032 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 15759
/proc/meminfo: memFree=29733212/32873624 swapFree=7112/7112
[pid=15725] ppid=15723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15725/stat : 15725 (npSolver-wbo-It) S 15723 15725 14131 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384733442 9367552 274 33554432000 4194304 5064252 140736434818336 140736434817248 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15725/statm: 2287 274 233 213 0 72 0
[pid=15726] ppid=15725 vsize=2424 CPUtime=0.01 cores=1,3,5,7
/proc/15726/stat : 15726 (npSolver-wbo) S 15725 15725 14131 0 -1 4202496 1802 1691 0 0 0 0 1 0 20 0 1 0 384733442 2482176 239 33554432000 4194304 6006132 140737186269952 140737186264144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15726/statm: 606 239 157 443 0 159 0
[pid=15733] ppid=15726 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15733/stat : 15733 (satsolver.sh) S 15726 15725 14131 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384733445 9367552 267 33554432000 4194304 5064252 140736345011984 140736345010896 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15733/statm: 2287 267 226 213 0 72 0
[pid=15735] ppid=15733 vsize=10336 CPUtime=1.46 cores=1,3,5,7
/proc/15735/stat : 15735 (glucose) R 15733 15725 14131 0 -1 4202496 3236 0 0 0 146 0 0 0 20 0 1 0 384733446 10584064 2132 33554432000 4194304 5208918 140733807248752 140733807246840 4229517 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15735/statm: 2584 2132 96 248 0 2333 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 31056
[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 15759
/proc/meminfo: memFree=29723336/32873624 swapFree=7112/7112
[pid=15725] ppid=15723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15725/stat : 15725 (npSolver-wbo-It) S 15723 15725 14131 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384733442 9367552 274 33554432000 4194304 5064252 140736434818336 140736434817248 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15725/statm: 2287 274 233 213 0 72 0
[pid=15726] ppid=15725 vsize=2424 CPUtime=0.01 cores=1,3,5,7
/proc/15726/stat : 15726 (npSolver-wbo) S 15725 15725 14131 0 -1 4202496 1802 1691 0 0 0 0 1 0 20 0 1 0 384733442 2482176 239 33554432000 4194304 6006132 140737186269952 140737186264144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15726/statm: 606 239 157 443 0 159 0
[pid=15733] ppid=15726 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15733/stat : 15733 (satsolver.sh) S 15726 15725 14131 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384733445 9367552 267 33554432000 4194304 5064252 140736345011984 140736345010896 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15733/statm: 2287 267 226 213 0 72 0
[pid=15735] ppid=15733 vsize=17408 CPUtime=3.05 cores=1,3,5,7
/proc/15735/stat : 15735 (glucose) R 15733 15725 14131 0 -1 4202496 3986 0 0 0 305 0 0 0 20 0 1 0 384733446 17825792 3900 33554432000 4194304 5208918 140733807248752 140733807246696 4229326 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15735/statm: 4352 3900 96 248 0 4101 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 38128
[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 15773
/proc/meminfo: memFree=29721408/32873624 swapFree=7112/7112
[pid=15725] ppid=15723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15725/stat : 15725 (npSolver-wbo-It) S 15723 15725 14131 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384733442 9367552 274 33554432000 4194304 5064252 140736434818336 140736434817248 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15725/statm: 2287 274 233 213 0 72 0
[pid=15726] ppid=15725 vsize=10888 CPUtime=5.41 cores=1,3,5,7
/proc/15726/stat : 15726 (npSolver-wbo) S 15725 15725 14131 0 -1 4202496 3251 8761 0 0 4 1 535 1 20 0 1 0 384733442 11149312 2116 33554432000 4194304 6006132 140737186269952 140737186261344 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15726/statm: 2722 2116 166 443 0 2275 0
[pid=15772] ppid=15726 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15772/stat : 15772 (satsolver.sh) S 15726 15725 14131 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 384733986 9367552 266 33554432000 4194304 5064252 140735617769632 140735617768544 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15772/statm: 2287 266 226 213 0 72 0
[pid=15773] ppid=15772 vsize=27144 CPUtime=0.85 cores=1,3,5,7
/proc/15773/stat : 15773 (glucose) R 15772 15725 14131 0 -1 4202496 6463 0 0 0 84 1 0 0 20 0 1 0 384733986 27795456 5994 33554432000 4194304 5208918 140733532521536 140733532519384 4229528 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15773/statm: 6786 5994 96 248 0 6535 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 56328
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 15780
/proc/meminfo: memFree=29726504/32873624 swapFree=7112/7112
[pid=15725] ppid=15723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15725/stat : 15725 (npSolver-wbo-It) S 15723 15725 14131 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384733442 9367552 274 33554432000 4194304 5064252 140736434818336 140736434817248 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15725/statm: 2287 274 233 213 0 72 0
[pid=15726] ppid=15725 vsize=10888 CPUtime=11.33 cores=1,3,5,7
/proc/15726/stat : 15726 (npSolver-wbo) S 15725 15725 14131 0 -1 4202496 3770 22418 0 0 5 1 1119 8 20 0 1 0 384733442 11149312 2116 33554432000 4194304 6006132 140737186269952 140737186261344 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15726/statm: 2722 2116 166 443 0 2275 0
[pid=15779] ppid=15726 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15779/stat : 15779 (satsolver.sh) S 15726 15725 14131 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384734577 9367552 267 33554432000 4194304 5064252 140736575976672 140736575975584 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15779/statm: 2287 267 226 213 0 72 0
[pid=15780] ppid=15779 vsize=12340 CPUtime=1.33 cores=1,3,5,7
/proc/15780/stat : 15780 (glucose) R 15779 15725 14131 0 -1 4202496 3261 0 0 0 133 0 0 0 20 0 1 0 384734578 12636160 2645 33554432000 4194304 5208918 140737437759344 140737437757192 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15780/statm: 3085 2645 96 248 0 2834 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 41524
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 15801
/proc/meminfo: memFree=29691504/32873624 swapFree=7112/7112
[pid=15725] ppid=15723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15725/stat : 15725 (npSolver-wbo-It) S 15723 15725 14131 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384733442 9367552 274 33554432000 4194304 5064252 140736434818336 140736434817248 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15725/statm: 2287 274 233 213 0 72 0
[pid=15726] ppid=15725 vsize=10888 CPUtime=19.71 cores=1,3,5,7
/proc/15726/stat : 15726 (npSolver-wbo) S 15725 15725 14131 0 -1 4202496 4461 42271 0 0 6 2 1948 15 20 0 1 0 384733442 11149312 2117 33554432000 4194304 6006132 140737186269952 140737186261344 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15726/statm: 2722 2117 167 443 0 2275 0
[pid=15800] ppid=15726 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15800/stat : 15800 (satsolver.sh) S 15726 15725 14131 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384735414 9367552 267 33554432000 4194304 5064252 140734553540512 140734553539424 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15800/statm: 2287 267 226 213 0 72 0
[pid=15801] ppid=15800 vsize=18332 CPUtime=5.77 cores=1,3,5,7
/proc/15801/stat : 15801 (glucose) R 15800 15725 14131 0 -1 4202496 3934 0 0 0 576 1 0 0 20 0 1 0 384735414 18771968 4155 33554432000 4194304 5208918 140735785449040 140735785446984 4229456 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15801/statm: 4583 4155 96 248 0 4332 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 47516
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 15857
/proc/meminfo: memFree=29733696/32873624 swapFree=7112/7112
[pid=15725] ppid=15723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15725/stat : 15725 (npSolver-wbo-It) S 15723 15725 14131 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384733442 9367552 274 33554432000 4194304 5064252 140736434818336 140736434817248 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15725/statm: 2287 274 233 213 0 72 0
[pid=15726] ppid=15725 vsize=10888 CPUtime=49.96 cores=1,3,5,7
/proc/15726/stat : 15726 (npSolver-wbo) S 15725 15725 14131 0 -1 4202496 4863 66523 0 0 7 2 4966 21 20 0 1 0 384733442 11149312 2117 33554432000 4194304 6006132 140737186269952 140737186261344 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15726/statm: 2722 2117 167 443 0 2275 0
[pid=15856] ppid=15726 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15856/stat : 15856 (satsolver.sh) S 15726 15725 14131 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384738440 9367552 267 33554432000 4194304 5064252 140734695323712 140734695322624 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15856/statm: 2287 267 226 213 0 72 0
[pid=15857] ppid=15856 vsize=10916 CPUtime=1.12 cores=1,3,5,7
/proc/15857/stat : 15857 (glucose) R 15856 15725 14131 0 -1 4202496 2688 0 0 0 112 0 0 0 20 0 1 0 384738440 11177984 2045 33554432000 4194304 5208918 140734793686688 140734793684536 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15857/statm: 2729 2045 96 248 0 2478 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 40100
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 15872
/proc/meminfo: memFree=29677952/32873624 swapFree=7112/7112
[pid=15725] ppid=15723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15725/stat : 15725 (npSolver-wbo-It) S 15723 15725 14131 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384733442 9367552 274 33554432000 4194304 5064252 140736434818336 140736434817248 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15725/statm: 2287 274 233 213 0 72 0
[pid=15726] ppid=15725 vsize=10888 CPUtime=56.28 cores=1,3,5,7
/proc/15726/stat : 15726 (npSolver-wbo) S 15725 15725 14131 0 -1 4202496 5047 77776 0 0 7 2 5595 24 20 0 1 0 384733442 11149312 2117 33554432000 4194304 6006132 140737186269952 140737186261344 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15726/statm: 2722 2117 167 443 0 2275 0
[pid=15870] ppid=15726 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15870/stat : 15870 (satsolver.sh) S 15726 15725 14131 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384739072 9367552 267 33554432000 4194304 5064252 140734402666128 140734402665040 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15870/statm: 2287 267 226 213 0 72 0
[pid=15871] ppid=15870 vsize=37068 CPUtime=45.99 cores=1,3,5,7
/proc/15871/stat : 15871 (glucose) R 15870 15725 14131 0 -1 4202496 4234 0 0 0 4598 1 0 0 20 0 1 0 384739072 37957632 8790 33554432000 4194304 5208918 140737358288672 140737358286616 4229517 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15871/statm: 9267 8790 96 248 0 9016 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 66252
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/182 15924
/proc/meminfo: memFree=29676476/32873624 swapFree=7112/7112
[pid=15725] ppid=15723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15725/stat : 15725 (npSolver-wbo-It) S 15723 15725 14131 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384733442 9367552 274 33554432000 4194304 5064252 140736434818336 140736434817248 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15725/statm: 2287 274 233 213 0 72 0
[pid=15726] ppid=15725 vsize=10888 CPUtime=147.93 cores=1,3,5,7
/proc/15726/stat : 15726 (npSolver-wbo) S 15725 15725 14131 0 -1 4202496 5342 105679 0 0 7 2 14754 30 20 0 1 0 384733442 11149312 2117 33554432000 4194304 6006132 140737186269952 140737186261344 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15726/statm: 2722 2117 167 443 0 2275 0
[pid=15923] ppid=15726 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/181 15935
/proc/meminfo: memFree=29374256/32873624 swapFree=7112/7112
[pid=15725] ppid=15723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15725/stat : 15725 (npSolver-wbo-It) S 15723 15725 14131 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384733442 9367552 274 33554432000 4194304 5064252 140736434818336 140736434817248 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15725/statm: 2287 274 233 213 0 72 0
[pid=15726] ppid=15725 vsize=10888 CPUtime=147.93 cores=1,3,5,7
/proc/15726/stat : 15726 (npSolver-wbo) S 15725 15725 14131 0 -1 4202496 5342 105679 0 0 7 2 14754 30 20 0 1 0 384733442 11149312 2117 33554432000 4194304 6006132 140737186269952 140737186261344 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15726/statm: 2722 2117 167 443 0 2275 0
[pid=15923] ppid=15726 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15923/stat : 15923 (satsolver.sh) S 15726 15725 14131 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384748241 9367552 267 33554432000 4194304 5064252 140734212325504 140734212324416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15923/statm: 2287 267 226 213 0 72 0
[pid=15924] ppid=15923 vsize=136152 CPUtime=1274.11 cores=1,3,5,7
/proc/15924/stat : 15924 (glucose) R 15923 15725 14131 0 -1 4202496 17601 0 0 0 127392 19 0 0 20 0 1 0 384748241 139419648 33598 33554432000 4194304 5208918 140734865727712 140734865725800 4229483 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15924/statm: 34038 33598 104 248 0 33787 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 165336
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/181 15935
/proc/meminfo: memFree=29384888/32873624 swapFree=7112/7112
[pid=15725] ppid=15723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15725/stat : 15725 (npSolver-wbo-It) S 15723 15725 14131 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384733442 9367552 274 33554432000 4194304 5064252 140736434818336 140736434817248 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15725/statm: 2287 274 233 213 0 72 0
[pid=15726] ppid=15725 vsize=10888 CPUtime=147.93 cores=1,3,5,7
/proc/15726/stat : 15726 (npSolver-wbo) S 15725 15725 14131 0 -1 4202496 5342 105679 0 0 7 2 14754 30 20 0 1 0 384733442 11149312 2117 33554432000 4194304 6006132 140737186269952 140737186261344 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15726/statm: 2722 2117 167 443 0 2275 0
[pid=15923] ppid=15726 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15923/stat : 15923 (satsolver.sh) S 15726 15725 14131 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384748241 9367552 267 33554432000 4194304 5064252 140734212325504 140734212324416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15923/statm: 2287 267 226 213 0 72 0
[pid=15924] ppid=15923 vsize=216292 CPUtime=1334.09 cores=1,3,5,7
/proc/15924/stat : 15924 (glucose) R 15923 15725 14131 0 -1 4202496 18437 0 0 0 133389 20 0 0 20 0 1 0 384748241 221483008 47705 33554432000 4194304 5208918 140734865727712 140734865725864 4229776 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15924/statm: 54073 47705 104 248 0 53822 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 245476
[startup+1542.31 s]
/proc/loadavg: 2.04 2.01 1.95 3/181 15935
/proc/meminfo: memFree=29353536/32873624 swapFree=7112/7112
[pid=15725] ppid=15723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15725/stat : 15725 (npSolver-wbo-It) S 15723 15725 14131 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384733442 9367552 274 33554432000 4194304 5064252 140736434818336 140736434817248 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15725/statm: 2287 274 233 213 0 72 0
[pid=15726] ppid=15725 vsize=10888 CPUtime=147.93 cores=1,3,5,7
/proc/15726/stat : 15726 (npSolver-wbo) S 15725 15725 14131 0 -1 4202496 5342 105679 0 0 7 2 14754 30 20 0 1 0 384733442 11149312 2117 33554432000 4194304 6006132 140737186269952 140737186261344 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15726/statm: 2722 2117 167 443 0 2275 0
[pid=15923] ppid=15726 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15923/stat : 15923 (satsolver.sh) S 15726 15725 14131 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384748241 9367552 267 33554432000 4194304 5064252 140734212325504 140734212324416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15923/statm: 2287 267 226 213 0 72 0
[pid=15924] ppid=15923 vsize=185472 CPUtime=1394.1 cores=1,3,5,7
/proc/15924/stat : 15924 (glucose) R 15923 15725 14131 0 -1 4202496 18676 0 0 0 139388 22 0 0 20 0 1 0 384748241 189923328 45078 33554432000 4194304 5208918 140734865727712 140734865725704 4212442 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15924/statm: 46368 45078 104 248 0 46117 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 214656
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/181 15943
/proc/meminfo: memFree=29529600/32873624 swapFree=7112/7112
[pid=15725] ppid=15723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15725/stat : 15725 (npSolver-wbo-It) S 15723 15725 14131 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384733442 9367552 274 33554432000 4194304 5064252 140736434818336 140736434817248 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15725/statm: 2287 274 233 213 0 72 0
[pid=15726] ppid=15725 vsize=10888 CPUtime=147.93 cores=1,3,5,7
/proc/15726/stat : 15726 (npSolver-wbo) S 15725 15725 14131 0 -1 4202496 5342 105679 0 0 7 2 14754 30 20 0 1 0 384733442 11149312 2117 33554432000 4194304 6006132 140737186269952 140737186261344 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15726/statm: 2722 2117 167 443 0 2275 0
[pid=15923] ppid=15726 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15923/stat : 15923 (satsolver.sh) S 15726 15725 14131 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384748241 9367552 267 33554432000 4194304 5064252 140734212325504 140734212324416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15923/statm: 2287 267 226 213 0 72 0
[pid=15924] ppid=15923 vsize=185472 CPUtime=1454.08 cores=1,3,5,7
/proc/15924/stat : 15924 (glucose) R 15923 15725 14131 0 -1 4202496 19403 0 0 0 145385 23 0 0 20 0 1 0 384748241 189923328 45883 33554432000 4194304 5208918 140734865727712 140734865724088 4229479 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15924/statm: 46368 45883 104 248 0 46117 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 214656
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 15971
/proc/meminfo: memFree=29556856/32873624 swapFree=7112/7112
[pid=15725] ppid=15723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15725/stat : 15725 (npSolver-wbo-It) S 15723 15725 14131 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384733442 9367552 274 33554432000 4194304 5064252 140736434818336 140736434817248 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15725/statm: 2287 274 233 213 0 72 0
[pid=15726] ppid=15725 vsize=10888 CPUtime=147.93 cores=1,3,5,7
/proc/15726/stat : 15726 (npSolver-wbo) S 15725 15725 14131 0 -1 4202496 5342 105679 0 0 7 2 14754 30 20 0 1 0 384733442 11149312 2117 33554432000 4194304 6006132 140737186269952 140737186261344 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15726/statm: 2722 2117 167 443 0 2275 0
[pid=15923] ppid=15726 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15923/stat : 15923 (satsolver.sh) S 15726 15725 14131 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384748241 9367552 267 33554432000 4194304 5064252 140734212325504 140734212324416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15923/statm: 2287 267 226 213 0 72 0
[pid=15924] ppid=15923 vsize=216292 CPUtime=1514.07 cores=1,3,5,7
/proc/15924/stat : 15924 (glucose) R 15923 15725 14131 0 -1 4202496 20324 0 0 0 151382 25 0 0 20 0 1 0 384748241 221483008 45974 33554432000 4194304 5208918 140734865727712 140734865725864 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15924/statm: 54073 45974 104 248 0 53822 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 245476
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 15971
/proc/meminfo: memFree=29486876/32873624 swapFree=7112/7112
[pid=15725] ppid=15723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15725/stat : 15725 (npSolver-wbo-It) S 15723 15725 14131 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384733442 9367552 274 33554432000 4194304 5064252 140736434818336 140736434817248 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15725/statm: 2287 274 233 213 0 72 0
[pid=15726] ppid=15725 vsize=10888 CPUtime=147.93 cores=1,3,5,7
/proc/15726/stat : 15726 (npSolver-wbo) S 15725 15725 14131 0 -1 4202496 5342 105679 0 0 7 2 14754 30 20 0 1 0 384733442 11149312 2117 33554432000 4194304 6006132 140737186269952 140737186261344 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15726/statm: 2722 2117 167 443 0 2275 0
[pid=15923] ppid=15726 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15923/stat : 15923 (satsolver.sh) S 15726 15725 14131 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384748241 9367552 267 33554432000 4194304 5064252 140734212325504 140734212324416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15923/statm: 2287 267 226 213 0 72 0
[pid=15924] ppid=15923 vsize=185472 CPUtime=1574.04 cores=1,3,5,7
/proc/15924/stat : 15924 (glucose) R 15923 15725 14131 0 -1 4202496 21107 0 0 0 157378 26 0 0 20 0 1 0 384748241 189923328 45902 33554432000 4194304 5208918 140734865727712 140734865723480 4229517 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15924/statm: 46368 45902 104 248 0 46117 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 214656
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 15971
/proc/meminfo: memFree=29467916/32873624 swapFree=7112/7112
[pid=15725] ppid=15723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15725/stat : 15725 (npSolver-wbo-It) S 15723 15725 14131 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384733442 9367552 274 33554432000 4194304 5064252 140736434818336 140736434817248 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15725/statm: 2287 274 233 213 0 72 0
[pid=15726] ppid=15725 vsize=10888 CPUtime=147.93 cores=1,3,5,7
/proc/15726/stat : 15726 (npSolver-wbo) S 15725 15725 14131 0 -1 4202496 5342 105679 0 0 7 2 14754 30 20 0 1 0 384733442 11149312 2117 33554432000 4194304 6006132 140737186269952 140737186261344 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15726/statm: 2722 2117 167 443 0 2275 0
[pid=15923] ppid=15726 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15923/stat : 15923 (satsolver.sh) S 15726 15725 14131 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384748241 9367552 267 33554432000 4194304 5064252 140734212325504 140734212324416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15923/statm: 2287 267 226 213 0 72 0
[pid=15924] ppid=15923 vsize=185472 CPUtime=1634.04 cores=1,3,5,7
/proc/15924/stat : 15924 (glucose) R 15923 15725 14131 0 -1 4202496 21628 0 0 0 163376 28 0 0 20 0 1 0 384748241 189923328 45590 33554432000 4194304 5208918 140734865727712 140734865725704 4229374 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15924/statm: 46368 45590 104 248 0 46117 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 214656
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 15971
/proc/meminfo: memFree=29427584/32873624 swapFree=7112/7112
[pid=15725] ppid=15723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15725/stat : 15725 (npSolver-wbo-It) S 15723 15725 14131 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384733442 9367552 274 33554432000 4194304 5064252 140736434818336 140736434817248 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15725/statm: 2287 274 233 213 0 72 0
[pid=15726] ppid=15725 vsize=10888 CPUtime=147.93 cores=1,3,5,7
/proc/15726/stat : 15726 (npSolver-wbo) S 15725 15725 14131 0 -1 4202496 5342 105679 0 0 7 2 14754 30 20 0 1 0 384733442 11149312 2117 33554432000 4194304 6006132 140737186269952 140737186261344 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15726/statm: 2722 2117 167 443 0 2275 0
[pid=15923] ppid=15726 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15923/stat : 15923 (satsolver.sh) S 15726 15725 14131 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384748241 9367552 267 33554432000 4194304 5064252 140734212325504 140734212324416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15923/statm: 2287 267 226 213 0 72 0
[pid=15924] ppid=15923 vsize=216292 CPUtime=1652.14 cores=1,3,5,7
/proc/15924/stat : 15924 (glucose) R 15923 15725 14131 0 -1 4202496 22213 0 0 0 165186 28 0 0 20 0 1 0 384748241 221483008 47705 33554432000 4194304 5208918 140734865727712 140734865723480 4229338 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15924/statm: 54073 47705 104 248 0 53822 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 245476
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 15971
/proc/meminfo: memFree=29427584/32873624 swapFree=7112/7112
[pid=15725] ppid=15723 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15725/stat : 15725 (npSolver-wbo-It) S 15723 15725 14131 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384733442 9367552 274 33554432000 4194304 5064252 140736434818336 140736434817248 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15725/statm: 2287 274 233 213 0 72 0
[pid=15726] ppid=15725 vsize=10888 CPUtime=147.93 cores=1,3,5,7
/proc/15726/stat : 15726 (npSolver-wbo) S 15725 15725 14131 0 -1 4202496 5342 105679 0 0 7 2 14754 30 20 0 1 0 384733442 11149312 2117 33554432000 4194304 6006132 140737186269952 140737186261344 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15726/statm: 2722 2117 167 443 0 2275 0
[pid=15923] ppid=15726 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15923/stat : 15923 (satsolver.sh) S 15726 15725 14131 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384748241 9367552 267 33554432000 4194304 5064252 140734212325504 140734212324416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15923/statm: 2287 267 226 213 0 72 0
[pid=15924] ppid=15923 vsize=216292 CPUtime=1652.14 cores=1,3,5,7
/proc/15924/stat : 15924 (glucose) R 15923 15725 14131 0 -1 4202496 22213 0 0 0 165186 28 0 0 20 0 1 0 384748241 221483008 47705 33554432000 4194304 5208918 140734865727712 140734865723480 4229338 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15924/statm: 54073 47705 104 248 0 53822 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 245476
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.12
CPU user time (s): 1799.49
CPU system time (s): 0.630904
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 245476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.49
system time used= 0.630904
maximum resident set size= 199012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134224
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 381
involuntary context switches= 2012
runsolver used 2.82357 second user time and 7.00493 second system time
The end