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-3500054-1307989582/watcher-3500054-1307989582 -o /tmp/evaluation-result-3500054-1307989582/solver-3500054-1307989582 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500054-1307989582.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: 1.92 1.98 1.99 1/170 30012
/proc/meminfo: memFree=11985512/32951132 swapFree=67054624/67111528
[pid=30012] ppid=30010 vsize=134960 CPUtime=0 cores=0,2,4,6
/proc/30012/stat : 30012 (pwbo1.1) S 30010 30012 29599 0 -1 4202496 619 0 0 0 0 0 0 0 23 0 3 0 910557843 138199040 567 33554432000 4194304 5714118 140735572603728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30012/statm: 33740 567 178 372 0 33365 0
[pid=30012/tid=30013] ppid=30010 vsize=134960 CPUtime=0 cores=0,2,4,6
/proc/30012/task/30013/stat : 30013 (pwbo1.1) R 30010 30012 29599 0 -1 4202560 186 0 0 0 0 0 0 0 25 0 3 0 910557843 138199040 567 33554432000 4194304 5714118 140735572603728 18446744073709551615 5013561 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=30012/tid=30014] ppid=30010 vsize=134960 CPUtime=0 cores=0,2,4,6
/proc/30012/task/30014/stat : 30014 (pwbo1.1) R 30010 30012 29599 0 -1 4202560 57 0 0 0 0 0 0 0 18 0 3 0 910557843 138199040 567 33554432000 4194304 5714118 140735572603728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
[startup+0.082205 s]
/proc/loadavg: 1.92 1.98 1.99 1/170 30012
/proc/meminfo: memFree=11985512/32951132 swapFree=67054624/67111528
[pid=30012] ppid=30010 vsize=134960 CPUtime=0.15 cores=0,2,4,6
/proc/30012/stat : 30012 (pwbo1.1) S 30010 30012 29599 0 -1 4202496 1108 0 0 0 14 1 0 0 23 0 3 0 910557843 138199040 1056 33554432000 4194304 5714118 140735572603728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30012/statm: 33740 1056 179 372 0 33365 0
[pid=30012/tid=30013] ppid=30010 vsize=134960 CPUtime=0.07 cores=0,2,4,6
/proc/30012/task/30013/stat : 30013 (pwbo1.1) R 30010 30012 29599 0 -1 4202560 404 0 0 0 7 0 0 0 25 0 3 0 910557843 138199040 1056 33554432000 4194304 5714118 140735572603728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=30012/tid=30014] ppid=30010 vsize=134960 CPUtime=0.07 cores=0,2,4,6
/proc/30012/task/30014/stat : 30014 (pwbo1.1) R 30010 30012 29599 0 -1 4202560 328 0 0 0 6 1 0 0 18 0 3 0 910557843 138199040 1056 33554432000 4194304 5714118 140735572603728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 134960
[startup+0.101168 s]
/proc/loadavg: 1.92 1.98 1.99 1/170 30012
/proc/meminfo: memFree=11985512/32951132 swapFree=67054624/67111528
[pid=30012] ppid=30010 vsize=134960 CPUtime=0.19 cores=0,2,4,6
/proc/30012/stat : 30012 (pwbo1.1) S 30010 30012 29599 0 -1 4202496 1160 0 0 0 18 1 0 0 23 0 3 0 910557843 138199040 1108 33554432000 4194304 5714118 140735572603728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30012/statm: 33740 1108 179 372 0 33365 0
[pid=30012/tid=30013] ppid=30010 vsize=134960 CPUtime=0.09 cores=0,2,4,6
/proc/30012/task/30013/stat : 30013 (pwbo1.1) R 30010 30012 29599 0 -1 4202560 404 0 0 0 9 0 0 0 25 0 3 0 910557843 138199040 1108 33554432000 4194304 5714118 140735572603728 18446744073709551615 4323015 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=30012/tid=30014] ppid=30010 vsize=134960 CPUtime=0.09 cores=0,2,4,6
/proc/30012/task/30014/stat : 30014 (pwbo1.1) R 30010 30012 29599 0 -1 4202560 380 0 0 0 8 1 0 0 18 0 3 0 910557843 138199040 1108 33554432000 4194304 5714118 140735572603728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 134960
[startup+0.30119 s]
/proc/loadavg: 1.92 1.98 1.99 1/170 30012
/proc/meminfo: memFree=11985512/32951132 swapFree=67054624/67111528
[pid=30012] ppid=30010 vsize=134960 CPUtime=0.59 cores=0,2,4,6
/proc/30012/stat : 30012 (pwbo1.1) S 30010 30012 29599 0 -1 4202496 1607 0 0 0 57 2 0 0 23 0 3 0 910557843 138199040 1555 33554432000 4194304 5714118 140735572603728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30012/statm: 33740 1555 179 372 0 33365 0
[pid=30012/tid=30013] ppid=30010 vsize=134960 CPUtime=0.29 cores=0,2,4,6
/proc/30012/task/30013/stat : 30013 (pwbo1.1) R 30010 30012 29599 0 -1 4202560 595 0 0 0 29 0 0 0 25 0 3 0 910557843 138199040 1555 33554432000 4194304 5714118 140735572603728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=30012/tid=30014] ppid=30010 vsize=134960 CPUtime=0.29 cores=0,2,4,6
/proc/30012/task/30014/stat : 30014 (pwbo1.1) R 30010 30012 29599 0 -1 4202560 636 0 0 0 27 2 0 0 18 0 3 0 910557843 138199040 1555 33554432000 4194304 5714118 140735572603728 18446744073709551615 4323015 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 134960
[startup+0.875059 s]
/proc/loadavg: 1.92 1.98 1.99 1/170 30012
/proc/meminfo: memFree=11985512/32951132 swapFree=67054624/67111528
[pid=30012] ppid=30010 vsize=135344 CPUtime=1.75 cores=0,2,4,6
/proc/30012/stat : 30012 (pwbo1.1) S 30010 30012 29599 0 -1 4202496 2603 0 0 0 169 6 0 0 23 0 3 0 910557843 138592256 2485 33554432000 4194304 5714118 140735572603728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30012/statm: 33836 2534 179 372 0 33461 0
[pid=30012/tid=30013] ppid=30010 vsize=134960 CPUtime=0.97 cores=0,2,4,6
/proc/30012/task/30013/stat : 30013 (pwbo1.1) R 30010 30012 29599 0 -1 4202560 992 0 0 0 96 1 0 0 25 0 3 0 910557843 138199040 2625 33554432000 4194304 5714118 140735572603728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=30012/tid=30014] ppid=30010 vsize=134960 CPUtime=1.01 cores=0,2,4,6
/proc/30012/task/30014/stat : 30014 (pwbo1.1) R 30010 30012 29599 0 -1 4202560 1498 0 0 0 96 5 0 0 19 0 3 0 910557843 138199040 2676 33554432000 4194304 5714118 140735572603728 18446744073709551615 4200288 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.75
Current children cumulated vsize (KiB) 135344
[startup+3.30667 s]
/proc/loadavg: 1.92 1.98 1.99 5/180 30031
/proc/meminfo: memFree=11925280/32951132 swapFree=67054624/67111528
[pid=30012] ppid=30010 vsize=134960 CPUtime=6.61 cores=0,2,4,6
/proc/30012/stat : 30012 (pwbo1.1) S 30010 30012 29599 0 -1 4202496 4968 0 0 0 647 14 0 0 23 0 3 0 910557843 138199040 4577 33554432000 4194304 5714118 140735572603728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30012/statm: 33740 4577 179 372 0 33365 0
[pid=30012/tid=30013] ppid=30010 vsize=134960 CPUtime=3.3 cores=0,2,4,6
/proc/30012/task/30013/stat : 30013 (pwbo1.1) R 30010 30012 29599 0 -1 4202560 1811 0 0 0 327 3 0 0 25 0 3 0 910557843 138199040 4577 33554432000 4194304 5714118 140735572603728 18446744073709551615 4200720 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=30012/tid=30014] ppid=30010 vsize=134960 CPUtime=3.29 cores=0,2,4,6
/proc/30012/task/30014/stat : 30014 (pwbo1.1) R 30010 30012 29599 0 -1 4202560 2781 0 0 0 319 10 0 0 25 0 3 0 910557843 138199040 4577 33554432000 4194304 5714118 140735572603728 18446744073709551615 4323024 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.61
Current children cumulated vsize (KiB) 134960
[startup+3.40067 s]
/proc/loadavg: 1.92 1.98 1.99 5/180 30031
/proc/meminfo: memFree=11925280/32951132 swapFree=67054624/67111528
[pid=30012] ppid=30010 vsize=134960 CPUtime=6.79 cores=0,2,4,6
/proc/30012/stat : 30012 (pwbo1.1) S 30010 30012 29599 0 -1 4202496 4968 0 0 0 665 14 0 0 23 0 3 0 910557843 138199040 4577 33554432000 4194304 5714118 140735572603728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30012/statm: 33740 4577 179 372 0 33365 0
[pid=30012/tid=30013] ppid=30010 vsize=134960 CPUtime=3.39 cores=0,2,4,6
/proc/30012/task/30013/stat : 30013 (pwbo1.1) R 30010 30012 29599 0 -1 4202560 1811 0 0 0 336 3 0 0 25 0 3 0 910557843 138199040 4577 33554432000 4194304 5714118 140735572603728 18446744073709551615 4323002 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=30012/tid=30014] ppid=30010 vsize=134960 CPUtime=3.39 cores=0,2,4,6
/proc/30012/task/30014/stat : 30014 (pwbo1.1) R 30010 30012 29599 0 -1 4202560 2781 0 0 0 329 10 0 0 25 0 3 0 910557843 138199040 4577 33554432000 4194304 5714118 140735572603728 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.79
Current children cumulated vsize (KiB) 134960
[startup+6.30115 s]
/proc/loadavg: 2.25 2.05 2.02 5/180 30031
/proc/meminfo: memFree=11864348/32951132 swapFree=67054624/67111528
[pid=30012] ppid=30010 vsize=134960 CPUtime=12.59 cores=0,2,4,6
/proc/30012/stat : 30012 (pwbo1.1) S 30010 30012 29599 0 -1 4202496 7002 0 0 0 1239 20 0 0 23 0 3 0 910557843 138199040 6039 33554432000 4194304 5714118 140735572603728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30012/statm: 33740 6039 179 372 0 33365 0
[pid=30012/tid=30013] ppid=30010 vsize=134960 CPUtime=6.28 cores=0,2,4,6
/proc/30012/task/30013/stat : 30013 (pwbo1.1) R 30010 30012 29599 0 -1 4202560 3265 0 0 0 623 5 0 0 25 0 3 0 910557843 138199040 6039 33554432000 4194304 5714118 140735572603728 18446744073709551615 4323017 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=30012/tid=30014] ppid=30010 vsize=134960 CPUtime=6.29 cores=0,2,4,6
/proc/30012/task/30014/stat : 30014 (pwbo1.1) R 30010 30012 29599 0 -1 4202560 3361 0 0 0 615 14 0 0 20 0 3 0 910557843 138199040 6039 33554432000 4194304 5714118 140735572603728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 134960
[startup+12.701 s]
/proc/loadavg: 2.39 2.08 2.03 6/180 30031
/proc/meminfo: memFree=11816796/32951132 swapFree=67054624/67111528
[pid=30012] ppid=30010 vsize=134960 CPUtime=25.39 cores=0,2,4,6
/proc/30012/stat : 30012 (pwbo1.1) S 30010 30012 29599 0 -1 4202496 10258 0 0 0 2509 30 0 0 23 0 3 0 910557843 138199040 8578 33554432000 4194304 5714118 140735572603728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30012/statm: 33740 8578 179 372 0 33365 0
[pid=30012/tid=30013] ppid=30010 vsize=134960 CPUtime=12.69 cores=0,2,4,6
/proc/30012/task/30013/stat : 30013 (pwbo1.1) R 30010 30012 29599 0 -1 4202560 5450 0 0 0 1260 9 0 0 25 0 3 0 910557843 138199040 8578 33554432000 4194304 5714118 140735572603728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=30012/tid=30014] ppid=30010 vsize=134960 CPUtime=12.68 cores=0,2,4,6
/proc/30012/task/30014/stat : 30014 (pwbo1.1) R 30010 30012 29599 0 -1 4202560 4432 0 0 0 1248 20 0 0 25 0 3 0 910557843 138199040 8578 33554432000 4194304 5714118 140735572603728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 134960
[startup+25.5008 s]
/proc/loadavg: 2.75 2.18 2.06 6/180 30031
/proc/meminfo: memFree=11757472/32951132 swapFree=67054624/67111528
[pid=30012] ppid=30010 vsize=136888 CPUtime=50.98 cores=0,2,4,6
/proc/30012/stat : 30012 (pwbo1.1) S 30010 30012 29599 0 -1 4202496 15926 0 0 0 5053 45 0 0 23 0 3 0 910557843 140173312 14096 33554432000 4194304 5714118 140735572603728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30012/statm: 34222 14096 180 372 0 33847 0
[pid=30012/tid=30013] ppid=30010 vsize=136888 CPUtime=25.48 cores=0,2,4,6
/proc/30012/task/30013/stat : 30013 (pwbo1.1) R 30010 30012 29599 0 -1 4202560 10048 0 0 0 2534 14 0 0 25 0 3 0 910557843 140173312 14096 33554432000 4194304 5714118 140735572603728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=30012/tid=30014] ppid=30010 vsize=136888 CPUtime=25.49 cores=0,2,4,6
/proc/30012/task/30014/stat : 30014 (pwbo1.1) R 30010 30012 29599 0 -1 4202560 5502 0 0 0 2519 30 0 0 25 0 3 0 910557843 140173312 14096 33554432000 4194304 5714118 140735572603728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 136888
[startup+51.1004 s]
/proc/loadavg: 3.17 2.32 2.11 5/180 30032
/proc/meminfo: memFree=11676656/32951132 swapFree=67054624/67111528
[pid=30012] ppid=30010 vsize=135924 CPUtime=102.19 cores=0,2,4,6
/proc/30012/stat : 30012 (pwbo1.1) S 30010 30012 29599 0 -1 4202496 20571 0 0 0 10151 68 0 0 23 0 3 0 910557843 139186176 18169 33554432000 4194304 5714118 140735572603728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30012/statm: 33981 18169 180 372 0 33606 0
[pid=30012/tid=30013] ppid=30010 vsize=135924 CPUtime=51.08 cores=0,2,4,6
/proc/30012/task/30013/stat : 30013 (pwbo1.1) R 30010 30012 29599 0 -1 4202560 13380 0 0 0 5087 21 0 0 25 0 3 0 910557843 139186176 18169 33554432000 4194304 5714118 140735572603728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=30012/tid=30014] ppid=30010 vsize=135924 CPUtime=51.09 cores=0,2,4,6
/proc/30012/task/30014/stat : 30014 (pwbo1.1) R 30010 30012 29599 0 -1 4202560 6815 0 0 0 5063 46 0 0 25 0 3 0 910557843 139186176 18169 33554432000 4194304 5714118 140735572603728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 135924
[startup+102.306 s]
/proc/loadavg: 3.67 2.60 2.21 5/180 30033
/proc/meminfo: memFree=11571356/32951132 swapFree=67054624/67111528
[pid=30012] ppid=30010 vsize=203384 CPUtime=204.6 cores=0,2,4,6
/proc/30012/stat : 30012 (pwbo1.1) S 30010 30012 29599 0 -1 4202496 28698 0 0 0 20347 113 0 0 23 0 3 0 910557843 208265216 26079 33554432000 4194304 5714118 140735572603728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30012/statm: 50846 26079 180 372 0 50471 0
[pid=30012/tid=30013] ppid=30010 vsize=203384 CPUtime=102.28 cores=0,2,4,6
/proc/30012/task/30013/stat : 30013 (pwbo1.1) R 30010 30012 29599 0 -1 4202560 19324 0 0 0 10191 37 0 0 25 0 3 0 910557843 208265216 26079 33554432000 4194304 5714118 140735572603728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=30012/tid=30014] ppid=30010 vsize=203384 CPUtime=102.3 cores=0,2,4,6
/proc/30012/task/30014/stat : 30014 (pwbo1.1) R 30010 30012 29599 0 -1 4202560 8998 0 0 0 10155 75 0 0 25 0 3 0 910557843 208265216 26079 33554432000 4194304 5714118 140735572603728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.6
Current children cumulated vsize (KiB) 203384
[startup+162.301 s]
/proc/loadavg: 3.87 2.83 2.31 6/180 30035
/proc/meminfo: memFree=11511932/32951132 swapFree=67054624/67111528
[pid=30012] ppid=30010 vsize=200496 CPUtime=324.59 cores=0,2,4,6
/proc/30012/stat : 30012 (pwbo1.1) S 30010 30012 29599 0 -1 4202496 29246 0 0 0 32301 158 0 0 23 0 3 0 910557843 205307904 25992 33554432000 4194304 5714118 140735572603728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30012/statm: 50124 25992 180 372 0 49749 0
[pid=30012/tid=30013] ppid=30010 vsize=200496 CPUtime=162.28 cores=0,2,4,6
/proc/30012/task/30013/stat : 30013 (pwbo1.1) R 30010 30012 29599 0 -1 4202560 19614 0 0 0 16173 55 0 0 25 0 3 0 910557843 205307904 25992 33554432000 4194304 5714118 140735572603728 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=30012/tid=30014] ppid=30010 vsize=200496 CPUtime=162.3 cores=0,2,4,6
/proc/30012/task/30014/stat : 30014 (pwbo1.1) R 30010 30012 29599 0 -1 4202560 9256 0 0 0 16127 103 0 0 25 0 3 0 910557843 205307904 25992 33554432000 4194304 5714118 140735572603728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 324.59
Current children cumulated vsize (KiB) 200496
[startup+222.301 s]
/proc/loadavg: 3.95 3.04 2.42 6/180 30037
/proc/meminfo: memFree=11497784/32951132 swapFree=67054624/67111528
[pid=30012] ppid=30010 vsize=200496 CPUtime=444.58 cores=0,2,4,6
/proc/30012/stat : 30012 (pwbo1.1) S 30010 30012 29599 0 -1 4202496 31550 0 0 0 44255 203 0 0 23 0 3 0 910557843 205307904 28295 33554432000 4194304 5714118 140735572603728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30012/statm: 50124 28295 180 372 0 49749 0
[pid=30012/tid=30013] ppid=30010 vsize=200496 CPUtime=222.28 cores=0,2,4,6
/proc/30012/task/30013/stat : 30013 (pwbo1.1) R 30010 30012 29599 0 -1 4202560 21911 0 0 0 22156 72 0 0 25 0 3 0 910557843 205307904 28295 33554432000 4194304 5714118 140735572603728 18446744073709551615 4197705 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=30012/tid=30014] ppid=30010 vsize=200496 CPUtime=222.29 cores=0,2,4,6
/proc/30012/task/30014/stat : 30014 (pwbo1.1) R 30010 30012 29599 0 -1 4202560 9263 0 0 0 22098 131 0 0 25 0 3 0 910557843 205307904 28295 33554432000 4194304 5714118 140735572603728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 444.58
Current children cumulated vsize (KiB) 200496
[startup+282.3 s]
/proc/loadavg: 3.98 3.21 2.51 5/180 30039
/proc/meminfo: memFree=11275940/32951132 swapFree=67054624/67111528
[pid=30012] ppid=30010 vsize=200496 CPUtime=564.58 cores=0,2,4,6
/proc/30012/stat : 30012 (pwbo1.1) S 30010 30012 29599 0 -1 4202496 34485 0 0 0 56219 239 0 0 23 0 3 0 910557843 205307904 31229 33554432000 4194304 5714118 140735572603728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30012/statm: 50124 31229 180 372 0 49749 0
[pid=30012/tid=30013] ppid=30010 vsize=200496 CPUtime=282.27 cores=0,2,4,6
/proc/30012/task/30013/stat : 30013 (pwbo1.1) R 30010 30012 29599 0 -1 4202560 24846 0 0 0 28139 88 0 0 25 0 3 0 910557843 205307904 31229 33554432000 4194304 5714118 140735572603728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=30012/tid=30014] ppid=30010 vsize=200496 CPUtime=282.3 cores=0,2,4,6
/proc/30012/task/30014/stat : 30014 (pwbo1.1) R 30010 30012 29599 0 -1 4202560 9263 0 0 0 28079 151 0 0 25 0 3 0 910557843 205307904 31229 33554432000 4194304 5714118 140735572603728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 564.58
Current children cumulated vsize (KiB) 200496
[startup+342.301 s]
/proc/loadavg: 3.99 3.36 2.60 6/180 30040
/proc/meminfo: memFree=11261020/32951132 swapFree=67054624/67111528
[pid=30012] ppid=30010 vsize=204824 CPUtime=684.58 cores=0,2,4,6
/proc/30012/stat : 30012 (pwbo1.1) S 30010 30012 29599 0 -1 4202496 38800 0 0 0 68173 285 0 0 23 0 3 0 910557843 209739776 34564 33554432000 4194304 5714118 140735572603728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30012/statm: 51206 34564 180 372 0 50831 0
[pid=30012/tid=30013] ppid=30010 vsize=204824 CPUtime=342.28 cores=0,2,4,6
/proc/30012/task/30013/stat : 30013 (pwbo1.1) R 30010 30012 29599 0 -1 4202560 28294 0 0 0 34117 111 0 0 25 0 3 0 910557843 209739776 34564 33554432000 4194304 5714118 140735572603728 18446744073709551615 4319293 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=30012/tid=30014] ppid=30010 vsize=204824 CPUtime=342.3 cores=0,2,4,6
/proc/30012/task/30014/stat : 30014 (pwbo1.1) R 30010 30012 29599 0 -1 4202560 10130 0 0 0 34056 174 0 0 25 0 3 0 910557843 209739776 34564 33554432000 4194304 5714118 140735572603728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 684.58
Current children cumulated vsize (KiB) 204824
[startup+402.3 s]
/proc/loadavg: 3.99 3.47 2.69 6/180 30041
/proc/meminfo: memFree=11237924/32951132 swapFree=67054624/67111528
[pid=30012] ppid=30010 vsize=200496 CPUtime=804.59 cores=0,2,4,6
/proc/30012/stat : 30012 (pwbo1.1) S 30010 30012 29599 0 -1 4202496 39740 0 0 0 80127 332 0 0 23 0 3 0 910557843 205307904 34753 33554432000 4194304 5714118 140735572603728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30012/statm: 50124 34753 180 372 0 49749 0
[pid=30012/tid=30013] ppid=30010 vsize=200496 CPUtime=402.27 cores=0,2,4,6
/proc/30012/task/30013/stat : 30013 (pwbo1.1) R 30010 30012 29599 0 -1 4202560 28368 0 0 0 40094 133 0 0 25 0 3 0 910557843 205307904 34753 33554432000 4194304 5714118 140735572603728 18446744073709551615 4319349 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=30012/tid=30014] ppid=30010 vsize=200496 CPUtime=402.3 cores=0,2,4,6
/proc/30012/task/30014/stat : 30014 (pwbo1.1) R 30010 30012 29599 0 -1 4202560 10996 0 0 0 40032 198 0 0 25 0 3 0 910557843 205307904 34753 33554432000 4194304 5714118 140735572603728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 804.59
Current children cumulated vsize (KiB) 200496
[startup+462.301 s]
/proc/loadavg: 3.99 3.56 2.77 6/180 30043
/proc/meminfo: memFree=11082152/32951132 swapFree=67054624/67111528
[pid=30012] ppid=30010 vsize=200496 CPUtime=924.59 cores=0,2,4,6
/proc/30012/stat : 30012 (pwbo1.1) S 30010 30012 29599 0 -1 4202496 41903 0 0 0 92085 374 0 0 23 0 3 0 910557843 205307904 36916 33554432000 4194304 5714118 140735572603728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30012/statm: 50124 36916 180 372 0 49749 0
[pid=30012/tid=30013] ppid=30010 vsize=200496 CPUtime=462.28 cores=0,2,4,6
/proc/30012/task/30013/stat : 30013 (pwbo1.1) R 30010 30012 29599 0 -1 4202560 29498 0 0 0 46075 153 0 0 25 0 3 0 910557843 205307904 36916 33554432000 4194304 5714118 140735572603728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=30012/tid=30014] ppid=30010 vsize=200496 CPUtime=462.29 cores=0,2,4,6
/proc/30012/task/30014/stat : 30014 (pwbo1.1) R 30010 30012 29599 0 -1 4202560 12029 0 0 0 46009 220 0 0 25 0 3 0 910557843 205307904 36916 33554432000 4194304 5714118 140735572603728 18446744073709551615 4323024 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 924.59
Current children cumulated vsize (KiB) 200496
[startup+522.301 s]
/proc/loadavg: 3.99 3.64 2.84 6/180 30045
/proc/meminfo: memFree=10951576/32951132 swapFree=67054624/67111528
[pid=30012] ppid=30010 vsize=200496 CPUtime=1044.59 cores=0,2,4,6
/proc/30012/stat : 30012 (pwbo1.1) S 30010 30012 29599 0 -1 4202496 43077 0 0 0 104045 414 0 0 23 0 3 0 910557843 205307904 38069 33554432000 4194304 5714118 140735572603728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30012/statm: 50124 38069 180 372 0 49749 0
[pid=30012/tid=30013] ppid=30010 vsize=200496 CPUtime=522.28 cores=0,2,4,6
/proc/30012/task/30013/stat : 30013 (pwbo1.1) R 30010 30012 29599 0 -1 4202560 29888 0 0 0 52056 172 0 0 25 0 3 0 910557843 205307904 38069 33554432000 4194304 5714118 140735572603728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=30012/tid=30014] ppid=30010 vsize=200496 CPUtime=522.29 cores=0,2,4,6
/proc/30012/task/30014/stat : 30014 (pwbo1.1) R 30010 30012 29599 0 -1 4202560 12813 0 0 0 51988 241 0 0 25 0 3 0 910557843 205307904 38069 33554432000 4194304 5714118 140735572603728 18446744073709551615 4319807 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1044.59
Current children cumulated vsize (KiB) 200496
[startup+582.3 s]
/proc/loadavg: 3.99 3.70 2.91 5/180 30047
/proc/meminfo: memFree=10828928/32951132 swapFree=67054624/67111528
[pid=30012] ppid=30010 vsize=200496 CPUtime=1164.59 cores=0,2,4,6
/proc/30012/stat : 30012 (pwbo1.1) S 30010 30012 29599 0 -1 4202496 45555 0 0 0 116003 456 0 0 23 0 3 0 910557843 205307904 40295 33554432000 4194304 5714118 140735572603728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30012/statm: 50124 40295 180 372 0 49749 0
[pid=30012/tid=30013] ppid=30010 vsize=200496 CPUtime=582.28 cores=0,2,4,6
/proc/30012/task/30013/stat : 30013 (pwbo1.1) R 30010 30012 29599 0 -1 4202560 31564 0 0 0 58033 195 0 0 25 0 3 0 910557843 205307904 40295 33554432000 4194304 5714118 140735572603728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=30012/tid=30014] ppid=30010 vsize=200496 CPUtime=582.3 cores=0,2,4,6
/proc/30012/task/30014/stat : 30014 (pwbo1.1) R 30010 30012 29599 0 -1 4202560 13615 0 0 0 57970 260 0 0 25 0 3 0 910557843 205307904 40295 33554432000 4194304 5714118 140735572603728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1164.59
Current children cumulated vsize (KiB) 200496
[startup+642.301 s]
/proc/loadavg: 3.99 3.76 2.98 6/180 30048
/proc/meminfo: memFree=10726360/32951132 swapFree=67054624/67111528
[pid=30012] ppid=30010 vsize=200496 CPUtime=1284.6 cores=0,2,4,6
/proc/30012/stat : 30012 (pwbo1.1) S 30010 30012 29599 0 -1 4202496 47210 0 0 0 127967 493 0 0 23 0 3 0 910557843 205307904 41950 33554432000 4194304 5714118 140735572603728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30012/statm: 50124 41950 180 372 0 49749 0
[pid=30012/tid=30013] ppid=30010 vsize=200496 CPUtime=642.28 cores=0,2,4,6
/proc/30012/task/30013/stat : 30013 (pwbo1.1) R 30010 30012 29599 0 -1 4202560 32941 0 0 0 64013 215 0 0 25 0 3 0 910557843 205307904 41950 33554432000 4194304 5714118 140735572603728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=30012/tid=30014] ppid=30010 vsize=200496 CPUtime=642.3 cores=0,2,4,6
/proc/30012/task/30014/stat : 30014 (pwbo1.1) R 30010 30012 29599 0 -1 4202560 13893 0 0 0 63953 277 0 0 25 0 3 0 910557843 205307904 41950 33554432000 4194304 5714118 140735572603728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1284.6
Current children cumulated vsize (KiB) 200496
[startup+702.301 s]
/proc/loadavg: 3.99 3.80 3.04 6/180 30049
/proc/meminfo: memFree=10646224/32951132 swapFree=67054624/67111528
[pid=30012] ppid=30010 vsize=200496 CPUtime=1404.6 cores=0,2,4,6
/proc/30012/stat : 30012 (pwbo1.1) S 30010 30012 29599 0 -1 4202496 48366 0 0 0 139925 535 0 0 23 0 3 0 910557843 205307904 43106 33554432000 4194304 5714118 140735572603728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30012/statm: 50124 43106 180 372 0 49749 0
[pid=30012/tid=30013] ppid=30010 vsize=200496 CPUtime=702.28 cores=0,2,4,6
/proc/30012/task/30013/stat : 30013 (pwbo1.1) R 30010 30012 29599 0 -1 4202560 33644 0 0 0 69991 237 0 0 25 0 3 0 910557843 205307904 43106 33554432000 4194304 5714118 140735572603728 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=30012/tid=30014] ppid=30010 vsize=200496 CPUtime=702.3 cores=0,2,4,6
/proc/30012/task/30014/stat : 30014 (pwbo1.1) R 30010 30012 29599 0 -1 4202560 14346 0 0 0 69933 297 0 0 25 0 3 0 910557843 205307904 43106 33554432000 4194304 5714118 140735572603728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1404.6
Current children cumulated vsize (KiB) 200496
[startup+762.306 s]
/proc/loadavg: 3.99 3.83 3.10 6/180 30051
/proc/meminfo: memFree=10558908/32951132 swapFree=67054624/67111528
[pid=30012] ppid=30010 vsize=200496 CPUtime=1524.61 cores=0,2,4,6
/proc/30012/stat : 30012 (pwbo1.1) S 30010 30012 29599 0 -1 4202496 49612 0 0 0 151883 578 0 0 23 0 3 0 910557843 205307904 43976 33554432000 4194304 5714118 140735572603728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30012/statm: 50124 43976 180 372 0 49749 0
[pid=30012/tid=30013] ppid=30010 vsize=200496 CPUtime=762.28 cores=0,2,4,6
/proc/30012/task/30013/stat : 30013 (pwbo1.1) R 30010 30012 29599 0 -1 4202560 33811 0 0 0 75972 256 0 0 25 0 3 0 910557843 205307904 43976 33554432000 4194304 5714118 140735572603728 18446744073709551615 4310628 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=30012/tid=30014] ppid=30010 vsize=200496 CPUtime=762.31 cores=0,2,4,6
/proc/30012/task/30014/stat : 30014 (pwbo1.1) R 30010 30012 29599 0 -1 4202560 15425 0 0 0 75910 321 0 0 25 0 3 0 910557843 205307904 43976 33554432000 4194304 5714118 140735572603728 18446744073709551615 4323024 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1524.61
Current children cumulated vsize (KiB) 200496
[startup+822.301 s]
/proc/loadavg: 3.99 3.86 3.15 6/180 30053
/proc/meminfo: memFree=10478056/32951132 swapFree=67054624/67111528
[pid=30012] ppid=30010 vsize=200496 CPUtime=1644.6 cores=0,2,4,6
/proc/30012/stat : 30012 (pwbo1.1) S 30010 30012 29599 0 -1 4202496 50375 0 0 0 163852 608 0 0 23 0 3 0 910557843 205307904 44536 33554432000 4194304 5714118 140735572603728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30012/statm: 50124 44536 180 372 0 49749 0
[pid=30012/tid=30013] ppid=30010 vsize=200496 CPUtime=822.28 cores=0,2,4,6
/proc/30012/task/30013/stat : 30013 (pwbo1.1) R 30010 30012 29599 0 -1 4202560 34196 0 0 0 81959 269 0 0 25 0 3 0 910557843 205307904 44536 33554432000 4194304 5714118 140735572603728 18446744073709551615 4319293 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=30012/tid=30014] ppid=30010 vsize=200496 CPUtime=822.3 cores=0,2,4,6
/proc/30012/task/30014/stat : 30014 (pwbo1.1) R 30010 30012 29599 0 -1 4202560 15803 0 0 0 81892 338 0 0 25 0 3 0 910557843 205307904 44536 33554432000 4194304 5714118 140735572603728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1644.6
Current children cumulated vsize (KiB) 200496
[startup+882.3 s]
/proc/loadavg: 3.99 3.88 3.20 5/180 30055
/proc/meminfo: memFree=10402656/32951132 swapFree=67054624/67111528
[pid=30012] ppid=30010 vsize=200496 CPUtime=1764.6 cores=0,2,4,6
/proc/30012/stat : 30012 (pwbo1.1) S 30010 30012 29599 0 -1 4202496 50726 0 0 0 175818 642 0 0 23 0 3 0 910557843 205307904 44204 33554432000 4194304 5714118 140735572603728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30012/statm: 50124 44204 180 372 0 49749 0
[pid=30012/tid=30013] ppid=30010 vsize=200496 CPUtime=882.28 cores=0,2,4,6
/proc/30012/task/30013/stat : 30013 (pwbo1.1) R 30010 30012 29599 0 -1 4202560 34197 0 0 0 87944 284 0 0 25 0 3 0 910557843 205307904 44204 33554432000 4194304 5714118 140735572603728 18446744073709551615 4311859 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=30012/tid=30014] ppid=30010 vsize=200496 CPUtime=882.3 cores=0,2,4,6
/proc/30012/task/30014/stat : 30014 (pwbo1.1) R 30010 30012 29599 0 -1 4202560 16153 0 0 0 87873 357 0 0 25 0 3 0 910557843 205307904 44204 33554432000 4194304 5714118 140735572603728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1764.6
Current children cumulated vsize (KiB) 200496
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900 s]
/proc/loadavg: 3.99 3.89 3.21 5/180 30055
/proc/meminfo: memFree=10378340/32951132 swapFree=67054624/67111528
[pid=30012] ppid=30010 vsize=200496 CPUtime=1800.02 cores=0,2,4,6
/proc/30012/stat : 30012 (pwbo1.1) S 30010 30012 29599 0 -1 4202496 51116 0 0 0 179347 655 0 0 23 0 3 0 910557843 205307904 44593 33554432000 4194304 5714118 140735572603728 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/30012/statm: 50124 44593 180 372 0 49749 0
[pid=30012/tid=30013] ppid=30010 vsize=200496 CPUtime=899.99 cores=0,2,4,6
/proc/30012/task/30013/stat : 30013 (pwbo1.1) R 30010 30012 29599 0 -1 4202560 34587 0 0 0 89708 291 0 0 25 0 3 0 910557843 205307904 44593 33554432000 4194304 5714118 140735572603728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=30012/tid=30014] ppid=30010 vsize=200496 CPUtime=900.01 cores=0,2,4,6
/proc/30012/task/30014/stat : 30014 (pwbo1.1) R 30010 30012 29599 0 -1 4202560 16153 0 0 0 89638 363 0 0 25 0 3 0 910557843 205307904 44593 33554432000 4194304 5714118 140735572603728 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 200496
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.021
CPU time (s): 1800.04
CPU user time (s): 1793.48
CPU system time (s): 6.558
CPU usage (%): 200
Max. virtual memory (cumulated for all children) (KiB): 204824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.48
system time used= 6.558
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51121
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= 32
involuntary context switches= 11837
runsolver used 1.69874 second user time and 3.51446 second system time
The end