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-3500467-1307995895/watcher-3500467-1307995895 -o /var/tmp/evaluation-result-3500467-1307995895/solver-3500467-1307995895 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500467-1307995895.opb
running on 4 cores: 1,3,5,7
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.36 3.83 3.86 3/179 1306
/proc/meminfo: memFree=11564216/32951124 swapFree=67055536/67111528
[pid=1306] ppid=1304 vsize=134892 CPUtime=0 cores=1,3,5,7
/proc/1306/stat : 1306 (pwbo1.1) S 1304 1306 306 0 -1 4202496 433 0 0 0 0 0 0 0 23 0 3 0 892005618 138129408 382 33554432000 4194304 5714118 140735101816704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1306/statm: 33723 382 178 372 0 33348 0
[pid=1306/tid=1307] ppid=1304 vsize=134892 CPUtime=0 cores=1,3,5,7
/proc/1306/task/1307/stat : 1307 (pwbo1.1) R 1304 1306 306 0 -1 4202560 56 0 0 0 0 0 0 0 24 0 3 0 892005618 138129408 396 33554432000 4194304 5714118 140735101816704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1306/tid=1308] ppid=1304 vsize=134892 CPUtime=0 cores=1,3,5,7
/proc/1306/task/1308/stat : 1308 (pwbo1.1) R 1304 1306 306 0 -1 4202560 32 0 0 0 0 0 0 0 18 0 3 0 892005618 138129408 397 33554432000 4194304 5714118 140735101816704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[startup+0.048517 s]
/proc/loadavg: 3.36 3.83 3.86 3/179 1306
/proc/meminfo: memFree=11564216/32951124 swapFree=67055536/67111528
[pid=1306] ppid=1304 vsize=134892 CPUtime=0.08 cores=1,3,5,7
/proc/1306/stat : 1306 (pwbo1.1) S 1304 1306 306 0 -1 4202496 650 0 0 0 8 0 0 0 23 0 3 0 892005618 138129408 599 33554432000 4194304 5714118 140735101816704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1306/statm: 33723 599 179 372 0 33348 0
[pid=1306/tid=1307] ppid=1304 vsize=134892 CPUtime=0.04 cores=1,3,5,7
/proc/1306/task/1307/stat : 1307 (pwbo1.1) R 1304 1306 306 0 -1 4202560 157 0 0 0 4 0 0 0 24 0 3 0 892005618 138129408 599 33554432000 4194304 5714118 140735101816704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1306/tid=1308] ppid=1304 vsize=134892 CPUtime=0.04 cores=1,3,5,7
/proc/1306/task/1308/stat : 1308 (pwbo1.1) R 1304 1306 306 0 -1 4202560 133 0 0 0 4 0 0 0 18 0 3 0 892005618 138129408 599 33554432000 4194304 5714118 140735101816704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 134892
[startup+0.100496 s]
/proc/loadavg: 3.36 3.83 3.86 3/179 1306
/proc/meminfo: memFree=11564216/32951124 swapFree=67055536/67111528
[pid=1306] ppid=1304 vsize=134892 CPUtime=0.18 cores=1,3,5,7
/proc/1306/stat : 1306 (pwbo1.1) S 1304 1306 306 0 -1 4202496 856 0 0 0 18 0 0 0 23 0 3 0 892005618 138129408 805 33554432000 4194304 5714118 140735101816704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1306/statm: 33723 805 179 372 0 33348 0
[pid=1306/tid=1307] ppid=1304 vsize=134892 CPUtime=0.09 cores=1,3,5,7
/proc/1306/task/1307/stat : 1307 (pwbo1.1) R 1304 1306 306 0 -1 4202560 269 0 0 0 9 0 0 0 25 0 3 0 892005618 138129408 805 33554432000 4194304 5714118 140735101816704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1306/tid=1308] ppid=1304 vsize=134892 CPUtime=0.09 cores=1,3,5,7
/proc/1306/task/1308/stat : 1308 (pwbo1.1) R 1304 1306 306 0 -1 4202560 227 0 0 0 9 0 0 0 18 0 3 0 892005618 138129408 805 33554432000 4194304 5714118 140735101816704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 134892
[startup+0.300459 s]
/proc/loadavg: 3.36 3.83 3.86 3/179 1306
/proc/meminfo: memFree=11564216/32951124 swapFree=67055536/67111528
[pid=1306] ppid=1304 vsize=134892 CPUtime=0.59 cores=1,3,5,7
/proc/1306/stat : 1306 (pwbo1.1) S 1304 1306 306 0 -1 4202496 1478 0 0 0 58 1 0 0 23 0 3 0 892005618 138129408 1427 33554432000 4194304 5714118 140735101816704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1306/statm: 33723 1427 179 372 0 33348 0
[pid=1306/tid=1307] ppid=1304 vsize=134892 CPUtime=0.29 cores=1,3,5,7
/proc/1306/task/1307/stat : 1307 (pwbo1.1) R 1304 1306 306 0 -1 4202560 635 0 0 0 29 0 0 0 25 0 3 0 892005618 138129408 1427 33554432000 4194304 5714118 140735101816704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1306/tid=1308] ppid=1304 vsize=134892 CPUtime=0.28 cores=1,3,5,7
/proc/1306/task/1308/stat : 1308 (pwbo1.1) R 1304 1306 306 0 -1 4202560 483 0 0 0 28 0 0 0 18 0 3 0 892005618 138129408 1427 33554432000 4194304 5714118 140735101816704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 134892
[startup+0.700392 s]
/proc/loadavg: 3.36 3.83 3.86 3/179 1306
/proc/meminfo: memFree=11564216/32951124 swapFree=67055536/67111528
[pid=1306] ppid=1304 vsize=134892 CPUtime=1.39 cores=1,3,5,7
/proc/1306/stat : 1306 (pwbo1.1) S 1304 1306 306 0 -1 4202496 2328 0 0 0 136 3 0 0 23 0 3 0 892005618 138129408 2277 33554432000 4194304 5714118 140735101816704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1306/statm: 33723 2277 179 372 0 33348 0
[pid=1306/tid=1307] ppid=1304 vsize=134892 CPUtime=0.69 cores=1,3,5,7
/proc/1306/task/1307/stat : 1307 (pwbo1.1) R 1304 1306 306 0 -1 4202560 1262 0 0 0 68 1 0 0 25 0 3 0 892005618 138129408 2277 33554432000 4194304 5714118 140735101816704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1306/tid=1308] ppid=1304 vsize=134892 CPUtime=0.68 cores=1,3,5,7
/proc/1306/task/1308/stat : 1308 (pwbo1.1) R 1304 1306 306 0 -1 4202560 706 0 0 0 67 1 0 0 18 0 3 0 892005618 138129408 2277 33554432000 4194304 5714118 140735101816704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 134892
[startup+1.50025 s]
/proc/loadavg: 3.36 3.83 3.86 5/182 1309
/proc/meminfo: memFree=11553184/32951124 swapFree=67055536/67111528
[pid=1306] ppid=1304 vsize=135036 CPUtime=2.99 cores=1,3,5,7
/proc/1306/stat : 1306 (pwbo1.1) S 1304 1306 306 0 -1 4202496 3081 0 0 0 294 5 0 0 23 0 3 0 892005618 138276864 3030 33554432000 4194304 5714118 140735101816704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1306/statm: 33759 3030 179 372 0 33384 0
[pid=1306/tid=1307] ppid=1304 vsize=135036 CPUtime=1.49 cores=1,3,5,7
/proc/1306/task/1307/stat : 1307 (pwbo1.1) R 1304 1306 306 0 -1 4202560 1766 0 0 0 147 2 0 0 25 0 3 0 892005618 138276864 3030 33554432000 4194304 5714118 140735101816704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1306/tid=1308] ppid=1304 vsize=135036 CPUtime=1.49 cores=1,3,5,7
/proc/1306/task/1308/stat : 1308 (pwbo1.1) R 1304 1306 306 0 -1 4202560 955 0 0 0 146 3 0 0 20 0 3 0 892005618 138276864 3030 33554432000 4194304 5714118 140735101816704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 135036
[startup+3.10097 s]
/proc/loadavg: 3.36 3.83 3.86 5/182 1309
/proc/meminfo: memFree=11548844/32951124 swapFree=67055536/67111528
[pid=1306] ppid=1304 vsize=135180 CPUtime=6.19 cores=1,3,5,7
/proc/1306/stat : 1306 (pwbo1.1) S 1304 1306 306 0 -1 4202496 4143 0 0 0 609 10 0 0 23 0 3 0 892005618 138424320 4092 33554432000 4194304 5714118 140735101816704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1306/statm: 33795 4092 180 372 0 33420 0
[pid=1306/tid=1307] ppid=1304 vsize=135180 CPUtime=3.09 cores=1,3,5,7
/proc/1306/task/1307/stat : 1307 (pwbo1.1) R 1304 1306 306 0 -1 4202560 2397 0 0 0 305 4 0 0 25 0 3 0 892005618 138424320 4092 33554432000 4194304 5714118 140735101816704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1306/tid=1308] ppid=1304 vsize=135180 CPUtime=3.09 cores=1,3,5,7
/proc/1306/task/1308/stat : 1308 (pwbo1.1) R 1304 1306 306 0 -1 4202560 1386 0 0 0 304 5 0 0 25 0 3 0 892005618 138424320 4092 33554432000 4194304 5714118 140735101816704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 135180
[startup+6.3004 s]
/proc/loadavg: 3.41 3.83 3.86 5/182 1309
/proc/meminfo: memFree=11538800/32951124 swapFree=67055536/67111528
[pid=1306] ppid=1304 vsize=135252 CPUtime=12.59 cores=1,3,5,7
/proc/1306/stat : 1306 (pwbo1.1) S 1304 1306 306 0 -1 4202496 5633 0 0 0 1239 20 0 0 23 0 3 0 892005618 138498048 5582 33554432000 4194304 5714118 140735101816704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1306/statm: 33813 5582 180 372 0 33438 0
[pid=1306/tid=1307] ppid=1304 vsize=135252 CPUtime=6.28 cores=1,3,5,7
/proc/1306/task/1307/stat : 1307 (pwbo1.1) R 1304 1306 306 0 -1 4202560 3612 0 0 0 619 9 0 0 25 0 3 0 892005618 138498048 5582 33554432000 4194304 5714118 140735101816704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1306/tid=1308] ppid=1304 vsize=135252 CPUtime=6.29 cores=1,3,5,7
/proc/1306/task/1308/stat : 1308 (pwbo1.1) R 1304 1306 306 0 -1 4202560 1661 0 0 0 619 10 0 0 25 0 3 0 892005618 138498048 5582 33554432000 4194304 5714118 140735101816704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 135252
[startup+12.7003 s]
/proc/loadavg: 3.46 3.83 3.86 5/182 1310
/proc/meminfo: memFree=11523020/32951124 swapFree=67055536/67111528
[pid=1306] ppid=1304 vsize=135324 CPUtime=25.39 cores=1,3,5,7
/proc/1306/stat : 1306 (pwbo1.1) S 1304 1306 306 0 -1 4202496 7649 0 0 0 2502 37 0 0 23 0 3 0 892005618 138571776 7588 33554432000 4194304 5714118 140735101816704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1306/statm: 33831 7588 180 372 0 33456 0
[pid=1306/tid=1307] ppid=1304 vsize=135324 CPUtime=12.69 cores=1,3,5,7
/proc/1306/task/1307/stat : 1307 (pwbo1.1) R 1304 1306 306 0 -1 4202560 5250 0 0 0 1251 18 0 0 25 0 3 0 892005618 138571776 7588 33554432000 4194304 5714118 140735101816704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1306/tid=1308] ppid=1304 vsize=135324 CPUtime=12.69 cores=1,3,5,7
/proc/1306/task/1308/stat : 1308 (pwbo1.1) R 1304 1306 306 0 -1 4202560 2039 0 0 0 1250 19 0 0 25 0 3 0 892005618 138571776 7588 33554432000 4194304 5714118 140735101816704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 135324
[startup+25.501 s]
/proc/loadavg: 3.58 3.84 3.87 5/182 1310
/proc/meminfo: memFree=11491276/32951124 swapFree=67055536/67111528
[pid=1306] ppid=1304 vsize=135324 CPUtime=50.99 cores=1,3,5,7
/proc/1306/stat : 1306 (pwbo1.1) S 1304 1306 306 0 -1 4202496 11460 0 0 0 5027 72 0 0 23 0 3 0 892005618 138571776 11399 33554432000 4194304 5714118 140735101816704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1306/statm: 33831 11399 180 372 0 33456 0
[pid=1306/tid=1307] ppid=1304 vsize=135324 CPUtime=25.49 cores=1,3,5,7
/proc/1306/task/1307/stat : 1307 (pwbo1.1) R 1304 1306 306 0 -1 4202560 8629 0 0 0 2514 35 0 0 25 0 3 0 892005618 138571776 11399 33554432000 4194304 5714118 140735101816704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1306/tid=1308] ppid=1304 vsize=135324 CPUtime=25.49 cores=1,3,5,7
/proc/1306/task/1308/stat : 1308 (pwbo1.1) R 1304 1306 306 0 -1 4202560 2471 0 0 0 2513 36 0 0 25 0 3 0 892005618 138571776 11399 33554432000 4194304 5714118 140735101816704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 135324
[startup+51.1005 s]
/proc/loadavg: 3.72 3.85 3.87 5/182 1311
/proc/meminfo: memFree=11426764/32951124 swapFree=67055536/67111528
[pid=1306] ppid=1304 vsize=135684 CPUtime=102.19 cores=1,3,5,7
/proc/1306/stat : 1306 (pwbo1.1) S 1304 1306 306 0 -1 4202496 17350 0 0 0 10071 148 0 0 23 0 3 0 892005618 138940416 17259 33554432000 4194304 5714118 140735101816704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1306/statm: 33921 17259 180 372 0 33546 0
[pid=1306/tid=1307] ppid=1304 vsize=135684 CPUtime=51.09 cores=1,3,5,7
/proc/1306/task/1307/stat : 1307 (pwbo1.1) R 1304 1306 306 0 -1 4202560 13815 0 0 0 5039 70 0 0 25 0 3 0 892005618 138940416 17259 33554432000 4194304 5714118 140735101816704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1306/tid=1308] ppid=1304 vsize=135684 CPUtime=51.09 cores=1,3,5,7
/proc/1306/task/1308/stat : 1308 (pwbo1.1) R 1304 1306 306 0 -1 4202560 3175 0 0 0 5032 77 0 0 25 0 3 0 892005618 138940416 17259 33554432000 4194304 5714118 140735101816704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 135684
[startup+102.307 s]
/proc/loadavg: 3.94 3.89 3.88 5/182 1393
/proc/meminfo: memFree=12960240/32951124 swapFree=67055536/67111528
[pid=1306] ppid=1304 vsize=201508 CPUtime=204.6 cores=1,3,5,7
/proc/1306/stat : 1306 (pwbo1.1) S 1304 1306 306 0 -1 4202496 27839 0 0 0 20168 292 0 0 23 0 3 0 892005618 206344192 27681 33554432000 4194304 5714118 140735101816704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1306/statm: 50377 27681 180 372 0 50002 0
[pid=1306/tid=1307] ppid=1304 vsize=201508 CPUtime=102.3 cores=1,3,5,7
/proc/1306/task/1307/stat : 1307 (pwbo1.1) R 1304 1306 306 0 -1 4202560 23546 0 0 0 10088 142 0 0 25 0 3 0 892005618 206344192 27681 33554432000 4194304 5714118 140735101816704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1306/tid=1308] ppid=1304 vsize=201508 CPUtime=102.3 cores=1,3,5,7
/proc/1306/task/1308/stat : 1308 (pwbo1.1) R 1304 1306 306 0 -1 4202560 3933 0 0 0 10080 150 0 0 25 0 3 0 892005618 206344192 27681 33554432000 4194304 5714118 140735101816704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.6
Current children cumulated vsize (KiB) 201508
[startup+162.301 s]
/proc/loadavg: 3.98 3.90 3.88 5/182 1395
/proc/meminfo: memFree=12904032/32951124 swapFree=67055536/67111528
[pid=1306] ppid=1304 vsize=267620 CPUtime=324.6 cores=1,3,5,7
/proc/1306/stat : 1306 (pwbo1.1) S 1304 1306 306 0 -1 4202496 38313 0 0 0 32016 444 0 0 23 0 3 0 892005618 274042880 37914 33554432000 4194304 5714118 140735101816704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1306/statm: 66905 37914 180 372 0 66530 0
[pid=1306/tid=1307] ppid=1304 vsize=267620 CPUtime=162.3 cores=1,3,5,7
/proc/1306/task/1307/stat : 1307 (pwbo1.1) R 1304 1306 306 0 -1 4202560 33266 0 0 0 16017 213 0 0 25 0 3 0 892005618 274042880 37914 33554432000 4194304 5714118 140735101816704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1306/tid=1308] ppid=1304 vsize=267620 CPUtime=162.29 cores=1,3,5,7
/proc/1306/task/1308/stat : 1308 (pwbo1.1) R 1304 1306 306 0 -1 4202560 4687 0 0 0 15998 231 0 0 25 0 3 0 892005618 274042880 37914 33554432000 4194304 5714118 140735101816704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 324.6
Current children cumulated vsize (KiB) 267620
[startup+222.3 s]
/proc/loadavg: 3.99 3.92 3.89 5/182 1396
/proc/meminfo: memFree=12848324/32951124 swapFree=67055536/67111528
[pid=1306] ppid=1304 vsize=268196 CPUtime=444.6 cores=1,3,5,7
/proc/1306/stat : 1306 (pwbo1.1) S 1304 1306 306 0 -1 4202496 48376 0 0 0 43869 591 0 0 23 0 3 0 892005618 274632704 47899 33554432000 4194304 5714118 140735101816704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1306/statm: 67049 47899 180 372 0 66674 0
[pid=1306/tid=1307] ppid=1304 vsize=268196 CPUtime=222.29 cores=1,3,5,7
/proc/1306/task/1307/stat : 1307 (pwbo1.1) R 1304 1306 306 0 -1 4202560 42855 0 0 0 21947 282 0 0 25 0 3 0 892005618 274632704 47899 33554432000 4194304 5714118 140735101816704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1306/tid=1308] ppid=1304 vsize=268196 CPUtime=222.29 cores=1,3,5,7
/proc/1306/task/1308/stat : 1308 (pwbo1.1) R 1304 1306 306 0 -1 4202560 5161 0 0 0 21921 308 0 0 25 0 3 0 892005618 274632704 47899 33554432000 4194304 5714118 140735101816704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 444.6
Current children cumulated vsize (KiB) 268196
[startup+282.301 s]
/proc/loadavg: 3.99 3.93 3.90 5/182 1398
/proc/meminfo: memFree=12796848/32951124 swapFree=67055536/67111528
[pid=1306] ppid=1304 vsize=334020 CPUtime=564.6 cores=1,3,5,7
/proc/1306/stat : 1306 (pwbo1.1) S 1304 1306 306 0 -1 4202496 57455 0 0 0 55710 750 0 0 23 0 3 0 892005618 342036480 56908 33554432000 4194304 5714118 140735101816704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1306/statm: 83505 56908 180 372 0 83130 0
[pid=1306/tid=1307] ppid=1304 vsize=334020 CPUtime=282.3 cores=1,3,5,7
/proc/1306/task/1307/stat : 1307 (pwbo1.1) R 1304 1306 306 0 -1 4202560 51775 0 0 0 27875 355 0 0 25 0 3 0 892005618 342036480 56908 33554432000 4194304 5714118 140735101816704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1306/tid=1308] ppid=1304 vsize=334020 CPUtime=282.29 cores=1,3,5,7
/proc/1306/task/1308/stat : 1308 (pwbo1.1) R 1304 1306 306 0 -1 4202560 5320 0 0 0 27835 394 0 0 25 0 3 0 892005618 342036480 56908 33554432000 4194304 5714118 140735101816704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 564.6
Current children cumulated vsize (KiB) 334020
[startup+342.3 s]
/proc/loadavg: 3.99 3.94 3.90 5/182 1399
/proc/meminfo: memFree=12752572/32951124 swapFree=67055536/67111528
[pid=1306] ppid=1304 vsize=334596 CPUtime=684.61 cores=1,3,5,7
/proc/1306/stat : 1306 (pwbo1.1) S 1304 1306 306 0 -1 4202496 67088 0 0 0 67572 889 0 0 23 0 3 0 892005618 342626304 66541 33554432000 4194304 5714118 140735101816704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1306/statm: 83649 66541 180 372 0 83274 0
[pid=1306/tid=1307] ppid=1304 vsize=334596 CPUtime=342.3 cores=1,3,5,7
/proc/1306/task/1307/stat : 1307 (pwbo1.1) R 1304 1306 306 0 -1 4202560 61405 0 0 0 33815 415 0 0 25 0 3 0 892005618 342626304 66541 33554432000 4194304 5714118 140735101816704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1306/tid=1308] ppid=1304 vsize=334596 CPUtime=342.29 cores=1,3,5,7
/proc/1306/task/1308/stat : 1308 (pwbo1.1) R 1304 1306 306 0 -1 4202560 5323 0 0 0 33756 473 0 0 25 0 3 0 892005618 342626304 66541 33554432000 4194304 5714118 140735101816704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 684.61
Current children cumulated vsize (KiB) 334596
[startup+402.301 s]
/proc/loadavg: 3.99 3.95 3.91 5/182 1401
/proc/meminfo: memFree=12710884/32951124 swapFree=67055536/67111528
[pid=1306] ppid=1304 vsize=400724 CPUtime=804.61 cores=1,3,5,7
/proc/1306/stat : 1306 (pwbo1.1) S 1304 1306 306 0 -1 4202496 75972 0 0 0 79447 1014 0 0 23 0 3 0 892005618 410341376 75421 33554432000 4194304 5714118 140735101816704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1306/statm: 100181 75421 180 372 0 99806 0
[pid=1306/tid=1307] ppid=1304 vsize=400724 CPUtime=402.3 cores=1,3,5,7
/proc/1306/task/1307/stat : 1307 (pwbo1.1) R 1304 1306 306 0 -1 4202560 70284 0 0 0 39765 465 0 0 25 0 3 0 892005618 410341376 75421 33554432000 4194304 5714118 140735101816704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1306/tid=1308] ppid=1304 vsize=400724 CPUtime=402.3 cores=1,3,5,7
/proc/1306/task/1308/stat : 1308 (pwbo1.1) R 1304 1306 306 0 -1 4202560 5328 0 0 0 39681 549 0 0 25 0 3 0 892005618 410341376 75421 33554432000 4194304 5714118 140735101816704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 804.61
Current children cumulated vsize (KiB) 400724
[startup+462.301 s]
/proc/loadavg: 3.99 3.95 3.91 5/182 1403
/proc/meminfo: memFree=12669568/32951124 swapFree=67055536/67111528
[pid=1306] ppid=1304 vsize=401444 CPUtime=924.61 cores=1,3,5,7
/proc/1306/stat : 1306 (pwbo1.1) S 1304 1306 306 0 -1 4202496 84164 0 0 0 91324 1137 0 0 23 0 3 0 892005618 411078656 83613 33554432000 4194304 5714118 140735101816704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1306/statm: 100361 83613 180 372 0 99986 0
[pid=1306/tid=1307] ppid=1304 vsize=401444 CPUtime=462.3 cores=1,3,5,7
/proc/1306/task/1307/stat : 1307 (pwbo1.1) R 1304 1306 306 0 -1 4202560 78476 0 0 0 45716 514 0 0 25 0 3 0 892005618 411078656 83613 33554432000 4194304 5714118 140735101816704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1306/tid=1308] ppid=1304 vsize=401444 CPUtime=462.3 cores=1,3,5,7
/proc/1306/task/1308/stat : 1308 (pwbo1.1) R 1304 1306 306 0 -1 4202560 5328 0 0 0 45607 623 0 0 25 0 3 0 892005618 411078656 83613 33554432000 4194304 5714118 140735101816704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 924.61
Current children cumulated vsize (KiB) 401444
[startup+522.301 s]
/proc/loadavg: 3.99 3.96 3.91 5/182 1404
/proc/meminfo: memFree=12623056/32951124 swapFree=67055536/67111528
[pid=1306] ppid=1304 vsize=467988 CPUtime=1044.61 cores=1,3,5,7
/proc/1306/stat : 1306 (pwbo1.1) S 1304 1306 306 0 -1 4202496 92908 0 0 0 103204 1257 0 0 23 0 3 0 892005618 479219712 92167 33554432000 4194304 5714118 140735101816704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1306/statm: 116997 92167 180 372 0 116622 0
[pid=1306/tid=1307] ppid=1304 vsize=467988 CPUtime=522.3 cores=1,3,5,7
/proc/1306/task/1307/stat : 1307 (pwbo1.1) R 1304 1306 306 0 -1 4202560 86900 0 0 0 51667 563 0 0 25 0 3 0 892005618 479219712 92167 33554432000 4194304 5714118 140735101816704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1306/tid=1308] ppid=1304 vsize=467988 CPUtime=522.3 cores=1,3,5,7
/proc/1306/task/1308/stat : 1308 (pwbo1.1) R 1304 1306 306 0 -1 4202560 5648 0 0 0 51536 694 0 0 25 0 3 0 892005618 479219712 92167 33554432000 4194304 5714118 140735101816704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1044.61
Current children cumulated vsize (KiB) 467988
[startup+582.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 1406
/proc/meminfo: memFree=12579260/32951124 swapFree=67055536/67111528
[pid=1306] ppid=1304 vsize=468420 CPUtime=1164.61 cores=1,3,5,7
/proc/1306/stat : 1306 (pwbo1.1) S 1304 1306 306 0 -1 4202496 102319 0 0 0 115079 1382 0 0 23 0 3 0 892005618 479662080 101578 33554432000 4194304 5714118 140735101816704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1306/statm: 117105 101578 180 372 0 116730 0
[pid=1306/tid=1307] ppid=1304 vsize=468420 CPUtime=582.31 cores=1,3,5,7
/proc/1306/task/1307/stat : 1307 (pwbo1.1) R 1304 1306 306 0 -1 4202560 96307 0 0 0 57613 618 0 0 25 0 3 0 892005618 479662080 101578 33554432000 4194304 5714118 140735101816704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1306/tid=1308] ppid=1304 vsize=468420 CPUtime=582.3 cores=1,3,5,7
/proc/1306/task/1308/stat : 1308 (pwbo1.1) R 1304 1306 306 0 -1 4202560 5652 0 0 0 57466 764 0 0 25 0 3 0 892005618 479662080 101578 33554432000 4194304 5714118 140735101816704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1164.61
Current children cumulated vsize (KiB) 468420
[startup+642.301 s]
/proc/loadavg: 4.05 3.99 3.91 5/182 1407
/proc/meminfo: memFree=12536580/32951124 swapFree=67055536/67111528
[pid=1306] ppid=1304 vsize=534892 CPUtime=1284.63 cores=1,3,5,7
/proc/1306/stat : 1306 (pwbo1.1) S 1304 1306 306 0 -1 4202496 111340 0 0 0 126958 1505 0 0 23 0 3 0 892005618 547729408 110599 33554432000 4194304 5714118 140735101816704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1306/statm: 133723 110599 180 372 0 133348 0
[pid=1306/tid=1307] ppid=1304 vsize=534892 CPUtime=642.31 cores=1,3,5,7
/proc/1306/task/1307/stat : 1307 (pwbo1.1) R 1304 1306 306 0 -1 4202560 105052 0 0 0 63563 668 0 0 25 0 3 0 892005618 547729408 110599 33554432000 4194304 5714118 140735101816704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1306/tid=1308] ppid=1304 vsize=534892 CPUtime=642.31 cores=1,3,5,7
/proc/1306/task/1308/stat : 1308 (pwbo1.1) R 1304 1306 306 0 -1 4202560 5928 0 0 0 63395 836 0 0 25 0 3 0 892005618 547729408 110599 33554432000 4194304 5714118 140735101816704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1284.63
Current children cumulated vsize (KiB) 534892
[startup+702.301 s]
/proc/loadavg: 4.05 4.00 3.92 5/182 1409
/proc/meminfo: memFree=12498240/32951124 swapFree=67055536/67111528
[pid=1306] ppid=1304 vsize=535612 CPUtime=1404.62 cores=1,3,5,7
/proc/1306/stat : 1306 (pwbo1.1) S 1304 1306 306 0 -1 4202496 120234 0 0 0 138845 1617 0 0 23 0 3 0 892005618 548466688 119264 33554432000 4194304 5714118 140735101816704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1306/statm: 133903 119264 180 372 0 133528 0
[pid=1306/tid=1307] ppid=1304 vsize=535612 CPUtime=702.31 cores=1,3,5,7
/proc/1306/task/1307/stat : 1307 (pwbo1.1) R 1304 1306 306 0 -1 4202560 113503 0 0 0 69513 718 0 0 25 0 3 0 892005618 548466688 119264 33554432000 4194304 5714118 140735101816704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1306/tid=1308] ppid=1304 vsize=535612 CPUtime=702.3 cores=1,3,5,7
/proc/1306/task/1308/stat : 1308 (pwbo1.1) R 1304 1306 306 0 -1 4202560 6371 0 0 0 69331 899 0 0 25 0 3 0 892005618 548466688 119264 33554432000 4194304 5714118 140735101816704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1404.62
Current children cumulated vsize (KiB) 535612
[startup+762.306 s]
/proc/loadavg: 4.02 4.00 3.92 5/182 1411
/proc/meminfo: memFree=12457176/32951124 swapFree=67055536/67111528
[pid=1306] ppid=1304 vsize=602156 CPUtime=1524.63 cores=1,3,5,7
/proc/1306/stat : 1306 (pwbo1.1) S 1304 1306 306 0 -1 4202496 128866 0 0 0 150733 1730 0 0 23 0 3 0 892005618 616607744 127851 33554432000 4194304 5714118 140735101816704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1306/statm: 150539 127851 180 372 0 150164 0
[pid=1306/tid=1307] ppid=1304 vsize=602156 CPUtime=762.31 cores=1,3,5,7
/proc/1306/task/1307/stat : 1307 (pwbo1.1) R 1304 1306 306 0 -1 4202560 121619 0 0 0 75463 768 0 0 25 0 3 0 892005618 616607744 127851 33554432000 4194304 5714118 140735101816704 18446744073709551615 4319359 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1306/tid=1308] ppid=1304 vsize=602156 CPUtime=762.3 cores=1,3,5,7
/proc/1306/task/1308/stat : 1308 (pwbo1.1) R 1304 1306 306 0 -1 4202560 6887 0 0 0 75269 961 0 0 25 0 3 0 892005618 616607744 127851 33554432000 4194304 5714118 140735101816704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1524.63
Current children cumulated vsize (KiB) 602156
[startup+822.301 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 1415
/proc/meminfo: memFree=12418796/32951124 swapFree=67055536/67111528
[pid=1306] ppid=1304 vsize=602300 CPUtime=1644.63 cores=1,3,5,7
/proc/1306/stat : 1306 (pwbo1.1) S 1304 1306 306 0 -1 4202496 136997 0 0 0 162611 1852 0 0 23 0 3 0 892005618 616755200 135951 33554432000 4194304 5714118 140735101816704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1306/statm: 150575 135951 180 372 0 150200 0
[pid=1306/tid=1307] ppid=1304 vsize=602300 CPUtime=822.31 cores=1,3,5,7
/proc/1306/task/1307/stat : 1307 (pwbo1.1) R 1304 1306 306 0 -1 4202560 129737 0 0 0 81411 820 0 0 25 0 3 0 892005618 616755200 135951 33554432000 4194304 5714118 140735101816704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1306/tid=1308] ppid=1304 vsize=602300 CPUtime=822.31 cores=1,3,5,7
/proc/1306/task/1308/stat : 1308 (pwbo1.1) R 1304 1306 306 0 -1 4202560 6900 0 0 0 81200 1031 0 0 25 0 3 0 892005618 616755200 135951 33554432000 4194304 5714118 140735101816704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1644.63
Current children cumulated vsize (KiB) 602300
[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 1417
/proc/meminfo: memFree=12379284/32951124 swapFree=67055536/67111528
[pid=1306] ppid=1304 vsize=668340 CPUtime=1764.63 cores=1,3,5,7
/proc/1306/stat : 1306 (pwbo1.1) S 1304 1306 306 0 -1 4202496 145305 0 0 0 174497 1966 0 0 23 0 3 0 892005618 684380160 144259 33554432000 4194304 5714118 140735101816704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1306/statm: 167085 144259 180 372 0 166710 0
[pid=1306/tid=1307] ppid=1304 vsize=668340 CPUtime=882.31 cores=1,3,5,7
/proc/1306/task/1307/stat : 1307 (pwbo1.1) R 1304 1306 306 0 -1 4202560 138043 0 0 0 87362 869 0 0 25 0 3 0 892005618 684380160 144259 33554432000 4194304 5714118 140735101816704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1306/tid=1308] ppid=1304 vsize=668340 CPUtime=882.31 cores=1,3,5,7
/proc/1306/task/1308/stat : 1308 (pwbo1.1) R 1304 1306 306 0 -1 4202560 6902 0 0 0 87135 1096 0 0 25 0 3 0 892005618 684380160 144259 33554432000 4194304 5714118 140735101816704 18446744073709551615 4319734 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1764.63
Current children cumulated vsize (KiB) 668340
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 1417
/proc/meminfo: memFree=12365888/32951124 swapFree=67055536/67111528
[pid=1306] ppid=1304 vsize=668340 CPUtime=1800.03 cores=1,3,5,7
/proc/1306/stat : 1306 (pwbo1.1) S 1304 1306 306 0 -1 4202496 148196 0 0 0 178004 1999 0 0 23 0 3 0 892005618 684380160 147150 33554432000 4194304 5714118 140735101816704 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/1306/statm: 167085 147150 180 372 0 166710 0
[pid=1306/tid=1307] ppid=1304 vsize=668340 CPUtime=900.01 cores=1,3,5,7
/proc/1306/task/1307/stat : 1307 (pwbo1.1) R 1304 1306 306 0 -1 4202560 140935 0 0 0 89117 884 0 0 25 0 3 0 892005618 684380160 147151 33554432000 4194304 5714118 140735101816704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=1306/tid=1308] ppid=1304 vsize=668340 CPUtime=900.01 cores=1,3,5,7
/proc/1306/task/1308/stat : 1308 (pwbo1.1) R 1304 1306 306 0 -1 4202560 6902 0 0 0 88886 1115 0 0 25 0 3 0 892005618 684380160 147151 33554432000 4194304 5714118 140735101816704 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 668340
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.037
CPU time (s): 1800.09
CPU user time (s): 1780.06
CPU system time (s): 20.024
CPU usage (%): 200.001
Max. virtual memory (cumulated for all children) (KiB): 668340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1780.06
system time used= 20.024
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 148203
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= 44
involuntary context switches= 3273
runsolver used 1.3018 second user time and 3.06853 second system time
The end