Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 1.12 | SAT (TO) | 610494 | 251.998 | 252.01 |
Name | Auction/Auction-cnt/ Auction-cnt-decay500_c18.xml |
MD5SUM | f56a4553a90e1a028ece3fd7f833aea7 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 2721013 |
Best CPU time to get the best result obtained on this benchmark | 252.081 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2000 |
Number of constraints | 500 |
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 | 37 |
Distribution of variable degrees | [{"degree":2,"count":333},{"degree":3,"count":393},{"degree":4,"count":273},{"degree":5,"count":211},{"degree":6,"count":187},{"degree":7,"count":130},{"degree":8,"count":107},{"degree":9,"count":78},{"degree":10,"count":58},{"degree":11,"count":59},{"degree":12,"count":30},{"degree":13,"count":31},{"degree":14,"count":23},{"degree":15,"count":16},{"degree":16,"count":16},{"degree":17,"count":13},{"degree":18,"count":7},{"degree":19,"count":4},{"degree":20,"count":11},{"degree":21,"count":4},{"degree":22,"count":4},{"degree":23,"count":2},{"degree":24,"count":1},{"degree":25,"count":4},{"degree":26,"count":1},{"degree":28,"count":1},{"degree":32,"count":1},{"degree":33,"count":1},{"degree":37,"count":1}] |
Minimum constraint arity | 7 |
Maximum constraint arity | 42 |
Distribution of constraint arities | [{"arity":7,"count":1},{"arity":9,"count":1},{"arity":10,"count":4},{"arity":11,"count":8},{"arity":12,"count":14},{"arity":13,"count":22},{"arity":14,"count":33},{"arity":15,"count":32},{"arity":16,"count":29},{"arity":17,"count":48},{"arity":18,"count":48},{"arity":19,"count":45},{"arity":20,"count":38},{"arity":21,"count":36},{"arity":22,"count":32},{"arity":23,"count":21},{"arity":24,"count":21},{"arity":25,"count":28},{"arity":26,"count":18},{"arity":27,"count":4},{"arity":28,"count":7},{"arity":29,"count":4},{"arity":30,"count":2},{"arity":31,"count":1},{"arity":32,"count":1},{"arity":34,"count":1},{"arity":42,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"count","count":500}] |
Optimization problem | YES |
Type of objective | max SUM |
0.10/0.14 c best=?? lower=0 upper=25347570 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-4301461-1532881513.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.14 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: 501 0.31/0.39 c | Arity: 7..2000 0.31/0.39 c | 0.31/0.39 c | Types: 0.31/0.39 c | At most: 500 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=25347570 0.79/0.84 o 23556 1.19/1.28 o 26209 1.19/1.28 c 3 calls to solver: best=26209 lower=26210 upper=25347570 1.69/1.71 o 27923 2.10/2.16 o 29818 2.10/2.16 c 5 calls to solver: best=29818 lower=29819 upper=25347570 2.49/2.59 o 29874 3.00/3.03 o 34265 3.00/3.03 c 7 calls to solver: best=34265 lower=34266 upper=25347570 3.39/3.47 o 41121 3.89/3.91 o 45233 3.89/3.91 c 9 calls to solver: best=45233 lower=45234 upper=25347570 4.29/4.35 o 56486 4.69/4.79 o 62573 4.69/4.79 c 11 calls to solver: best=62573 lower=62574 upper=25347570 5.19/5.23 o 78752 5.59/5.66 o 82731 5.59/5.66 c 13 calls to solver: best=82731 lower=82732 upper=25347570 6.00/6.10 o 86308 6.49/6.54 o 86504 6.49/6.54 c 15 calls to solver: best=86504 lower=86505 upper=25347570 6.89/6.98 o 99975 7.39/7.42 o 112962 7.39/7.42 c 17 calls to solver: best=112962 lower=112963 upper=25347570 7.79/7.86 o 121376 8.19/8.30 o 130492 8.19/8.30 c 19 calls to solver: best=130492 lower=130493 upper=25347570 8.69/8.73 o 133387 9.10/9.17 o 135094 9.10/9.17 c 21 calls to solver: best=135094 lower=135095 upper=25347570 9.59/9.61 o 150694 9.99/10.05 o 163727 9.99/10.05 c 23 calls to solver: best=163727 lower=163728 upper=25347570 10.39/10.49 o 173004 10.89/10.93 o 174172 10.89/10.93 c 25 calls to solver: best=174172 lower=174173 upper=25347570 11.29/11.36 o 175144 11.79/11.80 o 177369 11.79/11.80 c 27 calls to solver: best=177369 lower=177370 upper=25347570 12.19/12.24 o 178525 12.59/12.68 o 182449 12.59/12.68 c 29 calls to solver: best=182449 lower=182450 upper=25347570 13.10/13.12 o 185089 13.49/13.56 o 185471 13.49/13.56 c 31 calls to solver: best=185471 lower=185472 upper=25347570 13.88/14.00 o 186172 14.38/14.44 o 192077 14.38/14.44 c 33 calls to solver: best=192077 lower=192078 upper=25347570 14.78/14.88 o 192085 15.28/15.32 o 198150 15.28/15.32 c 35 calls to solver: best=198150 lower=198151 upper=25347570 15.68/15.76 o 201656 16.18/16.20 o 205365 16.18/16.20 c 37 calls to solver: best=205365 lower=205366 upper=25347570 16.58/16.64 o 208047 16.99/17.08 o 209933 16.99/17.08 c 39 calls to solver: best=209933 lower=209934 upper=25347570 17.48/17.53 o 211173 17.88/17.96 o 214916 17.88/17.96 c 41 calls to solver: best=214916 lower=214917 upper=25347570 18.38/18.40 o 216724 18.78/18.84 o 216780 18.78/18.84 c 43 calls to solver: best=216780 lower=216781 upper=25347570 19.18/19.28 o 216984 19.68/19.72 o 217839 19.68/19.72 c 45 calls to solver: best=217839 lower=217840 upper=25347570 20.09/20.16 o 219807 20.58/20.60 o 223277 20.58/20.60 c 47 calls to solver: best=223277 lower=223278 upper=25347570 20.99/21.03 o 226793 21.38/21.45 o 230847 21.38/21.45 c 49 calls to solver: best=230847 lower=230848 upper=25347570 21.78/21.87 o 233474 22.28/22.30 o 237712 22.28/22.30 c 51 calls to solver: best=237712 lower=237713 upper=25347570 22.68/22.72 o 238679 23.09/23.14 o 239409 23.09/23.14 c 53 calls to solver: best=239409 lower=239410 upper=25347570 23.48/23.57 o 241578 23.88/23.99 o 242123 23.88/23.99 c 55 calls to solver: best=242123 lower=242124 upper=25347570 24.38/24.41 o 242450 24.78/24.84 o 244302 24.78/24.84 c 57 calls to solver: best=244302 lower=244303 upper=25347570 25.18/25.26 o 246004 25.58/25.68 o 250074 25.58/25.68 c 59 calls to solver: best=250074 lower=250075 upper=25347570 26.09/26.11 o 250134 26.48/26.53 o 255747 26.48/26.53 c 61 calls to solver: best=255747 lower=255748 upper=25347570 26.88/26.95 o 256262 27.28/27.38 o 256636 27.28/27.38 c 63 calls to solver: best=256636 lower=256637 upper=25347570 27.78/27.80 o 257647 28.18/28.23 o 258913 28.18/28.23 c 65 calls to solver: best=258913 lower=258914 upper=25347570 28.58/28.66 o 260076 28.99/29.08 o 261661 28.99/29.08 c 67 calls to solver: best=261661 lower=261662 upper=25347570 29.48/29.51 o 262516 29.89/29.93 o 262543 29.89/29.93 c 69 calls to solver: best=262543 lower=262544 upper=25347570 30.29/30.36 o 264613 30.69/30.79 o 269755 30.69/30.79 c 71 calls to solver: best=269755 lower=269756 upper=25347570 31.19/31.22 o 270674 31.59/31.64 o 271118 31.59/31.64 c 73 calls to solver: best=271118 lower=271119 upper=25347570 32.00/32.07 o 273815 32.39/32.49 o 276230 32.39/32.49 c 75 calls to solver: best=276230 lower=276231 upper=25347570 32.89/32.92 o 277091 33.29/33.34 o 280381 33.29/33.34 c 77 calls to solver: best=280381 lower=280382 upper=25347570 33.69/33.77 o 284630 34.10/34.20 o 289489 34.10/34.20 c 79 calls to solver: best=289489 lower=289490 upper=25347570 34.59/34.62 o 291742 35.00/35.05 o 292710 35.00/35.05 c 81 calls to solver: best=292710 lower=292711 upper=25347570 35.39/35.47 o 295757 35.89/35.90 o 295986 35.89/35.90 c 83 calls to solver: best=295986 lower=295987 upper=25347570 36.29/36.32 o 296505 36.69/36.75 o 296513 36.69/36.75 c 85 calls to solver: best=296513 lower=296514 upper=25347570 37.10/37.17 o 296540 37.59/37.60 o 296890 37.59/37.60 c 87 calls to solver: best=296890 lower=296891 upper=25347570 38.00/38.03 o 297680 38.39/38.45 o 298514 38.39/38.45 c 89 calls to solver: best=298514 lower=298515 upper=25347570 38.79/38.88 o 298633 39.29/39.30 o 299651 39.29/39.30 c 91 calls to solver: best=299651 lower=299652 upper=25347570 39.69/39.73 o 299830 40.10/40.15 o 302942 40.10/40.15 c 93 calls to solver: best=302942 lower=302943 upper=25347570 40.49/40.58 o 303337 41.00/41.00 o 304905 41.00/41.00 c 95 calls to solver: best=304905 lower=304906 upper=25347570 41.39/41.43 o 305808 41.79/41.86 o 310234 41.79/41.86 c 97 calls to solver: best=310234 lower=310235 upper=25347570 42.19/42.28 o 312526 42.69/42.71 o 314263 42.69/42.71 c 99 calls to solver: best=314263 lower=314264 upper=25347570 43.10/43.13 o 315080 43.49/43.56 o 315844 43.49/43.56 c 101 calls to solver: best=315844 lower=315845 upper=25347570 43.89/43.98 o 316542 44.39/44.41 o 318208 44.39/44.41 c 103 calls to solver: best=318208 lower=318209 upper=25347570 44.79/44.83 o 319755 45.19/45.26 o 320099 45.19/45.26 c 105 calls to solver: best=320099 lower=320100 upper=25347570 45.59/45.68 o 320591 46.10/46.11 o 322267 46.10/46.11 c 107 calls to solver: best=322267 lower=322268 upper=25347570 46.49/46.53 o 324955 46.89/46.96 o 327186 46.89/46.96 c 109 calls to solver: best=327186 lower=327187 upper=25347570 47.29/47.38 o 327363 47.79/47.81 o 328020 47.79/47.81 c 111 calls to solver: best=328020 lower=328021 upper=25347570 48.19/48.23 o 330306 48.59/48.66 o 334484 48.59/48.66 c 113 calls to solver: best=334484 lower=334485 upper=25347570 49.00/49.08 o 336881 49.49/49.51 o 336939 49.49/49.51 c 115 calls to solver: best=336939 lower=336940 upper=25347570 49.89/49.93 o 341248 50.29/50.36 o 344133 50.29/50.36 c 117 calls to solver: best=344133 lower=344134 upper=25347570 50.69/50.78 o 346681 51.19/51.21 o 347000 51.19/51.21 c 119 calls to solver: best=347000 lower=347001 upper=25347570 51.59/51.63 o 348096 52.00/52.06 o 348866 52.00/52.06 c 121 calls to solver: best=348866 lower=348867 upper=25347570 52.39/52.48 o 349237 52.89/52.91 o 349353 52.89/52.91 c 123 calls to solver: best=349353 lower=349354 upper=25347570 53.29/53.33 o 350433 53.69/53.76 o 351656 53.69/53.76 c 125 calls to solver: best=351656 lower=351657 upper=25347570 54.10/54.18 o 352252 54.59/54.61 o 352731 54.59/54.61 c 127 calls to solver: best=352731 lower=352732 upper=25347570 55.00/55.03 o 353729 55.39/55.46 o 354072 55.39/55.46 c 129 calls to solver: best=354072 lower=354073 upper=25347570 55.79/55.88 o 354314 56.29/56.31 o 354639 56.29/56.31 c 131 calls to solver: best=354639 lower=354640 upper=25347570 56.69/56.73 o 354727 57.10/57.16 o 355591 57.10/57.16 c 133 calls to solver: best=355591 lower=355592 upper=25347570 57.49/57.58 o 355603 58.00/58.01 o 355656 58.00/58.01 c 135 calls to solver: best=355656 lower=355657 upper=25347570 58.39/58.43 o 356899 58.79/58.86 o 357346 58.79/58.86 c 137 calls to solver: best=357346 lower=357347 upper=25347570 59.19/59.28 o 357423 59.69/59.71 o 359163 59.69/59.71 c 139 calls to solver: best=359163 lower=359164 upper=25347570 60.10/60.13 o 359289 60.49/60.56 o 363530 60.49/60.56 c 141 calls to solver: best=363530 lower=363531 upper=25347570 60.89/60.98 o 363635 61.39/61.41 o 366687 61.39/61.41 c 143 calls to solver: best=366687 lower=366688 upper=25347570 61.79/61.83 o 369584 62.19/62.26 o 372317 62.19/62.26 c 145 calls to solver: best=372317 lower=372318 upper=25347570 62.59/62.68 o 372506 63.10/63.11 o 373159 63.10/63.11 c 147 calls to solver: best=373159 lower=373160 upper=25347570 63.49/63.53 o 373171 63.89/63.96 o 374494 63.89/63.96 c 149 calls to solver: best=374494 lower=374495 upper=25347570 64.29/64.38 o 376711 64.79/64.81 o 376809 64.79/64.81 c 151 calls to solver: best=376809 lower=376810 upper=25347570 65.19/65.23 o 376917 65.59/65.66 o 378567 65.59/65.66 c 153 calls to solver: best=378567 lower=378568 upper=25347570 66.00/66.08 o 379594 66.49/66.51 o 380602 66.49/66.51 c 155 calls to solver: best=380602 lower=380603 upper=25347570 66.89/66.93 o 384104 67.29/67.36 o 385525 67.29/67.36 c 157 calls to solver: best=385525 lower=385526 upper=25347570 67.69/67.78 o 385709 68.19/68.21 o 387592 68.19/68.21 c 159 calls to solver: best=387592 lower=387593 upper=25347570 68.59/68.63 o 391496 69.00/69.06 o 393302 69.00/69.06 c 161 calls to solver: best=393302 lower=393303 upper=25347570 69.39/69.48 o 397770 69.89/69.91 o 398497 69.89/69.91 c 163 calls to solver: best=398497 lower=398498 upper=25347570 70.29/70.33 o 400063 70.69/70.76 o 401449 70.69/70.76 c 165 calls to solver: best=401449 lower=401450 upper=25347570 71.10/71.18 o 402021 71.59/71.61 o 406639 71.59/71.61 c 167 calls to solver: best=406639 lower=406640 upper=25347570 72.00/72.03 o 407007 72.39/72.46 o 409405 72.39/72.46 c 169 calls to solver: best=409405 lower=409406 upper=25347570 72.79/72.88 o 411732 73.29/73.31 o 414059 73.29/73.31 c 171 calls to solver: best=414059 lower=414060 upper=25347570 73.69/73.73 o 414211 74.10/74.16 o 414990 74.10/74.16 c 173 calls to solver: best=414990 lower=414991 upper=25347570 74.49/74.59 o 416667 75.00/75.01 o 421760 75.00/75.01 c 175 calls to solver: best=421760 lower=421761 upper=25347570 75.39/75.44 o 423276 75.79/75.86 o 426611 75.79/75.86 c 177 calls to solver: best=426611 lower=426612 upper=25347570 76.19/76.29 o 429851 76.69/76.71 o 431485 76.69/76.71 c 179 calls to solver: best=431485 lower=431486 upper=25347570 77.10/77.14 o 434064 77.49/77.56 o 434401 77.49/77.56 c 181 calls to solver: best=434401 lower=434402 upper=25347570 77.89/77.99 o 436728 78.39/78.41 o 440430 78.39/78.41 c 183 calls to solver: best=440430 lower=440431 upper=25347570 78.79/78.84 o 440967 79.19/79.26 o 441232 79.19/79.26 c 185 calls to solver: best=441232 lower=441233 upper=25347570 79.59/79.69 o 442197 80.10/80.11 o 442333 80.10/80.11 c 187 calls to solver: best=442333 lower=442334 upper=25347570 80.49/80.54 o 443233 80.89/80.96 o 444135 80.89/80.96 c 189 calls to solver: best=444135 lower=444136 upper=25347570 81.29/81.39 o 447061 81.79/81.81 o 451696 81.79/81.81 c 191 calls to solver: best=451696 lower=451697 upper=25347570 82.19/82.24 o 452501 82.59/82.67 o 456339 82.59/82.67 c 193 calls to solver: best=456339 lower=456340 upper=25347570 83.00/83.09 o 456502 83.49/83.52 o 461211 83.49/83.52 c 195 calls to solver: best=461211 lower=461212 upper=25347570 83.89/83.94 o 462614 84.29/84.37 o 462788 84.29/84.37 c 197 calls to solver: best=462788 lower=462789 upper=25347570 84.69/84.79 o 463938 85.19/85.22 o 465976 85.19/85.22 c 199 calls to solver: best=465976 lower=465977 upper=25347570 85.59/85.64 o 467441 86.00/86.07 o 468431 86.00/86.07 c 201 calls to solver: best=468431 lower=468432 upper=25347570 86.39/86.49 o 471589 86.89/86.92 o 473604 86.89/86.92 c 203 calls to solver: best=473604 lower=473605 upper=25347570 87.29/87.35 o 474690 87.69/87.77 o 474834 87.69/87.77 c 205 calls to solver: best=474834 lower=474835 upper=25347570 88.10/88.20 o 475294 88.59/88.62 o 476727 88.59/88.62 c 207 calls to solver: best=476727 lower=476728 upper=25347570 89.00/89.05 o 477715 89.79/89.89 o 478483 89.79/89.89 c 209 calls to solver: best=478483 lower=478484 upper=25347570 90.29/90.32 o 478890 90.69/90.74 o 480153 90.69/90.74 c 211 calls to solver: best=480153 lower=480154 upper=25347570 91.10/91.17 o 485701 91.49/91.59 o 485708 91.49/91.59 c 213 calls to solver: best=485708 lower=485709 upper=25347570 92.00/92.02 o 487184 92.39/92.45 o 491635 92.39/92.45 c 215 calls to solver: best=491635 lower=491636 upper=25347570 92.79/92.87 o 493824 93.29/93.30 o 496341 93.29/93.30 c 217 calls to solver: best=496341 lower=496342 upper=25347570 93.69/93.72 o 496442 94.10/94.15 o 496816 94.10/94.15 c 219 calls to solver: best=496816 lower=496817 upper=25347570 94.49/94.57 o 497139 94.89/95.00 o 499041 94.89/95.00 c 221 calls to solver: best=499041 lower=499042 upper=25347570 95.39/95.42 o 499543 95.79/95.85 o 499949 95.79/95.85 c 223 calls to solver: best=499949 lower=499950 upper=25347570 96.19/96.27 o 501134 96.69/96.70 o 502859 96.69/96.70 c 225 calls to solver: best=502859 lower=502860 upper=25347570 97.10/97.12 o 502891 97.49/97.55 o 504202 97.49/97.55 c 227 calls to solver: best=504202 lower=504203 upper=25347570 97.89/97.97 o 504555 98.39/98.40 o 505447 98.39/98.40 c 229 calls to solver: best=505447 lower=505448 upper=25347570 98.79/98.83 o 507058 99.19/99.26 o 507305 99.19/99.26 c 231 calls to solver: best=507305 lower=507306 upper=25347570 99.69/99.72 o 507451 100.10/100.19 o 507654 100.10/100.19 c 233 calls to solver: best=507654 lower=507655 upper=25347570 101.00/101.03 o 507715 101.39/101.46 o 507984 101.39/101.46 c 235 calls to solver: best=507984 lower=507985 upper=25347570 101.79/101.90 o 508388 102.29/102.34 o 508819 102.29/102.34 c 237 calls to solver: best=508819 lower=508820 upper=25347570 102.69/102.77 o 508986 103.10/103.20 o 509087 103.10/103.20 c 239 calls to solver: best=509087 lower=509088 upper=25347570 103.59/103.62 o 509163 104.00/104.05 o 509494 104.00/104.05 c 241 calls to solver: best=509494 lower=509495 upper=25347570 104.39/104.47 o 509511 104.89/104.90 o 509687 104.89/104.90 c 243 calls to solver: best=509687 lower=509688 upper=25347570 105.29/105.32 o 509894 105.69/105.75 o 509924 105.69/105.75 c 245 calls to solver: best=509924 lower=509925 upper=25347570 106.10/106.17 o 510477 106.59/106.60 o 511269 106.59/106.60 c 247 calls to solver: best=511269 lower=511270 upper=25347570 107.00/107.02 o 511892 107.39/107.45 o 512266 107.39/107.45 c 249 calls to solver: best=512266 lower=512267 upper=25347570 107.79/107.87 o 512322 108.19/108.29 o 513220 108.19/108.29 c 251 calls to solver: best=513220 lower=513221 upper=25347570 108.69/108.72 o 513909 109.10/109.14 o 515210 109.10/109.14 c 253 calls to solver: best=515210 lower=515211 upper=25347570 109.49/109.56 o 515404 109.89/109.99 o 516843 109.89/109.99 c 255 calls to solver: best=516843 lower=516844 upper=25347570 110.39/110.41 o 517982 110.79/110.84 o 519313 110.79/110.84 c 257 calls to solver: best=519313 lower=519314 upper=25347570 111.19/111.26 o 522541 111.59/111.68 o 522973 111.59/111.68 c 259 calls to solver: best=522973 lower=522974 upper=25347570 112.10/112.11 o 522998 112.49/112.53 o 523994 112.49/112.53 c 261 calls to solver: best=523994 lower=523995 upper=25347570 112.89/112.95 o 526378 113.29/113.38 o 527666 113.29/113.38 c 263 calls to solver: best=527666 lower=527667 upper=25347570 113.79/113.80 o 529688 114.19/114.23 o 529832 114.19/114.23 c 265 calls to solver: best=529832 lower=529833 upper=25347570 114.59/114.65 o 530133 115.00/115.08 o 530309 115.00/115.08 c 267 calls to solver: best=530309 lower=530310 upper=25347570 115.49/115.50 o 531310 115.89/115.92 o 532181 115.89/115.92 c 269 calls to solver: best=532181 lower=532182 upper=25347570 116.29/116.35 o 532729 116.69/116.77 o 534453 116.69/116.77 c 271 calls to solver: best=534453 lower=534454 upper=25347570 117.19/117.20 o 536060 117.59/117.62 o 536646 117.59/117.62 c 273 calls to solver: best=536646 lower=536647 upper=25347570 118.00/118.04 o 538400 118.39/118.47 o 538763 118.39/118.47 c 275 calls to solver: best=538763 lower=538764 upper=25347570 118.79/118.89 o 538812 119.29/119.32 o 538990 119.29/119.32 c 277 calls to solver: best=538990 lower=538991 upper=25347570 119.69/119.74 o 539108 120.10/120.16 o 541625 120.10/120.16 c 279 calls to solver: best=541625 lower=541626 upper=25347570 120.49/120.59 o 542263 121.00/121.01 o 543162 121.00/121.01 c 281 calls to solver: best=543162 lower=543163 upper=25347570 121.39/121.44 o 545571 121.79/121.86 o 546204 121.79/121.86 c 283 calls to solver: best=546204 lower=546205 upper=25347570 122.19/122.28 o 546253 122.69/122.71 o 548263 122.69/122.71 c 285 calls to solver: best=548263 lower=548264 upper=25347570 123.10/123.13 o 550589 123.49/123.55 o 551500 123.49/123.55 c 287 calls to solver: best=551500 lower=551501 upper=25347570 123.89/123.98 o 551521 124.39/124.40 o 552860 124.39/124.40 c 289 calls to solver: best=552860 lower=552861 upper=25347570 124.79/124.83 o 553752 125.19/125.25 o 556205 125.19/125.25 c 291 calls to solver: best=556205 lower=556206 upper=25347570 125.59/125.67 o 556223 125.99/126.10 o 558105 125.99/126.10 c 293 calls to solver: best=558105 lower=558106 upper=25347570 126.49/126.53 o 558243 126.89/126.96 o 558412 126.89/126.96 c 295 calls to solver: best=558412 lower=558413 upper=25347570 127.89/127.98 o 558478 128.79/128.87 o 558522 128.79/128.87 c 297 calls to solver: best=558522 lower=558523 upper=25347570 129.19/129.29 o 558650 129.69/129.72 o 558864 129.69/129.72 c 299 calls to solver: best=558864 lower=558865 upper=25347570 130.10/130.14 o 558927 130.49/130.57 o 559154 130.49/130.57 c 301 calls to solver: best=559154 lower=559155 upper=25347570 130.89/130.99 o 559260 131.39/131.42 o 559285 131.39/131.42 c 303 calls to solver: best=559285 lower=559286 upper=25347570 131.79/131.85 o 559306 132.19/132.27 o 559423 132.19/132.27 c 305 calls to solver: best=559423 lower=559424 upper=25347570 132.59/132.70 o 559528 133.10/133.12 o 559617 133.10/133.12 c 307 calls to solver: best=559617 lower=559618 upper=25347570 133.49/133.54 o 559794 133.89/133.97 o 559840 133.89/133.97 c 309 calls to solver: best=559840 lower=559841 upper=25347570 134.29/134.39 o 560269 134.79/134.82 o 560501 134.79/134.82 c 311 calls to solver: best=560501 lower=560502 upper=25347570 135.19/135.24 o 560526 135.59/135.66 o 560532 135.59/135.66 c 313 calls to solver: best=560532 lower=560533 upper=25347570 135.99/136.09 o 560572 136.49/136.51 o 560576 136.49/136.51 c 315 calls to solver: best=560576 lower=560577 upper=25347570 136.89/136.93 o 560729 137.29/137.36 o 561546 137.29/137.36 c 317 calls to solver: best=561546 lower=561547 upper=25347570 137.69/137.78 o 561648 138.19/138.20 o 561796 138.19/138.20 c 319 calls to solver: best=561796 lower=561797 upper=25347570 138.59/138.63 o 561914 138.99/139.05 o 562477 138.99/139.05 c 321 calls to solver: best=562477 lower=562478 upper=25347570 139.39/139.48 o 563517 139.89/139.90 o 563606 139.89/139.90 c 323 calls to solver: best=563606 lower=563607 upper=25347570 140.29/140.32 o 564173 140.69/140.75 o 564353 140.69/140.75 c 325 calls to solver: best=564353 lower=564354 upper=25347570 141.09/141.17 o 564403 141.49/141.59 o 564613 141.49/141.59 c 327 calls to solver: best=564613 lower=564614 upper=25347570 141.99/142.02 o 564865 142.39/142.44 o 564976 142.39/142.44 c 329 calls to solver: best=564976 lower=564977 upper=25347570 142.79/142.87 o 565843 143.19/143.29 o 565889 143.19/143.29 c 331 calls to solver: best=565889 lower=565890 upper=25347570 143.69/143.71 o 567580 144.09/144.14 o 568882 144.09/144.14 c 333 calls to solver: best=568882 lower=568883 upper=25347570 144.49/144.56 o 569689 144.89/144.98 o 570767 144.89/144.98 c 335 calls to solver: best=570767 lower=570768 upper=25347570 145.39/145.41 o 572146 145.79/145.83 o 572737 145.79/145.83 c 337 calls to solver: best=572737 lower=572738 upper=25347570 146.19/146.26 o 572827 146.59/146.68 o 572915 146.59/146.68 c 339 calls to solver: best=572915 lower=572916 upper=25347570 147.09/147.11 o 573203 147.49/147.53 o 573257 147.49/147.53 c 341 calls to solver: best=573257 lower=573258 upper=25347570 147.89/147.95 o 573568 148.29/148.38 o 573813 148.29/148.38 c 343 calls to solver: best=573813 lower=573814 upper=25347570 148.79/148.80 o 574328 149.19/149.22 o 574720 149.19/149.22 c 345 calls to solver: best=574720 lower=574721 upper=25347570 149.59/149.65 o 574723 149.99/150.07 o 574846 149.99/150.07 c 347 calls to solver: best=574846 lower=574847 upper=25347570 150.39/150.49 o 575775 150.89/150.92 o 576476 150.89/150.92 c 349 calls to solver: best=576476 lower=576477 upper=25347570 151.29/151.34 o 576844 151.69/151.76 o 576862 151.69/151.76 c 351 calls to solver: best=576862 lower=576863 upper=25347570 152.09/152.19 o 577419 152.59/152.61 o 577833 152.59/152.61 c 353 calls to solver: best=577833 lower=577834 upper=25347570 152.99/153.03 o 578203 153.39/153.46 o 578208 153.39/153.46 c 355 calls to solver: best=578208 lower=578209 upper=25347570 153.79/153.88 o 578283 154.29/154.31 o 578527 154.29/154.31 c 357 calls to solver: best=578527 lower=578528 upper=25347570 154.69/154.73 o 578689 155.09/155.15 o 579999 155.09/155.15 c 359 calls to solver: best=579999 lower=580000 upper=25347570 155.49/155.57 o 580263 155.89/156.00 o 580290 155.89/156.00 c 361 calls to solver: best=580290 lower=580291 upper=25347570 156.39/156.42 o 581369 156.79/156.84 o 581734 156.79/156.84 c 363 calls to solver: best=581734 lower=581735 upper=25347570 157.19/157.27 o 581976 157.58/157.69 o 582122 157.58/157.69 c 365 calls to solver: best=582122 lower=582123 upper=25347570 158.09/158.11 o 582478 158.48/158.54 o 582516 158.48/158.54 c 367 calls to solver: best=582516 lower=582517 upper=25347570 158.88/158.96 o 582690 159.28/159.39 o 582778 159.28/159.39 c 369 calls to solver: best=582778 lower=582779 upper=25347570 159.78/159.81 o 583676 160.18/160.23 o 584468 160.18/160.23 c 371 calls to solver: best=584468 lower=584469 upper=25347570 160.58/160.66 o 585675 160.99/161.08 o 585716 160.99/161.08 c 373 calls to solver: best=585716 lower=585717 upper=25347570 161.48/161.51 o 586339 161.88/161.93 o 586931 161.88/161.93 c 375 calls to solver: best=586931 lower=586932 upper=25347570 162.28/162.35 o 587471 162.68/162.78 o 587565 162.68/162.78 c 377 calls to solver: best=587565 lower=587566 upper=25347570 163.18/163.20 o 588367 163.58/163.62 o 589262 163.58/163.62 c 379 calls to solver: best=589262 lower=589263 upper=25347570 163.99/164.05 o 590109 164.38/164.47 o 591359 164.38/164.47 c 381 calls to solver: best=591359 lower=591360 upper=25347570 164.88/164.90 o 591544 165.28/165.32 o 591603 165.28/165.32 c 383 calls to solver: best=591603 lower=591604 upper=25347570 165.68/165.74 o 591830 166.09/166.17 o 592194 166.09/166.17 c 385 calls to solver: best=592194 lower=592195 upper=25347570 166.48/166.59 o 592282 166.99/167.01 o 592397 166.99/167.01 c 387 calls to solver: best=592397 lower=592398 upper=25347570 167.38/167.44 o 592426 167.78/167.86 o 592515 167.78/167.86 c 389 calls to solver: best=592515 lower=592516 upper=25347570 168.18/168.28 o 592593 168.68/168.71 o 592804 168.68/168.71 c 391 calls to solver: best=592804 lower=592805 upper=25347570 169.09/169.13 o 592820 169.48/169.55 o 592957 169.48/169.55 c 393 calls to solver: best=592957 lower=592958 upper=25347570 169.88/169.98 o 593168 170.38/170.40 o 593184 170.38/170.40 c 395 calls to solver: best=593184 lower=593185 upper=25347570 170.78/170.82 o 593395 171.18/171.24 o 593579 171.18/171.24 c 397 calls to solver: best=593579 lower=593580 upper=25347570 171.58/171.67 o 593663 171.99/172.09 o 593789 171.99/172.09 c 399 calls to solver: best=593789 lower=593790 upper=25347570 172.48/172.51 o 593887 172.88/172.94 o 593910 172.88/172.94 c 401 calls to solver: best=593910 lower=593911 upper=25347570 173.28/173.36 o 594072 173.68/173.79 o 594085 173.68/173.79 c 403 calls to solver: best=594085 lower=594086 upper=25347570 174.18/174.21 o 594187 174.58/174.63 o 594230 174.58/174.63 c 405 calls to solver: best=594230 lower=594231 upper=25347570 174.99/175.06 o 594414 175.38/175.48 o 594492 175.38/175.48 c 407 calls to solver: best=594492 lower=594493 upper=25347570 175.88/175.90 o 594535 176.28/176.32 o 594539 176.28/176.32 c 409 calls to solver: best=594539 lower=594540 upper=25347570 176.68/176.75 o 594609 177.09/177.17 o 594756 177.09/177.17 c 411 calls to solver: best=594756 lower=594757 upper=25347570 177.48/177.59 o 594797 177.99/178.02 o 594942 177.99/178.02 c 413 calls to solver: best=594942 lower=594943 upper=25347570 178.38/178.44 o 595072 178.78/178.86 o 595079 178.78/178.86 c 415 calls to solver: best=595079 lower=595080 upper=25347570 179.18/179.28 o 595087 179.68/179.71 o 595149 179.68/179.71 c 417 calls to solver: best=595149 lower=595150 upper=25347570 180.09/180.13 o 595232 180.48/180.55 o 595385 180.48/180.55 c 419 calls to solver: best=595385 lower=595386 upper=25347570 180.88/180.98 o 595422 181.38/181.40 o 595696 181.38/181.40 c 421 calls to solver: best=595696 lower=595697 upper=25347570 181.78/181.82 o 595738 182.18/182.25 o 595922 182.18/182.25 c 423 calls to solver: best=595922 lower=595923 upper=25347570 182.58/182.67 o 595996 182.99/183.09 o 596176 182.99/183.09 c 425 calls to solver: best=596176 lower=596177 upper=25347570 183.48/183.51 o 596229 183.88/183.94 o 596318 183.88/183.94 c 427 calls to solver: best=596318 lower=596319 upper=25347570 184.28/184.36 o 596384 184.68/184.78 o 596430 184.68/184.78 c 429 calls to solver: best=596430 lower=596431 upper=25347570 185.18/185.21 o 596482 185.58/185.63 o 596609 185.58/185.63 c 431 calls to solver: best=596609 lower=596610 upper=25347570 185.99/186.05 o 596772 186.38/186.47 o 596851 186.38/186.47 c 433 calls to solver: best=596851 lower=596852 upper=25347570 186.88/186.90 o 596951 187.28/187.32 o 597028 187.28/187.32 c 435 calls to solver: best=597028 lower=597029 upper=25347570 187.68/187.74 o 597168 188.09/188.17 o 597187 188.09/188.17 c 437 calls to solver: best=597187 lower=597188 upper=25347570 188.48/188.59 o 597359 188.99/189.01 o 597511 188.99/189.01 c 439 calls to solver: best=597511 lower=597512 upper=25347570 189.38/189.44 o 597561 189.78/189.86 o 597606 189.78/189.86 c 441 calls to solver: best=597606 lower=597607 upper=25347570 190.18/190.28 o 597636 190.68/190.71 o 597716 190.68/190.71 c 443 calls to solver: best=597716 lower=597717 upper=25347570 191.09/191.13 o 597866 191.48/191.55 o 597918 191.48/191.55 c 445 calls to solver: best=597918 lower=597919 upper=25347570 191.88/191.97 o 598098 192.38/192.40 o 598191 192.38/192.40 c 447 calls to solver: best=598191 lower=598192 upper=25347570 192.78/192.82 o 598263 193.18/193.24 o 598283 193.18/193.24 c 449 calls to solver: best=598283 lower=598284 upper=25347570 193.58/193.67 o 598498 193.99/194.09 o 598554 193.99/194.09 c 451 calls to solver: best=598554 lower=598555 upper=25347570 194.48/194.51 o 598685 194.88/194.94 o 598831 194.88/194.94 c 453 calls to solver: best=598831 lower=598832 upper=25347570 195.28/195.36 o 598836 195.68/195.78 o 598855 195.68/195.78 c 455 calls to solver: best=598855 lower=598856 upper=25347570 196.18/196.21 o 599076 196.58/196.63 o 599170 196.58/196.63 c 457 calls to solver: best=599170 lower=599171 upper=25347570 196.99/197.05 o 599267 197.38/197.48 o 599315 197.38/197.48 c 459 calls to solver: best=599315 lower=599316 upper=25347570 197.88/197.90 o 599331 198.28/198.32 o 599336 198.28/198.32 c 461 calls to solver: best=599336 lower=599337 upper=25347570 198.68/198.75 o 599449 199.09/199.17 o 599586 199.09/199.17 c 463 calls to solver: best=599586 lower=599587 upper=25347570 199.48/199.59 o 599645 199.99/200.02 o 599688 199.99/200.02 c 465 calls to solver: best=599688 lower=599689 upper=25347570 200.38/200.44 o 599722 200.78/200.87 o 599897 200.78/200.87 c 467 calls to solver: best=599897 lower=599898 upper=25347570 201.18/201.29 o 600070 201.68/201.71 o 600072 201.68/201.71 c 469 calls to solver: best=600072 lower=600073 upper=25347570 202.09/202.14 o 600176 202.48/202.56 o 600197 202.48/202.56 c 471 calls to solver: best=600197 lower=600198 upper=25347570 202.88/202.98 o 600254 203.38/203.41 o 600290 203.38/203.41 c 473 calls to solver: best=600290 lower=600291 upper=25347570 203.78/203.83 o 600354 204.18/204.26 o 600461 204.18/204.26 c 475 calls to solver: best=600461 lower=600462 upper=25347570 204.58/204.68 o 600493 204.99/205.10 o 600504 204.99/205.10 c 477 calls to solver: best=600504 lower=600505 upper=25347570 205.48/205.52 o 600511 205.88/205.95 o 600695 205.88/205.95 c 479 calls to solver: best=600695 lower=600696 upper=25347570 206.28/206.37 o 600733 206.68/206.79 o 600748 206.68/206.79 c 481 calls to solver: best=600748 lower=600749 upper=25347570 207.18/207.22 o 600872 207.58/207.64 o 600952 207.58/207.64 c 483 calls to solver: best=600952 lower=600953 upper=25347570 207.99/208.06 o 600958 208.38/208.48 o 600965 208.38/208.48 c 485 calls to solver: best=600965 lower=600966 upper=25347570 208.88/208.91 o 601091 209.28/209.33 o 601132 209.28/209.33 c 487 calls to solver: best=601132 lower=601133 upper=25347570 209.68/209.75 o 601243 210.09/210.18 o 601341 210.09/210.18 c 489 calls to solver: best=601341 lower=601342 upper=25347570 210.58/210.60 o 601343 210.99/211.02 o 601476 210.99/211.02 c 491 calls to solver: best=601476 lower=601477 upper=25347570 211.38/211.45 o 601498 211.78/211.87 o 601544 211.78/211.87 c 493 calls to solver: best=601544 lower=601545 upper=25347570 212.18/212.29 o 601642 212.68/212.72 o 601649 212.68/212.72 c 495 calls to solver: best=601649 lower=601650 upper=25347570 213.09/213.14 o 601683 213.48/213.56 o 601810 213.48/213.56 c 497 calls to solver: best=601810 lower=601811 upper=25347570 213.88/213.98 o 601890 214.38/214.41 o 602045 214.38/214.41 c 499 calls to solver: best=602045 lower=602046 upper=25347570 214.78/214.83 o 602201 215.18/215.25 o 602202 215.18/215.25 c 501 calls to solver: best=602202 lower=602203 upper=25347570 215.58/215.67 o 602207 215.99/216.10 o 602215 215.99/216.10 c 503 calls to solver: best=602215 lower=602216 upper=25347570 216.48/216.52 o 602245 216.88/216.94 o 602286 216.88/216.94 c 505 calls to solver: best=602286 lower=602287 upper=25347570 217.28/217.36 o 602351 217.68/217.79 o 602386 217.68/217.79 c 507 calls to solver: best=602386 lower=602387 upper=25347570 218.18/218.21 o 602471 218.58/218.63 o 602529 218.58/218.63 c 509 calls to solver: best=602529 lower=602530 upper=25347570 218.99/219.06 o 602646 219.38/219.48 o 602655 219.38/219.48 c 511 calls to solver: best=602655 lower=602656 upper=25347570 219.88/219.91 o 602837 220.28/220.33 o 602902 220.28/220.33 c 513 calls to solver: best=602902 lower=602903 upper=25347570 220.68/220.75 o 602930 221.09/221.17 o 603129 221.09/221.17 c 515 calls to solver: best=603129 lower=603130 upper=25347570 221.58/221.60 o 603286 221.99/222.02 o 603316 221.99/222.02 c 517 calls to solver: best=603316 lower=603317 upper=25347570 222.38/222.44 o 603437 222.78/222.87 o 603469 222.78/222.87 c 519 calls to solver: best=603469 lower=603470 upper=25347570 223.18/223.29 o 603515 223.68/223.71 o 603673 223.68/223.71 c 521 calls to solver: best=603673 lower=603674 upper=25347570 224.09/224.13 o 603709 224.48/224.56 o 603794 224.48/224.56 c 523 calls to solver: best=603794 lower=603795 upper=25347570 224.88/224.98 o 603897 225.38/225.40 o 603918 225.38/225.40 c 525 calls to solver: best=603918 lower=603919 upper=25347570 225.78/225.83 o 603983 226.18/226.25 o 604047 226.18/226.25 c 527 calls to solver: best=604047 lower=604048 upper=25347570 226.58/226.67 o 604101 226.99/227.10 o 604126 226.99/227.10 c 529 calls to solver: best=604126 lower=604127 upper=25347570 227.48/227.52 o 604228 227.88/227.94 o 604253 227.88/227.94 c 531 calls to solver: best=604253 lower=604254 upper=25347570 228.28/228.37 o 604393 228.68/228.79 o 604506 228.68/228.79 c 533 calls to solver: best=604506 lower=604507 upper=25347570 229.18/229.21 o 604617 229.58/229.64 o 604780 229.58/229.64 c 535 calls to solver: best=604780 lower=604781 upper=25347570 229.99/230.06 o 604876 230.38/230.48 o 604932 230.38/230.48 c 537 calls to solver: best=604932 lower=604933 upper=25347570 230.88/230.90 o 605037 231.28/231.33 o 605041 231.28/231.33 c 539 calls to solver: best=605041 lower=605042 upper=25347570 231.68/231.75 o 605120 232.09/232.17 o 605200 232.09/232.17 c 541 calls to solver: best=605200 lower=605201 upper=25347570 232.58/232.60 o 605233 232.99/233.02 o 605248 232.99/233.02 c 543 calls to solver: best=605248 lower=605249 upper=25347570 233.38/233.44 o 605271 233.78/233.87 o 605356 233.78/233.87 c 545 calls to solver: best=605356 lower=605357 upper=25347570 234.58/234.69 o 605451 235.09/235.12 o 605582 235.09/235.12 c 547 calls to solver: best=605582 lower=605583 upper=25347570 235.48/235.54 o 605608 235.88/235.96 o 605684 235.88/235.96 c 549 calls to solver: best=605684 lower=605685 upper=25347570 236.28/236.39 o 605776 236.78/236.81 o 606052 236.78/236.81 c 551 calls to solver: best=606052 lower=606053 upper=25347570 237.18/237.23 o 606353 237.58/237.66 o 606669 237.58/237.66 c 553 calls to solver: best=606669 lower=606670 upper=25347570 237.99/238.08 o 606749 238.48/238.51 o 606785 238.48/238.51 c 555 calls to solver: best=606785 lower=606786 upper=25347570 238.88/238.93 o 606798 239.28/239.36 o 606929 239.28/239.36 c 557 calls to solver: best=606929 lower=606930 upper=25347570 239.68/239.78 o 606991 240.18/240.21 o 607140 240.18/240.21 c 559 calls to solver: best=607140 lower=607141 upper=25347570 240.58/240.63 o 607270 240.99/241.05 o 607350 240.99/241.05 c 561 calls to solver: best=607350 lower=607351 upper=25347570 241.38/241.48 o 607483 241.88/241.90 o 607625 241.88/241.90 c 563 calls to solver: best=607625 lower=607626 upper=25347570 242.28/242.32 o 607641 242.68/242.75 o 607959 242.68/242.75 c 565 calls to solver: best=607959 lower=607960 upper=25347570 243.09/243.17 o 607969 243.48/243.59 o 607974 243.48/243.59 c 567 calls to solver: best=607974 lower=607975 upper=25347570 243.99/244.02 o 608054 244.38/244.44 o 608158 244.38/244.44 c 569 calls to solver: best=608158 lower=608159 upper=25347570 244.78/244.87 o 608238 245.18/245.29 o 608318 245.18/245.29 c 571 calls to solver: best=608318 lower=608319 upper=25347570 245.68/245.71 o 608489 246.09/246.13 o 608625 246.09/246.13 c 573 calls to solver: best=608625 lower=608626 upper=25347570 246.48/246.56 o 608897 246.88/246.98 o 609079 246.88/246.98 c 575 calls to solver: best=609079 lower=609080 upper=25347570 247.38/247.41 o 609122 247.78/247.83 o 609240 247.78/247.83 c 577 calls to solver: best=609240 lower=609241 upper=25347570 248.18/248.25 o 609320 248.58/248.67 o 609451 248.58/248.67 c 579 calls to solver: best=609451 lower=609452 upper=25347570 248.99/249.10 o 609531 249.48/249.52 o 609547 249.48/249.52 c 581 calls to solver: best=609547 lower=609548 upper=25347570 249.88/249.94 o 609788 250.28/250.37 o 610231 250.28/250.37 c 583 calls to solver: best=610231 lower=610232 upper=25347570 250.68/250.79 o 610271 251.18/251.21 o 610362 251.18/251.21 c 585 calls to solver: best=610362 lower=610363 upper=25347570 251.58/251.63 o 610494 251.99/252.00 251.99/252.00 c *** INTERRUPTED *** 251.99/252.00 c restarts : 5 251.99/252.00 c conflicts : 637 (3 /sec) 251.99/252.00 c decisions : 1185629 (4705 /sec) 251.99/252.00 c propagations : 1265245 (5021 /sec) 251.99/252.00 c root propagations : 2000 251.99/252.00 c filter calls : 7206658 (28601 /sec) 251.99/252.00 c useless filter calls : 7196395 (99 %) 251.99/252.00 c Memory used : 51.11 MB 251.99/252.00 c CPU time : 251.974 s 251.99/252.00 251.99/252.00 c nb Solutions = 586 251.99/252.00 s SATISFIABLE 251.99/252.00 c Best value found: 610494 251.99/252.00 251.99/252.00 251.99/252.00 v <instantiation type='solution' cost='610494'> 251.99/252.00 v <list>b[0] b[1000] b[1001] b[1002] b[1003] b[1004] b[1005] b[1006] b[1007] b[1008] b[1009] b[100] b[1010] b[1011] b[1012] b[1013] b[1014] b[1015] b[1016] b[1017] b[1018] b[1019] b[101] b[1020] b[1021] b[1022] b[1023] b[1024] b[1025] b[1026] b[1027] b[1028] b[1029] b[102] b[1030] b[1031] b[1032] b[1033] b[1034] b[1035] b[1036] b[1037] b[1038] b[1039] b[103] b[1040] b[1041] b[1042] b[1043] b[1044] b[1045] b[1046] b[1047] b[1048] b[1049] b[104] b[1050] b[1051] b[1052] b[1053] b[1054] b[1055] b[1056] b[1057] b[1058] b[1059] b[105] b[1060] b[1061] b[1062] b[1063] b[1064] b[1065] b[1066] b[1067] b[1068] b[1069] b[106] b[1070] b[1071] b[1072] b[1073] b[1074] b[1075] b[1076] b[1077] b[1078] b[1079] b[107] b[1080] b[1081] b[1082] b[1083] b[1084] b[1085] b[1086] b[1087] b[1088] b[1089] b[108] b[1090] b[1091] b[1092] b[1093] b[1094] b[1095] b[1096] b[1097] b[1098] b[1099] b[109] b[10] b[1100] b[1101] b[1102] b[1103] b[1104] b[1105] b[1106] b[1107] b[1108] b[1109] b[110] b[1110] b[1111] b[1112] b[1113] b[1114] b[1115] b[1116] b[1117] b[1118] b[1119] b[111] b[1120] b[1121] b[1122] b[1123] b[1124] b[1125] b[1126] b[1127] b[1128] b[1129] b[112] b[1130] b[1131] b[1132] b[1133] b[1134] b[1135] b[1136] b[1137] b[1138] b[1139] b[113] b[1140] b[1141] b[1142] b[1143] b[1144] b[1145] b[1146] b[1147] b[1148] b[1149] b[114] b[1150] b[1151] b[1152] b[1153] b[1154] b[1155] b[1156] b[1157] b[1158] b[1159] b[115] b[1160] b[1161] b[1162] b[1163] b[1164] b[1165] b[1166] b[1167] b[1168] b[1169] b[116] b[1170] b[1171] b[1172] b[1173] b[1174] b[1175] b[1176] b[1177] b[1178] b[1179] b[117] b[1180] b[1181] b[1182] b[1183] b[1184] b[1185] b[1186] b[1187] b[1188] b[1189] b[118] b[1190] b[1191] b[1192] b[1193] b[1194] b[1195] b[1196] b[1197] b[1198] b[1199] b[119] b[11] b[1200] b[1201] b[1202] b[1203] b[1204] b[1205] b[1206] b[1207] b[1208] b[1209] b[120] b[1210] b[1211] b[1212] b[1213] b[1214] b[1215] b[1216] b[1217] b[1218] b[1219] b[121] b[1220] b[1221] b[1222] b[1223] b[1224] b[1225] b[1226] b[1227] b[1228] b[1229] b[122] b[1230] b[1231] b[1232] b[1233] b[1234] b[1235] b[1236] b[1237] b[1238] b[1239] b[123] b[1240] b[1241] b[1242] b[1243] b[1244] b[1245] b[1246] b[1247] b[1248] b[1249] b[124] b[1250] b[1251] b[1252] b[1253] b[1254] b[1255] b[1256] b[1257] b[1258] b[1259] b[125] b[1260] b[1261] b[1262] b[1263] b[1264] b[1265] b[1266] b[1267] b[1268] b[1269] b[126] b[1270] b[1271] b[1272] b[1273] b[1274] b[1275] b[1276] b[1277] b[1278] b[1279] b[127] b[1280] b[1281] b[1282] b[1283] b[1284] b[1285] b[1286] b[1287] b[1288] b[1289] b[128] b[1290] b[1291] b[1292] b[1293] b[1294] b[1295] b[1296] b[1297] b[1298] b[1299] b[129] b[12] b[1300] b[1301] b[1302] b[1303] b[1304] b[1305] b[1306] b[1307] b[1308] b[1309] b[130] b[1310] b[1311] b[1312] b[1313] b[1314] b[1315] b[1316] b[1317] b[1318] b[1319] b[131] b[1320] b[1321] b[1322] b[1323] b[1324] b[1325] b[1326] b[1327] b[1328] b[1329] b[132] b[1330] b[1331] b[1332] b[1333] b[1334] b[1335] b[1336] b[1337] b[1338] b[1339] b[133] b[1340] b[1341] b[1342] b[1343] b[1344] b[1345] b[1346] b[1347] b[1348] b[1349] b[134] b[1350] b[1351] b[1352] b[1353] b[1354] b[1355] b[1356] b[1357] b[1358] b[1359] b[135] b[1360] b[1361] b[1362] b[1363] b[1364] b[1365] b[1366] b[1367] b[1368] b[1369] b[136] b[1370] b[1371] b[1372] b[1373] b[1374] b[1375] b[1376] b[1377] b[1378] b[1379] b[137] b[1380] b[1381] b[1382] b[1383] b[1384] b[1385] b[1386] b[1387] b[1388] b[1389] b[138] b[1390] b[1391] b[1392] b[1393] b[1394] b[1395] b[1396] b[1397] b[1398] b[1399] b[139] b[13] b[1400] b[1401] b[1402] b[1403] b[1404] b[1405] b[1406] b[1407] b[1408] b[1409] b[140] b[1410] b[1411] b[1412] b[1413] b[1414] b[1415] b[1416] b[1417] b[1418] b[1419] b[141] b[1420] b[1421] b[1422] b[1423] b[1424] b[1425] b[1426] b[1427] b[1428] b[1429] b[142] b[1430] b[1431] b[1432] b[1433] b[1434] b[1435] b[1436] b[1437] b[1438] b[1439] b[143] b[1440] b[1441] b[1442] b[1443] b[1444] b[1445] b[1446] b[1447] b[1448] b[1449] b[144] b[1450] b[1451] b[1452] b[1453] b[1454] b[1455] b[1456] b[1457] b[1458] b[1459] b[145] b[1460] b[1461] b[1462] b[1463] b[1464] b[1465] b[1466] b[1467] b[1468] b[1469] b[146] b[1470] b[1471] b[1472] b[1473] b[1474] b[1475] b[1476] b[1477] b[1478] b[1479] b[147] b[1480] b[1481] b[1482] b[1483] b[1484] b[1485] b[1486] b[1487] b[1488] b[1489] b[148] b[1490] b[1491] b[1492] b[1493] b[1494] b[1495] b[1496] b[1497] b[1498] b[1499] b[149] b[14] b[1500] b[1501] b[1502] b[1503] b[1504] b[1505] b[1506] b[1507] b[1508] b[1509] b[150] b[1510] b[1511] b[1512] b[1513] b[1514] b[1515] b[1516] b[1517] b[1518] b[1519] b[151] b[1520] b[1521] b[1522] b[1523] b[1524] b[1525] b[1526] b[1527] b[1528] b[1529] b[152] b[1530] b[1531] b[1532] b[1533] b[1534] b[1535] b[1536] b[1537] b[1538] b[1539] b[153] b[1540] b[1541] b[1542] b[1543] b[1544] b[1545] b[1546] b[1547] b[1548] b[1549] b[154] b[1550] b[1551] b[1552] b[1553] b[1554] b[1555] b[1556] b[1557] b[1558] b[1559] b[155] b[1560] b[1561] b[1562] b[1563] b[1564] b[1565] b[1566] b[1567] b[1568] b[1569] b[156] b[1570] b[1571] b[1572] b[1573] b[1574] b[1575] b[1576] b[1577] b[1578] b[1579] b[157] b[1580] b[1581] b[1582] b[1583] b[1584] b[1585] b[1586] b[1587] b[1588] b[1589] b[158] b[1590] b[1591] b[1592] b[1593] b[1594] b[1595] b[1596] b[1597] b[1598] b[1599] b[159] b[15] b[1600] b[1601] b[1602] b[1603] b[1604] b[1605] b[1606] b[1607] b[1608] b[1609] b[160] b[1610] b[1611] b[1612] b[1613] b[1614] b[1615] b[1616] b[1617] b[1618] b[1619] b[161] b[1620] b[1621] b[1622] b[1623] b[1624] b[1625] b[1626] b[1627] b[1628] b[1629] b[162] b[1630] b[1631] b[1632] b[1633] b[1634] b[1635] b[1636] b[1637] b[1638] b[1639] b[163] b[1640] b[1641] b[1642] b[1643] b[1644] b[1645] b[1646] b[1647] b[1648] b[1649] b[164] b[1650] b[1651] b[1652] b[1653] b[1654] b[1655] b[1656] b[1657] b[1658] b[1659] b[165] b[1660] b[1661] b[1662] b[1663] b[1664] b[1665] b[1666] b[1667] b[1668] b[1669] b[166] b[1670] b[1671] b[1672] b[1673] b[1674] b[1675] b[1676] b[1677] b[1678] b[1679] b[167] b[1680] b[1681] b[1682] b[1683] b[1684] b[1685] b[1686] b[1687] b[1688] b[1689] b[168] b[1690] b[1691] b[1692] b[1693] b[1694] b[1695] b[1696] b[1697] b[1698] b[1699] b[169] b[16] b[1700] b[1701] b[1702] b[1703] b[1704] b[1705] b[1706] b[1707] b[1708] b[1709] b[170] b[1710] b[1711] b[1712] b[1713] b[1714] b[1715] b[1716] b[1717] b[1718] b[1719] b[171] b[1720] b[1721] b[1722] b[1723] b[1724] b[1725] b[1726] b[1727] b[1728] b[1729] b[172] b[1730] b[1731] b[1732] b[1733] b[1734] b[1735] b[1736] b[1737] b[1738] b[1739] b[173] b[1740] b[1741] b[1742] b[1743] b[1744] b[1745] b[1746] b[1747] b[1748] b[1749] b[174] b[1750] b[1751] b[1752] b[1753] b[1754] b[1755] b[1756] b[1757] b[1758] b[1759] b[175] b[1760] b[1761] b[1762] b[1763] b[1764] b[1765] b[1766] b[1767] b[1768] b[1769] b[176] b[1770] b[1771] b[1772] b[1773] b[1774] b[1775] b[1776] b[1777] b[1778] b[1779] b[177] b[1780] b[1781] b[1782] b[1783] b[1784] b[1785] b[1786] b[1787] b[1788] b[1789] b[178] b[1790] b[1791] b[1792] b[1793] b[1794] b[1795] b[1796] b[1797] b[1798] b[1799] b[179] b[17] b[1800] b[1801] b[1802] b[1803] b[1804] b[1805] b[1806] b[1807] b[1808] b[1809] b[180] b[1810] b[1811] b[1812] b[1813] b[1814] b[1815] b[1816] b[1817] b[1818] b[1819] b[181] b[1820] b[1821] b[1822] b[1823] b[1824] b[1825] b[1826] b[1827] b[1828] b[1829] b[182] b[1830] b[1831] b[1832] b[1833] b[1834] b[1835] b[1836] b[1837] b[1838] b[1839] b[183] b[1840] b[1841] b[1842] b[1843] b[1844] b[1845] b[1846] b[1847] b[1848] b[1849] b[184] b[1850] b[1851] b[1852] b[1853] b[1854] b[1855] b[1856] b[1857] b[1858] b[1859] b[185] b[1860] b[1861] b[1862] b[1863] b[1864] b[1865] b[1866] b[1867] b[1868] b[1869] b[186] b[1870] b[1871] b[1872] b[1873] b[1874] b[1875] b[1876] b[1877] b[1878] b[1879] b[187] b[1880] b[1881] b[1882] b[1883] b[1884] b[1885] b[1886] b[1887] b[1888] b[1889] b[188] b[1890] b[1891] b[1892] b[1893] b[1894] b[1895] b[1896] b[1897] b[1898] b[1899] b[189] b[18] b[1900] b[1901] b[1902] b[1903] b[1904] b[1905] b[1906] b[1907] b[1908] b[1909] b[190] b[1910] b[1911] b[1912] b[1913] b[1914] b[1915] b[1916] b[1917] b[1918] b[1919] b[191] b[1920] b[1921] b[1922] b[1923] b[1924] b[1925] b[1926] b[1927] b[1928] b[1929] b[192] b[1930] b[1931] b[1932] b[1933] b[1934] b[1935] b[1936] b[1937] b[1938] b[1939] b[193] b[1940] b[1941] b[1942] b[1943] b[1944] b[1945] b[1946] b[1947] b[1948] b[1949] b[194] b[1950] b[1951] b[1952] b[1953] b[1954] b[1955] b[1956] b[1957] b[1958] b[1959] b[195] b[1960] b[1961] b[1962] b[1963] b[1964] b[1965] b[1966] b[1967] b[1968] b[1969] b[196] b[1970] b[1971] b[1972] b[1973] b[1974] b[1975] b[1976] b[1977] b[1978] b[1979] b[197] b[1980] b[1981] b[1982] b[1983] b[1984] b[1985] b[1986] b[1987] b[1988] b[1989] b[198] b[1990] b[1991] b[1992] b[1993] b[1994] b[1995] b[1996] b[1997] b[1998] b[1999] b[199] b[19] b[1] b[200] b[201] b[202] b[203] b[204] b[205] b[206] b[207] b[208] b[209] b[20] b[210] b[211] b[212] b[213] b[214] b[215] b[216] b[217] b[218] b[219] b[21] b[220] b[221] b[222] b[223] b[224] b[225] b[226] b[227] b[228] b[229] b[22] b[230] b[231] b[232] b[233] b[234] b[235] b[236] b[237] b[238] b[239] b[23] b[240] b[241] b[242] b[243] b[244] b[245] b[246] b[247] b[248] b[249] b[24] b[250] b[251] b[252] b[253] b[254] b[255] b[256] b[257] b[258] b[259] b[25] b[260] b[261] b[262] b[263] b[264] b[265] b[266] b[267] b[268] b[269] b[26] b[270] b[271] b[272] b[273] b[274] b[275] b[276] b[277] b[278] b[279] b[27] b[280] b[281] b[282] b[283] b[284] b[285] b[286] b[287] b[288] b[289] b[28] b[290] b[291] b[292] b[293] b[294] b[295] b[296] b[297] b[298] b[299] b[29] b[2] b[300] b[301] b[302] b[303] b[304] b[305] b[306] b[307] b[308] b[309] b[30] b[310] b[311] b[312] b[313] b[314] b[315] b[316] b[317] b[318] b[319] b[31] b[320] b[321] b[322] b[323] b[324] b[325] b[326] b[327] b[328] b[329] b[32] b[330] b[331] b[332] b[333] b[334] b[335] b[336] b[337] b[338] b[339] b[33] b[340] b[341] b[342] b[343] b[344] b[345] b[346] b[347] b[348] b[349] b[34] b[350] b[351] b[352] b[353] b[354] b[355] b[356] b[357] b[358] b[359] b[35] b[360] b[361] b[362] b[363] b[364] b[365] b[366] b[367] b[368] b[369] b[36] b[370] b[371] b[372] b[373] b[374] b[375] b[376] b[377] b[378] b[379] b[37] b[380] b[381] b[382] b[383] b[384] b[385] b[386] b[387] b[388] b[389] b[38] b[390] b[391] b[392] b[393] b[394] b[395] b[396] b[397] b[398] b[399] b[39] b[3] b[400] b[401] b[402] b[403] b[404] b[405] b[406] b[407] b[408] b[409] b[40] b[410] b[411] b[412] b[413] b[414] b[415] b[416] b[417] b[418] b[419] b[41] b[420] b[421] b[422] b[423] b[424] b[425] b[426] b[427] b[428] b[429] b[42] b[430] b[431] b[432] b[433] b[434] b[435] b[436] b[437] b[438] b[439] b[43] b[440] b[441] b[442] b[443] b[444] b[445] b[446] b[447] b[448] b[449] b[44] b[450] b[451] b[452] b[453] b[454] b[455] b[456] b[457] b[458] b[459] b[45] b[460] b[461] b[462] b[463] b[464] b[465] b[466] b[467] b[468] b[469] b[46] b[470] b[471] b[472] b[473] b[474] b[475] b[476] b[477] b[478] b[479] b[47] b[480] b[481] b[482] b[483] b[484] b[485] b[486] b[487] b[488] b[489] b[48] b[490] b[491] b[492] b[493] b[494] b[495] b[496] b[497] b[498] b[499] b[49] b[4] b[500] b[501] b[502] b[503] b[504] b[505] b[506] b[507] b[508] b[509] b[50] b[510] b[511] b[512] b[513] b[514] b[515] b[516] b[517] b[518] b[519] b[51] b[520] b[521] b[522] b[523] b[524] b[525] b[526] b[527] b[528] b[529] b[52] b[530] b[531] b[532] b[533] b[534] b[535] b[536] b[537] b[538] b[539] b[53] b[540] b[541] b[542] b[543] b[544] b[545] b[546] b[547] b[548] b[549] b[54] b[550] b[551] b[552] b[553] b[554] b[555] b[556] b[557] b[558] b[559] b[55] b[560] b[561] b[562] b[563] b[564] b[565] b[566] b[567] b[568] b[569] b[56] b[570] b[571] b[572] b[573] b[574] b[575] b[576] b[577] b[578] b[579] b[57] b[580] b[581] b[582] b[583] b[584] b[585] b[586] b[587] b[588] b[589] b[58] b[590] b[591] b[592] b[593] b[594] b[595] b[596] b[597] b[598] b[599] b[59] b[5] b[600] b[601] b[602] b[603] b[604] b[605] b[606] b[607] b[608] b[609] b[60] b[610] b[611] b[612] b[613] b[614] b[615] b[616] b[617] b[618] b[619] b[61] b[620] b[621] b[622] b[623] b[624] b[625] b[626] b[627] b[628] b[629] b[62] b[630] b[631] b[632] b[633] b[634] b[635] b[636] b[637] b[638] b[639] b[63] b[640] b[641] b[642] b[643] b[644] b[645] b[646] b[647] b[648] b[649] b[64] b[650] b[651] b[652] b[653] b[654] b[655] b[656] b[657] b[658] b[659] b[65] b[660] b[661] b[662] b[663] b[664] b[665] b[666] b[667] b[668] b[669] b[66] b[670] b[671] b[672] b[673] b[674] b[675] b[676] b[677] b[678] b[679] b[67] b[680] b[681] b[682] b[683] b[684] b[685] b[686] b[687] b[688] b[689] b[68] b[690] b[691] b[692] b[693] b[694] b[695] b[696] b[697] b[698] b[699] b[69] b[6] b[700] b[701] b[702] b[703] b[704] b[705] b[706] b[707] b[708] b[709] b[70] b[710] b[711] b[712] b[713] b[714] b[715] b[716] b[717] b[718] b[719] b[71] b[720] b[721] b[722] b[723] b[724] b[725] b[726] b[727] b[728] b[729] b[72] b[730] b[731] b[732] b[733] b[734] b[735] b[736] b[737] b[738] b[739] b[73] b[740] b[741] b[742] b[743] b[744] b[745] b[746] b[747] b[748] b[749] b[74] b[750] b[751] b[752] b[753] b[754] b[755] b[756] b[757] b[758] b[759] b[75] b[760] b[761] b[762] b[763] b[764] b[765] b[766] b[767] b[768] b[769] b[76] b[770] b[771] b[772] b[773] b[774] b[775] b[776] b[777] b[778] b[779] b[77] b[780] b[781] b[782] b[783] b[784] b[785] b[786] b[787] b[788] b[789] b[78] b[790] b[791] b[792] b[793] b[794] b[795] b[796] b[797] b[798] b[799] b[79] b[7] b[800] b[801] b[802] b[803] b[804] b[805] b[806] b[807] b[808] b[809] b[80] b[810] b[811] b[812] b[813] b[814] b[815] b[816] b[817] b[818] b[819] b[81] b[820] b[821] b[822] b[823] b[824] b[825] b[826] b[827] b[828] b[829] b[82] b[830] b[831] b[832] b[833] b[834] b[835] b[836] b[837] b[838] b[839] b[83] b[840] b[841] b[842] b[843] b[844] b[845] b[846] b[847] b[848] b[849] b[84] b[850] b[851] b[852] b[853] b[854] b[855] b[856] b[857] b[858] b[859] b[85] b[860] b[861] b[862] b[863] b[864] b[865] b[866] b[867] b[868] b[869] b[86] b[870] b[871] b[872] b[873] b[874] b[875] b[876] b[877] b[878] b[879] b[87] b[880] b[881] b[882] b[883] b[884] b[885] b[886] b[887] b[888] b[889] b[88] b[890] b[891] b[892] b[893] b[894] b[895] b[896] b[897] b[898] b[899] b[89] b[8] b[900] b[901] b[902] b[903] b[904] b[905] b[906] b[907] b[908] b[909] b[90] b[910] b[911] b[912] b[913] b[914] b[915] b[916] b[917] b[918] b[919] b[91] b[920] b[921] b[922] b[923] b[924] b[925] b[926] b[927] b[928] b[929] b[92] b[930] b[931] b[932] b[933] b[934] b[935] b[936] b[937] b[938] b[939] b[93] b[940] b[941] b[942] b[943] b[944] b[945] b[946] b[947] b[948] b[949] b[94] b[950] b[951] b[952] b[953] b[954] b[955] b[956] b[957] b[958] b[959] b[95] b[960] b[961] b[962] b[963] b[964] b[965] b[966] b[967] b[968] b[969] b[96] b[970] b[971] b[972] b[973] b[974] b[975] b[976] b[977] b[978] b[979] b[97] b[980] b[981] b[982] b[983] b[984] b[985] b[986] b[987] b[988] b[989] b[98] b[990] b[991] b[992] b[993] b[994] b[995] b[996] b[997] b[998] b[999] b[99] b[9] </list> 251.99/252.00 v <values>0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 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 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 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 1 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 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 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 1 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 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 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 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 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 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 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 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 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 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 1 1 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 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 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 0 0 0 0 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 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 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 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 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 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 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.99/252.01 v </instantiation> 251.99/252.01
OK 610494
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (13444 MiB free) memory of node 1: 16384 MiB (14298 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301461-1532881513/watcher-4301461-1532881513 -o /tmp/evaluation-result-4301461-1532881513/solver-4301461-1532881513 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532878455-19304 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4301461-1532881513.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=21186, runsolver pid=21183 [startup+0.100202 s]* /proc/loadavg: 2.22 2.09 2.03 3/192 21187 /proc/meminfo: memFree=28403448/32770624 swapFree=67108744/67108860 [pid=21186] ppid=21183 vsize=33108 memory=9392 CPUtime=0.1 cores=0,2,4,6 /proc/21186/stat : 21186 (cosoco) R 21183 21186 19273 0 -1 4202496 2557 0 0 0 10 0 0 0 20 0 1 0 105714550 33902592 2348 33554432000 4194304 6142532 140729965921696 140729965918328 5476004 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 12161024 140729965925515 140729965925645 140729965925645 140729965928398 0 /proc/21186/statm: 8277 2348 821 476 0 1599 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 33108 KiB Current children cumulated memory: 9392 KiB [startup+0.209969 s]* /proc/loadavg: 2.22 2.09 2.03 3/192 21187 /proc/meminfo: memFree=28402876/32770624 swapFree=67108744/67108860 [pid=21186] ppid=21183 vsize=33772 memory=10444 CPUtime=0.21 cores=0,2,4,6 /proc/21186/stat : 21186 (cosoco) R 21183 21186 19273 0 -1 4202496 2774 0 0 0 21 0 0 0 20 0 1 0 105714550 34582528 2611 33554432000 4194304 6142532 140729965921696 140729965918712 139997979962341 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 12161024 140729965925515 140729965925645 140729965925645 140729965928398 0 /proc/21186/statm: 8443 2611 865 476 0 1765 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 33772 KiB Current children cumulated memory: 10444 KiB [startup+0.309356 s]* /proc/loadavg: 2.22 2.09 2.03 3/192 21187 /proc/meminfo: memFree=28399896/32770624 swapFree=67108744/67108860 [pid=21186] ppid=21183 vsize=36824 memory=13348 CPUtime=0.31 cores=0,2,4,6 /proc/21186/stat : 21186 (cosoco) R 21183 21186 19273 0 -1 4202496 3527 0 0 0 31 0 0 0 20 0 1 0 105714550 37707776 3337 33554432000 4194304 6142532 140729965921696 140729965918712 139997979962341 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 12161024 140729965925515 140729965925645 140729965925645 140729965928398 0 /proc/21186/statm: 9206 3337 865 476 0 2528 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 36824 KiB Current children cumulated memory: 13348 KiB [startup+0.700351 s] /proc/loadavg: 2.22 2.09 2.03 3/192 21187 /proc/meminfo: memFree=28394568/32770624 swapFree=67108744/67108860 [pid=21186] ppid=21183 vsize=43228 memory=19684 CPUtime=0.69 cores=0,2,4,6 /proc/21186/stat : 21186 (cosoco) R 21183 21186 19273 0 -1 4202496 5122 0 0 0 69 0 0 0 20 0 1 0 105714550 44265472 4921 33554432000 4194304 6142532 140729965921696 140729965918712 139997980031531 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 12161024 140729965925515 140729965925645 140729965925645 140729965928398 0 /proc/21186/statm: 10807 4921 866 476 0 4129 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 43228 KiB Current children cumulated memory: 19684 KiB [startup+1.50034 s] /proc/loadavg: 2.28 2.11 2.04 3/192 21187 /proc/meminfo: memFree=28388864/32770624 swapFree=67108744/67108860 [pid=21186] ppid=21183 vsize=48340 memory=24964 CPUtime=1.49 cores=0,2,4,6 /proc/21186/stat : 21186 (cosoco) R 21183 21186 19273 0 -1 4202496 6416 0 0 0 149 0 0 0 20 0 1 0 105714550 49500160 6241 33554432000 4194304 6142532 140729965921696 140729965919224 5347477 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 12161024 140729965925515 140729965925645 140729965925645 140729965928398 0 /proc/21186/statm: 12085 6241 866 476 0 5407 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 48340 KiB Current children cumulated memory: 24964 KiB [startup+3.10947 s] /proc/loadavg: 2.28 2.11 2.04 3/192 21187 /proc/meminfo: memFree=28387488/32770624 swapFree=67108744/67108860 [pid=21186] ppid=21183 vsize=48340 memory=25040 CPUtime=3.1 cores=0,2,4,6 /proc/21186/stat : 21186 (cosoco) R 21183 21186 19273 0 -1 4202496 9922 0 0 0 309 1 0 0 20 0 1 0 105714550 49500160 6260 33554432000 4194304 6142532 140729965921696 140729965919224 5138684 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 12161024 140729965925515 140729965925645 140729965925645 140729965928398 0 /proc/21186/statm: 12085 6260 866 476 0 5407 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 48340 KiB Current children cumulated memory: 25040 KiB [startup+6.30033 s] /proc/loadavg: 2.26 2.10 2.04 3/192 21187 /proc/meminfo: memFree=28386620/32770624 swapFree=67108744/67108860 [pid=21186] ppid=21183 vsize=48340 memory=25040 CPUtime=6.29 cores=0,2,4,6 /proc/21186/stat : 21186 (cosoco) R 21183 21186 19273 0 -1 4202496 13349 0 0 0 628 1 0 0 20 0 1 0 105714550 49500160 6260 33554432000 4194304 6142532 140729965921696 140729965908968 5138722 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 12161024 140729965925515 140729965925645 140729965925645 140729965928398 0 /proc/21186/statm: 12085 6260 866 476 0 5407 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 48340 KiB Current children cumulated memory: 25040 KiB [startup+12.7003 s] /proc/loadavg: 2.24 2.10 2.04 3/192 21187 /proc/meminfo: memFree=28385860/32770624 swapFree=67108744/67108860 [pid=21186] ppid=21183 vsize=48340 memory=25040 CPUtime=12.69 cores=0,2,4,6 /proc/21186/stat : 21186 (cosoco) R 21183 21186 19273 0 -1 4202496 16815 0 0 0 1268 1 0 0 20 0 1 0 105714550 49500160 6260 33554432000 4194304 6142532 140729965921696 140729965908968 5140391 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 12161024 140729965925515 140729965925645 140729965925645 140729965928398 0 /proc/21186/statm: 12085 6260 866 476 0 5407 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 48340 KiB Current children cumulated memory: 25040 KiB [startup+25.5003 s] /proc/loadavg: 2.13 2.08 2.03 3/192 21187 /proc/meminfo: memFree=28383864/32770624 swapFree=67108744/67108860 [pid=21186] ppid=21183 vsize=48340 memory=25040 CPUtime=25.48 cores=0,2,4,6 /proc/21186/stat : 21186 (cosoco) R 21183 21186 19273 0 -1 4202496 21180 0 0 0 2547 1 0 0 20 0 1 0 105714550 49500160 6260 33554432000 4194304 6142532 140729965921696 140729965908968 5215810 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 12161024 140729965925515 140729965925645 140729965925645 140729965928398 0 /proc/21186/statm: 12085 6260 866 476 0 5407 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 48340 KiB Current children cumulated memory: 25040 KiB [startup+51.1092 s] /proc/loadavg: 2.15 2.09 2.04 3/192 21187 /proc/meminfo: memFree=28383112/32770624 swapFree=67108744/67108860 [pid=21186] ppid=21183 vsize=49028 memory=25556 CPUtime=51.1 cores=0,2,4,6 /proc/21186/stat : 21186 (cosoco) R 21183 21186 19273 0 -1 4202496 21532 0 0 0 5108 2 0 0 20 0 1 0 105714550 50204672 6389 33554432000 4194304 6142532 140729965921696 140729965908968 5215649 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 12161024 140729965925515 140729965925645 140729965925645 140729965928398 0 /proc/21186/statm: 12257 6389 866 476 0 5579 0 Current children cumulated CPU time: 51.1 s Current children cumulated vsize: 49028 KiB Current children cumulated memory: 25556 KiB [startup+102.3 s] /proc/loadavg: 2.07 2.08 2.04 3/192 21188 /proc/meminfo: memFree=28380864/32770624 swapFree=67108744/67108860 [pid=21186] ppid=21183 vsize=51132 memory=27584 CPUtime=102.29 cores=0,2,4,6 /proc/21186/stat : 21186 (cosoco) R 21183 21186 19273 0 -1 4202496 22371 0 0 0 10227 2 0 0 20 0 1 0 105714550 52359168 6896 33554432000 4194304 6142532 140729965921696 140729965919224 5139639 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 12161024 140729965925515 140729965925645 140729965925645 140729965928398 0 /proc/21186/statm: 12783 6896 866 476 0 6105 0 Current children cumulated CPU time: 102.29 s Current children cumulated vsize: 51132 KiB Current children cumulated memory: 27584 KiB [startup+162.3 s] /proc/loadavg: 2.02 2.06 2.04 3/191 21189 /proc/meminfo: memFree=28379916/32770624 swapFree=67108744/67108860 [pid=21186] ppid=21183 vsize=52204 memory=28708 CPUtime=162.28 cores=0,2,4,6 /proc/21186/stat : 21186 (cosoco) R 21183 21186 19273 0 -1 4202496 22941 0 0 0 16226 2 0 0 20 0 1 0 105714550 53456896 7177 33554432000 4194304 6142532 140729965921696 140729965908968 5138416 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12161024 140729965925515 140729965925645 140729965925645 140729965928398 0 /proc/21186/statm: 13051 7177 866 476 0 6373 0 Current children cumulated CPU time: 162.28 s Current children cumulated vsize: 52204 KiB Current children cumulated memory: 28708 KiB [startup+222.3 s] /proc/loadavg: 2.01 2.05 2.04 3/191 21191 /proc/meminfo: memFree=28379428/32770624 swapFree=67108744/67108860 [pid=21186] ppid=21183 vsize=52204 memory=28828 CPUtime=222.28 cores=0,2,4,6 /proc/21186/stat : 21186 (cosoco) R 21183 21186 19273 0 -1 4202496 23284 0 0 0 22226 2 0 0 20 0 1 0 105714550 53456896 7207 33554432000 4194304 6142532 140729965921696 140729965908968 5215647 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12161024 140729965925515 140729965925645 140729965925645 140729965928398 0 /proc/21186/statm: 13051 7207 866 476 0 6373 0 Current children cumulated CPU time: 222.28 s Current children cumulated vsize: 52204 KiB Current children cumulated memory: 28828 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252 s]* /proc/loadavg: 2.01 2.05 2.04 3/190 21252 /proc/meminfo: memFree=28376872/32770624 swapFree=67108744/67108860 [pid=21186] ppid=21183 vsize=52332 memory=28948 CPUtime=251.99 cores=0,2,4,6 /proc/21186/stat : 21186 (cosoco) R 21183 21186 19273 0 -1 4202496 23383 0 0 0 25197 2 0 0 20 0 1 0 105714550 53587968 7237 33554432000 4194304 6142532 140729965921696 140729965919224 5215620 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 12161024 140729965925515 140729965925645 140729965925645 140729965928398 0 /proc/21186/statm: 13083 7237 866 476 0 6405 0 Current children cumulated CPU time: 251.99 s Current children cumulated vsize: 52332 KiB Current children cumulated memory: 28948 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.01 s] # the end of solver process 21186 was just reported to runsolver # cumulated CPU time of all completed processes: user=251.975 s, system=0.023 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): 251.998 CPU user time (s): 251.975 CPU system time (s): 0.023 CPU usage (%): 99.9953 Max. virtual memory (cumulated for all children) (KiB): 52332 Max. memory (cumulated for all children) (KiB): 28948 getrusage(RUSAGE_CHILDREN,...) data: user time used= 251.975 system time used= 0.023 maximum resident set size= 29016 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 23421 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 13 involuntary context switches= 252 # summary of solver processes directly reported to runsolver: # pid: 21186 # total CPU time (s): 251.998 # total CPU user time (s): 251.975 # total CPU system time (s): 0.023 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.03229 second user time and 1.6304 second system time The end
Begin job on node134 at 2018-07-29 18:25:13 IDJOB=4301461 IDBENCH=141161 IDSOLVER=2774 FILE ID=node134/4301461-1532881513 RUNJOBID= node134-1532878455-19304 PBS_JOBID= 21022511 Free space on /tmp= 60956 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/Auction/Auction-cnt/Auction-cnt-decay500_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4301461-1532881513/watcher-4301461-1532881513 -o /tmp/evaluation-result-4301461-1532881513/solver-4301461-1532881513 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532878455-19304 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4301461-1532881513.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f56a4553a90e1a028ece3fd7f833aea7 RANDOM SEED=289356883 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: 28408760 kB MemAvailable: 31951056 kB Buffers: 202420 kB Cached: 3610788 kB SwapCached: 0 kB Active: 1629564 kB Inactive: 2258436 kB Active(anon): 23972 kB Inactive(anon): 78480 kB Active(file): 1605592 kB Inactive(file): 2179956 kB Unevictable: 7364 kB Mlocked: 7364 kB SwapTotal: 67108860 kB SwapFree: 67108744 kB Dirty: 2568 kB Writeback: 0 kB AnonPages: 81784 kB Mapped: 46528 kB Shmem: 25132 kB Slab: 173584 kB SReclaimable: 145164 kB SUnreclaim: 28420 kB KernelStack: 3424 kB PageTables: 5564 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 371244 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 60952 MiB End job on node134 at 2018-07-29 18:29:26