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-3700876-1338126674/watcher-3700876-1338126674 -o /tmp/evaluation-result-3700876-1338126674/solver-3700876-1338126674 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3700876-1338126674.opb 1047539835 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.04 2.02 2.00 3/179 21467
/proc/meminfo: memFree=28478544/32873648 swapFree=7116/7116
[pid=21467] ppid=21465 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21467/stat : 21467 (npSolver-pbo.sh) S 21465 21467 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278794735 9367552 275 33554432000 4194304 5064252 140735257329824 140735257328736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21467/statm: 2287 275 233 213 0 72 0
[startup+0.059163 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 21467
/proc/meminfo: memFree=28478544/32873648 swapFree=7116/7116
[pid=21467] ppid=21465 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21467/stat : 21467 (npSolver-pbo.sh) S 21465 21467 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278794735 9367552 275 33554432000 4194304 5064252 140735257329824 140735257328736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21467/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100245 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 21467
/proc/meminfo: memFree=28478544/32873648 swapFree=7116/7116
[pid=21467] ppid=21465 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21467/stat : 21467 (npSolver-pbo.sh) S 21465 21467 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278794735 9367552 275 33554432000 4194304 5064252 140735257329824 140735257328736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21467/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300224 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 21467
/proc/meminfo: memFree=28478544/32873648 swapFree=7116/7116
[pid=21467] ppid=21465 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21467/stat : 21467 (npSolver-pbo.sh) S 21465 21467 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278794735 9367552 275 33554432000 4194304 5064252 140735257329824 140735257328736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21467/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700246 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 21467
/proc/meminfo: memFree=28478544/32873648 swapFree=7116/7116
[pid=21467] ppid=21465 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21467/stat : 21467 (npSolver-pbo.sh) S 21465 21467 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278794735 9367552 275 33554432000 4194304 5064252 140735257329824 140735257328736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21467/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 2.04 2.02 2.00 3/181 21469
/proc/meminfo: memFree=28388868/32873648 swapFree=7116/7116
[pid=21467] ppid=21465 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21467/stat : 21467 (npSolver-pbo.sh) S 21465 21467 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278794735 9367552 275 33554432000 4194304 5064252 140735257329824 140735257328736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21467/statm: 2287 275 233 213 0 72 0
[pid=21468] ppid=21467 vsize=179516 CPUtime=1.49 cores=1,3,5,7
/proc/21468/stat : 21468 (npSolver-pbo) R 21467 21467 21157 0 -1 4202496 15743 0 0 0 145 4 0 0 20 0 1 0 278794735 183824384 31109 33554432000 4194304 5992684 140735048940672 140735048935672 4569905 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21468/statm: 44879 31109 167 440 0 44435 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 188664
[startup+3.10033 s]
/proc/loadavg: 2.04 2.02 2.00 3/181 21469
/proc/meminfo: memFree=28190772/32873648 swapFree=7116/7116
[pid=21467] ppid=21465 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21467/stat : 21467 (npSolver-pbo.sh) S 21465 21467 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278794735 9367552 275 33554432000 4194304 5064252 140735257329824 140735257328736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21467/statm: 2287 275 233 213 0 72 0
[pid=21468] ppid=21467 vsize=179516 CPUtime=2.26 cores=1,3,5,7
/proc/21468/stat : 21468 (npSolver-pbo) S 21467 21467 21157 0 -1 4202496 16233 0 0 0 202 24 0 0 20 0 1 0 278794735 183824384 40844 33554432000 4194304 5992684 140735048940672 140735048934704 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21468/statm: 44879 40844 174 440 0 44435 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 188664
heavy processes:
[startup+6.30042 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 21471
/proc/meminfo: memFree=27750724/32873648 swapFree=7116/7116
[pid=21467] ppid=21465 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21467/stat : 21467 (npSolver-pbo.sh) S 21465 21467 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278794735 9367552 275 33554432000 4194304 5064252 140735257329824 140735257328736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21467/statm: 2287 275 233 213 0 72 0
[pid=21468] ppid=21467 vsize=179516 CPUtime=2.26 cores=1,3,5,7
/proc/21468/stat : 21468 (npSolver-pbo) S 21467 21467 21157 0 -1 4202496 16233 0 0 0 202 24 0 0 20 0 1 0 278794735 183824384 40844 33554432000 4194304 5992684 140735048940672 140735048934704 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21468/statm: 44879 40844 174 440 0 44435 0
[pid=21470] ppid=21468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21470/stat : 21470 (cp2_pre.sh) S 21468 21467 21157 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 278794962 9367552 277 33554432000 4194304 5064252 140733833494096 140733833492800 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21470/statm: 2287 277 234 213 0 72 0
[pid=21471] ppid=21470 vsize=516672 CPUtime=4.02 cores=1,3,5,7
/proc/21471/stat : 21471 (coprocessor) R 21470 21467 21157 0 -1 4202496 56986 0 0 0 386 16 0 0 20 0 1 0 278794962 529072128 123338 33554432000 4194304 6586260 140735759628096 140735759624424 4774583 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/21471/statm: 129168 123338 173 584 0 128580 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 714484
[startup+12.7004 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 21474
/proc/meminfo: memFree=28049344/32873648 swapFree=7116/7116
[pid=21467] ppid=21465 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21467/stat : 21467 (npSolver-pbo.sh) S 21465 21467 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278794735 9367552 275 33554432000 4194304 5064252 140735257329824 140735257328736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21467/statm: 2287 275 233 213 0 72 0
[pid=21468] ppid=21467 vsize=179516 CPUtime=10.44 cores=1,3,5,7
/proc/21468/stat : 21468 (npSolver-pbo) S 21467 21467 21157 0 -1 4202496 16241 68641 0 0 202 24 784 34 20 0 1 0 278794735 183824384 40844 33554432000 4194304 5992684 140735048940672 140735048935792 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21468/statm: 44879 40844 174 440 0 44435 0
[pid=21473] ppid=21468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21473/stat : 21473 (satsolver.sh) S 21468 21467 21157 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 278795785 9367552 267 33554432000 4194304 5064252 140734612579344 140734612578256 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21473/statm: 2287 267 226 213 0 72 0
[pid=21474] ppid=21473 vsize=235316 CPUtime=2.19 cores=1,3,5,7
/proc/21474/stat : 21474 (glucose) R 21473 21467 21157 0 -1 4202496 41821 0 0 0 211 8 0 0 20 0 1 0 278795785 240963584 53533 33554432000 4194304 5208918 140736511833872 140736511831544 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21474/statm: 58829 53533 103 248 0 58578 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 433128
[startup+25.5004 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 21474
/proc/meminfo: memFree=28048612/32873648 swapFree=7116/7116
[pid=21467] ppid=21465 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21467/stat : 21467 (npSolver-pbo.sh) S 21465 21467 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278794735 9367552 275 33554432000 4194304 5064252 140735257329824 140735257328736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21467/statm: 2287 275 233 213 0 72 0
[pid=21468] ppid=21467 vsize=179516 CPUtime=10.44 cores=1,3,5,7
/proc/21468/stat : 21468 (npSolver-pbo) S 21467 21467 21157 0 -1 4202496 16241 68641 0 0 202 24 784 34 20 0 1 0 278794735 183824384 40844 33554432000 4194304 5992684 140735048940672 140735048935792 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21468/statm: 44879 40844 174 440 0 44435 0
[pid=21473] ppid=21468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21473/stat : 21473 (satsolver.sh) S 21468 21467 21157 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 278795785 9367552 267 33554432000 4194304 5064252 140734612579344 140734612578256 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21473/statm: 2287 267 226 213 0 72 0
[pid=21474] ppid=21473 vsize=235316 CPUtime=14.99 cores=1,3,5,7
/proc/21474/stat : 21474 (glucose) R 21473 21467 21157 0 -1 4202496 41853 0 0 0 1491 8 0 0 20 0 1 0 278795785 240963584 53565 33554432000 4194304 5208918 140736511833872 140736511831544 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21474/statm: 58829 53565 103 248 0 58578 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 433128
[startup+51.1004 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 21516
/proc/meminfo: memFree=28811840/32873648 swapFree=7116/7116
[pid=21467] ppid=21465 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21467/stat : 21467 (npSolver-pbo.sh) S 21465 21467 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278794735 9367552 275 33554432000 4194304 5064252 140735257329824 140735257328736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21467/statm: 2287 275 233 213 0 72 0
[pid=21468] ppid=21467 vsize=179516 CPUtime=10.44 cores=1,3,5,7
/proc/21468/stat : 21468 (npSolver-pbo) S 21467 21467 21157 0 -1 4202496 16241 68641 0 0 202 24 784 34 20 0 1 0 278794735 183824384 40844 33554432000 4194304 5992684 140735048940672 140735048935792 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21468/statm: 44879 40844 174 440 0 44435 0
[pid=21473] ppid=21468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21473/stat : 21473 (satsolver.sh) S 21468 21467 21157 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 278795785 9367552 267 33554432000 4194304 5064252 140734612579344 140734612578256 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21473/statm: 2287 267 226 213 0 72 0
[pid=21474] ppid=21473 vsize=235712 CPUtime=40.59 cores=1,3,5,7
/proc/21474/stat : 21474 (glucose) R 21473 21467 21157 0 -1 4202496 41922 0 0 0 4051 8 0 0 20 0 1 0 278795785 241369088 53634 33554432000 4194304 5208918 140736511833872 140736511831768 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21474/statm: 58928 53634 103 248 0 58677 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 433524
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 21519
/proc/meminfo: memFree=28722788/32873648 swapFree=7116/7116
[pid=21467] ppid=21465 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21467/stat : 21467 (npSolver-pbo.sh) S 21465 21467 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278794735 9367552 275 33554432000 4194304 5064252 140735257329824 140735257328736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21467/statm: 2287 275 233 213 0 72 0
[pid=21468] ppid=21467 vsize=179516 CPUtime=10.44 cores=1,3,5,7
/proc/21468/stat : 21468 (npSolver-pbo) S 21467 21467 21157 0 -1 4202496 16241 68641 0 0 202 24 784 34 20 0 1 0 278794735 183824384 40844 33554432000 4194304 5992684 140735048940672 140735048935792 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21468/statm: 44879 40844 174 440 0 44435 0
[pid=21473] ppid=21468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21473/stat : 21473 (satsolver.sh) S 21468 21467 21157 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 278795785 9367552 267 33554432000 4194304 5064252 140734612579344 140734612578256 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21473/statm: 2287 267 226 213 0 72 0
[pid=21474] ppid=21473 vsize=236240 CPUtime=91.78 cores=1,3,5,7
/proc/21474/stat : 21474 (glucose) R 21473 21467 21157 0 -1 4202496 42079 0 0 0 9170 8 0 0 20 0 1 0 278795785 241909760 53791 33554432000 4194304 5208918 140736511833872 140736511831768 4211656 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21474/statm: 59060 53791 103 248 0 58809 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 434052
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21519
/proc/meminfo: memFree=28714096/32873648 swapFree=7116/7116
[pid=21467] ppid=21465 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21467/stat : 21467 (npSolver-pbo.sh) S 21465 21467 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278794735 9367552 275 33554432000 4194304 5064252 140735257329824 140735257328736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21467/statm: 2287 275 233 213 0 72 0
[pid=21468] ppid=21467 vsize=179516 CPUtime=10.44 cores=1,3,5,7
/proc/21468/stat : 21468 (npSolver-pbo) S 21467 21467 21157 0 -1 4202496 16241 68641 0 0 202 24 784 34 20 0 1 0 278794735 183824384 40844 33554432000 4194304 5992684 140735048940672 140735048935792 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21468/statm: 44879 40844 174 440 0 44435 0
[pid=21473] ppid=21468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21473/stat : 21473 (satsolver.sh) S 21468 21467 21157 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 278795785 9367552 267 33554432000 4194304 5064252 140734612579344 140734612578256 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21473/statm: 2287 267 226 213 0 72 0
[pid=21474] ppid=21473 vsize=243232 CPUtime=151.77 cores=1,3,5,7
/proc/21474/stat : 21474 (glucose) R 21473 21467 21157 0 -1 4202496 42921 0 0 0 15169 8 0 0 20 0 1 0 278795785 249069568 55144 33554432000 4194304 5208918 140736511833872 140736511831704 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21474/statm: 60808 55144 104 248 0 60557 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 441044
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21519
/proc/meminfo: memFree=28702160/32873648 swapFree=7116/7116
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 21566
/proc/meminfo: memFree=27387044/32873648 swapFree=7116/7116
[pid=21467] ppid=21465 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21467/stat : 21467 (npSolver-pbo.sh) S 21465 21467 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278794735 9367552 275 33554432000 4194304 5064252 140735257329824 140735257328736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21467/statm: 2287 275 233 213 0 72 0
[pid=21468] ppid=21467 vsize=344540 CPUtime=915.42 cores=1,3,5,7
/proc/21468/stat : 21468 (npSolver-pbo) S 21467 21467 21157 0 -1 4202496 30925 125165 0 0 445 335 90702 60 20 0 1 0 278794735 352808960 81554 33554432000 4194304 5992684 140735048940672 140735048932992 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 55 0 0
/proc/21468/statm: 86135 81554 183 440 0 85691 0
[pid=21561] ppid=21468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21561/stat : 21561 (satsolver.sh) S 21468 21467 21157 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278886354 9367552 266 33554432000 4194304 5064252 140735649844208 140735649843120 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21561/statm: 2287 266 226 213 0 72 0
[pid=21562] ppid=21561 vsize=555932 CPUtime=446 cores=1,3,5,7
/proc/21562/stat : 21562 (glucose) R 21561 21467 21157 0 -1 4202496 85458 0 0 0 44575 25 0 0 20 0 1 0 278886354 569274368 125698 33554432000 4194304 5208918 140736413520272 140736413516648 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21562/statm: 138983 125698 105 248 0 138732 0
Current children cumulated CPU time (s) 1361.42
Current children cumulated vsize (KiB) 918768
[startup+1422.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 21566
/proc/meminfo: memFree=27369248/32873648 swapFree=7116/7116
[pid=21467] ppid=21465 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21467/stat : 21467 (npSolver-pbo.sh) S 21465 21467 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278794735 9367552 275 33554432000 4194304 5064252 140735257329824 140735257328736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21467/statm: 2287 275 233 213 0 72 0
[pid=21468] ppid=21467 vsize=344540 CPUtime=915.42 cores=1,3,5,7
/proc/21468/stat : 21468 (npSolver-pbo) S 21467 21467 21157 0 -1 4202496 30925 125165 0 0 445 335 90702 60 20 0 1 0 278794735 352808960 81554 33554432000 4194304 5992684 140735048940672 140735048932992 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 55 0 0
/proc/21468/statm: 86135 81554 183 440 0 85691 0
[pid=21561] ppid=21468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21561/stat : 21561 (satsolver.sh) S 21468 21467 21157 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278886354 9367552 266 33554432000 4194304 5064252 140735649844208 140735649843120 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21561/statm: 2287 266 226 213 0 72 0
[pid=21562] ppid=21561 vsize=560140 CPUtime=505.99 cores=1,3,5,7
/proc/21562/stat : 21562 (glucose) R 21561 21467 21157 0 -1 4202496 85876 0 0 0 50574 25 0 0 20 0 1 0 278886354 573583360 128160 33554432000 4194304 5208918 140736413520272 140736413516056 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21562/statm: 140035 128160 105 248 0 139784 0
Current children cumulated CPU time (s) 1421.41
Current children cumulated vsize (KiB) 922976
[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 21566
/proc/meminfo: memFree=27358032/32873648 swapFree=7116/7116
[pid=21467] ppid=21465 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21467/stat : 21467 (npSolver-pbo.sh) S 21465 21467 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278794735 9367552 275 33554432000 4194304 5064252 140735257329824 140735257328736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21467/statm: 2287 275 233 213 0 72 0
[pid=21468] ppid=21467 vsize=344540 CPUtime=915.42 cores=1,3,5,7
/proc/21468/stat : 21468 (npSolver-pbo) S 21467 21467 21157 0 -1 4202496 30925 125165 0 0 445 335 90702 60 20 0 1 0 278794735 352808960 81554 33554432000 4194304 5992684 140735048940672 140735048932992 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 55 0 0
/proc/21468/statm: 86135 81554 183 440 0 85691 0
[pid=21561] ppid=21468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21561/stat : 21561 (satsolver.sh) S 21468 21467 21157 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278886354 9367552 266 33554432000 4194304 5064252 140735649844208 140735649843120 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21561/statm: 2287 266 226 213 0 72 0
[pid=21562] ppid=21561 vsize=560140 CPUtime=565.98 cores=1,3,5,7
/proc/21562/stat : 21562 (glucose) R 21561 21467 21157 0 -1 4202496 86086 0 0 0 56573 25 0 0 20 0 1 0 278886354 573583360 129903 33554432000 4194304 5208918 140736413520272 140736413516648 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21562/statm: 140035 129903 105 248 0 139784 0
Current children cumulated CPU time (s) 1481.4
Current children cumulated vsize (KiB) 922976
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 21567
/proc/meminfo: memFree=27401176/32873648 swapFree=7116/7116
[pid=21467] ppid=21465 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21467/stat : 21467 (npSolver-pbo.sh) S 21465 21467 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278794735 9367552 275 33554432000 4194304 5064252 140735257329824 140735257328736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21467/statm: 2287 275 233 213 0 72 0
[pid=21468] ppid=21467 vsize=344540 CPUtime=915.42 cores=1,3,5,7
/proc/21468/stat : 21468 (npSolver-pbo) S 21467 21467 21157 0 -1 4202496 30925 125165 0 0 445 335 90702 60 20 0 1 0 278794735 352808960 81554 33554432000 4194304 5992684 140735048940672 140735048932992 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 55 0 0
/proc/21468/statm: 86135 81554 183 440 0 85691 0
[pid=21561] ppid=21468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21561/stat : 21561 (satsolver.sh) S 21468 21467 21157 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278886354 9367552 266 33554432000 4194304 5064252 140735649844208 140735649843120 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21561/statm: 2287 266 226 213 0 72 0
[pid=21562] ppid=21561 vsize=564364 CPUtime=625.97 cores=1,3,5,7
/proc/21562/stat : 21562 (glucose) R 21561 21467 21157 0 -1 4202496 86826 0 0 0 62570 27 0 0 20 0 1 0 278886354 577908736 125457 33554432000 4194304 5208918 140736413520272 140736413516648 4229328 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21562/statm: 141091 125457 105 248 0 140840 0
Current children cumulated CPU time (s) 1541.39
Current children cumulated vsize (KiB) 927200
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 21567
/proc/meminfo: memFree=27388280/32873648 swapFree=7116/7116
[pid=21467] ppid=21465 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21467/stat : 21467 (npSolver-pbo.sh) S 21465 21467 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278794735 9367552 275 33554432000 4194304 5064252 140735257329824 140735257328736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21467/statm: 2287 275 233 213 0 72 0
[pid=21468] ppid=21467 vsize=344540 CPUtime=915.42 cores=1,3,5,7
/proc/21468/stat : 21468 (npSolver-pbo) S 21467 21467 21157 0 -1 4202496 30925 125165 0 0 445 335 90702 60 20 0 1 0 278794735 352808960 81554 33554432000 4194304 5992684 140735048940672 140735048932992 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 55 0 0
/proc/21468/statm: 86135 81554 183 440 0 85691 0
[pid=21561] ppid=21468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21561/stat : 21561 (satsolver.sh) S 21468 21467 21157 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278886354 9367552 266 33554432000 4194304 5064252 140735649844208 140735649843120 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21561/statm: 2287 266 226 213 0 72 0
[pid=21562] ppid=21561 vsize=564364 CPUtime=685.96 cores=1,3,5,7
/proc/21562/stat : 21562 (glucose) R 21561 21467 21157 0 -1 4202496 87005 0 0 0 68569 27 0 0 20 0 1 0 278886354 577908736 127680 33554432000 4194304 5208918 140736413520272 140736413516648 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21562/statm: 141091 127680 105 248 0 140840 0
Current children cumulated CPU time (s) 1601.38
Current children cumulated vsize (KiB) 927200
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21567
/proc/meminfo: memFree=27381528/32873648 swapFree=7116/7116
[pid=21467] ppid=21465 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21467/stat : 21467 (npSolver-pbo.sh) S 21465 21467 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278794735 9367552 275 33554432000 4194304 5064252 140735257329824 140735257328736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21467/statm: 2287 275 233 213 0 72 0
[pid=21468] ppid=21467 vsize=344540 CPUtime=915.42 cores=1,3,5,7
/proc/21468/stat : 21468 (npSolver-pbo) S 21467 21467 21157 0 -1 4202496 30925 125165 0 0 445 335 90702 60 20 0 1 0 278794735 352808960 81554 33554432000 4194304 5992684 140735048940672 140735048932992 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 55 0 0
/proc/21468/statm: 86135 81554 183 440 0 85691 0
[pid=21561] ppid=21468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21561/stat : 21561 (satsolver.sh) S 21468 21467 21157 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278886354 9367552 266 33554432000 4194304 5064252 140735649844208 140735649843120 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21561/statm: 2287 266 226 213 0 72 0
[pid=21562] ppid=21561 vsize=564364 CPUtime=745.95 cores=1,3,5,7
/proc/21562/stat : 21562 (glucose) R 21561 21467 21157 0 -1 4202496 87167 0 0 0 74568 27 0 0 20 0 1 0 278886354 577908736 129375 33554432000 4194304 5208918 140736413520272 140736413516648 4229023 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21562/statm: 141091 129375 105 248 0 140840 0
Current children cumulated CPU time (s) 1661.37
Current children cumulated vsize (KiB) 927200
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 21567
/proc/meminfo: memFree=27381528/32873648 swapFree=7116/7116
[pid=21467] ppid=21465 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21467/stat : 21467 (npSolver-pbo.sh) S 21465 21467 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278794735 9367552 275 33554432000 4194304 5064252 140735257329824 140735257328736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21467/statm: 2287 275 233 213 0 72 0
[pid=21468] ppid=21467 vsize=344540 CPUtime=915.42 cores=1,3,5,7
/proc/21468/stat : 21468 (npSolver-pbo) S 21467 21467 21157 0 -1 4202496 30925 125165 0 0 445 335 90702 60 20 0 1 0 278794735 352808960 81554 33554432000 4194304 5992684 140735048940672 140735048932992 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 55 0 0
/proc/21468/statm: 86135 81554 183 440 0 85691 0
[pid=21561] ppid=21468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21561/stat : 21561 (satsolver.sh) S 21468 21467 21157 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278886354 9367552 266 33554432000 4194304 5064252 140735649844208 140735649843120 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21561/statm: 2287 266 226 213 0 72 0
[pid=21562] ppid=21561 vsize=564364 CPUtime=805.94 cores=1,3,5,7
/proc/21562/stat : 21562 (glucose) R 21561 21467 21157 0 -1 4202496 87167 0 0 0 80567 27 0 0 20 0 1 0 278886354 577908736 129375 33554432000 4194304 5208918 140736413520272 140736413516648 4229251 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21562/statm: 141091 129375 105 248 0 140840 0
Current children cumulated CPU time (s) 1721.36
Current children cumulated vsize (KiB) 927200
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 21570
/proc/meminfo: memFree=27376636/32873648 swapFree=7116/7116
[pid=21467] ppid=21465 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21467/stat : 21467 (npSolver-pbo.sh) S 21465 21467 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278794735 9367552 275 33554432000 4194304 5064252 140735257329824 140735257328736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21467/statm: 2287 275 233 213 0 72 0
[pid=21468] ppid=21467 vsize=344540 CPUtime=915.42 cores=1,3,5,7
/proc/21468/stat : 21468 (npSolver-pbo) S 21467 21467 21157 0 -1 4202496 30925 125165 0 0 445 335 90702 60 20 0 1 0 278794735 352808960 81554 33554432000 4194304 5992684 140735048940672 140735048932992 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 55 0 0
/proc/21468/statm: 86135 81554 183 440 0 85691 0
[pid=21561] ppid=21468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21561/stat : 21561 (satsolver.sh) S 21468 21467 21157 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278886354 9367552 266 33554432000 4194304 5064252 140735649844208 140735649843120 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21561/statm: 2287 266 226 213 0 72 0
[pid=21562] ppid=21561 vsize=564364 CPUtime=865.94 cores=1,3,5,7
/proc/21562/stat : 21562 (glucose) R 21561 21467 21157 0 -1 4202496 87167 0 0 0 86567 27 0 0 20 0 1 0 278886354 577908736 129375 33554432000 4194304 5208918 140736413520272 140736413516648 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21562/statm: 141091 129375 105 248 0 140840 0
Current children cumulated CPU time (s) 1781.36
Current children cumulated vsize (KiB) 927200
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801 s]
/proc/loadavg: 2.00 2.00 2.00 4/183 21570
/proc/meminfo: memFree=27372548/32873648 swapFree=7116/7116
[pid=21467] ppid=21465 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21467/stat : 21467 (npSolver-pbo.sh) S 21465 21467 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278794735 9367552 275 33554432000 4194304 5064252 140735257329824 140735257328736 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21467/statm: 2287 275 233 213 0 72 0
[pid=21468] ppid=21467 vsize=344540 CPUtime=915.42 cores=1,3,5,7
/proc/21468/stat : 21468 (npSolver-pbo) S 21467 21467 21157 0 -1 4202496 30925 125165 0 0 445 335 90702 60 20 0 1 0 278794735 352808960 81554 33554432000 4194304 5992684 140735048940672 140735048932992 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 55 0 0
/proc/21468/statm: 86135 81554 183 440 0 85691 0
[pid=21561] ppid=21468 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21561/stat : 21561 (satsolver.sh) S 21468 21467 21157 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278886354 9367552 266 33554432000 4194304 5064252 140735649844208 140735649843120 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21561/statm: 2287 266 226 213 0 72 0
[pid=21562] ppid=21561 vsize=564364 CPUtime=884.64 cores=1,3,5,7
/proc/21562/stat : 21562 (glucose) R 21561 21467 21157 0 -1 4202496 87171 0 0 0 88437 27 0 0 20 0 1 0 278886354 577908736 130401 33554432000 4194304 5208918 140736413520272 140736413516648 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21562/statm: 141091 130401 105 248 0 140840 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 927200
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1801.02
CPU time (s): 1800.11
CPU user time (s): 1795.86
CPU system time (s): 4.25035
CPU usage (%): 99.9491
Max. virtual memory (cumulated for all children) (KiB): 1103456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.86
system time used= 4.25035
maximum resident set size= 611228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 244252
page faults= 0
swaps= 0
block input operations= 0
block output operations= 786296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1358
involuntary context switches= 1891
runsolver used 3.20051 second user time and 8.36473 second system time
The end