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-3500366-1307994443/watcher-3500366-1307994443 -o /var/tmp/evaluation-result-3500366-1307994443/solver-3500366-1307994443 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500366-1307994443.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.90 3.97 3.91 3/176 6206
/proc/meminfo: memFree=12036068/32951124 swapFree=67062556/67111528
[pid=6206] ppid=6204 vsize=10256 CPUtime=0 cores=0,2,4,6
/proc/6206/stat : 6206 (pwbo1.1) R 6204 6206 4694 0 -1 4202496 433 0 0 0 0 0 0 0 25 0 1 0 989674800 10502144 385 33554432000 4194304 5714118 140733849977936 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/6206/statm: 2564 385 166 372 0 283 0
[startup+0.08402 s]
/proc/loadavg: 3.90 3.97 3.91 3/176 6206
/proc/meminfo: memFree=12036068/32951124 swapFree=67062556/67111528
[pid=6206] ppid=6204 vsize=22184 CPUtime=0.08 cores=0,2,4,6
/proc/6206/stat : 6206 (pwbo1.1) R 6204 6206 4694 0 -1 4202496 3647 0 0 0 8 0 0 0 25 0 1 0 989674800 22716416 3599 33554432000 4194304 5714118 140733849977936 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/6206/statm: 5546 3600 393 372 0 3265 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 22184
[startup+0.101021 s]
/proc/loadavg: 3.90 3.97 3.91 3/176 6206
/proc/meminfo: memFree=12036068/32951124 swapFree=67062556/67111528
[pid=6206] ppid=6204 vsize=24608 CPUtime=0.09 cores=0,2,4,6
/proc/6206/stat : 6206 (pwbo1.1) R 6204 6206 4694 0 -1 4202496 4278 0 0 0 9 0 0 0 25 0 1 0 989674800 25198592 4230 33554432000 4194304 5714118 140733849977936 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/6206/statm: 6152 4231 441 372 0 3871 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24608
[startup+0.300987 s]
/proc/loadavg: 3.90 3.97 3.91 3/176 6206
/proc/meminfo: memFree=12036068/32951124 swapFree=67062556/67111528
[pid=6206] ppid=6204 vsize=53768 CPUtime=0.29 cores=0,2,4,6
/proc/6206/stat : 6206 (pwbo1.1) R 6204 6206 4694 0 -1 4202496 12103 0 0 0 27 2 0 0 25 0 1 0 989674800 55058432 12055 33554432000 4194304 5714118 140733849977936 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/6206/statm: 13442 12058 995 372 0 11161 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53768
[startup+0.704903 s]
/proc/loadavg: 3.90 3.97 3.91 3/176 6206
/proc/meminfo: memFree=12036068/32951124 swapFree=67062556/67111528
[pid=6206] ppid=6204 vsize=240108 CPUtime=0.7 cores=0,2,4,6
/proc/6206/stat : 6206 (pwbo1.1) S 6204 6206 4694 0 -1 4202496 29476 0 0 0 66 4 0 0 18 0 3 0 989674800 245870592 27516 33554432000 4194304 5714118 140733849977936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/6206/statm: 60123 27539 175 372 0 59748 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 240108
[startup+1.50074 s]
/proc/loadavg: 3.90 3.97 3.91 5/179 6209
/proc/meminfo: memFree=11877224/32951124 swapFree=67062556/67111528
[pid=6206] ppid=6204 vsize=304092 CPUtime=2.3 cores=0,2,4,6
/proc/6206/stat : 6206 (pwbo1.1) S 6204 6206 4694 0 -1 4202496 55459 0 0 0 220 10 0 0 18 0 3 0 989674800 311390208 52888 33554432000 4194304 5714118 140733849977936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/6206/statm: 76023 52888 178 372 0 75648 0
[pid=6206/tid=6208] ppid=6204 vsize=304092 CPUtime=0.8 cores=0,2,4,6
/proc/6206/task/6208/stat : 6208 (pwbo1.1) R 6204 6206 4694 0 -1 4202560 26928 0 0 0 75 5 0 0 19 0 3 0 989674869 311390208 52888 33554432000 4194304 5714118 140733849977936 18446744073709551615 4322672 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=304092 CPUtime=0.8 cores=0,2,4,6
/proc/6206/task/6209/stat : 6209 (pwbo1.1) R 6204 6206 4694 0 -1 4202560 830 0 0 0 80 0 0 0 19 0 3 0 989674869 311390208 52888 33554432000 4194304 5714118 140733849977936 18446744073709551615 4322672 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.3
Current children cumulated vsize (KiB) 304092
[startup+3.10044 s]
/proc/loadavg: 3.90 3.97 3.91 5/179 6209
/proc/meminfo: memFree=11819564/32951124 swapFree=67062556/67111528
[pid=6206] ppid=6204 vsize=304092 CPUtime=5.5 cores=0,2,4,6
/proc/6206/stat : 6206 (pwbo1.1) S 6204 6206 4694 0 -1 4202496 59686 0 0 0 539 11 0 0 18 0 3 0 989674800 311390208 57115 33554432000 4194304 5714118 140733849977936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/6206/statm: 76023 57115 179 372 0 75648 0
[pid=6206/tid=6208] ppid=6204 vsize=304092 CPUtime=2.4 cores=0,2,4,6
/proc/6206/task/6208/stat : 6208 (pwbo1.1) R 6204 6206 4694 0 -1 4202560 31145 0 0 0 234 6 0 0 22 0 3 0 989674869 311390208 57115 33554432000 4194304 5714118 140733849977936 18446744073709551615 4322672 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=304092 CPUtime=2.39 cores=0,2,4,6
/proc/6206/task/6209/stat : 6209 (pwbo1.1) R 6204 6206 4694 0 -1 4202560 840 0 0 0 239 0 0 0 22 0 3 0 989674869 311390208 57115 33554432000 4194304 5714118 140733849977936 18446744073709551615 4322672 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.5
Current children cumulated vsize (KiB) 304092
[startup+6.30085 s]
/proc/loadavg: 3.91 3.97 3.91 5/179 6209
/proc/meminfo: memFree=11797120/32951124 swapFree=67062556/67111528
[pid=6206] ppid=6204 vsize=369628 CPUtime=11.9 cores=0,2,4,6
/proc/6206/stat : 6206 (pwbo1.1) S 6204 6206 4694 0 -1 4202496 62848 0 0 0 1178 12 0 0 18 0 3 0 989674800 378499072 60277 33554432000 4194304 5714118 140733849977936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/6206/statm: 92407 60277 179 372 0 92032 0
[pid=6206/tid=6208] ppid=6204 vsize=369628 CPUtime=5.59 cores=0,2,4,6
/proc/6206/task/6208/stat : 6208 (pwbo1.1) R 6204 6206 4694 0 -1 4202560 34272 0 0 0 553 6 0 0 25 0 3 0 989674869 378499072 60277 33554432000 4194304 5714118 140733849977936 18446744073709551615 4964730 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=369628 CPUtime=5.59 cores=0,2,4,6
/proc/6206/task/6209/stat : 6209 (pwbo1.1) R 6204 6206 4694 0 -1 4202560 875 0 0 0 559 0 0 0 25 0 3 0 989674869 378499072 60277 33554432000 4194304 5714118 140733849977936 18446744073709551615 4305218 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.9
Current children cumulated vsize (KiB) 369628
[startup+12.7007 s]
/proc/loadavg: 4.00 3.99 3.91 5/179 6209
/proc/meminfo: memFree=11770204/32951124 swapFree=67062556/67111528
[pid=6206] ppid=6204 vsize=369628 CPUtime=24.7 cores=0,2,4,6
/proc/6206/stat : 6206 (pwbo1.1) S 6204 6206 4694 0 -1 4202496 68084 0 0 0 2456 14 0 0 18 0 3 0 989674800 378499072 65513 33554432000 4194304 5714118 140733849977936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/6206/statm: 92407 65513 179 372 0 92032 0
[pid=6206/tid=6208] ppid=6204 vsize=369628 CPUtime=12 cores=0,2,4,6
/proc/6206/task/6208/stat : 6208 (pwbo1.1) R 6204 6206 4694 0 -1 4202560 39406 0 0 0 1192 8 0 0 25 0 3 0 989674869 378499072 65513 33554432000 4194304 5714118 140733849977936 18446744073709551615 4200634 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=369628 CPUtime=12 cores=0,2,4,6
/proc/6206/task/6209/stat : 6209 (pwbo1.1) R 6204 6206 4694 0 -1 4202560 977 0 0 0 1199 1 0 0 22 0 3 0 989674869 378499072 65513 33554432000 4194304 5714118 140733849977936 18446744073709551615 4322666 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 24.7
Current children cumulated vsize (KiB) 369628
[startup+25.5003 s]
/proc/loadavg: 4.00 3.99 3.91 5/179 6209
/proc/meminfo: memFree=11757052/32951124 swapFree=67062556/67111528
[pid=6206] ppid=6204 vsize=369628 CPUtime=50.3 cores=0,2,4,6
/proc/6206/stat : 6206 (pwbo1.1) S 6204 6206 4694 0 -1 4202496 70361 0 0 0 5014 16 0 0 18 0 3 0 989674800 378499072 67790 33554432000 4194304 5714118 140733849977936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/6206/statm: 92407 67790 179 372 0 92032 0
[pid=6206/tid=6208] ppid=6204 vsize=369628 CPUtime=24.8 cores=0,2,4,6
/proc/6206/task/6208/stat : 6208 (pwbo1.1) R 6204 6206 4694 0 -1 4202560 41500 0 0 0 2471 9 0 0 25 0 3 0 989674869 378499072 67790 33554432000 4194304 5714118 140733849977936 18446744073709551615 4200778 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=369628 CPUtime=24.8 cores=0,2,4,6
/proc/6206/task/6209/stat : 6209 (pwbo1.1) R 6204 6206 4694 0 -1 4202560 1160 0 0 0 2477 3 0 0 25 0 3 0 989674869 378499072 67790 33554432000 4194304 5714118 140733849977936 18446744073709551615 4200618 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.3
Current children cumulated vsize (KiB) 369628
[startup+51.1005 s]
/proc/loadavg: 4.00 3.99 3.91 5/179 6251
/proc/meminfo: memFree=12609956/32951124 swapFree=67062556/67111528
[pid=6206] ppid=6204 vsize=369628 CPUtime=101.5 cores=0,2,4,6
/proc/6206/stat : 6206 (pwbo1.1) S 6204 6206 4694 0 -1 4202496 71788 0 0 0 10129 21 0 0 18 0 3 0 989674800 378499072 69217 33554432000 4194304 5714118 140733849977936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/6206/statm: 92407 69217 179 372 0 92032 0
[pid=6206/tid=6208] ppid=6204 vsize=369628 CPUtime=50.4 cores=0,2,4,6
/proc/6206/task/6208/stat : 6208 (pwbo1.1) R 6204 6206 4694 0 -1 4202560 42532 0 0 0 5030 10 0 0 25 0 3 0 989674869 378499072 69217 33554432000 4194304 5714118 140733849977936 18446744073709551615 4305224 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=369628 CPUtime=50.39 cores=0,2,4,6
/proc/6206/task/6209/stat : 6209 (pwbo1.1) R 6204 6206 4694 0 -1 4202560 1555 0 0 0 5034 5 0 0 25 0 3 0 989674869 378499072 69217 33554432000 4194304 5714118 140733849977936 18446744073709551615 4322672 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.5
Current children cumulated vsize (KiB) 369628
[startup+102.306 s]
/proc/loadavg: 4.00 3.99 3.91 5/179 6252
/proc/meminfo: memFree=12587812/32951124 swapFree=67062556/67111528
[pid=6206] ppid=6204 vsize=369628 CPUtime=203.92 cores=0,2,4,6
/proc/6206/stat : 6206 (pwbo1.1) S 6204 6206 4694 0 -1 4202496 74914 0 0 0 20362 30 0 0 18 0 3 0 989674800 378499072 72343 33554432000 4194304 5714118 140733849977936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/6206/statm: 92407 72343 179 372 0 92032 0
[pid=6206/tid=6208] ppid=6204 vsize=369628 CPUtime=101.61 cores=0,2,4,6
/proc/6206/task/6208/stat : 6208 (pwbo1.1) R 6204 6206 4694 0 -1 4202560 44866 0 0 0 10147 14 0 0 25 0 3 0 989674869 378499072 72343 33554432000 4194304 5714118 140733849977936 18446744073709551615 4322672 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=369628 CPUtime=101.6 cores=0,2,4,6
/proc/6206/task/6209/stat : 6209 (pwbo1.1) R 6204 6206 4694 0 -1 4202560 2347 0 0 0 10149 11 0 0 25 0 3 0 989674869 378499072 72343 33554432000 4194304 5714118 140733849977936 18446744073709551615 4200288 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.92
Current children cumulated vsize (KiB) 369628
[startup+162.301 s]
/proc/loadavg: 3.92 3.96 3.91 5/179 6374
/proc/meminfo: memFree=12492612/32951124 swapFree=67062556/67111528
[pid=6206] ppid=6204 vsize=369628 CPUtime=323.91 cores=0,2,4,6
/proc/6206/stat : 6206 (pwbo1.1) S 6204 6206 4694 0 -1 4202496 75292 0 0 0 32352 39 0 0 18 0 3 0 989674800 378499072 72721 33554432000 4194304 5714118 140733849977936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/6206/statm: 92407 72721 180 372 0 92032 0
[pid=6206/tid=6208] ppid=6204 vsize=369628 CPUtime=161.6 cores=0,2,4,6
/proc/6206/task/6208/stat : 6208 (pwbo1.1) R 6204 6206 4694 0 -1 4202560 44866 0 0 0 16143 17 0 0 25 0 3 0 989674869 378499072 72721 33554432000 4194304 5714118 140733849977936 18446744073709551615 4200634 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=369628 CPUtime=161.6 cores=0,2,4,6
/proc/6206/task/6209/stat : 6209 (pwbo1.1) R 6204 6206 4694 0 -1 4202560 2725 0 0 0 16143 17 0 0 25 0 3 0 989674869 378499072 72721 33554432000 4194304 5714118 140733849977936 18446744073709551615 4322672 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 323.91
Current children cumulated vsize (KiB) 369628
[startup+222.301 s]
/proc/loadavg: 3.97 3.96 3.91 5/179 6376
/proc/meminfo: memFree=12447660/32951124 swapFree=67062556/67111528
[pid=6206] ppid=6204 vsize=369628 CPUtime=443.91 cores=0,2,4,6
/proc/6206/stat : 6206 (pwbo1.1) S 6204 6206 4694 0 -1 4202496 75428 0 0 0 44347 44 0 0 18 0 3 0 989674800 378499072 72857 33554432000 4194304 5714118 140733849977936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/6206/statm: 92407 72857 180 372 0 92032 0
[pid=6206/tid=6208] ppid=6204 vsize=369628 CPUtime=221.6 cores=0,2,4,6
/proc/6206/task/6208/stat : 6208 (pwbo1.1) R 6204 6206 4694 0 -1 4202560 44867 0 0 0 22140 20 0 0 25 0 3 0 989674869 378499072 72857 33554432000 4194304 5714118 140733849977936 18446744073709551615 4305224 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=369628 CPUtime=221.6 cores=0,2,4,6
/proc/6206/task/6209/stat : 6209 (pwbo1.1) R 6204 6206 4694 0 -1 4202560 2860 0 0 0 22141 19 0 0 25 0 3 0 989674869 378499072 72857 33554432000 4194304 5714118 140733849977936 18446744073709551615 4200778 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 443.91
Current children cumulated vsize (KiB) 369628
[startup+282.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/179 6377
/proc/meminfo: memFree=12421420/32951124 swapFree=67062556/67111528
[pid=6206] ppid=6204 vsize=369628 CPUtime=563.91 cores=0,2,4,6
/proc/6206/stat : 6206 (pwbo1.1) S 6204 6206 4694 0 -1 4202496 75834 0 0 0 56341 50 0 0 18 0 3 0 989674800 378499072 73263 33554432000 4194304 5714118 140733849977936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/6206/statm: 92407 73263 180 372 0 92032 0
[pid=6206/tid=6208] ppid=6204 vsize=369628 CPUtime=281.61 cores=0,2,4,6
/proc/6206/task/6208/stat : 6208 (pwbo1.1) R 6204 6206 4694 0 -1 4202560 44867 0 0 0 28136 25 0 0 25 0 3 0 989674869 378499072 73263 33554432000 4194304 5714118 140733849977936 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=369628 CPUtime=281.6 cores=0,2,4,6
/proc/6206/task/6209/stat : 6209 (pwbo1.1) R 6204 6206 4694 0 -1 4202560 3266 0 0 0 28139 21 0 0 25 0 3 0 989674869 378499072 73263 33554432000 4194304 5714118 140733849977936 18446744073709551615 4305218 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 563.91
Current children cumulated vsize (KiB) 369628
[startup+342.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/179 6379
/proc/meminfo: memFree=12394248/32951124 swapFree=67062556/67111528
[pid=6206] ppid=6204 vsize=369628 CPUtime=683.91 cores=0,2,4,6
/proc/6206/stat : 6206 (pwbo1.1) S 6204 6206 4694 0 -1 4202496 75998 0 0 0 68334 57 0 0 18 0 3 0 989674800 378499072 73427 33554432000 4194304 5714118 140733849977936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/6206/statm: 92407 73427 180 372 0 92032 0
[pid=6206/tid=6208] ppid=6204 vsize=369628 CPUtime=341.61 cores=0,2,4,6
/proc/6206/task/6208/stat : 6208 (pwbo1.1) R 6204 6206 4694 0 -1 4202560 44867 0 0 0 34134 27 0 0 25 0 3 0 989674869 378499072 73427 33554432000 4194304 5714118 140733849977936 18446744073709551615 4200634 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=369628 CPUtime=341.6 cores=0,2,4,6
/proc/6206/task/6209/stat : 6209 (pwbo1.1) R 6204 6206 4694 0 -1 4202560 3430 0 0 0 34135 25 0 0 25 0 3 0 989674869 378499072 73427 33554432000 4194304 5714118 140733849977936 18446744073709551615 4305224 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 683.91
Current children cumulated vsize (KiB) 369628
[startup+402.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/179 6380
/proc/meminfo: memFree=12314108/32951124 swapFree=67062556/67111528
[pid=6206] ppid=6204 vsize=369628 CPUtime=803.93 cores=0,2,4,6
/proc/6206/stat : 6206 (pwbo1.1) S 6204 6206 4694 0 -1 4202496 76010 0 0 0 80329 64 0 0 18 0 3 0 989674800 378499072 73439 33554432000 4194304 5714118 140733849977936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/6206/statm: 92407 73439 180 372 0 92032 0
[pid=6206/tid=6208] ppid=6204 vsize=369628 CPUtime=401.61 cores=0,2,4,6
/proc/6206/task/6208/stat : 6208 (pwbo1.1) R 6204 6206 4694 0 -1 4202560 44867 0 0 0 40132 29 0 0 25 0 3 0 989674869 378499072 73439 33554432000 4194304 5714118 140733849977936 18446744073709551615 4322672 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=369628 CPUtime=401.6 cores=0,2,4,6
/proc/6206/task/6209/stat : 6209 (pwbo1.1) R 6204 6206 4694 0 -1 4202560 3442 0 0 0 40131 29 0 0 25 0 3 0 989674869 378499072 73439 33554432000 4194304 5714118 140733849977936 18446744073709551615 4200288 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 803.93
Current children cumulated vsize (KiB) 369628
[startup+462.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/179 6382
/proc/meminfo: memFree=12239664/32951124 swapFree=67062556/67111528
[pid=6206] ppid=6204 vsize=369628 CPUtime=923.92 cores=0,2,4,6
/proc/6206/stat : 6206 (pwbo1.1) S 6204 6206 4694 0 -1 4202496 76010 0 0 0 92323 69 0 0 18 0 3 0 989674800 378499072 73439 33554432000 4194304 5714118 140733849977936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/6206/statm: 92407 73439 180 372 0 92032 0
[pid=6206/tid=6208] ppid=6204 vsize=369628 CPUtime=461.61 cores=0,2,4,6
/proc/6206/task/6208/stat : 6208 (pwbo1.1) R 6204 6206 4694 0 -1 4202560 44867 0 0 0 46129 32 0 0 25 0 3 0 989674869 378499072 73439 33554432000 4194304 5714118 140733849977936 18446744073709551615 4200618 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=369628 CPUtime=461.61 cores=0,2,4,6
/proc/6206/task/6209/stat : 6209 (pwbo1.1) R 6204 6206 4694 0 -1 4202560 3442 0 0 0 46128 33 0 0 25 0 3 0 989674869 378499072 73439 33554432000 4194304 5714118 140733849977936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 923.92
Current children cumulated vsize (KiB) 369628
[startup+522.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/179 6384
/proc/meminfo: memFree=12206140/32951124 swapFree=67062556/67111528
[pid=6206] ppid=6204 vsize=369628 CPUtime=1043.93 cores=0,2,4,6
/proc/6206/stat : 6206 (pwbo1.1) S 6204 6206 4694 0 -1 4202496 76010 0 0 0 104317 76 0 0 18 0 3 0 989674800 378499072 73439 33554432000 4194304 5714118 140733849977936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/6206/statm: 92407 73439 180 372 0 92032 0
[pid=6206/tid=6208] ppid=6204 vsize=369628 CPUtime=521.62 cores=0,2,4,6
/proc/6206/task/6208/stat : 6208 (pwbo1.1) R 6204 6206 4694 0 -1 4202560 44867 0 0 0 52128 34 0 0 25 0 3 0 989674869 378499072 73439 33554432000 4194304 5714118 140733849977936 18446744073709551615 4305224 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=369628 CPUtime=521.61 cores=0,2,4,6
/proc/6206/task/6209/stat : 6209 (pwbo1.1) R 6204 6206 4694 0 -1 4202560 3442 0 0 0 52124 37 0 0 25 0 3 0 989674869 378499072 73439 33554432000 4194304 5714118 140733849977936 18446744073709551615 4322672 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1043.93
Current children cumulated vsize (KiB) 369628
[startup+582.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/179 6385
/proc/meminfo: memFree=12144592/32951124 swapFree=67062556/67111528
[pid=6206] ppid=6204 vsize=435164 CPUtime=1163.94 cores=0,2,4,6
/proc/6206/stat : 6206 (pwbo1.1) S 6204 6206 4694 0 -1 4202496 80786 0 0 0 116310 84 0 0 18 0 3 0 989674800 445607936 78215 33554432000 4194304 5714118 140733849977936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/6206/statm: 108791 78215 180 372 0 108416 0
[pid=6206/tid=6208] ppid=6204 vsize=435164 CPUtime=581.62 cores=0,2,4,6
/proc/6206/task/6208/stat : 6208 (pwbo1.1) R 6204 6206 4694 0 -1 4202560 49530 0 0 0 58124 38 0 0 25 0 3 0 989674869 445607936 78215 33554432000 4194304 5714118 140733849977936 18446744073709551615 4200634 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=435164 CPUtime=581.61 cores=0,2,4,6
/proc/6206/task/6209/stat : 6209 (pwbo1.1) R 6204 6206 4694 0 -1 4202560 3555 0 0 0 58120 41 0 0 25 0 3 0 989674869 445607936 78215 33554432000 4194304 5714118 140733849977936 18446744073709551615 4305218 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1163.94
Current children cumulated vsize (KiB) 435164
[startup+642.3 s]
/proc/loadavg: 4.03 3.99 3.91 5/179 6387
/proc/meminfo: memFree=12112924/32951124 swapFree=67062556/67111528
[pid=6206] ppid=6204 vsize=435648 CPUtime=1283.94 cores=0,2,4,6
/proc/6206/stat : 6206 (pwbo1.1) S 6204 6206 4694 0 -1 4202496 81116 0 0 0 128304 90 0 0 18 0 3 0 989674800 446103552 78545 33554432000 4194304 5714118 140733849977936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/6206/statm: 108912 78545 180 372 0 108537 0
[pid=6206/tid=6208] ppid=6204 vsize=435648 CPUtime=641.63 cores=0,2,4,6
/proc/6206/task/6208/stat : 6208 (pwbo1.1) R 6204 6206 4694 0 -1 4202560 49530 0 0 0 64123 40 0 0 25 0 3 0 989674869 446103552 78545 33554432000 4194304 5714118 140733849977936 18446744073709551615 4322666 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=435648 CPUtime=641.62 cores=0,2,4,6
/proc/6206/task/6209/stat : 6209 (pwbo1.1) R 6204 6206 4694 0 -1 4202560 3885 0 0 0 64116 46 0 0 25 0 3 0 989674869 446103552 78545 33554432000 4194304 5714118 140733849977936 18446744073709551615 4322672 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1283.94
Current children cumulated vsize (KiB) 435648
[startup+702.3 s]
/proc/loadavg: 4.01 3.99 3.91 5/179 6388
/proc/meminfo: memFree=12046168/32951124 swapFree=67062556/67111528
[pid=6206] ppid=6204 vsize=435648 CPUtime=1403.95 cores=0,2,4,6
/proc/6206/stat : 6206 (pwbo1.1) S 6204 6206 4694 0 -1 4202496 81116 0 0 0 140299 96 0 0 18 0 3 0 989674800 446103552 78545 33554432000 4194304 5714118 140733849977936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/6206/statm: 108912 78545 180 372 0 108537 0
[pid=6206/tid=6208] ppid=6204 vsize=435648 CPUtime=701.62 cores=0,2,4,6
/proc/6206/task/6208/stat : 6208 (pwbo1.1) R 6204 6206 4694 0 -1 4202560 49530 0 0 0 70120 42 0 0 25 0 3 0 989674869 446103552 78545 33554432000 4194304 5714118 140733849977936 18446744073709551615 4322672 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=435648 CPUtime=701.61 cores=0,2,4,6
/proc/6206/task/6209/stat : 6209 (pwbo1.1) R 6204 6206 4694 0 -1 4202560 3885 0 0 0 70113 48 0 0 25 0 3 0 989674869 446103552 78545 33554432000 4194304 5714118 140733849977936 18446744073709551615 4323036 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1403.95
Current children cumulated vsize (KiB) 435648
[startup+762.306 s]
/proc/loadavg: 4.00 3.99 3.91 5/179 6390
/proc/meminfo: memFree=11996392/32951124 swapFree=67062556/67111528
[pid=6206] ppid=6204 vsize=435648 CPUtime=1523.96 cores=0,2,4,6
/proc/6206/stat : 6206 (pwbo1.1) S 6204 6206 4694 0 -1 4202496 81116 0 0 0 152294 102 0 0 18 0 3 0 989674800 446103552 78545 33554432000 4194304 5714118 140733849977936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/6206/statm: 108912 78545 180 372 0 108537 0
[pid=6206/tid=6208] ppid=6204 vsize=435648 CPUtime=761.63 cores=0,2,4,6
/proc/6206/task/6208/stat : 6208 (pwbo1.1) R 6204 6206 4694 0 -1 4202560 49530 0 0 0 76118 45 0 0 25 0 3 0 989674869 446103552 78545 33554432000 4194304 5714118 140733849977936 18446744073709551615 4200778 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=435648 CPUtime=761.63 cores=0,2,4,6
/proc/6206/task/6209/stat : 6209 (pwbo1.1) R 6204 6206 4694 0 -1 4202560 3885 0 0 0 76111 52 0 0 25 0 3 0 989674869 446103552 78545 33554432000 4194304 5714118 140733849977936 18446744073709551615 4322808 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1523.96
Current children cumulated vsize (KiB) 435648
[startup+822.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/179 6401
/proc/meminfo: memFree=11965216/32951124 swapFree=67062556/67111528
[pid=6206] ppid=6204 vsize=435648 CPUtime=1643.95 cores=0,2,4,6
/proc/6206/stat : 6206 (pwbo1.1) S 6204 6206 4694 0 -1 4202496 81578 0 0 0 164288 107 0 0 18 0 3 0 989674800 446103552 79007 33554432000 4194304 5714118 140733849977936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/6206/statm: 108912 79007 180 372 0 108537 0
[pid=6206/tid=6208] ppid=6204 vsize=435648 CPUtime=821.62 cores=0,2,4,6
/proc/6206/task/6208/stat : 6208 (pwbo1.1) R 6204 6206 4694 0 -1 4202560 49991 0 0 0 82115 47 0 0 25 0 3 0 989674869 446103552 79007 33554432000 4194304 5714118 140733849977936 18446744073709551615 4322672 0 0 4096 16387 0 0 0 -1 4 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=435648 CPUtime=821.62 cores=0,2,4,6
/proc/6206/task/6209/stat : 6209 (pwbo1.1) R 6204 6206 4694 0 -1 4202560 3886 0 0 0 82107 55 0 0 25 0 3 0 989674869 446103552 79007 33554432000 4194304 5714118 140733849977936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1643.95
Current children cumulated vsize (KiB) 435648
[startup+882.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/179 6402
/proc/meminfo: memFree=11946416/32951124 swapFree=67062556/67111528
[pid=6206] ppid=6204 vsize=435648 CPUtime=1763.94 cores=0,2,4,6
/proc/6206/stat : 6206 (pwbo1.1) S 6204 6206 4694 0 -1 4202496 81600 0 0 0 176281 113 0 0 18 0 3 0 989674800 446103552 79029 33554432000 4194304 5714118 140733849977936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/6206/statm: 108912 79029 180 372 0 108537 0
[pid=6206/tid=6208] ppid=6204 vsize=435648 CPUtime=881.63 cores=0,2,4,6
/proc/6206/task/6208/stat : 6208 (pwbo1.1) R 6204 6206 4694 0 -1 4202560 49991 0 0 0 88113 50 0 0 25 0 3 0 989674869 446103552 79029 33554432000 4194304 5714118 140733849977936 18446744073709551615 4200634 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=435648 CPUtime=881.63 cores=0,2,4,6
/proc/6206/task/6209/stat : 6209 (pwbo1.1) R 6204 6206 4694 0 -1 4202560 3908 0 0 0 88104 59 0 0 25 0 3 0 989674869 446103552 79029 33554432000 4194304 5714118 140733849977936 18446744073709551615 4200288 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1763.94
Current children cumulated vsize (KiB) 435648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.4 s]
/proc/loadavg: 4.00 3.99 3.91 5/179 6403
/proc/meminfo: memFree=11944412/32951124 swapFree=67062556/67111528
[pid=6206] ppid=6204 vsize=435648 CPUtime=1800.16 cores=0,2,4,6
/proc/6206/stat : 6206 (pwbo1.1) S 6204 6206 4694 0 -1 4202496 81600 0 0 0 179901 115 0 0 18 0 3 0 989674800 446103552 79029 33554432000 4194304 5714118 140733849977936 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/6206/statm: 108912 79029 180 372 0 108537 0
[pid=6206/tid=6208] ppid=6204 vsize=435648 CPUtime=899.73 cores=0,2,4,6
/proc/6206/task/6208/stat : 6208 (pwbo1.1) R 6204 6206 4694 0 -1 4202560 49991 0 0 0 89923 50 0 0 25 0 3 0 989674869 446103552 79029 33554432000 4194304 5714118 140733849977936 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=6206/tid=6209] ppid=6204 vsize=435648 CPUtime=899.73 cores=0,2,4,6
/proc/6206/task/6209/stat : 6209 (pwbo1.1) R 6204 6206 4694 0 -1 4202560 3908 0 0 0 89913 60 0 0 25 0 3 0 989674869 446103552 79029 33554432000 4194304 5714118 140733849977936 18446744073709551615 4305218 0 0 4096 16387 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 435648
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.43
CPU time (s): 1800.2
CPU user time (s): 1799.03
CPU system time (s): 1.17182
CPU usage (%): 199.926
Max. virtual memory (cumulated for all children) (KiB): 435648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.03
system time used= 1.17182
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81604
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= 394
involuntary context switches= 4271
runsolver used 1.36279 second user time and 2.78558 second system time
The end