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-3500049-1307989301/watcher-3500049-1307989301 -o /tmp/evaluation-result-3500049-1307989301/solver-3500049-1307989301 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500049-1307989301.opb
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: 1.00 1.04 1.31 3/179 24810
/proc/meminfo: memFree=16238876/32951124 swapFree=67053176/67111528
[pid=24810] ppid=24808 vsize=135320 CPUtime=0 cores=0,2,4,6
/proc/24810/stat : 24810 (pwbo1.1) S 24808 24810 24477 0 -1 4202496 547 0 0 0 0 0 0 0 25 0 3 0 910527854 138567680 486 33554432000 4194304 5714118 140733215447328 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/24810/statm: 33830 489 177 372 0 33455 0
[pid=24810/tid=24811] ppid=24808 vsize=135320 CPUtime=0 cores=0,2,4,6
/proc/24810/task/24811/stat : 24811 (pwbo1.1) R 24808 24810 24477 0 -1 4202560 65 0 0 0 0 0 0 0 18 0 3 0 910527854 138567680 492 33554432000 4194304 5714118 140733215447328 18446744073709551615 4970308 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=24810/tid=24812] ppid=24808 vsize=135320 CPUtime=0 cores=0,2,4,6
/proc/24810/task/24812/stat : 24812 (pwbo1.1) R 24808 24810 24477 0 -1 4202560 12 0 0 0 0 0 0 0 25 0 3 0 910527854 138567680 494 33554432000 4194304 5714118 140733215447328 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[startup+0.039547 s]
/proc/loadavg: 1.00 1.04 1.31 3/179 24810
/proc/meminfo: memFree=16238876/32951124 swapFree=67053176/67111528
[pid=24810] ppid=24808 vsize=135320 CPUtime=0.06 cores=0,2,4,6
/proc/24810/stat : 24810 (pwbo1.1) S 24808 24810 24477 0 -1 4202496 954 0 0 0 6 0 0 0 25 0 3 0 910527854 138567680 811 33554432000 4194304 5714118 140733215447328 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/24810/statm: 33830 812 179 372 0 33455 0
[pid=24810/tid=24811] ppid=24808 vsize=135320 CPUtime=0.03 cores=0,2,4,6
/proc/24810/task/24811/stat : 24811 (pwbo1.1) R 24808 24810 24477 0 -1 4202560 318 0 0 0 3 0 0 0 18 0 3 0 910527854 138567680 812 33554432000 4194304 5714118 140733215447328 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=24810/tid=24812] ppid=24808 vsize=135320 CPUtime=0.03 cores=0,2,4,6
/proc/24810/task/24812/stat : 24812 (pwbo1.1) R 24808 24810 24477 0 -1 4202560 161 0 0 0 3 0 0 0 18 0 3 0 910527854 138567680 812 33554432000 4194304 5714118 140733215447328 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 135320
[startup+0.100561 s]
/proc/loadavg: 1.00 1.04 1.31 3/179 24810
/proc/meminfo: memFree=16238876/32951124 swapFree=67053176/67111528
[pid=24810] ppid=24808 vsize=135320 CPUtime=0.18 cores=0,2,4,6
/proc/24810/stat : 24810 (pwbo1.1) S 24808 24810 24477 0 -1 4202496 1113 0 0 0 18 0 0 0 25 0 3 0 910527854 138567680 970 33554432000 4194304 5714118 140733215447328 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/24810/statm: 33830 970 179 372 0 33455 0
[pid=24810/tid=24811] ppid=24808 vsize=135320 CPUtime=0.09 cores=0,2,4,6
/proc/24810/task/24811/stat : 24811 (pwbo1.1) R 24808 24810 24477 0 -1 4202560 372 0 0 0 9 0 0 0 18 0 3 0 910527854 138567680 970 33554432000 4194304 5714118 140733215447328 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=24810/tid=24812] ppid=24808 vsize=135320 CPUtime=0.09 cores=0,2,4,6
/proc/24810/task/24812/stat : 24812 (pwbo1.1) R 24808 24810 24477 0 -1 4202560 265 0 0 0 9 0 0 0 18 0 3 0 910527854 138567680 970 33554432000 4194304 5714118 140733215447328 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 135320
[startup+0.300525 s]
/proc/loadavg: 1.00 1.04 1.31 3/179 24810
/proc/meminfo: memFree=16238876/32951124 swapFree=67053176/67111528
[pid=24810] ppid=24808 vsize=135320 CPUtime=0.59 cores=0,2,4,6
/proc/24810/stat : 24810 (pwbo1.1) S 24808 24810 24477 0 -1 4202496 1530 0 0 0 57 2 0 0 25 0 3 0 910527854 138567680 1387 33554432000 4194304 5714118 140733215447328 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/24810/statm: 33830 1387 179 372 0 33455 0
[pid=24810/tid=24811] ppid=24808 vsize=135320 CPUtime=0.28 cores=0,2,4,6
/proc/24810/task/24811/stat : 24811 (pwbo1.1) R 24808 24810 24477 0 -1 4202560 543 0 0 0 28 0 0 0 18 0 3 0 910527854 138567680 1387 33554432000 4194304 5714118 140733215447328 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=24810/tid=24812] ppid=24808 vsize=135320 CPUtime=0.29 cores=0,2,4,6
/proc/24810/task/24812/stat : 24812 (pwbo1.1) R 24808 24810 24477 0 -1 4202560 511 0 0 0 28 1 0 0 18 0 3 0 910527854 138567680 1387 33554432000 4194304 5714118 140733215447328 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 135320
[startup+0.700457 s]
/proc/loadavg: 1.00 1.04 1.31 3/179 24810
/proc/meminfo: memFree=16238876/32951124 swapFree=67053176/67111528
[pid=24810] ppid=24808 vsize=135320 CPUtime=1.39 cores=0,2,4,6
/proc/24810/stat : 24810 (pwbo1.1) S 24808 24810 24477 0 -1 4202496 2438 0 0 0 134 5 0 0 25 0 3 0 910527854 138567680 2295 33554432000 4194304 5714118 140733215447328 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/24810/statm: 33830 2295 179 372 0 33455 0
[pid=24810/tid=24811] ppid=24808 vsize=135320 CPUtime=0.68 cores=0,2,4,6
/proc/24810/task/24811/stat : 24811 (pwbo1.1) R 24808 24810 24477 0 -1 4202560 850 0 0 0 67 1 0 0 18 0 3 0 910527854 138567680 2295 33554432000 4194304 5714118 140733215447328 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=24810/tid=24812] ppid=24808 vsize=135320 CPUtime=0.68 cores=0,2,4,6
/proc/24810/task/24812/stat : 24812 (pwbo1.1) R 24808 24810 24477 0 -1 4202560 1113 0 0 0 65 3 0 0 18 0 3 0 910527854 138567680 2296 33554432000 4194304 5714118 140733215447328 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 135320
[startup+1.50031 s]
/proc/loadavg: 1.00 1.04 1.31 5/182 24813
/proc/meminfo: memFree=16178612/32951124 swapFree=67053176/67111528
[pid=24810] ppid=24808 vsize=135320 CPUtime=2.98 cores=0,2,4,6
/proc/24810/stat : 24810 (pwbo1.1) S 24808 24810 24477 0 -1 4202496 3167 0 0 0 290 8 0 0 25 0 3 0 910527854 138567680 2924 33554432000 4194304 5714118 140733215447328 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/24810/statm: 33830 2924 179 372 0 33455 0
[pid=24810/tid=24811] ppid=24808 vsize=135320 CPUtime=1.48 cores=0,2,4,6
/proc/24810/task/24811/stat : 24811 (pwbo1.1) R 24808 24810 24477 0 -1 4202560 1323 0 0 0 145 3 0 0 20 0 3 0 910527854 138567680 2924 33554432000 4194304 5714118 140733215447328 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=24810/tid=24812] ppid=24808 vsize=135320 CPUtime=1.48 cores=0,2,4,6
/proc/24810/task/24812/stat : 24812 (pwbo1.1) R 24808 24810 24477 0 -1 4202560 1368 0 0 0 144 4 0 0 19 0 3 0 910527854 138567680 2924 33554432000 4194304 5714118 140733215447328 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 135320
[startup+3.101 s]
/proc/loadavg: 1.00 1.04 1.31 5/182 24814
/proc/meminfo: memFree=16155796/32951124 swapFree=67053176/67111528
[pid=24810] ppid=24808 vsize=135320 CPUtime=6.19 cores=0,2,4,6
/proc/24810/stat : 24810 (pwbo1.1) S 24808 24810 24477 0 -1 4202496 4734 0 0 0 603 16 0 0 25 0 3 0 910527854 138567680 4076 33554432000 4194304 5714118 140733215447328 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/24810/statm: 33830 4076 179 372 0 33455 0
[pid=24810/tid=24811] ppid=24808 vsize=135320 CPUtime=3.08 cores=0,2,4,6
/proc/24810/task/24811/stat : 24811 (pwbo1.1) R 24808 24810 24477 0 -1 4202560 2537 0 0 0 300 8 0 0 25 0 3 0 910527854 138567680 4076 33554432000 4194304 5714118 140733215447328 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=24810/tid=24812] ppid=24808 vsize=135320 CPUtime=3.09 cores=0,2,4,6
/proc/24810/task/24812/stat : 24812 (pwbo1.1) R 24808 24810 24477 0 -1 4202560 1721 0 0 0 302 7 0 0 18 0 3 0 910527854 138567680 4076 33554432000 4194304 5714118 140733215447328 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 135320
[startup+6.30044 s]
/proc/loadavg: 1.16 1.07 1.32 4/177 24861
/proc/meminfo: memFree=16273276/32951124 swapFree=67053176/67111528
[pid=24810] ppid=24808 vsize=136176 CPUtime=12.58 cores=0,2,4,6
/proc/24810/stat : 24810 (pwbo1.1) S 24808 24810 24477 0 -1 4202496 5900 0 0 0 1238 20 0 0 25 0 3 0 910527854 139444224 4987 33554432000 4194304 5714118 140733215447328 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/24810/statm: 34044 4987 180 372 0 33669 0
[pid=24810/tid=24811] ppid=24808 vsize=136176 CPUtime=6.29 cores=0,2,4,6
/proc/24810/task/24811/stat : 24811 (pwbo1.1) R 24808 24810 24477 0 -1 4202560 3471 0 0 0 618 11 0 0 25 0 3 0 910527854 139444224 4987 33554432000 4194304 5714118 140733215447328 18446744073709551615 4319325 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=24810/tid=24812] ppid=24808 vsize=136176 CPUtime=6.28 cores=0,2,4,6
/proc/24810/task/24812/stat : 24812 (pwbo1.1) R 24808 24810 24477 0 -1 4202560 1953 0 0 0 619 9 0 0 25 0 3 0 910527854 139444224 4987 33554432000 4194304 5714118 140733215447328 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 136176
[startup+12.7003 s]
/proc/loadavg: 1.39 1.12 1.34 5/182 24894
/proc/meminfo: memFree=16233368/32951124 swapFree=67053176/67111528
[pid=24810] ppid=24808 vsize=136608 CPUtime=25.38 cores=0,2,4,6
/proc/24810/stat : 24810 (pwbo1.1) S 24808 24810 24477 0 -1 4202496 8314 0 0 0 2502 36 0 0 25 0 3 0 910527854 139886592 6750 33554432000 4194304 5714118 140733215447328 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/24810/statm: 34152 6750 180 372 0 33777 0
[pid=24810/tid=24811] ppid=24808 vsize=136608 CPUtime=12.68 cores=0,2,4,6
/proc/24810/task/24811/stat : 24811 (pwbo1.1) R 24808 24810 24477 0 -1 4202560 5030 0 0 0 1249 19 0 0 25 0 3 0 910527854 139886592 6750 33554432000 4194304 5714118 140733215447328 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=24810/tid=24812] ppid=24808 vsize=136608 CPUtime=12.69 cores=0,2,4,6
/proc/24810/task/24812/stat : 24812 (pwbo1.1) R 24808 24810 24477 0 -1 4202560 2808 0 0 0 1252 17 0 0 25 0 3 0 910527854 139886592 6750 33554432000 4194304 5714118 140733215447328 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 136608
[startup+25.501 s]
/proc/loadavg: 1.97 1.26 1.38 5/182 24894
/proc/meminfo: memFree=16199364/32951124 swapFree=67053176/67111528
[pid=24810] ppid=24808 vsize=135320 CPUtime=50.99 cores=0,2,4,6
/proc/24810/stat : 24810 (pwbo1.1) S 24808 24810 24477 0 -1 4202496 11197 0 0 0 5044 55 0 0 25 0 3 0 910527854 138567680 8694 33554432000 4194304 5714118 140733215447328 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/24810/statm: 33830 8694 180 372 0 33455 0
[pid=24810/tid=24811] ppid=24808 vsize=135320 CPUtime=25.49 cores=0,2,4,6
/proc/24810/task/24811/stat : 24811 (pwbo1.1) R 24808 24810 24477 0 -1 4202560 7069 0 0 0 2520 29 0 0 25 0 3 0 910527854 138567680 8694 33554432000 4194304 5714118 140733215447328 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=24810/tid=24812] ppid=24808 vsize=135320 CPUtime=25.48 cores=0,2,4,6
/proc/24810/task/24812/stat : 24812 (pwbo1.1) R 24808 24810 24477 0 -1 4202560 3652 0 0 0 2523 25 0 0 25 0 3 0 910527854 138567680 8694 33554432000 4194304 5714118 140733215447328 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 135320
[startup+51.1004 s]
/proc/loadavg: 2.66 1.48 1.45 5/182 24895
/proc/meminfo: memFree=16149444/32951124 swapFree=67053176/67111528
[pid=24810] ppid=24808 vsize=135320 CPUtime=102.19 cores=0,2,4,6
/proc/24810/stat : 24810 (pwbo1.1) S 24808 24810 24477 0 -1 4202496 16010 0 0 0 10126 93 0 0 25 0 3 0 910527854 138567680 10679 33554432000 4194304 5714118 140733215447328 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/24810/statm: 33830 10679 180 372 0 33455 0
[pid=24810/tid=24811] ppid=24808 vsize=135320 CPUtime=51.08 cores=0,2,4,6
/proc/24810/task/24811/stat : 24811 (pwbo1.1) R 24808 24810 24477 0 -1 4202560 10873 0 0 0 5056 52 0 0 25 0 3 0 910527854 138567680 10679 33554432000 4194304 5714118 140733215447328 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=24810/tid=24812] ppid=24808 vsize=135320 CPUtime=51.09 cores=0,2,4,6
/proc/24810/task/24812/stat : 24812 (pwbo1.1) R 24808 24810 24477 0 -1 4202560 4661 0 0 0 5069 40 0 0 25 0 3 0 910527854 138567680 10679 33554432000 4194304 5714118 140733215447328 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 135320
[startup+102.306 s]
/proc/loadavg: 3.42 1.86 1.58 5/182 24896
/proc/meminfo: memFree=16104500/32951124 swapFree=67053176/67111528
[pid=24810] ppid=24808 vsize=135320 CPUtime=204.6 cores=0,2,4,6
/proc/24810/stat : 24810 (pwbo1.1) S 24808 24810 24477 0 -1 4202496 22986 0 0 0 20292 168 0 0 25 0 3 0 910527854 138567680 15829 33554432000 4194304 5714118 140733215447328 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/24810/statm: 33830 15829 180 372 0 33455 0
[pid=24810/tid=24811] ppid=24808 vsize=135320 CPUtime=102.3 cores=0,2,4,6
/proc/24810/task/24811/stat : 24811 (pwbo1.1) R 24808 24810 24477 0 -1 4202560 16981 0 0 0 10136 94 0 0 25 0 3 0 910527854 138567680 15829 33554432000 4194304 5714118 140733215447328 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=24810/tid=24812] ppid=24808 vsize=135320 CPUtime=102.29 cores=0,2,4,6
/proc/24810/task/24812/stat : 24812 (pwbo1.1) R 24808 24810 24477 0 -1 4202560 5529 0 0 0 10155 74 0 0 25 0 3 0 910527854 138567680 15829 33554432000 4194304 5714118 140733215447328 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.6
Current children cumulated vsize (KiB) 135320
[startup+162.3 s]
/proc/loadavg: 3.78 2.25 1.73 5/182 24938
/proc/meminfo: memFree=16119712/32951124 swapFree=67053176/67111528
[pid=24810] ppid=24808 vsize=135320 CPUtime=324.59 cores=0,2,4,6
/proc/24810/stat : 24810 (pwbo1.1) S 24808 24810 24477 0 -1 4202496 27218 0 0 0 32218 241 0 0 25 0 3 0 910527854 138567680 18849 33554432000 4194304 5714118 140733215447328 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/24810/statm: 33830 18849 180 372 0 33455 0
[pid=24810/tid=24811] ppid=24808 vsize=135320 CPUtime=162.29 cores=0,2,4,6
/proc/24810/task/24811/stat : 24811 (pwbo1.1) R 24808 24810 24477 0 -1 4202560 20709 0 0 0 16099 130 0 0 25 0 3 0 910527854 138567680 18849 33554432000 4194304 5714118 140733215447328 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=24810/tid=24812] ppid=24808 vsize=135320 CPUtime=162.29 cores=0,2,4,6
/proc/24810/task/24812/stat : 24812 (pwbo1.1) R 24808 24810 24477 0 -1 4202560 6033 0 0 0 16118 111 0 0 25 0 3 0 910527854 138567680 18849 33554432000 4194304 5714118 140733215447328 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 324.59
Current children cumulated vsize (KiB) 135320
[startup+222.3 s]
/proc/loadavg: 3.92 2.56 1.87 5/182 24939
/proc/meminfo: memFree=15903832/32951124 swapFree=67053176/67111528
[pid=24810] ppid=24808 vsize=135320 CPUtime=444.59 cores=0,2,4,6
/proc/24810/stat : 24810 (pwbo1.1) S 24808 24810 24477 0 -1 4202496 29013 0 0 0 44159 300 0 0 25 0 3 0 910527854 138567680 20162 33554432000 4194304 5714118 140733215447328 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/24810/statm: 33830 20162 180 372 0 33455 0
[pid=24810/tid=24811] ppid=24808 vsize=135320 CPUtime=222.29 cores=0,2,4,6
/proc/24810/task/24811/stat : 24811 (pwbo1.1) R 24808 24810 24477 0 -1 4202560 22274 0 0 0 22071 158 0 0 25 0 3 0 910527854 138567680 20162 33554432000 4194304 5714118 140733215447328 18446744073709551615 4319307 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=24810/tid=24812] ppid=24808 vsize=135320 CPUtime=222.29 cores=0,2,4,6
/proc/24810/task/24812/stat : 24812 (pwbo1.1) R 24808 24810 24477 0 -1 4202560 6263 0 0 0 22087 142 0 0 25 0 3 0 910527854 138567680 20162 33554432000 4194304 5714118 140733215447328 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 444.59
Current children cumulated vsize (KiB) 135320
[startup+282.301 s]
/proc/loadavg: 3.97 2.82 2.00 5/182 24941
/proc/meminfo: memFree=15790944/32951124 swapFree=67053176/67111528
[pid=24810] ppid=24808 vsize=135320 CPUtime=564.6 cores=0,2,4,6
/proc/24810/stat : 24810 (pwbo1.1) S 24808 24810 24477 0 -1 4202496 31108 0 0 0 56101 359 0 0 25 0 3 0 910527854 138567680 20689 33554432000 4194304 5714118 140733215447328 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/24810/statm: 33830 20689 180 372 0 33455 0
[pid=24810/tid=24811] ppid=24808 vsize=135320 CPUtime=282.29 cores=0,2,4,6
/proc/24810/task/24811/stat : 24811 (pwbo1.1) R 24808 24810 24477 0 -1 4202560 24368 0 0 0 28040 189 0 0 25 0 3 0 910527854 138567680 20689 33554432000 4194304 5714118 140733215447328 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=24810/tid=24812] ppid=24808 vsize=135320 CPUtime=282.29 cores=0,2,4,6
/proc/24810/task/24812/stat : 24812 (pwbo1.1) R 24808 24810 24477 0 -1 4202560 6264 0 0 0 28060 169 0 0 25 0 3 0 910527854 138567680 20689 33554432000 4194304 5714118 140733215447328 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 564.6
Current children cumulated vsize (KiB) 135320
[startup+342.301 s]
/proc/loadavg: 3.99 3.04 2.12 5/182 24943
/proc/meminfo: memFree=15676308/32951124 swapFree=67053176/67111528
[pid=24810] ppid=24808 vsize=135320 CPUtime=684.59 cores=0,2,4,6
/proc/24810/stat : 24810 (pwbo1.1) S 24808 24810 24477 0 -1 4202496 35425 0 0 0 68037 422 0 0 25 0 3 0 910527854 138567680 22386 33554432000 4194304 5714118 140733215447328 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/24810/statm: 33830 22386 180 372 0 33455 0
[pid=24810/tid=24811] ppid=24808 vsize=135320 CPUtime=342.29 cores=0,2,4,6
/proc/24810/task/24811/stat : 24811 (pwbo1.1) R 24808 24810 24477 0 -1 4202560 28160 0 0 0 34003 226 0 0 25 0 3 0 910527854 138567680 22386 33554432000 4194304 5714118 140733215447328 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=24810/tid=24812] ppid=24808 vsize=135320 CPUtime=342.28 cores=0,2,4,6
/proc/24810/task/24812/stat : 24812 (pwbo1.1) R 24808 24810 24477 0 -1 4202560 6789 0 0 0 34033 195 0 0 25 0 3 0 910527854 138567680 22386 33554432000 4194304 5714118 140733215447328 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 684.59
Current children cumulated vsize (KiB) 135320
[startup+402.301 s]
/proc/loadavg: 3.99 3.21 2.23 5/182 24944
/proc/meminfo: memFree=15569252/32951124 swapFree=67053176/67111528
[pid=24810] ppid=24808 vsize=200856 CPUtime=804.6 cores=0,2,4,6
/proc/24810/stat : 24810 (pwbo1.1) S 24808 24810 24477 0 -1 4202496 37780 0 0 0 79978 482 0 0 25 0 3 0 910527854 205676544 24409 33554432000 4194304 5714118 140733215447328 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/24810/statm: 50214 24409 180 372 0 49839 0
[pid=24810/tid=24811] ppid=24808 vsize=200856 CPUtime=402.3 cores=0,2,4,6
/proc/24810/task/24811/stat : 24811 (pwbo1.1) R 24808 24810 24477 0 -1 4202560 29787 0 0 0 39976 254 0 0 25 0 3 0 910527854 205676544 24409 33554432000 4194304 5714118 140733215447328 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=24810/tid=24812] ppid=24808 vsize=200856 CPUtime=402.28 cores=0,2,4,6
/proc/24810/task/24812/stat : 24812 (pwbo1.1) R 24808 24810 24477 0 -1 4202560 7517 0 0 0 40001 227 0 0 25 0 3 0 910527854 205676544 24409 33554432000 4194304 5714118 140733215447328 18446744073709551615 4299920 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 804.6
Current children cumulated vsize (KiB) 200856
[startup+462.301 s]
/proc/loadavg: 3.99 3.35 2.34 5/182 24946
/proc/meminfo: memFree=15439256/32951124 swapFree=67053176/67111528
[pid=24810] ppid=24808 vsize=139640 CPUtime=924.6 cores=0,2,4,6
/proc/24810/stat : 24810 (pwbo1.1) S 24808 24810 24477 0 -1 4202496 42420 0 0 0 91906 554 0 0 25 0 3 0 910527854 142991360 27109 33554432000 4194304 5714118 140733215447328 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/24810/statm: 34910 27109 180 372 0 34535 0
[pid=24810/tid=24811] ppid=24808 vsize=139640 CPUtime=462.3 cores=0,2,4,6
/proc/24810/task/24811/stat : 24811 (pwbo1.1) R 24808 24810 24477 0 -1 4202560 31837 0 0 0 45949 281 0 0 25 0 3 0 910527854 142991360 27109 33554432000 4194304 5714118 140733215447328 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=24810/tid=24812] ppid=24808 vsize=139640 CPUtime=462.29 cores=0,2,4,6
/proc/24810/task/24812/stat : 24812 (pwbo1.1) R 24808 24810 24477 0 -1 4202560 10107 0 0 0 45957 272 0 0 25 0 3 0 910527854 142991360 27109 33554432000 4194304 5714118 140733215447328 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 924.6
Current children cumulated vsize (KiB) 139640
[startup+522.301 s]
/proc/loadavg: 3.99 3.47 2.44 5/182 24947
/proc/meminfo: memFree=15328088/32951124 swapFree=67053176/67111528
[pid=24810] ppid=24808 vsize=145404 CPUtime=1044.6 cores=0,2,4,6
/proc/24810/stat : 24810 (pwbo1.1) S 24808 24810 24477 0 -1 4202496 46551 0 0 0 103842 618 0 0 25 0 3 0 910527854 148893696 28914 33554432000 4194304 5714118 140733215447328 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/24810/statm: 36351 28914 180 372 0 35976 0
[pid=24810/tid=24811] ppid=24808 vsize=145404 CPUtime=522.3 cores=0,2,4,6
/proc/24810/task/24811/stat : 24811 (pwbo1.1) R 24808 24810 24477 0 -1 4202560 35290 0 0 0 51919 311 0 0 25 0 3 0 910527854 148893696 28914 33554432000 4194304 5714118 140733215447328 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=24810/tid=24812] ppid=24808 vsize=145404 CPUtime=522.29 cores=0,2,4,6
/proc/24810/task/24812/stat : 24812 (pwbo1.1) R 24808 24810 24477 0 -1 4202560 10785 0 0 0 51922 307 0 0 25 0 3 0 910527854 148893696 28914 33554432000 4194304 5714118 140733215447328 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1044.6
Current children cumulated vsize (KiB) 145404
[startup+582.3 s]
/proc/loadavg: 3.99 3.56 2.54 5/182 24949
/proc/meminfo: memFree=15305720/32951124 swapFree=67053176/67111528
[pid=24810] ppid=24808 vsize=200856 CPUtime=1164.61 cores=0,2,4,6
/proc/24810/stat : 24810 (pwbo1.1) S 24808 24810 24477 0 -1 4202496 48385 0 0 0 115785 676 0 0 25 0 3 0 910527854 205676544 27943 33554432000 4194304 5714118 140733215447328 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/24810/statm: 50214 27943 180 372 0 49839 0
[pid=24810/tid=24811] ppid=24808 vsize=200856 CPUtime=582.31 cores=0,2,4,6
/proc/24810/task/24811/stat : 24811 (pwbo1.1) R 24808 24810 24477 0 -1 4202560 36982 0 0 0 57885 346 0 0 25 0 3 0 910527854 205676544 27943 33554432000 4194304 5714118 140733215447328 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=24810/tid=24812] ppid=24808 vsize=200856 CPUtime=582.29 cores=0,2,4,6
/proc/24810/task/24812/stat : 24812 (pwbo1.1) R 24808 24810 24477 0 -1 4202560 10927 0 0 0 57899 330 0 0 25 0 3 0 910527854 205676544 27943 33554432000 4194304 5714118 140733215447328 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1164.61
Current children cumulated vsize (KiB) 200856
[startup+642.301 s]
/proc/loadavg: 3.99 3.64 2.63 5/182 24951
/proc/meminfo: memFree=15301188/32951124 swapFree=67053176/67111528
[pid=24810] ppid=24808 vsize=200856 CPUtime=1284.62 cores=0,2,4,6
/proc/24810/stat : 24810 (pwbo1.1) S 24808 24810 24477 0 -1 4202496 50640 0 0 0 127728 734 0 0 25 0 3 0 910527854 205676544 28299 33554432000 4194304 5714118 140733215447328 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/24810/statm: 50214 28299 180 372 0 49839 0
[pid=24810/tid=24811] ppid=24808 vsize=200856 CPUtime=642.31 cores=0,2,4,6
/proc/24810/task/24811/stat : 24811 (pwbo1.1) R 24808 24810 24477 0 -1 4202560 39230 0 0 0 63852 379 0 0 25 0 3 0 910527854 205676544 28299 33554432000 4194304 5714118 140733215447328 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=24810/tid=24812] ppid=24808 vsize=200856 CPUtime=642.29 cores=0,2,4,6
/proc/24810/task/24812/stat : 24812 (pwbo1.1) R 24808 24810 24477 0 -1 4202560 10934 0 0 0 63875 354 0 0 25 0 3 0 910527854 205676544 28299 33554432000 4194304 5714118 140733215447328 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1284.62
Current children cumulated vsize (KiB) 200856
[startup+702.301 s]
/proc/loadavg: 3.99 3.70 2.71 5/182 24952
/proc/meminfo: memFree=15284252/32951124 swapFree=67053176/67111528
[pid=24810] ppid=24808 vsize=200856 CPUtime=1404.61 cores=0,2,4,6
/proc/24810/stat : 24810 (pwbo1.1) S 24808 24810 24477 0 -1 4202496 53734 0 0 0 139665 796 0 0 25 0 3 0 910527854 205676544 30093 33554432000 4194304 5714118 140733215447328 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/24810/statm: 50214 30093 180 372 0 49839 0
[pid=24810/tid=24811] ppid=24808 vsize=200856 CPUtime=702.31 cores=0,2,4,6
/proc/24810/task/24811/stat : 24811 (pwbo1.1) R 24808 24810 24477 0 -1 4202560 42321 0 0 0 69820 411 0 0 25 0 3 0 910527854 205676544 30093 33554432000 4194304 5714118 140733215447328 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=24810/tid=24812] ppid=24808 vsize=200856 CPUtime=702.29 cores=0,2,4,6
/proc/24810/task/24812/stat : 24812 (pwbo1.1) R 24808 24810 24477 0 -1 4202560 10937 0 0 0 69844 385 0 0 25 0 3 0 910527854 205676544 30093 33554432000 4194304 5714118 140733215447328 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1404.61
Current children cumulated vsize (KiB) 200856
[startup+762.307 s]
/proc/loadavg: 3.99 3.75 2.79 5/182 24954
/proc/meminfo: memFree=15282852/32951124 swapFree=67053176/67111528
[pid=24810] ppid=24808 vsize=200856 CPUtime=1524.63 cores=0,2,4,6
/proc/24810/stat : 24810 (pwbo1.1) S 24808 24810 24477 0 -1 4202496 57671 0 0 0 151604 859 0 0 25 0 3 0 910527854 205676544 30650 33554432000 4194304 5714118 140733215447328 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/24810/statm: 50214 30650 180 372 0 49839 0
[pid=24810/tid=24811] ppid=24808 vsize=200856 CPUtime=762.31 cores=0,2,4,6
/proc/24810/task/24811/stat : 24811 (pwbo1.1) R 24808 24810 24477 0 -1 4202560 46258 0 0 0 75791 440 0 0 25 0 3 0 910527854 205676544 30650 33554432000 4194304 5714118 140733215447328 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=24810/tid=24812] ppid=24808 vsize=200856 CPUtime=762.29 cores=0,2,4,6
/proc/24810/task/24812/stat : 24812 (pwbo1.1) R 24808 24810 24477 0 -1 4202560 10937 0 0 0 75811 418 0 0 25 0 3 0 910527854 205676544 30650 33554432000 4194304 5714118 140733215447328 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1524.63
Current children cumulated vsize (KiB) 200856
[startup+822.301 s]
/proc/loadavg: 3.99 3.80 2.86 5/182 24955
/proc/meminfo: memFree=15236276/32951124 swapFree=67053176/67111528
[pid=24810] ppid=24808 vsize=200856 CPUtime=1644.62 cores=0,2,4,6
/proc/24810/stat : 24810 (pwbo1.1) S 24808 24810 24477 0 -1 4202496 68563 0 0 0 163530 932 0 0 25 0 3 0 910527854 205676544 31177 33554432000 4194304 5714118 140733215447328 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/24810/statm: 50214 31177 180 372 0 49839 0
[pid=24810/tid=24811] ppid=24808 vsize=200856 CPUtime=822.31 cores=0,2,4,6
/proc/24810/task/24811/stat : 24811 (pwbo1.1) R 24808 24810 24477 0 -1 4202560 57150 0 0 0 81747 484 0 0 25 0 3 0 910527854 205676544 31177 33554432000 4194304 5714118 140733215447328 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=24810/tid=24812] ppid=24808 vsize=200856 CPUtime=822.3 cores=0,2,4,6
/proc/24810/task/24812/stat : 24812 (pwbo1.1) R 24808 24810 24477 0 -1 4202560 10937 0 0 0 81783 447 0 0 25 0 3 0 910527854 205676544 31177 33554432000 4194304 5714118 140733215447328 18446744073709551615 4322666 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1644.62
Current children cumulated vsize (KiB) 200856
[startup+882.301 s]
/proc/loadavg: 3.99 3.83 2.93 5/182 24957
/proc/meminfo: memFree=15220972/32951124 swapFree=67053176/67111528
[pid=24810] ppid=24808 vsize=200856 CPUtime=1764.62 cores=0,2,4,6
/proc/24810/stat : 24810 (pwbo1.1) S 24808 24810 24477 0 -1 4202496 73962 0 0 0 175459 1003 0 0 25 0 3 0 910527854 205676544 31395 33554432000 4194304 5714118 140733215447328 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/24810/statm: 50214 31395 180 372 0 49839 0
[pid=24810/tid=24811] ppid=24808 vsize=200856 CPUtime=882.31 cores=0,2,4,6
/proc/24810/task/24811/stat : 24811 (pwbo1.1) R 24808 24810 24477 0 -1 4202560 62549 0 0 0 87707 524 0 0 25 0 3 0 910527854 205676544 31395 33554432000 4194304 5714118 140733215447328 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=24810/tid=24812] ppid=24808 vsize=200856 CPUtime=882.3 cores=0,2,4,6
/proc/24810/task/24812/stat : 24812 (pwbo1.1) R 24808 24810 24477 0 -1 4202560 10937 0 0 0 87752 478 0 0 25 0 3 0 910527854 205676544 31395 33554432000 4194304 5714118 140733215447328 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1764.62
Current children cumulated vsize (KiB) 200856
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.001 s]
/proc/loadavg: 3.99 3.84 2.95 5/182 24957
/proc/meminfo: memFree=15194800/32951124 swapFree=67053176/67111528
[pid=24810] ppid=24808 vsize=200856 CPUtime=1800.04 cores=0,2,4,6
/proc/24810/stat : 24810 (pwbo1.1) S 24808 24810 24477 0 -1 4202496 75740 0 0 0 178984 1020 0 0 25 0 3 0 910527854 205676544 33172 33554432000 4194304 5714118 140733215447328 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/24810/statm: 50214 33172 180 372 0 49839 0
[pid=24810/tid=24811] ppid=24808 vsize=200856 CPUtime=900.02 cores=0,2,4,6
/proc/24810/task/24811/stat : 24811 (pwbo1.1) R 24808 24810 24477 0 -1 4202560 63013 0 0 0 89472 530 0 0 25 0 3 0 910527854 205676544 33172 33554432000 4194304 5714118 140733215447328 18446744073709551615 4322666 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=24810/tid=24812] ppid=24808 vsize=200856 CPUtime=900 cores=0,2,4,6
/proc/24810/task/24812/stat : 24812 (pwbo1.1) R 24808 24810 24477 0 -1 4202560 12251 0 0 0 89511 489 0 0 22 0 3 0 910527854 205676544 33172 33554432000 4194304 5714118 140733215447328 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 200856
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 900.021
CPU time (s): 1800.06
CPU user time (s): 1789.85
CPU system time (s): 10.2084
CPU usage (%): 200.002
Max. virtual memory (cumulated for all children) (KiB): 200856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.85
system time used= 10.2084
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75746
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= 54
involuntary context switches= 4461
runsolver used 1.51877 second user time and 2.91256 second system time
The end