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-3726376-1338660378/watcher-3726376-1338660378 -o /tmp/evaluation-result-3726376-1338660378/solver-3726376-1338660378 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3726376-1338660378.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: 3.86 3.97 3.91 4/178 24128
/proc/meminfo: memFree=27137832/32873648 swapFree=6852/6852
[pid=24128] ppid=24126 vsize=33188 CPUtime=0 cores=1,3,5,7
/proc/24128/stat : 24128 (pwbo2.02) R 24126 24128 20635 0 -1 4202496 687 0 0 0 0 0 0 0 20 0 1 0 332164614 33984512 640 33554432000 4194304 5964478 140733845096192 140733845094136 5137986 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/24128/statm: 8297 650 170 433 0 969 0
[startup+0.072844 s]
/proc/loadavg: 3.86 3.97 3.91 4/178 24128
/proc/meminfo: memFree=27137832/32873648 swapFree=6852/6852
[pid=24128] ppid=24126 vsize=45504 CPUtime=0.06 cores=1,3,5,7
/proc/24128/stat : 24128 (pwbo2.02) R 24126 24128 20635 0 -1 4202496 3882 0 0 0 6 0 0 0 20 0 1 0 332164614 46596096 3753 33554432000 4194304 5964478 140733845096192 140733845094136 4442009 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/24128/statm: 11376 3754 358 433 0 4048 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 45504
[startup+0.100293 s]
/proc/loadavg: 3.86 3.97 3.91 4/178 24128
/proc/meminfo: memFree=27137832/32873648 swapFree=6852/6852
[pid=24128] ppid=24126 vsize=50860 CPUtime=0.08 cores=1,3,5,7
/proc/24128/stat : 24128 (pwbo2.02) R 24126 24128 20635 0 -1 4202496 4837 0 0 0 8 0 0 0 20 0 1 0 332164614 52080640 4708 33554432000 4194304 5964478 140733845096192 140733845094136 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/24128/statm: 12715 4709 440 433 0 5387 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 50860
[startup+0.300292 s]
/proc/loadavg: 3.86 3.97 3.91 4/178 24128
/proc/meminfo: memFree=27137832/32873648 swapFree=6852/6852
[pid=24128] ppid=24126 vsize=70260 CPUtime=0.29 cores=1,3,5,7
/proc/24128/stat : 24128 (pwbo2.02) R 24126 24128 20635 0 -1 4202496 10735 0 0 0 28 1 0 0 20 0 1 0 332164614 71946240 10340 33554432000 4194304 5964478 140733845096192 140733845094136 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/24128/statm: 17565 10341 989 433 0 10237 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 70260
[startup+0.700234 s]
/proc/loadavg: 3.86 3.97 3.91 4/178 24128
/proc/meminfo: memFree=27137832/32873648 swapFree=6852/6852
[pid=24128] ppid=24126 vsize=121104 CPUtime=0.69 cores=1,3,5,7
/proc/24128/stat : 24128 (pwbo2.02) R 24126 24128 20635 0 -1 4202496 24191 0 0 0 66 3 0 0 20 0 1 0 332164614 124010496 22752 33554432000 4194304 5964478 140733845096192 140733845094280 5180156 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/24128/statm: 30276 22777 2030 433 0 22948 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 121104
[startup+1.50029 s]
/proc/loadavg: 3.86 3.97 3.91 4/179 24129
/proc/meminfo: memFree=26989912/32873648 swapFree=6852/6852
[pid=24128] ppid=24126 vsize=213488 CPUtime=1.48 cores=1,3,5,7
/proc/24128/stat : 24128 (pwbo2.02) R 24126 24128 20635 0 -1 4202496 46906 0 0 0 142 6 0 0 20 0 1 0 332164614 218611712 46964 33554432000 4194304 5964478 140733845096192 140733845094280 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/24128/statm: 53372 46965 3864 433 0 46044 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 213488
[startup+3.10029 s]
/proc/loadavg: 3.86 3.97 3.91 4/179 24129
/proc/meminfo: memFree=26877044/32873648 swapFree=6852/6852
[pid=24128] ppid=24126 vsize=336840 CPUtime=3.09 cores=1,3,5,7
/proc/24128/stat : 24128 (pwbo2.02) R 24126 24128 20635 0 -1 4202496 76051 0 0 0 298 11 0 0 20 0 1 0 332164614 344924160 77582 33554432000 4194304 5964478 140733845096192 140733845094600 4344768 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/24128/statm: 84210 77583 6993 433 0 76882 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 336840
[startup+6.30036 s]
/proc/loadavg: 3.79 3.95 3.91 5/181 24131
/proc/meminfo: memFree=26441304/32873648 swapFree=6852/6852
[pid=24128] ppid=24126 vsize=889672 CPUtime=9.28 cores=1,3,5,7
/proc/24128/stat : 24128 (pwbo2.02) S 24126 24128 20635 0 -1 4202496 167745 0 0 0 866 62 0 0 20 0 3 0 332164614 911024128 182105 33554432000 4194304 5964478 140733845096192 140733845095712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24128/statm: 222418 182105 195 433 0 221982 0
[pid=24128/tid=24130] ppid=24126 vsize=889672 CPUtime=3.11 cores=1,3,5,7
/proc/24128/task/24130/stat : 24130 (pwbo2.02) R 24126 24128 20635 0 -1 4202560 66827 0 0 0 266 45 0 0 20 0 3 0 332164928 911024128 182105 33554432000 4194304 5964478 140733845096192 139985356773736 4221984 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=24128/tid=24131] ppid=24126 vsize=889672 CPUtime=3.06 cores=1,3,5,7
/proc/24128/task/24131/stat : 24131 (pwbo2.02) R 24126 24128 20635 0 -1 4202560 23202 0 0 0 300 6 0 0 20 0 3 0 332164928 911024128 182105 33554432000 4194304 5964478 140733845096192 139985346283752 4392882 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 9.28
Current children cumulated vsize (KiB) 889672
[startup+12.7004 s]
/proc/loadavg: 3.80 3.95 3.91 5/181 24131
/proc/meminfo: memFree=26347484/32873648 swapFree=6852/6852
[pid=24128] ppid=24126 vsize=889672 CPUtime=22.08 cores=1,3,5,7
/proc/24128/stat : 24128 (pwbo2.02) S 24126 24128 20635 0 -1 4202496 168951 0 0 0 2145 63 0 0 20 0 3 0 332164614 911024128 186377 33554432000 4194304 5964478 140733845096192 140733845095712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24128/statm: 222418 186377 197 433 0 221982 0
[pid=24128/tid=24130] ppid=24126 vsize=889672 CPUtime=9.51 cores=1,3,5,7
/proc/24128/task/24130/stat : 24130 (pwbo2.02) R 24126 24128 20635 0 -1 4202560 67342 0 0 0 906 45 0 0 20 0 3 0 332164928 911024128 186377 33554432000 4194304 5964478 140733845096192 139985356773720 4400006 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=24128/tid=24131] ppid=24126 vsize=889672 CPUtime=9.46 cores=1,3,5,7
/proc/24128/task/24131/stat : 24131 (pwbo2.02) R 24126 24128 20635 0 -1 4202560 23893 0 0 0 939 7 0 0 20 0 3 0 332164928 911024128 186377 33554432000 4194304 5964478 140733845096192 139985346283832 4400069 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 22.08
Current children cumulated vsize (KiB) 889672
[startup+25.5004 s]
/proc/loadavg: 3.85 3.95 3.91 5/181 24131
/proc/meminfo: memFree=26339600/32873648 swapFree=6852/6852
[pid=24128] ppid=24126 vsize=889672 CPUtime=47.68 cores=1,3,5,7
/proc/24128/stat : 24128 (pwbo2.02) S 24126 24128 20635 0 -1 4202496 170681 0 0 0 4703 65 0 0 20 0 3 0 332164614 911024128 188018 33554432000 4194304 5964478 140733845096192 140733845095712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24128/statm: 222418 188018 197 433 0 221982 0
[pid=24128/tid=24130] ppid=24126 vsize=889672 CPUtime=22.31 cores=1,3,5,7
/proc/24128/task/24130/stat : 24130 (pwbo2.02) R 24126 24128 20635 0 -1 4202560 67948 0 0 0 2185 46 0 0 20 0 3 0 332164928 911024128 188018 33554432000 4194304 5964478 140733845096192 139985356773912 4403557 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=24128/tid=24131] ppid=24126 vsize=889672 CPUtime=22.26 cores=1,3,5,7
/proc/24128/task/24131/stat : 24131 (pwbo2.02) R 24126 24128 20635 0 -1 4202560 25017 0 0 0 2218 8 0 0 20 0 3 0 332164928 911024128 188018 33554432000 4194304 5964478 140733845096192 139985346283880 4389110 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 47.68
Current children cumulated vsize (KiB) 889672
[startup+51.1004 s]
/proc/loadavg: 3.90 3.95 3.91 5/181 24131
/proc/meminfo: memFree=26360104/32873648 swapFree=6852/6852
[pid=24128] ppid=24126 vsize=889672 CPUtime=98.88 cores=1,3,5,7
/proc/24128/stat : 24128 (pwbo2.02) S 24126 24128 20635 0 -1 4202496 173651 0 0 0 9821 67 0 0 20 0 3 0 332164614 911024128 188990 33554432000 4194304 5964478 140733845096192 140733845095712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24128/statm: 222418 188990 197 433 0 221982 0
[pid=24128/tid=24130] ppid=24126 vsize=889672 CPUtime=47.9 cores=1,3,5,7
/proc/24128/task/24130/stat : 24130 (pwbo2.02) R 24126 24128 20635 0 -1 4202560 69947 0 0 0 4744 46 0 0 20 0 3 0 332164928 911024128 188990 33554432000 4194304 5964478 140733845096192 139985356773912 4389129 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=24128/tid=24131] ppid=24126 vsize=889672 CPUtime=47.87 cores=1,3,5,7
/proc/24128/task/24131/stat : 24131 (pwbo2.02) R 24126 24128 20635 0 -1 4202560 25988 0 0 0 4777 10 0 0 20 0 3 0 332164928 911024128 188990 33554432000 4194304 5964478 140733845096192 139985346283832 4389160 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 98.88
Current children cumulated vsize (KiB) 889672
[startup+102.307 s]
/proc/loadavg: 3.95 3.96 3.91 5/181 24132
/proc/meminfo: memFree=26247204/32873648 swapFree=6852/6852
[pid=24128] ppid=24126 vsize=889672 CPUtime=201.27 cores=1,3,5,7
/proc/24128/stat : 24128 (pwbo2.02) S 24126 24128 20635 0 -1 4202496 181833 0 0 0 20057 70 0 0 20 0 3 0 332164614 911024128 195718 33554432000 4194304 5964478 140733845096192 140733845095712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24128/statm: 222418 195718 197 433 0 221982 0
[pid=24128/tid=24130] ppid=24126 vsize=889672 CPUtime=99.1 cores=1,3,5,7
/proc/24128/task/24130/stat : 24130 (pwbo2.02) R 24126 24128 20635 0 -1 4202560 76463 0 0 0 9861 49 0 0 20 0 3 0 332164928 911024128 195718 33554432000 4194304 5964478 140733845096192 139985356774216 4221987 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=24128/tid=24131] ppid=24126 vsize=889672 CPUtime=99.07 cores=1,3,5,7
/proc/24128/task/24131/stat : 24131 (pwbo2.02) R 24126 24128 20635 0 -1 4202560 27654 0 0 0 9894 13 0 0 20 0 3 0 332164928 911024128 195718 33554432000 4194304 5964478 140733845096192 139985346283832 4392696 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 201.27
Current children cumulated vsize (KiB) 889672
[startup+162.3 s]
/proc/loadavg: 4.02 3.98 3.91 5/181 24132
/proc/meminfo: memFree=26122588/32873648 swapFree=6852/6852
[pid=24128] ppid=24126 vsize=955208 CPUtime=321.24 cores=1,3,5,7
/proc/24128/stat : 24128 (pwbo2.02) S 24126 24128 20635 0 -1 4202496 184568 0 0 0 32051 73 0 0 20 0 3 0 332164614 978132992 205110 33554432000 4194304 5964478 140733845096192 140733845095712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24128/statm: 238802 205110 197 433 0 238366 0
[pid=24128/tid=24130] ppid=24126 vsize=955208 CPUtime=159.09 cores=1,3,5,7
/proc/24128/task/24130/stat : 24130 (pwbo2.02) R 24126 24128 20635 0 -1 4202560 77842 0 0 0 15857 52 0 0 20 0 3 0 332164928 978132992 205110 33554432000 4194304 5964478 140733845096192 139985356773912 4392761 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=24128/tid=24131] ppid=24126 vsize=955208 CPUtime=159.06 cores=1,3,5,7
/proc/24128/task/24131/stat : 24131 (pwbo2.02) R 24126 24128 20635 0 -1 4202560 29010 0 0 0 15891 15 0 0 20 0 3 0 332164928 978132992 205110 33554432000 4194304 5964478 140733845096192 139985346283832 4403512 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 321.24
Current children cumulated vsize (KiB) 955208
[startup+222.3 s]
/proc/loadavg: 4.04 3.99 3.92 5/181 24132
/proc/meminfo: memFree=26019296/32873648 swapFree=6852/6852
[pid=24128] ppid=24126 vsize=955208 CPUtime=441.22 cores=1,3,5,7
/proc/24128/stat : 24128 (pwbo2.02) S 24126 24128 20635 0 -1 4202496 187623 0 0 0 44046 76 0 0 20 0 3 0 332164614 978132992 202694 33554432000 4194304 5964478 140733845096192 140733845095712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24128/statm: 238802 202694 197 433 0 238366 0
[pid=24128/tid=24130] ppid=24126 vsize=955208 CPUtime=219.09 cores=1,3,5,7
/proc/24128/task/24130/stat : 24130 (pwbo2.02) R 24126 24128 20635 0 -1 4202560 79823 0 0 0 21855 54 0 0 20 0 3 0 332164928 978132992 202694 33554432000 4194304 5964478 140733845096192 139985356774216 4392701 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=24128/tid=24131] ppid=24126 vsize=955208 CPUtime=219.06 cores=1,3,5,7
/proc/24128/task/24131/stat : 24131 (pwbo2.02) R 24126 24128 20635 0 -1 4202560 30084 0 0 0 21889 17 0 0 20 0 3 0 332164928 978132992 202694 33554432000 4194304 5964478 140733845096192 139985346283880 4382019 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 441.22
Current children cumulated vsize (KiB) 955208
[startup+282.3 s]
/proc/loadavg: 4.05 4.01 3.93 5/182 24135
/proc/meminfo: memFree=25893140/32873648 swapFree=6852/6852
[pid=24128] ppid=24126 vsize=955208 CPUtime=561.2 cores=1,3,5,7
/proc/24128/stat : 24128 (pwbo2.02) S 24126 24128 20635 0 -1 4202496 189370 0 0 0 56042 78 0 0 20 0 3 0 332164614 978132992 211068 33554432000 4194304 5964478 140733845096192 140733845095712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24128/statm: 238802 211068 198 433 0 238366 0
[pid=24128/tid=24130] ppid=24126 vsize=955208 CPUtime=279.09 cores=1,3,5,7
/proc/24128/task/24130/stat : 24130 (pwbo2.02) R 24126 24128 20635 0 -1 4202560 80839 0 0 0 27853 56 0 0 20 0 3 0 332164928 978132992 211068 33554432000 4194304 5964478 140733845096192 139985356773912 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24128/tid=24131] ppid=24126 vsize=955208 CPUtime=279.06 cores=1,3,5,7
/proc/24128/task/24131/stat : 24131 (pwbo2.02) R 24126 24128 20635 0 -1 4202560 30815 0 0 0 27886 20 0 0 20 0 3 0 332164928 978132992 211068 33554432000 4194304 5964478 140733845096192 139985346283832 4389110 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 561.2
Current children cumulated vsize (KiB) 955208
[startup+342.3 s]
/proc/loadavg: 4.02 4.00 3.93 5/181 24135
/proc/meminfo: memFree=25756604/32873648 swapFree=6852/6852
[pid=24128] ppid=24126 vsize=1020744 CPUtime=681.18 cores=1,3,5,7
/proc/24128/stat : 24128 (pwbo2.02) S 24126 24128 20635 0 -1 4202496 191194 0 0 0 68037 81 0 0 20 0 3 0 332164614 1045241856 216513 33554432000 4194304 5964478 140733845096192 140733845095712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24128/statm: 255186 216513 198 433 0 254750 0
[pid=24128/tid=24130] ppid=24126 vsize=1020744 CPUtime=339.09 cores=1,3,5,7
/proc/24128/task/24130/stat : 24130 (pwbo2.02) R 24126 24128 20635 0 -1 4202560 81886 0 0 0 33851 58 0 0 20 0 3 0 332164928 1045241856 216513 33554432000 4194304 5964478 140733845096192 139985356774216 4387951 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24128/tid=24131] ppid=24126 vsize=1020744 CPUtime=339.06 cores=1,3,5,7
/proc/24128/task/24131/stat : 24131 (pwbo2.02) R 24126 24128 20635 0 -1 4202560 31592 0 0 0 33883 23 0 0 20 0 3 0 332164928 1045241856 216513 33554432000 4194304 5964478 140733845096192 139985346283832 4222464 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 681.18
Current children cumulated vsize (KiB) 1020744
[startup+402.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/181 24136
/proc/meminfo: memFree=25677032/32873648 swapFree=6852/6852
[pid=24128] ppid=24126 vsize=1020744 CPUtime=801.16 cores=1,3,5,7
/proc/24128/stat : 24128 (pwbo2.02) S 24126 24128 20635 0 -1 4202496 193982 0 0 0 80032 84 0 0 20 0 3 0 332164614 1045241856 221365 33554432000 4194304 5964478 140733845096192 140733845095712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24128/statm: 255186 221365 198 433 0 254750 0
[pid=24128/tid=24130] ppid=24126 vsize=1020744 CPUtime=399.08 cores=1,3,5,7
/proc/24128/task/24130/stat : 24130 (pwbo2.02) R 24126 24128 20635 0 -1 4202560 83372 0 0 0 39848 60 0 0 20 0 3 0 332164928 1045241856 221365 33554432000 4194304 5964478 140733845096192 139985356773912 4388838 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=24128/tid=24131] ppid=24126 vsize=1020744 CPUtime=399.06 cores=1,3,5,7
/proc/24128/task/24131/stat : 24131 (pwbo2.02) R 24126 24128 20635 0 -1 4202560 32894 0 0 0 39880 26 0 0 20 0 3 0 332164928 1045241856 221365 33554432000 4194304 5964478 140733845096192 139985346283832 4381996 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 801.16
Current children cumulated vsize (KiB) 1020744
[startup+462.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/181 24136
/proc/meminfo: memFree=25549212/32873648 swapFree=6852/6852
[pid=24128] ppid=24126 vsize=1020744 CPUtime=921.14 cores=1,3,5,7
/proc/24128/stat : 24128 (pwbo2.02) S 24126 24128 20635 0 -1 4202496 198711 0 0 0 92027 87 0 0 20 0 3 0 332164614 1045241856 223841 33554432000 4194304 5964478 140733845096192 140733845095712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24128/statm: 255186 223841 198 433 0 254750 0
[pid=24128/tid=24130] ppid=24126 vsize=1020744 CPUtime=459.08 cores=1,3,5,7
/proc/24128/task/24130/stat : 24130 (pwbo2.02) R 24126 24128 20635 0 -1 4202560 86681 0 0 0 45847 61 0 0 20 0 3 0 332164928 1045241856 223841 33554432000 4194304 5964478 140733845096192 139985356774216 4388824 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=24128/tid=24131] ppid=24126 vsize=1020744 CPUtime=459.06 cores=1,3,5,7
/proc/24128/task/24131/stat : 24131 (pwbo2.02) R 24126 24128 20635 0 -1 4202560 34314 0 0 0 45878 28 0 0 20 0 3 0 332164928 1045241856 223841 33554432000 4194304 5964478 140733845096192 139985346283832 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 921.14
Current children cumulated vsize (KiB) 1020744
[startup+522.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/181 24136
/proc/meminfo: memFree=25508348/32873648 swapFree=6852/6852
[pid=24128] ppid=24126 vsize=1020744 CPUtime=1041.12 cores=1,3,5,7
/proc/24128/stat : 24128 (pwbo2.02) S 24126 24128 20635 0 -1 4202496 201379 0 0 0 104022 90 0 0 20 0 3 0 332164614 1045241856 228133 33554432000 4194304 5964478 140733845096192 140733845095712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24128/statm: 255186 228133 198 433 0 254750 0
[pid=24128/tid=24130] ppid=24126 vsize=1020744 CPUtime=519.08 cores=1,3,5,7
/proc/24128/task/24130/stat : 24130 (pwbo2.02) R 24126 24128 20635 0 -1 4202560 88543 0 0 0 51845 63 0 0 20 0 3 0 332164928 1045241856 228133 33554432000 4194304 5964478 140733845096192 139985356773912 4403557 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=24128/tid=24131] ppid=24126 vsize=1020744 CPUtime=519.06 cores=1,3,5,7
/proc/24128/task/24131/stat : 24131 (pwbo2.02) R 24126 24128 20635 0 -1 4202560 35120 0 0 0 51875 31 0 0 20 0 3 0 332164928 1045241856 228133 33554432000 4194304 5964478 140733845096192 139985346283832 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1041.12
Current children cumulated vsize (KiB) 1020744
[startup+582.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/181 24136
/proc/meminfo: memFree=25371268/32873648 swapFree=6852/6852
[pid=24128] ppid=24126 vsize=1020744 CPUtime=1161.1 cores=1,3,5,7
/proc/24128/stat : 24128 (pwbo2.02) S 24126 24128 20635 0 -1 4202496 202260 0 0 0 116018 92 0 0 20 0 3 0 332164614 1045241856 229457 33554432000 4194304 5964478 140733845096192 140733845095712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24128/statm: 255186 229457 198 433 0 254750 0
[pid=24128/tid=24130] ppid=24126 vsize=1020744 CPUtime=579.08 cores=1,3,5,7
/proc/24128/task/24130/stat : 24130 (pwbo2.02) R 24126 24128 20635 0 -1 4202560 88543 0 0 0 57844 64 0 0 20 0 3 0 332164928 1045241856 229457 33554432000 4194304 5964478 140733845096192 139985356773912 4222416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24128/tid=24131] ppid=24126 vsize=1020744 CPUtime=579.05 cores=1,3,5,7
/proc/24128/task/24131/stat : 24131 (pwbo2.02) R 24126 24128 20635 0 -1 4202560 36001 0 0 0 57872 33 0 0 20 0 3 0 332164928 1045241856 229457 33554432000 4194304 5964478 140733845096192 139985346283832 4389170 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1161.1
Current children cumulated vsize (KiB) 1020744
[startup+642.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/181 24136
/proc/meminfo: memFree=25281744/32873648 swapFree=6852/6852
[pid=24128] ppid=24126 vsize=1020744 CPUtime=1281.08 cores=1,3,5,7
/proc/24128/stat : 24128 (pwbo2.02) S 24126 24128 20635 0 -1 4202496 203151 0 0 0 128015 93 0 0 20 0 3 0 332164614 1045241856 231199 33554432000 4194304 5964478 140733845096192 140733845095712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24128/statm: 255186 231199 198 433 0 254750 0
[pid=24128/tid=24130] ppid=24126 vsize=1020744 CPUtime=639.08 cores=1,3,5,7
/proc/24128/task/24130/stat : 24130 (pwbo2.02) R 24126 24128 20635 0 -1 4202560 88545 0 0 0 63843 65 0 0 20 0 3 0 332164928 1045241856 231199 33554432000 4194304 5964478 140733845096192 139985356773912 4403425 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24128/tid=24131] ppid=24126 vsize=1020744 CPUtime=639.05 cores=1,3,5,7
/proc/24128/task/24131/stat : 24131 (pwbo2.02) R 24126 24128 20635 0 -1 4202560 36890 0 0 0 63869 36 0 0 20 0 3 0 332164928 1045241856 231199 33554432000 4194304 5964478 140733845096192 139985346283768 4389132 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1281.08
Current children cumulated vsize (KiB) 1020744
[startup+702.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/180 24136
/proc/meminfo: memFree=25194128/32873648 swapFree=6852/6852
[pid=24128] ppid=24126 vsize=1020744 CPUtime=1401.05 cores=1,3,5,7
/proc/24128/stat : 24128 (pwbo2.02) S 24126 24128 20635 0 -1 4202496 203839 0 0 0 140010 95 0 0 20 0 3 0 332164614 1045241856 231955 33554432000 4194304 5964478 140733845096192 140733845095712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24128/statm: 255186 231955 198 433 0 254750 0
[pid=24128/tid=24130] ppid=24126 vsize=1020744 CPUtime=699.07 cores=1,3,5,7
/proc/24128/task/24130/stat : 24130 (pwbo2.02) R 24126 24128 20635 0 -1 4202560 88548 0 0 0 69841 66 0 0 20 0 3 0 332164928 1045241856 231955 33554432000 4194304 5964478 140733845096192 139985356773912 4392738 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24128/tid=24131] ppid=24126 vsize=1020744 CPUtime=699.04 cores=1,3,5,7
/proc/24128/task/24131/stat : 24131 (pwbo2.02) R 24126 24128 20635 0 -1 4202560 37575 0 0 0 69866 38 0 0 20 0 3 0 332164928 1045241856 231955 33554432000 4194304 5964478 140733845096192 139985346283832 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1401.05
Current children cumulated vsize (KiB) 1020744
[startup+762.307 s]
/proc/loadavg: 4.00 4.00 3.93 5/181 24137
/proc/meminfo: memFree=25126652/32873648 swapFree=6852/6852
[pid=24128] ppid=24126 vsize=1086280 CPUtime=1521.05 cores=1,3,5,7
/proc/24128/stat : 24128 (pwbo2.02) S 24126 24128 20635 0 -1 4202496 205515 0 0 0 152005 100 0 0 20 0 3 0 332164614 1112350720 233630 33554432000 4194304 5964478 140733845096192 140733845095712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24128/statm: 271570 233630 198 433 0 271134 0
[pid=24128/tid=24130] ppid=24126 vsize=1086280 CPUtime=759.08 cores=1,3,5,7
/proc/24128/task/24130/stat : 24130 (pwbo2.02) R 24126 24128 20635 0 -1 4202560 88549 0 0 0 75841 67 0 0 20 0 3 0 332164928 1112350720 233630 33554432000 4194304 5964478 140733845096192 139985356773912 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=24128/tid=24131] ppid=24126 vsize=1086280 CPUtime=759.05 cores=1,3,5,7
/proc/24128/task/24131/stat : 24131 (pwbo2.02) R 24126 24128 20635 0 -1 4202560 39250 0 0 0 75861 44 0 0 20 0 3 0 332164928 1112350720 233630 33554432000 4194304 5964478 140733845096192 139985346283832 4382019 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1521.05
Current children cumulated vsize (KiB) 1086280
[startup+822.3 s]
/proc/loadavg: 3.21 3.81 3.86 3/173 24162
/proc/meminfo: memFree=27041940/32873648 swapFree=6852/6852
[pid=24128] ppid=24126 vsize=1086280 CPUtime=1640.99 cores=1,3,5,7
/proc/24128/stat : 24128 (pwbo2.02) S 24126 24128 20635 0 -1 4202496 206140 0 0 0 163999 100 0 0 20 0 3 0 332164614 1112350720 234241 33554432000 4194304 5964478 140733845096192 140733845095712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24128/statm: 271570 234241 198 433 0 271134 0
[pid=24128/tid=24130] ppid=24126 vsize=1086280 CPUtime=819.06 cores=1,3,5,7
/proc/24128/task/24130/stat : 24130 (pwbo2.02) R 24126 24128 20635 0 -1 4202560 88563 0 0 0 81838 68 0 0 20 0 3 0 332164928 1112350720 234241 33554432000 4194304 5964478 140733845096192 139985356773912 4390878 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=24128/tid=24131] ppid=24126 vsize=1086280 CPUtime=819.04 cores=1,3,5,7
/proc/24128/task/24131/stat : 24131 (pwbo2.02) R 24126 24128 20635 0 -1 4202560 39861 0 0 0 81858 46 0 0 20 0 3 0 332164928 1112350720 234241 33554432000 4194304 5964478 140733845096192 139985346283832 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1640.99
Current children cumulated vsize (KiB) 1086280
[startup+882.3 s]
/proc/loadavg: 2.44 3.48 3.74 3/174 24165
/proc/meminfo: memFree=27038684/32873648 swapFree=6852/6852
[pid=24128] ppid=24126 vsize=1086280 CPUtime=1760.97 cores=1,3,5,7
/proc/24128/stat : 24128 (pwbo2.02) S 24126 24128 20635 0 -1 4202496 206854 0 0 0 175995 102 0 0 20 0 3 0 332164614 1112350720 235024 33554432000 4194304 5964478 140733845096192 140733845095712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24128/statm: 271570 235024 198 433 0 271134 0
[pid=24128/tid=24130] ppid=24126 vsize=1086280 CPUtime=879.05 cores=1,3,5,7
/proc/24128/task/24130/stat : 24130 (pwbo2.02) R 24126 24128 20635 0 -1 4202560 88568 0 0 0 87836 69 0 0 20 0 3 0 332164928 1112350720 235024 33554432000 4194304 5964478 140733845096192 139985356773912 4403624 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=24128/tid=24131] ppid=24126 vsize=1086280 CPUtime=879.03 cores=1,3,5,7
/proc/24128/task/24131/stat : 24131 (pwbo2.02) R 24126 24128 20635 0 -1 4202560 40570 0 0 0 87854 49 0 0 20 0 3 0 332164928 1112350720 235024 33554432000 4194304 5964478 140733845096192 139985346283352 4403624 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1760.97
Current children cumulated vsize (KiB) 1086280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+901.9 s]
/proc/loadavg: 2.38 3.40 3.71 3/173 24165
/proc/meminfo: memFree=27038164/32873648 swapFree=6852/6852
[pid=24128] ppid=24126 vsize=1086280 CPUtime=1800.18 cores=1,3,5,7
/proc/24128/stat : 24128 (pwbo2.02) S 24126 24128 20635 0 -1 4202496 207040 0 0 0 179916 102 0 0 20 0 3 0 332164614 1112350720 235202 33554432000 4194304 5964478 140733845096192 140733845095712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24128/statm: 271570 235202 198 433 0 271134 0
[pid=24128/tid=24130] ppid=24126 vsize=1086280 CPUtime=898.66 cores=1,3,5,7
/proc/24128/task/24130/stat : 24130 (pwbo2.02) R 24126 24128 20635 0 -1 4202560 88576 0 0 0 89797 69 0 0 20 0 3 0 332164928 1112350720 235202 33554432000 4194304 5964478 140733845096192 139985356773912 4403343 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24128/tid=24131] ppid=24126 vsize=1086280 CPUtime=898.65 cores=1,3,5,7
/proc/24128/task/24131/stat : 24131 (pwbo2.02) R 24126 24128 20635 0 -1 4202560 40748 0 0 0 89816 49 0 0 20 0 3 0 332164928 1112350720 235202 33554432000 4194304 5964478 140733845096192 139985346283832 4389085 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 1086280
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+901.9 s]
/proc/loadavg: 2.38 3.40 3.71 3/173 24165
/proc/meminfo: memFree=27038164/32873648 swapFree=6852/6852
[pid=24128] ppid=24126 vsize=1086280 CPUtime=1800.18 cores=1,3,5,7
/proc/24128/stat : 24128 (pwbo2.02) S 24126 24128 20635 0 -1 4202496 207040 0 0 0 179916 102 0 0 20 0 3 0 332164614 1112350720 235202 33554432000 4194304 5964478 140733845096192 140733845095712 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24128/statm: 271570 235202 198 433 0 271134 0
[pid=24128/tid=24130] ppid=24126 vsize=1086280 CPUtime=898.66 cores=1,3,5,7
/proc/24128/task/24130/stat : 24130 (pwbo2.02) R 24126 24128 20635 0 -1 4202560 88576 0 0 0 89797 69 0 0 20 0 3 0 332164928 1112350720 235202 33554432000 4194304 5964478 140733845096192 139985356773912 4403343 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=24128/tid=24131] ppid=24126 vsize=1086280 CPUtime=898.65 cores=1,3,5,7
/proc/24128/task/24131/stat : 24131 (pwbo2.02) R 24126 24128 20635 0 -1 4202560 40748 0 0 0 89816 49 0 0 20 0 3 0 332164928 1112350720 235202 33554432000 4194304 5964478 140733845096192 139985346283832 4389085 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 1086280
Child status: 0
Real time (s): 901.935
CPU time (s): 1800.5
CPU user time (s): 1799.16
CPU system time (s): 1.3368
CPU usage (%): 199.626
Max. virtual memory (cumulated for all children) (KiB): 1086280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.16
system time used= 1.3368
maximum resident set size= 940816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 207042
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= 6731
involuntary context switches= 2800
runsolver used 1.9527 second user time and 5.11322 second system time
The end