Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 1.12 | SAT (TO) | 490080 | 252 | 252.011 |
Name | Auction/Auction-sum/ Auction-sum-decay400_c18.xml |
MD5SUM | b20be86eed1a54c36d145f853cc0c945 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 2380118 |
Best CPU time to get the best result obtained on this benchmark | 252.088 |
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":"sum","count":400}] |
Optimization problem | YES |
Type of objective | max SUM |
0.10/0.13 c best=?? lower=0 upper=25665215 0.31/0.40 c 0.31/0.40 c This is cosoco 1.12 -- 0.31/0.40 c 0.31/0.40 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4301434-1532881007.xml 0.31/0.40 c enable optimization 0.31/0.40 c ========================================[ Problem Statistics ]=========================================== 0.31/0.40 c | 0.31/0.40 c | Parse time : 0.13 s 0.31/0.40 c | 0.31/0.40 c | Variables: 2000 0.31/0.40 c | Domain Sizes: 2..2 0.31/0.40 c | 0.31/0.40 c | Constraints: 401 0.31/0.40 c | Arity: 12..2000 0.31/0.40 c | 0.31/0.40 c | Types: 0.31/0.40 c | Sum: 401 0.31/0.40 c | 0.31/0.40 c | Objective: Maximize Sum 0.31/0.40 0.31/0.40 c ========================================================================================================= 0.31/0.40 o 0 0.31/0.40 c 1 calls to solver: best=0 lower=1 upper=25665215 0.79/0.86 o 27190 1.29/1.32 o 39779 1.29/1.32 c 3 calls to solver: best=39779 lower=39780 upper=25665215 1.69/1.78 o 46216 2.19/2.23 o 52533 2.19/2.23 c 5 calls to solver: best=52533 lower=52534 upper=25665215 2.59/2.69 o 61981 3.10/3.14 o 68328 3.10/3.14 c 7 calls to solver: best=68328 lower=68329 upper=25665215 3.59/3.60 o 76048 4.00/4.06 o 77161 4.00/4.06 c 9 calls to solver: best=77161 lower=77162 upper=25665215 4.49/4.51 o 77304 4.89/4.96 o 78515 4.89/4.96 c 11 calls to solver: best=78515 lower=78516 upper=25665215 5.39/5.42 o 86888 5.79/5.87 o 94878 5.79/5.87 c 13 calls to solver: best=94878 lower=94879 upper=25665215 6.29/6.33 o 95586 6.69/6.78 o 103562 6.69/6.78 c 15 calls to solver: best=103562 lower=103563 upper=25665215 7.19/7.24 o 104455 7.69/7.70 o 105009 7.69/7.70 c 17 calls to solver: best=105009 lower=105010 upper=25665215 8.10/8.15 o 107508 8.59/8.61 o 110266 8.59/8.61 c 19 calls to solver: best=110266 lower=110267 upper=25665215 9.00/9.07 o 114167 9.49/9.52 o 118771 9.49/9.52 c 21 calls to solver: best=118771 lower=118772 upper=25665215 9.89/9.98 o 123402 10.39/10.43 o 123947 10.39/10.43 c 23 calls to solver: best=123947 lower=123948 upper=25665215 10.79/10.89 o 131749 11.29/11.34 o 132484 11.29/11.34 c 25 calls to solver: best=132484 lower=132485 upper=25665215 11.79/11.80 o 135779 12.19/12.25 o 138784 12.19/12.25 c 27 calls to solver: best=138784 lower=138785 upper=25665215 12.69/12.71 o 140055 13.10/13.17 o 144852 13.10/13.17 c 29 calls to solver: best=144852 lower=144853 upper=25665215 13.59/13.62 o 149562 14.00/14.08 o 149812 14.00/14.08 c 31 calls to solver: best=149812 lower=149813 upper=25665215 14.49/14.54 o 152811 14.89/15.00 o 155816 14.89/15.00 c 33 calls to solver: best=155816 lower=155817 upper=25665215 15.39/15.45 o 156789 15.89/15.91 o 161560 15.89/15.91 c 35 calls to solver: best=161560 lower=161561 upper=25665215 16.29/16.37 o 162005 16.79/16.83 o 162591 16.79/16.83 c 37 calls to solver: best=162591 lower=162592 upper=25665215 17.19/17.29 o 162831 17.69/17.74 o 163803 17.69/17.74 c 39 calls to solver: best=163803 lower=163804 upper=25665215 18.19/18.20 o 164692 18.59/18.66 o 164696 18.59/18.66 c 41 calls to solver: best=164696 lower=164697 upper=25665215 19.10/19.12 o 164973 19.49/19.58 o 166378 19.49/19.58 c 43 calls to solver: best=166378 lower=166379 upper=25665215 20.00/20.03 o 170385 20.39/20.49 o 172911 20.39/20.49 c 45 calls to solver: best=172911 lower=172912 upper=25665215 20.89/20.95 o 173615 21.39/21.41 o 176022 21.39/21.41 c 47 calls to solver: best=176022 lower=176023 upper=25665215 21.79/21.87 o 178431 22.29/22.32 o 181357 22.29/22.32 c 49 calls to solver: best=181357 lower=181358 upper=25665215 22.69/22.78 o 181510 23.19/23.24 o 182414 23.19/23.24 c 51 calls to solver: best=182414 lower=182415 upper=25665215 23.69/23.70 o 184755 24.10/24.15 o 185704 24.10/24.15 c 53 calls to solver: best=185704 lower=185705 upper=25665215 24.59/24.61 o 188113 25.00/25.06 o 190348 25.00/25.06 c 55 calls to solver: best=190348 lower=190349 upper=25665215 25.49/25.52 o 193561 25.89/25.98 o 194006 25.89/25.98 c 57 calls to solver: best=194006 lower=194007 upper=25665215 26.39/26.43 o 194027 26.79/26.89 o 196400 26.79/26.89 c 59 calls to solver: best=196400 lower=196401 upper=25665215 27.29/27.34 o 196829 27.79/27.80 o 197422 27.79/27.80 c 61 calls to solver: best=197422 lower=197423 upper=25665215 28.19/28.25 o 197443 28.69/28.71 o 205353 28.69/28.71 c 63 calls to solver: best=205353 lower=205354 upper=25665215 29.10/29.17 o 207720 29.59/29.63 o 208474 29.59/29.63 c 65 calls to solver: best=208474 lower=208475 upper=25665215 30.00/30.09 o 210170 30.49/30.54 o 212332 30.49/30.54 c 67 calls to solver: best=212332 lower=212333 upper=25665215 30.89/31.00 o 213119 31.39/31.46 o 214894 31.39/31.46 c 69 calls to solver: best=214894 lower=214895 upper=25665215 31.89/31.92 o 220273 32.29/32.37 o 222233 32.29/32.37 c 71 calls to solver: best=222233 lower=222234 upper=25665215 32.79/32.83 o 222665 33.19/33.29 o 223907 33.19/33.29 c 73 calls to solver: best=223907 lower=223908 upper=25665215 33.69/33.75 o 225212 34.19/34.21 o 228293 34.19/34.21 c 75 calls to solver: best=228293 lower=228294 upper=25665215 34.59/34.66 o 230291 35.10/35.12 o 234511 35.10/35.12 c 77 calls to solver: best=234511 lower=234512 upper=25665215 35.49/35.58 o 235997 36.00/36.04 o 236048 36.00/36.04 c 79 calls to solver: best=236048 lower=236049 upper=25665215 36.49/36.50 o 237269 36.89/36.96 o 239629 36.89/36.96 c 81 calls to solver: best=239629 lower=239630 upper=25665215 37.39/37.42 o 239770 37.79/37.88 o 241387 37.79/37.88 c 83 calls to solver: best=241387 lower=241388 upper=25665215 38.29/38.34 o 241472 38.79/38.80 o 243068 38.79/38.80 c 85 calls to solver: best=243068 lower=243069 upper=25665215 39.19/39.26 o 243244 39.69/39.72 o 246409 39.69/39.72 c 87 calls to solver: best=246409 lower=246410 upper=25665215 40.10/40.17 o 247561 40.59/40.63 o 249854 40.59/40.63 c 89 calls to solver: best=249854 lower=249855 upper=25665215 41.00/41.09 o 251486 41.49/41.55 o 252942 41.49/41.55 c 91 calls to solver: best=252942 lower=252943 upper=25665215 42.00/42.01 o 255176 42.39/42.46 o 258784 42.39/42.46 c 93 calls to solver: best=258784 lower=258785 upper=25665215 42.89/42.92 o 259432 43.29/43.38 o 259704 43.29/43.38 c 95 calls to solver: best=259704 lower=259705 upper=25665215 43.79/43.84 o 260166 44.29/44.30 o 262400 44.29/44.30 c 97 calls to solver: best=262400 lower=262401 upper=25665215 44.69/44.75 o 265449 45.19/45.21 o 265604 45.19/45.21 c 99 calls to solver: best=265604 lower=265605 upper=25665215 45.59/45.67 o 266407 46.10/46.13 o 270135 46.10/46.13 c 101 calls to solver: best=270135 lower=270136 upper=25665215 46.49/46.58 o 272491 47.00/47.04 o 273795 47.00/47.04 c 103 calls to solver: best=273795 lower=273796 upper=25665215 47.49/47.50 o 274378 47.89/47.96 o 278685 47.89/47.96 c 105 calls to solver: best=278685 lower=278686 upper=25665215 48.39/48.42 o 279774 48.79/48.88 o 279853 48.79/48.88 c 107 calls to solver: best=279853 lower=279854 upper=25665215 49.29/49.33 o 280185 49.69/49.79 o 285382 49.69/49.79 c 109 calls to solver: best=285382 lower=285383 upper=25665215 50.19/50.25 o 287579 50.69/50.71 o 287691 50.69/50.71 c 111 calls to solver: best=287691 lower=287692 upper=25665215 51.10/51.16 o 291758 51.59/51.62 o 294102 51.59/51.62 c 113 calls to solver: best=294102 lower=294103 upper=25665215 52.00/52.08 o 298086 52.49/52.54 o 299357 52.49/52.54 c 115 calls to solver: best=299357 lower=299358 upper=25665215 52.89/53.00 o 299585 53.39/53.45 o 300782 53.39/53.45 c 117 calls to solver: best=300782 lower=300783 upper=25665215 53.89/53.91 o 301852 54.29/54.37 o 301947 54.29/54.37 c 119 calls to solver: best=301947 lower=301948 upper=25665215 54.79/54.83 o 303684 55.19/55.28 o 304622 55.19/55.28 c 121 calls to solver: best=304622 lower=304623 upper=25665215 55.69/55.74 o 306296 56.19/56.20 o 312411 56.19/56.20 c 123 calls to solver: best=312411 lower=312412 upper=25665215 56.59/56.66 o 314399 57.10/57.11 o 315266 57.10/57.11 c 125 calls to solver: best=315266 lower=315267 upper=25665215 57.49/57.57 o 321471 58.00/58.03 o 321792 58.00/58.03 c 127 calls to solver: best=321792 lower=321793 upper=25665215 58.49/58.51 o 321824 58.89/58.97 o 322522 58.89/58.97 c 129 calls to solver: best=322522 lower=322523 upper=25665215 59.39/59.42 o 323422 59.79/59.88 o 325410 59.79/59.88 c 131 calls to solver: best=325410 lower=325411 upper=25665215 60.29/60.34 o 326125 60.79/60.80 o 326222 60.79/60.80 c 133 calls to solver: best=326222 lower=326223 upper=25665215 61.19/61.26 o 326413 61.69/61.72 o 328923 61.69/61.72 c 135 calls to solver: best=328923 lower=328924 upper=25665215 62.09/62.18 o 332503 62.59/62.63 o 333606 62.59/62.63 c 137 calls to solver: best=333606 lower=333607 upper=25665215 62.99/63.09 o 335407 63.49/63.55 o 335486 63.49/63.55 c 139 calls to solver: best=335486 lower=335487 upper=25665215 63.99/64.01 o 335972 64.39/64.47 o 338384 64.39/64.47 c 141 calls to solver: best=338384 lower=338385 upper=25665215 64.89/64.92 o 341085 65.29/65.38 o 341514 65.29/65.38 c 143 calls to solver: best=341514 lower=341515 upper=25665215 65.79/65.84 o 343638 66.29/66.30 o 343733 66.29/66.30 c 145 calls to solver: best=343733 lower=343734 upper=25665215 66.69/66.76 o 345036 67.59/67.67 o 345054 67.59/67.67 c 147 calls to solver: best=345054 lower=345055 upper=25665215 68.09/68.13 o 345456 68.48/68.59 o 345839 68.48/68.59 c 149 calls to solver: best=345839 lower=345840 upper=25665215 68.99/69.05 o 345882 69.48/69.51 o 345988 69.48/69.51 c 151 calls to solver: best=345988 lower=345989 upper=25665215 69.88/69.96 o 346590 70.38/70.42 o 346828 70.38/70.42 c 153 calls to solver: best=346828 lower=346829 upper=25665215 70.78/70.89 o 348504 71.28/71.34 o 348953 71.28/71.34 c 155 calls to solver: best=348953 lower=348954 upper=25665215 71.78/71.80 o 349109 72.18/72.26 o 349149 72.18/72.26 c 157 calls to solver: best=349149 lower=349150 upper=25665215 72.68/72.72 o 349776 73.09/73.18 o 350976 73.09/73.18 c 159 calls to solver: best=350976 lower=350977 upper=25665215 73.58/73.64 o 350977 73.99/74.10 o 352737 73.99/74.10 c 161 calls to solver: best=352737 lower=352738 upper=25665215 74.48/74.56 o 353555 74.99/75.02 o 353675 74.99/75.02 c 163 calls to solver: best=353675 lower=353676 upper=25665215 75.38/75.48 o 354521 75.88/75.94 o 355438 75.88/75.94 c 165 calls to solver: best=355438 lower=355439 upper=25665215 76.38/76.40 o 355868 76.78/76.86 o 356802 76.78/76.86 c 167 calls to solver: best=356802 lower=356803 upper=25665215 77.28/77.32 o 358059 77.68/77.78 o 359996 77.68/77.78 c 169 calls to solver: best=359996 lower=359997 upper=25665215 78.18/78.24 o 361975 78.58/78.69 o 364166 78.58/78.69 c 171 calls to solver: best=364166 lower=364167 upper=25665215 79.09/79.15 o 364642 79.58/79.61 o 366706 79.58/79.61 c 173 calls to solver: best=366706 lower=366707 upper=25665215 79.99/80.07 o 368806 80.48/80.53 o 369407 80.48/80.53 c 175 calls to solver: best=369407 lower=369408 upper=25665215 80.88/80.99 o 371736 81.38/81.45 o 372541 81.38/81.45 c 177 calls to solver: best=372541 lower=372542 upper=25665215 81.88/81.90 o 373098 82.28/82.36 o 375229 82.28/82.36 c 179 calls to solver: best=375229 lower=375230 upper=25665215 82.78/82.82 o 375576 83.18/83.28 o 377165 83.18/83.28 c 181 calls to solver: best=377165 lower=377166 upper=25665215 83.68/83.74 o 378089 84.18/84.20 o 378380 84.18/84.20 c 183 calls to solver: best=378380 lower=378381 upper=25665215 84.58/84.66 o 380399 85.09/85.12 o 381271 85.09/85.12 c 185 calls to solver: best=381271 lower=381272 upper=25665215 85.48/85.58 o 383123 85.99/86.03 o 383499 85.99/86.03 c 187 calls to solver: best=383499 lower=383500 upper=25665215 86.38/86.49 o 384625 86.88/86.95 o 385035 86.88/86.95 c 189 calls to solver: best=385035 lower=385036 upper=25665215 87.38/87.41 o 388170 87.78/87.87 o 391698 87.78/87.87 c 191 calls to solver: best=391698 lower=391699 upper=25665215 88.28/88.33 o 392313 88.68/88.78 o 393262 88.68/88.78 c 193 calls to solver: best=393262 lower=393263 upper=25665215 89.18/89.24 o 393497 89.68/89.70 o 394053 89.68/89.70 c 195 calls to solver: best=394053 lower=394054 upper=25665215 90.09/90.16 o 394481 90.58/90.62 o 395656 90.58/90.62 c 197 calls to solver: best=395656 lower=395657 upper=25665215 90.99/91.08 o 397379 91.48/91.54 o 400028 91.48/91.54 c 199 calls to solver: best=400028 lower=400029 upper=25665215 91.88/92.00 o 402971 92.38/92.46 o 405491 92.38/92.46 c 201 calls to solver: best=405491 lower=405492 upper=25665215 92.88/92.92 o 405607 93.28/93.38 o 408232 93.28/93.38 c 203 calls to solver: best=408232 lower=408233 upper=25665215 93.78/93.84 o 409314 94.28/94.31 o 409980 94.28/94.31 c 205 calls to solver: best=409980 lower=409981 upper=25665215 94.68/94.76 o 410490 95.18/95.22 o 411611 95.18/95.22 c 207 calls to solver: best=411611 lower=411612 upper=25665215 95.58/95.68 o 412111 96.09/96.14 o 412869 96.09/96.14 c 209 calls to solver: best=412869 lower=412870 upper=25665215 96.58/96.60 o 413822 96.99/97.06 o 414815 96.99/97.06 c 211 calls to solver: best=414815 lower=414816 upper=25665215 97.48/97.52 o 415658 97.88/97.98 o 416528 97.88/97.98 c 213 calls to solver: best=416528 lower=416529 upper=25665215 98.38/98.43 o 419439 98.88/98.90 o 420292 98.88/98.90 c 215 calls to solver: best=420292 lower=420293 upper=25665215 99.28/99.36 o 420344 99.78/99.83 o 420652 99.78/99.83 c 217 calls to solver: best=420652 lower=420653 upper=25665215 100.68/100.74 o 421044 101.18/101.20 o 421194 101.18/101.20 c 219 calls to solver: best=421194 lower=421195 upper=25665215 101.58/101.65 o 421212 102.09/102.11 o 421286 102.09/102.11 c 221 calls to solver: best=421286 lower=421287 upper=25665215 102.48/102.57 o 421371 102.99/103.03 o 421982 102.99/103.03 c 223 calls to solver: best=421982 lower=421983 upper=25665215 103.38/103.49 o 422297 103.88/103.95 o 422740 103.88/103.95 c 225 calls to solver: best=422740 lower=422741 upper=25665215 104.38/104.41 o 423077 104.78/104.87 o 423430 104.78/104.87 c 227 calls to solver: best=423430 lower=423431 upper=25665215 105.28/105.32 o 423800 105.68/105.78 o 424137 105.68/105.78 c 229 calls to solver: best=424137 lower=424138 upper=25665215 106.18/106.24 o 424931 106.68/106.70 o 425569 106.68/106.70 c 231 calls to solver: best=425569 lower=425570 upper=25665215 107.09/107.16 o 425694 107.58/107.62 o 427695 107.58/107.62 c 233 calls to solver: best=427695 lower=427696 upper=25665215 107.99/108.08 o 428143 108.48/108.54 o 428332 108.48/108.54 c 235 calls to solver: best=428332 lower=428333 upper=25665215 108.88/109.00 o 428822 109.38/109.45 o 430080 109.38/109.45 c 237 calls to solver: best=430080 lower=430081 upper=25665215 109.88/109.91 o 430462 110.28/110.37 o 431481 110.28/110.37 c 239 calls to solver: best=431481 lower=431482 upper=25665215 110.78/110.83 o 433685 111.18/111.29 o 435294 111.18/111.29 c 241 calls to solver: best=435294 lower=435295 upper=25665215 111.68/111.75 o 436440 112.18/112.21 o 438167 112.18/112.21 c 243 calls to solver: best=438167 lower=438168 upper=25665215 112.58/112.66 o 439750 113.09/113.12 o 440236 113.09/113.12 c 245 calls to solver: best=440236 lower=440237 upper=25665215 113.48/113.58 o 441795 113.99/114.04 o 442289 113.99/114.04 c 247 calls to solver: best=442289 lower=442290 upper=25665215 114.48/114.50 o 442318 114.88/114.96 o 442840 114.88/114.96 c 249 calls to solver: best=442840 lower=442841 upper=25665215 115.38/115.42 o 443025 115.78/115.87 o 444413 115.78/115.87 c 251 calls to solver: best=444413 lower=444414 upper=25665215 116.28/116.33 o 444952 116.78/116.80 o 446635 116.78/116.80 c 253 calls to solver: best=446635 lower=446636 upper=25665215 117.18/117.26 o 447550 117.68/117.72 o 447626 117.68/117.72 c 255 calls to solver: best=447626 lower=447627 upper=25665215 118.09/118.17 o 448139 118.58/118.63 o 449288 118.58/118.63 c 257 calls to solver: best=449288 lower=449289 upper=25665215 118.99/119.09 o 450676 119.48/119.55 o 451163 119.48/119.55 c 259 calls to solver: best=451163 lower=451164 upper=25665215 119.99/120.01 o 451923 120.38/120.47 o 452533 120.38/120.47 c 261 calls to solver: best=452533 lower=452534 upper=25665215 120.88/120.93 o 452666 121.28/121.39 o 452793 121.28/121.39 c 263 calls to solver: best=452793 lower=452794 upper=25665215 121.78/121.85 o 453194 122.28/122.32 o 453543 122.28/122.32 c 265 calls to solver: best=453543 lower=453544 upper=25665215 122.68/122.79 o 453557 123.18/123.25 o 453596 123.18/123.25 c 267 calls to solver: best=453596 lower=453597 upper=25665215 123.68/123.71 o 453779 124.09/124.19 o 453937 124.09/124.19 c 269 calls to solver: best=453937 lower=453938 upper=25665215 125.09/125.11 o 453982 125.48/125.57 o 454103 125.48/125.57 c 271 calls to solver: best=454103 lower=454104 upper=25665215 125.99/126.03 o 454346 126.38/126.49 o 454408 126.38/126.49 c 273 calls to solver: best=454408 lower=454409 upper=25665215 126.88/126.95 o 454678 127.38/127.42 o 454716 127.38/127.42 c 275 calls to solver: best=454716 lower=454717 upper=25665215 127.78/127.88 o 454990 128.28/128.34 o 455171 128.28/128.34 c 277 calls to solver: best=455171 lower=455172 upper=25665215 128.68/128.80 o 455544 129.18/129.25 o 455562 129.18/129.25 c 279 calls to solver: best=455562 lower=455563 upper=25665215 129.68/129.71 o 455771 130.09/130.17 o 455777 130.09/130.17 c 281 calls to solver: best=455777 lower=455778 upper=25665215 130.58/130.63 o 455802 131.09/131.12 o 455969 131.09/131.12 c 283 calls to solver: best=455969 lower=455970 upper=25665215 131.48/131.59 o 455994 131.99/132.05 o 456070 131.99/132.05 c 285 calls to solver: best=456070 lower=456071 upper=25665215 132.48/132.50 o 456198 132.88/132.96 o 456234 132.88/132.96 c 287 calls to solver: best=456234 lower=456235 upper=25665215 133.38/133.42 o 456417 133.78/133.88 o 456661 133.78/133.88 c 289 calls to solver: best=456661 lower=456662 upper=25665215 134.28/134.34 o 456706 134.68/134.79 o 456740 134.68/134.79 c 291 calls to solver: best=456740 lower=456741 upper=25665215 135.18/135.25 o 456771 135.68/135.71 o 456898 135.68/135.71 c 293 calls to solver: best=456898 lower=456899 upper=25665215 136.09/136.17 o 457139 136.58/136.62 o 457200 136.58/136.62 c 295 calls to solver: best=457200 lower=457201 upper=25665215 136.99/137.08 o 457374 137.48/137.54 o 457410 137.48/137.54 c 297 calls to solver: best=457410 lower=457411 upper=25665215 137.88/138.00 o 457488 138.38/138.46 o 457567 138.38/138.46 c 299 calls to solver: best=457567 lower=457568 upper=25665215 138.88/138.92 o 457642 139.28/139.37 o 457696 139.28/139.37 c 301 calls to solver: best=457696 lower=457697 upper=25665215 139.78/139.83 o 457896 140.18/140.29 o 457932 140.18/140.29 c 303 calls to solver: best=457932 lower=457933 upper=25665215 140.68/140.75 o 458157 141.18/141.21 o 458282 141.18/141.21 c 305 calls to solver: best=458282 lower=458283 upper=25665215 141.58/141.67 o 458377 142.09/142.12 o 458388 142.09/142.12 c 307 calls to solver: best=458388 lower=458389 upper=25665215 142.48/142.58 o 458483 142.99/143.04 o 458484 142.99/143.04 c 309 calls to solver: best=458484 lower=458485 upper=25665215 143.48/143.50 o 458563 143.88/143.96 o 458578 143.88/143.96 c 311 calls to solver: best=458578 lower=458579 upper=25665215 144.38/144.42 o 458730 144.78/144.88 o 458823 144.78/144.88 c 313 calls to solver: best=458823 lower=458824 upper=25665215 145.28/145.33 o 459007 145.68/145.79 o 459022 145.68/145.79 c 315 calls to solver: best=459022 lower=459023 upper=25665215 146.18/146.25 o 459162 146.68/146.71 o 459209 146.68/146.71 c 317 calls to solver: best=459209 lower=459210 upper=25665215 147.09/147.17 o 459562 147.58/147.62 o 459674 147.58/147.62 c 319 calls to solver: best=459674 lower=459675 upper=25665215 147.99/148.08 o 459821 148.48/148.54 o 460000 148.48/148.54 c 321 calls to solver: best=460000 lower=460001 upper=25665215 148.88/149.00 o 460033 149.38/149.46 o 460074 149.38/149.46 c 323 calls to solver: best=460074 lower=460075 upper=25665215 149.88/149.92 o 460127 150.28/150.38 o 460189 150.28/150.38 c 325 calls to solver: best=460189 lower=460190 upper=25665215 150.78/150.83 o 460216 151.18/151.29 o 460352 151.18/151.29 c 327 calls to solver: best=460352 lower=460353 upper=25665215 151.68/151.75 o 460447 152.18/152.21 o 460689 152.18/152.21 c 329 calls to solver: best=460689 lower=460690 upper=25665215 152.58/152.67 o 460911 153.09/153.13 o 461006 153.09/153.13 c 331 calls to solver: best=461006 lower=461007 upper=25665215 153.48/153.58 o 461099 153.99/154.04 o 461142 153.99/154.04 c 333 calls to solver: best=461142 lower=461143 upper=25665215 154.48/154.50 o 461259 154.88/154.96 o 461513 154.88/154.96 c 335 calls to solver: best=461513 lower=461514 upper=25665215 155.38/155.42 o 461620 155.78/155.88 o 461735 155.78/155.88 c 337 calls to solver: best=461735 lower=461736 upper=25665215 156.28/156.34 o 461755 156.68/156.79 o 461874 156.68/156.79 c 339 calls to solver: best=461874 lower=461875 upper=25665215 157.18/157.25 o 461922 157.68/157.71 o 461960 157.68/157.71 c 341 calls to solver: best=461960 lower=461961 upper=25665215 158.09/158.17 o 462022 158.58/158.63 o 462111 158.58/158.63 c 343 calls to solver: best=462111 lower=462112 upper=25665215 158.99/159.09 o 462238 159.48/159.55 o 462417 159.48/159.55 c 345 calls to solver: best=462417 lower=462418 upper=25665215 159.99/160.01 o 462521 160.38/160.46 o 462522 160.38/160.46 c 347 calls to solver: best=462522 lower=462523 upper=25665215 160.88/160.94 o 462639 161.38/161.40 o 462697 161.38/161.40 c 349 calls to solver: best=462697 lower=462698 upper=25665215 161.78/161.86 o 462821 162.28/162.32 o 462921 162.28/162.32 c 351 calls to solver: best=462921 lower=462922 upper=25665215 162.68/162.78 o 463244 163.18/163.23 o 463451 163.18/163.23 c 353 calls to solver: best=463451 lower=463452 upper=25665215 163.58/163.69 o 463644 164.09/164.15 o 463700 164.09/164.15 c 355 calls to solver: best=463700 lower=463701 upper=25665215 164.58/164.61 o 463737 164.99/165.07 o 463893 164.99/165.07 c 357 calls to solver: best=463893 lower=463894 upper=25665215 165.48/165.53 o 464030 165.88/165.98 o 464039 165.88/165.98 c 359 calls to solver: best=464039 lower=464040 upper=25665215 166.38/166.44 o 464092 166.88/166.90 o 464429 166.88/166.90 c 361 calls to solver: best=464429 lower=464430 upper=25665215 167.28/167.36 o 464642 167.78/167.82 o 464820 167.78/167.82 c 363 calls to solver: best=464820 lower=464821 upper=25665215 168.18/168.28 o 464867 168.68/168.73 o 465056 168.68/168.73 c 365 calls to solver: best=465056 lower=465057 upper=25665215 169.09/169.19 o 465219 169.58/169.65 o 465556 169.58/169.65 c 367 calls to solver: best=465556 lower=465557 upper=25665215 170.09/170.11 o 465755 170.48/170.57 o 465870 170.48/170.57 c 369 calls to solver: best=465870 lower=465871 upper=25665215 170.99/171.03 o 466092 171.38/171.48 o 466143 171.38/171.48 c 371 calls to solver: best=466143 lower=466144 upper=25665215 171.88/171.94 o 466482 172.38/172.40 o 466507 172.38/172.40 c 373 calls to solver: best=466507 lower=466508 upper=25665215 172.78/172.86 o 466807 173.28/173.32 o 466813 173.28/173.32 c 375 calls to solver: best=466813 lower=466814 upper=25665215 173.68/173.78 o 466826 174.18/174.23 o 467029 174.18/174.23 c 377 calls to solver: best=467029 lower=467030 upper=25665215 174.58/174.69 o 467111 175.09/175.15 o 467193 175.09/175.15 c 379 calls to solver: best=467193 lower=467194 upper=25665215 175.58/175.61 o 467685 175.99/176.07 o 467816 175.99/176.07 c 381 calls to solver: best=467816 lower=467817 upper=25665215 176.48/176.53 o 467975 176.88/176.99 o 468122 176.88/176.99 c 383 calls to solver: best=468122 lower=468123 upper=25665215 177.38/177.45 o 468269 177.88/177.90 o 468324 177.88/177.90 c 385 calls to solver: best=468324 lower=468325 upper=25665215 178.28/178.36 o 468341 178.78/178.82 o 468563 178.78/178.82 c 387 calls to solver: best=468563 lower=468564 upper=25665215 179.18/179.28 o 468635 179.68/179.74 o 468713 179.68/179.74 c 389 calls to solver: best=468713 lower=468714 upper=25665215 180.18/180.20 o 468942 180.58/180.66 o 468948 180.58/180.66 c 391 calls to solver: best=468948 lower=468949 upper=25665215 181.09/181.12 o 468966 181.48/181.57 o 469063 181.48/181.57 c 393 calls to solver: best=469063 lower=469064 upper=25665215 181.99/182.03 o 469260 182.38/182.49 o 469374 182.38/182.49 c 395 calls to solver: best=469374 lower=469375 upper=25665215 182.88/182.95 o 469394 183.38/183.41 o 469504 183.38/183.41 c 397 calls to solver: best=469504 lower=469505 upper=25665215 183.78/183.87 o 469774 184.28/184.33 o 469964 184.28/184.33 c 399 calls to solver: best=469964 lower=469965 upper=25665215 184.68/184.79 o 470073 185.18/185.25 o 470123 185.18/185.25 c 401 calls to solver: best=470123 lower=470124 upper=25665215 185.68/185.70 o 470409 186.09/186.16 o 470478 186.09/186.16 c 403 calls to solver: best=470478 lower=470479 upper=25665215 186.58/186.62 o 470602 186.99/187.08 o 470687 186.99/187.08 c 405 calls to solver: best=470687 lower=470688 upper=25665215 187.48/187.54 o 470734 187.88/188.00 o 470735 187.88/188.00 c 407 calls to solver: best=470735 lower=470736 upper=25665215 188.38/188.46 o 470883 188.88/188.92 o 471105 188.88/188.92 c 409 calls to solver: best=471105 lower=471106 upper=25665215 189.28/189.37 o 471444 189.78/189.83 o 471558 189.78/189.83 c 411 calls to solver: best=471558 lower=471559 upper=25665215 190.18/190.29 o 471566 190.68/190.75 o 471664 190.68/190.75 c 413 calls to solver: best=471664 lower=471665 upper=25665215 191.18/191.21 o 472012 191.58/191.67 o 472026 191.58/191.67 c 415 calls to solver: best=472026 lower=472027 upper=25665215 192.09/192.13 o 472090 192.48/192.58 o 472311 192.48/192.58 c 417 calls to solver: best=472311 lower=472312 upper=25665215 192.99/193.04 o 472527 193.48/193.50 o 472673 193.48/193.50 c 419 calls to solver: best=472673 lower=472674 upper=25665215 193.88/193.96 o 472957 194.38/194.42 o 473134 194.38/194.42 c 421 calls to solver: best=473134 lower=473135 upper=25665215 194.78/194.88 o 473430 195.28/195.34 o 473513 195.28/195.34 c 423 calls to solver: best=473513 lower=473514 upper=25665215 195.78/195.80 o 473565 196.18/196.26 o 473809 196.18/196.26 c 425 calls to solver: best=473809 lower=473810 upper=25665215 196.68/196.71 o 473967 197.09/197.17 o 474136 197.09/197.17 c 427 calls to solver: best=474136 lower=474137 upper=25665215 197.58/197.63 o 474434 197.98/198.09 o 474663 197.98/198.09 c 429 calls to solver: best=474663 lower=474664 upper=25665215 198.48/198.55 o 474768 198.98/199.01 o 474943 198.98/199.01 c 431 calls to solver: best=474943 lower=474944 upper=25665215 199.38/199.46 o 474996 199.88/199.92 o 475170 199.88/199.92 c 433 calls to solver: best=475170 lower=475171 upper=25665215 200.28/200.38 o 475263 200.78/200.84 o 475520 200.78/200.84 c 435 calls to solver: best=475520 lower=475521 upper=25665215 201.28/201.30 o 475699 201.68/201.76 o 475804 201.68/201.76 c 437 calls to solver: best=475804 lower=475805 upper=25665215 202.18/202.22 o 475813 202.58/202.68 o 475978 202.58/202.68 c 439 calls to solver: best=475978 lower=475979 upper=25665215 203.08/203.14 o 476185 203.48/203.59 o 476381 203.48/203.59 c 441 calls to solver: best=476381 lower=476382 upper=25665215 203.98/204.05 o 476398 204.48/204.51 o 476458 204.48/204.51 c 443 calls to solver: best=476458 lower=476459 upper=25665215 204.88/204.97 o 476631 205.38/205.43 o 476968 205.38/205.43 c 445 calls to solver: best=476968 lower=476969 upper=25665215 205.78/205.89 o 477275 206.28/206.35 o 477319 206.28/206.35 c 447 calls to solver: best=477319 lower=477320 upper=25665215 206.78/206.80 o 477508 207.18/207.26 o 477598 207.18/207.26 c 449 calls to solver: best=477598 lower=477599 upper=25665215 208.08/208.16 o 477921 208.58/208.62 o 477960 208.58/208.62 c 451 calls to solver: best=477960 lower=477961 upper=25665215 208.98/209.08 o 478034 209.48/209.54 o 478240 209.48/209.54 c 453 calls to solver: best=478240 lower=478241 upper=25665215 209.88/210.00 o 478317 210.38/210.45 o 478411 210.38/210.45 c 455 calls to solver: best=478411 lower=478412 upper=25665215 210.88/210.91 o 478479 211.28/211.37 o 478714 211.28/211.37 c 457 calls to solver: best=478714 lower=478715 upper=25665215 211.78/211.83 o 478761 212.18/212.29 o 478896 212.18/212.29 c 459 calls to solver: best=478896 lower=478897 upper=25665215 212.68/212.75 o 478960 213.18/213.20 o 479040 213.18/213.20 c 461 calls to solver: best=479040 lower=479041 upper=25665215 213.58/213.66 o 479226 214.08/214.12 o 479340 214.08/214.12 c 463 calls to solver: best=479340 lower=479341 upper=25665215 214.48/214.58 o 479642 214.98/215.04 o 479882 214.98/215.04 c 465 calls to solver: best=479882 lower=479883 upper=25665215 215.48/215.50 o 479963 215.88/215.96 o 480073 215.88/215.96 c 467 calls to solver: best=480073 lower=480074 upper=25665215 216.38/216.41 o 480114 216.78/216.87 o 480158 216.78/216.87 c 469 calls to solver: best=480158 lower=480159 upper=25665215 217.28/217.33 o 480200 217.68/217.79 o 480422 217.68/217.79 c 471 calls to solver: best=480422 lower=480423 upper=25665215 218.18/218.25 o 480529 218.68/218.71 o 480555 218.68/218.71 c 473 calls to solver: best=480555 lower=480556 upper=25665215 219.08/219.17 o 480665 219.58/219.62 o 480933 219.58/219.62 c 475 calls to solver: best=480933 lower=480934 upper=25665215 219.98/220.08 o 480939 220.48/220.54 o 480953 220.48/220.54 c 477 calls to solver: best=480953 lower=480954 upper=25665215 220.88/221.00 o 481012 221.38/221.46 o 481349 221.38/221.46 c 479 calls to solver: best=481349 lower=481350 upper=25665215 221.88/221.92 o 481571 222.28/222.38 o 481735 222.28/222.38 c 481 calls to solver: best=481735 lower=481736 upper=25665215 222.78/222.84 o 481922 223.28/223.30 o 481963 223.28/223.30 c 483 calls to solver: best=481963 lower=481964 upper=25665215 223.68/223.75 o 482198 224.18/224.21 o 482208 224.18/224.21 c 485 calls to solver: best=482208 lower=482209 upper=25665215 224.58/224.67 o 482260 225.08/225.13 o 482482 225.08/225.13 c 487 calls to solver: best=482482 lower=482483 upper=25665215 225.48/225.59 o 482597 225.98/226.05 o 482819 225.98/226.05 c 489 calls to solver: best=482819 lower=482820 upper=25665215 226.48/226.51 o 482849 226.88/226.96 o 483071 226.88/226.96 c 491 calls to solver: best=483071 lower=483072 upper=25665215 227.38/227.42 o 483595 227.78/227.88 o 483623 227.78/227.88 c 493 calls to solver: best=483623 lower=483624 upper=25665215 228.28/228.34 o 483643 228.78/228.80 o 483714 228.78/228.80 c 495 calls to solver: best=483714 lower=483715 upper=25665215 229.18/229.26 o 483725 229.68/229.72 o 483828 229.68/229.72 c 497 calls to solver: best=483828 lower=483829 upper=25665215 230.08/230.18 o 483910 230.58/230.64 o 484104 230.58/230.64 c 499 calls to solver: best=484104 lower=484105 upper=25665215 230.98/231.10 o 484172 231.48/231.55 o 484394 231.48/231.55 c 501 calls to solver: best=484394 lower=484395 upper=25665215 231.98/232.01 o 484444 232.38/232.47 o 484728 232.38/232.47 c 503 calls to solver: best=484728 lower=484729 upper=25665215 232.88/232.93 o 484729 233.28/233.39 o 484732 233.28/233.39 c 505 calls to solver: best=484732 lower=484733 upper=25665215 233.78/233.85 o 484740 234.28/234.30 o 485071 234.28/234.30 c 507 calls to solver: best=485071 lower=485072 upper=25665215 234.68/234.76 o 485170 235.18/235.22 o 485343 235.18/235.22 c 509 calls to solver: best=485343 lower=485344 upper=25665215 235.58/235.68 o 485364 236.08/236.14 o 485400 236.08/236.14 c 511 calls to solver: best=485400 lower=485401 upper=25665215 236.58/236.60 o 485422 236.98/237.06 o 485522 236.98/237.06 c 513 calls to solver: best=485522 lower=485523 upper=25665215 237.48/237.51 o 485581 237.88/237.97 o 485760 237.88/237.97 c 515 calls to solver: best=485760 lower=485761 upper=25665215 238.38/238.43 o 485929 238.78/238.89 o 486211 238.78/238.89 c 517 calls to solver: best=486211 lower=486212 upper=25665215 239.28/239.36 o 486320 239.78/239.83 o 486388 239.78/239.83 c 519 calls to solver: best=486388 lower=486389 upper=25665215 240.18/240.29 o 486823 240.68/240.75 o 486872 240.68/240.75 c 521 calls to solver: best=486872 lower=486873 upper=25665215 241.18/241.21 o 487067 241.58/241.67 o 487186 241.58/241.67 c 523 calls to solver: best=487186 lower=487187 upper=25665215 242.08/242.13 o 487255 242.48/242.59 o 487521 242.48/242.59 c 525 calls to solver: best=487521 lower=487522 upper=25665215 242.98/243.05 o 487654 243.48/243.51 o 487670 243.48/243.51 c 527 calls to solver: best=487670 lower=487671 upper=25665215 243.88/243.97 o 487787 244.38/244.42 o 487967 244.38/244.42 c 529 calls to solver: best=487967 lower=487968 upper=25665215 244.78/244.88 o 488036 245.27/245.34 o 488040 245.27/245.34 c 531 calls to solver: best=488040 lower=488041 upper=25665215 245.77/245.80 o 488324 246.17/246.26 o 488436 246.17/246.26 c 533 calls to solver: best=488436 lower=488437 upper=25665215 246.67/246.72 o 488476 247.08/247.18 o 488745 247.08/247.18 c 535 calls to solver: best=488745 lower=488746 upper=25665215 247.57/247.64 o 488751 247.98/248.10 o 488754 247.98/248.10 c 537 calls to solver: best=488754 lower=488755 upper=25665215 248.47/248.55 o 488976 248.98/249.01 o 489147 248.98/249.01 c 539 calls to solver: best=489147 lower=489148 upper=25665215 249.37/249.47 o 489361 249.87/249.93 o 489610 249.87/249.93 c 541 calls to solver: best=489610 lower=489611 upper=25665215 250.27/250.39 o 489614 250.77/250.85 o 489775 250.77/250.85 c 543 calls to solver: best=489775 lower=489776 upper=25665215 251.27/251.31 o 489909 251.67/251.77 o 490080 251.67/251.77 c 545 calls to solver: best=490080 lower=490081 upper=25665215 251.98/252.00 251.98/252.00 c *** INTERRUPTED *** 251.98/252.00 c restarts : 4 251.98/252.00 c conflicts : 515 (2 /sec) 251.98/252.00 c decisions : 1099840 (4365 /sec) 251.98/252.00 c propagations : 1152892 (4575 /sec) 251.98/252.00 c root propagations : 2000 251.98/252.00 c filter calls : 6636886 (26339 /sec) 251.98/252.00 c useless filter calls : 6628930 (99 %) 251.98/252.00 c Memory used : 50.32 MB 251.98/252.00 c CPU time : 251.979 s 251.98/252.00 251.98/252.00 c nb Solutions = 545 251.98/252.00 s SATISFIABLE 251.98/252.00 c Best value found: 490080 251.98/252.00 251.98/252.00 251.98/252.00 v <instantiation type='solution' cost='490080'> 251.98/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.98/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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 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 1 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 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 1 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 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 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 0 0 0 0 0 0 0 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 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 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 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 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 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 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 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 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 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 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 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 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 1 0 0 0 0 0 0 0 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 </values> 251.98/252.01 v </instantiation> 251.98/252.01
OK 490080
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 (13442 MiB free) memory of node 1: 16384 MiB (14295 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301434-1532881007/watcher-4301434-1532881007 -o /tmp/evaluation-result-4301434-1532881007/solver-4301434-1532881007 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532878455-19304 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4301434-1532881007.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=20863, runsolver pid=20860 [startup+0.1002 s]* /proc/loadavg: 2.00 2.01 1.98 3/192 20864 /proc/meminfo: memFree=28399116/32770624 swapFree=67108744/67108860 [pid=20863] ppid=20860 vsize=32396 memory=8816 CPUtime=0.1 cores=0,2,4,6 /proc/20863/stat : 20863 (cosoco) R 20860 20863 19273 0 -1 4202496 2369 0 0 0 10 0 0 0 20 0 1 0 105663888 33173504 2204 33554432000 4194304 6142532 140729425341440 140729425338072 5748479 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 27500544 140729425343627 140729425343757 140729425343757 140729425346510 0 /proc/20863/statm: 8099 2204 823 476 0 1421 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 32396 KiB Current children cumulated memory: 8816 KiB [startup+0.209685 s]* /proc/loadavg: 2.00 2.01 1.98 3/192 20864 /proc/meminfo: memFree=28398744/32770624 swapFree=67108744/67108860 [pid=20863] ppid=20860 vsize=33056 memory=9608 CPUtime=0.21 cores=0,2,4,6 /proc/20863/stat : 20863 (cosoco) R 20860 20863 19273 0 -1 4202496 2576 0 0 0 21 0 0 0 20 0 1 0 105663888 33849344 2402 33554432000 4194304 6142532 140729425341440 140729425338072 5215611 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 27500544 140729425343627 140729425343757 140729425343757 140729425346510 0 /proc/20863/statm: 8264 2402 866 476 0 1586 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 33056 KiB Current children cumulated memory: 9608 KiB [startup+0.30917 s]* /proc/loadavg: 2.00 2.01 1.98 3/192 20864 /proc/meminfo: memFree=28396324/32770624 swapFree=67108744/67108860 [pid=20863] ppid=20860 vsize=35700 memory=12248 CPUtime=0.31 cores=0,2,4,6 /proc/20863/stat : 20863 (cosoco) R 20860 20863 19273 0 -1 4202496 3257 0 0 0 31 0 0 0 20 0 1 0 105663888 36556800 3062 33554432000 4194304 6142532 140729425341440 140729425338072 5168903 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 27500544 140729425343627 140729425343757 140729425343757 140729425346510 0 /proc/20863/statm: 8925 3062 866 476 0 2247 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 35700 KiB Current children cumulated memory: 12248 KiB [startup+0.700344 s] /proc/loadavg: 2.00 2.01 1.98 3/192 20864 /proc/meminfo: memFree=28390496/32770624 swapFree=67108744/67108860 [pid=20863] ppid=20860 vsize=42108 memory=18564 CPUtime=0.69 cores=0,2,4,6 /proc/20863/stat : 20863 (cosoco) R 20860 20863 19273 0 -1 4202496 4849 0 0 0 69 0 0 0 20 0 1 0 105663888 43118592 4641 33554432000 4194304 6142532 140729425341440 140729425338072 139624158738987 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 27500544 140729425343627 140729425343757 140729425343757 140729425346510 0 /proc/20863/statm: 10527 4641 867 476 0 3849 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 42108 KiB Current children cumulated memory: 18564 KiB [startup+1.50035 s] /proc/loadavg: 2.00 2.01 1.98 3/192 20864 /proc/meminfo: memFree=28384484/32770624 swapFree=67108744/67108860 [pid=20863] ppid=20860 vsize=47632 memory=24108 CPUtime=1.49 cores=0,2,4,6 /proc/20863/stat : 20863 (cosoco) R 20860 20863 19273 0 -1 4202496 6228 0 0 0 149 0 0 0 20 0 1 0 105663888 48775168 6027 33554432000 4194304 6142532 140729425341440 140729425338968 5347460 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 27500544 140729425343627 140729425343757 140729425343757 140729425346510 0 /proc/20863/statm: 11908 6027 867 476 0 5230 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 47632 KiB Current children cumulated memory: 24108 KiB [startup+3.1093 s] /proc/loadavg: 2.00 2.01 1.98 3/192 20864 /proc/meminfo: memFree=28383244/32770624 swapFree=67108744/67108860 [pid=20863] ppid=20860 vsize=47632 memory=24288 CPUtime=3.1 cores=0,2,4,6 /proc/20863/stat : 20863 (cosoco) R 20860 20863 19273 0 -1 4202496 9516 0 0 0 309 1 0 0 20 0 1 0 105663888 48775168 6072 33554432000 4194304 6142532 140729425341440 140729425328712 5137685 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 27500544 140729425343627 140729425343757 140729425343757 140729425346510 0 /proc/20863/statm: 11908 6072 867 476 0 5230 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 47632 KiB Current children cumulated memory: 24288 KiB [startup+6.30033 s] /proc/loadavg: 2.00 2.01 1.98 3/192 20864 /proc/meminfo: memFree=28382624/32770624 swapFree=67108744/67108860 [pid=20863] ppid=20860 vsize=47632 memory=24288 CPUtime=6.29 cores=0,2,4,6 /proc/20863/stat : 20863 (cosoco) R 20860 20863 19273 0 -1 4202496 12753 0 0 0 628 1 0 0 20 0 1 0 105663888 48775168 6072 33554432000 4194304 6142532 140729425341440 140729425338968 5137685 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 27500544 140729425343627 140729425343757 140729425343757 140729425346510 0 /proc/20863/statm: 11908 6072 867 476 0 5230 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 47632 KiB Current children cumulated memory: 24288 KiB [startup+12.7002 s] /proc/loadavg: 2.00 2.01 1.98 3/192 20864 /proc/meminfo: memFree=28381804/32770624 swapFree=67108744/67108860 [pid=20863] ppid=20860 vsize=47632 memory=24288 CPUtime=12.69 cores=0,2,4,6 /proc/20863/stat : 20863 (cosoco) R 20860 20863 19273 0 -1 4202496 14472 0 0 0 1268 1 0 0 20 0 1 0 105663888 48775168 6072 33554432000 4194304 6142532 140729425341440 140729425338968 5138688 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 27500544 140729425343627 140729425343757 140729425343757 140729425346510 0 /proc/20863/statm: 11908 6072 867 476 0 5230 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 47632 KiB Current children cumulated memory: 24288 KiB [startup+25.5002 s] /proc/loadavg: 2.08 2.03 1.99 3/192 20864 /proc/meminfo: memFree=28380988/32770624 swapFree=67108744/67108860 [pid=20863] ppid=20860 vsize=47632 memory=24300 CPUtime=25.49 cores=0,2,4,6 /proc/20863/stat : 20863 (cosoco) R 20860 20863 19273 0 -1 4202496 16888 0 0 0 2548 1 0 0 20 0 1 0 105663888 48775168 6075 33554432000 4194304 6142532 140729425341440 140729425328712 5138688 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 27500544 140729425343627 140729425343757 140729425343757 140729425346510 0 /proc/20863/statm: 11908 6075 867 476 0 5230 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 47632 KiB Current children cumulated memory: 24300 KiB [startup+51.1092 s] /proc/loadavg: 2.17 2.06 2.00 3/192 20864 /proc/meminfo: memFree=28380688/32770624 swapFree=67108744/67108860 [pid=20863] ppid=20860 vsize=48580 memory=25132 CPUtime=51.1 cores=0,2,4,6 /proc/20863/stat : 20863 (cosoco) R 20860 20863 19273 0 -1 4202496 17665 0 0 0 5109 1 0 0 20 0 1 0 105663888 49745920 6283 33554432000 4194304 6142532 140729425341440 140729425328712 5138400 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 27500544 140729425343627 140729425343757 140729425343757 140729425346510 0 /proc/20863/statm: 12145 6283 867 476 0 5467 0 Current children cumulated CPU time: 51.1 s Current children cumulated vsize: 48580 KiB Current children cumulated memory: 25132 KiB [startup+102.3 s] /proc/loadavg: 2.08 2.05 2.00 3/192 20865 /proc/meminfo: memFree=28377972/32770624 swapFree=67108744/67108860 [pid=20863] ppid=20860 vsize=50728 memory=27292 CPUtime=102.28 cores=0,2,4,6 /proc/20863/stat : 20863 (cosoco) R 20860 20863 19273 0 -1 4202496 19002 0 0 0 10227 1 0 0 20 0 1 0 105663888 51945472 6823 33554432000 4194304 6142532 140729425341440 140729425328712 5140391 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 27500544 140729425343627 140729425343757 140729425343757 140729425346510 0 /proc/20863/statm: 12682 6823 867 476 0 6004 0 Current children cumulated CPU time: 102.28 s Current children cumulated vsize: 50728 KiB Current children cumulated memory: 27292 KiB [startup+162.3 s] /proc/loadavg: 2.03 2.04 2.00 3/192 20866 /proc/meminfo: memFree=28377588/32770624 swapFree=67108744/67108860 [pid=20863] ppid=20860 vsize=51272 memory=27928 CPUtime=162.28 cores=0,2,4,6 /proc/20863/stat : 20863 (cosoco) R 20860 20863 19273 0 -1 4202496 20080 0 0 0 16227 1 0 0 20 0 1 0 105663888 52502528 6982 33554432000 4194304 6142532 140729425341440 140729425338968 5215632 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 27500544 140729425343627 140729425343757 140729425343757 140729425346510 0 /proc/20863/statm: 12818 6982 867 476 0 6140 0 Current children cumulated CPU time: 162.28 s Current children cumulated vsize: 51272 KiB Current children cumulated memory: 27928 KiB [startup+222.3 s] /proc/loadavg: 2.01 2.04 2.00 3/190 20875 /proc/meminfo: memFree=28377504/32770624 swapFree=67108744/67108860 [pid=20863] ppid=20860 vsize=51404 memory=28112 CPUtime=222.28 cores=0,2,4,6 /proc/20863/stat : 20863 (cosoco) R 20860 20863 19273 0 -1 4202496 20996 0 0 0 22227 1 0 0 20 0 1 0 105663888 52637696 7028 33554432000 4194304 6142532 140729425341440 140729425338968 5140391 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 27500544 140729425343627 140729425343757 140729425343757 140729425346510 0 /proc/20863/statm: 12851 7028 867 476 0 6173 0 Current children cumulated CPU time: 222.28 s Current children cumulated vsize: 51404 KiB Current children cumulated memory: 28112 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252 s]* /proc/loadavg: 1.93 2.02 1.99 3/191 20937 /proc/meminfo: memFree=28381148/32770624 swapFree=67108744/67108860 [pid=20863] ppid=20860 vsize=51528 memory=28132 CPUtime=251.98 cores=0,2,4,6 /proc/20863/stat : 20863 (cosoco) R 20860 20863 19273 0 -1 4202496 21859 0 0 0 25197 1 0 0 20 0 1 0 105663888 52764672 7033 33554432000 4194304 6142532 140729425341440 140729425338968 5138688 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 27500544 140729425343627 140729425343757 140729425343757 140729425346510 0 /proc/20863/statm: 12882 7033 867 476 0 6204 0 Current children cumulated CPU time: 251.98 s Current children cumulated vsize: 51528 KiB Current children cumulated memory: 28132 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.011 s] # the end of solver process 20863 was just reported to runsolver # cumulated CPU time of all completed processes: user=251.979 s, system=0.020999 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 252.011 CPU time (s): 252 CPU user time (s): 251.979 CPU system time (s): 0.020999 CPU usage (%): 99.9959 Max. virtual memory (cumulated for all children) (KiB): 51528 Max. memory (cumulated for all children) (KiB): 28132 getrusage(RUSAGE_CHILDREN,...) data: user time used= 251.979 system time used= 0.020999 maximum resident set size= 28220 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21896 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= 167 # summary of solver processes directly reported to runsolver: # pid: 20863 # total CPU time (s): 252 # total CPU user time (s): 251.979 # total CPU system time (s): 0.020999 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.783603 second user time and 1.83056 second system time The end
Begin job on node134 at 2018-07-29 18:16:47 IDJOB=4301434 IDBENCH=141152 IDSOLVER=2774 FILE ID=node134/4301434-1532881007 RUNJOBID= node134-1532878455-19304 PBS_JOBID= 21022511 Free space on /tmp= 60956 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay400_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4301434-1532881007/watcher-4301434-1532881007 -o /tmp/evaluation-result-4301434-1532881007/solver-4301434-1532881007 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532878455-19304 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4301434-1532881007.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b20be86eed1a54c36d145f853cc0c945 RANDOM SEED=815486366 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: 28404096 kB MemAvailable: 31945724 kB Buffers: 202180 kB Cached: 3610416 kB SwapCached: 0 kB Active: 1631696 kB Inactive: 2257984 kB Active(anon): 26292 kB Inactive(anon): 78480 kB Active(file): 1605404 kB Inactive(file): 2179504 kB Unevictable: 7364 kB Mlocked: 7364 kB SwapTotal: 67108860 kB SwapFree: 67108744 kB Dirty: 2784 kB Writeback: 0 kB AnonPages: 84520 kB Mapped: 46136 kB Shmem: 25132 kB Slab: 173252 kB SReclaimable: 145112 kB SUnreclaim: 28140 kB KernelStack: 3424 kB PageTables: 5476 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 373872 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 20480 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:20:59