Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 1.12 | SAT (TO) | 223947 | 252.003 | 252.01 |
Name | Auction/Auction-cnt/ Auction-cnt-decay100_c18.xml |
MD5SUM | 229d8d70b2521f5ebfd70fdb2bbdf7b3 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 742697 |
Best CPU time to get the best result obtained on this benchmark | 252.1 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2000 |
Number of constraints | 100 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":2000}] |
Minimum variable degree | 2 |
Maximum variable degree | 27 |
Distribution of variable degrees | [{"degree":2,"count":100},{"degree":3,"count":416},{"degree":4,"count":329},{"degree":5,"count":277},{"degree":6,"count":189},{"degree":7,"count":160},{"degree":8,"count":116},{"degree":9,"count":93},{"degree":10,"count":77},{"degree":11,"count":48},{"degree":12,"count":46},{"degree":13,"count":35},{"degree":14,"count":25},{"degree":15,"count":17},{"degree":16,"count":13},{"degree":17,"count":17},{"degree":18,"count":7},{"degree":19,"count":5},{"degree":20,"count":7},{"degree":21,"count":7},{"degree":22,"count":3},{"degree":23,"count":3},{"degree":24,"count":1},{"degree":25,"count":4},{"degree":26,"count":3},{"degree":27,"count":2}] |
Minimum constraint arity | 83 |
Maximum constraint arity | 128 |
Distribution of constraint arities | [{"arity":83,"count":1},{"arity":85,"count":1},{"arity":86,"count":3},{"arity":87,"count":1},{"arity":88,"count":1},{"arity":89,"count":2},{"arity":90,"count":1},{"arity":92,"count":2},{"arity":93,"count":1},{"arity":94,"count":2},{"arity":95,"count":2},{"arity":96,"count":3},{"arity":97,"count":3},{"arity":98,"count":4},{"arity":99,"count":1},{"arity":100,"count":3},{"arity":101,"count":5},{"arity":102,"count":4},{"arity":103,"count":4},{"arity":104,"count":4},{"arity":105,"count":7},{"arity":106,"count":6},{"arity":107,"count":6},{"arity":108,"count":1},{"arity":109,"count":4},{"arity":110,"count":3},{"arity":111,"count":2},{"arity":112,"count":2},{"arity":113,"count":1},{"arity":114,"count":2},{"arity":115,"count":2},{"arity":116,"count":3},{"arity":118,"count":1},{"arity":119,"count":2},{"arity":120,"count":2},{"arity":121,"count":2},{"arity":122,"count":2},{"arity":123,"count":1},{"arity":126,"count":1},{"arity":128,"count":2}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"count","count":100}] |
Optimization problem | YES |
Type of objective | max SUM |
0.10/0.11 c best=?? lower=0 upper=27496341 0.31/0.37 c 0.31/0.37 c This is cosoco 1.12 -- 0.31/0.37 c 0.31/0.37 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4301449-1532881260.xml 0.31/0.37 c enable optimization 0.31/0.37 c ========================================[ Problem Statistics ]=========================================== 0.31/0.37 c | 0.31/0.37 c | Parse time : 0.11 s 0.31/0.37 c | 0.31/0.37 c | Variables: 2000 0.31/0.37 c | Domain Sizes: 2..2 0.31/0.37 c | 0.31/0.37 c | Constraints: 101 0.31/0.37 c | Arity: 83..2000 0.31/0.37 c | 0.31/0.37 c | Types: 0.31/0.37 c | At most: 100 0.31/0.37 c | Sum: 1 0.31/0.37 c | 0.31/0.37 c | Objective: Maximize Sum 0.31/0.37 0.31/0.37 c ========================================================================================================= 0.31/0.37 o 0 0.31/0.37 c 1 calls to solver: best=0 lower=1 upper=27496341 0.79/0.81 o 18807 1.19/1.25 o 29168 1.19/1.25 c 3 calls to solver: best=29168 lower=29169 upper=27496341 1.59/1.69 o 35705 2.10/2.13 o 45453 2.10/2.13 c 5 calls to solver: best=45453 lower=45454 upper=27496341 2.49/2.56 o 49034 2.89/3.00 o 62931 2.89/3.00 c 7 calls to solver: best=62931 lower=62932 upper=27496341 3.39/3.44 o 69062 3.79/3.88 o 75165 3.79/3.88 c 9 calls to solver: best=75165 lower=75166 upper=27496341 4.29/4.32 o 82742 4.69/4.76 o 85415 4.69/4.76 c 11 calls to solver: best=85415 lower=85416 upper=27496341 5.19/5.20 o 89866 5.59/5.63 o 92990 5.59/5.63 c 13 calls to solver: best=92990 lower=92991 upper=27496341 6.00/6.07 o 94621 6.49/6.51 o 96226 6.49/6.51 c 15 calls to solver: best=96226 lower=96227 upper=27496341 6.89/6.95 o 97321 7.29/7.39 o 99068 7.29/7.39 c 17 calls to solver: best=99068 lower=99069 upper=27496341 7.79/7.83 o 102515 8.19/8.27 o 109611 8.19/8.27 c 19 calls to solver: best=109611 lower=109612 upper=27496341 8.69/8.71 o 109658 9.10/9.14 o 114638 9.10/9.14 c 21 calls to solver: best=114638 lower=114639 upper=27496341 9.49/9.58 o 120305 10.00/10.02 o 120509 10.00/10.02 c 23 calls to solver: best=120509 lower=120510 upper=27496341 10.39/10.46 o 120936 10.89/10.91 o 121931 10.89/10.91 c 25 calls to solver: best=121931 lower=121932 upper=27496341 11.29/11.35 o 127242 11.79/11.80 o 127794 11.79/11.80 c 27 calls to solver: best=127794 lower=127795 upper=27496341 12.19/12.25 o 129740 12.69/12.70 o 129945 12.69/12.70 c 29 calls to solver: best=129945 lower=129946 upper=27496341 13.10/13.14 o 130093 13.48/13.59 o 131486 13.48/13.59 c 31 calls to solver: best=131486 lower=131487 upper=27496341 13.99/14.02 o 131552 14.38/14.44 o 132006 14.38/14.44 c 33 calls to solver: best=132006 lower=132007 upper=27496341 14.78/14.87 o 132784 15.28/15.32 o 132877 15.28/15.32 c 35 calls to solver: best=132877 lower=132878 upper=27496341 16.78/16.83 o 133063 17.18/17.27 o 133787 17.18/17.27 c 37 calls to solver: best=133787 lower=133788 upper=27496341 17.68/17.71 o 134054 18.09/18.13 o 134113 18.09/18.13 c 39 calls to solver: best=134113 lower=134114 upper=27496341 18.48/18.56 o 134630 18.88/18.99 o 135516 18.88/18.99 c 41 calls to solver: best=135516 lower=135517 upper=27496341 19.38/19.41 o 135532 19.78/19.84 o 135916 19.78/19.84 c 43 calls to solver: best=135916 lower=135917 upper=27496341 20.18/20.27 o 135941 20.58/20.69 o 136051 20.58/20.69 c 45 calls to solver: best=136051 lower=136052 upper=27496341 21.09/21.12 o 136076 21.48/21.55 o 136166 21.48/21.55 c 47 calls to solver: best=136166 lower=136167 upper=27496341 21.88/21.97 o 136922 22.38/22.40 o 137001 22.38/22.40 c 49 calls to solver: best=137001 lower=137002 upper=27496341 22.78/22.83 o 137308 23.18/23.25 o 137723 23.18/23.25 c 51 calls to solver: best=137723 lower=137724 upper=27496341 23.58/23.68 o 138503 24.10/24.11 o 139226 24.10/24.11 c 53 calls to solver: best=139226 lower=139227 upper=27496341 24.49/24.54 o 139824 24.89/24.96 o 140620 24.89/24.96 c 55 calls to solver: best=140620 lower=140621 upper=27496341 25.29/25.39 o 140710 25.79/25.82 o 140819 25.79/25.82 c 57 calls to solver: best=140819 lower=140820 upper=27496341 26.19/26.24 o 140983 26.59/26.67 o 142459 26.59/26.67 c 59 calls to solver: best=142459 lower=142460 upper=27496341 27.00/27.10 o 142684 27.49/27.52 o 143574 27.49/27.52 c 61 calls to solver: best=143574 lower=143575 upper=27496341 27.89/27.95 o 144458 28.29/28.38 o 144719 28.29/28.38 c 63 calls to solver: best=144719 lower=144720 upper=27496341 28.79/28.80 o 145263 29.19/29.23 o 145798 29.19/29.23 c 65 calls to solver: best=145798 lower=145799 upper=27496341 29.59/29.66 o 146032 30.00/30.08 o 146076 30.00/30.08 c 67 calls to solver: best=146076 lower=146077 upper=27496341 30.49/30.51 o 146293 30.89/30.94 o 146837 30.89/30.94 c 69 calls to solver: best=146837 lower=146838 upper=27496341 31.29/31.36 o 146849 31.69/31.79 o 147005 31.69/31.79 c 71 calls to solver: best=147005 lower=147006 upper=27496341 32.19/32.22 o 147730 32.59/32.64 o 147889 32.59/32.64 c 73 calls to solver: best=147889 lower=147890 upper=27496341 33.00/33.07 o 148259 33.49/33.50 o 148416 33.49/33.50 c 75 calls to solver: best=148416 lower=148417 upper=27496341 33.89/33.92 o 148721 34.29/34.35 o 148882 34.29/34.35 c 77 calls to solver: best=148882 lower=148883 upper=27496341 34.69/34.78 o 149099 35.19/35.21 o 149283 35.19/35.21 c 79 calls to solver: best=149283 lower=149284 upper=27496341 35.59/35.63 o 149411 36.00/36.06 o 149644 36.00/36.06 c 81 calls to solver: best=149644 lower=149645 upper=27496341 36.39/36.49 o 149734 36.89/36.91 o 149747 36.89/36.91 c 83 calls to solver: best=149747 lower=149748 upper=27496341 37.29/37.34 o 150126 37.69/37.77 o 150308 37.69/37.77 c 85 calls to solver: best=150308 lower=150309 upper=27496341 38.10/38.19 o 150589 38.59/38.62 o 150929 38.59/38.62 c 87 calls to solver: best=150929 lower=150930 upper=27496341 39.00/39.04 o 151457 39.39/39.47 o 152253 39.39/39.47 c 89 calls to solver: best=152253 lower=152254 upper=27496341 39.89/39.90 o 152446 40.29/40.32 o 152758 40.29/40.32 c 91 calls to solver: best=152758 lower=152759 upper=27496341 40.69/40.75 o 152932 41.10/41.18 o 153255 41.10/41.18 c 93 calls to solver: best=153255 lower=153256 upper=27496341 41.59/41.60 o 153336 42.00/42.03 o 153535 42.00/42.03 c 95 calls to solver: best=153535 lower=153536 upper=27496341 42.39/42.46 o 153774 42.79/42.88 o 154318 42.79/42.88 c 97 calls to solver: best=154318 lower=154319 upper=27496341 43.29/43.31 o 154949 43.69/43.74 o 155039 43.69/43.74 c 99 calls to solver: best=155039 lower=155040 upper=27496341 44.10/44.16 o 155291 44.49/44.59 o 155493 44.49/44.59 c 101 calls to solver: best=155493 lower=155494 upper=27496341 45.00/45.01 o 155835 45.39/45.44 o 156177 45.39/45.44 c 103 calls to solver: best=156177 lower=156178 upper=27496341 45.79/45.87 o 156205 46.19/46.29 o 156379 46.19/46.29 c 105 calls to solver: best=156379 lower=156380 upper=27496341 46.69/46.72 o 156749 47.10/47.15 o 157091 47.10/47.15 c 107 calls to solver: best=157091 lower=157092 upper=27496341 47.49/47.57 o 157100 47.89/48.00 o 157190 47.89/48.00 c 109 calls to solver: best=157190 lower=157191 upper=27496341 48.39/48.43 o 157492 48.79/48.86 o 157559 48.79/48.86 c 111 calls to solver: best=157559 lower=157560 upper=27496341 49.19/49.28 o 157724 49.69/49.71 o 157739 49.69/49.71 c 113 calls to solver: best=157739 lower=157740 upper=27496341 50.10/50.14 o 157994 50.49/50.56 o 158006 50.49/50.56 c 115 calls to solver: best=158006 lower=158007 upper=27496341 50.89/50.99 o 158027 51.79/51.84 o 158245 51.79/51.84 c 117 calls to solver: best=158245 lower=158246 upper=27496341 52.19/52.27 o 158421 52.69/52.71 o 158480 52.69/52.71 c 119 calls to solver: best=158480 lower=158481 upper=27496341 53.10/53.13 o 158758 53.49/53.56 o 158766 53.49/53.56 c 121 calls to solver: best=158766 lower=158767 upper=27496341 53.89/53.98 o 158791 54.39/54.41 o 159089 54.39/54.41 c 123 calls to solver: best=159089 lower=159090 upper=27496341 54.79/54.84 o 159211 55.19/55.26 o 159274 55.19/55.26 c 125 calls to solver: best=159274 lower=159275 upper=27496341 55.59/55.69 o 159461 56.10/56.12 o 159730 56.10/56.12 c 127 calls to solver: best=159730 lower=159731 upper=27496341 56.49/56.54 o 159926 56.89/56.97 o 160168 56.89/56.97 c 129 calls to solver: best=160168 lower=160169 upper=27496341 57.29/57.39 o 160219 57.79/57.82 o 160695 57.79/57.82 c 131 calls to solver: best=160695 lower=160696 upper=27496341 58.19/58.25 o 160963 58.59/58.67 o 161261 58.59/58.67 c 133 calls to solver: best=161261 lower=161262 upper=27496341 59.00/59.10 o 161600 59.49/59.52 o 161615 59.49/59.52 c 135 calls to solver: best=161615 lower=161616 upper=27496341 59.89/59.95 o 161793 60.29/60.38 o 162060 60.29/60.38 c 137 calls to solver: best=162060 lower=162061 upper=27496341 60.79/60.80 o 162373 61.19/61.23 o 162383 61.19/61.23 c 139 calls to solver: best=162383 lower=162384 upper=27496341 61.59/61.66 o 162402 62.00/62.08 o 162408 62.00/62.08 c 141 calls to solver: best=162408 lower=162409 upper=27496341 62.49/62.51 o 162670 62.89/62.93 o 162695 62.89/62.93 c 143 calls to solver: best=162695 lower=162696 upper=27496341 63.29/63.36 o 162937 63.69/63.78 o 162953 63.69/63.78 c 145 calls to solver: best=162953 lower=162954 upper=27496341 64.19/64.21 o 163088 64.59/64.64 o 163366 64.59/64.64 c 147 calls to solver: best=163366 lower=163367 upper=27496341 65.00/65.06 o 163391 65.39/65.49 o 163436 65.39/65.49 c 149 calls to solver: best=163436 lower=163437 upper=27496341 65.89/65.91 o 163611 66.29/66.34 o 163974 66.29/66.34 c 151 calls to solver: best=163974 lower=163975 upper=27496341 66.69/66.77 o 164146 67.10/67.19 o 164226 67.10/67.19 c 153 calls to solver: best=164226 lower=164227 upper=27496341 67.59/67.62 o 164251 68.00/68.04 o 164595 68.00/68.04 c 155 calls to solver: best=164595 lower=164596 upper=27496341 68.39/68.47 o 164611 68.79/68.89 o 164889 68.79/68.89 c 157 calls to solver: best=164889 lower=164890 upper=27496341 69.29/69.32 o 164912 69.69/69.75 o 165039 69.69/69.75 c 159 calls to solver: best=165039 lower=165040 upper=27496341 70.10/70.17 o 165310 70.59/70.60 o 165652 70.59/70.60 c 161 calls to solver: best=165652 lower=165653 upper=27496341 71.00/71.02 o 165743 71.39/71.45 o 165905 71.39/71.45 c 163 calls to solver: best=165905 lower=165906 upper=27496341 71.79/71.88 o 165908 72.29/72.30 o 166041 72.29/72.30 c 165 calls to solver: best=166041 lower=166042 upper=27496341 72.69/72.73 o 166066 73.10/73.15 o 166374 73.10/73.15 c 167 calls to solver: best=166374 lower=166375 upper=27496341 73.49/73.58 o 166531 74.00/74.00 o 166538 74.00/74.00 c 169 calls to solver: best=166538 lower=166539 upper=27496341 74.39/74.43 o 166841 74.79/74.86 o 167007 74.79/74.86 c 171 calls to solver: best=167007 lower=167008 upper=27496341 75.19/75.28 o 167325 75.69/75.71 o 167408 75.69/75.71 c 173 calls to solver: best=167408 lower=167409 upper=27496341 76.10/76.14 o 167750 76.49/76.56 o 168187 76.49/76.56 c 175 calls to solver: best=168187 lower=168188 upper=27496341 76.89/76.99 o 168314 77.39/77.41 o 168519 77.39/77.41 c 177 calls to solver: best=168519 lower=168520 upper=27496341 77.79/77.84 o 168804 78.19/78.27 o 168827 78.19/78.27 c 179 calls to solver: best=168827 lower=168828 upper=27496341 78.59/78.69 o 168960 79.10/79.12 o 169147 79.10/79.12 c 181 calls to solver: best=169147 lower=169148 upper=27496341 79.49/79.54 o 169413 79.89/79.97 o 169472 79.89/79.97 c 183 calls to solver: best=169472 lower=169473 upper=27496341 80.29/80.39 o 169762 80.79/80.82 o 169912 80.79/80.82 c 185 calls to solver: best=169912 lower=169913 upper=27496341 81.19/81.25 o 170138 81.59/81.67 o 170241 81.59/81.67 c 187 calls to solver: best=170241 lower=170242 upper=27496341 82.00/82.10 o 170266 82.49/82.52 o 170576 82.49/82.52 c 189 calls to solver: best=170576 lower=170577 upper=27496341 82.89/82.95 o 170918 83.29/83.38 o 171007 83.29/83.38 c 191 calls to solver: best=171007 lower=171008 upper=27496341 83.79/83.80 o 171104 84.19/84.23 o 171132 84.19/84.23 c 193 calls to solver: best=171132 lower=171133 upper=27496341 84.59/84.65 o 171474 85.00/85.08 o 171481 85.00/85.08 c 195 calls to solver: best=171481 lower=171482 upper=27496341 85.49/85.51 o 171506 85.89/85.93 o 171534 85.89/85.93 c 197 calls to solver: best=171534 lower=171535 upper=27496341 86.29/86.36 o 171562 86.69/86.78 o 171613 86.69/86.78 c 199 calls to solver: best=171613 lower=171614 upper=27496341 87.19/87.21 o 171957 87.59/87.64 o 172086 87.59/87.64 c 201 calls to solver: best=172086 lower=172087 upper=27496341 88.00/88.06 o 172102 88.39/88.49 o 172345 88.39/88.49 c 203 calls to solver: best=172345 lower=172346 upper=27496341 88.89/88.91 o 172347 89.29/89.34 o 172558 89.29/89.34 c 205 calls to solver: best=172558 lower=172559 upper=27496341 89.69/89.77 o 172611 90.10/90.19 o 172872 90.10/90.19 c 207 calls to solver: best=172872 lower=172873 upper=27496341 90.59/90.62 o 173059 91.00/91.04 o 173128 91.00/91.04 c 209 calls to solver: best=173128 lower=173129 upper=27496341 91.39/91.47 o 173191 91.79/91.90 o 173361 91.79/91.90 c 211 calls to solver: best=173361 lower=173362 upper=27496341 92.29/92.32 o 173436 92.69/92.75 o 173633 92.69/92.75 c 213 calls to solver: best=173633 lower=173634 upper=27496341 93.10/93.17 o 173764 93.59/93.60 o 174042 93.59/93.60 c 215 calls to solver: best=174042 lower=174043 upper=27496341 94.00/94.02 o 174279 94.39/94.45 o 174421 94.39/94.45 c 217 calls to solver: best=174421 lower=174422 upper=27496341 94.79/94.88 o 174763 95.29/95.30 o 174788 95.29/95.30 c 219 calls to solver: best=174788 lower=174789 upper=27496341 95.69/95.73 o 174936 96.10/96.15 o 175121 96.10/96.15 c 221 calls to solver: best=175121 lower=175122 upper=27496341 96.49/96.58 o 175275 97.00/97.01 o 175441 97.00/97.01 c 223 calls to solver: best=175441 lower=175442 upper=27496341 97.39/97.43 o 175547 97.79/97.86 o 175586 97.79/97.86 c 225 calls to solver: best=175586 lower=175587 upper=27496341 98.19/98.28 o 175924 98.69/98.71 o 176054 98.69/98.71 c 227 calls to solver: best=176054 lower=176055 upper=27496341 99.10/99.14 o 176079 99.49/99.56 o 176083 99.49/99.56 c 229 calls to solver: best=176083 lower=176084 upper=27496341 99.89/99.99 o 176151 100.39/100.41 o 176155 100.39/100.41 c 231 calls to solver: best=176155 lower=176156 upper=27496341 100.79/100.84 o 176180 101.19/101.27 o 176233 101.19/101.27 c 233 calls to solver: best=176233 lower=176234 upper=27496341 101.59/101.69 o 176249 102.10/102.12 o 176586 102.10/102.12 c 235 calls to solver: best=176586 lower=176587 upper=27496341 102.49/102.54 o 176695 102.89/102.97 o 176703 102.89/102.97 c 237 calls to solver: best=176703 lower=176704 upper=27496341 103.29/103.40 o 176752 103.79/103.82 o 176777 103.79/103.82 c 239 calls to solver: best=176777 lower=176778 upper=27496341 104.19/104.25 o 177048 104.59/104.67 o 177143 104.59/104.67 c 241 calls to solver: best=177143 lower=177144 upper=27496341 105.00/105.10 o 177314 105.49/105.53 o 177486 105.49/105.53 c 243 calls to solver: best=177486 lower=177487 upper=27496341 105.89/105.95 o 177739 106.29/106.38 o 177923 106.29/106.38 c 245 calls to solver: best=177923 lower=177924 upper=27496341 106.79/106.80 o 177946 107.19/107.23 o 178020 107.19/107.23 c 247 calls to solver: best=178020 lower=178021 upper=27496341 107.59/107.65 o 178067 108.00/108.08 o 178075 108.00/108.08 c 249 calls to solver: best=178075 lower=178076 upper=27496341 108.49/108.51 o 178100 108.89/108.93 o 178324 108.89/108.93 c 251 calls to solver: best=178324 lower=178325 upper=27496341 109.29/109.36 o 178478 109.69/109.78 o 178820 109.69/109.78 c 253 calls to solver: best=178820 lower=178821 upper=27496341 110.19/110.21 o 178835 110.59/110.63 o 178942 110.59/110.63 c 255 calls to solver: best=178942 lower=178943 upper=27496341 111.00/111.06 o 179114 111.39/111.49 o 179211 111.39/111.49 c 257 calls to solver: best=179211 lower=179212 upper=27496341 111.89/111.91 o 179224 112.29/112.34 o 179292 112.29/112.34 c 259 calls to solver: best=179292 lower=179293 upper=27496341 112.69/112.76 o 179309 113.10/113.19 o 179623 113.10/113.19 c 261 calls to solver: best=179623 lower=179624 upper=27496341 113.59/113.62 o 179648 114.00/114.04 o 179892 114.00/114.04 c 263 calls to solver: best=179892 lower=179893 upper=27496341 114.39/114.47 o 180136 114.79/114.89 o 180270 114.79/114.89 c 265 calls to solver: best=180270 lower=180271 upper=27496341 115.29/115.32 o 180295 115.69/115.75 o 180584 115.69/115.75 c 267 calls to solver: best=180584 lower=180585 upper=27496341 116.10/116.17 o 180856 116.59/116.60 o 180926 116.59/116.60 c 269 calls to solver: best=180926 lower=180927 upper=27496341 117.00/117.02 o 181194 117.39/117.45 o 181337 117.39/117.45 c 271 calls to solver: best=181337 lower=181338 upper=27496341 117.79/117.88 o 181612 118.29/118.30 o 181757 118.29/118.30 c 273 calls to solver: best=181757 lower=181758 upper=27496341 118.69/118.73 o 182072 119.10/119.15 o 182414 119.10/119.15 c 275 calls to solver: best=182414 lower=182415 upper=27496341 119.49/119.58 o 182565 120.00/120.00 o 182829 120.00/120.00 c 277 calls to solver: best=182829 lower=182830 upper=27496341 120.39/120.43 o 182973 120.79/120.86 o 183218 120.79/120.86 c 279 calls to solver: best=183218 lower=183219 upper=27496341 121.19/121.28 o 183411 121.69/121.71 o 183460 121.69/121.71 c 281 calls to solver: best=183460 lower=183461 upper=27496341 122.10/122.14 o 183582 122.49/122.56 o 183702 122.49/122.56 c 283 calls to solver: best=183702 lower=183703 upper=27496341 122.89/122.99 o 183783 123.39/123.41 o 184044 123.39/123.41 c 285 calls to solver: best=184044 lower=184045 upper=27496341 123.79/123.84 o 184065 124.19/124.27 o 184139 124.19/124.27 c 287 calls to solver: best=184139 lower=184140 upper=27496341 124.59/124.69 o 184466 125.10/125.12 o 184707 125.10/125.12 c 289 calls to solver: best=184707 lower=184708 upper=27496341 125.49/125.54 o 185023 125.89/125.97 o 185038 125.89/125.97 c 291 calls to solver: best=185038 lower=185039 upper=27496341 126.29/126.40 o 185063 126.79/126.82 o 185145 126.79/126.82 c 293 calls to solver: best=185145 lower=185146 upper=27496341 127.19/127.25 o 185444 127.59/127.67 o 185462 127.59/127.67 c 295 calls to solver: best=185462 lower=185463 upper=27496341 128.00/128.10 o 185697 128.49/128.52 o 186015 128.49/128.52 c 297 calls to solver: best=186015 lower=186016 upper=27496341 128.89/128.95 o 186216 129.29/129.38 o 186558 129.29/129.38 c 299 calls to solver: best=186558 lower=186559 upper=27496341 129.79/129.80 o 186635 130.19/130.23 o 186804 130.19/130.23 c 301 calls to solver: best=186804 lower=186805 upper=27496341 130.59/130.65 o 186815 131.00/131.08 o 186919 131.00/131.08 c 303 calls to solver: best=186919 lower=186920 upper=27496341 131.49/131.50 o 186944 131.89/131.93 o 187011 131.89/131.93 c 305 calls to solver: best=187011 lower=187012 upper=27496341 132.29/132.36 o 187276 132.69/132.78 o 187435 132.69/132.78 c 307 calls to solver: best=187435 lower=187436 upper=27496341 133.19/133.21 o 187629 133.59/133.63 o 187654 133.59/133.63 c 309 calls to solver: best=187654 lower=187655 upper=27496341 134.00/134.06 o 187853 134.39/134.48 o 188020 134.39/134.48 c 311 calls to solver: best=188020 lower=188021 upper=27496341 134.89/134.91 o 188151 135.29/135.34 o 188383 135.29/135.34 c 313 calls to solver: best=188383 lower=188384 upper=27496341 135.69/135.76 o 188565 136.10/136.19 o 188590 136.10/136.19 c 315 calls to solver: best=188590 lower=188591 upper=27496341 136.59/136.61 o 188611 137.00/137.04 o 188897 137.00/137.04 c 317 calls to solver: best=188897 lower=188898 upper=27496341 137.39/137.47 o 188940 137.79/137.89 o 189185 137.79/137.89 c 319 calls to solver: best=189185 lower=189186 upper=27496341 138.29/138.32 o 189358 138.69/138.74 o 189619 138.69/138.74 c 321 calls to solver: best=189619 lower=189620 upper=27496341 139.10/139.17 o 189919 139.49/139.60 o 189946 139.49/139.60 c 323 calls to solver: best=189946 lower=189947 upper=27496341 140.00/140.02 o 190070 140.39/140.45 o 190095 140.39/140.45 c 325 calls to solver: best=190095 lower=190096 upper=27496341 140.79/140.87 o 190418 141.29/141.30 o 190734 141.29/141.30 c 327 calls to solver: best=190734 lower=190735 upper=27496341 141.69/141.73 o 190809 142.10/142.15 o 191076 142.10/142.15 c 329 calls to solver: best=191076 lower=191077 upper=27496341 142.49/142.58 o 191101 142.89/143.00 o 191424 142.89/143.00 c 331 calls to solver: best=191424 lower=191425 upper=27496341 143.39/143.43 o 191467 143.79/143.85 o 191492 143.79/143.85 c 333 calls to solver: best=191492 lower=191493 upper=27496341 144.19/144.28 o 191815 144.69/144.71 o 191840 144.69/144.71 c 335 calls to solver: best=191840 lower=191841 upper=27496341 145.10/145.13 o 192118 145.49/145.56 o 192350 145.49/145.56 c 337 calls to solver: best=192350 lower=192351 upper=27496341 145.89/145.98 o 192358 146.39/146.41 o 192650 146.39/146.41 c 339 calls to solver: best=192650 lower=192651 upper=27496341 146.79/146.84 o 192723 147.19/147.26 o 192864 147.19/147.26 c 341 calls to solver: best=192864 lower=192865 upper=27496341 147.59/147.69 o 192936 148.10/148.11 o 192946 148.10/148.11 c 343 calls to solver: best=192946 lower=192947 upper=27496341 148.49/148.54 o 192949 148.89/148.96 o 193098 148.89/148.96 c 345 calls to solver: best=193098 lower=193099 upper=27496341 149.29/149.39 o 193123 149.79/149.82 o 193189 149.79/149.82 c 347 calls to solver: best=193189 lower=193190 upper=27496341 150.19/150.24 o 193528 150.59/150.67 o 193586 150.59/150.67 c 349 calls to solver: best=193586 lower=193587 upper=27496341 151.00/151.09 o 193718 151.49/151.52 o 193785 151.49/151.52 c 351 calls to solver: best=193785 lower=193786 upper=27496341 151.89/151.94 o 193925 152.29/152.37 o 194267 152.29/152.37 c 353 calls to solver: best=194267 lower=194268 upper=27496341 152.69/152.80 o 194529 153.19/153.22 o 194871 153.19/153.22 c 355 calls to solver: best=194871 lower=194872 upper=27496341 153.59/153.65 o 194876 154.00/154.08 o 195061 154.00/154.08 c 357 calls to solver: best=195061 lower=195062 upper=27496341 154.49/154.50 o 195313 154.89/154.93 o 195419 154.89/154.93 c 359 calls to solver: best=195419 lower=195420 upper=27496341 155.29/155.35 o 195577 155.69/155.78 o 195919 155.69/155.78 c 361 calls to solver: best=195919 lower=195920 upper=27496341 156.19/156.21 o 196146 156.59/156.64 o 196229 156.59/156.64 c 363 calls to solver: best=196229 lower=196230 upper=27496341 157.00/157.07 o 196280 157.49/157.50 o 196439 157.49/157.50 c 365 calls to solver: best=196439 lower=196440 upper=27496341 157.89/157.92 o 196454 158.29/158.35 o 196517 158.29/158.35 c 367 calls to solver: best=196517 lower=196518 upper=27496341 158.69/158.78 o 196662 159.19/159.20 o 196879 159.19/159.20 c 369 calls to solver: best=196879 lower=196880 upper=27496341 159.59/159.63 o 196899 160.00/160.05 o 196904 160.00/160.05 c 371 calls to solver: best=196904 lower=196905 upper=27496341 160.39/160.48 o 197075 160.89/160.90 o 197315 160.89/160.90 c 373 calls to solver: best=197315 lower=197316 upper=27496341 161.29/161.33 o 197334 161.69/161.76 o 197444 161.69/161.76 c 375 calls to solver: best=197444 lower=197445 upper=27496341 162.10/162.18 o 197488 162.59/162.61 o 197794 162.59/162.61 c 377 calls to solver: best=197794 lower=197795 upper=27496341 163.00/163.03 o 197806 163.39/163.46 o 197991 163.39/163.46 c 379 calls to solver: best=197991 lower=197992 upper=27496341 163.79/163.88 o 198080 164.29/164.31 o 198396 164.29/164.31 c 381 calls to solver: best=198396 lower=198397 upper=27496341 164.69/164.74 o 198443 165.10/165.16 o 198545 165.10/165.16 c 383 calls to solver: best=198545 lower=198546 upper=27496341 165.49/165.59 o 198710 166.00/166.01 o 199052 166.00/166.01 c 385 calls to solver: best=199052 lower=199053 upper=27496341 166.39/166.44 o 199058 166.79/166.86 o 199136 166.79/166.86 c 387 calls to solver: best=199136 lower=199137 upper=27496341 167.19/167.29 o 199327 167.69/167.72 o 199614 167.69/167.72 c 389 calls to solver: best=199614 lower=199615 upper=27496341 168.10/168.15 o 199675 168.49/168.58 o 199848 168.49/168.58 c 391 calls to solver: best=199848 lower=199849 upper=27496341 168.89/169.00 o 199873 169.39/169.43 o 200124 169.39/169.43 c 393 calls to solver: best=200124 lower=200125 upper=27496341 169.79/169.85 o 200348 170.19/170.28 o 200573 170.19/170.28 c 395 calls to solver: best=200573 lower=200574 upper=27496341 170.69/170.70 o 200767 171.10/171.13 o 200779 171.10/171.13 c 397 calls to solver: best=200779 lower=200780 upper=27496341 171.49/171.55 o 200828 171.89/171.98 o 200963 171.89/171.98 c 399 calls to solver: best=200963 lower=200964 upper=27496341 172.39/172.41 o 200988 172.79/172.83 o 201311 172.79/172.83 c 401 calls to solver: best=201311 lower=201312 upper=27496341 173.19/173.26 o 201540 173.59/173.68 o 201702 173.59/173.68 c 403 calls to solver: best=201702 lower=201703 upper=27496341 174.10/174.11 o 202018 174.49/174.53 o 202182 174.49/174.53 c 405 calls to solver: best=202182 lower=202183 upper=27496341 174.89/174.96 o 202390 175.29/175.39 o 202573 175.29/175.39 c 407 calls to solver: best=202573 lower=202574 upper=27496341 175.79/175.81 o 202815 176.19/176.24 o 202817 176.19/176.24 c 409 calls to solver: best=202817 lower=202818 upper=27496341 176.59/176.66 o 202842 177.00/177.09 o 202857 177.00/177.09 c 411 calls to solver: best=202857 lower=202858 upper=27496341 177.49/177.52 o 202864 177.89/177.94 o 203173 177.89/177.94 c 413 calls to solver: best=203173 lower=203174 upper=27496341 178.29/178.37 o 203366 178.69/178.79 o 203389 178.69/178.79 c 415 calls to solver: best=203389 lower=203390 upper=27496341 179.19/179.22 o 203673 179.59/179.65 o 203780 179.59/179.65 c 417 calls to solver: best=203780 lower=203781 upper=27496341 180.00/180.07 o 203805 180.49/180.50 o 204074 180.49/180.50 c 419 calls to solver: best=204074 lower=204075 upper=27496341 180.89/180.92 o 204075 181.29/181.35 o 204081 181.29/181.35 c 421 calls to solver: best=204081 lower=204082 upper=27496341 181.69/181.78 o 204099 182.19/182.20 o 204248 182.19/182.20 c 423 calls to solver: best=204248 lower=204249 upper=27496341 182.59/182.63 o 204298 183.00/183.05 o 204515 183.00/183.05 c 425 calls to solver: best=204515 lower=204516 upper=27496341 183.39/183.48 o 204558 183.89/183.91 o 204585 183.89/183.91 c 427 calls to solver: best=204585 lower=204586 upper=27496341 184.29/184.33 o 204599 184.69/184.76 o 204850 184.69/184.76 c 429 calls to solver: best=204850 lower=204851 upper=27496341 185.10/185.18 o 204977 185.59/185.61 o 205011 185.59/185.61 c 431 calls to solver: best=205011 lower=205012 upper=27496341 186.00/186.04 o 205126 186.39/186.46 o 205179 186.39/186.46 c 433 calls to solver: best=205179 lower=205180 upper=27496341 186.79/186.89 o 205324 187.29/187.32 o 205504 187.29/187.32 c 435 calls to solver: best=205504 lower=205505 upper=27496341 187.69/187.74 o 205510 188.10/188.17 o 205715 188.10/188.17 c 437 calls to solver: best=205715 lower=205716 upper=27496341 188.49/188.59 o 206007 189.00/189.02 o 206026 189.00/189.02 c 439 calls to solver: best=206026 lower=206027 upper=27496341 189.39/189.45 o 206050 189.79/189.87 o 206270 189.79/189.87 c 441 calls to solver: best=206270 lower=206271 upper=27496341 190.29/190.30 o 206272 190.69/190.72 o 206280 190.69/190.72 c 443 calls to solver: best=206280 lower=206281 upper=27496341 191.10/191.15 o 206286 191.49/191.58 o 206304 191.49/191.58 c 445 calls to solver: best=206304 lower=206305 upper=27496341 191.89/192.00 o 206514 192.39/192.43 o 206792 192.39/192.43 c 447 calls to solver: best=206792 lower=206793 upper=27496341 192.79/192.86 o 206811 193.19/193.28 o 206907 193.19/193.28 c 449 calls to solver: best=206907 lower=206908 upper=27496341 193.69/193.71 o 206930 194.10/194.13 o 207103 194.10/194.13 c 451 calls to solver: best=207103 lower=207104 upper=27496341 194.49/194.56 o 207118 194.89/194.99 o 207124 194.89/194.99 c 453 calls to solver: best=207124 lower=207125 upper=27496341 195.39/195.41 o 207371 195.79/195.84 o 207579 195.79/195.84 c 455 calls to solver: best=207579 lower=207580 upper=27496341 196.19/196.26 o 207685 196.59/196.69 o 207710 196.59/196.69 c 457 calls to solver: best=207710 lower=207711 upper=27496341 197.10/197.12 o 207814 197.49/197.54 o 207838 197.49/197.54 c 459 calls to solver: best=207838 lower=207839 upper=27496341 197.89/197.97 o 207863 198.29/198.39 o 207873 198.29/198.39 c 461 calls to solver: best=207873 lower=207874 upper=27496341 198.79/198.82 o 207898 199.19/199.25 o 208094 199.19/199.25 c 463 calls to solver: best=208094 lower=208095 upper=27496341 199.59/199.67 o 208105 200.00/200.10 o 208367 200.00/200.10 c 465 calls to solver: best=208367 lower=208368 upper=27496341 200.49/200.52 o 208368 200.89/200.95 o 208383 200.89/200.95 c 467 calls to solver: best=208383 lower=208384 upper=27496341 201.29/201.38 o 208729 201.79/201.80 o 208751 201.79/201.80 c 469 calls to solver: best=208751 lower=208752 upper=27496341 202.19/202.23 o 209024 202.59/202.65 o 209103 202.59/202.65 c 471 calls to solver: best=209103 lower=209104 upper=27496341 203.00/203.08 o 209226 203.49/203.51 o 209300 203.49/203.51 c 473 calls to solver: best=209300 lower=209301 upper=27496341 203.89/203.93 o 209325 204.29/204.36 o 209490 204.29/204.36 c 475 calls to solver: best=209490 lower=209491 upper=27496341 204.69/204.78 o 209782 205.19/205.21 o 210099 205.19/205.21 c 477 calls to solver: best=210099 lower=210100 upper=27496341 205.59/205.64 o 210177 205.99/206.06 o 210495 205.99/206.06 c 479 calls to solver: best=210495 lower=210496 upper=27496341 206.39/206.49 o 210520 206.89/206.91 o 210739 206.89/206.91 c 481 calls to solver: best=210739 lower=210740 upper=27496341 207.29/207.34 o 210837 207.69/207.77 o 210862 207.69/207.77 c 483 calls to solver: best=210862 lower=210863 upper=27496341 208.10/208.19 o 210957 208.59/208.62 o 211248 208.59/208.62 c 485 calls to solver: best=211248 lower=211249 upper=27496341 208.99/209.04 o 211381 209.39/209.47 o 211579 209.39/209.47 c 487 calls to solver: best=211579 lower=211580 upper=27496341 209.79/209.89 o 211856 210.29/210.32 o 212151 210.29/210.32 c 489 calls to solver: best=212151 lower=212152 upper=27496341 210.69/210.75 o 212352 211.09/211.17 o 212377 211.09/211.17 c 491 calls to solver: best=212377 lower=212378 upper=27496341 211.59/211.60 o 212575 211.99/212.03 o 212618 211.99/212.03 c 493 calls to solver: best=212618 lower=212619 upper=27496341 212.39/212.45 o 212624 212.79/212.88 o 212739 212.79/212.88 c 495 calls to solver: best=212739 lower=212740 upper=27496341 213.29/213.30 o 213002 213.69/213.73 o 213078 213.69/213.73 c 497 calls to solver: best=213078 lower=213079 upper=27496341 214.09/214.16 o 213103 214.49/214.58 o 213156 214.49/214.58 c 499 calls to solver: best=213156 lower=213157 upper=27496341 214.99/215.01 o 213415 215.39/215.43 o 213694 215.39/215.43 c 501 calls to solver: best=213694 lower=213695 upper=27496341 215.79/215.86 o 213712 216.19/216.29 o 213983 216.19/216.29 c 503 calls to solver: best=213983 lower=213984 upper=27496341 216.69/216.71 o 214018 217.09/217.14 o 214218 217.09/217.14 c 505 calls to solver: best=214218 lower=214219 upper=27496341 217.49/217.56 o 214366 217.89/217.99 o 214468 217.89/217.99 c 507 calls to solver: best=214468 lower=214469 upper=27496341 218.39/218.42 o 214513 218.79/218.84 o 214687 218.79/218.84 c 509 calls to solver: best=214687 lower=214688 upper=27496341 219.19/219.27 o 214701 219.59/219.69 o 215018 219.59/219.69 c 511 calls to solver: best=215018 lower=215019 upper=27496341 220.09/220.12 o 215092 220.49/220.55 o 215158 220.49/220.55 c 513 calls to solver: best=215158 lower=215159 upper=27496341 220.89/220.97 o 215266 221.39/221.40 o 215269 221.39/221.40 c 515 calls to solver: best=215269 lower=215270 upper=27496341 221.79/221.82 o 215386 222.19/222.25 o 215468 222.19/222.25 c 517 calls to solver: best=215468 lower=215469 upper=27496341 222.59/222.68 o 215587 222.99/223.10 o 215612 222.99/223.10 c 519 calls to solver: best=215612 lower=215613 upper=27496341 223.49/223.53 o 215629 223.89/223.95 o 215838 223.89/223.95 c 521 calls to solver: best=215838 lower=215839 upper=27496341 224.29/224.38 o 215889 224.79/224.81 o 215979 224.79/224.81 c 523 calls to solver: best=215979 lower=215980 upper=27496341 225.19/225.23 o 216290 225.59/225.66 o 216296 225.59/225.66 c 525 calls to solver: best=216296 lower=216297 upper=27496341 225.99/226.08 o 216321 226.49/226.51 o 216582 226.49/226.51 c 527 calls to solver: best=216582 lower=216583 upper=27496341 226.89/226.94 o 216665 227.29/227.36 o 216767 227.29/227.36 c 529 calls to solver: best=216767 lower=216768 upper=27496341 227.69/227.79 o 216882 228.19/228.21 o 216939 228.19/228.21 c 531 calls to solver: best=216939 lower=216940 upper=27496341 228.59/228.64 o 217211 228.99/229.07 o 217232 228.99/229.07 c 533 calls to solver: best=217232 lower=217233 upper=27496341 229.39/229.49 o 217251 229.89/229.92 o 217456 229.89/229.92 c 535 calls to solver: best=217456 lower=217457 upper=27496341 230.29/230.34 o 217752 230.69/230.77 o 218017 230.69/230.77 c 537 calls to solver: best=218017 lower=218018 upper=27496341 231.09/231.19 o 218294 231.59/231.62 o 218302 231.59/231.62 c 539 calls to solver: best=218302 lower=218303 upper=27496341 231.99/232.05 o 218383 232.39/232.47 o 218392 232.39/232.47 c 541 calls to solver: best=218392 lower=218393 upper=27496341 232.89/232.90 o 218655 233.29/233.32 o 218845 233.29/233.32 c 543 calls to solver: best=218845 lower=218846 upper=27496341 233.69/233.75 o 219161 234.09/234.18 o 219394 234.09/234.18 c 545 calls to solver: best=219394 lower=219395 upper=27496341 234.59/234.60 o 219475 234.99/235.03 o 219509 234.99/235.03 c 547 calls to solver: best=219509 lower=219510 upper=27496341 235.39/235.45 o 219825 235.79/235.88 o 219866 235.79/235.88 c 549 calls to solver: best=219866 lower=219867 upper=27496341 236.29/236.31 o 220010 236.69/236.73 o 220280 236.69/236.73 c 551 calls to solver: best=220280 lower=220281 upper=27496341 237.09/237.16 o 220428 237.49/237.58 o 220430 237.49/237.58 c 553 calls to solver: best=220430 lower=220431 upper=27496341 237.99/238.01 o 220458 238.39/238.44 o 220463 238.39/238.44 c 555 calls to solver: best=220463 lower=220464 upper=27496341 238.79/238.87 o 220488 239.29/239.31 o 220889 239.29/239.31 c 557 calls to solver: best=220889 lower=220890 upper=27496341 239.69/239.74 o 220985 240.09/240.16 o 221007 240.09/240.16 c 559 calls to solver: best=221007 lower=221008 upper=27496341 240.49/240.59 o 221070 240.99/241.02 o 221071 240.99/241.02 c 561 calls to solver: best=221071 lower=221072 upper=27496341 241.39/241.44 o 221194 241.79/241.87 o 221219 241.79/241.87 c 563 calls to solver: best=221219 lower=221220 upper=27496341 242.19/242.29 o 221530 242.69/242.72 o 221555 242.69/242.72 c 565 calls to solver: best=221555 lower=221556 upper=27496341 243.09/243.15 o 221696 243.49/243.57 o 221991 243.49/243.57 c 567 calls to solver: best=221991 lower=221992 upper=27496341 243.89/244.00 o 222060 244.39/244.42 o 222098 244.39/244.42 c 569 calls to solver: best=222098 lower=222099 upper=27496341 244.79/244.85 o 222331 245.19/245.28 o 222356 245.19/245.28 c 571 calls to solver: best=222356 lower=222357 upper=27496341 245.69/245.70 o 222477 246.09/246.13 o 222502 246.09/246.13 c 573 calls to solver: best=222502 lower=222503 upper=27496341 246.49/246.55 o 222686 246.89/246.98 o 222695 246.89/246.98 c 575 calls to solver: best=222695 lower=222696 upper=27496341 247.39/247.40 o 222858 247.79/247.83 o 222925 247.79/247.83 c 577 calls to solver: best=222925 lower=222926 upper=27496341 248.19/248.26 o 223102 248.59/248.68 o 223106 248.59/248.68 c 579 calls to solver: best=223106 lower=223107 upper=27496341 249.09/249.11 o 223131 249.49/249.53 o 223152 249.49/249.53 c 581 calls to solver: best=223152 lower=223153 upper=27496341 249.89/249.96 o 223448 250.29/250.38 o 223541 250.29/250.38 c 583 calls to solver: best=223541 lower=223542 upper=27496341 250.79/250.81 o 223608 251.19/251.24 o 223717 251.19/251.24 c 585 calls to solver: best=223717 lower=223718 upper=27496341 251.59/251.66 o 223947 251.99/252.00 251.99/252.00 c *** INTERRUPTED *** 251.99/252.00 c restarts : 3 251.99/252.00 c conflicts : 411 (2 /sec) 251.99/252.00 c decisions : 1181188 (4687 /sec) 251.99/252.00 c propagations : 1215861 (4825 /sec) 251.99/252.00 c root propagations : 2000 251.99/252.00 c filter calls : 7453836 (29580 /sec) 251.99/252.00 c useless filter calls : 7445787 (99 %) 251.99/252.00 c Memory used : 47.80 MB 251.99/252.00 c CPU time : 251.99 s 251.99/252.00 251.99/252.00 c nb Solutions = 586 251.99/252.00 s SATISFIABLE 251.99/252.00 c Best value found: 223947 251.99/252.00 251.99/252.00 251.99/252.00 v <instantiation type='solution' cost='223947'> 251.99/252.00 v <list>b[0] b[1000] b[1001] b[1002] b[1003] b[1004] b[1005] b[1006] b[1007] b[1008] b[1009] b[100] b[1010] b[1011] b[1012] b[1013] b[1014] b[1015] b[1016] b[1017] b[1018] b[1019] b[101] b[1020] b[1021] b[1022] b[1023] b[1024] b[1025] b[1026] b[1027] b[1028] b[1029] b[102] b[1030] b[1031] b[1032] b[1033] b[1034] b[1035] b[1036] b[1037] b[1038] b[1039] b[103] b[1040] b[1041] b[1042] b[1043] b[1044] b[1045] b[1046] b[1047] b[1048] b[1049] b[104] b[1050] b[1051] b[1052] b[1053] b[1054] b[1055] b[1056] b[1057] b[1058] b[1059] b[105] b[1060] b[1061] b[1062] b[1063] b[1064] b[1065] b[1066] b[1067] b[1068] b[1069] b[106] b[1070] b[1071] b[1072] b[1073] b[1074] b[1075] b[1076] b[1077] b[1078] b[1079] b[107] b[1080] b[1081] b[1082] b[1083] b[1084] b[1085] b[1086] b[1087] b[1088] b[1089] b[108] b[1090] b[1091] b[1092] b[1093] b[1094] b[1095] b[1096] b[1097] b[1098] b[1099] b[109] b[10] b[1100] b[1101] b[1102] b[1103] b[1104] b[1105] b[1106] b[1107] b[1108] b[1109] b[110] b[1110] b[1111] b[1112] b[1113] b[1114] b[1115] b[1116] b[1117] b[1118] b[1119] b[111] b[1120] b[1121] b[1122] b[1123] b[1124] b[1125] b[1126] b[1127] b[1128] b[1129] b[112] b[1130] b[1131] b[1132] b[1133] b[1134] b[1135] b[1136] b[1137] b[1138] b[1139] b[113] b[1140] b[1141] b[1142] b[1143] b[1144] b[1145] b[1146] b[1147] b[1148] b[1149] b[114] b[1150] b[1151] b[1152] b[1153] b[1154] b[1155] b[1156] b[1157] b[1158] b[1159] b[115] b[1160] b[1161] b[1162] b[1163] b[1164] b[1165] b[1166] b[1167] b[1168] b[1169] b[116] b[1170] b[1171] b[1172] b[1173] b[1174] b[1175] b[1176] b[1177] b[1178] b[1179] b[117] b[1180] b[1181] b[1182] b[1183] b[1184] b[1185] b[1186] b[1187] b[1188] b[1189] b[118] b[1190] b[1191] b[1192] b[1193] b[1194] b[1195] b[1196] b[1197] b[1198] b[1199] b[119] b[11] b[1200] b[1201] b[1202] b[1203] b[1204] b[1205] b[1206] b[1207] b[1208] b[1209] b[120] b[1210] b[1211] b[1212] b[1213] b[1214] b[1215] b[1216] b[1217] b[1218] b[1219] b[121] b[1220] b[1221] b[1222] b[1223] b[1224] b[1225] b[1226] b[1227] b[1228] b[1229] b[122] b[1230] b[1231] b[1232] b[1233] b[1234] b[1235] b[1236] b[1237] b[1238] b[1239] b[123] b[1240] b[1241] b[1242] b[1243] b[1244] b[1245] b[1246] b[1247] b[1248] b[1249] b[124] b[1250] b[1251] b[1252] b[1253] b[1254] b[1255] b[1256] b[1257] b[1258] b[1259] b[125] b[1260] b[1261] b[1262] b[1263] b[1264] b[1265] b[1266] b[1267] b[1268] b[1269] b[126] b[1270] b[1271] b[1272] b[1273] b[1274] b[1275] b[1276] b[1277] b[1278] b[1279] b[127] b[1280] b[1281] b[1282] b[1283] b[1284] b[1285] b[1286] b[1287] b[1288] b[1289] b[128] b[1290] b[1291] b[1292] b[1293] b[1294] b[1295] b[1296] b[1297] b[1298] b[1299] b[129] b[12] b[1300] b[1301] b[1302] b[1303] b[1304] b[1305] b[1306] b[1307] b[1308] b[1309] b[130] b[1310] b[1311] b[1312] b[1313] b[1314] b[1315] b[1316] b[1317] b[1318] b[1319] b[131] b[1320] b[1321] b[1322] b[1323] b[1324] b[1325] b[1326] b[1327] b[1328] b[1329] b[132] b[1330] b[1331] b[1332] b[1333] b[1334] b[1335] b[1336] b[1337] b[1338] b[1339] b[133] b[1340] b[1341] b[1342] b[1343] b[1344] b[1345] b[1346] b[1347] b[1348] b[1349] b[134] b[1350] b[1351] b[1352] b[1353] b[1354] b[1355] b[1356] b[1357] b[1358] b[1359] b[135] b[1360] b[1361] b[1362] b[1363] b[1364] b[1365] b[1366] b[1367] b[1368] b[1369] b[136] b[1370] b[1371] b[1372] b[1373] b[1374] b[1375] b[1376] b[1377] b[1378] b[1379] b[137] b[1380] b[1381] b[1382] b[1383] b[1384] b[1385] b[1386] b[1387] b[1388] b[1389] b[138] b[1390] b[1391] b[1392] b[1393] b[1394] b[1395] b[1396] b[1397] b[1398] b[1399] b[139] b[13] b[1400] b[1401] b[1402] b[1403] b[1404] b[1405] b[1406] b[1407] b[1408] b[1409] b[140] b[1410] b[1411] b[1412] b[1413] b[1414] b[1415] b[1416] b[1417] b[1418] b[1419] b[141] b[1420] b[1421] b[1422] b[1423] b[1424] b[1425] b[1426] b[1427] b[1428] b[1429] b[142] b[1430] b[1431] b[1432] b[1433] b[1434] b[1435] b[1436] b[1437] b[1438] b[1439] b[143] b[1440] b[1441] b[1442] b[1443] b[1444] b[1445] b[1446] b[1447] b[1448] b[1449] b[144] b[1450] b[1451] b[1452] b[1453] b[1454] b[1455] b[1456] b[1457] b[1458] b[1459] b[145] b[1460] b[1461] b[1462] b[1463] b[1464] b[1465] b[1466] b[1467] b[1468] b[1469] b[146] b[1470] b[1471] b[1472] b[1473] b[1474] b[1475] b[1476] b[1477] b[1478] b[1479] b[147] b[1480] b[1481] b[1482] b[1483] b[1484] b[1485] b[1486] b[1487] b[1488] b[1489] b[148] b[1490] b[1491] b[1492] b[1493] b[1494] b[1495] b[1496] b[1497] b[1498] b[1499] b[149] b[14] b[1500] b[1501] b[1502] b[1503] b[1504] b[1505] b[1506] b[1507] b[1508] b[1509] b[150] b[1510] b[1511] b[1512] b[1513] b[1514] b[1515] b[1516] b[1517] b[1518] b[1519] b[151] b[1520] b[1521] b[1522] b[1523] b[1524] b[1525] b[1526] b[1527] b[1528] b[1529] b[152] b[1530] b[1531] b[1532] b[1533] b[1534] b[1535] b[1536] b[1537] b[1538] b[1539] b[153] b[1540] b[1541] b[1542] b[1543] b[1544] b[1545] b[1546] b[1547] b[1548] b[1549] b[154] b[1550] b[1551] b[1552] b[1553] b[1554] b[1555] b[1556] b[1557] b[1558] b[1559] b[155] b[1560] b[1561] b[1562] b[1563] b[1564] b[1565] b[1566] b[1567] b[1568] b[1569] b[156] b[1570] b[1571] b[1572] b[1573] b[1574] b[1575] b[1576] b[1577] b[1578] b[1579] b[157] b[1580] b[1581] b[1582] b[1583] b[1584] b[1585] b[1586] b[1587] b[1588] b[1589] b[158] b[1590] b[1591] b[1592] b[1593] b[1594] b[1595] b[1596] b[1597] b[1598] b[1599] b[159] b[15] b[1600] b[1601] b[1602] b[1603] b[1604] b[1605] b[1606] b[1607] b[1608] b[1609] b[160] b[1610] b[1611] b[1612] b[1613] b[1614] b[1615] b[1616] b[1617] b[1618] b[1619] b[161] b[1620] b[1621] b[1622] b[1623] b[1624] b[1625] b[1626] b[1627] b[1628] b[1629] b[162] b[1630] b[1631] b[1632] b[1633] b[1634] b[1635] b[1636] b[1637] b[1638] b[1639] b[163] b[1640] b[1641] b[1642] b[1643] b[1644] b[1645] b[1646] b[1647] b[1648] b[1649] b[164] b[1650] b[1651] b[1652] b[1653] b[1654] b[1655] b[1656] b[1657] b[1658] b[1659] b[165] b[1660] b[1661] b[1662] b[1663] b[1664] b[1665] b[1666] b[1667] b[1668] b[1669] b[166] b[1670] b[1671] b[1672] b[1673] b[1674] b[1675] b[1676] b[1677] b[1678] b[1679] b[167] b[1680] b[1681] b[1682] b[1683] b[1684] b[1685] b[1686] b[1687] b[1688] b[1689] b[168] b[1690] b[1691] b[1692] b[1693] b[1694] b[1695] b[1696] b[1697] b[1698] b[1699] b[169] b[16] b[1700] b[1701] b[1702] b[1703] b[1704] b[1705] b[1706] b[1707] b[1708] b[1709] b[170] b[1710] b[1711] b[1712] b[1713] b[1714] b[1715] b[1716] b[1717] b[1718] b[1719] b[171] b[1720] b[1721] b[1722] b[1723] b[1724] b[1725] b[1726] b[1727] b[1728] b[1729] b[172] b[1730] b[1731] b[1732] b[1733] b[1734] b[1735] b[1736] b[1737] b[1738] b[1739] b[173] b[1740] b[1741] b[1742] b[1743] b[1744] b[1745] b[1746] b[1747] b[1748] b[1749] b[174] b[1750] b[1751] b[1752] b[1753] b[1754] b[1755] b[1756] b[1757] b[1758] b[1759] b[175] b[1760] b[1761] b[1762] b[1763] b[1764] b[1765] b[1766] b[1767] b[1768] b[1769] b[176] b[1770] b[1771] b[1772] b[1773] b[1774] b[1775] b[1776] b[1777] b[1778] b[1779] b[177] b[1780] b[1781] b[1782] b[1783] b[1784] b[1785] b[1786] b[1787] b[1788] b[1789] b[178] b[1790] b[1791] b[1792] b[1793] b[1794] b[1795] b[1796] b[1797] b[1798] b[1799] b[179] b[17] b[1800] b[1801] b[1802] b[1803] b[1804] b[1805] b[1806] b[1807] b[1808] b[1809] b[180] b[1810] b[1811] b[1812] b[1813] b[1814] b[1815] b[1816] b[1817] b[1818] b[1819] b[181] b[1820] b[1821] b[1822] b[1823] b[1824] b[1825] b[1826] b[1827] b[1828] b[1829] b[182] b[1830] b[1831] b[1832] b[1833] b[1834] b[1835] b[1836] b[1837] b[1838] b[1839] b[183] b[1840] b[1841] b[1842] b[1843] b[1844] b[1845] b[1846] b[1847] b[1848] b[1849] b[184] b[1850] b[1851] b[1852] b[1853] b[1854] b[1855] b[1856] b[1857] b[1858] b[1859] b[185] b[1860] b[1861] b[1862] b[1863] b[1864] b[1865] b[1866] b[1867] b[1868] b[1869] b[186] b[1870] b[1871] b[1872] b[1873] b[1874] b[1875] b[1876] b[1877] b[1878] b[1879] b[187] b[1880] b[1881] b[1882] b[1883] b[1884] b[1885] b[1886] b[1887] b[1888] b[1889] b[188] b[1890] b[1891] b[1892] b[1893] b[1894] b[1895] b[1896] b[1897] b[1898] b[1899] b[189] b[18] b[1900] b[1901] b[1902] b[1903] b[1904] b[1905] b[1906] b[1907] b[1908] b[1909] b[190] b[1910] b[1911] b[1912] b[1913] b[1914] b[1915] b[1916] b[1917] b[1918] b[1919] b[191] b[1920] b[1921] b[1922] b[1923] b[1924] b[1925] b[1926] b[1927] b[1928] b[1929] b[192] b[1930] b[1931] b[1932] b[1933] b[1934] b[1935] b[1936] b[1937] b[1938] b[1939] b[193] b[1940] b[1941] b[1942] b[1943] b[1944] b[1945] b[1946] b[1947] b[1948] b[1949] b[194] b[1950] b[1951] b[1952] b[1953] b[1954] b[1955] b[1956] b[1957] b[1958] b[1959] b[195] b[1960] b[1961] b[1962] b[1963] b[1964] b[1965] b[1966] b[1967] b[1968] b[1969] b[196] b[1970] b[1971] b[1972] b[1973] b[1974] b[1975] b[1976] b[1977] b[1978] b[1979] b[197] b[1980] b[1981] b[1982] b[1983] b[1984] b[1985] b[1986] b[1987] b[1988] b[1989] b[198] b[1990] b[1991] b[1992] b[1993] b[1994] b[1995] b[1996] b[1997] b[1998] b[1999] b[199] b[19] b[1] b[200] b[201] b[202] b[203] b[204] b[205] b[206] b[207] b[208] b[209] b[20] b[210] b[211] b[212] b[213] b[214] b[215] b[216] b[217] b[218] b[219] b[21] b[220] b[221] b[222] b[223] b[224] b[225] b[226] b[227] b[228] b[229] b[22] b[230] b[231] b[232] b[233] b[234] b[235] b[236] b[237] b[238] b[239] b[23] b[240] b[241] b[242] b[243] b[244] b[245] b[246] b[247] b[248] b[249] b[24] b[250] b[251] b[252] b[253] b[254] b[255] b[256] b[257] b[258] b[259] b[25] b[260] b[261] b[262] b[263] b[264] b[265] b[266] b[267] b[268] b[269] b[26] b[270] b[271] b[272] b[273] b[274] b[275] b[276] b[277] b[278] b[279] b[27] b[280] b[281] b[282] b[283] b[284] b[285] b[286] b[287] b[288] b[289] b[28] b[290] b[291] b[292] b[293] b[294] b[295] b[296] b[297] b[298] b[299] b[29] b[2] b[300] b[301] b[302] b[303] b[304] b[305] b[306] b[307] b[308] b[309] b[30] b[310] b[311] b[312] b[313] b[314] b[315] b[316] b[317] b[318] b[319] b[31] b[320] b[321] b[322] b[323] b[324] b[325] b[326] b[327] b[328] b[329] b[32] b[330] b[331] b[332] b[333] b[334] b[335] b[336] b[337] b[338] b[339] b[33] b[340] b[341] b[342] b[343] b[344] b[345] b[346] b[347] b[348] b[349] b[34] b[350] b[351] b[352] b[353] b[354] b[355] b[356] b[357] b[358] b[359] b[35] b[360] b[361] b[362] b[363] b[364] b[365] b[366] b[367] b[368] b[369] b[36] b[370] b[371] b[372] b[373] b[374] b[375] b[376] b[377] b[378] b[379] b[37] b[380] b[381] b[382] b[383] b[384] b[385] b[386] b[387] b[388] b[389] b[38] b[390] b[391] b[392] b[393] b[394] b[395] b[396] b[397] b[398] b[399] b[39] b[3] b[400] b[401] b[402] b[403] b[404] b[405] b[406] b[407] b[408] b[409] b[40] b[410] b[411] b[412] b[413] b[414] b[415] b[416] b[417] b[418] b[419] b[41] b[420] b[421] b[422] b[423] b[424] b[425] b[426] b[427] b[428] b[429] b[42] b[430] b[431] b[432] b[433] b[434] b[435] b[436] b[437] b[438] b[439] b[43] b[440] b[441] b[442] b[443] b[444] b[445] b[446] b[447] b[448] b[449] b[44] b[450] b[451] b[452] b[453] b[454] b[455] b[456] b[457] b[458] b[459] b[45] b[460] b[461] b[462] b[463] b[464] b[465] b[466] b[467] b[468] b[469] b[46] b[470] b[471] b[472] b[473] b[474] b[475] b[476] b[477] b[478] b[479] b[47] b[480] b[481] b[482] b[483] b[484] b[485] b[486] b[487] b[488] b[489] b[48] b[490] b[491] b[492] b[493] b[494] b[495] b[496] b[497] b[498] b[499] b[49] b[4] b[500] b[501] b[502] b[503] b[504] b[505] b[506] b[507] b[508] b[509] b[50] b[510] b[511] b[512] b[513] b[514] b[515] b[516] b[517] b[518] b[519] b[51] b[520] b[521] b[522] b[523] b[524] b[525] b[526] b[527] b[528] b[529] b[52] b[530] b[531] b[532] b[533] b[534] b[535] b[536] b[537] b[538] b[539] b[53] b[540] b[541] b[542] b[543] b[544] b[545] b[546] b[547] b[548] b[549] b[54] b[550] b[551] b[552] b[553] b[554] b[555] b[556] b[557] b[558] b[559] b[55] b[560] b[561] b[562] b[563] b[564] b[565] b[566] b[567] b[568] b[569] b[56] b[570] b[571] b[572] b[573] b[574] b[575] b[576] b[577] b[578] b[579] b[57] b[580] b[581] b[582] b[583] b[584] b[585] b[586] b[587] b[588] b[589] b[58] b[590] b[591] b[592] b[593] b[594] b[595] b[596] b[597] b[598] b[599] b[59] b[5] b[600] b[601] b[602] b[603] b[604] b[605] b[606] b[607] b[608] b[609] b[60] b[610] b[611] b[612] b[613] b[614] b[615] b[616] b[617] b[618] b[619] b[61] b[620] b[621] b[622] b[623] b[624] b[625] b[626] b[627] b[628] b[629] b[62] b[630] b[631] b[632] b[633] b[634] b[635] b[636] b[637] b[638] b[639] b[63] b[640] b[641] b[642] b[643] b[644] b[645] b[646] b[647] b[648] b[649] b[64] b[650] b[651] b[652] b[653] b[654] b[655] b[656] b[657] b[658] b[659] b[65] b[660] b[661] b[662] b[663] b[664] b[665] b[666] b[667] b[668] b[669] b[66] b[670] b[671] b[672] b[673] b[674] b[675] b[676] b[677] b[678] b[679] b[67] b[680] b[681] b[682] b[683] b[684] b[685] b[686] b[687] b[688] b[689] b[68] b[690] b[691] b[692] b[693] b[694] b[695] b[696] b[697] b[698] b[699] b[69] b[6] b[700] b[701] b[702] b[703] b[704] b[705] b[706] b[707] b[708] b[709] b[70] b[710] b[711] b[712] b[713] b[714] b[715] b[716] b[717] b[718] b[719] b[71] b[720] b[721] b[722] b[723] b[724] b[725] b[726] b[727] b[728] b[729] b[72] b[730] b[731] b[732] b[733] b[734] b[735] b[736] b[737] b[738] b[739] b[73] b[740] b[741] b[742] b[743] b[744] b[745] b[746] b[747] b[748] b[749] b[74] b[750] b[751] b[752] b[753] b[754] b[755] b[756] b[757] b[758] b[759] b[75] b[760] b[761] b[762] b[763] b[764] b[765] b[766] b[767] b[768] b[769] b[76] b[770] b[771] b[772] b[773] b[774] b[775] b[776] b[777] b[778] b[779] b[77] b[780] b[781] b[782] b[783] b[784] b[785] b[786] b[787] b[788] b[789] b[78] b[790] b[791] b[792] b[793] b[794] b[795] b[796] b[797] b[798] b[799] b[79] b[7] b[800] b[801] b[802] b[803] b[804] b[805] b[806] b[807] b[808] b[809] b[80] b[810] b[811] b[812] b[813] b[814] b[815] b[816] b[817] b[818] b[819] b[81] b[820] b[821] b[822] b[823] b[824] b[825] b[826] b[827] b[828] b[829] b[82] b[830] b[831] b[832] b[833] b[834] b[835] b[836] b[837] b[838] b[839] b[83] b[840] b[841] b[842] b[843] b[844] b[845] b[846] b[847] b[848] b[849] b[84] b[850] b[851] b[852] b[853] b[854] b[855] b[856] b[857] b[858] b[859] b[85] b[860] b[861] b[862] b[863] b[864] b[865] b[866] b[867] b[868] b[869] b[86] b[870] b[871] b[872] b[873] b[874] b[875] b[876] b[877] b[878] b[879] b[87] b[880] b[881] b[882] b[883] b[884] b[885] b[886] b[887] b[888] b[889] b[88] b[890] b[891] b[892] b[893] b[894] b[895] b[896] b[897] b[898] b[899] b[89] b[8] b[900] b[901] b[902] b[903] b[904] b[905] b[906] b[907] b[908] b[909] b[90] b[910] b[911] b[912] b[913] b[914] b[915] b[916] b[917] b[918] b[919] b[91] b[920] b[921] b[922] b[923] b[924] b[925] b[926] b[927] b[928] b[929] b[92] b[930] b[931] b[932] b[933] b[934] b[935] b[936] b[937] b[938] b[939] b[93] b[940] b[941] b[942] b[943] b[944] b[945] b[946] b[947] b[948] b[949] b[94] b[950] b[951] b[952] b[953] b[954] b[955] b[956] b[957] b[958] b[959] b[95] b[960] b[961] b[962] b[963] b[964] b[965] b[966] b[967] b[968] b[969] b[96] b[970] b[971] b[972] b[973] b[974] b[975] b[976] b[977] b[978] b[979] b[97] b[980] b[981] b[982] b[983] b[984] b[985] b[986] b[987] b[988] b[989] b[98] b[990] b[991] b[992] b[993] b[994] b[995] b[996] b[997] b[998] b[999] b[99] b[9] </list> 251.99/252.00 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 </values> 251.99/252.01 v </instantiation> 251.99/252.01
OK 223947
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL 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. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (13444 MiB free) memory of node 1: 16384 MiB (14296 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301449-1532881260/watcher-4301449-1532881260 -o /tmp/evaluation-result-4301449-1532881260/solver-4301449-1532881260 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532878455-19304 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4301449-1532881260.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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 Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=21058, runsolver pid=21055 [startup+0.1002 s]* /proc/loadavg: 1.94 2.02 1.99 3/191 21059 /proc/meminfo: memFree=28403712/32770624 swapFree=67108744/67108860 [pid=21058] ppid=21055 vsize=29912 memory=6324 CPUtime=0.1 cores=0,2,4,6 /proc/21058/stat : 21058 (cosoco) R 21055 21058 19273 0 -1 4202496 1745 0 0 0 10 0 0 0 20 0 1 0 105689250 30629888 1581 33554432000 4194304 6142532 140728078334352 140728078330984 5543527 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 33435648 140728078341259 140728078341389 140728078341389 140728078344142 0 /proc/21058/statm: 7478 1581 821 476 0 800 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 29912 KiB Current children cumulated memory: 6324 KiB [startup+0.209673 s]* /proc/loadavg: 1.94 2.02 1.99 3/191 21059 /proc/meminfo: memFree=28402484/32770624 swapFree=67108744/67108860 [pid=21058] ppid=21055 vsize=31100 memory=7644 CPUtime=0.21 cores=0,2,4,6 /proc/21058/stat : 21058 (cosoco) R 21055 21058 19273 0 -1 4202496 2101 0 0 0 21 0 0 0 20 0 1 0 105689250 31846400 1911 33554432000 4194304 6142532 140728078334352 140728078331368 140064806583269 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 33435648 140728078341259 140728078341389 140728078341389 140728078344142 0 /proc/21058/statm: 7775 1911 865 476 0 1097 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 31100 KiB Current children cumulated memory: 7644 KiB [startup+0.30979 s]* /proc/loadavg: 1.94 2.02 1.99 3/191 21059 /proc/meminfo: memFree=28398988/32770624 swapFree=67108744/67108860 [pid=21058] ppid=21055 vsize=34940 memory=11340 CPUtime=0.31 cores=0,2,4,6 /proc/21058/stat : 21058 (cosoco) R 21055 21058 19273 0 -1 4202496 3041 0 0 0 31 0 0 0 20 0 1 0 105689250 35778560 2835 33554432000 4194304 6142532 140728078334352 140728078331368 140064806583269 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 33435648 140728078341259 140728078341389 140728078341389 140728078344142 0 /proc/21058/statm: 8735 2835 865 476 0 2057 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 34940 KiB Current children cumulated memory: 11340 KiB [startup+0.700347 s] /proc/loadavg: 1.94 2.02 1.99 3/191 21059 /proc/meminfo: memFree=28395268/32770624 swapFree=67108744/67108860 [pid=21058] ppid=21055 vsize=40416 memory=16884 CPUtime=0.69 cores=0,2,4,6 /proc/21058/stat : 21058 (cosoco) R 21055 21058 19273 0 -1 4202496 4432 0 0 0 69 0 0 0 20 0 1 0 105689250 41385984 4221 33554432000 4194304 6142532 140728078334352 140728078331368 5137682 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 33435648 140728078341259 140728078341389 140728078341389 140728078344142 0 /proc/21058/statm: 10104 4221 866 476 0 3426 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 40416 KiB Current children cumulated memory: 16884 KiB [startup+1.50034 s] /proc/loadavg: 1.94 2.02 1.99 3/191 21059 /proc/meminfo: memFree=28389688/32770624 swapFree=67108744/67108860 [pid=21058] ppid=21055 vsize=45156 memory=21636 CPUtime=1.49 cores=0,2,4,6 /proc/21058/stat : 21058 (cosoco) R 21055 21058 19273 0 -1 4202496 5606 0 0 0 149 0 0 0 20 0 1 0 105689250 46239744 5409 33554432000 4194304 6142532 140728078334352 140728078331208 5215594 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 33435648 140728078341259 140728078341389 140728078341389 140728078344142 0 /proc/21058/statm: 11289 5409 866 476 0 4611 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 45156 KiB Current children cumulated memory: 21636 KiB [startup+3.10924 s] /proc/loadavg: 1.94 2.02 1.99 3/191 21059 /proc/meminfo: memFree=28387788/32770624 swapFree=67108744/67108860 [pid=21058] ppid=21055 vsize=45156 memory=21804 CPUtime=3.1 cores=0,2,4,6 /proc/21058/stat : 21058 (cosoco) R 21055 21058 19273 0 -1 4202496 8169 0 0 0 310 0 0 0 20 0 1 0 105689250 46239744 5451 33554432000 4194304 6142532 140728078334352 140728078321624 5137682 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 33435648 140728078341259 140728078341389 140728078341389 140728078344142 0 /proc/21058/statm: 11289 5451 866 476 0 4611 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 45156 KiB Current children cumulated memory: 21804 KiB [startup+6.30033 s] /proc/loadavg: 1.94 2.01 1.99 3/191 21059 /proc/meminfo: memFree=28387128/32770624 swapFree=67108744/67108860 [pid=21058] ppid=21055 vsize=45156 memory=21804 CPUtime=6.29 cores=0,2,4,6 /proc/21058/stat : 21058 (cosoco) R 21055 21058 19273 0 -1 4202496 11076 0 0 0 629 0 0 0 20 0 1 0 105689250 46239744 5451 33554432000 4194304 6142532 140728078334352 140728078321624 5215632 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 33435648 140728078341259 140728078341389 140728078341389 140728078344142 0 /proc/21058/statm: 11289 5451 866 476 0 4611 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 45156 KiB Current children cumulated memory: 21804 KiB [startup+12.7002 s] /proc/loadavg: 1.95 2.01 1.99 3/191 21059 /proc/meminfo: memFree=28385984/32770624 swapFree=67108744/67108860 [pid=21058] ppid=21055 vsize=47452 memory=24076 CPUtime=12.69 cores=0,2,4,6 /proc/21058/stat : 21058 (cosoco) R 21055 21058 19273 0 -1 4202496 15869 0 0 0 1269 0 0 0 20 0 1 0 105689250 48590848 6019 33554432000 4194304 6142532 140728078334352 140728078321624 5318987 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33435648 140728078341259 140728078341389 140728078341389 140728078344142 0 /proc/21058/statm: 11863 6019 866 476 0 5185 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 47452 KiB Current children cumulated memory: 24076 KiB [startup+25.5002 s] /proc/loadavg: 1.96 2.01 1.99 3/191 21059 /proc/meminfo: memFree=28382980/32770624 swapFree=67108744/67108860 [pid=21058] ppid=21055 vsize=48800 memory=25444 CPUtime=25.49 cores=0,2,4,6 /proc/21058/stat : 21058 (cosoco) R 21055 21058 19273 0 -1 4202496 20365 0 0 0 2548 1 0 0 20 0 1 0 105689250 49971200 6361 33554432000 4194304 6142532 140728078334352 140728078321624 5215632 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33435648 140728078341259 140728078341389 140728078341389 140728078344142 0 /proc/21058/statm: 12200 6361 866 476 0 5522 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 48800 KiB Current children cumulated memory: 25444 KiB [startup+51.1091 s] /proc/loadavg: 2.03 2.03 2.00 3/191 21059 /proc/meminfo: memFree=28382304/32770624 swapFree=67108744/67108860 [pid=21058] ppid=21055 vsize=48800 memory=25476 CPUtime=51.1 cores=0,2,4,6 /proc/21058/stat : 21058 (cosoco) R 21055 21058 19273 0 -1 4202496 20769 0 0 0 5109 1 0 0 20 0 1 0 105689250 49971200 6369 33554432000 4194304 6142532 140728078334352 140728078331880 5139103 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33435648 140728078341259 140728078341389 140728078341389 140728078344142 0 /proc/21058/statm: 12200 6369 866 476 0 5522 0 Current children cumulated CPU time: 51.1 s Current children cumulated vsize: 48800 KiB Current children cumulated memory: 25476 KiB [startup+102.3 s] /proc/loadavg: 2.20 2.07 2.01 3/192 21061 /proc/meminfo: memFree=28379880/32770624 swapFree=67108744/67108860 [pid=21058] ppid=21055 vsize=48940 memory=25540 CPUtime=102.29 cores=0,2,4,6 /proc/21058/stat : 21058 (cosoco) R 21055 21058 19273 0 -1 4202496 21199 0 0 0 10228 1 0 0 20 0 1 0 105689250 50114560 6385 33554432000 4194304 6142532 140728078334352 140728078321624 5215819 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33435648 140728078341259 140728078341389 140728078341389 140728078344142 0 /proc/21058/statm: 12235 6385 866 476 0 5557 0 Current children cumulated CPU time: 102.29 s Current children cumulated vsize: 48940 KiB Current children cumulated memory: 25540 KiB [startup+162.3 s] /proc/loadavg: 2.07 2.06 2.01 3/192 21062 /proc/meminfo: memFree=28380076/32770624 swapFree=67108744/67108860 [pid=21058] ppid=21055 vsize=48940 memory=25540 CPUtime=162.29 cores=0,2,4,6 /proc/21058/stat : 21058 (cosoco) R 21055 21058 19273 0 -1 4202496 21377 0 0 0 16228 1 0 0 20 0 1 0 105689250 50114560 6385 33554432000 4194304 6142532 140728078334352 140728078321624 5140391 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33435648 140728078341259 140728078341389 140728078341389 140728078344142 0 /proc/21058/statm: 12235 6385 866 476 0 5557 0 Current children cumulated CPU time: 162.29 s Current children cumulated vsize: 48940 KiB Current children cumulated memory: 25540 KiB [startup+222.3 s] /proc/loadavg: 2.03 2.05 2.01 3/193 21064 /proc/meminfo: memFree=28380268/32770624 swapFree=67108744/67108860 [pid=21058] ppid=21055 vsize=48940 memory=25540 CPUtime=222.29 cores=0,2,4,6 /proc/21058/stat : 21058 (cosoco) R 21055 21058 19273 0 -1 4202496 21554 0 0 0 22228 1 0 0 20 0 1 0 105689250 50114560 6385 33554432000 4194304 6142532 140728078334352 140728078331880 5138684 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33435648 140728078341259 140728078341389 140728078341389 140728078344142 0 /proc/21058/statm: 12235 6385 866 476 0 5557 0 Current children cumulated CPU time: 222.29 s Current children cumulated vsize: 48940 KiB Current children cumulated memory: 25540 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252 s]* /proc/loadavg: 2.22 2.09 2.03 3/192 21126 /proc/meminfo: memFree=28385960/32770624 swapFree=67108744/67108860 [pid=21058] ppid=21055 vsize=48940 memory=25560 CPUtime=251.99 cores=0,2,4,6 /proc/21058/stat : 21058 (cosoco) R 21055 21058 19273 0 -1 4202496 21725 0 0 0 25198 1 0 0 20 0 1 0 105689250 50114560 6390 33554432000 4194304 6142532 140728078334352 140728078321624 5138400 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 33435648 140728078341259 140728078341389 140728078341389 140728078344142 0 /proc/21058/statm: 12235 6390 866 476 0 5557 0 Current children cumulated CPU time: 251.99 s Current children cumulated vsize: 48940 KiB Current children cumulated memory: 25560 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.01 s] # the end of solver process 21058 was just reported to runsolver # cumulated CPU time of all completed processes: user=251.99 s, system=0.012999 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 252.01 CPU time (s): 252.003 CPU user time (s): 251.99 CPU system time (s): 0.012999 CPU usage (%): 99.9973 Max. virtual memory (cumulated for all children) (KiB): 48940 Max. memory (cumulated for all children) (KiB): 25560 getrusage(RUSAGE_CHILDREN,...) data: user time used= 251.99 system time used= 0.012999 maximum resident set size= 25628 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21763 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= 13 involuntary context switches= 128 # summary of solver processes directly reported to runsolver: # pid: 21058 # total CPU time (s): 252.003 # total CPU user time (s): 251.99 # total CPU system time (s): 0.012999 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.878008 second user time and 1.74393 second system time The end
Begin job on node134 at 2018-07-29 18:21:00 IDJOB=4301449 IDBENCH=141157 IDSOLVER=2774 FILE ID=node134/4301449-1532881260 RUNJOBID= node134-1532878455-19304 PBS_JOBID= 21022511 Free space on /tmp= 60956 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/Auction/Auction-cnt/Auction-cnt-decay100_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4301449-1532881260/watcher-4301449-1532881260 -o /tmp/evaluation-result-4301449-1532881260/solver-4301449-1532881260 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532878455-19304 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4301449-1532881260.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 229d8d70b2521f5ebfd70fdb2bbdf7b3 RANDOM SEED=1527307011 node134.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 28406768 kB MemAvailable: 31948456 kB Buffers: 202296 kB Cached: 3610252 kB SwapCached: 0 kB Active: 1631616 kB Inactive: 2258256 kB Active(anon): 26436 kB Inactive(anon): 78480 kB Active(file): 1605180 kB Inactive(file): 2179776 kB Unevictable: 7364 kB Mlocked: 7364 kB SwapTotal: 67108860 kB SwapFree: 67108744 kB Dirty: 2480 kB Writeback: 8 kB AnonPages: 83840 kB Mapped: 46916 kB Shmem: 25132 kB Slab: 173404 kB SReclaimable: 145132 kB SUnreclaim: 28272 kB KernelStack: 3392 kB PageTables: 5548 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 373600 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 60952 MiB End job on node134 at 2018-07-29 18:25:13