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-3726654-1338660649/watcher-3726654-1338660649 -o /tmp/evaluation-result-3726654-1338660649/solver-3726654-1338660649 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3726654-1338660649.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: 2.00 2.00 2.00 3/178 27854
/proc/meminfo: memFree=24965432/32873648 swapFree=7112/7112
[pid=27854] ppid=27852 vsize=114408 CPUtime=0 cores=1,3,5,7
/proc/27854/stat : 27854 (pwbo2.02) R 27852 27854 25232 0 -1 4202496 311 0 0 0 0 0 0 0 20 0 1 0 332191054 117153792 264 33554432000 4194304 5964478 140737184011760 140734158492920 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/27854/statm: 28602 264 170 433 0 349 0
[startup+0.0108201 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27854
/proc/meminfo: memFree=24965432/32873648 swapFree=7112/7112
[pid=27854] ppid=27852 vsize=114540 CPUtime=0 cores=1,3,5,7
/proc/27854/stat : 27854 (pwbo2.02) R 27852 27854 25232 0 -1 4202496 382 0 0 0 0 0 0 0 20 0 1 0 332191054 117288960 335 33554432000 4194304 5964478 140737184011760 140734158492920 5159886 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/27854/statm: 28668 336 187 433 0 415 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 114540
[startup+0.100158 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27854
/proc/meminfo: memFree=24965432/32873648 swapFree=7112/7112
[pid=27854] ppid=27852 vsize=118748 CPUtime=0.09 cores=1,3,5,7
/proc/27854/stat : 27854 (pwbo2.02) R 27852 27854 25232 0 -1 4202496 1754 0 0 0 9 0 0 0 20 0 1 0 332191054 121597952 1674 33554432000 4194304 5964478 140737184011760 140734158492920 4408184 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/27854/statm: 29687 1674 524 433 0 1434 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 118748
[startup+0.300148 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27854
/proc/meminfo: memFree=24965432/32873648 swapFree=7112/7112
[pid=27854] ppid=27852 vsize=127560 CPUtime=0.29 cores=1,3,5,7
/proc/27854/stat : 27854 (pwbo2.02) R 27852 27854 25232 0 -1 4202496 4714 0 0 0 29 0 0 0 20 0 1 0 332191054 130621440 4569 33554432000 4194304 5964478 140737184011760 140737184010248 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/27854/statm: 31890 4569 1271 433 0 3637 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 127560
[startup+0.700194 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27854
/proc/meminfo: memFree=24965432/32873648 swapFree=7112/7112
[pid=27854] ppid=27852 vsize=144692 CPUtime=0.69 cores=1,3,5,7
/proc/27854/stat : 27854 (pwbo2.02) R 27852 27854 25232 0 -1 4202496 10530 0 0 0 68 1 0 0 20 0 1 0 332191054 148164608 10256 33554432000 4194304 5964478 140737184011760 140737184010248 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/27854/statm: 36173 10257 2755 433 0 7920 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 144692
[startup+1.50015 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27855
/proc/meminfo: memFree=24922768/32873648 swapFree=7112/7112
[pid=27854] ppid=27852 vsize=180644 CPUtime=1.49 cores=1,3,5,7
/proc/27854/stat : 27854 (pwbo2.02) R 27852 27854 25232 0 -1 4202496 22224 0 0 0 146 3 0 0 20 0 1 0 332191054 184979456 21691 33554432000 4194304 5964478 140737184011760 140737184010104 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/27854/statm: 45161 21691 5859 433 0 16908 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 180644
[startup+3.10014 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27855
/proc/meminfo: memFree=24878476/32873648 swapFree=7112/7112
[pid=27854] ppid=27852 vsize=246972 CPUtime=3.09 cores=1,3,5,7
/proc/27854/stat : 27854 (pwbo2.02) R 27852 27854 25232 0 -1 4202496 43546 0 0 0 303 6 0 0 20 0 1 0 332191054 252899328 43010 33554432000 4194304 5964478 140737184011760 140737184010104 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/27854/statm: 61743 43010 11760 433 0 33490 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 246972
[startup+6.30025 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 27894
/proc/meminfo: memFree=27490836/32873648 swapFree=7112/7112
[pid=27854] ppid=27852 vsize=373936 CPUtime=6.29 cores=1,3,5,7
/proc/27854/stat : 27854 (pwbo2.02) R 27852 27854 25232 0 -1 4202496 84088 0 0 0 617 12 0 0 20 0 1 0 332191054 382910464 86102 33554432000 4194304 5964478 140737184011760 140737184010104 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/27854/statm: 93484 86102 23609 433 0 65231 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 373936
[startup+12.7003 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 27896
/proc/meminfo: memFree=27322888/32873648 swapFree=7112/7112
[pid=27854] ppid=27852 vsize=527960 CPUtime=12.68 cores=1,3,5,7
/proc/27854/stat : 27854 (pwbo2.02) S 27852 27854 25232 0 -1 4202496 137911 0 0 0 1247 21 0 0 20 0 2 0 332191054 540631040 117216 33554432000 4194304 5964478 140737184011760 140737184011280 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27854/statm: 131990 117218 178 433 0 131554 0
[pid=27854/tid=27895] ppid=27852 vsize=527960 CPUtime=5.18 cores=1,3,5,7
/proc/27854/task/27895/stat : 27895 (pwbo2.02) R 27852 27854 25232 0 -1 4202560 39368 0 0 0 512 6 0 0 20 0 2 0 332191803 540631040 117219 33554432000 4194304 5964478 140737184011760 140204476000824 5136420 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 527960
[startup+25.5003 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 27896
/proc/meminfo: memFree=27094784/32873648 swapFree=7112/7112
[pid=27854] ppid=27852 vsize=649804 CPUtime=25.48 cores=1,3,5,7
/proc/27854/stat : 27854 (pwbo2.02) S 27852 27854 25232 0 -1 4202496 172740 0 0 0 2520 28 0 0 20 0 2 0 332191054 665399296 150756 33554432000 4194304 5964478 140737184011760 140737184011280 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27854/statm: 162451 150756 187 433 0 162015 0
[pid=27854/tid=27895] ppid=27852 vsize=649804 CPUtime=17.98 cores=1,3,5,7
/proc/27854/task/27895/stat : 27895 (pwbo2.02) R 27852 27854 25232 0 -1 4202560 74194 0 0 0 1784 14 0 0 20 0 2 0 332191803 665399296 150756 33554432000 4194304 5964478 140737184011760 140204476001384 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 649804
[startup+51.1002 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 27896
/proc/meminfo: memFree=27069084/32873648 swapFree=7112/7112
[pid=27854] ppid=27852 vsize=649804 CPUtime=51.07 cores=1,3,5,7
/proc/27854/stat : 27854 (pwbo2.02) S 27852 27854 25232 0 -1 4202496 172740 0 0 0 5079 28 0 0 20 0 2 0 332191054 665399296 150759 33554432000 4194304 5964478 140737184011760 140737184011280 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27854/statm: 162451 150759 187 433 0 162015 0
[pid=27854/tid=27895] ppid=27852 vsize=649804 CPUtime=43.58 cores=1,3,5,7
/proc/27854/task/27895/stat : 27895 (pwbo2.02) R 27852 27854 25232 0 -1 4202560 74194 0 0 0 4344 14 0 0 20 0 2 0 332191803 665399296 150759 33554432000 4194304 5964478 140737184011760 140204476001384 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 649804
[startup+102.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 27896
/proc/meminfo: memFree=27020272/32873648 swapFree=7112/7112
[pid=27854] ppid=27852 vsize=649804 CPUtime=102.25 cores=1,3,5,7
/proc/27854/stat : 27854 (pwbo2.02) S 27852 27854 25232 0 -1 4202496 173790 0 0 0 10196 29 0 0 20 0 2 0 332191054 665399296 151883 33554432000 4194304 5964478 140737184011760 140737184011280 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27854/statm: 162451 151883 187 433 0 162015 0
[pid=27854/tid=27895] ppid=27852 vsize=649804 CPUtime=94.78 cores=1,3,5,7
/proc/27854/task/27895/stat : 27895 (pwbo2.02) R 27852 27854 25232 0 -1 4202560 75244 0 0 0 9462 16 0 0 20 0 2 0 332191803 665399296 151883 33554432000 4194304 5964478 140737184011760 140204476000248 4403370 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 649804
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27896
/proc/meminfo: memFree=27008500/32873648 swapFree=7112/7112
[pid=27854] ppid=27852 vsize=649804 CPUtime=162.23 cores=1,3,5,7
/proc/27854/stat : 27854 (pwbo2.02) S 27852 27854 25232 0 -1 4202496 175855 0 0 0 16193 30 0 0 20 0 2 0 332191054 665399296 154316 33554432000 4194304 5964478 140737184011760 140737184011280 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27854/statm: 162451 154316 187 433 0 162015 0
[pid=27854/tid=27895] ppid=27852 vsize=649804 CPUtime=154.77 cores=1,3,5,7
/proc/27854/task/27895/stat : 27895 (pwbo2.02) R 27852 27854 25232 0 -1 4202560 77309 0 0 0 15459 18 0 0 20 0 2 0 332191803 665399296 154316 33554432000 4194304 5964478 140737184011760 140204476000056 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 649804
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27974
/proc/meminfo: memFree=26983652/32873648 swapFree=7112/7112
[pid=27854] ppid=27852 vsize=715340 CPUtime=222.2 cores=1,3,5,7
/proc/27854/stat : 27854 (pwbo2.02) S 27852 27854 25232 0 -1 4202496 177498 0 0 0 22189 31 0 0 20 0 2 0 332191054 732508160 157017 33554432000 4194304 5964478 140737184011760 140737184011280 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27854/statm: 178835 157017 187 433 0 178399 0
[pid=27854/tid=27895] ppid=27852 vsize=715340 CPUtime=214.75 cores=1,3,5,7
/proc/27854/task/27895/stat : 27895 (pwbo2.02) R 27852 27854 25232 0 -1 4202560 78952 0 0 0 21454 21 0 0 20 0 2 0 332191803 732508160 157017 33554432000 4194304 5964478 140737184011760 140204476000056 4373494 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 715340
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28013
/proc/meminfo: memFree=27061572/32873648 swapFree=7112/7112
[pid=27854] ppid=27852 vsize=715340 CPUtime=282.17 cores=1,3,5,7
/proc/27854/stat : 27854 (pwbo2.02) S 27852 27854 25232 0 -1 4202496 179532 0 0 0 28184 33 0 0 20 0 2 0 332191054 732508160 159130 33554432000 4194304 5964478 140737184011760 140737184011280 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27854/statm: 178835 159130 187 433 0 178399 0
[pid=27854/tid=27895] ppid=27852 vsize=715340 CPUtime=274.71 cores=1,3,5,7
/proc/27854/task/27895/stat : 27895 (pwbo2.02) R 27852 27854 25232 0 -1 4202560 80986 0 0 0 27448 23 0 0 20 0 2 0 332191803 732508160 159130 33554432000 4194304 5964478 140737184011760 140204476000056 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 715340
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28014
/proc/meminfo: memFree=27021760/32873648 swapFree=7112/7112
[pid=27854] ppid=27852 vsize=715340 CPUtime=342.13 cores=1,3,5,7
/proc/27854/stat : 27854 (pwbo2.02) S 27852 27854 25232 0 -1 4202496 181728 0 0 0 34178 35 0 0 20 0 2 0 332191054 732508160 161354 33554432000 4194304 5964478 140737184011760 140737184011280 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27854/statm: 178835 161354 187 433 0 178399 0
[pid=27854/tid=27895] ppid=27852 vsize=715340 CPUtime=334.69 cores=1,3,5,7
/proc/27854/task/27895/stat : 27895 (pwbo2.02) R 27852 27854 25232 0 -1 4202560 83182 0 0 0 33442 27 0 0 20 0 2 0 332191803 732508160 161354 33554432000 4194304 5964478 140737184011760 140204476000056 4403376 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 715340
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28014
/proc/meminfo: memFree=26995448/32873648 swapFree=7112/7112
[pid=27854] ppid=27852 vsize=715340 CPUtime=402.11 cores=1,3,5,7
/proc/27854/stat : 27854 (pwbo2.02) S 27852 27854 25232 0 -1 4202496 183349 0 0 0 40174 37 0 0 20 0 2 0 332191054 732508160 163054 33554432000 4194304 5964478 140737184011760 140737184011280 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27854/statm: 178835 163054 187 433 0 178399 0
[pid=27854/tid=27895] ppid=27852 vsize=715340 CPUtime=394.68 cores=1,3,5,7
/proc/27854/task/27895/stat : 27895 (pwbo2.02) R 27852 27854 25232 0 -1 4202560 84803 0 0 0 39440 28 0 0 20 0 2 0 332191803 732508160 163054 33554432000 4194304 5964478 140737184011760 140204476000296 4403376 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 715340
[startup+462.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 28014
/proc/meminfo: memFree=26970712/32873648 swapFree=7112/7112
[pid=27854] ppid=27852 vsize=715340 CPUtime=462.1 cores=1,3,5,7
/proc/27854/stat : 27854 (pwbo2.02) S 27852 27854 25232 0 -1 4202496 184516 0 0 0 46173 37 0 0 20 0 2 0 332191054 732508160 164449 33554432000 4194304 5964478 140737184011760 140737184011280 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27854/statm: 178835 164449 187 433 0 178399 0
[pid=27854/tid=27895] ppid=27852 vsize=715340 CPUtime=454.68 cores=1,3,5,7
/proc/27854/task/27895/stat : 27895 (pwbo2.02) R 27852 27854 25232 0 -1 4202560 85970 0 0 0 45439 29 0 0 20 0 2 0 332191803 732508160 164449 33554432000 4194304 5964478 140737184011760 140204476000264 4373373 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 715340
################
# More data... #
################
/proc/27854/task/27895/stat : 27895 (pwbo2.02) R 27852 27854 25232 0 -1 4202560 102446 0 0 0 129410 53 0 0 20 0 2 0 332191803 799617024 182743 33554432000 4194304 5964478 140737184011760 140204476000184 4222330 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 780876
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28023
/proc/meminfo: memFree=26601996/32873648 swapFree=7112/7112
[pid=27854] ppid=27852 vsize=780876 CPUtime=1361.92 cores=1,3,5,7
/proc/27854/stat : 27854 (pwbo2.02) S 27852 27854 25232 0 -1 4202496 202005 0 0 0 136144 48 0 0 20 0 2 0 332191054 799617024 184500 33554432000 4194304 5964478 140737184011760 140737184011280 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27854/statm: 195219 184500 187 433 0 194783 0
[pid=27854/tid=27895] ppid=27852 vsize=780876 CPUtime=1354.62 cores=1,3,5,7
/proc/27854/task/27895/stat : 27895 (pwbo2.02) R 27852 27854 25232 0 -1 4202560 103459 0 0 0 135407 55 0 0 20 0 2 0 332191803 799617024 184500 33554432000 4194304 5964478 140737184011760 140204476000296 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 780876
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28023
/proc/meminfo: memFree=26577040/32873648 swapFree=7112/7112
[pid=27854] ppid=27852 vsize=780876 CPUtime=1421.92 cores=1,3,5,7
/proc/27854/stat : 27854 (pwbo2.02) S 27852 27854 25232 0 -1 4202496 203795 0 0 0 142142 50 0 0 20 0 2 0 332191054 799617024 186290 33554432000 4194304 5964478 140737184011760 140737184011280 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27854/statm: 195219 186290 187 433 0 194783 0
[pid=27854/tid=27895] ppid=27852 vsize=780876 CPUtime=1414.61 cores=1,3,5,7
/proc/27854/task/27895/stat : 27895 (pwbo2.02) R 27852 27854 25232 0 -1 4202560 105249 0 0 0 141404 57 0 0 20 0 2 0 332191803 799617024 186290 33554432000 4194304 5964478 140737184011760 140204476000056 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 780876
[startup+1482.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 28023
/proc/meminfo: memFree=26559064/32873648 swapFree=7112/7112
[pid=27854] ppid=27852 vsize=780876 CPUtime=1481.9 cores=1,3,5,7
/proc/27854/stat : 27854 (pwbo2.02) S 27852 27854 25232 0 -1 4202496 204802 0 0 0 148140 50 0 0 20 0 2 0 332191054 799617024 187297 33554432000 4194304 5964478 140737184011760 140737184011280 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27854/statm: 195219 187297 187 433 0 194783 0
[pid=27854/tid=27895] ppid=27852 vsize=780876 CPUtime=1474.61 cores=1,3,5,7
/proc/27854/task/27895/stat : 27895 (pwbo2.02) R 27852 27854 25232 0 -1 4202560 106256 0 0 0 147402 59 0 0 20 0 2 0 332191803 799617024 187297 33554432000 4194304 5964478 140737184011760 140204476000056 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 780876
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 28024
/proc/meminfo: memFree=26554476/32873648 swapFree=7112/7112
[pid=27854] ppid=27852 vsize=780876 CPUtime=1541.9 cores=1,3,5,7
/proc/27854/stat : 27854 (pwbo2.02) S 27852 27854 25232 0 -1 4202496 205818 0 0 0 154138 52 0 0 20 0 2 0 332191054 799617024 188313 33554432000 4194304 5964478 140737184011760 140737184011280 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27854/statm: 195219 188313 187 433 0 194783 0
[pid=27854/tid=27895] ppid=27852 vsize=780876 CPUtime=1534.61 cores=1,3,5,7
/proc/27854/task/27895/stat : 27895 (pwbo2.02) R 27852 27854 25232 0 -1 4202560 107272 0 0 0 153400 61 0 0 20 0 2 0 332191803 799617024 188313 33554432000 4194304 5964478 140737184011760 140204476000264 4403370 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 780876
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28024
/proc/meminfo: memFree=26548152/32873648 swapFree=7112/7112
[pid=27854] ppid=27852 vsize=846412 CPUtime=1601.89 cores=1,3,5,7
/proc/27854/stat : 27854 (pwbo2.02) S 27852 27854 25232 0 -1 4202496 207407 0 0 0 160137 52 0 0 20 0 2 0 332191054 866725888 189902 33554432000 4194304 5964478 140737184011760 140737184011280 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27854/statm: 211603 189902 187 433 0 211167 0
[pid=27854/tid=27895] ppid=27852 vsize=846412 CPUtime=1594.61 cores=1,3,5,7
/proc/27854/task/27895/stat : 27895 (pwbo2.02) R 27852 27854 25232 0 -1 4202560 108861 0 0 0 159399 62 0 0 20 0 2 0 332191803 866725888 189902 33554432000 4194304 5964478 140737184011760 140204476000056 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 846412
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28024
/proc/meminfo: memFree=26542204/32873648 swapFree=7112/7112
[pid=27854] ppid=27852 vsize=846412 CPUtime=1661.88 cores=1,3,5,7
/proc/27854/stat : 27854 (pwbo2.02) S 27852 27854 25232 0 -1 4202496 208447 0 0 0 166135 53 0 0 20 0 2 0 332191054 866725888 190942 33554432000 4194304 5964478 140737184011760 140737184011280 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27854/statm: 211603 190942 187 433 0 211167 0
[pid=27854/tid=27895] ppid=27852 vsize=846412 CPUtime=1654.61 cores=1,3,5,7
/proc/27854/task/27895/stat : 27895 (pwbo2.02) R 27852 27854 25232 0 -1 4202560 109901 0 0 0 165397 64 0 0 20 0 2 0 332191803 866725888 190942 33554432000 4194304 5964478 140737184011760 140204476000248 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 846412
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28024
/proc/meminfo: memFree=26531492/32873648 swapFree=7112/7112
[pid=27854] ppid=27852 vsize=846412 CPUtime=1721.87 cores=1,3,5,7
/proc/27854/stat : 27854 (pwbo2.02) S 27852 27854 25232 0 -1 4202496 210560 0 0 0 172133 54 0 0 20 0 2 0 332191054 866725888 193055 33554432000 4194304 5964478 140737184011760 140737184011280 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27854/statm: 211603 193055 187 433 0 211167 0
[pid=27854/tid=27895] ppid=27852 vsize=846412 CPUtime=1714.61 cores=1,3,5,7
/proc/27854/task/27895/stat : 27895 (pwbo2.02) R 27852 27854 25232 0 -1 4202560 112014 0 0 0 171395 66 0 0 20 0 2 0 332191803 866725888 193055 33554432000 4194304 5964478 140737184011760 140204476000296 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 846412
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 28027
/proc/meminfo: memFree=26514604/32873648 swapFree=7112/7112
[pid=27854] ppid=27852 vsize=846412 CPUtime=1781.86 cores=1,3,5,7
/proc/27854/stat : 27854 (pwbo2.02) S 27852 27854 25232 0 -1 4202496 212133 0 0 0 178131 55 0 0 20 0 2 0 332191054 866725888 194628 33554432000 4194304 5964478 140737184011760 140737184011280 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27854/statm: 211603 194628 187 433 0 211167 0
[pid=27854/tid=27895] ppid=27852 vsize=846412 CPUtime=1774.61 cores=1,3,5,7
/proc/27854/task/27895/stat : 27895 (pwbo2.02) R 27852 27854 25232 0 -1 4202560 113587 0 0 0 177394 67 0 0 20 0 2 0 332191803 866725888 194628 33554432000 4194304 5964478 140737184011760 140204476000296 4399854 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 846412
Solver just ended. Dumping a history of the last processes samples
[startup+1792.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 28027
/proc/meminfo: memFree=26511380/32873648 swapFree=7112/7112
[pid=27854] ppid=27852 vsize=846412 CPUtime=1791.86 cores=1,3,5,7
/proc/27854/stat : 27854 (pwbo2.02) S 27852 27854 25232 0 -1 4202496 212421 0 0 0 179131 55 0 0 20 0 2 0 332191054 866725888 194916 33554432000 4194304 5964478 140737184011760 140737184011280 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27854/statm: 211603 194916 187 433 0 211167 0
[pid=27854/tid=27895] ppid=27852 vsize=846412 CPUtime=1784.61 cores=1,3,5,7
/proc/27854/task/27895/stat : 27895 (pwbo2.02) R 27852 27854 25232 0 -1 4202560 113875 0 0 0 178392 69 0 0 20 0 2 0 332191803 866725888 194916 33554432000 4194304 5964478 140737184011760 140204476000296 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.86
Current children cumulated vsize (KiB) 846412
[startup+1795.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 28027
/proc/meminfo: memFree=26510016/32873648 swapFree=7112/7112
[pid=27854] ppid=27852 vsize=846412 CPUtime=1795.07 cores=1,3,5,7
/proc/27854/stat : 27854 (pwbo2.02) S 27852 27854 25232 0 -1 4202496 212551 0 0 0 179451 56 0 0 20 0 2 0 332191054 866725888 195046 33554432000 4194304 5964478 140737184011760 140737184011280 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27854/statm: 211603 195046 187 433 0 211167 0
[pid=27854/tid=27895] ppid=27852 vsize=846412 CPUtime=1787.81 cores=1,3,5,7
/proc/27854/task/27895/stat : 27895 (pwbo2.02) R 27852 27854 25232 0 -1 4202560 114005 0 0 0 178712 69 0 0 20 0 2 0 332191803 866725888 195046 33554432000 4194304 5964478 140737184011760 140204476000056 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1795.07
Current children cumulated vsize (KiB) 846412
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 28027
/proc/meminfo: memFree=26509644/32873648 swapFree=7112/7112
[pid=27854] ppid=27852 vsize=846412 CPUtime=1796.66 cores=1,3,5,7
/proc/27854/stat : 27854 (pwbo2.02) S 27852 27854 25232 0 -1 4202496 212554 0 0 0 179610 56 0 0 20 0 2 0 332191054 866725888 195049 33554432000 4194304 5964478 140737184011760 140737184011280 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27854/statm: 211603 195049 187 433 0 211167 0
[pid=27854/tid=27895] ppid=27852 vsize=846412 CPUtime=1789.4 cores=1,3,5,7
/proc/27854/task/27895/stat : 27895 (pwbo2.02) R 27852 27854 25232 0 -1 4202560 114008 0 0 0 178871 69 0 0 20 0 2 0 332191803 866725888 195049 33554432000 4194304 5964478 140737184011760 140204476000056 4392968 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1796.66
Current children cumulated vsize (KiB) 846412
[startup+1798.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 28027
/proc/meminfo: memFree=26509272/32873648 swapFree=7112/7112
[pid=27854] ppid=27852 vsize=846412 CPUtime=1798.26 cores=1,3,5,7
/proc/27854/stat : 27854 (pwbo2.02) S 27852 27854 25232 0 -1 4202496 212670 0 0 0 179770 56 0 0 20 0 2 0 332191054 866725888 195165 33554432000 4194304 5964478 140737184011760 140737184011280 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27854/statm: 211603 195165 187 433 0 211167 0
[pid=27854/tid=27895] ppid=27852 vsize=846412 CPUtime=1791 cores=1,3,5,7
/proc/27854/task/27895/stat : 27895 (pwbo2.02) R 27852 27854 25232 0 -1 4202560 114124 0 0 0 179031 69 0 0 20 0 2 0 332191803 866725888 195165 33554432000 4194304 5964478 140737184011760 140204476000056 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.26
Current children cumulated vsize (KiB) 846412
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 28027
/proc/meminfo: memFree=26509024/32873648 swapFree=7112/7112
[pid=27854] ppid=27852 vsize=846412 CPUtime=1799.06 cores=1,3,5,7
/proc/27854/stat : 27854 (pwbo2.02) S 27852 27854 25232 0 -1 4202496 212675 0 0 0 179850 56 0 0 20 0 2 0 332191054 866725888 195170 33554432000 4194304 5964478 140737184011760 140737184011280 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27854/statm: 211603 195170 187 433 0 211167 0
[pid=27854/tid=27895] ppid=27852 vsize=846412 CPUtime=1791.8 cores=1,3,5,7
/proc/27854/task/27895/stat : 27895 (pwbo2.02) R 27852 27854 25232 0 -1 4202560 114129 0 0 0 179111 69 0 0 20 0 2 0 332191803 866725888 195170 33554432000 4194304 5964478 140737184011760 140204476000056 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.06
Current children cumulated vsize (KiB) 846412
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 28027
/proc/meminfo: memFree=26508528/32873648 swapFree=7112/7112
[pid=27854] ppid=27852 vsize=846412 CPUtime=1799.47 cores=1,3,5,7
/proc/27854/stat : 27854 (pwbo2.02) S 27852 27854 25232 0 -1 4202496 212675 0 0 0 179891 56 0 0 20 0 2 0 332191054 866725888 195170 33554432000 4194304 5964478 140737184011760 140737184011280 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27854/statm: 211603 195170 187 433 0 211167 0
[pid=27854/tid=27895] ppid=27852 vsize=846412 CPUtime=1792.21 cores=1,3,5,7
/proc/27854/task/27895/stat : 27895 (pwbo2.02) R 27852 27854 25232 0 -1 4202560 114129 0 0 0 179152 69 0 0 20 0 2 0 332191803 866725888 195170 33554432000 4194304 5964478 140737184011760 140204476000056 4400078 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.47
Current children cumulated vsize (KiB) 846412
[startup+1800.01 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 28027
/proc/meminfo: memFree=26508528/32873648 swapFree=7112/7112
[pid=27854] ppid=27852 vsize=846412 CPUtime=1799.57 cores=1,3,5,7
/proc/27854/stat : 27854 (pwbo2.02) S 27852 27854 25232 0 -1 4202496 212675 0 0 0 179901 56 0 0 20 0 2 0 332191054 866725888 195170 33554432000 4194304 5964478 140737184011760 140737184011280 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27854/statm: 211603 195171 188 433 0 211167 0
[pid=27854/tid=27895] ppid=27852 vsize=846412 CPUtime=1792.31 cores=1,3,5,7
/proc/27854/task/27895/stat : 27895 (pwbo2.02) R 27852 27854 25232 0 -1 4202560 114130 0 0 0 179162 69 0 0 20 0 2 0 332191803 866725888 195171 33554432000 4194304 5964478 140737184011760 140204476000912 4571601 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.57
Current children cumulated vsize (KiB) 846412
Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.83
CPU user time (s): 1798.97
CPU system time (s): 0.85387
CPU usage (%): 99.9896
Max. virtual memory (cumulated for all children) (KiB): 846412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.97
system time used= 0.85387
maximum resident set size= 780692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 212678
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= 162
involuntary context switches= 2151
runsolver used 3.23351 second user time and 8.79566 second system time
The end