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-3704066-1338099927/watcher-3704066-1338099927 -o /tmp/evaluation-result-3704066-1338099927/solver-3704066-1338099927 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3704066-1338099927.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.10 4.04 3.98 4/178 1028
/proc/meminfo: memFree=28917820/32873844 swapFree=7112/7112
[pid=1028] ppid=1026 vsize=31912 CPUtime=0 cores=1,3,5,7
/proc/1028/stat : 1028 (pwbo2.0) R 1026 1028 31075 0 -1 4202496 419 0 0 0 0 0 0 0 20 0 1 0 276117709 32677888 372 33554432000 4194304 5965102 140736968307232 140736968304984 4220672 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/1028/statm: 7978 375 163 433 0 649 0
[startup+0.0177841 s]
/proc/loadavg: 4.10 4.04 3.98 4/178 1028
/proc/meminfo: memFree=28917820/32873844 swapFree=7112/7112
[pid=1028] ppid=1026 vsize=36392 CPUtime=0.01 cores=1,3,5,7
/proc/1028/stat : 1028 (pwbo2.0) R 1026 1028 31075 0 -1 4202496 1370 0 0 0 1 0 0 0 20 0 1 0 276117709 37265408 1323 33554432000 4194304 5965102 140736968307232 140736968304984 4396513 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/1028/statm: 9098 1327 197 433 0 1769 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 36392
[startup+0.100302 s]
/proc/loadavg: 4.10 4.04 3.98 4/178 1028
/proc/meminfo: memFree=28917820/32873844 swapFree=7112/7112
[pid=1028] ppid=1026 vsize=48176 CPUtime=0.09 cores=1,3,5,7
/proc/1028/stat : 1028 (pwbo2.0) R 1026 1028 31075 0 -1 4202496 4639 0 0 0 9 0 0 0 20 0 1 0 276117709 49332224 4477 33554432000 4194304 5965102 140736968307232 140736968304984 5137146 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/1028/statm: 12044 4478 424 433 0 4715 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 48176
[startup+0.300318 s]
/proc/loadavg: 4.10 4.04 3.98 4/178 1028
/proc/meminfo: memFree=28917820/32873844 swapFree=7112/7112
[pid=1028] ppid=1026 vsize=69040 CPUtime=0.29 cores=1,3,5,7
/proc/1028/stat : 1028 (pwbo2.0) R 1026 1028 31075 0 -1 4202496 10454 0 0 0 27 2 0 0 20 0 1 0 276117709 70696960 10025 33554432000 4194304 5965102 140736968307232 140736968304984 5137146 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/1028/statm: 17260 10026 944 433 0 9931 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 69040
[startup+0.700336 s]
/proc/loadavg: 4.10 4.04 3.98 4/178 1028
/proc/meminfo: memFree=28917820/32873844 swapFree=7112/7112
[pid=1028] ppid=1026 vsize=113912 CPUtime=0.68 cores=1,3,5,7
/proc/1028/stat : 1028 (pwbo2.0) R 1026 1028 31075 0 -1 4202496 21906 0 0 0 65 3 0 0 20 0 1 0 276117709 116645888 20947 33554432000 4194304 5965102 140736968307232 140736968305224 4351027 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/1028/statm: 28478 20947 1895 433 0 21149 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 113912
[startup+1.50032 s]
/proc/loadavg: 4.01 4.03 3.98 4/179 1029
/proc/meminfo: memFree=28808512/32873844 swapFree=7112/7112
[pid=1028] ppid=1026 vsize=208164 CPUtime=1.49 cores=1,3,5,7
/proc/1028/stat : 1028 (pwbo2.0) R 1026 1028 31075 0 -1 4202496 43375 0 0 0 142 7 0 0 20 0 1 0 276117709 213159936 42890 33554432000 4194304 5965102 140736968307232 140736968305224 5180780 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/1028/statm: 52041 42916 3534 433 0 44712 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 208164
[startup+3.10032 s]
/proc/loadavg: 4.01 4.03 3.98 4/179 1029
/proc/meminfo: memFree=28709536/32873844 swapFree=7112/7112
[pid=1028] ppid=1026 vsize=321036 CPUtime=3.09 cores=1,3,5,7
/proc/1028/stat : 1028 (pwbo2.0) R 1026 1028 31075 0 -1 4202496 71050 0 0 0 297 12 0 0 20 0 1 0 276117709 328740864 73059 33554432000 4194304 5965102 140736968307232 140736968305208 5137146 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/1028/statm: 80259 73059 6335 433 0 72930 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 321036
[startup+6.30042 s]
/proc/loadavg: 4.01 4.03 3.98 5/181 1031
/proc/meminfo: memFree=28296388/32873844 swapFree=7112/7112
[pid=1028] ppid=1026 vsize=885556 CPUtime=8.95 cores=1,3,5,7
/proc/1028/stat : 1028 (pwbo2.0) S 1026 1028 31075 0 -1 4202496 161470 0 0 0 853 42 0 0 20 0 3 0 276117709 906809344 178107 33554432000 4194304 5965102 140736968307232 140736968306752 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1028/statm: 221389 178107 198 433 0 220953 0
[pid=1028/tid=1030] ppid=1026 vsize=885556 CPUtime=2.72 cores=1,3,5,7
/proc/1028/task/1030/stat : 1030 (pwbo2.0) R 1026 1028 31075 0 -1 4202560 61158 0 0 0 251 21 0 0 20 0 3 0 276118062 906809344 178107 33554432000 4194304 5965102 140736968307232 140072994847256 5143165 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1028/tid=1031] ppid=1026 vsize=885556 CPUtime=2.66 cores=1,3,5,7
/proc/1028/task/1031/stat : 1031 (pwbo2.0) R 1026 1028 31075 0 -1 4202560 22975 0 0 0 259 7 0 0 20 0 3 0 276118062 906809344 178107 33554432000 4194304 5965102 140736968307232 140072984356696 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 8.95
Current children cumulated vsize (KiB) 885556
[startup+12.7004 s]
/proc/loadavg: 4.01 4.03 3.98 5/181 1031
/proc/meminfo: memFree=28168184/32873844 swapFree=7112/7112
[pid=1028] ppid=1026 vsize=885556 CPUtime=21.75 cores=1,3,5,7
/proc/1028/stat : 1028 (pwbo2.0) S 1026 1028 31075 0 -1 4202496 165731 0 0 0 2129 46 0 0 20 0 3 0 276117709 906809344 189445 33554432000 4194304 5965102 140736968307232 140736968306752 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1028/statm: 221389 189445 199 433 0 220953 0
[pid=1028/tid=1030] ppid=1026 vsize=885556 CPUtime=9.1 cores=1,3,5,7
/proc/1028/task/1030/stat : 1030 (pwbo2.0) R 1026 1028 31075 0 -1 4202560 65284 0 0 0 887 23 0 0 20 0 3 0 276118062 906809344 189445 33554432000 4194304 5965102 140736968307232 140072994847256 5123014 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1028/tid=1031] ppid=1026 vsize=885556 CPUtime=9.04 cores=1,3,5,7
/proc/1028/task/1031/stat : 1031 (pwbo2.0) R 1026 1028 31075 0 -1 4202560 23110 0 0 0 896 8 0 0 20 0 3 0 276118062 906809344 189445 33554432000 4194304 5965102 140736968307232 140072984357176 4404322 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 21.75
Current children cumulated vsize (KiB) 885556
[startup+25.5004 s]
/proc/loadavg: 4.01 4.02 3.98 5/181 1031
/proc/meminfo: memFree=28068980/32873844 swapFree=7112/7112
[pid=1028] ppid=1026 vsize=885556 CPUtime=47.35 cores=1,3,5,7
/proc/1028/stat : 1028 (pwbo2.0) S 1026 1028 31075 0 -1 4202496 167814 0 0 0 4688 47 0 0 20 0 3 0 276117709 906809344 186781 33554432000 4194304 5965102 140736968307232 140736968306752 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1028/statm: 221389 186781 199 433 0 220953 0
[pid=1028/tid=1030] ppid=1026 vsize=885556 CPUtime=21.87 cores=1,3,5,7
/proc/1028/task/1030/stat : 1030 (pwbo2.0) R 1026 1028 31075 0 -1 4202560 67170 0 0 0 2163 24 0 0 20 0 3 0 276118062 906809344 186781 33554432000 4194304 5965102 140736968307232 140072994847560 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1028/tid=1031] ppid=1026 vsize=885556 CPUtime=21.81 cores=1,3,5,7
/proc/1028/task/1031/stat : 1031 (pwbo2.0) R 1026 1028 31075 0 -1 4202560 23307 0 0 0 2173 8 0 0 20 0 3 0 276118062 906809344 186781 33554432000 4194304 5965102 140736968307232 140072984357176 4400894 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 47.35
Current children cumulated vsize (KiB) 885556
[startup+51.1004 s]
/proc/loadavg: 4.00 4.02 3.98 5/181 1031
/proc/meminfo: memFree=27964776/32873844 swapFree=7112/7112
[pid=1028] ppid=1026 vsize=951092 CPUtime=98.54 cores=1,3,5,7
/proc/1028/stat : 1028 (pwbo2.0) S 1026 1028 31075 0 -1 4202496 172801 0 0 0 9804 50 0 0 20 0 3 0 276117709 973918208 197299 33554432000 4194304 5965102 140736968307232 140736968306752 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1028/statm: 237773 197299 199 433 0 237337 0
[pid=1028/tid=1030] ppid=1026 vsize=951092 CPUtime=47.4 cores=1,3,5,7
/proc/1028/task/1030/stat : 1030 (pwbo2.0) R 1026 1028 31075 0 -1 4202560 71919 0 0 0 4713 27 0 0 20 0 3 0 276118062 973918208 197299 33554432000 4194304 5965102 140736968307232 140072994847256 4222416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1028/tid=1031] ppid=1026 vsize=951092 CPUtime=47.34 cores=1,3,5,7
/proc/1028/task/1031/stat : 1031 (pwbo2.0) R 1026 1028 31075 0 -1 4202560 23545 0 0 0 4726 8 0 0 20 0 3 0 276118062 973918208 197299 33554432000 4194304 5965102 140736968307232 140072984357176 4393958 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 98.54
Current children cumulated vsize (KiB) 951092
[startup+102.307 s]
/proc/loadavg: 4.00 4.02 3.98 5/181 1031
/proc/meminfo: memFree=27502084/32873844 swapFree=7112/7112
[pid=1028] ppid=1026 vsize=951092 CPUtime=200.93 cores=1,3,5,7
/proc/1028/stat : 1028 (pwbo2.0) S 1026 1028 31075 0 -1 4202496 173281 0 0 0 20042 51 0 0 20 0 3 0 276117709 973918208 197779 33554432000 4194304 5965102 140736968307232 140736968306752 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1028/statm: 237773 197779 199 433 0 237337 0
[pid=1028/tid=1030] ppid=1026 vsize=951092 CPUtime=98.48 cores=1,3,5,7
/proc/1028/task/1030/stat : 1030 (pwbo2.0) R 1026 1028 31075 0 -1 4202560 71919 0 0 0 9820 28 0 0 20 0 3 0 276118062 973918208 197779 33554432000 4194304 5965102 140736968307232 140072994847256 4390150 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1028/tid=1031] ppid=1026 vsize=951092 CPUtime=98.42 cores=1,3,5,7
/proc/1028/task/1031/stat : 1031 (pwbo2.0) R 1026 1028 31075 0 -1 4202560 24025 0 0 0 9832 10 0 0 20 0 3 0 276118062 973918208 197779 33554432000 4194304 5965102 140736968307232 140072984357224 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 200.93
Current children cumulated vsize (KiB) 951092
[startup+162.3 s]
/proc/loadavg: 4.00 4.01 3.98 5/181 1031
/proc/meminfo: memFree=27164512/32873844 swapFree=7112/7112
[pid=1028] ppid=1026 vsize=1016628 CPUtime=320.91 cores=1,3,5,7
/proc/1028/stat : 1028 (pwbo2.0) S 1026 1028 31075 0 -1 4202496 178233 0 0 0 32035 56 0 0 20 0 3 0 276117709 1041027072 210891 33554432000 4194304 5965102 140736968307232 140736968306752 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1028/statm: 254157 210891 199 433 0 253721 0
[pid=1028/tid=1030] ppid=1026 vsize=1016628 CPUtime=158.32 cores=1,3,5,7
/proc/1028/task/1030/stat : 1030 (pwbo2.0) R 1026 1028 31075 0 -1 4202560 76072 0 0 0 15801 31 0 0 20 0 3 0 276118062 1041027072 210891 33554432000 4194304 5965102 140736968307232 140072994847560 5139822 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1028/tid=1031] ppid=1026 vsize=1016628 CPUtime=158.26 cores=1,3,5,7
/proc/1028/task/1031/stat : 1031 (pwbo2.0) R 1026 1028 31075 0 -1 4202560 24824 0 0 0 15812 14 0 0 20 0 3 0 276118062 1041027072 210891 33554432000 4194304 5965102 140736968307232 140072984357176 4390210 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 320.91
Current children cumulated vsize (KiB) 1016628
[startup+222.3 s]
/proc/loadavg: 4.00 4.01 3.98 5/180 1032
/proc/meminfo: memFree=26919384/32873844 swapFree=7112/7112
[pid=1028] ppid=1026 vsize=951092 CPUtime=440.89 cores=1,3,5,7
/proc/1028/stat : 1028 (pwbo2.0) S 1026 1028 31075 0 -1 4202496 178726 0 0 0 44031 58 0 0 20 0 3 0 276117709 973918208 207783 33554432000 4194304 5965102 140736968307232 140736968306752 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1028/statm: 237773 207783 199 433 0 237337 0
[pid=1028/tid=1030] ppid=1026 vsize=951092 CPUtime=218.17 cores=1,3,5,7
/proc/1028/task/1030/stat : 1030 (pwbo2.0) R 1026 1028 31075 0 -1 4202560 76094 0 0 0 21784 33 0 0 20 0 3 0 276118062 973918208 207783 33554432000 4194304 5965102 140736968307232 140072994847560 4222416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1028/tid=1031] ppid=1026 vsize=951092 CPUtime=218.1 cores=1,3,5,7
/proc/1028/task/1031/stat : 1031 (pwbo2.0) R 1026 1028 31075 0 -1 4202560 25295 0 0 0 21794 16 0 0 20 0 3 0 276118062 973918208 207783 33554432000 4194304 5965102 140736968307232 140072984357176 4404717 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 440.89
Current children cumulated vsize (KiB) 951092
[startup+282.3 s]
/proc/loadavg: 4.00 4.00 3.98 5/182 1036
/proc/meminfo: memFree=26800272/32873844 swapFree=7112/7112
[pid=1028] ppid=1026 vsize=951092 CPUtime=560.86 cores=1,3,5,7
/proc/1028/stat : 1028 (pwbo2.0) S 1026 1028 31075 0 -1 4202496 179639 0 0 0 56027 59 0 0 20 0 3 0 276117709 973918208 208688 33554432000 4194304 5965102 140736968307232 140736968306752 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1028/statm: 237773 208688 199 433 0 237337 0
[pid=1028/tid=1030] ppid=1026 vsize=951092 CPUtime=278.01 cores=1,3,5,7
/proc/1028/task/1030/stat : 1030 (pwbo2.0) R 1026 1028 31075 0 -1 4202560 76103 0 0 0 27767 34 0 0 20 0 3 0 276118062 973918208 208688 33554432000 4194304 5965102 140736968307232 140072994847560 4390200 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1028/tid=1031] ppid=1026 vsize=951092 CPUtime=277.95 cores=1,3,5,7
/proc/1028/task/1031/stat : 1031 (pwbo2.0) R 1026 1028 31075 0 -1 4202560 26199 0 0 0 27777 18 0 0 20 0 3 0 276118062 973918208 208688 33554432000 4194304 5965102 140736968307232 140072984357176 4390169 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 560.86
Current children cumulated vsize (KiB) 951092
[startup+342.3 s]
/proc/loadavg: 4.05 4.01 3.98 5/181 1036
/proc/meminfo: memFree=26851412/32873844 swapFree=7112/7112
[pid=1028] ppid=1026 vsize=951092 CPUtime=680.85 cores=1,3,5,7
/proc/1028/stat : 1028 (pwbo2.0) S 1026 1028 31075 0 -1 4202496 180274 0 0 0 68024 61 0 0 20 0 3 0 276117709 973918208 209323 33554432000 4194304 5965102 140736968307232 140736968306752 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1028/statm: 237773 209323 199 433 0 237337 0
[pid=1028/tid=1030] ppid=1026 vsize=951092 CPUtime=337.86 cores=1,3,5,7
/proc/1028/task/1030/stat : 1030 (pwbo2.0) R 1026 1028 31075 0 -1 4202560 76103 0 0 0 33751 35 0 0 20 0 3 0 276118062 973918208 209323 33554432000 4194304 5965102 140736968307232 140072994847560 4222416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1028/tid=1031] ppid=1026 vsize=951092 CPUtime=337.8 cores=1,3,5,7
/proc/1028/task/1031/stat : 1031 (pwbo2.0) R 1026 1028 31075 0 -1 4202560 26834 0 0 0 33759 21 0 0 20 0 3 0 276118062 973918208 209323 33554432000 4194304 5965102 140736968307232 140072984357224 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 680.85
Current children cumulated vsize (KiB) 951092
[startup+402.3 s]
/proc/loadavg: 4.02 4.01 3.98 5/181 1036
/proc/meminfo: memFree=26750752/32873844 swapFree=7112/7112
[pid=1028] ppid=1026 vsize=951092 CPUtime=800.84 cores=1,3,5,7
/proc/1028/stat : 1028 (pwbo2.0) S 1026 1028 31075 0 -1 4202496 180950 0 0 0 80021 63 0 0 20 0 3 0 276117709 973918208 209999 33554432000 4194304 5965102 140736968307232 140736968306752 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1028/statm: 237773 209999 199 433 0 237337 0
[pid=1028/tid=1030] ppid=1026 vsize=951092 CPUtime=397.7 cores=1,3,5,7
/proc/1028/task/1030/stat : 1030 (pwbo2.0) R 1026 1028 31075 0 -1 4202560 76104 0 0 0 39734 36 0 0 20 0 3 0 276118062 973918208 209999 33554432000 4194304 5965102 140736968307232 140072994847560 4393747 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1028/tid=1031] ppid=1026 vsize=951092 CPUtime=397.64 cores=1,3,5,7
/proc/1028/task/1031/stat : 1031 (pwbo2.0) R 1026 1028 31075 0 -1 4202560 27509 0 0 0 39740 24 0 0 20 0 3 0 276118062 973918208 209999 33554432000 4194304 5965102 140736968307232 140072984357176 4390210 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 800.84
Current children cumulated vsize (KiB) 951092
[startup+462.3 s]
/proc/loadavg: 4.07 4.02 3.99 5/182 1037
/proc/meminfo: memFree=26735176/32873844 swapFree=7112/7112
[pid=1028] ppid=1026 vsize=951092 CPUtime=920.81 cores=1,3,5,7
/proc/1028/stat : 1028 (pwbo2.0) S 1026 1028 31075 0 -1 4202496 181768 0 0 0 92017 64 0 0 20 0 3 0 276117709 973918208 210817 33554432000 4194304 5965102 140736968307232 140736968306752 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1028/statm: 237773 210817 199 433 0 237337 0
[pid=1028/tid=1030] ppid=1026 vsize=951092 CPUtime=457.55 cores=1,3,5,7
/proc/1028/task/1030/stat : 1030 (pwbo2.0) R 1026 1028 31075 0 -1 4202560 76104 0 0 0 45719 36 0 0 20 0 3 0 276118062 973918208 210817 33554432000 4194304 5965102 140736968307232 140072994847560 4388979 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1028/tid=1031] ppid=1026 vsize=951092 CPUtime=457.49 cores=1,3,5,7
/proc/1028/task/1031/stat : 1031 (pwbo2.0) R 1026 1028 31075 0 -1 4202560 28327 0 0 0 45724 25 0 0 20 0 3 0 276118062 973918208 210817 33554432000 4194304 5965102 140736968307232 140072984357176 4222464 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 920.81
Current children cumulated vsize (KiB) 951092
[startup+522.3 s]
/proc/loadavg: 4.02 4.01 3.99 5/181 1038
/proc/meminfo: memFree=26662516/32873844 swapFree=7112/7112
[pid=1028] ppid=1026 vsize=1016628 CPUtime=1040.79 cores=1,3,5,7
/proc/1028/stat : 1028 (pwbo2.0) S 1026 1028 31075 0 -1 4202496 186146 0 0 0 104011 68 0 0 20 0 3 0 276117709 1041027072 221838 33554432000 4194304 5965102 140736968307232 140736968306752 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1028/statm: 254157 221838 199 433 0 253721 0
[pid=1028/tid=1030] ppid=1026 vsize=1016628 CPUtime=517.4 cores=1,3,5,7
/proc/1028/task/1030/stat : 1030 (pwbo2.0) R 1026 1028 31075 0 -1 4202560 79584 0 0 0 51701 39 0 0 20 0 3 0 276118062 1041027072 221838 33554432000 4194304 5965102 140736968307232 140072994847272 5139822 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1028/tid=1031] ppid=1026 vsize=1016628 CPUtime=517.34 cores=1,3,5,7
/proc/1028/task/1031/stat : 1031 (pwbo2.0) R 1026 1028 31075 0 -1 4202560 29225 0 0 0 51706 28 0 0 20 0 3 0 276118062 1041027072 221838 33554432000 4194304 5965102 140736968307232 140072984357176 4390187 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1040.79
Current children cumulated vsize (KiB) 1016628
[startup+582.3 s]
/proc/loadavg: 3.85 3.97 3.98 4/176 1069
/proc/meminfo: memFree=30599724/32873844 swapFree=7112/7112
[pid=1028] ppid=1026 vsize=1016628 CPUtime=1160.78 cores=1,3,5,7
/proc/1028/stat : 1028 (pwbo2.0) S 1026 1028 31075 0 -1 4202496 187801 0 0 0 116006 72 0 0 20 0 3 0 276117709 1041027072 223493 33554432000 4194304 5965102 140736968307232 140736968306752 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1028/statm: 254157 223493 199 433 0 253721 0
[pid=1028/tid=1030] ppid=1026 vsize=1016628 CPUtime=577.24 cores=1,3,5,7
/proc/1028/task/1030/stat : 1030 (pwbo2.0) R 1026 1028 31075 0 -1 4202560 79584 0 0 0 57684 40 0 0 20 0 3 0 276118062 1041027072 223493 33554432000 4194304 5965102 140736968307232 140072994847272 4390187 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1028/tid=1031] ppid=1026 vsize=1016628 CPUtime=577.18 cores=1,3,5,7
/proc/1028/task/1031/stat : 1031 (pwbo2.0) R 1026 1028 31075 0 -1 4202560 30880 0 0 0 57685 33 0 0 20 0 3 0 276118062 1041027072 223493 33554432000 4194304 5965102 140736968307232 140072984357176 4400955 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1160.78
Current children cumulated vsize (KiB) 1016628
[startup+642.3 s]
/proc/loadavg: 3.94 3.97 3.98 5/181 1081
/proc/meminfo: memFree=29810836/32873844 swapFree=7112/7112
[pid=1028] ppid=1026 vsize=1016628 CPUtime=1280.76 cores=1,3,5,7
/proc/1028/stat : 1028 (pwbo2.0) S 1026 1028 31075 0 -1 4202496 188541 0 0 0 128003 73 0 0 20 0 3 0 276117709 1041027072 224447 33554432000 4194304 5965102 140736968307232 140736968306752 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1028/statm: 254157 224447 199 433 0 253721 0
[pid=1028/tid=1030] ppid=1026 vsize=1016628 CPUtime=637.1 cores=1,3,5,7
/proc/1028/task/1030/stat : 1030 (pwbo2.0) R 1026 1028 31075 0 -1 4202560 79584 0 0 0 63669 41 0 0 20 0 3 0 276118062 1041027072 224447 33554432000 4194304 5965102 140736968307232 140072994847272 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1028/tid=1031] ppid=1026 vsize=1016628 CPUtime=637.03 cores=1,3,5,7
/proc/1028/task/1031/stat : 1031 (pwbo2.0) R 1026 1028 31075 0 -1 4202560 31620 0 0 0 63668 35 0 0 20 0 3 0 276118062 1041027072 224447 33554432000 4194304 5965102 140736968307232 140072984357176 4390204 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1280.76
Current children cumulated vsize (KiB) 1016628
[startup+702.3 s]
/proc/loadavg: 3.98 3.97 3.98 5/181 1081
/proc/meminfo: memFree=29761856/32873844 swapFree=7112/7112
[pid=1028] ppid=1026 vsize=1082164 CPUtime=1400.73 cores=1,3,5,7
/proc/1028/stat : 1028 (pwbo2.0) S 1026 1028 31075 0 -1 4202496 189320 0 0 0 139998 75 0 0 20 0 3 0 276117709 1108135936 234795 33554432000 4194304 5965102 140736968307232 140736968306752 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1028/statm: 270541 234795 199 433 0 270105 0
[pid=1028/tid=1030] ppid=1026 vsize=1082164 CPUtime=696.94 cores=1,3,5,7
/proc/1028/task/1030/stat : 1030 (pwbo2.0) R 1026 1028 31075 0 -1 4202560 79788 0 0 0 69651 43 0 0 20 0 3 0 276118062 1108135936 234795 33554432000 4194304 5965102 140736968307232 140072994847016 4222464 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1028/tid=1031] ppid=1026 vsize=1082164 CPUtime=696.87 cores=1,3,5,7
/proc/1028/task/1031/stat : 1031 (pwbo2.0) R 1026 1028 31075 0 -1 4202560 32195 0 0 0 69650 37 0 0 20 0 3 0 276118062 1108135936 234795 33554432000 4194304 5965102 140736968307232 140072984357176 4390187 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1400.73
Current children cumulated vsize (KiB) 1082164
[startup+762.307 s]
/proc/loadavg: 4.06 3.99 3.98 5/181 1081
/proc/meminfo: memFree=29778360/32873844 swapFree=7112/7112
[pid=1028] ppid=1026 vsize=1016628 CPUtime=1520.72 cores=1,3,5,7
/proc/1028/stat : 1028 (pwbo2.0) S 1026 1028 31075 0 -1 4202496 190892 0 0 0 151993 79 0 0 20 0 3 0 276117709 1041027072 229134 33554432000 4194304 5965102 140736968307232 140736968306752 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1028/statm: 254157 229134 199 433 0 253721 0
[pid=1028/tid=1030] ppid=1026 vsize=1016628 CPUtime=756.79 cores=1,3,5,7
/proc/1028/task/1030/stat : 1030 (pwbo2.0) R 1026 1028 31075 0 -1 4202560 79791 0 0 0 75635 44 0 0 20 0 3 0 276118062 1041027072 229134 33554432000 4194304 5965102 140736968307232 140072994847256 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1028/tid=1031] ppid=1026 vsize=1016628 CPUtime=756.72 cores=1,3,5,7
/proc/1028/task/1031/stat : 1031 (pwbo2.0) R 1026 1028 31075 0 -1 4202560 33764 0 0 0 75630 42 0 0 20 0 3 0 276118062 1041027072 229134 33554432000 4194304 5965102 140736968307232 140072984357176 4390169 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1520.72
Current children cumulated vsize (KiB) 1016628
[startup+822.3 s]
/proc/loadavg: 4.07 4.00 3.99 5/181 1082
/proc/meminfo: memFree=29766636/32873844 swapFree=7112/7112
[pid=1028] ppid=1026 vsize=1016628 CPUtime=1640.69 cores=1,3,5,7
/proc/1028/stat : 1028 (pwbo2.0) S 1026 1028 31075 0 -1 4202496 191613 0 0 0 163988 81 0 0 20 0 3 0 276117709 1041027072 229860 33554432000 4194304 5965102 140736968307232 140736968306752 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1028/statm: 254157 229860 199 433 0 253721 0
[pid=1028/tid=1030] ppid=1026 vsize=1016628 CPUtime=816.62 cores=1,3,5,7
/proc/1028/task/1030/stat : 1030 (pwbo2.0) R 1026 1028 31075 0 -1 4202560 79797 0 0 0 81617 45 0 0 20 0 3 0 276118062 1041027072 229860 33554432000 4194304 5965102 140736968307232 140072994847256 4401207 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1028/tid=1031] ppid=1026 vsize=1016628 CPUtime=816.56 cores=1,3,5,7
/proc/1028/task/1031/stat : 1031 (pwbo2.0) R 1026 1028 31075 0 -1 4202560 34479 0 0 0 81611 45 0 0 20 0 3 0 276118062 1041027072 229860 33554432000 4194304 5965102 140736968307232 140072984357176 4388991 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1640.69
Current children cumulated vsize (KiB) 1016628
[startup+882.3 s]
/proc/loadavg: 4.02 4.00 3.99 5/182 1085
/proc/meminfo: memFree=29739092/32873844 swapFree=7112/7112
[pid=1028] ppid=1026 vsize=1016628 CPUtime=1760.66 cores=1,3,5,7
/proc/1028/stat : 1028 (pwbo2.0) S 1026 1028 31075 0 -1 4202496 192277 0 0 0 175984 82 0 0 20 0 3 0 276117709 1041027072 234537 33554432000 4194304 5965102 140736968307232 140736968306752 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1028/statm: 254157 234537 199 433 0 253721 0
[pid=1028/tid=1030] ppid=1026 vsize=1016628 CPUtime=876.46 cores=1,3,5,7
/proc/1028/task/1030/stat : 1030 (pwbo2.0) R 1026 1028 31075 0 -1 4202560 79883 0 0 0 87600 46 0 0 20 0 3 0 276118062 1041027072 234537 33554432000 4194304 5965102 140736968307232 140072994847256 4222416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1028/tid=1031] ppid=1026 vsize=1016628 CPUtime=876.4 cores=1,3,5,7
/proc/1028/task/1031/stat : 1031 (pwbo2.0) R 1026 1028 31075 0 -1 4202560 35057 0 0 0 87593 47 0 0 20 0 3 0 276118062 1041027072 234537 33554432000 4194304 5965102 140736968307232 140072984357176 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1760.66
Current children cumulated vsize (KiB) 1016628
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+902.007 s]
/proc/loadavg: 4.02 4.00 3.99 5/182 1085
/proc/meminfo: memFree=29750704/32873844 swapFree=7112/7112
[pid=1028] ppid=1026 vsize=1016628 CPUtime=1800.06 cores=1,3,5,7
/proc/1028/stat : 1028 (pwbo2.0) S 1026 1028 31075 0 -1 4202496 192465 0 0 0 179924 82 0 0 20 0 3 0 276117709 1041027072 231056 33554432000 4194304 5965102 140736968307232 140736968306752 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1028/statm: 254157 231056 199 433 0 253721 0
[pid=1028/tid=1030] ppid=1026 vsize=1016628 CPUtime=896.11 cores=1,3,5,7
/proc/1028/task/1030/stat : 1030 (pwbo2.0) R 1026 1028 31075 0 -1 4202560 79897 0 0 0 89565 46 0 0 20 0 3 0 276118062 1041027072 231056 33554432000 4194304 5965102 140736968307232 140072994847560 4388991 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1028/tid=1031] ppid=1026 vsize=1016628 CPUtime=896.07 cores=1,3,5,7
/proc/1028/task/1031/stat : 1031 (pwbo2.0) R 1026 1028 31075 0 -1 4202560 35231 0 0 0 89560 47 0 0 20 0 3 0 276118062 1041027072 231056 33554432000 4194304 5965102 140736968307232 140072984357176 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1016628
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1028 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=657170
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=120829
# CPU time returned by wait4() is 1795.78
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 902.046
CPU time (s): 1800.06
CPU user time (s): 1799.24
CPU system time (s): 0.82
CPU usage (%): 199.553
Max. virtual memory (cumulated for all children) (KiB): 1082164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.66
system time used= 1.12083
maximum resident set size= 943376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 192466
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= 7634
involuntary context switches= 2324
runsolver used 2.05369 second user time and 5.72213 second system time
The end