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-3741026-1338766346/watcher-3741026-1338766346 -o /tmp/evaluation-result-3741026-1338766346/solver-3741026-1338766346 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3741026-1338766346.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.02 2.01 2.00 3/176 5711
/proc/meminfo: memFree=27607604/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=60628 CPUtime=0 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 348 0 0 0 0 0 0 0 20 0 1 0 342760156 62083072 301 33554432000 134512640 137136520 4288817712 4288815912 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 15157 301 190 641 0 2089 0
[startup+0.028658 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 5711
/proc/meminfo: memFree=27607604/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=61716 CPUtime=0.02 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 696 0 0 0 2 0 0 0 20 0 1 0 342760156 63197184 649 33554432000 134512640 137136520 4288817712 4288815912 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 15429 650 271 641 0 2361 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 61716
[startup+0.100212 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 5711
/proc/meminfo: memFree=27607604/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=65132 CPUtime=0.09 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 1820 0 0 0 9 0 0 0 20 0 1 0 342760156 66695168 1773 33554432000 134512640 137136520 4288817712 4288816120 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 16283 1773 544 641 0 3215 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 65132
[startup+0.300198 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 5711
/proc/meminfo: memFree=27607604/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=73728 CPUtime=0.28 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 4680 0 0 0 28 0 0 0 20 0 1 0 342760156 75497472 4633 33554432000 134512640 137136520 4288817712 4288816240 134517592 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 18432 4634 1257 641 0 5364 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 73728
[startup+0.700186 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 5711
/proc/meminfo: memFree=27607604/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=90848 CPUtime=0.69 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 10367 0 0 0 68 1 0 0 20 0 1 0 342760156 93028352 10320 33554432000 134512640 137136520 4288817712 4288815912 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 22712 10320 2678 641 0 9644 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 90848
[startup+1.50019 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 5712
/proc/meminfo: memFree=27564452/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=123120 CPUtime=1.49 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 21348 0 0 0 146 3 0 0 20 0 1 0 342760156 126074880 21261 33554432000 134512640 137136520 4288817712 4288815944 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 30780 21262 5568 641 0 17712 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 123120
[startup+3.10018 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 5712
/proc/meminfo: memFree=27522292/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=181760 CPUtime=3.09 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 41339 0 0 0 303 6 0 0 20 0 1 0 342760156 186122240 41173 33554432000 134512640 137136520 4288817712 4288816240 134517592 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 45440 41174 10847 641 0 32372 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 181760
[startup+6.3003 s]
/proc/loadavg: 2.10 2.03 2.01 3/177 5712
/proc/meminfo: memFree=27336720/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=281608 CPUtime=6.29 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 80413 0 0 0 613 16 0 0 20 0 1 0 342760156 288366592 67728 33554432000 134512640 137136520 4288817712 4288235276 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 70402 67728 191 641 0 69758 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 281608
[startup+12.7002 s]
/proc/loadavg: 2.09 2.03 2.00 3/177 5712
/proc/meminfo: memFree=27336248/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=281608 CPUtime=12.69 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 80419 0 0 0 1247 22 0 0 20 0 1 0 342760156 288366592 67734 33554432000 134512640 137136520 4288817712 4288235276 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 70402 67734 191 641 0 69758 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 281608
[startup+25.5003 s]
/proc/loadavg: 2.14 2.04 2.01 3/177 5712
/proc/meminfo: memFree=27336248/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=281608 CPUtime=25.48 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 80440 0 0 0 2519 29 0 0 20 0 1 0 342760156 288366592 67742 33554432000 134512640 137136520 4288817712 4288235276 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 70402 67742 191 641 0 69758 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 281608
[startup+51.1002 s]
/proc/loadavg: 2.09 2.04 2.01 3/177 5712
/proc/meminfo: memFree=27334948/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=281740 CPUtime=51.07 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 80452 0 0 0 5067 40 0 0 20 0 1 0 342760156 288501760 67753 33554432000 134512640 137136520 4288817712 4288235276 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 70435 67753 191 641 0 69791 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 281740
[startup+102.307 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 5713
/proc/meminfo: memFree=27321352/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=281740 CPUtime=102.27 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 80469 0 0 0 10168 59 0 0 20 0 1 0 342760156 288501760 67768 33554432000 134512640 137136520 4288817712 4288235276 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 70435 67768 191 641 0 69791 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 281740
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 5713
/proc/meminfo: memFree=27287780/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=281740 CPUtime=162.25 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 80496 0 0 0 16147 78 0 0 20 0 1 0 342760156 288501760 67783 33554432000 134512640 137136520 4288817712 4288235276 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 70435 67783 191 641 0 69791 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 281740
[startup+222.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 5713
/proc/meminfo: memFree=27260556/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=272668 CPUtime=222.24 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 95632 0 0 0 22085 139 0 0 20 0 1 0 342760156 279212032 65725 33554432000 134512640 137136520 4288817712 4288816480 134573554 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 68167 65725 197 641 0 67523 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 272668
[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 5713
/proc/meminfo: memFree=27165328/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=361844 CPUtime=282.23 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 117927 0 0 0 28073 150 0 0 20 0 1 0 342760156 370528256 88020 33554432000 134512640 137136520 4288817712 4288816640 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 90461 88020 197 641 0 89817 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 361844
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 5713
/proc/meminfo: memFree=27112292/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=409716 CPUtime=342.22 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 129895 0 0 0 34067 155 0 0 20 0 1 0 342760156 419549184 99988 33554432000 134512640 137136520 4288817712 4288816640 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 102429 99988 197 641 0 101785 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 409716
[startup+402.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/176 5713
/proc/meminfo: memFree=27066408/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=453100 CPUtime=402.21 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 140741 0 0 0 40063 158 0 0 20 0 1 0 342760156 463974400 110834 33554432000 134512640 137136520 4288817712 4288816632 135982492 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 113275 110834 197 641 0 112631 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 453100
[startup+462.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/178 5717
/proc/meminfo: memFree=27022848/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=492652 CPUtime=462.2 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 150629 0 0 0 46056 164 0 0 20 0 1 0 342760156 504475648 120722 33554432000 134512640 137136520 4288817712 4288816640 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 123163 120722 197 641 0 122519 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 492652
[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 5717
/proc/meminfo: memFree=26972120/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=539008 CPUtime=522.19 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 162226 0 0 0 52049 170 0 0 20 0 1 0 342760156 551944192 132311 33554432000 134512640 137136520 4288817712 4288816828 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 134752 132311 197 641 0 134108 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 539008
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 5717
/proc/meminfo: memFree=26899980/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=605100 CPUtime=582.14 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 178795 0 0 0 58039 175 0 0 20 0 1 0 342760156 619622400 148834 33554432000 134512640 137136520 4288817712 4288816828 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 151275 148834 197 641 0 150631 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 605100
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26691200/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=837648 CPUtime=1061.93 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 237127 0 0 0 105981 212 0 0 20 0 1 0 342760156 857751552 206971 33554432000 134512640 137136520 4288817712 4288816640 134544505 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 209412 206971 197 641 0 208768 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 837648
[startup+1122.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 5818
/proc/meminfo: memFree=26665432/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=862892 CPUtime=1121.92 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 243440 0 0 0 111978 214 0 0 20 0 1 0 342760156 883601408 213284 33554432000 134512640 137136520 4288817712 4288816640 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 215723 213284 197 641 0 215079 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 862892
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 5818
/proc/meminfo: memFree=26636172/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=894972 CPUtime=1181.91 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 251457 0 0 0 117974 217 0 0 20 0 1 0 342760156 916451328 221301 33554432000 134512640 137136520 4288817712 4288812680 136502385 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 223743 221301 197 641 0 223099 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 894972
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 5818
/proc/meminfo: memFree=26574792/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=920320 CPUtime=1241.9 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 257795 0 0 0 123972 218 0 0 20 0 1 0 342760156 942407680 227639 33554432000 134512640 137136520 4288817712 4288816640 134543927 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 230080 227639 197 641 0 229436 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 920320
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5818
/proc/meminfo: memFree=26502996/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=938484 CPUtime=1301.9 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 262336 0 0 0 129970 220 0 0 20 0 1 0 342760156 961007616 232180 33554432000 134512640 137136520 4288817712 4288816828 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 234621 232180 197 641 0 233977 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 938484
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5819
/proc/meminfo: memFree=26435100/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=957580 CPUtime=1361.88 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 267113 0 0 0 135967 221 0 0 20 0 1 0 342760156 980561920 236954 33554432000 134512640 137136520 4288817712 4288816640 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 239395 236954 197 641 0 238751 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 957580
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5819
/proc/meminfo: memFree=26380568/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=973964 CPUtime=1421.85 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 271255 0 0 0 141962 223 0 0 20 0 1 0 342760156 997339136 241049 33554432000 134512640 137136520 4288817712 4288816640 134543819 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 243491 241049 197 641 0 242847 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 973964
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5819
/proc/meminfo: memFree=26331120/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=993972 CPUtime=1481.81 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 276306 0 0 0 147957 224 0 0 20 0 1 0 342760156 1017827328 246052 33554432000 134512640 137136520 4288817712 4288816640 134543927 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 248493 246052 197 641 0 247849 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 993972
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5819
/proc/meminfo: memFree=26260728/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=1016048 CPUtime=1541.77 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 281866 0 0 0 153952 225 0 0 20 0 1 0 342760156 1040433152 251578 33554432000 134512640 137136520 4288817712 4288816640 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 254012 251578 197 641 0 253368 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 1016048
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5819
/proc/meminfo: memFree=26197768/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=1036264 CPUtime=1601.77 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 286912 0 0 0 159950 227 0 0 20 0 1 0 342760156 1061134336 256624 33554432000 134512640 137136520 4288817712 4288816632 135982486 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 259066 256624 197 641 0 258422 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1036264
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5823
/proc/meminfo: memFree=26141700/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=1057640 CPUtime=1661.75 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 292257 0 0 0 165947 228 0 0 20 0 1 0 342760156 1083023360 261969 33554432000 134512640 137136520 4288817712 4288816640 134544157 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 264410 261969 197 641 0 263766 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 1057640
[startup+1722.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 5846
/proc/meminfo: memFree=26102312/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=1079408 CPUtime=1721.74 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 297699 0 0 0 171945 229 0 0 20 0 1 0 342760156 1105313792 267411 33554432000 134512640 137136520 4288817712 4288816640 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 269852 267411 197 641 0 269208 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 1079408
[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 5846
/proc/meminfo: memFree=26052616/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=1102544 CPUtime=1781.73 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 303483 0 0 0 177942 231 0 0 20 0 1 0 342760156 1129005056 273195 33554432000 134512640 137136520 4288817712 4288816412 136518911 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 275636 273195 197 641 0 274992 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 1102544
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 5846
/proc/meminfo: memFree=26046276/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=1105944 CPUtime=1791.34 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 304333 0 0 0 178903 231 0 0 20 0 1 0 342760156 1132486656 274045 33554432000 134512640 137136520 4288817712 4288816480 134573541 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 276486 274045 197 641 0 275842 0
Current children cumulated CPU time (s) 1791.34
Current children cumulated vsize (KiB) 1105944
[startup+1795.1 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 5846
/proc/meminfo: memFree=26044044/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=1107120 CPUtime=1794.54 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 304627 0 0 0 179223 231 0 0 20 0 1 0 342760156 1133690880 274339 33554432000 134512640 137136520 4288817712 4288816640 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 276780 274339 197 641 0 276136 0
Current children cumulated CPU time (s) 1794.54
Current children cumulated vsize (KiB) 1107120
[startup+1796.7 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 5846
/proc/meminfo: memFree=26043036/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=1107988 CPUtime=1796.13 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 304844 0 0 0 179382 231 0 0 20 0 1 0 342760156 1134579712 274556 33554432000 134512640 137136520 4288817712 4288816640 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 276997 274556 197 641 0 276353 0
Current children cumulated CPU time (s) 1796.13
Current children cumulated vsize (KiB) 1107988
[startup+1797.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 5846
/proc/meminfo: memFree=26042540/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=1108376 CPUtime=1796.93 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 304941 0 0 0 179462 231 0 0 20 0 1 0 342760156 1134977024 274653 33554432000 134512640 137136520 4288817712 4288816424 136502216 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 277094 274653 197 641 0 276450 0
Current children cumulated CPU time (s) 1796.93
Current children cumulated vsize (KiB) 1108376
[startup+1798.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 5846
/proc/meminfo: memFree=26042540/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=1108376 CPUtime=1797.73 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 304941 0 0 0 179542 231 0 0 20 0 1 0 342760156 1134977024 274653 33554432000 134512640 137136520 4288817712 4288816640 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 277094 274653 197 641 0 276450 0
Current children cumulated CPU time (s) 1797.73
Current children cumulated vsize (KiB) 1108376
[startup+1798.51 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 5846
/proc/meminfo: memFree=26041796/32873648 swapFree=7116/7116
[pid=5711] ppid=5709 vsize=1108376 CPUtime=1797.94 cores=1,3,5,7
/proc/5711/stat : 5711 (bsolo) R 5709 5711 5461 0 -1 4202496 304941 0 0 0 179563 231 0 0 20 0 1 0 342760156 1134977024 274653 33554432000 134512640 137136520 4288817712 4288816640 134543957 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5711/statm: 277094 274653 197 641 0 276450 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 1108376
Child status: 0
Real time (s): 1798.59
CPU time (s): 1798.03
CPU user time (s): 1795.7
CPU system time (s): 2.32765
CPU usage (%): 99.969
Max. virtual memory (cumulated for all children) (KiB): 1108376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.7
system time used= 2.32765
maximum resident set size= 1098612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 304942
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= 412
involuntary context switches= 1843
runsolver used 3.36449 second user time and 9.1806 second system time
The end