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-3694310-1338063774/watcher-3694310-1338063774 -o /tmp/evaluation-result-3694310-1338063774/solver-3694310-1338063774 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3694310-1338063774.opb 20584311 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4010
/proc/meminfo: memFree=28543680/32873648 swapFree=7372/7372
[pid=4010] ppid=4008 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4010/stat : 4010 (runPb2satCp2.sh) S 4008 4010 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272503356 9367552 275 33554432000 4194304 5064252 140735205851312 140735205850224 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4010/statm: 2287 275 233 213 0 72 0
[startup+0.106256 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4010
/proc/meminfo: memFree=28543680/32873648 swapFree=7372/7372
[pid=4010] ppid=4008 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4010/stat : 4010 (runPb2satCp2.sh) S 4008 4010 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272503356 9367552 275 33554432000 4194304 5064252 140735205851312 140735205850224 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4010/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.200203 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4010
/proc/meminfo: memFree=28543680/32873648 swapFree=7372/7372
[pid=4010] ppid=4008 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4010/stat : 4010 (runPb2satCp2.sh) S 4008 4010 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272503356 9367552 275 33554432000 4194304 5064252 140735205851312 140735205850224 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4010/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300262 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4010
/proc/meminfo: memFree=28543680/32873648 swapFree=7372/7372
[pid=4010] ppid=4008 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4010/stat : 4010 (runPb2satCp2.sh) S 4008 4010 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272503356 9367552 275 33554432000 4194304 5064252 140735205851312 140735205850224 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4010/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700225 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4010
/proc/meminfo: memFree=28543680/32873648 swapFree=7372/7372
[pid=4010] ppid=4008 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4010/stat : 4010 (runPb2satCp2.sh) S 4008 4010 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272503356 9367552 275 33554432000 4194304 5064252 140735205851312 140735205850224 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4010/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4012
/proc/meminfo: memFree=28489792/32873648 swapFree=7372/7372
[pid=4010] ppid=4008 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4010/stat : 4010 (runPb2satCp2.sh) S 4008 4010 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272503356 9367552 275 33554432000 4194304 5064252 140735205851312 140735205850224 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4010/statm: 2287 275 233 213 0 72 0
[pid=4011] ppid=4010 vsize=69188 CPUtime=1.48 cores=1,3,5,7
/proc/4011/stat : 4011 (pb2sat) R 4010 4010 1501 0 -1 4202496 3947 0 0 0 147 1 0 0 20 0 1 0 272503356 70848512 12110 33554432000 4194304 5873084 140734601822576 140734601802456 4746067 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4011/statm: 17297 12110 146 410 0 16879 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 78336
[startup+3.10021 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4012
/proc/meminfo: memFree=28472584/32873648 swapFree=7372/7372
[pid=4010] ppid=4008 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4010/stat : 4010 (runPb2satCp2.sh) S 4008 4010 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272503356 9367552 275 33554432000 4194304 5064252 140735205851312 140735205850224 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4010/statm: 2287 275 233 213 0 72 0
[pid=4011] ppid=4010 vsize=134724 CPUtime=3.09 cores=1,3,5,7
/proc/4011/stat : 4011 (pb2sat) R 4010 4010 1501 0 -1 4202496 4514 0 0 0 306 3 0 0 20 0 1 0 272503356 137957376 24398 33554432000 4194304 5873084 140734601822576 140734601802456 4664157 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4011/statm: 33681 24398 146 410 0 33263 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 143872
[startup+6.30021 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4012
/proc/meminfo: memFree=28369416/32873648 swapFree=7372/7372
[pid=4010] ppid=4008 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4010/stat : 4010 (runPb2satCp2.sh) S 4008 4010 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272503356 9367552 275 33554432000 4194304 5064252 140735205851312 140735205850224 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4010/statm: 2287 275 233 213 0 72 0
[pid=4011] ppid=4010 vsize=265796 CPUtime=6.29 cores=1,3,5,7
/proc/4011/stat : 4011 (pb2sat) R 4010 4010 1501 0 -1 4202496 5136 0 0 0 622 7 0 0 20 0 1 0 272503356 272175104 48462 33554432000 4194304 5873084 140734601822576 140734601802456 4746351 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4011/statm: 66449 48462 146 410 0 66031 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 274944
[startup+12.7002 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 4012
/proc/meminfo: memFree=28164836/32873648 swapFree=7372/7372
[pid=4010] ppid=4008 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4010/stat : 4010 (runPb2satCp2.sh) S 4008 4010 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272503356 9367552 275 33554432000 4194304 5064252 140735205851312 140735205850224 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4010/statm: 2287 275 233 213 0 72 0
[pid=4011] ppid=4010 vsize=527940 CPUtime=12.69 cores=1,3,5,7
/proc/4011/stat : 4011 (pb2sat) R 4010 4010 1501 0 -1 4202496 5868 0 0 0 1256 13 0 0 20 0 1 0 272503356 540610560 96078 33554432000 4194304 5873084 140734601822576 140734601802456 4664172 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4011/statm: 131985 96078 146 410 0 131567 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 537088
[startup+25.5002 s]
/proc/loadavg: 2.06 2.02 2.00 3/181 4012
/proc/meminfo: memFree=27762044/32873648 swapFree=7372/7372
[pid=4010] ppid=4008 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4010/stat : 4010 (runPb2satCp2.sh) S 4008 4010 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272503356 9367552 275 33554432000 4194304 5064252 140735205851312 140735205850224 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4010/statm: 2287 275 233 213 0 72 0
[pid=4011] ppid=4010 vsize=1052228 CPUtime=25.48 cores=1,3,5,7
/proc/4011/stat : 4011 (pb2sat) R 4010 4010 1501 0 -1 4202496 6821 0 0 0 2522 26 0 0 20 0 1 0 272503356 1077481472 191310 33554432000 4194304 5873084 140734601822576 140734601802456 4746266 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4011/statm: 263057 191310 146 410 0 262639 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1061376
[startup+51.1003 s]
/proc/loadavg: 2.10 2.03 2.01 3/181 4012
/proc/meminfo: memFree=27029732/32873648 swapFree=7372/7372
[pid=4010] ppid=4008 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4010/stat : 4010 (runPb2satCp2.sh) S 4008 4010 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272503356 9367552 275 33554432000 4194304 5064252 140735205851312 140735205850224 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4010/statm: 2287 275 233 213 0 72 0
[pid=4011] ppid=4010 vsize=2100804 CPUtime=51.08 cores=1,3,5,7
/proc/4011/stat : 4011 (pb2sat) R 4010 4010 1501 0 -1 4202496 8214 0 0 0 5055 53 0 0 20 0 1 0 272503356 2151223296 380750 33554432000 4194304 5873084 140734601822576 140734601802840 4391104 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4011/statm: 525201 380750 146 410 0 524783 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2109952
[startup+102.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/181 4012
/proc/meminfo: memFree=25503492/32873648 swapFree=7372/7372
[pid=4010] ppid=4008 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4010/stat : 4010 (runPb2satCp2.sh) S 4008 4010 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272503356 9367552 275 33554432000 4194304 5064252 140735205851312 140735205850224 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4010/statm: 2287 275 233 213 0 72 0
[pid=4011] ppid=4010 vsize=4197956 CPUtime=102.28 cores=1,3,5,7
/proc/4011/stat : 4011 (pb2sat) R 4010 4010 1501 0 -1 4202496 10483 0 0 0 10122 106 0 0 20 0 1 0 272503356 4298706944 756558 33554432000 4194304 5873084 140734601822576 140734601802456 4394360 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4011/statm: 1049489 756558 146 410 0 1049071 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 4207104
[startup+162.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/181 4012
/proc/meminfo: memFree=23778344/32873648 swapFree=7372/7372
[pid=4010] ppid=4008 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4010/stat : 4010 (runPb2satCp2.sh) S 4008 4010 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272503356 9367552 275 33554432000 4194304 5064252 140735205851312 140735205850224 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4010/statm: 2287 275 233 213 0 72 0
[pid=4011] ppid=4010 vsize=8392260 CPUtime=162.26 cores=1,3,5,7
/proc/4011/stat : 4011 (pb2sat) R 4010 4010 1501 0 -1 4202496 13889 0 0 0 16036 190 0 0 20 0 1 0 272503356 8593674240 1190222 33554432000 4194304 5873084 140734601822576 140734601802456 4708080 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4011/statm: 2098065 1190222 146 410 0 2097647 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 8401408
[startup+222.307 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 4013
/proc/meminfo: memFree=21968856/32873648 swapFree=7372/7372
[pid=4010] ppid=4008 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4010/stat : 4010 (runPb2satCp2.sh) S 4008 4010 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272503356 9367552 275 33554432000 4194304 5064252 140735205851312 140735205850224 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4010/statm: 2287 275 233 213 0 72 0
[pid=4011] ppid=4010 vsize=8392260 CPUtime=222.26 cores=1,3,5,7
/proc/4011/stat : 4011 (pb2sat) R 4010 4010 1501 0 -1 4202496 14755 0 0 0 22007 219 0 0 20 0 1 0 272503356 8593674240 1633614 33554432000 4194304 5873084 140734601822576 140734601802456 4391072 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4011/statm: 2098065 1633614 146 410 0 2097647 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 8401408
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 4017
/proc/meminfo: memFree=20275732/32873648 swapFree=7372/7372
[pid=4010] ppid=4008 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4010/stat : 4010 (runPb2satCp2.sh) S 4008 4010 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272503356 9367552 275 33554432000 4194304 5064252 140735205851312 140735205850224 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4010/statm: 2287 275 233 213 0 72 0
[pid=4011] ppid=4010 vsize=8392260 CPUtime=282.24 cores=1,3,5,7
/proc/4011/stat : 4011 (pb2sat) R 4010 4010 1501 0 -1 4202496 15616 0 0 0 27980 244 0 0 20 0 1 0 272503356 8593674240 2074446 33554432000 4194304 5873084 140734601822576 140734601802456 4779709 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4011/statm: 2098065 2074446 146 410 0 2097647 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 8401408
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 4017
/proc/meminfo: memFree=20142176/32873648 swapFree=7372/7372
[pid=4010] ppid=4008 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4010/stat : 4010 (runPb2satCp2.sh) S 4008 4010 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272503356 9367552 275 33554432000 4194304 5064252 140735205851312 140735205850224 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4010/statm: 2287 275 233 213 0 72 0
[pid=4011] ppid=4010 vsize=8457796 CPUtime=342.24 cores=1,3,5,7
/proc/4011/stat : 4011 (pb2sat) R 4010 4010 1501 0 -1 4202496 15946 0 0 0 33979 245 0 0 20 0 1 0 272503356 8660783104 2097771 33554432000 4194304 5873084 140734601822576 140734601802520 4779483 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4011/statm: 2114449 2097771 189 410 0 2114031 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 8466944
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4017
/proc/meminfo: memFree=20137084/32873648 swapFree=7372/7372
[pid=4010] ppid=4008 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/4011/statm: 2114449 2097771 189 410 0 2114031 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 8466944
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4026
/proc/meminfo: memFree=20098980/32873648 swapFree=7372/7372
[pid=4010] ppid=4008 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4010/stat : 4010 (runPb2satCp2.sh) S 4008 4010 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272503356 9367552 275 33554432000 4194304 5064252 140735205851312 140735205850224 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4010/statm: 2287 275 233 213 0 72 0
[pid=4011] ppid=4010 vsize=8457796 CPUtime=1182.11 cores=1,3,5,7
/proc/4011/stat : 4011 (pb2sat) R 4010 4010 1501 0 -1 4202496 15946 0 0 0 117966 245 0 0 20 0 1 0 272503356 8660783104 2097771 33554432000 4194304 5873084 140734601822576 140734601802520 4746090 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4011/statm: 2114449 2097771 189 410 0 2114031 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 8466944
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4026
/proc/meminfo: memFree=20099016/32873648 swapFree=7372/7372
[pid=4010] ppid=4008 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4010/stat : 4010 (runPb2satCp2.sh) S 4008 4010 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272503356 9367552 275 33554432000 4194304 5064252 140735205851312 140735205850224 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4010/statm: 2287 275 233 213 0 72 0
[pid=4011] ppid=4010 vsize=8457796 CPUtime=1242.1 cores=1,3,5,7
/proc/4011/stat : 4011 (pb2sat) R 4010 4010 1501 0 -1 4202496 15946 0 0 0 123965 245 0 0 20 0 1 0 272503356 8660783104 2097771 33554432000 4194304 5873084 140734601822576 140734601802520 4779511 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4011/statm: 2114449 2097771 189 410 0 2114031 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 8466944
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4026
/proc/meminfo: memFree=20072396/32873648 swapFree=7372/7372
[pid=4010] ppid=4008 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4010/stat : 4010 (runPb2satCp2.sh) S 4008 4010 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272503356 9367552 275 33554432000 4194304 5064252 140735205851312 140735205850224 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4010/statm: 2287 275 233 213 0 72 0
[pid=4011] ppid=4010 vsize=8457796 CPUtime=1302.09 cores=1,3,5,7
/proc/4011/stat : 4011 (pb2sat) R 4010 4010 1501 0 -1 4202496 15946 0 0 0 129964 245 0 0 20 0 1 0 272503356 8660783104 2097771 33554432000 4194304 5873084 140734601822576 140734601802520 4746467 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4011/statm: 2114449 2097771 189 410 0 2114031 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 8466944
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4066
/proc/meminfo: memFree=19312236/32873648 swapFree=7372/7372
[pid=4010] ppid=4008 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4010/stat : 4010 (runPb2satCp2.sh) S 4008 4010 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272503356 9367552 275 33554432000 4194304 5064252 140735205851312 140735205850224 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4010/statm: 2287 275 233 213 0 72 0
[pid=4011] ppid=4010 vsize=8457796 CPUtime=1362.08 cores=1,3,5,7
/proc/4011/stat : 4011 (pb2sat) R 4010 4010 1501 0 -1 4202496 15946 0 0 0 135963 245 0 0 20 0 1 0 272503356 8660783104 2097771 33554432000 4194304 5873084 140734601822576 140734601802520 4392993 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4011/statm: 2114449 2097771 189 410 0 2114031 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 8466944
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4066
/proc/meminfo: memFree=18323368/32873648 swapFree=7372/7372
[pid=4010] ppid=4008 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4010/stat : 4010 (runPb2satCp2.sh) S 4008 4010 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272503356 9367552 275 33554432000 4194304 5064252 140735205851312 140735205850224 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4010/statm: 2287 275 233 213 0 72 0
[pid=4011] ppid=4010 vsize=8457796 CPUtime=1422.08 cores=1,3,5,7
/proc/4011/stat : 4011 (pb2sat) R 4010 4010 1501 0 -1 4202496 15946 0 0 0 141963 245 0 0 20 0 1 0 272503356 8660783104 2097771 33554432000 4194304 5873084 140734601822576 140734601802520 4746347 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4011/statm: 2114449 2097771 189 410 0 2114031 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 8466944
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 4067
/proc/meminfo: memFree=17416044/32873648 swapFree=7372/7372
[pid=4010] ppid=4008 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4010/stat : 4010 (runPb2satCp2.sh) S 4008 4010 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272503356 9367552 275 33554432000 4194304 5064252 140735205851312 140735205850224 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4010/statm: 2287 275 233 213 0 72 0
[pid=4011] ppid=4010 vsize=8457796 CPUtime=1482.06 cores=1,3,5,7
/proc/4011/stat : 4011 (pb2sat) R 4010 4010 1501 0 -1 4202496 15946 0 0 0 147961 245 0 0 20 0 1 0 272503356 8660783104 2097771 33554432000 4194304 5873084 140734601822576 140734601802520 4392800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4011/statm: 2114449 2097771 189 410 0 2114031 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 8466944
[startup+1542.31 s]
/proc/loadavg: 2.48 2.11 2.04 3/181 4069
/proc/meminfo: memFree=10345596/32873648 swapFree=7372/7372
[pid=4010] ppid=4008 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4010/stat : 4010 (runPb2satCp2.sh) S 4008 4010 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272503356 9367552 275 33554432000 4194304 5064252 140735205851312 140735205850224 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4010/statm: 2287 275 233 213 0 72 0
[pid=4011] ppid=4010 vsize=8457796 CPUtime=1542.06 cores=1,3,5,7
/proc/4011/stat : 4011 (pb2sat) R 4010 4010 1501 0 -1 4202496 15946 0 0 0 153961 245 0 0 20 0 1 0 272503356 8660783104 2097771 33554432000 4194304 5873084 140734601822576 140734601802520 4746492 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4011/statm: 2114449 2097771 189 410 0 2114031 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 8466944
[startup+1602.3 s]
/proc/loadavg: 2.39 2.16 2.06 3/181 4069
/proc/meminfo: memFree=5611548/32873648 swapFree=7372/7372
[pid=4010] ppid=4008 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4010/stat : 4010 (runPb2satCp2.sh) S 4008 4010 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272503356 9367552 275 33554432000 4194304 5064252 140735205851312 140735205850224 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4010/statm: 2287 275 233 213 0 72 0
[pid=4011] ppid=4010 vsize=8457796 CPUtime=1602.04 cores=1,3,5,7
/proc/4011/stat : 4011 (pb2sat) R 4010 4010 1501 0 -1 4202496 15946 0 0 0 159959 245 0 0 20 0 1 0 272503356 8660783104 2097771 33554432000 4194304 5873084 140734601822576 140734601802520 4327037 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4011/statm: 2114449 2097771 189 410 0 2114031 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 8466944
[startup+1662.3 s]
/proc/loadavg: 2.16 2.14 2.06 3/182 4072
/proc/meminfo: memFree=5608116/32873648 swapFree=7372/7372
[pid=4010] ppid=4008 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4010/stat : 4010 (runPb2satCp2.sh) S 4008 4010 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272503356 9367552 275 33554432000 4194304 5064252 140735205851312 140735205850224 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4010/statm: 2287 275 233 213 0 72 0
[pid=4011] ppid=4010 vsize=8457796 CPUtime=1662.03 cores=1,3,5,7
/proc/4011/stat : 4011 (pb2sat) R 4010 4010 1501 0 -1 4202496 15946 0 0 0 165958 245 0 0 20 0 1 0 272503356 8660783104 2097771 33554432000 4194304 5873084 140734601822576 140734601802520 4779619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4011/statm: 2114449 2097771 189 410 0 2114031 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 8466944
[startup+1722.3 s]
/proc/loadavg: 2.06 2.12 2.05 3/181 4072
/proc/meminfo: memFree=5607868/32873648 swapFree=7372/7372
[pid=4010] ppid=4008 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4010/stat : 4010 (runPb2satCp2.sh) S 4008 4010 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272503356 9367552 275 33554432000 4194304 5064252 140735205851312 140735205850224 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4010/statm: 2287 275 233 213 0 72 0
[pid=4011] ppid=4010 vsize=8457796 CPUtime=1722.03 cores=1,3,5,7
/proc/4011/stat : 4011 (pb2sat) R 4010 4010 1501 0 -1 4202496 15946 0 0 0 171958 245 0 0 20 0 1 0 272503356 8660783104 2097771 33554432000 4194304 5873084 140734601822576 140734601802520 4746090 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4011/statm: 2114449 2097771 189 410 0 2114031 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 8466944
[startup+1782.3 s]
/proc/loadavg: 2.06 2.10 2.05 3/181 4073
/proc/meminfo: memFree=5607284/32873648 swapFree=7372/7372
[pid=4010] ppid=4008 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4010/stat : 4010 (runPb2satCp2.sh) S 4008 4010 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272503356 9367552 275 33554432000 4194304 5064252 140735205851312 140735205850224 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4010/statm: 2287 275 233 213 0 72 0
[pid=4011] ppid=4010 vsize=8457796 CPUtime=1782.02 cores=1,3,5,7
/proc/4011/stat : 4011 (pb2sat) R 4010 4010 1501 0 -1 4202496 15946 0 0 0 177957 245 0 0 20 0 1 0 272503356 8660783104 2097771 33554432000 4194304 5873084 140734601822576 140734601802520 4746356 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4011/statm: 2114449 2097771 189 410 0 2114031 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 8466944
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.04 2.10 2.05 3/181 4073
/proc/meminfo: memFree=5605108/32873648 swapFree=7372/7372
[pid=4010] ppid=4008 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4010/stat : 4010 (runPb2satCp2.sh) S 4008 4010 1501 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272503356 9367552 275 33554432000 4194304 5064252 140735205851312 140735205850224 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4010/statm: 2287 275 233 213 0 72 0
[pid=4011] ppid=4010 vsize=8457796 CPUtime=1800.02 cores=1,3,5,7
/proc/4011/stat : 4011 (pb2sat) R 4010 4010 1501 0 -1 4202496 15946 0 0 0 179757 245 0 0 20 0 1 0 272503356 8660783104 2097771 33554432000 4194304 5873084 140734601822576 140734601802520 4746184 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4011/statm: 2114449 2097771 189 410 0 2114031 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 8466944
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4010 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1999
# CPU time returned by wait4() is 0.001999
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1797.57
CPU system time (s): 2.45
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 12595712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.001999
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 357
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
runsolver used 3.45147 second user time and 8.43272 second system time
The end