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-3731913-1338701173/watcher-3731913-1338701173 -o /tmp/evaluation-result-3731913-1338701173/solver-3731913-1338701173 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3731913-1338701173.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.05 2.01 2.00 3/174 18471
/proc/meminfo: memFree=25882924/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=11132 CPUtime=0 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 346 0 0 0 0 0 0 0 20 0 1 0 336242788 11399168 299 33554432000 134512640 137136520 4286963536 4286961784 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 2783 299 189 641 0 2089 0
[startup+0.029741 s]
/proc/loadavg: 2.05 2.01 2.00 3/174 18471
/proc/meminfo: memFree=25882924/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=11996 CPUtime=0.02 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 668 0 0 0 2 0 0 0 20 0 1 0 336242788 12283904 571 33554432000 134512640 137136520 4286963536 4286955564 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 2999 571 191 641 0 2355 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11996
[startup+0.100269 s]
/proc/loadavg: 2.05 2.01 2.00 3/174 18471
/proc/meminfo: memFree=25882924/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=12132 CPUtime=0.09 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 733 0 0 0 9 0 0 0 20 0 1 0 336242788 12423168 609 33554432000 134512640 137136520 4286963536 4286962652 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 3033 609 197 641 0 2389 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12132
[startup+0.300234 s]
/proc/loadavg: 2.05 2.01 2.00 3/174 18471
/proc/meminfo: memFree=25882924/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=13524 CPUtime=0.29 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 1057 0 0 0 29 0 0 0 20 0 1 0 336242788 13848576 933 33554432000 134512640 137136520 4286963536 4286962652 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 3381 933 198 641 0 2737 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13524
[startup+0.700236 s]
/proc/loadavg: 2.05 2.01 2.00 3/174 18471
/proc/meminfo: memFree=25882924/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=15020 CPUtime=0.69 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 1454 0 0 0 69 0 0 0 20 0 1 0 336242788 15380480 1330 33554432000 134512640 137136520 4286963536 4286962464 134543957 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 3755 1330 198 641 0 3111 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15020
[startup+1.50024 s]
/proc/loadavg: 2.05 2.01 2.00 3/175 18472
/proc/meminfo: memFree=25872172/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=17672 CPUtime=1.48 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 2108 0 0 0 148 0 0 0 20 0 1 0 336242788 18096128 1984 33554432000 134512640 137136520 4286963536 4286962464 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 4418 1984 198 641 0 3774 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 17672
[startup+3.10024 s]
/proc/loadavg: 2.05 2.01 2.00 3/175 18472
/proc/meminfo: memFree=25862996/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=21164 CPUtime=3.09 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 2989 0 0 0 307 2 0 0 20 0 1 0 336242788 21671936 2865 33554432000 134512640 137136520 4286963536 4286962652 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 5291 2865 198 641 0 4647 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21164
[startup+6.30025 s]
/proc/loadavg: 2.05 2.01 2.00 3/175 18472
/proc/meminfo: memFree=25842784/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=27112 CPUtime=6.29 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 4478 0 0 0 627 2 0 0 20 0 1 0 336242788 27762688 4354 33554432000 134512640 137136520 4286963536 4286962652 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 6778 4354 198 641 0 6134 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27112
[startup+12.7003 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 18472
/proc/meminfo: memFree=25805752/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=37712 CPUtime=12.68 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 7128 0 0 0 1265 3 0 0 20 0 1 0 336242788 38617088 7004 33554432000 134512640 137136520 4286963536 4286962652 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 9428 7004 198 641 0 8784 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 37712
[startup+25.5003 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 18472
/proc/meminfo: memFree=25755936/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=51708 CPUtime=25.48 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 10640 0 0 0 2542 6 0 0 20 0 1 0 336242788 52948992 10508 33554432000 134512640 137136520 4286963536 4286962464 134543927 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 12927 10508 198 641 0 12283 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 51708
[startup+51.1003 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 18472
/proc/meminfo: memFree=25705684/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=70924 CPUtime=51.06 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 15435 0 0 0 5097 9 0 0 20 0 1 0 336242788 72626176 15783 33554432000 134512640 137136520 4286963536 4286962464 134544472 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 17731 15783 198 641 0 17087 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 70924
[startup+102.306 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 18472
/proc/meminfo: memFree=25611316/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=100560 CPUtime=102.26 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 22847 0 0 0 10210 16 0 0 20 0 1 0 336242788 102973440 23195 33554432000 134512640 137136520 4286963536 4286962464 134544157 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 25140 23195 198 641 0 24496 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 100560
[startup+162.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 18472
/proc/meminfo: memFree=25517352/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=129612 CPUtime=162.24 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 30114 0 0 0 16202 22 0 0 20 0 1 0 336242788 132722688 30462 33554432000 134512640 137136520 4286963536 4286962464 134544145 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 32403 30462 198 641 0 31759 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 129612
[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 18472
/proc/meminfo: memFree=25443724/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=150224 CPUtime=222.23 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 35275 0 0 0 22198 25 0 0 20 0 1 0 336242788 153829376 35623 33554432000 134512640 137136520 4286963536 4286962464 134544408 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 37556 35623 198 641 0 36912 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 150224
[startup+282.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 18475
/proc/meminfo: memFree=25384304/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=155280 CPUtime=282.23 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 36643 0 0 0 28194 29 0 0 20 0 1 0 336242788 159006720 36901 33554432000 134512640 137136520 4286963536 4286962464 134544112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 38820 36901 198 641 0 38176 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 155280
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 18476
/proc/meminfo: memFree=25351788/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=155280 CPUtime=342.19 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 36661 0 0 0 34188 31 0 0 20 0 1 0 336242788 159006720 36901 33554432000 134512640 137136520 4286963536 4286962464 134544703 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 38820 36901 198 641 0 38176 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 155280
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 18476
/proc/meminfo: memFree=25311628/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=155724 CPUtime=402.17 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 36763 0 0 0 40182 35 0 0 20 0 1 0 336242788 159461376 36980 33554432000 134512640 137136520 4286963536 4286962464 134543852 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 38931 36980 198 641 0 38287 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 155724
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 18476
/proc/meminfo: memFree=25288440/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=155724 CPUtime=462.15 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 36763 0 0 0 46177 38 0 0 20 0 1 0 336242788 159461376 36980 33554432000 134512640 137136520 4286963536 4286962292 136500587 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 38931 36980 198 641 0 38287 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 155724
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 18477
/proc/meminfo: memFree=25262152/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=155724 CPUtime=522.15 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 36763 0 0 0 52173 42 0 0 20 0 1 0 336242788 159461376 36980 33554432000 134512640 137136520 4286963536 4286962464 134543957 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 38931 36980 198 641 0 38287 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 155724
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 18477
/proc/meminfo: memFree=25240956/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=155724 CPUtime=582.14 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 36763 0 0 0 58168 46 0 0 20 0 1 0 336242788 159461376 36980 33554432000 134512640 137136520 4286963536 4286962464 134544393 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 38931 36980 198 641 0 38287 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 155724
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=24980192/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=195116 CPUtime=1062.05 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 46735 0 0 0 106137 68 0 0 20 0 1 0 336242788 199798784 46842 33554432000 134512640 137136520 4286963536 4286962464 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 48779 46842 198 641 0 48135 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 195116
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 18482
/proc/meminfo: memFree=24935180/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=203980 CPUtime=1122.04 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 49074 0 0 0 112132 72 0 0 20 0 1 0 336242788 208875520 49073 33554432000 134512640 137136520 4286963536 4286962652 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 50995 49073 198 641 0 50351 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 203980
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 18482
/proc/meminfo: memFree=24912612/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=203980 CPUtime=1182.03 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 49074 0 0 0 118128 75 0 0 20 0 1 0 336242788 208875520 49073 33554432000 134512640 137136520 4286963536 4286962464 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 50995 49073 198 641 0 50351 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 203980
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 18483
/proc/meminfo: memFree=24877272/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=203980 CPUtime=1242.02 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 49074 0 0 0 124125 77 0 0 20 0 1 0 336242788 208875520 49073 33554432000 134512640 137136520 4286963536 4286962652 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 50995 49073 198 641 0 50351 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 203980
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 18483
/proc/meminfo: memFree=24845060/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=203980 CPUtime=1302.02 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 49074 0 0 0 130123 79 0 0 20 0 1 0 336242788 208875520 49073 33554432000 134512640 137136520 4286963536 4286962652 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 50995 49073 198 641 0 50351 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 203980
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 18483
/proc/meminfo: memFree=24818552/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=203980 CPUtime=1362 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 49074 0 0 0 136120 80 0 0 20 0 1 0 336242788 208875520 49073 33554432000 134512640 137136520 4286963536 4286962464 134543933 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 50995 49073 198 641 0 50351 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 203980
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 18483
/proc/meminfo: memFree=24792948/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=203992 CPUtime=1422 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 49077 0 0 0 142118 82 0 0 20 0 1 0 336242788 208887808 49076 33554432000 134512640 137136520 4286963536 4286962464 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 50998 49076 198 641 0 50354 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 203992
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 18486
/proc/meminfo: memFree=24763676/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=204024 CPUtime=1481.99 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 49204 0 0 0 148115 84 0 0 20 0 1 0 336242788 208920576 49084 33554432000 134512640 137136520 4286963536 4286962464 134543951 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 51006 49084 198 641 0 50362 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 204024
[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 18487
/proc/meminfo: memFree=24741092/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=204024 CPUtime=1541.96 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 49216 0 0 0 154109 87 0 0 20 0 1 0 336242788 208920576 49084 33554432000 134512640 137136520 4286963536 4286962464 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 51006 49084 198 641 0 50362 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 204024
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 18487
/proc/meminfo: memFree=24721376/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=204024 CPUtime=1601.96 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 49216 0 0 0 160107 89 0 0 20 0 1 0 336242788 208920576 49084 33554432000 134512640 137136520 4286963536 4286962464 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 51006 49084 198 641 0 50362 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 204024
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 18487
/proc/meminfo: memFree=24698436/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=204024 CPUtime=1661.95 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 49216 0 0 0 166104 91 0 0 20 0 1 0 336242788 208920576 49084 33554432000 134512640 137136520 4286963536 4286962464 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 51006 49084 198 641 0 50362 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 204024
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 18487
/proc/meminfo: memFree=24676116/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=204024 CPUtime=1721.93 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 49216 0 0 0 172100 93 0 0 20 0 1 0 336242788 208920576 49084 33554432000 134512640 137136520 4286963536 4286962464 134544157 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 51006 49084 198 641 0 50362 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 204024
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 18487
/proc/meminfo: memFree=24652060/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=204024 CPUtime=1781.93 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 49216 0 0 0 178098 95 0 0 20 0 1 0 336242788 208920576 49084 33554432000 134512640 137136520 4286963536 4286962464 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 51006 49084 198 641 0 50362 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 204024
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 18487
/proc/meminfo: memFree=24648588/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=204024 CPUtime=1791.53 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 49216 0 0 0 179058 95 0 0 20 0 1 0 336242788 208920576 49084 33554432000 134512640 137136520 4286963536 4286962464 134544148 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 51006 49084 198 641 0 50362 0
Current children cumulated CPU time (s) 1791.53
Current children cumulated vsize (KiB) 204024
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 18487
/proc/meminfo: memFree=24647596/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=204024 CPUtime=1794.73 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 49216 0 0 0 179378 95 0 0 20 0 1 0 336242788 208920576 49084 33554432000 134512640 137136520 4286963536 4286962652 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 51006 49084 198 641 0 50362 0
Current children cumulated CPU time (s) 1794.73
Current children cumulated vsize (KiB) 204024
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 18487
/proc/meminfo: memFree=24647100/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=204024 CPUtime=1796.32 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 49216 0 0 0 179537 95 0 0 20 0 1 0 336242788 208920576 49084 33554432000 134512640 137136520 4286963536 4286962464 134543942 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 51006 49084 198 641 0 50362 0
Current children cumulated CPU time (s) 1796.32
Current children cumulated vsize (KiB) 204024
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 18487
/proc/meminfo: memFree=24646728/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=204024 CPUtime=1797.12 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 49216 0 0 0 179617 95 0 0 20 0 1 0 336242788 208920576 49084 33554432000 134512640 137136520 4286963536 4286962464 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 51006 49084 198 641 0 50362 0
Current children cumulated CPU time (s) 1797.12
Current children cumulated vsize (KiB) 204024
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 18487
/proc/meminfo: memFree=24646728/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=204024 CPUtime=1797.52 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 49216 0 0 0 179657 95 0 0 20 0 1 0 336242788 208920576 49084 33554432000 134512640 137136520 4286963536 4286962464 134543884 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 51006 49084 198 641 0 50362 0
Current children cumulated CPU time (s) 1797.52
Current children cumulated vsize (KiB) 204024
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 18487
/proc/meminfo: memFree=24646728/32873852 swapFree=6856/6856
[pid=18471] ppid=18469 vsize=204024 CPUtime=1797.93 cores=0,2,4,6
/proc/18471/stat : 18471 (bsolo) R 18469 18471 4583 0 -1 4202496 49216 0 0 0 179697 96 0 0 20 0 1 0 336242788 208920576 49084 33554432000 134512640 137136520 4286963536 4286962128 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/18471/statm: 51006 49084 198 641 0 50362 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 204024
Child status: 0
Real time (s): 1798.39
CPU time (s): 1798.02
CPU user time (s): 1797.06
CPU system time (s): 0.962853
CPU usage (%): 99.9797
Max. virtual memory (cumulated for all children) (KiB): 204500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.06
system time used= 0.962853
maximum resident set size= 196812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49218
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= 94
involuntary context switches= 1871
runsolver used 2.71959 second user time and 7.09592 second system time
The end