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-3752599-1339209854/watcher-3752599-1339209854 -o /tmp/evaluation-result-3752599-1339209854/solver-3752599-1339209854 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752599-1339209854.wbo 832464310 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 2.00 4/179 22535
/proc/meminfo: memFree=25224068/32873844 swapFree=7896/7896
[pid=22535] ppid=22533 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22535/stat : 22535 (npSolver-wbo-It) S 22533 22535 19107 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387110864 9367552 274 33554432000 4194304 5064252 140734050779552 140734050778464 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22535/statm: 2287 274 233 213 0 72 0
[startup+0.0798059 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 22535
/proc/meminfo: memFree=25224068/32873844 swapFree=7896/7896
[pid=22535] ppid=22533 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22535/stat : 22535 (npSolver-wbo-It) S 22533 22535 19107 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387110864 9367552 274 33554432000 4194304 5064252 140734050779552 140734050778464 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22535/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100352 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 22535
/proc/meminfo: memFree=25224068/32873844 swapFree=7896/7896
[pid=22535] ppid=22533 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22535/stat : 22535 (npSolver-wbo-It) S 22533 22535 19107 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387110864 9367552 274 33554432000 4194304 5064252 140734050779552 140734050778464 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22535/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30027 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 22535
/proc/meminfo: memFree=25224068/32873844 swapFree=7896/7896
[pid=22535] ppid=22533 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22535/stat : 22535 (npSolver-wbo-It) S 22533 22535 19107 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387110864 9367552 274 33554432000 4194304 5064252 140734050779552 140734050778464 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22535/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700253 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 22535
/proc/meminfo: memFree=25224068/32873844 swapFree=7896/7896
[pid=22535] ppid=22533 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22535/stat : 22535 (npSolver-wbo-It) S 22533 22535 19107 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387110864 9367552 274 33554432000 4194304 5064252 140734050779552 140734050778464 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22535/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 22549
/proc/meminfo: memFree=25175796/32873844 swapFree=7896/7896
[pid=22535] ppid=22533 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22535/stat : 22535 (npSolver-wbo-It) S 22533 22535 19107 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387110864 9367552 274 33554432000 4194304 5064252 140734050779552 140734050778464 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22535/statm: 2287 274 233 213 0 72 0
[pid=22536] ppid=22535 vsize=26756 CPUtime=0.94 cores=1,3,5,7
/proc/22536/stat : 22536 (npSolver-wbo) S 22535 22535 19107 0 -1 4202496 5954 12042 0 0 21 8 63 2 20 0 1 0 387110864 27398144 5835 33554432000 4194304 6006132 140735449594576 140735449585936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22536/statm: 6689 5835 176 443 0 6242 0
[pid=22548] ppid=22536 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22548/stat : 22548 (satsolver.sh) S 22536 22535 19107 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387110961 9367552 266 33554432000 4194304 5064252 140735648537376 140735648536288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22548/statm: 2287 266 226 213 0 72 0
[pid=22549] ppid=22548 vsize=46728 CPUtime=0.52 cores=1,3,5,7
/proc/22549/stat : 22549 (glucose) R 22548 22535 19107 0 -1 4202496 10210 0 0 0 50 2 0 0 20 0 1 0 387110961 47849472 10880 33554432000 4194304 5208918 140735480806256 140735479755656 4211668 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22549/statm: 11682 10880 95 248 0 11431 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 91780
[startup+3.10034 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22549
/proc/meminfo: memFree=25148932/32873844 swapFree=7896/7896
[pid=22535] ppid=22533 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22535/stat : 22535 (npSolver-wbo-It) S 22533 22535 19107 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387110864 9367552 274 33554432000 4194304 5064252 140734050779552 140734050778464 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22535/statm: 2287 274 233 213 0 72 0
[pid=22536] ppid=22535 vsize=26756 CPUtime=0.94 cores=1,3,5,7
/proc/22536/stat : 22536 (npSolver-wbo) S 22535 22535 19107 0 -1 4202496 5954 12042 0 0 21 8 63 2 20 0 1 0 387110864 27398144 5835 33554432000 4194304 6006132 140735449594576 140735449585936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22536/statm: 6689 5835 176 443 0 6242 0
[pid=22548] ppid=22536 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22548/stat : 22548 (satsolver.sh) S 22536 22535 19107 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387110961 9367552 266 33554432000 4194304 5064252 140735648537376 140735648536288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22548/statm: 2287 266 226 213 0 72 0
[pid=22549] ppid=22548 vsize=46728 CPUtime=2.12 cores=1,3,5,7
/proc/22549/stat : 22549 (glucose) R 22548 22535 19107 0 -1 4202496 10217 0 0 0 210 2 0 0 20 0 1 0 387110961 47849472 10887 33554432000 4194304 5208918 140735480806256 140735480804216 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22549/statm: 11682 10887 95 248 0 11431 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 91780
[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22549
/proc/meminfo: memFree=25145520/32873844 swapFree=7896/7896
[pid=22535] ppid=22533 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22535/stat : 22535 (npSolver-wbo-It) S 22533 22535 19107 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387110864 9367552 274 33554432000 4194304 5064252 140734050779552 140734050778464 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22535/statm: 2287 274 233 213 0 72 0
[pid=22536] ppid=22535 vsize=26756 CPUtime=0.94 cores=1,3,5,7
/proc/22536/stat : 22536 (npSolver-wbo) S 22535 22535 19107 0 -1 4202496 5954 12042 0 0 21 8 63 2 20 0 1 0 387110864 27398144 5835 33554432000 4194304 6006132 140735449594576 140735449585936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22536/statm: 6689 5835 176 443 0 6242 0
[pid=22548] ppid=22536 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22548/stat : 22548 (satsolver.sh) S 22536 22535 19107 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387110961 9367552 266 33554432000 4194304 5064252 140735648537376 140735648536288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22548/statm: 2287 266 226 213 0 72 0
[pid=22549] ppid=22548 vsize=46860 CPUtime=5.32 cores=1,3,5,7
/proc/22549/stat : 22549 (glucose) R 22548 22535 19107 0 -1 4202496 10224 0 0 0 530 2 0 0 20 0 1 0 387110961 47984640 10894 33554432000 4194304 5208918 140735480806256 140735480804104 4211632 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22549/statm: 11715 10894 95 248 0 11464 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 91912
[startup+12.7004 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 22549
/proc/meminfo: memFree=25151800/32873844 swapFree=7896/7896
[pid=22535] ppid=22533 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22535/stat : 22535 (npSolver-wbo-It) S 22533 22535 19107 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387110864 9367552 274 33554432000 4194304 5064252 140734050779552 140734050778464 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22535/statm: 2287 274 233 213 0 72 0
[pid=22536] ppid=22535 vsize=26756 CPUtime=0.94 cores=1,3,5,7
/proc/22536/stat : 22536 (npSolver-wbo) S 22535 22535 19107 0 -1 4202496 5954 12042 0 0 21 8 63 2 20 0 1 0 387110864 27398144 5835 33554432000 4194304 6006132 140735449594576 140735449585936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22536/statm: 6689 5835 176 443 0 6242 0
[pid=22548] ppid=22536 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22548/stat : 22548 (satsolver.sh) S 22536 22535 19107 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387110961 9367552 266 33554432000 4194304 5064252 140735648537376 140735648536288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22548/statm: 2287 266 226 213 0 72 0
[pid=22549] ppid=22548 vsize=46860 CPUtime=11.72 cores=1,3,5,7
/proc/22549/stat : 22549 (glucose) R 22548 22535 19107 0 -1 4202496 10235 0 0 0 1170 2 0 0 20 0 1 0 387110961 47984640 10905 33554432000 4194304 5208918 140735480806256 140735480804104 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22549/statm: 11715 10905 95 248 0 11464 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 91912
[startup+25.5003 s]
/proc/loadavg: 2.06 2.02 2.00 3/184 22559
/proc/meminfo: memFree=25184088/32873844 swapFree=7896/7896
[pid=22535] ppid=22533 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22535/stat : 22535 (npSolver-wbo-It) S 22533 22535 19107 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387110864 9367552 274 33554432000 4194304 5064252 140734050779552 140734050778464 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22535/statm: 2287 274 233 213 0 72 0
[pid=22536] ppid=22535 vsize=26756 CPUtime=25.49 cores=1,3,5,7
/proc/22536/stat : 22536 (npSolver-wbo) R 22535 22535 19107 0 -1 4202496 10389 42587 0 0 34 10 2472 33 20 0 1 0 387110864 27398144 5835 33554432000 4194304 6006132 140735449594576 140735449586512 5056727 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22536/statm: 6689 5835 176 443 0 6242 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 35904
[startup+51.1003 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 22584
/proc/meminfo: memFree=25148832/32873844 swapFree=7896/7896
[pid=22535] ppid=22533 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22535/stat : 22535 (npSolver-wbo-It) S 22533 22535 19107 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387110864 9367552 274 33554432000 4194304 5064252 140734050779552 140734050778464 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22535/statm: 2287 274 233 213 0 72 0
[pid=22536] ppid=22535 vsize=26756 CPUtime=49.91 cores=1,3,5,7
/proc/22536/stat : 22536 (npSolver-wbo) S 22535 22535 19107 0 -1 4202496 15482 74225 0 0 53 13 4865 60 20 0 1 0 387110864 27398144 5835 33554432000 4194304 6006132 140735449594576 140735449585936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22536/statm: 6689 5835 176 443 0 6242 0
[pid=22583] ppid=22536 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22583/stat : 22583 (satsolver.sh) S 22536 22535 19107 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387115858 9367552 267 33554432000 4194304 5064252 140737107317904 140737107316816 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22583/statm: 2287 267 226 213 0 72 0
[pid=22584] ppid=22583 vsize=46728 CPUtime=1.14 cores=1,3,5,7
/proc/22584/stat : 22584 (glucose) R 22583 22535 19107 0 -1 4202496 10269 0 0 0 113 1 0 0 20 0 1 0 387115858 47849472 10929 33554432000 4194304 5208918 140735029153184 140735029151144 4211712 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22584/statm: 11682 10929 95 248 0 11431 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 91780
[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 22612
/proc/meminfo: memFree=25130132/32873844 swapFree=7896/7896
[pid=22535] ppid=22533 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22535/stat : 22535 (npSolver-wbo-It) S 22533 22535 19107 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387110864 9367552 274 33554432000 4194304 5064252 140734050779552 140734050778464 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22535/statm: 2287 274 233 213 0 72 0
[pid=22536] ppid=22535 vsize=26756 CPUtime=98.94 cores=1,3,5,7
/proc/22536/stat : 22536 (npSolver-wbo) S 22535 22535 19107 0 -1 4202496 25010 134968 0 0 84 18 9682 110 20 0 1 0 387110864 27398144 5835 33554432000 4194304 6006132 140735449594576 140735449585936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22536/statm: 6689 5835 176 443 0 6242 0
[pid=22611] ppid=22536 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22611/stat : 22611 (satsolver.sh) S 22536 22535 19107 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 387120762 9367552 266 33554432000 4194304 5064252 140734159666176 140734159665088 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22611/statm: 2287 266 226 213 0 72 0
[pid=22612] ppid=22611 vsize=46860 CPUtime=3.32 cores=1,3,5,7
/proc/22612/stat : 22612 (glucose) R 22611 22535 19107 0 -1 4202496 10119 0 0 0 329 3 0 0 20 0 1 0 387120762 47984640 10761 33554432000 4194304 5208918 140735156554272 140735156552120 4211668 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22612/statm: 11715 10761 95 248 0 11464 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 91912
[startup+162.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 22741
/proc/meminfo: memFree=25119520/32873844 swapFree=7896/7896
[pid=22535] ppid=22533 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22535/stat : 22535 (npSolver-wbo-It) S 22533 22535 19107 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387110864 9367552 274 33554432000 4194304 5064252 140734050779552 140734050778464 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22535/statm: 2287 274 233 213 0 72 0
[pid=22536] ppid=22535 vsize=26756 CPUtime=160.18 cores=1,3,5,7
/proc/22536/stat : 22536 (npSolver-wbo) S 22535 22535 19107 0 -1 4202496 36920 212971 0 0 124 23 15688 183 20 0 1 0 387110864 27398144 5835 33554432000 4194304 6006132 140735449594576 140735449585936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22536/statm: 6689 5835 176 443 0 6242 0
[pid=22736] ppid=22536 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22736/stat : 22736 (satsolver.sh) S 22536 22535 19107 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387126888 9367552 267 33554432000 4194304 5064252 140736292962352 140736292961264 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22736/statm: 2287 267 226 213 0 72 0
[pid=22737] ppid=22736 vsize=46732 CPUtime=2.05 cores=1,3,5,7
/proc/22737/stat : 22737 (glucose) R 22736 22535 19107 0 -1 4202496 10301 0 0 0 204 1 0 0 20 0 1 0 387126888 47853568 10957 33554432000 4194304 5208918 140735515215584 140735515213544 4211668 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22737/statm: 11683 10957 95 248 0 11432 0
Current children cumulated CPU time (s) 162.23
################
# More data... #
################
[pid=26603] ppid=22536 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26603/stat : 26603 (satsolver.sh) S 22536 22535 19107 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387264953 9367552 265 33554432000 4194304 5064252 140734270915376 140734270914288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26603/statm: 2287 265 226 213 0 72 0
[pid=26604] ppid=26603 vsize=46724 CPUtime=1.39 cores=1,3,5,7
/proc/26604/stat : 26604 (glucose) R 26603 22535 19107 0 -1 4202496 10642 0 0 0 137 2 0 0 20 0 1 0 387264954 47845376 10740 33554432000 4194304 5208918 140737177845328 140737177843288 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26604/statm: 11681 10740 95 248 0 11430 0
Current children cumulated CPU time (s) 1541.03
Current children cumulated vsize (KiB) 91776
[startup+1602.3 s]
/proc/loadavg: 1.92 1.98 1.99 3/184 26768
/proc/meminfo: memFree=25114940/32873844 swapFree=7896/7896
[pid=22535] ppid=22533 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22535/stat : 22535 (npSolver-wbo-It) S 22533 22535 19107 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387110864 9367552 274 33554432000 4194304 5064252 140734050779552 140734050778464 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22535/statm: 2287 274 233 213 0 72 0
[pid=22536] ppid=22535 vsize=26756 CPUtime=1600.61 cores=1,3,5,7
/proc/22536/stat : 22536 (npSolver-wbo) S 22535 22535 19107 0 -1 4202496 317996 2042071 0 0 1068 152 157013 1828 20 0 1 0 387110864 27398144 5835 33554432000 4194304 6006132 140735449594576 140735449585936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 18 0 0
/proc/22536/statm: 6689 5835 176 443 0 6242 0
Current children cumulated CPU time (s) 1600.61
Current children cumulated vsize (KiB) 35904
[startup+1662.3 s]
/proc/loadavg: 1.97 1.98 1.99 3/183 26936
/proc/meminfo: memFree=25114752/32873844 swapFree=7896/7896
[pid=22535] ppid=22533 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22535/stat : 22535 (npSolver-wbo-It) S 22533 22535 19107 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387110864 9367552 274 33554432000 4194304 5064252 140734050779552 140734050778464 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22535/statm: 2287 274 233 213 0 72 0
[pid=22536] ppid=22535 vsize=26756 CPUtime=1649.73 cores=1,3,5,7
/proc/22536/stat : 22536 (npSolver-wbo) S 22535 22535 19107 0 -1 4202496 327524 2103548 0 0 1100 156 161831 1886 20 0 1 0 387110864 27398144 5835 33554432000 4194304 6006132 140735449594576 140735449585936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 18 0 0
/proc/22536/statm: 6689 5835 176 443 0 6242 0
[pid=26914] ppid=22536 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26914/stat : 26914 (satsolver.sh) S 22536 22535 19107 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387275979 9367552 267 33554432000 4194304 5064252 140735738228480 140735738227392 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26914/statm: 2287 267 226 213 0 72 0
[pid=26915] ppid=26914 vsize=46860 CPUtime=11.14 cores=1,3,5,7
/proc/26915/stat : 26915 (glucose) R 26914 22535 19107 0 -1 4202496 9850 0 0 0 1112 2 0 0 20 0 1 0 387275979 47984640 10996 33554432000 4194304 5208918 140737460027712 140737460025560 4211668 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26915/statm: 11715 10996 95 248 0 11464 0
Current children cumulated CPU time (s) 1660.87
Current children cumulated vsize (KiB) 91912
[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 27105
/proc/meminfo: memFree=25114708/32873844 swapFree=7896/7896
[pid=22535] ppid=22533 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22535/stat : 22535 (npSolver-wbo-It) S 22533 22535 19107 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387110864 9367552 274 33554432000 4194304 5064252 140734050779552 140734050778464 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22535/statm: 2287 274 233 213 0 72 0
[pid=22536] ppid=22535 vsize=26756 CPUtime=1710.78 cores=1,3,5,7
/proc/22536/stat : 22536 (npSolver-wbo) S 22535 22535 19107 0 -1 4202496 339434 2179445 0 0 1140 162 167821 1955 20 0 1 0 387110864 27398144 5835 33554432000 4194304 6006132 140735449594576 140735449585936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 18 0 0
/proc/22536/statm: 6689 5835 176 443 0 6242 0
[pid=27083] ppid=22536 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27083/stat : 27083 (satsolver.sh) S 22536 22535 19107 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387282084 9367552 267 33554432000 4194304 5064252 140734779938368 140734779937280 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27083/statm: 2287 267 226 213 0 72 0
[pid=27084] ppid=27083 vsize=46856 CPUtime=10.09 cores=1,3,5,7
/proc/27084/stat : 27084 (glucose) R 27083 22535 19107 0 -1 4202496 10267 0 0 0 1007 2 0 0 20 0 1 0 387282084 47980544 10929 33554432000 4194304 5208918 140733778748032 140733778745880 4211901 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27084/statm: 11714 10929 95 248 0 11463 0
Current children cumulated CPU time (s) 1720.87
Current children cumulated vsize (KiB) 91908
[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 27273
/proc/meminfo: memFree=25114976/32873844 swapFree=7896/7896
[pid=22535] ppid=22533 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22535/stat : 22535 (npSolver-wbo-It) S 22533 22535 19107 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387110864 9367552 274 33554432000 4194304 5064252 140734050779552 140734050778464 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22535/statm: 2287 274 233 213 0 72 0
[pid=22536] ppid=22535 vsize=26756 CPUtime=1771.68 cores=1,3,5,7
/proc/22536/stat : 22536 (npSolver-wbo) S 22535 22535 19107 0 -1 4202496 351344 2256323 0 0 1180 167 173800 2021 20 0 1 0 387110864 27398144 5835 33554432000 4194304 6006132 140735449594576 140735449585936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 18 0 0
/proc/22536/statm: 6689 5835 176 443 0 6242 0
[pid=27254] ppid=22536 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27254/stat : 27254 (satsolver.sh) S 22536 22535 19107 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387288188 9367552 267 33554432000 4194304 5064252 140737007673136 140737007672048 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27254/statm: 2287 267 226 213 0 72 0
[pid=27255] ppid=27254 vsize=46860 CPUtime=9.05 cores=1,3,5,7
/proc/27255/stat : 27255 (glucose) R 27254 22535 19107 0 -1 4202496 10728 0 0 0 903 2 0 0 20 0 1 0 387288188 47984640 10823 33554432000 4194304 5208918 140734715389504 140734715387352 4211888 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27255/statm: 11715 10823 95 248 0 11464 0
Current children cumulated CPU time (s) 1780.73
Current children cumulated vsize (KiB) 91912
############
# WARNING:
# current cumulated CPU time (1783.49 s) is less than in the last sample (1783.64 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (0.149902 s) to the 'lost time'.
[startup+1785.2 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 27283
/proc/meminfo: memFree=25148512/32873844 swapFree=7896/7896
[pid=22535] ppid=22533 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22535/stat : 22535 (npSolver-wbo-It) S 22533 22535 19107 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387110864 9367552 274 33554432000 4194304 5064252 140734050779552 140734050778464 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22535/statm: 2287 274 233 213 0 72 0
[pid=22536] ppid=22535 vsize=26756 CPUtime=1783.49 cores=1,3,5,7
/proc/22536/stat : 22536 (npSolver-wbo) S 22535 22535 19107 0 -1 4202496 351351 2267740 0 0 1180 167 174978 2024 20 0 1 0 387110864 27398144 5835 33554432000 4194304 6006132 140735449594576 140735449585424 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 18 0 0
/proc/22536/statm: 6689 5835 176 443 0 6242 0
[pid=27281] ppid=22536 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27281/stat : 27281 (cp2_post.sh) S 22536 22535 19107 0 -1 4202496 609 225 0 0 0 0 0 0 20 0 1 0 387289369 9367552 265 33554432000 4194304 5064252 140736543022912 140736543021200 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27281/statm: 2287 265 225 213 0 72 0
[pid=27283] ppid=27281 vsize=10424 CPUtime=0.15 cores=1,3,5,7
/proc/27283/stat : 27283 (coprocessor) R 27281 22535 19107 0 -1 4202496 2773 0 0 0 11 4 0 0 20 0 1 0 387289369 10674176 1816 33554432000 4194304 6586260 140736972651264 140736972648280 5732496 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/27283/statm: 2606 1816 148 584 0 2018 0
Current children cumulated CPU time (s) 1783.64
Current children cumulated vsize (KiB) 55476
[startup+1785.31 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 27283
/proc/meminfo: memFree=25148512/32873844 swapFree=7896/7896
[pid=22535] ppid=22533 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22535/stat : 22535 (npSolver-wbo-It) S 22533 22535 19107 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387110864 9367552 274 33554432000 4194304 5064252 140734050779552 140734050778464 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22535/statm: 2287 274 233 213 0 72 0
[pid=22536] ppid=22535 vsize=26756 CPUtime=1783.49 cores=1,3,5,7
/proc/22536/stat : 22536 (npSolver-wbo) S 22535 22535 19107 0 -1 4202496 351351 2267740 0 0 1180 167 174978 2024 20 0 1 0 387110864 27398144 5835 33554432000 4194304 6006132 140735449594576 140735449585424 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 18 0 0
/proc/22536/statm: 6689 5835 176 443 0 6242 0
[pid=27281] ppid=22536 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27281/stat : 27281 (cp2_post.sh) R 22536 22535 19107 0 -1 4202496 609 225 0 0 0 0 0 0 20 0 1 0 387289369 9367552 265 33554432000 4194304 5064252 140736543022912 140736543021200 239872927310 0 65536 4100 65538 18446744071579302022 0 0 17 5 0 0 0 0 0
/proc/27281/statm: 2287 265 225 213 0 72 0
Current children cumulated CPU time (s) 1783.49
Current children cumulated vsize (KiB) 45052
#
############
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.5 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 27329
/proc/meminfo: memFree=25112360/32873844 swapFree=7896/7896
[pid=22535] ppid=22533 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22535/stat : 22535 (npSolver-wbo-It) S 22533 22535 19107 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387110864 9367552 274 33554432000 4194304 5064252 140734050779552 140734050778464 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22535/statm: 2287 274 233 213 0 72 0
[pid=22536] ppid=22535 vsize=26756 CPUtime=1796.13 cores=1,3,5,7
/proc/22536/stat : 22536 (npSolver-wbo) S 22535 22535 19107 0 -1 4202496 356108 2287386 0 0 1196 169 176200 2048 20 0 1 0 387110864 27398144 5835 33554432000 4194304 6006132 140735449594576 140735449585936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 18 0 0
/proc/22536/statm: 6689 5835 176 443 0 6242 0
[pid=27321] ppid=22536 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27321/stat : 27321 (satsolver.sh) S 22536 22535 19107 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387290633 9367552 267 33554432000 4194304 5064252 140736833705712 140736833704624 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27321/statm: 2287 267 226 213 0 72 0
[pid=27322] ppid=27321 vsize=46856 CPUtime=3.8 cores=1,3,5,7
/proc/27322/stat : 27322 (glucose) R 27321 22535 19107 0 -1 4202496 10313 0 0 0 379 1 0 0 20 0 1 0 387290633 47980544 10967 33554432000 4194304 5208918 140733758972176 140733758970024 4211901 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27322/statm: 11714 10967 95 248 0 11463 0
Current children cumulated CPU time (s) 1799.93
Current children cumulated vsize (KiB) 91908
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1801.5 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 27329
/proc/meminfo: memFree=25112360/32873844 swapFree=7896/7896
[pid=22535] ppid=22533 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22535/stat : 22535 (npSolver-wbo-It) S 22533 22535 19107 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387110864 9367552 274 33554432000 4194304 5064252 140734050779552 140734050778464 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22535/statm: 2287 274 233 213 0 72 0
[pid=22536] ppid=22535 vsize=26756 CPUtime=1796.13 cores=1,3,5,7
/proc/22536/stat : 22536 (npSolver-wbo) S 22535 22535 19107 0 -1 4202496 356108 2287386 0 0 1196 169 176200 2048 20 0 1 0 387110864 27398144 5835 33554432000 4194304 6006132 140735449594576 140735449585936 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 18 0 0
/proc/22536/statm: 6689 5835 176 443 0 6242 0
[pid=27321] ppid=22536 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27321/stat : 27321 (satsolver.sh) S 22536 22535 19107 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387290633 9367552 267 33554432000 4194304 5064252 140736833705712 140736833704624 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27321/statm: 2287 267 226 213 0 72 0
[pid=27322] ppid=27321 vsize=46856 CPUtime=3.8 cores=1,3,5,7
/proc/27322/stat : 27322 (glucose) R 27321 22535 19107 0 -1 4202496 10313 0 0 0 379 1 0 0 20 0 1 0 387290633 47980544 10967 33554432000 4194304 5208918 140733758972176 140733758970024 4211901 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27322/statm: 11714 10967 95 248 0 11463 0
Current children cumulated CPU time (s) 1799.93
Current children cumulated vsize (KiB) 91908
Child status: 0
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 0.149902
# lost CPU user time (s): 0.109985
# lost CPU system time (s): 0.0400009
Real time (s): 1801.51
CPU time (s): 1800.12
CPU user time (s): 1777.88
CPU system time (s): 22.2446
CPU usage (%): 99.9229
Max. virtual memory (cumulated for all children) (KiB): 92164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1777.77
system time used= 22.2046
maximum resident set size= 44508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2654798
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2233952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48499
involuntary context switches= 3438
runsolver used 2.85757 second user time and 7.30689 second system time
The end