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 /var/tmp/evaluation-result-3500477-1307995958/watcher-3500477-1307995958 -o /var/tmp/evaluation-result-3500477-1307995958/solver-3500477-1307995958 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500477-1307995958.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: 3.76 3.85 3.87 3/179 1389
/proc/meminfo: memFree=13056520/32951124 swapFree=67055536/67111528
[pid=1389] ppid=1387 vsize=3836 CPUtime=0 cores=0,2,4,6
/proc/1389/stat : 1389 (pwbo1.1) R 1387 1389 306 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 892011909 3928064 317 33554432000 4194304 5714118 140734563272704 18446744073709551615 4228135 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/1389/statm: 959 317 161 372 0 217 0
[startup+0.0543649 s]
/proc/loadavg: 3.76 3.85 3.87 3/179 1389
/proc/meminfo: memFree=13056520/32951124 swapFree=67055536/67111528
[pid=1389] ppid=1387 vsize=12112 CPUtime=0.04 cores=0,2,4,6
/proc/1389/stat : 1389 (pwbo1.1) R 1387 1389 306 0 -1 4202496 2577 0 0 0 4 0 0 0 25 0 1 0 892011909 12402688 2529 33554432000 4194304 5714118 140734563272704 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/1389/statm: 3028 2530 308 372 0 2286 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 12112
[startup+0.100348 s]
/proc/loadavg: 3.76 3.85 3.87 3/179 1389
/proc/meminfo: memFree=13056520/32951124 swapFree=67055536/67111528
[pid=1389] ppid=1387 vsize=19408 CPUtime=0.09 cores=0,2,4,6
/proc/1389/stat : 1389 (pwbo1.1) R 1387 1389 306 0 -1 4202496 4541 0 0 0 9 0 0 0 25 0 1 0 892011909 19873792 4493 33554432000 4194304 5714118 140734563272704 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/1389/statm: 4852 4494 441 372 0 4110 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19408
[startup+0.30031 s]
/proc/loadavg: 3.76 3.85 3.87 3/179 1389
/proc/meminfo: memFree=13056520/32951124 swapFree=67055536/67111528
[pid=1389] ppid=1387 vsize=155980 CPUtime=0.46 cores=0,2,4,6
/proc/1389/stat : 1389 (pwbo1.1) S 1387 1389 306 0 -1 4202496 8970 0 0 0 42 4 0 0 18 0 3 0 892011909 159723520 8555 33554432000 4194304 5714118 140734563272704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1389/statm: 38995 8555 180 372 0 38620 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 155980
[startup+0.700221 s]
/proc/loadavg: 3.76 3.85 3.87 3/179 1389
/proc/meminfo: memFree=13056520/32951124 swapFree=67055536/67111528
[pid=1389] ppid=1387 vsize=155980 CPUtime=1.25 cores=0,2,4,6
/proc/1389/stat : 1389 (pwbo1.1) S 1387 1389 306 0 -1 4202496 9017 0 0 0 121 4 0 0 18 0 3 0 892011909 159723520 8602 33554432000 4194304 5714118 140734563272704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1389/statm: 38995 8602 181 372 0 38620 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 155980
[startup+1.50109 s]
/proc/loadavg: 3.78 3.86 3.87 5/182 1392
/proc/meminfo: memFree=13022792/32951124 swapFree=67055536/67111528
[pid=1389] ppid=1387 vsize=155980 CPUtime=2.86 cores=0,2,4,6
/proc/1389/stat : 1389 (pwbo1.1) S 1387 1389 306 0 -1 4202496 9132 0 0 0 281 5 0 0 18 0 3 0 892011909 159723520 8717 33554432000 4194304 5714118 140734563272704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1389/statm: 38995 8717 181 372 0 38620 0
[pid=1389/tid=1391] ppid=1387 vsize=155980 CPUtime=1.36 cores=0,2,4,6
/proc/1389/task/1391/stat : 1391 (pwbo1.1) R 1387 1389 306 0 -1 4202560 2889 0 0 0 133 3 0 0 19 0 3 0 892011922 159723520 8717 33554432000 4194304 5714118 140734563272704 18446744073709551615 4323028 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1389/tid=1392] ppid=1387 vsize=155980 CPUtime=1.36 cores=0,2,4,6
/proc/1389/task/1392/stat : 1392 (pwbo1.1) R 1387 1389 306 0 -1 4202560 268 0 0 0 136 0 0 0 19 0 3 0 892011922 159723520 8717 33554432000 4194304 5714118 140734563272704 18446744073709551615 4200618 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 155980
[startup+3.10082 s]
/proc/loadavg: 3.78 3.86 3.87 5/182 1392
/proc/meminfo: memFree=13019568/32951124 swapFree=67055536/67111528
[pid=1389] ppid=1387 vsize=155980 CPUtime=6.06 cores=0,2,4,6
/proc/1389/stat : 1389 (pwbo1.1) S 1387 1389 306 0 -1 4202496 9350 0 0 0 601 5 0 0 18 0 3 0 892011909 159723520 8935 33554432000 4194304 5714118 140734563272704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1389/statm: 38995 8935 181 372 0 38620 0
[pid=1389/tid=1391] ppid=1387 vsize=155980 CPUtime=2.96 cores=0,2,4,6
/proc/1389/task/1391/stat : 1391 (pwbo1.1) R 1387 1389 306 0 -1 4202560 3026 0 0 0 292 4 0 0 25 0 3 0 892011922 159723520 8935 33554432000 4194304 5714118 140734563272704 18446744073709551615 4305224 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1389/tid=1392] ppid=1387 vsize=155980 CPUtime=2.96 cores=0,2,4,6
/proc/1389/task/1392/stat : 1392 (pwbo1.1) R 1387 1389 306 0 -1 4202560 349 0 0 0 296 0 0 0 25 0 3 0 892011922 159723520 8935 33554432000 4194304 5714118 140734563272704 18446744073709551615 4200720 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 155980
[startup+6.30025 s]
/proc/loadavg: 3.80 3.86 3.87 5/182 1392
/proc/meminfo: memFree=13014608/32951124 swapFree=67055536/67111528
[pid=1389] ppid=1387 vsize=155980 CPUtime=12.46 cores=0,2,4,6
/proc/1389/stat : 1389 (pwbo1.1) S 1387 1389 306 0 -1 4202496 9839 0 0 0 1238 8 0 0 18 0 3 0 892011909 159723520 9424 33554432000 4194304 5714118 140734563272704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1389/statm: 38995 9424 181 372 0 38620 0
[pid=1389/tid=1391] ppid=1387 vsize=155980 CPUtime=6.16 cores=0,2,4,6
/proc/1389/task/1391/stat : 1391 (pwbo1.1) R 1387 1389 306 0 -1 4202560 3325 0 0 0 611 5 0 0 25 0 3 0 892011922 159723520 9424 33554432000 4194304 5714118 140734563272704 18446744073709551615 4322672 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1389/tid=1392] ppid=1387 vsize=155980 CPUtime=6.15 cores=0,2,4,6
/proc/1389/task/1392/stat : 1392 (pwbo1.1) R 1387 1389 306 0 -1 4202560 539 0 0 0 614 1 0 0 19 0 3 0 892011922 159723520 9424 33554432000 4194304 5714118 140734563272704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 155980
[startup+12.7011 s]
/proc/loadavg: 3.81 3.86 3.87 5/182 1392
/proc/meminfo: memFree=13006132/32951124 swapFree=67055536/67111528
[pid=1389] ppid=1387 vsize=156268 CPUtime=25.26 cores=0,2,4,6
/proc/1389/stat : 1389 (pwbo1.1) S 1387 1389 306 0 -1 4202496 10782 0 0 0 2514 12 0 0 18 0 3 0 892011909 160018432 10367 33554432000 4194304 5714118 140734563272704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1389/statm: 39067 10367 181 372 0 38692 0
[pid=1389/tid=1391] ppid=1387 vsize=156268 CPUtime=12.56 cores=0,2,4,6
/proc/1389/task/1391/stat : 1391 (pwbo1.1) R 1387 1389 306 0 -1 4202560 3861 0 0 0 1249 7 0 0 25 0 3 0 892011922 160018432 10367 33554432000 4194304 5714118 140734563272704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1389/tid=1392] ppid=1387 vsize=156268 CPUtime=12.56 cores=0,2,4,6
/proc/1389/task/1392/stat : 1392 (pwbo1.1) R 1387 1389 306 0 -1 4202560 946 0 0 0 1253 3 0 0 25 0 3 0 892011922 160018432 10367 33554432000 4194304 5714118 140734563272704 18446744073709551615 4323015 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 156268
[startup+25.5009 s]
/proc/loadavg: 3.93 3.88 3.88 5/182 1393
/proc/meminfo: memFree=12975976/32951124 swapFree=67055536/67111528
[pid=1389] ppid=1387 vsize=162504 CPUtime=50.86 cores=0,2,4,6
/proc/1389/stat : 1389 (pwbo1.1) S 1387 1389 306 0 -1 4202496 15651 0 0 0 5065 21 0 0 18 0 3 0 892011909 166404096 15236 33554432000 4194304 5714118 140734563272704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1389/statm: 40626 15236 181 372 0 40251 0
[pid=1389/tid=1391] ppid=1387 vsize=162504 CPUtime=25.36 cores=0,2,4,6
/proc/1389/task/1391/stat : 1391 (pwbo1.1) R 1387 1389 306 0 -1 4202560 4240 0 0 0 2527 9 0 0 25 0 3 0 892011922 166404096 15236 33554432000 4194304 5714118 140734563272704 18446744073709551615 4200634 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1389/tid=1392] ppid=1387 vsize=162504 CPUtime=25.36 cores=0,2,4,6
/proc/1389/task/1392/stat : 1392 (pwbo1.1) R 1387 1389 306 0 -1 4202560 5436 0 0 0 2526 10 0 0 25 0 3 0 892011922 166404096 15236 33554432000 4194304 5714118 140734563272704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 162504
[startup+51.1004 s]
/proc/loadavg: 3.96 3.89 3.88 5/182 1393
/proc/meminfo: memFree=12949468/32951124 swapFree=67055536/67111528
[pid=1389] ppid=1387 vsize=162772 CPUtime=102.06 cores=0,2,4,6
/proc/1389/stat : 1389 (pwbo1.1) S 1387 1389 306 0 -1 4202496 17541 0 0 0 10174 32 0 0 18 0 3 0 892011909 166678528 17126 33554432000 4194304 5714118 140734563272704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1389/statm: 40693 17126 182 372 0 40318 0
[pid=1389/tid=1391] ppid=1387 vsize=162772 CPUtime=50.96 cores=0,2,4,6
/proc/1389/task/1391/stat : 1391 (pwbo1.1) R 1387 1389 306 0 -1 4202560 4795 0 0 0 5082 14 0 0 25 0 3 0 892011922 166678528 17126 33554432000 4194304 5714118 140734563272704 18446744073709551615 4322999 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1389/tid=1392] ppid=1387 vsize=162772 CPUtime=50.95 cores=0,2,4,6
/proc/1389/task/1392/stat : 1392 (pwbo1.1) R 1387 1389 306 0 -1 4202560 6771 0 0 0 5079 16 0 0 25 0 3 0 892011922 166678528 17126 33554432000 4194304 5714118 140734563272704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 102.06
Current children cumulated vsize (KiB) 162772
[startup+102.306 s]
/proc/loadavg: 3.98 3.91 3.88 5/182 1395
/proc/meminfo: memFree=12901052/32951124 swapFree=67055536/67111528
[pid=1389] ppid=1387 vsize=163084 CPUtime=204.47 cores=0,2,4,6
/proc/1389/stat : 1389 (pwbo1.1) S 1387 1389 306 0 -1 4202496 20536 0 0 0 20395 52 0 0 18 0 3 0 892011909 166998016 20121 33554432000 4194304 5714118 140734563272704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1389/statm: 40771 20121 182 372 0 40396 0
[pid=1389/tid=1391] ppid=1387 vsize=163084 CPUtime=102.17 cores=0,2,4,6
/proc/1389/task/1391/stat : 1391 (pwbo1.1) R 1387 1389 306 0 -1 4202560 6563 0 0 0 10190 27 0 0 25 0 3 0 892011922 166998016 20121 33554432000 4194304 5714118 140734563272704 18446744073709551615 4200288 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1389/tid=1392] ppid=1387 vsize=163084 CPUtime=102.17 cores=0,2,4,6
/proc/1389/task/1392/stat : 1392 (pwbo1.1) R 1387 1389 306 0 -1 4202560 7998 0 0 0 10193 24 0 0 25 0 3 0 892011922 166998016 20121 33554432000 4194304 5714118 140734563272704 18446744073709551615 4322666 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.47
Current children cumulated vsize (KiB) 163084
[startup+162.301 s]
/proc/loadavg: 3.99 3.92 3.89 5/182 1396
/proc/meminfo: memFree=12844600/32951124 swapFree=67055536/67111528
[pid=1389] ppid=1387 vsize=163948 CPUtime=324.46 cores=0,2,4,6
/proc/1389/stat : 1389 (pwbo1.1) S 1387 1389 306 0 -1 4202496 24490 0 0 0 32368 78 0 0 18 0 3 0 892011909 167882752 24075 33554432000 4194304 5714118 140734563272704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1389/statm: 40987 24075 182 372 0 40612 0
[pid=1389/tid=1391] ppid=1387 vsize=163948 CPUtime=162.16 cores=0,2,4,6
/proc/1389/task/1391/stat : 1391 (pwbo1.1) R 1387 1389 306 0 -1 4202560 8099 0 0 0 16177 39 0 0 25 0 3 0 892011922 167882752 24075 33554432000 4194304 5714118 140734563272704 18446744073709551615 4323028 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1389/tid=1392] ppid=1387 vsize=163948 CPUtime=162.16 cores=0,2,4,6
/proc/1389/task/1392/stat : 1392 (pwbo1.1) R 1387 1389 306 0 -1 4202560 10416 0 0 0 16179 37 0 0 25 0 3 0 892011922 167882752 24075 33554432000 4194304 5714118 140734563272704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 324.46
Current children cumulated vsize (KiB) 163948
[startup+222.301 s]
/proc/loadavg: 3.99 3.93 3.90 5/182 1398
/proc/meminfo: memFree=12793004/32951124 swapFree=67055536/67111528
[pid=1389] ppid=1387 vsize=165316 CPUtime=444.46 cores=0,2,4,6
/proc/1389/stat : 1389 (pwbo1.1) S 1387 1389 306 0 -1 4202496 28348 0 0 0 44348 98 0 0 18 0 3 0 892011909 169283584 27933 33554432000 4194304 5714118 140734563272704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1389/statm: 41329 27933 182 372 0 40954 0
[pid=1389/tid=1391] ppid=1387 vsize=165316 CPUtime=222.17 cores=0,2,4,6
/proc/1389/task/1391/stat : 1391 (pwbo1.1) R 1387 1389 306 0 -1 4202560 9541 0 0 0 22168 49 0 0 25 0 3 0 892011922 169283584 27933 33554432000 4194304 5714118 140734563272704 18446744073709551615 4200288 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1389/tid=1392] ppid=1387 vsize=165316 CPUtime=222.16 cores=0,2,4,6
/proc/1389/task/1392/stat : 1392 (pwbo1.1) R 1387 1389 306 0 -1 4202560 12832 0 0 0 22168 48 0 0 25 0 3 0 892011922 169283584 27933 33554432000 4194304 5714118 140734563272704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 444.46
Current children cumulated vsize (KiB) 165316
[startup+282.301 s]
/proc/loadavg: 3.99 3.94 3.90 5/182 1400
/proc/meminfo: memFree=12750216/32951124 swapFree=67055536/67111528
[pid=1389] ppid=1387 vsize=165316 CPUtime=564.46 cores=0,2,4,6
/proc/1389/stat : 1389 (pwbo1.1) S 1387 1389 306 0 -1 4202496 29636 0 0 0 56330 116 0 0 18 0 3 0 892011909 169283584 29221 33554432000 4194304 5714118 140734563272704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1389/statm: 41329 29221 182 372 0 40954 0
[pid=1389/tid=1391] ppid=1387 vsize=165316 CPUtime=282.17 cores=0,2,4,6
/proc/1389/task/1391/stat : 1391 (pwbo1.1) R 1387 1389 306 0 -1 4202560 10826 0 0 0 28157 60 0 0 25 0 3 0 892011922 169283584 29221 33554432000 4194304 5714118 140734563272704 18446744073709551615 4200618 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1389/tid=1392] ppid=1387 vsize=165316 CPUtime=282.16 cores=0,2,4,6
/proc/1389/task/1392/stat : 1392 (pwbo1.1) R 1387 1389 306 0 -1 4202560 12835 0 0 0 28162 54 0 0 25 0 3 0 892011922 169283584 29221 33554432000 4194304 5714118 140734563272704 18446744073709551615 4200288 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 564.46
Current children cumulated vsize (KiB) 165316
[startup+342.301 s]
/proc/loadavg: 3.99 3.95 3.91 5/182 1401
/proc/meminfo: memFree=12710388/32951124 swapFree=67055536/67111528
[pid=1389] ppid=1387 vsize=165424 CPUtime=684.46 cores=0,2,4,6
/proc/1389/stat : 1389 (pwbo1.1) S 1387 1389 306 0 -1 4202496 31144 0 0 0 68313 133 0 0 18 0 3 0 892011909 169394176 30729 33554432000 4194304 5714118 140734563272704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1389/statm: 41356 30729 182 372 0 40981 0
[pid=1389/tid=1391] ppid=1387 vsize=165424 CPUtime=342.17 cores=0,2,4,6
/proc/1389/task/1391/stat : 1391 (pwbo1.1) R 1387 1389 306 0 -1 4202560 12332 0 0 0 34144 73 0 0 25 0 3 0 892011922 169394176 30729 33554432000 4194304 5714118 140734563272704 18446744073709551615 4200768 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1389/tid=1392] ppid=1387 vsize=165424 CPUtime=342.15 cores=0,2,4,6
/proc/1389/task/1392/stat : 1392 (pwbo1.1) R 1387 1389 306 0 -1 4202560 12837 0 0 0 34157 58 0 0 25 0 3 0 892011922 169394176 30729 33554432000 4194304 5714118 140734563272704 18446744073709551615 4200720 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 684.46
Current children cumulated vsize (KiB) 165424
[startup+402.301 s]
/proc/loadavg: 3.99 3.95 3.91 5/182 1403
/proc/meminfo: memFree=12665476/32951124 swapFree=67055536/67111528
[pid=1389] ppid=1387 vsize=165424 CPUtime=804.46 cores=0,2,4,6
/proc/1389/stat : 1389 (pwbo1.1) S 1387 1389 306 0 -1 4202496 33560 0 0 0 80297 149 0 0 18 0 3 0 892011909 169394176 33145 33554432000 4194304 5714118 140734563272704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1389/statm: 41356 33145 182 372 0 40981 0
[pid=1389/tid=1391] ppid=1387 vsize=165424 CPUtime=402.17 cores=0,2,4,6
/proc/1389/task/1391/stat : 1391 (pwbo1.1) R 1387 1389 306 0 -1 4202560 13624 0 0 0 40133 84 0 0 25 0 3 0 892011922 169394176 33145 33554432000 4194304 5714118 140734563272704 18446744073709551615 4323034 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1389/tid=1392] ppid=1387 vsize=165424 CPUtime=402.16 cores=0,2,4,6
/proc/1389/task/1392/stat : 1392 (pwbo1.1) R 1387 1389 306 0 -1 4202560 13961 0 0 0 40152 64 0 0 25 0 3 0 892011922 169394176 33145 33554432000 4194304 5714118 140734563272704 18446744073709551615 4322672 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 804.46
Current children cumulated vsize (KiB) 165424
[startup+462.301 s]
/proc/loadavg: 3.99 3.96 3.91 5/182 1404
/proc/meminfo: memFree=12621316/32951124 swapFree=67055536/67111528
[pid=1389] ppid=1387 vsize=166108 CPUtime=924.47 cores=0,2,4,6
/proc/1389/stat : 1389 (pwbo1.1) S 1387 1389 306 0 -1 4202496 36480 0 0 0 92280 167 0 0 18 0 3 0 892011909 170094592 36065 33554432000 4194304 5714118 140734563272704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1389/statm: 41527 36065 182 372 0 41152 0
[pid=1389/tid=1391] ppid=1387 vsize=166108 CPUtime=462.17 cores=0,2,4,6
/proc/1389/task/1391/stat : 1391 (pwbo1.1) R 1387 1389 306 0 -1 4202560 15045 0 0 0 46122 95 0 0 25 0 3 0 892011922 170094592 36065 33554432000 4194304 5714118 140734563272704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1389/tid=1392] ppid=1387 vsize=166108 CPUtime=462.16 cores=0,2,4,6
/proc/1389/task/1392/stat : 1392 (pwbo1.1) R 1387 1389 306 0 -1 4202560 15460 0 0 0 46145 71 0 0 25 0 3 0 892011922 170094592 36065 33554432000 4194304 5714118 140734563272704 18446744073709551615 4322672 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 924.47
Current children cumulated vsize (KiB) 166108
[startup+522.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 1406
/proc/meminfo: memFree=12578392/32951124 swapFree=67055536/67111528
[pid=1389] ppid=1387 vsize=166108 CPUtime=1044.47 cores=0,2,4,6
/proc/1389/stat : 1389 (pwbo1.1) S 1387 1389 306 0 -1 4202496 37802 0 0 0 104262 185 0 0 18 0 3 0 892011909 170094592 37387 33554432000 4194304 5714118 140734563272704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1389/statm: 41527 37387 182 372 0 41152 0
[pid=1389/tid=1391] ppid=1387 vsize=166108 CPUtime=522.18 cores=0,2,4,6
/proc/1389/task/1391/stat : 1391 (pwbo1.1) R 1387 1389 306 0 -1 4202560 16363 0 0 0 52112 106 0 0 25 0 3 0 892011922 170094592 37387 33554432000 4194304 5714118 140734563272704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1389/tid=1392] ppid=1387 vsize=166108 CPUtime=522.16 cores=0,2,4,6
/proc/1389/task/1392/stat : 1392 (pwbo1.1) R 1387 1389 306 0 -1 4202560 15464 0 0 0 52138 78 0 0 25 0 3 0 892011922 170094592 37387 33554432000 4194304 5714118 140734563272704 18446744073709551615 4200618 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1044.47
Current children cumulated vsize (KiB) 166108
[startup+582.301 s]
/proc/loadavg: 4.04 3.99 3.91 5/182 1408
/proc/meminfo: memFree=12536456/32951124 swapFree=67055536/67111528
[pid=1389] ppid=1387 vsize=231644 CPUtime=1164.47 cores=0,2,4,6
/proc/1389/stat : 1389 (pwbo1.1) S 1387 1389 306 0 -1 4202496 39464 0 0 0 116243 204 0 0 18 0 3 0 892011909 237203456 39049 33554432000 4194304 5714118 140734563272704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1389/statm: 57911 39049 182 372 0 57536 0
[pid=1389/tid=1391] ppid=1387 vsize=231644 CPUtime=582.18 cores=0,2,4,6
/proc/1389/task/1391/stat : 1391 (pwbo1.1) R 1387 1389 306 0 -1 4202560 18009 0 0 0 58100 118 0 0 25 0 3 0 892011922 237203456 39049 33554432000 4194304 5714118 140734563272704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1389/tid=1392] ppid=1387 vsize=231644 CPUtime=582.17 cores=0,2,4,6
/proc/1389/task/1392/stat : 1392 (pwbo1.1) R 1387 1389 306 0 -1 4202560 15480 0 0 0 58132 85 0 0 25 0 3 0 892011922 237203456 39049 33554432000 4194304 5714118 140734563272704 18446744073709551615 4322666 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1164.47
Current children cumulated vsize (KiB) 231644
[startup+642.3 s]
/proc/loadavg: 4.05 4.00 3.92 5/182 1409
/proc/meminfo: memFree=12495512/32951124 swapFree=67055536/67111528
[pid=1389] ppid=1387 vsize=231984 CPUtime=1284.48 cores=0,2,4,6
/proc/1389/stat : 1389 (pwbo1.1) S 1387 1389 306 0 -1 4202496 40849 0 0 0 128229 219 0 0 18 0 3 0 892011909 237551616 40434 33554432000 4194304 5714118 140734563272704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1389/statm: 57996 40434 182 372 0 57621 0
[pid=1389/tid=1391] ppid=1387 vsize=231984 CPUtime=642.18 cores=0,2,4,6
/proc/1389/task/1391/stat : 1391 (pwbo1.1) R 1387 1389 306 0 -1 4202560 19324 0 0 0 64089 129 0 0 25 0 3 0 892011922 237551616 40434 33554432000 4194304 5714118 140734563272704 18446744073709551615 4323034 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1389/tid=1392] ppid=1387 vsize=231984 CPUtime=642.17 cores=0,2,4,6
/proc/1389/task/1392/stat : 1392 (pwbo1.1) R 1387 1389 306 0 -1 4202560 15550 0 0 0 64128 89 0 0 25 0 3 0 892011922 237551616 40434 33554432000 4194304 5714118 140734563272704 18446744073709551615 4200778 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1284.48
Current children cumulated vsize (KiB) 231984
[startup+702.301 s]
/proc/loadavg: 4.02 4.00 3.92 5/182 1411
/proc/meminfo: memFree=12455316/32951124 swapFree=67055536/67111528
[pid=1389] ppid=1387 vsize=232468 CPUtime=1404.49 cores=0,2,4,6
/proc/1389/stat : 1389 (pwbo1.1) S 1387 1389 306 0 -1 4202496 42098 0 0 0 140213 236 0 0 18 0 3 0 892011909 238047232 41683 33554432000 4194304 5714118 140734563272704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1389/statm: 58117 41683 182 372 0 57742 0
[pid=1389/tid=1391] ppid=1387 vsize=232468 CPUtime=702.17 cores=0,2,4,6
/proc/1389/task/1391/stat : 1391 (pwbo1.1) R 1387 1389 306 0 -1 4202560 20462 0 0 0 70077 140 0 0 25 0 3 0 892011922 238047232 41683 33554432000 4194304 5714118 140734563272704 18446744073709551615 4322666 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1389/tid=1392] ppid=1387 vsize=232468 CPUtime=702.17 cores=0,2,4,6
/proc/1389/task/1392/stat : 1392 (pwbo1.1) R 1387 1389 306 0 -1 4202560 15661 0 0 0 70123 94 0 0 25 0 3 0 892011922 238047232 41683 33554432000 4194304 5714118 140734563272704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1404.49
Current children cumulated vsize (KiB) 232468
[startup+762.306 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 1415
/proc/meminfo: memFree=12416804/32951124 swapFree=67055536/67111528
[pid=1389] ppid=1387 vsize=232468 CPUtime=1524.5 cores=0,2,4,6
/proc/1389/stat : 1389 (pwbo1.1) S 1387 1389 306 0 -1 4202496 43522 0 0 0 152196 254 0 0 18 0 3 0 892011909 238047232 43107 33554432000 4194304 5714118 140734563272704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1389/statm: 58117 43107 182 372 0 57742 0
[pid=1389/tid=1391] ppid=1387 vsize=232468 CPUtime=762.18 cores=0,2,4,6
/proc/1389/task/1391/stat : 1391 (pwbo1.1) R 1387 1389 306 0 -1 4202560 21883 0 0 0 76065 153 0 0 25 0 3 0 892011922 238047232 43107 33554432000 4194304 5714118 140734563272704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1389/tid=1392] ppid=1387 vsize=232468 CPUtime=762.17 cores=0,2,4,6
/proc/1389/task/1392/stat : 1392 (pwbo1.1) R 1387 1389 306 0 -1 4202560 15664 0 0 0 76118 99 0 0 25 0 3 0 892011922 238047232 43107 33554432000 4194304 5714118 140734563272704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1524.5
Current children cumulated vsize (KiB) 232468
[startup+822.301 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 1417
/proc/meminfo: memFree=12375688/32951124 swapFree=67055536/67111528
[pid=1389] ppid=1387 vsize=232468 CPUtime=1644.49 cores=0,2,4,6
/proc/1389/stat : 1389 (pwbo1.1) S 1387 1389 306 0 -1 4202496 44980 0 0 0 164176 273 0 0 18 0 3 0 892011909 238047232 44565 33554432000 4194304 5714118 140734563272704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1389/statm: 58117 44565 182 372 0 57742 0
[pid=1389/tid=1391] ppid=1387 vsize=232468 CPUtime=822.18 cores=0,2,4,6
/proc/1389/task/1391/stat : 1391 (pwbo1.1) R 1387 1389 306 0 -1 4202560 23338 0 0 0 82052 166 0 0 25 0 3 0 892011922 238047232 44565 33554432000 4194304 5714118 140734563272704 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1389/tid=1392] ppid=1387 vsize=232468 CPUtime=822.16 cores=0,2,4,6
/proc/1389/task/1392/stat : 1392 (pwbo1.1) R 1387 1389 306 0 -1 4202560 15667 0 0 0 82111 105 0 0 25 0 3 0 892011922 238047232 44565 33554432000 4194304 5714118 140734563272704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1644.49
Current children cumulated vsize (KiB) 232468
[startup+882.301 s]
/proc/loadavg: 3.96 3.98 3.91 5/182 1460
/proc/meminfo: memFree=12761876/32951124 swapFree=67055536/67111528
[pid=1389] ppid=1387 vsize=232468 CPUtime=1764.49 cores=0,2,4,6
/proc/1389/stat : 1389 (pwbo1.1) S 1387 1389 306 0 -1 4202496 46392 0 0 0 176159 290 0 0 18 0 3 0 892011909 238047232 45977 33554432000 4194304 5714118 140734563272704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1389/statm: 58117 45977 182 372 0 57742 0
[pid=1389/tid=1391] ppid=1387 vsize=232468 CPUtime=882.19 cores=0,2,4,6
/proc/1389/task/1391/stat : 1391 (pwbo1.1) R 1387 1389 306 0 -1 4202560 24745 0 0 0 88041 178 0 0 25 0 3 0 892011922 238047232 45977 33554432000 4194304 5714118 140734563272704 18446744073709551615 4322968 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1389/tid=1392] ppid=1387 vsize=232468 CPUtime=882.17 cores=0,2,4,6
/proc/1389/task/1392/stat : 1392 (pwbo1.1) R 1387 1389 306 0 -1 4202560 15672 0 0 0 88106 111 0 0 25 0 3 0 892011922 238047232 45977 33554432000 4194304 5714118 140734563272704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1764.49
Current children cumulated vsize (KiB) 232468
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.101 s]
/proc/loadavg: 3.97 3.98 3.91 5/182 1460
/proc/meminfo: memFree=12753180/32951124 swapFree=67055536/67111528
[pid=1389] ppid=1387 vsize=232468 CPUtime=1800.09 cores=0,2,4,6
/proc/1389/stat : 1389 (pwbo1.1) S 1387 1389 306 0 -1 4202496 46503 0 0 0 179716 293 0 0 18 0 3 0 892011909 238047232 46088 33554432000 4194304 5714118 140734563272704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1389/statm: 58117 46088 182 372 0 57742 0
[pid=1389/tid=1391] ppid=1387 vsize=232468 CPUtime=899.99 cores=0,2,4,6
/proc/1389/task/1391/stat : 1391 (pwbo1.1) R 1387 1389 306 0 -1 4202560 24852 0 0 0 89819 180 0 0 25 0 3 0 892011922 238047232 46088 33554432000 4194304 5714118 140734563272704 18446744073709551615 4322672 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1389/tid=1392] ppid=1387 vsize=232468 CPUtime=899.97 cores=0,2,4,6
/proc/1389/task/1392/stat : 1392 (pwbo1.1) R 1387 1389 306 0 -1 4202560 15676 0 0 0 89886 111 0 0 25 0 3 0 892011922 238047232 46088 33554432000 4194304 5714118 140734563272704 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 232468
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.101 s]
/proc/loadavg: 3.97 3.98 3.91 5/182 1460
/proc/meminfo: memFree=12753180/32951124 swapFree=67055536/67111528
[pid=1389] ppid=1387 vsize=232468 CPUtime=1800.09 cores=0,2,4,6
/proc/1389/stat : 1389 (pwbo1.1) S 1387 1389 306 0 -1 4202496 46503 0 0 0 179716 293 0 0 18 0 3 0 892011909 238047232 46088 33554432000 4194304 5714118 140734563272704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1389/statm: 58117 46088 182 372 0 57742 0
[pid=1389/tid=1391] ppid=1387 vsize=232468 CPUtime=899.99 cores=0,2,4,6
/proc/1389/task/1391/stat : 1391 (pwbo1.1) R 1387 1389 306 0 -1 4202560 24852 0 0 0 89819 180 0 0 25 0 3 0 892011922 238047232 46088 33554432000 4194304 5714118 140734563272704 18446744073709551615 4322672 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1389/tid=1392] ppid=1387 vsize=232468 CPUtime=899.97 cores=0,2,4,6
/proc/1389/task/1392/stat : 1392 (pwbo1.1) R 1387 1389 306 0 -1 4202560 15676 0 0 0 89886 111 0 0 25 0 3 0 892011922 238047232 46088 33554432000 4194304 5714118 140734563272704 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 232468
Child status: 0
Real time (s): 900.122
CPU time (s): 1800.13
CPU user time (s): 1797.19
CPU system time (s): 2.94655
CPU usage (%): 199.988
Max. virtual memory (cumulated for all children) (KiB): 232468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.19
system time used= 2.94655
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46509
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= 65
involuntary context switches= 9700
runsolver used 1.64475 second user time and 3.20251 second system time
The end