Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 1.12 | SAT (TO) | 519292 | 252.034 | 252.01 |
| Name | Auction/Auction-cnt/ Auction-cnt-decay400_c18.xml |
| MD5SUM | ef5bf96e0ba9cc2c7a758eef92479658 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 2265995 |
| Best CPU time to get the best result obtained on this benchmark | 252.099 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2000 |
| Number of constraints | 400 |
| 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 | 40 |
| Distribution of variable degrees | [{"degree":2,"count":289},{"degree":3,"count":388},{"degree":4,"count":306},{"degree":5,"count":228},{"degree":6,"count":177},{"degree":7,"count":144},{"degree":8,"count":94},{"degree":9,"count":75},{"degree":10,"count":72},{"degree":11,"count":50},{"degree":12,"count":41},{"degree":13,"count":35},{"degree":14,"count":25},{"degree":15,"count":25},{"degree":16,"count":8},{"degree":17,"count":7},{"degree":18,"count":9},{"degree":19,"count":3},{"degree":20,"count":7},{"degree":21,"count":5},{"degree":22,"count":3},{"degree":23,"count":2},{"degree":24,"count":2},{"degree":25,"count":2},{"degree":29,"count":1},{"degree":32,"count":1},{"degree":40,"count":1}] |
| Minimum constraint arity | 12 |
| Maximum constraint arity | 37 |
| Distribution of constraint arities | [{"arity":12,"count":1},{"arity":13,"count":2},{"arity":14,"count":5},{"arity":15,"count":4},{"arity":16,"count":5},{"arity":17,"count":17},{"arity":18,"count":18},{"arity":19,"count":18},{"arity":20,"count":18},{"arity":21,"count":33},{"arity":22,"count":38},{"arity":23,"count":36},{"arity":24,"count":35},{"arity":25,"count":32},{"arity":26,"count":31},{"arity":27,"count":21},{"arity":28,"count":23},{"arity":29,"count":10},{"arity":30,"count":16},{"arity":31,"count":8},{"arity":32,"count":12},{"arity":33,"count":4},{"arity":34,"count":4},{"arity":35,"count":5},{"arity":36,"count":3},{"arity":37,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"count","count":400}] |
| Optimization problem | YES |
| Type of objective | max SUM |
0.10/0.13 c best=?? lower=0 upper=25665215 0.31/0.39 c 0.31/0.39 c This is cosoco 1.12 -- 0.31/0.39 c 0.31/0.39 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4301458-1532881510.xml 0.31/0.39 c enable optimization 0.31/0.39 c ========================================[ Problem Statistics ]=========================================== 0.31/0.39 c | 0.31/0.39 c | Parse time : 0.13 s 0.31/0.39 c | 0.31/0.39 c | Variables: 2000 0.31/0.39 c | Domain Sizes: 2..2 0.31/0.39 c | 0.31/0.39 c | Constraints: 401 0.31/0.39 c | Arity: 12..2000 0.31/0.39 c | 0.31/0.39 c | Types: 0.31/0.39 c | At most: 400 0.31/0.39 c | Sum: 1 0.31/0.39 c | 0.31/0.39 c | Objective: Maximize Sum 0.31/0.39 0.31/0.39 c ========================================================================================================= 0.31/0.39 o 0 0.31/0.39 c 1 calls to solver: best=0 lower=1 upper=25665215 0.79/0.83 o 27190 1.19/1.27 o 39779 1.19/1.27 c 3 calls to solver: best=39779 lower=39780 upper=25665215 1.69/1.71 o 46216 2.09/2.15 o 52533 2.09/2.15 c 5 calls to solver: best=52533 lower=52534 upper=25665215 2.48/2.59 o 61981 3.00/3.02 o 68328 3.00/3.02 c 7 calls to solver: best=68328 lower=68329 upper=25665215 3.39/3.46 o 76048 3.89/3.90 o 77161 3.89/3.90 c 9 calls to solver: best=77161 lower=77162 upper=25665215 4.29/4.34 o 77304 4.69/4.78 o 78515 4.69/4.78 c 11 calls to solver: best=78515 lower=78516 upper=25665215 5.19/5.22 o 86888 5.59/5.65 o 94878 5.59/5.65 c 13 calls to solver: best=94878 lower=94879 upper=25665215 6.00/6.09 o 95586 6.49/6.53 o 103562 6.49/6.53 c 15 calls to solver: best=103562 lower=103563 upper=25665215 6.89/6.97 o 104455 7.39/7.41 o 105009 7.39/7.41 c 17 calls to solver: best=105009 lower=105010 upper=25665215 7.79/7.84 o 107508 8.19/8.28 o 110266 8.19/8.28 c 19 calls to solver: best=110266 lower=110267 upper=25665215 8.69/8.72 o 114167 9.10/9.16 o 118771 9.10/9.16 c 21 calls to solver: best=118771 lower=118772 upper=25665215 9.49/9.59 o 123402 10.00/10.03 o 123947 10.00/10.03 c 23 calls to solver: best=123947 lower=123948 upper=25665215 10.39/10.47 o 131749 10.89/10.91 o 132484 10.89/10.91 c 25 calls to solver: best=132484 lower=132485 upper=25665215 11.29/11.35 o 135779 11.69/11.78 o 138784 11.69/11.78 c 27 calls to solver: best=138784 lower=138785 upper=25665215 12.19/12.22 o 140055 12.59/12.66 o 144852 12.59/12.66 c 29 calls to solver: best=144852 lower=144853 upper=25665215 13.00/13.10 o 149562 13.49/13.54 o 149812 13.49/13.54 c 31 calls to solver: best=149812 lower=149813 upper=25665215 13.89/13.98 o 152811 14.39/14.42 o 155816 14.39/14.42 c 33 calls to solver: best=155816 lower=155817 upper=25665215 14.79/14.86 o 156789 15.29/15.30 o 161560 15.29/15.30 c 35 calls to solver: best=161560 lower=161561 upper=25665215 15.69/15.74 o 162005 16.10/16.17 o 162591 16.10/16.17 c 37 calls to solver: best=162591 lower=162592 upper=25665215 16.59/16.61 o 162831 17.00/17.05 o 163803 17.00/17.05 c 39 calls to solver: best=163803 lower=163804 upper=25665215 17.39/17.49 o 164692 17.89/17.93 o 164696 17.89/17.93 c 41 calls to solver: best=164696 lower=164697 upper=25665215 18.29/18.37 o 164973 18.79/18.81 o 166378 18.79/18.81 c 43 calls to solver: best=166378 lower=166379 upper=25665215 19.19/19.24 o 170385 19.59/19.68 o 172911 19.59/19.68 c 45 calls to solver: best=172911 lower=172912 upper=25665215 20.10/20.12 o 173615 20.49/20.56 o 176022 20.49/20.56 c 47 calls to solver: best=176022 lower=176023 upper=25665215 20.89/21.00 o 178431 21.39/21.44 o 181357 21.39/21.44 c 49 calls to solver: best=181357 lower=181358 upper=25665215 21.79/21.88 o 181510 22.29/22.32 o 182414 22.29/22.32 c 51 calls to solver: best=182414 lower=182415 upper=25665215 22.69/22.75 o 184755 23.10/23.19 o 185704 23.10/23.19 c 53 calls to solver: best=185704 lower=185705 upper=25665215 23.59/23.63 o 188113 24.00/24.07 o 190348 24.00/24.07 c 55 calls to solver: best=190348 lower=190349 upper=25665215 24.49/24.50 o 193561 24.89/24.94 o 194006 24.89/24.94 c 57 calls to solver: best=194006 lower=194007 upper=25665215 25.29/25.38 o 194027 25.79/25.81 o 196400 25.79/25.81 c 59 calls to solver: best=196400 lower=196401 upper=25665215 26.19/26.25 o 196829 26.59/26.69 o 197422 26.59/26.69 c 61 calls to solver: best=197422 lower=197423 upper=25665215 27.10/27.12 o 197443 27.49/27.56 o 205353 27.49/27.56 c 63 calls to solver: best=205353 lower=205354 upper=25665215 27.89/28.00 o 207720 28.39/28.44 o 208474 28.39/28.44 c 65 calls to solver: best=208474 lower=208475 upper=25665215 28.79/28.88 o 210170 29.29/29.32 o 212332 29.29/29.32 c 67 calls to solver: best=212332 lower=212333 upper=25665215 29.69/29.76 o 213119 30.10/30.19 o 214894 30.10/30.19 c 69 calls to solver: best=214894 lower=214895 upper=25665215 30.59/30.63 o 220273 31.00/31.07 o 222233 31.00/31.07 c 71 calls to solver: best=222233 lower=222234 upper=25665215 31.49/31.51 o 222665 31.89/31.95 o 223907 31.89/31.95 c 73 calls to solver: best=223907 lower=223908 upper=25665215 32.29/32.39 o 225212 32.79/32.83 o 228293 32.79/32.83 c 75 calls to solver: best=228293 lower=228294 upper=25665215 33.19/33.27 o 230291 33.69/33.71 o 234511 33.69/33.71 c 77 calls to solver: best=234511 lower=234512 upper=25665215 34.10/34.15 o 235997 34.49/34.59 o 236048 34.49/34.59 c 79 calls to solver: best=236048 lower=236049 upper=25665215 35.00/35.03 o 237269 35.39/35.46 o 239629 35.39/35.46 c 81 calls to solver: best=239629 lower=239630 upper=25665215 35.89/35.90 o 239770 36.29/36.35 o 241387 36.29/36.35 c 83 calls to solver: best=241387 lower=241388 upper=25665215 36.69/36.79 o 241472 37.19/37.23 o 243068 37.19/37.23 c 85 calls to solver: best=243068 lower=243069 upper=25665215 37.59/37.67 o 243244 38.10/38.11 o 246409 38.10/38.11 c 87 calls to solver: best=246409 lower=246410 upper=25665215 38.49/38.55 o 247561 38.89/38.99 o 249854 38.89/38.99 c 89 calls to solver: best=249854 lower=249855 upper=25665215 39.39/39.42 o 251486 39.79/39.86 o 252942 39.79/39.86 c 91 calls to solver: best=252942 lower=252943 upper=25665215 40.29/40.30 o 255176 40.69/40.74 o 258784 40.69/40.74 c 93 calls to solver: best=258784 lower=258785 upper=25665215 41.10/41.18 o 259432 41.59/41.62 o 259704 41.59/41.62 c 95 calls to solver: best=259704 lower=259705 upper=25665215 42.00/42.06 o 260166 42.49/42.50 o 262400 42.49/42.50 c 97 calls to solver: best=262400 lower=262401 upper=25665215 42.89/42.94 o 265449 43.29/43.37 o 265604 43.29/43.37 c 99 calls to solver: best=265604 lower=265605 upper=25665215 43.79/43.81 o 266407 44.19/44.25 o 270135 44.19/44.25 c 101 calls to solver: best=270135 lower=270136 upper=25665215 44.59/44.69 o 272491 45.10/45.13 o 273795 45.10/45.13 c 103 calls to solver: best=273795 lower=273796 upper=25665215 45.49/45.57 o 275402 46.00/46.01 o 277230 46.00/46.01 c 105 calls to solver: best=277230 lower=277231 upper=25665215 46.39/46.44 o 278319 46.79/46.88 o 279408 46.79/46.88 c 107 calls to solver: best=279408 lower=279409 upper=25665215 47.29/47.32 o 279740 47.69/47.76 o 284937 47.69/47.76 c 109 calls to solver: best=284937 lower=284938 upper=25665215 48.19/48.20 o 286413 48.59/48.64 o 287812 48.59/48.64 c 111 calls to solver: best=287812 lower=287813 upper=25665215 49.00/49.08 o 292419 49.49/49.52 o 295606 49.49/49.52 c 113 calls to solver: best=295606 lower=295607 upper=25665215 49.89/49.96 o 298998 50.29/50.39 o 299312 50.29/50.39 c 115 calls to solver: best=299312 lower=299313 upper=25665215 50.79/50.83 o 299420 51.19/51.27 o 300000 51.19/51.27 c 117 calls to solver: best=300000 lower=300001 upper=25665215 51.69/51.71 o 301070 52.10/52.15 o 302792 52.10/52.15 c 119 calls to solver: best=302792 lower=302793 upper=25665215 52.49/52.59 o 303372 53.00/53.03 o 305588 53.00/53.03 c 121 calls to solver: best=305588 lower=305589 upper=25665215 53.39/53.47 o 305868 53.89/53.90 o 306800 53.89/53.90 c 123 calls to solver: best=306800 lower=306801 upper=25665215 54.29/54.34 o 306991 54.69/54.78 o 308788 54.69/54.78 c 125 calls to solver: best=308788 lower=308789 upper=25665215 55.19/55.22 o 309655 55.59/55.66 o 316381 55.59/55.66 c 127 calls to solver: best=316381 lower=316382 upper=25665215 56.00/56.09 o 317507 56.49/56.53 o 318665 56.49/56.53 c 129 calls to solver: best=318665 lower=318666 upper=25665215 56.89/56.98 o 319517 57.39/57.41 o 319639 57.39/57.41 c 131 calls to solver: best=319639 lower=319640 upper=25665215 57.79/57.84 o 319837 58.19/58.27 o 320107 58.19/58.27 c 133 calls to solver: best=320107 lower=320108 upper=25665215 58.69/58.70 o 320147 59.10/59.13 o 320824 59.10/59.13 c 135 calls to solver: best=320824 lower=320825 upper=25665215 59.49/59.56 o 322365 59.89/60.00 o 322609 59.89/60.00 c 137 calls to solver: best=322609 lower=322610 upper=25665215 60.39/60.43 o 325464 61.20/61.29 o 326318 61.20/61.29 c 139 calls to solver: best=326318 lower=326319 upper=25665215 61.70/61.73 o 326790 62.11/62.17 o 327100 62.11/62.17 c 141 calls to solver: best=327100 lower=327101 upper=25665215 62.60/62.60 o 327500 63.00/63.03 o 327636 63.00/63.03 c 143 calls to solver: best=327636 lower=327637 upper=25665215 63.40/63.46 o 327901 63.80/63.89 o 328642 63.80/63.89 c 145 calls to solver: best=328642 lower=328643 upper=25665215 64.30/64.32 o 328653 64.70/64.76 o 329052 64.70/64.76 c 147 calls to solver: best=329052 lower=329053 upper=25665215 65.11/65.19 o 329718 65.60/65.62 o 330159 65.60/65.62 c 149 calls to solver: best=330159 lower=330160 upper=25665215 66.00/66.05 o 330985 66.40/66.48 o 331502 66.40/66.48 c 151 calls to solver: best=331502 lower=331503 upper=25665215 66.90/66.91 o 331657 67.30/67.34 o 332561 67.30/67.34 c 153 calls to solver: best=332561 lower=332562 upper=25665215 67.70/67.77 o 333036 68.20/68.21 o 333467 68.20/68.21 c 155 calls to solver: best=333467 lower=333468 upper=25665215 68.60/68.64 o 334626 69.00/69.07 o 334817 69.00/69.07 c 157 calls to solver: best=334817 lower=334818 upper=25665215 69.50/69.50 o 335143 69.90/69.93 o 335181 69.90/69.93 c 159 calls to solver: best=335181 lower=335182 upper=25665215 70.30/70.36 o 336923 70.70/70.79 o 337621 70.70/70.79 c 161 calls to solver: best=337621 lower=337622 upper=25665215 71.20/71.22 o 337898 71.60/71.65 o 340381 71.60/71.65 c 163 calls to solver: best=340381 lower=340382 upper=25665215 72.00/72.09 o 342285 72.50/72.52 o 342327 72.50/72.52 c 165 calls to solver: best=342327 lower=342328 upper=25665215 73.40/73.45 o 342556 73.80/73.88 o 342571 73.80/73.88 c 167 calls to solver: best=342571 lower=342572 upper=25665215 74.30/74.32 o 342601 74.70/74.75 o 342605 74.70/74.75 c 169 calls to solver: best=342605 lower=342606 upper=25665215 75.10/75.18 o 342690 75.60/75.61 o 342707 75.60/75.61 c 171 calls to solver: best=342707 lower=342708 upper=25665215 76.00/76.04 o 343091 76.40/76.47 o 343907 76.40/76.47 c 173 calls to solver: best=343907 lower=343908 upper=25665215 76.90/76.90 o 344226 77.30/77.34 o 345352 77.30/77.34 c 175 calls to solver: best=345352 lower=345353 upper=25665215 77.70/77.77 o 345865 78.20/78.20 o 347061 78.20/78.20 c 177 calls to solver: best=347061 lower=347062 upper=25665215 78.60/78.63 o 347671 79.00/79.06 o 348341 79.00/79.06 c 179 calls to solver: best=348341 lower=348342 upper=25665215 79.40/79.49 o 349416 79.90/79.93 o 349485 79.90/79.93 c 181 calls to solver: best=349485 lower=349486 upper=25665215 80.30/80.36 o 349659 80.70/80.79 o 349905 80.70/80.79 c 183 calls to solver: best=349905 lower=349906 upper=25665215 81.20/81.23 o 350293 81.60/81.66 o 350350 81.60/81.66 c 185 calls to solver: best=350350 lower=350351 upper=25665215 82.00/82.09 o 351166 82.50/82.53 o 351543 82.50/82.53 c 187 calls to solver: best=351543 lower=351544 upper=25665215 82.90/82.96 o 352044 83.30/83.39 o 352406 83.30/83.39 c 189 calls to solver: best=352406 lower=352407 upper=25665215 83.80/83.82 o 354951 84.20/84.25 o 355083 84.20/84.25 c 191 calls to solver: best=355083 lower=355084 upper=25665215 84.60/84.68 o 355716 85.11/85.12 o 356763 85.11/85.12 c 193 calls to solver: best=356763 lower=356764 upper=25665215 85.50/85.55 o 358357 85.90/85.98 o 358981 85.90/85.98 c 195 calls to solver: best=358981 lower=358982 upper=25665215 86.40/86.41 o 360587 86.80/86.84 o 362423 86.80/86.84 c 197 calls to solver: best=362423 lower=362424 upper=25665215 87.20/87.27 o 365467 87.70/87.71 o 366852 87.70/87.71 c 199 calls to solver: best=366852 lower=366853 upper=25665215 88.11/88.14 o 367452 88.50/88.57 o 368394 88.50/88.57 c 201 calls to solver: best=368394 lower=368395 upper=25665215 88.90/89.00 o 373188 89.40/89.43 o 375406 89.40/89.43 c 203 calls to solver: best=375406 lower=375407 upper=25665215 89.80/89.87 o 375446 90.30/90.30 o 375951 90.30/90.30 c 205 calls to solver: best=375951 lower=375952 upper=25665215 90.70/90.73 o 376288 91.11/91.17 o 376452 91.11/91.17 c 207 calls to solver: best=376452 lower=376453 upper=25665215 91.60/91.60 o 376466 92.01/92.03 o 376536 92.01/92.03 c 209 calls to solver: best=376536 lower=376537 upper=25665215 92.40/92.46 o 376665 92.80/92.89 o 376967 92.80/92.89 c 211 calls to solver: best=376967 lower=376968 upper=25665215 93.30/93.32 o 377163 93.70/93.75 o 377385 93.70/93.75 c 213 calls to solver: best=377385 lower=377386 upper=25665215 94.11/94.19 o 377941 94.60/94.62 o 378352 94.60/94.62 c 215 calls to solver: best=378352 lower=378353 upper=25665215 95.01/95.05 o 378422 95.40/95.48 o 378653 95.40/95.48 c 217 calls to solver: best=378653 lower=378654 upper=25665215 95.90/95.91 o 379208 96.30/96.34 o 380138 96.30/96.34 c 219 calls to solver: best=380138 lower=380139 upper=25665215 96.70/96.78 o 380235 97.20/97.21 o 380396 97.20/97.21 c 221 calls to solver: best=380396 lower=380397 upper=25665215 97.60/97.64 o 380466 98.01/98.07 o 380899 98.01/98.07 c 223 calls to solver: best=380899 lower=380900 upper=25665215 98.50/98.50 o 381339 98.90/98.93 o 382067 98.90/98.93 c 225 calls to solver: best=382067 lower=382068 upper=25665215 99.30/99.36 o 382093 99.70/99.79 o 382496 99.70/99.79 c 227 calls to solver: best=382496 lower=382497 upper=25665215 100.20/100.22 o 383085 100.60/100.66 o 383144 100.60/100.66 c 229 calls to solver: best=383144 lower=383145 upper=25665215 101.01/101.09 o 384707 101.50/101.52 o 385352 101.50/101.52 c 231 calls to solver: best=385352 lower=385353 upper=25665215 101.90/101.95 o 385390 102.30/102.38 o 385499 102.30/102.38 c 233 calls to solver: best=385499 lower=385500 upper=25665215 102.80/102.81 o 386637 103.20/103.24 o 386806 103.20/103.24 c 235 calls to solver: best=386806 lower=386807 upper=25665215 103.60/103.67 o 388102 104.11/104.11 o 389474 104.11/104.11 c 237 calls to solver: best=389474 lower=389475 upper=25665215 104.50/104.54 o 393572 104.90/104.97 o 394022 104.90/104.97 c 239 calls to solver: best=394022 lower=394023 upper=25665215 105.40/105.40 o 394339 105.80/105.83 o 394469 105.80/105.83 c 241 calls to solver: best=394469 lower=394470 upper=25665215 106.20/106.26 o 394650 106.70/106.70 o 395033 106.70/106.70 c 243 calls to solver: best=395033 lower=395034 upper=25665215 107.11/107.13 o 395097 107.50/107.56 o 396332 107.50/107.56 c 245 calls to solver: best=396332 lower=396333 upper=25665215 107.90/107.99 o 396429 108.40/108.42 o 396480 108.40/108.42 c 247 calls to solver: best=396480 lower=396481 upper=25665215 108.80/108.85 o 396927 109.20/109.28 o 397456 109.20/109.28 c 249 calls to solver: best=397456 lower=397457 upper=25665215 109.70/109.71 o 397632 110.11/110.14 o 398590 110.11/110.14 c 251 calls to solver: best=398590 lower=398591 upper=25665215 110.50/110.57 o 399320 111.01/111.01 o 399966 111.01/111.01 c 253 calls to solver: best=399966 lower=399967 upper=25665215 111.40/111.44 o 400942 111.80/111.87 o 402698 111.80/111.87 c 255 calls to solver: best=402698 lower=402699 upper=25665215 112.30/112.30 o 402961 112.70/112.73 o 403074 112.70/112.73 c 257 calls to solver: best=403074 lower=403075 upper=25665215 113.11/113.16 o 403317 113.50/113.59 o 403894 113.50/113.59 c 259 calls to solver: best=403894 lower=403895 upper=25665215 114.01/114.03 o 404034 114.40/114.46 o 404229 114.40/114.46 c 261 calls to solver: best=404229 lower=404230 upper=25665215 114.80/114.89 o 404369 115.30/115.32 o 406181 115.30/115.32 c 263 calls to solver: best=406181 lower=406182 upper=25665215 115.70/115.76 o 406248 116.11/116.19 o 406288 116.11/116.19 c 265 calls to solver: best=406288 lower=406289 upper=25665215 116.60/116.62 o 406568 117.01/117.05 o 406657 117.01/117.05 c 267 calls to solver: best=406657 lower=406658 upper=25665215 117.40/117.48 o 406675 117.90/117.91 o 407069 117.90/117.91 c 269 calls to solver: best=407069 lower=407070 upper=25665215 118.30/118.34 o 407131 118.70/118.77 o 407279 118.70/118.77 c 271 calls to solver: best=407279 lower=407280 upper=25665215 119.20/119.20 o 407323 119.60/119.63 o 407922 119.60/119.63 c 273 calls to solver: best=407922 lower=407923 upper=25665215 120.01/120.06 o 408180 120.40/120.50 o 408963 120.40/120.50 c 275 calls to solver: best=408963 lower=408964 upper=25665215 120.90/120.93 o 409113 121.30/121.36 o 409519 121.30/121.36 c 277 calls to solver: best=409519 lower=409520 upper=25665215 121.70/121.79 o 409976 122.20/122.22 o 410630 122.20/122.22 c 279 calls to solver: best=410630 lower=410631 upper=25665215 122.60/122.65 o 411978 123.01/123.08 o 413216 123.01/123.08 c 281 calls to solver: best=413216 lower=413217 upper=25665215 123.50/123.51 o 413764 123.90/123.94 o 414978 123.90/123.94 c 283 calls to solver: best=414978 lower=414979 upper=25665215 124.30/124.37 o 417256 124.80/124.80 o 417640 124.80/124.80 c 285 calls to solver: best=417640 lower=417641 upper=25665215 125.20/125.23 o 418279 125.60/125.66 o 418939 125.60/125.66 c 287 calls to solver: best=418939 lower=418940 upper=25665215 126.01/126.10 o 419860 126.50/126.53 o 421069 126.50/126.53 c 289 calls to solver: best=421069 lower=421070 upper=25665215 126.90/126.96 o 421477 127.30/127.39 o 422132 127.30/127.39 c 291 calls to solver: best=422132 lower=422133 upper=25665215 127.80/127.82 o 424920 128.20/128.25 o 426804 128.20/128.25 c 293 calls to solver: best=426804 lower=426805 upper=25665215 128.60/128.68 o 428422 129.11/129.11 o 428978 129.11/129.11 c 295 calls to solver: best=428978 lower=428979 upper=25665215 129.50/129.54 o 429235 129.90/129.97 o 429924 129.90/129.97 c 297 calls to solver: best=429924 lower=429925 upper=25665215 130.40/130.40 o 430231 130.80/130.83 o 430289 130.80/130.83 c 299 calls to solver: best=430289 lower=430290 upper=25665215 131.20/131.26 o 430545 131.60/131.70 o 432586 131.60/131.70 c 301 calls to solver: best=432586 lower=432587 upper=25665215 132.11/132.13 o 433195 132.50/132.56 o 434274 132.50/132.56 c 303 calls to solver: best=434274 lower=434275 upper=25665215 132.90/132.99 o 434416 133.40/133.42 o 435086 133.40/133.42 c 305 calls to solver: best=435086 lower=435087 upper=25665215 134.20/134.27 o 435698 134.70/134.70 o 435831 134.70/134.70 c 307 calls to solver: best=435831 lower=435832 upper=25665215 135.11/135.13 o 435906 135.50/135.56 o 435989 135.50/135.56 c 309 calls to solver: best=435989 lower=435990 upper=25665215 135.90/135.99 o 436231 136.40/136.42 o 436412 136.40/136.42 c 311 calls to solver: best=436412 lower=436413 upper=25665215 136.80/136.85 o 436664 137.20/137.29 o 437922 137.20/137.29 c 313 calls to solver: best=437922 lower=437923 upper=25665215 137.70/137.72 o 438290 138.11/138.15 o 439207 138.11/138.15 c 315 calls to solver: best=439207 lower=439208 upper=25665215 138.50/138.58 o 439904 139.01/139.01 o 440390 139.01/139.01 c 317 calls to solver: best=440390 lower=440391 upper=25665215 139.40/139.44 o 441076 139.80/139.87 o 441745 139.80/139.87 c 319 calls to solver: best=441745 lower=441746 upper=25665215 140.30/140.30 o 441806 140.70/140.73 o 441997 140.70/140.73 c 321 calls to solver: best=441997 lower=441998 upper=25665215 141.11/141.16 o 442759 141.50/141.59 o 444352 141.50/141.59 c 323 calls to solver: best=444352 lower=444353 upper=25665215 142.01/142.02 o 444637 142.40/142.46 o 444922 142.40/142.46 c 325 calls to solver: best=444922 lower=444923 upper=25665215 142.80/142.89 o 448348 143.30/143.32 o 448394 143.30/143.32 c 327 calls to solver: best=448394 lower=448395 upper=25665215 143.70/143.75 o 451704 144.11/144.18 o 452368 144.11/144.18 c 329 calls to solver: best=452368 lower=452369 upper=25665215 144.60/144.61 o 453005 145.01/145.04 o 454546 145.01/145.04 c 331 calls to solver: best=454546 lower=454547 upper=25665215 145.40/145.47 o 454584 145.90/145.90 o 455491 145.90/145.90 c 333 calls to solver: best=455491 lower=455492 upper=25665215 146.30/146.34 o 455975 146.70/146.77 o 456828 146.70/146.77 c 335 calls to solver: best=456828 lower=456829 upper=25665215 147.20/147.20 o 457512 147.60/147.63 o 457578 147.60/147.63 c 337 calls to solver: best=457578 lower=457579 upper=25665215 148.01/148.06 o 457619 148.40/148.49 o 459110 148.40/148.49 c 339 calls to solver: best=459110 lower=459111 upper=25665215 148.90/148.92 o 462277 149.30/149.35 o 464144 149.30/149.35 c 341 calls to solver: best=464144 lower=464145 upper=25665215 149.70/149.78 o 464174 150.20/150.22 o 465634 150.20/150.22 c 343 calls to solver: best=465634 lower=465635 upper=25665215 150.60/150.65 o 466587 151.01/151.09 o 466645 151.01/151.09 c 345 calls to solver: best=466645 lower=466646 upper=25665215 151.50/151.52 o 466779 151.90/151.95 o 466783 151.90/151.95 c 347 calls to solver: best=466783 lower=466784 upper=25665215 152.30/152.38 o 466846 152.80/152.81 o 466877 152.80/152.81 c 349 calls to solver: best=466877 lower=466878 upper=25665215 153.20/153.25 o 466962 153.60/153.68 o 467203 153.60/153.68 c 351 calls to solver: best=467203 lower=467204 upper=25665215 154.11/154.11 o 467310 154.50/154.54 o 467617 154.50/154.54 c 353 calls to solver: best=467617 lower=467618 upper=25665215 154.90/154.97 o 467797 155.40/155.40 o 467954 155.40/155.40 c 355 calls to solver: best=467954 lower=467955 upper=25665215 155.80/155.83 o 468218 156.20/156.26 o 468408 156.20/156.26 c 357 calls to solver: best=468408 lower=468409 upper=25665215 156.60/156.69 o 468469 157.11/157.12 o 469200 157.11/157.12 c 359 calls to solver: best=469200 lower=469201 upper=25665215 157.50/157.56 o 469736 157.90/157.99 o 469985 157.90/157.99 c 361 calls to solver: best=469985 lower=469986 upper=25665215 158.40/158.42 o 470379 158.80/158.85 o 470484 158.80/158.85 c 363 calls to solver: best=470484 lower=470485 upper=25665215 159.20/159.28 o 470529 159.70/159.71 o 470538 159.70/159.71 c 365 calls to solver: best=470538 lower=470539 upper=25665215 160.11/160.14 o 471688 160.50/160.57 o 472383 160.50/160.57 c 367 calls to solver: best=472383 lower=472384 upper=25665215 161.01/161.01 o 473054 161.40/161.44 o 474942 161.40/161.44 c 369 calls to solver: best=474942 lower=474943 upper=25665215 161.80/161.87 o 475208 162.30/162.30 o 475897 162.30/162.30 c 371 calls to solver: best=475897 lower=475898 upper=25665215 162.70/162.73 o 477092 163.11/163.16 o 477235 163.11/163.16 c 373 calls to solver: best=477235 lower=477236 upper=25665215 163.50/163.59 o 478191 164.01/164.02 o 480246 164.01/164.02 c 375 calls to solver: best=480246 lower=480247 upper=25665215 164.40/164.46 o 481324 164.80/164.89 o 481373 164.80/164.89 c 377 calls to solver: best=481373 lower=481374 upper=25665215 165.30/165.32 o 482047 165.70/165.75 o 482082 165.70/165.75 c 379 calls to solver: best=482082 lower=482083 upper=25665215 166.11/166.18 o 483352 166.60/166.61 o 484059 166.60/166.61 c 381 calls to solver: best=484059 lower=484060 upper=25665215 167.01/167.04 o 484669 167.40/167.47 o 485744 167.40/167.47 c 383 calls to solver: best=485744 lower=485745 upper=25665215 167.90/167.91 o 487326 168.30/168.34 o 488001 168.30/168.34 c 385 calls to solver: best=488001 lower=488002 upper=25665215 168.70/168.77 o 488790 169.20/169.20 o 490118 169.20/169.20 c 387 calls to solver: best=490118 lower=490119 upper=25665215 169.60/169.63 o 490558 170.01/170.06 o 491032 170.01/170.06 c 389 calls to solver: best=491032 lower=491033 upper=25665215 170.41/170.49 o 491962 170.91/170.93 o 493312 170.91/170.93 c 391 calls to solver: best=493312 lower=493313 upper=25665215 171.31/171.36 o 494375 171.71/171.79 o 494631 171.71/171.79 c 393 calls to solver: best=494631 lower=494632 upper=25665215 172.21/172.22 o 494717 172.61/172.65 o 494981 172.61/172.65 c 395 calls to solver: best=494981 lower=494982 upper=25665215 173.01/173.08 o 495255 173.51/173.51 o 495439 173.51/173.51 c 397 calls to solver: best=495439 lower=495440 upper=25665215 173.91/173.94 o 495939 174.31/174.38 o 496102 174.31/174.38 c 399 calls to solver: best=496102 lower=496103 upper=25665215 174.81/174.81 o 496193 175.21/175.24 o 496591 175.21/175.24 c 401 calls to solver: best=496591 lower=496592 upper=25665215 175.61/175.67 o 496754 176.01/176.10 o 496932 176.01/176.10 c 403 calls to solver: best=496932 lower=496933 upper=25665215 176.51/176.53 o 497104 176.91/176.96 o 497557 176.91/176.96 c 405 calls to solver: best=497557 lower=497558 upper=25665215 177.31/177.40 o 497634 177.81/177.83 o 497830 177.81/177.83 c 407 calls to solver: best=497830 lower=497831 upper=25665215 178.21/178.26 o 497936 178.61/178.69 o 497975 178.61/178.69 c 409 calls to solver: best=497975 lower=497976 upper=25665215 179.11/179.12 o 498629 179.51/179.55 o 499217 179.51/179.55 c 411 calls to solver: best=499217 lower=499218 upper=25665215 179.91/179.98 o 499803 180.41/180.42 o 499840 180.41/180.42 c 413 calls to solver: best=499840 lower=499841 upper=25665215 180.81/180.85 o 500573 181.21/181.28 o 501581 181.21/181.28 c 415 calls to solver: best=501581 lower=501582 upper=25665215 181.71/181.71 o 502068 182.11/182.14 o 502289 182.11/182.14 c 417 calls to solver: best=502289 lower=502290 upper=25665215 182.51/182.57 o 502304 183.01/183.00 o 502377 183.01/183.00 c 419 calls to solver: best=502377 lower=502378 upper=25665215 183.41/183.44 o 502573 183.81/183.87 o 502583 183.81/183.87 c 421 calls to solver: best=502583 lower=502584 upper=25665215 184.31/184.30 o 502597 184.71/184.73 o 502648 184.71/184.73 c 423 calls to solver: best=502648 lower=502649 upper=25665215 185.12/185.16 o 503023 185.51/185.59 o 503117 185.51/185.59 c 425 calls to solver: best=503117 lower=503118 upper=25665215 186.01/186.02 o 503394 186.41/186.45 o 503871 186.41/186.45 c 427 calls to solver: best=503871 lower=503872 upper=25665215 186.81/186.89 o 504056 187.31/187.32 o 504082 187.31/187.32 c 429 calls to solver: best=504082 lower=504083 upper=25665215 187.71/187.75 o 504614 188.12/188.18 o 504665 188.12/188.18 c 431 calls to solver: best=504665 lower=504666 upper=25665215 188.61/188.61 o 504672 189.01/189.04 o 504784 189.01/189.04 c 433 calls to solver: best=504784 lower=504785 upper=25665215 189.41/189.47 o 504802 189.91/189.90 o 504915 189.91/189.90 c 435 calls to solver: best=504915 lower=504916 upper=25665215 190.31/190.33 o 504929 190.71/190.77 o 505040 190.71/190.77 c 437 calls to solver: best=505040 lower=505041 upper=25665215 191.21/191.20 o 505096 191.61/191.63 o 505126 191.61/191.63 c 439 calls to solver: best=505126 lower=505127 upper=25665215 192.01/192.06 o 505148 192.41/192.49 o 505346 192.41/192.49 c 441 calls to solver: best=505346 lower=505347 upper=25665215 192.91/192.92 o 505347 193.31/193.35 o 505405 193.31/193.35 c 443 calls to solver: best=505405 lower=505406 upper=25665215 193.71/193.78 o 505412 194.21/194.21 o 505610 194.21/194.21 c 445 calls to solver: best=505610 lower=505611 upper=25665215 194.61/194.64 o 505688 195.01/195.08 o 505689 195.01/195.08 c 447 calls to solver: best=505689 lower=505690 upper=25665215 195.51/195.51 o 505732 195.91/195.94 o 506043 195.91/195.94 c 449 calls to solver: best=506043 lower=506044 upper=25665215 196.31/196.37 o 506138 196.81/196.80 o 506205 196.81/196.80 c 451 calls to solver: best=506205 lower=506206 upper=25665215 197.21/197.23 o 506218 197.61/197.66 o 506313 197.61/197.66 c 453 calls to solver: best=506313 lower=506314 upper=25665215 198.01/198.09 o 506346 198.51/198.52 o 506353 198.51/198.52 c 455 calls to solver: best=506353 lower=506354 upper=25665215 198.91/198.95 o 506368 199.31/199.38 o 506399 199.31/199.38 c 457 calls to solver: best=506399 lower=506400 upper=25665215 199.81/199.82 o 506467 200.21/200.25 o 506578 200.21/200.25 c 459 calls to solver: best=506578 lower=506579 upper=25665215 200.61/200.68 o 506604 201.12/201.11 o 506972 201.12/201.11 c 461 calls to solver: best=506972 lower=506973 upper=25665215 201.51/201.54 o 507019 201.91/201.97 o 507093 201.91/201.97 c 463 calls to solver: best=507093 lower=507094 upper=25665215 202.41/202.40 o 507112 202.81/202.83 o 507151 202.81/202.83 c 465 calls to solver: best=507151 lower=507152 upper=25665215 203.21/203.26 o 507167 203.61/203.69 o 507239 203.61/203.69 c 467 calls to solver: best=507239 lower=507240 upper=25665215 204.12/204.13 o 507517 204.51/204.56 o 507705 204.51/204.56 c 469 calls to solver: best=507705 lower=507706 upper=25665215 204.91/204.99 o 507851 205.41/205.42 o 508168 205.41/205.42 c 471 calls to solver: best=508168 lower=508169 upper=25665215 205.81/205.85 o 508237 206.21/206.28 o 508252 206.21/206.28 c 473 calls to solver: best=508252 lower=508253 upper=25665215 206.71/206.71 o 508322 207.12/207.14 o 508345 207.12/207.14 c 475 calls to solver: best=508345 lower=508346 upper=25665215 207.51/207.57 o 508425 208.02/208.00 o 508453 208.02/208.00 c 477 calls to solver: best=508453 lower=508454 upper=25665215 208.41/208.44 o 508487 208.81/208.87 o 508528 208.81/208.87 c 479 calls to solver: best=508528 lower=508529 upper=25665215 209.31/209.30 o 508599 209.71/209.73 o 508648 209.71/209.73 c 481 calls to solver: best=508648 lower=508649 upper=25665215 210.12/210.16 o 509095 210.51/210.59 o 509331 210.51/210.59 c 483 calls to solver: best=509331 lower=509332 upper=25665215 211.02/211.02 o 509431 211.41/211.45 o 509516 211.41/211.45 c 485 calls to solver: best=509516 lower=509517 upper=25665215 211.81/211.88 o 509528 212.31/212.32 o 509611 212.31/212.32 c 487 calls to solver: best=509611 lower=509612 upper=25665215 212.71/212.75 o 509937 213.12/213.18 o 510437 213.12/213.18 c 489 calls to solver: best=510437 lower=510438 upper=25665215 213.61/213.61 o 510670 214.02/214.04 o 510708 214.02/214.04 c 491 calls to solver: best=510708 lower=510709 upper=25665215 214.41/214.47 o 510714 214.91/214.90 o 511299 214.91/214.90 c 493 calls to solver: best=511299 lower=511300 upper=25665215 215.31/215.33 o 511310 215.71/215.76 o 511320 215.71/215.76 c 495 calls to solver: best=511320 lower=511321 upper=25665215 216.12/216.20 o 511754 216.61/216.63 o 512059 216.61/216.63 c 497 calls to solver: best=512059 lower=512060 upper=25665215 217.02/217.06 o 512120 217.41/217.49 o 512136 217.41/217.49 c 499 calls to solver: best=512136 lower=512137 upper=25665215 217.91/217.92 o 512516 218.31/218.35 o 512707 218.31/218.35 c 501 calls to solver: best=512707 lower=512708 upper=25665215 218.71/218.78 o 513016 219.21/219.21 o 513069 219.21/219.21 c 503 calls to solver: best=513069 lower=513070 upper=25665215 219.61/219.64 o 513126 220.02/220.07 o 513317 220.02/220.07 c 505 calls to solver: best=513317 lower=513318 upper=25665215 220.51/220.50 o 513472 220.91/220.93 o 513506 220.91/220.93 c 507 calls to solver: best=513506 lower=513507 upper=25665215 221.31/221.37 o 513601 221.81/221.80 o 513612 221.81/221.80 c 509 calls to solver: best=513612 lower=513613 upper=25665215 222.21/222.23 o 513659 222.61/222.66 o 513816 222.61/222.66 c 511 calls to solver: best=513816 lower=513817 upper=25665215 223.02/223.09 o 514316 223.51/223.52 o 514321 223.51/223.52 c 513 calls to solver: best=514321 lower=514322 upper=25665215 223.91/223.95 o 514512 224.31/224.38 o 514540 224.31/224.38 c 515 calls to solver: best=514540 lower=514541 upper=25665215 224.81/224.81 o 514543 225.21/225.24 o 514596 225.21/225.24 c 517 calls to solver: best=514596 lower=514597 upper=25665215 225.61/225.67 o 514787 226.12/226.10 o 514849 226.12/226.10 c 519 calls to solver: best=514849 lower=514850 upper=25665215 226.51/226.54 o 514925 226.91/226.97 o 515063 226.91/226.97 c 521 calls to solver: best=515063 lower=515064 upper=25665215 227.41/227.40 o 515510 227.81/227.83 o 515534 227.81/227.83 c 523 calls to solver: best=515534 lower=515535 upper=25665215 228.21/228.26 o 515621 228.61/228.69 o 515701 228.61/228.69 c 525 calls to solver: best=515701 lower=515702 upper=25665215 229.12/229.12 o 515732 229.51/229.55 o 515806 229.51/229.55 c 527 calls to solver: best=515806 lower=515807 upper=25665215 229.91/229.98 o 515843 230.41/230.41 o 515923 230.41/230.41 c 529 calls to solver: best=515923 lower=515924 upper=25665215 230.81/230.84 o 515997 231.21/231.27 o 516034 231.21/231.27 c 531 calls to solver: best=516034 lower=516035 upper=25665215 231.71/231.70 o 516092 232.12/232.14 o 516108 232.12/232.14 c 533 calls to solver: best=516108 lower=516109 upper=25665215 232.51/232.57 o 516129 232.91/233.00 o 516203 232.91/233.00 c 535 calls to solver: best=516203 lower=516204 upper=25665215 233.41/233.43 o 516262 233.81/233.86 o 516453 233.81/233.86 c 537 calls to solver: best=516453 lower=516454 upper=25665215 234.21/234.29 o 516459 234.71/234.72 o 516681 234.71/234.72 c 539 calls to solver: best=516681 lower=516682 upper=25665215 235.12/235.15 o 516700 235.51/235.58 o 516852 235.51/235.58 c 541 calls to solver: best=516852 lower=516853 upper=25665215 236.02/236.01 o 516869 236.41/236.44 o 516964 236.41/236.44 c 543 calls to solver: best=516964 lower=516965 upper=25665215 236.81/236.88 o 517038 237.31/237.31 o 517385 237.31/237.31 c 545 calls to solver: best=517385 lower=517386 upper=25665215 237.71/237.74 o 517393 238.12/238.17 o 517410 238.12/238.17 c 547 calls to solver: best=517410 lower=517411 upper=25665215 238.61/238.60 o 517506 239.02/239.04 o 517560 239.02/239.04 c 549 calls to solver: best=517560 lower=517561 upper=25665215 239.41/239.47 o 517632 239.91/239.90 o 517785 239.91/239.90 c 551 calls to solver: best=517785 lower=517786 upper=25665215 240.31/240.33 o 517841 240.71/240.76 o 517891 240.71/240.76 c 553 calls to solver: best=517891 lower=517892 upper=25665215 241.12/241.19 o 518112 241.61/241.62 o 518221 241.61/241.62 c 555 calls to solver: best=518221 lower=518222 upper=25665215 242.02/242.05 o 518297 242.41/242.48 o 518355 242.41/242.48 c 557 calls to solver: best=518355 lower=518356 upper=25665215 242.91/242.92 o 518392 243.31/243.35 o 518400 243.31/243.35 c 559 calls to solver: best=518400 lower=518401 upper=25665215 243.71/243.78 o 518411 244.21/244.21 o 518435 244.21/244.21 c 561 calls to solver: best=518435 lower=518436 upper=25665215 244.61/244.64 o 518447 245.02/245.07 o 518667 245.02/245.07 c 563 calls to solver: best=518667 lower=518668 upper=25665215 245.51/245.50 o 518675 245.91/245.94 o 518781 245.91/245.94 c 565 calls to solver: best=518781 lower=518782 upper=25665215 246.31/246.37 o 518828 246.81/246.80 o 518838 246.81/246.80 c 567 calls to solver: best=518838 lower=518839 upper=25665215 247.21/247.23 o 518856 247.61/247.66 o 518878 247.61/247.66 c 569 calls to solver: best=518878 lower=518879 upper=25665215 248.02/248.09 o 518893 248.51/248.52 o 518915 248.51/248.52 c 571 calls to solver: best=518915 lower=518916 upper=25665215 248.91/248.95 o 519002 249.31/249.38 o 519008 249.31/249.38 c 573 calls to solver: best=519008 lower=519009 upper=25665215 249.81/249.82 o 519193 250.21/250.25 o 519203 250.21/250.25 c 575 calls to solver: best=519203 lower=519204 upper=25665215 250.61/250.68 o 519228 251.12/251.11 o 519239 251.12/251.11 c 577 calls to solver: best=519239 lower=519240 upper=25665215 251.51/251.54 o 519261 251.91/251.97 o 519292 251.91/251.97 c 579 calls to solver: best=519292 lower=519293 upper=25665215 252.02/252.00 252.02/252.00 c *** INTERRUPTED *** 252.02/252.00 c restarts : 3 252.02/252.00 c conflicts : 393 (2 /sec) 252.02/252.00 c decisions : 1165075 (4623 /sec) 252.02/252.00 c propagations : 1214278 (4818 /sec) 252.02/252.00 c root propagations : 2000 252.02/252.00 c filter calls : 7027810 (27887 /sec) 252.02/252.00 c useless filter calls : 7019561 (99 %) 252.02/252.00 c Memory used : 50.14 MB 252.02/252.00 c CPU time : 252.006 s 252.02/252.00 252.02/252.00 c nb Solutions = 579 252.02/252.00 s SATISFIABLE 252.02/252.00 c Best value found: 519292 252.02/252.00 252.02/252.00 252.02/252.00 v <instantiation type='solution' cost='519292'> 252.02/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> 252.02/252.00 v <values>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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 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 1 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 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 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 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 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 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 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 1 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 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 1 0 0 0 0 0 1 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 1 0 0 0 0 1 0 1 1 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 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 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 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 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 0 0 0 0 0 0 0 0 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 1 0 1 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 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 1 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 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 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 1 0 0 0 0 0 0 1 0 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 0 0 0 0 0 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 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 1 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 1 0 0 0 0 0 0 1 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 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 </values> 252.02/252.00 v </instantiation> 252.02/252.00
OK 519292
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 (13535 MiB free)
memory of node 1: 16384 MiB (13940 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301458-1532881510/watcher-4301458-1532881510 -o /tmp/evaluation-result-4301458-1532881510/solver-4301458-1532881510 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532880243-4871 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4301458-1532881510.xml
running on 4 cores: 1,3,5,7
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=5730, runsolver pid=5727
[startup+0.100114 s]*
/proc/loadavg: 2.32 2.07 1.87 3/187 5731
/proc/meminfo: memFree=28129956/32770624 swapFree=67108532/67108860
[pid=5730] ppid=5727 vsize=32248 memory=8780 CPUtime=0.1 cores=1,3,5,7
/proc/5730/stat : 5730 (cosoco) R 5727 5730 4839 0 -1 4202496 2353 0 0 0 10 0 0 0 20 0 1 0 105714190 33021952 2195 33554432000 4194304 6142532 140735790603824 140735790600456 5748533 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36577280 140735790605451 140735790605581 140735790605581 140735790608334 0
/proc/5730/statm: 8062 2195 821 476 0 1384 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32248 KiB
Current children cumulated memory: 8780 KiB
[startup+0.209383 s]*
/proc/loadavg: 2.32 2.07 1.87 3/187 5731
/proc/meminfo: memFree=28129212/32770624 swapFree=67108532/67108860
[pid=5730] ppid=5727 vsize=33036 memory=9596 CPUtime=0.21 cores=1,3,5,7
/proc/5730/stat : 5730 (cosoco) R 5727 5730 4839 0 -1 4202496 2581 0 0 0 21 0 0 0 20 0 1 0 105714190 33828864 2399 33554432000 4194304 6142532 140735790603824 140735790600456 140570435521509 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36577280 140735790605451 140735790605581 140735790605581 140735790608334 0
/proc/5730/statm: 8259 2399 865 476 0 1581 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33036 KiB
Current children cumulated memory: 9596 KiB
[startup+0.308809 s]*
/proc/loadavg: 2.32 2.07 1.87 3/187 5731
/proc/meminfo: memFree=28125972/32770624 swapFree=67108532/67108860
[pid=5730] ppid=5727 vsize=36080 memory=12764 CPUtime=0.31 cores=1,3,5,7
/proc/5730/stat : 5730 (cosoco) R 5727 5730 4839 0 -1 4202496 3355 0 0 0 31 0 0 0 20 0 1 0 105714190 36945920 3191 33554432000 4194304 6142532 140735790603824 140735790600456 140570435521509 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36577280 140735790605451 140735790605581 140735790605581 140735790608334 0
/proc/5730/statm: 9053 3191 865 476 0 2375 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 36080 KiB
Current children cumulated memory: 12764 KiB
[startup+0.700236 s]
/proc/loadavg: 2.32 2.07 1.87 3/187 5731
/proc/meminfo: memFree=28121136/32770624 swapFree=67108532/67108860
[pid=5730] ppid=5727 vsize=42468 memory=19100 CPUtime=0.69 cores=1,3,5,7
/proc/5730/stat : 5730 (cosoco) R 5727 5730 4839 0 -1 4202496 4941 0 0 0 69 0 0 0 20 0 1 0 105714190 43487232 4775 33554432000 4194304 6142532 140735790603824 140735790600456 140570435590699 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36577280 140735790605451 140735790605581 140735790605581 140735790608334 0
/proc/5730/statm: 10617 4775 866 476 0 3939 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 42468 KiB
Current children cumulated memory: 19100 KiB
[startup+1.50024 s]
/proc/loadavg: 2.32 2.07 1.87 3/187 5731
/proc/meminfo: memFree=28115652/32770624 swapFree=67108532/67108860
[pid=5730] ppid=5727 vsize=47584 memory=24116 CPUtime=1.49 cores=1,3,5,7
/proc/5730/stat : 5730 (cosoco) R 5727 5730 4839 0 -1 4202496 6210 0 0 0 149 0 0 0 20 0 1 0 105714190 48726016 6029 33554432000 4194304 6142532 140735790603824 140735790600680 5215649 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36577280 140735790605451 140735790605581 140735790605581 140735790608334 0
/proc/5730/statm: 11896 6029 866 476 0 5218 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 47584 KiB
Current children cumulated memory: 24116 KiB
[startup+3.10885 s]
/proc/loadavg: 2.32 2.07 1.87 3/187 5731
/proc/meminfo: memFree=28114068/32770624 swapFree=67108532/67108860
[pid=5730] ppid=5727 vsize=47584 memory=24212 CPUtime=3.1 cores=1,3,5,7
/proc/5730/stat : 5730 (cosoco) R 5727 5730 4839 0 -1 4202496 9485 0 0 0 309 1 0 0 20 0 1 0 105714190 48726016 6053 33554432000 4194304 6142532 140735790603824 140735790591096 5137776 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36577280 140735790605451 140735790605581 140735790605581 140735790608334 0
/proc/5730/statm: 11896 6053 866 476 0 5218 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 47584 KiB
Current children cumulated memory: 24212 KiB
[startup+6.30022 s]
/proc/loadavg: 2.30 2.06 1.87 3/187 5731
/proc/meminfo: memFree=28114072/32770624 swapFree=67108532/67108860
[pid=5730] ppid=5727 vsize=47584 memory=24212 CPUtime=6.29 cores=1,3,5,7
/proc/5730/stat : 5730 (cosoco) R 5727 5730 4839 0 -1 4202496 12682 0 0 0 628 1 0 0 20 0 1 0 105714190 48726016 6053 33554432000 4194304 6142532 140735790603824 140735790601352 5138725 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36577280 140735790605451 140735790605581 140735790605581 140735790608334 0
/proc/5730/statm: 11896 6053 866 476 0 5218 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 47584 KiB
Current children cumulated memory: 24212 KiB
[startup+12.7002 s]
/proc/loadavg: 2.27 2.06 1.87 3/187 5731
/proc/meminfo: memFree=28114136/32770624 swapFree=67108532/67108860
[pid=5730] ppid=5727 vsize=47584 memory=24212 CPUtime=12.69 cores=1,3,5,7
/proc/5730/stat : 5730 (cosoco) R 5727 5730 4839 0 -1 4202496 16021 0 0 0 1268 1 0 0 20 0 1 0 105714190 48726016 6053 33554432000 4194304 6142532 140735790603824 140735790591096 5138400 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36577280 140735790605451 140735790605581 140735790605581 140735790608334 0
/proc/5730/statm: 11896 6053 866 476 0 5218 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 47584 KiB
Current children cumulated memory: 24212 KiB
[startup+25.5002 s]
/proc/loadavg: 2.21 2.06 1.87 3/187 5731
/proc/meminfo: memFree=28114136/32770624 swapFree=67108532/67108860
[pid=5730] ppid=5727 vsize=47584 memory=24212 CPUtime=25.49 cores=1,3,5,7
/proc/5730/stat : 5730 (cosoco) R 5727 5730 4839 0 -1 4202496 23249 0 0 0 2548 1 0 0 20 0 1 0 105714190 48726016 6053 33554432000 4194304 6142532 140735790603824 140735790601352 5137685 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36577280 140735790605451 140735790605581 140735790605581 140735790608334 0
/proc/5730/statm: 11896 6053 866 476 0 5218 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 47584 KiB
Current children cumulated memory: 24212 KiB
[startup+51.1088 s]
/proc/loadavg: 2.14 2.06 1.87 3/187 5731
/proc/meminfo: memFree=28112736/32770624 swapFree=67108532/67108860
[pid=5730] ppid=5727 vsize=48520 memory=25168 CPUtime=51.1 cores=1,3,5,7
/proc/5730/stat : 5730 (cosoco) R 5727 5730 4839 0 -1 4202496 27727 0 0 0 5109 1 0 0 20 0 1 0 105714190 49684480 6292 33554432000 4194304 6142532 140735790603824 140735790601352 5138684 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36577280 140735790605451 140735790605581 140735790605581 140735790608334 0
/proc/5730/statm: 12130 6292 866 476 0 5452 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 48520 KiB
Current children cumulated memory: 25168 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.03 1.87 3/187 5732
/proc/meminfo: memFree=28110236/32770624 swapFree=67108532/67108860
[pid=5730] ppid=5727 vsize=50812 memory=27312 CPUtime=102.3 cores=1,3,5,7
/proc/5730/stat : 5730 (cosoco) R 5727 5730 4839 0 -1 4202496 28939 0 0 0 10228 2 0 0 20 0 1 0 105714190 52031488 6828 33554432000 4194304 6142532 140735790603824 140735790601352 5138400 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36577280 140735790605451 140735790605581 140735790605581 140735790608334 0
/proc/5730/statm: 12703 6828 866 476 0 6025 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 50812 KiB
Current children cumulated memory: 27312 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 1.88 3/187 5733
/proc/meminfo: memFree=28110164/32770624 swapFree=67108532/67108860
[pid=5730] ppid=5727 vsize=51076 memory=27636 CPUtime=162.3 cores=1,3,5,7
/proc/5730/stat : 5730 (cosoco) R 5727 5730 4839 0 -1 4202496 29511 0 0 0 16228 2 0 0 20 0 1 0 105714190 52301824 6909 33554432000 4194304 6142532 140735790603824 140735790601352 5318912 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36577280 140735790605451 140735790605581 140735790605581 140735790608334 0
/proc/5730/statm: 12769 6909 866 476 0 6091 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 51076 KiB
Current children cumulated memory: 27636 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 1.89 3/187 5735
/proc/meminfo: memFree=28110408/32770624 swapFree=67108532/67108860
[pid=5730] ppid=5727 vsize=51212 memory=27784 CPUtime=222.31 cores=1,3,5,7
/proc/5730/stat : 5730 (cosoco) R 5727 5730 4839 0 -1 4202496 29838 0 0 0 22229 2 0 0 20 0 1 0 105714190 52441088 6946 33554432000 4194304 6142532 140735790603824 140735790591096 5137685 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36577280 140735790605451 140735790605581 140735790605581 140735790608334 0
/proc/5730/statm: 12803 6946 866 476 0 6125 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 51212 KiB
Current children cumulated memory: 27784 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252 s]*
/proc/loadavg: 2.00 2.02 1.89 3/187 5797
/proc/meminfo: memFree=28114012/32770624 swapFree=67108532/67108860
[pid=5730] ppid=5727 vsize=51344 memory=27784 CPUtime=252.02 cores=1,3,5,7
/proc/5730/stat : 5730 (cosoco) R 5727 5730 4839 0 -1 4202496 29863 0 0 0 25200 2 0 0 20 0 1 0 105714190 52576256 6946 33554432000 4194304 6142532 140735790603824 140735790601352 5138688 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 36577280 140735790605451 140735790605581 140735790605581 140735790608334 0
/proc/5730/statm: 12836 6946 866 476 0 6158 0
Current children cumulated CPU time: 252.02 s
Current children cumulated vsize: 51344 KiB
Current children cumulated memory: 27784 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+252.01 s]
# the end of solver process 5730 was just reported to runsolver
# cumulated CPU time of all completed processes: user=252.007 s, system=0.027003 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.034
CPU user time (s): 252.007
CPU system time (s): 0.027003
CPU usage (%): 100.009
Max. virtual memory (cumulated for all children) (KiB): 51344
Max. memory (cumulated for all children) (KiB): 27784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 252.007
system time used= 0.027003
maximum resident set size= 28064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29899
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= 11
involuntary context switches= 148
# summary of solver processes directly reported to runsolver:
# pid: 5730
# total CPU time (s): 252.034
# total CPU user time (s): 252.007
# total CPU system time (s): 0.027003
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.93994 second user time and 1.59929 second system time
The end
Begin job on node104 at 2018-07-29 18:25:10 IDJOB=4301458 IDBENCH=141160 IDSOLVER=2774 FILE ID=node104/4301458-1532881510 RUNJOBID= node104-1532880243-4871 PBS_JOBID= 21022518 Free space on /tmp= 50568 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/Auction/Auction-cnt/Auction-cnt-decay400_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4301458-1532881510/watcher-4301458-1532881510 -o /tmp/evaluation-result-4301458-1532881510/solver-4301458-1532881510 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532880243-4871 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4301458-1532881510.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ef5bf96e0ba9cc2c7a758eef92479658 RANDOM SEED=491344510 node104.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.11 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.11 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.11 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.11 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: 28135700 kB MemAvailable: 31932604 kB Buffers: 177220 kB Cached: 3874508 kB SwapCached: 12 kB Active: 1960096 kB Inactive: 2168784 kB Active(anon): 31480 kB Inactive(anon): 73040 kB Active(file): 1928616 kB Inactive(file): 2095744 kB Unevictable: 7360 kB Mlocked: 7360 kB SwapTotal: 67108860 kB SwapFree: 67108532 kB Dirty: 2568 kB Writeback: 12 kB AnonPages: 88700 kB Mapped: 44612 kB Shmem: 25060 kB Slab: 205572 kB SReclaimable: 176760 kB SUnreclaim: 28812 kB KernelStack: 3552 kB PageTables: 4804 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 376644 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 50564 MiB End job on node104 at 2018-07-29 18:29:22