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-3695096-1338075871/watcher-3695096-1338075871 -o /tmp/evaluation-result-3695096-1338075871/solver-3695096-1338075871 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3695096-1338075871.opb 248768211 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.03 2.00 3/179 10450
/proc/meminfo: memFree=28601652/32873844 swapFree=7116/7116
[pid=10450] ppid=10448 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10450/stat : 10450 (runPb2satCp2.sh) S 10448 10450 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273711993 9367552 274 33554432000 4194304 5064252 140736057601056 140736057599968 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10450/statm: 2287 274 233 213 0 72 0
[startup+0.034221 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 10450
/proc/meminfo: memFree=28601652/32873844 swapFree=7116/7116
[pid=10450] ppid=10448 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10450/stat : 10450 (runPb2satCp2.sh) S 10448 10450 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273711993 9367552 274 33554432000 4194304 5064252 140736057601056 140736057599968 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10450/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100264 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 10450
/proc/meminfo: memFree=28601652/32873844 swapFree=7116/7116
[pid=10450] ppid=10448 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10450/stat : 10450 (runPb2satCp2.sh) S 10448 10450 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273711993 9367552 274 33554432000 4194304 5064252 140736057601056 140736057599968 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10450/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300242 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 10450
/proc/meminfo: memFree=28601652/32873844 swapFree=7116/7116
[pid=10450] ppid=10448 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10450/stat : 10450 (runPb2satCp2.sh) S 10448 10450 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273711993 9367552 274 33554432000 4194304 5064252 140736057601056 140736057599968 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10450/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700241 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 10450
/proc/meminfo: memFree=28601652/32873844 swapFree=7116/7116
[pid=10450] ppid=10448 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10450/stat : 10450 (runPb2satCp2.sh) S 10448 10450 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273711993 9367552 274 33554432000 4194304 5064252 140736057601056 140736057599968 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10450/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50032 s]
/proc/loadavg: 2.00 2.03 2.00 3/181 10455
/proc/meminfo: memFree=28576948/32873844 swapFree=7116/7116
[pid=10450] ppid=10448 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10450/stat : 10450 (runPb2satCp2.sh) S 10448 10450 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273711993 9367552 274 33554432000 4194304 5064252 140736057601056 140736057599968 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10450/statm: 2287 274 233 213 0 72 0
[pid=10451] ppid=10450 vsize=77676 CPUtime=1.34 cores=0,2,4,6
/proc/10451/stat : 10451 (pb2sat) D 10450 10450 6780 0 -1 4202496 7686 4064 0 0 105 24 4 1 20 0 1 0 273711993 79540224 17997 33554432000 4194304 5873084 140734121718352 140734121712808 5129975 0 0 4096 0 18446744071580543392 0 0 17 4 0 0 0 0 0
/proc/10451/statm: 19419 17997 179 410 0 19001 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 86824
[startup+3.10037 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 10457
/proc/meminfo: memFree=28447640/32873844 swapFree=7116/7116
[pid=10450] ppid=10448 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10450/stat : 10450 (runPb2satCp2.sh) S 10448 10450 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273711993 9367552 274 33554432000 4194304 5064252 140736057601056 140736057599968 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10450/statm: 2287 274 233 213 0 72 0
[pid=10451] ppid=10450 vsize=49388 CPUtime=1.38 cores=0,2,4,6
/proc/10451/stat : 10451 (pb2sat) S 10450 10450 6780 0 -1 4202496 7687 4064 0 0 105 28 4 1 20 0 1 0 273711993 50573312 10926 33554432000 4194304 5873084 140734121718352 140734121712168 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 44 0 0
/proc/10451/statm: 12347 10926 179 410 0 11929 0
[pid=10456] ppid=10451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10456/stat : 10456 (satsolver.sh) S 10451 10450 6780 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273712178 9367552 267 33554432000 4194304 5064252 140735063121424 140735063120336 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10456/statm: 2287 267 226 213 0 72 0
[pid=10457] ppid=10456 vsize=90300 CPUtime=1.24 cores=0,2,4,6
/proc/10457/stat : 10457 (glucose_static) R 10456 10450 6780 0 -1 4202496 19506 0 0 0 119 5 0 0 20 0 1 0 273712178 92467200 19808 33554432000 4194304 4896791 140734307917632 140734307914680 4224983 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10457/statm: 22575 19808 77 172 0 22401 0
Current children cumulated CPU time (s) 2.62
Current children cumulated vsize (KiB) 157984
[startup+6.30037 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 10457
/proc/meminfo: memFree=28442964/32873844 swapFree=7116/7116
[pid=10450] ppid=10448 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10450/stat : 10450 (runPb2satCp2.sh) S 10448 10450 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273711993 9367552 274 33554432000 4194304 5064252 140736057601056 140736057599968 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10450/statm: 2287 274 233 213 0 72 0
[pid=10451] ppid=10450 vsize=49388 CPUtime=1.38 cores=0,2,4,6
/proc/10451/stat : 10451 (pb2sat) S 10450 10450 6780 0 -1 4202496 7687 4064 0 0 105 28 4 1 20 0 1 0 273711993 50573312 10926 33554432000 4194304 5873084 140734121718352 140734121712168 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 44 0 0
/proc/10451/statm: 12347 10926 179 410 0 11929 0
[pid=10456] ppid=10451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10456/stat : 10456 (satsolver.sh) S 10451 10450 6780 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273712178 9367552 267 33554432000 4194304 5064252 140735063121424 140735063120336 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10456/statm: 2287 267 226 213 0 72 0
[pid=10457] ppid=10456 vsize=90300 CPUtime=4.44 cores=0,2,4,6
/proc/10457/stat : 10457 (glucose_static) R 10456 10450 6780 0 -1 4202496 19506 0 0 0 439 5 0 0 20 0 1 0 273712178 92467200 19808 33554432000 4194304 4896791 140734307917632 140734307914680 4203877 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10457/statm: 22575 19808 77 172 0 22401 0
Current children cumulated CPU time (s) 5.82
Current children cumulated vsize (KiB) 157984
[startup+12.7004 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 10457
/proc/meminfo: memFree=28442856/32873844 swapFree=7116/7116
[pid=10450] ppid=10448 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10450/stat : 10450 (runPb2satCp2.sh) S 10448 10450 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273711993 9367552 274 33554432000 4194304 5064252 140736057601056 140736057599968 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10450/statm: 2287 274 233 213 0 72 0
[pid=10451] ppid=10450 vsize=49388 CPUtime=1.38 cores=0,2,4,6
/proc/10451/stat : 10451 (pb2sat) S 10450 10450 6780 0 -1 4202496 7687 4064 0 0 105 28 4 1 20 0 1 0 273711993 50573312 10926 33554432000 4194304 5873084 140734121718352 140734121712168 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 44 0 0
/proc/10451/statm: 12347 10926 179 410 0 11929 0
[pid=10456] ppid=10451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10456/stat : 10456 (satsolver.sh) S 10451 10450 6780 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273712178 9367552 267 33554432000 4194304 5064252 140735063121424 140735063120336 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10456/statm: 2287 267 226 213 0 72 0
[pid=10457] ppid=10456 vsize=90300 CPUtime=10.84 cores=0,2,4,6
/proc/10457/stat : 10457 (glucose_static) R 10456 10450 6780 0 -1 4202496 19506 0 0 0 1079 5 0 0 20 0 1 0 273712178 92467200 19808 33554432000 4194304 4896791 140734307917632 140734307914680 4224983 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10457/statm: 22575 19808 77 172 0 22401 0
Current children cumulated CPU time (s) 12.22
Current children cumulated vsize (KiB) 157984
[startup+25.5004 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 10457
/proc/meminfo: memFree=28441428/32873844 swapFree=7116/7116
[pid=10450] ppid=10448 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10450/stat : 10450 (runPb2satCp2.sh) S 10448 10450 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273711993 9367552 274 33554432000 4194304 5064252 140736057601056 140736057599968 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10450/statm: 2287 274 233 213 0 72 0
[pid=10451] ppid=10450 vsize=49388 CPUtime=1.38 cores=0,2,4,6
/proc/10451/stat : 10451 (pb2sat) S 10450 10450 6780 0 -1 4202496 7687 4064 0 0 105 28 4 1 20 0 1 0 273711993 50573312 10926 33554432000 4194304 5873084 140734121718352 140734121712168 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 44 0 0
/proc/10451/statm: 12347 10926 179 410 0 11929 0
[pid=10456] ppid=10451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10456/stat : 10456 (satsolver.sh) S 10451 10450 6780 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273712178 9367552 267 33554432000 4194304 5064252 140735063121424 140735063120336 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10456/statm: 2287 267 226 213 0 72 0
[pid=10457] ppid=10456 vsize=90300 CPUtime=23.63 cores=0,2,4,6
/proc/10457/stat : 10457 (glucose_static) R 10456 10450 6780 0 -1 4202496 19506 0 0 0 2358 5 0 0 20 0 1 0 273712178 92467200 19808 33554432000 4194304 4896791 140734307917632 140734307914680 4224684 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10457/statm: 22575 19808 77 172 0 22401 0
Current children cumulated CPU time (s) 25.01
Current children cumulated vsize (KiB) 157984
[startup+51.1005 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 10457
/proc/meminfo: memFree=28441304/32873844 swapFree=7116/7116
[pid=10450] ppid=10448 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10450/stat : 10450 (runPb2satCp2.sh) S 10448 10450 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273711993 9367552 274 33554432000 4194304 5064252 140736057601056 140736057599968 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10450/statm: 2287 274 233 213 0 72 0
[pid=10451] ppid=10450 vsize=49388 CPUtime=1.38 cores=0,2,4,6
/proc/10451/stat : 10451 (pb2sat) S 10450 10450 6780 0 -1 4202496 7687 4064 0 0 105 28 4 1 20 0 1 0 273711993 50573312 10926 33554432000 4194304 5873084 140734121718352 140734121712168 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 44 0 0
/proc/10451/statm: 12347 10926 179 410 0 11929 0
[pid=10456] ppid=10451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10456/stat : 10456 (satsolver.sh) S 10451 10450 6780 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273712178 9367552 267 33554432000 4194304 5064252 140735063121424 140735063120336 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10456/statm: 2287 267 226 213 0 72 0
[pid=10457] ppid=10456 vsize=90564 CPUtime=49.23 cores=0,2,4,6
/proc/10457/stat : 10457 (glucose_static) R 10456 10450 6780 0 -1 4202496 19601 0 0 0 4918 5 0 0 20 0 1 0 273712178 92737536 19903 33554432000 4194304 4896791 140734307917632 140734307914840 4224177 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10457/statm: 22641 19903 77 172 0 22467 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 158248
[startup+102.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 10457
/proc/meminfo: memFree=28431528/32873844 swapFree=7116/7116
[pid=10450] ppid=10448 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10450/stat : 10450 (runPb2satCp2.sh) S 10448 10450 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273711993 9367552 274 33554432000 4194304 5064252 140736057601056 140736057599968 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10450/statm: 2287 274 233 213 0 72 0
[pid=10451] ppid=10450 vsize=49388 CPUtime=1.38 cores=0,2,4,6
/proc/10451/stat : 10451 (pb2sat) S 10450 10450 6780 0 -1 4202496 7687 4064 0 0 105 28 4 1 20 0 1 0 273711993 50573312 10926 33554432000 4194304 5873084 140734121718352 140734121712168 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 44 0 0
/proc/10451/statm: 12347 10926 179 410 0 11929 0
[pid=10456] ppid=10451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10456/stat : 10456 (satsolver.sh) S 10451 10450 6780 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273712178 9367552 267 33554432000 4194304 5064252 140735063121424 140735063120336 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10456/statm: 2287 267 226 213 0 72 0
[pid=10457] ppid=10456 vsize=104956 CPUtime=100.41 cores=0,2,4,6
/proc/10457/stat : 10457 (glucose_static) R 10456 10450 6780 0 -1 4202496 20824 0 0 0 10036 5 0 0 20 0 1 0 273712178 107474944 21820 33554432000 4194304 4896791 140734307917632 140734307915176 4203856 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10457/statm: 26239 21820 77 172 0 26065 0
Current children cumulated CPU time (s) 101.79
Current children cumulated vsize (KiB) 172640
[startup+162.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/183 10458
/proc/meminfo: memFree=28430672/32873844 swapFree=7116/7116
[pid=10450] ppid=10448 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10450/stat : 10450 (runPb2satCp2.sh) S 10448 10450 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273711993 9367552 274 33554432000 4194304 5064252 140736057601056 140736057599968 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10450/statm: 2287 274 233 213 0 72 0
[pid=10451] ppid=10450 vsize=49388 CPUtime=1.38 cores=0,2,4,6
/proc/10451/stat : 10451 (pb2sat) S 10450 10450 6780 0 -1 4202496 7687 4064 0 0 105 28 4 1 20 0 1 0 273711993 50573312 10926 33554432000 4194304 5873084 140734121718352 140734121712168 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 44 0 0
/proc/10451/statm: 12347 10926 179 410 0 11929 0
[pid=10456] ppid=10451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10456/stat : 10456 (satsolver.sh) S 10451 10450 6780 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273712178 9367552 267 33554432000 4194304 5064252 140735063121424 140735063120336 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10456/statm: 2287 267 226 213 0 72 0
[pid=10457] ppid=10456 vsize=108988 CPUtime=160.39 cores=0,2,4,6
/proc/10457/stat : 10457 (glucose_static) R 10456 10450 6780 0 -1 4202496 22030 0 0 0 16034 5 0 0 20 0 1 0 273712178 111603712 24182 33554432000 4194304 4896791 140734307917632 140734307914824 4203806 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10457/statm: 27247 24182 77 172 0 27073 0
Current children cumulated CPU time (s) 161.77
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10814
/proc/meminfo: memFree=28564204/32873844 swapFree=7116/7116
[pid=10450] ppid=10448 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10450/stat : 10450 (runPb2satCp2.sh) S 10448 10450 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273711993 9367552 274 33554432000 4194304 5064252 140736057601056 140736057599968 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10450/statm: 2287 274 233 213 0 72 0
[pid=10451] ppid=10450 vsize=79152 CPUtime=1343.72 cores=0,2,4,6
/proc/10451/stat : 10451 (pb2sat) S 10450 10450 6780 0 -1 4202496 52709 190283 0 0 599 67 133641 65 20 0 1 0 273711993 81051648 18407 33554432000 4194304 5873084 140734121718352 140734121712168 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 48 0 0
/proc/10451/statm: 19788 18407 179 410 0 19370 0
[pid=10813] ppid=10451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10813/stat : 10813 (satsolver.sh) S 10451 10450 6780 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273846458 9367552 267 33554432000 4194304 5064252 140735265462912 140735265461824 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/10813/statm: 2287 267 226 213 0 72 0
[pid=10814] ppid=10813 vsize=90112 CPUtime=17.63 cores=0,2,4,6
/proc/10814/stat : 10814 (glucose_static) R 10813 10450 6780 0 -1 4202496 19209 0 0 0 1758 5 0 0 20 0 1 0 273846458 92274688 19946 33554432000 4194304 4896791 140737183793680 140737183790888 4224118 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10814/statm: 22528 19946 77 172 0 22354 0
Current children cumulated CPU time (s) 1361.35
Current children cumulated vsize (KiB) 187560
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10818
/proc/meminfo: memFree=28575800/32873844 swapFree=7116/7116
[pid=10450] ppid=10448 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10450/stat : 10450 (runPb2satCp2.sh) S 10448 10450 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273711993 9367552 274 33554432000 4194304 5064252 140736057601056 140736057599968 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10450/statm: 2287 274 233 213 0 72 0
[pid=10451] ppid=10450 vsize=79152 CPUtime=1343.72 cores=0,2,4,6
/proc/10451/stat : 10451 (pb2sat) S 10450 10450 6780 0 -1 4202496 52709 190283 0 0 599 67 133641 65 20 0 1 0 273711993 81051648 18407 33554432000 4194304 5873084 140734121718352 140734121712168 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 48 0 0
/proc/10451/statm: 19788 18407 179 410 0 19370 0
[pid=10813] ppid=10451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10813/stat : 10813 (satsolver.sh) S 10451 10450 6780 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273846458 9367552 267 33554432000 4194304 5064252 140735265462912 140735265461824 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/10813/statm: 2287 267 226 213 0 72 0
[pid=10814] ppid=10813 vsize=91120 CPUtime=77.62 cores=0,2,4,6
/proc/10814/stat : 10814 (glucose_static) R 10813 10450 6780 0 -1 4202496 19447 0 0 0 7757 5 0 0 20 0 1 0 273846458 93306880 20173 33554432000 4194304 4896791 140737183793680 140737183790888 4203006 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10814/statm: 22780 20173 77 172 0 22606 0
Current children cumulated CPU time (s) 1421.34
Current children cumulated vsize (KiB) 188568
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10818
/proc/meminfo: memFree=28564204/32873844 swapFree=7116/7116
[pid=10450] ppid=10448 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10450/stat : 10450 (runPb2satCp2.sh) S 10448 10450 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273711993 9367552 274 33554432000 4194304 5064252 140736057601056 140736057599968 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10450/statm: 2287 274 233 213 0 72 0
[pid=10451] ppid=10450 vsize=79152 CPUtime=1343.72 cores=0,2,4,6
/proc/10451/stat : 10451 (pb2sat) S 10450 10450 6780 0 -1 4202496 52709 190283 0 0 599 67 133641 65 20 0 1 0 273711993 81051648 18407 33554432000 4194304 5873084 140734121718352 140734121712168 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 48 0 0
/proc/10451/statm: 19788 18407 179 410 0 19370 0
[pid=10813] ppid=10451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10813/stat : 10813 (satsolver.sh) S 10451 10450 6780 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273846458 9367552 267 33554432000 4194304 5064252 140735265462912 140735265461824 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/10813/statm: 2287 267 226 213 0 72 0
[pid=10814] ppid=10813 vsize=105024 CPUtime=137.61 cores=0,2,4,6
/proc/10814/stat : 10814 (glucose_static) R 10813 10450 6780 0 -1 4202496 20519 0 0 0 13755 6 0 0 20 0 1 0 273846458 107544576 21195 33554432000 4194304 4896791 140737183793680 140737183790824 4225417 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10814/statm: 26256 21195 77 172 0 26082 0
Current children cumulated CPU time (s) 1481.33
Current children cumulated vsize (KiB) 202472
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 10821
/proc/meminfo: memFree=28552692/32873844 swapFree=7116/7116
[pid=10450] ppid=10448 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10450/stat : 10450 (runPb2satCp2.sh) S 10448 10450 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273711993 9367552 274 33554432000 4194304 5064252 140736057601056 140736057599968 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10450/statm: 2287 274 233 213 0 72 0
[pid=10451] ppid=10450 vsize=79152 CPUtime=1343.72 cores=0,2,4,6
/proc/10451/stat : 10451 (pb2sat) S 10450 10450 6780 0 -1 4202496 52709 190283 0 0 599 67 133641 65 20 0 1 0 273711993 81051648 18407 33554432000 4194304 5873084 140734121718352 140734121712168 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 48 0 0
/proc/10451/statm: 19788 18407 179 410 0 19370 0
[pid=10813] ppid=10451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10813/stat : 10813 (satsolver.sh) S 10451 10450 6780 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273846458 9367552 267 33554432000 4194304 5064252 140735265462912 140735265461824 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/10813/statm: 2287 267 226 213 0 72 0
[pid=10814] ppid=10813 vsize=108000 CPUtime=197.6 cores=0,2,4,6
/proc/10814/stat : 10814 (glucose_static) R 10813 10450 6780 0 -1 4202496 21321 0 0 0 19754 6 0 0 20 0 1 0 273846458 110592000 23521 33554432000 4194304 4896791 140737183793680 140737183791208 4203862 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10814/statm: 27000 23521 77 172 0 26826 0
Current children cumulated CPU time (s) 1541.32
Current children cumulated vsize (KiB) 205448
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10824
/proc/meminfo: memFree=28556952/32873844 swapFree=7116/7116
[pid=10450] ppid=10448 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10450/stat : 10450 (runPb2satCp2.sh) S 10448 10450 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273711993 9367552 274 33554432000 4194304 5064252 140736057601056 140736057599968 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10450/statm: 2287 274 233 213 0 72 0
[pid=10451] ppid=10450 vsize=79152 CPUtime=1564 cores=0,2,4,6
/proc/10451/stat : 10451 (pb2sat) S 10450 10450 6780 0 -1 4202496 58347 213181 0 0 661 72 155593 74 20 0 1 0 273711993 81051648 18407 33554432000 4194304 5873084 140734121718352 140734121712168 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 48 0 0
/proc/10451/statm: 19788 18407 179 410 0 19370 0
[pid=10823] ppid=10451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10823/stat : 10823 (satsolver.sh) S 10451 10450 6780 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273868490 9367552 267 33554432000 4194304 5064252 140736283040304 140736283039216 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10823/statm: 2287 267 226 213 0 72 0
[pid=10824] ppid=10823 vsize=90408 CPUtime=37.3 cores=0,2,4,6
/proc/10824/stat : 10824 (glucose_static) R 10823 10450 6780 0 -1 4202496 19685 0 0 0 3725 5 0 0 20 0 1 0 273868490 92577792 19910 33554432000 4194304 4896791 140733471500288 140733471497608 4224118 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10824/statm: 22602 19910 77 172 0 22428 0
Current children cumulated CPU time (s) 1601.3
Current children cumulated vsize (KiB) 187856
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10827
/proc/meminfo: memFree=28568752/32873844 swapFree=7116/7116
[pid=10450] ppid=10448 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10450/stat : 10450 (runPb2satCp2.sh) S 10448 10450 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273711993 9367552 274 33554432000 4194304 5064252 140736057601056 140736057599968 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10450/statm: 2287 274 233 213 0 72 0
[pid=10451] ppid=10450 vsize=79152 CPUtime=1564 cores=0,2,4,6
/proc/10451/stat : 10451 (pb2sat) S 10450 10450 6780 0 -1 4202496 58347 213181 0 0 661 72 155593 74 20 0 1 0 273711993 81051648 18407 33554432000 4194304 5873084 140734121718352 140734121712168 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 48 0 0
/proc/10451/statm: 19788 18407 179 410 0 19370 0
[pid=10823] ppid=10451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10823/stat : 10823 (satsolver.sh) S 10451 10450 6780 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273868490 9367552 267 33554432000 4194304 5064252 140736283040304 140736283039216 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10823/statm: 2287 267 226 213 0 72 0
[pid=10824] ppid=10823 vsize=105532 CPUtime=97.29 cores=0,2,4,6
/proc/10824/stat : 10824 (glucose_static) R 10823 10450 6780 0 -1 4202496 21115 0 0 0 9724 5 0 0 20 0 1 0 273868490 108064768 22088 33554432000 4194304 4896791 140733471500288 140733471497496 4204115 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10824/statm: 26383 22088 77 172 0 26209 0
Current children cumulated CPU time (s) 1661.29
Current children cumulated vsize (KiB) 202980
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10831
/proc/meminfo: memFree=28566108/32873844 swapFree=7116/7116
[pid=10450] ppid=10448 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10450/stat : 10450 (runPb2satCp2.sh) S 10448 10450 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273711993 9367552 274 33554432000 4194304 5064252 140736057601056 140736057599968 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10450/statm: 2287 274 233 213 0 72 0
[pid=10451] ppid=10450 vsize=79152 CPUtime=1711.22 cores=0,2,4,6
/proc/10451/stat : 10451 (pb2sat) S 10450 10450 6780 0 -1 4202496 63869 236451 0 0 721 77 170242 82 20 0 1 0 273711993 81051648 18407 33554432000 4194304 5873084 140734121718352 140734121712168 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 48 0 0
/proc/10451/statm: 19788 18407 179 410 0 19370 0
[pid=10830] ppid=10451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10830/stat : 10830 (satsolver.sh) S 10451 10450 6780 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273883216 9367552 267 33554432000 4194304 5064252 140734642492688 140734642491600 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10830/statm: 2287 267 226 213 0 72 0
[pid=10831] ppid=10830 vsize=91216 CPUtime=10.05 cores=0,2,4,6
/proc/10831/stat : 10831 (glucose_static) R 10830 10450 6780 0 -1 4202496 20287 0 0 0 1000 5 0 0 20 0 1 0 273883217 93405184 20293 33554432000 4194304 4896791 140736856877632 140736856874840 4203877 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10831/statm: 22804 20293 77 172 0 22630 0
Current children cumulated CPU time (s) 1721.27
Current children cumulated vsize (KiB) 188664
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10834
/proc/meminfo: memFree=28560828/32873844 swapFree=7116/7116
[pid=10450] ppid=10448 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10450/stat : 10450 (runPb2satCp2.sh) S 10448 10450 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273711993 9367552 274 33554432000 4194304 5064252 140736057601056 140736057599968 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10450/statm: 2287 274 233 213 0 72 0
[pid=10451] ppid=10450 vsize=79152 CPUtime=1711.22 cores=0,2,4,6
/proc/10451/stat : 10451 (pb2sat) S 10450 10450 6780 0 -1 4202496 63869 236451 0 0 721 77 170242 82 20 0 1 0 273711993 81051648 18407 33554432000 4194304 5873084 140734121718352 140734121712168 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 48 0 0
/proc/10451/statm: 19788 18407 179 410 0 19370 0
[pid=10830] ppid=10451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10830/stat : 10830 (satsolver.sh) S 10451 10450 6780 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273883216 9367552 267 33554432000 4194304 5064252 140734642492688 140734642491600 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10830/statm: 2287 267 226 213 0 72 0
[pid=10831] ppid=10830 vsize=106436 CPUtime=70.03 cores=0,2,4,6
/proc/10831/stat : 10831 (glucose_static) R 10830 10450 6780 0 -1 4202496 21713 0 0 0 6998 5 0 0 20 0 1 0 273883217 108990464 22259 33554432000 4194304 4896791 140736856877632 140736856874888 4203058 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10831/statm: 26609 22259 77 172 0 26435 0
Current children cumulated CPU time (s) 1781.25
Current children cumulated vsize (KiB) 203884
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10834
/proc/meminfo: memFree=28554688/32873844 swapFree=7116/7116
[pid=10450] ppid=10448 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10450/stat : 10450 (runPb2satCp2.sh) S 10448 10450 6780 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273711993 9367552 274 33554432000 4194304 5064252 140736057601056 140736057599968 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10450/statm: 2287 274 233 213 0 72 0
[pid=10451] ppid=10450 vsize=79152 CPUtime=1711.22 cores=0,2,4,6
/proc/10451/stat : 10451 (pb2sat) S 10450 10450 6780 0 -1 4202496 63869 236451 0 0 721 77 170242 82 20 0 1 0 273711993 81051648 18407 33554432000 4194304 5873084 140734121718352 140734121712168 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 48 0 0
/proc/10451/statm: 19788 18407 179 410 0 19370 0
[pid=10830] ppid=10451 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10830/stat : 10830 (satsolver.sh) S 10451 10450 6780 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273883216 9367552 267 33554432000 4194304 5064252 140734642492688 140734642491600 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10830/statm: 2287 267 226 213 0 72 0
[pid=10831] ppid=10830 vsize=107508 CPUtime=88.83 cores=0,2,4,6
/proc/10831/stat : 10831 (glucose_static) R 10830 10450 6780 0 -1 4202496 22159 0 0 0 8878 5 0 0 20 0 1 0 273883217 110088192 22522 33554432000 4194304 4896791 140736856877632 140736856874776 4203006 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10831/statm: 26877 22522 77 172 0 26703 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 204956
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1801.11
CPU time (s): 1800.09
CPU user time (s): 1798.43
CPU system time (s): 1.65775
CPU usage (%): 99.943
Max. virtual memory (cumulated for all children) (KiB): 238256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.43
system time used= 1.65775
maximum resident set size= 117868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 323468
page faults= 0
swaps= 0
block input operations= 8
block output operations= 728112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 376
involuntary context switches= 2636
runsolver used 6.17506 second user time and 15.3887 second system time
The end