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-3694697-1338049510/watcher-3694697-1338049510 -o /tmp/evaluation-result-3694697-1338049510/solver-3694697-1338049510 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3694697-1338049510.opb 197066279 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.11 1.93 1.94 3/179 4698
/proc/meminfo: memFree=27945008/32873844 swapFree=7356/7356
[pid=4698] ppid=4696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4698/stat : 4698 (runPb2satCp2.sh) S 4696 4698 1047 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271079546 9367552 275 33554432000 4194304 5064252 140734864668256 140734864667168 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4698/statm: 2287 275 233 213 0 72 0
[startup+0.0339639 s]
/proc/loadavg: 2.11 1.93 1.94 3/179 4698
/proc/meminfo: memFree=27945008/32873844 swapFree=7356/7356
[pid=4698] ppid=4696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4698/stat : 4698 (runPb2satCp2.sh) S 4696 4698 1047 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271079546 9367552 275 33554432000 4194304 5064252 140734864668256 140734864667168 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4698/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100248 s]
/proc/loadavg: 2.11 1.93 1.94 3/179 4698
/proc/meminfo: memFree=27945008/32873844 swapFree=7356/7356
[pid=4698] ppid=4696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4698/stat : 4698 (runPb2satCp2.sh) S 4696 4698 1047 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271079546 9367552 275 33554432000 4194304 5064252 140734864668256 140734864667168 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4698/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30022 s]
/proc/loadavg: 2.11 1.93 1.94 3/179 4698
/proc/meminfo: memFree=27945008/32873844 swapFree=7356/7356
[pid=4698] ppid=4696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4698/stat : 4698 (runPb2satCp2.sh) S 4696 4698 1047 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271079546 9367552 275 33554432000 4194304 5064252 140734864668256 140734864667168 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4698/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700304 s]
/proc/loadavg: 2.11 1.93 1.94 3/179 4698
/proc/meminfo: memFree=27945008/32873844 swapFree=7356/7356
[pid=4698] ppid=4696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4698/stat : 4698 (runPb2satCp2.sh) S 4696 4698 1047 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271079546 9367552 275 33554432000 4194304 5064252 140734864668256 140734864667168 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4698/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50025 s]
/proc/loadavg: 2.11 1.93 1.94 3/183 4708
/proc/meminfo: memFree=28034144/32873844 swapFree=7356/7356
[pid=4698] ppid=4696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4698/stat : 4698 (runPb2satCp2.sh) S 4696 4698 1047 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271079546 9367552 275 33554432000 4194304 5064252 140734864668256 140734864667168 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4698/statm: 2287 275 233 213 0 72 0
[pid=4699] ppid=4698 vsize=23112 CPUtime=1.13 cores=1,3,5,7
/proc/4699/stat : 4699 (pb2sat) S 4698 4698 1047 0 -1 4202496 6920 10924 0 0 20 14 76 3 20 0 1 0 271079547 23666688 4734 33554432000 4194304 5873084 140733524800688 140733524794504 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 11 0 0
/proc/4699/statm: 5778 4734 183 410 0 5360 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 32260
[startup+3.10041 s]
/proc/loadavg: 2.26 1.96 1.95 3/183 4711
/proc/meminfo: memFree=27903740/32873844 swapFree=7356/7356
[pid=4698] ppid=4696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4698/stat : 4698 (runPb2satCp2.sh) S 4696 4698 1047 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271079546 9367552 275 33554432000 4194304 5064252 140734864668256 140734864667168 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4698/statm: 2287 275 233 213 0 72 0
[pid=4699] ppid=4698 vsize=23112 CPUtime=1.13 cores=1,3,5,7
/proc/4699/stat : 4699 (pb2sat) S 4698 4698 1047 0 -1 4202496 6920 10924 0 0 20 14 76 3 20 0 1 0 271079547 23666688 4734 33554432000 4194304 5873084 140733524800688 140733524794504 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 11 0 0
/proc/4699/statm: 5778 4734 183 410 0 5360 0
[pid=4710] ppid=4699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4710/stat : 4710 (satsolver.sh) S 4699 4698 1047 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271079673 9367552 267 33554432000 4194304 5064252 140734787786448 140734787785360 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4710/statm: 2287 267 226 213 0 72 0
[pid=4711] ppid=4710 vsize=25804 CPUtime=1.03 cores=1,3,5,7
/proc/4711/stat : 4711 (glucose_static) R 4710 4698 1047 0 -1 4202496 6609 0 0 0 102 1 0 0 20 0 1 0 271079673 26423296 5778 33554432000 4194304 4896791 140733740583056 140733740580264 4224960 0 0 4096 0 0 0 0 17 5 0 0 80 0 0
/proc/4711/statm: 6451 5778 78 172 0 6277 0
Current children cumulated CPU time (s) 2.16
Current children cumulated vsize (KiB) 67212
heavy processes:
[startup+6.30044 s]
/proc/loadavg: 2.26 1.96 1.95 3/183 4720
/proc/meminfo: memFree=27892432/32873844 swapFree=7356/7356
[pid=4698] ppid=4696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4698/stat : 4698 (runPb2satCp2.sh) S 4696 4698 1047 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271079546 9367552 275 33554432000 4194304 5064252 140734864668256 140734864667168 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4698/statm: 2287 275 233 213 0 72 0
[pid=4699] ppid=4698 vsize=23112 CPUtime=4.28 cores=1,3,5,7
/proc/4699/stat : 4699 (pb2sat) S 4698 4698 1047 0 -1 4202496 12096 26056 0 0 35 16 370 7 20 0 1 0 271079547 23666688 4734 33554432000 4194304 5873084 140733524800688 140733524794504 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 11 0 0
/proc/4699/statm: 5778 4734 183 410 0 5360 0
[pid=4719] ppid=4699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4719/stat : 4719 (satsolver.sh) S 4699 4698 1047 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 271080069 9367552 266 33554432000 4194304 5064252 140735525564208 140735525563120 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4719/statm: 2287 266 226 213 0 72 0
[pid=4720] ppid=4719 vsize=25748 CPUtime=1.06 cores=1,3,5,7
/proc/4720/stat : 4720 (glucose_static) R 4719 4698 1047 0 -1 4202496 6748 0 0 0 105 1 0 0 20 0 1 0 271080069 26365952 5959 33554432000 4194304 4896791 140733975126384 140733975123896 4224706 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4720/statm: 6437 5959 78 172 0 6263 0
Current children cumulated CPU time (s) 5.34
Current children cumulated vsize (KiB) 67156
[startup+12.7005 s]
/proc/loadavg: 2.44 2.01 1.96 3/183 4732
/proc/meminfo: memFree=28134268/32873844 swapFree=7356/7356
[pid=4698] ppid=4696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4698/stat : 4698 (runPb2satCp2.sh) S 4696 4698 1047 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271079546 9367552 275 33554432000 4194304 5064252 140734864668256 140734864667168 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4698/statm: 2287 275 233 213 0 72 0
[pid=4699] ppid=4698 vsize=23112 CPUtime=6.21 cores=1,3,5,7
/proc/4699/stat : 4699 (pb2sat) S 4698 4698 1047 0 -1 4202496 17256 42078 0 0 51 17 541 12 20 0 1 0 271079547 23666688 4734 33554432000 4194304 5873084 140733524800688 140733524794504 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 11 0 0
/proc/4699/statm: 5778 4734 183 410 0 5360 0
[pid=4728] ppid=4699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4728/stat : 4728 (satsolver.sh) S 4699 4698 1047 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271080325 9367552 266 33554432000 4194304 5064252 140733660062480 140733660061392 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4728/statm: 2287 266 226 213 0 72 0
[pid=4729] ppid=4728 vsize=31332 CPUtime=4.91 cores=1,3,5,7
/proc/4729/stat : 4729 (glucose_static) R 4728 4698 1047 0 -1 4202496 8085 0 0 0 489 2 0 0 20 0 1 0 271080325 32083968 7017 33554432000 4194304 4896791 140736071759328 140736071756856 4203856 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4729/statm: 7833 7017 78 172 0 7659 0
Current children cumulated CPU time (s) 11.12
Current children cumulated vsize (KiB) 72740
[startup+25.5005 s]
/proc/loadavg: 2.45 2.03 1.97 3/183 4735
/proc/meminfo: memFree=27880460/32873844 swapFree=7356/7356
[pid=4698] ppid=4696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4698/stat : 4698 (runPb2satCp2.sh) S 4696 4698 1047 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271079546 9367552 275 33554432000 4194304 5064252 140734864668256 140734864667168 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4698/statm: 2287 275 233 213 0 72 0
[pid=4699] ppid=4698 vsize=23112 CPUtime=6.21 cores=1,3,5,7
/proc/4699/stat : 4699 (pb2sat) S 4698 4698 1047 0 -1 4202496 17256 42078 0 0 51 17 541 12 20 0 1 0 271079547 23666688 4734 33554432000 4194304 5873084 140733524800688 140733524794504 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 11 0 0
/proc/4699/statm: 5778 4734 183 410 0 5360 0
[pid=4728] ppid=4699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4728/stat : 4728 (satsolver.sh) S 4699 4698 1047 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271080325 9367552 266 33554432000 4194304 5064252 140733660062480 140733660061392 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4728/statm: 2287 266 226 213 0 72 0
[pid=4729] ppid=4728 vsize=40304 CPUtime=17.7 cores=1,3,5,7
/proc/4729/stat : 4729 (glucose_static) R 4728 4698 1047 0 -1 4202496 11414 0 0 0 1766 4 0 0 20 0 1 0 271080325 41271296 9090 33554432000 4194304 4896791 140736071759328 140736071756728 4225445 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4729/statm: 10076 9090 78 172 0 9902 0
Current children cumulated CPU time (s) 23.91
Current children cumulated vsize (KiB) 81712
[startup+51.1004 s]
/proc/loadavg: 2.30 2.02 1.97 3/183 4744
/proc/meminfo: memFree=27886724/32873844 swapFree=7356/7356
[pid=4698] ppid=4696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4698/stat : 4698 (runPb2satCp2.sh) S 4696 4698 1047 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271079546 9367552 275 33554432000 4194304 5064252 140734864668256 140734864667168 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4698/statm: 2287 275 233 213 0 72 0
[pid=4699] ppid=4698 vsize=23112 CPUtime=26.73 cores=1,3,5,7
/proc/4699/stat : 4699 (pb2sat) S 4698 4698 1047 0 -1 4202496 19849 54994 0 0 59 18 2578 18 20 0 1 0 271079547 23666688 4734 33554432000 4194304 5873084 140733524800688 140733524794504 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 11 0 0
/proc/4699/statm: 5778 4734 183 410 0 5360 0
[pid=4740] ppid=4699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4740/stat : 4740 (satsolver.sh) S 4699 4698 1047 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 271082378 9367552 266 33554432000 4194304 5064252 140733662457584 140733662456496 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4740/statm: 2287 266 226 213 0 72 0
[pid=4741] ppid=4740 vsize=31668 CPUtime=22.77 cores=1,3,5,7
/proc/4741/stat : 4741 (glucose_static) R 4740 4698 1047 0 -1 4202496 7906 0 0 0 2273 4 0 0 20 0 1 0 271082378 32428032 7233 33554432000 4194304 4896791 140737039638976 140737039636184 4204566 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4741/statm: 7917 7233 78 172 0 7743 0
Current children cumulated CPU time (s) 49.5
Current children cumulated vsize (KiB) 73076
[startup+102.307 s]
/proc/loadavg: 2.28 2.06 1.98 3/183 4762
/proc/meminfo: memFree=27882332/32873844 swapFree=7356/7356
[pid=4698] ppid=4696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4698/stat : 4698 (runPb2satCp2.sh) S 4696 4698 1047 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271079546 9367552 275 33554432000 4194304 5064252 140734864668256 140734864667168 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4698/statm: 2287 275 233 213 0 72 0
[pid=4699] ppid=4698 vsize=23112 CPUtime=84.04 cores=1,3,5,7
/proc/4699/stat : 4699 (pb2sat) S 4698 4698 1047 0 -1 4202496 25024 82412 0 0 75 19 8281 29 20 0 1 0 271079547 23666688 4734 33554432000 4194304 5873084 140733524800688 140733524794504 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 11 0 0
/proc/4699/statm: 5778 4734 183 410 0 5360 0
[pid=4755] ppid=4699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4755/stat : 4755 (satsolver.sh) S 4699 4698 1047 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271088111 9367552 267 33554432000 4194304 5064252 140734203258528 140734203257440 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4755/statm: 2287 267 226 213 0 72 0
[pid=4756] ppid=4755 vsize=39460 CPUtime=16.64 cores=1,3,5,7
/proc/4756/stat : 4756 (glucose_static) R 4755 4698 1047 0 -1 4202496 9741 0 0 0 1660 4 0 0 20 0 1 0 271088112 40407040 8917 33554432000 4194304 4896791 140733420387984 140733420385304 4224913 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4756/statm: 9865 8917 78 172 0 9691 0
Current children cumulated CPU time (s) 100.68
Current children cumulated vsize (KiB) 80868
[startup+162.3 s]
/proc/loadavg: 2.11 2.05 1.98 3/183 4789
/proc/meminfo: memFree=27894184/32873844 swapFree=7356/7356
[pid=4698] ppid=4696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4698/stat : 4698 (runPb2satCp2.sh) S 4696 4698 1047 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271079546 9367552 275 33554432000 4194304 5064252 140734864668256 140734864667168 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4698/statm: 2287 275 233 213 0 72 0
[pid=4699] ppid=4698 vsize=23112 CPUtime=150.68 cores=1,3,5,7
/proc/4699/stat : 4699 (pb2sat) S 4698 4698 1047 0 -1 4202496 27605 103722 0 0 82 20 14926 40 20 0 1 0 271079547 23666688 4734 33554432000 4194304 5873084 140733524800688 140733524794504 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 11 0 0
/proc/4699/statm: 5778 4734 183 410 0 5360 0
[pid=4788] ppid=4699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4788/stat : 4788 (satsolver.sh) S 4699 4698 1047 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271094777 9367552 267 33554432000 4194304 5064252 140734490899952 140734490898864 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4788/statm: 2287 267 226 213 0 72 0
[pid=4789] ppid=4788 vsize=31776 CPUtime=9.98 cores=1,3,5,7
/proc/4789/stat : 4789 (glucose_static) R 4788 4698 1047 0 -1 4202496 9939 0 0 0 996 2 0 0 20 0 1 0 271094777 32538624 7316 33554432000 4194304 4896791 140734757823744 140734757821256 4203936 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4789/statm: 7944 7316 78 172 0 7770 0
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 4963
/proc/meminfo: memFree=27770716/32873844 swapFree=7356/7356
[pid=4698] ppid=4696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4698/stat : 4698 (runPb2satCp2.sh) S 4696 4698 1047 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271079546 9367552 275 33554432000 4194304 5064252 140734864668256 140734864667168 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4698/statm: 2287 275 233 213 0 72 0
[pid=4699] ppid=4698 vsize=23112 CPUtime=443.82 cores=1,3,5,7
/proc/4699/stat : 4699 (pb2sat) S 4698 4698 1047 0 -1 4202496 35336 179304 0 0 104 22 44177 79 20 0 1 0 271079547 23666688 4734 33554432000 4194304 5873084 140733524800688 140733524794504 5124602 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 11 0 0
/proc/4699/statm: 5778 4734 183 410 0 5360 0
[pid=4955] ppid=4699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4955/stat : 4955 (satsolver.sh) S 4699 4698 1047 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 271124100 9367552 267 33554432000 4194304 5064252 140736993413392 140736993412304 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4955/statm: 2287 267 226 213 0 72 0
[pid=4956] ppid=4955 vsize=189436 CPUtime=976.53 cores=1,3,5,7
/proc/4956/stat : 4956 (glucose_static) R 4955 4698 1047 0 -1 4202496 95703 0 0 0 97569 84 0 0 20 0 1 0 271124101 193982464 34842 33554432000 4194304 4896791 140733550544304 140733550541832 4225029 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4956/statm: 47359 34842 78 172 0 47185 0
Current children cumulated CPU time (s) 1420.35
Current children cumulated vsize (KiB) 230844
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 4963
/proc/meminfo: memFree=27783920/32873844 swapFree=7356/7356
[pid=4698] ppid=4696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4698/stat : 4698 (runPb2satCp2.sh) S 4696 4698 1047 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271079546 9367552 275 33554432000 4194304 5064252 140734864668256 140734864667168 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4698/statm: 2287 275 233 213 0 72 0
[pid=4699] ppid=4698 vsize=23112 CPUtime=443.82 cores=1,3,5,7
/proc/4699/stat : 4699 (pb2sat) S 4698 4698 1047 0 -1 4202496 35336 179304 0 0 104 22 44177 79 20 0 1 0 271079547 23666688 4734 33554432000 4194304 5873084 140733524800688 140733524794504 5124602 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 11 0 0
/proc/4699/statm: 5778 4734 183 410 0 5360 0
[pid=4955] ppid=4699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4955/stat : 4955 (satsolver.sh) S 4699 4698 1047 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 271124100 9367552 267 33554432000 4194304 5064252 140736993413392 140736993412304 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4955/statm: 2287 267 226 213 0 72 0
[pid=4956] ppid=4955 vsize=142240 CPUtime=1036.51 cores=1,3,5,7
/proc/4956/stat : 4956 (glucose_static) R 4955 4698 1047 0 -1 4202496 98417 0 0 0 103563 88 0 0 20 0 1 0 271124101 145653760 33121 33554432000 4194304 4896791 140733550544304 140733550541512 4225384 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4956/statm: 35560 33121 78 172 0 35386 0
Current children cumulated CPU time (s) 1480.33
Current children cumulated vsize (KiB) 183648
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 4967
/proc/meminfo: memFree=27752856/32873844 swapFree=7356/7356
[pid=4698] ppid=4696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4698/stat : 4698 (runPb2satCp2.sh) S 4696 4698 1047 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271079546 9367552 275 33554432000 4194304 5064252 140734864668256 140734864667168 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4698/statm: 2287 275 233 213 0 72 0
[pid=4699] ppid=4698 vsize=23112 CPUtime=443.82 cores=1,3,5,7
/proc/4699/stat : 4699 (pb2sat) S 4698 4698 1047 0 -1 4202496 35336 179304 0 0 104 22 44177 79 20 0 1 0 271079547 23666688 4734 33554432000 4194304 5873084 140733524800688 140733524794504 5124602 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 11 0 0
/proc/4699/statm: 5778 4734 183 410 0 5360 0
[pid=4955] ppid=4699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4955/stat : 4955 (satsolver.sh) S 4699 4698 1047 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 271124100 9367552 267 33554432000 4194304 5064252 140736993413392 140736993412304 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4955/statm: 2287 267 226 213 0 72 0
[pid=4956] ppid=4955 vsize=142864 CPUtime=1096.49 cores=1,3,5,7
/proc/4956/stat : 4956 (glucose_static) R 4955 4698 1047 0 -1 4202496 101029 0 0 0 109557 92 0 0 20 0 1 0 271124101 146292736 33910 33554432000 4194304 4896791 140733550544304 140733550541816 4205681 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4956/statm: 35716 33910 78 172 0 35542 0
Current children cumulated CPU time (s) 1540.31
Current children cumulated vsize (KiB) 184272
[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 4967
/proc/meminfo: memFree=27742996/32873844 swapFree=7356/7356
[pid=4698] ppid=4696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4698/stat : 4698 (runPb2satCp2.sh) S 4696 4698 1047 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271079546 9367552 275 33554432000 4194304 5064252 140734864668256 140734864667168 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4698/statm: 2287 275 233 213 0 72 0
[pid=4699] ppid=4698 vsize=23112 CPUtime=443.82 cores=1,3,5,7
/proc/4699/stat : 4699 (pb2sat) S 4698 4698 1047 0 -1 4202496 35336 179304 0 0 104 22 44177 79 20 0 1 0 271079547 23666688 4734 33554432000 4194304 5873084 140733524800688 140733524794504 5124602 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 11 0 0
/proc/4699/statm: 5778 4734 183 410 0 5360 0
[pid=4955] ppid=4699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4955/stat : 4955 (satsolver.sh) S 4699 4698 1047 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 271124100 9367552 267 33554432000 4194304 5064252 140736993413392 140736993412304 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4955/statm: 2287 267 226 213 0 72 0
[pid=4956] ppid=4955 vsize=196640 CPUtime=1156.48 cores=1,3,5,7
/proc/4956/stat : 4956 (glucose_static) R 4955 4698 1047 0 -1 4202496 104521 0 0 0 115551 97 0 0 20 0 1 0 271124101 201359360 39671 33554432000 4194304 4896791 140733550544304 140733550541512 4224684 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4956/statm: 49160 39671 78 172 0 48986 0
Current children cumulated CPU time (s) 1600.3
Current children cumulated vsize (KiB) 238048
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 4967
/proc/meminfo: memFree=27742680/32873844 swapFree=7356/7356
[pid=4698] ppid=4696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4698/stat : 4698 (runPb2satCp2.sh) S 4696 4698 1047 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271079546 9367552 275 33554432000 4194304 5064252 140734864668256 140734864667168 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4698/statm: 2287 275 233 213 0 72 0
[pid=4699] ppid=4698 vsize=23112 CPUtime=443.82 cores=1,3,5,7
/proc/4699/stat : 4699 (pb2sat) S 4698 4698 1047 0 -1 4202496 35336 179304 0 0 104 22 44177 79 20 0 1 0 271079547 23666688 4734 33554432000 4194304 5873084 140733524800688 140733524794504 5124602 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 11 0 0
/proc/4699/statm: 5778 4734 183 410 0 5360 0
[pid=4955] ppid=4699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4955/stat : 4955 (satsolver.sh) S 4699 4698 1047 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 271124100 9367552 267 33554432000 4194304 5064252 140736993413392 140736993412304 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4955/statm: 2287 267 226 213 0 72 0
[pid=4956] ppid=4955 vsize=148432 CPUtime=1216.47 cores=1,3,5,7
/proc/4956/stat : 4956 (glucose_static) R 4955 4698 1047 0 -1 4202496 107435 0 0 0 121546 101 0 0 20 0 1 0 271124101 151994368 35065 33554432000 4194304 4896791 140733550544304 140733550541832 4203866 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4956/statm: 37108 35065 78 172 0 36934 0
Current children cumulated CPU time (s) 1660.29
Current children cumulated vsize (KiB) 189840
[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 4967
/proc/meminfo: memFree=27741364/32873844 swapFree=7356/7356
[pid=4698] ppid=4696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4698/stat : 4698 (runPb2satCp2.sh) S 4696 4698 1047 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271079546 9367552 275 33554432000 4194304 5064252 140734864668256 140734864667168 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4698/statm: 2287 275 233 213 0 72 0
[pid=4699] ppid=4698 vsize=23112 CPUtime=443.82 cores=1,3,5,7
/proc/4699/stat : 4699 (pb2sat) S 4698 4698 1047 0 -1 4202496 35336 179304 0 0 104 22 44177 79 20 0 1 0 271079547 23666688 4734 33554432000 4194304 5873084 140733524800688 140733524794504 5124602 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 11 0 0
/proc/4699/statm: 5778 4734 183 410 0 5360 0
[pid=4955] ppid=4699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4955/stat : 4955 (satsolver.sh) S 4699 4698 1047 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 271124100 9367552 267 33554432000 4194304 5064252 140736993413392 140736993412304 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4955/statm: 2287 267 226 213 0 72 0
[pid=4956] ppid=4955 vsize=199332 CPUtime=1276.46 cores=1,3,5,7
/proc/4956/stat : 4956 (glucose_static) R 4955 4698 1047 0 -1 4202496 110521 0 0 0 127541 105 0 0 20 0 1 0 271124101 204115968 39291 33554432000 4194304 4896791 140733550544304 140733550540040 4225400 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4956/statm: 49833 39291 78 172 0 49659 0
Current children cumulated CPU time (s) 1720.28
Current children cumulated vsize (KiB) 240740
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 4967
/proc/meminfo: memFree=27748608/32873844 swapFree=7356/7356
[pid=4698] ppid=4696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4698/stat : 4698 (runPb2satCp2.sh) S 4696 4698 1047 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271079546 9367552 275 33554432000 4194304 5064252 140734864668256 140734864667168 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4698/statm: 2287 275 233 213 0 72 0
[pid=4699] ppid=4698 vsize=23112 CPUtime=443.82 cores=1,3,5,7
/proc/4699/stat : 4699 (pb2sat) S 4698 4698 1047 0 -1 4202496 35336 179304 0 0 104 22 44177 79 20 0 1 0 271079547 23666688 4734 33554432000 4194304 5873084 140733524800688 140733524794504 5124602 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 11 0 0
/proc/4699/statm: 5778 4734 183 410 0 5360 0
[pid=4955] ppid=4699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4955/stat : 4955 (satsolver.sh) S 4699 4698 1047 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 271124100 9367552 267 33554432000 4194304 5064252 140736993413392 140736993412304 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4955/statm: 2287 267 226 213 0 72 0
[pid=4956] ppid=4955 vsize=150188 CPUtime=1336.44 cores=1,3,5,7
/proc/4956/stat : 4956 (glucose_static) R 4955 4698 1047 0 -1 4202496 112874 0 0 0 133536 108 0 0 20 0 1 0 271124101 153792512 36142 33554432000 4194304 4896791 140733550544304 140733550540040 4203891 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4956/statm: 37547 36142 78 172 0 37373 0
Current children cumulated CPU time (s) 1780.26
Current children cumulated vsize (KiB) 191596
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802.1 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 4968
/proc/meminfo: memFree=27704360/32873844 swapFree=7356/7356
[pid=4698] ppid=4696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4698/stat : 4698 (runPb2satCp2.sh) S 4696 4698 1047 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271079546 9367552 275 33554432000 4194304 5064252 140734864668256 140734864667168 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4698/statm: 2287 275 233 213 0 72 0
[pid=4699] ppid=4698 vsize=23112 CPUtime=443.82 cores=1,3,5,7
/proc/4699/stat : 4699 (pb2sat) S 4698 4698 1047 0 -1 4202496 35336 179304 0 0 104 22 44177 79 20 0 1 0 271079547 23666688 4734 33554432000 4194304 5873084 140733524800688 140733524794504 5124602 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 11 0 0
/proc/4699/statm: 5778 4734 183 410 0 5360 0
[pid=4955] ppid=4699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4955/stat : 4955 (satsolver.sh) S 4699 4698 1047 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 271124100 9367552 267 33554432000 4194304 5064252 140736993413392 140736993412304 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4955/statm: 2287 267 226 213 0 72 0
[pid=4956] ppid=4955 vsize=200816 CPUtime=1356.25 cores=1,3,5,7
/proc/4956/stat : 4956 (glucose_static) R 4955 4698 1047 0 -1 4202496 113547 0 0 0 135516 109 0 0 20 0 1 0 271124101 205635584 45975 33554432000 4194304 4896791 140733550544304 140733550541512 4225356 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4956/statm: 50204 45975 78 172 0 50030 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 242224
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1802.1 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 4968
/proc/meminfo: memFree=27704360/32873844 swapFree=7356/7356
[pid=4698] ppid=4696 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4698/stat : 4698 (runPb2satCp2.sh) S 4696 4698 1047 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271079546 9367552 275 33554432000 4194304 5064252 140734864668256 140734864667168 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4698/statm: 2287 275 233 213 0 72 0
[pid=4699] ppid=4698 vsize=23112 CPUtime=443.82 cores=1,3,5,7
/proc/4699/stat : 4699 (pb2sat) S 4698 4698 1047 0 -1 4202496 35336 179304 0 0 104 22 44177 79 20 0 1 0 271079547 23666688 4734 33554432000 4194304 5873084 140733524800688 140733524794504 5124602 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 11 0 0
/proc/4699/statm: 5778 4734 183 410 0 5360 0
[pid=4955] ppid=4699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4955/stat : 4955 (satsolver.sh) S 4699 4698 1047 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 271124100 9367552 267 33554432000 4194304 5064252 140736993413392 140736993412304 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4955/statm: 2287 267 226 213 0 72 0
[pid=4956] ppid=4955 vsize=200816 CPUtime=1356.25 cores=1,3,5,7
/proc/4956/stat : 4956 (glucose_static) R 4955 4698 1047 0 -1 4202496 113547 0 0 0 135516 109 0 0 20 0 1 0 271124101 205635584 45975 33554432000 4194304 4896791 140733550544304 140733550541512 4225356 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4956/statm: 50204 45975 78 172 0 50030 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 242224
Child status: 0
Real time (s): 1802.11
CPU time (s): 1800.11
CPU user time (s): 1797.98
CPU system time (s): 2.12368
CPU usage (%): 99.8888
Max. virtual memory (cumulated for all children) (KiB): 341604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.98
system time used= 2.12368
maximum resident set size= 216680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 329176
page faults= 0
swaps= 0
block input operations= 0
block output operations= 161616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 262
involuntary context switches= 2708
runsolver used 6.51101 second user time and 11.0703 second system time
The end