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-3462829-1307183629/watcher-3462829-1307183629 -o /tmp/evaluation-result-3462829-1307183629/solver-3462829-1307183629 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462829-1307183629.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: 2.11 2.04 2.01 2/530 5792
/proc/meminfo: memFree=14464524/32951132 swapFree=46579808/67111528
[pid=5792] ppid=5789 vsize=12020 CPUtime=0 cores=1,3,5,7
/proc/5792/stat : 5792 (bsolo) R 5789 5792 4029 0 -1 4202496 597 0 0 0 0 0 0 0 25 0 1 0 829961571 12308480 542 33554432000 134512640 137138936 4292609696 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5792/statm: 3005 543 183 642 0 2361 0
[startup+0.0733229 s]
/proc/loadavg: 2.11 2.04 2.01 2/530 5792
/proc/meminfo: memFree=14464524/32951132 swapFree=46579808/67111528
[pid=5792] ppid=5789 vsize=12020 CPUtime=0.07 cores=1,3,5,7
/proc/5792/stat : 5792 (bsolo) R 5789 5792 4029 0 -1 4202496 625 0 0 0 7 0 0 0 25 0 1 0 829961571 12308480 570 33554432000 134512640 137138936 4292609696 18446744073709551615 136504068 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5792/statm: 3005 570 185 642 0 2361 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 12020
[startup+0.100318 s]
/proc/loadavg: 2.11 2.04 2.01 2/530 5792
/proc/meminfo: memFree=14464524/32951132 swapFree=46579808/67111528
[pid=5792] ppid=5789 vsize=12020 CPUtime=0.09 cores=1,3,5,7
/proc/5792/stat : 5792 (bsolo) R 5789 5792 4029 0 -1 4202496 625 0 0 0 9 0 0 0 25 0 1 0 829961571 12308480 570 33554432000 134512640 137138936 4292609696 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5792/statm: 3005 570 185 642 0 2361 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12020
[startup+0.300284 s]
/proc/loadavg: 2.11 2.04 2.01 2/530 5792
/proc/meminfo: memFree=14464524/32951132 swapFree=46579808/67111528
[pid=5792] ppid=5789 vsize=12020 CPUtime=0.29 cores=1,3,5,7
/proc/5792/stat : 5792 (bsolo) R 5789 5792 4029 0 -1 4202496 625 0 0 0 29 0 0 0 25 0 1 0 829961571 12308480 570 33554432000 134512640 137138936 4292609696 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5792/statm: 3005 570 185 642 0 2361 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12020
[startup+0.700215 s]
/proc/loadavg: 2.11 2.04 2.01 2/530 5792
/proc/meminfo: memFree=14464524/32951132 swapFree=46579808/67111528
[pid=5792] ppid=5789 vsize=12716 CPUtime=0.69 cores=1,3,5,7
/proc/5792/stat : 5792 (bsolo) R 5789 5792 4029 0 -1 4202496 847 0 0 0 68 1 0 0 25 0 1 0 829961571 13021184 747 33554432000 134512640 137138936 4292609696 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5792/statm: 3179 747 192 642 0 2535 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12716
[startup+1.50108 s]
/proc/loadavg: 2.11 2.04 2.01 3/531 5793
/proc/meminfo: memFree=14459432/32951132 swapFree=46579808/67111528
[pid=5792] ppid=5789 vsize=16756 CPUtime=1.49 cores=1,3,5,7
/proc/5792/stat : 5792 (bsolo) R 5789 5792 4029 0 -1 4202496 1854 0 0 0 148 1 0 0 25 0 1 0 829961571 17158144 1754 33554432000 134512640 137138936 4292609696 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5792/statm: 4189 1754 192 642 0 3545 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16756
[startup+3.10079 s]
/proc/loadavg: 2.11 2.04 2.01 3/531 5793
/proc/meminfo: memFree=14452524/32951132 swapFree=46579808/67111528
[pid=5792] ppid=5789 vsize=24052 CPUtime=3.09 cores=1,3,5,7
/proc/5792/stat : 5792 (bsolo) R 5789 5792 4029 0 -1 4202496 3675 0 0 0 307 2 0 0 25 0 1 0 829961571 24629248 3575 33554432000 134512640 137138936 4292609696 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5792/statm: 6013 3575 192 642 0 5369 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24052
[startup+6.30024 s]
/proc/loadavg: 2.10 2.04 2.01 3/531 5793
/proc/meminfo: memFree=14437392/32951132 swapFree=46579808/67111528
[pid=5792] ppid=5789 vsize=35696 CPUtime=6.29 cores=1,3,5,7
/proc/5792/stat : 5792 (bsolo) R 5789 5792 4029 0 -1 4202496 6603 0 0 0 625 4 0 0 25 0 1 0 829961571 36552704 6503 33554432000 134512640 137138936 4292609696 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5792/statm: 8924 6503 192 642 0 8280 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35696
[startup+12.7002 s]
/proc/loadavg: 2.10 2.04 2.01 3/531 5795
/proc/meminfo: memFree=14415460/32951132 swapFree=46579808/67111528
[pid=5792] ppid=5789 vsize=54480 CPUtime=12.69 cores=1,3,5,7
/proc/5792/stat : 5792 (bsolo) R 5789 5792 4029 0 -1 4202496 11292 0 0 0 1262 7 0 0 25 0 1 0 829961571 55787520 11192 33554432000 134512640 137138936 4292609696 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5792/statm: 13620 11192 192 642 0 12976 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 54480
[startup+25.5009 s]
/proc/loadavg: 2.07 2.04 2.01 3/531 5795
/proc/meminfo: memFree=14384104/32951132 swapFree=46579808/67111528
[pid=5792] ppid=5789 vsize=79688 CPUtime=25.49 cores=1,3,5,7
/proc/5792/stat : 5792 (bsolo) R 5789 5792 4029 0 -1 4202496 17590 0 0 0 2537 12 0 0 25 0 1 0 829961571 81600512 17490 33554432000 134512640 137138936 4292609696 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5792/statm: 19922 17490 192 642 0 19278 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 79688
[startup+51.1005 s]
/proc/loadavg: 2.27 2.08 2.02 3/531 5795
/proc/meminfo: memFree=14338328/32951132 swapFree=46579808/67111528
[pid=5792] ppid=5789 vsize=117156 CPUtime=51.09 cores=1,3,5,7
/proc/5792/stat : 5792 (bsolo) R 5789 5792 4029 0 -1 4202496 26960 0 0 0 5092 17 0 0 25 0 1 0 829961571 119967744 26860 33554432000 134512640 137138936 4292609696 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5792/statm: 29289 26860 192 642 0 28645 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 117156
[startup+102.32 s]
/proc/loadavg: 2.12 2.07 2.02 3/531 5797
/proc/meminfo: memFree=14307696/32951132 swapFree=46579808/67111528
[pid=5792] ppid=5789 vsize=127808 CPUtime=102.31 cores=1,3,5,7
/proc/5792/stat : 5792 (bsolo) R 5789 5792 4029 0 -1 4202496 29701 0 0 0 10207 24 0 0 25 0 1 0 829961571 130875392 29521 33554432000 134512640 137138936 4292609696 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5792/statm: 31952 29521 192 642 0 31308 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 127808
[startup+162.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/531 5799
/proc/meminfo: memFree=14256720/32951132 swapFree=46579808/67111528
[pid=5792] ppid=5789 vsize=155964 CPUtime=162.29 cores=1,3,5,7
/proc/5792/stat : 5792 (bsolo) R 5789 5792 4029 0 -1 4202496 36842 0 0 0 16197 32 0 0 25 0 1 0 829961571 159707136 36564 33554432000 134512640 137138936 4292609696 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5792/statm: 38991 36564 192 642 0 38347 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 155964
[startup+222.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/531 5799
/proc/meminfo: memFree=14234392/32951132 swapFree=46579808/67111528
[pid=5792] ppid=5789 vsize=155964 CPUtime=222.29 cores=1,3,5,7
/proc/5792/stat : 5792 (bsolo) R 5789 5792 4029 0 -1 4202496 36842 0 0 0 22191 38 0 0 25 0 1 0 829961571 159707136 36564 33554432000 134512640 137138936 4292609696 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5792/statm: 38991 36564 192 642 0 38347 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 155964
[startup+282.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/531 5802
/proc/meminfo: memFree=14197556/32951132 swapFree=46579808/67111528
[pid=5792] ppid=5789 vsize=173556 CPUtime=282.29 cores=1,3,5,7
/proc/5792/stat : 5792 (bsolo) R 5789 5792 4029 0 -1 4202496 41341 0 0 0 28182 47 0 0 25 0 1 0 829961571 177721344 40955 33554432000 134512640 137138936 4292609696 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5792/statm: 43389 40955 192 642 0 42745 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 173556
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/531 5804
/proc/meminfo: memFree=14178576/32951132 swapFree=46579808/67111528
[pid=5792] ppid=5789 vsize=173556 CPUtime=342.29 cores=1,3,5,7
/proc/5792/stat : 5792 (bsolo) R 5789 5792 4029 0 -1 4202496 41341 0 0 0 34179 50 0 0 25 0 1 0 829961571 177721344 40955 33554432000 134512640 137138936 4292609696 18446744073709551615 136500289 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5792/statm: 43389 40955 192 642 0 42745 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 173556
[startup+402.301 s]
/proc/loadavg: 2.13 2.05 2.01 3/531 5833
/proc/meminfo: memFree=15039516/32951132 swapFree=46579808/67111528
[pid=5792] ppid=5789 vsize=173556 CPUtime=402.29 cores=1,3,5,7
/proc/5792/stat : 5792 (bsolo) R 5789 5792 4029 0 -1 4202496 41341 0 0 0 40172 57 0 0 25 0 1 0 829961571 177721344 40955 33554432000 134512640 137138936 4292609696 18446744073709551615 135984561 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5792/statm: 43389 40955 192 642 0 42745 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 173556
[startup+462.301 s]
/proc/loadavg: 2.09 2.05 2.01 3/531 5835
/proc/meminfo: memFree=15023000/32951132 swapFree=46579808/67111528
[pid=5792] ppid=5789 vsize=182428 CPUtime=462.3 cores=1,3,5,7
/proc/5792/stat : 5792 (bsolo) R 5789 5792 4029 0 -1 4202496 43689 0 0 0 46167 63 0 0 25 0 1 0 829961571 186806272 43185 33554432000 134512640 137138936 4292609696 18446744073709551615 134543039 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5792/statm: 45607 43185 192 642 0 44963 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 182428
[startup+522.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/531 5835
/proc/meminfo: memFree=15014676/32951132 swapFree=46579808/67111528
[pid=5792] ppid=5789 vsize=182904 CPUtime=522.29 cores=1,3,5,7
/proc/5792/stat : 5792 (bsolo) R 5789 5792 4029 0 -1 4202496 43778 0 0 0 52160 69 0 0 25 0 1 0 829961571 187293696 43274 33554432000 134512640 137138936 4292609696 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5792/statm: 45726 43274 192 642 0 45082 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 182904
[startup+582.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/531 5837
/proc/meminfo: memFree=15009704/32951132 swapFree=46579808/67111528
[pid=5792] ppid=5789 vsize=182904 CPUtime=582.29 cores=1,3,5,7
/proc/5792/stat : 5792 (bsolo) R 5789 5792 4029 0 -1 4202496 43778 0 0 0 58151 78 0 0 25 0 1 0 829961571 187293696 43274 33554432000 134512640 137138936 4292609696 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5792/statm: 45726 43274 192 642 0 45082 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 182904
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=14975760/32951132 swapFree=46579808/67111528
[pid=5792] ppid=5789 vsize=200252 CPUtime=1122.29 cores=1,3,5,7
/proc/5792/stat : 5792 (bsolo) R 5789 5792 4029 0 -1 4202496 48247 0 0 0 112088 141 0 0 25 0 1 0 829961571 205058048 47613 33554432000 134512640 137138936 4292609696 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5792/statm: 50063 47613 192 642 0 49419 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 200252
[startup+1182.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/531 5853
/proc/meminfo: memFree=14974264/32951132 swapFree=46579808/67111528
[pid=5792] ppid=5789 vsize=200252 CPUtime=1182.29 cores=1,3,5,7
/proc/5792/stat : 5792 (bsolo) R 5789 5792 4029 0 -1 4202496 48247 0 0 0 118082 147 0 0 25 0 1 0 829961571 205058048 47613 33554432000 134512640 137138936 4292609696 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5792/statm: 50063 47613 192 642 0 49419 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 200252
[startup+1242.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/531 5855
/proc/meminfo: memFree=14962596/32951132 swapFree=46579808/67111528
[pid=5792] ppid=5789 vsize=211164 CPUtime=1242.3 cores=1,3,5,7
/proc/5792/stat : 5792 (bsolo) R 5789 5792 4029 0 -1 4202496 51117 0 0 0 124079 151 0 0 25 0 1 0 829961571 216231936 50353 33554432000 134512640 137138936 4292609696 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5792/statm: 52791 50353 192 642 0 52147 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 211164
[startup+1302.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/531 5857
/proc/meminfo: memFree=14963336/32951132 swapFree=46579808/67111528
[pid=5792] ppid=5789 vsize=211164 CPUtime=1302.3 cores=1,3,5,7
/proc/5792/stat : 5792 (bsolo) R 5789 5792 4029 0 -1 4202496 51117 0 0 0 130073 157 0 0 25 0 1 0 829961571 216231936 50353 33554432000 134512640 137138936 4292609696 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5792/statm: 52791 50353 192 642 0 52147 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 211164
[startup+1362.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/531 5859
/proc/meminfo: memFree=14955884/32951132 swapFree=46579808/67111528
[pid=5792] ppid=5789 vsize=211164 CPUtime=1362.29 cores=1,3,5,7
/proc/5792/stat : 5792 (bsolo) R 5789 5792 4029 0 -1 4202496 51117 0 0 0 136065 164 0 0 25 0 1 0 829961571 216231936 50353 33554432000 134512640 137138936 4292609696 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5792/statm: 52791 50353 192 642 0 52147 0
Current children cumulated CPU time (s) 1362.29
Current children cumulated vsize (KiB) 211164
[startup+1422.32 s]
/proc/loadavg: 2.00 2.03 2.00 3/531 5859
/proc/meminfo: memFree=14943604/32951132 swapFree=46579808/67111528
[pid=5792] ppid=5789 vsize=223656 CPUtime=1422.32 cores=1,3,5,7
/proc/5792/stat : 5792 (bsolo) R 5789 5792 4029 0 -1 4202496 54371 0 0 0 142062 170 0 0 25 0 1 0 829961571 229023744 53464 33554432000 134512640 137138936 4292609696 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5792/statm: 55914 53464 192 642 0 55270 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 223656
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/531 5861
/proc/meminfo: memFree=14943096/32951132 swapFree=46579808/67111528
[pid=5792] ppid=5789 vsize=223656 CPUtime=1482.3 cores=1,3,5,7
/proc/5792/stat : 5792 (bsolo) R 5789 5792 4029 0 -1 4202496 54371 0 0 0 148052 178 0 0 25 0 1 0 829961571 229023744 53464 33554432000 134512640 137138936 4292609696 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5792/statm: 55914 53464 192 642 0 55270 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 223656
[startup+1542.3 s]
/proc/loadavg: 2.16 2.05 2.01 3/531 5863
/proc/meminfo: memFree=14943456/32951132 swapFree=46579808/67111528
[pid=5792] ppid=5789 vsize=223656 CPUtime=1542.29 cores=1,3,5,7
/proc/5792/stat : 5792 (bsolo) R 5789 5792 4029 0 -1 4202496 54371 0 0 0 154045 184 0 0 25 0 1 0 829961571 229023744 53464 33554432000 134512640 137138936 4292609696 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5792/statm: 55914 53464 192 642 0 55270 0
Current children cumulated CPU time (s) 1542.29
Current children cumulated vsize (KiB) 223656
[startup+1602.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/531 5865
/proc/meminfo: memFree=14941720/32951132 swapFree=46579808/67111528
[pid=5792] ppid=5789 vsize=223656 CPUtime=1602.3 cores=1,3,5,7
/proc/5792/stat : 5792 (bsolo) R 5789 5792 4029 0 -1 4202496 54514 0 0 0 160043 187 0 0 25 0 1 0 829961571 229023744 53464 33554432000 134512640 137138936 4292609696 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5792/statm: 55914 53464 192 642 0 55270 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 223656
[startup+1662.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/531 5876
/proc/meminfo: memFree=14941400/32951132 swapFree=46579808/67111528
[pid=5792] ppid=5789 vsize=223656 CPUtime=1662.3 cores=1,3,5,7
/proc/5792/stat : 5792 (bsolo) R 5789 5792 4029 0 -1 4202496 54514 0 0 0 166037 193 0 0 25 0 1 0 829961571 229023744 53464 33554432000 134512640 137138936 4292609696 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5792/statm: 55914 53464 192 642 0 55270 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 223656
[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/531 5876
/proc/meminfo: memFree=14941648/32951132 swapFree=46579808/67111528
[pid=5792] ppid=5789 vsize=223656 CPUtime=1722.3 cores=1,3,5,7
/proc/5792/stat : 5792 (bsolo) R 5789 5792 4029 0 -1 4202496 54514 0 0 0 172031 199 0 0 25 0 1 0 829961571 229023744 53464 33554432000 134512640 137138936 4292609696 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5792/statm: 55914 53464 192 642 0 55270 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 223656
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/531 5878
/proc/meminfo: memFree=14940648/32951132 swapFree=46579808/67111528
[pid=5792] ppid=5789 vsize=223656 CPUtime=1782.29 cores=1,3,5,7
/proc/5792/stat : 5792 (bsolo) R 5789 5792 4029 0 -1 4202496 54514 0 0 0 178027 202 0 0 25 0 1 0 829961571 229023744 53464 33554432000 134512640 137138936 4292609696 18446744073709551615 134542424 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5792/statm: 55914 53464 192 642 0 55270 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 223656
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.16 2.06 2.01 3/531 5878
/proc/meminfo: memFree=14940648/32951132 swapFree=46579808/67111528
[pid=5792] ppid=5789 vsize=223664 CPUtime=1785.5 cores=1,3,5,7
/proc/5792/stat : 5792 (bsolo) R 5789 5792 4029 0 -1 4202496 54516 0 0 0 178347 203 0 0 25 0 1 0 829961571 229031936 53466 33554432000 134512640 137138936 4292609696 18446744073709551615 134602721 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5792/statm: 55916 53466 192 642 0 55272 0
Current children cumulated CPU time (s) 1785.5
Current children cumulated vsize (KiB) 223664
[startup+1791.92 s]
/proc/loadavg: 2.15 2.06 2.01 3/531 5878
/proc/meminfo: memFree=14936436/32951132 swapFree=46579808/67111528
[pid=5792] ppid=5789 vsize=228380 CPUtime=1791.92 cores=1,3,5,7
/proc/5792/stat : 5792 (bsolo) R 5789 5792 4029 0 -1 4202496 55701 0 0 0 178988 204 0 0 25 0 1 0 829961571 233861120 54651 33554432000 134512640 137138936 4292609696 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5792/statm: 57095 54651 192 642 0 56451 0
Current children cumulated CPU time (s) 1791.92
Current children cumulated vsize (KiB) 228380
[startup+1795.1 s]
/proc/loadavg: 2.14 2.05 2.01 3/531 5878
/proc/meminfo: memFree=14934448/32951132 swapFree=46579808/67111528
[pid=5792] ppid=5789 vsize=230400 CPUtime=1795.1 cores=1,3,5,7
/proc/5792/stat : 5792 (bsolo) R 5789 5792 4029 0 -1 4202496 56220 0 0 0 179306 204 0 0 25 0 1 0 829961571 235929600 55170 33554432000 134512640 137138936 4292609696 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5792/statm: 57600 55170 192 642 0 56956 0
Current children cumulated CPU time (s) 1795.1
Current children cumulated vsize (KiB) 230400
[startup+1796.7 s]
/proc/loadavg: 2.14 2.05 2.01 3/531 5878
/proc/meminfo: memFree=14933704/32951132 swapFree=46579808/67111528
[pid=5792] ppid=5789 vsize=231476 CPUtime=1796.7 cores=1,3,5,7
/proc/5792/stat : 5792 (bsolo) R 5789 5792 4029 0 -1 4202496 56482 0 0 0 179465 205 0 0 25 0 1 0 829961571 237031424 55432 33554432000 134512640 137138936 4292609696 18446744073709551615 136511072 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5792/statm: 57869 55432 192 642 0 57225 0
Current children cumulated CPU time (s) 1796.7
Current children cumulated vsize (KiB) 231476
[startup+1797.5 s]
/proc/loadavg: 2.14 2.05 2.01 3/531 5878
/proc/meminfo: memFree=14932836/32951132 swapFree=46579808/67111528
[pid=5792] ppid=5789 vsize=232008 CPUtime=1797.5 cores=1,3,5,7
/proc/5792/stat : 5792 (bsolo) R 5789 5792 4029 0 -1 4202496 56623 0 0 0 179545 205 0 0 25 0 1 0 829961571 237576192 55573 33554432000 134512640 137138936 4292609696 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5792/statm: 58002 55573 192 642 0 57358 0
Current children cumulated CPU time (s) 1797.5
Current children cumulated vsize (KiB) 232008
[startup+1797.9 s]
/proc/loadavg: 2.14 2.05 2.01 3/531 5878
/proc/meminfo: memFree=14932836/32951132 swapFree=46579808/67111528
[pid=5792] ppid=5789 vsize=232272 CPUtime=1797.9 cores=1,3,5,7
/proc/5792/stat : 5792 (bsolo) R 5789 5792 4029 0 -1 4202496 56692 0 0 0 179585 205 0 0 25 0 1 0 829961571 237846528 55642 33554432000 134512640 137138936 4292609696 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/5792/statm: 58068 55642 192 642 0 57424 0
Current children cumulated CPU time (s) 1797.9
Current children cumulated vsize (KiB) 232272
[startup+1798 s]
/proc/loadavg: 2.14 2.05 2.01 3/531 5878
/proc/meminfo: memFree=14932836/32951132 swapFree=46579808/67111528
[pid=5792] ppid=5789 vsize=0 CPUtime=1798 cores=1,3,5,7
/proc/5792/stat : 5792 (bsolo) R 5789 5792 4029 0 -1 4202500 56707 0 0 0 179594 206 0 0 25 0 1 0 829961571 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 3 0 0 0
/proc/5792/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1798.01
CPU time (s): 1798.01
CPU user time (s): 1795.95
CPU system time (s): 2.06469
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 232272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.95
system time used= 2.06469
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56707
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= 2566
runsolver used 8.77067 second user time and 22.3376 second system time
The end