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-3500090-1307990716/watcher-3500090-1307990716 -o /var/tmp/evaluation-result-3500090-1307990716/solver-3500090-1307990716 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500090-1307990716.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.98 3.91 3.30 3/179 16316
/proc/meminfo: memFree=29877344/32950928 swapFree=67048888/67111528
[pid=16316] ppid=16314 vsize=135388 CPUtime=0 cores=0,2,4,6
/proc/16316/stat : 16316 (pwbo1.1) S 16314 16316 15608 0 -1 4202496 590 0 0 0 0 0 0 0 25 0 3 0 910670365 138637312 531 33554432000 4194304 5714118 140735048459296 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/16316/statm: 33847 532 176 372 0 33472 0
[pid=16316/tid=16317] ppid=16314 vsize=135388 CPUtime=0 cores=0,2,4,6
/proc/16316/task/16317/stat : 16317 (pwbo1.1) R 16314 16316 15608 0 -1 4202560 76 0 0 0 0 0 0 0 25 0 3 0 910670365 138637312 542 33554432000 4194304 5714118 140735048459296 18446744073709551615 4970308 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=16316/tid=16318] ppid=16314 vsize=135388 CPUtime=0 cores=0,2,4,6
/proc/16316/task/16318/stat : 16318 (pwbo1.1) R 16314 16316 15608 0 -1 4202560 32 0 0 0 0 0 0 0 25 0 3 0 910670365 138637312 544 33554432000 4194304 5714118 140735048459296 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[startup+0.046228 s]
/proc/loadavg: 3.98 3.91 3.30 3/179 16316
/proc/meminfo: memFree=29877344/32950928 swapFree=67048888/67111528
[pid=16316] ppid=16314 vsize=153008 CPUtime=0.07 cores=0,2,4,6
/proc/16316/stat : 16316 (pwbo1.1) S 16314 16316 15608 0 -1 4202496 6770 0 0 0 5 2 0 0 25 0 3 0 910670365 156680192 6618 33554432000 4194304 5714118 140735048459296 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/16316/statm: 38252 6622 177 372 0 37877 0
[pid=16316/tid=16317] ppid=16314 vsize=153008 CPUtime=0.03 cores=0,2,4,6
/proc/16316/task/16317/stat : 16317 (pwbo1.1) R 16314 16316 15608 0 -1 4202560 504 0 0 0 3 0 0 0 25 0 3 0 910670365 156680192 6624 33554432000 4194304 5714118 140735048459296 18446744073709551615 4967679 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=16316/tid=16318] ppid=16314 vsize=153008 CPUtime=0.03 cores=0,2,4,6
/proc/16316/task/16318/stat : 16318 (pwbo1.1) R 16314 16316 15608 0 -1 4202560 5782 0 0 0 1 2 0 0 18 0 3 0 910670365 156680192 6627 33554432000 4194304 5714118 140735048459296 18446744073709551615 5078183 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 153008
[startup+0.101266 s]
/proc/loadavg: 3.98 3.91 3.30 3/179 16316
/proc/meminfo: memFree=29877344/32950928 swapFree=67048888/67111528
[pid=16316] ppid=16314 vsize=154900 CPUtime=0.19 cores=0,2,4,6
/proc/16316/stat : 16316 (pwbo1.1) S 16314 16316 15608 0 -1 4202496 9366 0 0 0 14 5 0 0 25 0 3 0 910670365 158617600 9214 33554432000 4194304 5714118 140735048459296 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/16316/statm: 38725 9214 178 372 0 38350 0
[pid=16316/tid=16317] ppid=16314 vsize=154900 CPUtime=0.09 cores=0,2,4,6
/proc/16316/task/16317/stat : 16317 (pwbo1.1) R 16314 16316 15608 0 -1 4202560 843 0 0 0 9 0 0 0 25 0 3 0 910670365 158617600 9214 33554432000 4194304 5714118 140735048459296 18446744073709551615 4967855 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=16316/tid=16318] ppid=16314 vsize=154900 CPUtime=0.08 cores=0,2,4,6
/proc/16316/task/16318/stat : 16318 (pwbo1.1) R 16314 16316 15608 0 -1 4202560 8030 0 0 0 4 4 0 0 18 0 3 0 910670365 158617600 9214 33554432000 4194304 5714118 140735048459296 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 154900
[startup+0.301242 s]
/proc/loadavg: 3.98 3.91 3.30 3/179 16316
/proc/meminfo: memFree=29877344/32950928 swapFree=67048888/67111528
[pid=16316] ppid=16314 vsize=154900 CPUtime=0.59 cores=0,2,4,6
/proc/16316/stat : 16316 (pwbo1.1) S 16314 16316 15608 0 -1 4202496 9716 0 0 0 53 6 0 0 25 0 3 0 910670365 158617600 9564 33554432000 4194304 5714118 140735048459296 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/16316/statm: 38725 9564 179 372 0 38350 0
[pid=16316/tid=16317] ppid=16314 vsize=154900 CPUtime=0.29 cores=0,2,4,6
/proc/16316/task/16317/stat : 16317 (pwbo1.1) R 16314 16316 15608 0 -1 4202560 1161 0 0 0 28 1 0 0 25 0 3 0 910670365 158617600 9564 33554432000 4194304 5714118 140735048459296 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=16316/tid=16318] ppid=16314 vsize=154900 CPUtime=0.29 cores=0,2,4,6
/proc/16316/task/16318/stat : 16318 (pwbo1.1) R 16314 16316 15608 0 -1 4202560 8062 0 0 0 24 5 0 0 18 0 3 0 910670365 158617600 9564 33554432000 4194304 5714118 140735048459296 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 154900
[startup+0.701162 s]
/proc/loadavg: 3.98 3.91 3.30 3/179 16316
/proc/meminfo: memFree=29877344/32950928 swapFree=67048888/67111528
[pid=16316] ppid=16314 vsize=155036 CPUtime=1.39 cores=0,2,4,6
/proc/16316/stat : 16316 (pwbo1.1) S 16314 16316 15608 0 -1 4202496 10266 0 0 0 132 7 0 0 25 0 3 0 910670365 158756864 10114 33554432000 4194304 5714118 140735048459296 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/16316/statm: 38759 10114 179 372 0 38384 0
[pid=16316/tid=16317] ppid=16314 vsize=155036 CPUtime=0.68 cores=0,2,4,6
/proc/16316/task/16317/stat : 16317 (pwbo1.1) R 16314 16316 15608 0 -1 4202560 1679 0 0 0 67 1 0 0 25 0 3 0 910670365 158756864 10114 33554432000 4194304 5714118 140735048459296 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=16316/tid=16318] ppid=16314 vsize=155036 CPUtime=0.69 cores=0,2,4,6
/proc/16316/task/16318/stat : 16318 (pwbo1.1) R 16314 16316 15608 0 -1 4202560 8094 0 0 0 64 5 0 0 18 0 3 0 910670365 158756864 10114 33554432000 4194304 5714118 140735048459296 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 155036
[startup+1.50092 s]
/proc/loadavg: 3.98 3.91 3.30 5/182 16319
/proc/meminfo: memFree=29835436/32950928 swapFree=67048888/67111528
[pid=16316] ppid=16314 vsize=155036 CPUtime=2.98 cores=0,2,4,6
/proc/16316/stat : 16316 (pwbo1.1) S 16314 16316 15608 0 -1 4202496 11188 0 0 0 290 8 0 0 25 0 3 0 910670365 158756864 11011 33554432000 4194304 5714118 140735048459296 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/16316/statm: 38759 11011 179 372 0 38384 0
[pid=16316/tid=16317] ppid=16314 vsize=155036 CPUtime=1.48 cores=0,2,4,6
/proc/16316/task/16317/stat : 16317 (pwbo1.1) R 16314 16316 15608 0 -1 4202560 2469 0 0 0 146 2 0 0 25 0 3 0 910670365 158756864 11011 33554432000 4194304 5714118 140735048459296 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=16316/tid=16318] ppid=16314 vsize=155036 CPUtime=1.48 cores=0,2,4,6
/proc/16316/task/16318/stat : 16318 (pwbo1.1) R 16314 16316 15608 0 -1 4202560 8226 0 0 0 143 5 0 0 19 0 3 0 910670365 158756864 11011 33554432000 4194304 5714118 140735048459296 18446744073709551615 4319134 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 155036
[startup+3.10074 s]
/proc/loadavg: 3.98 3.91 3.31 5/182 16319
/proc/meminfo: memFree=29829732/32950928 swapFree=67048888/67111528
[pid=16316] ppid=16314 vsize=155036 CPUtime=6.19 cores=0,2,4,6
/proc/16316/stat : 16316 (pwbo1.1) S 16314 16316 15608 0 -1 4202496 13666 0 0 0 605 14 0 0 25 0 3 0 910670365 158756864 13489 33554432000 4194304 5714118 140735048459296 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/16316/statm: 38759 13489 179 372 0 38384 0
[pid=16316/tid=16317] ppid=16314 vsize=155036 CPUtime=3.08 cores=0,2,4,6
/proc/16316/task/16317/stat : 16317 (pwbo1.1) R 16314 16316 15608 0 -1 4202560 3510 0 0 0 305 3 0 0 25 0 3 0 910670365 158756864 13489 33554432000 4194304 5714118 140735048459296 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=16316/tid=16318] ppid=16314 vsize=155036 CPUtime=3.09 cores=0,2,4,6
/proc/16316/task/16318/stat : 16318 (pwbo1.1) R 16314 16316 15608 0 -1 4202560 9663 0 0 0 299 10 0 0 18 0 3 0 910670365 158756864 13489 33554432000 4194304 5714118 140735048459296 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 155036
[startup+6.30117 s]
/proc/loadavg: 3.98 3.91 3.31 5/182 16319
/proc/meminfo: memFree=29812992/32950928 swapFree=67048888/67111528
[pid=16316] ppid=16314 vsize=155036 CPUtime=12.59 cores=0,2,4,6
/proc/16316/stat : 16316 (pwbo1.1) S 16314 16316 15608 0 -1 4202496 16830 0 0 0 1237 22 0 0 25 0 3 0 910670365 158756864 16653 33554432000 4194304 5714118 140735048459296 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/16316/statm: 38759 16653 180 372 0 38384 0
[pid=16316/tid=16317] ppid=16314 vsize=155036 CPUtime=6.29 cores=0,2,4,6
/proc/16316/task/16317/stat : 16317 (pwbo1.1) R 16314 16316 15608 0 -1 4202560 4832 0 0 0 623 6 0 0 25 0 3 0 910670365 158756864 16653 33554432000 4194304 5714118 140735048459296 18446744073709551615 4319386 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=16316/tid=16318] ppid=16314 vsize=155036 CPUtime=6.28 cores=0,2,4,6
/proc/16316/task/16318/stat : 16318 (pwbo1.1) R 16314 16316 15608 0 -1 4202560 11505 0 0 0 613 15 0 0 19 0 3 0 910670365 158756864 16653 33554432000 4194304 5714118 140735048459296 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 155036
[startup+12.701 s]
/proc/loadavg: 3.98 3.92 3.31 5/182 16319
/proc/meminfo: memFree=29770016/32950928 swapFree=67048888/67111528
[pid=16316] ppid=16314 vsize=155736 CPUtime=25.38 cores=0,2,4,6
/proc/16316/stat : 16316 (pwbo1.1) S 16314 16316 15608 0 -1 4202496 24454 0 0 0 2496 42 0 0 25 0 3 0 910670365 159473664 24277 33554432000 4194304 5714118 140735048459296 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/16316/statm: 38934 24277 180 372 0 38559 0
[pid=16316/tid=16317] ppid=16314 vsize=155736 CPUtime=12.69 cores=0,2,4,6
/proc/16316/task/16317/stat : 16317 (pwbo1.1) R 16314 16316 15608 0 -1 4202560 7186 0 0 0 1259 10 0 0 25 0 3 0 910670365 159473664 24277 33554432000 4194304 5714118 140735048459296 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=16316/tid=16318] ppid=16314 vsize=155736 CPUtime=12.68 cores=0,2,4,6
/proc/16316/task/16318/stat : 16318 (pwbo1.1) R 16314 16316 15608 0 -1 4202560 16775 0 0 0 1236 32 0 0 21 0 3 0 910670365 159473664 24277 33554432000 4194304 5714118 140735048459296 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 155736
[startup+25.5007 s]
/proc/loadavg: 3.99 3.92 3.32 5/182 16319
/proc/meminfo: memFree=29735168/32950928 swapFree=67048888/67111528
[pid=16316] ppid=16314 vsize=155976 CPUtime=50.98 cores=0,2,4,6
/proc/16316/stat : 16316 (pwbo1.1) S 16314 16316 15608 0 -1 4202496 30321 0 0 0 5035 63 0 0 25 0 3 0 910670365 159719424 30144 33554432000 4194304 5714118 140735048459296 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/16316/statm: 38994 30144 180 372 0 38619 0
[pid=16316/tid=16317] ppid=16314 vsize=155976 CPUtime=25.49 cores=0,2,4,6
/proc/16316/task/16317/stat : 16317 (pwbo1.1) R 16314 16316 15608 0 -1 4202560 9818 0 0 0 2532 17 0 0 25 0 3 0 910670365 159719424 30144 33554432000 4194304 5714118 140735048459296 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=16316/tid=16318] ppid=16314 vsize=155976 CPUtime=25.48 cores=0,2,4,6
/proc/16316/task/16318/stat : 16318 (pwbo1.1) R 16314 16316 15608 0 -1 4202560 20010 0 0 0 2502 46 0 0 19 0 3 0 910670365 159719424 30144 33554432000 4194304 5714118 140735048459296 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 155976
[startup+51.1011 s]
/proc/loadavg: 3.99 3.92 3.34 5/182 16320
/proc/meminfo: memFree=29595400/32950928 swapFree=67048888/67111528
[pid=16316] ppid=16314 vsize=287408 CPUtime=102.19 cores=0,2,4,6
/proc/16316/stat : 16316 (pwbo1.1) S 16314 16316 15608 0 -1 4202496 52205 0 0 0 10086 133 0 0 25 0 3 0 910670365 294305792 51972 33554432000 4194304 5714118 140735048459296 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/16316/statm: 71852 51972 180 372 0 71477 0
[pid=16316/tid=16317] ppid=16314 vsize=287408 CPUtime=51.08 cores=0,2,4,6
/proc/16316/task/16317/stat : 16317 (pwbo1.1) R 16314 16316 15608 0 -1 4202560 16213 0 0 0 5068 40 0 0 25 0 3 0 910670365 294305792 51972 33554432000 4194304 5714118 140735048459296 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=16316/tid=16318] ppid=16314 vsize=287408 CPUtime=51.09 cores=0,2,4,6
/proc/16316/task/16318/stat : 16318 (pwbo1.1) R 16314 16316 15608 0 -1 4202560 35499 0 0 0 5017 92 0 0 25 0 3 0 910670365 294305792 51972 33554432000 4194304 5714118 140735048459296 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 287408
[startup+102.306 s]
/proc/loadavg: 4.04 3.95 3.38 5/182 16321
/proc/meminfo: memFree=29482772/32950928 swapFree=67048888/67111528
[pid=16316] ppid=16314 vsize=352944 CPUtime=204.6 cores=0,2,4,6
/proc/16316/stat : 16316 (pwbo1.1) S 16314 16316 15608 0 -1 4202496 54476 0 0 0 20278 182 0 0 25 0 3 0 910670365 361414656 54243 33554432000 4194304 5714118 140735048459296 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/16316/statm: 88236 54243 180 372 0 87861 0
[pid=16316/tid=16317] ppid=16314 vsize=352944 CPUtime=102.29 cores=0,2,4,6
/proc/16316/task/16317/stat : 16317 (pwbo1.1) R 16314 16316 15608 0 -1 4202560 16803 0 0 0 10155 74 0 0 25 0 3 0 910670365 361414656 54243 33554432000 4194304 5714118 140735048459296 18446744073709551615 4299920 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=16316/tid=16318] ppid=16314 vsize=352944 CPUtime=102.29 cores=0,2,4,6
/proc/16316/task/16318/stat : 16318 (pwbo1.1) R 16314 16316 15608 0 -1 4202560 37180 0 0 0 10122 107 0 0 25 0 3 0 910670365 361414656 54243 33554432000 4194304 5714118 140735048459296 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.6
Current children cumulated vsize (KiB) 352944
[startup+162.3 s]
/proc/loadavg: 4.01 3.95 3.41 5/182 16323
/proc/meminfo: memFree=29316060/32950928 swapFree=67048888/67111528
[pid=16316] ppid=16314 vsize=355588 CPUtime=324.58 cores=0,2,4,6
/proc/16316/stat : 16316 (pwbo1.1) S 16314 16316 15608 0 -1 4202496 78307 0 0 0 32184 274 0 0 25 0 3 0 910670365 364122112 78074 33554432000 4194304 5714118 140735048459296 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/16316/statm: 88897 78074 180 372 0 88522 0
[pid=16316/tid=16317] ppid=16314 vsize=355588 CPUtime=162.29 cores=0,2,4,6
/proc/16316/task/16317/stat : 16317 (pwbo1.1) R 16314 16316 15608 0 -1 4202560 27198 0 0 0 16097 132 0 0 25 0 3 0 910670365 364122112 78074 33554432000 4194304 5714118 140735048459296 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=16316/tid=16318] ppid=16314 vsize=355588 CPUtime=162.29 cores=0,2,4,6
/proc/16316/task/16318/stat : 16318 (pwbo1.1) R 16314 16316 15608 0 -1 4202560 50616 0 0 0 16087 142 0 0 25 0 3 0 910670365 364122112 78074 33554432000 4194304 5714118 140735048459296 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 324.58
Current children cumulated vsize (KiB) 355588
[startup+222.301 s]
/proc/loadavg: 4.00 3.96 3.45 5/182 16325
/proc/meminfo: memFree=29204032/32950928 swapFree=67048888/67111528
[pid=16316] ppid=16314 vsize=486660 CPUtime=444.59 cores=0,2,4,6
/proc/16316/stat : 16316 (pwbo1.1) S 16314 16316 15608 0 -1 4202496 91271 0 0 0 44113 346 0 0 25 0 3 0 910670365 498339840 91038 33554432000 4194304 5714118 140735048459296 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/16316/statm: 121665 91038 180 372 0 121290 0
[pid=16316/tid=16317] ppid=16314 vsize=486660 CPUtime=222.29 cores=0,2,4,6
/proc/16316/task/16317/stat : 16317 (pwbo1.1) R 16314 16316 15608 0 -1 4202560 34160 0 0 0 22044 185 0 0 25 0 3 0 910670365 498339840 91038 33554432000 4194304 5714118 140735048459296 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=16316/tid=16318] ppid=16314 vsize=486660 CPUtime=222.29 cores=0,2,4,6
/proc/16316/task/16318/stat : 16318 (pwbo1.1) R 16314 16316 15608 0 -1 4202560 56618 0 0 0 22068 161 0 0 25 0 3 0 910670365 498339840 91038 33554432000 4194304 5714118 140735048459296 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 444.59
Current children cumulated vsize (KiB) 486660
[startup+282.301 s]
/proc/loadavg: 4.00 3.96 3.48 5/182 16326
/proc/meminfo: memFree=29068572/32950928 swapFree=67048888/67111528
[pid=16316] ppid=16314 vsize=487876 CPUtime=564.59 cores=0,2,4,6
/proc/16316/stat : 16316 (pwbo1.1) S 16314 16316 15608 0 -1 4202496 110895 0 0 0 56027 432 0 0 25 0 3 0 910670365 499585024 110662 33554432000 4194304 5714118 140735048459296 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/16316/statm: 121969 110662 180 372 0 121594 0
[pid=16316/tid=16317] ppid=16314 vsize=487876 CPUtime=282.29 cores=0,2,4,6
/proc/16316/task/16317/stat : 16317 (pwbo1.1) R 16314 16316 15608 0 -1 4202560 44763 0 0 0 27984 245 0 0 25 0 3 0 910670365 499585024 110662 33554432000 4194304 5714118 140735048459296 18446744073709551615 4300239 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=16316/tid=16318] ppid=16314 vsize=487876 CPUtime=282.28 cores=0,2,4,6
/proc/16316/task/16318/stat : 16318 (pwbo1.1) R 16314 16316 15608 0 -1 4202560 65639 0 0 0 28042 186 0 0 25 0 3 0 910670365 499585024 110662 33554432000 4194304 5714118 140735048459296 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 564.59
Current children cumulated vsize (KiB) 487876
[startup+342.301 s]
/proc/loadavg: 4.00 3.97 3.51 5/182 16328
/proc/meminfo: memFree=28882032/32950928 swapFree=67048888/67111528
[pid=16316] ppid=16314 vsize=685456 CPUtime=684.59 cores=0,2,4,6
/proc/16316/stat : 16316 (pwbo1.1) S 16314 16316 15608 0 -1 4202496 142174 0 0 0 67941 518 0 0 25 0 3 0 910670365 701906944 141940 33554432000 4194304 5714118 140735048459296 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/16316/statm: 171364 141940 180 372 0 170989 0
[pid=16316/tid=16317] ppid=16314 vsize=685456 CPUtime=342.29 cores=0,2,4,6
/proc/16316/task/16317/stat : 16317 (pwbo1.1) R 16314 16316 15608 0 -1 4202560 53476 0 0 0 33937 292 0 0 25 0 3 0 910670365 701906944 141940 33554432000 4194304 5714118 140735048459296 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=16316/tid=16318] ppid=16314 vsize=685456 CPUtime=342.28 cores=0,2,4,6
/proc/16316/task/16318/stat : 16318 (pwbo1.1) R 16314 16316 15608 0 -1 4202560 88205 0 0 0 34003 225 0 0 25 0 3 0 910670365 701906944 141940 33554432000 4194304 5714118 140735048459296 18446744073709551615 4319200 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) 685456
[startup+402.3 s]
/proc/loadavg: 4.00 3.97 3.54 5/182 16329
/proc/meminfo: memFree=28785004/32950928 swapFree=67048888/67111528
[pid=16316] ppid=16314 vsize=686100 CPUtime=804.6 cores=0,2,4,6
/proc/16316/stat : 16316 (pwbo1.1) S 16314 16316 15608 0 -1 4202496 157191 0 0 0 79874 586 0 0 25 0 3 0 910670365 702566400 156956 33554432000 4194304 5714118 140735048459296 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/16316/statm: 171525 156956 180 372 0 171150 0
[pid=16316/tid=16317] ppid=16314 vsize=686100 CPUtime=402.29 cores=0,2,4,6
/proc/16316/task/16317/stat : 16317 (pwbo1.1) R 16314 16316 15608 0 -1 4202560 59820 0 0 0 39893 336 0 0 25 0 3 0 910670365 702566400 156956 33554432000 4194304 5714118 140735048459296 18446744073709551615 4319398 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=16316/tid=16318] ppid=16314 vsize=686100 CPUtime=402.29 cores=0,2,4,6
/proc/16316/task/16318/stat : 16318 (pwbo1.1) R 16314 16316 15608 0 -1 4202560 96878 0 0 0 39980 249 0 0 25 0 3 0 910670365 702566400 156956 33554432000 4194304 5714118 140735048459296 18446744073709551615 4319372 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) 686100
[startup+462.301 s]
/proc/loadavg: 4.00 3.97 3.56 5/182 16331
/proc/meminfo: memFree=28709684/32950928 swapFree=67048888/67111528
[pid=16316] ppid=16314 vsize=751636 CPUtime=924.59 cores=0,2,4,6
/proc/16316/stat : 16316 (pwbo1.1) S 16314 16316 15608 0 -1 4202496 165050 0 0 0 91797 662 0 0 25 0 3 0 910670365 769675264 164815 33554432000 4194304 5714118 140735048459296 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/16316/statm: 187909 164815 180 372 0 187534 0
[pid=16316/tid=16317] ppid=16314 vsize=751636 CPUtime=462.3 cores=0,2,4,6
/proc/16316/task/16317/stat : 16317 (pwbo1.1) R 16314 16316 15608 0 -1 4202560 67665 0 0 0 45843 387 0 0 25 0 3 0 910670365 769675264 164815 33554432000 4194304 5714118 140735048459296 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=16316/tid=16318] ppid=16314 vsize=751636 CPUtime=462.29 cores=0,2,4,6
/proc/16316/task/16318/stat : 16318 (pwbo1.1) R 16314 16316 15608 0 -1 4202560 96892 0 0 0 45954 275 0 0 25 0 3 0 910670365 769675264 164815 33554432000 4194304 5714118 140735048459296 18446744073709551615 4319336 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 924.59
Current children cumulated vsize (KiB) 751636
[startup+522.301 s]
/proc/loadavg: 4.00 3.97 3.58 5/182 16333
/proc/meminfo: memFree=28641680/32950928 swapFree=67048888/67111528
[pid=16316] ppid=16314 vsize=751796 CPUtime=1044.6 cores=0,2,4,6
/proc/16316/stat : 16316 (pwbo1.1) S 16314 16316 15608 0 -1 4202496 174040 0 0 0 103742 718 0 0 25 0 3 0 910670365 769839104 173805 33554432000 4194304 5714118 140735048459296 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/16316/statm: 187949 173805 180 372 0 187574 0
[pid=16316/tid=16317] ppid=16314 vsize=751796 CPUtime=522.3 cores=0,2,4,6
/proc/16316/task/16317/stat : 16317 (pwbo1.1) R 16314 16316 15608 0 -1 4202560 76616 0 0 0 51798 432 0 0 25 0 3 0 910670365 769839104 173805 33554432000 4194304 5714118 140735048459296 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=16316/tid=16318] ppid=16314 vsize=751796 CPUtime=522.29 cores=0,2,4,6
/proc/16316/task/16318/stat : 16318 (pwbo1.1) R 16314 16316 15608 0 -1 4202560 96931 0 0 0 51943 286 0 0 25 0 3 0 910670365 769839104 173805 33554432000 4194304 5714118 140735048459296 18446744073709551615 5070743 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) 751796
[startup+582.3 s]
/proc/loadavg: 4.00 3.97 3.61 5/182 16334
/proc/meminfo: memFree=28581356/32950928 swapFree=67048888/67111528
[pid=16316] ppid=16314 vsize=817332 CPUtime=1164.6 cores=0,2,4,6
/proc/16316/stat : 16316 (pwbo1.1) S 16314 16316 15608 0 -1 4202496 179804 0 0 0 115697 763 0 0 25 0 3 0 910670365 836947968 179569 33554432000 4194304 5714118 140735048459296 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/16316/statm: 204333 179569 180 372 0 203958 0
[pid=16316/tid=16317] ppid=16314 vsize=817332 CPUtime=582.3 cores=0,2,4,6
/proc/16316/task/16317/stat : 16317 (pwbo1.1) R 16314 16316 15608 0 -1 4202560 82379 0 0 0 57763 467 0 0 25 0 3 0 910670365 836947968 179569 33554432000 4194304 5714118 140735048459296 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=16316/tid=16318] ppid=16314 vsize=817332 CPUtime=582.29 cores=0,2,4,6
/proc/16316/task/16318/stat : 16318 (pwbo1.1) R 16314 16316 15608 0 -1 4202560 96932 0 0 0 57934 295 0 0 25 0 3 0 910670365 836947968 179569 33554432000 4194304 5714118 140735048459296 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1164.6
Current children cumulated vsize (KiB) 817332
[startup+642.301 s]
/proc/loadavg: 4.06 3.99 3.64 5/182 16336
/proc/meminfo: memFree=28521904/32950928 swapFree=67048888/67111528
[pid=16316] ppid=16314 vsize=817332 CPUtime=1284.61 cores=0,2,4,6
/proc/16316/stat : 16316 (pwbo1.1) S 16314 16316 15608 0 -1 4202496 184362 0 0 0 127653 808 0 0 25 0 3 0 910670365 836947968 184127 33554432000 4194304 5714118 140735048459296 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/16316/statm: 204333 184127 180 372 0 203958 0
[pid=16316/tid=16317] ppid=16314 vsize=817332 CPUtime=642.31 cores=0,2,4,6
/proc/16316/task/16317/stat : 16317 (pwbo1.1) R 16314 16316 15608 0 -1 4202560 86934 0 0 0 63727 504 0 0 25 0 3 0 910670365 836947968 184127 33554432000 4194304 5714118 140735048459296 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=16316/tid=16318] ppid=16314 vsize=817332 CPUtime=642.3 cores=0,2,4,6
/proc/16316/task/16318/stat : 16318 (pwbo1.1) R 16314 16316 15608 0 -1 4202560 96935 0 0 0 63926 304 0 0 25 0 3 0 910670365 836947968 184127 33554432000 4194304 5714118 140735048459296 18446744073709551615 4320111 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1284.61
Current children cumulated vsize (KiB) 817332
[startup+702.301 s]
/proc/loadavg: 4.02 3.99 3.66 5/182 16337
/proc/meminfo: memFree=28451676/32950928 swapFree=67048888/67111528
[pid=16316] ppid=16314 vsize=817332 CPUtime=1404.61 cores=0,2,4,6
/proc/16316/stat : 16316 (pwbo1.1) S 16314 16316 15608 0 -1 4202496 190164 0 0 0 139607 854 0 0 25 0 3 0 910670365 836947968 189928 33554432000 4194304 5714118 140735048459296 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/16316/statm: 204333 189928 180 372 0 203958 0
[pid=16316/tid=16317] ppid=16314 vsize=817332 CPUtime=702.3 cores=0,2,4,6
/proc/16316/task/16317/stat : 16317 (pwbo1.1) R 16314 16316 15608 0 -1 4202560 92211 0 0 0 69686 544 0 0 25 0 3 0 910670365 836947968 189928 33554432000 4194304 5714118 140735048459296 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=16316/tid=16318] ppid=16314 vsize=817332 CPUtime=702.29 cores=0,2,4,6
/proc/16316/task/16318/stat : 16318 (pwbo1.1) R 16314 16316 15608 0 -1 4202560 97460 0 0 0 69920 309 0 0 25 0 3 0 910670365 836947968 189928 33554432000 4194304 5714118 140735048459296 18446744073709551615 4319200 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) 817332
[startup+762.306 s]
/proc/loadavg: 4.00 3.99 3.67 5/182 16420
/proc/meminfo: memFree=29300340/32950928 swapFree=67048888/67111528
[pid=16316] ppid=16314 vsize=950584 CPUtime=1524.62 cores=0,2,4,6
/proc/16316/stat : 16316 (pwbo1.1) S 16314 16316 15608 0 -1 4202496 203446 0 0 0 151549 913 0 0 25 0 3 0 910670365 973398016 203186 33554432000 4194304 5714118 140735048459296 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/16316/statm: 237646 203186 180 372 0 237271 0
[pid=16316/tid=16317] ppid=16314 vsize=950584 CPUtime=762.31 cores=0,2,4,6
/proc/16316/task/16317/stat : 16317 (pwbo1.1) R 16314 16316 15608 0 -1 4202560 97709 0 0 0 75644 587 0 0 25 0 3 0 910670365 973398016 203186 33554432000 4194304 5714118 140735048459296 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=16316/tid=16318] ppid=16314 vsize=950584 CPUtime=762.3 cores=0,2,4,6
/proc/16316/task/16318/stat : 16318 (pwbo1.1) R 16314 16316 15608 0 -1 4202560 105244 0 0 0 75905 325 0 0 25 0 3 0 910670365 973398016 203186 33554432000 4194304 5714118 140735048459296 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1524.62
Current children cumulated vsize (KiB) 950584
[startup+822.301 s]
/proc/loadavg: 4.00 3.99 3.69 5/182 16422
/proc/meminfo: memFree=29186688/32950928 swapFree=67048888/67111528
[pid=16316] ppid=16314 vsize=951752 CPUtime=1644.61 cores=0,2,4,6
/proc/16316/stat : 16316 (pwbo1.1) S 16314 16316 15608 0 -1 4202496 218966 0 0 0 163491 970 0 0 25 0 3 0 910670365 974594048 218706 33554432000 4194304 5714118 140735048459296 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/16316/statm: 237938 218706 180 372 0 237563 0
[pid=16316/tid=16317] ppid=16314 vsize=951752 CPUtime=822.3 cores=0,2,4,6
/proc/16316/task/16317/stat : 16317 (pwbo1.1) R 16314 16316 15608 0 -1 4202560 104791 0 0 0 81604 626 0 0 25 0 3 0 910670365 974594048 218706 33554432000 4194304 5714118 140735048459296 18446744073709551615 4319255 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=16316/tid=16318] ppid=16314 vsize=951752 CPUtime=822.29 cores=0,2,4,6
/proc/16316/task/16318/stat : 16318 (pwbo1.1) R 16314 16316 15608 0 -1 4202560 113682 0 0 0 81886 343 0 0 25 0 3 0 910670365 974594048 218706 33554432000 4194304 5714118 140735048459296 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1644.61
Current children cumulated vsize (KiB) 951752
[startup+882.301 s]
/proc/loadavg: 4.00 3.99 3.71 5/182 16423
/proc/meminfo: memFree=29104536/32950928 swapFree=67048888/67111528
[pid=16316] ppid=16314 vsize=1019512 CPUtime=1764.61 cores=0,2,4,6
/proc/16316/stat : 16316 (pwbo1.1) S 16314 16316 15608 0 -1 4202496 233170 0 0 0 175431 1030 0 0 25 0 3 0 910670365 1043980288 232910 33554432000 4194304 5714118 140735048459296 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/16316/statm: 254878 232910 180 372 0 254503 0
[pid=16316/tid=16317] ppid=16314 vsize=1019512 CPUtime=882.3 cores=0,2,4,6
/proc/16316/task/16317/stat : 16317 (pwbo1.1) R 16314 16316 15608 0 -1 4202560 112039 0 0 0 87558 672 0 0 25 0 3 0 910670365 1043980288 232910 33554432000 4194304 5714118 140735048459296 18446744073709551615 4198963 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=16316/tid=16318] ppid=16314 vsize=1019512 CPUtime=882.3 cores=0,2,4,6
/proc/16316/task/16318/stat : 16318 (pwbo1.1) R 16314 16316 15608 0 -1 4202560 120638 0 0 0 87873 357 0 0 25 0 3 0 910670365 1043980288 232910 33554432000 4194304 5714118 140735048459296 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1764.61
Current children cumulated vsize (KiB) 1019512
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.001 s]
/proc/loadavg: 4.00 3.99 3.71 5/182 16424
/proc/meminfo: memFree=29077856/32950928 swapFree=67048888/67111528
[pid=16316] ppid=16314 vsize=1085048 CPUtime=1800.02 cores=0,2,4,6
/proc/16316/stat : 16316 (pwbo1.1) S 16314 16316 15608 0 -1 4202496 236734 0 0 0 178955 1047 0 0 25 0 3 0 910670365 1111089152 236474 33554432000 4194304 5714118 140735048459296 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/16316/statm: 271262 236474 180 372 0 270887 0
[pid=16316/tid=16317] ppid=16314 vsize=1085048 CPUtime=900.01 cores=0,2,4,6
/proc/16316/task/16317/stat : 16317 (pwbo1.1) R 16314 16316 15608 0 -1 4202560 113954 0 0 0 89314 687 0 0 25 0 3 0 910670365 1111089152 236474 33554432000 4194304 5714118 140735048459296 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=16316/tid=16318] ppid=16314 vsize=1085048 CPUtime=900 cores=0,2,4,6
/proc/16316/task/16318/stat : 16318 (pwbo1.1) R 16314 16316 15608 0 -1 4202560 122287 0 0 0 89640 360 0 0 25 0 3 0 910670365 1111089152 236474 33554432000 4194304 5714118 140735048459296 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1085048
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.05
CPU time (s): 1800.08
CPU user time (s): 1789.57
CPU system time (s): 10.5174
CPU usage (%): 199.998
Max. virtual memory (cumulated for all children) (KiB): 1085048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.56
system time used= 10.5174
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 236740
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= 510
involuntary context switches= 1875
runsolver used 1.45878 second user time and 3.16252 second system time
The end