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-3694664-1338181914/watcher-3694664-1338181914 -o /tmp/evaluation-result-3694664-1338181914/solver-3694664-1338181914 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3694664-1338181914.opb 1238482437 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.02 2.01 2.00 4/179 19289
/proc/meminfo: memFree=30275852/32873844 swapFree=6080/6080
[pid=19289] ppid=19287 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19289/stat : 19289 (runPb2satCp2.sh) S 19287 19289 17405 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284315992 9367552 274 33554432000 4194304 5064252 140734730695056 140734730693968 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19289/statm: 2287 274 233 213 0 72 0
[startup+0.00686002 s]
/proc/loadavg: 2.02 2.01 2.00 4/179 19289
/proc/meminfo: memFree=30275852/32873844 swapFree=6080/6080
[pid=19289] ppid=19287 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19289/stat : 19289 (runPb2satCp2.sh) S 19287 19289 17405 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284315992 9367552 274 33554432000 4194304 5064252 140734730695056 140734730693968 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19289/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100265 s]
/proc/loadavg: 2.02 2.01 2.00 4/179 19289
/proc/meminfo: memFree=30275852/32873844 swapFree=6080/6080
[pid=19289] ppid=19287 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19289/stat : 19289 (runPb2satCp2.sh) S 19287 19289 17405 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284315992 9367552 274 33554432000 4194304 5064252 140734730695056 140734730693968 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19289/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300235 s]
/proc/loadavg: 2.02 2.01 2.00 4/179 19289
/proc/meminfo: memFree=30275852/32873844 swapFree=6080/6080
[pid=19289] ppid=19287 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19289/stat : 19289 (runPb2satCp2.sh) S 19287 19289 17405 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284315992 9367552 274 33554432000 4194304 5064252 140734730695056 140734730693968 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19289/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700269 s]
/proc/loadavg: 2.02 2.01 2.00 4/179 19289
/proc/meminfo: memFree=30275852/32873844 swapFree=6080/6080
[pid=19289] ppid=19287 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19289/stat : 19289 (runPb2satCp2.sh) S 19287 19289 17405 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284315992 9367552 274 33554432000 4194304 5064252 140734730695056 140734730693968 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19289/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50026 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 19291
/proc/meminfo: memFree=30256424/32873844 swapFree=6080/6080
[pid=19289] ppid=19287 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19289/stat : 19289 (runPb2satCp2.sh) S 19287 19289 17405 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284315992 9367552 274 33554432000 4194304 5064252 140734730695056 140734730693968 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19289/statm: 2287 274 233 213 0 72 0
[pid=19290] ppid=19289 vsize=30700 CPUtime=1.49 cores=1,3,5,7
/proc/19290/stat : 19290 (pb2sat) R 19289 19289 17405 0 -1 4202496 5872 0 0 0 148 1 0 0 20 0 1 0 284315992 31436800 7160 33554432000 4194304 5873084 140736975075632 140736975073000 4929365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19290/statm: 7675 7160 148 410 0 7257 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39848
[startup+3.10034 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 19291
/proc/meminfo: memFree=30223408/32873844 swapFree=6080/6080
[pid=19289] ppid=19287 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19289/stat : 19289 (runPb2satCp2.sh) S 19287 19289 17405 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284315992 9367552 274 33554432000 4194304 5064252 140734730695056 140734730693968 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19289/statm: 2287 274 233 213 0 72 0
[pid=19290] ppid=19289 vsize=197156 CPUtime=3.09 cores=1,3,5,7
/proc/19290/stat : 19290 (pb2sat) R 19289 19289 17405 0 -1 4202496 20705 0 0 0 302 7 0 0 20 0 1 0 284315992 201887744 38546 33554432000 4194304 5873084 140736975075632 140736975037192 4920028 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19290/statm: 49289 38547 162 410 0 48871 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 206304
[startup+6.30039 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 19335
/proc/meminfo: memFree=30348584/32873844 swapFree=6080/6080
[pid=19289] ppid=19287 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19289/stat : 19289 (runPb2satCp2.sh) S 19287 19289 17405 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284315992 9367552 274 33554432000 4194304 5064252 140734730695056 140734730693968 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19289/statm: 2287 274 233 213 0 72 0
[pid=19290] ppid=19289 vsize=209228 CPUtime=3.41 cores=1,3,5,7
/proc/19290/stat : 19290 (pb2sat) S 19289 19289 17405 0 -1 4202496 24419 0 0 0 318 23 0 0 20 0 1 0 284315992 214249472 43096 33554432000 4194304 5873084 140736975075632 140736975072056 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19290/statm: 52307 43096 169 410 0 51889 0
[pid=19292] ppid=19290 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19292/stat : 19292 (satsolver.sh) S 19290 19289 17405 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284316334 9367552 267 33554432000 4194304 5064252 140735040354896 140735040353808 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19292/statm: 2287 267 226 213 0 72 0
[pid=19293] ppid=19292 vsize=532572 CPUtime=2.87 cores=1,3,5,7
/proc/19293/stat : 19293 (glucose_static) R 19292 19289 17405 0 -1 4202496 78596 0 0 0 267 20 0 0 20 0 1 0 284316335 545353728 119478 33554432000 4194304 4896791 140734324032432 140734324029576 4225008 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19293/statm: 133143 119478 76 172 0 132969 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 760096
[startup+12.7004 s]
/proc/loadavg: 2.02 2.01 2.00 3/182 19342
/proc/meminfo: memFree=30196504/32873844 swapFree=6080/6080
[pid=19289] ppid=19287 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19289/stat : 19289 (runPb2satCp2.sh) S 19287 19289 17405 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284315992 9367552 274 33554432000 4194304 5064252 140734730695056 140734730693968 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19289/statm: 2287 274 233 213 0 72 0
[pid=19290] ppid=19289 vsize=209228 CPUtime=3.41 cores=1,3,5,7
/proc/19290/stat : 19290 (pb2sat) S 19289 19289 17405 0 -1 4202496 24419 0 0 0 318 23 0 0 20 0 1 0 284315992 214249472 43096 33554432000 4194304 5873084 140736975075632 140736975072056 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19290/statm: 52307 43096 169 410 0 51889 0
[pid=19292] ppid=19290 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19292/stat : 19292 (satsolver.sh) S 19290 19289 17405 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284316334 9367552 267 33554432000 4194304 5064252 140735040354896 140735040353808 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19292/statm: 2287 267 226 213 0 72 0
[pid=19293] ppid=19292 vsize=583328 CPUtime=9.27 cores=1,3,5,7
/proc/19293/stat : 19293 (glucose_static) R 19292 19289 17405 0 -1 4202496 79275 0 0 0 906 21 0 0 20 0 1 0 284316335 597327872 121690 33554432000 4194304 4896791 140734324032432 140734324029800 4203733 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19293/statm: 145832 121690 76 172 0 145658 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 810852
[startup+25.5005 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 19350
/proc/meminfo: memFree=30140456/32873844 swapFree=6080/6080
[pid=19289] ppid=19287 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19289/stat : 19289 (runPb2satCp2.sh) S 19287 19289 17405 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284315992 9367552 274 33554432000 4194304 5064252 140734730695056 140734730693968 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19289/statm: 2287 274 233 213 0 72 0
[pid=19290] ppid=19289 vsize=209228 CPUtime=3.41 cores=1,3,5,7
/proc/19290/stat : 19290 (pb2sat) S 19289 19289 17405 0 -1 4202496 24419 0 0 0 318 23 0 0 20 0 1 0 284315992 214249472 43096 33554432000 4194304 5873084 140736975075632 140736975072056 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19290/statm: 52307 43096 169 410 0 51889 0
[pid=19292] ppid=19290 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19292/stat : 19292 (satsolver.sh) S 19290 19289 17405 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284316334 9367552 267 33554432000 4194304 5064252 140735040354896 140735040353808 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19292/statm: 2287 267 226 213 0 72 0
[pid=19293] ppid=19292 vsize=584960 CPUtime=22.06 cores=1,3,5,7
/proc/19293/stat : 19293 (glucose_static) R 19292 19289 17405 0 -1 4202496 79743 0 0 0 2185 21 0 0 20 0 1 0 284316335 598999040 125681 33554432000 4194304 4896791 140734324032432 140734324029576 4225191 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19293/statm: 146240 125681 78 172 0 146066 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 812484
[startup+51.1005 s]
/proc/loadavg: 2.01 2.00 2.00 3/182 19350
/proc/meminfo: memFree=30078180/32873844 swapFree=6080/6080
[pid=19289] ppid=19287 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19289/stat : 19289 (runPb2satCp2.sh) S 19287 19289 17405 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284315992 9367552 274 33554432000 4194304 5064252 140734730695056 140734730693968 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19289/statm: 2287 274 233 213 0 72 0
[pid=19290] ppid=19289 vsize=209228 CPUtime=3.41 cores=1,3,5,7
/proc/19290/stat : 19290 (pb2sat) S 19289 19289 17405 0 -1 4202496 24419 0 0 0 318 23 0 0 20 0 1 0 284315992 214249472 43096 33554432000 4194304 5873084 140736975075632 140736975072056 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19290/statm: 52307 43096 169 410 0 51889 0
[pid=19292] ppid=19290 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19292/stat : 19292 (satsolver.sh) S 19290 19289 17405 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284316334 9367552 267 33554432000 4194304 5064252 140735040354896 140735040353808 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19292/statm: 2287 267 226 213 0 72 0
[pid=19293] ppid=19292 vsize=595304 CPUtime=47.65 cores=1,3,5,7
/proc/19293/stat : 19293 (glucose_static) R 19292 19289 17405 0 -1 4202496 83450 0 0 0 4740 25 0 0 20 0 1 0 284316335 609591296 125281 33554432000 4194304 4896791 140734324032432 140734324029640 4224983 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19293/statm: 148826 125281 78 172 0 148652 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 822828
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 19353
/proc/meminfo: memFree=30074140/32873844 swapFree=6080/6080
[pid=19289] ppid=19287 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19289/stat : 19289 (runPb2satCp2.sh) S 19287 19289 17405 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284315992 9367552 274 33554432000 4194304 5064252 140734730695056 140734730693968 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19289/statm: 2287 274 233 213 0 72 0
[pid=19290] ppid=19289 vsize=209228 CPUtime=3.41 cores=1,3,5,7
/proc/19290/stat : 19290 (pb2sat) S 19289 19289 17405 0 -1 4202496 24419 0 0 0 318 23 0 0 20 0 1 0 284315992 214249472 43096 33554432000 4194304 5873084 140736975075632 140736975072056 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19290/statm: 52307 43096 169 410 0 51889 0
[pid=19292] ppid=19290 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19292/stat : 19292 (satsolver.sh) S 19290 19289 17405 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284316334 9367552 267 33554432000 4194304 5064252 140735040354896 140735040353808 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19292/statm: 2287 267 226 213 0 72 0
[pid=19293] ppid=19292 vsize=599720 CPUtime=98.86 cores=1,3,5,7
/proc/19293/stat : 19293 (glucose_static) R 19292 19289 17405 0 -1 4202496 84598 0 0 0 9860 26 0 0 20 0 1 0 284316335 614113280 126940 33554432000 4194304 4896791 140734324032432 140734324029736 4223805 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19293/statm: 149930 126940 78 172 0 149756 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 827244
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19354
/proc/meminfo: memFree=30061480/32873844 swapFree=6080/6080
[pid=19289] ppid=19287 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19289/stat : 19289 (runPb2satCp2.sh) S 19287 19289 17405 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284315992 9367552 274 33554432000 4194304 5064252 140734730695056 140734730693968 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19289/statm: 2287 274 233 213 0 72 0
[pid=19290] ppid=19289 vsize=209228 CPUtime=3.41 cores=1,3,5,7
/proc/19290/stat : 19290 (pb2sat) S 19289 19289 17405 0 -1 4202496 24419 0 0 0 318 23 0 0 20 0 1 0 284315992 214249472 43096 33554432000 4194304 5873084 140736975075632 140736975072056 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19290/statm: 52307 43096 169 410 0 51889 0
[pid=19292] ppid=19290 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19292/stat : 19292 (satsolver.sh) S 19290 19289 17405 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284316334 9367552 267 33554432000 4194304 5064252 140735040354896 140735040353808 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19292/statm: 2287 267 226 213 0 72 0
[pid=19293] ppid=19292 vsize=600164 CPUtime=158.84 cores=1,3,5,7
/proc/19293/stat : 19293 (glucose_static) R 19292 19289 17405 0 -1 4202496 84719 0 0 0 15858 26 0 0 20 0 1 0 284316335 614567936 127055 33554432000 4194304 4896791 140734324032432 140734324029640 4224864 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19293/statm: 150041 127055 78 172 0 149867 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 827688
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19357
/proc/meminfo: memFree=30072040/32873844 swapFree=6080/6080
[pid=19289] ppid=19287 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 19382
/proc/meminfo: memFree=30077380/32873844 swapFree=6080/6080
[pid=19289] ppid=19287 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19289/stat : 19289 (runPb2satCp2.sh) S 19287 19289 17405 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284315992 9367552 274 33554432000 4194304 5064252 140734730695056 140734730693968 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19289/statm: 2287 274 233 213 0 72 0
[pid=19290] ppid=19289 vsize=209228 CPUtime=3.41 cores=1,3,5,7
/proc/19290/stat : 19290 (pb2sat) S 19289 19289 17405 0 -1 4202496 24419 0 0 0 318 23 0 0 20 0 1 0 284315992 214249472 43096 33554432000 4194304 5873084 140736975075632 140736975072056 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19290/statm: 52307 43096 169 410 0 51889 0
[pid=19292] ppid=19290 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19292/stat : 19292 (satsolver.sh) S 19290 19289 17405 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284316334 9367552 267 33554432000 4194304 5064252 140735040354896 140735040353808 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19292/statm: 2287 267 226 213 0 72 0
[pid=19293] ppid=19292 vsize=626228 CPUtime=1358.63 cores=1,3,5,7
/proc/19293/stat : 19293 (glucose_static) R 19292 19289 17405 0 -1 4202496 119734 0 0 0 135823 40 0 0 20 0 1 0 284316335 641257472 133144 33554432000 4194304 4896791 140734324032432 140734324029640 4224706 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19293/statm: 156557 133144 78 172 0 156383 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 853752
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/184 19383
/proc/meminfo: memFree=30067348/32873844 swapFree=6080/6080
[pid=19289] ppid=19287 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19289/stat : 19289 (runPb2satCp2.sh) S 19287 19289 17405 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284315992 9367552 274 33554432000 4194304 5064252 140734730695056 140734730693968 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19289/statm: 2287 274 233 213 0 72 0
[pid=19290] ppid=19289 vsize=209228 CPUtime=3.41 cores=1,3,5,7
/proc/19290/stat : 19290 (pb2sat) S 19289 19289 17405 0 -1 4202496 24419 0 0 0 318 23 0 0 20 0 1 0 284315992 214249472 43096 33554432000 4194304 5873084 140736975075632 140736975072056 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19290/statm: 52307 43096 169 410 0 51889 0
[pid=19292] ppid=19290 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19292/stat : 19292 (satsolver.sh) S 19290 19289 17405 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284316334 9367552 267 33554432000 4194304 5064252 140735040354896 140735040353808 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19292/statm: 2287 267 226 213 0 72 0
[pid=19293] ppid=19292 vsize=626368 CPUtime=1418.62 cores=1,3,5,7
/proc/19293/stat : 19293 (glucose_static) R 19292 19289 17405 0 -1 4202496 119755 0 0 0 141822 40 0 0 20 0 1 0 284316335 641400832 133171 33554432000 4194304 4896791 140734324032432 140734324029640 4224706 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19293/statm: 156592 133171 78 172 0 156418 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 853892
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19384
/proc/meminfo: memFree=30074732/32873844 swapFree=6080/6080
[pid=19289] ppid=19287 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19289/stat : 19289 (runPb2satCp2.sh) S 19287 19289 17405 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284315992 9367552 274 33554432000 4194304 5064252 140734730695056 140734730693968 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19289/statm: 2287 274 233 213 0 72 0
[pid=19290] ppid=19289 vsize=209228 CPUtime=3.41 cores=1,3,5,7
/proc/19290/stat : 19290 (pb2sat) S 19289 19289 17405 0 -1 4202496 24419 0 0 0 318 23 0 0 20 0 1 0 284315992 214249472 43096 33554432000 4194304 5873084 140736975075632 140736975072056 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19290/statm: 52307 43096 169 410 0 51889 0
[pid=19292] ppid=19290 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19292/stat : 19292 (satsolver.sh) S 19290 19289 17405 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284316334 9367552 267 33554432000 4194304 5064252 140735040354896 140735040353808 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19292/statm: 2287 267 226 213 0 72 0
[pid=19293] ppid=19292 vsize=626368 CPUtime=1478.6 cores=1,3,5,7
/proc/19293/stat : 19293 (glucose_static) R 19292 19289 17405 0 -1 4202496 119758 0 0 0 147820 40 0 0 20 0 1 0 284316335 641400832 133173 33554432000 4194304 4896791 140734324032432 140734324029640 4224684 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19293/statm: 156592 133173 78 172 0 156418 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 853892
[startup+1542.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/183 19384
/proc/meminfo: memFree=30048176/32873844 swapFree=6080/6080
[pid=19289] ppid=19287 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19289/stat : 19289 (runPb2satCp2.sh) S 19287 19289 17405 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284315992 9367552 274 33554432000 4194304 5064252 140734730695056 140734730693968 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19289/statm: 2287 274 233 213 0 72 0
[pid=19290] ppid=19289 vsize=209228 CPUtime=3.41 cores=1,3,5,7
/proc/19290/stat : 19290 (pb2sat) S 19289 19289 17405 0 -1 4202496 24419 0 0 0 318 23 0 0 20 0 1 0 284315992 214249472 43096 33554432000 4194304 5873084 140736975075632 140736975072056 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19290/statm: 52307 43096 169 410 0 51889 0
[pid=19292] ppid=19290 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19292/stat : 19292 (satsolver.sh) S 19290 19289 17405 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284316334 9367552 267 33554432000 4194304 5064252 140735040354896 140735040353808 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19292/statm: 2287 267 226 213 0 72 0
[pid=19293] ppid=19292 vsize=626368 CPUtime=1538.59 cores=1,3,5,7
/proc/19293/stat : 19293 (glucose_static) R 19292 19289 17405 0 -1 4202496 119785 0 0 0 153819 40 0 0 20 0 1 0 284316335 641400832 133200 33554432000 4194304 4896791 140734324032432 140734324029640 4224684 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19293/statm: 156592 133200 78 172 0 156418 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 853892
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 19384
/proc/meminfo: memFree=30043168/32873844 swapFree=6080/6080
[pid=19289] ppid=19287 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19289/stat : 19289 (runPb2satCp2.sh) S 19287 19289 17405 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284315992 9367552 274 33554432000 4194304 5064252 140734730695056 140734730693968 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19289/statm: 2287 274 233 213 0 72 0
[pid=19290] ppid=19289 vsize=209228 CPUtime=3.41 cores=1,3,5,7
/proc/19290/stat : 19290 (pb2sat) S 19289 19289 17405 0 -1 4202496 24419 0 0 0 318 23 0 0 20 0 1 0 284315992 214249472 43096 33554432000 4194304 5873084 140736975075632 140736975072056 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19290/statm: 52307 43096 169 410 0 51889 0
[pid=19292] ppid=19290 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19292/stat : 19292 (satsolver.sh) S 19290 19289 17405 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284316334 9367552 267 33554432000 4194304 5064252 140735040354896 140735040353808 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19292/statm: 2287 267 226 213 0 72 0
[pid=19293] ppid=19292 vsize=626532 CPUtime=1598.58 cores=1,3,5,7
/proc/19293/stat : 19293 (glucose_static) R 19292 19289 17405 0 -1 4202496 119809 0 0 0 159818 40 0 0 20 0 1 0 284316335 641568768 133735 33554432000 4194304 4896791 140734324032432 140734324029640 4224706 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19293/statm: 156633 133735 78 172 0 156459 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 854056
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19384
/proc/meminfo: memFree=30045668/32873844 swapFree=6080/6080
[pid=19289] ppid=19287 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19289/stat : 19289 (runPb2satCp2.sh) S 19287 19289 17405 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284315992 9367552 274 33554432000 4194304 5064252 140734730695056 140734730693968 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19289/statm: 2287 274 233 213 0 72 0
[pid=19290] ppid=19289 vsize=209228 CPUtime=3.41 cores=1,3,5,7
/proc/19290/stat : 19290 (pb2sat) S 19289 19289 17405 0 -1 4202496 24419 0 0 0 318 23 0 0 20 0 1 0 284315992 214249472 43096 33554432000 4194304 5873084 140736975075632 140736975072056 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19290/statm: 52307 43096 169 410 0 51889 0
[pid=19292] ppid=19290 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19292/stat : 19292 (satsolver.sh) S 19290 19289 17405 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284316334 9367552 267 33554432000 4194304 5064252 140735040354896 140735040353808 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19292/statm: 2287 267 226 213 0 72 0
[pid=19293] ppid=19292 vsize=626740 CPUtime=1658.57 cores=1,3,5,7
/proc/19293/stat : 19293 (glucose_static) R 19292 19289 17405 0 -1 4202496 119854 0 0 0 165817 40 0 0 20 0 1 0 284316335 641781760 133780 33554432000 4194304 4896791 140734324032432 140734324029640 4224706 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19293/statm: 156685 133780 78 172 0 156511 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 854264
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 19387
/proc/meminfo: memFree=30056396/32873844 swapFree=6080/6080
[pid=19289] ppid=19287 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19289/stat : 19289 (runPb2satCp2.sh) S 19287 19289 17405 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284315992 9367552 274 33554432000 4194304 5064252 140734730695056 140734730693968 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19289/statm: 2287 274 233 213 0 72 0
[pid=19290] ppid=19289 vsize=209228 CPUtime=3.41 cores=1,3,5,7
/proc/19290/stat : 19290 (pb2sat) S 19289 19289 17405 0 -1 4202496 24419 0 0 0 318 23 0 0 20 0 1 0 284315992 214249472 43096 33554432000 4194304 5873084 140736975075632 140736975072056 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19290/statm: 52307 43096 169 410 0 51889 0
[pid=19292] ppid=19290 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19292/stat : 19292 (satsolver.sh) S 19290 19289 17405 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284316334 9367552 267 33554432000 4194304 5064252 140735040354896 140735040353808 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19292/statm: 2287 267 226 213 0 72 0
[pid=19293] ppid=19292 vsize=626740 CPUtime=1718.56 cores=1,3,5,7
/proc/19293/stat : 19293 (glucose_static) R 19292 19289 17405 0 -1 4202496 119854 0 0 0 171816 40 0 0 20 0 1 0 284316335 641781760 133780 33554432000 4194304 4896791 140734324032432 140734324029640 4224706 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19293/statm: 156685 133780 78 172 0 156511 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 854264
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19388
/proc/meminfo: memFree=30049908/32873844 swapFree=6080/6080
[pid=19289] ppid=19287 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19289/stat : 19289 (runPb2satCp2.sh) S 19287 19289 17405 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284315992 9367552 274 33554432000 4194304 5064252 140734730695056 140734730693968 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19289/statm: 2287 274 233 213 0 72 0
[pid=19290] ppid=19289 vsize=209228 CPUtime=3.41 cores=1,3,5,7
/proc/19290/stat : 19290 (pb2sat) S 19289 19289 17405 0 -1 4202496 24419 0 0 0 318 23 0 0 20 0 1 0 284315992 214249472 43096 33554432000 4194304 5873084 140736975075632 140736975072056 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19290/statm: 52307 43096 169 410 0 51889 0
[pid=19292] ppid=19290 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19292/stat : 19292 (satsolver.sh) S 19290 19289 17405 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284316334 9367552 267 33554432000 4194304 5064252 140735040354896 140735040353808 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19292/statm: 2287 267 226 213 0 72 0
[pid=19293] ppid=19292 vsize=626740 CPUtime=1778.56 cores=1,3,5,7
/proc/19293/stat : 19293 (glucose_static) R 19292 19289 17405 0 -1 4202496 119854 0 0 0 177816 40 0 0 20 0 1 0 284316335 641781760 133780 33554432000 4194304 4896791 140734324032432 140734324029640 4224684 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19293/statm: 156685 133780 78 172 0 156511 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 854264
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19388
/proc/meminfo: memFree=30041532/32873844 swapFree=6080/6080
[pid=19289] ppid=19287 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19289/stat : 19289 (runPb2satCp2.sh) S 19287 19289 17405 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 284315992 9367552 274 33554432000 4194304 5064252 140734730695056 140734730693968 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19289/statm: 2287 274 233 213 0 72 0
[pid=19290] ppid=19289 vsize=209228 CPUtime=3.41 cores=1,3,5,7
/proc/19290/stat : 19290 (pb2sat) S 19289 19289 17405 0 -1 4202496 24419 0 0 0 318 23 0 0 20 0 1 0 284315992 214249472 43096 33554432000 4194304 5873084 140736975075632 140736975072056 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19290/statm: 52307 43096 169 410 0 51889 0
[pid=19292] ppid=19290 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19292/stat : 19292 (satsolver.sh) S 19290 19289 17405 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284316334 9367552 267 33554432000 4194304 5064252 140735040354896 140735040353808 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19292/statm: 2287 267 226 213 0 72 0
[pid=19293] ppid=19292 vsize=626740 CPUtime=1796.66 cores=1,3,5,7
/proc/19293/stat : 19293 (glucose_static) R 19292 19289 17405 0 -1 4202496 119854 0 0 0 179626 40 0 0 20 0 1 0 284316335 641781760 133780 33554432000 4194304 4896791 140734324032432 140734324029640 4224684 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19293/statm: 156685 133780 78 172 0 156511 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 854264
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.42
CPU time (s): 1800.11
CPU user time (s): 1799.45
CPU system time (s): 0.661899
CPU usage (%): 99.9829
Max. virtual memory (cumulated for all children) (KiB): 931008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.45
system time used= 0.661899
maximum resident set size= 617920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 145255
page faults= 0
swaps= 0
block input operations= 0
block output operations= 189552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 75
involuntary context switches= 1848
runsolver used 2.93055 second user time and 8.5447 second system time
The end