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-3704011-1338097298/watcher-3704011-1338097298 -o /tmp/evaluation-result-3704011-1338097298/solver-3704011-1338097298 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3704011-1338097298.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.39 3.73 3.84 4/178 6970
/proc/meminfo: memFree=29723004/32873648 swapFree=7368/7368
[pid=6970] ppid=6968 vsize=6184 CPUtime=0 cores=0,2,4,6
/proc/6970/stat : 6970 (pwbo2.0) R 6968 6970 3829 0 -1 4202496 758 0 0 0 0 0 0 0 20 0 1 0 275853871 6332416 710 33554432000 4194304 5965102 140737415640352 140737415638104 4396446 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/6970/statm: 1546 710 161 433 0 1026 0
[startup+0.00782601 s]
/proc/loadavg: 3.39 3.73 3.84 4/178 6970
/proc/meminfo: memFree=29723004/32873648 swapFree=7368/7368
[pid=6970] ppid=6968 vsize=7124 CPUtime=0 cores=0,2,4,6
/proc/6970/stat : 6970 (pwbo2.0) R 6968 6970 3829 0 -1 4202496 876 0 0 0 0 0 0 0 20 0 1 0 275853871 7294976 828 33554432000 4194304 5965102 140737415640352 140737415638104 5179915 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/6970/statm: 1781 841 165 433 0 1261 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7124
[startup+0.100158 s]
/proc/loadavg: 3.39 3.73 3.84 4/178 6970
/proc/meminfo: memFree=29723004/32873648 swapFree=7368/7368
[pid=6970] ppid=6968 vsize=168740 CPUtime=0.15 cores=0,2,4,6
/proc/6970/stat : 6970 (pwbo2.0) S 6968 6970 3829 0 -1 4202496 5146 0 0 0 14 1 0 0 20 0 3 0 275853871 172789760 4682 33554432000 4194304 5965102 140737415640352 140737415639872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6970/statm: 42185 4684 194 433 0 41749 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 168740
[startup+0.300167 s]
/proc/loadavg: 3.39 3.73 3.84 4/178 6970
/proc/meminfo: memFree=29723004/32873648 swapFree=7368/7368
[pid=6970] ppid=6968 vsize=168740 CPUtime=0.54 cores=0,2,4,6
/proc/6970/stat : 6970 (pwbo2.0) S 6968 6970 3829 0 -1 4202496 8985 0 0 0 52 2 0 0 20 0 3 0 275853871 172789760 7572 33554432000 4194304 5965102 140737415640352 140737415639872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6970/statm: 42185 7572 195 433 0 41749 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 168740
[startup+0.700176 s]
/proc/loadavg: 3.39 3.73 3.84 4/178 6970
/proc/meminfo: memFree=29723004/32873648 swapFree=7368/7368
[pid=6970] ppid=6968 vsize=171316 CPUtime=1.35 cores=0,2,4,6
/proc/6970/stat : 6970 (pwbo2.0) S 6968 6970 3829 0 -1 4202496 15035 0 0 0 132 3 0 0 20 0 3 0 275853871 175427584 11847 33554432000 4194304 5965102 140737415640352 140737415639872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6970/statm: 42829 11847 196 433 0 42393 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 171316
[startup+1.5003 s]
/proc/loadavg: 3.39 3.73 3.84 5/181 6973
/proc/meminfo: memFree=29669148/32873648 swapFree=7368/7368
[pid=6970] ppid=6968 vsize=168740 CPUtime=2.95 cores=0,2,4,6
/proc/6970/stat : 6970 (pwbo2.0) S 6968 6970 3829 0 -1 4202496 22502 0 0 0 289 6 0 0 20 0 3 0 275853871 172789760 16705 33554432000 4194304 5965102 140737415640352 140737415639872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6970/statm: 42185 16705 196 433 0 41749 0
[pid=6970/tid=6972] ppid=6968 vsize=168740 CPUtime=1.44 cores=0,2,4,6
/proc/6970/task/6972/stat : 6972 (pwbo2.0) R 6968 6970 3829 0 -1 4202560 15089 0 0 0 141 3 0 0 20 0 3 0 275853875 172789760 16705 33554432000 4194304 5965102 140737415640352 140014709565976 4420662 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=6970/tid=6973] ppid=6968 vsize=168740 CPUtime=1.45 cores=0,2,4,6
/proc/6970/task/6973/stat : 6973 (pwbo2.0) R 6968 6970 3829 0 -1 4202560 4936 0 0 0 142 3 0 0 20 0 3 0 275853875 172789760 16705 33554432000 4194304 5965102 140737415640352 140014699075416 4383048 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 168740
[startup+3.1003 s]
/proc/loadavg: 3.39 3.73 3.84 5/181 6973
/proc/meminfo: memFree=29643852/32873648 swapFree=7368/7368
[pid=6970] ppid=6968 vsize=168740 CPUtime=6.14 cores=0,2,4,6
/proc/6970/stat : 6970 (pwbo2.0) S 6968 6970 3829 0 -1 4202496 35062 0 0 0 603 11 0 0 20 0 3 0 275853871 172789760 25188 33554432000 4194304 5965102 140737415640352 140737415639872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6970/statm: 42185 25188 196 433 0 41749 0
[pid=6970/tid=6972] ppid=6968 vsize=168740 CPUtime=3.04 cores=0,2,4,6
/proc/6970/task/6972/stat : 6972 (pwbo2.0) R 6968 6970 3829 0 -1 4202560 22755 0 0 0 300 4 0 0 20 0 3 0 275853875 172789760 25188 33554432000 4194304 5965102 140737415640352 140014709565784 4396178 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=6970/tid=6973] ppid=6968 vsize=168740 CPUtime=3.05 cores=0,2,4,6
/proc/6970/task/6973/stat : 6973 (pwbo2.0) R 6968 6970 3829 0 -1 4202560 9830 0 0 0 298 7 0 0 20 0 3 0 275853875 172789760 25188 33554432000 4194304 5965102 140737415640352 140014699075416 5143614 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 168740
[startup+6.30024 s]
/proc/loadavg: 3.44 3.73 3.85 5/181 6973
/proc/meminfo: memFree=29587192/32873648 swapFree=7368/7368
[pid=6970] ppid=6968 vsize=234276 CPUtime=12.55 cores=0,2,4,6
/proc/6970/stat : 6970 (pwbo2.0) S 6968 6970 3829 0 -1 4202496 48264 0 0 0 1237 18 0 0 20 0 3 0 275853871 239898624 36167 33554432000 4194304 5965102 140737415640352 140737415639872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6970/statm: 58569 36167 196 433 0 58133 0
[pid=6970/tid=6972] ppid=6968 vsize=234276 CPUtime=6.24 cores=0,2,4,6
/proc/6970/task/6972/stat : 6972 (pwbo2.0) R 6968 6970 3829 0 -1 4202560 26785 0 0 0 619 5 0 0 20 0 3 0 275853875 239898624 36167 33554432000 4194304 5965102 140737415640352 140014709565976 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=6970/tid=6973] ppid=6968 vsize=234276 CPUtime=6.25 cores=0,2,4,6
/proc/6970/task/6973/stat : 6973 (pwbo2.0) R 6968 6970 3829 0 -1 4202560 19002 0 0 0 612 13 0 0 20 0 3 0 275853875 239898624 36167 33554432000 4194304 5965102 140737415640352 140014699075416 5137146 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 234276
[startup+12.7003 s]
/proc/loadavg: 3.48 3.74 3.85 5/181 6973
/proc/meminfo: memFree=29510328/32873648 swapFree=7368/7368
[pid=6970] ppid=6968 vsize=299812 CPUtime=25.34 cores=0,2,4,6
/proc/6970/stat : 6970 (pwbo2.0) S 6968 6970 3829 0 -1 4202496 67088 0 0 0 2504 30 0 0 20 0 3 0 275853871 307007488 54525 33554432000 4194304 5965102 140737415640352 140737415639872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6970/statm: 74953 54526 196 433 0 74517 0
[pid=6970/tid=6972] ppid=6968 vsize=299812 CPUtime=12.65 cores=0,2,4,6
/proc/6970/task/6972/stat : 6972 (pwbo2.0) R 6968 6970 3829 0 -1 4202560 28132 0 0 0 1259 6 0 0 20 0 3 0 275853875 307007488 54526 33554432000 4194304 5965102 140737415640352 140014709565784 4401155 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=6970/tid=6973] ppid=6968 vsize=299812 CPUtime=12.65 cores=0,2,4,6
/proc/6970/task/6973/stat : 6973 (pwbo2.0) R 6968 6970 3829 0 -1 4202560 36480 0 0 0 1239 26 0 0 20 0 3 0 275853875 307007488 54526 33554432000 4194304 5965102 140737415640352 140014699075416 5137146 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 299812
[startup+25.5003 s]
/proc/loadavg: 3.60 3.75 3.85 5/181 6973
/proc/meminfo: memFree=29358436/32873648 swapFree=7368/7368
[pid=6970] ppid=6968 vsize=496420 CPUtime=50.94 cores=0,2,4,6
/proc/6970/stat : 6970 (pwbo2.0) S 6968 6970 3829 0 -1 4202496 102732 0 0 0 5043 51 0 0 20 0 3 0 275853871 508334080 90168 33554432000 4194304 5965102 140737415640352 140737415639872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6970/statm: 124105 90168 196 433 0 123669 0
[pid=6970/tid=6972] ppid=6968 vsize=496420 CPUtime=25.44 cores=0,2,4,6
/proc/6970/task/6972/stat : 6972 (pwbo2.0) R 6968 6970 3829 0 -1 4202560 30677 0 0 0 2538 6 0 0 20 0 3 0 275853875 508334080 90168 33554432000 4194304 5965102 140737415640352 140014709565976 4401441 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=6970/tid=6973] ppid=6968 vsize=496420 CPUtime=25.45 cores=0,2,4,6
/proc/6970/task/6973/stat : 6973 (pwbo2.0) R 6968 6970 3829 0 -1 4202560 69578 0 0 0 2499 46 0 0 20 0 3 0 275853875 508334080 90168 33554432000 4194304 5965102 140737415640352 140014699075416 5143614 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 496420
[startup+51.1003 s]
/proc/loadavg: 3.73 3.77 3.85 5/181 6973
/proc/meminfo: memFree=29286756/32873648 swapFree=7368/7368
[pid=6970] ppid=6968 vsize=561956 CPUtime=102.13 cores=0,2,4,6
/proc/6970/stat : 6970 (pwbo2.0) S 6968 6970 3829 0 -1 4202496 119257 0 0 0 10152 61 0 0 20 0 3 0 275853871 575442944 106692 33554432000 4194304 5965102 140737415640352 140737415639872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6970/statm: 140489 106692 196 433 0 140053 0
[pid=6970/tid=6972] ppid=6968 vsize=561956 CPUtime=51.04 cores=0,2,4,6
/proc/6970/task/6972/stat : 6972 (pwbo2.0) R 6968 6970 3829 0 -1 4202560 33042 0 0 0 5097 7 0 0 20 0 3 0 275853875 575442944 106692 33554432000 4194304 5965102 140737415640352 140014709565976 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=6970/tid=6973] ppid=6968 vsize=561956 CPUtime=51.05 cores=0,2,4,6
/proc/6970/task/6973/stat : 6973 (pwbo2.0) R 6968 6970 3829 0 -1 4202560 83738 0 0 0 5050 55 0 0 20 0 3 0 275853875 575442944 106692 33554432000 4194304 5965102 140737415640352 140014699075416 5180352 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 561956
[startup+102.307 s]
/proc/loadavg: 3.81 3.79 3.85 5/181 7014
/proc/meminfo: memFree=28953628/32873648 swapFree=7368/7368
[pid=6970] ppid=6968 vsize=693028 CPUtime=204.52 cores=0,2,4,6
/proc/6970/stat : 6970 (pwbo2.0) S 6968 6970 3829 0 -1 4202496 151567 0 0 0 20369 83 0 0 20 0 3 0 275853871 709660672 139321 33554432000 4194304 5965102 140737415640352 140737415639872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6970/statm: 173257 139321 196 433 0 172821 0
[pid=6970/tid=6972] ppid=6968 vsize=693028 CPUtime=102.25 cores=0,2,4,6
/proc/6970/task/6972/stat : 6972 (pwbo2.0) R 6968 6970 3829 0 -1 4202560 34243 0 0 0 10217 8 0 0 20 0 3 0 275853875 709660672 139321 33554432000 4194304 5965102 140737415640352 140014709565240 4401865 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=6970/tid=6973] ppid=6968 vsize=693028 CPUtime=102.25 cores=0,2,4,6
/proc/6970/task/6973/stat : 6973 (pwbo2.0) R 6968 6970 3829 0 -1 4202560 114847 0 0 0 10147 78 0 0 20 0 3 0 275853875 709660672 139321 33554432000 4194304 5965102 140737415640352 140014699075416 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.52
Current children cumulated vsize (KiB) 693028
[startup+162.3 s]
/proc/loadavg: 3.93 3.82 3.85 5/181 7014
/proc/meminfo: memFree=28656912/32873648 swapFree=7368/7368
[pid=6970] ppid=6968 vsize=889636 CPUtime=324.49 cores=0,2,4,6
/proc/6970/stat : 6970 (pwbo2.0) S 6968 6970 3829 0 -1 4202496 205624 0 0 0 32350 99 0 0 20 0 3 0 275853871 910987264 193400 33554432000 4194304 5965102 140737415640352 140737415639872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6970/statm: 222409 193400 196 433 0 221973 0
[pid=6970/tid=6972] ppid=6968 vsize=889636 CPUtime=162.24 cores=0,2,4,6
/proc/6970/task/6972/stat : 6972 (pwbo2.0) R 6968 6970 3829 0 -1 4202560 38953 0 0 0 16213 11 0 0 20 0 3 0 275853875 910987264 193400 33554432000 4194304 5965102 140737415640352 140014709565976 4380351 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=6970/tid=6973] ppid=6968 vsize=889636 CPUtime=162.25 cores=0,2,4,6
/proc/6970/task/6973/stat : 6973 (pwbo2.0) R 6968 6970 3829 0 -1 4202560 164194 0 0 0 16133 92 0 0 20 0 3 0 275853875 910987264 193400 33554432000 4194304 5965102 140737415640352 140014699075896 4401131 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.49
Current children cumulated vsize (KiB) 889636
[startup+222.3 s]
/proc/loadavg: 3.97 3.85 3.86 5/181 7014
/proc/meminfo: memFree=28520044/32873648 swapFree=7368/7368
[pid=6970] ppid=6968 vsize=955172 CPUtime=444.46 cores=0,2,4,6
/proc/6970/stat : 6970 (pwbo2.0) S 6968 6970 3829 0 -1 4202496 235891 0 0 0 44338 108 0 0 20 0 3 0 275853871 978096128 223662 33554432000 4194304 5965102 140737415640352 140737415639872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6970/statm: 238793 223662 196 433 0 238357 0
[pid=6970/tid=6972] ppid=6968 vsize=955172 CPUtime=222.24 cores=0,2,4,6
/proc/6970/task/6972/stat : 6972 (pwbo2.0) R 6968 6970 3829 0 -1 4202560 41645 0 0 0 22210 14 0 0 20 0 3 0 275853875 978096128 223662 33554432000 4194304 5965102 140737415640352 140014709565432 4401472 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=6970/tid=6973] ppid=6968 vsize=955172 CPUtime=222.25 cores=0,2,4,6
/proc/6970/task/6973/stat : 6973 (pwbo2.0) R 6968 6970 3829 0 -1 4202560 191769 0 0 0 22124 101 0 0 20 0 3 0 275853875 978096128 223662 33554432000 4194304 5965102 140737415640352 140014699075416 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.46
Current children cumulated vsize (KiB) 955172
[startup+282.3 s]
/proc/loadavg: 3.99 3.88 3.87 5/181 7015
/proc/meminfo: memFree=28309892/32873648 swapFree=7368/7368
[pid=6970] ppid=6968 vsize=1217316 CPUtime=564.42 cores=0,2,4,6
/proc/6970/stat : 6970 (pwbo2.0) S 6968 6970 3829 0 -1 4202496 278146 0 0 0 56320 122 0 0 20 0 3 0 275853871 1246531584 266110 33554432000 4194304 5965102 140737415640352 140737415639872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6970/statm: 304329 266110 196 433 0 303893 0
[pid=6970/tid=6972] ppid=6968 vsize=1217316 CPUtime=282.22 cores=0,2,4,6
/proc/6970/task/6972/stat : 6972 (pwbo2.0) R 6968 6970 3829 0 -1 4202560 46100 0 0 0 28203 19 0 0 20 0 3 0 275853875 1246531584 266110 33554432000 4194304 5965102 140737415640352 140014709565432 4401024 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=6970/tid=6973] ppid=6968 vsize=1217316 CPUtime=282.25 cores=0,2,4,6
/proc/6970/task/6973/stat : 6973 (pwbo2.0) R 6968 6970 3829 0 -1 4202560 229569 0 0 0 28113 112 0 0 20 0 3 0 275853875 1246531584 266110 33554432000 4194304 5965102 140737415640352 140014699075896 4383059 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.42
Current children cumulated vsize (KiB) 1217316
[startup+342.3 s]
/proc/loadavg: 4.06 3.91 3.88 5/181 7015
/proc/meminfo: memFree=28253624/32873648 swapFree=7368/7368
[pid=6970] ppid=6968 vsize=1217316 CPUtime=684.39 cores=0,2,4,6
/proc/6970/stat : 6970 (pwbo2.0) S 6968 6970 3829 0 -1 4202496 282672 0 0 0 68311 128 0 0 20 0 3 0 275853871 1246531584 270628 33554432000 4194304 5965102 140737415640352 140737415639872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6970/statm: 304329 270628 196 433 0 303893 0
[pid=6970/tid=6972] ppid=6968 vsize=1217316 CPUtime=342.22 cores=0,2,4,6
/proc/6970/task/6972/stat : 6972 (pwbo2.0) R 6968 6970 3829 0 -1 4202560 50618 0 0 0 34196 26 0 0 20 0 3 0 275853875 1246531584 270628 33554432000 4194304 5965102 140737415640352 140014709565240 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=6970/tid=6973] ppid=6968 vsize=1217316 CPUtime=342.25 cores=0,2,4,6
/proc/6970/task/6973/stat : 6973 (pwbo2.0) R 6968 6970 3829 0 -1 4202560 229577 0 0 0 34112 113 0 0 20 0 3 0 275853875 1246531584 270628 33554432000 4194304 5965102 140737415640352 140014699075896 4401127 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.39
Current children cumulated vsize (KiB) 1217316
[startup+402.3 s]
/proc/loadavg: 4.02 3.92 3.88 5/181 7015
/proc/meminfo: memFree=28008756/32873648 swapFree=7368/7368
[pid=6970] ppid=6968 vsize=1348388 CPUtime=804.37 cores=0,2,4,6
/proc/6970/stat : 6970 (pwbo2.0) S 6968 6970 3829 0 -1 4202496 323662 0 0 0 80296 141 0 0 20 0 3 0 275853871 1380749312 311610 33554432000 4194304 5965102 140737415640352 140737415639872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6970/statm: 337097 311610 196 433 0 336661 0
[pid=6970/tid=6972] ppid=6968 vsize=1348388 CPUtime=402.22 cores=0,2,4,6
/proc/6970/task/6972/stat : 6972 (pwbo2.0) R 6968 6970 3829 0 -1 4202560 52489 0 0 0 40193 29 0 0 20 0 3 0 275853875 1380749312 311610 33554432000 4194304 5965102 140737415640352 140014709565240 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=6970/tid=6973] ppid=6968 vsize=1348388 CPUtime=402.24 cores=0,2,4,6
/proc/6970/task/6973/stat : 6973 (pwbo2.0) R 6968 6970 3829 0 -1 4202560 268696 0 0 0 40098 126 0 0 20 0 3 0 275853875 1380749312 311610 33554432000 4194304 5965102 140737415640352 140014699075896 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.37
Current children cumulated vsize (KiB) 1348388
[startup+462.3 s]
/proc/loadavg: 4.04 3.95 3.89 5/181 7015
/proc/meminfo: memFree=27714532/32873648 swapFree=7368/7368
[pid=6970] ppid=6968 vsize=1544996 CPUtime=924.35 cores=0,2,4,6
/proc/6970/stat : 6970 (pwbo2.0) S 6968 6970 3829 0 -1 4202496 369018 0 0 0 92277 158 0 0 20 0 3 0 275853871 1582075904 356963 33554432000 4194304 5965102 140737415640352 140737415639872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6970/statm: 386249 356963 196 433 0 385813 0
[pid=6970/tid=6972] ppid=6968 vsize=1544996 CPUtime=462.22 cores=0,2,4,6
/proc/6970/task/6972/stat : 6972 (pwbo2.0) R 6968 6970 3829 0 -1 4202560 55203 0 0 0 46191 31 0 0 20 0 3 0 275853875 1582075904 356963 33554432000 4194304 5965102 140737415640352 140014709565240 4401131 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=6970/tid=6973] ppid=6968 vsize=1544996 CPUtime=462.24 cores=0,2,4,6
/proc/6970/task/6973/stat : 6973 (pwbo2.0) R 6968 6970 3829 0 -1 4202560 311338 0 0 0 46082 142 0 0 20 0 3 0 275853875 1582075904 356963 33554432000 4194304 5965102 140737415640352 140014699075624 4401107 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.35
Current children cumulated vsize (KiB) 1544996
[startup+522.3 s]
/proc/loadavg: 4.05 3.97 3.91 5/182 7018
/proc/meminfo: memFree=27615652/32873648 swapFree=7368/7368
[pid=6970] ppid=6968 vsize=1546080 CPUtime=1044.32 cores=0,2,4,6
/proc/6970/stat : 6970 (pwbo2.0) S 6968 6970 3829 0 -1 4202496 373595 0 0 0 104272 160 0 0 20 0 3 0 275853871 1583185920 362536 33554432000 4194304 5965102 140737415640352 140737415639872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6970/statm: 386520 362536 196 433 0 386084 0
[pid=6970/tid=6972] ppid=6968 vsize=1546080 CPUtime=522.22 cores=0,2,4,6
/proc/6970/task/6972/stat : 6972 (pwbo2.0) R 6968 6970 3829 0 -1 4202560 58742 0 0 0 52188 34 0 0 20 0 3 0 275853875 1583185920 362536 33554432000 4194304 5965102 140737415640352 140014709565240 4401155 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=6970/tid=6973] ppid=6968 vsize=1546080 CPUtime=522.25 cores=0,2,4,6
/proc/6970/task/6973/stat : 6973 (pwbo2.0) R 6968 6970 3829 0 -1 4202560 312376 0 0 0 52083 142 0 0 20 0 3 0 275853875 1583185920 362536 33554432000 4194304 5965102 140737415640352 140014699075896 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.32
Current children cumulated vsize (KiB) 1546080
[startup+582.3 s]
/proc/loadavg: 4.05 3.99 3.91 5/180 7018
/proc/meminfo: memFree=27425224/32873648 swapFree=7368/7368
[pid=6970] ppid=6968 vsize=1546080 CPUtime=1164.31 cores=0,2,4,6
/proc/6970/stat : 6970 (pwbo2.0) S 6968 6970 3829 0 -1 4202496 374471 0 0 0 116269 162 0 0 20 0 3 0 275853871 1583185920 363409 33554432000 4194304 5965102 140737415640352 140737415639872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6970/statm: 386520 363409 196 433 0 386084 0
[pid=6970/tid=6972] ppid=6968 vsize=1546080 CPUtime=582.22 cores=0,2,4,6
/proc/6970/task/6972/stat : 6972 (pwbo2.0) R 6968 6970 3829 0 -1 4202560 59618 0 0 0 58186 36 0 0 20 0 3 0 275853875 1583185920 363409 33554432000 4194304 5965102 140737415640352 140014709565480 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=6970/tid=6973] ppid=6968 vsize=1546080 CPUtime=582.25 cores=0,2,4,6
/proc/6970/task/6973/stat : 6973 (pwbo2.0) R 6968 6970 3829 0 -1 4202560 312376 0 0 0 58082 143 0 0 20 0 3 0 275853875 1583185920 363409 33554432000 4194304 5965102 140737415640352 140014699075896 4401107 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.31
Current children cumulated vsize (KiB) 1546080
[startup+642.3 s]
/proc/loadavg: 4.05 4.00 3.92 5/181 7019
/proc/meminfo: memFree=27175328/32873648 swapFree=7368/7368
[pid=6970] ppid=6968 vsize=1611616 CPUtime=1284.29 cores=0,2,4,6
/proc/6970/stat : 6970 (pwbo2.0) S 6968 6970 3829 0 -1 4202496 377114 0 0 0 128265 164 0 0 20 0 3 0 275853871 1650294784 366051 33554432000 4194304 5965102 140737415640352 140737415639872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6970/statm: 402904 366051 196 433 0 402468 0
[pid=6970/tid=6972] ppid=6968 vsize=1611616 CPUtime=642.23 cores=0,2,4,6
/proc/6970/task/6972/stat : 6972 (pwbo2.0) R 6968 6970 3829 0 -1 4202560 62261 0 0 0 64183 40 0 0 20 0 3 0 275853875 1650294784 366051 33554432000 4194304 5965102 140737415640352 140014709565240 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=6970/tid=6973] ppid=6968 vsize=1611616 CPUtime=642.26 cores=0,2,4,6
/proc/6970/task/6973/stat : 6973 (pwbo2.0) R 6968 6970 3829 0 -1 4202560 312376 0 0 0 64082 144 0 0 20 0 3 0 275853875 1650294784 366051 33554432000 4194304 5965102 140737415640352 140014699075896 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1284.29
Current children cumulated vsize (KiB) 1611616
[startup+702.3 s]
/proc/loadavg: 4.02 4.00 3.92 5/181 7019
/proc/meminfo: memFree=26897968/32873648 swapFree=7368/7368
[pid=6970] ppid=6968 vsize=1677152 CPUtime=1404.26 cores=0,2,4,6
/proc/6970/stat : 6970 (pwbo2.0) S 6968 6970 3829 0 -1 4202496 399842 0 0 0 140254 172 0 0 20 0 3 0 275853871 1717403648 388777 33554432000 4194304 5965102 140737415640352 140737415639872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6970/statm: 419288 388777 196 433 0 418852 0
[pid=6970/tid=6972] ppid=6968 vsize=1677152 CPUtime=702.23 cores=0,2,4,6
/proc/6970/task/6972/stat : 6972 (pwbo2.0) R 6968 6970 3829 0 -1 4202560 64183 0 0 0 70180 43 0 0 20 0 3 0 275853875 1717403648 388777 33554432000 4194304 5965102 140737415640352 140014709565480 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=6970/tid=6973] ppid=6968 vsize=1677152 CPUtime=702.26 cores=0,2,4,6
/proc/6970/task/6973/stat : 6973 (pwbo2.0) R 6968 6970 3829 0 -1 4202560 333182 0 0 0 70075 151 0 0 20 0 3 0 275853875 1717403648 388777 33554432000 4194304 5965102 140737415640352 140014699075896 4401127 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1404.26
Current children cumulated vsize (KiB) 1677152
[startup+762.307 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 7019
/proc/meminfo: memFree=26511672/32873648 swapFree=7368/7368
[pid=6970] ppid=6968 vsize=1808224 CPUtime=1524.26 cores=0,2,4,6
/proc/6970/stat : 6970 (pwbo2.0) S 6968 6970 3829 0 -1 4202496 439829 0 0 0 152235 191 0 0 20 0 3 0 275853871 1851621376 428763 33554432000 4194304 5965102 140737415640352 140737415639872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6970/statm: 452056 428763 196 433 0 451620 0
[pid=6970/tid=6972] ppid=6968 vsize=1808224 CPUtime=762.24 cores=0,2,4,6
/proc/6970/task/6972/stat : 6972 (pwbo2.0) R 6968 6970 3829 0 -1 4202560 67275 0 0 0 76177 47 0 0 20 0 3 0 275853875 1851621376 428763 33554432000 4194304 5965102 140737415640352 140014709565432 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=6970/tid=6973] ppid=6968 vsize=1808224 CPUtime=762.27 cores=0,2,4,6
/proc/6970/task/6973/stat : 6973 (pwbo2.0) R 6968 6970 3829 0 -1 4202560 370077 0 0 0 76060 167 0 0 20 0 3 0 275853875 1851621376 428763 33554432000 4194304 5965102 140737415640352 140014699075896 4401127 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1524.26
Current children cumulated vsize (KiB) 1808224
[startup+822.3 s]
/proc/loadavg: 4.07 4.02 3.92 5/181 7019
/proc/meminfo: memFree=26081668/32873648 swapFree=7368/7368
[pid=6970] ppid=6968 vsize=1939296 CPUtime=1644.22 cores=0,2,4,6
/proc/6970/stat : 6970 (pwbo2.0) S 6968 6970 3829 0 -1 4202496 477895 0 0 0 164190 232 0 0 20 0 3 0 275853871 1985839104 466829 33554432000 4194304 5965102 140737415640352 140737415639872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6970/statm: 484824 466829 196 433 0 484388 0
[pid=6970/tid=6972] ppid=6968 vsize=1939296 CPUtime=822.23 cores=0,2,4,6
/proc/6970/task/6972/stat : 6972 (pwbo2.0) R 6968 6970 3829 0 -1 4202560 68766 0 0 0 82173 50 0 0 20 0 3 0 275853875 1985839104 466829 33554432000 4194304 5965102 140737415640352 140014709565432 4400960 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=6970/tid=6973] ppid=6968 vsize=1939296 CPUtime=822.27 cores=0,2,4,6
/proc/6970/task/6973/stat : 6973 (pwbo2.0) R 6968 6970 3829 0 -1 4202560 406652 0 0 0 82020 207 0 0 20 0 3 0 275853875 1985839104 466829 33554432000 4194304 5965102 140737415640352 140014699075896 4401127 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1644.22
Current children cumulated vsize (KiB) 1939296
[startup+882.3 s]
/proc/loadavg: 4.02 4.01 3.92 5/181 7019
/proc/meminfo: memFree=25853660/32873648 swapFree=7368/7368
[pid=6970] ppid=6968 vsize=2004832 CPUtime=1764.21 cores=0,2,4,6
/proc/6970/stat : 6970 (pwbo2.0) S 6968 6970 3829 0 -1 4202496 486877 0 0 0 176181 240 0 0 20 0 3 0 275853871 2052947968 475810 33554432000 4194304 5965102 140737415640352 140737415639872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6970/statm: 501208 475810 196 433 0 500772 0
[pid=6970/tid=6972] ppid=6968 vsize=2004832 CPUtime=882.24 cores=0,2,4,6
/proc/6970/task/6972/stat : 6972 (pwbo2.0) R 6968 6970 3829 0 -1 4202560 72182 0 0 0 88169 55 0 0 20 0 3 0 275853875 2052947968 475810 33554432000 4194304 5965102 140737415640352 140014709565432 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=6970/tid=6973] ppid=6968 vsize=2004832 CPUtime=882.27 cores=0,2,4,6
/proc/6970/task/6973/stat : 6973 (pwbo2.0) R 6968 6970 3829 0 -1 4202560 412218 0 0 0 88014 213 0 0 20 0 3 0 275853875 2052947968 475810 33554432000 4194304 5965102 140737415640352 140014699075896 4401107 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1764.21
Current children cumulated vsize (KiB) 2004832
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.2 s]
/proc/loadavg: 4.02 4.01 3.92 5/181 7020
/proc/meminfo: memFree=25772780/32873648 swapFree=7368/7368
[pid=6970] ppid=6968 vsize=2004832 CPUtime=1800.01 cores=0,2,4,6
/proc/6970/stat : 6970 (pwbo2.0) S 6968 6970 3829 0 -1 4202496 486884 0 0 0 179761 240 0 0 20 0 3 0 275853871 2052947968 475817 33554432000 4194304 5965102 140737415640352 140737415639872 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6970/statm: 501208 475817 196 433 0 500772 0
[pid=6970/tid=6972] ppid=6968 vsize=2004832 CPUtime=900.14 cores=0,2,4,6
/proc/6970/task/6972/stat : 6972 (pwbo2.0) R 6968 6970 3829 0 -1 4202560 72189 0 0 0 89959 55 0 0 20 0 3 0 275853875 2052947968 475817 33554432000 4194304 5965102 140737415640352 140014709565240 4401143 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=6970/tid=6973] ppid=6968 vsize=2004832 CPUtime=900.18 cores=0,2,4,6
/proc/6970/task/6973/stat : 6973 (pwbo2.0) R 6968 6970 3829 0 -1 4202560 412218 0 0 0 89805 213 0 0 20 0 3 0 275853875 2052947968 475817 33554432000 4194304 5965102 140737415640352 140014699075896 4401131 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 2004832
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.3
CPU time (s): 1800.48
CPU user time (s): 1797.7
CPU system time (s): 2.78258
CPU usage (%): 199.987
Max. virtual memory (cumulated for all children) (KiB): 2004832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.7
system time used= 2.78258
maximum resident set size= 1903272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 486885
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= 416
involuntary context switches= 2392
runsolver used 1.91271 second user time and 5.01324 second system time
The end