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-3741052-1338766440/watcher-3741052-1338766440 -o /tmp/evaluation-result-3741052-1338766440/solver-3741052-1338766440 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3741052-1338766440.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.86 2.72 3.25 3/178 26726
/proc/meminfo: memFree=28829232/32873844 swapFree=7620/7620
[pid=26726] ppid=26724 vsize=48204 CPUtime=0 cores=1,3,5,7
/proc/26726/stat : 26726 (bsolo) R 26724 26726 19811 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 342768886 49360896 306 33554432000 134512640 137136520 4288026160 4288024392 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26726/statm: 12051 306 191 641 0 2089 0
[startup+0.0847859 s]
/proc/loadavg: 1.86 2.72 3.25 3/178 26726
/proc/meminfo: memFree=28829232/32873844 swapFree=7620/7620
[pid=26726] ppid=26724 vsize=52024 CPUtime=0.08 cores=1,3,5,7
/proc/26726/stat : 26726 (bsolo) R 26724 26726 19811 0 -1 4202496 1585 0 0 0 8 0 0 0 20 0 1 0 342768886 53272576 1538 33554432000 134512640 137136520 4288026160 4288024392 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26726/statm: 13006 1540 483 641 0 3044 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 52024
[startup+0.100281 s]
/proc/loadavg: 1.86 2.72 3.25 3/178 26726
/proc/meminfo: memFree=28829232/32873844 swapFree=7620/7620
[pid=26726] ppid=26724 vsize=52704 CPUtime=0.09 cores=1,3,5,7
/proc/26726/stat : 26726 (bsolo) R 26724 26726 19811 0 -1 4202496 1825 0 0 0 9 0 0 0 20 0 1 0 342768886 53968896 1779 33554432000 134512640 137136520 4288026160 4288024360 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26726/statm: 13176 1779 541 641 0 3214 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 52704
[startup+0.300246 s]
/proc/loadavg: 1.86 2.72 3.25 3/178 26726
/proc/meminfo: memFree=28829232/32873844 swapFree=7620/7620
[pid=26726] ppid=26724 vsize=61704 CPUtime=0.29 cores=1,3,5,7
/proc/26726/stat : 26726 (bsolo) R 26724 26726 19811 0 -1 4202496 4798 0 0 0 29 0 0 0 20 0 1 0 342768886 63184896 4751 33554432000 134512640 137136520 4288026160 4288024640 136575102 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26726/statm: 15426 4752 1268 641 0 5464 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 61704
[startup+0.700222 s]
/proc/loadavg: 1.86 2.72 3.25 3/178 26726
/proc/meminfo: memFree=28829232/32873844 swapFree=7620/7620
[pid=26726] ppid=26724 vsize=78784 CPUtime=0.68 cores=1,3,5,7
/proc/26726/stat : 26726 (bsolo) R 26724 26726 19811 0 -1 4202496 10481 0 0 0 67 1 0 0 20 0 1 0 342768886 80674816 10434 33554432000 134512640 137136520 4288026160 4288024688 134517592 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26726/statm: 19696 10435 2680 641 0 9734 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 78784
[startup+1.50019 s]
/proc/loadavg: 1.86 2.72 3.25 3/179 26727
/proc/meminfo: memFree=28783024/32873844 swapFree=7620/7620
[pid=26726] ppid=26724 vsize=110584 CPUtime=1.49 cores=1,3,5,7
/proc/26726/stat : 26726 (bsolo) R 26724 26726 19811 0 -1 4202496 21256 0 0 0 145 4 0 0 20 0 1 0 342768886 113238016 21169 33554432000 134512640 137136520 4288026160 4288024688 134517403 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26726/statm: 27646 21169 5495 641 0 17684 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 110584
[startup+3.1003 s]
/proc/loadavg: 2.03 2.74 3.26 3/179 26727
/proc/meminfo: memFree=28745328/32873844 swapFree=7620/7620
[pid=26726] ppid=26724 vsize=163004 CPUtime=3.09 cores=1,3,5,7
/proc/26726/stat : 26726 (bsolo) R 26724 26726 19811 0 -1 4202496 47593 0 0 0 301 8 0 0 20 0 1 0 342768886 166916096 38188 33554432000 134512640 137136520 4288026160 4287585320 135982528 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26726/statm: 40751 38188 189 641 0 40107 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 163004
[startup+6.3003 s]
/proc/loadavg: 2.03 2.74 3.26 3/178 26727
/proc/meminfo: memFree=28673788/32873844 swapFree=7620/7620
[pid=26726] ppid=26724 vsize=166060 CPUtime=6.29 cores=1,3,5,7
/proc/26726/stat : 26726 (bsolo) R 26724 26726 19811 0 -1 4202496 48445 0 0 0 619 10 0 0 20 0 1 0 342768886 170045440 38968 33554432000 134512640 137136520 4288026160 4287585324 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26726/statm: 41515 38968 193 641 0 40871 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 166060
[startup+12.7003 s]
/proc/loadavg: 2.02 2.72 3.25 3/179 26728
/proc/meminfo: memFree=28674304/32873844 swapFree=7620/7620
[pid=26726] ppid=26724 vsize=166060 CPUtime=12.68 cores=1,3,5,7
/proc/26726/stat : 26726 (bsolo) R 26724 26726 19811 0 -1 4202496 48445 0 0 0 1257 11 0 0 20 0 1 0 342768886 170045440 38968 33554432000 134512640 137136520 4288026160 4287585324 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26726/statm: 41515 38968 193 641 0 40871 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 166060
[startup+25.5003 s]
/proc/loadavg: 2.02 2.69 3.23 3/179 26728
/proc/meminfo: memFree=28663012/32873844 swapFree=7620/7620
[pid=26726] ppid=26724 vsize=166060 CPUtime=25.48 cores=1,3,5,7
/proc/26726/stat : 26726 (bsolo) R 26724 26726 19811 0 -1 4202496 48445 0 0 0 2535 13 0 0 20 0 1 0 342768886 170045440 38968 33554432000 134512640 137136520 4288026160 4287585280 134540451 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26726/statm: 41515 38968 193 641 0 40871 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 166060
[startup+51.1003 s]
/proc/loadavg: 2.01 2.64 3.20 3/179 26728
/proc/meminfo: memFree=28629608/32873844 swapFree=7620/7620
[pid=26726] ppid=26724 vsize=166060 CPUtime=51.09 cores=1,3,5,7
/proc/26726/stat : 26726 (bsolo) R 26724 26726 19811 0 -1 4202496 48445 0 0 0 5091 18 0 0 20 0 1 0 342768886 170045440 38968 33554432000 134512640 137136520 4288026160 4287585324 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26726/statm: 41515 38968 193 641 0 40871 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 166060
[startup+102.307 s]
/proc/loadavg: 2.00 2.53 3.13 3/179 26728
/proc/meminfo: memFree=28603820/32873844 swapFree=7620/7620
[pid=26726] ppid=26724 vsize=166060 CPUtime=102.26 cores=1,3,5,7
/proc/26726/stat : 26726 (bsolo) R 26724 26726 19811 0 -1 4202496 48468 0 0 0 10200 26 0 0 20 0 1 0 342768886 170045440 38968 33554432000 134512640 137136520 4288026160 4287585324 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26726/statm: 41515 38968 193 641 0 40871 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 166060
[startup+162.3 s]
/proc/loadavg: 2.00 2.43 3.05 3/179 26728
/proc/meminfo: memFree=28559580/32873844 swapFree=7620/7620
[pid=26726] ppid=26724 vsize=166060 CPUtime=162.21 cores=1,3,5,7
/proc/26726/stat : 26726 (bsolo) R 26724 26726 19811 0 -1 4202496 48511 0 0 0 16183 38 0 0 20 0 1 0 342768886 170045440 38968 33554432000 134512640 137136520 4288026160 4287585324 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26726/statm: 41515 38968 193 641 0 40871 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 166060
[startup+222.3 s]
/proc/loadavg: 2.00 2.35 2.98 3/179 26728
/proc/meminfo: memFree=28525972/32873844 swapFree=7620/7620
[pid=26726] ppid=26724 vsize=164696 CPUtime=222.21 cores=1,3,5,7
/proc/26726/stat : 26726 (bsolo) R 26724 26726 19811 0 -1 4202496 48586 0 0 0 21955 266 0 0 20 0 1 0 342768886 168648704 38701 33554432000 134512640 137136520 4288026160 4288025276 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26726/statm: 41174 38701 198 641 0 40530 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 164696
[startup+282.3 s]
/proc/loadavg: 2.00 2.29 2.92 3/179 26728
/proc/meminfo: memFree=28476996/32873844 swapFree=7620/7620
[pid=26726] ppid=26724 vsize=187336 CPUtime=282.2 cores=1,3,5,7
/proc/26726/stat : 26726 (bsolo) R 26724 26726 19811 0 -1 4202496 54247 0 0 0 27841 379 0 0 20 0 1 0 342768886 191832064 44362 33554432000 134512640 137136520 4288026160 4288025276 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26726/statm: 46834 44362 198 641 0 46190 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 187336
[startup+342.3 s]
/proc/loadavg: 2.00 2.23 2.86 3/179 26729
/proc/meminfo: memFree=28409080/32873844 swapFree=7620/7620
[pid=26726] ppid=26724 vsize=209092 CPUtime=342.18 cores=1,3,5,7
/proc/26726/stat : 26726 (bsolo) R 26724 26726 19811 0 -1 4202496 59696 0 0 0 33733 485 0 0 20 0 1 0 342768886 214110208 49811 33554432000 134512640 137136520 4288026160 4288025276 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26726/statm: 52273 49811 198 641 0 51629 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 209092
[startup+402.3 s]
/proc/loadavg: 2.00 2.19 2.81 3/180 26732
/proc/meminfo: memFree=28345368/32873844 swapFree=7620/7620
[pid=26726] ppid=26724 vsize=252912 CPUtime=402.18 cores=1,3,5,7
/proc/26726/stat : 26726 (bsolo) R 26724 26726 19811 0 -1 4202496 70642 0 0 0 39661 557 0 0 20 0 1 0 342768886 258981888 60757 33554432000 134512640 137136520 4288026160 4288024872 136502148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26726/statm: 63228 60757 198 641 0 62584 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 252912
[startup+462.3 s]
/proc/loadavg: 2.05 2.16 2.76 3/179 26732
/proc/meminfo: memFree=28295404/32873844 swapFree=7620/7620
[pid=26726] ppid=26724 vsize=295152 CPUtime=462.17 cores=1,3,5,7
/proc/26726/stat : 26726 (bsolo) R 26724 26726 19811 0 -1 4202496 81202 0 0 0 45620 597 0 0 20 0 1 0 342768886 302235648 71317 33554432000 134512640 137136520 4288026160 4288025088 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26726/statm: 73788 71317 198 641 0 73144 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 295152
[startup+522.3 s]
/proc/loadavg: 2.02 2.13 2.71 3/179 26732
/proc/meminfo: memFree=28263876/32873844 swapFree=7620/7620
[pid=26726] ppid=26724 vsize=320608 CPUtime=522.13 cores=1,3,5,7
/proc/26726/stat : 26726 (bsolo) R 26724 26726 19811 0 -1 4202496 87606 0 0 0 51568 645 0 0 20 0 1 0 342768886 328302592 77681 33554432000 134512640 137136520 4288026160 4288024484 136498308 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26726/statm: 80152 77681 198 641 0 79508 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 320608
[startup+582.3 s]
/proc/loadavg: 2.00 2.10 2.66 3/179 26732
/proc/meminfo: memFree=28196820/32873844 swapFree=7620/7620
[pid=26726] ppid=26724 vsize=379128 CPUtime=582.07 cores=1,3,5,7
/proc/26726/stat : 26726 (bsolo) R 26724 26726 19811 0 -1 4202496 102370 0 0 0 57532 675 0 0 20 0 1 0 342768886 388227072 92312 33554432000 134512640 137136520 4288026160 4288025056 134543965 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26726/statm: 94782 92312 198 641 0 94138 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 379128
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27912048/32873844 swapFree=7620/7620
[pid=26726] ppid=26724 vsize=588804 CPUtime=1061.99 cores=1,3,5,7
/proc/26726/stat : 26726 (bsolo) R 26724 26726 19811 0 -1 4202496 155126 0 0 0 105298 901 0 0 20 0 1 0 342768886 602935296 144732 33554432000 134512640 137136520 4288026160 4288025088 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26726/statm: 147201 144732 198 641 0 146557 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 588804
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.35 3/179 26737
/proc/meminfo: memFree=27884208/32873844 swapFree=7620/7620
[pid=26726] ppid=26724 vsize=610764 CPUtime=1121.98 cores=1,3,5,7
/proc/26726/stat : 26726 (bsolo) R 26724 26726 19811 0 -1 4202496 160625 0 0 0 111283 915 0 0 20 0 1 0 342768886 625422336 150230 33554432000 134512640 137136520 4288026160 4288025088 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26726/statm: 152691 150230 198 641 0 152047 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 610764
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.33 3/179 26737
/proc/meminfo: memFree=27859684/32873844 swapFree=7620/7620
[pid=26726] ppid=26724 vsize=631792 CPUtime=1181.93 cores=1,3,5,7
/proc/26726/stat : 26726 (bsolo) R 26724 26726 19811 0 -1 4202496 166030 0 0 0 117259 934 0 0 20 0 1 0 342768886 646955008 155480 33554432000 134512640 137136520 4288026160 4288025088 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26726/statm: 157948 155480 198 641 0 157304 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 631792
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.30 3/179 26738
/proc/meminfo: memFree=27819288/32873844 swapFree=7620/7620
[pid=26726] ppid=26724 vsize=665840 CPUtime=1241.9 cores=1,3,5,7
/proc/26726/stat : 26726 (bsolo) R 26724 26726 19811 0 -1 4202496 174583 0 0 0 123240 950 0 0 20 0 1 0 342768886 681820160 163993 33554432000 134512640 137136520 4288026160 4288025088 134543819 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26726/statm: 166460 163993 198 641 0 165816 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 665840
[startup+1302.3 s]
/proc/loadavg: 2.07 2.02 2.29 3/179 26738
/proc/meminfo: memFree=27774384/32873844 swapFree=7620/7620
[pid=26726] ppid=26724 vsize=698528 CPUtime=1301.86 cores=1,3,5,7
/proc/26726/stat : 26726 (bsolo) R 26724 26726 19811 0 -1 4202496 182879 0 0 0 129222 964 0 0 20 0 1 0 342768886 715292672 172167 33554432000 134512640 137136520 4288026160 4288024752 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26726/statm: 174632 172167 198 641 0 173988 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 698528
[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 2.27 3/179 26738
/proc/meminfo: memFree=27748096/32873844 swapFree=7620/7620
[pid=26726] ppid=26724 vsize=716780 CPUtime=1361.85 cores=1,3,5,7
/proc/26726/stat : 26726 (bsolo) R 26724 26726 19811 0 -1 4202496 187646 0 0 0 135205 980 0 0 20 0 1 0 342768886 733982720 176730 33554432000 134512640 137136520 4288026160 4288025056 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26726/statm: 179195 176730 198 641 0 178551 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 716780
[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 2.25 3/179 26738
/proc/meminfo: memFree=27718336/32873844 swapFree=7620/7620
[pid=26726] ppid=26724 vsize=737988 CPUtime=1421.85 cores=1,3,5,7
/proc/26726/stat : 26726 (bsolo) R 26724 26726 19811 0 -1 4202496 192951 0 0 0 141194 991 0 0 20 0 1 0 342768886 755699712 182035 33554432000 134512640 137136520 4288026160 4288025088 134544714 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26726/statm: 184497 182035 198 641 0 183853 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 737988
[startup+1482.3 s]
/proc/loadavg: 2.04 2.02 2.24 3/179 26738
/proc/meminfo: memFree=27689444/32873844 swapFree=7620/7620
[pid=26726] ppid=26724 vsize=755444 CPUtime=1481.84 cores=1,3,5,7
/proc/26726/stat : 26726 (bsolo) R 26724 26726 19811 0 -1 4202496 197312 0 0 0 147165 1019 0 0 20 0 1 0 342768886 773574656 186396 33554432000 134512640 137136520 4288026160 4288025088 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26726/statm: 188861 186396 198 641 0 188217 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 755444
[startup+1542.3 s]
/proc/loadavg: 2.04 2.02 2.22 3/179 26739
/proc/meminfo: memFree=27654224/32873844 swapFree=7620/7620
[pid=26726] ppid=26724 vsize=778372 CPUtime=1541.83 cores=1,3,5,7
/proc/26726/stat : 26726 (bsolo) R 26724 26726 19811 0 -1 4202496 203150 0 0 0 153130 1053 0 0 20 0 1 0 342768886 797052928 192128 33554432000 134512640 137136520 4288026160 4288025276 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26726/statm: 194593 192128 198 641 0 193949 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 778372
[startup+1602.3 s]
/proc/loadavg: 2.12 2.05 2.22 3/180 26742
/proc/meminfo: memFree=27609488/32873844 swapFree=7620/7620
[pid=26726] ppid=26724 vsize=811832 CPUtime=1601.82 cores=1,3,5,7
/proc/26726/stat : 26726 (bsolo) R 26724 26726 19811 0 -1 4202496 211624 0 0 0 159119 1063 0 0 20 0 1 0 342768886 831315968 200493 33554432000 134512640 137136520 4288026160 4288024872 136502143 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26726/statm: 202958 200493 198 641 0 202314 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 811832
[startup+1662.3 s]
/proc/loadavg: 2.07 2.05 2.20 3/180 26765
/proc/meminfo: memFree=27567452/32873844 swapFree=7620/7620
[pid=26726] ppid=26724 vsize=837820 CPUtime=1661.81 cores=1,3,5,7
/proc/26726/stat : 26726 (bsolo) R 26724 26726 19811 0 -1 4202496 218309 0 0 0 165111 1070 0 0 20 0 1 0 342768886 857927680 206990 33554432000 134512640 137136520 4288026160 4288025088 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26726/statm: 209455 206990 198 641 0 208811 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 837820
[startup+1722.3 s]
/proc/loadavg: 2.06 2.05 2.19 3/179 26765
/proc/meminfo: memFree=27538940/32873844 swapFree=7620/7620
[pid=26726] ppid=26724 vsize=854204 CPUtime=1721.79 cores=1,3,5,7
/proc/26726/stat : 26726 (bsolo) R 26724 26726 19811 0 -1 4202496 222405 0 0 0 171094 1085 0 0 20 0 1 0 342768886 874704896 211086 33554432000 134512640 137136520 4288026160 4288025276 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26726/statm: 213551 211086 198 641 0 212907 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 854204
[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 2.18 3/179 26765
/proc/meminfo: memFree=27496408/32873844 swapFree=7620/7620
[pid=26726] ppid=26724 vsize=881196 CPUtime=1781.78 cores=1,3,5,7
/proc/26726/stat : 26726 (bsolo) R 26724 26726 19811 0 -1 4202496 229261 0 0 0 177076 1102 0 0 20 0 1 0 342768886 902344704 217834 33554432000 134512640 137136520 4288026160 4288025264 134545039 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26726/statm: 220299 217834 198 641 0 219655 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 881196
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.02 2.04 2.18 3/179 26765
/proc/meminfo: memFree=27491696/32873844 swapFree=7620/7620
[pid=26726] ppid=26724 vsize=882816 CPUtime=1791.39 cores=1,3,5,7
/proc/26726/stat : 26726 (bsolo) R 26724 26726 19811 0 -1 4202496 229666 0 0 0 178035 1104 0 0 20 0 1 0 342768886 904003584 218239 33554432000 134512640 137136520 4288026160 4288025088 134543819 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26726/statm: 220704 218239 198 641 0 220060 0
Current children cumulated CPU time (s) 1791.39
Current children cumulated vsize (KiB) 882816
[startup+1795.1 s]
/proc/loadavg: 2.02 2.04 2.17 3/179 26765
/proc/meminfo: memFree=27489092/32873844 swapFree=7620/7620
[pid=26726] ppid=26724 vsize=884056 CPUtime=1794.59 cores=1,3,5,7
/proc/26726/stat : 26726 (bsolo) R 26724 26726 19811 0 -1 4202496 229997 0 0 0 178353 1106 0 0 20 0 1 0 342768886 905273344 218570 33554432000 134512640 137136520 4288026160 4288024752 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26726/statm: 221014 218570 198 641 0 220370 0
Current children cumulated CPU time (s) 1794.59
Current children cumulated vsize (KiB) 884056
[startup+1796.7 s]
/proc/loadavg: 2.02 2.04 2.17 3/179 26765
/proc/meminfo: memFree=27488472/32873844 swapFree=7620/7620
[pid=26726] ppid=26724 vsize=884460 CPUtime=1796.18 cores=1,3,5,7
/proc/26726/stat : 26726 (bsolo) R 26724 26726 19811 0 -1 4202496 230088 0 0 0 178512 1106 0 0 20 0 1 0 342768886 905687040 218661 33554432000 134512640 137136520 4288026160 4288025088 134543837 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26726/statm: 221115 218661 198 641 0 220471 0
Current children cumulated CPU time (s) 1796.18
Current children cumulated vsize (KiB) 884460
[startup+1797.5 s]
/proc/loadavg: 2.01 2.04 2.17 3/179 26765
/proc/meminfo: memFree=27487728/32873844 swapFree=7620/7620
[pid=26726] ppid=26724 vsize=884860 CPUtime=1796.99 cores=1,3,5,7
/proc/26726/stat : 26726 (bsolo) R 26724 26726 19811 0 -1 4202496 230177 0 0 0 178592 1107 0 0 20 0 1 0 342768886 906096640 218750 33554432000 134512640 137136520 4288026160 4288025276 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26726/statm: 221215 218750 198 641 0 220571 0
Current children cumulated CPU time (s) 1796.99
Current children cumulated vsize (KiB) 884860
[startup+1798.3 s]
/proc/loadavg: 2.01 2.04 2.17 3/179 26765
/proc/meminfo: memFree=27487728/32873844 swapFree=7620/7620
[pid=26726] ppid=26724 vsize=884864 CPUtime=1797.78 cores=1,3,5,7
/proc/26726/stat : 26726 (bsolo) R 26724 26726 19811 0 -1 4202496 230178 0 0 0 178671 1107 0 0 20 0 1 0 342768886 906100736 218751 33554432000 134512640 137136520 4288026160 4288024928 134576268 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26726/statm: 221216 218751 198 641 0 220572 0
Current children cumulated CPU time (s) 1797.78
Current children cumulated vsize (KiB) 884864
[startup+1798.51 s]
/proc/loadavg: 2.01 2.04 2.17 3/176 26796
/proc/meminfo: memFree=27978540/32873844 swapFree=7620/7620
[pid=26726] ppid=26724 vsize=884864 CPUtime=1797.99 cores=1,3,5,7
/proc/26726/stat : 26726 (bsolo) R 26724 26726 19811 0 -1 4202496 230178 0 0 0 178692 1107 0 0 20 0 1 0 342768886 906100736 218751 33554432000 134512640 137136520 4288026160 4288025276 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26726/statm: 221216 218751 198 641 0 220572 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 884864
Child status: 0
Real time (s): 1798.53
CPU time (s): 1798.02
CPU user time (s): 1786.93
CPU system time (s): 11.0923
CPU usage (%): 99.9718
Max. virtual memory (cumulated for all children) (KiB): 884864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.93
system time used= 11.0923
maximum resident set size= 875004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 230179
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= 304
involuntary context switches= 1838
runsolver used 3.37649 second user time and 7.54885 second system time
The end