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-3750689-1339160107/watcher-3750689-1339160107 -o /tmp/evaluation-result-3750689-1339160107/solver-3750689-1339160107 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750689-1339160107.opb 157255544 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.01 1.95 3/180 22509
/proc/meminfo: memFree=28976792/32873844 swapFree=7372/7372
[pid=22509] ppid=22507 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22509/stat : 22509 (npSolver-pbo.sh) S 22507 22509 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382139274 9367552 275 33554432000 4194304 5064252 140736125753184 140736125752096 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22509/statm: 2287 275 233 213 0 72 0
[startup+0.105165 s]
/proc/loadavg: 2.00 2.01 1.95 3/180 22509
/proc/meminfo: memFree=28976792/32873844 swapFree=7372/7372
[pid=22509] ppid=22507 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22509/stat : 22509 (npSolver-pbo.sh) S 22507 22509 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382139274 9367552 275 33554432000 4194304 5064252 140736125753184 140736125752096 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22509/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.200424 s]
/proc/loadavg: 2.00 2.01 1.95 3/180 22509
/proc/meminfo: memFree=28976792/32873844 swapFree=7372/7372
[pid=22509] ppid=22507 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22509/stat : 22509 (npSolver-pbo.sh) S 22507 22509 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382139274 9367552 275 33554432000 4194304 5064252 140736125753184 140736125752096 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22509/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300411 s]
/proc/loadavg: 2.00 2.01 1.95 3/180 22509
/proc/meminfo: memFree=28976792/32873844 swapFree=7372/7372
[pid=22509] ppid=22507 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22509/stat : 22509 (npSolver-pbo.sh) S 22507 22509 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382139274 9367552 275 33554432000 4194304 5064252 140736125753184 140736125752096 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22509/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700361 s]
/proc/loadavg: 2.00 2.01 1.95 3/180 22509
/proc/meminfo: memFree=28976792/32873844 swapFree=7372/7372
[pid=22509] ppid=22507 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22509/stat : 22509 (npSolver-pbo.sh) S 22507 22509 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382139274 9367552 275 33554432000 4194304 5064252 140736125753184 140736125752096 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22509/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50038 s]
/proc/loadavg: 2.00 2.01 1.95 3/184 22523
/proc/meminfo: memFree=28895064/32873844 swapFree=7372/7372
[pid=22509] ppid=22507 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22509/stat : 22509 (npSolver-pbo.sh) S 22507 22509 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382139274 9367552 275 33554432000 4194304 5064252 140736125753184 140736125752096 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22509/statm: 2287 275 233 213 0 72 0
[pid=22510] ppid=22509 vsize=44708 CPUtime=0.49 cores=1,3,5,7
/proc/22510/stat : 22510 (npSolver-pbo) S 22509 22509 17323 0 -1 4202496 7809 6397 0 0 30 6 11 2 20 0 1 0 382139274 45780992 9591 33554432000 4194304 6004724 140735293140896 140735293133248 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22510/statm: 11177 9591 175 442 0 10731 0
[pid=22522] ppid=22510 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22522/stat : 22522 (satsolver.sh) S 22510 22509 17323 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382139325 9367552 267 33554432000 4194304 5064252 140734462543984 140734462542896 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22522/statm: 2287 267 226 213 0 72 0
[pid=22523] ppid=22522 vsize=36316 CPUtime=0.97 cores=1,3,5,7
/proc/22523/stat : 22523 (glucose) R 22522 22509 17323 0 -1 4202496 9388 0 0 0 95 2 0 0 20 0 1 0 382139326 37187584 8068 33554432000 4194304 5208918 140734873988224 140734873986056 4229332 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22523/statm: 9079 8068 104 248 0 8828 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 99320
[startup+3.10038 s]
/proc/loadavg: 2.00 2.01 1.95 3/184 22523
/proc/meminfo: memFree=28893948/32873844 swapFree=7372/7372
[pid=22509] ppid=22507 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22509/stat : 22509 (npSolver-pbo.sh) S 22507 22509 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382139274 9367552 275 33554432000 4194304 5064252 140736125753184 140736125752096 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22509/statm: 2287 275 233 213 0 72 0
[pid=22510] ppid=22509 vsize=44708 CPUtime=0.49 cores=1,3,5,7
/proc/22510/stat : 22510 (npSolver-pbo) S 22509 22509 17323 0 -1 4202496 7809 6397 0 0 30 6 11 2 20 0 1 0 382139274 45780992 9591 33554432000 4194304 6004724 140735293140896 140735293133248 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22510/statm: 11177 9591 175 442 0 10731 0
[pid=22522] ppid=22510 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22522/stat : 22522 (satsolver.sh) S 22510 22509 17323 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382139325 9367552 267 33554432000 4194304 5064252 140734462543984 140734462542896 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22522/statm: 2287 267 226 213 0 72 0
[pid=22523] ppid=22522 vsize=36316 CPUtime=2.57 cores=1,3,5,7
/proc/22523/stat : 22523 (glucose) R 22522 22509 17323 0 -1 4202496 9472 0 0 0 255 2 0 0 20 0 1 0 382139326 37187584 8142 33554432000 4194304 5208918 140734873988224 140734873986056 4229332 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22523/statm: 9079 8142 104 248 0 8828 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 99320
[startup+6.30041 s]
/proc/loadavg: 2.00 2.01 1.95 3/184 22523
/proc/meminfo: memFree=28891700/32873844 swapFree=7372/7372
[pid=22509] ppid=22507 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22509/stat : 22509 (npSolver-pbo.sh) S 22507 22509 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382139274 9367552 275 33554432000 4194304 5064252 140736125753184 140736125752096 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22509/statm: 2287 275 233 213 0 72 0
[pid=22510] ppid=22509 vsize=44708 CPUtime=0.49 cores=1,3,5,7
/proc/22510/stat : 22510 (npSolver-pbo) S 22509 22509 17323 0 -1 4202496 7809 6397 0 0 30 6 11 2 20 0 1 0 382139274 45780992 9591 33554432000 4194304 6004724 140735293140896 140735293133248 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22510/statm: 11177 9591 175 442 0 10731 0
[pid=22522] ppid=22510 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22522/stat : 22522 (satsolver.sh) S 22510 22509 17323 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382139325 9367552 267 33554432000 4194304 5064252 140734462543984 140734462542896 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22522/statm: 2287 267 226 213 0 72 0
[pid=22523] ppid=22522 vsize=42248 CPUtime=5.77 cores=1,3,5,7
/proc/22523/stat : 22523 (glucose) R 22522 22509 17323 0 -1 4202496 10212 0 0 0 575 2 0 0 20 0 1 0 382139326 43261952 8844 33554432000 4194304 5208918 140734873988224 140734873986056 4205203 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22523/statm: 10562 8844 105 248 0 10311 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 105252
[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 1.95 3/184 22523
/proc/meminfo: memFree=28885612/32873844 swapFree=7372/7372
[pid=22509] ppid=22507 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22509/stat : 22509 (npSolver-pbo.sh) S 22507 22509 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382139274 9367552 275 33554432000 4194304 5064252 140736125753184 140736125752096 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22509/statm: 2287 275 233 213 0 72 0
[pid=22510] ppid=22509 vsize=44708 CPUtime=0.49 cores=1,3,5,7
/proc/22510/stat : 22510 (npSolver-pbo) S 22509 22509 17323 0 -1 4202496 7809 6397 0 0 30 6 11 2 20 0 1 0 382139274 45780992 9591 33554432000 4194304 6004724 140735293140896 140735293133248 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22510/statm: 11177 9591 175 442 0 10731 0
[pid=22522] ppid=22510 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22522/stat : 22522 (satsolver.sh) S 22510 22509 17323 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382139325 9367552 267 33554432000 4194304 5064252 140734462543984 140734462542896 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22522/statm: 2287 267 226 213 0 72 0
[pid=22523] ppid=22522 vsize=43612 CPUtime=12.17 cores=1,3,5,7
/proc/22523/stat : 22523 (glucose) R 22522 22509 17323 0 -1 4202496 10917 0 0 0 1214 3 0 0 20 0 1 0 382139326 44658688 9608 33554432000 4194304 5208918 140734873988224 140734873986312 4229251 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22523/statm: 10903 9608 105 248 0 10652 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 106616
[startup+25.5071 s]
/proc/loadavg: 2.00 2.00 1.95 3/184 22523
/proc/meminfo: memFree=28826392/32873844 swapFree=7372/7372
[pid=22509] ppid=22507 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22509/stat : 22509 (npSolver-pbo.sh) S 22507 22509 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382139274 9367552 275 33554432000 4194304 5064252 140736125753184 140736125752096 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22509/statm: 2287 275 233 213 0 72 0
[pid=22510] ppid=22509 vsize=44708 CPUtime=0.49 cores=1,3,5,7
/proc/22510/stat : 22510 (npSolver-pbo) S 22509 22509 17323 0 -1 4202496 7809 6397 0 0 30 6 11 2 20 0 1 0 382139274 45780992 9591 33554432000 4194304 6004724 140735293140896 140735293133248 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22510/statm: 11177 9591 175 442 0 10731 0
[pid=22522] ppid=22510 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22522/stat : 22522 (satsolver.sh) S 22510 22509 17323 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382139325 9367552 267 33554432000 4194304 5064252 140734462543984 140734462542896 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22522/statm: 2287 267 226 213 0 72 0
[pid=22523] ppid=22522 vsize=75808 CPUtime=24.97 cores=1,3,5,7
/proc/22523/stat : 22523 (glucose) R 22522 22509 17323 0 -1 4202496 12801 0 0 0 2493 4 0 0 20 0 1 0 382139326 77627392 16496 33554432000 4194304 5208918 140734873988224 140734873984600 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22523/statm: 18952 16496 105 248 0 18701 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 138812
[startup+51.1005 s]
/proc/loadavg: 2.12 2.03 1.96 3/184 22523
/proc/meminfo: memFree=28809136/32873844 swapFree=7372/7372
[pid=22509] ppid=22507 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22509/stat : 22509 (npSolver-pbo.sh) S 22507 22509 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382139274 9367552 275 33554432000 4194304 5064252 140736125753184 140736125752096 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22509/statm: 2287 275 233 213 0 72 0
[pid=22510] ppid=22509 vsize=44708 CPUtime=0.49 cores=1,3,5,7
/proc/22510/stat : 22510 (npSolver-pbo) S 22509 22509 17323 0 -1 4202496 7809 6397 0 0 30 6 11 2 20 0 1 0 382139274 45780992 9591 33554432000 4194304 6004724 140735293140896 140735293133248 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22510/statm: 11177 9591 175 442 0 10731 0
[pid=22522] ppid=22510 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22522/stat : 22522 (satsolver.sh) S 22510 22509 17323 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382139325 9367552 267 33554432000 4194304 5064252 140734462543984 140734462542896 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22522/statm: 2287 267 226 213 0 72 0
[pid=22523] ppid=22522 vsize=82988 CPUtime=50.56 cores=1,3,5,7
/proc/22523/stat : 22523 (glucose) R 22522 22509 17323 0 -1 4202496 13537 0 0 0 5052 4 0 0 20 0 1 0 382139326 84979712 18772 33554432000 4194304 5208918 140734873988224 140734873984600 4211182 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22523/statm: 20747 18772 105 248 0 20496 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 145992
[startup+102.3 s]
/proc/loadavg: 2.05 2.03 1.96 3/183 22524
/proc/meminfo: memFree=28777300/32873844 swapFree=7372/7372
[pid=22509] ppid=22507 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22509/stat : 22509 (npSolver-pbo.sh) S 22507 22509 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382139274 9367552 275 33554432000 4194304 5064252 140736125753184 140736125752096 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22509/statm: 2287 275 233 213 0 72 0
[pid=22510] ppid=22509 vsize=44708 CPUtime=0.49 cores=1,3,5,7
/proc/22510/stat : 22510 (npSolver-pbo) S 22509 22509 17323 0 -1 4202496 7809 6397 0 0 30 6 11 2 20 0 1 0 382139274 45780992 9591 33554432000 4194304 6004724 140735293140896 140735293133248 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22510/statm: 11177 9591 175 442 0 10731 0
[pid=22522] ppid=22510 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22522/stat : 22522 (satsolver.sh) S 22510 22509 17323 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382139325 9367552 267 33554432000 4194304 5064252 140734462543984 140734462542896 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22522/statm: 2287 267 226 213 0 72 0
[pid=22523] ppid=22522 vsize=101664 CPUtime=101.76 cores=1,3,5,7
/proc/22523/stat : 22523 (glucose) R 22522 22509 17323 0 -1 4202496 14374 0 0 0 10171 5 0 0 20 0 1 0 382139326 104103936 24642 33554432000 4194304 5208918 140734873988224 140734873984536 4211732 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22523/statm: 25416 24642 105 248 0 25165 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 164668
[startup+162.3 s]
/proc/loadavg: 2.02 2.02 1.96 3/183 22538
/proc/meminfo: memFree=28880096/32873844 swapFree=7372/7372
[pid=22509] ppid=22507 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22509/stat : 22509 (npSolver-pbo.sh) S 22507 22509 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382139274 9367552 275 33554432000 4194304 5064252 140736125753184 140736125752096 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22509/statm: 2287 275 233 213 0 72 0
[pid=22510] ppid=22509 vsize=44708 CPUtime=149.66 cores=1,3,5,7
/proc/22510/stat : 22510 (npSolver-pbo) S 22509 22509 17323 0 -1 4202496 10480 25385 0 0 51 8 14892 15 20 0 1 0 382139274 45780992 9467 33554432000 4194304 6004724 140735293140896 140735293133248 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22510/statm: 11177 9467 176 442 0 10731 0
[pid=22537] ppid=22510 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/183 22651
/proc/meminfo: memFree=28742044/32873844 swapFree=7372/7372
[pid=22509] ppid=22507 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22509/stat : 22509 (npSolver-pbo.sh) S 22507 22509 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382139274 9367552 275 33554432000 4194304 5064252 140736125753184 140736125752096 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22509/statm: 2287 275 233 213 0 72 0
[pid=22510] ppid=22509 vsize=44708 CPUtime=1247.06 cores=1,3,5,7
/proc/22510/stat : 22510 (npSolver-pbo) S 22509 22509 17323 0 -1 4202496 21063 96802 0 0 126 16 124505 59 20 0 1 0 382139274 45780992 9979 33554432000 4194304 6004724 140735293140896 140735293133248 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22510/statm: 11177 9979 176 442 0 10731 0
[pid=22649] ppid=22510 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22649/stat : 22649 (satsolver.sh) S 22510 22509 17323 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382264004 9367552 267 33554432000 4194304 5064252 140734317778656 140734317777568 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22649/statm: 2287 267 226 213 0 72 0
[pid=22650] ppid=22649 vsize=107200 CPUtime=114.96 cores=1,3,5,7
/proc/22650/stat : 22650 (glucose) R 22649 22509 17323 0 -1 4202496 12212 0 0 0 11490 6 0 0 20 0 1 0 382264004 109772800 24822 33554432000 4194304 5208918 140733735753072 140733735749448 4211620 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22650/statm: 26800 24822 104 248 0 26549 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 170204
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/183 22651
/proc/meminfo: memFree=28731000/32873844 swapFree=7372/7372
[pid=22509] ppid=22507 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22509/stat : 22509 (npSolver-pbo.sh) S 22507 22509 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382139274 9367552 275 33554432000 4194304 5064252 140736125753184 140736125752096 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22509/statm: 2287 275 233 213 0 72 0
[pid=22510] ppid=22509 vsize=44708 CPUtime=1247.06 cores=1,3,5,7
/proc/22510/stat : 22510 (npSolver-pbo) S 22509 22509 17323 0 -1 4202496 21063 96802 0 0 126 16 124505 59 20 0 1 0 382139274 45780992 9979 33554432000 4194304 6004724 140735293140896 140735293133248 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22510/statm: 11177 9979 176 442 0 10731 0
[pid=22649] ppid=22510 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22649/stat : 22649 (satsolver.sh) S 22510 22509 17323 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382264004 9367552 267 33554432000 4194304 5064252 140734317778656 140734317777568 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22649/statm: 2287 267 226 213 0 72 0
[pid=22650] ppid=22649 vsize=107200 CPUtime=174.95 cores=1,3,5,7
/proc/22650/stat : 22650 (glucose) R 22649 22509 17323 0 -1 4202496 12216 0 0 0 17489 6 0 0 20 0 1 0 382264004 109772800 25848 33554432000 4194304 5208918 140733735753072 140733735749384 4205227 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22650/statm: 26800 25848 104 248 0 26549 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 170204
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/183 22658
/proc/meminfo: memFree=28778740/32873844 swapFree=7372/7372
[pid=22509] ppid=22507 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22509/stat : 22509 (npSolver-pbo.sh) S 22507 22509 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382139274 9367552 275 33554432000 4194304 5064252 140736125753184 140736125752096 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22509/statm: 2287 275 233 213 0 72 0
[pid=22510] ppid=22509 vsize=44708 CPUtime=1453.61 cores=1,3,5,7
/proc/22510/stat : 22510 (npSolver-pbo) S 22509 22509 17323 0 -1 4202496 23731 113271 0 0 146 17 145126 72 20 0 1 0 382139274 45780992 9979 33554432000 4194304 6004724 140735293140896 140735293133248 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22510/statm: 11177 9979 176 442 0 10731 0
[pid=22657] ppid=22510 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22657/stat : 22657 (satsolver.sh) S 22510 22509 17323 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382284665 9367552 267 33554432000 4194304 5064252 140736182454128 140736182453040 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22657/statm: 2287 267 226 213 0 72 0
[pid=22658] ppid=22657 vsize=55844 CPUtime=28.37 cores=1,3,5,7
/proc/22658/stat : 22658 (glucose) R 22657 22509 17323 0 -1 4202496 11542 0 0 0 2834 3 0 0 20 0 1 0 382284665 57184256 12897 33554432000 4194304 5208918 140737311932928 140737311929304 4229328 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22658/statm: 13961 12897 104 248 0 13710 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 118848
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/184 22668
/proc/meminfo: memFree=28766204/32873844 swapFree=7372/7372
[pid=22509] ppid=22507 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22509/stat : 22509 (npSolver-pbo.sh) S 22507 22509 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382139274 9367552 275 33554432000 4194304 5064252 140736125753184 140736125752096 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22509/statm: 2287 275 233 213 0 72 0
[pid=22510] ppid=22509 vsize=44708 CPUtime=1507.23 cores=1,3,5,7
/proc/22510/stat : 22510 (npSolver-pbo) S 22509 22509 17323 0 -1 4202496 26399 129391 0 0 167 19 150455 82 20 0 1 0 382139274 45780992 9979 33554432000 4194304 6004724 140735293140896 140735293133248 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22510/statm: 11177 9979 176 442 0 10731 0
[pid=22667] ppid=22510 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22667/stat : 22667 (satsolver.sh) S 22510 22509 17323 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382290026 9367552 267 33554432000 4194304 5064252 140734937061696 140734937060608 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22667/statm: 2287 267 226 213 0 72 0
[pid=22668] ppid=22667 vsize=60564 CPUtime=34.77 cores=1,3,5,7
/proc/22668/stat : 22668 (glucose) R 22667 22509 17323 0 -1 4202496 10936 0 0 0 3475 2 0 0 20 0 1 0 382290026 62017536 13856 33554432000 4194304 5208918 140736664230928 140736664227304 4205640 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22668/statm: 15141 13856 104 248 0 14890 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 123568
[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 1.98 3/184 22676
/proc/meminfo: memFree=28781896/32873844 swapFree=7372/7372
[pid=22509] ppid=22507 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22509/stat : 22509 (npSolver-pbo.sh) S 22507 22509 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382139274 9367552 275 33554432000 4194304 5064252 140736125753184 140736125752096 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22509/statm: 2287 275 233 213 0 72 0
[pid=22510] ppid=22509 vsize=44708 CPUtime=1594.88 cores=1,3,5,7
/proc/22510/stat : 22510 (npSolver-pbo) S 22509 22509 17323 0 -1 4202496 29022 145363 0 0 184 21 159197 86 20 0 1 0 382139274 45780992 9979 33554432000 4194304 6004724 140735293140896 140735293133248 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22510/statm: 11177 9979 176 442 0 10731 0
[pid=22675] ppid=22510 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22675/stat : 22675 (satsolver.sh) S 22510 22509 17323 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 382298794 9367552 267 33554432000 4194304 5064252 140734433768624 140734433767536 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22675/statm: 2287 267 226 213 0 72 0
[pid=22676] ppid=22675 vsize=41264 CPUtime=7.08 cores=1,3,5,7
/proc/22676/stat : 22676 (glucose) R 22675 22509 17323 0 -1 4202496 8080 0 0 0 706 2 0 0 20 0 1 0 382298794 42254336 8322 33554432000 4194304 5208918 140735553510016 140735553508168 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22676/statm: 10316 8322 104 248 0 10065 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 104268
[startup+1662.31 s]
/proc/loadavg: 2.04 2.02 1.99 3/183 22677
/proc/meminfo: memFree=28775208/32873844 swapFree=7372/7372
[pid=22509] ppid=22507 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22509/stat : 22509 (npSolver-pbo.sh) S 22507 22509 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382139274 9367552 275 33554432000 4194304 5064252 140736125753184 140736125752096 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22509/statm: 2287 275 233 213 0 72 0
[pid=22510] ppid=22509 vsize=44708 CPUtime=1594.88 cores=1,3,5,7
/proc/22510/stat : 22510 (npSolver-pbo) S 22509 22509 17323 0 -1 4202496 29022 145363 0 0 184 21 159197 86 20 0 1 0 382139274 45780992 9979 33554432000 4194304 6004724 140735293140896 140735293133248 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22510/statm: 11177 9979 176 442 0 10731 0
[pid=22675] ppid=22510 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22675/stat : 22675 (satsolver.sh) S 22510 22509 17323 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 382298794 9367552 267 33554432000 4194304 5064252 140734433768624 140734433767536 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22675/statm: 2287 267 226 213 0 72 0
[pid=22676] ppid=22675 vsize=69484 CPUtime=67.09 cores=1,3,5,7
/proc/22676/stat : 22676 (glucose) R 22675 22509 17323 0 -1 4202496 10290 0 0 0 6705 4 0 0 20 0 1 0 382298794 71151616 16346 33554432000 4194304 5208918 140735553510016 140735553506392 4231508 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22676/statm: 17371 16346 104 248 0 17120 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 132488
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 1.99 3/183 22684
/proc/meminfo: memFree=28765840/32873844 swapFree=7372/7372
[pid=22509] ppid=22507 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22509/stat : 22509 (npSolver-pbo.sh) S 22507 22509 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382139274 9367552 275 33554432000 4194304 5064252 140736125753184 140736125752096 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22509/statm: 2287 275 233 213 0 72 0
[pid=22510] ppid=22509 vsize=44708 CPUtime=1697.17 cores=1,3,5,7
/proc/22510/stat : 22510 (npSolver-pbo) S 22509 22509 17323 0 -1 4202496 31690 160743 0 0 204 23 169392 98 20 0 1 0 382139274 45780992 9979 33554432000 4194304 6004724 140735293140896 140735293133248 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22510/statm: 11177 9979 176 442 0 10731 0
[pid=22683] ppid=22510 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22683/stat : 22683 (satsolver.sh) S 22510 22509 17323 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382309023 9367552 267 33554432000 4194304 5064252 140736534028640 140736534027552 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22683/statm: 2287 267 226 213 0 72 0
[pid=22684] ppid=22683 vsize=56172 CPUtime=24.79 cores=1,3,5,7
/proc/22684/stat : 22684 (glucose) R 22683 22509 17323 0 -1 4202496 11903 0 0 0 2475 4 0 0 20 0 1 0 382309024 57520128 13034 33554432000 4194304 5208918 140734455620752 140734455616520 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22684/statm: 14043 13034 104 248 0 13792 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 119176
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/183 22684
/proc/meminfo: memFree=28745808/32873844 swapFree=7372/7372
[pid=22509] ppid=22507 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22509/stat : 22509 (npSolver-pbo.sh) S 22507 22509 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382139274 9367552 275 33554432000 4194304 5064252 140736125753184 140736125752096 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22509/statm: 2287 275 233 213 0 72 0
[pid=22510] ppid=22509 vsize=44708 CPUtime=1697.17 cores=1,3,5,7
/proc/22510/stat : 22510 (npSolver-pbo) S 22509 22509 17323 0 -1 4202496 31690 160743 0 0 204 23 169392 98 20 0 1 0 382139274 45780992 9979 33554432000 4194304 6004724 140735293140896 140735293133248 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22510/statm: 11177 9979 176 442 0 10731 0
[pid=22683] ppid=22510 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22683/stat : 22683 (satsolver.sh) S 22510 22509 17323 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382309023 9367552 267 33554432000 4194304 5064252 140736534028640 140736534027552 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22683/statm: 2287 267 226 213 0 72 0
[pid=22684] ppid=22683 vsize=82032 CPUtime=84.78 cores=1,3,5,7
/proc/22684/stat : 22684 (glucose) R 22683 22509 17323 0 -1 4202496 12717 0 0 0 8473 5 0 0 20 0 1 0 382309024 84000768 19431 33554432000 4194304 5208918 140734455620752 140734455617128 4211501 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22684/statm: 20508 19431 104 248 0 20257 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 145036
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.01 1.99 3/183 22684
/proc/meminfo: memFree=28731344/32873844 swapFree=7372/7372
[pid=22509] ppid=22507 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22509/stat : 22509 (npSolver-pbo.sh) S 22507 22509 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382139274 9367552 275 33554432000 4194304 5064252 140736125753184 140736125752096 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22509/statm: 2287 275 233 213 0 72 0
[pid=22510] ppid=22509 vsize=44708 CPUtime=1697.17 cores=1,3,5,7
/proc/22510/stat : 22510 (npSolver-pbo) S 22509 22509 17323 0 -1 4202496 31690 160743 0 0 204 23 169392 98 20 0 1 0 382139274 45780992 9979 33554432000 4194304 6004724 140735293140896 140735293133248 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22510/statm: 11177 9979 176 442 0 10731 0
[pid=22683] ppid=22510 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22683/stat : 22683 (satsolver.sh) S 22510 22509 17323 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382309023 9367552 267 33554432000 4194304 5064252 140736534028640 140736534027552 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22683/statm: 2287 267 226 213 0 72 0
[pid=22684] ppid=22683 vsize=93704 CPUtime=102.88 cores=1,3,5,7
/proc/22684/stat : 22684 (glucose) R 22683 22509 17323 0 -1 4202496 13203 0 0 0 10283 5 0 0 20 0 1 0 382309024 95952896 22427 33554432000 4194304 5208918 140734455620752 140734455616520 4211918 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22684/statm: 23426 22427 104 248 0 23175 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 156708
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.08
CPU user time (s): 1798.8
CPU system time (s): 1.27881
CPU usage (%): 99.9814
Max. virtual memory (cumulated for all children) (KiB): 249444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.8
system time used= 1.2788
maximum resident set size= 154648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 206627
page faults= 0
swaps= 0
block input operations= 0
block output operations= 227288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1152
involuntary context switches= 2025
runsolver used 8.59369 second user time and 13.082 second system time
The end