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-3695039-1338076480/watcher-3695039-1338076480 -o /tmp/evaluation-result-3695039-1338076480/solver-3695039-1338076480 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3695039-1338076480.opb 1684972609 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.01 2.03 2.00 3/179 14033
/proc/meminfo: memFree=28019328/32873844 swapFree=7616/7616
[pid=14033] ppid=14031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14033/stat : 14033 (runPb2satCp2.sh) S 14031 14033 10094 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273772355 9367552 275 33554432000 4194304 5064252 140736642375632 140736642374544 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14033/statm: 2287 275 233 213 0 72 0
[startup+0.0898269 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 14033
/proc/meminfo: memFree=28019328/32873844 swapFree=7616/7616
[pid=14033] ppid=14031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14033/stat : 14033 (runPb2satCp2.sh) S 14031 14033 10094 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273772355 9367552 275 33554432000 4194304 5064252 140736642375632 140736642374544 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14033/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100263 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 14033
/proc/meminfo: memFree=28019328/32873844 swapFree=7616/7616
[pid=14033] ppid=14031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14033/stat : 14033 (runPb2satCp2.sh) S 14031 14033 10094 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273772355 9367552 275 33554432000 4194304 5064252 140736642375632 140736642374544 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14033/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300247 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 14033
/proc/meminfo: memFree=28019328/32873844 swapFree=7616/7616
[pid=14033] ppid=14031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14033/stat : 14033 (runPb2satCp2.sh) S 14031 14033 10094 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273772355 9367552 275 33554432000 4194304 5064252 140736642375632 140736642374544 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14033/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700267 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 14033
/proc/meminfo: memFree=28019328/32873844 swapFree=7616/7616
[pid=14033] ppid=14031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14033/stat : 14033 (runPb2satCp2.sh) S 14031 14033 10094 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273772355 9367552 275 33554432000 4194304 5064252 140736642375632 140736642374544 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14033/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50029 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 14040
/proc/meminfo: memFree=27912456/32873844 swapFree=7616/7616
[pid=14033] ppid=14031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14033/stat : 14033 (runPb2satCp2.sh) S 14031 14033 10094 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273772355 9367552 275 33554432000 4194304 5064252 140736642375632 140736642374544 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14033/statm: 2287 275 233 213 0 72 0
[pid=14034] ppid=14033 vsize=43688 CPUtime=0.72 cores=0,2,4,6
/proc/14034/stat : 14034 (pb2sat) S 14033 14033 10094 0 -1 4202496 6366 3314 0 0 52 16 3 1 20 0 1 0 273772355 44736512 6915 33554432000 4194304 5873084 140736680859312 140736680853128 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14034/statm: 10922 6915 179 410 0 10504 0
[pid=14039] ppid=14034 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14039/stat : 14039 (satsolver.sh) S 14034 14033 10094 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273772429 9367552 267 33554432000 4194304 5064252 140734106150384 140734106149296 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14039/statm: 2287 267 226 213 0 72 0
[pid=14040] ppid=14039 vsize=59436 CPUtime=0.75 cores=0,2,4,6
/proc/14040/stat : 14040 (glucose_static) R 14039 14033 10094 0 -1 4202496 13369 0 0 0 72 3 0 0 20 0 1 0 273772429 60862464 13097 33554432000 4194304 4896791 140736211488224 140736211485432 4204062 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14040/statm: 14859 13097 77 172 0 14685 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 121420
[startup+3.10034 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 14040
/proc/meminfo: memFree=27914916/32873844 swapFree=7616/7616
[pid=14033] ppid=14031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14033/stat : 14033 (runPb2satCp2.sh) S 14031 14033 10094 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273772355 9367552 275 33554432000 4194304 5064252 140736642375632 140736642374544 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14033/statm: 2287 275 233 213 0 72 0
[pid=14034] ppid=14033 vsize=43688 CPUtime=0.72 cores=0,2,4,6
/proc/14034/stat : 14034 (pb2sat) S 14033 14033 10094 0 -1 4202496 6366 3314 0 0 52 16 3 1 20 0 1 0 273772355 44736512 6915 33554432000 4194304 5873084 140736680859312 140736680853128 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14034/statm: 10922 6915 179 410 0 10504 0
[pid=14039] ppid=14034 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14039/stat : 14039 (satsolver.sh) S 14034 14033 10094 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273772429 9367552 267 33554432000 4194304 5064252 140734106150384 140734106149296 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14039/statm: 2287 267 226 213 0 72 0
[pid=14040] ppid=14039 vsize=67296 CPUtime=2.35 cores=0,2,4,6
/proc/14040/stat : 14040 (glucose_static) R 14039 14033 10094 0 -1 4202496 14287 0 0 0 232 3 0 0 20 0 1 0 273772429 68911104 13597 33554432000 4194304 4896791 140736211488224 140736211485736 4203041 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14040/statm: 16824 13597 78 172 0 16650 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 129280
[startup+6.30035 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 14040
/proc/meminfo: memFree=27912932/32873844 swapFree=7616/7616
[pid=14033] ppid=14031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14033/stat : 14033 (runPb2satCp2.sh) S 14031 14033 10094 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273772355 9367552 275 33554432000 4194304 5064252 140736642375632 140736642374544 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14033/statm: 2287 275 233 213 0 72 0
[pid=14034] ppid=14033 vsize=43688 CPUtime=0.72 cores=0,2,4,6
/proc/14034/stat : 14034 (pb2sat) S 14033 14033 10094 0 -1 4202496 6366 3314 0 0 52 16 3 1 20 0 1 0 273772355 44736512 6915 33554432000 4194304 5873084 140736680859312 140736680853128 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14034/statm: 10922 6915 179 410 0 10504 0
[pid=14039] ppid=14034 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14039/stat : 14039 (satsolver.sh) S 14034 14033 10094 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273772429 9367552 267 33554432000 4194304 5064252 140734106150384 140734106149296 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14039/statm: 2287 267 226 213 0 72 0
[pid=14040] ppid=14039 vsize=67840 CPUtime=5.55 cores=0,2,4,6
/proc/14040/stat : 14040 (glucose_static) R 14039 14033 10094 0 -1 4202496 14520 0 0 0 552 3 0 0 20 0 1 0 273772429 69468160 13816 33554432000 4194304 4896791 140736211488224 140736211485432 4224983 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14040/statm: 16960 13816 78 172 0 16786 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 129824
[startup+12.7003 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 14040
/proc/meminfo: memFree=27916616/32873844 swapFree=7616/7616
[pid=14033] ppid=14031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14033/stat : 14033 (runPb2satCp2.sh) S 14031 14033 10094 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273772355 9367552 275 33554432000 4194304 5064252 140736642375632 140736642374544 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14033/statm: 2287 275 233 213 0 72 0
[pid=14034] ppid=14033 vsize=43688 CPUtime=0.72 cores=0,2,4,6
/proc/14034/stat : 14034 (pb2sat) S 14033 14033 10094 0 -1 4202496 6366 3314 0 0 52 16 3 1 20 0 1 0 273772355 44736512 6915 33554432000 4194304 5873084 140736680859312 140736680853128 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14034/statm: 10922 6915 179 410 0 10504 0
[pid=14039] ppid=14034 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14039/stat : 14039 (satsolver.sh) S 14034 14033 10094 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273772429 9367552 267 33554432000 4194304 5064252 140734106150384 140734106149296 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14039/statm: 2287 267 226 213 0 72 0
[pid=14040] ppid=14039 vsize=68012 CPUtime=11.95 cores=0,2,4,6
/proc/14040/stat : 14040 (glucose_static) R 14039 14033 10094 0 -1 4202496 14821 0 0 0 1192 3 0 0 20 0 1 0 273772429 69644288 13959 33554432000 4194304 4896791 140736211488224 140736211485432 4225141 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14040/statm: 17003 13959 78 172 0 16829 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 129996
[startup+25.5004 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 14040
/proc/meminfo: memFree=27909172/32873844 swapFree=7616/7616
[pid=14033] ppid=14031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14033/stat : 14033 (runPb2satCp2.sh) S 14031 14033 10094 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273772355 9367552 275 33554432000 4194304 5064252 140736642375632 140736642374544 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14033/statm: 2287 275 233 213 0 72 0
[pid=14034] ppid=14033 vsize=43688 CPUtime=0.72 cores=0,2,4,6
/proc/14034/stat : 14034 (pb2sat) S 14033 14033 10094 0 -1 4202496 6366 3314 0 0 52 16 3 1 20 0 1 0 273772355 44736512 6915 33554432000 4194304 5873084 140736680859312 140736680853128 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14034/statm: 10922 6915 179 410 0 10504 0
[pid=14039] ppid=14034 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14039/stat : 14039 (satsolver.sh) S 14034 14033 10094 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273772429 9367552 267 33554432000 4194304 5064252 140734106150384 140734106149296 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14039/statm: 2287 267 226 213 0 72 0
[pid=14040] ppid=14039 vsize=68824 CPUtime=24.74 cores=0,2,4,6
/proc/14040/stat : 14040 (glucose_static) R 14039 14033 10094 0 -1 4202496 15398 0 0 0 2471 3 0 0 20 0 1 0 273772429 70475776 14784 33554432000 4194304 4896791 140736211488224 140736211485736 4224225 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14040/statm: 17206 14784 78 172 0 17032 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 130808
[startup+51.1003 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 14043
/proc/meminfo: memFree=27920744/32873844 swapFree=7616/7616
[pid=14033] ppid=14031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14033/stat : 14033 (runPb2satCp2.sh) S 14031 14033 10094 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273772355 9367552 275 33554432000 4194304 5064252 140736642375632 140736642374544 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14033/statm: 2287 275 233 213 0 72 0
[pid=14034] ppid=14033 vsize=43688 CPUtime=0.72 cores=0,2,4,6
/proc/14034/stat : 14034 (pb2sat) S 14033 14033 10094 0 -1 4202496 6366 3314 0 0 52 16 3 1 20 0 1 0 273772355 44736512 6915 33554432000 4194304 5873084 140736680859312 140736680853128 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14034/statm: 10922 6915 179 410 0 10504 0
[pid=14039] ppid=14034 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14039/stat : 14039 (satsolver.sh) S 14034 14033 10094 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273772429 9367552 267 33554432000 4194304 5064252 140734106150384 140734106149296 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14039/statm: 2287 267 226 213 0 72 0
[pid=14040] ppid=14039 vsize=70492 CPUtime=50.33 cores=0,2,4,6
/proc/14040/stat : 14040 (glucose_static) R 14039 14033 10094 0 -1 4202496 15937 0 0 0 5030 3 0 0 20 0 1 0 273772429 72183808 15196 33554432000 4194304 4896791 140736211488224 140736211485432 4203862 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14040/statm: 17623 15196 78 172 0 17449 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 132476
[startup+102.307 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 14046
/proc/meminfo: memFree=27887816/32873844 swapFree=7616/7616
[pid=14033] ppid=14031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14033/stat : 14033 (runPb2satCp2.sh) S 14031 14033 10094 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273772355 9367552 275 33554432000 4194304 5064252 140736642375632 140736642374544 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14033/statm: 2287 275 233 213 0 72 0
[pid=14034] ppid=14033 vsize=74876 CPUtime=70.09 cores=0,2,4,6
/proc/14034/stat : 14034 (pb2sat) S 14033 14033 10094 0 -1 4202496 10517 20536 0 0 87 19 6897 6 20 0 1 0 273772355 76673024 14712 33554432000 4194304 5873084 140736680859312 140736680853128 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14034/statm: 18719 14712 179 410 0 18301 0
[pid=14045] ppid=14034 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14045/stat : 14045 (satsolver.sh) S 14034 14033 10094 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273779369 9367552 267 33554432000 4194304 5064252 140734089724016 140734089722928 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14045/statm: 2287 267 226 213 0 72 0
[pid=14046] ppid=14045 vsize=68732 CPUtime=32.15 cores=0,2,4,6
/proc/14046/stat : 14046 (glucose_static) R 14045 14033 10094 0 -1 4202496 14236 0 0 0 3212 3 0 0 20 0 1 0 273779369 70381568 13991 33554432000 4194304 4896791 140735891038224 140735891035432 4224983 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14046/statm: 17183 13991 77 172 0 17009 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 161904
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 14049
/proc/meminfo: memFree=27871008/32873844 swapFree=7616/7616
[pid=14033] ppid=14031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14033/stat : 14033 (runPb2satCp2.sh) S 14031 14033 10094 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273772355 9367552 275 33554432000 4194304 5064252 140736642375632 140736642374544 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14033/statm: 2287 275 233 213 0 72 0
[pid=14034] ppid=14033 vsize=74876 CPUtime=132.32 cores=0,2,4,6
/proc/14034/stat : 14034 (pb2sat) S 14033 14033 10094 0 -1 4202496 14808 36982 0 0 122 22 13076 12 20 0 1 0 273772355 76673024 14712 33554432000 4194304 5873084 140736680859312 140736680853128 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14034/statm: 18719 14712 179 410 0 18301 0
[pid=14048] ppid=14034 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 14205
/proc/meminfo: memFree=27971640/32873844 swapFree=7616/7616
[pid=14033] ppid=14031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14033/stat : 14033 (runPb2satCp2.sh) S 14031 14033 10094 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273772355 9367552 275 33554432000 4194304 5064252 140736642375632 140736642374544 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14033/statm: 2287 275 233 213 0 72 0
[pid=14034] ppid=14033 vsize=74876 CPUtime=1268.75 cores=0,2,4,6
/proc/14034/stat : 14034 (pb2sat) S 14033 14033 10094 0 -1 4202496 68429 259302 0 0 583 62 126147 83 20 0 1 0 273772355 76673024 14712 33554432000 4194304 5873084 140736680859312 140736680853128 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/14034/statm: 18719 14712 179 410 0 18301 0
[pid=14201] ppid=14034 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14201/stat : 14201 (satsolver.sh) S 14034 14033 10094 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273899268 9367552 267 33554432000 4194304 5064252 140733797124288 140733797123200 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14201/statm: 2287 267 226 213 0 72 0
[pid=14202] ppid=14201 vsize=70620 CPUtime=93.12 cores=0,2,4,6
/proc/14202/stat : 14202 (glucose_static) R 14201 14033 10094 0 -1 4202496 15711 0 0 0 9308 4 0 0 20 0 1 0 273899268 72314880 15067 33554432000 4194304 4896791 140736489971024 140736489968536 4224706 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14202/statm: 17655 15067 78 172 0 17481 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 163792
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 14209
/proc/meminfo: memFree=27950424/32873844 swapFree=7616/7616
[pid=14033] ppid=14031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14033/stat : 14033 (runPb2satCp2.sh) S 14031 14033 10094 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273772355 9367552 275 33554432000 4194304 5064252 140736642375632 140736642374544 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14033/statm: 2287 275 233 213 0 72 0
[pid=14034] ppid=14033 vsize=74876 CPUtime=1376.27 cores=0,2,4,6
/proc/14034/stat : 14034 (pb2sat) S 14033 14033 10094 0 -1 4202496 72502 276640 0 0 618 65 136854 90 20 0 1 0 273772355 76673024 14712 33554432000 4194304 5873084 140736680859312 140736680853128 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14034/statm: 18719 14712 179 410 0 18301 0
[pid=14207] ppid=14034 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14207/stat : 14207 (satsolver.sh) S 14034 14033 10094 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273910023 9367552 267 33554432000 4194304 5064252 140736328320240 140736328319152 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14207/statm: 2287 267 226 213 0 72 0
[pid=14208] ppid=14207 vsize=68316 CPUtime=45.61 cores=0,2,4,6
/proc/14208/stat : 14208 (glucose_static) R 14207 14033 10094 0 -1 4202496 14066 0 0 0 4558 3 0 0 20 0 1 0 273910023 69955584 13960 33554432000 4194304 4896791 140735007330016 140735007327224 4225029 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14208/statm: 17079 13960 78 172 0 16905 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 161488
[startup+1482.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/183 14212
/proc/meminfo: memFree=27947992/32873844 swapFree=7616/7616
[pid=14033] ppid=14031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14033/stat : 14033 (runPb2satCp2.sh) S 14031 14033 10094 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273772355 9367552 275 33554432000 4194304 5064252 140736642375632 140736642374544 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14033/statm: 2287 275 233 213 0 72 0
[pid=14034] ppid=14033 vsize=74876 CPUtime=1463.5 cores=0,2,4,6
/proc/14034/stat : 14034 (pb2sat) S 14033 14033 10094 0 -1 4202496 76575 293045 0 0 653 68 145534 95 20 0 1 0 273772355 76673024 14712 33554432000 4194304 5873084 140736680859312 140736680853128 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14034/statm: 18719 14712 179 410 0 18301 0
[pid=14211] ppid=14034 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14211/stat : 14211 (satsolver.sh) S 14034 14033 10094 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273918749 9367552 267 33554432000 4194304 5064252 140734613670416 140734613669328 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14211/statm: 2287 267 226 213 0 72 0
[pid=14212] ppid=14211 vsize=66616 CPUtime=18.35 cores=0,2,4,6
/proc/14212/stat : 14212 (glucose_static) R 14211 14033 10094 0 -1 4202496 13448 0 0 0 1832 3 0 0 20 0 1 0 273918749 68214784 13355 33554432000 4194304 4896791 140735307212752 140735307210280 4203844 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14212/statm: 16654 13355 77 172 0 16480 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 159788
[startup+1542.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/184 14215
/proc/meminfo: memFree=27962740/32873844 swapFree=7616/7616
[pid=14033] ppid=14031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14033/stat : 14033 (runPb2satCp2.sh) S 14031 14033 10094 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273772355 9367552 275 33554432000 4194304 5064252 140736642375632 140736642374544 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14033/statm: 2287 275 233 213 0 72 0
[pid=14034] ppid=14033 vsize=74876 CPUtime=1463.5 cores=0,2,4,6
/proc/14034/stat : 14034 (pb2sat) S 14033 14033 10094 0 -1 4202496 76575 293045 0 0 653 68 145534 95 20 0 1 0 273772355 76673024 14712 33554432000 4194304 5873084 140736680859312 140736680853128 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14034/statm: 18719 14712 179 410 0 18301 0
[pid=14211] ppid=14034 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14211/stat : 14211 (satsolver.sh) S 14034 14033 10094 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273918749 9367552 267 33554432000 4194304 5064252 140734613670416 140734613669328 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14211/statm: 2287 267 226 213 0 72 0
[pid=14212] ppid=14211 vsize=60716 CPUtime=78.33 cores=0,2,4,6
/proc/14212/stat : 14212 (glucose_static) R 14211 14033 10094 0 -1 4202496 14550 0 0 0 7830 3 0 0 20 0 1 0 273918749 62173184 13615 33554432000 4194304 4896791 140735307212752 140735307209960 4224706 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14212/statm: 15179 13615 78 172 0 15005 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 153888
[startup+1602.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/183 14218
/proc/meminfo: memFree=27964692/32873844 swapFree=7616/7616
[pid=14033] ppid=14031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14033/stat : 14033 (runPb2satCp2.sh) S 14031 14033 10094 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273772355 9367552 275 33554432000 4194304 5064252 140736642375632 140736642374544 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14033/statm: 2287 275 233 213 0 72 0
[pid=14034] ppid=14033 vsize=74876 CPUtime=1583.43 cores=0,2,4,6
/proc/14034/stat : 14034 (pb2sat) S 14033 14033 10094 0 -1 4202496 80866 309862 0 0 687 71 157484 101 20 0 1 0 273772355 76673024 14712 33554432000 4194304 5873084 140736680859312 140736680853128 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14034/statm: 18719 14712 179 410 0 18301 0
[pid=14217] ppid=14034 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14217/stat : 14217 (satsolver.sh) S 14034 14033 10094 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 273930745 9367552 266 33554432000 4194304 5064252 140735467379856 140735467378768 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14217/statm: 2287 266 226 213 0 72 0
[pid=14218] ppid=14217 vsize=60472 CPUtime=18.38 cores=0,2,4,6
/proc/14218/stat : 14218 (glucose_static) R 14217 14033 10094 0 -1 4202496 13613 0 0 0 1835 3 0 0 20 0 1 0 273930746 61923328 13550 33554432000 4194304 4896791 140735810152656 140735810149864 4203058 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14218/statm: 15118 13550 77 172 0 14944 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 153644
[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 14221
/proc/meminfo: memFree=27954232/32873844 swapFree=7616/7616
[pid=14033] ppid=14031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14033/stat : 14033 (runPb2satCp2.sh) S 14031 14033 10094 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273772355 9367552 275 33554432000 4194304 5064252 140736642375632 140736642374544 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14033/statm: 2287 275 233 213 0 72 0
[pid=14034] ppid=14033 vsize=74876 CPUtime=1657.9 cores=0,2,4,6
/proc/14034/stat : 14034 (pb2sat) S 14033 14033 10094 0 -1 4202496 84940 326619 0 0 722 74 164887 107 20 0 1 0 273772355 76673024 14712 33554432000 4194304 5873084 140736680859312 140736680853128 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14034/statm: 18719 14712 179 410 0 18301 0
[pid=14220] ppid=14034 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14220/stat : 14220 (satsolver.sh) S 14034 14033 10094 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273938195 9367552 267 33554432000 4194304 5064252 140736408354048 140736408352960 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14220/statm: 2287 267 226 213 0 72 0
[pid=14221] ppid=14220 vsize=66752 CPUtime=3.89 cores=0,2,4,6
/proc/14221/stat : 14221 (glucose_static) R 14220 14033 10094 0 -1 4202496 13882 0 0 0 386 3 0 0 20 0 1 0 273938195 68354048 13421 33554432000 4194304 4896791 140736547842192 140736547839704 4203058 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14221/statm: 16688 13421 78 172 0 16514 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 159924
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 14222
/proc/meminfo: memFree=27931432/32873844 swapFree=7616/7616
[pid=14033] ppid=14031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14033/stat : 14033 (runPb2satCp2.sh) S 14031 14033 10094 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273772355 9367552 275 33554432000 4194304 5064252 140736642375632 140736642374544 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14033/statm: 2287 275 233 213 0 72 0
[pid=14034] ppid=14033 vsize=74876 CPUtime=1657.9 cores=0,2,4,6
/proc/14034/stat : 14034 (pb2sat) S 14033 14033 10094 0 -1 4202496 84940 326619 0 0 722 74 164887 107 20 0 1 0 273772355 76673024 14712 33554432000 4194304 5873084 140736680859312 140736680853128 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14034/statm: 18719 14712 179 410 0 18301 0
[pid=14220] ppid=14034 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14220/stat : 14220 (satsolver.sh) S 14034 14033 10094 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273938195 9367552 267 33554432000 4194304 5064252 140736408354048 140736408352960 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14220/statm: 2287 267 226 213 0 72 0
[pid=14221] ppid=14220 vsize=71492 CPUtime=63.87 cores=0,2,4,6
/proc/14221/stat : 14221 (glucose_static) R 14220 14033 10094 0 -1 4202496 16981 0 0 0 6383 4 0 0 20 0 1 0 273938195 73207808 15347 33554432000 4194304 4896791 140736547842192 140736547839416 4203775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14221/statm: 17873 15347 78 172 0 17699 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 164664
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 14225
/proc/meminfo: memFree=27936892/32873844 swapFree=7616/7616
[pid=14033] ppid=14031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14033/stat : 14033 (runPb2satCp2.sh) S 14031 14033 10094 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273772355 9367552 275 33554432000 4194304 5064252 140736642375632 140736642374544 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14033/statm: 2287 275 233 213 0 72 0
[pid=14034] ppid=14033 vsize=74876 CPUtime=1739.69 cores=0,2,4,6
/proc/14034/stat : 14034 (pb2sat) S 14033 14033 10094 0 -1 4202496 89014 344935 0 0 757 77 173022 113 20 0 1 0 273772355 76673024 14712 33554432000 4194304 5873084 140736680859312 140736680853128 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14034/statm: 18719 14712 179 410 0 18301 0
[pid=14224] ppid=14034 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14224/stat : 14224 (satsolver.sh) S 14034 14033 10094 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273946376 9367552 267 33554432000 4194304 5064252 140735997106880 140735997105792 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14224/statm: 2287 267 226 213 0 72 0
[pid=14225] ppid=14224 vsize=78356 CPUtime=42.07 cores=0,2,4,6
/proc/14225/stat : 14225 (glucose_static) R 14224 14033 10094 0 -1 4202496 13936 0 0 0 4204 3 0 0 20 0 1 0 273946376 80236544 15227 33554432000 4194304 4896791 140736446322528 140736446320056 4203775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14225/statm: 19589 15227 78 172 0 19415 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 171528
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 14225
/proc/meminfo: memFree=27934620/32873844 swapFree=7616/7616
[pid=14033] ppid=14031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14033/stat : 14033 (runPb2satCp2.sh) S 14031 14033 10094 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273772355 9367552 275 33554432000 4194304 5064252 140736642375632 140736642374544 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14033/statm: 2287 275 233 213 0 72 0
[pid=14034] ppid=14033 vsize=74876 CPUtime=1739.69 cores=0,2,4,6
/proc/14034/stat : 14034 (pb2sat) S 14033 14033 10094 0 -1 4202496 89014 344935 0 0 757 77 173022 113 20 0 1 0 273772355 76673024 14712 33554432000 4194304 5873084 140736680859312 140736680853128 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14034/statm: 18719 14712 179 410 0 18301 0
[pid=14224] ppid=14034 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14224/stat : 14224 (satsolver.sh) S 14034 14033 10094 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273946376 9367552 267 33554432000 4194304 5064252 140735997106880 140735997105792 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14224/statm: 2287 267 226 213 0 72 0
[pid=14225] ppid=14224 vsize=60692 CPUtime=60.38 cores=0,2,4,6
/proc/14225/stat : 14225 (glucose_static) R 14224 14033 10094 0 -1 4202496 14673 0 0 0 6035 3 0 0 20 0 1 0 273946376 62148608 13553 33554432000 4194304 4896791 140736446322528 140736446320104 4225215 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14225/statm: 15173 13553 78 172 0 14999 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 153864
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.62
CPU time (s): 1800.12
CPU user time (s): 1798.16
CPU system time (s): 1.9587
CPU usage (%): 99.9723
Max. virtual memory (cumulated for all children) (KiB): 191172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.16
system time used= 1.9587
maximum resident set size= 79572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 449613
page faults= 0
swaps= 0
block input operations= 0
block output operations= 867792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 576
involuntary context switches= 2793
runsolver used 3.36349 second user time and 9.00063 second system time
The end