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-3742102-1338780920/watcher-3742102-1338780920 -o /tmp/evaluation-result-3742102-1338780920/solver-3742102-1338780920 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3742102-1338780920.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.01 2.00 3/176 6992
/proc/meminfo: memFree=26844036/32873648 swapFree=7116/7116
[pid=6992] ppid=6990 vsize=11440 CPUtime=0 cores=0,2,4,6
/proc/6992/stat : 6992 (bsolo) R 6990 6992 5461 0 -1 4202496 379 0 0 0 0 0 0 0 20 0 1 0 344217494 11714560 333 33554432000 134512640 137136520 4293632368 4293630776 136504651 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6992/statm: 2860 334 187 641 0 2124 0
[startup+0.00789995 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 6992
/proc/meminfo: memFree=26844036/32873648 swapFree=7116/7116
[pid=6992] ppid=6990 vsize=11576 CPUtime=0 cores=0,2,4,6
/proc/6992/stat : 6992 (bsolo) R 6990 6992 5461 0 -1 4202496 409 0 0 0 0 0 0 0 20 0 1 0 344217494 11853824 363 33554432000 134512640 137136520 4293632368 4293630600 136504651 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6992/statm: 2894 363 193 641 0 2158 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11576
[startup+0.10013 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 6992
/proc/meminfo: memFree=26844036/32873648 swapFree=7116/7116
[pid=6992] ppid=6990 vsize=12912 CPUtime=0.09 cores=0,2,4,6
/proc/6992/stat : 6992 (bsolo) R 6990 6992 5461 0 -1 4202496 904 0 0 0 9 0 0 0 20 0 1 0 344217494 13221888 766 33554432000 134512640 137136520 4293632368 4293560892 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6992/statm: 3228 766 189 641 0 2584 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12912
[startup+0.300104 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 6992
/proc/meminfo: memFree=26844036/32873648 swapFree=7116/7116
[pid=6992] ppid=6990 vsize=12912 CPUtime=0.29 cores=0,2,4,6
/proc/6992/stat : 6992 (bsolo) R 6990 6992 5461 0 -1 4202496 905 0 0 0 29 0 0 0 20 0 1 0 344217494 13221888 767 33554432000 134512640 137136520 4293632368 4293560892 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6992/statm: 3228 767 189 641 0 2584 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12912
[startup+0.700096 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 6992
/proc/meminfo: memFree=26844036/32873648 swapFree=7116/7116
[pid=6992] ppid=6990 vsize=12912 CPUtime=0.69 cores=0,2,4,6
/proc/6992/stat : 6992 (bsolo) R 6990 6992 5461 0 -1 4202496 905 0 0 0 69 0 0 0 20 0 1 0 344217494 13221888 767 33554432000 134512640 137136520 4293632368 4293560892 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6992/statm: 3228 767 189 641 0 2584 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12912
[startup+1.5001 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 6993
/proc/meminfo: memFree=26840944/32873648 swapFree=7116/7116
[pid=6992] ppid=6990 vsize=13968 CPUtime=1.49 cores=0,2,4,6
/proc/6992/stat : 6992 (bsolo) R 6990 6992 5461 0 -1 4202496 1287 0 0 0 148 1 0 0 20 0 1 0 344217494 14303232 1060 33554432000 134512640 137136520 4293632368 4293631484 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6992/statm: 3492 1060 198 641 0 2848 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13968
[startup+3.1001 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 6993
/proc/meminfo: memFree=26837884/32873648 swapFree=7116/7116
[pid=6992] ppid=6990 vsize=18844 CPUtime=3.09 cores=0,2,4,6
/proc/6992/stat : 6992 (bsolo) R 6990 6992 5461 0 -1 4202496 2515 0 0 0 305 4 0 0 20 0 1 0 344217494 19296256 2288 33554432000 134512640 137136520 4293632368 4293631484 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6992/statm: 4711 2288 198 641 0 4067 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18844
[startup+6.30025 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 6993
/proc/meminfo: memFree=26825856/32873648 swapFree=7116/7116
[pid=6992] ppid=6990 vsize=27588 CPUtime=6.29 cores=0,2,4,6
/proc/6992/stat : 6992 (bsolo) R 6990 6992 5461 0 -1 4202496 4700 0 0 0 619 10 0 0 20 0 1 0 344217494 28250112 4473 33554432000 134512640 137136520 4293632368 4293631484 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6992/statm: 6897 4473 198 641 0 6253 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27588
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 6993
/proc/meminfo: memFree=26801344/32873648 swapFree=7116/7116
[pid=6992] ppid=6990 vsize=45600 CPUtime=12.69 cores=0,2,4,6
/proc/6992/stat : 6992 (bsolo) R 6990 6992 5461 0 -1 4202496 9209 0 0 0 1253 16 0 0 20 0 1 0 344217494 46694400 8982 33554432000 134512640 137136520 4293632368 4293631296 134544402 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6992/statm: 11400 8982 198 641 0 10756 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 45600
[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 6993
/proc/meminfo: memFree=26747920/32873648 swapFree=7116/7116
[pid=6992] ppid=6990 vsize=89312 CPUtime=25.48 cores=0,2,4,6
/proc/6992/stat : 6992 (bsolo) R 6990 6992 5461 0 -1 4202496 20158 0 0 0 2526 22 0 0 20 0 1 0 344217494 91455488 19899 33554432000 134512640 137136520 4293632368 4293631484 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6992/statm: 22328 19899 198 641 0 21684 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 89312
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6993
/proc/meminfo: memFree=26684756/32873648 swapFree=7116/7116
[pid=6992] ppid=6990 vsize=138344 CPUtime=51.08 cores=0,2,4,6
/proc/6992/stat : 6992 (bsolo) R 6990 6992 5461 0 -1 4202496 32436 0 0 0 5073 35 0 0 20 0 1 0 344217494 141664256 32160 33554432000 134512640 137136520 4293632368 4293631472 134545039 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6992/statm: 34586 32160 198 641 0 33942 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 138344
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6993
/proc/meminfo: memFree=26532528/32873648 swapFree=7116/7116
[pid=6992] ppid=6990 vsize=246920 CPUtime=102.28 cores=0,2,4,6
/proc/6992/stat : 6992 (bsolo) R 6990 6992 5461 0 -1 4202496 59726 0 0 0 10183 45 0 0 20 0 1 0 344217494 252846080 59309 33554432000 134512640 137136520 4293632368 4293631296 134543865 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6992/statm: 61730 59309 198 641 0 61086 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 246920
[startup+162.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 6993
/proc/meminfo: memFree=26410664/32873648 swapFree=7116/7116
[pid=6992] ppid=6990 vsize=327356 CPUtime=162.26 cores=0,2,4,6
/proc/6992/stat : 6992 (bsolo) R 6990 6992 5461 0 -1 4202496 79866 0 0 0 16170 56 0 0 20 0 1 0 344217494 335212544 79425 33554432000 134512640 137136520 4293632368 4293631288 135982525 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6992/statm: 81839 79425 198 641 0 81195 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 327356
[startup+222.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 6994
/proc/meminfo: memFree=26279252/32873648 swapFree=7116/7116
[pid=6992] ppid=6990 vsize=417892 CPUtime=222.26 cores=0,2,4,6
/proc/6992/stat : 6992 (bsolo) R 6990 6992 5461 0 -1 4202496 102556 0 0 0 22158 68 0 0 20 0 1 0 344217494 427921408 102053 33554432000 134512640 137136520 4293632368 4293630988 134616725 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6992/statm: 104473 102053 198 641 0 103829 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 417892
[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 6997
/proc/meminfo: memFree=26171332/32873648 swapFree=7116/7116
[pid=6992] ppid=6990 vsize=490596 CPUtime=282.25 cores=0,2,4,6
/proc/6992/stat : 6992 (bsolo) R 6990 6992 5461 0 -1 4202496 120762 0 0 0 28149 76 0 0 20 0 1 0 344217494 502370304 120230 33554432000 134512640 137136520 4293632368 4293630960 134616694 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6992/statm: 122649 120230 198 641 0 122005 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 490596
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 6997
/proc/meminfo: memFree=26078428/32873648 swapFree=7116/7116
[pid=6992] ppid=6990 vsize=538964 CPUtime=342.24 cores=0,2,4,6
/proc/6992/stat : 6992 (bsolo) R 6990 6992 5461 0 -1 4202496 132960 0 0 0 34138 86 0 0 20 0 1 0 344217494 551899136 132318 33554432000 134512640 137136520 4293632368 4293631296 134544140 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6992/statm: 134741 132318 198 641 0 134097 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 538964
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6997
/proc/meminfo: memFree=25983472/32873648 swapFree=7116/7116
[pid=6992] ppid=6990 vsize=589528 CPUtime=402.23 cores=0,2,4,6
/proc/6992/stat : 6992 (bsolo) R 6990 6992 5461 0 -1 4202496 145661 0 0 0 40128 95 0 0 20 0 1 0 344217494 603676672 144967 33554432000 134512640 137136520 4293632368 4293631296 134544112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6992/statm: 147382 144967 198 641 0 146738 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 589528
[startup+462.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 6997
/proc/meminfo: memFree=25895336/32873648 swapFree=7116/7116
[pid=6992] ppid=6990 vsize=641980 CPUtime=462.22 cores=0,2,4,6
/proc/6992/stat : 6992 (bsolo) R 6990 6992 5461 0 -1 4202496 158853 0 0 0 46121 101 0 0 20 0 1 0 344217494 657387520 158078 33554432000 134512640 137136520 4293632368 4293630960 134616694 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6992/statm: 160495 158078 198 641 0 159851 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 641980
[startup+522.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 6998
/proc/meminfo: memFree=25795544/32873648 swapFree=7116/7116
[pid=6992] ppid=6990 vsize=709456 CPUtime=522.21 cores=0,2,4,6
/proc/6992/stat : 6992 (bsolo) R 6990 6992 5461 0 -1 4202496 175821 0 0 0 52114 107 0 0 20 0 1 0 344217494 726482944 174939 33554432000 134512640 137136520 4293632368 4293631296 134543951 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6992/statm: 177364 174939 198 641 0 176720 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 709456
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6998
/proc/meminfo: memFree=25704184/32873648 swapFree=7116/7116
[pid=6992] ppid=6990 vsize=762836 CPUtime=582.2 cores=0,2,4,6
/proc/6992/stat : 6992 (bsolo) R 6990 6992 5461 0 -1 4202496 189217 0 0 0 58107 113 0 0 20 0 1 0 344217494 781144064 188294 33554432000 134512640 137136520 4293632368 4293631296 134543865 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6992/statm: 190709 188294 198 641 0 190065 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 762836
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26409788/32873648 swapFree=7116/7116
[pid=6992] ppid=6990 vsize=1165728 CPUtime=1122.04 cores=0,2,4,6
/proc/6992/stat : 6992 (bsolo) R 6990 6992 5461 0 -1 4202496 291450 0 0 0 112044 160 0 0 20 0 1 0 344217494 1193705472 289025 33554432000 134512640 137136520 4293632368 4293626784 134600722 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6992/statm: 291432 289025 198 641 0 290788 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 1165728
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7051
/proc/meminfo: memFree=26295992/32873648 swapFree=7116/7116
[pid=6992] ppid=6990 vsize=1203300 CPUtime=1182.01 cores=0,2,4,6
/proc/6992/stat : 6992 (bsolo) R 6990 6992 5461 0 -1 4202496 300894 0 0 0 118036 165 0 0 20 0 1 0 344217494 1232179200 298421 33554432000 134512640 137136520 4293632368 4293631472 134545045 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6992/statm: 300825 298421 198 641 0 300181 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 1203300
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7051
/proc/meminfo: memFree=26179588/32873648 swapFree=7116/7116
[pid=6992] ppid=6990 vsize=1240596 CPUtime=1241.97 cores=0,2,4,6
/proc/6992/stat : 6992 (bsolo) R 6990 6992 5461 0 -1 4202496 310297 0 0 0 124028 169 0 0 20 0 1 0 344217494 1270370304 307729 33554432000 134512640 137136520 4293632368 4293631296 134543927 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6992/statm: 310149 307729 198 641 0 309505 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 1240596
[startup+1302.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 7051
/proc/meminfo: memFree=26071864/32873648 swapFree=7116/7116
[pid=6992] ppid=6990 vsize=1278564 CPUtime=1301.94 cores=0,2,4,6
/proc/6992/stat : 6992 (bsolo) R 6990 6992 5461 0 -1 4202496 320164 0 0 0 130021 173 0 0 20 0 1 0 344217494 1309249536 317227 33554432000 134512640 137136520 4293632368 4293631296 134543933 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6992/statm: 319641 317227 198 641 0 318997 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1278564
[startup+1362.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 7051
/proc/meminfo: memFree=25969840/32873648 swapFree=7116/7116
[pid=6992] ppid=6990 vsize=1321180 CPUtime=1361.89 cores=0,2,4,6
/proc/6992/stat : 6992 (bsolo) R 6990 6992 5461 0 -1 4202496 332021 0 0 0 136012 177 0 0 20 0 1 0 344217494 1352888320 327876 33554432000 134512640 137136520 4293632368 4293631296 134543927 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6992/statm: 330295 327876 198 641 0 329651 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1321180
[startup+1422.31 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 7052
/proc/meminfo: memFree=25876248/32873648 swapFree=7116/7116
[pid=6992] ppid=6990 vsize=1361260 CPUtime=1421.87 cores=0,2,4,6
/proc/6992/stat : 6992 (bsolo) R 6990 6992 5461 0 -1 4202496 342696 0 0 0 142006 181 0 0 20 0 1 0 344217494 1393930240 337884 33554432000 134512640 137136520 4293632368 4293631296 134544112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6992/statm: 340315 337884 198 641 0 339671 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1361260
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 7055
/proc/meminfo: memFree=25778756/32873648 swapFree=7116/7116
[pid=6992] ppid=6990 vsize=1398492 CPUtime=1481.82 cores=0,2,4,6
/proc/6992/stat : 6992 (bsolo) R 6990 6992 5461 0 -1 4202496 352347 0 0 0 147997 185 0 0 20 0 1 0 344217494 1432055808 347219 33554432000 134512640 137136520 4293632368 4293631296 134544135 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6992/statm: 349623 347219 198 641 0 348979 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1398492
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 7078
/proc/meminfo: memFree=25686404/32873648 swapFree=7116/7116
[pid=6992] ppid=6990 vsize=1435844 CPUtime=1541.79 cores=0,2,4,6
/proc/6992/stat : 6992 (bsolo) R 6990 6992 5461 0 -1 4202496 361854 0 0 0 153989 190 0 0 20 0 1 0 344217494 1470304256 356540 33554432000 134512640 137136520 4293632368 4293631296 134544112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6992/statm: 358961 356540 198 641 0 358317 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 1435844
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7078
/proc/meminfo: memFree=25590428/32873648 swapFree=7116/7116
[pid=6992] ppid=6990 vsize=1469168 CPUtime=1601.77 cores=0,2,4,6
/proc/6992/stat : 6992 (bsolo) R 6990 6992 5461 0 -1 4202496 370254 0 0 0 159983 194 0 0 20 0 1 0 344217494 1504428032 364887 33554432000 134512640 137136520 4293632368 4293631296 134543933 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6992/statm: 367292 364887 198 641 0 366648 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1469168
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7078
/proc/meminfo: memFree=25502056/32873648 swapFree=7116/7116
[pid=6992] ppid=6990 vsize=1503912 CPUtime=1661.75 cores=0,2,4,6
/proc/6992/stat : 6992 (bsolo) R 6990 6992 5461 0 -1 4202496 379022 0 0 0 165976 199 0 0 20 0 1 0 344217494 1540005888 373572 33554432000 134512640 137136520 4293632368 4293631280 136294911 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6992/statm: 375978 373572 198 641 0 375334 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 1503912
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7079
/proc/meminfo: memFree=25428604/32873648 swapFree=7116/7116
[pid=6992] ppid=6990 vsize=1534400 CPUtime=1721.72 cores=0,2,4,6
/proc/6992/stat : 6992 (bsolo) R 6990 6992 5461 0 -1 4202496 386687 0 0 0 171970 202 0 0 20 0 1 0 344217494 1571225600 381185 33554432000 134512640 137136520 4293632368 4293631296 134544148 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6992/statm: 383600 381185 198 641 0 382956 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 1534400
[startup+1782.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 7079
/proc/meminfo: memFree=25349768/32873648 swapFree=7116/7116
[pid=6992] ppid=6990 vsize=1567512 CPUtime=1781.69 cores=0,2,4,6
/proc/6992/stat : 6992 (bsolo) R 6990 6992 5461 0 -1 4202496 394995 0 0 0 177963 206 0 0 20 0 1 0 344217494 1605132288 389454 33554432000 134512640 137136520 4293632368 4293631280 136294929 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6992/statm: 391878 389454 198 641 0 391234 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 1567512
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 7079
/proc/meminfo: memFree=25334624/32873648 swapFree=7116/7116
[pid=6992] ppid=6990 vsize=1574460 CPUtime=1791.29 cores=0,2,4,6
/proc/6992/stat : 6992 (bsolo) R 6990 6992 5461 0 -1 4202496 396761 0 0 0 178923 206 0 0 20 0 1 0 344217494 1612247040 391200 33554432000 134512640 137136520 4293632368 4293631296 134543965 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6992/statm: 393615 391200 198 641 0 392971 0
Current children cumulated CPU time (s) 1791.29
Current children cumulated vsize (KiB) 1574460
[startup+1795.1 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 7079
/proc/meminfo: memFree=25330780/32873648 swapFree=7116/7116
[pid=6992] ppid=6990 vsize=1576220 CPUtime=1794.5 cores=0,2,4,6
/proc/6992/stat : 6992 (bsolo) R 6990 6992 5461 0 -1 4202496 397184 0 0 0 179243 207 0 0 20 0 1 0 344217494 1614049280 391623 33554432000 134512640 137136520 4293632368 4293631296 134543957 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6992/statm: 394055 391623 198 641 0 393411 0
Current children cumulated CPU time (s) 1794.5
Current children cumulated vsize (KiB) 1576220
[startup+1796.7 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 7079
/proc/meminfo: memFree=25329664/32873648 swapFree=7116/7116
[pid=6992] ppid=6990 vsize=1577168 CPUtime=1796.09 cores=0,2,4,6
/proc/6992/stat : 6992 (bsolo) R 6990 6992 5461 0 -1 4202496 397435 0 0 0 179402 207 0 0 20 0 1 0 344217494 1615020032 391874 33554432000 134512640 137136520 4293632368 4293631296 134544604 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6992/statm: 394292 391874 198 641 0 393648 0
Current children cumulated CPU time (s) 1796.09
Current children cumulated vsize (KiB) 1577168
[startup+1797.5 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 7079
/proc/meminfo: memFree=25328672/32873648 swapFree=7116/7116
[pid=6992] ppid=6990 vsize=1577580 CPUtime=1796.89 cores=0,2,4,6
/proc/6992/stat : 6992 (bsolo) R 6990 6992 5461 0 -1 4202496 397542 0 0 0 179482 207 0 0 20 0 1 0 344217494 1615441920 391981 33554432000 134512640 137136520 4293632368 4293631296 134544112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6992/statm: 394395 391981 198 641 0 393751 0
Current children cumulated CPU time (s) 1796.89
Current children cumulated vsize (KiB) 1577580
[startup+1798.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 7079
/proc/meminfo: memFree=25328672/32873648 swapFree=7116/7116
[pid=6992] ppid=6990 vsize=1578264 CPUtime=1797.69 cores=0,2,4,6
/proc/6992/stat : 6992 (bsolo) R 6990 6992 5461 0 -1 4202496 397724 0 0 0 179562 207 0 0 20 0 1 0 344217494 1616142336 392156 33554432000 134512640 137136520 4293632368 4293631264 134543881 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6992/statm: 394566 392156 198 641 0 393922 0
Current children cumulated CPU time (s) 1797.69
Current children cumulated vsize (KiB) 1578264
[startup+1798.51 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 7079
/proc/meminfo: memFree=25326796/32873648 swapFree=7116/7116
[pid=6992] ppid=6990 vsize=1578548 CPUtime=1797.89 cores=0,2,4,6
/proc/6992/stat : 6992 (bsolo) R 6990 6992 5461 0 -1 4202496 397793 0 0 0 179582 207 0 0 20 0 1 0 344217494 1616433152 392225 33554432000 134512640 137136520 4293632368 4293631484 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6992/statm: 394637 392225 198 641 0 393993 0
Current children cumulated CPU time (s) 1797.89
Current children cumulated vsize (KiB) 1578548
[startup+1798.6 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 7079
/proc/meminfo: memFree=25326796/32873648 swapFree=7116/7116
[pid=6992] ppid=6990 vsize=1578548 CPUtime=1797.98 cores=0,2,4,6
/proc/6992/stat : 6992 (bsolo) R 6990 6992 5461 0 -1 4202496 397799 0 0 0 179591 207 0 0 20 0 1 0 344217494 1616433152 392231 33554432000 134512640 137136520 4293632368 4293631296 134544384 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/6992/statm: 394637 392231 198 641 0 393993 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 1578548
Child status: 0
Real time (s): 1798.67
CPU time (s): 1798.06
CPU user time (s): 1795.97
CPU system time (s): 2.08968
CPU usage (%): 99.9662
Max. virtual memory (cumulated for all children) (KiB): 1578548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.97
system time used= 2.08968
maximum resident set size= 1568924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 397800
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= 588
involuntary context switches= 1908
runsolver used 2.71159 second user time and 7.10392 second system time
The end