runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3462810-1307183251/watcher-3462810-1307183251 -o /tmp/evaluation-result-3462810-1307183251/solver-3462810-1307183251 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462810-1307183251.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.04 2.05 2.01 2/535 26700
/proc/meminfo: memFree=28957464/32951124 swapFree=58212616/67111528
[pid=26700] ppid=26698 vsize=13816 CPUtime=0.01 cores=0,2,4,6
/proc/26700/stat : 26700 (bsolo) R 26698 26700 23781 0 -1 4202496 812 0 0 0 1 0 0 0 25 0 1 0 829923117 14147584 767 33554432000 134512640 137138936 4287343888 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26700/statm: 3454 768 193 642 0 2569 0
[startup+0.0571809 s]
/proc/loadavg: 2.04 2.05 2.01 2/535 26700
/proc/meminfo: memFree=28957464/32951124 swapFree=58212616/67111528
[pid=26700] ppid=26698 vsize=19196 CPUtime=0.05 cores=0,2,4,6
/proc/26700/stat : 26700 (bsolo) R 26698 26700 23781 0 -1 4202496 2220 0 0 0 5 0 0 0 25 0 1 0 829923117 19656704 2135 33554432000 134512640 137138936 4287343888 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26700/statm: 4799 2136 245 642 0 3914 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 19196
[startup+0.101175 s]
/proc/loadavg: 2.04 2.05 2.01 2/535 26700
/proc/meminfo: memFree=28957464/32951124 swapFree=58212616/67111528
[pid=26700] ppid=26698 vsize=24740 CPUtime=0.09 cores=0,2,4,6
/proc/26700/stat : 26700 (bsolo) R 26698 26700 23781 0 -1 4202496 3736 0 0 0 9 0 0 0 25 0 1 0 829923117 25333760 3572 33554432000 134512640 137138936 4287343888 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26700/statm: 6185 3573 304 642 0 5300 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24740
[startup+0.30114 s]
/proc/loadavg: 2.04 2.05 2.01 2/535 26700
/proc/meminfo: memFree=28957464/32951124 swapFree=58212616/67111528
[pid=26700] ppid=26698 vsize=51604 CPUtime=0.29 cores=0,2,4,6
/proc/26700/stat : 26700 (bsolo) R 26698 26700 23781 0 -1 4202496 10640 0 0 0 28 1 0 0 25 0 1 0 829923117 52842496 10186 33554432000 134512640 137138936 4287343888 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26700/statm: 12901 10186 185 642 0 12257 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 51604
[startup+0.70107 s]
/proc/loadavg: 2.04 2.05 2.01 2/535 26700
/proc/meminfo: memFree=28957464/32951124 swapFree=58212616/67111528
[pid=26700] ppid=26698 vsize=52396 CPUtime=0.69 cores=0,2,4,6
/proc/26700/stat : 26700 (bsolo) R 26698 26700 23781 0 -1 4202496 10849 0 0 0 68 1 0 0 25 0 1 0 829923117 53653504 10395 33554432000 134512640 137138936 4287343888 18446744073709551615 134566117 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26700/statm: 13099 10395 185 642 0 12455 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52396
[startup+1.50093 s]
/proc/loadavg: 2.04 2.05 2.01 3/536 26701
/proc/meminfo: memFree=28915792/32951124 swapFree=58212616/67111528
[pid=26700] ppid=26698 vsize=52396 CPUtime=1.49 cores=0,2,4,6
/proc/26700/stat : 26700 (bsolo) R 26698 26700 23781 0 -1 4202496 10854 0 0 0 148 1 0 0 25 0 1 0 829923117 53653504 10400 33554432000 134512640 137138936 4287343888 18446744073709551615 134542017 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26700/statm: 13099 10400 185 642 0 12455 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 52396
[startup+3.10065 s]
/proc/loadavg: 2.04 2.05 2.01 3/536 26701
/proc/meminfo: memFree=28914052/32951124 swapFree=58212616/67111528
[pid=26700] ppid=26698 vsize=52396 CPUtime=3.09 cores=0,2,4,6
/proc/26700/stat : 26700 (bsolo) R 26698 26700 23781 0 -1 4202496 10854 0 0 0 308 1 0 0 25 0 1 0 829923117 53653504 10400 33554432000 134512640 137138936 4287343888 18446744073709551615 134566395 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26700/statm: 13099 10400 185 642 0 12455 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 52396
[startup+6.30109 s]
/proc/loadavg: 2.04 2.05 2.01 3/536 26701
/proc/meminfo: memFree=28914380/32951124 swapFree=58212616/67111528
[pid=26700] ppid=26698 vsize=52396 CPUtime=6.29 cores=0,2,4,6
/proc/26700/stat : 26700 (bsolo) R 26698 26700 23781 0 -1 4202496 10854 0 0 0 628 1 0 0 25 0 1 0 829923117 53653504 10400 33554432000 134512640 137138936 4287343888 18446744073709551615 134541971 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26700/statm: 13099 10400 185 642 0 12455 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 52396
[startup+12.701 s]
/proc/loadavg: 2.04 2.04 2.01 3/536 26701
/proc/meminfo: memFree=28913180/32951124 swapFree=58212616/67111528
[pid=26700] ppid=26698 vsize=52396 CPUtime=12.69 cores=0,2,4,6
/proc/26700/stat : 26700 (bsolo) R 26698 26700 23781 0 -1 4202496 10857 0 0 0 1268 1 0 0 25 0 1 0 829923117 53653504 10403 33554432000 134512640 137138936 4287343888 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26700/statm: 13099 10403 185 642 0 12455 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 52396
[startup+25.5007 s]
/proc/loadavg: 2.03 2.04 2.01 3/536 26702
/proc/meminfo: memFree=28913672/32951124 swapFree=58212616/67111528
[pid=26700] ppid=26698 vsize=52396 CPUtime=25.5 cores=0,2,4,6
/proc/26700/stat : 26700 (bsolo) R 26698 26700 23781 0 -1 4202496 10867 0 0 0 2548 2 0 0 25 0 1 0 829923117 53653504 10413 33554432000 134512640 137138936 4287343888 18446744073709551615 134566410 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26700/statm: 13099 10413 185 642 0 12455 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 52396
[startup+51.1002 s]
/proc/loadavg: 2.02 2.04 2.00 3/536 26702
/proc/meminfo: memFree=28913796/32951124 swapFree=58212616/67111528
[pid=26700] ppid=26698 vsize=52396 CPUtime=51.09 cores=0,2,4,6
/proc/26700/stat : 26700 (bsolo) R 26698 26700 23781 0 -1 4202496 10869 0 0 0 5107 2 0 0 25 0 1 0 829923117 53653504 10415 33554432000 134512640 137138936 4287343888 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26700/statm: 13099 10415 185 642 0 12455 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 52396
[startup+102.32 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 26731
/proc/meminfo: memFree=28948240/32951124 swapFree=58212616/67111528
[pid=26700] ppid=26698 vsize=52396 CPUtime=102.31 cores=0,2,4,6
/proc/26700/stat : 26700 (bsolo) R 26698 26700 23781 0 -1 4202496 10869 0 0 0 10228 3 0 0 25 0 1 0 829923117 53653504 10415 33554432000 134512640 137138936 4287343888 18446744073709551615 134543407 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26700/statm: 13099 10415 185 642 0 12455 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 52396
[startup+162.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 26732
/proc/meminfo: memFree=28893420/32951124 swapFree=58212616/67111528
[pid=26700] ppid=26698 vsize=52396 CPUtime=162.3 cores=0,2,4,6
/proc/26700/stat : 26700 (bsolo) R 26698 26700 23781 0 -1 4202496 10869 0 0 0 16225 5 0 0 25 0 1 0 829923117 53653504 10415 33554432000 134512640 137138936 4287343888 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26700/statm: 13099 10415 185 642 0 12455 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 52396
[startup+222.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 26734
/proc/meminfo: memFree=28853348/32951124 swapFree=58212616/67111528
[pid=26700] ppid=26698 vsize=66764 CPUtime=222.3 cores=0,2,4,6
/proc/26700/stat : 26700 (bsolo) R 26698 26700 23781 0 -1 4202496 463903 0 0 0 22164 66 0 0 25 0 1 0 829923117 68366336 14065 33554432000 134512640 137138936 4287343888 18446744073709551615 134572768 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26700/statm: 16691 14091 192 642 0 16047 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 66764
[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 26735
/proc/meminfo: memFree=28738620/32951124 swapFree=58212616/67111528
[pid=26700] ppid=26698 vsize=166768 CPUtime=282.3 cores=0,2,4,6
/proc/26700/stat : 26700 (bsolo) R 26698 26700 23781 0 -1 4202496 3030046 0 0 0 27918 312 0 0 25 0 1 0 829923117 170770432 39162 33554432000 134512640 137138936 4287343888 18446744073709551615 134543151 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26700/statm: 41692 39162 192 642 0 41048 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 166768
[startup+342.301 s]
/proc/loadavg: 2.19 2.05 2.01 3/536 26737
/proc/meminfo: memFree=28623032/32951124 swapFree=58212616/67111528
[pid=26700] ppid=26698 vsize=268832 CPUtime=342.3 cores=0,2,4,6
/proc/26700/stat : 26700 (bsolo) R 26698 26700 23781 0 -1 4202496 5404666 0 0 0 33683 547 0 0 25 0 1 0 829923117 275283968 64648 33554432000 134512640 137138936 4287343888 18446744073709551615 134572768 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26700/statm: 67208 64674 192 642 0 66564 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 268832
[startup+402.3 s]
/proc/loadavg: 2.18 2.07 2.02 3/536 26739
/proc/meminfo: memFree=28547124/32951124 swapFree=58212616/67111528
[pid=26700] ppid=26698 vsize=334984 CPUtime=402.3 cores=0,2,4,6
/proc/26700/stat : 26700 (bsolo) R 26698 26700 23781 0 -1 4202496 6958738 0 0 0 39514 716 0 0 25 0 1 0 829923117 343023616 81189 33554432000 134512640 137138936 4287343888 18446744073709551615 134602746 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26700/statm: 83746 81189 192 642 0 83102 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 334984
[startup+462.301 s]
/proc/loadavg: 2.07 2.06 2.01 3/536 26740
/proc/meminfo: memFree=28467996/32951124 swapFree=58212616/67111528
[pid=26700] ppid=26698 vsize=402556 CPUtime=462.3 cores=0,2,4,6
/proc/26700/stat : 26700 (bsolo) R 26698 26700 23781 0 -1 4202496 8561752 0 0 0 45337 893 0 0 25 0 1 0 829923117 412217344 98098 33554432000 134512640 137138936 4287343888 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26700/statm: 100639 98098 192 642 0 99995 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 402556
[startup+522.3 s]
/proc/loadavg: 2.02 2.04 2.01 3/536 26742
/proc/meminfo: memFree=28393700/32951124 swapFree=58212616/67111528
[pid=26700] ppid=26698 vsize=475904 CPUtime=522.3 cores=0,2,4,6
/proc/26700/stat : 26700 (bsolo) R 26698 26700 23781 0 -1 4202496 10461495 0 0 0 51140 1090 0 0 25 0 1 0 829923117 487325696 116418 33554432000 134512640 137138936 4287343888 18446744073709551615 136504086 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26700/statm: 118976 116418 192 642 0 118332 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 475904
[startup+582.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 26743
/proc/meminfo: memFree=28232216/32951124 swapFree=58212616/67111528
[pid=26700] ppid=26698 vsize=633952 CPUtime=582.31 cores=0,2,4,6
/proc/26700/stat : 26700 (bsolo) R 26698 26700 23781 0 -1 4202496 14222445 0 0 0 56810 1421 0 0 25 0 1 0 829923117 649166848 155944 33554432000 134512640 137138936 4287343888 18446744073709551615 136500766 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26700/statm: 158488 155944 192 642 0 157844 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 633952
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27793604/32951124 swapFree=58212616/67111528
[pid=26700] ppid=26698 vsize=1044188 CPUtime=1122.32 cores=0,2,4,6
/proc/26700/stat : 26700 (bsolo) R 26698 26700 23781 0 -1 4202496 23950995 0 0 0 109809 2423 0 0 25 0 1 0 829923117 1069248512 258491 33554432000 134512640 137138936 4287343888 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26700/statm: 261047 258491 192 642 0 260403 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 1044188
[startup+1182.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/536 26759
/proc/meminfo: memFree=27793568/32951124 swapFree=58212616/67111528
[pid=26700] ppid=26698 vsize=1044188 CPUtime=1182.31 cores=0,2,4,6
/proc/26700/stat : 26700 (bsolo) R 26698 26700 23781 0 -1 4202496 23950995 0 0 0 115807 2424 0 0 25 0 1 0 829923117 1069248512 258491 33554432000 134512640 137138936 4287343888 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26700/statm: 261047 258491 192 642 0 260403 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 1044188
[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 26761
/proc/meminfo: memFree=27793540/32951124 swapFree=58212616/67111528
[pid=26700] ppid=26698 vsize=1044188 CPUtime=1242.31 cores=0,2,4,6
/proc/26700/stat : 26700 (bsolo) R 26698 26700 23781 0 -1 4202496 23950995 0 0 0 121803 2428 0 0 25 0 1 0 829923117 1069248512 258491 33554432000 134512640 137138936 4287343888 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26700/statm: 261047 258491 192 642 0 260403 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 1044188
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 26763
/proc/meminfo: memFree=27793364/32951124 swapFree=58212616/67111528
[pid=26700] ppid=26698 vsize=1044188 CPUtime=1302.33 cores=0,2,4,6
/proc/26700/stat : 26700 (bsolo) R 26698 26700 23781 0 -1 4202496 23950995 0 0 0 127802 2431 0 0 25 0 1 0 829923117 1069248512 258491 33554432000 134512640 137138936 4287343888 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26700/statm: 261047 258491 192 642 0 260403 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1044188
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 26764
/proc/meminfo: memFree=27793824/32951124 swapFree=58212616/67111528
[pid=26700] ppid=26698 vsize=1044188 CPUtime=1362.32 cores=0,2,4,6
/proc/26700/stat : 26700 (bsolo) R 26698 26700 23781 0 -1 4202496 23950995 0 0 0 133797 2435 0 0 25 0 1 0 829923117 1069248512 258491 33554432000 134512640 137138936 4287343888 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26700/statm: 261047 258491 192 642 0 260403 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1044188
[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/536 26766
/proc/meminfo: memFree=27793304/32951124 swapFree=58212616/67111528
[pid=26700] ppid=26698 vsize=1044188 CPUtime=1422.34 cores=0,2,4,6
/proc/26700/stat : 26700 (bsolo) R 26698 26700 23781 0 -1 4202496 23950995 0 0 0 139796 2438 0 0 25 0 1 0 829923117 1069248512 258491 33554432000 134512640 137138936 4287343888 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26700/statm: 261047 258491 192 642 0 260403 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1044188
[startup+1482.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/536 26767
/proc/meminfo: memFree=27790292/32951124 swapFree=58212616/67111528
[pid=26700] ppid=26698 vsize=1047512 CPUtime=1482.33 cores=0,2,4,6
/proc/26700/stat : 26700 (bsolo) R 26698 26700 23781 0 -1 4202496 24018423 0 0 0 145788 2445 0 0 25 0 1 0 829923117 1072652288 259328 33554432000 134512640 137138936 4287343888 18446744073709551615 136297749 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26700/statm: 261878 259328 192 642 0 261234 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1047512
[startup+1542.3 s]
/proc/loadavg: 2.15 2.07 2.02 3/536 26769
/proc/meminfo: memFree=27790252/32951124 swapFree=58212616/67111528
[pid=26700] ppid=26698 vsize=1047512 CPUtime=1542.33 cores=0,2,4,6
/proc/26700/stat : 26700 (bsolo) R 26698 26700 23781 0 -1 4202496 24018423 0 0 0 151788 2445 0 0 25 0 1 0 829923117 1072652288 259328 33554432000 134512640 137138936 4287343888 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26700/statm: 261878 259328 192 642 0 261234 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1047512
[startup+1602.3 s]
/proc/loadavg: 2.10 2.07 2.02 3/536 26771
/proc/meminfo: memFree=27790304/32951124 swapFree=58212616/67111528
[pid=26700] ppid=26698 vsize=1047512 CPUtime=1602.33 cores=0,2,4,6
/proc/26700/stat : 26700 (bsolo) R 26698 26700 23781 0 -1 4202496 24018423 0 0 0 157787 2446 0 0 25 0 1 0 829923117 1072652288 259328 33554432000 134512640 137138936 4287343888 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26700/statm: 261878 259328 192 642 0 261234 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1047512
[startup+1662.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/536 26772
/proc/meminfo: memFree=27790392/32951124 swapFree=58212616/67111528
[pid=26700] ppid=26698 vsize=1047512 CPUtime=1662.33 cores=0,2,4,6
/proc/26700/stat : 26700 (bsolo) R 26698 26700 23781 0 -1 4202496 24018423 0 0 0 163787 2446 0 0 25 0 1 0 829923117 1072652288 259328 33554432000 134512640 137138936 4287343888 18446744073709551615 136504110 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26700/statm: 261878 259328 192 642 0 261234 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1047512
[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/536 26774
/proc/meminfo: memFree=27788132/32951124 swapFree=58212616/67111528
[pid=26700] ppid=26698 vsize=1047512 CPUtime=1722.33 cores=0,2,4,6
/proc/26700/stat : 26700 (bsolo) R 26698 26700 23781 0 -1 4202496 24018423 0 0 0 169787 2446 0 0 25 0 1 0 829923117 1072652288 259328 33554432000 134512640 137138936 4287343888 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26700/statm: 261878 259328 192 642 0 261234 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1047512
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 26775
/proc/meminfo: memFree=27779548/32951124 swapFree=58212616/67111528
[pid=26700] ppid=26698 vsize=1047512 CPUtime=1782.33 cores=0,2,4,6
/proc/26700/stat : 26700 (bsolo) R 26698 26700 23781 0 -1 4202496 24018423 0 0 0 175787 2446 0 0 25 0 1 0 829923117 1072652288 259328 33554432000 134512640 137138936 4287343888 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26700/statm: 261878 259328 192 642 0 261234 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 1047512
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 26776
/proc/meminfo: memFree=27779176/32951124 swapFree=58212616/67111528
[pid=26700] ppid=26698 vsize=1047512 CPUtime=1785.53 cores=0,2,4,6
/proc/26700/stat : 26700 (bsolo) R 26698 26700 23781 0 -1 4202496 24018423 0 0 0 176107 2446 0 0 25 0 1 0 829923117 1072652288 259328 33554432000 134512640 137138936 4287343888 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26700/statm: 261878 259328 192 642 0 261234 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 1047512
[startup+1791.92 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 26776
/proc/meminfo: memFree=27778432/32951124 swapFree=58212616/67111528
[pid=26700] ppid=26698 vsize=1047512 CPUtime=1791.95 cores=0,2,4,6
/proc/26700/stat : 26700 (bsolo) R 26698 26700 23781 0 -1 4202496 24018423 0 0 0 176749 2446 0 0 25 0 1 0 829923117 1072652288 259328 33554432000 134512640 137138936 4287343888 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26700/statm: 261878 259328 192 642 0 261234 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 1047512
[startup+1795.1 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 26776
/proc/meminfo: memFree=27778060/32951124 swapFree=58212616/67111528
[pid=26700] ppid=26698 vsize=1047512 CPUtime=1795.15 cores=0,2,4,6
/proc/26700/stat : 26700 (bsolo) R 26698 26700 23781 0 -1 4202496 24018423 0 0 0 177069 2446 0 0 25 0 1 0 829923117 1072652288 259328 33554432000 134512640 137138936 4287343888 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26700/statm: 261878 259328 192 642 0 261234 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 1047512
[startup+1796.7 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 26776
/proc/meminfo: memFree=27777936/32951124 swapFree=58212616/67111528
[pid=26700] ppid=26698 vsize=1047512 CPUtime=1796.73 cores=0,2,4,6
/proc/26700/stat : 26700 (bsolo) R 26698 26700 23781 0 -1 4202496 24018423 0 0 0 177227 2446 0 0 25 0 1 0 829923117 1072652288 259328 33554432000 134512640 137138936 4287343888 18446744073709551615 136501664 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26700/statm: 261878 259328 192 642 0 261234 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 1047512
[startup+1797.5 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 26776
/proc/meminfo: memFree=27777812/32951124 swapFree=58212616/67111528
[pid=26700] ppid=26698 vsize=1047512 CPUtime=1797.53 cores=0,2,4,6
/proc/26700/stat : 26700 (bsolo) R 26698 26700 23781 0 -1 4202496 24018423 0 0 0 177307 2446 0 0 25 0 1 0 829923117 1072652288 259328 33554432000 134512640 137138936 4287343888 18446744073709551615 134575044 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26700/statm: 261878 259328 192 642 0 261234 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 1047512
[startup+1797.9 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 26776
/proc/meminfo: memFree=27777812/32951124 swapFree=58212616/67111528
[pid=26700] ppid=26698 vsize=1047512 CPUtime=1797.93 cores=0,2,4,6
/proc/26700/stat : 26700 (bsolo) R 26698 26700 23781 0 -1 4202496 24018423 0 0 0 177347 2446 0 0 25 0 1 0 829923117 1072652288 259328 33554432000 134512640 137138936 4287343888 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26700/statm: 261878 259328 192 642 0 261234 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 1047512
[startup+1798 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 26776
/proc/meminfo: memFree=27777812/32951124 swapFree=58212616/67111528
[pid=26700] ppid=26698 vsize=0 CPUtime=1798.03 cores=0,2,4,6
/proc/26700/stat : 26700 (bsolo) R 26698 26700 23781 0 -1 4202500 24018424 0 0 0 177354 2449 0 0 25 0 1 0 829923117 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/26700/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.03
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1798.02
CPU time (s): 1798.06
CPU user time (s): 1773.55
CPU system time (s): 24.5133
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1048060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1773.55
system time used= 24.5133
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24018424
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= 5
involuntary context switches= 4081
runsolver used 9.92349 second user time and 21.2828 second system time
The end