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-3462803-1307183067/watcher-3462803-1307183067 -o /tmp/evaluation-result-3462803-1307183067/solver-3462803-1307183067 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462803-1307183067.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.02 2.00 3/434 8889
/proc/meminfo: memFree=12233012/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=11544 CPUtime=0 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 433 0 0 0 0 0 0 0 25 0 1 0 829906329 11821056 388 33554432000 134512640 137138936 4287398320 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 2886 389 179 642 0 2192 0
[startup+0.0526199 s]
/proc/loadavg: 2.00 2.02 2.00 3/434 8889
/proc/meminfo: memFree=12233012/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=19604 CPUtime=0.04 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 2495 0 0 0 4 0 0 0 25 0 1 0 829906329 20074496 2400 33554432000 134512640 137138936 4287398320 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 4901 2400 185 642 0 4257 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 19604
[startup+0.100611 s]
/proc/loadavg: 2.00 2.02 2.00 3/434 8889
/proc/meminfo: memFree=12233012/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=19604 CPUtime=0.09 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 2495 0 0 0 9 0 0 0 25 0 1 0 829906329 20074496 2400 33554432000 134512640 137138936 4287398320 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 4901 2400 185 642 0 4257 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19604
[startup+0.300579 s]
/proc/loadavg: 2.00 2.02 2.00 3/434 8889
/proc/meminfo: memFree=12233012/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=20804 CPUtime=0.29 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 2942 0 0 0 28 1 0 0 25 0 1 0 829906329 21303296 2719 33554432000 134512640 137138936 4287398320 18446744073709551615 136511125 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 5201 2719 192 642 0 4557 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20804
[startup+0.700508 s]
/proc/loadavg: 2.00 2.02 2.00 3/434 8889
/proc/meminfo: memFree=12233012/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=24268 CPUtime=0.69 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 3822 0 0 0 68 1 0 0 25 0 1 0 829906329 24850432 3599 33554432000 134512640 137138936 4287398320 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 6067 3599 192 642 0 5423 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24268
[startup+1.50671 s]
/proc/loadavg: 2.00 2.02 2.00 3/435 8890
/proc/meminfo: memFree=12215272/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=30992 CPUtime=1.5 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 5493 0 0 0 149 1 0 0 25 0 1 0 829906329 31735808 5270 33554432000 134512640 137138936 4287398320 18446744073709551615 136501684 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 7781 5305 192 642 0 7137 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 30992
[startup+3.10109 s]
/proc/loadavg: 2.16 2.06 2.01 3/435 8890
/proc/meminfo: memFree=12202376/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=44080 CPUtime=3.09 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 8748 0 0 0 308 1 0 0 25 0 1 0 829906329 45137920 8525 33554432000 134512640 137138936 4287398320 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 11020 8525 192 642 0 10376 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 44080
[startup+6.30053 s]
/proc/loadavg: 2.16 2.06 2.01 3/435 8890
/proc/meminfo: memFree=12172008/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=69080 CPUtime=6.29 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 15022 0 0 0 627 2 0 0 25 0 1 0 829906329 70737920 14799 33554432000 134512640 137138936 4287398320 18446744073709551615 134599706 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 17270 14799 192 642 0 16626 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 69080
[startup+12.7204 s]
/proc/loadavg: 2.14 2.06 2.01 3/435 8890
/proc/meminfo: memFree=12128276/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=108068 CPUtime=12.71 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 24748 0 0 0 1267 4 0 0 25 0 1 0 829906329 110661632 24525 33554432000 134512640 137138936 4287398320 18446744073709551615 134544858 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 27017 24525 192 642 0 26373 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 108068
[startup+25.5012 s]
/proc/loadavg: 2.11 2.05 2.01 3/435 8890
/proc/meminfo: memFree=12072476/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=156672 CPUtime=25.49 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 36894 0 0 0 2541 8 0 0 25 0 1 0 829906329 160432128 36671 33554432000 134512640 137138936 4287398320 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 39168 36671 192 642 0 38524 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 156672
[startup+51.1008 s]
/proc/loadavg: 2.07 2.05 2.01 3/435 8891
/proc/meminfo: memFree=12066568/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=150472 CPUtime=51.09 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 36894 0 0 0 5099 10 0 0 25 0 1 0 829906329 154083328 35153 33554432000 134512640 137138936 4287398320 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 37618 35153 192 642 0 36974 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 150472
[startup+102.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/435 8893
/proc/meminfo: memFree=12047084/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=155860 CPUtime=102.28 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 39117 0 0 0 10214 14 0 0 25 0 1 0 829906329 159600640 36484 33554432000 134512640 137138936 4287398320 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 38965 36484 192 642 0 38321 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 155860
[startup+162.316 s]
/proc/loadavg: 2.01 2.03 2.00 3/435 8894
/proc/meminfo: memFree=12047196/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=155860 CPUtime=162.3 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 39117 0 0 0 16211 19 0 0 25 0 1 0 829906329 159600640 36484 33554432000 134512640 137138936 4287398320 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 38965 36484 192 642 0 38321 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 155860
[startup+222.301 s]
/proc/loadavg: 2.05 2.04 2.00 3/435 8896
/proc/meminfo: memFree=12037884/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=163928 CPUtime=222.29 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 41545 0 0 0 22206 23 0 0 25 0 1 0 829906329 167862272 38517 33554432000 134512640 137138936 4287398320 18446744073709551615 134542495 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 40982 38517 192 642 0 40338 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 163928
[startup+282.301 s]
/proc/loadavg: 2.05 2.04 2.00 3/435 8897
/proc/meminfo: memFree=12028456/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=176084 CPUtime=282.29 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 44563 0 0 0 28201 28 0 0 25 0 1 0 829906329 180310016 41535 33554432000 134512640 137138936 4287398320 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 44021 41535 192 642 0 43377 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 176084
[startup+342.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/435 8899
/proc/meminfo: memFree=12027584/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=176744 CPUtime=342.29 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 44731 0 0 0 34198 31 0 0 25 0 1 0 829906329 180985856 41703 33554432000 134512640 137138936 4287398320 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 44186 41703 192 642 0 43542 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 176744
[startup+402.301 s]
/proc/loadavg: 2.06 2.06 2.01 3/435 8901
/proc/meminfo: memFree=12021376/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=182896 CPUtime=402.29 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 46282 0 0 0 40195 34 0 0 25 0 1 0 829906329 187285504 43254 33554432000 134512640 137138936 4287398320 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 45724 43254 192 642 0 45080 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 182896
[startup+462.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/435 8902
/proc/meminfo: memFree=12021372/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=182896 CPUtime=462.29 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 46282 0 0 0 46191 38 0 0 25 0 1 0 829906329 187285504 43254 33554432000 134512640 137138936 4287398320 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 45724 43254 192 642 0 45080 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 182896
[startup+522.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/435 8904
/proc/meminfo: memFree=12021360/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=182460 CPUtime=522.29 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 46282 0 0 0 52189 40 0 0 25 0 1 0 829906329 186839040 43150 33554432000 134512640 137138936 4287398320 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 45615 43150 192 642 0 44971 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 182460
[startup+582.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/435 8905
/proc/meminfo: memFree=12013788/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=190668 CPUtime=582.29 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 48313 0 0 0 58184 45 0 0 25 0 1 0 829906329 195244032 45181 33554432000 134512640 137138936 4287398320 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 47667 45181 192 642 0 47023 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 190668
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=12017332/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=186444 CPUtime=1062.3 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 48579 0 0 0 106156 74 0 0 25 0 1 0 829906329 190918656 44146 33554432000 134512640 137138936 4287398320 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 46611 44146 192 642 0 45967 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 186444
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/435 8920
/proc/meminfo: memFree=12017820/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=186444 CPUtime=1122.3 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 48579 0 0 0 112153 77 0 0 25 0 1 0 829906329 190918656 44146 33554432000 134512640 137138936 4287398320 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 46611 44146 192 642 0 45967 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 186444
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/435 8921
/proc/meminfo: memFree=12016200/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=188408 CPUtime=1182.3 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 49051 0 0 0 118149 81 0 0 25 0 1 0 829906329 192929792 44618 33554432000 134512640 137138936 4287398320 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 47102 44618 192 642 0 46458 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 188408
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/435 8923
/proc/meminfo: memFree=12014084/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=190752 CPUtime=1242.31 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 49638 0 0 0 124146 85 0 0 25 0 1 0 829906329 195330048 45205 33554432000 134512640 137138936 4287398320 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 47688 45205 192 642 0 47044 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 190752
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/435 8952
/proc/meminfo: memFree=12293508/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=190052 CPUtime=1302.31 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 49638 0 0 0 130143 88 0 0 25 0 1 0 829906329 194613248 45048 33554432000 134512640 137138936 4287398320 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 47513 45048 192 642 0 46869 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 190052
[startup+1362.3 s]
/proc/loadavg: 2.16 2.06 2.02 3/435 8953
/proc/meminfo: memFree=12260200/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=190184 CPUtime=1362.3 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 49669 0 0 0 136139 91 0 0 25 0 1 0 829906329 194748416 45079 33554432000 134512640 137138936 4287398320 18446744073709551615 136521035 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 47546 45079 192 642 0 46902 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 190184
[startup+1422.3 s]
/proc/loadavg: 2.15 2.08 2.02 3/435 8955
/proc/meminfo: memFree=12255356/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=190184 CPUtime=1422.3 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 49669 0 0 0 142136 94 0 0 25 0 1 0 829906329 194748416 45079 33554432000 134512640 137138936 4287398320 18446744073709551615 134552049 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 47546 45079 192 642 0 46902 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 190184
[startup+1482.3 s]
/proc/loadavg: 2.05 2.06 2.02 3/435 8956
/proc/meminfo: memFree=12244184/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=196280 CPUtime=1482.31 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 51264 0 0 0 148134 97 0 0 25 0 1 0 829906329 200990720 46605 33554432000 134512640 137138936 4287398320 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 49070 46605 192 642 0 48426 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 196280
[startup+1542.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/435 8958
/proc/meminfo: memFree=12239088/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=198128 CPUtime=1542.31 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 51708 0 0 0 154131 100 0 0 25 0 1 0 829906329 202883072 47049 33554432000 134512640 137138936 4287398320 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 49532 47049 192 642 0 48888 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 198128
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/435 8960
/proc/meminfo: memFree=12237592/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=198128 CPUtime=1602.31 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 51708 0 0 0 160127 104 0 0 25 0 1 0 829906329 202883072 47049 33554432000 134512640 137138936 4287398320 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 49532 47049 192 642 0 48888 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 198128
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/435 8961
/proc/meminfo: memFree=12234620/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=197488 CPUtime=1662.31 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 51708 0 0 0 166125 106 0 0 25 0 1 0 829906329 202227712 46907 33554432000 134512640 137138936 4287398320 18446744073709551615 136504249 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 49372 46907 192 642 0 48728 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 197488
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/435 8963
/proc/meminfo: memFree=12234244/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=197488 CPUtime=1722.31 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 51708 0 0 0 172122 109 0 0 25 0 1 0 829906329 202227712 46907 33554432000 134512640 137138936 4287398320 18446744073709551615 136504021 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 49372 46907 192 642 0 48728 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 197488
[startup+1782.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/435 8964
/proc/meminfo: memFree=12224436/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=206980 CPUtime=1782.33 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 54069 0 0 0 178120 113 0 0 25 0 1 0 829906329 211947520 49268 33554432000 134512640 137138936 4287398320 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 51745 49268 192 642 0 51101 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 206980
Solver just ended. Dumping a history of the last processes samples
[startup+1786.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/435 8964
/proc/meminfo: memFree=12224436/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=206980 CPUtime=1786.91 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 54069 0 0 0 178578 113 0 0 25 0 1 0 829906329 211947520 49268 33554432000 134512640 137138936 4287398320 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 51745 49268 192 642 0 51101 0
Current children cumulated CPU time (s) 1786.91
Current children cumulated vsize (KiB) 206980
[startup+1793.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/435 8965
/proc/meminfo: memFree=12224432/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=206980 CPUtime=1793.33 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 54069 0 0 0 179219 114 0 0 25 0 1 0 829906329 211947520 49268 33554432000 134512640 137138936 4287398320 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 51745 49268 192 642 0 51101 0
Current children cumulated CPU time (s) 1793.33
Current children cumulated vsize (KiB) 206980
[startup+1796.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/435 8965
/proc/meminfo: memFree=12224432/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=206980 CPUtime=1796.52 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 54069 0 0 0 179538 114 0 0 25 0 1 0 829906329 211947520 49268 33554432000 134512640 137138936 4287398320 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 51745 49268 192 642 0 51101 0
Current children cumulated CPU time (s) 1796.52
Current children cumulated vsize (KiB) 206980
[startup+1797.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/435 8965
/proc/meminfo: memFree=12224432/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=206980 CPUtime=1797.31 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 54069 0 0 0 179617 114 0 0 25 0 1 0 829906329 211947520 49268 33554432000 134512640 137138936 4287398320 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 51745 49268 192 642 0 51101 0
Current children cumulated CPU time (s) 1797.31
Current children cumulated vsize (KiB) 206980
[startup+1797.72 s]
/proc/loadavg: 2.00 2.01 2.00 3/435 8965
/proc/meminfo: memFree=12224432/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=206980 CPUtime=1797.73 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 54069 0 0 0 179659 114 0 0 25 0 1 0 829906329 211947520 49268 33554432000 134512640 137138936 4287398320 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 51745 49268 192 642 0 51101 0
Current children cumulated CPU time (s) 1797.73
Current children cumulated vsize (KiB) 206980
[startup+1797.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/435 8965
/proc/meminfo: memFree=12224432/32951132 swapFree=67093840/67111528
[pid=8889] ppid=8887 vsize=206980 CPUtime=1797.91 cores=0,2,4,6
/proc/8889/stat : 8889 (bsolo) R 8887 8889 6192 0 -1 4202496 54069 0 0 0 179677 114 0 0 25 0 1 0 829906329 211947520 49268 33554432000 134512640 137138936 4287398320 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8889/statm: 51745 49268 192 642 0 51101 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 206980
Child status: 0
Real time (s): 1798
CPU time (s): 1798.01
CPU user time (s): 1796.86
CPU system time (s): 1.14982
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 206980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.86
system time used= 1.14982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54070
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= 3407
runsolver used 8.66268 second user time and 17.4943 second system time
The end