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-3754361-1339187257/watcher-3754361-1339187257 -o /tmp/evaluation-result-3754361-1339187257/solver-3754361-1339187257 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3754361-1339187257.wbo 2071376131 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.00 2.00 2.00 3/179 6445
/proc/meminfo: memFree=31468612/32873844 swapFree=6904/6904
[pid=6445] ppid=6443 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6445/stat : 6445 (npSolver-wbo-I.) S 6443 6445 4737 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384850173 9367552 274 33554432000 4194304 5064252 140735710813360 140735710812272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6445/statm: 2287 274 233 213 0 72 0
[startup+0.0700709 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6445
/proc/meminfo: memFree=31468612/32873844 swapFree=6904/6904
[pid=6445] ppid=6443 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6445/stat : 6445 (npSolver-wbo-I.) S 6443 6445 4737 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384850173 9367552 274 33554432000 4194304 5064252 140735710813360 140735710812272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6445/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100291 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6445
/proc/meminfo: memFree=31468612/32873844 swapFree=6904/6904
[pid=6445] ppid=6443 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6445/stat : 6445 (npSolver-wbo-I.) S 6443 6445 4737 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384850173 9367552 274 33554432000 4194304 5064252 140735710813360 140735710812272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6445/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300244 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6445
/proc/meminfo: memFree=31468612/32873844 swapFree=6904/6904
[pid=6445] ppid=6443 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6445/stat : 6445 (npSolver-wbo-I.) S 6443 6445 4737 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384850173 9367552 274 33554432000 4194304 5064252 140735710813360 140735710812272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6445/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700261 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6445
/proc/meminfo: memFree=31468612/32873844 swapFree=6904/6904
[pid=6445] ppid=6443 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6445/stat : 6445 (npSolver-wbo-I.) S 6443 6445 4737 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384850173 9367552 274 33554432000 4194304 5064252 140735710813360 140735710812272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6445/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50037 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6452
/proc/meminfo: memFree=31457804/32873844 swapFree=6904/6904
[pid=6445] ppid=6443 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6445/stat : 6445 (npSolver-wbo-I.) S 6443 6445 4737 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384850173 9367552 274 33554432000 4194304 5064252 140735710813360 140735710812272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6445/statm: 2287 274 233 213 0 72 0
[pid=6446] ppid=6445 vsize=3356 CPUtime=0.1 cores=0,2,4,6
/proc/6446/stat : 6446 (npSolver-wbo) S 6445 6445 4737 0 -1 4202496 1507 2325 0 0 2 0 8 0 20 0 1 0 384850173 3436544 453 33554432000 4194304 6006132 140735293265968 140735293260160 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6446/statm: 839 453 158 443 0 392 0
[pid=6451] ppid=6446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6451/stat : 6451 (satsolver.sh) S 6446 6445 4737 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384850185 9367552 267 33554432000 4194304 5064252 140736348592160 140736348591072 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6451/statm: 2287 267 226 213 0 72 0
[pid=6452] ppid=6451 vsize=22776 CPUtime=1.36 cores=0,2,4,6
/proc/6452/stat : 6452 (glucose) R 6451 6445 4737 0 -1 4202496 3737 0 0 0 136 0 0 0 20 0 1 0 384850186 23322624 4187 33554432000 4194304 5208918 140737481150256 140737481148408 4229504 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6452/statm: 5694 4187 96 248 0 5443 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 44428
[startup+3.10041 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6452
/proc/meminfo: memFree=31454440/32873844 swapFree=6904/6904
[pid=6445] ppid=6443 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6445/stat : 6445 (npSolver-wbo-I.) S 6443 6445 4737 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384850173 9367552 274 33554432000 4194304 5064252 140735710813360 140735710812272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6445/statm: 2287 274 233 213 0 72 0
[pid=6446] ppid=6445 vsize=3356 CPUtime=0.1 cores=0,2,4,6
/proc/6446/stat : 6446 (npSolver-wbo) S 6445 6445 4737 0 -1 4202496 1507 2325 0 0 2 0 8 0 20 0 1 0 384850173 3436544 453 33554432000 4194304 6006132 140735293265968 140735293260160 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6446/statm: 839 453 158 443 0 392 0
[pid=6451] ppid=6446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6451/stat : 6451 (satsolver.sh) S 6446 6445 4737 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384850185 9367552 267 33554432000 4194304 5064252 140736348592160 140736348591072 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6451/statm: 2287 267 226 213 0 72 0
[pid=6452] ppid=6451 vsize=64852 CPUtime=2.96 cores=0,2,4,6
/proc/6452/stat : 6452 (glucose) R 6451 6445 4737 0 -1 4202496 5660 0 0 0 295 1 0 0 20 0 1 0 384850186 66408448 10011 33554432000 4194304 5208918 140737481150256 140737481148200 4213451 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6452/statm: 16213 10011 96 248 0 15962 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 86504
[startup+6.30044 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6459
/proc/meminfo: memFree=31568948/32873844 swapFree=6904/6904
[pid=6445] ppid=6443 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6445/stat : 6445 (npSolver-wbo-I.) S 6443 6445 4737 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384850173 9367552 274 33554432000 4194304 5064252 140735710813360 140735710812272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6445/statm: 2287 274 233 213 0 72 0
[pid=6446] ppid=6445 vsize=3356 CPUtime=0.1 cores=0,2,4,6
/proc/6446/stat : 6446 (npSolver-wbo) S 6445 6445 4737 0 -1 4202496 1507 2325 0 0 2 0 8 0 20 0 1 0 384850173 3436544 453 33554432000 4194304 6006132 140735293265968 140735293260160 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6446/statm: 839 453 158 443 0 392 0
[pid=6451] ppid=6446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6451/stat : 6451 (satsolver.sh) S 6446 6445 4737 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384850185 9367552 267 33554432000 4194304 5064252 140736348592160 140736348591072 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6451/statm: 2287 267 226 213 0 72 0
[pid=6452] ppid=6451 vsize=64852 CPUtime=6.16 cores=0,2,4,6
/proc/6452/stat : 6452 (glucose) R 6451 6445 4737 0 -1 4202496 5663 0 0 0 615 1 0 0 20 0 1 0 384850186 66408448 11547 33554432000 4194304 5208918 140737481150256 140737481148200 4229517 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6452/statm: 16213 11547 96 248 0 15962 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 86504
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6473
/proc/meminfo: memFree=31573876/32873844 swapFree=6904/6904
[pid=6445] ppid=6443 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6445/stat : 6445 (npSolver-wbo-I.) S 6443 6445 4737 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384850173 9367552 274 33554432000 4194304 5064252 140735710813360 140735710812272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6445/statm: 2287 274 233 213 0 72 0
[pid=6446] ppid=6445 vsize=11424 CPUtime=10.62 cores=0,2,4,6
/proc/6446/stat : 6446 (npSolver-wbo) S 6445 6445 4737 0 -1 4202496 3117 23739 0 0 6 2 1042 12 20 0 1 0 384850173 11698176 2272 33554432000 4194304 6006132 140735293265968 140735293257376 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6446/statm: 2856 2272 168 443 0 2409 0
[pid=6472] ppid=6446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6472/stat : 6472 (satsolver.sh) S 6446 6445 4737 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384851238 9367552 266 33554432000 4194304 5064252 140733863502608 140733863501520 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6472/statm: 2287 266 226 213 0 72 0
[pid=6473] ppid=6472 vsize=22912 CPUtime=2.03 cores=0,2,4,6
/proc/6473/stat : 6473 (glucose) R 6472 6445 4737 0 -1 4202496 4806 0 0 0 203 0 0 0 20 0 1 0 384851238 23461888 4937 33554432000 4194304 5208918 140736749388544 140736749386696 4229504 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6473/statm: 5728 4937 96 248 0 5477 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 52632
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6581
/proc/meminfo: memFree=31445116/32873844 swapFree=6904/6904
[pid=6445] ppid=6443 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6445/stat : 6445 (npSolver-wbo-I.) S 6443 6445 4737 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384850173 9367552 274 33554432000 4194304 5064252 140735710813360 140735710812272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6445/statm: 2287 274 233 213 0 72 0
[pid=6446] ppid=6445 vsize=11424 CPUtime=15.24 cores=0,2,4,6
/proc/6446/stat : 6446 (npSolver-wbo) S 6445 6445 4737 0 -1 4202496 3296 39973 0 0 6 2 1500 16 20 0 1 0 384850173 11698176 2273 33554432000 4194304 6006132 140735293265968 140735293257376 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6446/statm: 2856 2273 169 443 0 2409 0
[pid=6538] ppid=6446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6538/stat : 6538 (satsolver.sh) S 6446 6445 4737 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384851701 9367552 267 33554432000 4194304 5064252 140737133004912 140737133003824 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6538/statm: 2287 267 226 213 0 72 0
[pid=6539] ppid=6538 vsize=60712 CPUtime=10.22 cores=0,2,4,6
/proc/6539/stat : 6539 (glucose) R 6538 6445 4737 0 -1 4202496 6415 0 0 0 1019 3 0 0 20 0 1 0 384851701 62169088 14695 33554432000 4194304 5208918 140734632240672 140734632238616 4229528 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6539/statm: 15178 14695 104 248 0 14927 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 90432
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6581
/proc/meminfo: memFree=31438924/32873844 swapFree=6904/6904
[pid=6445] ppid=6443 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6445/stat : 6445 (npSolver-wbo-I.) S 6443 6445 4737 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384850173 9367552 274 33554432000 4194304 5064252 140735710813360 140735710812272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6445/statm: 2287 274 233 213 0 72 0
[pid=6446] ppid=6445 vsize=11424 CPUtime=15.24 cores=0,2,4,6
/proc/6446/stat : 6446 (npSolver-wbo) S 6445 6445 4737 0 -1 4202496 3296 39973 0 0 6 2 1500 16 20 0 1 0 384850173 11698176 2273 33554432000 4194304 6006132 140735293265968 140735293257376 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6446/statm: 2856 2273 169 443 0 2409 0
[pid=6538] ppid=6446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6538/stat : 6538 (satsolver.sh) S 6446 6445 4737 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384851701 9367552 267 33554432000 4194304 5064252 140737133004912 140737133003824 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6538/statm: 2287 267 226 213 0 72 0
[pid=6539] ppid=6538 vsize=60712 CPUtime=35.81 cores=0,2,4,6
/proc/6539/stat : 6539 (glucose) R 6538 6445 4737 0 -1 4202496 8184 0 0 0 3575 6 0 0 20 0 1 0 384851701 62169088 14740 33554432000 4194304 5208918 140734632240672 140734632238760 4211897 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6539/statm: 15178 14740 104 248 0 14927 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 90432
[startup+102.307 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 6581
/proc/meminfo: memFree=31435036/32873844 swapFree=6904/6904
[pid=6445] ppid=6443 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6445/stat : 6445 (npSolver-wbo-I.) S 6443 6445 4737 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384850173 9367552 274 33554432000 4194304 5064252 140735710813360 140735710812272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6445/statm: 2287 274 233 213 0 72 0
[pid=6446] ppid=6445 vsize=11424 CPUtime=15.24 cores=0,2,4,6
/proc/6446/stat : 6446 (npSolver-wbo) S 6445 6445 4737 0 -1 4202496 3296 39973 0 0 6 2 1500 16 20 0 1 0 384850173 11698176 2273 33554432000 4194304 6006132 140735293265968 140735293257376 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6446/statm: 2856 2273 169 443 0 2409 0
[pid=6538] ppid=6446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6538/stat : 6538 (satsolver.sh) S 6446 6445 4737 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384851701 9367552 267 33554432000 4194304 5064252 140737133004912 140737133003824 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6538/statm: 2287 267 226 213 0 72 0
[pid=6539] ppid=6538 vsize=110032 CPUtime=87 cores=0,2,4,6
/proc/6539/stat : 6539 (glucose) R 6538 6445 4737 0 -1 4202496 13339 0 0 0 8685 15 0 0 20 0 1 0 384851701 112672768 25308 33554432000 4194304 5208918 140734632240672 140734632238664 4229528 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6539/statm: 27508 25308 104 248 0 27257 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 139752
[startup+162.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/184 6584
/proc/meminfo: memFree=31288668/32873844 swapFree=6904/6904
[pid=6445] ppid=6443 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6445/stat : 6445 (npSolver-wbo-I.) S 6443 6445 4737 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384850173 9367552 274 33554432000 4194304 5064252 140735710813360 140735710812272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6445/statm: 2287 274 233 213 0 72 0
[pid=6446] ppid=6445 vsize=11424 CPUtime=15.24 cores=0,2,4,6
/proc/6446/stat : 6446 (npSolver-wbo) S 6445 6445 4737 0 -1 4202496 3296 39973 0 0 6 2 1500 16 20 0 1 0 384850173 11698176 2273 33554432000 4194304 6006132 140735293265968 140735293257376 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6446/statm: 2856 2273 169 443 0 2409 0
[pid=6538] ppid=6446 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/6539/stat : 6539 (glucose) R 6538 6445 4737 0 -1 4202496 81041 0 0 0 134521 157 0 0 20 0 1 0 384851701 208191488 40503 33554432000 4194304 5208918 140734632240672 140734632238824 4229504 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6539/statm: 50828 40503 104 248 0 50577 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 233032
[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 6594
/proc/meminfo: memFree=31133444/32873844 swapFree=6904/6904
[pid=6445] ppid=6443 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6445/stat : 6445 (npSolver-wbo-I.) S 6443 6445 4737 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384850173 9367552 274 33554432000 4194304 5064252 140735710813360 140735710812272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6445/statm: 2287 274 233 213 0 72 0
[pid=6446] ppid=6445 vsize=11424 CPUtime=15.24 cores=0,2,4,6
/proc/6446/stat : 6446 (npSolver-wbo) S 6445 6445 4737 0 -1 4202496 3296 39973 0 0 6 2 1500 16 20 0 1 0 384850173 11698176 2273 33554432000 4194304 6006132 140735293265968 140735293257376 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6446/statm: 2856 2273 169 443 0 2409 0
[pid=6538] ppid=6446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6538/stat : 6538 (satsolver.sh) S 6446 6445 4737 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384851701 9367552 267 33554432000 4194304 5064252 140737133004912 140737133003824 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6538/statm: 2287 267 226 213 0 72 0
[pid=6539] ppid=6538 vsize=284700 CPUtime=1406.78 cores=0,2,4,6
/proc/6539/stat : 6539 (glucose) R 6538 6445 4737 0 -1 4202496 82146 0 0 0 140515 163 0 0 20 0 1 0 384851701 291532800 52447 33554432000 4194304 5208918 140734632240672 140734632238824 4229538 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6539/statm: 71175 52447 104 248 0 70924 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 314420
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 6594
/proc/meminfo: memFree=31196752/32873844 swapFree=6904/6904
[pid=6445] ppid=6443 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6445/stat : 6445 (npSolver-wbo-I.) S 6443 6445 4737 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384850173 9367552 274 33554432000 4194304 5064252 140735710813360 140735710812272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6445/statm: 2287 274 233 213 0 72 0
[pid=6446] ppid=6445 vsize=11424 CPUtime=15.24 cores=0,2,4,6
/proc/6446/stat : 6446 (npSolver-wbo) S 6445 6445 4737 0 -1 4202496 3296 39973 0 0 6 2 1500 16 20 0 1 0 384850173 11698176 2273 33554432000 4194304 6006132 140735293265968 140735293257376 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6446/statm: 2856 2273 169 443 0 2409 0
[pid=6538] ppid=6446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6538/stat : 6538 (satsolver.sh) S 6446 6445 4737 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384851701 9367552 267 33554432000 4194304 5064252 140737133004912 140737133003824 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6538/statm: 2287 267 226 213 0 72 0
[pid=6539] ppid=6538 vsize=153224 CPUtime=1466.77 cores=0,2,4,6
/proc/6539/stat : 6539 (glucose) R 6538 6445 4737 0 -1 4202496 83471 0 0 0 146506 171 0 0 20 0 1 0 384851701 156901376 35082 33554432000 4194304 5208918 140734632240672 140734632238760 4211561 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6539/statm: 38306 35082 104 248 0 38055 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 182944
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6595
/proc/meminfo: memFree=31102788/32873844 swapFree=6904/6904
[pid=6445] ppid=6443 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6445/stat : 6445 (npSolver-wbo-I.) S 6443 6445 4737 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384850173 9367552 274 33554432000 4194304 5064252 140735710813360 140735710812272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6445/statm: 2287 274 233 213 0 72 0
[pid=6446] ppid=6445 vsize=11424 CPUtime=15.24 cores=0,2,4,6
/proc/6446/stat : 6446 (npSolver-wbo) S 6445 6445 4737 0 -1 4202496 3296 39973 0 0 6 2 1500 16 20 0 1 0 384850173 11698176 2273 33554432000 4194304 6006132 140735293265968 140735293257376 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6446/statm: 2856 2273 169 443 0 2409 0
[pid=6538] ppid=6446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6538/stat : 6538 (satsolver.sh) S 6446 6445 4737 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384851701 9367552 267 33554432000 4194304 5064252 140737133004912 140737133003824 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6538/statm: 2287 267 226 213 0 72 0
[pid=6539] ppid=6538 vsize=284700 CPUtime=1526.75 cores=0,2,4,6
/proc/6539/stat : 6539 (glucose) R 6538 6445 4737 0 -1 4202496 84887 0 0 0 152498 177 0 0 20 0 1 0 384851701 291532800 52447 33554432000 4194304 5208918 140734632240672 140734632238824 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6539/statm: 71175 52447 104 248 0 70924 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 314420
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6595
/proc/meminfo: memFree=31074176/32873844 swapFree=6904/6904
[pid=6445] ppid=6443 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6445/stat : 6445 (npSolver-wbo-I.) S 6443 6445 4737 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384850173 9367552 274 33554432000 4194304 5064252 140735710813360 140735710812272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6445/statm: 2287 274 233 213 0 72 0
[pid=6446] ppid=6445 vsize=11424 CPUtime=15.24 cores=0,2,4,6
/proc/6446/stat : 6446 (npSolver-wbo) S 6445 6445 4737 0 -1 4202496 3296 39973 0 0 6 2 1500 16 20 0 1 0 384850173 11698176 2273 33554432000 4194304 6006132 140735293265968 140735293257376 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6446/statm: 2856 2273 169 443 0 2409 0
[pid=6538] ppid=6446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6538/stat : 6538 (satsolver.sh) S 6446 6445 4737 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384851701 9367552 267 33554432000 4194304 5064252 140737133004912 140737133003824 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6538/statm: 2287 267 226 213 0 72 0
[pid=6539] ppid=6538 vsize=284700 CPUtime=1586.74 cores=0,2,4,6
/proc/6539/stat : 6539 (glucose) R 6538 6445 4737 0 -1 4202496 85844 0 0 0 158491 183 0 0 20 0 1 0 384851701 291532800 68831 33554432000 4194304 5208918 140734632240672 140734632238824 4229538 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6539/statm: 71175 68831 104 248 0 70924 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 314420
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6595
/proc/meminfo: memFree=31133628/32873844 swapFree=6904/6904
[pid=6445] ppid=6443 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6445/stat : 6445 (npSolver-wbo-I.) S 6443 6445 4737 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384850173 9367552 274 33554432000 4194304 5064252 140735710813360 140735710812272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6445/statm: 2287 274 233 213 0 72 0
[pid=6446] ppid=6445 vsize=11424 CPUtime=15.24 cores=0,2,4,6
/proc/6446/stat : 6446 (npSolver-wbo) S 6445 6445 4737 0 -1 4202496 3296 39973 0 0 6 2 1500 16 20 0 1 0 384850173 11698176 2273 33554432000 4194304 6006132 140735293265968 140735293257376 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6446/statm: 2856 2273 169 443 0 2409 0
[pid=6538] ppid=6446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6538/stat : 6538 (satsolver.sh) S 6446 6445 4737 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384851701 9367552 267 33554432000 4194304 5064252 140737133004912 140737133003824 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6538/statm: 2287 267 226 213 0 72 0
[pid=6539] ppid=6538 vsize=284700 CPUtime=1646.73 cores=0,2,4,6
/proc/6539/stat : 6539 (glucose) R 6538 6445 4737 0 -1 4202496 86766 0 0 0 164485 188 0 0 20 0 1 0 384851701 291532800 68319 33554432000 4194304 5208918 140734632240672 140734632238824 4229512 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6539/statm: 71175 68319 104 248 0 70924 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 314420
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6595
/proc/meminfo: memFree=31076784/32873844 swapFree=6904/6904
[pid=6445] ppid=6443 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6445/stat : 6445 (npSolver-wbo-I.) S 6443 6445 4737 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384850173 9367552 274 33554432000 4194304 5064252 140735710813360 140735710812272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6445/statm: 2287 274 233 213 0 72 0
[pid=6446] ppid=6445 vsize=11424 CPUtime=15.24 cores=0,2,4,6
/proc/6446/stat : 6446 (npSolver-wbo) S 6445 6445 4737 0 -1 4202496 3296 39973 0 0 6 2 1500 16 20 0 1 0 384850173 11698176 2273 33554432000 4194304 6006132 140735293265968 140735293257376 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6446/statm: 2856 2273 169 443 0 2409 0
[pid=6538] ppid=6446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6538/stat : 6538 (satsolver.sh) S 6446 6445 4737 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384851701 9367552 267 33554432000 4194304 5064252 140737133004912 140737133003824 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6538/statm: 2287 267 226 213 0 72 0
[pid=6539] ppid=6538 vsize=203312 CPUtime=1706.71 cores=0,2,4,6
/proc/6539/stat : 6539 (glucose) R 6538 6445 4737 0 -1 4202496 88408 0 0 0 170476 195 0 0 20 0 1 0 384851701 208191488 42551 33554432000 4194304 5208918 140734632240672 140734632238824 4229374 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6539/statm: 50828 42551 104 248 0 50577 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 233032
[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 6595
/proc/meminfo: memFree=31097200/32873844 swapFree=6904/6904
[pid=6445] ppid=6443 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6445/stat : 6445 (npSolver-wbo-I.) S 6443 6445 4737 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384850173 9367552 274 33554432000 4194304 5064252 140735710813360 140735710812272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6445/statm: 2287 274 233 213 0 72 0
[pid=6446] ppid=6445 vsize=11424 CPUtime=15.24 cores=0,2,4,6
/proc/6446/stat : 6446 (npSolver-wbo) S 6445 6445 4737 0 -1 4202496 3296 39973 0 0 6 2 1500 16 20 0 1 0 384850173 11698176 2273 33554432000 4194304 6006132 140735293265968 140735293257376 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6446/statm: 2856 2273 169 443 0 2409 0
[pid=6538] ppid=6446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6538/stat : 6538 (satsolver.sh) S 6446 6445 4737 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384851701 9367552 267 33554432000 4194304 5064252 140737133004912 140737133003824 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6538/statm: 2287 267 226 213 0 72 0
[pid=6539] ppid=6538 vsize=203312 CPUtime=1766.7 cores=0,2,4,6
/proc/6539/stat : 6539 (glucose) R 6538 6445 4737 0 -1 4202496 89345 0 0 0 176470 200 0 0 20 0 1 0 384851701 208191488 49207 33554432000 4194304 5208918 140734632240672 140734632238824 4229528 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6539/statm: 50828 49207 104 248 0 50577 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 233032
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 6596
/proc/meminfo: memFree=31008624/32873844 swapFree=6904/6904
[pid=6445] ppid=6443 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6445/stat : 6445 (npSolver-wbo-I.) S 6443 6445 4737 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 384850173 9367552 274 33554432000 4194304 5064252 140735710813360 140735710812272 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6445/statm: 2287 274 233 213 0 72 0
[pid=6446] ppid=6445 vsize=11424 CPUtime=15.24 cores=0,2,4,6
/proc/6446/stat : 6446 (npSolver-wbo) S 6445 6445 4737 0 -1 4202496 3296 39973 0 0 6 2 1500 16 20 0 1 0 384850173 11698176 2273 33554432000 4194304 6006132 140735293265968 140735293257376 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6446/statm: 2856 2273 169 443 0 2409 0
[pid=6538] ppid=6446 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6538/stat : 6538 (satsolver.sh) S 6446 6445 4737 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384851701 9367552 267 33554432000 4194304 5064252 140737133004912 140737133003824 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6538/statm: 2287 267 226 213 0 72 0
[pid=6539] ppid=6538 vsize=284700 CPUtime=1784.8 cores=0,2,4,6
/proc/6539/stat : 6539 (glucose) R 6538 6445 4737 0 -1 4202496 89533 0 0 0 178279 201 0 0 20 0 1 0 384851701 291532800 59615 33554432000 4194304 5208918 140734632240672 140734632238824 4229512 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6539/statm: 71175 59615 104 248 0 70924 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 314420
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6445 and gives
# childrusage.ru_utime.tv_sec=15
# childrusage.ru_utime.tv_usec=74708
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=198969
# CPU time returned by wait4() is 15.2737
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.41
CPU time (s): 1800.04
CPU user time (s): 1797.85
CPU system time (s): 2.19
CPU usage (%): 99.9793
Max. virtual memory (cumulated for all children) (KiB): 394560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.0747
system time used= 0.198969
maximum resident set size= 78832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44247
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 176
involuntary context switches= 65
runsolver used 7.14791 second user time and 18.9371 second system time
The end