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-3500304-1307993206/watcher-3500304-1307993206 -o /var/tmp/evaluation-result-3500304-1307993206/solver-3500304-1307993206 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500304-1307993206.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.00 3.99 3.69 4/179 31717
/proc/meminfo: memFree=4122684/32951124 swapFree=67052292/67111528
[pid=31717] ppid=31715 vsize=135552 CPUtime=0 cores=1,3,5,7
/proc/31717/stat : 31717 (pwbo1.1) S 31715 31717 30934 0 -1 4202496 695 0 0 0 0 0 0 0 24 0 3 0 910921547 138805248 643 33554432000 4194304 5714118 140735748110000 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31717/statm: 33888 648 179 372 0 33513 0
[pid=31717/tid=31718] ppid=31715 vsize=135552 CPUtime=0 cores=1,3,5,7
/proc/31717/task/31718/stat : 31718 (pwbo1.1) R 31715 31717 30934 0 -1 4202560 116 0 0 0 0 0 0 0 24 0 3 0 910921547 138805248 658 33554432000 4194304 5714118 140735748110000 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=31717/tid=31719] ppid=31715 vsize=135552 CPUtime=0 cores=1,3,5,7
/proc/31717/task/31719/stat : 31719 (pwbo1.1) R 31715 31717 30934 0 -1 4202560 187 0 0 0 0 0 0 0 18 0 3 0 910921547 138805248 661 33554432000 4194304 5714118 140735748110000 18446744073709551615 5013131 0 0 4096 16387 0 0 0 -1 5 0 0 0
[startup+0.0973909 s]
/proc/loadavg: 4.00 3.99 3.69 4/179 31717
/proc/meminfo: memFree=4122684/32951124 swapFree=67052292/67111528
[pid=31717] ppid=31715 vsize=192664 CPUtime=0.16 cores=1,3,5,7
/proc/31717/stat : 31717 (pwbo1.1) S 31715 31717 30934 0 -1 4202496 16012 0 0 0 13 3 0 0 24 0 3 0 910921547 197287936 15706 33554432000 4194304 5714118 140735748110000 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31717/statm: 48166 15709 180 372 0 47791 0
[pid=31717/tid=31718] ppid=31715 vsize=192664 CPUtime=0.08 cores=1,3,5,7
/proc/31717/task/31718/stat : 31718 (pwbo1.1) R 31715 31717 30934 0 -1 4202560 525 0 0 0 8 0 0 0 25 0 3 0 910921547 197287936 15712 33554432000 4194304 5714118 140735748110000 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=31717/tid=31719] ppid=31715 vsize=192664 CPUtime=0.07 cores=1,3,5,7
/proc/31717/task/31719/stat : 31719 (pwbo1.1) R 31715 31717 30934 0 -1 4202560 15084 0 0 0 5 2 0 0 18 0 3 0 910921547 197287936 15714 33554432000 4194304 5714118 140735748110000 18446744073709551615 4970308 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 192664
[startup+0.100388 s]
/proc/loadavg: 4.00 3.99 3.69 4/179 31717
/proc/meminfo: memFree=4122684/32951124 swapFree=67052292/67111528
[pid=31717] ppid=31715 vsize=192796 CPUtime=0.17 cores=1,3,5,7
/proc/31717/stat : 31717 (pwbo1.1) S 31715 31717 30934 0 -1 4202496 16303 0 0 0 14 3 0 0 24 0 3 0 910921547 197423104 15997 33554432000 4194304 5714118 140735748110000 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31717/statm: 48199 15998 180 372 0 47824 0
[pid=31717/tid=31718] ppid=31715 vsize=192796 CPUtime=0.08 cores=1,3,5,7
/proc/31717/task/31718/stat : 31718 (pwbo1.1) R 31715 31717 30934 0 -1 4202560 526 0 0 0 8 0 0 0 25 0 3 0 910921547 197423104 16000 33554432000 4194304 5714118 140735748110000 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=31717/tid=31719] ppid=31715 vsize=192796 CPUtime=0.07 cores=1,3,5,7
/proc/31717/task/31719/stat : 31719 (pwbo1.1) R 31715 31717 30934 0 -1 4202560 15372 0 0 0 5 2 0 0 18 0 3 0 910921547 197423104 16003 33554432000 4194304 5714118 140735748110000 18446744073709551615 4970308 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 192796
[startup+0.300366 s]
/proc/loadavg: 4.00 3.99 3.69 4/179 31717
/proc/meminfo: memFree=4122684/32951124 swapFree=67052292/67111528
[pid=31717] ppid=31715 vsize=201036 CPUtime=0.56 cores=1,3,5,7
/proc/31717/stat : 31717 (pwbo1.1) S 31715 31717 30934 0 -1 4202496 29577 0 0 0 50 6 0 0 24 0 3 0 910921547 205860864 29200 33554432000 4194304 5714118 140735748110000 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31717/statm: 50259 29200 181 372 0 49884 0
[pid=31717/tid=31718] ppid=31715 vsize=201036 CPUtime=0.29 cores=1,3,5,7
/proc/31717/task/31718/stat : 31718 (pwbo1.1) R 31715 31717 30934 0 -1 4202560 953 0 0 0 26 3 0 0 18 0 3 0 910921547 205860864 29200 33554432000 4194304 5714118 140735748110000 18446744073709551615 4964730 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=31717/tid=31719] ppid=31715 vsize=201036 CPUtime=0.26 cores=1,3,5,7
/proc/31717/task/31719/stat : 31719 (pwbo1.1) R 31715 31717 30934 0 -1 4202560 28213 0 0 0 23 3 0 0 18 0 3 0 910921547 205860864 29200 33554432000 4194304 5714118 140735748110000 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 201036
[startup+0.700283 s]
/proc/loadavg: 4.00 3.99 3.69 4/179 31717
/proc/meminfo: memFree=4122684/32951124 swapFree=67052292/67111528
[pid=31717] ppid=31715 vsize=201644 CPUtime=1.36 cores=1,3,5,7
/proc/31717/stat : 31717 (pwbo1.1) S 31715 31717 30934 0 -1 4202496 30324 0 0 0 126 10 0 0 24 0 3 0 910921547 206483456 29947 33554432000 4194304 5714118 140735748110000 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31717/statm: 50411 29947 181 372 0 50036 0
[pid=31717/tid=31718] ppid=31715 vsize=201644 CPUtime=0.68 cores=1,3,5,7
/proc/31717/task/31718/stat : 31718 (pwbo1.1) R 31715 31717 30934 0 -1 4202560 1578 0 0 0 62 6 0 0 18 0 3 0 910921547 206483456 29947 33554432000 4194304 5714118 140735748110000 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=31717/tid=31719] ppid=31715 vsize=201644 CPUtime=0.66 cores=1,3,5,7
/proc/31717/task/31719/stat : 31719 (pwbo1.1) R 31715 31717 30934 0 -1 4202560 28335 0 0 0 63 3 0 0 18 0 3 0 910921547 206483456 29947 33554432000 4194304 5714118 140735748110000 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 201644
[startup+1.50114 s]
/proc/loadavg: 4.00 3.99 3.69 5/182 31720
/proc/meminfo: memFree=4000296/32951124 swapFree=67052292/67111528
[pid=31717] ppid=31715 vsize=202208 CPUtime=2.97 cores=1,3,5,7
/proc/31717/stat : 31717 (pwbo1.1) S 31715 31717 30934 0 -1 4202496 31505 0 0 0 282 15 0 0 24 0 3 0 910921547 207060992 31128 33554432000 4194304 5714118 140735748110000 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31717/statm: 50552 31128 181 372 0 50177 0
[pid=31717/tid=31718] ppid=31715 vsize=202208 CPUtime=1.48 cores=1,3,5,7
/proc/31717/task/31718/stat : 31718 (pwbo1.1) R 31715 31717 30934 0 -1 4202560 2002 0 0 0 137 11 0 0 19 0 3 0 910921547 207060992 31128 33554432000 4194304 5714118 140735748110000 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=31717/tid=31719] ppid=31715 vsize=202208 CPUtime=1.46 cores=1,3,5,7
/proc/31717/task/31719/stat : 31719 (pwbo1.1) R 31715 31717 30934 0 -1 4202560 29092 0 0 0 143 3 0 0 20 0 3 0 910921547 207060992 31128 33554432000 4194304 5714118 140735748110000 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 202208
[startup+3.10088 s]
/proc/loadavg: 4.00 3.99 3.69 5/182 31720
/proc/meminfo: memFree=3996100/32951124 swapFree=67052292/67111528
[pid=31717] ppid=31715 vsize=202064 CPUtime=6.16 cores=1,3,5,7
/proc/31717/stat : 31717 (pwbo1.1) S 31715 31717 30934 0 -1 4202496 32156 0 0 0 594 22 0 0 24 0 3 0 910921547 206913536 31753 33554432000 4194304 5714118 140735748110000 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31717/statm: 50516 31753 181 372 0 50141 0
[pid=31717/tid=31718] ppid=31715 vsize=202064 CPUtime=3.08 cores=1,3,5,7
/proc/31717/task/31718/stat : 31718 (pwbo1.1) R 31715 31717 30934 0 -1 4202560 2571 0 0 0 290 18 0 0 24 0 3 0 910921547 206913536 31753 33554432000 4194304 5714118 140735748110000 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=31717/tid=31719] ppid=31715 vsize=202064 CPUtime=3.07 cores=1,3,5,7
/proc/31717/task/31719/stat : 31719 (pwbo1.1) R 31715 31717 30934 0 -1 4202560 29174 0 0 0 303 4 0 0 25 0 3 0 910921547 206913536 31753 33554432000 4194304 5714118 140735748110000 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 202064
[startup+6.30029 s]
/proc/loadavg: 4.00 3.99 3.69 5/182 31720
/proc/meminfo: memFree=3988608/32951124 swapFree=67052292/67111528
[pid=31717] ppid=31715 vsize=267816 CPUtime=12.56 cores=1,3,5,7
/proc/31717/stat : 31717 (pwbo1.1) S 31715 31717 30934 0 -1 4202496 34625 0 0 0 1222 34 0 0 24 0 3 0 910921547 274243584 34222 33554432000 4194304 5714118 140735748110000 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31717/statm: 66954 34222 182 372 0 66579 0
[pid=31717/tid=31718] ppid=31715 vsize=267816 CPUtime=6.28 cores=1,3,5,7
/proc/31717/task/31718/stat : 31718 (pwbo1.1) R 31715 31717 30934 0 -1 4202560 4235 0 0 0 600 28 0 0 25 0 3 0 910921547 274243584 34222 33554432000 4194304 5714118 140735748110000 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=31717/tid=31719] ppid=31715 vsize=267816 CPUtime=6.27 cores=1,3,5,7
/proc/31717/task/31719/stat : 31719 (pwbo1.1) R 31715 31717 30934 0 -1 4202560 29979 0 0 0 621 6 0 0 25 0 3 0 910921547 274243584 34222 33554432000 4194304 5714118 140735748110000 18446744073709551615 4319139 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 267816
[startup+12.7012 s]
/proc/loadavg: 4.00 3.99 3.69 5/182 31720
/proc/meminfo: memFree=3972376/32951124 swapFree=67052292/67111528
[pid=31717] ppid=31715 vsize=267980 CPUtime=25.37 cores=1,3,5,7
/proc/31717/stat : 31717 (pwbo1.1) S 31715 31717 30934 0 -1 4202496 39203 0 0 0 2480 57 0 0 24 0 3 0 910921547 274411520 38800 33554432000 4194304 5714118 140735748110000 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31717/statm: 66995 38800 182 372 0 66620 0
[pid=31717/tid=31718] ppid=31715 vsize=267980 CPUtime=12.69 cores=1,3,5,7
/proc/31717/task/31718/stat : 31718 (pwbo1.1) R 31715 31717 30934 0 -1 4202560 6892 0 0 0 1225 44 0 0 25 0 3 0 910921547 274411520 38800 33554432000 4194304 5714118 140735748110000 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=31717/tid=31719] ppid=31715 vsize=267980 CPUtime=12.66 cores=1,3,5,7
/proc/31717/task/31719/stat : 31719 (pwbo1.1) R 31715 31717 30934 0 -1 4202560 31900 0 0 0 1254 12 0 0 25 0 3 0 910921547 274411520 38800 33554432000 4194304 5714118 140735748110000 18446744073709551615 4319218 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 267980
[startup+25.5009 s]
/proc/loadavg: 4.00 3.99 3.70 5/182 31720
/proc/meminfo: memFree=3942364/32951124 swapFree=67052292/67111528
[pid=31717] ppid=31715 vsize=268028 CPUtime=50.96 cores=1,3,5,7
/proc/31717/stat : 31717 (pwbo1.1) S 31715 31717 30934 0 -1 4202496 45297 0 0 0 4996 100 0 0 24 0 3 0 910921547 274460672 44800 33554432000 4194304 5714118 140735748110000 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31717/statm: 67007 44800 182 372 0 66632 0
[pid=31717/tid=31718] ppid=31715 vsize=268028 CPUtime=25.48 cores=1,3,5,7
/proc/31717/task/31718/stat : 31718 (pwbo1.1) R 31715 31717 30934 0 -1 4202560 11058 0 0 0 2465 83 0 0 25 0 3 0 910921547 274460672 44800 33554432000 4194304 5714118 140735748110000 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=31717/tid=31719] ppid=31715 vsize=268028 CPUtime=25.47 cores=1,3,5,7
/proc/31717/task/31719/stat : 31719 (pwbo1.1) R 31715 31717 30934 0 -1 4202560 33828 0 0 0 2530 17 0 0 25 0 3 0 910921547 274460672 44800 33554432000 4194304 5714118 140735748110000 18446744073709551615 4319134 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 268028
[startup+51.1004 s]
/proc/loadavg: 4.00 3.99 3.70 5/182 31721
/proc/meminfo: memFree=3921524/32951124 swapFree=67052292/67111528
[pid=31717] ppid=31715 vsize=268436 CPUtime=102.16 cores=1,3,5,7
/proc/31717/stat : 31717 (pwbo1.1) S 31715 31717 30934 0 -1 4202496 50974 0 0 0 10051 165 0 0 24 0 3 0 910921547 274878464 50477 33554432000 4194304 5714118 140735748110000 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31717/statm: 67109 50477 182 372 0 66734 0
[pid=31717/tid=31718] ppid=31715 vsize=268436 CPUtime=51.08 cores=1,3,5,7
/proc/31717/task/31718/stat : 31718 (pwbo1.1) R 31715 31717 30934 0 -1 4202560 14304 0 0 0 4972 136 0 0 25 0 3 0 910921547 274878464 50477 33554432000 4194304 5714118 140735748110000 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=31717/tid=31719] ppid=31715 vsize=268436 CPUtime=51.06 cores=1,3,5,7
/proc/31717/task/31719/stat : 31719 (pwbo1.1) R 31715 31717 30934 0 -1 4202560 36259 0 0 0 5078 28 0 0 25 0 3 0 910921547 274878464 50477 33554432000 4194304 5714118 140735748110000 18446744073709551615 4319293 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 268436
[startup+102.306 s]
/proc/loadavg: 4.00 3.99 3.72 5/182 31723
/proc/meminfo: memFree=3841748/32951124 swapFree=67052292/67111528
[pid=31717] ppid=31715 vsize=335688 CPUtime=204.57 cores=1,3,5,7
/proc/31717/stat : 31717 (pwbo1.1) S 31715 31717 30934 0 -1 4202496 66705 0 0 0 20160 297 0 0 24 0 3 0 910921547 343744512 66147 33554432000 4194304 5714118 140735748110000 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31717/statm: 83922 66148 182 372 0 83547 0
[pid=31717/tid=31718] ppid=31715 vsize=335688 CPUtime=102.28 cores=1,3,5,7
/proc/31717/task/31718/stat : 31718 (pwbo1.1) R 31715 31717 30934 0 -1 4202560 24478 0 0 0 9980 248 0 0 25 0 3 0 910921547 343744512 66148 33554432000 4194304 5714118 140735748110000 18446744073709551615 4319720 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=31717/tid=31719] ppid=31715 vsize=335688 CPUtime=102.27 cores=1,3,5,7
/proc/31717/task/31719/stat : 31719 (pwbo1.1) R 31715 31717 30934 0 -1 4202560 41817 0 0 0 10179 48 0 0 25 0 3 0 910921547 343744512 66148 33554432000 4194304 5714118 140735748110000 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.57
Current children cumulated vsize (KiB) 335688
[startup+162.301 s]
/proc/loadavg: 4.00 3.99 3.73 5/182 31765
/proc/meminfo: memFree=4015088/32951124 swapFree=67052292/67111528
[pid=31717] ppid=31715 vsize=337168 CPUtime=324.56 cores=1,3,5,7
/proc/31717/stat : 31717 (pwbo1.1) S 31715 31717 30934 0 -1 4202496 68761 0 0 0 32051 405 0 0 24 0 3 0 910921547 345260032 68058 33554432000 4194304 5714118 140735748110000 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31717/statm: 84292 68058 182 372 0 83917 0
[pid=31717/tid=31718] ppid=31715 vsize=337168 CPUtime=162.28 cores=1,3,5,7
/proc/31717/task/31718/stat : 31718 (pwbo1.1) R 31715 31717 30934 0 -1 4202560 25940 0 0 0 15880 348 0 0 25 0 3 0 910921547 345260032 68058 33554432000 4194304 5714118 140735748110000 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=31717/tid=31719] ppid=31715 vsize=337168 CPUtime=162.27 cores=1,3,5,7
/proc/31717/task/31719/stat : 31719 (pwbo1.1) R 31715 31717 30934 0 -1 4202560 42410 0 0 0 16170 57 0 0 25 0 3 0 910921547 345260032 68058 33554432000 4194304 5714118 140735748110000 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 324.56
Current children cumulated vsize (KiB) 337168
[startup+222.301 s]
/proc/loadavg: 4.00 3.99 3.75 5/182 31767
/proc/meminfo: memFree=3873804/32951124 swapFree=67052292/67111528
[pid=31717] ppid=31715 vsize=469636 CPUtime=444.57 cores=1,3,5,7
/proc/31717/stat : 31717 (pwbo1.1) S 31715 31717 30934 0 -1 4202496 93991 0 0 0 43939 518 0 0 24 0 3 0 910921547 480907264 93288 33554432000 4194304 5714118 140735748110000 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31717/statm: 117409 93288 182 372 0 117034 0
[pid=31717/tid=31718] ppid=31715 vsize=469636 CPUtime=222.29 cores=1,3,5,7
/proc/31717/task/31718/stat : 31718 (pwbo1.1) R 31715 31717 30934 0 -1 4202560 41277 0 0 0 21786 443 0 0 25 0 3 0 910921547 480907264 93288 33554432000 4194304 5714118 140735748110000 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=31717/tid=31719] ppid=31715 vsize=469636 CPUtime=222.27 cores=1,3,5,7
/proc/31717/task/31719/stat : 31719 (pwbo1.1) R 31715 31717 30934 0 -1 4202560 52303 0 0 0 22152 75 0 0 25 0 3 0 910921547 480907264 93288 33554432000 4194304 5714118 140735748110000 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 444.57
Current children cumulated vsize (KiB) 469636
################
# More data... #
################
/proc/31717/task/31718/stat : 31718 (pwbo1.1) R 31715 31717 30934 0 -1 4202560 54888 0 0 0 27696 533 0 0 25 0 3 0 910921547 550617088 113240 33554432000 4194304 5714118 140735748110000 18446744073709551615 4319830 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=31717/tid=31719] ppid=31715 vsize=537712 CPUtime=282.27 cores=1,3,5,7
/proc/31717/task/31719/stat : 31719 (pwbo1.1) R 31715 31717 30934 0 -1 4202560 58644 0 0 0 28141 86 0 0 25 0 3 0 910921547 550617088 113240 33554432000 4194304 5714118 140735748110000 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 564.57
Current children cumulated vsize (KiB) 537712
[startup+342.301 s]
/proc/loadavg: 4.08 4.02 3.78 5/182 31810
/proc/meminfo: memFree=3706528/32951124 swapFree=67052292/67111528
[pid=31717] ppid=31715 vsize=671032 CPUtime=684.57 cores=1,3,5,7
/proc/31717/stat : 31717 (pwbo1.1) S 31715 31717 30934 0 -1 4202496 133210 0 0 0 67743 714 0 0 24 0 3 0 910921547 687136768 132507 33554432000 4194304 5714118 140735748110000 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31717/statm: 167758 132507 182 372 0 167383 0
[pid=31717/tid=31718] ppid=31715 vsize=671032 CPUtime=342.29 cores=1,3,5,7
/proc/31717/task/31718/stat : 31718 (pwbo1.1) R 31715 31717 30934 0 -1 4202560 66976 0 0 0 33616 613 0 0 25 0 3 0 910921547 687136768 132507 33554432000 4194304 5714118 140735748110000 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=31717/tid=31719] ppid=31715 vsize=671032 CPUtime=342.27 cores=1,3,5,7
/proc/31717/task/31719/stat : 31719 (pwbo1.1) R 31715 31717 30934 0 -1 4202560 65823 0 0 0 34126 101 0 0 25 0 3 0 910921547 687136768 132507 33554432000 4194304 5714118 140735748110000 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 684.57
Current children cumulated vsize (KiB) 671032
[startup+402.3 s]
/proc/loadavg: 4.03 4.01 3.79 5/182 31812
/proc/meminfo: memFree=3607776/32951124 swapFree=67052292/67111528
[pid=31717] ppid=31715 vsize=673540 CPUtime=804.57 cores=1,3,5,7
/proc/31717/stat : 31717 (pwbo1.1) S 31715 31717 30934 0 -1 4202496 154747 0 0 0 79636 821 0 0 24 0 3 0 910921547 689704960 154044 33554432000 4194304 5714118 140735748110000 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31717/statm: 168385 154044 182 372 0 168010 0
[pid=31717/tid=31718] ppid=31715 vsize=673540 CPUtime=402.28 cores=1,3,5,7
/proc/31717/task/31718/stat : 31718 (pwbo1.1) R 31715 31717 30934 0 -1 4202560 79885 0 0 0 39526 702 0 0 25 0 3 0 910921547 689704960 154044 33554432000 4194304 5714118 140735748110000 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=31717/tid=31719] ppid=31715 vsize=673540 CPUtime=402.27 cores=1,3,5,7
/proc/31717/task/31719/stat : 31719 (pwbo1.1) R 31715 31717 30934 0 -1 4202560 74451 0 0 0 40109 118 0 0 25 0 3 0 910921547 689704960 154044 33554432000 4194304 5714118 140735748110000 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 804.57
Current children cumulated vsize (KiB) 673540
[startup+462.301 s]
/proc/loadavg: 4.01 4.00 3.80 5/182 31813
/proc/meminfo: memFree=3387260/32951124 swapFree=67052292/67111528
[pid=31717] ppid=31715 vsize=740792 CPUtime=924.57 cores=1,3,5,7
/proc/31717/stat : 31717 (pwbo1.1) S 31715 31717 30934 0 -1 4202496 171379 0 0 0 91546 911 0 0 24 0 3 0 910921547 758571008 170676 33554432000 4194304 5714118 140735748110000 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31717/statm: 185198 170676 182 372 0 184823 0
[pid=31717/tid=31718] ppid=31715 vsize=740792 CPUtime=462.28 cores=1,3,5,7
/proc/31717/task/31718/stat : 31718 (pwbo1.1) R 31715 31717 30934 0 -1 4202560 91284 0 0 0 45448 780 0 0 25 0 3 0 910921547 758571008 170676 33554432000 4194304 5714118 140735748110000 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31717/tid=31719] ppid=31715 vsize=740792 CPUtime=462.27 cores=1,3,5,7
/proc/31717/task/31719/stat : 31719 (pwbo1.1) R 31715 31717 30934 0 -1 4202560 79684 0 0 0 46097 130 0 0 25 0 3 0 910921547 758571008 170676 33554432000 4194304 5714118 140735748110000 18446744073709551615 4319134 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 924.57
Current children cumulated vsize (KiB) 740792
[startup+522.301 s]
/proc/loadavg: 4.00 4.00 3.82 5/182 31815
/proc/meminfo: memFree=3086268/32951124 swapFree=67052292/67111528
[pid=31717] ppid=31715 vsize=872940 CPUtime=1044.57 cores=1,3,5,7
/proc/31717/stat : 31717 (pwbo1.1) S 31715 31717 30934 0 -1 4202496 188095 0 0 0 103429 1028 0 0 24 0 3 0 910921547 893890560 187392 33554432000 4194304 5714118 140735748110000 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31717/statm: 218235 187392 182 372 0 217860 0
[pid=31717/tid=31718] ppid=31715 vsize=872940 CPUtime=522.28 cores=1,3,5,7
/proc/31717/task/31718/stat : 31718 (pwbo1.1) R 31715 31717 30934 0 -1 4202560 103116 0 0 0 51347 881 0 0 25 0 3 0 910921547 893890560 187392 33554432000 4194304 5714118 140735748110000 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31717/tid=31719] ppid=31715 vsize=872940 CPUtime=522.27 cores=1,3,5,7
/proc/31717/task/31719/stat : 31719 (pwbo1.1) R 31715 31717 30934 0 -1 4202560 84568 0 0 0 52081 146 0 0 25 0 3 0 910921547 893890560 187392 33554432000 4194304 5714118 140735748110000 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1044.57
Current children cumulated vsize (KiB) 872940
[startup+582.3 s]
/proc/loadavg: 4.00 4.00 3.82 5/182 31816
/proc/meminfo: memFree=2888332/32951124 swapFree=67052292/67111528
[pid=31717] ppid=31715 vsize=939544 CPUtime=1164.57 cores=1,3,5,7
/proc/31717/stat : 31717 (pwbo1.1) S 31715 31717 30934 0 -1 4202496 206904 0 0 0 115318 1139 0 0 24 0 3 0 910921547 962093056 206201 33554432000 4194304 5714118 140735748110000 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31717/statm: 234886 206201 182 372 0 234511 0
[pid=31717/tid=31718] ppid=31715 vsize=939544 CPUtime=582.29 cores=1,3,5,7
/proc/31717/task/31718/stat : 31718 (pwbo1.1) R 31715 31717 30934 0 -1 4202560 116247 0 0 0 57256 973 0 0 25 0 3 0 910921547 962093056 206201 33554432000 4194304 5714118 140735748110000 18446744073709551615 4299735 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31717/tid=31719] ppid=31715 vsize=939544 CPUtime=582.27 cores=1,3,5,7
/proc/31717/task/31719/stat : 31719 (pwbo1.1) R 31715 31717 30934 0 -1 4202560 90246 0 0 0 58061 166 0 0 25 0 3 0 910921547 962093056 206201 33554432000 4194304 5714118 140735748110000 18446744073709551615 4319293 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1164.57
Current children cumulated vsize (KiB) 939544
[startup+642.301 s]
/proc/loadavg: 4.00 4.00 3.83 5/182 31818
/proc/meminfo: memFree=2805352/32951124 swapFree=67052292/67111528
[pid=31717] ppid=31715 vsize=941296 CPUtime=1284.59 cores=1,3,5,7
/proc/31717/stat : 31717 (pwbo1.1) S 31715 31717 30934 0 -1 4202496 221056 0 0 0 127210 1249 0 0 24 0 3 0 910921547 963887104 220353 33554432000 4194304 5714118 140735748110000 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31717/statm: 235324 220353 182 372 0 234949 0
[pid=31717/tid=31718] ppid=31715 vsize=941296 CPUtime=642.3 cores=1,3,5,7
/proc/31717/task/31718/stat : 31718 (pwbo1.1) R 31715 31717 30934 0 -1 4202560 125655 0 0 0 63167 1063 0 0 25 0 3 0 910921547 963887104 220353 33554432000 4194304 5714118 140735748110000 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31717/tid=31719] ppid=31715 vsize=941296 CPUtime=642.28 cores=1,3,5,7
/proc/31717/task/31719/stat : 31719 (pwbo1.1) R 31715 31717 30934 0 -1 4202560 94990 0 0 0 64042 186 0 0 25 0 3 0 910921547 963887104 220353 33554432000 4194304 5714118 140735748110000 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1284.59
Current children cumulated vsize (KiB) 941296
[startup+702.301 s]
/proc/loadavg: 4.00 4.00 3.83 5/182 31820
/proc/meminfo: memFree=2704880/32951124 swapFree=67052292/67111528
[pid=31717] ppid=31715 vsize=1073940 CPUtime=1404.57 cores=1,3,5,7
/proc/31717/stat : 31717 (pwbo1.1) S 31715 31717 30934 0 -1 4202496 236863 0 0 0 139085 1372 0 0 24 0 3 0 910921547 1099714560 236160 33554432000 4194304 5714118 140735748110000 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31717/statm: 268485 236160 182 372 0 268110 0
[pid=31717/tid=31718] ppid=31715 vsize=1073940 CPUtime=702.29 cores=1,3,5,7
/proc/31717/task/31718/stat : 31718 (pwbo1.1) R 31715 31717 30934 0 -1 4202560 135329 0 0 0 69062 1167 0 0 25 0 3 0 910921547 1099714560 236160 33554432000 4194304 5714118 140735748110000 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31717/tid=31719] ppid=31715 vsize=1073940 CPUtime=702.27 cores=1,3,5,7
/proc/31717/task/31719/stat : 31719 (pwbo1.1) R 31715 31717 30934 0 -1 4202560 101123 0 0 0 70022 205 0 0 25 0 3 0 910921547 1099714560 236160 33554432000 4194304 5714118 140735748110000 18446744073709551615 4322628 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1404.57
Current children cumulated vsize (KiB) 1073940
[startup+762.306 s]
/proc/loadavg: 4.00 4.00 3.84 5/182 31821
/proc/meminfo: memFree=2618564/32951124 swapFree=67052292/67111528
[pid=31717] ppid=31715 vsize=1074480 CPUtime=1524.59 cores=1,3,5,7
/proc/31717/stat : 31717 (pwbo1.1) S 31715 31717 30934 0 -1 4202496 248598 0 0 0 150952 1507 0 0 24 0 3 0 910921547 1100267520 247798 33554432000 4194304 5714118 140735748110000 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31717/statm: 268620 247798 182 372 0 268245 0
[pid=31717/tid=31718] ppid=31715 vsize=1074480 CPUtime=762.3 cores=1,3,5,7
/proc/31717/task/31718/stat : 31718 (pwbo1.1) R 31715 31717 30934 0 -1 4202560 141576 0 0 0 74949 1281 0 0 25 0 3 0 910921547 1100267520 247798 33554432000 4194304 5714118 140735748110000 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31717/tid=31719] ppid=31715 vsize=1074480 CPUtime=762.28 cores=1,3,5,7
/proc/31717/task/31719/stat : 31719 (pwbo1.1) R 31715 31717 30934 0 -1 4202560 106611 0 0 0 76002 226 0 0 25 0 3 0 910921547 1100267520 247798 33554432000 4194304 5714118 140735748110000 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1524.59
Current children cumulated vsize (KiB) 1074480
[startup+822.301 s]
/proc/loadavg: 4.00 4.00 3.85 5/182 31823
/proc/meminfo: memFree=2569444/32951124 swapFree=67052292/67111528
[pid=31717] ppid=31715 vsize=1075040 CPUtime=1644.58 cores=1,3,5,7
/proc/31717/stat : 31717 (pwbo1.1) S 31715 31717 30934 0 -1 4202496 255510 0 0 0 162821 1637 0 0 24 0 3 0 910921547 1100840960 254710 33554432000 4194304 5714118 140735748110000 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31717/statm: 268760 254710 182 372 0 268385 0
[pid=31717/tid=31718] ppid=31715 vsize=1075040 CPUtime=822.29 cores=1,3,5,7
/proc/31717/task/31718/stat : 31718 (pwbo1.1) R 31715 31717 30934 0 -1 4202560 141698 0 0 0 80849 1380 0 0 25 0 3 0 910921547 1100840960 254710 33554432000 4194304 5714118 140735748110000 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31717/tid=31719] ppid=31715 vsize=1075040 CPUtime=822.27 cores=1,3,5,7
/proc/31717/task/31719/stat : 31719 (pwbo1.1) R 31715 31717 30934 0 -1 4202560 113401 0 0 0 81971 256 0 0 25 0 3 0 910921547 1100840960 254710 33554432000 4194304 5714118 140735748110000 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1644.58
Current children cumulated vsize (KiB) 1075040
[startup+882.3 s]
/proc/loadavg: 4.07 4.02 3.86 5/182 31824
/proc/meminfo: memFree=2502704/32951124 swapFree=67052292/67111528
[pid=31717] ppid=31715 vsize=1142692 CPUtime=1764.58 cores=1,3,5,7
/proc/31717/stat : 31717 (pwbo1.1) S 31715 31717 30934 0 -1 4202496 263484 0 0 0 174691 1767 0 0 24 0 3 0 910921547 1170116608 262684 33554432000 4194304 5714118 140735748110000 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31717/statm: 285673 262684 182 372 0 285298 0
[pid=31717/tid=31718] ppid=31715 vsize=1142692 CPUtime=882.3 cores=1,3,5,7
/proc/31717/task/31718/stat : 31718 (pwbo1.1) R 31715 31717 30934 0 -1 4202560 141767 0 0 0 86750 1480 0 0 25 0 3 0 910921547 1170116608 262684 33554432000 4194304 5714118 140735748110000 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31717/tid=31719] ppid=31715 vsize=1142692 CPUtime=882.28 cores=1,3,5,7
/proc/31717/task/31719/stat : 31719 (pwbo1.1) R 31715 31717 30934 0 -1 4202560 121306 0 0 0 87941 287 0 0 25 0 3 0 910921547 1170116608 262684 33554432000 4194304 5714118 140735748110000 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1764.58
Current children cumulated vsize (KiB) 1142692
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.101 s]
/proc/loadavg: 4.05 4.01 3.86 5/182 31825
/proc/meminfo: memFree=2482736/32951124 swapFree=67052292/67111528
[pid=31717] ppid=31715 vsize=1143156 CPUtime=1800.2 cores=1,3,5,7
/proc/31717/stat : 31717 (pwbo1.1) S 31715 31717 30934 0 -1 4202496 265766 0 0 0 178217 1803 0 0 24 0 3 0 910921547 1170591744 264966 33554432000 4194304 5714118 140735748110000 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31717/statm: 285789 264966 182 372 0 285414 0
[pid=31717/tid=31718] ppid=31715 vsize=1143156 CPUtime=900.1 cores=1,3,5,7
/proc/31717/task/31718/stat : 31718 (pwbo1.1) R 31715 31717 30934 0 -1 4202560 141816 0 0 0 88504 1506 0 0 25 0 3 0 910921547 1170591744 264966 33554432000 4194304 5714118 140735748110000 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31717/tid=31719] ppid=31715 vsize=1143156 CPUtime=900.08 cores=1,3,5,7
/proc/31717/task/31719/stat : 31719 (pwbo1.1) R 31715 31717 30934 0 -1 4202560 123539 0 0 0 89712 296 0 0 25 0 3 0 910921547 1170591744 264966 33554432000 4194304 5714118 140735748110000 18446744073709551615 4319134 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 1143156
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.101 s]
/proc/loadavg: 4.05 4.01 3.86 5/182 31825
/proc/meminfo: memFree=2482736/32951124 swapFree=67052292/67111528
[pid=31717] ppid=31715 vsize=1143156 CPUtime=1800.2 cores=1,3,5,7
/proc/31717/stat : 31717 (pwbo1.1) S 31715 31717 30934 0 -1 4202496 265766 0 0 0 178217 1803 0 0 24 0 3 0 910921547 1170591744 264966 33554432000 4194304 5714118 140735748110000 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31717/statm: 285789 264966 182 372 0 285414 0
[pid=31717/tid=31718] ppid=31715 vsize=1143156 CPUtime=900.1 cores=1,3,5,7
/proc/31717/task/31718/stat : 31718 (pwbo1.1) R 31715 31717 30934 0 -1 4202560 141816 0 0 0 88504 1506 0 0 25 0 3 0 910921547 1170591744 264966 33554432000 4194304 5714118 140735748110000 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31717/tid=31719] ppid=31715 vsize=1143156 CPUtime=900.08 cores=1,3,5,7
/proc/31717/task/31719/stat : 31719 (pwbo1.1) R 31715 31717 30934 0 -1 4202560 123539 0 0 0 89712 296 0 0 25 0 3 0 910921547 1170591744 264966 33554432000 4194304 5714118 140735748110000 18446744073709551615 4319134 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 1143156
Child status: 0
Real time (s): 900.154
CPU time (s): 1800.26
CPU user time (s): 1782.18
CPU system time (s): 18.0753
CPU usage (%): 199.995
Max. virtual memory (cumulated for all children) (KiB): 1143156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.18
system time used= 18.0753
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 265773
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= 608
involuntary context switches= 10809
runsolver used 1.40279 second user time and 3.23451 second system time
The end