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-3500427-1307995055/watcher-3500427-1307995055 -o /var/tmp/evaluation-result-3500427-1307995055/solver-3500427-1307995055 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500427-1307995055.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.88 3.92 3.89 3/179 1234
/proc/meminfo: memFree=12862128/32951124 swapFree=67055536/67111528
[pid=1234] ppid=1232 vsize=4092 CPUtime=0 cores=0,2,4,6
/proc/1234/stat : 1234 (pwbo1.1) R 1232 1234 306 0 -1 4202496 466 0 0 0 0 0 0 0 25 0 1 0 891921620 4190208 419 33554432000 4194304 5714118 140733614624560 18446744073709551615 4228608 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/1234/statm: 1023 419 159 372 0 347 0
[startup+0.070732 s]
/proc/loadavg: 3.88 3.92 3.89 3/179 1234
/proc/meminfo: memFree=12862128/32951124 swapFree=67055536/67111528
[pid=1234] ppid=1232 vsize=5440 CPUtime=0.06 cores=0,2,4,6
/proc/1234/stat : 1234 (pwbo1.1) R 1232 1234 306 0 -1 4202496 1048 0 0 0 6 0 0 0 25 0 1 0 891921620 5570560 1001 33554432000 4194304 5714118 140733614624560 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 2 0 0 0
/proc/1234/statm: 1360 1001 402 372 0 684 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5440
[startup+0.100728 s]
/proc/loadavg: 3.88 3.92 3.89 3/179 1234
/proc/meminfo: memFree=12862128/32951124 swapFree=67055536/67111528
[pid=1234] ppid=1232 vsize=148748 CPUtime=0.1 cores=0,2,4,6
/proc/1234/stat : 1234 (pwbo1.1) S 1232 1234 306 0 -1 4202496 4408 0 0 0 9 1 0 0 18 0 3 0 891921620 152317952 4016 33554432000 4194304 5714118 140733614624560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1234/statm: 37187 4033 179 372 0 36812 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 148748
[startup+0.300694 s]
/proc/loadavg: 3.88 3.92 3.89 3/179 1234
/proc/meminfo: memFree=12862128/32951124 swapFree=67055536/67111528
[pid=1234] ppid=1232 vsize=166288 CPUtime=0.49 cores=0,2,4,6
/proc/1234/stat : 1234 (pwbo1.1) S 1232 1234 306 0 -1 4202496 15915 0 0 0 39 10 0 0 18 0 3 0 891921620 170278912 15520 33554432000 4194304 5714118 140733614624560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1234/statm: 41572 15520 180 372 0 41197 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 166288
[startup+0.700627 s]
/proc/loadavg: 3.88 3.92 3.89 3/179 1234
/proc/meminfo: memFree=12862128/32951124 swapFree=67055536/67111528
[pid=1234] ppid=1232 vsize=166520 CPUtime=1.29 cores=0,2,4,6
/proc/1234/stat : 1234 (pwbo1.1) S 1232 1234 306 0 -1 4202496 17135 0 0 0 117 12 0 0 18 0 3 0 891921620 170516480 16691 33554432000 4194304 5714118 140733614624560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1234/statm: 41630 16691 181 372 0 41255 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 166520
[startup+1.50048 s]
/proc/loadavg: 3.88 3.92 3.89 5/182 1237
/proc/meminfo: memFree=12793060/32951124 swapFree=67055536/67111528
[pid=1234] ppid=1232 vsize=166520 CPUtime=2.9 cores=0,2,4,6
/proc/1234/stat : 1234 (pwbo1.1) S 1232 1234 306 0 -1 4202496 18098 0 0 0 273 17 0 0 18 0 3 0 891921620 170516480 17654 33554432000 4194304 5714118 140733614624560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1234/statm: 41630 17654 181 372 0 41255 0
[pid=1234/tid=1236] ppid=1232 vsize=166520 CPUtime=1.4 cores=0,2,4,6
/proc/1234/task/1236/stat : 1236 (pwbo1.1) R 1232 1234 306 0 -1 4202560 2144 0 0 0 136 4 0 0 19 0 3 0 891921629 170516480 17654 33554432000 4194304 5714118 140733614624560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1234/tid=1237] ppid=1232 vsize=166520 CPUtime=1.4 cores=0,2,4,6
/proc/1234/task/1237/stat : 1237 (pwbo1.1) R 1232 1234 306 0 -1 4202560 14702 0 0 0 128 12 0 0 18 0 3 0 891921629 170516480 17654 33554432000 4194304 5714118 140733614624560 18446744073709551615 4288589 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 166520
[startup+3.1012 s]
/proc/loadavg: 3.88 3.92 3.89 5/182 1237
/proc/meminfo: memFree=12778180/32951124 swapFree=67055536/67111528
[pid=1234] ppid=1232 vsize=166664 CPUtime=6.09 cores=0,2,4,6
/proc/1234/stat : 1234 (pwbo1.1) S 1232 1234 306 0 -1 4202496 21062 0 0 0 582 27 0 0 18 0 3 0 891921620 170663936 20618 33554432000 4194304 5714118 140733614624560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1234/statm: 41666 20618 181 372 0 41291 0
[pid=1234/tid=1236] ppid=1232 vsize=166664 CPUtime=3 cores=0,2,4,6
/proc/1234/task/1236/stat : 1236 (pwbo1.1) R 1232 1234 306 0 -1 4202560 4003 0 0 0 288 12 0 0 20 0 3 0 891921629 170663936 20618 33554432000 4194304 5714118 140733614624560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1234/tid=1237] ppid=1232 vsize=166664 CPUtime=3 cores=0,2,4,6
/proc/1234/task/1237/stat : 1237 (pwbo1.1) R 1232 1234 306 0 -1 4202560 15807 0 0 0 285 15 0 0 20 0 3 0 891921629 170663936 20618 33554432000 4194304 5714118 140733614624560 18446744073709551615 4322639 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 166664
[startup+6.30064 s]
/proc/loadavg: 3.89 3.92 3.89 5/182 1237
/proc/meminfo: memFree=12751520/32951124 swapFree=67055536/67111528
[pid=1234] ppid=1232 vsize=166664 CPUtime=12.49 cores=0,2,4,6
/proc/1234/stat : 1234 (pwbo1.1) S 1232 1234 306 0 -1 4202496 23853 0 0 0 1208 41 0 0 18 0 3 0 891921620 170663936 23409 33554432000 4194304 5714118 140733614624560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1234/statm: 41666 23409 182 372 0 41291 0
[pid=1234/tid=1236] ppid=1232 vsize=166664 CPUtime=6.2 cores=0,2,4,6
/proc/1234/task/1236/stat : 1236 (pwbo1.1) R 1232 1234 306 0 -1 4202560 5767 0 0 0 599 21 0 0 25 0 3 0 891921629 170663936 23409 33554432000 4194304 5714118 140733614624560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1234/tid=1237] ppid=1232 vsize=166664 CPUtime=6.19 cores=0,2,4,6
/proc/1234/task/1237/stat : 1237 (pwbo1.1) R 1232 1234 306 0 -1 4202560 16834 0 0 0 600 19 0 0 23 0 3 0 891921629 170663936 23409 33554432000 4194304 5714118 140733614624560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 166664
[startup+12.7005 s]
/proc/loadavg: 3.89 3.92 3.89 5/182 1237
/proc/meminfo: memFree=12719568/32951124 swapFree=67055536/67111528
[pid=1234] ppid=1232 vsize=166520 CPUtime=25.29 cores=0,2,4,6
/proc/1234/stat : 1234 (pwbo1.1) S 1232 1234 306 0 -1 4202496 28017 0 0 0 2467 62 0 0 18 0 3 0 891921620 170516480 27366 33554432000 4194304 5714118 140733614624560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1234/statm: 41630 27366 182 372 0 41255 0
[pid=1234/tid=1236] ppid=1232 vsize=166520 CPUtime=12.6 cores=0,2,4,6
/proc/1234/task/1236/stat : 1236 (pwbo1.1) R 1232 1234 306 0 -1 4202560 8031 0 0 0 1221 39 0 0 18 0 3 0 891921629 170516480 27366 33554432000 4194304 5714118 140733614624560 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1234/tid=1237] ppid=1232 vsize=166520 CPUtime=12.59 cores=0,2,4,6
/proc/1234/task/1237/stat : 1237 (pwbo1.1) R 1232 1234 306 0 -1 4202560 18734 0 0 0 1237 22 0 0 25 0 3 0 891921629 170516480 27366 33554432000 4194304 5714118 140733614624560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 166520
[startup+25.5003 s]
/proc/loadavg: 3.92 3.92 3.89 5/182 1237
/proc/meminfo: memFree=12622476/32951124 swapFree=67055536/67111528
[pid=1234] ppid=1232 vsize=232188 CPUtime=50.89 cores=0,2,4,6
/proc/1234/stat : 1234 (pwbo1.1) S 1232 1234 306 0 -1 4202496 41263 0 0 0 4999 90 0 0 18 0 3 0 891921620 237760512 40612 33554432000 4194304 5714118 140733614624560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1234/statm: 58047 40612 182 372 0 57672 0
[pid=1234/tid=1236] ppid=1232 vsize=232188 CPUtime=25.4 cores=0,2,4,6
/proc/1234/task/1236/stat : 1236 (pwbo1.1) R 1232 1234 306 0 -1 4202560 11631 0 0 0 2480 60 0 0 25 0 3 0 891921629 237760512 40612 33554432000 4194304 5714118 140733614624560 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1234/tid=1237] ppid=1232 vsize=232188 CPUtime=25.39 cores=0,2,4,6
/proc/1234/task/1237/stat : 1237 (pwbo1.1) R 1232 1234 306 0 -1 4202560 28380 0 0 0 2509 30 0 0 25 0 3 0 891921629 237760512 40612 33554432000 4194304 5714118 140733614624560 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.89
Current children cumulated vsize (KiB) 232188
[startup+51.1007 s]
/proc/loadavg: 3.94 3.93 3.89 5/182 1238
/proc/meminfo: memFree=12572728/32951124 swapFree=67055536/67111528
[pid=1234] ppid=1232 vsize=232968 CPUtime=102.09 cores=0,2,4,6
/proc/1234/stat : 1234 (pwbo1.1) S 1232 1234 306 0 -1 4202496 52967 0 0 0 10082 127 0 0 18 0 3 0 891921620 238559232 52316 33554432000 4194304 5714118 140733614624560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1234/statm: 58242 52316 182 372 0 57867 0
[pid=1234/tid=1236] ppid=1232 vsize=232968 CPUtime=51 cores=0,2,4,6
/proc/1234/task/1236/stat : 1236 (pwbo1.1) R 1232 1234 306 0 -1 4202560 13154 0 0 0 5014 86 0 0 25 0 3 0 891921629 238559232 52316 33554432000 4194304 5714118 140733614624560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1234/tid=1237] ppid=1232 vsize=232968 CPUtime=51 cores=0,2,4,6
/proc/1234/task/1237/stat : 1237 (pwbo1.1) R 1232 1234 306 0 -1 4202560 38561 0 0 0 5059 41 0 0 25 0 3 0 891921629 238559232 52316 33554432000 4194304 5714118 140733614624560 18446744073709551615 4319293 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.09
Current children cumulated vsize (KiB) 232968
[startup+102.307 s]
/proc/loadavg: 3.97 3.93 3.90 5/182 1240
/proc/meminfo: memFree=12506580/32951124 swapFree=67055536/67111528
[pid=1234] ppid=1232 vsize=298816 CPUtime=204.5 cores=0,2,4,6
/proc/1234/stat : 1234 (pwbo1.1) S 1232 1234 306 0 -1 4202496 66271 0 0 0 20252 198 0 0 18 0 3 0 891921620 305987584 65620 33554432000 4194304 5714118 140733614624560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1234/statm: 74704 65620 182 372 0 74329 0
[pid=1234/tid=1236] ppid=1232 vsize=298816 CPUtime=102.21 cores=0,2,4,6
/proc/1234/task/1236/stat : 1236 (pwbo1.1) R 1232 1234 306 0 -1 4202560 25825 0 0 0 10076 145 0 0 25 0 3 0 891921629 305987584 65620 33554432000 4194304 5714118 140733614624560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1234/tid=1237] ppid=1232 vsize=298816 CPUtime=102.21 cores=0,2,4,6
/proc/1234/task/1237/stat : 1237 (pwbo1.1) R 1232 1234 306 0 -1 4202560 39194 0 0 0 10168 53 0 0 25 0 3 0 891921629 305987584 65620 33554432000 4194304 5714118 140733614624560 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.5
Current children cumulated vsize (KiB) 298816
[startup+162.301 s]
/proc/loadavg: 3.99 3.94 3.91 5/182 1241
/proc/meminfo: memFree=12318076/32951124 swapFree=67055536/67111528
[pid=1234] ppid=1232 vsize=365116 CPUtime=324.5 cores=0,2,4,6
/proc/1234/stat : 1234 (pwbo1.1) S 1232 1234 306 0 -1 4202496 78462 0 0 0 32195 255 0 0 18 0 3 0 891921620 373878784 77661 33554432000 4194304 5714118 140733614624560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1234/statm: 91279 77661 182 372 0 90904 0
[pid=1234/tid=1236] ppid=1232 vsize=365116 CPUtime=162.2 cores=0,2,4,6
/proc/1234/task/1236/stat : 1236 (pwbo1.1) R 1232 1234 306 0 -1 4202560 29900 0 0 0 16034 186 0 0 25 0 3 0 891921629 373878784 77661 33554432000 4194304 5714118 140733614624560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1234/tid=1237] ppid=1232 vsize=365116 CPUtime=162.2 cores=0,2,4,6
/proc/1234/task/1237/stat : 1237 (pwbo1.1) R 1232 1234 306 0 -1 4202560 47310 0 0 0 16152 68 0 0 25 0 3 0 891921629 373878784 77661 33554432000 4194304 5714118 140733614624560 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 324.5
Current children cumulated vsize (KiB) 365116
[startup+222.301 s]
/proc/loadavg: 3.99 3.95 3.91 5/182 1252
/proc/meminfo: memFree=12123060/32951124 swapFree=67055536/67111528
[pid=1234] ppid=1232 vsize=564144 CPUtime=444.49 cores=0,2,4,6
/proc/1234/stat : 1234 (pwbo1.1) S 1232 1234 306 0 -1 4202496 119398 0 0 0 44106 343 0 0 18 0 3 0 891921620 577683456 118597 33554432000 4194304 5714118 140733614624560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1234/statm: 141036 118597 182 372 0 140661 0
[pid=1234/tid=1236] ppid=1232 vsize=564144 CPUtime=222.21 cores=0,2,4,6
/proc/1234/task/1236/stat : 1236 (pwbo1.1) R 1232 1234 306 0 -1 4202560 42263 0 0 0 21969 252 0 0 25 0 3 0 891921629 577683456 118597 33554432000 4194304 5714118 140733614624560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1234/tid=1237] ppid=1232 vsize=564144 CPUtime=222.2 cores=0,2,4,6
/proc/1234/task/1237/stat : 1237 (pwbo1.1) R 1232 1234 306 0 -1 4202560 75883 0 0 0 22129 91 0 0 25 0 3 0 891921629 577683456 118597 33554432000 4194304 5714118 140733614624560 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 444.49
Current children cumulated vsize (KiB) 564144
[startup+282.301 s]
/proc/loadavg: 3.99 3.96 3.91 5/182 1253
/proc/meminfo: memFree=11895764/32951124 swapFree=67055536/67111528
[pid=1234] ppid=1232 vsize=696620 CPUtime=564.5 cores=0,2,4,6
/proc/1234/stat : 1234 (pwbo1.1) S 1232 1234 306 0 -1 4202496 164521 0 0 0 56051 399 0 0 18 0 3 0 891921620 713338880 163509 33554432000 4194304 5714118 140733614624560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1234/statm: 174155 163509 182 372 0 173780 0
[pid=1234/tid=1236] ppid=1232 vsize=696620 CPUtime=282.21 cores=0,2,4,6
/proc/1234/task/1236/stat : 1236 (pwbo1.1) R 1232 1234 306 0 -1 4202560 45885 0 0 0 27936 285 0 0 18 0 3 0 891921629 713338880 163509 33554432000 4194304 5714118 140733614624560 18446744073709551615 4200720 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1234/tid=1237] ppid=1232 vsize=696620 CPUtime=282.2 cores=0,2,4,6
/proc/1234/task/1237/stat : 1237 (pwbo1.1) R 1232 1234 306 0 -1 4202560 117384 0 0 0 28106 114 0 0 25 0 3 0 891921629 713338880 163509 33554432000 4194304 5714118 140733614624560 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 564.5
Current children cumulated vsize (KiB) 696620
[startup+342.301 s]
/proc/loadavg: 3.99 3.96 3.91 5/182 1255
/proc/meminfo: memFree=11687784/32951124 swapFree=67055536/67111528
[pid=1234] ppid=1232 vsize=893228 CPUtime=684.5 cores=0,2,4,6
/proc/1234/stat : 1234 (pwbo1.1) S 1232 1234 306 0 -1 4202496 203640 0 0 0 67990 460 0 0 18 0 3 0 891921620 914665472 202628 33554432000 4194304 5714118 140733614624560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1234/statm: 223307 202628 182 372 0 222932 0
[pid=1234/tid=1236] ppid=1232 vsize=893228 CPUtime=342.2 cores=0,2,4,6
/proc/1234/task/1236/stat : 1236 (pwbo1.1) R 1232 1234 306 0 -1 4202560 54407 0 0 0 33894 326 0 0 20 0 3 0 891921629 914665472 202628 33554432000 4194304 5714118 140733614624560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1234/tid=1237] ppid=1232 vsize=893228 CPUtime=342.2 cores=0,2,4,6
/proc/1234/task/1237/stat : 1237 (pwbo1.1) R 1232 1234 306 0 -1 4202560 147981 0 0 0 34087 133 0 0 25 0 3 0 891921629 914665472 202628 33554432000 4194304 5714118 140733614624560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 684.5
Current children cumulated vsize (KiB) 893228
[startup+402.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 1257
/proc/meminfo: memFree=11484524/32951124 swapFree=67055536/67111528
[pid=1234] ppid=1232 vsize=1025248 CPUtime=804.51 cores=0,2,4,6
/proc/1234/stat : 1234 (pwbo1.1) S 1232 1234 306 0 -1 4202496 233538 0 0 0 79935 516 0 0 18 0 3 0 891921620 1049853952 232524 33554432000 4194304 5714118 140733614624560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1234/statm: 256312 232524 182 372 0 255937 0
[pid=1234/tid=1236] ppid=1232 vsize=1025248 CPUtime=402.21 cores=0,2,4,6
/proc/1234/task/1236/stat : 1236 (pwbo1.1) R 1232 1234 306 0 -1 4202560 60183 0 0 0 39861 360 0 0 25 0 3 0 891921629 1049853952 232524 33554432000 4194304 5714118 140733614624560 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1234/tid=1237] ppid=1232 vsize=1025248 CPUtime=402.2 cores=0,2,4,6
/proc/1234/task/1237/stat : 1237 (pwbo1.1) R 1232 1234 306 0 -1 4202560 172103 0 0 0 40065 155 0 0 25 0 3 0 891921629 1049853952 232524 33554432000 4194304 5714118 140733614624560 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 804.51
Current children cumulated vsize (KiB) 1025248
[startup+462.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 1258
/proc/meminfo: memFree=11360632/32951124 swapFree=67055536/67111528
[pid=1234] ppid=1232 vsize=1090784 CPUtime=924.51 cores=0,2,4,6
/proc/1234/stat : 1234 (pwbo1.1) S 1232 1234 306 0 -1 4202496 255156 0 0 0 91883 568 0 0 18 0 3 0 891921620 1116962816 254141 33554432000 4194304 5714118 140733614624560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1234/statm: 272696 254141 182 372 0 272321 0
[pid=1234/tid=1236] ppid=1232 vsize=1090784 CPUtime=462.21 cores=0,2,4,6
/proc/1234/task/1236/stat : 1236 (pwbo1.1) R 1232 1234 306 0 -1 4202560 66255 0 0 0 45825 396 0 0 18 0 3 0 891921629 1116962816 254141 33554432000 4194304 5714118 140733614624560 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1234/tid=1237] ppid=1232 vsize=1090784 CPUtime=462.2 cores=0,2,4,6
/proc/1234/task/1237/stat : 1237 (pwbo1.1) R 1232 1234 306 0 -1 4202560 187649 0 0 0 46049 171 0 0 25 0 3 0 891921629 1116962816 254141 33554432000 4194304 5714118 140733614624560 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 924.51
Current children cumulated vsize (KiB) 1090784
[startup+522.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 1260
/proc/meminfo: memFree=11263768/32951124 swapFree=67055536/67111528
[pid=1234] ppid=1232 vsize=1222552 CPUtime=1044.51 cores=0,2,4,6
/proc/1234/stat : 1234 (pwbo1.1) S 1232 1234 306 0 -1 4202496 279687 0 0 0 103816 635 0 0 18 0 3 0 891921620 1251893248 278672 33554432000 4194304 5714118 140733614624560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1234/statm: 305638 278672 182 372 0 305263 0
[pid=1234/tid=1236] ppid=1232 vsize=1222552 CPUtime=522.21 cores=0,2,4,6
/proc/1234/task/1236/stat : 1236 (pwbo1.1) R 1232 1234 306 0 -1 4202560 73146 0 0 0 51775 446 0 0 18 0 3 0 891921629 1251893248 278672 33554432000 4194304 5714118 140733614624560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1234/tid=1237] ppid=1232 vsize=1222552 CPUtime=522.2 cores=0,2,4,6
/proc/1234/task/1237/stat : 1237 (pwbo1.1) R 1232 1234 306 0 -1 4202560 205289 0 0 0 52032 188 0 0 25 0 3 0 891921629 1251893248 278672 33554432000 4194304 5714118 140733614624560 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1044.51
Current children cumulated vsize (KiB) 1222552
[startup+582.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 1261
/proc/meminfo: memFree=11100940/32951124 swapFree=67055536/67111528
[pid=1234] ppid=1232 vsize=1289304 CPUtime=1164.52 cores=0,2,4,6
/proc/1234/stat : 1234 (pwbo1.1) S 1232 1234 306 0 -1 4202496 300698 0 0 0 115763 689 0 0 18 0 3 0 891921620 1320247296 299616 33554432000 4194304 5714118 140733614624560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1234/statm: 322326 299616 182 372 0 321951 0
[pid=1234/tid=1236] ppid=1232 vsize=1289304 CPUtime=582.21 cores=0,2,4,6
/proc/1234/task/1236/stat : 1236 (pwbo1.1) R 1232 1234 306 0 -1 4202560 77137 0 0 0 57739 482 0 0 25 0 3 0 891921629 1320247296 299616 33554432000 4194304 5714118 140733614624560 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1234/tid=1237] ppid=1232 vsize=1289304 CPUtime=582.2 cores=0,2,4,6
/proc/1234/task/1237/stat : 1237 (pwbo1.1) R 1232 1234 306 0 -1 4202560 222309 0 0 0 58015 205 0 0 25 0 3 0 891921629 1320247296 299616 33554432000 4194304 5714118 140733614624560 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1164.52
Current children cumulated vsize (KiB) 1289304
[startup+642.301 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 1263
/proc/meminfo: memFree=10929424/32951124 swapFree=67055536/67111528
[pid=1234] ppid=1232 vsize=1355056 CPUtime=1284.52 cores=0,2,4,6
/proc/1234/stat : 1234 (pwbo1.1) S 1232 1234 306 0 -1 4202496 322789 0 0 0 127711 741 0 0 18 0 3 0 891921620 1387577344 321707 33554432000 4194304 5714118 140733614624560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1234/statm: 338764 321707 182 372 0 338389 0
[pid=1234/tid=1236] ppid=1232 vsize=1355056 CPUtime=642.22 cores=0,2,4,6
/proc/1234/task/1236/stat : 1236 (pwbo1.1) R 1232 1234 306 0 -1 4202560 81629 0 0 0 63702 520 0 0 25 0 3 0 891921629 1387577344 321708 33554432000 4194304 5714118 140733614624560 18446744073709551615 4311806 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1234/tid=1237] ppid=1232 vsize=1355056 CPUtime=642.22 cores=0,2,4,6
/proc/1234/task/1237/stat : 1237 (pwbo1.1) R 1232 1234 306 0 -1 4202560 239909 0 0 0 64001 221 0 0 25 0 3 0 891921629 1387577344 321708 33554432000 4194304 5714118 140733614624560 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1284.52
Current children cumulated vsize (KiB) 1355056
[startup+702.3 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 1265
/proc/meminfo: memFree=10837272/32951124 swapFree=67055536/67111528
[pid=1234] ppid=1232 vsize=1486824 CPUtime=1404.51 cores=0,2,4,6
/proc/1234/stat : 1234 (pwbo1.1) S 1232 1234 306 0 -1 4202496 345880 0 0 0 139643 808 0 0 18 0 3 0 891921620 1522507776 344798 33554432000 4194304 5714118 140733614624560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1234/statm: 371706 344798 182 372 0 371331 0
[pid=1234/tid=1236] ppid=1232 vsize=1486824 CPUtime=702.21 cores=0,2,4,6
/proc/1234/task/1236/stat : 1236 (pwbo1.1) R 1232 1234 306 0 -1 4202560 90532 0 0 0 69647 574 0 0 25 0 3 0 891921629 1522507776 344798 33554432000 4194304 5714118 140733614624560 18446744073709551615 4319723 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1234/tid=1237] ppid=1232 vsize=1486824 CPUtime=702.21 cores=0,2,4,6
/proc/1234/task/1237/stat : 1237 (pwbo1.1) R 1232 1234 306 0 -1 4202560 254096 0 0 0 69987 234 0 0 25 0 3 0 891921629 1522507776 344798 33554432000 4194304 5714118 140733614624560 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1404.51
Current children cumulated vsize (KiB) 1486824
[startup+762.307 s]
/proc/loadavg: 3.99 3.97 3.91 5/182 1266
/proc/meminfo: memFree=10671336/32951124 swapFree=67055536/67111528
[pid=1234] ppid=1232 vsize=1487148 CPUtime=1524.53 cores=0,2,4,6
/proc/1234/stat : 1234 (pwbo1.1) S 1232 1234 306 0 -1 4202496 365856 0 0 0 151590 863 0 0 18 0 3 0 891921620 1522839552 364774 33554432000 4194304 5714118 140733614624560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1234/statm: 371787 364774 182 372 0 371412 0
[pid=1234/tid=1236] ppid=1232 vsize=1487148 CPUtime=762.22 cores=0,2,4,6
/proc/1234/task/1236/stat : 1236 (pwbo1.1) R 1232 1234 306 0 -1 4202560 97785 0 0 0 75605 617 0 0 25 0 3 0 891921629 1522839552 364774 33554432000 4194304 5714118 140733614624560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1234/tid=1237] ppid=1232 vsize=1487148 CPUtime=762.22 cores=0,2,4,6
/proc/1234/task/1237/stat : 1237 (pwbo1.1) R 1232 1234 306 0 -1 4202560 266819 0 0 0 75977 245 0 0 25 0 3 0 891921629 1522839552 364774 33554432000 4194304 5714118 140733614624560 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1524.53
Current children cumulated vsize (KiB) 1487148
[startup+822.301 s]
/proc/loadavg: 3.90 3.95 3.90 3/175 1293
/proc/meminfo: memFree=11589852/32951124 swapFree=67055536/67111528
[pid=1234] ppid=1232 vsize=1618220 CPUtime=1644.52 cores=0,2,4,6
/proc/1234/stat : 1234 (pwbo1.1) S 1232 1234 306 0 -1 4202496 388599 0 0 0 163534 918 0 0 18 0 3 0 891921620 1657057280 387517 33554432000 4194304 5714118 140733614624560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1234/statm: 404555 387517 182 372 0 404180 0
[pid=1234/tid=1236] ppid=1232 vsize=1618220 CPUtime=822.21 cores=0,2,4,6
/proc/1234/task/1236/stat : 1236 (pwbo1.1) R 1232 1234 306 0 -1 4202560 105195 0 0 0 81562 659 0 0 25 0 3 0 891921629 1657057280 387517 33554432000 4194304 5714118 140733614624560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1234/tid=1237] ppid=1232 vsize=1618220 CPUtime=822.21 cores=0,2,4,6
/proc/1234/task/1237/stat : 1237 (pwbo1.1) R 1232 1234 306 0 -1 4202560 282152 0 0 0 81963 258 0 0 25 0 3 0 891921629 1657057280 387517 33554432000 4194304 5714118 140733614624560 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1644.52
Current children cumulated vsize (KiB) 1618220
[startup+882.301 s]
/proc/loadavg: 3.67 3.85 3.87 5/182 1310
/proc/meminfo: memFree=11446484/32951124 swapFree=67055536/67111528
[pid=1234] ppid=1232 vsize=1684080 CPUtime=1764.52 cores=0,2,4,6
/proc/1234/stat : 1234 (pwbo1.1) S 1232 1234 306 0 -1 4202496 407593 0 0 0 175487 965 0 0 18 0 3 0 891921620 1724497920 406511 33554432000 4194304 5714118 140733614624560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1234/statm: 421020 406511 182 372 0 420645 0
[pid=1234/tid=1236] ppid=1232 vsize=1684080 CPUtime=882.22 cores=0,2,4,6
/proc/1234/task/1236/stat : 1236 (pwbo1.1) R 1232 1234 306 0 -1 4202560 106732 0 0 0 87540 682 0 0 25 0 3 0 891921629 1724497920 406511 33554432000 4194304 5714118 140733614624560 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1234/tid=1237] ppid=1232 vsize=1684080 CPUtime=882.21 cores=0,2,4,6
/proc/1234/task/1237/stat : 1237 (pwbo1.1) R 1232 1234 306 0 -1 4202560 299609 0 0 0 87938 283 0 0 25 0 3 0 891921629 1724497920 406511 33554432000 4194304 5714118 140733614624560 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1764.52
Current children cumulated vsize (KiB) 1684080
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.1 s]
/proc/loadavg: 3.76 3.85 3.87 5/182 1311
/proc/meminfo: memFree=11399480/32951124 swapFree=67055536/67111528
[pid=1234] ppid=1232 vsize=1749864 CPUtime=1800.12 cores=0,2,4,6
/proc/1234/stat : 1234 (pwbo1.1) S 1232 1234 306 0 -1 4202496 415245 0 0 0 179021 991 0 0 18 0 3 0 891921620 1791860736 414163 33554432000 4194304 5714118 140733614624560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1234/statm: 437466 414163 182 372 0 437091 0
[pid=1234/tid=1236] ppid=1232 vsize=1749864 CPUtime=900.02 cores=0,2,4,6
/proc/1234/task/1236/stat : 1236 (pwbo1.1) R 1232 1234 306 0 -1 4202560 107000 0 0 0 89313 689 0 0 25 0 3 0 891921629 1791860736 414165 33554432000 4194304 5714118 140733614624560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1234/tid=1237] ppid=1232 vsize=1749864 CPUtime=900.01 cores=0,2,4,6
/proc/1234/task/1237/stat : 1237 (pwbo1.1) R 1232 1234 306 0 -1 4202560 306995 0 0 0 89700 301 0 0 25 0 3 0 891921629 1791860736 414165 33554432000 4194304 5714118 140733614624560 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 1749864
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.1 s]
/proc/loadavg: 3.76 3.85 3.87 5/182 1311
/proc/meminfo: memFree=11399480/32951124 swapFree=67055536/67111528
[pid=1234] ppid=1232 vsize=1749864 CPUtime=1800.12 cores=0,2,4,6
/proc/1234/stat : 1234 (pwbo1.1) S 1232 1234 306 0 -1 4202496 415245 0 0 0 179021 991 0 0 18 0 3 0 891921620 1791860736 414163 33554432000 4194304 5714118 140733614624560 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/1234/statm: 437466 414163 182 372 0 437091 0
[pid=1234/tid=1236] ppid=1232 vsize=1749864 CPUtime=900.02 cores=0,2,4,6
/proc/1234/task/1236/stat : 1236 (pwbo1.1) R 1232 1234 306 0 -1 4202560 107000 0 0 0 89313 689 0 0 25 0 3 0 891921629 1791860736 414165 33554432000 4194304 5714118 140733614624560 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=1234/tid=1237] ppid=1232 vsize=1749864 CPUtime=900.01 cores=0,2,4,6
/proc/1234/task/1237/stat : 1237 (pwbo1.1) R 1232 1234 306 0 -1 4202560 306995 0 0 0 89700 301 0 0 25 0 3 0 891921629 1791860736 414165 33554432000 4194304 5714118 140733614624560 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 1749864
Child status: 0
Real time (s): 900.177
CPU time (s): 1800.22
CPU user time (s): 1790.23
CPU system time (s): 9.98248
CPU usage (%): 199.985
Max. virtual memory (cumulated for all children) (KiB): 1749864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.23
system time used= 9.98248
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 415256
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= 677
involuntary context switches= 11897
runsolver used 1.65275 second user time and 3.18252 second system time
The end