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-3741313-1338770039/watcher-3741313-1338770039 -o /tmp/evaluation-result-3741313-1338770039/solver-3741313-1338770039 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3741313-1338770039.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.04 3/178 26971
/proc/meminfo: memFree=28906596/32873844 swapFree=7620/7620
[pid=26971] ppid=26969 vsize=11060 CPUtime=0 cores=0,2,4,6
/proc/26971/stat : 26971 (bsolo) R 26969 26971 19811 0 -1 4202496 378 0 0 0 0 0 0 0 20 0 1 0 343128642 11325440 320 33554432000 134512640 137136520 4290516944 4290513052 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26971/statm: 2765 320 190 641 0 2121 0
[startup+0.03655 s]
/proc/loadavg: 2.00 2.01 2.04 3/178 26971
/proc/meminfo: memFree=28906596/32873844 swapFree=7620/7620
[pid=26971] ppid=26969 vsize=11432 CPUtime=0.03 cores=0,2,4,6
/proc/26971/stat : 26971 (bsolo) R 26969 26971 19811 0 -1 4202496 471 0 0 0 3 0 0 0 20 0 1 0 343128642 11706368 413 33554432000 134512640 137136520 4290516944 4290515224 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26971/statm: 2858 413 196 641 0 2214 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11432
[startup+0.100252 s]
/proc/loadavg: 2.00 2.01 2.04 3/178 26971
/proc/meminfo: memFree=28906596/32873844 swapFree=7620/7620
[pid=26971] ppid=26969 vsize=12180 CPUtime=0.09 cores=0,2,4,6
/proc/26971/stat : 26971 (bsolo) R 26969 26971 19811 0 -1 4202496 671 0 0 0 9 0 0 0 20 0 1 0 343128642 12472320 613 33554432000 134512640 137136520 4290516944 4290515224 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26971/statm: 3045 613 196 641 0 2401 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12180
[startup+0.300205 s]
/proc/loadavg: 2.00 2.01 2.04 3/178 26971
/proc/meminfo: memFree=28906596/32873844 swapFree=7620/7620
[pid=26971] ppid=26969 vsize=14508 CPUtime=0.29 cores=0,2,4,6
/proc/26971/stat : 26971 (bsolo) R 26969 26971 19811 0 -1 4202496 1250 0 0 0 29 0 0 0 20 0 1 0 343128642 14856192 1192 33554432000 134512640 137136520 4290516944 4290516060 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26971/statm: 3627 1193 196 641 0 2983 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14508
[startup+0.7002 s]
/proc/loadavg: 2.00 2.01 2.04 3/178 26971
/proc/meminfo: memFree=28906596/32873844 swapFree=7620/7620
[pid=26971] ppid=26969 vsize=16724 CPUtime=0.69 cores=0,2,4,6
/proc/26971/stat : 26971 (bsolo) R 26969 26971 19811 0 -1 4202496 1811 0 0 0 69 0 0 0 20 0 1 0 343128642 17125376 1753 33554432000 134512640 137136520 4290516944 4290516060 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26971/statm: 4181 1753 196 641 0 3537 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16724
[startup+1.50024 s]
/proc/loadavg: 2.00 2.01 2.04 3/179 26972
/proc/meminfo: memFree=28888300/32873844 swapFree=7620/7620
[pid=26971] ppid=26969 vsize=17708 CPUtime=1.49 cores=0,2,4,6
/proc/26971/stat : 26971 (bsolo) R 26969 26971 19811 0 -1 4202496 2043 0 0 0 149 0 0 0 20 0 1 0 343128642 18132992 1985 33554432000 134512640 137136520 4290516944 4290515224 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26971/statm: 4427 1985 196 641 0 3783 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17708
[startup+3.1002 s]
/proc/loadavg: 2.00 2.01 2.04 3/179 26972
/proc/meminfo: memFree=28886412/32873844 swapFree=7620/7620
[pid=26971] ppid=26969 vsize=18444 CPUtime=3.08 cores=0,2,4,6
/proc/26971/stat : 26971 (bsolo) R 26969 26971 19811 0 -1 4202496 2244 0 0 0 308 0 0 0 20 0 1 0 343128642 18886656 2186 33554432000 134512640 137136520 4290516944 4290515476 134551135 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26971/statm: 4611 2186 196 641 0 3967 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 18444
[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.04 3/179 26972
/proc/meminfo: memFree=28884568/32873844 swapFree=7620/7620
[pid=26971] ppid=26969 vsize=20036 CPUtime=6.29 cores=0,2,4,6
/proc/26971/stat : 26971 (bsolo) R 26969 26971 19811 0 -1 4202496 2630 0 0 0 628 1 0 0 20 0 1 0 343128642 20516864 2572 33554432000 134512640 137136520 4290516944 4290516060 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26971/statm: 5009 2572 197 641 0 4365 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20036
[startup+12.7002 s]
/proc/loadavg: 2.08 2.03 2.04 3/179 26972
/proc/meminfo: memFree=28883192/32873844 swapFree=7620/7620
[pid=26971] ppid=26969 vsize=20032 CPUtime=12.68 cores=0,2,4,6
/proc/26971/stat : 26971 (bsolo) R 26969 26971 19811 0 -1 4202496 2634 0 0 0 1265 3 0 0 20 0 1 0 343128642 20512768 2572 33554432000 134512640 137136520 4290516944 4290516060 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26971/statm: 5008 2572 197 641 0 4364 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 20032
[startup+25.5002 s]
/proc/loadavg: 2.06 2.03 2.04 3/179 27020
/proc/meminfo: memFree=28609400/32873844 swapFree=7620/7620
[pid=26971] ppid=26969 vsize=20592 CPUtime=25.48 cores=0,2,4,6
/proc/26971/stat : 26971 (bsolo) R 26969 26971 19811 0 -1 4202496 2828 0 0 0 2540 8 0 0 20 0 1 0 343128642 21086208 2727 33554432000 134512640 137136520 4290516944 4290516060 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26971/statm: 5148 2727 197 641 0 4504 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 20592
[startup+51.1002 s]
/proc/loadavg: 2.04 2.03 2.04 3/179 27020
/proc/meminfo: memFree=28609428/32873844 swapFree=7620/7620
[pid=26971] ppid=26969 vsize=22656 CPUtime=51.08 cores=0,2,4,6
/proc/26971/stat : 26971 (bsolo) R 26969 26971 19811 0 -1 4202496 3347 0 0 0 5093 15 0 0 20 0 1 0 343128642 23199744 3242 33554432000 134512640 137136520 4290516944 4290515872 134544148 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26971/statm: 5664 3242 197 641 0 5020 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 22656
[startup+102.307 s]
/proc/loadavg: 2.02 2.02 2.03 3/179 27021
/proc/meminfo: memFree=28604876/32873844 swapFree=7620/7620
[pid=26971] ppid=26969 vsize=26352 CPUtime=102.27 cores=0,2,4,6
/proc/26971/stat : 26971 (bsolo) R 26969 26971 19811 0 -1 4202496 4254 0 0 0 10203 24 0 0 20 0 1 0 343128642 26984448 4149 33554432000 134512640 137136520 4290516944 4290516060 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26971/statm: 6588 4149 197 641 0 5944 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 26352
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/179 27021
/proc/meminfo: memFree=28603416/32873844 swapFree=7620/7620
[pid=26971] ppid=26969 vsize=27872 CPUtime=162.26 cores=0,2,4,6
/proc/26971/stat : 26971 (bsolo) R 26969 26971 19811 0 -1 4202496 4646 0 0 0 16188 38 0 0 20 0 1 0 343128642 28540928 4532 33554432000 134512640 137136520 4290516944 4290516060 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26971/statm: 6968 4532 197 641 0 6324 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 27872
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/179 27021
/proc/meminfo: memFree=28601588/32873844 swapFree=7620/7620
[pid=26971] ppid=26969 vsize=29504 CPUtime=222.24 cores=0,2,4,6
/proc/26971/stat : 26971 (bsolo) R 26969 26971 19811 0 -1 4202496 5103 0 0 0 22174 50 0 0 20 0 1 0 343128642 30212096 4953 33554432000 134512640 137136520 4290516944 4290516060 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26971/statm: 7376 4953 197 641 0 6732 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 29504
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 27021
/proc/meminfo: memFree=28601712/32873844 swapFree=7620/7620
[pid=26971] ppid=26969 vsize=29684 CPUtime=282.24 cores=0,2,4,6
/proc/26971/stat : 26971 (bsolo) R 26969 26971 19811 0 -1 4202496 5145 0 0 0 28162 62 0 0 20 0 1 0 343128642 30396416 4995 33554432000 134512640 137136520 4290516944 4290515636 136509029 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26971/statm: 7421 4995 197 641 0 6777 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 29684
[startup+342.3 s]
/proc/loadavg: 2.08 2.02 2.02 3/179 27021
/proc/meminfo: memFree=28599852/32873844 swapFree=7620/7620
[pid=26971] ppid=26969 vsize=31468 CPUtime=342.23 cores=0,2,4,6
/proc/26971/stat : 26971 (bsolo) R 26969 26971 19811 0 -1 4202496 5582 0 0 0 34148 75 0 0 20 0 1 0 343128642 32223232 5432 33554432000 134512640 137136520 4290516944 4290515868 136294896 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26971/statm: 7867 5432 197 641 0 7223 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 31468
[startup+402.3 s]
/proc/loadavg: 2.03 2.01 2.01 3/180 27025
/proc/meminfo: memFree=28561224/32873844 swapFree=7620/7620
[pid=26971] ppid=26969 vsize=31560 CPUtime=402.21 cores=0,2,4,6
/proc/26971/stat : 26971 (bsolo) R 26969 26971 19811 0 -1 4202496 5637 0 0 0 40136 85 0 0 20 0 1 0 343128642 32317440 5460 33554432000 134512640 137136520 4290516944 4290516060 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26971/statm: 7890 5460 197 641 0 7246 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 31560
[startup+462.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 27025
/proc/meminfo: memFree=28539716/32873844 swapFree=7620/7620
[pid=26971] ppid=26969 vsize=33328 CPUtime=462.21 cores=0,2,4,6
/proc/26971/stat : 26971 (bsolo) R 26969 26971 19811 0 -1 4202496 6093 0 0 0 46122 99 0 0 20 0 1 0 343128642 34127872 5890 33554432000 134512640 137136520 4290516944 4290516060 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26971/statm: 8332 5890 197 641 0 7688 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 33328
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27025
/proc/meminfo: memFree=28539716/32873844 swapFree=7620/7620
[pid=26971] ppid=26969 vsize=33344 CPUtime=522.2 cores=0,2,4,6
/proc/26971/stat : 26971 (bsolo) R 26969 26971 19811 0 -1 4202496 6122 0 0 0 52110 110 0 0 20 0 1 0 343128642 34144256 5915 33554432000 134512640 137136520 4290516944 4290516060 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26971/statm: 8336 5915 197 641 0 7692 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 33344
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27025
/proc/meminfo: memFree=28515912/32873844 swapFree=7620/7620
[pid=26971] ppid=26969 vsize=33688 CPUtime=582.19 cores=0,2,4,6
/proc/26971/stat : 26971 (bsolo) R 26969 26971 19811 0 -1 4202496 6222 0 0 0 58098 121 0 0 20 0 1 0 343128642 34496512 5991 33554432000 134512640 137136520 4290516944 4290516060 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26971/statm: 8422 5991 197 641 0 7778 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 33688
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28480640/32873844 swapFree=7620/7620
[pid=26971] ppid=26969 vsize=37940 CPUtime=1122.1 cores=0,2,4,6
/proc/26971/stat : 26971 (bsolo) R 26969 26971 19811 0 -1 4202496 7644 0 0 0 111994 216 0 0 20 0 1 0 343128642 38850560 7553 33554432000 134512640 137136520 4290516944 4290516060 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26971/statm: 9485 7553 197 641 0 8841 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 37940
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27031
/proc/meminfo: memFree=28480516/32873844 swapFree=7620/7620
[pid=26971] ppid=26969 vsize=38108 CPUtime=1182.1 cores=0,2,4,6
/proc/26971/stat : 26971 (bsolo) R 26969 26971 19811 0 -1 4202496 7699 0 0 0 117982 228 0 0 20 0 1 0 343128642 39022592 7604 33554432000 134512640 137136520 4290516944 4290516060 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26971/statm: 9527 7604 197 641 0 8883 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 38108
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27031
/proc/meminfo: memFree=28479956/32873844 swapFree=7620/7620
[pid=26971] ppid=26969 vsize=38088 CPUtime=1242.09 cores=0,2,4,6
/proc/26971/stat : 26971 (bsolo) R 26969 26971 19811 0 -1 4202496 7764 0 0 0 123973 236 0 0 20 0 1 0 343128642 39002112 7600 33554432000 134512640 137136520 4290516944 4290516060 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26971/statm: 9522 7600 197 641 0 8878 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 38088
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27032
/proc/meminfo: memFree=28479708/32873844 swapFree=7620/7620
[pid=26971] ppid=26969 vsize=38036 CPUtime=1302.08 cores=0,2,4,6
/proc/26971/stat : 26971 (bsolo) R 26969 26971 19811 0 -1 4202496 7789 0 0 0 129963 245 0 0 20 0 1 0 343128642 38948864 7587 33554432000 134512640 137136520 4290516944 4290515872 134544402 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26971/statm: 9509 7587 197 641 0 8865 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 38036
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27032
/proc/meminfo: memFree=28479832/32873844 swapFree=7620/7620
[pid=26971] ppid=26969 vsize=38016 CPUtime=1362.07 cores=0,2,4,6
/proc/26971/stat : 26971 (bsolo) R 26969 26971 19811 0 -1 4202496 7811 0 0 0 135953 254 0 0 20 0 1 0 343128642 38928384 7582 33554432000 134512640 137136520 4290516944 4290515984 134540859 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26971/statm: 9504 7582 197 641 0 8860 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 38016
[startup+1422.31 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 27032
/proc/meminfo: memFree=28480204/32873844 swapFree=7620/7620
[pid=26971] ppid=26969 vsize=38136 CPUtime=1422.06 cores=0,2,4,6
/proc/26971/stat : 26971 (bsolo) R 26969 26971 19811 0 -1 4202496 7836 0 0 0 141943 263 0 0 20 0 1 0 343128642 39051264 7605 33554432000 134512640 137136520 4290516944 4290516060 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26971/statm: 9534 7605 197 641 0 8890 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 38136
[startup+1482.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/179 27032
/proc/meminfo: memFree=28480204/32873844 swapFree=7620/7620
[pid=26971] ppid=26969 vsize=37996 CPUtime=1482.05 cores=0,2,4,6
/proc/26971/stat : 26971 (bsolo) R 26969 26971 19811 0 -1 4202496 7851 0 0 0 147933 272 0 0 20 0 1 0 343128642 38907904 7577 33554432000 134512640 137136520 4290516944 4290516060 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26971/statm: 9499 7577 197 641 0 8855 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 37996
[startup+1542.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 27032
/proc/meminfo: memFree=28480080/32873844 swapFree=7620/7620
[pid=26971] ppid=26969 vsize=38156 CPUtime=1542.04 cores=0,2,4,6
/proc/26971/stat : 26971 (bsolo) R 26969 26971 19811 0 -1 4202496 7933 0 0 0 153923 281 0 0 20 0 1 0 343128642 39071744 7617 33554432000 134512640 137136520 4290516944 4290516060 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26971/statm: 9539 7617 197 641 0 8895 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 38156
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 27036
/proc/meminfo: memFree=28479948/32873844 swapFree=7620/7620
[pid=26971] ppid=26969 vsize=38048 CPUtime=1602.04 cores=0,2,4,6
/proc/26971/stat : 26971 (bsolo) R 26969 26971 19811 0 -1 4202496 7933 0 0 0 159914 290 0 0 20 0 1 0 343128642 38961152 7590 33554432000 134512640 137136520 4290516944 4290516060 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26971/statm: 9512 7590 197 641 0 8868 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 38048
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 27059
/proc/meminfo: memFree=28479444/32873844 swapFree=7620/7620
[pid=26971] ppid=26969 vsize=38428 CPUtime=1662.02 cores=0,2,4,6
/proc/26971/stat : 26971 (bsolo) R 26969 26971 19811 0 -1 4202496 8021 0 0 0 165902 300 0 0 20 0 1 0 343128642 39350272 7678 33554432000 134512640 137136520 4290516944 4290516060 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26971/statm: 9607 7678 197 641 0 8963 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 38428
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 27059
/proc/meminfo: memFree=28479576/32873844 swapFree=7620/7620
[pid=26971] ppid=26969 vsize=38388 CPUtime=1722.01 cores=0,2,4,6
/proc/26971/stat : 26971 (bsolo) R 26969 26971 19811 0 -1 4202496 8021 0 0 0 171892 309 0 0 20 0 1 0 343128642 39309312 7675 33554432000 134512640 137136520 4290516944 4290515872 134543948 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26971/statm: 9597 7675 197 641 0 8953 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 38388
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 27059
/proc/meminfo: memFree=28477220/32873844 swapFree=7620/7620
[pid=26971] ppid=26969 vsize=40536 CPUtime=1782.01 cores=0,2,4,6
/proc/26971/stat : 26971 (bsolo) R 26969 26971 19811 0 -1 4202496 8621 0 0 0 177881 320 0 0 20 0 1 0 343128642 41508864 8194 33554432000 134512640 137136520 4290516944 4290516060 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26971/statm: 10134 8194 197 641 0 9490 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 40536
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 27059
/proc/meminfo: memFree=28476972/32873844 swapFree=7620/7620
[pid=26971] ppid=26969 vsize=40520 CPUtime=1791.61 cores=0,2,4,6
/proc/26971/stat : 26971 (bsolo) R 26969 26971 19811 0 -1 4202496 8621 0 0 0 178840 321 0 0 20 0 1 0 343128642 41492480 8194 33554432000 134512640 137136520 4290516944 4290516060 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26971/statm: 10130 8194 197 641 0 9486 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 40520
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 27059
/proc/meminfo: memFree=28477344/32873844 swapFree=7620/7620
[pid=26971] ppid=26969 vsize=40500 CPUtime=1794.81 cores=0,2,4,6
/proc/26971/stat : 26971 (bsolo) R 26969 26971 19811 0 -1 4202496 8621 0 0 0 179159 322 0 0 20 0 1 0 343128642 41472000 8194 33554432000 134512640 137136520 4290516944 4290515536 134616819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26971/statm: 10125 8194 197 641 0 9481 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 40500
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 27059
/proc/meminfo: memFree=28477344/32873844 swapFree=7620/7620
[pid=26971] ppid=26969 vsize=40500 CPUtime=1796.4 cores=0,2,4,6
/proc/26971/stat : 26971 (bsolo) R 26969 26971 19811 0 -1 4202496 8621 0 0 0 179318 322 0 0 20 0 1 0 343128642 41472000 8194 33554432000 134512640 137136520 4290516944 4290516060 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26971/statm: 10125 8194 197 641 0 9481 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 40500
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 27059
/proc/meminfo: memFree=28477344/32873844 swapFree=7620/7620
[pid=26971] ppid=26969 vsize=40500 CPUtime=1797.2 cores=0,2,4,6
/proc/26971/stat : 26971 (bsolo) R 26969 26971 19811 0 -1 4202496 8621 0 0 0 179398 322 0 0 20 0 1 0 343128642 41472000 8194 33554432000 134512640 137136520 4290516944 4290515840 134543957 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26971/statm: 10125 8194 197 641 0 9481 0
Current children cumulated CPU time (s) 1797.2
Current children cumulated vsize (KiB) 40500
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 27059
/proc/meminfo: memFree=28477344/32873844 swapFree=7620/7620
[pid=26971] ppid=26969 vsize=40500 CPUtime=1797.6 cores=0,2,4,6
/proc/26971/stat : 26971 (bsolo) R 26969 26971 19811 0 -1 4202496 8621 0 0 0 179438 322 0 0 20 0 1 0 343128642 41472000 8194 33554432000 134512640 137136520 4290516944 4290516060 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26971/statm: 10125 8194 197 641 0 9481 0
Current children cumulated CPU time (s) 1797.6
Current children cumulated vsize (KiB) 40500
[startup+1798.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 27059
/proc/meminfo: memFree=28477344/32873844 swapFree=7620/7620
[pid=26971] ppid=26969 vsize=40500 CPUtime=1797.8 cores=0,2,4,6
/proc/26971/stat : 26971 (bsolo) R 26969 26971 19811 0 -1 4202496 8621 0 0 0 179458 322 0 0 20 0 1 0 343128642 41472000 8194 33554432000 134512640 137136520 4290516944 4290516060 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26971/statm: 10125 8194 197 641 0 9481 0
Current children cumulated CPU time (s) 1797.8
Current children cumulated vsize (KiB) 40500
[startup+1798.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 27059
/proc/meminfo: memFree=28477344/32873844 swapFree=7620/7620
[pid=26971] ppid=26969 vsize=40500 CPUtime=1797.9 cores=0,2,4,6
/proc/26971/stat : 26971 (bsolo) R 26969 26971 19811 0 -1 4202496 8621 0 0 0 179468 322 0 0 20 0 1 0 343128642 41472000 8194 33554432000 134512640 137136520 4290516944 4290516060 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26971/statm: 10125 8194 197 641 0 9481 0
Current children cumulated CPU time (s) 1797.9
Current children cumulated vsize (KiB) 40500
Child status: 0
Real time (s): 1798.29
CPU time (s): 1798
CPU user time (s): 1794.77
CPU system time (s): 3.22751
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 40536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.77
system time used= 3.22751
maximum resident set size= 32780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8623
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= 15
involuntary context switches= 1943
runsolver used 2.57861 second user time and 7.28089 second system time
The end