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-3704437-1338099955/watcher-3704437-1338099955 -o /tmp/evaluation-result-3704437-1338099955/solver-3704437-1338099955 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3704437-1338099955.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: 2.00 2.00 2.00 3/177 10830
/proc/meminfo: memFree=31213388/32873844 swapFree=7108/7108
[pid=10830] ppid=10828 vsize=4284 CPUtime=0 cores=0,2,4,6
/proc/10830/stat : 10830 (pwbo2.0) R 10828 10830 9022 0 -1 4202496 486 0 0 0 0 0 0 0 20 0 1 0 276124105 4386816 438 33554432000 4194304 5965102 140735410713120 140736752891640 4396306 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/10830/statm: 1071 438 163 433 0 538 0
[startup+0.0611129 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10830
/proc/meminfo: memFree=31213388/32873844 swapFree=7108/7108
[pid=10830] ppid=10828 vsize=86444 CPUtime=0.05 cores=0,2,4,6
/proc/10830/stat : 10830 (pwbo2.0) S 10828 10830 9022 0 -1 4202496 2469 0 0 0 5 0 0 0 20 0 2 0 276124105 88518656 2187 33554432000 4194304 5965102 140735410713120 140735410712640 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10830/statm: 21611 2187 189 433 0 21175 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 86444
[startup+0.100236 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10830
/proc/meminfo: memFree=31213388/32873844 swapFree=7108/7108
[pid=10830] ppid=10828 vsize=86444 CPUtime=0.09 cores=0,2,4,6
/proc/10830/stat : 10830 (pwbo2.0) S 10828 10830 9022 0 -1 4202496 2523 0 0 0 9 0 0 0 20 0 2 0 276124105 88518656 2241 33554432000 4194304 5965102 140735410713120 140735410712640 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10830/statm: 21611 2241 190 433 0 21175 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 86444
[startup+0.300219 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10830
/proc/meminfo: memFree=31213388/32873844 swapFree=7108/7108
[pid=10830] ppid=10828 vsize=86444 CPUtime=0.29 cores=0,2,4,6
/proc/10830/stat : 10830 (pwbo2.0) S 10828 10830 9022 0 -1 4202496 2831 0 0 0 29 0 0 0 20 0 2 0 276124105 88518656 2549 33554432000 4194304 5965102 140735410713120 140735410712640 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10830/statm: 21611 2549 190 433 0 21175 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 86444
[startup+0.700223 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10830
/proc/meminfo: memFree=31213388/32873844 swapFree=7108/7108
[pid=10830] ppid=10828 vsize=86444 CPUtime=0.69 cores=0,2,4,6
/proc/10830/stat : 10830 (pwbo2.0) S 10828 10830 9022 0 -1 4202496 3379 0 0 0 69 0 0 0 20 0 2 0 276124105 88518656 3097 33554432000 4194304 5965102 140735410713120 140735410712640 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10830/statm: 21611 3097 190 433 0 21175 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 86444
[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10832
/proc/meminfo: memFree=31200832/32873844 swapFree=7108/7108
[pid=10830] ppid=10828 vsize=86444 CPUtime=1.48 cores=0,2,4,6
/proc/10830/stat : 10830 (pwbo2.0) S 10828 10830 9022 0 -1 4202496 4360 0 0 0 148 0 0 0 20 0 2 0 276124105 88518656 4078 33554432000 4194304 5965102 140735410713120 140735410712640 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10830/statm: 21611 4078 190 433 0 21175 0
[pid=10830/tid=10832] ppid=10828 vsize=86444 CPUtime=1.45 cores=0,2,4,6
/proc/10830/task/10832/stat : 10832 (pwbo2.0) R 10828 10830 9022 0 -1 4202560 2899 0 0 0 145 0 0 0 20 0 2 0 276124109 88518656 4078 33554432000 4194304 5965102 140735410713120 140120308594680 5137076 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 86444
[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10832
/proc/meminfo: memFree=31195128/32873844 swapFree=7108/7108
[pid=10830] ppid=10828 vsize=86444 CPUtime=3.09 cores=0,2,4,6
/proc/10830/stat : 10830 (pwbo2.0) S 10828 10830 9022 0 -1 4202496 5316 0 0 0 308 1 0 0 20 0 2 0 276124105 88518656 5034 33554432000 4194304 5965102 140735410713120 140735410712640 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10830/statm: 21611 5034 190 433 0 21175 0
[pid=10830/tid=10832] ppid=10828 vsize=86444 CPUtime=3.05 cores=0,2,4,6
/proc/10830/task/10832/stat : 10832 (pwbo2.0) R 10828 10830 9022 0 -1 4202560 3855 0 0 0 304 1 0 0 20 0 2 0 276124109 88518656 5034 33554432000 4194304 5965102 140735410713120 140120308594680 4393845 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 86444
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10832
/proc/meminfo: memFree=31189300/32873844 swapFree=7108/7108
[pid=10830] ppid=10828 vsize=86444 CPUtime=6.29 cores=0,2,4,6
/proc/10830/stat : 10830 (pwbo2.0) S 10828 10830 9022 0 -1 4202496 7056 0 0 0 628 1 0 0 20 0 2 0 276124105 88518656 6774 33554432000 4194304 5965102 140735410713120 140735410712640 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10830/statm: 21611 6774 190 433 0 21175 0
[pid=10830/tid=10832] ppid=10828 vsize=86444 CPUtime=6.25 cores=0,2,4,6
/proc/10830/task/10832/stat : 10832 (pwbo2.0) R 10828 10830 9022 0 -1 4202560 5595 0 0 0 623 2 0 0 20 0 2 0 276124109 88518656 6774 33554432000 4194304 5965102 140735410713120 140120308594680 4400955 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 86444
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10832
/proc/meminfo: memFree=31177636/32873844 swapFree=7108/7108
[pid=10830] ppid=10828 vsize=86444 CPUtime=12.68 cores=0,2,4,6
/proc/10830/stat : 10830 (pwbo2.0) S 10828 10830 9022 0 -1 4202496 9103 0 0 0 1267 1 0 0 20 0 2 0 276124105 88518656 8821 33554432000 4194304 5965102 140735410713120 140735410712640 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10830/statm: 21611 8821 190 433 0 21175 0
[pid=10830/tid=10832] ppid=10828 vsize=86444 CPUtime=12.65 cores=0,2,4,6
/proc/10830/task/10832/stat : 10832 (pwbo2.0) R 10828 10830 9022 0 -1 4202560 7642 0 0 0 1263 2 0 0 20 0 2 0 276124109 88518656 8821 33554432000 4194304 5965102 140735410713120 140120308594488 4401131 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 86444
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10832
/proc/meminfo: memFree=31158904/32873844 swapFree=7108/7108
[pid=10830] ppid=10828 vsize=86768 CPUtime=25.48 cores=0,2,4,6
/proc/10830/stat : 10830 (pwbo2.0) S 10828 10830 9022 0 -1 4202496 13693 0 0 0 2545 3 0 0 20 0 2 0 276124105 88850432 13411 33554432000 4194304 5965102 140735410713120 140735410712640 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10830/statm: 21692 13411 190 433 0 21256 0
[pid=10830/tid=10832] ppid=10828 vsize=86768 CPUtime=25.45 cores=0,2,4,6
/proc/10830/task/10832/stat : 10832 (pwbo2.0) R 10828 10830 9022 0 -1 4202560 12232 0 0 0 2541 4 0 0 20 0 2 0 276124109 88850432 13411 33554432000 4194304 5965102 140735410713120 140120308594680 4401608 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 86768
[startup+51.1003 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 10832
/proc/meminfo: memFree=31123516/32873844 swapFree=7108/7108
[pid=10830] ppid=10828 vsize=152464 CPUtime=51.08 cores=0,2,4,6
/proc/10830/stat : 10830 (pwbo2.0) S 10828 10830 9022 0 -1 4202496 22454 0 0 0 5103 5 0 0 20 0 2 0 276124105 156123136 22172 33554432000 4194304 5965102 140735410713120 140735410712640 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10830/statm: 38116 22172 190 433 0 37680 0
[pid=10830/tid=10832] ppid=10828 vsize=152464 CPUtime=51.05 cores=0,2,4,6
/proc/10830/task/10832/stat : 10832 (pwbo2.0) R 10828 10830 9022 0 -1 4202560 20993 0 0 0 5099 6 0 0 20 0 2 0 276124109 156123136 22172 33554432000 4194304 5965102 140735410713120 140120308594680 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 152464
[startup+102.306 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 10832
/proc/meminfo: memFree=31100752/32873844 swapFree=7108/7108
[pid=10830] ppid=10828 vsize=152704 CPUtime=102.26 cores=0,2,4,6
/proc/10830/stat : 10830 (pwbo2.0) S 10828 10830 9022 0 -1 4202496 26985 0 0 0 10218 8 0 0 20 0 2 0 276124105 156368896 26728 33554432000 4194304 5965102 140735410713120 140735410712640 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10830/statm: 38176 26728 190 433 0 37740 0
[pid=10830/tid=10832] ppid=10828 vsize=152704 CPUtime=102.24 cores=0,2,4,6
/proc/10830/task/10832/stat : 10832 (pwbo2.0) R 10828 10830 9022 0 -1 4202560 25524 0 0 0 10214 10 0 0 20 0 2 0 276124109 156368896 26728 33554432000 4194304 5965102 140735410713120 140120308594488 4382778 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 152704
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 10832
/proc/meminfo: memFree=31070796/32873844 swapFree=7108/7108
[pid=10830] ppid=10828 vsize=152704 CPUtime=162.21 cores=0,2,4,6
/proc/10830/stat : 10830 (pwbo2.0) S 10828 10830 9022 0 -1 4202496 33383 0 0 0 16210 11 0 0 20 0 2 0 276124105 156368896 34039 33554432000 4194304 5965102 140735410713120 140735410712640 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10830/statm: 38176 34039 190 433 0 37740 0
[pid=10830/tid=10832] ppid=10828 vsize=152704 CPUtime=162.2 cores=0,2,4,6
/proc/10830/task/10832/stat : 10832 (pwbo2.0) R 10828 10830 9022 0 -1 4202560 31922 0 0 0 16206 14 0 0 20 0 2 0 276124109 156368896 34039 33554432000 4194304 5965102 140735410713120 140120308594680 4401107 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 152704
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10832
/proc/meminfo: memFree=31048528/32873844 swapFree=7108/7108
[pid=10830] ppid=10828 vsize=152704 CPUtime=222.21 cores=0,2,4,6
/proc/10830/stat : 10830 (pwbo2.0) S 10828 10830 9022 0 -1 4202496 34156 0 0 0 22209 12 0 0 20 0 2 0 276124105 156368896 34812 33554432000 4194304 5965102 140735410713120 140735410712640 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10830/statm: 38176 34812 190 433 0 37740 0
[pid=10830/tid=10832] ppid=10828 vsize=152704 CPUtime=222.2 cores=0,2,4,6
/proc/10830/task/10832/stat : 10832 (pwbo2.0) R 10828 10830 9022 0 -1 4202560 32695 0 0 0 22204 16 0 0 20 0 2 0 276124109 156368896 34812 33554432000 4194304 5965102 140735410713120 140120308594488 4401127 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 152704
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 10836
/proc/meminfo: memFree=31024804/32873844 swapFree=7108/7108
[pid=10830] ppid=10828 vsize=218240 CPUtime=282.18 cores=0,2,4,6
/proc/10830/stat : 10830 (pwbo2.0) S 10828 10830 9022 0 -1 4202496 39185 0 0 0 28203 15 0 0 20 0 2 0 276124105 223477760 39900 33554432000 4194304 5965102 140735410713120 140735410712640 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10830/statm: 54560 39900 190 433 0 54124 0
[pid=10830/tid=10832] ppid=10828 vsize=218240 CPUtime=282.19 cores=0,2,4,6
/proc/10830/task/10832/stat : 10832 (pwbo2.0) R 10828 10830 9022 0 -1 4202560 37724 0 0 0 28199 20 0 0 20 0 2 0 276124109 223477760 39900 33554432000 4194304 5965102 140735410713120 140120308594680 4401127 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 218240
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10836
/proc/meminfo: memFree=30992056/32873844 swapFree=7108/7108
[pid=10830] ppid=10828 vsize=218240 CPUtime=342.15 cores=0,2,4,6
/proc/10830/stat : 10830 (pwbo2.0) S 10828 10830 9022 0 -1 4202496 43811 0 0 0 34197 18 0 0 20 0 2 0 276124105 223477760 44691 33554432000 4194304 5965102 140735410713120 140735410712640 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10830/statm: 54560 44691 190 433 0 54124 0
[pid=10830/tid=10832] ppid=10828 vsize=218240 CPUtime=342.18 cores=0,2,4,6
/proc/10830/task/10832/stat : 10832 (pwbo2.0) R 10828 10830 9022 0 -1 4202560 42350 0 0 0 34194 24 0 0 20 0 2 0 276124109 223477760 44691 33554432000 4194304 5965102 140735410713120 140120308594680 4401118 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 218240
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10836
/proc/meminfo: memFree=30980740/32873844 swapFree=7108/7108
[pid=10830] ppid=10828 vsize=218240 CPUtime=402.15 cores=0,2,4,6
/proc/10830/stat : 10830 (pwbo2.0) S 10828 10830 9022 0 -1 4202496 44758 0 0 0 40196 19 0 0 20 0 2 0 276124105 223477760 45638 33554432000 4194304 5965102 140735410713120 140735410712640 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10830/statm: 54560 45638 190 433 0 54124 0
[pid=10830/tid=10832] ppid=10828 vsize=218240 CPUtime=402.19 cores=0,2,4,6
/proc/10830/task/10832/stat : 10832 (pwbo2.0) R 10828 10830 9022 0 -1 4202560 43297 0 0 0 40193 26 0 0 20 0 2 0 276124109 223477760 45638 33554432000 4194304 5965102 140735410713120 140120308594680 4401143 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 218240
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10836
/proc/meminfo: memFree=30980244/32873844 swapFree=7108/7108
[pid=10830] ppid=10828 vsize=218240 CPUtime=462.14 cores=0,2,4,6
################
# More data... #
################
/proc/10830/task/10832/stat : 10832 (pwbo2.0) R 10828 10830 9022 0 -1 4202560 66215 0 0 0 130164 55 0 0 20 0 2 0 276124109 363036672 69128 33554432000 4194304 5965102 140735410713120 140120308594680 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 354528
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10842
/proc/meminfo: memFree=30838932/32873844 swapFree=7108/7108
[pid=10830] ppid=10828 vsize=354852 CPUtime=1361.96 cores=0,2,4,6
/proc/10830/stat : 10830 (pwbo2.0) S 10828 10830 9022 0 -1 4202496 68081 0 0 0 136160 36 0 0 20 0 2 0 276124105 363368448 69530 33554432000 4194304 5965102 140735410713120 140735410712640 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10830/statm: 88713 69530 190 433 0 88277 0
[pid=10830/tid=10832] ppid=10828 vsize=354852 CPUtime=1362.19 cores=0,2,4,6
/proc/10830/task/10832/stat : 10832 (pwbo2.0) R 10828 10830 9022 0 -1 4202560 66620 0 0 0 136162 57 0 0 20 0 2 0 276124109 363368448 69530 33554432000 4194304 5965102 140735410713120 140120308594488 4401131 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 354852
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10842
/proc/meminfo: memFree=30813444/32873844 swapFree=7108/7108
[pid=10830] ppid=10828 vsize=354852 CPUtime=1421.96 cores=0,2,4,6
/proc/10830/stat : 10830 (pwbo2.0) S 10828 10830 9022 0 -1 4202496 70826 0 0 0 142159 37 0 0 20 0 2 0 276124105 363368448 72275 33554432000 4194304 5965102 140735410713120 140735410712640 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10830/statm: 88713 72275 190 433 0 88277 0
[pid=10830/tid=10832] ppid=10828 vsize=354852 CPUtime=1422.2 cores=0,2,4,6
/proc/10830/task/10832/stat : 10832 (pwbo2.0) R 10828 10830 9022 0 -1 4202560 69365 0 0 0 142161 59 0 0 20 0 2 0 276124109 363368448 72275 33554432000 4194304 5965102 140735410713120 140120308594680 4401107 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 354852
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 10846
/proc/meminfo: memFree=30783428/32873844 swapFree=7108/7108
[pid=10830] ppid=10828 vsize=354852 CPUtime=1481.94 cores=0,2,4,6
/proc/10830/stat : 10830 (pwbo2.0) S 10828 10830 9022 0 -1 4202496 75468 0 0 0 148155 39 0 0 20 0 2 0 276124105 363368448 76917 33554432000 4194304 5965102 140735410713120 140735410712640 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10830/statm: 88713 76917 190 433 0 88277 0
[pid=10830/tid=10832] ppid=10828 vsize=354852 CPUtime=1482.19 cores=0,2,4,6
/proc/10830/task/10832/stat : 10832 (pwbo2.0) R 10828 10830 9022 0 -1 4202560 74007 0 0 0 148157 62 0 0 20 0 2 0 276124109 363368448 76917 33554432000 4194304 5965102 140735410713120 140120308594728 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 354852
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10846
/proc/meminfo: memFree=30782732/32873844 swapFree=7108/7108
[pid=10830] ppid=10828 vsize=354852 CPUtime=1541.92 cores=0,2,4,6
/proc/10830/stat : 10830 (pwbo2.0) S 10828 10830 9022 0 -1 4202496 75493 0 0 0 154153 39 0 0 20 0 2 0 276124105 363368448 77043 33554432000 4194304 5965102 140735410713120 140735410712640 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10830/statm: 88713 77043 190 433 0 88277 0
[pid=10830/tid=10832] ppid=10828 vsize=354852 CPUtime=1542.18 cores=0,2,4,6
/proc/10830/task/10832/stat : 10832 (pwbo2.0) R 10828 10830 9022 0 -1 4202560 74032 0 0 0 154155 63 0 0 20 0 2 0 276124109 363368448 77043 33554432000 4194304 5965102 140735410713120 140120308594728 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 354852
[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 10885
/proc/meminfo: memFree=30992608/32873844 swapFree=7108/7108
[pid=10830] ppid=10828 vsize=355500 CPUtime=1601.9 cores=0,2,4,6
/proc/10830/stat : 10830 (pwbo2.0) S 10828 10830 9022 0 -1 4202496 79011 0 0 0 160149 41 0 0 20 0 2 0 276124105 364032000 80567 33554432000 4194304 5965102 140735410713120 140735410712640 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10830/statm: 88875 80567 190 433 0 88439 0
[pid=10830/tid=10832] ppid=10828 vsize=355500 CPUtime=1602.18 cores=0,2,4,6
/proc/10830/task/10832/stat : 10832 (pwbo2.0) R 10828 10830 9022 0 -1 4202560 77550 0 0 0 160152 66 0 0 20 0 2 0 276124109 364032000 80567 33554432000 4194304 5965102 140735410713120 140120308594680 4401155 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 355500
[startup+1662.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 10885
/proc/meminfo: memFree=30903956/32873844 swapFree=7108/7108
[pid=10830] ppid=10828 vsize=422008 CPUtime=1661.9 cores=0,2,4,6
/proc/10830/stat : 10830 (pwbo2.0) S 10828 10830 9022 0 -1 4202496 83913 0 0 0 166145 45 0 0 20 0 2 0 276124105 432136192 85469 33554432000 4194304 5965102 140735410713120 140735410712640 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10830/statm: 105502 85469 190 433 0 105066 0
[pid=10830/tid=10832] ppid=10828 vsize=422008 CPUtime=1662.18 cores=0,2,4,6
/proc/10830/task/10832/stat : 10832 (pwbo2.0) R 10828 10830 9022 0 -1 4202560 82452 0 0 0 166147 71 0 0 20 0 2 0 276124109 432136192 85469 33554432000 4194304 5965102 140735410713120 140120308594680 4400955 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 422008
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 10885
/proc/meminfo: memFree=30850244/32873844 swapFree=7108/7108
[pid=10830] ppid=10828 vsize=423140 CPUtime=1721.89 cores=0,2,4,6
/proc/10830/stat : 10830 (pwbo2.0) S 10828 10830 9022 0 -1 4202496 90204 0 0 0 172141 48 0 0 20 0 2 0 276124105 433295360 91756 33554432000 4194304 5965102 140735410713120 140735410712640 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10830/statm: 105785 91756 190 433 0 105349 0
[pid=10830/tid=10832] ppid=10828 vsize=423140 CPUtime=1722.19 cores=0,2,4,6
/proc/10830/task/10832/stat : 10832 (pwbo2.0) R 10828 10830 9022 0 -1 4202560 88743 0 0 0 172144 75 0 0 20 0 2 0 276124109 433295360 91756 33554432000 4194304 5965102 140735410713120 140120308594488 4401155 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 423140
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 10886
/proc/meminfo: memFree=30809976/32873844 swapFree=7108/7108
[pid=10830] ppid=10828 vsize=425408 CPUtime=1781.88 cores=0,2,4,6
/proc/10830/stat : 10830 (pwbo2.0) S 10828 10830 9022 0 -1 4202496 94605 0 0 0 178139 49 0 0 20 0 2 0 276124105 435617792 96101 33554432000 4194304 5965102 140735410713120 140735410712640 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10830/statm: 106352 96101 190 433 0 105916 0
[pid=10830/tid=10832] ppid=10828 vsize=425408 CPUtime=1782.19 cores=0,2,4,6
/proc/10830/task/10832/stat : 10832 (pwbo2.0) R 10828 10830 9022 0 -1 4202560 93144 0 0 0 178142 77 0 0 20 0 2 0 276124109 435617792 96101 33554432000 4194304 5965102 140735410713120 140120308594680 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 425408
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 10886
/proc/meminfo: memFree=30808232/32873844 swapFree=7108/7108
[pid=10830] ppid=10828 vsize=425408 CPUtime=1791.48 cores=0,2,4,6
/proc/10830/stat : 10830 (pwbo2.0) S 10828 10830 9022 0 -1 4202496 94608 0 0 0 179099 49 0 0 20 0 2 0 276124105 435617792 96118 33554432000 4194304 5965102 140735410713120 140735410712640 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10830/statm: 106352 96118 190 433 0 105916 0
[pid=10830/tid=10832] ppid=10828 vsize=425408 CPUtime=1791.79 cores=0,2,4,6
/proc/10830/task/10832/stat : 10832 (pwbo2.0) R 10828 10830 9022 0 -1 4202560 93147 0 0 0 179102 77 0 0 20 0 2 0 276124109 435617792 96118 33554432000 4194304 5965102 140735410713120 140120308594680 4401127 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.48
Current children cumulated vsize (KiB) 425408
[startup+1795.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 10886
/proc/meminfo: memFree=30808232/32873844 swapFree=7108/7108
[pid=10830] ppid=10828 vsize=425408 CPUtime=1794.68 cores=0,2,4,6
/proc/10830/stat : 10830 (pwbo2.0) S 10828 10830 9022 0 -1 4202496 94608 0 0 0 179419 49 0 0 20 0 2 0 276124105 435617792 96118 33554432000 4194304 5965102 140735410713120 140735410712640 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10830/statm: 106352 96118 190 433 0 105916 0
[pid=10830/tid=10832] ppid=10828 vsize=425408 CPUtime=1794.99 cores=0,2,4,6
/proc/10830/task/10832/stat : 10832 (pwbo2.0) R 10828 10830 9022 0 -1 4202560 93147 0 0 0 179422 77 0 0 20 0 2 0 276124109 435617792 96118 33554432000 4194304 5965102 140735410713120 140120308594680 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.68
Current children cumulated vsize (KiB) 425408
[startup+1798.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/179 10886
/proc/meminfo: memFree=30807472/32873844 swapFree=7108/7108
[pid=10830] ppid=10828 vsize=425408 CPUtime=1797.87 cores=0,2,4,6
/proc/10830/stat : 10830 (pwbo2.0) S 10828 10830 9022 0 -1 4202496 94616 0 0 0 179738 49 0 0 20 0 2 0 276124105 435617792 96246 33554432000 4194304 5965102 140735410713120 140735410712640 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10830/statm: 106352 96246 190 433 0 105916 0
[pid=10830/tid=10832] ppid=10828 vsize=425408 CPUtime=1798.18 cores=0,2,4,6
/proc/10830/task/10832/stat : 10832 (pwbo2.0) R 10828 10830 9022 0 -1 4202560 93155 0 0 0 179741 77 0 0 20 0 2 0 276124109 435617792 96246 33554432000 4194304 5965102 140735410713120 140120308594680 4401127 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.87
Current children cumulated vsize (KiB) 425408
[startup+1799.1 s]
/proc/loadavg: 2.08 2.03 2.01 3/179 10886
/proc/meminfo: memFree=30807472/32873844 swapFree=7108/7108
[pid=10830] ppid=10828 vsize=425408 CPUtime=1798.67 cores=0,2,4,6
/proc/10830/stat : 10830 (pwbo2.0) S 10828 10830 9022 0 -1 4202496 94616 0 0 0 179818 49 0 0 20 0 2 0 276124105 435617792 96246 33554432000 4194304 5965102 140735410713120 140735410712640 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10830/statm: 106352 96246 190 433 0 105916 0
[pid=10830/tid=10832] ppid=10828 vsize=425408 CPUtime=1798.98 cores=0,2,4,6
/proc/10830/task/10832/stat : 10832 (pwbo2.0) R 10828 10830 9022 0 -1 4202560 93155 0 0 0 179821 77 0 0 20 0 2 0 276124109 435617792 96246 33554432000 4194304 5965102 140735410713120 140120308594680 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.67
Current children cumulated vsize (KiB) 425408
[startup+1799.5 s]
/proc/loadavg: 2.08 2.03 2.01 3/179 10886
/proc/meminfo: memFree=30807596/32873844 swapFree=7108/7108
[pid=10830] ppid=10828 vsize=425408 CPUtime=1799.07 cores=0,2,4,6
/proc/10830/stat : 10830 (pwbo2.0) S 10828 10830 9022 0 -1 4202496 94616 0 0 0 179858 49 0 0 20 0 2 0 276124105 435617792 96246 33554432000 4194304 5965102 140735410713120 140735410712640 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10830/statm: 106352 96246 190 433 0 105916 0
[pid=10830/tid=10832] ppid=10828 vsize=425408 CPUtime=1799.39 cores=0,2,4,6
/proc/10830/task/10832/stat : 10832 (pwbo2.0) R 10828 10830 9022 0 -1 4202560 93155 0 0 0 179862 77 0 0 20 0 2 0 276124109 435617792 96246 33554432000 4194304 5965102 140735410713120 140120308594680 4382704 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.07
Current children cumulated vsize (KiB) 425408
[startup+1799.9 s]
/proc/loadavg: 2.08 2.03 2.01 3/179 10886
/proc/meminfo: memFree=30807596/32873844 swapFree=7108/7108
[pid=10830] ppid=10828 vsize=425408 CPUtime=1799.47 cores=0,2,4,6
/proc/10830/stat : 10830 (pwbo2.0) S 10828 10830 9022 0 -1 4202496 94616 0 0 0 179898 49 0 0 20 0 2 0 276124105 435617792 96246 33554432000 4194304 5965102 140735410713120 140735410712640 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10830/statm: 106352 96246 190 433 0 105916 0
[pid=10830/tid=10832] ppid=10828 vsize=425408 CPUtime=1799.78 cores=0,2,4,6
/proc/10830/task/10832/stat : 10832 (pwbo2.0) R 10828 10830 9022 0 -1 4202560 93155 0 0 0 179901 77 0 0 20 0 2 0 276124109 435617792 96246 33554432000 4194304 5965102 140735410713120 140120308594680 4401096 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.47
Current children cumulated vsize (KiB) 425408
[startup+1800 s]
/proc/loadavg: 2.08 2.03 2.01 3/179 10886
/proc/meminfo: memFree=30807596/32873844 swapFree=7108/7108
[pid=10830] ppid=10828 vsize=425408 CPUtime=1799.57 cores=0,2,4,6
/proc/10830/stat : 10830 (pwbo2.0) S 10828 10830 9022 0 -1 4202496 94616 0 0 0 179908 49 0 0 20 0 2 0 276124105 435617792 96246 33554432000 4194304 5965102 140735410713120 140735410712640 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10830/statm: 106352 96246 190 433 0 105916 0
[pid=10830/tid=10832] ppid=10828 vsize=425408 CPUtime=1799.88 cores=0,2,4,6
/proc/10830/task/10832/stat : 10832 (pwbo2.0) R 10828 10830 9022 0 -1 4202560 93155 0 0 0 179911 77 0 0 20 0 2 0 276124109 435617792 96246 33554432000 4194304 5965102 140735410713120 140120308594680 4400955 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.57
Current children cumulated vsize (KiB) 425408
Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.95
CPU user time (s): 1799.16
CPU system time (s): 0.78688
CPU usage (%): 99.9964
Max. virtual memory (cumulated for all children) (KiB): 425408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.16
system time used= 0.78688
maximum resident set size= 384996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94619
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= 149
involuntary context switches= 1849
runsolver used 2.78258 second user time and 7.03893 second system time
The end