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-3749645-1339163845/watcher-3749645-1339163845 -o /tmp/evaluation-result-3749645-1339163845/solver-3749645-1339163845 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3749645-1339163845.opb 1980709896 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.02 2.00 3/179 18928
/proc/meminfo: memFree=26776988/32873660 swapFree=7120/7120
[pid=18928] ppid=18926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18928/stat : 18928 (npSolver-pbo.sh) S 18926 18928 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382510307 9367552 275 33554432000 4194304 5064252 140734773403568 140734773402480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18928/statm: 2287 275 233 213 0 72 0
[startup+0.036339 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 18928
/proc/meminfo: memFree=26776988/32873660 swapFree=7120/7120
[pid=18928] ppid=18926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18928/stat : 18928 (npSolver-pbo.sh) S 18926 18928 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382510307 9367552 275 33554432000 4194304 5064252 140734773403568 140734773402480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18928/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100275 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 18928
/proc/meminfo: memFree=26776988/32873660 swapFree=7120/7120
[pid=18928] ppid=18926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18928/stat : 18928 (npSolver-pbo.sh) S 18926 18928 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382510307 9367552 275 33554432000 4194304 5064252 140734773403568 140734773402480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18928/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30024 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 18928
/proc/meminfo: memFree=26776988/32873660 swapFree=7120/7120
[pid=18928] ppid=18926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18928/stat : 18928 (npSolver-pbo.sh) S 18926 18928 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382510307 9367552 275 33554432000 4194304 5064252 140734773403568 140734773402480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18928/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700241 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 18928
/proc/meminfo: memFree=26776988/32873660 swapFree=7120/7120
[pid=18928] ppid=18926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18928/stat : 18928 (npSolver-pbo.sh) S 18926 18928 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382510307 9367552 275 33554432000 4194304 5064252 140734773403568 140734773402480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18928/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50029 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 18930
/proc/meminfo: memFree=26624832/32873660 swapFree=7120/7120
[pid=18928] ppid=18926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18928/stat : 18928 (npSolver-pbo.sh) S 18926 18928 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382510307 9367552 275 33554432000 4194304 5064252 140734773403568 140734773402480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18928/statm: 2287 275 233 213 0 72 0
[pid=18929] ppid=18928 vsize=227704 CPUtime=1.49 cores=1,3,5,7
/proc/18929/stat : 18929 (npSolver-pbo) R 18928 18928 13014 0 -1 4202496 14608 0 0 0 144 5 0 0 20 0 1 0 382510307 233168896 40772 33554432000 4194304 6004724 140733767352384 140733767347016 4582623 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/18929/statm: 56926 40772 154 442 0 56480 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 236852
[startup+3.10021 s]
/proc/loadavg: 2.08 2.04 2.01 3/181 18930
/proc/meminfo: memFree=26566868/32873660 swapFree=7120/7120
[pid=18928] ppid=18926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18928/stat : 18928 (npSolver-pbo.sh) S 18926 18928 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382510307 9367552 275 33554432000 4194304 5064252 140734773403568 140734773402480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18928/statm: 2287 275 233 213 0 72 0
[pid=18929] ppid=18928 vsize=312432 CPUtime=2.62 cores=1,3,5,7
/proc/18929/stat : 18929 (npSolver-pbo) S 18928 18928 13014 0 -1 4202496 15948 0 0 0 234 28 0 0 20 0 1 0 382510307 319930368 45611 33554432000 4194304 6004724 140733767352384 140733767346432 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18929/statm: 78108 45611 163 442 0 77662 0
Current children cumulated CPU time (s) 2.62
Current children cumulated vsize (KiB) 321580
[startup+6.30038 s]
/proc/loadavg: 2.08 2.04 2.01 3/183 18932
/proc/meminfo: memFree=25939024/32873660 swapFree=7120/7120
[pid=18928] ppid=18926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18928/stat : 18928 (npSolver-pbo.sh) S 18926 18928 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382510307 9367552 275 33554432000 4194304 5064252 140734773403568 140734773402480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18928/statm: 2287 275 233 213 0 72 0
[pid=18929] ppid=18928 vsize=312432 CPUtime=2.62 cores=1,3,5,7
/proc/18929/stat : 18929 (npSolver-pbo) S 18928 18928 13014 0 -1 4202496 15948 0 0 0 234 28 0 0 20 0 1 0 382510307 319930368 45611 33554432000 4194304 6004724 140733767352384 140733767346432 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18929/statm: 78108 45611 163 442 0 77662 0
[pid=18931] ppid=18929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18931/stat : 18931 (cp2_pre.sh) S 18929 18928 13014 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 382510571 9367552 276 33554432000 4194304 5064252 140736457040432 140736457039136 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18931/statm: 2287 276 234 213 0 72 0
[pid=18932] ppid=18931 vsize=641596 CPUtime=3.64 cores=1,3,5,7
/proc/18932/stat : 18932 (coprocessor) R 18931 18928 13014 0 -1 4202496 67193 0 0 0 346 18 0 0 20 0 1 0 382510571 656994304 143506 33554432000 4194304 6586260 140736388744048 140736388740312 4498509 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/18932/statm: 160399 143506 167 584 0 159811 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 972324
[startup+12.7003 s]
/proc/loadavg: 2.07 2.03 2.00 3/183 18935
/proc/meminfo: memFree=26369896/32873660 swapFree=7120/7120
[pid=18928] ppid=18926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18928/stat : 18928 (npSolver-pbo.sh) S 18926 18928 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382510307 9367552 275 33554432000 4194304 5064252 140734773403568 140734773402480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18928/statm: 2287 275 233 213 0 72 0
[pid=18929] ppid=18928 vsize=312432 CPUtime=11.39 cores=1,3,5,7
/proc/18929/stat : 18929 (npSolver-pbo) S 18928 18928 13014 0 -1 4202496 15957 77144 0 0 234 28 804 73 20 0 1 0 382510307 319930368 45611 33554432000 4194304 6004724 140733767352384 140733767347520 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18929/statm: 78108 45611 163 442 0 77662 0
[pid=18934] ppid=18929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18934/stat : 18934 (satsolver.sh) S 18929 18928 13014 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382511450 9367552 266 33554432000 4194304 5064252 140736033681920 140736033680832 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18934/statm: 2287 266 226 213 0 72 0
[pid=18935] ppid=18934 vsize=197576 CPUtime=1.26 cores=1,3,5,7
/proc/18935/stat : 18935 (glucose) R 18934 18928 13014 0 -1 4202496 33653 0 0 0 119 7 0 0 20 0 1 0 382511450 202317824 45016 33554432000 4194304 5208918 140735118017680 140735118015528 4205139 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18935/statm: 49394 45016 95 248 0 49143 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 528304
[startup+25.5004 s]
/proc/loadavg: 2.13 2.05 2.01 3/182 18935
/proc/meminfo: memFree=26393836/32873660 swapFree=7120/7120
[pid=18928] ppid=18926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18928/stat : 18928 (npSolver-pbo.sh) S 18926 18928 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382510307 9367552 275 33554432000 4194304 5064252 140734773403568 140734773402480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18928/statm: 2287 275 233 213 0 72 0
[pid=18929] ppid=18928 vsize=312432 CPUtime=11.39 cores=1,3,5,7
/proc/18929/stat : 18929 (npSolver-pbo) S 18928 18928 13014 0 -1 4202496 15957 77144 0 0 234 28 804 73 20 0 1 0 382510307 319930368 45611 33554432000 4194304 6004724 140733767352384 140733767347520 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18929/statm: 78108 45611 163 442 0 77662 0
[pid=18934] ppid=18929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18934/stat : 18934 (satsolver.sh) S 18929 18928 13014 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382511450 9367552 266 33554432000 4194304 5064252 140736033681920 140736033680832 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18934/statm: 2287 266 226 213 0 72 0
[pid=18935] ppid=18934 vsize=198368 CPUtime=14.06 cores=1,3,5,7
/proc/18935/stat : 18935 (glucose) R 18934 18928 13014 0 -1 4202496 33862 0 0 0 1399 7 0 0 20 0 1 0 382511450 203128832 45736 33554432000 4194304 5208918 140735118017680 140735118015528 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18935/statm: 49592 45736 103 248 0 49341 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 529096
[startup+51.1004 s]
/proc/loadavg: 2.08 2.04 2.01 3/183 18936
/proc/meminfo: memFree=26364920/32873660 swapFree=7120/7120
[pid=18928] ppid=18926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18928/stat : 18928 (npSolver-pbo.sh) S 18926 18928 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382510307 9367552 275 33554432000 4194304 5064252 140734773403568 140734773402480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18928/statm: 2287 275 233 213 0 72 0
[pid=18929] ppid=18928 vsize=312432 CPUtime=11.39 cores=1,3,5,7
/proc/18929/stat : 18929 (npSolver-pbo) S 18928 18928 13014 0 -1 4202496 15957 77144 0 0 234 28 804 73 20 0 1 0 382510307 319930368 45611 33554432000 4194304 6004724 140733767352384 140733767347520 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18929/statm: 78108 45611 163 442 0 77662 0
[pid=18934] ppid=18929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18934/stat : 18934 (satsolver.sh) S 18929 18928 13014 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382511450 9367552 266 33554432000 4194304 5064252 140736033681920 140736033680832 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18934/statm: 2287 266 226 213 0 72 0
[pid=18935] ppid=18934 vsize=199228 CPUtime=39.66 cores=1,3,5,7
/proc/18935/stat : 18935 (glucose) R 18934 18928 13014 0 -1 4202496 34077 0 0 0 3958 8 0 0 20 0 1 0 382511450 204009472 46462 33554432000 4194304 5208918 140735118017680 140735118015640 4229251 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18935/statm: 49807 46462 103 248 0 49556 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 529956
[startup+102.307 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 18936
/proc/meminfo: memFree=26375008/32873660 swapFree=7120/7120
[pid=18928] ppid=18926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18928/stat : 18928 (npSolver-pbo.sh) S 18926 18928 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382510307 9367552 275 33554432000 4194304 5064252 140734773403568 140734773402480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18928/statm: 2287 275 233 213 0 72 0
[pid=18929] ppid=18928 vsize=312432 CPUtime=11.39 cores=1,3,5,7
/proc/18929/stat : 18929 (npSolver-pbo) S 18928 18928 13014 0 -1 4202496 15957 77144 0 0 234 28 804 73 20 0 1 0 382510307 319930368 45611 33554432000 4194304 6004724 140733767352384 140733767347520 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18929/statm: 78108 45611 163 442 0 77662 0
[pid=18934] ppid=18929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18934/stat : 18934 (satsolver.sh) S 18929 18928 13014 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382511450 9367552 266 33554432000 4194304 5064252 140736033681920 140736033680832 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18934/statm: 2287 266 226 213 0 72 0
[pid=18935] ppid=18934 vsize=219000 CPUtime=90.85 cores=1,3,5,7
/proc/18935/stat : 18935 (glucose) R 18934 18928 13014 0 -1 4202496 34717 0 0 0 9077 8 0 0 20 0 1 0 382511450 224256000 48121 33554432000 4194304 5208918 140735118017680 140735118015528 4229206 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18935/statm: 54750 48121 103 248 0 54499 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 549728
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/184 18939
/proc/meminfo: memFree=26350420/32873660 swapFree=7120/7120
[pid=18928] ppid=18926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18928/stat : 18928 (npSolver-pbo.sh) S 18926 18928 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382510307 9367552 275 33554432000 4194304 5064252 140734773403568 140734773402480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18928/statm: 2287 275 233 213 0 72 0
[pid=18929] ppid=18928 vsize=312432 CPUtime=11.39 cores=1,3,5,7
/proc/18929/stat : 18929 (npSolver-pbo) S 18928 18928 13014 0 -1 4202496 15957 77144 0 0 234 28 804 73 20 0 1 0 382510307 319930368 45611 33554432000 4194304 6004724 140733767352384 140733767347520 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18929/statm: 78108 45611 163 442 0 77662 0
[pid=18934] ppid=18929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18934/stat : 18934 (satsolver.sh) S 18929 18928 13014 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382511450 9367552 266 33554432000 4194304 5064252 140736033681920 140736033680832 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18934/statm: 2287 266 226 213 0 72 0
[pid=18935] ppid=18934 vsize=209360 CPUtime=150.84 cores=1,3,5,7
/proc/18935/stat : 18935 (glucose) R 18934 18928 13014 0 -1 4202496 38202 0 0 0 15073 11 0 0 20 0 1 0 382511450 214384640 48365 33554432000 4194304 5208918 140735118017680 140735118015768 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18935/statm: 52340 48365 105 248 0 52089 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 540088
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/184 18962
/proc/meminfo: memFree=26350856/32873660 swapFree=7120/7120
[pid=18928] ppid=18926 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/18935/stat : 18935 (glucose) R 18934 18928 13014 0 -1 4202496 75527 0 0 0 135005 56 0 0 20 0 1 0 382511450 285769728 61341 33554432000 4194304 5208918 140735118017680 140735118014056 4229580 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18935/statm: 69768 61341 105 248 0 69517 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 609800
[startup+1422.31 s]
/proc/loadavg: 2.07 2.03 2.01 3/183 19024
/proc/meminfo: memFree=26259200/32873660 swapFree=7120/7120
[pid=18928] ppid=18926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18928/stat : 18928 (npSolver-pbo.sh) S 18926 18928 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382510307 9367552 275 33554432000 4194304 5064252 140734773403568 140734773402480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18928/statm: 2287 275 233 213 0 72 0
[pid=18929] ppid=18928 vsize=312432 CPUtime=11.39 cores=1,3,5,7
/proc/18929/stat : 18929 (npSolver-pbo) S 18928 18928 13014 0 -1 4202496 15957 77144 0 0 234 28 804 73 20 0 1 0 382510307 319930368 45611 33554432000 4194304 6004724 140733767352384 140733767347520 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18929/statm: 78108 45611 163 442 0 77662 0
[pid=18934] ppid=18929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18934/stat : 18934 (satsolver.sh) S 18929 18928 13014 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382511450 9367552 266 33554432000 4194304 5064252 140736033681920 140736033680832 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18934/statm: 2287 266 226 213 0 72 0
[pid=18935] ppid=18934 vsize=279468 CPUtime=1410.61 cores=1,3,5,7
/proc/18935/stat : 18935 (glucose) R 18934 18928 13014 0 -1 4202496 76534 0 0 0 141003 58 0 0 20 0 1 0 382511450 286175232 60424 33554432000 4194304 5208918 140735118017680 140735118015528 4229311 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18935/statm: 69867 60424 105 248 0 69616 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 610196
[startup+1482.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 19024
/proc/meminfo: memFree=26252664/32873660 swapFree=7120/7120
[pid=18928] ppid=18926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18928/stat : 18928 (npSolver-pbo.sh) S 18926 18928 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382510307 9367552 275 33554432000 4194304 5064252 140734773403568 140734773402480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18928/statm: 2287 275 233 213 0 72 0
[pid=18929] ppid=18928 vsize=312432 CPUtime=11.39 cores=1,3,5,7
/proc/18929/stat : 18929 (npSolver-pbo) S 18928 18928 13014 0 -1 4202496 15957 77144 0 0 234 28 804 73 20 0 1 0 382510307 319930368 45611 33554432000 4194304 6004724 140733767352384 140733767347520 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18929/statm: 78108 45611 163 442 0 77662 0
[pid=18934] ppid=18929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18934/stat : 18934 (satsolver.sh) S 18929 18928 13014 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382511450 9367552 266 33554432000 4194304 5064252 140736033681920 140736033680832 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18934/statm: 2287 266 226 213 0 72 0
[pid=18935] ppid=18934 vsize=280524 CPUtime=1470.6 cores=1,3,5,7
/proc/18935/stat : 18935 (glucose) R 18934 18928 13014 0 -1 4202496 77706 0 0 0 147000 60 0 0 20 0 1 0 382511450 287256576 62235 33554432000 4194304 5208918 140735118017680 140735118015528 4212881 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18935/statm: 70131 62235 105 248 0 69880 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 611252
[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 19024
/proc/meminfo: memFree=26264736/32873660 swapFree=7120/7120
[pid=18928] ppid=18926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18928/stat : 18928 (npSolver-pbo.sh) S 18926 18928 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382510307 9367552 275 33554432000 4194304 5064252 140734773403568 140734773402480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18928/statm: 2287 275 233 213 0 72 0
[pid=18929] ppid=18928 vsize=312432 CPUtime=11.39 cores=1,3,5,7
/proc/18929/stat : 18929 (npSolver-pbo) S 18928 18928 13014 0 -1 4202496 15957 77144 0 0 234 28 804 73 20 0 1 0 382510307 319930368 45611 33554432000 4194304 6004724 140733767352384 140733767347520 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18929/statm: 78108 45611 163 442 0 77662 0
[pid=18934] ppid=18929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18934/stat : 18934 (satsolver.sh) S 18929 18928 13014 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382511450 9367552 266 33554432000 4194304 5064252 140736033681920 140736033680832 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18934/statm: 2287 266 226 213 0 72 0
[pid=18935] ppid=18934 vsize=250368 CPUtime=1530.58 cores=1,3,5,7
/proc/18935/stat : 18935 (glucose) R 18934 18928 13014 0 -1 4202496 78180 0 0 0 152997 61 0 0 20 0 1 0 382511450 256376832 58236 33554432000 4194304 5208918 140735118017680 140735118014056 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18935/statm: 62592 58236 105 248 0 62341 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 581096
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 19025
/proc/meminfo: memFree=26234560/32873660 swapFree=7120/7120
[pid=18928] ppid=18926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18928/stat : 18928 (npSolver-pbo.sh) S 18926 18928 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382510307 9367552 275 33554432000 4194304 5064252 140734773403568 140734773402480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18928/statm: 2287 275 233 213 0 72 0
[pid=18929] ppid=18928 vsize=312432 CPUtime=11.39 cores=1,3,5,7
/proc/18929/stat : 18929 (npSolver-pbo) S 18928 18928 13014 0 -1 4202496 15957 77144 0 0 234 28 804 73 20 0 1 0 382510307 319930368 45611 33554432000 4194304 6004724 140733767352384 140733767347520 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18929/statm: 78108 45611 163 442 0 77662 0
[pid=18934] ppid=18929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18934/stat : 18934 (satsolver.sh) S 18929 18928 13014 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382511450 9367552 266 33554432000 4194304 5064252 140736033681920 140736033680832 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18934/statm: 2287 266 226 213 0 72 0
[pid=18935] ppid=18934 vsize=281864 CPUtime=1590.58 cores=1,3,5,7
/proc/18935/stat : 18935 (glucose) R 18934 18928 13014 0 -1 4202496 78927 0 0 0 158995 63 0 0 20 0 1 0 382511450 288628736 62557 33554432000 4194304 5208918 140735118017680 140735118015528 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18935/statm: 70466 62557 105 248 0 70215 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 612592
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19025
/proc/meminfo: memFree=26244884/32873660 swapFree=7120/7120
[pid=18928] ppid=18926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18928/stat : 18928 (npSolver-pbo.sh) S 18926 18928 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382510307 9367552 275 33554432000 4194304 5064252 140734773403568 140734773402480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18928/statm: 2287 275 233 213 0 72 0
[pid=18929] ppid=18928 vsize=312432 CPUtime=11.39 cores=1,3,5,7
/proc/18929/stat : 18929 (npSolver-pbo) S 18928 18928 13014 0 -1 4202496 15957 77144 0 0 234 28 804 73 20 0 1 0 382510307 319930368 45611 33554432000 4194304 6004724 140733767352384 140733767347520 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18929/statm: 78108 45611 163 442 0 77662 0
[pid=18934] ppid=18929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18934/stat : 18934 (satsolver.sh) S 18929 18928 13014 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382511450 9367552 266 33554432000 4194304 5064252 140736033681920 140736033680832 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18934/statm: 2287 266 226 213 0 72 0
[pid=18935] ppid=18934 vsize=251600 CPUtime=1650.57 cores=1,3,5,7
/proc/18935/stat : 18935 (glucose) R 18934 18928 13014 0 -1 4202496 79400 0 0 0 164993 64 0 0 20 0 1 0 382511450 257638400 60098 33554432000 4194304 5208918 140735118017680 140735118015528 4229338 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18935/statm: 62900 60098 105 248 0 62649 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 582328
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19025
/proc/meminfo: memFree=26255804/32873660 swapFree=7120/7120
[pid=18928] ppid=18926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18928/stat : 18928 (npSolver-pbo.sh) S 18926 18928 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382510307 9367552 275 33554432000 4194304 5064252 140734773403568 140734773402480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18928/statm: 2287 275 233 213 0 72 0
[pid=18929] ppid=18928 vsize=312432 CPUtime=11.39 cores=1,3,5,7
/proc/18929/stat : 18929 (npSolver-pbo) S 18928 18928 13014 0 -1 4202496 15957 77144 0 0 234 28 804 73 20 0 1 0 382510307 319930368 45611 33554432000 4194304 6004724 140733767352384 140733767347520 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18929/statm: 78108 45611 163 442 0 77662 0
[pid=18934] ppid=18929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18934/stat : 18934 (satsolver.sh) S 18929 18928 13014 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382511450 9367552 266 33554432000 4194304 5064252 140736033681920 140736033680832 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18934/statm: 2287 266 226 213 0 72 0
[pid=18935] ppid=18934 vsize=252708 CPUtime=1710.55 cores=1,3,5,7
/proc/18935/stat : 18935 (glucose) R 18934 18928 13014 0 -1 4202496 80544 0 0 0 170989 66 0 0 20 0 1 0 382511450 258772992 57280 33554432000 4194304 5208918 140735118017680 140735118015768 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18935/statm: 63177 57280 105 248 0 62926 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 583436
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 19026
/proc/meminfo: memFree=26219008/32873660 swapFree=7120/7120
[pid=18928] ppid=18926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18928/stat : 18928 (npSolver-pbo.sh) S 18926 18928 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382510307 9367552 275 33554432000 4194304 5064252 140734773403568 140734773402480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18928/statm: 2287 275 233 213 0 72 0
[pid=18929] ppid=18928 vsize=312432 CPUtime=11.39 cores=1,3,5,7
/proc/18929/stat : 18929 (npSolver-pbo) S 18928 18928 13014 0 -1 4202496 15957 77144 0 0 234 28 804 73 20 0 1 0 382510307 319930368 45611 33554432000 4194304 6004724 140733767352384 140733767347520 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18929/statm: 78108 45611 163 442 0 77662 0
[pid=18934] ppid=18929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18934/stat : 18934 (satsolver.sh) S 18929 18928 13014 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382511450 9367552 266 33554432000 4194304 5064252 140736033681920 140736033680832 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18934/statm: 2287 266 226 213 0 72 0
[pid=18935] ppid=18934 vsize=284060 CPUtime=1770.55 cores=1,3,5,7
/proc/18935/stat : 18935 (glucose) R 18934 18928 13014 0 -1 4202496 81274 0 0 0 176987 68 0 0 20 0 1 0 382511450 290877440 63112 33554432000 4194304 5208918 140735118017680 140735118013448 4229195 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18935/statm: 71015 63112 105 248 0 70764 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 614788
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 19026
/proc/meminfo: memFree=26226724/32873660 swapFree=7120/7120
[pid=18928] ppid=18926 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18928/stat : 18928 (npSolver-pbo.sh) S 18926 18928 13014 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382510307 9367552 275 33554432000 4194304 5064252 140734773403568 140734773402480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18928/statm: 2287 275 233 213 0 72 0
[pid=18929] ppid=18928 vsize=312432 CPUtime=11.39 cores=1,3,5,7
/proc/18929/stat : 18929 (npSolver-pbo) S 18928 18928 13014 0 -1 4202496 15957 77144 0 0 234 28 804 73 20 0 1 0 382510307 319930368 45611 33554432000 4194304 6004724 140733767352384 140733767347520 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18929/statm: 78108 45611 163 442 0 77662 0
[pid=18934] ppid=18929 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18934/stat : 18934 (satsolver.sh) S 18929 18928 13014 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382511450 9367552 266 33554432000 4194304 5064252 140736033681920 140736033680832 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18934/statm: 2287 266 226 213 0 72 0
[pid=18935] ppid=18934 vsize=290336 CPUtime=1788.65 cores=1,3,5,7
/proc/18935/stat : 18935 (glucose) R 18934 18928 13014 0 -1 4202496 81920 0 0 0 178797 68 0 0 20 0 1 0 382511450 297304064 65291 33554432000 4194304 5208918 140735118017680 140735118015512 4205139 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18935/statm: 72584 65291 105 248 0 72333 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 621064
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 18928 and gives
# childrusage.ru_utime.tv_sec=10
# childrusage.ru_utime.tv_usec=394419
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=26843
# CPU time returned by wait4() is 11.4213
# 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.42
CPU time (s): 1800.04
CPU user time (s): 1798.35
CPU system time (s): 1.69
CPU usage (%): 99.9791
Max. virtual memory (cumulated for all children) (KiB): 1070952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.3944
system time used= 1.02684
maximum resident set size= 718536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94079
page faults= 0
swaps= 0
block input operations= 0
block output operations= 323200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 40
runsolver used 5.20821 second user time and 15.9206 second system time
The end