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-3703763-1338094300/watcher-3703763-1338094300 -o /tmp/evaluation-result-3703763-1338094300/solver-3703763-1338094300 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703763-1338094300.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.01 4.00 3.94 2/174 20986
/proc/meminfo: memFree=28407976/32873648 swapFree=7104/7104
[pid=20986] ppid=20984 vsize=162500 CPUtime=0 cores=1,3,5,7
/proc/20986/stat : 20986 (pwbo2.0) S 20984 20986 20135 0 -1 4202496 889 0 0 0 0 0 0 0 20 0 3 0 275555423 166400000 837 33554432000 4194304 5965102 140735462051232 140735462050752 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20986/statm: 40625 837 196 433 0 40189 0
[pid=20986/tid=20987] ppid=20984 vsize=162500 CPUtime=0 cores=1,3,5,7
/proc/20986/task/20987/stat : 20987 (pwbo2.0) R 20984 20986 20135 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 3 0 275555423 166400000 838 33554432000 4194304 5965102 140735462051232 140432467471408 5137076 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20986/tid=20988] ppid=20984 vsize=162500 CPUtime=0 cores=1,3,5,7
/proc/20986/task/20988/stat : 20988 (pwbo2.0) R 20984 20986 20135 0 -1 4202560 52 0 0 0 0 0 0 0 20 0 3 0 275555423 166400000 838 33554432000 4194304 5965102 140735462051232 140432456981552 5137146 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[startup+0.033886 s]
/proc/loadavg: 4.01 4.00 3.94 2/174 20986
/proc/meminfo: memFree=28407976/32873648 swapFree=7104/7104
[pid=20986] ppid=20984 vsize=162500 CPUtime=0.06 cores=1,3,5,7
/proc/20986/stat : 20986 (pwbo2.0) S 20984 20986 20135 0 -1 4202496 1030 0 0 0 6 0 0 0 20 0 3 0 275555423 166400000 978 33554432000 4194304 5965102 140735462051232 140735462050752 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20986/statm: 40625 978 199 433 0 40189 0
[pid=20986/tid=20987] ppid=20984 vsize=162500 CPUtime=0.01 cores=1,3,5,7
/proc/20986/task/20987/stat : 20987 (pwbo2.0) R 20984 20986 20135 0 -1 4202560 108 0 0 0 1 0 0 0 20 0 3 0 275555423 166400000 978 33554432000 4194304 5965102 140735462051232 140432467470328 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20986/tid=20988] ppid=20984 vsize=162500 CPUtime=0.01 cores=1,3,5,7
/proc/20986/task/20988/stat : 20988 (pwbo2.0) R 20984 20986 20135 0 -1 4202560 134 0 0 0 1 0 0 0 20 0 3 0 275555423 166400000 978 33554432000 4194304 5965102 140735462051232 140432456981552 5144060 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 162500
[startup+0.100263 s]
/proc/loadavg: 4.01 4.00 3.94 2/174 20986
/proc/meminfo: memFree=28407976/32873648 swapFree=7104/7104
[pid=20986] ppid=20984 vsize=162500 CPUtime=0.19 cores=1,3,5,7
/proc/20986/stat : 20986 (pwbo2.0) S 20984 20986 20135 0 -1 4202496 1291 0 0 0 19 0 0 0 20 0 3 0 275555423 166400000 1239 33554432000 4194304 5965102 140735462051232 140735462050752 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20986/statm: 40625 1239 199 433 0 40189 0
[pid=20986/tid=20987] ppid=20984 vsize=162500 CPUtime=0.08 cores=1,3,5,7
/proc/20986/task/20987/stat : 20987 (pwbo2.0) R 20984 20986 20135 0 -1 4202560 246 0 0 0 8 0 0 0 20 0 3 0 275555423 166400000 1239 33554432000 4194304 5965102 140735462051232 140432467470264 4411014 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20986/tid=20988] ppid=20984 vsize=162500 CPUtime=0.08 cores=1,3,5,7
/proc/20986/task/20988/stat : 20988 (pwbo2.0) R 20984 20986 20135 0 -1 4202560 257 0 0 0 8 0 0 0 20 0 3 0 275555423 166400000 1239 33554432000 4194304 5965102 140735462051232 140432456980840 4411014 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 162500
[startup+0.300155 s]
/proc/loadavg: 4.01 4.00 3.94 2/174 20986
/proc/meminfo: memFree=28407976/32873648 swapFree=7104/7104
[pid=20986] ppid=20984 vsize=162500 CPUtime=0.58 cores=1,3,5,7
/proc/20986/stat : 20986 (pwbo2.0) S 20984 20986 20135 0 -1 4202496 1965 0 0 0 58 0 0 0 20 0 3 0 275555423 166400000 1913 33554432000 4194304 5965102 140735462051232 140735462050752 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20986/statm: 40625 1914 199 433 0 40189 0
[pid=20986/tid=20987] ppid=20984 vsize=162500 CPUtime=0.28 cores=1,3,5,7
/proc/20986/task/20987/stat : 20987 (pwbo2.0) R 20984 20986 20135 0 -1 4202560 624 0 0 0 28 0 0 0 20 0 3 0 275555423 166400000 1914 33554432000 4194304 5965102 140735462051232 140432467470264 5137076 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20986/tid=20988] ppid=20984 vsize=162500 CPUtime=0.28 cores=1,3,5,7
/proc/20986/task/20988/stat : 20988 (pwbo2.0) R 20984 20986 20135 0 -1 4202560 554 0 0 0 28 0 0 0 20 0 3 0 275555423 166400000 1914 33554432000 4194304 5965102 140735462051232 140432456980840 4390150 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 162500
[startup+0.700241 s]
/proc/loadavg: 4.01 4.00 3.94 2/174 20986
/proc/meminfo: memFree=28407976/32873648 swapFree=7104/7104
[pid=20986] ppid=20984 vsize=162500 CPUtime=1.39 cores=1,3,5,7
/proc/20986/stat : 20986 (pwbo2.0) S 20984 20986 20135 0 -1 4202496 2882 0 0 0 138 1 0 0 20 0 3 0 275555423 166400000 2830 33554432000 4194304 5965102 140735462051232 140735462050752 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20986/statm: 40625 2830 199 433 0 40189 0
[pid=20986/tid=20987] ppid=20984 vsize=162500 CPUtime=0.68 cores=1,3,5,7
/proc/20986/task/20987/stat : 20987 (pwbo2.0) R 20984 20986 20135 0 -1 4202560 1271 0 0 0 68 0 0 0 20 0 3 0 275555423 166400000 2830 33554432000 4194304 5965102 140735462051232 140432467470376 4401668 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20986/tid=20988] ppid=20984 vsize=162500 CPUtime=0.68 cores=1,3,5,7
/proc/20986/task/20988/stat : 20988 (pwbo2.0) R 20984 20986 20135 0 -1 4202560 823 0 0 0 68 0 0 0 20 0 3 0 275555423 166400000 2830 33554432000 4194304 5965102 140735462051232 140432456980600 4390212 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 162500
[startup+1.50024 s]
/proc/loadavg: 4.01 4.00 3.94 5/181 21029
/proc/meminfo: memFree=28390248/32873648 swapFree=7104/7104
[pid=20986] ppid=20984 vsize=162644 CPUtime=2.97 cores=1,3,5,7
/proc/20986/stat : 20986 (pwbo2.0) S 20984 20986 20135 0 -1 4202496 3531 0 0 0 296 1 0 0 20 0 3 0 275555423 166547456 3794 33554432000 4194304 5965102 140735462051232 140735462050752 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20986/statm: 40661 3794 199 433 0 40225 0
[pid=20986/tid=20987] ppid=20984 vsize=162644 CPUtime=1.48 cores=1,3,5,7
/proc/20986/task/20987/stat : 20987 (pwbo2.0) R 20984 20986 20135 0 -1 4202560 1859 0 0 0 146 2 0 0 20 0 3 0 275555423 166547456 3794 33554432000 4194304 5965102 140735462051232 140432467469848 5137076 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20986/tid=20988] ppid=20984 vsize=162644 CPUtime=1.48 cores=1,3,5,7
/proc/20986/task/20988/stat : 20988 (pwbo2.0) R 20984 20986 20135 0 -1 4202560 884 0 0 0 148 0 0 0 20 0 3 0 275555423 166547456 3794 33554432000 4194304 5965102 140735462051232 140432456980936 4222474 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 162644
[startup+3.10025 s]
/proc/loadavg: 4.01 4.00 3.94 5/181 21029
/proc/meminfo: memFree=28380356/32873648 swapFree=7104/7104
[pid=20986] ppid=20984 vsize=162716 CPUtime=6.17 cores=1,3,5,7
/proc/20986/stat : 20986 (pwbo2.0) S 20984 20986 20135 0 -1 4202496 4607 0 0 0 615 2 0 0 20 0 3 0 275555423 166621184 4870 33554432000 4194304 5965102 140735462051232 140735462050752 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20986/statm: 40679 4870 199 433 0 40243 0
[pid=20986/tid=20987] ppid=20984 vsize=162716 CPUtime=3.08 cores=1,3,5,7
/proc/20986/task/20987/stat : 20987 (pwbo2.0) R 20984 20986 20135 0 -1 4202560 2747 0 0 0 305 3 0 0 20 0 3 0 275555423 166621184 4870 33554432000 4194304 5965102 140735462051232 140432467470328 4383059 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20986/tid=20988] ppid=20984 vsize=162716 CPUtime=3.08 cores=1,3,5,7
/proc/20986/task/20988/stat : 20988 (pwbo2.0) R 20984 20986 20135 0 -1 4202560 1072 0 0 0 308 0 0 0 20 0 3 0 275555423 166621184 4870 33554432000 4194304 5965102 140735462051232 140432456980936 4404757 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 162716
[startup+6.30022 s]
/proc/loadavg: 4.01 4.00 3.94 5/181 21029
/proc/meminfo: memFree=28360764/32873648 swapFree=7104/7104
[pid=20986] ppid=20984 vsize=162860 CPUtime=12.57 cores=1,3,5,7
/proc/20986/stat : 20986 (pwbo2.0) S 20984 20986 20135 0 -1 4202496 6989 0 0 0 1254 3 0 0 20 0 3 0 275555423 166768640 7252 33554432000 4194304 5965102 140735462051232 140735462050752 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20986/statm: 40715 7252 199 433 0 40279 0
[pid=20986/tid=20987] ppid=20984 vsize=162860 CPUtime=6.28 cores=1,3,5,7
/proc/20986/task/20987/stat : 20987 (pwbo2.0) R 20984 20986 20135 0 -1 4202560 4420 0 0 0 624 4 0 0 20 0 3 0 275555423 166768640 7252 33554432000 4194304 5965102 140735462051232 140432467470328 4401582 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20986/tid=20988] ppid=20984 vsize=162860 CPUtime=6.28 cores=1,3,5,7
/proc/20986/task/20988/stat : 20988 (pwbo2.0) R 20984 20986 20135 0 -1 4202560 1781 0 0 0 628 0 0 0 20 0 3 0 275555423 166768640 7252 33554432000 4194304 5965102 140735462051232 140432456980840 4221984 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 162860
[startup+12.7003 s]
/proc/loadavg: 4.01 4.00 3.94 5/181 21029
/proc/meminfo: memFree=28324664/32873648 swapFree=7104/7104
[pid=20986] ppid=20984 vsize=163308 CPUtime=25.37 cores=1,3,5,7
/proc/20986/stat : 20986 (pwbo2.0) S 20984 20986 20135 0 -1 4202496 11626 0 0 0 2531 6 0 0 20 0 3 0 275555423 167227392 13185 33554432000 4194304 5965102 140735462051232 140735462050752 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20986/statm: 40827 13185 199 433 0 40391 0
[pid=20986/tid=20987] ppid=20984 vsize=163308 CPUtime=12.68 cores=1,3,5,7
/proc/20986/task/20987/stat : 20987 (pwbo2.0) R 20984 20986 20135 0 -1 4202560 7368 0 0 0 1263 5 0 0 20 0 3 0 275555423 167227392 13185 33554432000 4194304 5965102 140735462051232 140432467470328 5137076 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20986/tid=20988] ppid=20984 vsize=163308 CPUtime=12.68 cores=1,3,5,7
/proc/20986/task/20988/stat : 20988 (pwbo2.0) R 20984 20986 20135 0 -1 4202560 3470 0 0 0 1266 2 0 0 20 0 3 0 275555423 167227392 13185 33554432000 4194304 5965102 140735462051232 140432456980792 4404717 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 163308
[startup+25.5003 s]
/proc/loadavg: 4.01 4.00 3.94 5/181 21029
/proc/meminfo: memFree=28299352/32873648 swapFree=7104/7104
[pid=20986] ppid=20984 vsize=163308 CPUtime=50.97 cores=1,3,5,7
/proc/20986/stat : 20986 (pwbo2.0) S 20984 20986 20135 0 -1 4202496 14904 0 0 0 5089 8 0 0 20 0 3 0 275555423 167227392 16463 33554432000 4194304 5965102 140735462051232 140735462050752 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20986/statm: 40827 16463 199 433 0 40391 0
[pid=20986/tid=20987] ppid=20984 vsize=163308 CPUtime=25.48 cores=1,3,5,7
/proc/20986/task/20987/stat : 20987 (pwbo2.0) R 20984 20986 20135 0 -1 4202560 10353 0 0 0 2541 7 0 0 20 0 3 0 275555423 167227392 16463 33554432000 4194304 5965102 140735462051232 140432467469848 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20986/tid=20988] ppid=20984 vsize=163308 CPUtime=25.48 cores=1,3,5,7
/proc/20986/task/20988/stat : 20988 (pwbo2.0) R 20984 20986 20135 0 -1 4202560 3763 0 0 0 2546 2 0 0 20 0 3 0 275555423 167227392 16463 33554432000 4194304 5965102 140735462051232 140432456980936 4401056 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 163308
[startup+51.1003 s]
/proc/loadavg: 4.06 4.01 3.95 5/181 21029
/proc/meminfo: memFree=28254036/32873648 swapFree=7104/7104
[pid=20986] ppid=20984 vsize=163996 CPUtime=102.16 cores=1,3,5,7
/proc/20986/stat : 20986 (pwbo2.0) S 20984 20986 20135 0 -1 4202496 22213 0 0 0 10201 15 0 0 20 0 3 0 275555423 167931904 23772 33554432000 4194304 5965102 140735462051232 140735462050752 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20986/statm: 40999 23772 199 433 0 40563 0
[pid=20986/tid=20987] ppid=20984 vsize=163996 CPUtime=51.08 cores=1,3,5,7
/proc/20986/task/20987/stat : 20987 (pwbo2.0) R 20984 20986 20135 0 -1 4202560 15592 0 0 0 5096 12 0 0 20 0 3 0 275555423 167931904 23772 33554432000 4194304 5965102 140735462051232 140432467470136 5137076 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20986/tid=20988] ppid=20984 vsize=163996 CPUtime=51.08 cores=1,3,5,7
/proc/20986/task/20988/stat : 20988 (pwbo2.0) R 20984 20986 20135 0 -1 4202560 5833 0 0 0 5104 4 0 0 20 0 3 0 275555423 167931904 23772 33554432000 4194304 5965102 140735462051232 140432456980792 4400972 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 163996
[startup+102.3 s]
/proc/loadavg: 4.02 4.01 3.95 5/181 21029
/proc/meminfo: memFree=28190112/32873648 swapFree=7104/7104
[pid=20986] ppid=20984 vsize=230420 CPUtime=204.53 cores=1,3,5,7
/proc/20986/stat : 20986 (pwbo2.0) S 20984 20986 20135 0 -1 4202496 30230 0 0 0 20423 30 0 0 20 0 3 0 275555423 235950080 31824 33554432000 4194304 5965102 140735462051232 140735462050752 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20986/statm: 57605 31824 199 433 0 57169 0
[pid=20986/tid=20987] ppid=20984 vsize=230420 CPUtime=102.26 cores=1,3,5,7
/proc/20986/task/20987/stat : 20987 (pwbo2.0) R 20984 20986 20135 0 -1 4202560 21664 0 0 0 10201 25 0 0 20 0 3 0 275555423 235950080 31824 33554432000 4194304 5965102 140735462051232 140432467470328 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20986/tid=20988] ppid=20984 vsize=230420 CPUtime=102.29 cores=1,3,5,7
/proc/20986/task/20988/stat : 20988 (pwbo2.0) R 20984 20986 20135 0 -1 4202560 7778 0 0 0 10221 8 0 0 20 0 3 0 275555423 235950080 31824 33554432000 4194304 5965102 140735462051232 140432456980600 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 204.53
Current children cumulated vsize (KiB) 230420
[startup+162.3 s]
/proc/loadavg: 4.01 4.00 3.95 5/181 21029
/proc/meminfo: memFree=28137876/32873648 swapFree=7104/7104
[pid=20986] ppid=20984 vsize=232940 CPUtime=324.47 cores=1,3,5,7
/proc/20986/stat : 20986 (pwbo2.0) S 20984 20986 20135 0 -1 4202496 38921 0 0 0 32393 54 0 0 20 0 3 0 275555423 238530560 40538 33554432000 4194304 5965102 140735462051232 140735462050752 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20986/statm: 58235 40538 199 433 0 57799 0
[pid=20986/tid=20987] ppid=20984 vsize=232940 CPUtime=162.24 cores=1,3,5,7
/proc/20986/task/20987/stat : 20987 (pwbo2.0) R 20984 20986 20135 0 -1 4202560 27672 0 0 0 16179 45 0 0 20 0 3 0 275555423 238530560 40538 33554432000 4194304 5965102 140735462051232 140432467470328 4401026 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20986/tid=20988] ppid=20984 vsize=232940 CPUtime=162.27 cores=1,3,5,7
/proc/20986/task/20988/stat : 20988 (pwbo2.0) R 20984 20986 20135 0 -1 4202560 10461 0 0 0 16213 14 0 0 20 0 3 0 275555423 238530560 40538 33554432000 4194304 5965102 140735462051232 140432456980824 4404767 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 324.47
Current children cumulated vsize (KiB) 232940
[startup+222.307 s]
/proc/loadavg: 4.00 4.00 3.95 5/181 21030
/proc/meminfo: memFree=28091860/32873648 swapFree=7104/7104
[pid=20986] ppid=20984 vsize=300744 CPUtime=444.46 cores=1,3,5,7
/proc/20986/stat : 20986 (pwbo2.0) S 20984 20986 20135 0 -1 4202496 47037 0 0 0 44375 71 0 0 20 0 3 0 275555423 307961856 48654 33554432000 4194304 5965102 140735462051232 140735462050752 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20986/statm: 75186 48654 199 433 0 74750 0
[pid=20986/tid=20987] ppid=20984 vsize=300744 CPUtime=222.25 cores=1,3,5,7
/proc/20986/task/20987/stat : 20987 (pwbo2.0) R 20984 20986 20135 0 -1 4202560 35788 0 0 0 22162 63 0 0 20 0 3 0 275555423 307961856 48654 33554432000 4194304 5965102 140735462051232 140432467470328 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20986/tid=20988] ppid=20984 vsize=300744 CPUtime=222.28 cores=1,3,5,7
/proc/20986/task/20988/stat : 20988 (pwbo2.0) R 20984 20986 20135 0 -1 4202560 10461 0 0 0 22213 15 0 0 20 0 3 0 275555423 307961856 48654 33554432000 4194304 5965102 140735462051232 140432456980824 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 444.46
Current children cumulated vsize (KiB) 300744
[startup+282.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/181 21030
/proc/meminfo: memFree=28066132/32873648 swapFree=7104/7104
[pid=20986] ppid=20984 vsize=301104 CPUtime=564.42 cores=1,3,5,7
/proc/20986/stat : 20986 (pwbo2.0) S 20984 20986 20135 0 -1 4202496 50183 0 0 0 56359 83 0 0 20 0 3 0 275555423 308330496 51809 33554432000 4194304 5965102 140735462051232 140735462050752 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20986/statm: 75276 51809 199 433 0 74840 0
[pid=20986/tid=20987] ppid=20984 vsize=301104 CPUtime=282.24 cores=1,3,5,7
/proc/20986/task/20987/stat : 20987 (pwbo2.0) R 20984 20986 20135 0 -1 4202560 38578 0 0 0 28148 76 0 0 20 0 3 0 275555423 308330496 51809 33554432000 4194304 5965102 140735462051232 140432467470376 4400972 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20986/tid=20988] ppid=20984 vsize=301104 CPUtime=282.27 cores=1,3,5,7
/proc/20986/task/20988/stat : 20988 (pwbo2.0) R 20984 20986 20135 0 -1 4202560 10817 0 0 0 28211 16 0 0 20 0 3 0 275555423 308330496 51809 33554432000 4194304 5965102 140735462051232 140432456980792 4400978 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 564.42
Current children cumulated vsize (KiB) 301104
[startup+342.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/181 21030
/proc/meminfo: memFree=28026732/32873648 swapFree=7104/7104
[pid=20986] ppid=20984 vsize=302724 CPUtime=684.38 cores=1,3,5,7
/proc/20986/stat : 20986 (pwbo2.0) S 20984 20986 20135 0 -1 4202496 57074 0 0 0 68343 95 0 0 20 0 3 0 275555423 309989376 58640 33554432000 4194304 5965102 140735462051232 140735462050752 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20986/statm: 75681 58640 199 433 0 75245 0
[pid=20986/tid=20987] ppid=20984 vsize=302724 CPUtime=342.24 cores=1,3,5,7
/proc/20986/task/20987/stat : 20987 (pwbo2.0) R 20984 20986 20135 0 -1 4202560 44029 0 0 0 34137 87 0 0 20 0 3 0 275555423 309989376 58640 33554432000 4194304 5965102 140735462051232 140432467470328 4401015 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20986/tid=20988] ppid=20984 vsize=302724 CPUtime=342.28 cores=1,3,5,7
/proc/20986/task/20988/stat : 20988 (pwbo2.0) R 20984 20986 20135 0 -1 4202560 12257 0 0 0 34209 19 0 0 20 0 3 0 275555423 309989376 58640 33554432000 4194304 5965102 140735462051232 140432456980600 4380032 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 684.38
Current children cumulated vsize (KiB) 302724
[startup+402.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/181 21030
/proc/meminfo: memFree=27991836/32873648 swapFree=7104/7104
[pid=20986] ppid=20984 vsize=304956 CPUtime=804.37 cores=1,3,5,7
/proc/20986/stat : 20986 (pwbo2.0) S 20984 20986 20135 0 -1 4202496 63139 0 0 0 80326 111 0 0 20 0 3 0 275555423 312274944 64721 33554432000 4194304 5965102 140735462051232 140735462050752 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20986/statm: 76239 64721 199 433 0 75803 0
[pid=20986/tid=20987] ppid=20984 vsize=304956 CPUtime=402.24 cores=1,3,5,7
/proc/20986/task/20987/stat : 20987 (pwbo2.0) R 20984 20986 20135 0 -1 4202560 49522 0 0 0 40121 103 0 0 20 0 3 0 275555423 312274944 64721 33554432000 4194304 5965102 140735462051232 140432467470376 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20986/tid=20988] ppid=20984 vsize=304956 CPUtime=402.28 cores=1,3,5,7
/proc/20986/task/20988/stat : 20988 (pwbo2.0) R 20984 20986 20135 0 -1 4202560 12829 0 0 0 40207 21 0 0 20 0 3 0 275555423 312274944 64721 33554432000 4194304 5965102 140735462051232 140432456980792 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 804.37
Current children cumulated vsize (KiB) 304956
[startup+462.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/181 21030
/proc/meminfo: memFree=27964052/32873648 swapFree=7104/7104
[pid=20986] ppid=20984 vsize=372236 CPUtime=924.34 cores=1,3,5,7
/proc/20986/stat : 20986 (pwbo2.0) S 20984 20986 20135 0 -1 4202496 67294 0 0 0 92309 125 0 0 20 0 3 0 275555423 381169664 68823 33554432000 4194304 5965102 140735462051232 140735462050752 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20986/statm: 93059 68823 199 433 0 92623 0
[pid=20986/tid=20987] ppid=20984 vsize=372236 CPUtime=462.24 cores=1,3,5,7
/proc/20986/task/20987/stat : 20987 (pwbo2.0) R 20984 20986 20135 0 -1 4202560 51965 0 0 0 46109 115 0 0 20 0 3 0 275555423 381169664 68823 33554432000 4194304 5965102 140735462051232 140432467470328 5137076 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20986/tid=20988] ppid=20984 vsize=372236 CPUtime=462.28 cores=1,3,5,7
/proc/20986/task/20988/stat : 20988 (pwbo2.0) R 20984 20986 20135 0 -1 4202560 14541 0 0 0 46203 25 0 0 20 0 3 0 275555423 381169664 68823 33554432000 4194304 5965102 140735462051232 140432456980792 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 924.34
Current children cumulated vsize (KiB) 372236
[startup+522.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/182 21034
/proc/meminfo: memFree=27928876/32873648 swapFree=7104/7104
[pid=20986] ppid=20984 vsize=373528 CPUtime=1044.3 cores=1,3,5,7
/proc/20986/stat : 20986 (pwbo2.0) S 20984 20986 20135 0 -1 4202496 73775 0 0 0 104284 146 0 0 20 0 3 0 275555423 382492672 75293 33554432000 4194304 5965102 140735462051232 140735462050752 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20986/statm: 93382 75293 199 433 0 92946 0
[pid=20986/tid=20987] ppid=20984 vsize=373528 CPUtime=522.21 cores=1,3,5,7
/proc/20986/task/20987/stat : 20987 (pwbo2.0) R 20984 20986 20135 0 -1 4202560 56850 0 0 0 52087 134 0 0 20 0 3 0 275555423 382492672 75293 33554432000 4194304 5965102 140735462051232 140432467469848 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20986/tid=20988] ppid=20984 vsize=373528 CPUtime=522.28 cores=1,3,5,7
/proc/20986/task/20988/stat : 20988 (pwbo2.0) R 20984 20986 20135 0 -1 4202560 16137 0 0 0 52200 28 0 0 20 0 3 0 275555423 382492672 75293 33554432000 4194304 5965102 140735462051232 140432456980792 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1044.3
Current children cumulated vsize (KiB) 373528
[startup+582.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/182 21056
/proc/meminfo: memFree=27902452/32873648 swapFree=7104/7104
[pid=20986] ppid=20984 vsize=375184 CPUtime=1164.28 cores=1,3,5,7
/proc/20986/stat : 20986 (pwbo2.0) S 20984 20986 20135 0 -1 4202496 79610 0 0 0 116263 165 0 0 20 0 3 0 275555423 384188416 79646 33554432000 4194304 5965102 140735462051232 140735462050752 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20986/statm: 93796 79646 199 433 0 93360 0
[pid=20986/tid=20987] ppid=20984 vsize=375184 CPUtime=582.22 cores=1,3,5,7
/proc/20986/task/20987/stat : 20987 (pwbo2.0) R 20984 20986 20135 0 -1 4202560 62685 0 0 0 58069 153 0 0 20 0 3 0 275555423 384188416 79646 33554432000 4194304 5965102 140735462051232 140432467470376 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20986/tid=20988] ppid=20984 vsize=375184 CPUtime=582.29 cores=1,3,5,7
/proc/20986/task/20988/stat : 20988 (pwbo2.0) R 20984 20986 20135 0 -1 4202560 16137 0 0 0 58200 29 0 0 20 0 3 0 275555423 384188416 79646 33554432000 4194304 5965102 140735462051232 140432456980824 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1164.28
Current children cumulated vsize (KiB) 375184
[startup+642.3 s]
/proc/loadavg: 4.08 4.02 3.95 5/181 21056
/proc/meminfo: memFree=27857992/32873648 swapFree=7104/7104
[pid=20986] ppid=20984 vsize=442484 CPUtime=1284.26 cores=1,3,5,7
/proc/20986/stat : 20986 (pwbo2.0) S 20984 20986 20135 0 -1 4202496 88065 0 0 0 128243 183 0 0 20 0 3 0 275555423 453103616 88110 33554432000 4194304 5965102 140735462051232 140735462050752 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20986/statm: 110621 88110 199 433 0 110185 0
[pid=20986/tid=20987] ppid=20984 vsize=442484 CPUtime=642.22 cores=1,3,5,7
/proc/20986/task/20987/stat : 20987 (pwbo2.0) R 20984 20986 20135 0 -1 4202560 68930 0 0 0 64052 170 0 0 20 0 3 0 275555423 453103616 88110 33554432000 4194304 5965102 140735462051232 140432467470328 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20986/tid=20988] ppid=20984 vsize=442484 CPUtime=642.28 cores=1,3,5,7
/proc/20986/task/20988/stat : 20988 (pwbo2.0) R 20984 20986 20135 0 -1 4202560 18347 0 0 0 64196 32 0 0 20 0 3 0 275555423 453103616 88110 33554432000 4194304 5965102 140735462051232 140432456980840 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1284.26
Current children cumulated vsize (KiB) 442484
[startup+702.3 s]
/proc/loadavg: 4.03 4.01 3.95 5/181 21056
/proc/meminfo: memFree=27833112/32873648 swapFree=7104/7104
[pid=20986] ppid=20984 vsize=508884 CPUtime=1404.24 cores=1,3,5,7
/proc/20986/stat : 20986 (pwbo2.0) S 20984 20986 20135 0 -1 4202496 89928 0 0 0 140237 187 0 0 20 0 3 0 275555423 521097216 89973 33554432000 4194304 5965102 140735462051232 140735462050752 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20986/statm: 127221 89973 199 433 0 126785 0
[pid=20986/tid=20987] ppid=20984 vsize=508884 CPUtime=702.22 cores=1,3,5,7
/proc/20986/task/20987/stat : 20987 (pwbo2.0) R 20984 20986 20135 0 -1 4202560 69271 0 0 0 70050 172 0 0 20 0 3 0 275555423 521097216 89973 33554432000 4194304 5965102 140735462051232 140432467470376 4401082 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20986/tid=20988] ppid=20984 vsize=508884 CPUtime=702.29 cores=1,3,5,7
/proc/20986/task/20988/stat : 20988 (pwbo2.0) R 20984 20986 20135 0 -1 4202560 19869 0 0 0 70192 37 0 0 20 0 3 0 275555423 521097216 89973 33554432000 4194304 5965102 140735462051232 140432456980792 4379856 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1404.24
Current children cumulated vsize (KiB) 508884
[startup+762.3 s]
/proc/loadavg: 4.01 4.00 3.95 5/181 21056
/proc/meminfo: memFree=27813304/32873648 swapFree=7104/7104
[pid=20986] ppid=20984 vsize=508956 CPUtime=1524.22 cores=1,3,5,7
/proc/20986/stat : 20986 (pwbo2.0) S 20984 20986 20135 0 -1 4202496 91621 0 0 0 152232 190 0 0 20 0 3 0 275555423 521170944 91657 33554432000 4194304 5965102 140735462051232 140735462050752 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20986/statm: 127239 91657 199 433 0 126803 0
[pid=20986/tid=20987] ppid=20984 vsize=508956 CPUtime=762.22 cores=1,3,5,7
/proc/20986/task/20987/stat : 20987 (pwbo2.0) R 20984 20986 20135 0 -1 4202560 70943 0 0 0 76046 176 0 0 20 0 3 0 275555423 521170944 91657 33554432000 4194304 5965102 140735462051232 140432467470328 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20986/tid=20988] ppid=20984 vsize=508956 CPUtime=762.29 cores=1,3,5,7
/proc/20986/task/20988/stat : 20988 (pwbo2.0) R 20984 20986 20135 0 -1 4202560 19890 0 0 0 76191 38 0 0 20 0 3 0 275555423 521170944 91657 33554432000 4194304 5965102 140735462051232 140432456980840 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1524.22
Current children cumulated vsize (KiB) 508956
[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/181 21057
/proc/meminfo: memFree=27767508/32873648 swapFree=7104/7104
[pid=20986] ppid=20984 vsize=510972 CPUtime=1644.15 cores=1,3,5,7
/proc/20986/stat : 20986 (pwbo2.0) S 20984 20986 20135 0 -1 4202496 99522 0 0 0 164202 213 0 0 20 0 3 0 275555423 523235328 99538 33554432000 4194304 5965102 140735462051232 140735462050752 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20986/statm: 127743 99538 199 433 0 127307 0
[pid=20986/tid=20987] ppid=20984 vsize=510972 CPUtime=822.19 cores=1,3,5,7
/proc/20986/task/20987/stat : 20987 (pwbo2.0) R 20984 20986 20135 0 -1 4202560 77018 0 0 0 82022 197 0 0 20 0 3 0 275555423 523235328 99538 33554432000 4194304 5965102 140735462051232 140432467470328 4401009 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20986/tid=20988] ppid=20984 vsize=510972 CPUtime=822.29 cores=1,3,5,7
/proc/20986/task/20988/stat : 20988 (pwbo2.0) R 20984 20986 20135 0 -1 4202560 21716 0 0 0 82187 42 0 0 20 0 3 0 275555423 523235328 99538 33554432000 4194304 5965102 140735462051232 140432456980600 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1644.15
Current children cumulated vsize (KiB) 510972
[startup+882.307 s]
/proc/loadavg: 4.00 4.00 3.95 5/181 21057
/proc/meminfo: memFree=27752240/32873648 swapFree=7104/7104
[pid=20986] ppid=20984 vsize=511548 CPUtime=1764.15 cores=1,3,5,7
/proc/20986/stat : 20986 (pwbo2.0) S 20984 20986 20135 0 -1 4202496 101075 0 0 0 176197 218 0 0 20 0 3 0 275555423 523825152 101070 33554432000 4194304 5965102 140735462051232 140735462050752 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20986/statm: 127887 101070 199 433 0 127451 0
[pid=20986/tid=20987] ppid=20984 vsize=511548 CPUtime=882.2 cores=1,3,5,7
/proc/20986/task/20987/stat : 20987 (pwbo2.0) R 20984 20986 20135 0 -1 4202560 78552 0 0 0 88017 203 0 0 20 0 3 0 275555423 523825152 101070 33554432000 4194304 5965102 140735462051232 140432467470328 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20986/tid=20988] ppid=20984 vsize=511548 CPUtime=882.3 cores=1,3,5,7
/proc/20986/task/20988/stat : 20988 (pwbo2.0) R 20984 20986 20135 0 -1 4202560 21735 0 0 0 88187 43 0 0 20 0 3 0 275555423 523825152 101070 33554432000 4194304 5965102 140735462051232 140432456980840 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1764.15
Current children cumulated vsize (KiB) 511548
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/181 21057
/proc/meminfo: memFree=27743312/32873648 swapFree=7104/7104
[pid=20986] ppid=20984 vsize=512016 CPUtime=1800.15 cores=1,3,5,7
/proc/20986/stat : 20986 (pwbo2.0) S 20984 20986 20135 0 -1 4202496 103039 0 0 0 179794 221 0 0 20 0 3 0 275555423 524304384 102714 33554432000 4194304 5965102 140735462051232 140735462050752 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20986/statm: 128004 102714 199 433 0 127568 0
[pid=20986/tid=20987] ppid=20984 vsize=512016 CPUtime=900.2 cores=1,3,5,7
/proc/20986/task/20987/stat : 20987 (pwbo2.0) R 20984 20986 20135 0 -1 4202560 80515 0 0 0 89814 206 0 0 20 0 3 0 275555423 524304384 102714 33554432000 4194304 5965102 140735462051232 140432467470328 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=20986/tid=20988] ppid=20984 vsize=512016 CPUtime=900.3 cores=1,3,5,7
/proc/20986/task/20988/stat : 20988 (pwbo2.0) R 20984 20986 20135 0 -1 4202560 21736 0 0 0 89987 43 0 0 20 0 3 0 275555423 524304384 102714 33554432000 4194304 5965102 140735462051232 140432456980824 4400966 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 512016
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.318
CPU time (s): 1800.55
CPU user time (s): 1798.04
CPU system time (s): 2.51062
CPU usage (%): 199.99
Max. virtual memory (cumulated for all children) (KiB): 512016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.04
system time used= 2.51062
maximum resident set size= 410864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103041
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= 232
involuntary context switches= 1842
runsolver used 1.72074 second user time and 5.46417 second system time
The end