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-3500438-1307995382/watcher-3500438-1307995382 -o /var/tmp/evaluation-result-3500438-1307995382/solver-3500438-1307995382 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500438-1307995382.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.00 3.99 3.91 3/176 6482
/proc/meminfo: memFree=12252792/32951124 swapFree=67062556/67111528
[pid=6482] ppid=6480 vsize=134752 CPUtime=0 cores=0,2,4,6
/proc/6482/stat : 6482 (pwbo1.1) S 6480 6482 4694 0 -1 4202496 376 0 0 0 0 0 0 0 18 0 3 0 989768702 137986048 327 33554432000 4194304 5714118 140733671759904 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/6482/statm: 33688 327 181 372 0 33313 0
[pid=6482/tid=6483] ppid=6480 vsize=134752 CPUtime=0 cores=0,2,4,6
/proc/6482/task/6483/stat : 6483 (pwbo1.1) R 6480 6482 4694 0 -1 4202560 38 0 0 0 0 0 0 0 19 0 3 0 989768702 137986048 329 33554432000 4194304 5714118 140733671759904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=6482/tid=6484] ppid=6480 vsize=134752 CPUtime=0 cores=0,2,4,6
/proc/6482/task/6484/stat : 6484 (pwbo1.1) R 6480 6482 4694 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 3 0 989768702 137986048 330 33554432000 4194304 5714118 140733671759904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[startup+0.00907402 s]
/proc/loadavg: 4.00 3.99 3.91 3/176 6482
/proc/meminfo: memFree=12252792/32951124 swapFree=67062556/67111528
[pid=6482] ppid=6480 vsize=134752 CPUtime=0.01 cores=0,2,4,6
/proc/6482/stat : 6482 (pwbo1.1) S 6480 6482 4694 0 -1 4202496 395 0 0 0 1 0 0 0 18 0 3 0 989768702 137986048 346 33554432000 4194304 5714118 140733671759904 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/6482/statm: 33688 347 181 372 0 33313 0
[pid=6482/tid=6483] ppid=6480 vsize=134752 CPUtime=0 cores=0,2,4,6
/proc/6482/task/6483/stat : 6483 (pwbo1.1) R 6480 6482 4694 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 3 0 989768702 137986048 347 33554432000 4194304 5714118 140733671759904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=6482/tid=6484] ppid=6480 vsize=134752 CPUtime=0 cores=0,2,4,6
/proc/6482/task/6484/stat : 6484 (pwbo1.1) R 6480 6482 4694 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 3 0 989768702 137986048 347 33554432000 4194304 5714118 140733671759904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 134752
[startup+0.101061 s]
/proc/loadavg: 4.00 3.99 3.91 3/176 6482
/proc/meminfo: memFree=12252792/32951124 swapFree=67062556/67111528
[pid=6482] ppid=6480 vsize=134752 CPUtime=0.18 cores=0,2,4,6
/proc/6482/stat : 6482 (pwbo1.1) S 6480 6482 4694 0 -1 4202496 784 0 0 0 18 0 0 0 18 0 3 0 989768702 137986048 735 33554432000 4194304 5714118 140733671759904 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/6482/statm: 33688 735 181 372 0 33313 0
[pid=6482/tid=6483] ppid=6480 vsize=134752 CPUtime=0.09 cores=0,2,4,6
/proc/6482/task/6483/stat : 6483 (pwbo1.1) R 6480 6482 4694 0 -1 4202560 289 0 0 0 9 0 0 0 19 0 3 0 989768702 137986048 735 33554432000 4194304 5714118 140733671759904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=6482/tid=6484] ppid=6480 vsize=134752 CPUtime=0.09 cores=0,2,4,6
/proc/6482/task/6484/stat : 6484 (pwbo1.1) R 6480 6482 4694 0 -1 4202560 171 0 0 0 9 0 0 0 20 0 3 0 989768702 137986048 735 33554432000 4194304 5714118 140733671759904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 134752
[startup+0.301019 s]
/proc/loadavg: 4.00 3.99 3.91 3/176 6482
/proc/meminfo: memFree=12252792/32951124 swapFree=67062556/67111528
[pid=6482] ppid=6480 vsize=134752 CPUtime=0.59 cores=0,2,4,6
/proc/6482/stat : 6482 (pwbo1.1) S 6480 6482 4694 0 -1 4202496 1322 0 0 0 57 2 0 0 18 0 3 0 989768702 137986048 1273 33554432000 4194304 5714118 140733671759904 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/6482/statm: 33688 1273 181 372 0 33313 0
[pid=6482/tid=6483] ppid=6480 vsize=134752 CPUtime=0.29 cores=0,2,4,6
/proc/6482/task/6483/stat : 6483 (pwbo1.1) R 6480 6482 4694 0 -1 4202560 625 0 0 0 28 1 0 0 20 0 3 0 989768702 137986048 1273 33554432000 4194304 5714118 140733671759904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=6482/tid=6484] ppid=6480 vsize=134752 CPUtime=0.29 cores=0,2,4,6
/proc/6482/task/6484/stat : 6484 (pwbo1.1) R 6480 6482 4694 0 -1 4202560 373 0 0 0 29 0 0 0 21 0 3 0 989768702 137986048 1273 33554432000 4194304 5714118 140733671759904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 134752
[startup+0.700947 s]
/proc/loadavg: 4.00 3.99 3.91 3/176 6482
/proc/meminfo: memFree=12252792/32951124 swapFree=67062556/67111528
[pid=6482] ppid=6480 vsize=135040 CPUtime=1.38 cores=0,2,4,6
/proc/6482/stat : 6482 (pwbo1.1) S 6480 6482 4694 0 -1 4202496 1819 0 0 0 134 4 0 0 18 0 3 0 989768702 138280960 1770 33554432000 4194304 5714118 140733671759904 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/6482/statm: 33760 1770 181 372 0 33385 0
[pid=6482/tid=6483] ppid=6480 vsize=135040 CPUtime=0.69 cores=0,2,4,6
/proc/6482/task/6483/stat : 6483 (pwbo1.1) R 6480 6482 4694 0 -1 4202560 970 0 0 0 66 3 0 0 20 0 3 0 989768702 138280960 1770 33554432000 4194304 5714118 140733671759904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=6482/tid=6484] ppid=6480 vsize=135040 CPUtime=0.69 cores=0,2,4,6
/proc/6482/task/6484/stat : 6484 (pwbo1.1) R 6480 6482 4694 0 -1 4202560 525 0 0 0 68 1 0 0 22 0 3 0 989768702 138280960 1770 33554432000 4194304 5714118 140733671759904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 135040
[startup+1.50082 s]
/proc/loadavg: 4.00 3.99 3.91 5/179 6485
/proc/meminfo: memFree=12245708/32951124 swapFree=67062556/67111528
[pid=6482] ppid=6480 vsize=135040 CPUtime=2.98 cores=0,2,4,6
/proc/6482/stat : 6482 (pwbo1.1) S 6480 6482 4694 0 -1 4202496 2396 0 0 0 291 7 0 0 18 0 3 0 989768702 138280960 2347 33554432000 4194304 5714118 140733671759904 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/6482/statm: 33760 2347 181 372 0 33385 0
[pid=6482/tid=6483] ppid=6480 vsize=135040 CPUtime=1.49 cores=0,2,4,6
/proc/6482/task/6483/stat : 6483 (pwbo1.1) R 6480 6482 4694 0 -1 4202560 1417 0 0 0 144 5 0 0 23 0 3 0 989768702 138280960 2347 33554432000 4194304 5714118 140733671759904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=6482/tid=6484] ppid=6480 vsize=135040 CPUtime=1.49 cores=0,2,4,6
/proc/6482/task/6484/stat : 6484 (pwbo1.1) R 6480 6482 4694 0 -1 4202560 655 0 0 0 147 2 0 0 25 0 3 0 989768702 138280960 2347 33554432000 4194304 5714118 140733671759904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 135040
[startup+3.10053 s]
/proc/loadavg: 4.00 3.99 3.91 5/179 6485
/proc/meminfo: memFree=12241864/32951124 swapFree=67062556/67111528
[pid=6482] ppid=6480 vsize=135040 CPUtime=6.19 cores=0,2,4,6
/proc/6482/stat : 6482 (pwbo1.1) S 6480 6482 4694 0 -1 4202496 3476 0 0 0 606 13 0 0 18 0 3 0 989768702 138280960 3427 33554432000 4194304 5714118 140733671759904 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/6482/statm: 33760 3427 182 372 0 33385 0
[pid=6482/tid=6483] ppid=6480 vsize=135040 CPUtime=3.09 cores=0,2,4,6
/proc/6482/task/6483/stat : 6483 (pwbo1.1) R 6480 6482 4694 0 -1 4202560 2345 0 0 0 300 9 0 0 25 0 3 0 989768702 138280960 3427 33554432000 4194304 5714118 140733671759904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=6482/tid=6484] ppid=6480 vsize=135040 CPUtime=3.08 cores=0,2,4,6
/proc/6482/task/6484/stat : 6484 (pwbo1.1) R 6480 6482 4694 0 -1 4202560 807 0 0 0 305 3 0 0 25 0 3 0 989768702 138280960 3427 33554432000 4194304 5714118 140733671759904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 135040
[startup+6.30093 s]
/proc/loadavg: 4.08 4.00 3.92 5/179 6485
/proc/meminfo: memFree=12233184/32951124 swapFree=67062556/67111528
[pid=6482] ppid=6480 vsize=135472 CPUtime=12.59 cores=0,2,4,6
/proc/6482/stat : 6482 (pwbo1.1) S 6480 6482 4694 0 -1 4202496 5057 0 0 0 1235 24 0 0 18 0 3 0 989768702 138723328 5008 33554432000 4194304 5714118 140733671759904 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/6482/statm: 33868 5008 182 372 0 33493 0
[pid=6482/tid=6483] ppid=6480 vsize=135472 CPUtime=6.29 cores=0,2,4,6
/proc/6482/task/6483/stat : 6483 (pwbo1.1) R 6480 6482 4694 0 -1 4202560 3753 0 0 0 612 17 0 0 25 0 3 0 989768702 138723328 5008 33554432000 4194304 5714118 140733671759904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=6482/tid=6484] ppid=6480 vsize=135472 CPUtime=6.29 cores=0,2,4,6
/proc/6482/task/6484/stat : 6484 (pwbo1.1) R 6480 6482 4694 0 -1 4202560 980 0 0 0 623 6 0 0 25 0 3 0 989768702 138723328 5008 33554432000 4194304 5714118 140733671759904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 135472
[startup+12.7008 s]
/proc/loadavg: 4.07 4.00 3.92 5/179 6485
/proc/meminfo: memFree=12218308/32951124 swapFree=67062556/67111528
[pid=6482] ppid=6480 vsize=136480 CPUtime=25.39 cores=0,2,4,6
/proc/6482/stat : 6482 (pwbo1.1) S 6480 6482 4694 0 -1 4202496 7908 0 0 0 2498 41 0 0 18 0 3 0 989768702 139755520 7859 33554432000 4194304 5714118 140733671759904 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/6482/statm: 34120 7859 182 372 0 33745 0
[pid=6482/tid=6483] ppid=6480 vsize=136480 CPUtime=12.69 cores=0,2,4,6
/proc/6482/task/6483/stat : 6483 (pwbo1.1) R 6480 6482 4694 0 -1 4202560 6336 0 0 0 1240 29 0 0 25 0 3 0 989768702 139755520 7859 33554432000 4194304 5714118 140733671759904 18446744073709551615 4299720 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=6482/tid=6484] ppid=6480 vsize=136480 CPUtime=12.68 cores=0,2,4,6
/proc/6482/task/6484/stat : 6484 (pwbo1.1) R 6480 6482 4694 0 -1 4202560 1248 0 0 0 1257 11 0 0 25 0 3 0 989768702 139755520 7859 33554432000 4194304 5714118 140733671759904 18446744073709551615 4300331 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 136480
[startup+25.5004 s]
/proc/loadavg: 4.06 4.00 3.92 5/179 6485
/proc/meminfo: memFree=12199084/32951124 swapFree=67062556/67111528
[pid=6482] ppid=6480 vsize=138280 CPUtime=50.99 cores=0,2,4,6
/proc/6482/stat : 6482 (pwbo1.1) S 6480 6482 4694 0 -1 4202496 12396 0 0 0 5022 77 0 0 18 0 3 0 989768702 141598720 12342 33554432000 4194304 5714118 140733671759904 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/6482/statm: 34570 12342 182 372 0 34195 0
[pid=6482/tid=6483] ppid=6480 vsize=138280 CPUtime=25.49 cores=0,2,4,6
/proc/6482/task/6483/stat : 6483 (pwbo1.1) R 6480 6482 4694 0 -1 4202560 10560 0 0 0 2495 54 0 0 25 0 3 0 989768702 141598720 12342 33554432000 4194304 5714118 140733671759904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=6482/tid=6484] ppid=6480 vsize=138280 CPUtime=25.49 cores=0,2,4,6
/proc/6482/task/6484/stat : 6484 (pwbo1.1) R 6480 6482 4694 0 -1 4202560 1512 0 0 0 2526 23 0 0 25 0 3 0 989768702 141598720 12342 33554432000 4194304 5714118 140733671759904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 138280
[startup+51.1006 s]
/proc/loadavg: 4.04 4.00 3.92 5/179 6486
/proc/meminfo: memFree=12147564/32951124 swapFree=67062556/67111528
[pid=6482] ppid=6480 vsize=206624 CPUtime=102.19 cores=0,2,4,6
/proc/6482/stat : 6482 (pwbo1.1) S 6480 6482 4694 0 -1 4202496 20759 0 0 0 10076 143 0 0 18 0 3 0 989768702 211582976 20701 33554432000 4194304 5714118 140733671759904 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/6482/statm: 51656 20701 182 372 0 51281 0
[pid=6482/tid=6483] ppid=6480 vsize=206624 CPUtime=51.09 cores=0,2,4,6
/proc/6482/task/6483/stat : 6483 (pwbo1.1) R 6480 6482 4694 0 -1 4202560 18477 0 0 0 5009 100 0 0 25 0 3 0 989768702 211582976 20701 33554432000 4194304 5714118 140733671759904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=6482/tid=6484] ppid=6480 vsize=206624 CPUtime=51.09 cores=0,2,4,6
/proc/6482/task/6484/stat : 6484 (pwbo1.1) R 6480 6482 4694 0 -1 4202560 1958 0 0 0 5067 42 0 0 25 0 3 0 989768702 211582976 20701 33554432000 4194304 5714118 140733671759904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 206624
[startup+102.306 s]
/proc/loadavg: 3.64 3.90 3.89 5/179 6529
/proc/meminfo: memFree=12750768/32951124 swapFree=67062556/67111528
[pid=6482] ppid=6480 vsize=208784 CPUtime=204.6 cores=0,2,4,6
/proc/6482/stat : 6482 (pwbo1.1) S 6480 6482 4694 0 -1 4202496 34675 0 0 0 20187 273 0 0 18 0 3 0 989768702 213794816 34617 33554432000 4194304 5714118 140733671759904 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/6482/statm: 52196 34617 182 372 0 51821 0
[pid=6482/tid=6483] ppid=6480 vsize=208784 CPUtime=102.29 cores=0,2,4,6
/proc/6482/task/6483/stat : 6483 (pwbo1.1) R 6480 6482 4694 0 -1 4202560 32136 0 0 0 10036 193 0 0 25 0 3 0 989768702 213794816 34617 33554432000 4194304 5714118 140733671759904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=6482/tid=6484] ppid=6480 vsize=208784 CPUtime=102.29 cores=0,2,4,6
/proc/6482/task/6484/stat : 6484 (pwbo1.1) R 6480 6482 4694 0 -1 4202560 2215 0 0 0 10150 79 0 0 25 0 3 0 989768702 213794816 34617 33554432000 4194304 5714118 140733671759904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.6
Current children cumulated vsize (KiB) 208784
[startup+162.301 s]
/proc/loadavg: 3.87 3.92 3.89 5/179 6530
/proc/meminfo: memFree=12608796/32951124 swapFree=67062556/67111528
[pid=6482] ppid=6480 vsize=277200 CPUtime=324.6 cores=0,2,4,6
/proc/6482/stat : 6482 (pwbo1.1) S 6480 6482 4694 0 -1 4202496 49622 0 0 0 32060 400 0 0 18 0 3 0 989768702 283852800 49564 33554432000 4194304 5714118 140733671759904 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/6482/statm: 69300 49564 182 372 0 68925 0
[pid=6482/tid=6483] ppid=6480 vsize=277200 CPUtime=162.29 cores=0,2,4,6
/proc/6482/task/6483/stat : 6483 (pwbo1.1) R 6480 6482 4694 0 -1 4202560 46747 0 0 0 15944 285 0 0 25 0 3 0 989768702 283852800 49564 33554432000 4194304 5714118 140733671759904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=6482/tid=6484] ppid=6480 vsize=277200 CPUtime=162.3 cores=0,2,4,6
/proc/6482/task/6484/stat : 6484 (pwbo1.1) R 6480 6482 4694 0 -1 4202560 2551 0 0 0 16115 115 0 0 25 0 3 0 989768702 283852800 49564 33554432000 4194304 5714118 140733671759904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 324.6
Current children cumulated vsize (KiB) 277200
[startup+222.301 s]
/proc/loadavg: 3.95 3.93 3.90 5/179 6532
/proc/meminfo: memFree=12480292/32951124 swapFree=67062556/67111528
[pid=6482] ppid=6480 vsize=344064 CPUtime=444.6 cores=0,2,4,6
/proc/6482/stat : 6482 (pwbo1.1) S 6480 6482 4694 0 -1 4202496 64278 0 0 0 43924 536 0 0 18 0 3 0 989768702 352321536 64220 33554432000 4194304 5714118 140733671759904 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/6482/statm: 86016 64220 182 372 0 85641 0
[pid=6482/tid=6483] ppid=6480 vsize=344064 CPUtime=222.3 cores=0,2,4,6
/proc/6482/task/6483/stat : 6483 (pwbo1.1) R 6480 6482 4694 0 -1 4202560 61229 0 0 0 21845 385 0 0 25 0 3 0 989768702 352321536 64220 33554432000 4194304 5714118 140733671759904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=6482/tid=6484] ppid=6480 vsize=344064 CPUtime=222.3 cores=0,2,4,6
/proc/6482/task/6484/stat : 6484 (pwbo1.1) R 6480 6482 4694 0 -1 4202560 2725 0 0 0 22079 151 0 0 25 0 3 0 989768702 352321536 64220 33554432000 4194304 5714118 140733671759904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 444.6
Current children cumulated vsize (KiB) 344064
[startup+282.301 s]
/proc/loadavg: 3.98 3.94 3.91 5/179 6533
/proc/meminfo: memFree=12364068/32951124 swapFree=67062556/67111528
[pid=6482] ppid=6480 vsize=411256 CPUtime=564.61 cores=0,2,4,6
/proc/6482/stat : 6482 (pwbo1.1) S 6480 6482 4694 0 -1 4202496 78041 0 0 0 55797 664 0 0 18 0 3 0 989768702 421126144 77983 33554432000 4194304 5714118 140733671759904 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/6482/statm: 102814 77983 182 372 0 102439 0
[pid=6482/tid=6483] ppid=6480 vsize=411256 CPUtime=282.3 cores=0,2,4,6
/proc/6482/task/6483/stat : 6483 (pwbo1.1) R 6480 6482 4694 0 -1 4202560 74759 0 0 0 27757 473 0 0 25 0 3 0 989768702 421126144 77983 33554432000 4194304 5714118 140733671759904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=6482/tid=6484] ppid=6480 vsize=411256 CPUtime=282.29 cores=0,2,4,6
/proc/6482/task/6484/stat : 6484 (pwbo1.1) R 6480 6482 4694 0 -1 4202560 2958 0 0 0 28039 190 0 0 25 0 3 0 989768702 421126144 77983 33554432000 4194304 5714118 140733671759904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 564.61
Current children cumulated vsize (KiB) 411256
[startup+342.3 s]
/proc/loadavg: 3.99 3.95 3.91 5/179 6535
/proc/meminfo: memFree=12250684/32951124 swapFree=67062556/67111528
[pid=6482] ppid=6480 vsize=477872 CPUtime=684.61 cores=0,2,4,6
/proc/6482/stat : 6482 (pwbo1.1) S 6480 6482 4694 0 -1 4202496 91357 0 0 0 67674 787 0 0 18 0 3 0 989768702 489340928 91299 33554432000 4194304 5714118 140733671759904 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/6482/statm: 119468 91299 182 372 0 119093 0
[pid=6482/tid=6483] ppid=6480 vsize=477872 CPUtime=342.3 cores=0,2,4,6
/proc/6482/task/6483/stat : 6483 (pwbo1.1) R 6480 6482 4694 0 -1 4202560 87911 0 0 0 33670 560 0 0 25 0 3 0 989768702 489340928 91299 33554432000 4194304 5714118 140733671759904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=6482/tid=6484] ppid=6480 vsize=477872 CPUtime=342.3 cores=0,2,4,6
/proc/6482/task/6484/stat : 6484 (pwbo1.1) R 6480 6482 4694 0 -1 4202560 3122 0 0 0 34004 226 0 0 25 0 3 0 989768702 489340928 91299 33554432000 4194304 5714118 140733671759904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 684.61
Current children cumulated vsize (KiB) 477872
[startup+402.301 s]
/proc/loadavg: 3.99 3.95 3.91 5/179 6537
/proc/meminfo: memFree=12148104/32951124 swapFree=67062556/67111528
[pid=6482] ppid=6480 vsize=477980 CPUtime=804.62 cores=0,2,4,6
/proc/6482/stat : 6482 (pwbo1.1) S 6480 6482 4694 0 -1 4202496 103206 0 0 0 79561 901 0 0 18 0 3 0 989768702 489451520 103148 33554432000 4194304 5714118 140733671759904 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/6482/statm: 119495 103148 182 372 0 119120 0
[pid=6482/tid=6483] ppid=6480 vsize=477980 CPUtime=402.3 cores=0,2,4,6
/proc/6482/task/6483/stat : 6483 (pwbo1.1) R 6480 6482 4694 0 -1 4202560 99724 0 0 0 39590 640 0 0 25 0 3 0 989768702 489451520 103148 33554432000 4194304 5714118 140733671759904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=6482/tid=6484] ppid=6480 vsize=477980 CPUtime=402.3 cores=0,2,4,6
/proc/6482/task/6484/stat : 6484 (pwbo1.1) R 6480 6482 4694 0 -1 4202560 3158 0 0 0 39970 260 0 0 25 0 3 0 989768702 489451520 103148 33554432000 4194304 5714118 140733671759904 18446744073709551615 4320064 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 804.62
Current children cumulated vsize (KiB) 477980
[startup+462.301 s]
/proc/loadavg: 3.99 3.96 3.91 5/179 6538
/proc/meminfo: memFree=12044152/32951124 swapFree=67062556/67111528
[pid=6482] ppid=6480 vsize=544920 CPUtime=924.62 cores=0,2,4,6
/proc/6482/stat : 6482 (pwbo1.1) S 6480 6482 4694 0 -1 4202496 114484 0 0 0 91456 1006 0 0 18 0 3 0 989768702 557998080 114426 33554432000 4194304 5714118 140733671759904 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/6482/statm: 136230 114426 182 372 0 135855 0
[pid=6482/tid=6483] ppid=6480 vsize=544920 CPUtime=462.31 cores=0,2,4,6
/proc/6482/task/6483/stat : 6483 (pwbo1.1) R 6480 6482 4694 0 -1 4202560 110840 0 0 0 45517 714 0 0 25 0 3 0 989768702 557998080 114426 33554432000 4194304 5714118 140733671759904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=6482/tid=6484] ppid=6480 vsize=544920 CPUtime=462.3 cores=0,2,4,6
/proc/6482/task/6484/stat : 6484 (pwbo1.1) R 6480 6482 4694 0 -1 4202560 3320 0 0 0 45938 292 0 0 25 0 3 0 989768702 557998080 114426 33554432000 4194304 5714118 140733671759904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 924.62
Current children cumulated vsize (KiB) 544920
[startup+522.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/179 6540
/proc/meminfo: memFree=11947892/32951124 swapFree=67062556/67111528
[pid=6482] ppid=6480 vsize=610992 CPUtime=1044.63 cores=0,2,4,6
/proc/6482/stat : 6482 (pwbo1.1) S 6480 6482 4694 0 -1 4202496 125964 0 0 0 103340 1123 0 0 18 0 3 0 989768702 625655808 125906 33554432000 4194304 5714118 140733671759904 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/6482/statm: 152748 125906 182 372 0 152373 0
[pid=6482/tid=6483] ppid=6480 vsize=610992 CPUtime=522.3 cores=0,2,4,6
/proc/6482/task/6483/stat : 6483 (pwbo1.1) R 6480 6482 4694 0 -1 4202560 122233 0 0 0 51433 797 0 0 25 0 3 0 989768702 625655808 125906 33554432000 4194304 5714118 140733671759904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=6482/tid=6484] ppid=6480 vsize=610992 CPUtime=522.31 cores=0,2,4,6
/proc/6482/task/6484/stat : 6484 (pwbo1.1) R 6480 6482 4694 0 -1 4202560 3407 0 0 0 51906 325 0 0 25 0 3 0 989768702 625655808 125906 33554432000 4194304 5714118 140733671759904 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1044.63
Current children cumulated vsize (KiB) 610992
[startup+582.301 s]
/proc/loadavg: 4.04 3.98 3.91 5/179 6541
/proc/meminfo: memFree=11848028/32951124 swapFree=67062556/67111528
[pid=6482] ppid=6480 vsize=677176 CPUtime=1164.62 cores=0,2,4,6
/proc/6482/stat : 6482 (pwbo1.1) S 6480 6482 4694 0 -1 4202496 137538 0 0 0 115238 1224 0 0 18 0 3 0 989768702 693428224 137475 33554432000 4194304 5714118 140733671759904 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/6482/statm: 169294 137475 182 372 0 168919 0
[pid=6482/tid=6483] ppid=6480 vsize=677176 CPUtime=582.31 cores=0,2,4,6
/proc/6482/task/6483/stat : 6483 (pwbo1.1) R 6480 6482 4694 0 -1 4202560 133646 0 0 0 57362 869 0 0 25 0 3 0 989768702 693428224 137475 33554432000 4194304 5714118 140733671759904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=6482/tid=6484] ppid=6480 vsize=677176 CPUtime=582.31 cores=0,2,4,6
/proc/6482/task/6484/stat : 6484 (pwbo1.1) R 6480 6482 4694 0 -1 4202560 3568 0 0 0 57876 355 0 0 25 0 3 0 989768702 693428224 137475 33554432000 4194304 5714118 140733671759904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1164.62
Current children cumulated vsize (KiB) 677176
[startup+642.301 s]
/proc/loadavg: 4.01 3.98 3.91 5/179 6543
/proc/meminfo: memFree=11757100/32951124 swapFree=67062556/67111528
[pid=6482] ppid=6480 vsize=677716 CPUtime=1284.64 cores=0,2,4,6
/proc/6482/stat : 6482 (pwbo1.1) S 6480 6482 4694 0 -1 4202496 147291 0 0 0 127143 1321 0 0 18 0 3 0 989768702 693981184 147228 33554432000 4194304 5714118 140733671759904 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/6482/statm: 169429 147228 182 372 0 169054 0
[pid=6482/tid=6483] ppid=6480 vsize=677716 CPUtime=642.32 cores=0,2,4,6
/proc/6482/task/6483/stat : 6483 (pwbo1.1) R 6480 6482 4694 0 -1 4202560 143332 0 0 0 63295 937 0 0 25 0 3 0 989768702 693981184 147228 33554432000 4194304 5714118 140733671759904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=6482/tid=6484] ppid=6480 vsize=677716 CPUtime=642.31 cores=0,2,4,6
/proc/6482/task/6484/stat : 6484 (pwbo1.1) R 6480 6482 4694 0 -1 4202560 3635 0 0 0 63847 384 0 0 25 0 3 0 989768702 693981184 147228 33554432000 4194304 5714118 140733671759904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1284.64
Current children cumulated vsize (KiB) 677716
[startup+702.3 s]
/proc/loadavg: 4.00 3.98 3.91 5/179 6545
/proc/meminfo: memFree=11668756/32951124 swapFree=67062556/67111528
[pid=6482] ppid=6480 vsize=744296 CPUtime=1404.63 cores=0,2,4,6
/proc/6482/stat : 6482 (pwbo1.1) S 6480 6482 4694 0 -1 4202496 157910 0 0 0 139037 1426 0 0 18 0 3 0 989768702 762159104 157847 33554432000 4194304 5714118 140733671759904 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/6482/statm: 186074 157847 182 372 0 185699 0
[pid=6482/tid=6483] ppid=6480 vsize=744296 CPUtime=702.31 cores=0,2,4,6
/proc/6482/task/6483/stat : 6483 (pwbo1.1) R 6480 6482 4694 0 -1 4202560 153842 0 0 0 69220 1011 0 0 25 0 3 0 989768702 762159104 157847 33554432000 4194304 5714118 140733671759904 18446744073709551615 4319284 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=6482/tid=6484] ppid=6480 vsize=744296 CPUtime=702.31 cores=0,2,4,6
/proc/6482/task/6484/stat : 6484 (pwbo1.1) R 6480 6482 4694 0 -1 4202560 3744 0 0 0 69816 415 0 0 25 0 3 0 989768702 762159104 157847 33554432000 4194304 5714118 140733671759904 18446744073709551615 4319192 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1404.63
Current children cumulated vsize (KiB) 744296
[startup+762.306 s]
/proc/loadavg: 4.00 3.98 3.91 5/179 6546
/proc/meminfo: memFree=11576700/32951124 swapFree=67062556/67111528
[pid=6482] ppid=6480 vsize=744620 CPUtime=1524.65 cores=0,2,4,6
/proc/6482/stat : 6482 (pwbo1.1) S 6480 6482 4694 0 -1 4202496 168549 0 0 0 150941 1524 0 0 18 0 3 0 989768702 762490880 168486 33554432000 4194304 5714118 140733671759904 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/6482/statm: 186155 168486 182 372 0 185780 0
[pid=6482/tid=6483] ppid=6480 vsize=744620 CPUtime=762.32 cores=0,2,4,6
/proc/6482/task/6483/stat : 6483 (pwbo1.1) R 6480 6482 4694 0 -1 4202560 164452 0 0 0 75152 1080 0 0 25 0 3 0 989768702 762490880 168486 33554432000 4194304 5714118 140733671759904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=6482/tid=6484] ppid=6480 vsize=744620 CPUtime=762.32 cores=0,2,4,6
/proc/6482/task/6484/stat : 6484 (pwbo1.1) R 6480 6482 4694 0 -1 4202560 3773 0 0 0 75789 443 0 0 25 0 3 0 989768702 762490880 168486 33554432000 4194304 5714118 140733671759904 18446744073709551615 4300239 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1524.65
Current children cumulated vsize (KiB) 744620
[startup+822.301 s]
/proc/loadavg: 4.00 3.98 3.91 5/179 6548
/proc/meminfo: memFree=11487628/32951124 swapFree=67062556/67111528
[pid=6482] ppid=6480 vsize=810800 CPUtime=1644.64 cores=0,2,4,6
/proc/6482/stat : 6482 (pwbo1.1) S 6480 6482 4694 0 -1 4202496 178376 0 0 0 162844 1620 0 0 18 0 3 0 989768702 830259200 178313 33554432000 4194304 5714118 140733671759904 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/6482/statm: 202700 178313 182 372 0 202325 0
[pid=6482/tid=6483] ppid=6480 vsize=810800 CPUtime=822.31 cores=0,2,4,6
/proc/6482/task/6483/stat : 6483 (pwbo1.1) R 6480 6482 4694 0 -1 4202560 174198 0 0 0 81082 1149 0 0 25 0 3 0 989768702 830259200 178313 33554432000 4194304 5714118 140733671759904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=6482/tid=6484] ppid=6480 vsize=810800 CPUtime=822.32 cores=0,2,4,6
/proc/6482/task/6484/stat : 6484 (pwbo1.1) R 6480 6482 4694 0 -1 4202560 3854 0 0 0 81762 470 0 0 25 0 3 0 989768702 830259200 178313 33554432000 4194304 5714118 140733671759904 18446744073709551615 4299904 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1644.64
Current children cumulated vsize (KiB) 810800
[startup+882.301 s]
/proc/loadavg: 4.00 3.98 3.91 5/179 6549
/proc/meminfo: memFree=11395080/32951124 swapFree=67062556/67111528
[pid=6482] ppid=6480 vsize=876336 CPUtime=1764.65 cores=0,2,4,6
/proc/6482/stat : 6482 (pwbo1.1) S 6480 6482 4694 0 -1 4202496 189032 0 0 0 174742 1723 0 0 18 0 3 0 989768702 897368064 188969 33554432000 4194304 5714118 140733671759904 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/6482/statm: 219084 188969 182 372 0 218709 0
[pid=6482/tid=6483] ppid=6480 vsize=876336 CPUtime=882.32 cores=0,2,4,6
/proc/6482/task/6483/stat : 6483 (pwbo1.1) R 6480 6482 4694 0 -1 4202560 184824 0 0 0 87010 1222 0 0 25 0 3 0 989768702 897368064 188969 33554432000 4194304 5714118 140733671759904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=6482/tid=6484] ppid=6480 vsize=876336 CPUtime=882.32 cores=0,2,4,6
/proc/6482/task/6484/stat : 6484 (pwbo1.1) R 6480 6482 4694 0 -1 4202560 3884 0 0 0 87731 501 0 0 25 0 3 0 989768702 897368064 188969 33554432000 4194304 5714118 140733671759904 18446744073709551615 4300239 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1764.65
Current children cumulated vsize (KiB) 876336
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.001 s]
/proc/loadavg: 4.00 3.98 3.91 5/179 6550
/proc/meminfo: memFree=11368908/32951124 swapFree=67062556/67111528
[pid=6482] ppid=6480 vsize=876336 CPUtime=1800.06 cores=0,2,4,6
/proc/6482/stat : 6482 (pwbo1.1) S 6480 6482 4694 0 -1 4202496 191802 0 0 0 178253 1753 0 0 18 0 3 0 989768702 897368064 191739 33554432000 4194304 5714118 140733671759904 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/6482/statm: 219084 191739 182 372 0 218709 0
[pid=6482/tid=6483] ppid=6480 vsize=876336 CPUtime=900.02 cores=0,2,4,6
/proc/6482/task/6483/stat : 6483 (pwbo1.1) R 6480 6482 4694 0 -1 4202560 187585 0 0 0 88760 1242 0 0 25 0 3 0 989768702 897368064 191739 33554432000 4194304 5714118 140733671759904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=6482/tid=6484] ppid=6480 vsize=876336 CPUtime=900.02 cores=0,2,4,6
/proc/6482/task/6484/stat : 6484 (pwbo1.1) R 6480 6482 4694 0 -1 4202560 3893 0 0 0 89492 510 0 0 25 0 3 0 989768702 897368064 191739 33554432000 4194304 5714118 140733671759904 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 876336
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.046
CPU time (s): 1800.11
CPU user time (s): 1782.54
CPU system time (s): 17.5703
CPU usage (%): 200.002
Max. virtual memory (cumulated for all children) (KiB): 876336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.54
system time used= 17.5703
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 191807
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= 17
involuntary context switches= 3721
runsolver used 1.35979 second user time and 2.76258 second system time
The end