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-3695286-1338126159/watcher-3695286-1338126159 -o /tmp/evaluation-result-3695286-1338126159/solver-3695286-1338126159 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3695286-1338126159.opb 428911018 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 2.00 2/179 15051
/proc/meminfo: memFree=27858284/32873844 swapFree=7124/7124
[pid=15051] ppid=15049 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15051/stat : 15051 (runPb2satCp2.sh) S 15049 15051 14901 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278741302 9367552 274 33554432000 4194304 5064252 140737009732720 140737009731632 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15051/statm: 2287 274 233 213 0 72 0
[startup+0.088527 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 15051
/proc/meminfo: memFree=27858284/32873844 swapFree=7124/7124
[pid=15051] ppid=15049 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15051/stat : 15051 (runPb2satCp2.sh) S 15049 15051 14901 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278741302 9367552 274 33554432000 4194304 5064252 140737009732720 140737009731632 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15051/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100237 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 15051
/proc/meminfo: memFree=27858284/32873844 swapFree=7124/7124
[pid=15051] ppid=15049 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15051/stat : 15051 (runPb2satCp2.sh) S 15049 15051 14901 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278741302 9367552 274 33554432000 4194304 5064252 140737009732720 140737009731632 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15051/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300222 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 15051
/proc/meminfo: memFree=27858284/32873844 swapFree=7124/7124
[pid=15051] ppid=15049 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15051/stat : 15051 (runPb2satCp2.sh) S 15049 15051 14901 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278741302 9367552 274 33554432000 4194304 5064252 140737009732720 140737009731632 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15051/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700219 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 15051
/proc/meminfo: memFree=27858284/32873844 swapFree=7124/7124
[pid=15051] ppid=15049 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15051/stat : 15051 (runPb2satCp2.sh) S 15049 15051 14901 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278741302 9367552 274 33554432000 4194304 5064252 140737009732720 140737009731632 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15051/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15055
/proc/meminfo: memFree=27631972/32873844 swapFree=7124/7124
[pid=15051] ppid=15049 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15051/stat : 15051 (runPb2satCp2.sh) S 15049 15051 14901 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278741302 9367552 274 33554432000 4194304 5064252 140737009732720 140737009731632 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15051/statm: 2287 274 233 213 0 72 0
[pid=15052] ppid=15051 vsize=166876 CPUtime=1.49 cores=0,2,4,6
/proc/15052/stat : 15052 (pb2sat) R 15051 15051 14901 0 -1 4202496 12229 0 0 0 144 5 0 0 20 0 1 0 278741302 170881024 27986 33554432000 4194304 5873084 140737348917648 140737348913704 4664150 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15052/statm: 41719 27986 164 410 0 41301 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 176024
[startup+3.10039 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15057
/proc/meminfo: memFree=27492524/32873844 swapFree=7124/7124
[pid=15051] ppid=15049 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15051/stat : 15051 (runPb2satCp2.sh) S 15049 15051 14901 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278741302 9367552 274 33554432000 4194304 5064252 140737009732720 140737009731632 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15051/statm: 2287 274 233 213 0 72 0
[pid=15052] ppid=15051 vsize=166876 CPUtime=1.8 cores=0,2,4,6
/proc/15052/stat : 15052 (pb2sat) S 15051 15051 14901 0 -1 4202496 13204 0 0 0 159 21 0 0 20 0 1 0 278741302 170881024 30041 33554432000 4194304 5873084 140737348917648 140737348914072 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15052/statm: 41719 30041 171 410 0 41301 0
[pid=15056] ppid=15052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15056/stat : 15056 (satsolver.sh) S 15052 15051 14901 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278741484 9367552 266 33554432000 4194304 5064252 140733482925472 140733482924384 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15056/statm: 2287 266 226 213 0 72 0
[pid=15057] ppid=15056 vsize=323620 CPUtime=1.26 cores=0,2,4,6
/proc/15057/stat : 15057 (glucose_static) R 15056 15051 14901 0 -1 4202496 40685 0 0 0 116 10 0 0 20 0 1 0 278741484 331386880 61686 33554432000 4194304 4896791 140735560659824 140735559608616 4216648 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15057/statm: 80905 61686 73 172 0 80731 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 508792
[startup+6.30037 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 15060
/proc/meminfo: memFree=27251468/32873844 swapFree=7124/7124
[pid=15051] ppid=15049 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15051/stat : 15051 (runPb2satCp2.sh) S 15049 15051 14901 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278741302 9367552 274 33554432000 4194304 5064252 140737009732720 140737009731632 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15051/statm: 2287 274 233 213 0 72 0
[pid=15052] ppid=15051 vsize=166876 CPUtime=1.8 cores=0,2,4,6
/proc/15052/stat : 15052 (pb2sat) S 15051 15051 14901 0 -1 4202496 13204 0 0 0 159 21 0 0 20 0 1 0 278741302 170881024 30041 33554432000 4194304 5873084 140737348917648 140737348914072 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15052/statm: 41719 30041 171 410 0 41301 0
[pid=15056] ppid=15052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15056/stat : 15056 (satsolver.sh) S 15052 15051 14901 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278741484 9367552 266 33554432000 4194304 5064252 140733482925472 140733482924384 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15056/statm: 2287 266 226 213 0 72 0
[pid=15057] ppid=15056 vsize=246428 CPUtime=4.47 cores=0,2,4,6
/proc/15057/stat : 15057 (glucose_static) R 15056 15051 14901 0 -1 4202496 42601 0 0 0 434 13 0 0 20 0 1 0 278741484 252342272 51785 33554432000 4194304 4896791 140735560659824 140735560656920 4203775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15057/statm: 61607 51785 78 172 0 61433 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 431600
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 15060
/proc/meminfo: memFree=27257468/32873844 swapFree=7124/7124
[pid=15051] ppid=15049 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15051/stat : 15051 (runPb2satCp2.sh) S 15049 15051 14901 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278741302 9367552 274 33554432000 4194304 5064252 140737009732720 140737009731632 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15051/statm: 2287 274 233 213 0 72 0
[pid=15052] ppid=15051 vsize=166876 CPUtime=1.8 cores=0,2,4,6
/proc/15052/stat : 15052 (pb2sat) S 15051 15051 14901 0 -1 4202496 13204 0 0 0 159 21 0 0 20 0 1 0 278741302 170881024 30041 33554432000 4194304 5873084 140737348917648 140737348914072 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15052/statm: 41719 30041 171 410 0 41301 0
[pid=15056] ppid=15052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15056/stat : 15056 (satsolver.sh) S 15052 15051 14901 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278741484 9367552 266 33554432000 4194304 5064252 140733482925472 140733482924384 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15056/statm: 2287 266 226 213 0 72 0
[pid=15057] ppid=15056 vsize=246428 CPUtime=10.87 cores=0,2,4,6
/proc/15057/stat : 15057 (glucose_static) R 15056 15051 14901 0 -1 4202496 42606 0 0 0 1073 14 0 0 20 0 1 0 278741484 252342272 51790 33554432000 4194304 4896791 140735560659824 140735560656920 4225029 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15057/statm: 61607 51790 78 172 0 61433 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 431600
[startup+25.5004 s]
/proc/loadavg: 2.08 2.02 2.01 3/185 15060
/proc/meminfo: memFree=27252016/32873844 swapFree=7124/7124
[pid=15051] ppid=15049 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15051/stat : 15051 (runPb2satCp2.sh) S 15049 15051 14901 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278741302 9367552 274 33554432000 4194304 5064252 140737009732720 140737009731632 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15051/statm: 2287 274 233 213 0 72 0
[pid=15052] ppid=15051 vsize=166876 CPUtime=1.8 cores=0,2,4,6
/proc/15052/stat : 15052 (pb2sat) S 15051 15051 14901 0 -1 4202496 13204 0 0 0 159 21 0 0 20 0 1 0 278741302 170881024 30041 33554432000 4194304 5873084 140737348917648 140737348914072 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15052/statm: 41719 30041 171 410 0 41301 0
[pid=15056] ppid=15052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15056/stat : 15056 (satsolver.sh) S 15052 15051 14901 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278741484 9367552 266 33554432000 4194304 5064252 140733482925472 140733482924384 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15056/statm: 2287 266 226 213 0 72 0
[pid=15057] ppid=15056 vsize=246428 CPUtime=23.67 cores=0,2,4,6
/proc/15057/stat : 15057 (glucose_static) R 15056 15051 14901 0 -1 4202496 42606 0 0 0 2353 14 0 0 20 0 1 0 278741484 252342272 51790 33554432000 4194304 4896791 140735560659824 140735560656920 4224684 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15057/statm: 61607 51790 78 172 0 61433 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 431600
[startup+51.1004 s]
/proc/loadavg: 2.05 2.01 2.00 3/185 15060
/proc/meminfo: memFree=27249348/32873844 swapFree=7124/7124
[pid=15051] ppid=15049 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15051/stat : 15051 (runPb2satCp2.sh) S 15049 15051 14901 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278741302 9367552 274 33554432000 4194304 5064252 140737009732720 140737009731632 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15051/statm: 2287 274 233 213 0 72 0
[pid=15052] ppid=15051 vsize=166876 CPUtime=1.8 cores=0,2,4,6
/proc/15052/stat : 15052 (pb2sat) S 15051 15051 14901 0 -1 4202496 13204 0 0 0 159 21 0 0 20 0 1 0 278741302 170881024 30041 33554432000 4194304 5873084 140737348917648 140737348914072 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15052/statm: 41719 30041 171 410 0 41301 0
[pid=15056] ppid=15052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15056/stat : 15056 (satsolver.sh) S 15052 15051 14901 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278741484 9367552 266 33554432000 4194304 5064252 140733482925472 140733482924384 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15056/statm: 2287 266 226 213 0 72 0
[pid=15057] ppid=15056 vsize=246752 CPUtime=49.26 cores=0,2,4,6
/proc/15057/stat : 15057 (glucose_static) R 15056 15051 14901 0 -1 4202496 42851 0 0 0 4912 14 0 0 20 0 1 0 278741484 252674048 52546 33554432000 4194304 4896791 140735560659824 140735560656968 4203853 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15057/statm: 61688 52546 78 172 0 61514 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 431924
[startup+102.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/185 15060
/proc/meminfo: memFree=27243332/32873844 swapFree=7124/7124
[pid=15051] ppid=15049 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15051/stat : 15051 (runPb2satCp2.sh) S 15049 15051 14901 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278741302 9367552 274 33554432000 4194304 5064252 140737009732720 140737009731632 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15051/statm: 2287 274 233 213 0 72 0
[pid=15052] ppid=15051 vsize=166876 CPUtime=1.8 cores=0,2,4,6
/proc/15052/stat : 15052 (pb2sat) S 15051 15051 14901 0 -1 4202496 13204 0 0 0 159 21 0 0 20 0 1 0 278741302 170881024 30041 33554432000 4194304 5873084 140737348917648 140737348914072 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15052/statm: 41719 30041 171 410 0 41301 0
[pid=15056] ppid=15052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15056/stat : 15056 (satsolver.sh) S 15052 15051 14901 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278741484 9367552 266 33554432000 4194304 5064252 140733482925472 140733482924384 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15056/statm: 2287 266 226 213 0 72 0
[pid=15057] ppid=15056 vsize=247916 CPUtime=100.44 cores=0,2,4,6
/proc/15057/stat : 15057 (glucose_static) R 15056 15051 14901 0 -1 4202496 47358 0 0 0 10029 15 0 0 20 0 1 0 278741484 253865984 53284 33554432000 4194304 4896791 140735560659824 140735560657336 4224983 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15057/statm: 61979 53284 78 172 0 61805 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 433088
[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/185 15064
/proc/meminfo: memFree=27240344/32873844 swapFree=7124/7124
[pid=15051] ppid=15049 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15051/stat : 15051 (runPb2satCp2.sh) S 15049 15051 14901 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278741302 9367552 274 33554432000 4194304 5064252 140737009732720 140737009731632 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15051/statm: 2287 274 233 213 0 72 0
[pid=15052] ppid=15051 vsize=166876 CPUtime=1.8 cores=0,2,4,6
/proc/15052/stat : 15052 (pb2sat) S 15051 15051 14901 0 -1 4202496 13204 0 0 0 159 21 0 0 20 0 1 0 278741302 170881024 30041 33554432000 4194304 5873084 140737348917648 140737348914072 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15052/statm: 41719 30041 171 410 0 41301 0
[pid=15056] ppid=15052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15056/stat : 15056 (satsolver.sh) S 15052 15051 14901 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278741484 9367552 266 33554432000 4194304 5064252 140733482925472 140733482924384 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15056/statm: 2287 266 226 213 0 72 0
[pid=15057] ppid=15056 vsize=279512 CPUtime=160.43 cores=0,2,4,6
/proc/15057/stat : 15057 (glucose_static) R 15056 15051 14901 0 -1 4202496 49459 0 0 0 16026 17 0 0 20 0 1 0 278741484 286220288 55016 33554432000 4194304 4896791 140735560659824 140735560655560 4203733 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15057/statm: 69878 55016 78 172 0 69704 0
Current children cumulated CPU time (s) 162.23
################
# More data... #
################
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 15103
/proc/meminfo: memFree=27151148/32873844 swapFree=7124/7124
[pid=15051] ppid=15049 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15051/stat : 15051 (runPb2satCp2.sh) S 15049 15051 14901 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278741302 9367552 274 33554432000 4194304 5064252 140737009732720 140737009731632 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15051/statm: 2287 274 233 213 0 72 0
[pid=15052] ppid=15051 vsize=166876 CPUtime=1.8 cores=0,2,4,6
/proc/15052/stat : 15052 (pb2sat) S 15051 15051 14901 0 -1 4202496 13204 0 0 0 159 21 0 0 20 0 1 0 278741302 170881024 30041 33554432000 4194304 5873084 140737348917648 140737348914072 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15052/statm: 41719 30041 171 410 0 41301 0
[pid=15056] ppid=15052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15056/stat : 15056 (satsolver.sh) S 15052 15051 14901 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278741484 9367552 266 33554432000 4194304 5064252 140733482925472 140733482924384 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15056/statm: 2287 266 226 213 0 72 0
[pid=15057] ppid=15056 vsize=285096 CPUtime=1420.23 cores=0,2,4,6
/proc/15057/stat : 15057 (glucose_static) R 15056 15051 14901 0 -1 4202496 53576 0 0 0 141997 26 0 0 20 0 1 0 278741484 291938304 63785 33554432000 4194304 4896791 140735560659824 140735560657192 4203775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15057/statm: 71274 63785 78 172 0 71100 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 470268
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 15103
/proc/meminfo: memFree=27166680/32873844 swapFree=7124/7124
[pid=15051] ppid=15049 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15051/stat : 15051 (runPb2satCp2.sh) S 15049 15051 14901 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278741302 9367552 274 33554432000 4194304 5064252 140737009732720 140737009731632 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15051/statm: 2287 274 233 213 0 72 0
[pid=15052] ppid=15051 vsize=166876 CPUtime=1.8 cores=0,2,4,6
/proc/15052/stat : 15052 (pb2sat) S 15051 15051 14901 0 -1 4202496 13204 0 0 0 159 21 0 0 20 0 1 0 278741302 170881024 30041 33554432000 4194304 5873084 140737348917648 140737348914072 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15052/statm: 41719 30041 171 410 0 41301 0
[pid=15056] ppid=15052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15056/stat : 15056 (satsolver.sh) S 15052 15051 14901 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278741484 9367552 266 33554432000 4194304 5064252 140733482925472 140733482924384 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15056/statm: 2287 266 226 213 0 72 0
[pid=15057] ppid=15056 vsize=335184 CPUtime=1480.22 cores=0,2,4,6
/proc/15057/stat : 15057 (glucose_static) R 15056 15051 14901 0 -1 4202496 53711 0 0 0 147996 26 0 0 20 0 1 0 278741484 343228416 63920 33554432000 4194304 4896791 140735560659824 140735560657352 4203936 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15057/statm: 83796 63920 78 172 0 83622 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 520356
[startup+1542.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/185 15103
/proc/meminfo: memFree=27161220/32873844 swapFree=7124/7124
[pid=15051] ppid=15049 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15051/stat : 15051 (runPb2satCp2.sh) S 15049 15051 14901 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278741302 9367552 274 33554432000 4194304 5064252 140737009732720 140737009731632 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15051/statm: 2287 274 233 213 0 72 0
[pid=15052] ppid=15051 vsize=166876 CPUtime=1.8 cores=0,2,4,6
/proc/15052/stat : 15052 (pb2sat) S 15051 15051 14901 0 -1 4202496 13204 0 0 0 159 21 0 0 20 0 1 0 278741302 170881024 30041 33554432000 4194304 5873084 140737348917648 140737348914072 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15052/statm: 41719 30041 171 410 0 41301 0
[pid=15056] ppid=15052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15056/stat : 15056 (satsolver.sh) S 15052 15051 14901 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278741484 9367552 266 33554432000 4194304 5064252 140733482925472 140733482924384 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15056/statm: 2287 266 226 213 0 72 0
[pid=15057] ppid=15056 vsize=335184 CPUtime=1540.21 cores=0,2,4,6
/proc/15057/stat : 15057 (glucose_static) R 15056 15051 14901 0 -1 4202496 53885 0 0 0 153995 26 0 0 20 0 1 0 278741484 343228416 64093 33554432000 4194304 4896791 140735560659824 140735560657352 4203775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15057/statm: 83796 64093 78 172 0 83622 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 520356
[startup+1602.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/185 15106
/proc/meminfo: memFree=27200924/32873844 swapFree=7124/7124
[pid=15051] ppid=15049 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15051/stat : 15051 (runPb2satCp2.sh) S 15049 15051 14901 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278741302 9367552 274 33554432000 4194304 5064252 140737009732720 140737009731632 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15051/statm: 2287 274 233 213 0 72 0
[pid=15052] ppid=15051 vsize=166876 CPUtime=1.8 cores=0,2,4,6
/proc/15052/stat : 15052 (pb2sat) S 15051 15051 14901 0 -1 4202496 13204 0 0 0 159 21 0 0 20 0 1 0 278741302 170881024 30041 33554432000 4194304 5873084 140737348917648 140737348914072 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15052/statm: 41719 30041 171 410 0 41301 0
[pid=15056] ppid=15052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15056/stat : 15056 (satsolver.sh) S 15052 15051 14901 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278741484 9367552 266 33554432000 4194304 5064252 140733482925472 140733482924384 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15056/statm: 2287 266 226 213 0 72 0
[pid=15057] ppid=15056 vsize=335184 CPUtime=1600.2 cores=0,2,4,6
/proc/15057/stat : 15057 (glucose_static) R 15056 15051 14901 0 -1 4202496 54101 0 0 0 159994 26 0 0 20 0 1 0 278741484 343228416 64819 33554432000 4194304 4896791 140735560659824 140735560657352 4203856 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15057/statm: 83796 64819 78 172 0 83622 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 520356
[startup+1662.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/186 15109
/proc/meminfo: memFree=27192716/32873844 swapFree=7124/7124
[pid=15051] ppid=15049 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15051/stat : 15051 (runPb2satCp2.sh) S 15049 15051 14901 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278741302 9367552 274 33554432000 4194304 5064252 140737009732720 140737009731632 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15051/statm: 2287 274 233 213 0 72 0
[pid=15052] ppid=15051 vsize=166876 CPUtime=1.8 cores=0,2,4,6
/proc/15052/stat : 15052 (pb2sat) S 15051 15051 14901 0 -1 4202496 13204 0 0 0 159 21 0 0 20 0 1 0 278741302 170881024 30041 33554432000 4194304 5873084 140737348917648 140737348914072 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15052/statm: 41719 30041 171 410 0 41301 0
[pid=15056] ppid=15052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15056/stat : 15056 (satsolver.sh) S 15052 15051 14901 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278741484 9367552 266 33554432000 4194304 5064252 140733482925472 140733482924384 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15056/statm: 2287 266 226 213 0 72 0
[pid=15057] ppid=15056 vsize=335184 CPUtime=1660.2 cores=0,2,4,6
/proc/15057/stat : 15057 (glucose_static) R 15056 15051 14901 0 -1 4202496 54102 0 0 0 165993 27 0 0 20 0 1 0 278741484 343228416 64820 33554432000 4194304 4896791 140735560659824 140735560657352 4203775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15057/statm: 83796 64820 78 172 0 83622 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 520356
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/185 15110
/proc/meminfo: memFree=27223736/32873844 swapFree=7124/7124
[pid=15051] ppid=15049 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15051/stat : 15051 (runPb2satCp2.sh) S 15049 15051 14901 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278741302 9367552 274 33554432000 4194304 5064252 140737009732720 140737009731632 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15051/statm: 2287 274 233 213 0 72 0
[pid=15052] ppid=15051 vsize=166876 CPUtime=1.8 cores=0,2,4,6
/proc/15052/stat : 15052 (pb2sat) S 15051 15051 14901 0 -1 4202496 13204 0 0 0 159 21 0 0 20 0 1 0 278741302 170881024 30041 33554432000 4194304 5873084 140737348917648 140737348914072 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15052/statm: 41719 30041 171 410 0 41301 0
[pid=15056] ppid=15052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15056/stat : 15056 (satsolver.sh) S 15052 15051 14901 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278741484 9367552 266 33554432000 4194304 5064252 140733482925472 140733482924384 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15056/statm: 2287 266 226 213 0 72 0
[pid=15057] ppid=15056 vsize=285068 CPUtime=1720.18 cores=0,2,4,6
/proc/15057/stat : 15057 (glucose_static) R 15056 15051 14901 0 -1 4202496 54337 0 0 0 171990 28 0 0 20 0 1 0 278741484 291909632 56804 33554432000 4194304 4896791 140735560659824 140735560657400 4204079 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15057/statm: 71267 56804 78 172 0 71093 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 470240
[startup+1782.31 s]
/proc/loadavg: 2.05 2.03 2.00 3/185 15110
/proc/meminfo: memFree=27212880/32873844 swapFree=7124/7124
[pid=15051] ppid=15049 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15051/stat : 15051 (runPb2satCp2.sh) S 15049 15051 14901 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278741302 9367552 274 33554432000 4194304 5064252 140737009732720 140737009731632 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15051/statm: 2287 274 233 213 0 72 0
[pid=15052] ppid=15051 vsize=166876 CPUtime=1.8 cores=0,2,4,6
/proc/15052/stat : 15052 (pb2sat) S 15051 15051 14901 0 -1 4202496 13204 0 0 0 159 21 0 0 20 0 1 0 278741302 170881024 30041 33554432000 4194304 5873084 140737348917648 140737348914072 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15052/statm: 41719 30041 171 410 0 41301 0
[pid=15056] ppid=15052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15056/stat : 15056 (satsolver.sh) S 15052 15051 14901 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278741484 9367552 266 33554432000 4194304 5064252 140733482925472 140733482924384 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15056/statm: 2287 266 226 213 0 72 0
[pid=15057] ppid=15056 vsize=285328 CPUtime=1780.18 cores=0,2,4,6
/proc/15057/stat : 15057 (glucose_static) R 15056 15051 14901 0 -1 4202496 54947 0 0 0 177990 28 0 0 20 0 1 0 278741484 292175872 58409 33554432000 4194304 4896791 140735560659824 140735560657464 4203956 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15057/statm: 71332 58409 78 172 0 71158 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 470500
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 15139
/proc/meminfo: memFree=27426272/32873844 swapFree=7124/7124
[pid=15051] ppid=15049 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15051/stat : 15051 (runPb2satCp2.sh) S 15049 15051 14901 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278741302 9367552 274 33554432000 4194304 5064252 140737009732720 140737009731632 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15051/statm: 2287 274 233 213 0 72 0
[pid=15052] ppid=15051 vsize=166876 CPUtime=1.8 cores=0,2,4,6
/proc/15052/stat : 15052 (pb2sat) S 15051 15051 14901 0 -1 4202496 13204 0 0 0 159 21 0 0 20 0 1 0 278741302 170881024 30041 33554432000 4194304 5873084 140737348917648 140737348914072 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15052/statm: 41719 30041 171 410 0 41301 0
[pid=15056] ppid=15052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15056/stat : 15056 (satsolver.sh) S 15052 15051 14901 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278741484 9367552 266 33554432000 4194304 5064252 140733482925472 140733482924384 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15056/statm: 2287 266 226 213 0 72 0
[pid=15057] ppid=15056 vsize=285424 CPUtime=1798.27 cores=0,2,4,6
/proc/15057/stat : 15057 (glucose_static) R 15056 15051 14901 0 -1 4202496 54973 0 0 0 179799 28 0 0 20 0 1 0 278741484 292274176 58945 33554432000 4194304 4896791 140735560659824 140735560655560 4203775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15057/statm: 71356 58945 78 172 0 71182 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 470596
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 15139
/proc/meminfo: memFree=27426272/32873844 swapFree=7124/7124
[pid=15051] ppid=15049 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15051/stat : 15051 (runPb2satCp2.sh) S 15049 15051 14901 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278741302 9367552 274 33554432000 4194304 5064252 140737009732720 140737009731632 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15051/statm: 2287 274 233 213 0 72 0
[pid=15052] ppid=15051 vsize=166876 CPUtime=1.8 cores=0,2,4,6
/proc/15052/stat : 15052 (pb2sat) S 15051 15051 14901 0 -1 4202496 13204 0 0 0 159 21 0 0 20 0 1 0 278741302 170881024 30041 33554432000 4194304 5873084 140737348917648 140737348914072 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15052/statm: 41719 30041 171 410 0 41301 0
[pid=15056] ppid=15052 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15056/stat : 15056 (satsolver.sh) S 15052 15051 14901 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 278741484 9367552 266 33554432000 4194304 5064252 140733482925472 140733482924384 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/15056/statm: 2287 266 226 213 0 72 0
[pid=15057] ppid=15056 vsize=285424 CPUtime=1798.27 cores=0,2,4,6
/proc/15057/stat : 15057 (glucose_static) R 15056 15051 14901 0 -1 4202496 54973 0 0 0 179799 28 0 0 20 0 1 0 278741484 292274176 58945 33554432000 4194304 4896791 140735560659824 140735560655560 4203775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15057/statm: 71356 58945 78 172 0 71182 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 470596
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.11
CPU user time (s): 1799.6
CPU system time (s): 0.516921
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 600468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.6
system time used= 0.516921
maximum resident set size= 315108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69166
page faults= 0
swaps= 0
block input operations= 0
block output operations= 171328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40
involuntary context switches= 2025
runsolver used 3.33549 second user time and 8.27574 second system time
The end