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-3750377-1339116582/watcher-3750377-1339116582 -o /tmp/evaluation-result-3750377-1339116582/solver-3750377-1339116582 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750377-1339116582.opb 1100433604 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 25823
/proc/meminfo: memFree=30980316/32873852 swapFree=7632/7632
[pid=25823] ppid=25821 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25823/stat : 25823 (npSolver-pbo.sh) S 25821 25823 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377783703 9367552 275 33554432000 4194304 5064252 140734077187664 140734077186576 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25823/statm: 2287 275 233 213 0 72 0
[startup+0.029213 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 25823
/proc/meminfo: memFree=30980316/32873852 swapFree=7632/7632
[pid=25823] ppid=25821 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25823/stat : 25823 (npSolver-pbo.sh) S 25821 25823 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377783703 9367552 275 33554432000 4194304 5064252 140734077187664 140734077186576 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25823/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100311 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 25823
/proc/meminfo: memFree=30980316/32873852 swapFree=7632/7632
[pid=25823] ppid=25821 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25823/stat : 25823 (npSolver-pbo.sh) S 25821 25823 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377783703 9367552 275 33554432000 4194304 5064252 140734077187664 140734077186576 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25823/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300291 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 25823
/proc/meminfo: memFree=30980316/32873852 swapFree=7632/7632
[pid=25823] ppid=25821 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25823/stat : 25823 (npSolver-pbo.sh) S 25821 25823 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377783703 9367552 275 33554432000 4194304 5064252 140734077187664 140734077186576 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25823/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700289 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 25823
/proc/meminfo: memFree=30980316/32873852 swapFree=7632/7632
[pid=25823] ppid=25821 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25823/stat : 25823 (npSolver-pbo.sh) S 25821 25823 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377783703 9367552 275 33554432000 4194304 5064252 140734077187664 140734077186576 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25823/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50043 s]
/proc/loadavg: 2.00 2.00 1.98 3/181 25837
/proc/meminfo: memFree=30941272/32873852 swapFree=7632/7632
[pid=25823] ppid=25821 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25823/stat : 25823 (npSolver-pbo.sh) S 25821 25823 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377783703 9367552 275 33554432000 4194304 5064252 140734077187664 140734077186576 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25823/statm: 2287 275 233 213 0 72 0
[pid=25824] ppid=25823 vsize=11516 CPUtime=0.1 cores=1,3,5,7
/proc/25824/stat : 25824 (npSolver-pbo) S 25823 25823 22761 0 -1 4202496 3647 5964 0 0 6 2 1 1 20 0 1 0 377783703 11792384 2209 33554432000 4194304 6004724 140735965786080 140735965778432 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25824/statm: 2879 2209 171 442 0 2433 0
[pid=25836] ppid=25824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25836/stat : 25836 (satsolver.sh) S 25824 25823 22761 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377783716 9367552 267 33554432000 4194304 5064252 140737289932784 140737289931696 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25836/statm: 2287 267 226 213 0 72 0
[pid=25837] ppid=25836 vsize=32016 CPUtime=1.37 cores=1,3,5,7
/proc/25837/stat : 25837 (glucose) R 25836 25823 22761 0 -1 4202496 6329 0 0 0 136 1 0 0 20 0 1 0 377783716 32784384 7139 33554432000 4194304 5208918 140734959790848 140734959788680 4211584 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25837/statm: 8004 7139 103 248 0 7753 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 61828
[startup+3.10044 s]
/proc/loadavg: 2.00 2.00 1.98 3/181 25837
/proc/meminfo: memFree=30940776/32873852 swapFree=7632/7632
[pid=25823] ppid=25821 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25823/stat : 25823 (npSolver-pbo.sh) S 25821 25823 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377783703 9367552 275 33554432000 4194304 5064252 140734077187664 140734077186576 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25823/statm: 2287 275 233 213 0 72 0
[pid=25824] ppid=25823 vsize=11516 CPUtime=0.1 cores=1,3,5,7
/proc/25824/stat : 25824 (npSolver-pbo) S 25823 25823 22761 0 -1 4202496 3647 5964 0 0 6 2 1 1 20 0 1 0 377783703 11792384 2209 33554432000 4194304 6004724 140735965786080 140735965778432 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25824/statm: 2879 2209 171 442 0 2433 0
[pid=25836] ppid=25824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25836/stat : 25836 (satsolver.sh) S 25824 25823 22761 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377783716 9367552 267 33554432000 4194304 5064252 140737289932784 140737289931696 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25836/statm: 2287 267 226 213 0 72 0
[pid=25837] ppid=25836 vsize=32596 CPUtime=2.96 cores=1,3,5,7
/proc/25837/stat : 25837 (glucose) R 25836 25823 22761 0 -1 4202496 6486 0 0 0 295 1 0 0 20 0 1 0 377783716 33378304 7238 33554432000 4194304 5208918 140734959790848 140734959788936 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25837/statm: 8149 7238 104 248 0 7898 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 62408
[startup+6.30044 s]
/proc/loadavg: 2.00 2.00 1.98 3/181 25837
/proc/meminfo: memFree=30936992/32873852 swapFree=7632/7632
[pid=25823] ppid=25821 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25823/stat : 25823 (npSolver-pbo.sh) S 25821 25823 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377783703 9367552 275 33554432000 4194304 5064252 140734077187664 140734077186576 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25823/statm: 2287 275 233 213 0 72 0
[pid=25824] ppid=25823 vsize=11516 CPUtime=0.1 cores=1,3,5,7
/proc/25824/stat : 25824 (npSolver-pbo) S 25823 25823 22761 0 -1 4202496 3647 5964 0 0 6 2 1 1 20 0 1 0 377783703 11792384 2209 33554432000 4194304 6004724 140735965786080 140735965778432 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25824/statm: 2879 2209 171 442 0 2433 0
[pid=25836] ppid=25824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25836/stat : 25836 (satsolver.sh) S 25824 25823 22761 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377783716 9367552 267 33554432000 4194304 5064252 140737289932784 140737289931696 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25836/statm: 2287 267 226 213 0 72 0
[pid=25837] ppid=25836 vsize=35316 CPUtime=6.16 cores=1,3,5,7
/proc/25837/stat : 25837 (glucose) R 25836 25823 22761 0 -1 4202496 7073 0 0 0 615 1 0 0 20 0 1 0 377783716 36163584 7819 33554432000 4194304 5208918 140734959790848 140734959789000 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25837/statm: 8829 7819 105 248 0 8578 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 65128
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.98 3/181 25837
/proc/meminfo: memFree=30924288/32873852 swapFree=7632/7632
[pid=25823] ppid=25821 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25823/stat : 25823 (npSolver-pbo.sh) S 25821 25823 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377783703 9367552 275 33554432000 4194304 5064252 140734077187664 140734077186576 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25823/statm: 2287 275 233 213 0 72 0
[pid=25824] ppid=25823 vsize=11516 CPUtime=0.1 cores=1,3,5,7
/proc/25824/stat : 25824 (npSolver-pbo) S 25823 25823 22761 0 -1 4202496 3647 5964 0 0 6 2 1 1 20 0 1 0 377783703 11792384 2209 33554432000 4194304 6004724 140735965786080 140735965778432 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25824/statm: 2879 2209 171 442 0 2433 0
[pid=25836] ppid=25824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25836/stat : 25836 (satsolver.sh) S 25824 25823 22761 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377783716 9367552 267 33554432000 4194304 5064252 140737289932784 140737289931696 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25836/statm: 2287 267 226 213 0 72 0
[pid=25837] ppid=25836 vsize=43788 CPUtime=12.56 cores=1,3,5,7
/proc/25837/stat : 25837 (glucose) R 25836 25823 22761 0 -1 4202496 9163 0 0 0 1254 2 0 0 20 0 1 0 377783716 44838912 10120 33554432000 4194304 5208918 140734959790848 140734959788712 4229445 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25837/statm: 10947 10120 105 248 0 10696 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 73600
[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 1.98 3/182 25892
/proc/meminfo: memFree=31057656/32873852 swapFree=7632/7632
[pid=25823] ppid=25821 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25823/stat : 25823 (npSolver-pbo.sh) S 25821 25823 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377783703 9367552 275 33554432000 4194304 5064252 140734077187664 140734077186576 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25823/statm: 2287 275 233 213 0 72 0
[pid=25824] ppid=25823 vsize=11516 CPUtime=0.1 cores=1,3,5,7
/proc/25824/stat : 25824 (npSolver-pbo) S 25823 25823 22761 0 -1 4202496 3647 5964 0 0 6 2 1 1 20 0 1 0 377783703 11792384 2209 33554432000 4194304 6004724 140735965786080 140735965778432 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25824/statm: 2879 2209 171 442 0 2433 0
[pid=25836] ppid=25824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25836/stat : 25836 (satsolver.sh) S 25824 25823 22761 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377783716 9367552 267 33554432000 4194304 5064252 140737289932784 140737289931696 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25836/statm: 2287 267 226 213 0 72 0
[pid=25837] ppid=25836 vsize=48208 CPUtime=25.36 cores=1,3,5,7
/proc/25837/stat : 25837 (glucose) R 25836 25823 22761 0 -1 4202496 9873 0 0 0 2534 2 0 0 20 0 1 0 377783716 49364992 11240 33554432000 4194304 5208918 140734959790848 140734959788712 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25837/statm: 12052 11240 105 248 0 11801 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 78020
[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 1.98 3/182 25892
/proc/meminfo: memFree=31030236/32873852 swapFree=7632/7632
[pid=25823] ppid=25821 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25823/stat : 25823 (npSolver-pbo.sh) S 25821 25823 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377783703 9367552 275 33554432000 4194304 5064252 140734077187664 140734077186576 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25823/statm: 2287 275 233 213 0 72 0
[pid=25824] ppid=25823 vsize=11516 CPUtime=0.1 cores=1,3,5,7
/proc/25824/stat : 25824 (npSolver-pbo) S 25823 25823 22761 0 -1 4202496 3647 5964 0 0 6 2 1 1 20 0 1 0 377783703 11792384 2209 33554432000 4194304 6004724 140735965786080 140735965778432 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25824/statm: 2879 2209 171 442 0 2433 0
[pid=25836] ppid=25824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25836/stat : 25836 (satsolver.sh) S 25824 25823 22761 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377783716 9367552 267 33554432000 4194304 5064252 140737289932784 140737289931696 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25836/statm: 2287 267 226 213 0 72 0
[pid=25837] ppid=25836 vsize=62532 CPUtime=50.95 cores=1,3,5,7
/proc/25837/stat : 25837 (glucose) R 25836 25823 22761 0 -1 4202496 11763 0 0 0 5092 3 0 0 20 0 1 0 377783716 64032768 13524 33554432000 4194304 5208918 140734959790848 140734959788792 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25837/statm: 15633 13524 105 248 0 15382 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 92344
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.98 3/181 25892
/proc/meminfo: memFree=31008628/32873852 swapFree=7632/7632
[pid=25823] ppid=25821 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25823/stat : 25823 (npSolver-pbo.sh) S 25821 25823 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377783703 9367552 275 33554432000 4194304 5064252 140734077187664 140734077186576 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25823/statm: 2287 275 233 213 0 72 0
[pid=25824] ppid=25823 vsize=11516 CPUtime=0.1 cores=1,3,5,7
/proc/25824/stat : 25824 (npSolver-pbo) S 25823 25823 22761 0 -1 4202496 3647 5964 0 0 6 2 1 1 20 0 1 0 377783703 11792384 2209 33554432000 4194304 6004724 140735965786080 140735965778432 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25824/statm: 2879 2209 171 442 0 2433 0
[pid=25836] ppid=25824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25836/stat : 25836 (satsolver.sh) S 25824 25823 22761 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377783716 9367552 267 33554432000 4194304 5064252 140737289932784 140737289931696 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25836/statm: 2287 267 226 213 0 72 0
[pid=25837] ppid=25836 vsize=70408 CPUtime=102.15 cores=1,3,5,7
/proc/25837/stat : 25837 (glucose) R 25836 25823 22761 0 -1 4202496 13144 0 0 0 10210 5 0 0 20 0 1 0 377783716 72097792 16812 33554432000 4194304 5208918 140734959790848 140734959787224 4229757 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25837/statm: 17602 16812 105 248 0 17351 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 100220
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/181 25892
/proc/meminfo: memFree=30961892/32873852 swapFree=7632/7632
[pid=25823] ppid=25821 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25823/stat : 25823 (npSolver-pbo.sh) S 25821 25823 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377783703 9367552 275 33554432000 4194304 5064252 140734077187664 140734077186576 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25823/statm: 2287 275 233 213 0 72 0
[pid=25824] ppid=25823 vsize=11516 CPUtime=0.1 cores=1,3,5,7
/proc/25824/stat : 25824 (npSolver-pbo) S 25823 25823 22761 0 -1 4202496 3647 5964 0 0 6 2 1 1 20 0 1 0 377783703 11792384 2209 33554432000 4194304 6004724 140735965786080 140735965778432 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25824/statm: 2879 2209 171 442 0 2433 0
[pid=25836] ppid=25824 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/25837/stat : 25837 (glucose) R 25836 25823 22761 0 -1 4202496 21786 0 0 0 136166 28 0 0 20 0 1 0 377783716 205021184 37201 33554432000 4194304 5208918 140734959790848 140734959789000 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25837/statm: 50054 37201 105 248 0 49803 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 230028
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26126
/proc/meminfo: memFree=30807628/32873852 swapFree=7632/7632
[pid=25823] ppid=25821 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25823/stat : 25823 (npSolver-pbo.sh) S 25821 25823 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377783703 9367552 275 33554432000 4194304 5064252 140734077187664 140734077186576 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25823/statm: 2287 275 233 213 0 72 0
[pid=25824] ppid=25823 vsize=11516 CPUtime=0.1 cores=1,3,5,7
/proc/25824/stat : 25824 (npSolver-pbo) S 25823 25823 22761 0 -1 4202496 3647 5964 0 0 6 2 1 1 20 0 1 0 377783703 11792384 2209 33554432000 4194304 6004724 140735965786080 140735965778432 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25824/statm: 2879 2209 171 442 0 2433 0
[pid=25836] ppid=25824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25836/stat : 25836 (satsolver.sh) S 25824 25823 22761 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377783716 9367552 267 33554432000 4194304 5064252 140737289932784 140737289931696 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25836/statm: 2287 267 226 213 0 72 0
[pid=25837] ppid=25836 vsize=169396 CPUtime=1421.94 cores=1,3,5,7
/proc/25837/stat : 25837 (glucose) R 25836 25823 22761 0 -1 4202496 22013 0 0 0 142164 30 0 0 20 0 1 0 377783716 173461504 33080 33554432000 4194304 5208918 140734959790848 140734959788840 4228982 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25837/statm: 42349 33080 105 248 0 42098 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 199208
[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 26126
/proc/meminfo: memFree=30832796/32873852 swapFree=7632/7632
[pid=25823] ppid=25821 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25823/stat : 25823 (npSolver-pbo.sh) S 25821 25823 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377783703 9367552 275 33554432000 4194304 5064252 140734077187664 140734077186576 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25823/statm: 2287 275 233 213 0 72 0
[pid=25824] ppid=25823 vsize=11516 CPUtime=0.1 cores=1,3,5,7
/proc/25824/stat : 25824 (npSolver-pbo) S 25823 25823 22761 0 -1 4202496 3647 5964 0 0 6 2 1 1 20 0 1 0 377783703 11792384 2209 33554432000 4194304 6004724 140735965786080 140735965778432 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25824/statm: 2879 2209 171 442 0 2433 0
[pid=25836] ppid=25824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25836/stat : 25836 (satsolver.sh) S 25824 25823 22761 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377783716 9367552 267 33554432000 4194304 5064252 140737289932784 140737289931696 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25836/statm: 2287 267 226 213 0 72 0
[pid=25837] ppid=25836 vsize=169396 CPUtime=1481.93 cores=1,3,5,7
/proc/25837/stat : 25837 (glucose) R 25836 25823 22761 0 -1 4202496 22198 0 0 0 148162 31 0 0 20 0 1 0 377783716 173461504 34616 33554432000 4194304 5208918 140734959790848 140734959788840 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25837/statm: 42349 34616 105 248 0 42098 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 199208
[startup+1542.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/181 26127
/proc/meminfo: memFree=30819984/32873852 swapFree=7632/7632
[pid=25823] ppid=25821 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25823/stat : 25823 (npSolver-pbo.sh) S 25821 25823 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377783703 9367552 275 33554432000 4194304 5064252 140734077187664 140734077186576 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25823/statm: 2287 275 233 213 0 72 0
[pid=25824] ppid=25823 vsize=11516 CPUtime=0.1 cores=1,3,5,7
/proc/25824/stat : 25824 (npSolver-pbo) S 25823 25823 22761 0 -1 4202496 3647 5964 0 0 6 2 1 1 20 0 1 0 377783703 11792384 2209 33554432000 4194304 6004724 140735965786080 140735965778432 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25824/statm: 2879 2209 171 442 0 2433 0
[pid=25836] ppid=25824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25836/stat : 25836 (satsolver.sh) S 25824 25823 22761 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377783716 9367552 267 33554432000 4194304 5064252 140737289932784 140737289931696 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25836/statm: 2287 267 226 213 0 72 0
[pid=25837] ppid=25836 vsize=169396 CPUtime=1541.92 cores=1,3,5,7
/proc/25837/stat : 25837 (glucose) R 25836 25823 22761 0 -1 4202496 22965 0 0 0 154159 33 0 0 20 0 1 0 377783716 173461504 33592 33554432000 4194304 5208918 140734959790848 140734959788840 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25837/statm: 42349 33592 105 248 0 42098 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 199208
[startup+1602.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/181 26127
/proc/meminfo: memFree=30826576/32873852 swapFree=7632/7632
[pid=25823] ppid=25821 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25823/stat : 25823 (npSolver-pbo.sh) S 25821 25823 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377783703 9367552 275 33554432000 4194304 5064252 140734077187664 140734077186576 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25823/statm: 2287 275 233 213 0 72 0
[pid=25824] ppid=25823 vsize=11516 CPUtime=0.1 cores=1,3,5,7
/proc/25824/stat : 25824 (npSolver-pbo) S 25823 25823 22761 0 -1 4202496 3647 5964 0 0 6 2 1 1 20 0 1 0 377783703 11792384 2209 33554432000 4194304 6004724 140735965786080 140735965778432 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25824/statm: 2879 2209 171 442 0 2433 0
[pid=25836] ppid=25824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25836/stat : 25836 (satsolver.sh) S 25824 25823 22761 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377783716 9367552 267 33554432000 4194304 5064252 140737289932784 140737289931696 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25836/statm: 2287 267 226 213 0 72 0
[pid=25837] ppid=25836 vsize=169396 CPUtime=1601.91 cores=1,3,5,7
/proc/25837/stat : 25837 (glucose) R 25836 25823 22761 0 -1 4202496 23151 0 0 0 160157 34 0 0 20 0 1 0 377783716 173461504 35128 33554432000 4194304 5208918 140734959790848 140734959787160 4229374 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25837/statm: 42349 35128 105 248 0 42098 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 199208
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 26127
/proc/meminfo: memFree=30846532/32873852 swapFree=7632/7632
[pid=25823] ppid=25821 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25823/stat : 25823 (npSolver-pbo.sh) S 25821 25823 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377783703 9367552 275 33554432000 4194304 5064252 140734077187664 140734077186576 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25823/statm: 2287 275 233 213 0 72 0
[pid=25824] ppid=25823 vsize=11516 CPUtime=0.1 cores=1,3,5,7
/proc/25824/stat : 25824 (npSolver-pbo) S 25823 25823 22761 0 -1 4202496 3647 5964 0 0 6 2 1 1 20 0 1 0 377783703 11792384 2209 33554432000 4194304 6004724 140735965786080 140735965778432 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25824/statm: 2879 2209 171 442 0 2433 0
[pid=25836] ppid=25824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25836/stat : 25836 (satsolver.sh) S 25824 25823 22761 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377783716 9367552 267 33554432000 4194304 5064252 140737289932784 140737289931696 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25836/statm: 2287 267 226 213 0 72 0
[pid=25837] ppid=25836 vsize=181512 CPUtime=1661.9 cores=1,3,5,7
/proc/25837/stat : 25837 (glucose) R 25836 25823 22761 0 -1 4202496 24807 0 0 0 166153 37 0 0 20 0 1 0 377783716 185868288 40098 33554432000 4194304 5208918 140734959790848 140734959788840 4211584 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25837/statm: 45378 40098 105 248 0 45127 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 211324
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 26127
/proc/meminfo: memFree=30744220/32873852 swapFree=7632/7632
[pid=25823] ppid=25821 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25823/stat : 25823 (npSolver-pbo.sh) S 25821 25823 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377783703 9367552 275 33554432000 4194304 5064252 140734077187664 140734077186576 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25823/statm: 2287 275 233 213 0 72 0
[pid=25824] ppid=25823 vsize=11516 CPUtime=0.1 cores=1,3,5,7
/proc/25824/stat : 25824 (npSolver-pbo) S 25823 25823 22761 0 -1 4202496 3647 5964 0 0 6 2 1 1 20 0 1 0 377783703 11792384 2209 33554432000 4194304 6004724 140735965786080 140735965778432 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25824/statm: 2879 2209 171 442 0 2433 0
[pid=25836] ppid=25824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25836/stat : 25836 (satsolver.sh) S 25824 25823 22761 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377783716 9367552 267 33554432000 4194304 5064252 140737289932784 140737289931696 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25836/statm: 2287 267 226 213 0 72 0
[pid=25837] ppid=25836 vsize=212332 CPUtime=1721.88 cores=1,3,5,7
/proc/25837/stat : 25837 (glucose) R 25836 25823 22761 0 -1 4202496 25428 0 0 0 172150 38 0 0 20 0 1 0 377783716 217427968 49381 33554432000 4194304 5208918 140734959790848 140734959787224 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25837/statm: 53083 49381 105 248 0 52832 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 242144
[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/181 26127
/proc/meminfo: memFree=30779416/32873852 swapFree=7632/7632
[pid=25823] ppid=25821 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25823/stat : 25823 (npSolver-pbo.sh) S 25821 25823 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377783703 9367552 275 33554432000 4194304 5064252 140734077187664 140734077186576 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25823/statm: 2287 275 233 213 0 72 0
[pid=25824] ppid=25823 vsize=11516 CPUtime=0.1 cores=1,3,5,7
/proc/25824/stat : 25824 (npSolver-pbo) S 25823 25823 22761 0 -1 4202496 3647 5964 0 0 6 2 1 1 20 0 1 0 377783703 11792384 2209 33554432000 4194304 6004724 140735965786080 140735965778432 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25824/statm: 2879 2209 171 442 0 2433 0
[pid=25836] ppid=25824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25836/stat : 25836 (satsolver.sh) S 25824 25823 22761 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377783716 9367552 267 33554432000 4194304 5064252 140737289932784 140737289931696 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25836/statm: 2287 267 226 213 0 72 0
[pid=25837] ppid=25836 vsize=212332 CPUtime=1781.87 cores=1,3,5,7
/proc/25837/stat : 25837 (glucose) R 25836 25823 22761 0 -1 4202496 26197 0 0 0 178147 40 0 0 20 0 1 0 377783716 217427968 45285 33554432000 4194304 5208918 140734959790848 140734959789000 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25837/statm: 53083 45285 105 248 0 52832 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 242144
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.04 2.02 2.00 3/181 26127
/proc/meminfo: memFree=30756444/32873852 swapFree=7632/7632
[pid=25823] ppid=25821 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25823/stat : 25823 (npSolver-pbo.sh) S 25821 25823 22761 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377783703 9367552 275 33554432000 4194304 5064252 140734077187664 140734077186576 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25823/statm: 2287 275 233 213 0 72 0
[pid=25824] ppid=25823 vsize=11516 CPUtime=0.1 cores=1,3,5,7
/proc/25824/stat : 25824 (npSolver-pbo) S 25823 25823 22761 0 -1 4202496 3647 5964 0 0 6 2 1 1 20 0 1 0 377783703 11792384 2209 33554432000 4194304 6004724 140735965786080 140735965778432 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25824/statm: 2879 2209 171 442 0 2433 0
[pid=25836] ppid=25824 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25836/stat : 25836 (satsolver.sh) S 25824 25823 22761 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377783716 9367552 267 33554432000 4194304 5064252 140737289932784 140737289931696 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25836/statm: 2287 267 226 213 0 72 0
[pid=25837] ppid=25836 vsize=212332 CPUtime=1799.97 cores=1,3,5,7
/proc/25837/stat : 25837 (glucose) R 25836 25823 22761 0 -1 4202496 26202 0 0 0 179957 40 0 0 20 0 1 0 377783716 217427968 47845 33554432000 4194304 5208918 140734959790848 140734959789000 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25837/statm: 53083 47845 105 248 0 52832 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 242144
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 25823 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=88986
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=37994
# CPU time returned by wait4() is 0.12698
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.41
CPU time (s): 1800.07
CPU user time (s): 1799.64
CPU system time (s): 0.43
CPU usage (%): 99.9809
Max. virtual memory (cumulated for all children) (KiB): 242144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.088986
system time used= 0.037994
maximum resident set size= 30604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10587
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27
involuntary context switches= 18
runsolver used 3.63545 second user time and 9.8675 second system time
The end