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-3500134-1307991706/watcher-3500134-1307991706 -o /var/tmp/evaluation-result-3500134-1307991706/solver-3500134-1307991706 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500134-1307991706.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: 4.03 3.99 3.54 3/176 5604
/proc/meminfo: memFree=6558204/32951124 swapFree=67062556/67111528
[pid=5604] ppid=5602 vsize=134772 CPUtime=0 cores=0,2,4,6
/proc/5604/stat : 5604 (pwbo1.1) S 5602 5604 4694 0 -1 4202496 426 0 0 0 0 0 0 0 25 0 3 0 989401125 138006528 373 33554432000 4194304 5714118 140736363466912 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/5604/statm: 33693 373 181 372 0 33318 0
[pid=5604/tid=5605] ppid=5602 vsize=134772 CPUtime=0 cores=0,2,4,6
/proc/5604/task/5605/stat : 5605 (pwbo1.1) R 5602 5604 4694 0 -1 4202560 55 0 0 0 0 0 0 0 25 0 3 0 989401125 138006528 374 33554432000 4194304 5714118 140736363466912 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=5604/tid=5606] ppid=5602 vsize=134772 CPUtime=0 cores=0,2,4,6
/proc/5604/task/5606/stat : 5606 (pwbo1.1) R 5602 5604 4694 0 -1 4202560 44 0 0 0 0 0 0 0 25 0 3 0 989401125 138006528 374 33554432000 4194304 5714118 140736363466912 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[startup+0.0341559 s]
/proc/loadavg: 4.03 3.99 3.54 3/176 5604
/proc/meminfo: memFree=6558204/32951124 swapFree=67062556/67111528
[pid=5604] ppid=5602 vsize=134772 CPUtime=0.05 cores=0,2,4,6
/proc/5604/stat : 5604 (pwbo1.1) S 5602 5604 4694 0 -1 4202496 707 0 0 0 5 0 0 0 25 0 3 0 989401125 138006528 654 33554432000 4194304 5714118 140736363466912 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/5604/statm: 33693 654 181 372 0 33318 0
[pid=5604/tid=5605] ppid=5602 vsize=134772 CPUtime=0.03 cores=0,2,4,6
/proc/5604/task/5605/stat : 5605 (pwbo1.1) R 5602 5604 4694 0 -1 4202560 231 0 0 0 3 0 0 0 25 0 3 0 989401125 138006528 654 33554432000 4194304 5714118 140736363466912 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=5604/tid=5606] ppid=5602 vsize=134772 CPUtime=0.02 cores=0,2,4,6
/proc/5604/task/5606/stat : 5606 (pwbo1.1) R 5602 5604 4694 0 -1 4202560 148 0 0 0 2 0 0 0 18 0 3 0 989401125 138006528 654 33554432000 4194304 5714118 140736363466912 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 134772
[startup+0.101184 s]
/proc/loadavg: 4.03 3.99 3.54 3/176 5604
/proc/meminfo: memFree=6558204/32951124 swapFree=67062556/67111528
[pid=5604] ppid=5602 vsize=134772 CPUtime=0.19 cores=0,2,4,6
/proc/5604/stat : 5604 (pwbo1.1) S 5602 5604 4694 0 -1 4202496 1069 0 0 0 18 1 0 0 25 0 3 0 989401125 138006528 1016 33554432000 4194304 5714118 140736363466912 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/5604/statm: 33693 1016 181 372 0 33318 0
[pid=5604/tid=5605] ppid=5602 vsize=134772 CPUtime=0.09 cores=0,2,4,6
/proc/5604/task/5605/stat : 5605 (pwbo1.1) R 5602 5604 4694 0 -1 4202560 431 0 0 0 9 0 0 0 25 0 3 0 989401125 138006528 1016 33554432000 4194304 5714118 140736363466912 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=5604/tid=5606] ppid=5602 vsize=134772 CPUtime=0.08 cores=0,2,4,6
/proc/5604/task/5606/stat : 5606 (pwbo1.1) R 5602 5604 4694 0 -1 4202560 310 0 0 0 8 0 0 0 18 0 3 0 989401125 138006528 1016 33554432000 4194304 5714118 140736363466912 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 134772
[startup+0.301122 s]
/proc/loadavg: 4.03 3.99 3.54 3/176 5604
/proc/meminfo: memFree=6558204/32951124 swapFree=67062556/67111528
[pid=5604] ppid=5602 vsize=134904 CPUtime=0.59 cores=0,2,4,6
/proc/5604/stat : 5604 (pwbo1.1) S 5602 5604 4694 0 -1 4202496 1478 0 0 0 56 3 0 0 25 0 3 0 989401125 138141696 1425 33554432000 4194304 5714118 140736363466912 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/5604/statm: 33726 1425 181 372 0 33351 0
[pid=5604/tid=5605] ppid=5602 vsize=134904 CPUtime=0.28 cores=0,2,4,6
/proc/5604/task/5605/stat : 5605 (pwbo1.1) R 5602 5604 4694 0 -1 4202560 633 0 0 0 28 0 0 0 25 0 3 0 989401125 138141696 1425 33554432000 4194304 5714118 140736363466912 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=5604/tid=5606] ppid=5602 vsize=134904 CPUtime=0.29 cores=0,2,4,6
/proc/5604/task/5606/stat : 5606 (pwbo1.1) R 5602 5604 4694 0 -1 4202560 517 0 0 0 27 2 0 0 18 0 3 0 989401125 138141696 1425 33554432000 4194304 5714118 140736363466912 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) 134904
[startup+0.701057 s]
/proc/loadavg: 4.03 3.99 3.54 3/176 5604
/proc/meminfo: memFree=6558204/32951124 swapFree=67062556/67111528
[pid=5604] ppid=5602 vsize=135172 CPUtime=1.39 cores=0,2,4,6
/proc/5604/stat : 5604 (pwbo1.1) S 5602 5604 4694 0 -1 4202496 1964 0 0 0 134 5 0 0 25 0 3 0 989401125 138416128 1911 33554432000 4194304 5714118 140736363466912 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/5604/statm: 33793 1911 181 372 0 33418 0
[pid=5604/tid=5605] ppid=5602 vsize=135172 CPUtime=0.69 cores=0,2,4,6
/proc/5604/task/5605/stat : 5605 (pwbo1.1) R 5602 5604 4694 0 -1 4202560 1014 0 0 0 67 2 0 0 25 0 3 0 989401125 138416128 1911 33554432000 4194304 5714118 140736363466912 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=5604/tid=5606] ppid=5602 vsize=135172 CPUtime=0.69 cores=0,2,4,6
/proc/5604/task/5606/stat : 5606 (pwbo1.1) R 5602 5604 4694 0 -1 4202560 622 0 0 0 66 3 0 0 18 0 3 0 989401125 138416128 1911 33554432000 4194304 5714118 140736363466912 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) 135172
[startup+1.50089 s]
/proc/loadavg: 4.03 3.99 3.54 5/179 5607
/proc/meminfo: memFree=6546916/32951124 swapFree=67062556/67111528
[pid=5604] ppid=5602 vsize=135448 CPUtime=2.99 cores=0,2,4,6
/proc/5604/stat : 5604 (pwbo1.1) S 5602 5604 4694 0 -1 4202496 2356 0 0 0 290 9 0 0 25 0 3 0 989401125 138698752 2303 33554432000 4194304 5714118 140736363466912 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/5604/statm: 33862 2303 181 372 0 33487 0
[pid=5604/tid=5605] ppid=5602 vsize=135448 CPUtime=1.49 cores=0,2,4,6
/proc/5604/task/5605/stat : 5605 (pwbo1.1) R 5602 5604 4694 0 -1 4202560 1279 0 0 0 145 4 0 0 25 0 3 0 989401125 138698752 2303 33554432000 4194304 5714118 140736363466912 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=5604/tid=5606] ppid=5602 vsize=135448 CPUtime=1.49 cores=0,2,4,6
/proc/5604/task/5606/stat : 5606 (pwbo1.1) R 5602 5604 4694 0 -1 4202560 749 0 0 0 144 5 0 0 19 0 3 0 989401125 138698752 2303 33554432000 4194304 5714118 140736363466912 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 135448
[startup+3.1006 s]
/proc/loadavg: 4.03 3.99 3.54 5/179 5607
/proc/meminfo: memFree=6539848/32951124 swapFree=67062556/67111528
[pid=5604] ppid=5602 vsize=136124 CPUtime=6.19 cores=0,2,4,6
/proc/5604/stat : 5604 (pwbo1.1) S 5602 5604 4694 0 -1 4202496 3563 0 0 0 602 17 0 0 25 0 3 0 989401125 139390976 3510 33554432000 4194304 5714118 140736363466912 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/5604/statm: 34031 3510 182 372 0 33656 0
[pid=5604/tid=5605] ppid=5602 vsize=136124 CPUtime=3.08 cores=0,2,4,6
/proc/5604/task/5605/stat : 5605 (pwbo1.1) R 5602 5604 4694 0 -1 4202560 2158 0 0 0 301 7 0 0 25 0 3 0 989401125 139390976 3510 33554432000 4194304 5714118 140736363466912 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=5604/tid=5606] ppid=5602 vsize=136124 CPUtime=3.09 cores=0,2,4,6
/proc/5604/task/5606/stat : 5606 (pwbo1.1) R 5602 5604 4694 0 -1 4202560 1077 0 0 0 300 9 0 0 19 0 3 0 989401125 139390976 3510 33554432000 4194304 5714118 140736363466912 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) 136124
[startup+6.301 s]
/proc/loadavg: 4.03 3.99 3.54 5/179 5607
/proc/meminfo: memFree=6517036/32951124 swapFree=67062556/67111528
[pid=5604] ppid=5602 vsize=136784 CPUtime=12.58 cores=0,2,4,6
/proc/5604/stat : 5604 (pwbo1.1) S 5602 5604 4694 0 -1 4202496 5193 0 0 0 1227 31 0 0 25 0 3 0 989401125 140066816 5140 33554432000 4194304 5714118 140736363466912 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/5604/statm: 34196 5140 182 372 0 33821 0
[pid=5604/tid=5605] ppid=5602 vsize=136784 CPUtime=6.29 cores=0,2,4,6
/proc/5604/task/5605/stat : 5605 (pwbo1.1) R 5602 5604 4694 0 -1 4202560 3546 0 0 0 614 15 0 0 25 0 3 0 989401125 140066816 5140 33554432000 4194304 5714118 140736363466912 18446744073709551615 4324512 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=5604/tid=5606] ppid=5602 vsize=136784 CPUtime=6.29 cores=0,2,4,6
/proc/5604/task/5606/stat : 5606 (pwbo1.1) R 5602 5604 4694 0 -1 4202560 1319 0 0 0 613 16 0 0 25 0 3 0 989401125 140066816 5140 33554432000 4194304 5714118 140736363466912 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) 136784
[startup+12.7008 s]
/proc/loadavg: 4.02 3.99 3.54 5/179 5607
/proc/meminfo: memFree=6476816/32951124 swapFree=67062556/67111528
[pid=5604] ppid=5602 vsize=137856 CPUtime=25.39 cores=0,2,4,6
/proc/5604/stat : 5604 (pwbo1.1) S 5602 5604 4694 0 -1 4202496 6030 0 0 0 2491 48 0 0 25 0 3 0 989401125 141164544 5896 33554432000 4194304 5714118 140736363466912 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/5604/statm: 34464 5896 182 372 0 34089 0
[pid=5604/tid=5605] ppid=5602 vsize=137856 CPUtime=12.69 cores=0,2,4,6
/proc/5604/task/5605/stat : 5605 (pwbo1.1) R 5602 5604 4694 0 -1 4202560 3978 0 0 0 1249 20 0 0 25 0 3 0 989401125 141164544 5896 33554432000 4194304 5714118 140736363466912 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=5604/tid=5606] ppid=5602 vsize=137856 CPUtime=12.69 cores=0,2,4,6
/proc/5604/task/5606/stat : 5606 (pwbo1.1) R 5602 5604 4694 0 -1 4202560 1724 0 0 0 1242 27 0 0 25 0 3 0 989401125 141164544 5896 33554432000 4194304 5714118 140736363466912 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 137856
[startup+25.5004 s]
/proc/loadavg: 4.02 3.99 3.55 5/179 5607
/proc/meminfo: memFree=6410948/32951124 swapFree=67062556/67111528
[pid=5604] ppid=5602 vsize=138928 CPUtime=50.99 cores=0,2,4,6
/proc/5604/stat : 5604 (pwbo1.1) S 5602 5604 4694 0 -1 4202496 9282 0 0 0 5013 86 0 0 25 0 3 0 989401125 142262272 9148 33554432000 4194304 5714118 140736363466912 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/5604/statm: 34732 9148 182 372 0 34357 0
[pid=5604/tid=5605] ppid=5602 vsize=138928 CPUtime=25.49 cores=0,2,4,6
/proc/5604/task/5605/stat : 5605 (pwbo1.1) R 5602 5604 4694 0 -1 4202560 6818 0 0 0 2513 36 0 0 25 0 3 0 989401125 142262272 9148 33554432000 4194304 5714118 140736363466912 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=5604/tid=5606] ppid=5602 vsize=138928 CPUtime=25.48 cores=0,2,4,6
/proc/5604/task/5606/stat : 5606 (pwbo1.1) R 5602 5604 4694 0 -1 4202560 2136 0 0 0 2499 49 0 0 25 0 3 0 989401125 142262272 9148 33554432000 4194304 5714118 140736363466912 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 138928
[startup+51.1007 s]
/proc/loadavg: 3.80 3.94 3.54 5/179 5729
/proc/meminfo: memFree=12833420/32951124 swapFree=67062556/67111528
[pid=5604] ppid=5602 vsize=140600 CPUtime=102.18 cores=0,2,4,6
/proc/5604/stat : 5604 (pwbo1.1) S 5602 5604 4694 0 -1 4202496 16226 0 0 0 10067 151 0 0 25 0 3 0 989401125 143974400 16092 33554432000 4194304 5714118 140736363466912 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/5604/statm: 35150 16092 182 372 0 34775 0
[pid=5604/tid=5605] ppid=5602 vsize=140600 CPUtime=51.09 cores=0,2,4,6
/proc/5604/task/5605/stat : 5605 (pwbo1.1) R 5602 5604 4694 0 -1 4202560 13094 0 0 0 5043 66 0 0 25 0 3 0 989401125 143974400 16092 33554432000 4194304 5714118 140736363466912 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=5604/tid=5606] ppid=5602 vsize=140600 CPUtime=51.09 cores=0,2,4,6
/proc/5604/task/5606/stat : 5606 (pwbo1.1) R 5602 5604 4694 0 -1 4202560 2804 0 0 0 5024 85 0 0 25 0 3 0 989401125 143974400 16092 33554432000 4194304 5714118 140736363466912 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 140600
[startup+102.306 s]
/proc/loadavg: 3.92 3.95 3.56 5/179 5731
/proc/meminfo: memFree=12750640/32951124 swapFree=67062556/67111528
[pid=5604] ppid=5602 vsize=207144 CPUtime=204.6 cores=0,2,4,6
/proc/5604/stat : 5604 (pwbo1.1) S 5602 5604 4694 0 -1 4202496 24048 0 0 0 20205 255 0 0 25 0 3 0 989401125 212115456 23914 33554432000 4194304 5714118 140736363466912 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/5604/statm: 51786 23914 182 372 0 51411 0
[pid=5604/tid=5605] ppid=5602 vsize=207144 CPUtime=102.3 cores=0,2,4,6
/proc/5604/task/5605/stat : 5605 (pwbo1.1) R 5602 5604 4694 0 -1 4202560 20381 0 0 0 10124 106 0 0 25 0 3 0 989401125 212115456 23914 33554432000 4194304 5714118 140736363466912 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=5604/tid=5606] ppid=5602 vsize=207144 CPUtime=102.29 cores=0,2,4,6
/proc/5604/task/5606/stat : 5606 (pwbo1.1) R 5602 5604 4694 0 -1 4202560 3339 0 0 0 10081 148 0 0 25 0 3 0 989401125 212115456 23914 33554432000 4194304 5714118 140736363466912 18446744073709551615 4299735 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.6
Current children cumulated vsize (KiB) 207144
[startup+162.301 s]
/proc/loadavg: 3.97 3.95 3.59 5/179 5732
/proc/meminfo: memFree=12674968/32951124 swapFree=67062556/67111528
[pid=5604] ppid=5602 vsize=207856 CPUtime=324.59 cores=0,2,4,6
/proc/5604/stat : 5604 (pwbo1.1) S 5602 5604 4694 0 -1 4202496 33396 0 0 0 32092 367 0 0 25 0 3 0 989401125 212844544 33262 33554432000 4194304 5714118 140736363466912 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/5604/statm: 51964 33262 182 372 0 51589 0
[pid=5604/tid=5605] ppid=5602 vsize=207856 CPUtime=162.3 cores=0,2,4,6
/proc/5604/task/5605/stat : 5605 (pwbo1.1) R 5602 5604 4694 0 -1 4202560 29257 0 0 0 16080 150 0 0 25 0 3 0 989401125 212844544 33262 33554432000 4194304 5714118 140736363466912 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=5604/tid=5606] ppid=5602 vsize=207856 CPUtime=162.29 cores=0,2,4,6
/proc/5604/task/5606/stat : 5606 (pwbo1.1) R 5602 5604 4694 0 -1 4202560 3811 0 0 0 16012 217 0 0 25 0 3 0 989401125 212844544 33262 33554432000 4194304 5714118 140736363466912 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 324.59
Current children cumulated vsize (KiB) 207856
[startup+222.301 s]
/proc/loadavg: 3.99 3.96 3.61 5/179 5734
/proc/meminfo: memFree=12595208/32951124 swapFree=67062556/67111528
[pid=5604] ppid=5602 vsize=275144 CPUtime=444.6 cores=0,2,4,6
/proc/5604/stat : 5604 (pwbo1.1) S 5602 5604 4694 0 -1 4202496 44492 0 0 0 43971 489 0 0 25 0 3 0 989401125 281747456 44354 33554432000 4194304 5714118 140736363466912 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/5604/statm: 68786 44354 182 372 0 68411 0
[pid=5604/tid=5605] ppid=5602 vsize=275144 CPUtime=222.29 cores=0,2,4,6
/proc/5604/task/5605/stat : 5605 (pwbo1.1) R 5602 5604 4694 0 -1 4202560 39712 0 0 0 22022 207 0 0 25 0 3 0 989401125 281747456 44354 33554432000 4194304 5714118 140736363466912 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=5604/tid=5606] ppid=5602 vsize=275144 CPUtime=222.3 cores=0,2,4,6
/proc/5604/task/5606/stat : 5606 (pwbo1.1) R 5602 5604 4694 0 -1 4202560 4452 0 0 0 21949 281 0 0 25 0 3 0 989401125 281747456 44354 33554432000 4194304 5714118 140736363466912 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 444.6
Current children cumulated vsize (KiB) 275144
[startup+282.301 s]
/proc/loadavg: 3.99 3.96 3.64 5/179 5735
/proc/meminfo: memFree=12532408/32951124 swapFree=67062556/67111528
[pid=5604] ppid=5602 vsize=275360 CPUtime=564.61 cores=0,2,4,6
/proc/5604/stat : 5604 (pwbo1.1) S 5602 5604 4694 0 -1 4202496 53055 0 0 0 55855 606 0 0 25 0 3 0 989401125 281968640 52917 33554432000 4194304 5714118 140736363466912 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/5604/statm: 68840 52917 182 372 0 68465 0
[pid=5604/tid=5605] ppid=5602 vsize=275360 CPUtime=282.3 cores=0,2,4,6
/proc/5604/task/5605/stat : 5605 (pwbo1.1) R 5602 5604 4694 0 -1 4202560 48103 0 0 0 27976 254 0 0 25 0 3 0 989401125 281968640 52917 33554432000 4194304 5714118 140736363466912 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=5604/tid=5606] ppid=5602 vsize=275360 CPUtime=282.3 cores=0,2,4,6
/proc/5604/task/5606/stat : 5606 (pwbo1.1) R 5602 5604 4694 0 -1 4202560 4624 0 0 0 27879 351 0 0 25 0 3 0 989401125 281968640 52917 33554432000 4194304 5714118 140736363466912 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 564.61
Current children cumulated vsize (KiB) 275360
[startup+342.3 s]
/proc/loadavg: 4.07 3.99 3.66 5/179 5737
/proc/meminfo: memFree=12434788/32951124 swapFree=67062556/67111528
[pid=5604] ppid=5602 vsize=340808 CPUtime=684.61 cores=0,2,4,6
/proc/5604/stat : 5604 (pwbo1.1) S 5602 5604 4694 0 -1 4202496 70120 0 0 0 67708 753 0 0 25 0 3 0 989401125 348987392 69717 33554432000 4194304 5714118 140736363466912 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/5604/statm: 85202 69717 182 372 0 84827 0
[pid=5604/tid=5605] ppid=5602 vsize=340808 CPUtime=342.3 cores=0,2,4,6
/proc/5604/task/5605/stat : 5605 (pwbo1.1) R 5602 5604 4694 0 -1 4202560 65001 0 0 0 33906 324 0 0 25 0 3 0 989401125 348987392 69717 33554432000 4194304 5714118 140736363466912 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=5604/tid=5606] ppid=5602 vsize=340808 CPUtime=342.3 cores=0,2,4,6
/proc/5604/task/5606/stat : 5606 (pwbo1.1) R 5602 5604 4694 0 -1 4202560 4791 0 0 0 33801 429 0 0 25 0 3 0 989401125 348987392 69717 33554432000 4194304 5714118 140736363466912 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 684.61
Current children cumulated vsize (KiB) 340808
[startup+402.3 s]
/proc/loadavg: 4.06 4.00 3.68 5/179 5738
/proc/meminfo: memFree=12402008/32951124 swapFree=67062556/67111528
[pid=5604] ppid=5602 vsize=341020 CPUtime=804.61 cores=0,2,4,6
/proc/5604/stat : 5604 (pwbo1.1) S 5602 5604 4694 0 -1 4202496 70284 0 0 0 79612 849 0 0 25 0 3 0 989401125 349204480 69881 33554432000 4194304 5714118 140736363466912 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/5604/statm: 85255 69881 182 372 0 84880 0
[pid=5604/tid=5605] ppid=5602 vsize=341020 CPUtime=402.3 cores=0,2,4,6
/proc/5604/task/5605/stat : 5605 (pwbo1.1) R 5602 5604 4694 0 -1 4202560 65106 0 0 0 39875 355 0 0 25 0 3 0 989401125 349204480 69881 33554432000 4194304 5714118 140736363466912 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=5604/tid=5606] ppid=5602 vsize=341020 CPUtime=402.3 cores=0,2,4,6
/proc/5604/task/5606/stat : 5606 (pwbo1.1) R 5602 5604 4694 0 -1 4202560 4850 0 0 0 39736 494 0 0 25 0 3 0 989401125 349204480 69881 33554432000 4194304 5714118 140736363466912 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 804.61
Current children cumulated vsize (KiB) 341020
[startup+462.301 s]
/proc/loadavg: 4.02 4.00 3.70 5/179 5740
/proc/meminfo: memFree=12371332/32951124 swapFree=67062556/67111528
[pid=5604] ppid=5602 vsize=341236 CPUtime=924.62 cores=0,2,4,6
/proc/5604/stat : 5604 (pwbo1.1) S 5602 5604 4694 0 -1 4202496 70570 0 0 0 91528 934 0 0 25 0 3 0 989401125 349425664 70166 33554432000 4194304 5714118 140736363466912 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/5604/statm: 85309 70166 182 372 0 84934 0
[pid=5604/tid=5605] ppid=5602 vsize=341236 CPUtime=462.31 cores=0,2,4,6
/proc/5604/task/5605/stat : 5605 (pwbo1.1) R 5602 5604 4694 0 -1 4202560 65261 0 0 0 45856 375 0 0 25 0 3 0 989401125 349425664 70166 33554432000 4194304 5714118 140736363466912 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=5604/tid=5606] ppid=5602 vsize=341236 CPUtime=462.3 cores=0,2,4,6
/proc/5604/task/5606/stat : 5606 (pwbo1.1) R 5602 5604 4694 0 -1 4202560 4981 0 0 0 45672 558 0 0 25 0 3 0 989401125 349425664 70166 33554432000 4194304 5714118 140736363466912 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 924.62
Current children cumulated vsize (KiB) 341236
[startup+522.301 s]
/proc/loadavg: 4.01 4.00 3.72 5/179 5742
/proc/meminfo: memFree=12343860/32951124 swapFree=67062556/67111528
[pid=5604] ppid=5602 vsize=341876 CPUtime=1044.62 cores=0,2,4,6
/proc/5604/stat : 5604 (pwbo1.1) S 5602 5604 4694 0 -1 4202496 70912 0 0 0 103441 1021 0 0 25 0 3 0 989401125 350081024 70508 33554432000 4194304 5714118 140736363466912 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/5604/statm: 85469 70508 182 372 0 85094 0
[pid=5604/tid=5605] ppid=5602 vsize=341876 CPUtime=522.3 cores=0,2,4,6
/proc/5604/task/5605/stat : 5605 (pwbo1.1) R 5602 5604 4694 0 -1 4202560 65359 0 0 0 51830 400 0 0 25 0 3 0 989401125 350081024 70508 33554432000 4194304 5714118 140736363466912 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=5604/tid=5606] ppid=5602 vsize=341876 CPUtime=522.31 cores=0,2,4,6
/proc/5604/task/5606/stat : 5606 (pwbo1.1) R 5602 5604 4694 0 -1 4202560 5225 0 0 0 51610 621 0 0 25 0 3 0 989401125 350081024 70508 33554432000 4194304 5714118 140736363466912 18446744073709551615 4300337 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1044.62
Current children cumulated vsize (KiB) 341876
[startup+582.301 s]
/proc/loadavg: 4.00 4.00 3.73 5/179 5743
/proc/meminfo: memFree=12317900/32951124 swapFree=67062556/67111528
[pid=5604] ppid=5602 vsize=342088 CPUtime=1164.62 cores=0,2,4,6
/proc/5604/stat : 5604 (pwbo1.1) S 5602 5604 4694 0 -1 4202496 71185 0 0 0 115356 1106 0 0 25 0 3 0 989401125 350298112 70781 33554432000 4194304 5714118 140736363466912 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/5604/statm: 85522 70781 182 372 0 85147 0
[pid=5604/tid=5605] ppid=5602 vsize=342088 CPUtime=582.31 cores=0,2,4,6
/proc/5604/task/5605/stat : 5605 (pwbo1.1) R 5602 5604 4694 0 -1 4202560 65498 0 0 0 57809 422 0 0 25 0 3 0 989401125 350298112 70781 33554432000 4194304 5714118 140736363466912 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=5604/tid=5606] ppid=5602 vsize=342088 CPUtime=582.3 cores=0,2,4,6
/proc/5604/task/5606/stat : 5606 (pwbo1.1) R 5602 5604 4694 0 -1 4202560 5359 0 0 0 57546 684 0 0 25 0 3 0 989401125 350298112 70781 33554432000 4194304 5714118 140736363466912 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1164.62
Current children cumulated vsize (KiB) 342088
[startup+642.301 s]
/proc/loadavg: 4.00 4.00 3.74 5/179 5745
/proc/meminfo: memFree=12289684/32951124 swapFree=67062556/67111528
[pid=5604] ppid=5602 vsize=342108 CPUtime=1284.64 cores=0,2,4,6
/proc/5604/stat : 5604 (pwbo1.1) S 5602 5604 4694 0 -1 4202496 71479 0 0 0 127265 1199 0 0 25 0 3 0 989401125 350318592 71034 33554432000 4194304 5714118 140736363466912 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/5604/statm: 85527 71034 182 372 0 85152 0
[pid=5604/tid=5605] ppid=5602 vsize=342108 CPUtime=642.31 cores=0,2,4,6
/proc/5604/task/5605/stat : 5605 (pwbo1.1) R 5602 5604 4694 0 -1 4202560 65639 0 0 0 63784 447 0 0 25 0 3 0 989401125 350318592 71034 33554432000 4194304 5714118 140736363466912 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=5604/tid=5606] ppid=5602 vsize=342108 CPUtime=642.31 cores=0,2,4,6
/proc/5604/task/5606/stat : 5606 (pwbo1.1) R 5602 5604 4694 0 -1 4202560 5512 0 0 0 63480 751 0 0 25 0 3 0 989401125 350318592 71034 33554432000 4194304 5714118 140736363466912 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1284.64
Current children cumulated vsize (KiB) 342108
[startup+702.3 s]
/proc/loadavg: 4.00 4.00 3.76 5/179 5746
/proc/meminfo: memFree=12259524/32951124 swapFree=67062556/67111528
[pid=5604] ppid=5602 vsize=342108 CPUtime=1404.63 cores=0,2,4,6
/proc/5604/stat : 5604 (pwbo1.1) S 5602 5604 4694 0 -1 4202496 71525 0 0 0 139177 1286 0 0 25 0 3 0 989401125 350318592 71080 33554432000 4194304 5714118 140736363466912 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/5604/statm: 85527 71080 182 372 0 85152 0
[pid=5604/tid=5605] ppid=5602 vsize=342108 CPUtime=702.31 cores=0,2,4,6
/proc/5604/task/5605/stat : 5605 (pwbo1.1) R 5602 5604 4694 0 -1 4202560 65640 0 0 0 69760 471 0 0 25 0 3 0 989401125 350318592 71080 33554432000 4194304 5714118 140736363466912 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=5604/tid=5606] ppid=5602 vsize=342108 CPUtime=702.31 cores=0,2,4,6
/proc/5604/task/5606/stat : 5606 (pwbo1.1) R 5602 5604 4694 0 -1 4202560 5557 0 0 0 69416 815 0 0 25 0 3 0 989401125 350318592 71080 33554432000 4194304 5714118 140736363466912 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1404.63
Current children cumulated vsize (KiB) 342108
[startup+762.306 s]
/proc/loadavg: 4.00 4.00 3.77 5/179 5748
/proc/meminfo: memFree=12231088/32951124 swapFree=67062556/67111528
[pid=5604] ppid=5602 vsize=342536 CPUtime=1524.64 cores=0,2,4,6
/proc/5604/stat : 5604 (pwbo1.1) S 5602 5604 4694 0 -1 4202496 71770 0 0 0 151093 1371 0 0 25 0 3 0 989401125 350756864 71325 33554432000 4194304 5714118 140736363466912 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/5604/statm: 85634 71325 182 372 0 85259 0
[pid=5604/tid=5605] ppid=5602 vsize=342536 CPUtime=762.32 cores=0,2,4,6
/proc/5604/task/5605/stat : 5605 (pwbo1.1) R 5602 5604 4694 0 -1 4202560 65640 0 0 0 75738 494 0 0 25 0 3 0 989401125 350756864 71325 33554432000 4194304 5714118 140736363466912 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=5604/tid=5606] ppid=5602 vsize=342536 CPUtime=762.32 cores=0,2,4,6
/proc/5604/task/5606/stat : 5606 (pwbo1.1) R 5602 5604 4694 0 -1 4202560 5802 0 0 0 75355 877 0 0 25 0 3 0 989401125 350756864 71325 33554432000 4194304 5714118 140736363466912 18446744073709551615 4300160 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1524.64
Current children cumulated vsize (KiB) 342536
[startup+822.301 s]
/proc/loadavg: 4.00 4.00 3.78 5/179 5750
/proc/meminfo: memFree=12107900/32951124 swapFree=67062556/67111528
[pid=5604] ppid=5602 vsize=343104 CPUtime=1644.64 cores=0,2,4,6
/proc/5604/stat : 5604 (pwbo1.1) S 5602 5604 4694 0 -1 4202496 72065 0 0 0 163015 1449 0 0 25 0 3 0 989401125 351338496 71620 33554432000 4194304 5714118 140736363466912 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/5604/statm: 85776 71620 182 372 0 85401 0
[pid=5604/tid=5605] ppid=5602 vsize=343104 CPUtime=822.32 cores=0,2,4,6
/proc/5604/task/5605/stat : 5605 (pwbo1.1) R 5602 5604 4694 0 -1 4202560 65640 0 0 0 81712 520 0 0 25 0 3 0 989401125 351338496 71620 33554432000 4194304 5714118 140736363466912 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=5604/tid=5606] ppid=5602 vsize=343104 CPUtime=822.31 cores=0,2,4,6
/proc/5604/task/5606/stat : 5606 (pwbo1.1) R 5602 5604 4694 0 -1 4202560 6097 0 0 0 81302 929 0 0 25 0 3 0 989401125 351338496 71620 33554432000 4194304 5714118 140736363466912 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1644.64
Current children cumulated vsize (KiB) 343104
[startup+882.301 s]
/proc/loadavg: 4.00 4.00 3.79 5/179 5751
/proc/meminfo: memFree=12106732/32951124 swapFree=67062556/67111528
[pid=5604] ppid=5602 vsize=343296 CPUtime=1764.64 cores=0,2,4,6
/proc/5604/stat : 5604 (pwbo1.1) S 5602 5604 4694 0 -1 4202496 72252 0 0 0 174937 1527 0 0 25 0 3 0 989401125 351535104 71807 33554432000 4194304 5714118 140736363466912 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/5604/statm: 85824 71807 182 372 0 85449 0
[pid=5604/tid=5605] ppid=5602 vsize=343296 CPUtime=882.32 cores=0,2,4,6
/proc/5604/task/5605/stat : 5605 (pwbo1.1) R 5602 5604 4694 0 -1 4202560 65643 0 0 0 87688 544 0 0 25 0 3 0 989401125 351535104 71807 33554432000 4194304 5714118 140736363466912 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=5604/tid=5606] ppid=5602 vsize=343296 CPUtime=882.31 cores=0,2,4,6
/proc/5604/task/5606/stat : 5606 (pwbo1.1) R 5602 5604 4694 0 -1 4202560 6281 0 0 0 87248 983 0 0 25 0 3 0 989401125 351535104 71807 33554432000 4194304 5714118 140736363466912 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1764.64
Current children cumulated vsize (KiB) 343296
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.001 s]
/proc/loadavg: 4.00 4.00 3.79 5/179 5752
/proc/meminfo: memFree=12106100/32951124 swapFree=67062556/67111528
[pid=5604] ppid=5602 vsize=343296 CPUtime=1800.05 cores=0,2,4,6
/proc/5604/stat : 5604 (pwbo1.1) S 5602 5604 4694 0 -1 4202496 72252 0 0 0 178455 1550 0 0 25 0 3 0 989401125 351535104 71807 33554432000 4194304 5714118 140736363466912 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0
/proc/5604/statm: 85824 71807 182 372 0 85449 0
[pid=5604/tid=5605] ppid=5602 vsize=343296 CPUtime=900.02 cores=0,2,4,6
/proc/5604/task/5605/stat : 5605 (pwbo1.1) R 5602 5604 4694 0 -1 4202560 65643 0 0 0 89452 550 0 0 25 0 3 0 989401125 351535104 71807 33554432000 4194304 5714118 140736363466912 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=5604/tid=5606] ppid=5602 vsize=343296 CPUtime=900.02 cores=0,2,4,6
/proc/5604/task/5606/stat : 5606 (pwbo1.1) R 5602 5604 4694 0 -1 4202560 6281 0 0 0 89002 1000 0 0 25 0 3 0 989401125 351535104 71807 33554432000 4194304 5714118 140736363466912 18446744073709551615 4322981 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 343296
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.025
CPU time (s): 1800.09
CPU user time (s): 1784.57
CPU system time (s): 15.5196
CPU usage (%): 200.004
Max. virtual memory (cumulated for all children) (KiB): 343296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1784.57
system time used= 15.5196
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72257
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= 31
involuntary context switches= 3922
runsolver used 1.3398 second user time and 2.76558 second system time
The end