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-3695272-1338128504/watcher-3695272-1338128504 -o /tmp/evaluation-result-3695272-1338128504/solver-3695272-1338128504 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3695272-1338128504.opb 64920020 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 11088
/proc/meminfo: memFree=27730260/32873844 swapFree=7384/7384
[pid=11088] ppid=11086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11088/stat : 11088 (runPb2satCp2.sh) S 11086 11088 10638 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278975869 9367552 274 33554432000 4194304 5064252 140735951671984 140735951670896 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11088/statm: 2287 274 233 213 0 72 0
[startup+0.029059 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 11088
/proc/meminfo: memFree=27730260/32873844 swapFree=7384/7384
[pid=11088] ppid=11086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11088/stat : 11088 (runPb2satCp2.sh) S 11086 11088 10638 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278975869 9367552 274 33554432000 4194304 5064252 140735951671984 140735951670896 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11088/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100258 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 11088
/proc/meminfo: memFree=27730260/32873844 swapFree=7384/7384
[pid=11088] ppid=11086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11088/stat : 11088 (runPb2satCp2.sh) S 11086 11088 10638 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278975869 9367552 274 33554432000 4194304 5064252 140735951671984 140735951670896 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11088/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300233 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 11088
/proc/meminfo: memFree=27730260/32873844 swapFree=7384/7384
[pid=11088] ppid=11086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11088/stat : 11088 (runPb2satCp2.sh) S 11086 11088 10638 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278975869 9367552 274 33554432000 4194304 5064252 140735951671984 140735951670896 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11088/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700277 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 11088
/proc/meminfo: memFree=27730260/32873844 swapFree=7384/7384
[pid=11088] ppid=11086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11088/stat : 11088 (runPb2satCp2.sh) S 11086 11088 10638 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278975869 9367552 274 33554432000 4194304 5064252 140735951671984 140735951670896 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11088/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50042 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 11092
/proc/meminfo: memFree=27611776/32873844 swapFree=7384/7384
[pid=11088] ppid=11086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11088/stat : 11088 (runPb2satCp2.sh) S 11086 11088 10638 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278975869 9367552 274 33554432000 4194304 5064252 140735951671984 140735951670896 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11088/statm: 2287 274 233 213 0 72 0
[pid=11089] ppid=11088 vsize=63324 CPUtime=0.9 cores=1,3,5,7
/proc/11089/stat : 11089 (pb2sat) S 11088 11088 10638 0 -1 4202496 10442 0 0 0 82 8 0 0 20 0 1 0 278975869 64843776 15223 33554432000 4194304 5873084 140736943449120 140736943445544 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11089/statm: 15831 15223 171 410 0 15413 0
[pid=11091] ppid=11089 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11091/stat : 11091 (satsolver.sh) S 11089 11088 10638 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 278975960 9367552 267 33554432000 4194304 5064252 140734462419936 140734462418848 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11091/statm: 2287 267 226 213 0 72 0
[pid=11092] ppid=11091 vsize=93936 CPUtime=0.58 cores=1,3,5,7
/proc/11092/stat : 11092 (glucose_static) R 11091 11088 10638 0 -1 4202496 19005 0 0 0 54 4 0 0 20 0 1 0 278975960 96190464 20601 33554432000 4194304 4896791 140734725377648 140734724326536 4225029 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11092/statm: 23484 20601 76 172 0 23310 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 175556
[startup+3.10026 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 11092
/proc/meminfo: memFree=27555128/32873844 swapFree=7384/7384
[pid=11088] ppid=11086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11088/stat : 11088 (runPb2satCp2.sh) S 11086 11088 10638 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278975869 9367552 274 33554432000 4194304 5064252 140735951671984 140735951670896 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11088/statm: 2287 274 233 213 0 72 0
[pid=11089] ppid=11088 vsize=64972 CPUtime=3.08 cores=1,3,5,7
/proc/11089/stat : 11089 (pb2sat) R 11088 11088 10638 0 -1 4202496 11811 19997 0 0 99 45 159 5 20 0 1 0 278975869 66531328 15643 33554432000 4194304 5873084 140736943449120 140736943444552 5127520 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11089/statm: 16243 15643 179 410 0 15825 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 74120
[startup+6.30042 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 11095
/proc/meminfo: memFree=27507312/32873844 swapFree=7384/7384
[pid=11088] ppid=11086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11088/stat : 11088 (runPb2satCp2.sh) S 11086 11088 10638 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278975869 9367552 274 33554432000 4194304 5064252 140735951671984 140735951670896 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11088/statm: 2287 274 233 213 0 72 0
[pid=11089] ppid=11088 vsize=71116 CPUtime=4.69 cores=1,3,5,7
/proc/11089/stat : 11089 (pb2sat) S 11088 11088 10638 0 -1 4202496 13360 20511 0 0 129 170 159 11 20 0 1 0 278975869 72822784 16858 33554432000 4194304 5873084 140736943449120 140736943442936 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11089/statm: 17779 16858 180 410 0 17361 0
[pid=11094] ppid=11089 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11094/stat : 11094 (satsolver.sh) S 11089 11088 10638 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 278976340 9367552 266 33554432000 4194304 5064252 140736361664656 140736361663568 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11094/statm: 2287 266 226 213 0 72 0
[pid=11095] ppid=11094 vsize=97712 CPUtime=1.57 cores=1,3,5,7
/proc/11095/stat : 11095 (glucose_static) R 11094 11088 10638 0 -1 4202496 20753 0 0 0 153 4 0 0 20 0 1 0 278976340 100057088 21865 33554432000 4194304 4896791 140735875695056 140735875692568 4205021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 24428 21865 77 172 0 24254 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 187124
[startup+12.7005 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 11095
/proc/meminfo: memFree=27507404/32873844 swapFree=7384/7384
[pid=11088] ppid=11086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11088/stat : 11088 (runPb2satCp2.sh) S 11086 11088 10638 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278975869 9367552 274 33554432000 4194304 5064252 140735951671984 140735951670896 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11088/statm: 2287 274 233 213 0 72 0
[pid=11089] ppid=11088 vsize=71116 CPUtime=4.69 cores=1,3,5,7
/proc/11089/stat : 11089 (pb2sat) S 11088 11088 10638 0 -1 4202496 13360 20511 0 0 129 170 159 11 20 0 1 0 278975869 72822784 16858 33554432000 4194304 5873084 140736943449120 140736943442936 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11089/statm: 17779 16858 180 410 0 17361 0
[pid=11094] ppid=11089 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11094/stat : 11094 (satsolver.sh) S 11089 11088 10638 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 278976340 9367552 266 33554432000 4194304 5064252 140736361664656 140736361663568 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11094/statm: 2287 266 226 213 0 72 0
[pid=11095] ppid=11094 vsize=98828 CPUtime=7.98 cores=1,3,5,7
/proc/11095/stat : 11095 (glucose_static) R 11094 11088 10638 0 -1 4202496 22589 0 0 0 793 5 0 0 20 0 1 0 278976340 101199872 22300 33554432000 4194304 4896791 140735875695056 140735875692568 4224684 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 24707 22300 77 172 0 24533 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 188240
[startup+25.5004 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 11095
/proc/meminfo: memFree=27505916/32873844 swapFree=7384/7384
[pid=11088] ppid=11086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11088/stat : 11088 (runPb2satCp2.sh) S 11086 11088 10638 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278975869 9367552 274 33554432000 4194304 5064252 140735951671984 140735951670896 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11088/statm: 2287 274 233 213 0 72 0
[pid=11089] ppid=11088 vsize=71116 CPUtime=4.69 cores=1,3,5,7
/proc/11089/stat : 11089 (pb2sat) S 11088 11088 10638 0 -1 4202496 13360 20511 0 0 129 170 159 11 20 0 1 0 278975869 72822784 16858 33554432000 4194304 5873084 140736943449120 140736943442936 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11089/statm: 17779 16858 180 410 0 17361 0
[pid=11094] ppid=11089 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11094/stat : 11094 (satsolver.sh) S 11089 11088 10638 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 278976340 9367552 266 33554432000 4194304 5064252 140736361664656 140736361663568 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11094/statm: 2287 266 226 213 0 72 0
[pid=11095] ppid=11094 vsize=111324 CPUtime=20.78 cores=1,3,5,7
/proc/11095/stat : 11095 (glucose_static) R 11094 11088 10638 0 -1 4202496 24110 0 0 0 2072 6 0 0 20 0 1 0 278976340 113995776 22861 33554432000 4194304 4896791 140735875695056 140735875692568 4223862 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11095/statm: 27831 22861 78 172 0 27657 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 200736
[startup+51.1004 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 11098
/proc/meminfo: memFree=27558284/32873844 swapFree=7384/7384
[pid=11088] ppid=11086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11088/stat : 11088 (runPb2satCp2.sh) S 11086 11088 10638 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278975869 9367552 274 33554432000 4194304 5064252 140735951671984 140735951670896 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11088/statm: 2287 274 233 213 0 72 0
[pid=11089] ppid=11088 vsize=74188 CPUtime=47.33 cores=1,3,5,7
/proc/11089/stat : 11089 (pb2sat) S 11088 11088 10638 0 -1 4202496 16328 47752 0 0 143 171 4394 25 20 0 1 0 278975869 75968512 17408 33554432000 4194304 5873084 140736943449120 140736943442936 5124602 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11089/statm: 18547 17408 180 410 0 18129 0
[pid=11097] ppid=11089 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11097/stat : 11097 (satsolver.sh) S 11089 11088 10638 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278980605 9367552 267 33554432000 4194304 5064252 140734817756752 140734817755664 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11097/statm: 2287 267 226 213 0 72 0
[pid=11098] ppid=11097 vsize=98568 CPUtime=3.72 cores=1,3,5,7
/proc/11098/stat : 11098 (glucose_static) R 11097 11088 10638 0 -1 4202496 22856 0 0 0 367 5 0 0 20 0 1 0 278980606 100933632 22616 33554432000 4194304 4896791 140734114381456 140734114378680 4224684 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11098/statm: 24642 22616 77 172 0 24468 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 191052
[startup+102.307 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 11146
/proc/meminfo: memFree=28769904/32873844 swapFree=7384/7384
[pid=11088] ppid=11086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11088/stat : 11088 (runPb2satCp2.sh) S 11086 11088 10638 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278975869 9367552 274 33554432000 4194304 5064252 140735951671984 140735951670896 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11088/statm: 2287 274 233 213 0 72 0
[pid=11089] ppid=11088 vsize=74188 CPUtime=63.09 cores=1,3,5,7
/proc/11089/stat : 11089 (pb2sat) S 11088 11088 10638 0 -1 4202496 19595 74572 0 0 157 172 5942 38 20 0 1 0 278975869 75968512 17408 33554432000 4194304 5873084 140736943449120 140736943442936 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11089/statm: 18547 17408 180 410 0 18129 0
[pid=11100] ppid=11089 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11100/stat : 11100 (satsolver.sh) S 11089 11088 10638 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278982183 9367552 267 33554432000 4194304 5064252 140735511566160 140735511565072 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11100/statm: 2287 267 226 213 0 72 0
[pid=11101] ppid=11100 vsize=111224 CPUtime=39.15 cores=1,3,5,7
/proc/11101/stat : 11101 (glucose_static) R 11100 11088 10638 0 -1 4202496 24480 0 0 0 3908 7 0 0 20 0 1 0 278982183 113893376 23108 33554432000 4194304 4896791 140736377727472 140736377723208 4203003 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11101/statm: 27806 23108 78 172 0 27632 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 203708
[startup+162.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/182 11155
/proc/meminfo: memFree=28754028/32873844 swapFree=7384/7384
[pid=11088] ppid=11086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11088/stat : 11088 (runPb2satCp2.sh) S 11086 11088 10638 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278975869 9367552 274 33554432000 4194304 5064252 140735951671984 140735951670896 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11088/statm: 2287 274 233 213 0 72 0
[pid=11089] ppid=11088 vsize=74188 CPUtime=63.09 cores=1,3,5,7
/proc/11089/stat : 11089 (pb2sat) S 11088 11088 10638 0 -1 4202496 19595 74572 0 0 157 172 5942 38 20 0 1 0 278975869 75968512 17408 33554432000 4194304 5873084 140736943449120 140736943442936 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11089/statm: 18547 17408 180 410 0 18129 0
[pid=11100] ppid=11089 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11100/stat : 11100 (satsolver.sh) S 11089 11088 10638 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278982183 9367552 267 33554432000 4194304 5064252 140735511566160 140735511565072 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11100/statm: 2287 267 226 213 0 72 0
[pid=11101] ppid=11100 vsize=115000 CPUtime=99.13 cores=1,3,5,7
/proc/11101/stat : 11101 (glucose_static) R 11100 11088 10638 0 -1 4202496 33476 0 0 0 9902 11 0 0 20 0 1 0 278982183 117760000 25292 33554432000 4194304 4896791 140736377727472 140736377724984 4225029 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11101/statm: 28750 25292 78 172 0 28576 0
Current children cumulated CPU time (s) 162.22
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 11181
/proc/meminfo: memFree=28683760/32873844 swapFree=7384/7384
[pid=11088] ppid=11086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11088/stat : 11088 (runPb2satCp2.sh) S 11086 11088 10638 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278975869 9367552 274 33554432000 4194304 5064252 140735951671984 140735951670896 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11088/statm: 2287 274 233 213 0 72 0
[pid=11089] ppid=11088 vsize=74188 CPUtime=1154.43 cores=1,3,5,7
/proc/11089/stat : 11089 (pb2sat) S 11088 11088 10638 0 -1 4202496 34667 293558 0 0 227 177 114878 161 20 0 1 0 278975869 75968512 17408 33554432000 4194304 5873084 140736943449120 140736943442936 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11089/statm: 18547 17408 180 410 0 18129 0
[pid=11179] ppid=11089 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11179/stat : 11179 (satsolver.sh) S 11089 11088 10638 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279091341 9367552 267 33554432000 4194304 5064252 140736586791136 140736586790048 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11179/statm: 2287 267 226 213 0 72 0
[pid=11180] ppid=11179 vsize=142268 CPUtime=267.52 cores=1,3,5,7
/proc/11180/stat : 11180 (glucose_static) R 11179 11088 10638 0 -1 4202496 45378 0 0 0 26733 19 0 0 20 0 1 0 279091341 145682432 32985 33554432000 4194304 4896791 140735197488576 140735197486104 4203877 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11180/statm: 35567 32985 78 172 0 35393 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 234752
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11181
/proc/meminfo: memFree=28677564/32873844 swapFree=7384/7384
[pid=11088] ppid=11086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11088/stat : 11088 (runPb2satCp2.sh) S 11086 11088 10638 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278975869 9367552 274 33554432000 4194304 5064252 140735951671984 140735951670896 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11088/statm: 2287 274 233 213 0 72 0
[pid=11089] ppid=11088 vsize=74188 CPUtime=1154.43 cores=1,3,5,7
/proc/11089/stat : 11089 (pb2sat) S 11088 11088 10638 0 -1 4202496 34667 293558 0 0 227 177 114878 161 20 0 1 0 278975869 75968512 17408 33554432000 4194304 5873084 140736943449120 140736943442936 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11089/statm: 18547 17408 180 410 0 18129 0
[pid=11179] ppid=11089 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11179/stat : 11179 (satsolver.sh) S 11089 11088 10638 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279091341 9367552 267 33554432000 4194304 5064252 140736586791136 140736586790048 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11179/statm: 2287 267 226 213 0 72 0
[pid=11180] ppid=11179 vsize=143044 CPUtime=327.5 cores=1,3,5,7
/proc/11180/stat : 11180 (glucose_static) R 11179 11088 10638 0 -1 4202496 48091 0 0 0 32729 21 0 0 20 0 1 0 279091341 146477056 31139 33554432000 4194304 4896791 140735197488576 140735197486088 4203783 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11180/statm: 35761 31139 78 172 0 35587 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 235528
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11181
/proc/meminfo: memFree=28647872/32873844 swapFree=7384/7384
[pid=11088] ppid=11086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11088/stat : 11088 (runPb2satCp2.sh) S 11086 11088 10638 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278975869 9367552 274 33554432000 4194304 5064252 140735951671984 140735951670896 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11088/statm: 2287 274 233 213 0 72 0
[pid=11089] ppid=11088 vsize=74188 CPUtime=1154.43 cores=1,3,5,7
/proc/11089/stat : 11089 (pb2sat) S 11088 11088 10638 0 -1 4202496 34667 293558 0 0 227 177 114878 161 20 0 1 0 278975869 75968512 17408 33554432000 4194304 5873084 140736943449120 140736943442936 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11089/statm: 18547 17408 180 410 0 18129 0
[pid=11179] ppid=11089 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11179/stat : 11179 (satsolver.sh) S 11089 11088 10638 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279091341 9367552 267 33554432000 4194304 5064252 140736586791136 140736586790048 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11179/statm: 2287 267 226 213 0 72 0
[pid=11180] ppid=11179 vsize=174956 CPUtime=387.48 cores=1,3,5,7
/proc/11180/stat : 11180 (glucose_static) R 11179 11088 10638 0 -1 4202496 48649 0 0 0 38726 22 0 0 20 0 1 0 279091341 179154944 36070 33554432000 4194304 4896791 140735197488576 140735197485800 4203936 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11180/statm: 43739 36070 78 172 0 43565 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 267440
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11184
/proc/meminfo: memFree=28730408/32873844 swapFree=7384/7384
[pid=11088] ppid=11086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11088/stat : 11088 (runPb2satCp2.sh) S 11086 11088 10638 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278975869 9367552 274 33554432000 4194304 5064252 140735951671984 140735951670896 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11088/statm: 2287 274 233 213 0 72 0
[pid=11089] ppid=11088 vsize=74188 CPUtime=1154.43 cores=1,3,5,7
/proc/11089/stat : 11089 (pb2sat) S 11088 11088 10638 0 -1 4202496 34667 293558 0 0 227 177 114878 161 20 0 1 0 278975869 75968512 17408 33554432000 4194304 5873084 140736943449120 140736943442936 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11089/statm: 18547 17408 180 410 0 18129 0
[pid=11179] ppid=11089 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11179/stat : 11179 (satsolver.sh) S 11089 11088 10638 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279091341 9367552 267 33554432000 4194304 5064252 140736586791136 140736586790048 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11179/statm: 2287 267 226 213 0 72 0
[pid=11180] ppid=11179 vsize=144568 CPUtime=447.47 cores=1,3,5,7
/proc/11180/stat : 11180 (glucose_static) R 11179 11088 10638 0 -1 4202496 50348 0 0 0 44723 24 0 0 20 0 1 0 279091341 148037632 31512 33554432000 4194304 4896791 140735197488576 140735197485784 4203775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11180/statm: 36142 31512 78 172 0 35968 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 237052
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11184
/proc/meminfo: memFree=28723584/32873844 swapFree=7384/7384
[pid=11088] ppid=11086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11088/stat : 11088 (runPb2satCp2.sh) S 11086 11088 10638 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278975869 9367552 274 33554432000 4194304 5064252 140735951671984 140735951670896 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11088/statm: 2287 274 233 213 0 72 0
[pid=11089] ppid=11088 vsize=74188 CPUtime=1154.43 cores=1,3,5,7
/proc/11089/stat : 11089 (pb2sat) S 11088 11088 10638 0 -1 4202496 34667 293558 0 0 227 177 114878 161 20 0 1 0 278975869 75968512 17408 33554432000 4194304 5873084 140736943449120 140736943442936 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11089/statm: 18547 17408 180 410 0 18129 0
[pid=11179] ppid=11089 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11179/stat : 11179 (satsolver.sh) S 11089 11088 10638 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279091341 9367552 267 33554432000 4194304 5064252 140736586791136 140736586790048 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11179/statm: 2287 267 226 213 0 72 0
[pid=11180] ppid=11179 vsize=144568 CPUtime=507.46 cores=1,3,5,7
/proc/11180/stat : 11180 (glucose_static) R 11179 11088 10638 0 -1 4202496 50354 0 0 0 50722 24 0 0 20 0 1 0 279091341 148037632 32029 33554432000 4194304 4896791 140735197488576 140735197485784 4203891 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11180/statm: 36142 32029 78 172 0 35968 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 237052
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 11188
/proc/meminfo: memFree=28711728/32873844 swapFree=7384/7384
[pid=11088] ppid=11086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11088/stat : 11088 (runPb2satCp2.sh) S 11086 11088 10638 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278975869 9367552 274 33554432000 4194304 5064252 140735951671984 140735951670896 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11088/statm: 2287 274 233 213 0 72 0
[pid=11089] ppid=11088 vsize=74188 CPUtime=1154.43 cores=1,3,5,7
/proc/11089/stat : 11089 (pb2sat) S 11088 11088 10638 0 -1 4202496 34667 293558 0 0 227 177 114878 161 20 0 1 0 278975869 75968512 17408 33554432000 4194304 5873084 140736943449120 140736943442936 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11089/statm: 18547 17408 180 410 0 18129 0
[pid=11179] ppid=11089 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11179/stat : 11179 (satsolver.sh) S 11089 11088 10638 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279091341 9367552 267 33554432000 4194304 5064252 140736586791136 140736586790048 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11179/statm: 2287 267 226 213 0 72 0
[pid=11180] ppid=11179 vsize=144568 CPUtime=567.45 cores=1,3,5,7
/proc/11180/stat : 11180 (glucose_static) R 11179 11088 10638 0 -1 4202496 50355 0 0 0 56721 24 0 0 20 0 1 0 279091341 148037632 32541 33554432000 4194304 4896791 140735197488576 140735197485784 4203775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11180/statm: 36142 32541 78 172 0 35968 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 237052
[startup+1782.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/183 11188
/proc/meminfo: memFree=28703100/32873844 swapFree=7384/7384
[pid=11088] ppid=11086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11088/stat : 11088 (runPb2satCp2.sh) S 11086 11088 10638 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278975869 9367552 274 33554432000 4194304 5064252 140735951671984 140735951670896 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11088/statm: 2287 274 233 213 0 72 0
[pid=11089] ppid=11088 vsize=74188 CPUtime=1154.43 cores=1,3,5,7
/proc/11089/stat : 11089 (pb2sat) S 11088 11088 10638 0 -1 4202496 34667 293558 0 0 227 177 114878 161 20 0 1 0 278975869 75968512 17408 33554432000 4194304 5873084 140736943449120 140736943442936 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11089/statm: 18547 17408 180 410 0 18129 0
[pid=11179] ppid=11089 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11179/stat : 11179 (satsolver.sh) S 11089 11088 10638 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279091341 9367552 267 33554432000 4194304 5064252 140736586791136 140736586790048 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11179/statm: 2287 267 226 213 0 72 0
[pid=11180] ppid=11179 vsize=144568 CPUtime=627.44 cores=1,3,5,7
/proc/11180/stat : 11180 (glucose_static) R 11179 11088 10638 0 -1 4202496 50357 0 0 0 62720 24 0 0 20 0 1 0 279091341 148037632 33565 33554432000 4194304 4896791 140735197488576 140735197485784 4203856 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11180/statm: 36142 33565 78 172 0 35968 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 237052
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.09 2.03 2.01 3/183 11188
/proc/meminfo: memFree=28701612/32873844 swapFree=7384/7384
[pid=11088] ppid=11086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11088/stat : 11088 (runPb2satCp2.sh) S 11086 11088 10638 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278975869 9367552 274 33554432000 4194304 5064252 140735951671984 140735951670896 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11088/statm: 2287 274 233 213 0 72 0
[pid=11089] ppid=11088 vsize=74188 CPUtime=1154.43 cores=1,3,5,7
/proc/11089/stat : 11089 (pb2sat) S 11088 11088 10638 0 -1 4202496 34667 293558 0 0 227 177 114878 161 20 0 1 0 278975869 75968512 17408 33554432000 4194304 5873084 140736943449120 140736943442936 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11089/statm: 18547 17408 180 410 0 18129 0
[pid=11179] ppid=11089 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11179/stat : 11179 (satsolver.sh) S 11089 11088 10638 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279091341 9367552 267 33554432000 4194304 5064252 140736586791136 140736586790048 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11179/statm: 2287 267 226 213 0 72 0
[pid=11180] ppid=11179 vsize=144568 CPUtime=645.65 cores=1,3,5,7
/proc/11180/stat : 11180 (glucose_static) R 11179 11088 10638 0 -1 4202496 50357 0 0 0 64541 24 0 0 20 0 1 0 279091341 148037632 33565 33554432000 4194304 4896791 140735197488576 140735197485784 4203783 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11180/statm: 36142 33565 78 172 0 35968 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 237052
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.09 2.03 2.01 3/183 11188
/proc/meminfo: memFree=28701612/32873844 swapFree=7384/7384
[pid=11088] ppid=11086 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11088/stat : 11088 (runPb2satCp2.sh) S 11086 11088 10638 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278975869 9367552 274 33554432000 4194304 5064252 140735951671984 140735951670896 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11088/statm: 2287 274 233 213 0 72 0
[pid=11089] ppid=11088 vsize=74188 CPUtime=1154.43 cores=1,3,5,7
/proc/11089/stat : 11089 (pb2sat) S 11088 11088 10638 0 -1 4202496 34667 293558 0 0 227 177 114878 161 20 0 1 0 278975869 75968512 17408 33554432000 4194304 5873084 140736943449120 140736943442936 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11089/statm: 18547 17408 180 410 0 18129 0
[pid=11179] ppid=11089 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11179/stat : 11179 (satsolver.sh) S 11089 11088 10638 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279091341 9367552 267 33554432000 4194304 5064252 140736586791136 140736586790048 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11179/statm: 2287 267 226 213 0 72 0
[pid=11180] ppid=11179 vsize=144568 CPUtime=645.65 cores=1,3,5,7
/proc/11180/stat : 11180 (glucose_static) R 11179 11088 10638 0 -1 4202496 50357 0 0 0 64541 24 0 0 20 0 1 0 279091341 148037632 33565 33554432000 4194304 4896791 140735197488576 140735197485784 4203783 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11180/statm: 36142 33565 78 172 0 35968 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 237052
Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.12
CPU user time (s): 1796.48
CPU system time (s): 3.64645
CPU usage (%): 99.9784
Max. virtual memory (cumulated for all children) (KiB): 298052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.48
system time used= 3.64644
maximum resident set size= 175308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 379571
page faults= 0
swaps= 0
block input operations= 0
block output operations= 668256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 261
involuntary context switches= 2483
runsolver used 7.67583 second user time and 15.7866 second system time
The end