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 /tmp/evaluation-result-3500455-1307995726/watcher-3500455-1307995726 -o /tmp/evaluation-result-3500455-1307995726/solver-3500455-1307995726 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500455-1307995726.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.32 3.84 3.87 3/179 25858
/proc/meminfo: memFree=15713580/32951124 swapFree=67053176/67111528
[pid=25858] ppid=25856 vsize=134924 CPUtime=0 cores=0,2,4,6
/proc/25858/stat : 25858 (pwbo1.1) S 25856 25858 24477 0 -1 4202496 452 0 0 0 0 0 0 0 18 0 3 0 911170302 138162176 400 33554432000 4194304 5714118 140737155413408 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/25858/statm: 33731 400 178 372 0 33356 0
[pid=25858/tid=25859] ppid=25856 vsize=134924 CPUtime=0 cores=0,2,4,6
/proc/25858/task/25859/stat : 25859 (pwbo1.1) R 25856 25858 24477 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 3 0 911170302 138162176 400 33554432000 4194304 5714118 140737155413408 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25858/tid=25860] ppid=25856 vsize=134924 CPUtime=0 cores=0,2,4,6
/proc/25858/task/25860/stat : 25860 (pwbo1.1) R 25856 25858 24477 0 -1 4202560 34 0 0 0 0 0 0 0 19 0 3 0 911170302 138162176 400 33554432000 4194304 5714118 140737155413408 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[startup+0.0209539 s]
/proc/loadavg: 3.32 3.84 3.87 3/179 25858
/proc/meminfo: memFree=15713580/32951124 swapFree=67053176/67111528
[pid=25858] ppid=25856 vsize=134924 CPUtime=0.03 cores=0,2,4,6
/proc/25858/stat : 25858 (pwbo1.1) S 25856 25858 24477 0 -1 4202496 524 0 0 0 3 0 0 0 18 0 3 0 911170302 138162176 472 33554432000 4194304 5714118 140737155413408 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/25858/statm: 33731 472 179 372 0 33356 0
[pid=25858/tid=25859] ppid=25856 vsize=134924 CPUtime=0.01 cores=0,2,4,6
/proc/25858/task/25859/stat : 25859 (pwbo1.1) R 25856 25858 24477 0 -1 4202560 79 0 0 0 1 0 0 0 19 0 3 0 911170302 138162176 472 33554432000 4194304 5714118 140737155413408 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25858/tid=25860] ppid=25856 vsize=134924 CPUtime=0.01 cores=0,2,4,6
/proc/25858/task/25860/stat : 25860 (pwbo1.1) R 25856 25858 24477 0 -1 4202560 77 0 0 0 1 0 0 0 19 0 3 0 911170302 138162176 472 33554432000 4194304 5714118 140737155413408 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 134924
[startup+0.100986 s]
/proc/loadavg: 3.32 3.84 3.87 3/179 25858
/proc/meminfo: memFree=15713580/32951124 swapFree=67053176/67111528
[pid=25858] ppid=25856 vsize=134924 CPUtime=0.19 cores=0,2,4,6
/proc/25858/stat : 25858 (pwbo1.1) S 25856 25858 24477 0 -1 4202496 815 0 0 0 18 1 0 0 18 0 3 0 911170302 138162176 763 33554432000 4194304 5714118 140737155413408 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/25858/statm: 33731 763 179 372 0 33356 0
[pid=25858/tid=25859] ppid=25856 vsize=134924 CPUtime=0.09 cores=0,2,4,6
/proc/25858/task/25859/stat : 25859 (pwbo1.1) R 25856 25858 24477 0 -1 4202560 239 0 0 0 8 1 0 0 18 0 3 0 911170302 138162176 763 33554432000 4194304 5714118 140737155413408 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25858/tid=25860] ppid=25856 vsize=134924 CPUtime=0.09 cores=0,2,4,6
/proc/25858/task/25860/stat : 25860 (pwbo1.1) R 25856 25858 24477 0 -1 4202560 208 0 0 0 9 0 0 0 20 0 3 0 911170302 138162176 763 33554432000 4194304 5714118 140737155413408 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 134924
[startup+0.300956 s]
/proc/loadavg: 3.32 3.84 3.87 3/179 25858
/proc/meminfo: memFree=15713580/32951124 swapFree=67053176/67111528
[pid=25858] ppid=25856 vsize=134924 CPUtime=0.59 cores=0,2,4,6
/proc/25858/stat : 25858 (pwbo1.1) S 25856 25858 24477 0 -1 4202496 1419 0 0 0 57 2 0 0 18 0 3 0 911170302 138162176 1367 33554432000 4194304 5714118 140737155413408 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/25858/statm: 33731 1367 179 372 0 33356 0
[pid=25858/tid=25859] ppid=25856 vsize=134924 CPUtime=0.29 cores=0,2,4,6
/proc/25858/task/25859/stat : 25859 (pwbo1.1) R 25856 25858 24477 0 -1 4202560 574 0 0 0 28 1 0 0 18 0 3 0 911170302 138162176 1367 33554432000 4194304 5714118 140737155413408 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25858/tid=25860] ppid=25856 vsize=134924 CPUtime=0.29 cores=0,2,4,6
/proc/25858/task/25860/stat : 25860 (pwbo1.1) R 25856 25858 24477 0 -1 4202560 477 0 0 0 29 0 0 0 20 0 3 0 911170302 138162176 1367 33554432000 4194304 5714118 140737155413408 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) 134924
[startup+0.700881 s]
/proc/loadavg: 3.32 3.84 3.87 3/179 25858
/proc/meminfo: memFree=15713580/32951124 swapFree=67053176/67111528
[pid=25858] ppid=25856 vsize=134924 CPUtime=1.39 cores=0,2,4,6
/proc/25858/stat : 25858 (pwbo1.1) S 25856 25858 24477 0 -1 4202496 2474 0 0 0 134 5 0 0 18 0 3 0 911170302 138162176 2422 33554432000 4194304 5714118 140737155413408 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/25858/statm: 33731 2422 179 372 0 33356 0
[pid=25858/tid=25859] ppid=25856 vsize=134924 CPUtime=0.68 cores=0,2,4,6
/proc/25858/task/25859/stat : 25859 (pwbo1.1) R 25856 25858 24477 0 -1 4202560 1182 0 0 0 65 3 0 0 18 0 3 0 911170302 138162176 2422 33554432000 4194304 5714118 140737155413408 18446744073709551615 4970308 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25858/tid=25860] ppid=25856 vsize=134924 CPUtime=0.69 cores=0,2,4,6
/proc/25858/task/25860/stat : 25860 (pwbo1.1) R 25856 25858 24477 0 -1 4202560 924 0 0 0 68 1 0 0 21 0 3 0 911170302 138162176 2422 33554432000 4194304 5714118 140737155413408 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 134924
[startup+1.50074 s]
/proc/loadavg: 3.32 3.84 3.87 5/182 25861
/proc/meminfo: memFree=15702792/32951124 swapFree=67053176/67111528
[pid=25858] ppid=25856 vsize=135212 CPUtime=2.99 cores=0,2,4,6
/proc/25858/stat : 25858 (pwbo1.1) S 25856 25858 24477 0 -1 4202496 3339 0 0 0 290 9 0 0 18 0 3 0 911170302 138457088 3287 33554432000 4194304 5714118 140737155413408 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/25858/statm: 33803 3287 179 372 0 33428 0
[pid=25858/tid=25859] ppid=25856 vsize=135212 CPUtime=1.48 cores=0,2,4,6
/proc/25858/task/25859/stat : 25859 (pwbo1.1) R 25856 25858 24477 0 -1 4202560 1827 0 0 0 142 6 0 0 18 0 3 0 911170302 138457088 3287 33554432000 4194304 5714118 140737155413408 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25858/tid=25860] ppid=25856 vsize=135212 CPUtime=1.49 cores=0,2,4,6
/proc/25858/task/25860/stat : 25860 (pwbo1.1) R 25856 25858 24477 0 -1 4202560 1144 0 0 0 147 2 0 0 23 0 3 0 911170302 138457088 3287 33554432000 4194304 5714118 140737155413408 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 135212
[startup+3.10048 s]
/proc/loadavg: 3.32 3.84 3.87 5/182 25861
/proc/meminfo: memFree=15698948/32951124 swapFree=67053176/67111528
[pid=25858] ppid=25856 vsize=135212 CPUtime=6.18 cores=0,2,4,6
/proc/25858/stat : 25858 (pwbo1.1) S 25856 25858 24477 0 -1 4202496 4224 0 0 0 605 13 0 0 18 0 3 0 911170302 138457088 4172 33554432000 4194304 5714118 140737155413408 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/25858/statm: 33803 4172 179 372 0 33428 0
[pid=25858/tid=25859] ppid=25856 vsize=135212 CPUtime=3.09 cores=0,2,4,6
/proc/25858/task/25859/stat : 25859 (pwbo1.1) R 25856 25858 24477 0 -1 4202560 2575 0 0 0 299 10 0 0 19 0 3 0 911170302 138457088 4172 33554432000 4194304 5714118 140737155413408 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25858/tid=25860] ppid=25856 vsize=135212 CPUtime=3.09 cores=0,2,4,6
/proc/25858/task/25860/stat : 25860 (pwbo1.1) R 25856 25858 24477 0 -1 4202560 1281 0 0 0 306 3 0 0 25 0 3 0 911170302 138457088 4172 33554432000 4194304 5714118 140737155413408 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 135212
[startup+6.30087 s]
/proc/loadavg: 3.37 3.84 3.87 5/182 25861
/proc/meminfo: memFree=15693796/32951124 swapFree=67053176/67111528
[pid=25858] ppid=25856 vsize=135212 CPUtime=12.59 cores=0,2,4,6
/proc/25858/stat : 25858 (pwbo1.1) S 25856 25858 24477 0 -1 4202496 5297 0 0 0 1238 21 0 0 18 0 3 0 911170302 138457088 5245 33554432000 4194304 5714118 140737155413408 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/25858/statm: 33803 5245 180 372 0 33428 0
[pid=25858/tid=25859] ppid=25856 vsize=135212 CPUtime=6.28 cores=0,2,4,6
/proc/25858/task/25859/stat : 25859 (pwbo1.1) R 25856 25858 24477 0 -1 4202560 3486 0 0 0 613 15 0 0 25 0 3 0 911170302 138457088 5245 33554432000 4194304 5714118 140737155413408 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25858/tid=25860] ppid=25856 vsize=135212 CPUtime=6.29 cores=0,2,4,6
/proc/25858/task/25860/stat : 25860 (pwbo1.1) R 25856 25858 24477 0 -1 4202560 1443 0 0 0 624 5 0 0 25 0 3 0 911170302 138457088 5245 33554432000 4194304 5714118 140737155413408 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) 135212
[startup+12.7007 s]
/proc/loadavg: 3.42 3.84 3.87 5/182 25861
/proc/meminfo: memFree=15685628/32951124 swapFree=67053176/67111528
[pid=25858] ppid=25856 vsize=135284 CPUtime=25.38 cores=0,2,4,6
/proc/25858/stat : 25858 (pwbo1.1) S 25856 25858 24477 0 -1 4202496 7314 0 0 0 2503 35 0 0 18 0 3 0 911170302 138530816 7262 33554432000 4194304 5714118 140737155413408 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/25858/statm: 33821 7262 180 372 0 33446 0
[pid=25858/tid=25859] ppid=25856 vsize=135284 CPUtime=12.69 cores=0,2,4,6
/proc/25858/task/25859/stat : 25859 (pwbo1.1) R 25856 25858 24477 0 -1 4202560 5298 0 0 0 1244 25 0 0 25 0 3 0 911170302 138530816 7262 33554432000 4194304 5714118 140737155413408 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25858/tid=25860] ppid=25856 vsize=135284 CPUtime=12.69 cores=0,2,4,6
/proc/25858/task/25860/stat : 25860 (pwbo1.1) R 25856 25858 24477 0 -1 4202560 1648 0 0 0 1259 10 0 0 25 0 3 0 911170302 138530816 7262 33554432000 4194304 5714118 140737155413408 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 135284
[startup+25.5004 s]
/proc/loadavg: 3.55 3.85 3.87 5/182 25861
/proc/meminfo: memFree=15670100/32951124 swapFree=67053176/67111528
[pid=25858] ppid=25856 vsize=135356 CPUtime=50.98 cores=0,2,4,6
/proc/25858/stat : 25858 (pwbo1.1) S 25856 25858 24477 0 -1 4202496 10864 0 0 0 5040 58 0 0 18 0 3 0 911170302 138604544 10812 33554432000 4194304 5714118 140737155413408 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/25858/statm: 33839 10812 180 372 0 33464 0
[pid=25858/tid=25859] ppid=25856 vsize=135356 CPUtime=25.49 cores=0,2,4,6
/proc/25858/task/25859/stat : 25859 (pwbo1.1) R 25856 25858 24477 0 -1 4202560 8167 0 0 0 2509 40 0 0 25 0 3 0 911170302 138604544 10812 33554432000 4194304 5714118 140737155413408 18446744073709551615 4319316 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25858/tid=25860] ppid=25856 vsize=135356 CPUtime=25.49 cores=0,2,4,6
/proc/25858/task/25860/stat : 25860 (pwbo1.1) R 25856 25858 24477 0 -1 4202560 2329 0 0 0 2531 18 0 0 25 0 3 0 911170302 138604544 10812 33554432000 4194304 5714118 140737155413408 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 135356
[startup+51.1008 s]
/proc/loadavg: 3.54 3.83 3.86 3/175 25887
/proc/meminfo: memFree=16226892/32951124 swapFree=67053176/67111528
[pid=25858] ppid=25856 vsize=135464 CPUtime=102.19 cores=0,2,4,6
/proc/25858/stat : 25858 (pwbo1.1) S 25856 25858 24477 0 -1 4202496 16815 0 0 0 10112 107 0 0 18 0 3 0 911170302 138715136 16763 33554432000 4194304 5714118 140737155413408 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/25858/statm: 33866 16763 180 372 0 33491 0
[pid=25858/tid=25859] ppid=25856 vsize=135464 CPUtime=51.09 cores=0,2,4,6
/proc/25858/task/25859/stat : 25859 (pwbo1.1) R 25856 25858 24477 0 -1 4202560 13336 0 0 0 5036 73 0 0 25 0 3 0 911170302 138715136 16763 33554432000 4194304 5714118 140737155413408 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25858/tid=25860] ppid=25856 vsize=135464 CPUtime=51.09 cores=0,2,4,6
/proc/25858/task/25860/stat : 25860 (pwbo1.1) R 25856 25858 24477 0 -1 4202560 3111 0 0 0 5076 33 0 0 25 0 3 0 911170302 138715136 16763 33554432000 4194304 5714118 140737155413408 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) 135464
[startup+102.306 s]
/proc/loadavg: 3.80 3.84 3.86 5/182 25904
/proc/meminfo: memFree=16115660/32951124 swapFree=67053176/67111528
[pid=25858] ppid=25856 vsize=201108 CPUtime=204.6 cores=0,2,4,6
/proc/25858/stat : 25858 (pwbo1.1) S 25856 25858 24477 0 -1 4202496 26574 0 0 0 20274 186 0 0 18 0 3 0 911170302 205934592 26323 33554432000 4194304 5714118 140737155413408 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/25858/statm: 50277 26323 180 372 0 49902 0
[pid=25858/tid=25859] ppid=25856 vsize=201108 CPUtime=102.29 cores=0,2,4,6
/proc/25858/task/25859/stat : 25859 (pwbo1.1) R 25856 25858 24477 0 -1 4202560 22097 0 0 0 10105 124 0 0 25 0 3 0 911170302 205934592 26323 33554432000 4194304 5714118 140737155413408 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25858/tid=25860] ppid=25856 vsize=201108 CPUtime=102.29 cores=0,2,4,6
/proc/25858/task/25860/stat : 25860 (pwbo1.1) R 25856 25858 24477 0 -1 4202560 4109 0 0 0 10168 61 0 0 25 0 3 0 911170302 205934592 26323 33554432000 4194304 5714118 140737155413408 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) 201108
[startup+162.301 s]
/proc/loadavg: 3.92 3.87 3.87 5/182 25906
/proc/meminfo: memFree=16025940/32951124 swapFree=67053176/67111528
[pid=25858] ppid=25856 vsize=201828 CPUtime=324.6 cores=0,2,4,6
/proc/25858/stat : 25858 (pwbo1.1) S 25856 25858 24477 0 -1 4202496 36642 0 0 0 32182 278 0 0 18 0 3 0 911170302 206671872 36384 33554432000 4194304 5714118 140737155413408 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/25858/statm: 50457 36384 180 372 0 50082 0
[pid=25858/tid=25859] ppid=25856 vsize=201828 CPUtime=162.29 cores=0,2,4,6
/proc/25858/task/25859/stat : 25859 (pwbo1.1) R 25856 25858 24477 0 -1 4202560 31798 0 0 0 16041 188 0 0 25 0 3 0 911170302 206671872 36384 33554432000 4194304 5714118 140737155413408 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25858/tid=25860] ppid=25856 vsize=201828 CPUtime=162.29 cores=0,2,4,6
/proc/25858/task/25860/stat : 25860 (pwbo1.1) R 25856 25858 24477 0 -1 4202560 4476 0 0 0 16140 89 0 0 25 0 3 0 911170302 206671872 36384 33554432000 4194304 5714118 140737155413408 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) 201828
[startup+222.301 s]
/proc/loadavg: 3.97 3.89 3.87 5/182 25908
/proc/meminfo: memFree=15945024/32951124 swapFree=67053176/67111528
[pid=25858] ppid=25856 vsize=267652 CPUtime=444.6 cores=0,2,4,6
/proc/25858/stat : 25858 (pwbo1.1) S 25856 25858 24477 0 -1 4202496 45733 0 0 0 44095 365 0 0 18 0 3 0 911170302 274075648 45472 33554432000 4194304 5714118 140737155413408 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/25858/statm: 66913 45472 180 372 0 66538 0
[pid=25858/tid=25859] ppid=25856 vsize=267652 CPUtime=222.3 cores=0,2,4,6
/proc/25858/task/25859/stat : 25859 (pwbo1.1) R 25856 25858 24477 0 -1 4202560 40800 0 0 0 21987 243 0 0 25 0 3 0 911170302 274075648 45472 33554432000 4194304 5714118 140737155413408 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25858/tid=25860] ppid=25856 vsize=267652 CPUtime=222.3 cores=0,2,4,6
/proc/25858/task/25860/stat : 25860 (pwbo1.1) R 25856 25858 24477 0 -1 4202560 4565 0 0 0 22108 122 0 0 25 0 3 0 911170302 274075648 45472 33554432000 4194304 5714118 140737155413408 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) 267652
[startup+282.301 s]
/proc/loadavg: 3.99 3.91 3.88 5/182 25909
/proc/meminfo: memFree=15865244/32951124 swapFree=67053176/67111528
[pid=25858] ppid=25856 vsize=333332 CPUtime=564.6 cores=0,2,4,6
/proc/25858/stat : 25858 (pwbo1.1) S 25856 25858 24477 0 -1 4202496 55112 0 0 0 56008 452 0 0 18 0 3 0 911170302 341331968 54839 33554432000 4194304 5714118 140737155413408 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/25858/statm: 83333 54839 180 372 0 82958 0
[pid=25858/tid=25859] ppid=25856 vsize=333332 CPUtime=282.29 cores=0,2,4,6
/proc/25858/task/25859/stat : 25859 (pwbo1.1) R 25856 25858 24477 0 -1 4202560 49566 0 0 0 27929 300 0 0 25 0 3 0 911170302 341331968 54839 33554432000 4194304 5714118 140737155413408 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25858/tid=25860] ppid=25856 vsize=333332 CPUtime=282.3 cores=0,2,4,6
/proc/25858/task/25860/stat : 25860 (pwbo1.1) R 25856 25858 24477 0 -1 4202560 5178 0 0 0 28079 151 0 0 25 0 3 0 911170302 341331968 54839 33554432000 4194304 5714118 140737155413408 18446744073709551615 4323024 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 564.6
Current children cumulated vsize (KiB) 333332
[startup+342.301 s]
/proc/loadavg: 3.99 3.92 3.88 5/182 25911
/proc/meminfo: memFree=15790772/32951124 swapFree=67053176/67111528
[pid=25858] ppid=25856 vsize=333908 CPUtime=684.6 cores=0,2,4,6
/proc/25858/stat : 25858 (pwbo1.1) S 25856 25858 24477 0 -1 4202496 63681 0 0 0 67923 537 0 0 18 0 3 0 911170302 341921792 63280 33554432000 4194304 5714118 140737155413408 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/25858/statm: 83477 63280 180 372 0 83102 0
[pid=25858/tid=25859] ppid=25856 vsize=333908 CPUtime=342.3 cores=0,2,4,6
/proc/25858/task/25859/stat : 25859 (pwbo1.1) R 25856 25858 24477 0 -1 4202560 57887 0 0 0 33873 357 0 0 25 0 3 0 911170302 341921792 63280 33554432000 4194304 5714118 140737155413408 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25858/tid=25860] ppid=25856 vsize=333908 CPUtime=342.3 cores=0,2,4,6
/proc/25858/task/25860/stat : 25860 (pwbo1.1) R 25856 25858 24477 0 -1 4202560 5426 0 0 0 34050 180 0 0 25 0 3 0 911170302 341921792 63280 33554432000 4194304 5714118 140737155413408 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 684.6
Current children cumulated vsize (KiB) 333908
[startup+402.301 s]
/proc/loadavg: 3.99 3.93 3.89 5/182 25912
/proc/meminfo: memFree=15717940/32951124 swapFree=67053176/67111528
[pid=25858] ppid=25856 vsize=399892 CPUtime=804.61 cores=0,2,4,6
/proc/25858/stat : 25858 (pwbo1.1) S 25856 25858 24477 0 -1 4202496 72324 0 0 0 79835 626 0 0 18 0 3 0 911170302 409489408 71857 33554432000 4194304 5714118 140737155413408 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/25858/statm: 99973 71857 180 372 0 99598 0
[pid=25858/tid=25859] ppid=25856 vsize=399892 CPUtime=402.3 cores=0,2,4,6
/proc/25858/task/25859/stat : 25859 (pwbo1.1) R 25856 25858 24477 0 -1 4202560 66281 0 0 0 39817 413 0 0 25 0 3 0 911170302 409489408 71857 33554432000 4194304 5714118 140737155413408 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25858/tid=25860] ppid=25856 vsize=399892 CPUtime=402.3 cores=0,2,4,6
/proc/25858/task/25860/stat : 25860 (pwbo1.1) R 25856 25858 24477 0 -1 4202560 5675 0 0 0 40018 212 0 0 25 0 3 0 911170302 409489408 71857 33554432000 4194304 5714118 140737155413408 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 804.61
Current children cumulated vsize (KiB) 399892
[startup+462.3 s]
/proc/loadavg: 4.03 3.95 3.90 5/182 25914
/proc/meminfo: memFree=15650176/32951124 swapFree=67053176/67111528
[pid=25858] ppid=25856 vsize=400468 CPUtime=924.61 cores=0,2,4,6
/proc/25858/stat : 25858 (pwbo1.1) S 25856 25858 24477 0 -1 4202496 79848 0 0 0 91749 712 0 0 18 0 3 0 911170302 410079232 79381 33554432000 4194304 5714118 140737155413408 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/25858/statm: 100117 79381 180 372 0 99742 0
[pid=25858/tid=25859] ppid=25856 vsize=400468 CPUtime=462.3 cores=0,2,4,6
/proc/25858/task/25859/stat : 25859 (pwbo1.1) R 25856 25858 24477 0 -1 4202560 73798 0 0 0 45764 466 0 0 25 0 3 0 911170302 410079232 79381 33554432000 4194304 5714118 140737155413408 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25858/tid=25860] ppid=25856 vsize=400468 CPUtime=462.3 cores=0,2,4,6
/proc/25858/task/25860/stat : 25860 (pwbo1.1) R 25856 25858 24477 0 -1 4202560 5682 0 0 0 45985 245 0 0 25 0 3 0 911170302 410079232 79381 33554432000 4194304 5714118 140737155413408 18446744073709551615 4346846 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 924.61
Current children cumulated vsize (KiB) 400468
[startup+522.3 s]
/proc/loadavg: 4.01 3.96 3.91 5/182 25916
/proc/meminfo: memFree=15583396/32951124 swapFree=67053176/67111528
[pid=25858] ppid=25856 vsize=401044 CPUtime=1044.61 cores=0,2,4,6
/proc/25858/stat : 25858 (pwbo1.1) S 25856 25858 24477 0 -1 4202496 87279 0 0 0 103666 795 0 0 18 0 3 0 911170302 410669056 86780 33554432000 4194304 5714118 140737155413408 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/25858/statm: 100261 86780 180 372 0 99886 0
[pid=25858/tid=25859] ppid=25856 vsize=401044 CPUtime=522.3 cores=0,2,4,6
/proc/25858/task/25859/stat : 25859 (pwbo1.1) R 25856 25858 24477 0 -1 4202560 81123 0 0 0 51714 516 0 0 25 0 3 0 911170302 410669056 86780 33554432000 4194304 5714118 140737155413408 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25858/tid=25860] ppid=25856 vsize=401044 CPUtime=522.3 cores=0,2,4,6
/proc/25858/task/25860/stat : 25860 (pwbo1.1) R 25856 25858 24477 0 -1 4202560 5788 0 0 0 51951 279 0 0 25 0 3 0 911170302 410669056 86780 33554432000 4194304 5714118 140737155413408 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1044.61
Current children cumulated vsize (KiB) 401044
[startup+582.301 s]
/proc/loadavg: 4.00 3.97 3.91 5/182 25917
/proc/meminfo: memFree=15515024/32951124 swapFree=67053176/67111528
[pid=25858] ppid=25856 vsize=467156 CPUtime=1164.62 cores=0,2,4,6
/proc/25858/stat : 25858 (pwbo1.1) S 25856 25858 24477 0 -1 4202496 94965 0 0 0 115580 882 0 0 18 0 3 0 911170302 478367744 94466 33554432000 4194304 5714118 140737155413408 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/25858/statm: 116789 94466 180 372 0 116414 0
[pid=25858/tid=25859] ppid=25856 vsize=467156 CPUtime=582.3 cores=0,2,4,6
/proc/25858/task/25859/stat : 25859 (pwbo1.1) R 25856 25858 24477 0 -1 4202560 88797 0 0 0 57660 570 0 0 25 0 3 0 911170302 478367744 94466 33554432000 4194304 5714118 140737155413408 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25858/tid=25860] ppid=25856 vsize=467156 CPUtime=582.3 cores=0,2,4,6
/proc/25858/task/25860/stat : 25860 (pwbo1.1) R 25856 25858 24477 0 -1 4202560 5800 0 0 0 57919 311 0 0 25 0 3 0 911170302 478367744 94466 33554432000 4194304 5714118 140737155413408 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) 467156
[startup+642.301 s]
/proc/loadavg: 4.00 3.97 3.91 5/182 25919
/proc/meminfo: memFree=15445760/32951124 swapFree=67053176/67111528
[pid=25858] ppid=25856 vsize=467444 CPUtime=1284.64 cores=0,2,4,6
/proc/25858/stat : 25858 (pwbo1.1) S 25856 25858 24477 0 -1 4202496 103466 0 0 0 127501 963 0 0 18 0 3 0 911170302 478662656 102946 33554432000 4194304 5714118 140737155413408 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/25858/statm: 116861 102946 180 372 0 116486 0
[pid=25858/tid=25859] ppid=25856 vsize=467444 CPUtime=642.31 cores=0,2,4,6
/proc/25858/task/25859/stat : 25859 (pwbo1.1) R 25856 25858 24477 0 -1 4202560 96996 0 0 0 63610 621 0 0 25 0 3 0 911170302 478662656 102947 33554432000 4194304 5714118 140737155413408 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25858/tid=25860] ppid=25856 vsize=467444 CPUtime=642.31 cores=0,2,4,6
/proc/25858/task/25860/stat : 25860 (pwbo1.1) R 25856 25858 24477 0 -1 4202560 6103 0 0 0 63890 341 0 0 25 0 3 0 911170302 478662656 102947 33554432000 4194304 5714118 140737155413408 18446744073709551615 4199408 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) 467444
[startup+702.301 s]
/proc/loadavg: 4.04 3.99 3.91 5/182 25920
/proc/meminfo: memFree=15382468/32951124 swapFree=67053176/67111528
[pid=25858] ppid=25856 vsize=533340 CPUtime=1404.63 cores=0,2,4,6
/proc/25858/stat : 25858 (pwbo1.1) S 25856 25858 24477 0 -1 4202496 111063 0 0 0 139422 1041 0 0 18 0 3 0 911170302 546140160 110447 33554432000 4194304 5714118 140737155413408 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/25858/statm: 133335 110447 180 372 0 132960 0
[pid=25858/tid=25859] ppid=25856 vsize=533340 CPUtime=702.3 cores=0,2,4,6
/proc/25858/task/25859/stat : 25859 (pwbo1.1) R 25856 25858 24477 0 -1 4202560 104117 0 0 0 69558 672 0 0 25 0 3 0 911170302 546140160 110447 33554432000 4194304 5714118 140737155413408 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25858/tid=25860] ppid=25856 vsize=533340 CPUtime=702.31 cores=0,2,4,6
/proc/25858/task/25860/stat : 25860 (pwbo1.1) R 25856 25858 24477 0 -1 4202560 6578 0 0 0 69863 368 0 0 25 0 3 0 911170302 546140160 110447 33554432000 4194304 5714118 140737155413408 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1404.63
Current children cumulated vsize (KiB) 533340
[startup+762.306 s]
/proc/loadavg: 4.01 3.99 3.91 5/182 25922
/proc/meminfo: memFree=15316948/32951124 swapFree=67053176/67111528
[pid=25858] ppid=25856 vsize=533484 CPUtime=1524.64 cores=0,2,4,6
/proc/25858/stat : 25858 (pwbo1.1) S 25856 25858 24477 0 -1 4202496 119223 0 0 0 151340 1124 0 0 18 0 3 0 911170302 546287616 118460 33554432000 4194304 5714118 140737155413408 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/25858/statm: 133371 118460 180 372 0 132996 0
[pid=25858/tid=25859] ppid=25856 vsize=533484 CPUtime=762.32 cores=0,2,4,6
/proc/25858/task/25859/stat : 25859 (pwbo1.1) R 25856 25858 24477 0 -1 4202560 111642 0 0 0 75507 725 0 0 25 0 3 0 911170302 546287616 118460 33554432000 4194304 5714118 140737155413408 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25858/tid=25860] ppid=25856 vsize=533484 CPUtime=762.32 cores=0,2,4,6
/proc/25858/task/25860/stat : 25860 (pwbo1.1) R 25856 25858 24477 0 -1 4202560 7213 0 0 0 75833 399 0 0 25 0 3 0 911170302 546287616 118460 33554432000 4194304 5714118 140737155413408 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1524.64
Current children cumulated vsize (KiB) 533484
[startup+822.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 25924
/proc/meminfo: memFree=15251912/32951124 swapFree=67053176/67111528
[pid=25858] ppid=25856 vsize=599452 CPUtime=1644.63 cores=0,2,4,6
/proc/25858/stat : 25858 (pwbo1.1) S 25856 25858 24477 0 -1 4202496 127009 0 0 0 163260 1203 0 0 18 0 3 0 911170302 613838848 126133 33554432000 4194304 5714118 140737155413408 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/25858/statm: 149863 126133 180 372 0 149488 0
[pid=25858/tid=25859] ppid=25856 vsize=599452 CPUtime=822.31 cores=0,2,4,6
/proc/25858/task/25859/stat : 25859 (pwbo1.1) R 25856 25858 24477 0 -1 4202560 119263 0 0 0 81455 776 0 0 25 0 3 0 911170302 613838848 126133 33554432000 4194304 5714118 140737155413408 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25858/tid=25860] ppid=25856 vsize=599452 CPUtime=822.31 cores=0,2,4,6
/proc/25858/task/25860/stat : 25860 (pwbo1.1) R 25856 25858 24477 0 -1 4202560 7378 0 0 0 81804 427 0 0 25 0 3 0 911170302 613838848 126133 33554432000 4194304 5714118 140737155413408 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1644.63
Current children cumulated vsize (KiB) 599452
[startup+882.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 25925
/proc/meminfo: memFree=15185404/32951124 swapFree=67053176/67111528
[pid=25858] ppid=25856 vsize=599900 CPUtime=1764.63 cores=0,2,4,6
/proc/25858/stat : 25858 (pwbo1.1) S 25856 25858 24477 0 -1 4202496 135195 0 0 0 175177 1286 0 0 18 0 3 0 911170302 614297600 134259 33554432000 4194304 5714118 140737155413408 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/25858/statm: 149975 134259 180 372 0 149600 0
[pid=25858/tid=25859] ppid=25856 vsize=599900 CPUtime=882.31 cores=0,2,4,6
/proc/25858/task/25859/stat : 25859 (pwbo1.1) R 25856 25858 24477 0 -1 4202560 126812 0 0 0 87398 833 0 0 25 0 3 0 911170302 614297600 134259 33554432000 4194304 5714118 140737155413408 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25858/tid=25860] ppid=25856 vsize=599900 CPUtime=882.32 cores=0,2,4,6
/proc/25858/task/25860/stat : 25860 (pwbo1.1) R 25856 25858 24477 0 -1 4202560 8015 0 0 0 87779 453 0 0 25 0 3 0 911170302 614297600 134259 33554432000 4194304 5714118 140737155413408 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1764.63
Current children cumulated vsize (KiB) 599900
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.001 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 25926
/proc/meminfo: memFree=15168900/32951124 swapFree=67053176/67111528
[pid=25858] ppid=25856 vsize=600188 CPUtime=1800.05 cores=0,2,4,6
/proc/25858/stat : 25858 (pwbo1.1) S 25856 25858 24477 0 -1 4202496 137217 0 0 0 178696 1309 0 0 18 0 3 0 911170302 614592512 136204 33554432000 4194304 5714118 140737155413408 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/25858/statm: 150047 136204 180 372 0 149672 0
[pid=25858/tid=25859] ppid=25856 vsize=600188 CPUtime=900.02 cores=0,2,4,6
/proc/25858/task/25859/stat : 25859 (pwbo1.1) R 25856 25858 24477 0 -1 4202560 128834 0 0 0 89155 847 0 0 25 0 3 0 911170302 614592512 136204 33554432000 4194304 5714118 140737155413408 18446744073709551615 4319389 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=25858/tid=25860] ppid=25856 vsize=600188 CPUtime=900.02 cores=0,2,4,6
/proc/25858/task/25860/stat : 25860 (pwbo1.1) R 25856 25858 24477 0 -1 4202560 8015 0 0 0 89541 461 0 0 25 0 3 0 911170302 614592512 136204 33554432000 4194304 5714118 140737155413408 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 600188
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): 1786.98
CPU system time (s): 13.113
CPU usage (%): 200.002
Max. virtual memory (cumulated for all children) (KiB): 600188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.98
system time used= 13.113
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 137225
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= 37
involuntary context switches= 3976
runsolver used 1.44678 second user time and 2.87956 second system time
The end