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-3700878-1338125833/watcher-3700878-1338125833 -o /tmp/evaluation-result-3700878-1338125833/solver-3700878-1338125833 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3700878-1338125833.opb 13122343 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.96 2.00 1.93 3/179 19341
/proc/meminfo: memFree=30809496/32873844 swapFree=6872/6872
[pid=19341] ppid=19339 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19341/stat : 19341 (npSolver-pbo.sh) S 19339 19341 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278650280 9367552 274 33554432000 4194304 5064252 140736498356432 140736498355344 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19341/statm: 2287 274 233 213 0 72 0
[startup+0.0901699 s]
/proc/loadavg: 1.96 2.00 1.93 3/179 19341
/proc/meminfo: memFree=30809496/32873844 swapFree=6872/6872
[pid=19341] ppid=19339 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19341/stat : 19341 (npSolver-pbo.sh) S 19339 19341 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278650280 9367552 274 33554432000 4194304 5064252 140736498356432 140736498355344 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19341/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100267 s]
/proc/loadavg: 1.96 2.00 1.93 3/179 19341
/proc/meminfo: memFree=30809496/32873844 swapFree=6872/6872
[pid=19341] ppid=19339 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19341/stat : 19341 (npSolver-pbo.sh) S 19339 19341 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278650280 9367552 274 33554432000 4194304 5064252 140736498356432 140736498355344 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19341/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300243 s]
/proc/loadavg: 1.96 2.00 1.93 3/179 19341
/proc/meminfo: memFree=30809496/32873844 swapFree=6872/6872
[pid=19341] ppid=19339 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19341/stat : 19341 (npSolver-pbo.sh) S 19339 19341 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278650280 9367552 274 33554432000 4194304 5064252 140736498356432 140736498355344 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19341/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700285 s]
/proc/loadavg: 1.96 2.00 1.93 3/179 19341
/proc/meminfo: memFree=30809496/32873844 swapFree=6872/6872
[pid=19341] ppid=19339 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19341/stat : 19341 (npSolver-pbo.sh) S 19339 19341 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278650280 9367552 274 33554432000 4194304 5064252 140736498356432 140736498355344 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19341/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5002 s]
/proc/loadavg: 1.96 2.00 1.93 3/181 19343
/proc/meminfo: memFree=30729460/32873844 swapFree=6872/6872
[pid=19341] ppid=19339 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19341/stat : 19341 (npSolver-pbo.sh) S 19339 19341 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278650280 9367552 274 33554432000 4194304 5064252 140736498356432 140736498355344 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19341/statm: 2287 274 233 213 0 72 0
[pid=19342] ppid=19341 vsize=104204 CPUtime=1.32 cores=0,2,4,6
/proc/19342/stat : 19342 (npSolver-pbo) S 19341 19341 19129 0 -1 4202496 13334 0 0 0 117 15 0 0 20 0 1 0 278650280 106704896 23040 33554432000 4194304 5992684 140734345296576 140734345290608 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19342/statm: 26051 23040 174 440 0 25607 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 113352
[startup+3.10043 s]
/proc/loadavg: 1.96 2.00 1.93 3/183 19345
/proc/meminfo: memFree=30551924/32873844 swapFree=6872/6872
[pid=19341] ppid=19339 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19341/stat : 19341 (npSolver-pbo.sh) S 19339 19341 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278650280 9367552 274 33554432000 4194304 5064252 140736498356432 140736498355344 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19341/statm: 2287 274 233 213 0 72 0
[pid=19342] ppid=19341 vsize=104204 CPUtime=1.32 cores=0,2,4,6
/proc/19342/stat : 19342 (npSolver-pbo) S 19341 19341 19129 0 -1 4202496 13334 0 0 0 117 15 0 0 20 0 1 0 278650280 106704896 23040 33554432000 4194304 5992684 140734345296576 140734345290608 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19342/statm: 26051 23040 174 440 0 25607 0
[pid=19344] ppid=19342 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19344/stat : 19344 (cp2_pre.sh) S 19342 19341 19129 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 278650414 9367552 277 33554432000 4194304 5064252 140734330382608 140734330381312 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19344/statm: 2287 277 234 213 0 72 0
[pid=19345] ppid=19344 vsize=256188 CPUtime=1.75 cores=0,2,4,6
/proc/19345/stat : 19345 (coprocessor) R 19344 19341 19129 0 -1 4202496 34776 0 0 0 167 8 0 0 20 0 1 0 278650414 262336512 56584 33554432000 4194304 6586260 140735232001664 140735231997928 5511711 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/19345/statm: 64047 56584 166 584 0 63459 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 378688
[startup+6.30041 s]
/proc/loadavg: 1.96 2.00 1.93 4/183 19345
/proc/meminfo: memFree=30352964/32873844 swapFree=6872/6872
[pid=19341] ppid=19339 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19341/stat : 19341 (npSolver-pbo.sh) S 19339 19341 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278650280 9367552 274 33554432000 4194304 5064252 140736498356432 140736498355344 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19341/statm: 2287 274 233 213 0 72 0
[pid=19342] ppid=19341 vsize=104204 CPUtime=1.32 cores=0,2,4,6
/proc/19342/stat : 19342 (npSolver-pbo) S 19341 19341 19129 0 -1 4202496 13334 0 0 0 117 15 0 0 20 0 1 0 278650280 106704896 23040 33554432000 4194304 5992684 140734345296576 140734345290608 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19342/statm: 26051 23040 174 440 0 25607 0
[pid=19344] ppid=19342 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19344/stat : 19344 (cp2_pre.sh) S 19342 19341 19129 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 278650414 9367552 277 33554432000 4194304 5064252 140734330382608 140734330381312 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19344/statm: 2287 277 234 213 0 72 0
[pid=19345] ppid=19344 vsize=320656 CPUtime=4.95 cores=0,2,4,6
/proc/19345/stat : 19345 (coprocessor) R 19344 19341 19129 0 -1 4202496 47601 0 0 0 476 19 0 0 20 0 1 0 278650414 328351744 77073 33554432000 4194304 6586260 140735232001664 140735231996984 5732496 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/19345/statm: 80164 77073 203 584 0 79576 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 443156
[startup+12.7004 s]
/proc/loadavg: 1.96 2.00 1.93 4/183 19348
/proc/meminfo: memFree=30597988/32873844 swapFree=6872/6872
[pid=19341] ppid=19339 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19341/stat : 19341 (npSolver-pbo.sh) S 19339 19341 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278650280 9367552 274 33554432000 4194304 5064252 140736498356432 140736498355344 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19341/statm: 2287 274 233 213 0 72 0
[pid=19342] ppid=19341 vsize=104204 CPUtime=7.19 cores=0,2,4,6
/proc/19342/stat : 19342 (npSolver-pbo) S 19341 19341 19129 0 -1 4202496 13341 48504 0 0 117 15 561 26 20 0 1 0 278650280 106704896 23040 33554432000 4194304 5992684 140734345296576 140734345291696 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19342/statm: 26051 23040 174 440 0 25607 0
[pid=19347] ppid=19342 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19347/stat : 19347 (satsolver.sh) S 19342 19341 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278651002 9367552 267 33554432000 4194304 5064252 140735097719488 140735097718400 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19347/statm: 2287 267 226 213 0 72 0
[pid=19348] ppid=19347 vsize=107740 CPUtime=5.47 cores=0,2,4,6
/proc/19348/stat : 19348 (glucose) R 19347 19341 19129 0 -1 4202496 20580 0 0 0 542 5 0 0 20 0 1 0 278651002 110325760 24312 33554432000 4194304 5208918 140736823111280 140736823109112 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19348/statm: 26935 24312 102 248 0 26684 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 230240
[startup+25.5004 s]
/proc/loadavg: 1.97 2.00 1.93 4/183 19348
/proc/meminfo: memFree=30598236/32873844 swapFree=6872/6872
[pid=19341] ppid=19339 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19341/stat : 19341 (npSolver-pbo.sh) S 19339 19341 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278650280 9367552 274 33554432000 4194304 5064252 140736498356432 140736498355344 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19341/statm: 2287 274 233 213 0 72 0
[pid=19342] ppid=19341 vsize=104204 CPUtime=7.19 cores=0,2,4,6
/proc/19342/stat : 19342 (npSolver-pbo) S 19341 19341 19129 0 -1 4202496 13341 48504 0 0 117 15 561 26 20 0 1 0 278650280 106704896 23040 33554432000 4194304 5992684 140734345296576 140734345291696 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19342/statm: 26051 23040 174 440 0 25607 0
[pid=19347] ppid=19342 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19347/stat : 19347 (satsolver.sh) S 19342 19341 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278651002 9367552 267 33554432000 4194304 5064252 140735097719488 140735097718400 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19347/statm: 2287 267 226 213 0 72 0
[pid=19348] ppid=19347 vsize=107740 CPUtime=18.27 cores=0,2,4,6
/proc/19348/stat : 19348 (glucose) R 19347 19341 19129 0 -1 4202496 20708 0 0 0 1822 5 0 0 20 0 1 0 278651002 110325760 24440 33554432000 4194304 5208918 140736823111280 140736823109112 4229206 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19348/statm: 26935 24440 102 248 0 26684 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 230240
[startup+51.1004 s]
/proc/loadavg: 2.06 2.01 1.93 4/183 19348
/proc/meminfo: memFree=30598112/32873844 swapFree=6872/6872
[pid=19341] ppid=19339 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19341/stat : 19341 (npSolver-pbo.sh) S 19339 19341 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278650280 9367552 274 33554432000 4194304 5064252 140736498356432 140736498355344 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19341/statm: 2287 274 233 213 0 72 0
[pid=19342] ppid=19341 vsize=104204 CPUtime=7.19 cores=0,2,4,6
/proc/19342/stat : 19342 (npSolver-pbo) S 19341 19341 19129 0 -1 4202496 13341 48504 0 0 117 15 561 26 20 0 1 0 278650280 106704896 23040 33554432000 4194304 5992684 140734345296576 140734345291696 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19342/statm: 26051 23040 174 440 0 25607 0
[pid=19347] ppid=19342 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19347/stat : 19347 (satsolver.sh) S 19342 19341 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278651002 9367552 267 33554432000 4194304 5064252 140735097719488 140735097718400 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19347/statm: 2287 267 226 213 0 72 0
[pid=19348] ppid=19347 vsize=107740 CPUtime=43.86 cores=0,2,4,6
/proc/19348/stat : 19348 (glucose) R 19347 19341 19129 0 -1 4202496 20708 0 0 0 4381 5 0 0 20 0 1 0 278651002 110325760 24440 33554432000 4194304 5208918 140736823111280 140736823109112 4229251 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19348/statm: 26935 24440 102 248 0 26684 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 230240
[startup+102.307 s]
/proc/loadavg: 2.07 2.02 1.94 3/183 19348
/proc/meminfo: memFree=30595568/32873844 swapFree=6872/6872
[pid=19341] ppid=19339 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19341/stat : 19341 (npSolver-pbo.sh) S 19339 19341 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278650280 9367552 274 33554432000 4194304 5064252 140736498356432 140736498355344 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19341/statm: 2287 274 233 213 0 72 0
[pid=19342] ppid=19341 vsize=104204 CPUtime=7.19 cores=0,2,4,6
/proc/19342/stat : 19342 (npSolver-pbo) S 19341 19341 19129 0 -1 4202496 13341 48504 0 0 117 15 561 26 20 0 1 0 278650280 106704896 23040 33554432000 4194304 5992684 140734345296576 140734345291696 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19342/statm: 26051 23040 174 440 0 25607 0
[pid=19347] ppid=19342 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19347/stat : 19347 (satsolver.sh) S 19342 19341 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278651002 9367552 267 33554432000 4194304 5064252 140735097719488 140735097718400 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19347/statm: 2287 267 226 213 0 72 0
[pid=19348] ppid=19347 vsize=107740 CPUtime=95.06 cores=0,2,4,6
/proc/19348/stat : 19348 (glucose) R 19347 19341 19129 0 -1 4202496 20788 0 0 0 9501 5 0 0 20 0 1 0 278651002 110325760 24520 33554432000 4194304 5208918 140736823111280 140736823109112 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19348/statm: 26935 24520 103 248 0 26684 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 230240
[startup+162.3 s]
/proc/loadavg: 2.02 2.02 1.94 3/183 19349
/proc/meminfo: memFree=30588308/32873844 swapFree=6872/6872
[pid=19341] ppid=19339 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19341/stat : 19341 (npSolver-pbo.sh) S 19339 19341 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278650280 9367552 274 33554432000 4194304 5064252 140736498356432 140736498355344 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19341/statm: 2287 274 233 213 0 72 0
[pid=19342] ppid=19341 vsize=104204 CPUtime=7.19 cores=0,2,4,6
/proc/19342/stat : 19342 (npSolver-pbo) S 19341 19341 19129 0 -1 4202496 13341 48504 0 0 117 15 561 26 20 0 1 0 278650280 106704896 23040 33554432000 4194304 5992684 140734345296576 140734345291696 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19342/statm: 26051 23040 174 440 0 25607 0
[pid=19347] ppid=19342 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19347/stat : 19347 (satsolver.sh) S 19342 19341 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278651002 9367552 267 33554432000 4194304 5064252 140735097719488 140735097718400 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19347/statm: 2287 267 226 213 0 72 0
[pid=19348] ppid=19347 vsize=119416 CPUtime=155.04 cores=0,2,4,6
/proc/19348/stat : 19348 (glucose) R 19347 19341 19129 0 -1 4202496 21010 0 0 0 15499 5 0 0 20 0 1 0 278651002 122281984 24742 33554432000 4194304 5208918 140736823111280 140736823109432 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19348/statm: 29854 24742 103 248 0 29603 0
Current children cumulated CPU time (s) 162.23
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 4/183 19374
/proc/meminfo: memFree=29124260/32873844 swapFree=6872/6872
[pid=19341] ppid=19339 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19341/stat : 19341 (npSolver-pbo.sh) S 19339 19341 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278650280 9367552 274 33554432000 4194304 5064252 140736498356432 140736498355344 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19341/statm: 2287 274 233 213 0 72 0
[pid=19342] ppid=19341 vsize=656888 CPUtime=311.9 cores=0,2,4,6
/proc/19342/stat : 19342 (npSolver-pbo) S 19341 19341 19129 0 -1 4202496 32293 76248 0 0 578 193 30381 38 20 0 1 0 278650280 672653312 107555 33554432000 4194304 5992684 140734345296576 140734345288896 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19342/statm: 164222 107555 183 440 0 163778 0
[pid=19358] ppid=19342 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19358/stat : 19358 (satsolver.sh) S 19342 19341 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278681478 9367552 266 33554432000 4194304 5064252 140736375673216 140736375672128 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19358/statm: 2287 266 226 213 0 72 0
[pid=19359] ppid=19358 vsize=900816 CPUtime=1050.12 cores=0,2,4,6
/proc/19359/stat : 19359 (glucose) R 19358 19341 19129 0 -1 4202496 117504 0 0 0 104965 47 0 0 20 0 1 0 278681478 922435584 194642 33554432000 4194304 5208918 140733886141904 140733886139992 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19359/statm: 225204 194642 105 248 0 224953 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 1576000
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.95 4/184 19377
/proc/meminfo: memFree=29132672/32873844 swapFree=6872/6872
[pid=19341] ppid=19339 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19341/stat : 19341 (npSolver-pbo.sh) S 19339 19341 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278650280 9367552 274 33554432000 4194304 5064252 140736498356432 140736498355344 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19341/statm: 2287 274 233 213 0 72 0
[pid=19342] ppid=19341 vsize=656888 CPUtime=311.9 cores=0,2,4,6
/proc/19342/stat : 19342 (npSolver-pbo) S 19341 19341 19129 0 -1 4202496 32293 76248 0 0 578 193 30381 38 20 0 1 0 278650280 672653312 107555 33554432000 4194304 5992684 140734345296576 140734345288896 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19342/statm: 164222 107555 183 440 0 163778 0
[pid=19358] ppid=19342 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19358/stat : 19358 (satsolver.sh) S 19342 19341 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278681478 9367552 266 33554432000 4194304 5064252 140736375673216 140736375672128 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19358/statm: 2287 266 226 213 0 72 0
[pid=19359] ppid=19358 vsize=900816 CPUtime=1110.12 cores=0,2,4,6
/proc/19359/stat : 19359 (glucose) R 19358 19341 19129 0 -1 4202496 117505 0 0 0 110965 47 0 0 20 0 1 0 278681478 922435584 194865 33554432000 4194304 5208918 140733886141904 140733886139992 4211744 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19359/statm: 225204 194865 105 248 0 224953 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 1576000
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 4/184 19400
/proc/meminfo: memFree=29125628/32873844 swapFree=6872/6872
[pid=19341] ppid=19339 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19341/stat : 19341 (npSolver-pbo.sh) S 19339 19341 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278650280 9367552 274 33554432000 4194304 5064252 140736498356432 140736498355344 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19341/statm: 2287 274 233 213 0 72 0
[pid=19342] ppid=19341 vsize=656888 CPUtime=311.9 cores=0,2,4,6
/proc/19342/stat : 19342 (npSolver-pbo) S 19341 19341 19129 0 -1 4202496 32293 76248 0 0 578 193 30381 38 20 0 1 0 278650280 672653312 107555 33554432000 4194304 5992684 140734345296576 140734345288896 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19342/statm: 164222 107555 183 440 0 163778 0
[pid=19358] ppid=19342 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19358/stat : 19358 (satsolver.sh) S 19342 19341 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278681478 9367552 266 33554432000 4194304 5064252 140736375673216 140736375672128 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19358/statm: 2287 266 226 213 0 72 0
[pid=19359] ppid=19358 vsize=900816 CPUtime=1170.1 cores=0,2,4,6
/proc/19359/stat : 19359 (glucose) R 19358 19341 19129 0 -1 4202496 117505 0 0 0 116963 47 0 0 20 0 1 0 278681478 922435584 194865 33554432000 4194304 5208918 140733886141904 140733886139992 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19359/statm: 225204 194865 105 248 0 224953 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 1576000
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.95 4/183 19400
/proc/meminfo: memFree=29112336/32873844 swapFree=6872/6872
[pid=19341] ppid=19339 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19341/stat : 19341 (npSolver-pbo.sh) S 19339 19341 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278650280 9367552 274 33554432000 4194304 5064252 140736498356432 140736498355344 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19341/statm: 2287 274 233 213 0 72 0
[pid=19342] ppid=19341 vsize=656888 CPUtime=311.9 cores=0,2,4,6
/proc/19342/stat : 19342 (npSolver-pbo) S 19341 19341 19129 0 -1 4202496 32293 76248 0 0 578 193 30381 38 20 0 1 0 278650280 672653312 107555 33554432000 4194304 5992684 140734345296576 140734345288896 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19342/statm: 164222 107555 183 440 0 163778 0
[pid=19358] ppid=19342 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19358/stat : 19358 (satsolver.sh) S 19342 19341 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278681478 9367552 266 33554432000 4194304 5064252 140736375673216 140736375672128 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19358/statm: 2287 266 226 213 0 72 0
[pid=19359] ppid=19358 vsize=900816 CPUtime=1230.09 cores=0,2,4,6
/proc/19359/stat : 19359 (glucose) R 19358 19341 19129 0 -1 4202496 117506 0 0 0 122962 47 0 0 20 0 1 0 278681478 922435584 195377 33554432000 4194304 5208918 140733886141904 140733886139992 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19359/statm: 225204 195377 105 248 0 224953 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 1576000
[startup+1602.3 s]
/proc/loadavg: 2.09 2.03 1.96 4/183 19400
/proc/meminfo: memFree=29130848/32873844 swapFree=6872/6872
[pid=19341] ppid=19339 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19341/stat : 19341 (npSolver-pbo.sh) S 19339 19341 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278650280 9367552 274 33554432000 4194304 5064252 140736498356432 140736498355344 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19341/statm: 2287 274 233 213 0 72 0
[pid=19342] ppid=19341 vsize=656888 CPUtime=311.9 cores=0,2,4,6
/proc/19342/stat : 19342 (npSolver-pbo) S 19341 19341 19129 0 -1 4202496 32293 76248 0 0 578 193 30381 38 20 0 1 0 278650280 672653312 107555 33554432000 4194304 5992684 140734345296576 140734345288896 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19342/statm: 164222 107555 183 440 0 163778 0
[pid=19358] ppid=19342 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19358/stat : 19358 (satsolver.sh) S 19342 19341 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278681478 9367552 266 33554432000 4194304 5064252 140736375673216 140736375672128 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19358/statm: 2287 266 226 213 0 72 0
[pid=19359] ppid=19358 vsize=900816 CPUtime=1290.08 cores=0,2,4,6
/proc/19359/stat : 19359 (glucose) R 19358 19341 19129 0 -1 4202496 117506 0 0 0 128961 47 0 0 20 0 1 0 278681478 922435584 195377 33554432000 4194304 5208918 140733886141904 140733886139992 4211670 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19359/statm: 225204 195377 105 248 0 224953 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 1576000
[startup+1662.3 s]
/proc/loadavg: 2.03 2.02 1.96 4/183 19401
/proc/meminfo: memFree=29117504/32873844 swapFree=6872/6872
[pid=19341] ppid=19339 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19341/stat : 19341 (npSolver-pbo.sh) S 19339 19341 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278650280 9367552 274 33554432000 4194304 5064252 140736498356432 140736498355344 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19341/statm: 2287 274 233 213 0 72 0
[pid=19342] ppid=19341 vsize=656888 CPUtime=311.9 cores=0,2,4,6
/proc/19342/stat : 19342 (npSolver-pbo) S 19341 19341 19129 0 -1 4202496 32293 76248 0 0 578 193 30381 38 20 0 1 0 278650280 672653312 107555 33554432000 4194304 5992684 140734345296576 140734345288896 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19342/statm: 164222 107555 183 440 0 163778 0
[pid=19358] ppid=19342 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19358/stat : 19358 (satsolver.sh) S 19342 19341 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278681478 9367552 266 33554432000 4194304 5064252 140736375673216 140736375672128 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19358/statm: 2287 266 226 213 0 72 0
[pid=19359] ppid=19358 vsize=900816 CPUtime=1350.07 cores=0,2,4,6
/proc/19359/stat : 19359 (glucose) R 19358 19341 19129 0 -1 4202496 117506 0 0 0 134960 47 0 0 20 0 1 0 278681478 922435584 195377 33554432000 4194304 5208918 140733886141904 140733886139992 4211792 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19359/statm: 225204 195377 105 248 0 224953 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 1576000
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 1.96 4/183 19401
/proc/meminfo: memFree=29104088/32873844 swapFree=6872/6872
[pid=19341] ppid=19339 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19341/stat : 19341 (npSolver-pbo.sh) S 19339 19341 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278650280 9367552 274 33554432000 4194304 5064252 140736498356432 140736498355344 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19341/statm: 2287 274 233 213 0 72 0
[pid=19342] ppid=19341 vsize=656888 CPUtime=311.9 cores=0,2,4,6
/proc/19342/stat : 19342 (npSolver-pbo) S 19341 19341 19129 0 -1 4202496 32293 76248 0 0 578 193 30381 38 20 0 1 0 278650280 672653312 107555 33554432000 4194304 5992684 140734345296576 140734345288896 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19342/statm: 164222 107555 183 440 0 163778 0
[pid=19358] ppid=19342 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19358/stat : 19358 (satsolver.sh) S 19342 19341 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278681478 9367552 266 33554432000 4194304 5064252 140736375673216 140736375672128 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19358/statm: 2287 266 226 213 0 72 0
[pid=19359] ppid=19358 vsize=900816 CPUtime=1410.07 cores=0,2,4,6
/proc/19359/stat : 19359 (glucose) R 19358 19341 19129 0 -1 4202496 117507 0 0 0 140960 47 0 0 20 0 1 0 278681478 922435584 195889 33554432000 4194304 5208918 140733886141904 140733886139992 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19359/statm: 225204 195889 105 248 0 224953 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 1576000
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/183 19453
/proc/meminfo: memFree=29807644/32873844 swapFree=6872/6872
[pid=19341] ppid=19339 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19341/stat : 19341 (npSolver-pbo.sh) S 19339 19341 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278650280 9367552 274 33554432000 4194304 5064252 140736498356432 140736498355344 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19341/statm: 2287 274 233 213 0 72 0
[pid=19342] ppid=19341 vsize=656888 CPUtime=311.9 cores=0,2,4,6
/proc/19342/stat : 19342 (npSolver-pbo) S 19341 19341 19129 0 -1 4202496 32293 76248 0 0 578 193 30381 38 20 0 1 0 278650280 672653312 107555 33554432000 4194304 5992684 140734345296576 140734345288896 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19342/statm: 164222 107555 183 440 0 163778 0
[pid=19358] ppid=19342 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19358/stat : 19358 (satsolver.sh) S 19342 19341 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278681478 9367552 266 33554432000 4194304 5064252 140736375673216 140736375672128 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19358/statm: 2287 266 226 213 0 72 0
[pid=19359] ppid=19358 vsize=900816 CPUtime=1470.05 cores=0,2,4,6
/proc/19359/stat : 19359 (glucose) R 19358 19341 19129 0 -1 4202496 117507 0 0 0 146958 47 0 0 20 0 1 0 278681478 922435584 195889 33554432000 4194304 5208918 140733886141904 140733886139992 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19359/statm: 225204 195889 105 248 0 224953 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 1576000
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.01 1.96 3/183 19453
/proc/meminfo: memFree=29779472/32873844 swapFree=6872/6872
[pid=19341] ppid=19339 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19341/stat : 19341 (npSolver-pbo.sh) S 19339 19341 19129 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278650280 9367552 274 33554432000 4194304 5064252 140736498356432 140736498355344 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19341/statm: 2287 274 233 213 0 72 0
[pid=19342] ppid=19341 vsize=656888 CPUtime=311.9 cores=0,2,4,6
/proc/19342/stat : 19342 (npSolver-pbo) S 19341 19341 19129 0 -1 4202496 32293 76248 0 0 578 193 30381 38 20 0 1 0 278650280 672653312 107555 33554432000 4194304 5992684 140734345296576 140734345288896 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/19342/statm: 164222 107555 183 440 0 163778 0
[pid=19358] ppid=19342 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19358/stat : 19358 (satsolver.sh) S 19342 19341 19129 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278681478 9367552 266 33554432000 4194304 5064252 140736375673216 140736375672128 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19358/statm: 2287 266 226 213 0 72 0
[pid=19359] ppid=19358 vsize=900816 CPUtime=1488.16 cores=0,2,4,6
/proc/19359/stat : 19359 (glucose) R 19358 19341 19129 0 -1 4202496 117507 0 0 0 148769 47 0 0 20 0 1 0 278681478 922435584 195889 33554432000 4194304 5208918 140733886141904 140733886139992 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/19359/statm: 225204 195889 105 248 0 224953 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1576000
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.42
CPU time (s): 1800.11
CPU user time (s): 1797.3
CPU system time (s): 2.80957
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 1919876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.3
system time used= 2.80957
maximum resident set size= 988900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 227039
page faults= 0
swaps= 0
block input operations= 0
block output operations= 845424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 696
involuntary context switches= 2042
runsolver used 5.60515 second user time and 16.7854 second system time
The end