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-3700819-1338090364/watcher-3700819-1338090364 -o /tmp/evaluation-result-3700819-1338090364/solver-3700819-1338090364 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3700819-1338090364.opb 249828549 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: 2.00 2.00 1.91 2/179 16803
/proc/meminfo: memFree=28623448/32873844 swapFree=7612/7612
[pid=16803] ppid=16801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16803/stat : 16803 (npSolver-pbo.sh) S 16801 16803 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275160787 9367552 275 33554432000 4194304 5064252 140735324456688 140735324455600 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16803/statm: 2287 275 233 213 0 72 0
[startup+0.0499611 s]
/proc/loadavg: 2.00 2.00 1.91 2/179 16803
/proc/meminfo: memFree=28623448/32873844 swapFree=7612/7612
[pid=16803] ppid=16801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16803/stat : 16803 (npSolver-pbo.sh) S 16801 16803 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275160787 9367552 275 33554432000 4194304 5064252 140735324456688 140735324455600 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16803/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10027 s]
/proc/loadavg: 2.00 2.00 1.91 2/179 16803
/proc/meminfo: memFree=28623448/32873844 swapFree=7612/7612
[pid=16803] ppid=16801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16803/stat : 16803 (npSolver-pbo.sh) S 16801 16803 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275160787 9367552 275 33554432000 4194304 5064252 140735324456688 140735324455600 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16803/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300256 s]
/proc/loadavg: 2.00 2.00 1.91 2/179 16803
/proc/meminfo: memFree=28623448/32873844 swapFree=7612/7612
[pid=16803] ppid=16801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16803/stat : 16803 (npSolver-pbo.sh) S 16801 16803 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275160787 9367552 275 33554432000 4194304 5064252 140735324456688 140735324455600 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16803/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700305 s]
/proc/loadavg: 2.00 2.00 1.91 2/179 16803
/proc/meminfo: memFree=28623448/32873844 swapFree=7612/7612
[pid=16803] ppid=16801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16803/stat : 16803 (npSolver-pbo.sh) S 16801 16803 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275160787 9367552 275 33554432000 4194304 5064252 140735324456688 140735324455600 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16803/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50032 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 16865
/proc/meminfo: memFree=29010536/32873844 swapFree=7612/7612
[pid=16803] ppid=16801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16803/stat : 16803 (npSolver-pbo.sh) S 16801 16803 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275160787 9367552 275 33554432000 4194304 5064252 140735324456688 140735324455600 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16803/statm: 2287 275 233 213 0 72 0
[pid=16804] ppid=16803 vsize=76228 CPUtime=1.28 cores=0,2,4,6
/proc/16804/stat : 16804 (npSolver-pbo) S 16803 16803 16531 0 -1 4202496 6713 7874 0 0 92 13 21 2 20 0 1 0 275160787 78057472 15378 33554432000 4194304 5992684 140734056588272 140734056580592 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16804/statm: 19057 15378 181 440 0 18613 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 85376
[startup+3.10041 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 16869
/proc/meminfo: memFree=28657544/32873844 swapFree=7612/7612
[pid=16803] ppid=16801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16803/stat : 16803 (npSolver-pbo.sh) S 16801 16803 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275160787 9367552 275 33554432000 4194304 5064252 140735324456688 140735324455600 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16803/statm: 2287 275 233 213 0 72 0
[pid=16804] ppid=16803 vsize=76228 CPUtime=1.28 cores=0,2,4,6
/proc/16804/stat : 16804 (npSolver-pbo) S 16803 16803 16531 0 -1 4202496 6713 7874 0 0 92 13 21 2 20 0 1 0 275160787 78057472 15378 33554432000 4194304 5992684 140734056588272 140734056580592 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16804/statm: 19057 15378 181 440 0 18613 0
[pid=16866] ppid=16804 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16866/stat : 16866 (satsolver.sh) S 16804 16803 16531 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275160917 9367552 267 33554432000 4194304 5064252 140733418466800 140733418465712 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16866/statm: 2287 267 226 213 0 72 0
[pid=16867] ppid=16866 vsize=141036 CPUtime=1.79 cores=0,2,4,6
/proc/16867/stat : 16867 (glucose) R 16866 16803 16531 0 -1 4202496 27034 0 0 0 172 7 0 0 20 0 1 0 275160917 144420864 30746 33554432000 4194304 5208918 140735245331632 140735245329464 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16867/statm: 35259 30746 104 248 0 35008 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 235560
[startup+6.30041 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 16869
/proc/meminfo: memFree=28586012/32873844 swapFree=7612/7612
[pid=16803] ppid=16801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16803/stat : 16803 (npSolver-pbo.sh) S 16801 16803 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275160787 9367552 275 33554432000 4194304 5064252 140735324456688 140735324455600 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16803/statm: 2287 275 233 213 0 72 0
[pid=16804] ppid=16803 vsize=76228 CPUtime=1.28 cores=0,2,4,6
/proc/16804/stat : 16804 (npSolver-pbo) S 16803 16803 16531 0 -1 4202496 6713 7874 0 0 92 13 21 2 20 0 1 0 275160787 78057472 15378 33554432000 4194304 5992684 140734056588272 140734056580592 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16804/statm: 19057 15378 181 440 0 18613 0
[pid=16866] ppid=16804 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16866/stat : 16866 (satsolver.sh) S 16804 16803 16531 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275160917 9367552 267 33554432000 4194304 5064252 140733418466800 140733418465712 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16866/statm: 2287 267 226 213 0 72 0
[pid=16867] ppid=16866 vsize=142136 CPUtime=4.99 cores=0,2,4,6
/proc/16867/stat : 16867 (glucose) R 16866 16803 16531 0 -1 4202496 27434 0 0 0 492 7 0 0 20 0 1 0 275160917 145547264 31146 33554432000 4194304 5208918 140735245331632 140735245329464 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16867/statm: 35534 31146 104 248 0 35283 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 236660
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 16869
/proc/meminfo: memFree=28589596/32873844 swapFree=7612/7612
[pid=16803] ppid=16801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16803/stat : 16803 (npSolver-pbo.sh) S 16801 16803 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275160787 9367552 275 33554432000 4194304 5064252 140735324456688 140735324455600 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16803/statm: 2287 275 233 213 0 72 0
[pid=16804] ppid=16803 vsize=76228 CPUtime=1.28 cores=0,2,4,6
/proc/16804/stat : 16804 (npSolver-pbo) S 16803 16803 16531 0 -1 4202496 6713 7874 0 0 92 13 21 2 20 0 1 0 275160787 78057472 15378 33554432000 4194304 5992684 140734056588272 140734056580592 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16804/statm: 19057 15378 181 440 0 18613 0
[pid=16866] ppid=16804 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16866/stat : 16866 (satsolver.sh) S 16804 16803 16531 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275160917 9367552 267 33554432000 4194304 5064252 140733418466800 140733418465712 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16866/statm: 2287 267 226 213 0 72 0
[pid=16867] ppid=16866 vsize=143196 CPUtime=11.39 cores=0,2,4,6
/proc/16867/stat : 16867 (glucose) R 16866 16803 16531 0 -1 4202496 27816 0 0 0 1132 7 0 0 20 0 1 0 275160917 146632704 32039 33554432000 4194304 5208918 140735245331632 140735245329464 4211147 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16867/statm: 35799 32039 104 248 0 35548 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 237720
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 16869
/proc/meminfo: memFree=28572700/32873844 swapFree=7612/7612
[pid=16803] ppid=16801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16803/stat : 16803 (npSolver-pbo.sh) S 16801 16803 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275160787 9367552 275 33554432000 4194304 5064252 140735324456688 140735324455600 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16803/statm: 2287 275 233 213 0 72 0
[pid=16804] ppid=16803 vsize=76228 CPUtime=1.28 cores=0,2,4,6
/proc/16804/stat : 16804 (npSolver-pbo) S 16803 16803 16531 0 -1 4202496 6713 7874 0 0 92 13 21 2 20 0 1 0 275160787 78057472 15378 33554432000 4194304 5992684 140734056588272 140734056580592 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16804/statm: 19057 15378 181 440 0 18613 0
[pid=16866] ppid=16804 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16866/stat : 16866 (satsolver.sh) S 16804 16803 16531 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275160917 9367552 267 33554432000 4194304 5064252 140733418466800 140733418465712 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16866/statm: 2287 267 226 213 0 72 0
[pid=16867] ppid=16866 vsize=146284 CPUtime=24.18 cores=0,2,4,6
/proc/16867/stat : 16867 (glucose) R 16866 16803 16531 0 -1 4202496 28447 0 0 0 2411 7 0 0 20 0 1 0 275160917 149794816 33692 33554432000 4194304 5208918 140735245331632 140735245328008 4205761 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16867/statm: 36571 33692 104 248 0 36320 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 240808
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 16869
/proc/meminfo: memFree=28566124/32873844 swapFree=7612/7612
[pid=16803] ppid=16801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16803/stat : 16803 (npSolver-pbo.sh) S 16801 16803 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275160787 9367552 275 33554432000 4194304 5064252 140735324456688 140735324455600 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16803/statm: 2287 275 233 213 0 72 0
[pid=16804] ppid=16803 vsize=76228 CPUtime=1.28 cores=0,2,4,6
/proc/16804/stat : 16804 (npSolver-pbo) S 16803 16803 16531 0 -1 4202496 6713 7874 0 0 92 13 21 2 20 0 1 0 275160787 78057472 15378 33554432000 4194304 5992684 140734056588272 140734056580592 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16804/statm: 19057 15378 181 440 0 18613 0
[pid=16866] ppid=16804 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16866/stat : 16866 (satsolver.sh) S 16804 16803 16531 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275160917 9367552 267 33554432000 4194304 5064252 140733418466800 140733418465712 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16866/statm: 2287 267 226 213 0 72 0
[pid=16867] ppid=16866 vsize=148760 CPUtime=49.78 cores=0,2,4,6
/proc/16867/stat : 16867 (glucose) R 16866 16803 16531 0 -1 4202496 29626 0 0 0 4970 8 0 0 20 0 1 0 275160917 152330240 34500 33554432000 4194304 5208918 140735245331632 140735245327336 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16867/statm: 37190 34500 104 248 0 36939 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 243284
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 16870
/proc/meminfo: memFree=28544284/32873844 swapFree=7612/7612
[pid=16803] ppid=16801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16803/stat : 16803 (npSolver-pbo.sh) S 16801 16803 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275160787 9367552 275 33554432000 4194304 5064252 140735324456688 140735324455600 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16803/statm: 2287 275 233 213 0 72 0
[pid=16804] ppid=16803 vsize=76228 CPUtime=1.28 cores=0,2,4,6
/proc/16804/stat : 16804 (npSolver-pbo) S 16803 16803 16531 0 -1 4202496 6713 7874 0 0 92 13 21 2 20 0 1 0 275160787 78057472 15378 33554432000 4194304 5992684 140734056588272 140734056580592 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16804/statm: 19057 15378 181 440 0 18613 0
[pid=16866] ppid=16804 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16866/stat : 16866 (satsolver.sh) S 16804 16803 16531 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275160917 9367552 267 33554432000 4194304 5064252 140733418466800 140733418465712 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16866/statm: 2287 267 226 213 0 72 0
[pid=16867] ppid=16866 vsize=156056 CPUtime=100.96 cores=0,2,4,6
/proc/16867/stat : 16867 (glucose) R 16866 16803 16531 0 -1 4202496 33709 0 0 0 10084 12 0 0 20 0 1 0 275160917 159801344 36296 33554432000 4194304 5208918 140735245331632 140735245329720 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16867/statm: 39014 36296 104 248 0 38763 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 250580
[startup+162.3 s]
/proc/loadavg: 2.03 2.01 1.91 3/183 16870
/proc/meminfo: memFree=28510508/32873844 swapFree=7612/7612
[pid=16803] ppid=16801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16803/stat : 16803 (npSolver-pbo.sh) S 16801 16803 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275160787 9367552 275 33554432000 4194304 5064252 140735324456688 140735324455600 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16803/statm: 2287 275 233 213 0 72 0
[pid=16804] ppid=16803 vsize=76228 CPUtime=1.28 cores=0,2,4,6
/proc/16804/stat : 16804 (npSolver-pbo) S 16803 16803 16531 0 -1 4202496 6713 7874 0 0 92 13 21 2 20 0 1 0 275160787 78057472 15378 33554432000 4194304 5992684 140734056588272 140734056580592 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16804/statm: 19057 15378 181 440 0 18613 0
[pid=16866] ppid=16804 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16866/stat : 16866 (satsolver.sh) S 16804 16803 16531 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275160917 9367552 267 33554432000 4194304 5064252 140733418466800 140733418465712 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16866/statm: 2287 267 226 213 0 72 0
[pid=16867] ppid=16866 vsize=182464 CPUtime=160.92 cores=0,2,4,6
/proc/16867/stat : 16867 (glucose) R 16866 16803 16531 0 -1 4202496 39129 0 0 0 16073 19 0 0 20 0 1 0 275160917 186843136 40398 33554432000 4194304 5208918 140735245331632 140735245328008 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16867/statm: 45616 40398 104 248 0 45365 0
Current children cumulated CPU time (s) 162.2
################
# More data... #
################
/proc/16867/stat : 16867 (glucose) R 16866 16803 16531 0 -1 4202496 101427 0 0 0 141928 140 0 0 20 0 1 0 275160917 346185728 71619 33554432000 4194304 5208918 140735245331632 140735245329480 4212757 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16867/statm: 84518 71619 104 248 0 84267 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 432596
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/184 16906
/proc/meminfo: memFree=28183596/32873844 swapFree=7612/7612
[pid=16803] ppid=16801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16803/stat : 16803 (npSolver-pbo.sh) S 16801 16803 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275160787 9367552 275 33554432000 4194304 5064252 140735324456688 140735324455600 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16803/statm: 2287 275 233 213 0 72 0
[pid=16804] ppid=16803 vsize=76228 CPUtime=1.28 cores=0,2,4,6
/proc/16804/stat : 16804 (npSolver-pbo) S 16803 16803 16531 0 -1 4202496 6713 7874 0 0 92 13 21 2 20 0 1 0 275160787 78057472 15378 33554432000 4194304 5992684 140734056588272 140734056580592 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16804/statm: 19057 15378 181 440 0 18613 0
[pid=16866] ppid=16804 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16866/stat : 16866 (satsolver.sh) S 16804 16803 16531 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275160917 9367552 267 33554432000 4194304 5064252 140733418466800 140733418465712 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16866/statm: 2287 267 226 213 0 72 0
[pid=16867] ppid=16866 vsize=339992 CPUtime=1480.66 cores=0,2,4,6
/proc/16867/stat : 16867 (glucose) R 16866 16803 16531 0 -1 4202496 102585 0 0 0 147922 144 0 0 20 0 1 0 275160917 348151808 76668 33554432000 4194304 5208918 140735245331632 140735245328008 4212322 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16867/statm: 84998 76668 104 248 0 84747 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 434516
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/183 16906
/proc/meminfo: memFree=28253484/32873844 swapFree=7612/7612
[pid=16803] ppid=16801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16803/stat : 16803 (npSolver-pbo.sh) S 16801 16803 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275160787 9367552 275 33554432000 4194304 5064252 140735324456688 140735324455600 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16803/statm: 2287 275 233 213 0 72 0
[pid=16804] ppid=16803 vsize=76228 CPUtime=1.28 cores=0,2,4,6
/proc/16804/stat : 16804 (npSolver-pbo) S 16803 16803 16531 0 -1 4202496 6713 7874 0 0 92 13 21 2 20 0 1 0 275160787 78057472 15378 33554432000 4194304 5992684 140734056588272 140734056580592 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16804/statm: 19057 15378 181 440 0 18613 0
[pid=16866] ppid=16804 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16866/stat : 16866 (satsolver.sh) S 16804 16803 16531 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275160917 9367552 267 33554432000 4194304 5064252 140733418466800 140733418465712 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16866/statm: 2287 267 226 213 0 72 0
[pid=16867] ppid=16866 vsize=292404 CPUtime=1540.62 cores=0,2,4,6
/proc/16867/stat : 16867 (glucose) R 16866 16803 16531 0 -1 4202496 104260 0 0 0 153913 149 0 0 20 0 1 0 275160917 299421696 67757 33554432000 4194304 5208918 140735245331632 140735245329720 4205227 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16867/statm: 73101 67757 104 248 0 72850 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 386928
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/183 16906
/proc/meminfo: memFree=28201388/32873844 swapFree=7612/7612
[pid=16803] ppid=16801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16803/stat : 16803 (npSolver-pbo.sh) S 16801 16803 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275160787 9367552 275 33554432000 4194304 5064252 140735324456688 140735324455600 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16803/statm: 2287 275 233 213 0 72 0
[pid=16804] ppid=16803 vsize=76228 CPUtime=1.28 cores=0,2,4,6
/proc/16804/stat : 16804 (npSolver-pbo) S 16803 16803 16531 0 -1 4202496 6713 7874 0 0 92 13 21 2 20 0 1 0 275160787 78057472 15378 33554432000 4194304 5992684 140734056588272 140734056580592 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16804/statm: 19057 15378 181 440 0 18613 0
[pid=16866] ppid=16804 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16866/stat : 16866 (satsolver.sh) S 16804 16803 16531 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275160917 9367552 267 33554432000 4194304 5064252 140733418466800 140733418465712 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16866/statm: 2287 267 226 213 0 72 0
[pid=16867] ppid=16866 vsize=345248 CPUtime=1600.62 cores=0,2,4,6
/proc/16867/stat : 16867 (glucose) R 16866 16803 16531 0 -1 4202496 105951 0 0 0 159907 155 0 0 20 0 1 0 275160917 353533952 74356 33554432000 4194304 5208918 140735245331632 140735245329480 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16867/statm: 86312 74356 104 248 0 86061 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 439772
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/183 16907
/proc/meminfo: memFree=28213388/32873844 swapFree=7612/7612
[pid=16803] ppid=16801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16803/stat : 16803 (npSolver-pbo.sh) S 16801 16803 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275160787 9367552 275 33554432000 4194304 5064252 140735324456688 140735324455600 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16803/statm: 2287 275 233 213 0 72 0
[pid=16804] ppid=16803 vsize=76228 CPUtime=1.28 cores=0,2,4,6
/proc/16804/stat : 16804 (npSolver-pbo) S 16803 16803 16531 0 -1 4202496 6713 7874 0 0 92 13 21 2 20 0 1 0 275160787 78057472 15378 33554432000 4194304 5992684 140734056588272 140734056580592 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16804/statm: 19057 15378 181 440 0 18613 0
[pid=16866] ppid=16804 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16866/stat : 16866 (satsolver.sh) S 16804 16803 16531 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275160917 9367552 267 33554432000 4194304 5064252 140733418466800 140733418465712 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16866/statm: 2287 267 226 213 0 72 0
[pid=16867] ppid=16866 vsize=347332 CPUtime=1660.61 cores=0,2,4,6
/proc/16867/stat : 16867 (glucose) R 16866 16803 16531 0 -1 4202496 107340 0 0 0 165902 159 0 0 20 0 1 0 275160917 355667968 79968 33554432000 4194304 5208918 140735245331632 140735245329480 4229757 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16867/statm: 86833 79968 104 248 0 86582 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 441856
[startup+1722.3 s]
/proc/loadavg: 2.06 2.01 1.93 3/183 16907
/proc/meminfo: memFree=28179248/32873844 swapFree=7612/7612
[pid=16803] ppid=16801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16803/stat : 16803 (npSolver-pbo.sh) S 16801 16803 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275160787 9367552 275 33554432000 4194304 5064252 140735324456688 140735324455600 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16803/statm: 2287 275 233 213 0 72 0
[pid=16804] ppid=16803 vsize=76228 CPUtime=1.28 cores=0,2,4,6
/proc/16804/stat : 16804 (npSolver-pbo) S 16803 16803 16531 0 -1 4202496 6713 7874 0 0 92 13 21 2 20 0 1 0 275160787 78057472 15378 33554432000 4194304 5992684 140734056588272 140734056580592 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16804/statm: 19057 15378 181 440 0 18613 0
[pid=16866] ppid=16804 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16866/stat : 16866 (satsolver.sh) S 16804 16803 16531 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275160917 9367552 267 33554432000 4194304 5064252 140733418466800 140733418465712 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16866/statm: 2287 267 226 213 0 72 0
[pid=16867] ppid=16866 vsize=349644 CPUtime=1720.6 cores=0,2,4,6
/proc/16867/stat : 16867 (glucose) R 16866 16803 16531 0 -1 4202496 108996 0 0 0 171897 163 0 0 20 0 1 0 275160917 358035456 84116 33554432000 4194304 5208918 140735245331632 140735245328008 4229528 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16867/statm: 87411 84116 104 248 0 87160 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 444168
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/183 16907
/proc/meminfo: memFree=28201924/32873844 swapFree=7612/7612
[pid=16803] ppid=16801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16803/stat : 16803 (npSolver-pbo.sh) S 16801 16803 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275160787 9367552 275 33554432000 4194304 5064252 140735324456688 140735324455600 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16803/statm: 2287 275 233 213 0 72 0
[pid=16804] ppid=16803 vsize=76228 CPUtime=1.28 cores=0,2,4,6
/proc/16804/stat : 16804 (npSolver-pbo) S 16803 16803 16531 0 -1 4202496 6713 7874 0 0 92 13 21 2 20 0 1 0 275160787 78057472 15378 33554432000 4194304 5992684 140734056588272 140734056580592 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16804/statm: 19057 15378 181 440 0 18613 0
[pid=16866] ppid=16804 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16866/stat : 16866 (satsolver.sh) S 16804 16803 16531 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275160917 9367552 267 33554432000 4194304 5064252 140733418466800 140733418465712 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16866/statm: 2287 267 226 213 0 72 0
[pid=16867] ppid=16866 vsize=301044 CPUtime=1780.58 cores=0,2,4,6
/proc/16867/stat : 16867 (glucose) R 16866 16803 16531 0 -1 4202496 111179 0 0 0 177889 169 0 0 20 0 1 0 275160917 308269056 73063 33554432000 4194304 5208918 140735245331632 140735245328008 4212476 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16867/statm: 75261 73063 104 248 0 75010 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 395568
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.01 2.01 1.93 3/183 16907
/proc/meminfo: memFree=28152928/32873844 swapFree=7612/7612
[pid=16803] ppid=16801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16803/stat : 16803 (npSolver-pbo.sh) S 16801 16803 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275160787 9367552 275 33554432000 4194304 5064252 140735324456688 140735324455600 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16803/statm: 2287 275 233 213 0 72 0
[pid=16804] ppid=16803 vsize=76228 CPUtime=1.28 cores=0,2,4,6
/proc/16804/stat : 16804 (npSolver-pbo) S 16803 16803 16531 0 -1 4202496 6713 7874 0 0 92 13 21 2 20 0 1 0 275160787 78057472 15378 33554432000 4194304 5992684 140734056588272 140734056580592 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16804/statm: 19057 15378 181 440 0 18613 0
[pid=16866] ppid=16804 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16866/stat : 16866 (satsolver.sh) S 16804 16803 16531 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275160917 9367552 267 33554432000 4194304 5064252 140733418466800 140733418465712 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16866/statm: 2287 267 226 213 0 72 0
[pid=16867] ppid=16866 vsize=351396 CPUtime=1798.78 cores=0,2,4,6
/proc/16867/stat : 16867 (glucose) R 16866 16803 16531 0 -1 4202496 111555 0 0 0 179708 170 0 0 20 0 1 0 275160917 359829504 79052 33554432000 4194304 5208918 140735245331632 140735245327400 4211027 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16867/statm: 87849 79052 104 248 0 87598 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 445920
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.01 2.01 1.93 3/183 16907
/proc/meminfo: memFree=28152928/32873844 swapFree=7612/7612
[pid=16803] ppid=16801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16803/stat : 16803 (npSolver-pbo.sh) S 16801 16803 16531 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275160787 9367552 275 33554432000 4194304 5064252 140735324456688 140735324455600 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16803/statm: 2287 275 233 213 0 72 0
[pid=16804] ppid=16803 vsize=76228 CPUtime=1.28 cores=0,2,4,6
/proc/16804/stat : 16804 (npSolver-pbo) S 16803 16803 16531 0 -1 4202496 6713 7874 0 0 92 13 21 2 20 0 1 0 275160787 78057472 15378 33554432000 4194304 5992684 140734056588272 140734056580592 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16804/statm: 19057 15378 181 440 0 18613 0
[pid=16866] ppid=16804 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16866/stat : 16866 (satsolver.sh) S 16804 16803 16531 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275160917 9367552 267 33554432000 4194304 5064252 140733418466800 140733418465712 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16866/statm: 2287 267 226 213 0 72 0
[pid=16867] ppid=16866 vsize=351396 CPUtime=1798.78 cores=0,2,4,6
/proc/16867/stat : 16867 (glucose) R 16866 16803 16531 0 -1 4202496 111555 0 0 0 179708 170 0 0 20 0 1 0 275160917 359829504 79052 33554432000 4194304 5208918 140735245331632 140735245327400 4211027 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16867/statm: 87849 79052 104 248 0 87598 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 445920
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16803 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=141826
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=163975
# CPU time returned by wait4() is 1.3058
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.51
CPU time (s): 1800.06
CPU user time (s): 1798.21
CPU system time (s): 1.85
CPU usage (%): 99.9748
Max. virtual memory (cumulated for all children) (KiB): 607184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.14183
system time used= 0.163975
maximum resident set size= 113124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15564
page faults= 0
swaps= 0
block input operations= 0
block output operations= 107192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32
involuntary context switches= 34
runsolver used 2.53961 second user time and 7.29489 second system time
The end