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-3733200-1338711170/watcher-3733200-1338711170 -o /tmp/evaluation-result-3733200-1338711170/solver-3733200-1338711170 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3733200-1338711170.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: 1.92 1.98 1.99 3/174 21015
/proc/meminfo: memFree=24422136/32873624 swapFree=7112/7112
[pid=21015] ppid=21013 vsize=13184 CPUtime=0 cores=1,3,5,7
/proc/21015/stat : 21015 (bsolo) R 21013 21015 5438 0 -1 4202496 350 0 0 0 0 0 0 0 20 0 1 0 337242459 13500416 304 33554432000 134512640 137136520 4286914496 4286913024 136575102 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21015/statm: 3296 305 185 641 0 2090 0
[startup+0.0742409 s]
/proc/loadavg: 1.92 1.98 1.99 3/174 21015
/proc/meminfo: memFree=24422136/32873624 swapFree=7112/7112
[pid=21015] ppid=21013 vsize=17580 CPUtime=0.07 cores=1,3,5,7
/proc/21015/stat : 21015 (bsolo) R 21013 21015 5438 0 -1 4202496 1696 0 0 0 7 0 0 0 20 0 1 0 337242459 18001920 1650 33554432000 134512640 137136520 4286914496 4286912904 136504651 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21015/statm: 4395 1650 446 641 0 3189 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 17580
[startup+0.100161 s]
/proc/loadavg: 1.92 1.98 1.99 3/174 21015
/proc/meminfo: memFree=24422136/32873624 swapFree=7112/7112
[pid=21015] ppid=21013 vsize=19232 CPUtime=0.09 cores=1,3,5,7
/proc/21015/stat : 21015 (bsolo) R 21013 21015 5438 0 -1 4202496 2197 0 0 0 9 0 0 0 20 0 1 0 337242459 19693568 2151 33554432000 134512640 137136520 4286914496 4286912904 136504651 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21015/statm: 4808 2153 544 641 0 3602 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19232
[startup+0.300193 s]
/proc/loadavg: 1.92 1.98 1.99 3/174 21015
/proc/meminfo: memFree=24422136/32873624 swapFree=7112/7112
[pid=21015] ppid=21013 vsize=27540 CPUtime=0.29 cores=1,3,5,7
/proc/21015/stat : 21015 (bsolo) R 21013 21015 5438 0 -1 4202496 5050 0 0 0 28 1 0 0 20 0 1 0 337242459 28200960 4442 33554432000 134512640 137136520 4286914496 4286897740 136568305 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21015/statm: 6885 4442 190 641 0 6241 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27540
[startup+0.700185 s]
/proc/loadavg: 1.92 1.98 1.99 3/174 21015
/proc/meminfo: memFree=24422136/32873624 swapFree=7112/7112
[pid=21015] ppid=21013 vsize=27540 CPUtime=0.68 cores=1,3,5,7
/proc/21015/stat : 21015 (bsolo) R 21013 21015 5438 0 -1 4202496 5050 0 0 0 66 2 0 0 20 0 1 0 337242459 28200960 4442 33554432000 134512640 137136520 4286914496 4286897740 136568305 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21015/statm: 6885 4442 190 641 0 6241 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 27540
[startup+1.50011 s]
/proc/loadavg: 1.92 1.98 1.99 3/175 21016
/proc/meminfo: memFree=24406736/32873624 swapFree=7112/7112
[pid=21015] ppid=21013 vsize=33780 CPUtime=1.49 cores=1,3,5,7
/proc/21015/stat : 21015 (bsolo) R 21013 21015 5438 0 -1 4202496 8045 0 0 0 145 4 0 0 20 0 1 0 337242459 34590720 6016 33554432000 134512640 137136520 4286914496 4286913120 134542193 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21015/statm: 8445 6016 196 641 0 7801 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33780
[startup+3.10012 s]
/proc/loadavg: 1.92 1.98 1.99 3/175 21016
/proc/meminfo: memFree=24390004/32873624 swapFree=7112/7112
[pid=21015] ppid=21013 vsize=55104 CPUtime=3.09 cores=1,3,5,7
/proc/21015/stat : 21015 (bsolo) R 21013 21015 5438 0 -1 4202496 13369 0 0 0 304 5 0 0 20 0 1 0 337242459 56426496 11340 33554432000 134512640 137136520 4286914496 4286913424 134544256 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21015/statm: 13776 11340 196 641 0 13132 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 55104
[startup+6.30015 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 21016
/proc/meminfo: memFree=24347116/32873624 swapFree=7112/7112
[pid=21015] ppid=21013 vsize=96212 CPUtime=6.29 cores=1,3,5,7
/proc/21015/stat : 21015 (bsolo) R 21013 21015 5438 0 -1 4202496 23652 0 0 0 623 6 0 0 20 0 1 0 337242459 98521088 21623 33554432000 134512640 137136520 4286914496 4286913092 136500562 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21015/statm: 24053 21623 196 641 0 23409 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 96212
[startup+12.7003 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 21016
/proc/meminfo: memFree=24269552/32873624 swapFree=7112/7112
[pid=21015] ppid=21013 vsize=169080 CPUtime=12.68 cores=1,3,5,7
/proc/21015/stat : 21015 (bsolo) R 21013 21015 5438 0 -1 4202496 41865 0 0 0 1259 9 0 0 20 0 1 0 337242459 173137920 39836 33554432000 134512640 137136520 4286914496 4286913012 136509131 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21015/statm: 42270 39839 197 641 0 41626 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 169080
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 21016
/proc/meminfo: memFree=24148320/32873624 swapFree=7112/7112
[pid=21015] ppid=21013 vsize=285912 CPUtime=25.49 cores=1,3,5,7
/proc/21015/stat : 21015 (bsolo) R 21013 21015 5438 0 -1 4202496 71075 0 0 0 2534 15 0 0 20 0 1 0 337242459 292773888 69046 33554432000 134512640 137136520 4286914496 4286913048 136502143 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21015/statm: 71478 69046 197 641 0 70834 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 285912
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 21016
/proc/meminfo: memFree=23993164/32873624 swapFree=7112/7112
[pid=21015] ppid=21013 vsize=444364 CPUtime=51.08 cores=1,3,5,7
/proc/21015/stat : 21015 (bsolo) R 21013 21015 5438 0 -1 4202496 110691 0 0 0 5084 24 0 0 20 0 1 0 337242459 455028736 108662 33554432000 134512640 137136520 4286914496 4286913024 134600223 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21015/statm: 111091 108662 197 641 0 110447 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 444364
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 21017
/proc/meminfo: memFree=23677612/32873624 swapFree=7112/7112
[pid=21015] ppid=21013 vsize=754020 CPUtime=102.28 cores=1,3,5,7
/proc/21015/stat : 21015 (bsolo) R 21013 21015 5438 0 -1 4202496 188112 0 0 0 10184 44 0 0 20 0 1 0 337242459 772116480 186083 33554432000 134512640 137136520 4286914496 4286913424 134544396 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21015/statm: 188505 186083 197 641 0 187861 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 754020
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 21017
/proc/meminfo: memFree=23388100/32873624 swapFree=7112/7112
[pid=21015] ppid=21013 vsize=1045864 CPUtime=162.26 cores=1,3,5,7
/proc/21015/stat : 21015 (bsolo) R 21013 21015 5438 0 -1 4202496 261067 0 0 0 16162 64 0 0 20 0 1 0 337242459 1070964736 259038 33554432000 134512640 137136520 4286914496 4286913424 134543933 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21015/statm: 261466 259038 197 641 0 260822 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1045864
[startup+222.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 21017
/proc/meminfo: memFree=23171128/32873624 swapFree=7112/7112
[pid=21015] ppid=21013 vsize=1259396 CPUtime=222.26 cores=1,3,5,7
/proc/21015/stat : 21015 (bsolo) R 21013 21015 5438 0 -1 4202496 314458 0 0 0 22148 78 0 0 20 0 1 0 337242459 1289621504 312429 33554432000 134512640 137136520 4286914496 4286913424 134544112 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/21015/statm: 314849 312429 197 641 0 314205 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1259396
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 21017
/proc/meminfo: memFree=22896872/32873624 swapFree=7112/7112
[pid=21015] ppid=21013 vsize=1534720 CPUtime=282.25 cores=1,3,5,7
/proc/21015/stat : 21015 (bsolo) R 21013 21015 5438 0 -1 4202496 383286 0 0 0 28128 97 0 0 20 0 1 0 337242459 1571553280 381257 33554432000 134512640 137136520 4286914496 4286913424 134543954 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/21015/statm: 383680 381257 197 641 0 383036 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 1534720
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 21017
/proc/meminfo: memFree=22789644/32873624 swapFree=7112/7112
[pid=21015] ppid=21013 vsize=1639128 CPUtime=342.24 cores=1,3,5,7
/proc/21015/stat : 21015 (bsolo) R 21013 21015 5438 0 -1 4202496 409488 0 0 0 34120 104 0 0 20 0 1 0 337242459 1678467072 407358 33554432000 134512640 137136520 4286914496 4286912840 134598621 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/21015/statm: 409782 407358 197 641 0 409138 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1639128
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 21018
/proc/meminfo: memFree=22789548/32873624 swapFree=7112/7112
[pid=21015] ppid=21013 vsize=1639128 CPUtime=402.23 cores=1,3,5,7
/proc/21015/stat : 21015 (bsolo) R 21013 21015 5438 0 -1 4202496 409488 0 0 0 40118 105 0 0 20 0 1 0 337242459 1678467072 407358 33554432000 134512640 137136520 4286914496 4286913392 134544145 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/21015/statm: 409782 407358 197 641 0 409138 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1639128
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 21021
/proc/meminfo: memFree=22789920/32873624 swapFree=7112/7112
[pid=21015] ppid=21013 vsize=1639128 CPUtime=462.22 cores=1,3,5,7
/proc/21015/stat : 21015 (bsolo) R 21013 21015 5438 0 -1 4202496 409488 0 0 0 46115 107 0 0 20 0 1 0 337242459 1678467072 407358 33554432000 134512640 137136520 4286914496 4286912976 136498324 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/21015/statm: 409782 407358 197 641 0 409138 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1639128
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 21021
/proc/meminfo: memFree=22789460/32873624 swapFree=7112/7112
[pid=21015] ppid=21013 vsize=1639128 CPUtime=522.21 cores=1,3,5,7
/proc/21015/stat : 21015 (bsolo) R 21013 21015 5438 0 -1 4202496 409488 0 0 0 52112 109 0 0 20 0 1 0 337242459 1678467072 407358 33554432000 134512640 137136520 4286914496 4286913424 134543957 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/21015/statm: 409782 407358 197 641 0 409138 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1639128
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 21069
/proc/meminfo: memFree=24837080/32873624 swapFree=7112/7112
[pid=21015] ppid=21013 vsize=1639128 CPUtime=582.18 cores=1,3,5,7
/proc/21015/stat : 21015 (bsolo) R 21013 21015 5438 0 -1 4202496 409520 0 0 0 58108 110 0 0 20 0 1 0 337242459 1678467072 407359 33554432000 134512640 137136520 4286914496 4286913208 136504219 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/21015/statm: 409782 407359 197 641 0 409138 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 1639128
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=23791696/32873624 swapFree=7112/7112
[pid=21015] ppid=21013 vsize=1974164 CPUtime=1061.96 cores=1,3,5,7
/proc/21015/stat : 21015 (bsolo) R 21013 21015 5438 0 -1 4202496 493595 0 0 0 106055 141 0 0 20 0 1 0 337242459 2021543936 491094 33554432000 134512640 137136520 4286914496 4286913196 136518915 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/21015/statm: 493541 491094 197 641 0 492897 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 1974164
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 21075
/proc/meminfo: memFree=23791096/32873624 swapFree=7112/7112
[pid=21015] ppid=21013 vsize=1974164 CPUtime=1121.92 cores=1,3,5,7
/proc/21015/stat : 21015 (bsolo) R 21013 21015 5438 0 -1 4202496 493617 0 0 0 112050 142 0 0 20 0 1 0 337242459 2021543936 491094 33554432000 134512640 137136520 4286914496 4286913424 134543933 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/21015/statm: 493541 491094 197 641 0 492897 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 1974164
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 21075
/proc/meminfo: memFree=23721576/32873624 swapFree=7112/7112
[pid=21015] ppid=21013 vsize=1974164 CPUtime=1181.9 cores=1,3,5,7
/proc/21015/stat : 21015 (bsolo) R 21013 21015 5438 0 -1 4202496 493637 0 0 0 118047 143 0 0 20 0 1 0 337242459 2021543936 491094 33554432000 134512640 137136520 4286914496 4286913424 134543948 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/21015/statm: 493541 491094 197 641 0 492897 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 1974164
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 21075
/proc/meminfo: memFree=23678456/32873624 swapFree=7112/7112
[pid=21015] ppid=21013 vsize=1974164 CPUtime=1241.89 cores=1,3,5,7
/proc/21015/stat : 21015 (bsolo) R 21013 21015 5438 0 -1 4202496 493652 0 0 0 124044 145 0 0 20 0 1 0 337242459 2021543936 491094 33554432000 134512640 137136520 4286914496 4286913424 134543957 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/21015/statm: 493541 491094 197 641 0 492897 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 1974164
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 21076
/proc/meminfo: memFree=23678608/32873624 swapFree=7112/7112
[pid=21015] ppid=21013 vsize=1974164 CPUtime=1301.87 cores=1,3,5,7
/proc/21015/stat : 21015 (bsolo) R 21013 21015 5438 0 -1 4202496 493673 0 0 0 130041 146 0 0 20 0 1 0 337242459 2021543936 491094 33554432000 134512640 137136520 4286914496 4286913168 134616456 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/21015/statm: 493541 491094 197 641 0 492897 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1974164
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 21076
/proc/meminfo: memFree=23678652/32873624 swapFree=7112/7112
[pid=21015] ppid=21013 vsize=1974164 CPUtime=1361.84 cores=1,3,5,7
/proc/21015/stat : 21015 (bsolo) R 21013 21015 5438 0 -1 4202496 493702 0 0 0 136037 147 0 0 20 0 1 0 337242459 2021543936 491094 33554432000 134512640 137136520 4286914496 4286913048 136502161 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/21015/statm: 493541 491094 197 641 0 492897 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1974164
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 21076
/proc/meminfo: memFree=23678664/32873624 swapFree=7112/7112
[pid=21015] ppid=21013 vsize=1974164 CPUtime=1421.83 cores=1,3,5,7
/proc/21015/stat : 21015 (bsolo) R 21013 21015 5438 0 -1 4202496 493721 0 0 0 142035 148 0 0 20 0 1 0 337242459 2021543936 491094 33554432000 134512640 137136520 4286914496 4286913424 134544402 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/21015/statm: 493541 491094 197 641 0 492897 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1974164
[startup+1482.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/175 21076
/proc/meminfo: memFree=23678584/32873624 swapFree=7112/7112
[pid=21015] ppid=21013 vsize=1974164 CPUtime=1481.8 cores=1,3,5,7
/proc/21015/stat : 21015 (bsolo) R 21013 21015 5438 0 -1 4202496 493740 0 0 0 148030 150 0 0 20 0 1 0 337242459 2021543936 491094 33554432000 134512640 137136520 4286914496 4286913424 134544604 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/21015/statm: 493541 491094 197 641 0 492897 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1974164
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 21076
/proc/meminfo: memFree=23521988/32873624 swapFree=7112/7112
[pid=21015] ppid=21013 vsize=1974164 CPUtime=1541.79 cores=1,3,5,7
/proc/21015/stat : 21015 (bsolo) R 21013 21015 5438 0 -1 4202496 493752 0 0 0 154027 152 0 0 20 0 1 0 337242459 2021543936 491094 33554432000 134512640 137136520 4286914496 4286913136 134606731 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/21015/statm: 493541 491094 197 641 0 492897 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 1974164
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 21077
/proc/meminfo: memFree=23416756/32873624 swapFree=7112/7112
[pid=21015] ppid=21013 vsize=1974164 CPUtime=1601.77 cores=1,3,5,7
/proc/21015/stat : 21015 (bsolo) R 21013 21015 5438 0 -1 4202496 493786 0 0 0 160024 153 0 0 20 0 1 0 337242459 2021543936 491094 33554432000 134512640 137136520 4286914496 4286913536 134540859 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/21015/statm: 493541 491094 197 641 0 492897 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1974164
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 21080
/proc/meminfo: memFree=23416616/32873624 swapFree=7112/7112
[pid=21015] ppid=21013 vsize=1974164 CPUtime=1661.74 cores=1,3,5,7
/proc/21015/stat : 21015 (bsolo) R 21013 21015 5438 0 -1 4202496 493812 0 0 0 166020 154 0 0 20 0 1 0 337242459 2021543936 491094 33554432000 134512640 137136520 4286914496 4286913424 134543948 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/21015/statm: 493541 491094 197 641 0 492897 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 1974164
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 21080
/proc/meminfo: memFree=23416792/32873624 swapFree=7112/7112
[pid=21015] ppid=21013 vsize=1974164 CPUtime=1721.72 cores=1,3,5,7
/proc/21015/stat : 21015 (bsolo) R 21013 21015 5438 0 -1 4202496 493843 0 0 0 172016 156 0 0 20 0 1 0 337242459 2021543936 491094 33554432000 134512640 137136520 4286914496 4286913392 134544122 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/21015/statm: 493541 491094 197 641 0 492897 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 1974164
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 21080
/proc/meminfo: memFree=23416408/32873624 swapFree=7112/7112
[pid=21015] ppid=21013 vsize=1974164 CPUtime=1781.71 cores=1,3,5,7
/proc/21015/stat : 21015 (bsolo) R 21013 21015 5438 0 -1 4202496 493843 0 0 0 178014 157 0 0 20 0 1 0 337242459 2021543936 491094 33554432000 134512640 137136520 4286914496 4286913424 134544547 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/21015/statm: 493541 491094 197 641 0 492897 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 1974164
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 21080
/proc/meminfo: memFree=23416392/32873624 swapFree=7112/7112
[pid=21015] ppid=21013 vsize=1974164 CPUtime=1791.31 cores=1,3,5,7
/proc/21015/stat : 21015 (bsolo) R 21013 21015 5438 0 -1 4202496 493843 0 0 0 178974 157 0 0 20 0 1 0 337242459 2021543936 491094 33554432000 134512640 137136520 4286914496 4286913392 134543957 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/21015/statm: 493541 491094 197 641 0 492897 0
Current children cumulated CPU time (s) 1791.31
Current children cumulated vsize (KiB) 1974164
[startup+1795.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 21080
/proc/meminfo: memFree=23416004/32873624 swapFree=7112/7112
[pid=21015] ppid=21013 vsize=1974164 CPUtime=1794.51 cores=1,3,5,7
/proc/21015/stat : 21015 (bsolo) R 21013 21015 5438 0 -1 4202496 493843 0 0 0 179294 157 0 0 20 0 1 0 337242459 2021543936 491094 33554432000 134512640 137136520 4286914496 4286913424 134544122 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/21015/statm: 493541 491094 197 641 0 492897 0
Current children cumulated CPU time (s) 1794.51
Current children cumulated vsize (KiB) 1974164
[startup+1796.7 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 21080
/proc/meminfo: memFree=23416128/32873624 swapFree=7112/7112
[pid=21015] ppid=21013 vsize=1974164 CPUtime=1796.1 cores=1,3,5,7
/proc/21015/stat : 21015 (bsolo) R 21013 21015 5438 0 -1 4202496 493843 0 0 0 179453 157 0 0 20 0 1 0 337242459 2021543936 491094 33554432000 134512640 137136520 4286914496 4286913424 134543831 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/21015/statm: 493541 491094 197 641 0 492897 0
Current children cumulated CPU time (s) 1796.1
Current children cumulated vsize (KiB) 1974164
[startup+1797.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 21080
/proc/meminfo: memFree=23416128/32873624 swapFree=7112/7112
[pid=21015] ppid=21013 vsize=1974164 CPUtime=1796.9 cores=1,3,5,7
/proc/21015/stat : 21015 (bsolo) R 21013 21015 5438 0 -1 4202496 493843 0 0 0 179533 157 0 0 20 0 1 0 337242459 2021543936 491094 33554432000 134512640 137136520 4286914496 4286913424 134544125 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/21015/statm: 493541 491094 197 641 0 492897 0
Current children cumulated CPU time (s) 1796.9
Current children cumulated vsize (KiB) 1974164
[startup+1798.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 21080
/proc/meminfo: memFree=23416128/32873624 swapFree=7112/7112
[pid=21015] ppid=21013 vsize=1974164 CPUtime=1797.7 cores=1,3,5,7
/proc/21015/stat : 21015 (bsolo) R 21013 21015 5438 0 -1 4202496 493843 0 0 0 179613 157 0 0 20 0 1 0 337242459 2021543936 491094 33554432000 134512640 137136520 4286914496 4286913424 134544157 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/21015/statm: 493541 491094 197 641 0 492897 0
Current children cumulated CPU time (s) 1797.7
Current children cumulated vsize (KiB) 1974164
[startup+1798.51 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 21080
/proc/meminfo: memFree=23416252/32873624 swapFree=7112/7112
[pid=21015] ppid=21013 vsize=1974164 CPUtime=1797.91 cores=1,3,5,7
/proc/21015/stat : 21015 (bsolo) R 21013 21015 5438 0 -1 4202496 493843 0 0 0 179634 157 0 0 20 0 1 0 337242459 2021543936 491094 33554432000 134512640 137136520 4286914496 4286913392 134543865 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/21015/statm: 493541 491094 197 641 0 492897 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 1974164
Child status: 0
Real time (s): 1798.59
CPU time (s): 1798.01
CPU user time (s): 1796.42
CPU system time (s): 1.58576
CPU usage (%): 99.9675
Max. virtual memory (cumulated for all children) (KiB): 1974652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.42
system time used= 1.58576
maximum resident set size= 1964864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 493845
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= 500
involuntary context switches= 3101
runsolver used 3.44848 second user time and 12.1172 second system time
The end