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-3739599-1338742989/watcher-3739599-1338742989 -o /tmp/evaluation-result-3739599-1338742989/solver-3739599-1338742989 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3739599-1338742989.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.98 2.02 2.00 3/178 18827
/proc/meminfo: memFree=28973420/32873844 swapFree=7620/7620
[pid=18827] ppid=18825 vsize=14852 CPUtime=0 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 13121 0 -1 4202496 411 0 0 0 0 0 0 0 20 0 1 0 340423671 15208448 365 33554432000 134512640 137136520 4288196592 4288194824 136502025 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18827/statm: 3713 366 191 641 0 2164 0
[startup+0.0331151 s]
/proc/loadavg: 1.98 2.02 2.00 3/178 18827
/proc/meminfo: memFree=28973420/32873844 swapFree=7620/7620
[pid=18827] ppid=18825 vsize=17244 CPUtime=0.03 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 13121 0 -1 4202496 1108 0 0 0 3 0 0 0 20 0 1 0 340423671 17657856 1062 33554432000 134512640 137136520 4288196592 4288194872 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18827/statm: 4311 1062 288 641 0 2762 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 17244
[startup+0.100235 s]
/proc/loadavg: 1.98 2.02 2.00 3/178 18827
/proc/meminfo: memFree=28973420/32873844 swapFree=7620/7620
[pid=18827] ppid=18825 vsize=20816 CPUtime=0.09 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 13121 0 -1 4202496 2211 0 0 0 9 0 0 0 20 0 1 0 340423671 21315584 2165 33554432000 134512640 137136520 4288196592 4288194840 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18827/statm: 5204 2167 514 641 0 3655 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20816
[startup+0.300261 s]
/proc/loadavg: 1.98 2.02 2.00 3/178 18827
/proc/meminfo: memFree=28973420/32873844 swapFree=7620/7620
[pid=18827] ppid=18825 vsize=26420 CPUtime=0.29 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 13121 0 -1 4202496 5140 0 0 0 28 1 0 0 20 0 1 0 340423671 27054080 4149 33554432000 134512640 137136520 4288196592 4288195616 134549146 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18827/statm: 6605 4149 184 641 0 5961 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26420
[startup+0.700252 s]
/proc/loadavg: 1.98 2.02 2.00 3/178 18827
/proc/meminfo: memFree=28973420/32873844 swapFree=7620/7620
[pid=18827] ppid=18825 vsize=36276 CPUtime=0.69 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 13121 0 -1 4202496 7641 0 0 0 68 1 0 0 20 0 1 0 340423671 37146624 6485 33554432000 134512640 137136520 4288196592 4287742256 134545039 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18827/statm: 9069 6485 189 641 0 8425 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36276
[startup+1.50026 s]
/proc/loadavg: 1.98 2.02 2.00 3/179 18828
/proc/meminfo: memFree=28947488/32873844 swapFree=7620/7620
[pid=18827] ppid=18825 vsize=36408 CPUtime=1.49 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 13121 0 -1 4202496 7687 0 0 0 148 1 0 0 20 0 1 0 340423671 37281792 6531 33554432000 134512640 137136520 4288196592 4287742304 134563861 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18827/statm: 9102 6531 189 641 0 8458 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36408
[startup+3.10023 s]
/proc/loadavg: 1.98 2.02 2.00 3/179 18828
/proc/meminfo: memFree=28946744/32873844 swapFree=7620/7620
[pid=18827] ppid=18825 vsize=36408 CPUtime=3.08 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 13121 0 -1 4202496 7690 0 0 0 307 1 0 0 20 0 1 0 340423671 37281792 6534 33554432000 134512640 137136520 4288196592 4287741864 136501961 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18827/statm: 9102 6534 189 641 0 8458 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 36408
[startup+6.3002 s]
/proc/loadavg: 1.99 2.02 2.00 3/179 18828
/proc/meminfo: memFree=28945504/32873844 swapFree=7620/7620
[pid=18827] ppid=18825 vsize=36408 CPUtime=6.29 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 13121 0 -1 4202496 7692 0 0 0 627 2 0 0 20 0 1 0 340423671 37281792 6536 33554432000 134512640 137136520 4288196592 4287742268 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18827/statm: 9102 6536 189 641 0 8458 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36408
[startup+12.7002 s]
/proc/loadavg: 2.07 2.04 2.01 3/179 18828
/proc/meminfo: memFree=28942716/32873844 swapFree=7620/7620
[pid=18827] ppid=18825 vsize=36672 CPUtime=12.68 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 13121 0 -1 4202496 7777 0 0 0 1266 2 0 0 20 0 1 0 340423671 37552128 6621 33554432000 134512640 137136520 4288196592 4287742304 134563194 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18827/statm: 9168 6621 189 641 0 8524 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 36672
[startup+25.5003 s]
/proc/loadavg: 2.05 2.04 2.00 4/179 18876
/proc/meminfo: memFree=29065956/32873844 swapFree=7620/7620
[pid=18827] ppid=18825 vsize=37052 CPUtime=25.48 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 13121 0 -1 4202496 8389 0 0 0 2541 7 0 0 20 0 1 0 340423671 37941248 6713 33554432000 134512640 137136520 4288196592 4288195520 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18827/statm: 9263 6713 198 641 0 8619 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 37052
[startup+51.1003 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 18876
/proc/meminfo: memFree=29047020/32873844 swapFree=7620/7620
[pid=18827] ppid=18825 vsize=51288 CPUtime=51.08 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 13121 0 -1 4202496 11963 0 0 0 5098 10 0 0 20 0 1 0 340423671 52518912 10764 33554432000 134512640 137136520 4288196592 4288195360 134573436 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18827/statm: 12822 10764 198 641 0 12178 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 51288
[startup+102.307 s]
/proc/loadavg: 2.11 2.05 2.01 3/179 18876
/proc/meminfo: memFree=28938772/32873844 swapFree=7620/7620
[pid=18827] ppid=18825 vsize=105404 CPUtime=102.27 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 13121 0 -1 4202496 26049 0 0 0 10212 15 0 0 20 0 1 0 340423671 107933696 24297 33554432000 134512640 137136520 4288196592 4288195708 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18827/statm: 26351 24297 198 641 0 25707 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 105404
[startup+162.3 s]
/proc/loadavg: 2.10 2.06 2.01 4/179 18876
/proc/meminfo: memFree=28844112/32873844 swapFree=7620/7620
[pid=18827] ppid=18825 vsize=147324 CPUtime=162.23 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 13121 0 -1 4202496 36647 0 0 0 16201 22 0 0 20 0 1 0 340423671 150859776 34777 33554432000 134512640 137136520 4288196592 4288195520 134543819 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18827/statm: 36831 34777 198 641 0 36187 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 147324
[startup+222.3 s]
/proc/loadavg: 2.04 2.05 2.00 4/179 18876
/proc/meminfo: memFree=28737128/32873844 swapFree=7620/7620
[pid=18827] ppid=18825 vsize=208192 CPUtime=222.19 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 13121 0 -1 4202496 51924 0 0 0 22190 29 0 0 20 0 1 0 340423671 213188608 50006 33554432000 134512640 137136520 4288196592 4288195520 134544245 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18827/statm: 52048 50006 198 641 0 51404 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 208192
[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.00 4/179 18877
/proc/meminfo: memFree=28642300/32873844 swapFree=7620/7620
[pid=18827] ppid=18825 vsize=255168 CPUtime=282.16 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 13121 0 -1 4202496 63671 0 0 0 28182 34 0 0 20 0 1 0 340423671 261292032 61738 33554432000 134512640 137136520 4288196592 4288195232 134606742 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18827/statm: 63792 61738 198 641 0 63148 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 255168
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.00 4/179 18877
/proc/meminfo: memFree=28547304/32873844 swapFree=7620/7620
[pid=18827] ppid=18825 vsize=304624 CPUtime=342.16 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 13121 0 -1 4202496 76035 0 0 0 34175 41 0 0 20 0 1 0 340423671 311934976 74102 33554432000 134512640 137136520 4288196592 4288195232 134606742 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18827/statm: 76156 74102 198 641 0 75512 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 304624
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 18877
/proc/meminfo: memFree=28470576/32873844 swapFree=7620/7620
[pid=18827] ppid=18825 vsize=338596 CPUtime=402.14 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 13121 0 -1 4202496 84530 0 0 0 40169 45 0 0 20 0 1 0 340423671 346722304 82597 33554432000 134512640 137136520 4288196592 4288195520 134544148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18827/statm: 84649 82597 198 641 0 84005 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 338596
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/180 18880
/proc/meminfo: memFree=28410084/32873844 swapFree=7620/7620
[pid=18827] ppid=18825 vsize=362460 CPUtime=462.13 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 13121 0 -1 4202496 90494 0 0 0 46164 49 0 0 20 0 1 0 340423671 371159040 88561 33554432000 134512640 137136520 4288196592 4288195520 134543819 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18827/statm: 90615 88561 198 641 0 89971 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 362460
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/179 18880
/proc/meminfo: memFree=28344172/32873844 swapFree=7620/7620
[pid=18827] ppid=18825 vsize=384672 CPUtime=522.13 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 13121 0 -1 4202496 96046 0 0 0 52159 54 0 0 20 0 1 0 340423671 393904128 94113 33554432000 134512640 137136520 4288196592 4288195520 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18827/statm: 96168 94113 198 641 0 95524 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 384672
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 18880
/proc/meminfo: memFree=28283296/32873844 swapFree=7620/7620
[pid=18827] ppid=18825 vsize=404216 CPUtime=582.12 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 13121 0 -1 4202496 100933 0 0 0 58155 57 0 0 20 0 1 0 340423671 413917184 99000 33554432000 134512640 137136520 4288196592 4288195520 134543819 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18827/statm: 101054 99000 198 641 0 100410 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 404216
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27787256/32873844 swapFree=7620/7620
[pid=18827] ppid=18825 vsize=622748 CPUtime=1061.96 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 13121 0 -1 4202496 155684 0 0 0 106108 88 0 0 20 0 1 0 340423671 637693952 153636 33554432000 134512640 137136520 4288196592 4288195520 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18827/statm: 155687 153636 198 641 0 155043 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 622748
[startup+1122.3 s]
/proc/loadavg: 2.02 2.02 2.00 4/179 18885
/proc/meminfo: memFree=27723184/32873844 swapFree=7620/7620
[pid=18827] ppid=18825 vsize=650160 CPUtime=1121.95 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 13121 0 -1 4202496 162534 0 0 0 112102 93 0 0 20 0 1 0 340423671 665763840 160486 33554432000 134512640 137136520 4288196592 4288195708 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18827/statm: 162540 160486 198 641 0 161896 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 650160
[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 4/179 18885
/proc/meminfo: memFree=27658980/32873844 swapFree=7620/7620
[pid=18827] ppid=18825 vsize=671936 CPUtime=1181.94 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 13121 0 -1 4202496 167978 0 0 0 118098 96 0 0 20 0 1 0 340423671 688062464 165930 33554432000 134512640 137136520 4288196592 4288195520 134543819 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18827/statm: 167984 165930 198 641 0 167340 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 671936
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/179 18886
/proc/meminfo: memFree=27597876/32873844 swapFree=7620/7620
[pid=18827] ppid=18825 vsize=692820 CPUtime=1241.93 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 13121 0 -1 4202496 173228 0 0 0 124095 98 0 0 20 0 1 0 340423671 709447680 171180 33554432000 134512640 137136520 4288196592 4288195520 134544411 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18827/statm: 173205 171180 198 641 0 172561 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 692820
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 18886
/proc/meminfo: memFree=27558292/32873844 swapFree=7620/7620
[pid=18827] ppid=18825 vsize=714224 CPUtime=1301.94 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 13121 0 -1 4202496 178550 0 0 0 130093 101 0 0 20 0 1 0 340423671 731365376 176502 33554432000 134512640 137136520 4288196592 4288195512 135982492 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18827/statm: 178556 176502 198 641 0 177912 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 714224
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 18886
/proc/meminfo: memFree=27523880/32873844 swapFree=7620/7620
[pid=18827] ppid=18825 vsize=734228 CPUtime=1361.92 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 13121 0 -1 4202496 183573 0 0 0 136089 103 0 0 20 0 1 0 340423671 751849472 181525 33554432000 134512640 137136520 4288196592 4288195520 134543846 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18827/statm: 183557 181525 198 641 0 182913 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 734228
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18886
/proc/meminfo: memFree=27503544/32873844 swapFree=7620/7620
[pid=18827] ppid=18825 vsize=754568 CPUtime=1421.91 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 13121 0 -1 4202496 188639 0 0 0 142086 105 0 0 20 0 1 0 340423671 772677632 186591 33554432000 134512640 137136520 4288196592 4288195452 136518985 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18827/statm: 188642 186591 198 641 0 187998 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 754568
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 18886
/proc/meminfo: memFree=27481720/32873844 swapFree=7620/7620
[pid=18827] ppid=18825 vsize=777148 CPUtime=1481.9 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 13121 0 -1 4202496 194281 0 0 0 148082 108 0 0 20 0 1 0 340423671 795799552 192233 33554432000 134512640 137136520 4288196592 4288195520 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18827/statm: 194287 192233 198 641 0 193643 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 777148
[startup+1542.3 s]
/proc/loadavg: 2.07 2.03 2.01 4/179 18887
/proc/meminfo: memFree=27458408/32873844 swapFree=7620/7620
[pid=18827] ppid=18825 vsize=799768 CPUtime=1541.89 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 13121 0 -1 4202496 199941 0 0 0 154079 110 0 0 20 0 1 0 340423671 818962432 197893 33554432000 134512640 137136520 4288196592 4288195520 134544393 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18827/statm: 199942 197893 198 641 0 199298 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 799768
[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.00 4/179 18887
/proc/meminfo: memFree=27435336/32873844 swapFree=7620/7620
[pid=18827] ppid=18825 vsize=822908 CPUtime=1601.88 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 13121 0 -1 4202496 205725 0 0 0 160076 112 0 0 20 0 1 0 340423671 842657792 203673 33554432000 134512640 137136520 4288196592 4288195184 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18827/statm: 205727 203673 198 641 0 205083 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 822908
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 4/180 18890
/proc/meminfo: memFree=27419732/32873844 swapFree=7620/7620
[pid=18827] ppid=18825 vsize=838504 CPUtime=1661.83 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 13121 0 -1 4202496 209670 0 0 0 166069 114 0 0 20 0 1 0 340423671 858628096 207572 33554432000 134512640 137136520 4288196592 4288195520 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18827/statm: 209626 207572 198 641 0 208982 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 838504
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 18890
/proc/meminfo: memFree=27408608/32873844 swapFree=7620/7620
[pid=18827] ppid=18825 vsize=849380 CPUtime=1721.79 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 13121 0 -1 4202496 212431 0 0 0 172062 117 0 0 20 0 1 0 340423671 869765120 210291 33554432000 134512640 137136520 4288196592 4288195304 136502195 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18827/statm: 212345 210291 198 641 0 211701 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 849380
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 18890
/proc/meminfo: memFree=27396856/32873844 swapFree=7620/7620
[pid=18827] ppid=18825 vsize=861200 CPUtime=1781.75 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 13121 0 -1 4202496 215427 0 0 0 178056 119 0 0 20 0 1 0 340423671 881868800 213246 33554432000 134512640 137136520 4288196592 4288195708 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18827/statm: 215300 213246 198 641 0 214656 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 861200
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18890
/proc/meminfo: memFree=27394360/32873844 swapFree=7620/7620
[pid=18827] ppid=18825 vsize=863344 CPUtime=1791.36 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 13121 0 -1 4202496 215971 0 0 0 179016 120 0 0 20 0 1 0 340423671 884064256 213782 33554432000 134512640 137136520 4288196592 4288195436 136499605 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18827/statm: 215836 213782 198 641 0 215192 0
Current children cumulated CPU time (s) 1791.36
Current children cumulated vsize (KiB) 863344
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 18890
/proc/meminfo: memFree=27393864/32873844 swapFree=7620/7620
[pid=18827] ppid=18825 vsize=864004 CPUtime=1794.56 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 13121 0 -1 4202496 216136 0 0 0 179336 120 0 0 20 0 1 0 340423671 884740096 213947 33554432000 134512640 137136520 4288196592 4288195520 134543760 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18827/statm: 216001 213947 198 641 0 215357 0
Current children cumulated CPU time (s) 1794.56
Current children cumulated vsize (KiB) 864004
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 18890
/proc/meminfo: memFree=27393616/32873844 swapFree=7620/7620
[pid=18827] ppid=18825 vsize=864324 CPUtime=1796.15 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 13121 0 -1 4202496 216216 0 0 0 179495 120 0 0 20 0 1 0 340423671 885067776 214027 33554432000 134512640 137136520 4288196592 4288195520 134543819 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18827/statm: 216081 214027 198 641 0 215437 0
Current children cumulated CPU time (s) 1796.15
Current children cumulated vsize (KiB) 864324
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 18890
/proc/meminfo: memFree=27393368/32873844 swapFree=7620/7620
[pid=18827] ppid=18825 vsize=864324 CPUtime=1796.95 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 13121 0 -1 4202496 216216 0 0 0 179575 120 0 0 20 0 1 0 340423671 885067776 214027 33554432000 134512640 137136520 4288196592 4288195360 134573507 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18827/statm: 216081 214027 198 641 0 215437 0
Current children cumulated CPU time (s) 1796.95
Current children cumulated vsize (KiB) 864324
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 18890
/proc/meminfo: memFree=27393368/32873844 swapFree=7620/7620
[pid=18827] ppid=18825 vsize=864636 CPUtime=1797.75 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 13121 0 -1 4202496 216294 0 0 0 179655 120 0 0 20 0 1 0 340423671 885387264 214105 33554432000 134512640 137136520 4288196592 4288195444 136499601 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18827/statm: 216159 214105 198 641 0 215515 0
Current children cumulated CPU time (s) 1797.75
Current children cumulated vsize (KiB) 864636
[startup+1798.51 s]
/proc/loadavg: 2.00 2.00 2.00 4/179 18890
/proc/meminfo: memFree=27392996/32873844 swapFree=7620/7620
[pid=18827] ppid=18825 vsize=864636 CPUtime=1797.96 cores=1,3,5,7
/proc/18827/stat : 18827 (bsolo) R 18825 18827 13121 0 -1 4202496 216294 0 0 0 179676 120 0 0 20 0 1 0 340423671 885387264 214105 33554432000 134512640 137136520 4288196592 4288195168 136294911 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18827/statm: 216159 214105 198 641 0 215515 0
Current children cumulated CPU time (s) 1797.96
Current children cumulated vsize (KiB) 864636
Child status: 0
Real time (s): 1798.57
CPU time (s): 1798.03
CPU user time (s): 1796.81
CPU system time (s): 1.21781
CPU usage (%): 99.97
Max. virtual memory (cumulated for all children) (KiB): 864636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.81
system time used= 1.21781
maximum resident set size= 856420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 216295
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= 355
involuntary context switches= 1837
runsolver used 2.96855 second user time and 8.48271 second system time
The end