Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 1.12 | SAT (TO) | 592439 | 251.998 | 252.01 |
Name | Auction/Auction-sum/ Auction-sum-decay500_c18.xml |
MD5SUM | d1d7e4f351cab0858660dafd89ccc193 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 2899564 |
Best CPU time to get the best result obtained on this benchmark | 252.105 |
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":"sum","count":500}] |
Optimization problem | YES |
Type of objective | max SUM |
0.10/0.14 c best=?? lower=0 upper=25347570 0.31/0.41 c 0.31/0.41 c This is cosoco 1.12 -- 0.31/0.41 c 0.31/0.41 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4301437-1532881247.xml 0.31/0.41 c enable optimization 0.31/0.41 c ========================================[ Problem Statistics ]=========================================== 0.31/0.41 c | 0.31/0.41 c | Parse time : 0.14 s 0.31/0.41 c | 0.31/0.41 c | Variables: 2000 0.31/0.41 c | Domain Sizes: 2..2 0.31/0.41 c | 0.31/0.41 c | Constraints: 501 0.31/0.41 c | Arity: 7..2000 0.31/0.41 c | 0.31/0.41 c | Types: 0.31/0.41 c | Sum: 501 0.31/0.41 c | 0.31/0.41 c | Objective: Maximize Sum 0.31/0.41 0.31/0.41 c ========================================================================================================= 0.31/0.41 o 0 0.31/0.41 c 1 calls to solver: best=0 lower=1 upper=25347570 0.78/0.86 o 23556 1.29/1.31 o 26209 1.29/1.31 c 3 calls to solver: best=26209 lower=26210 upper=25347570 1.69/1.76 o 27923 2.19/2.21 o 29818 2.19/2.21 c 5 calls to solver: best=29818 lower=29819 upper=25347570 2.59/2.66 o 29874 3.10/3.11 o 34265 3.10/3.11 c 7 calls to solver: best=34265 lower=34266 upper=25347570 3.49/3.57 o 41121 4.00/4.02 o 45233 4.00/4.02 c 9 calls to solver: best=45233 lower=45234 upper=25347570 4.39/4.47 o 56486 4.89/4.91 o 62573 4.89/4.91 c 11 calls to solver: best=62573 lower=62574 upper=25347570 5.29/5.36 o 78752 5.79/5.81 o 82731 5.79/5.81 c 13 calls to solver: best=82731 lower=82732 upper=25347570 6.19/6.26 o 86308 6.69/6.71 o 86504 6.69/6.71 c 15 calls to solver: best=86504 lower=86505 upper=25347570 7.10/7.16 o 99975 7.59/7.61 o 112962 7.59/7.61 c 17 calls to solver: best=112962 lower=112963 upper=25347570 8.00/8.06 o 121376 8.49/8.51 o 130492 8.49/8.51 c 19 calls to solver: best=130492 lower=130493 upper=25347570 8.89/8.96 o 133387 9.39/9.41 o 135094 9.39/9.41 c 21 calls to solver: best=135094 lower=135095 upper=25347570 9.79/9.86 o 150694 10.29/10.31 o 163727 10.29/10.31 c 23 calls to solver: best=163727 lower=163728 upper=25347570 10.69/10.76 o 173004 11.19/11.21 o 174172 11.19/11.21 c 25 calls to solver: best=174172 lower=174173 upper=25347570 11.59/11.66 o 175144 12.10/12.11 o 177369 12.10/12.11 c 27 calls to solver: best=177369 lower=177370 upper=25347570 12.49/12.56 o 178525 13.00/13.01 o 182449 13.00/13.01 c 29 calls to solver: best=182449 lower=182450 upper=25347570 13.39/13.46 o 185089 13.89/13.91 o 185471 13.89/13.91 c 31 calls to solver: best=185471 lower=185472 upper=25347570 14.29/14.36 o 186172 14.79/14.81 o 192077 14.79/14.81 c 33 calls to solver: best=192077 lower=192078 upper=25347570 15.19/15.26 o 192085 15.69/15.71 o 198150 15.69/15.71 c 35 calls to solver: best=198150 lower=198151 upper=25347570 16.10/16.16 o 201656 16.59/16.61 o 205365 16.59/16.61 c 37 calls to solver: best=205365 lower=205366 upper=25347570 17.00/17.07 o 208047 17.48/17.51 o 209933 17.48/17.51 c 39 calls to solver: best=209933 lower=209934 upper=25347570 17.88/17.94 o 211173 18.28/18.38 o 214916 18.28/18.38 c 41 calls to solver: best=214916 lower=214917 upper=25347570 18.78/18.81 o 216724 19.18/19.24 o 216780 19.18/19.24 c 43 calls to solver: best=216780 lower=216781 upper=25347570 19.58/19.68 o 216984 20.09/20.11 o 217839 20.09/20.11 c 45 calls to solver: best=217839 lower=217840 upper=25347570 20.48/20.55 o 219807 20.88/20.98 o 223277 20.88/20.98 c 47 calls to solver: best=223277 lower=223278 upper=25347570 21.38/21.41 o 226793 21.78/21.84 o 230847 21.78/21.84 c 49 calls to solver: best=230847 lower=230848 upper=25347570 22.18/22.28 o 233474 22.68/22.71 o 237712 22.68/22.71 c 51 calls to solver: best=237712 lower=237713 upper=25347570 23.09/23.15 o 238679 23.48/23.58 o 239409 23.48/23.58 c 53 calls to solver: best=239409 lower=239410 upper=25347570 23.99/24.01 o 241578 24.38/24.45 o 242123 24.38/24.45 c 55 calls to solver: best=242123 lower=242124 upper=25347570 24.78/24.88 o 242450 25.28/25.31 o 244302 25.28/25.31 c 57 calls to solver: best=244302 lower=244303 upper=25347570 25.68/25.75 o 246004 26.09/26.18 o 250074 26.09/26.18 c 59 calls to solver: best=250074 lower=250075 upper=25347570 26.58/26.61 o 250134 26.99/27.05 o 255747 26.99/27.05 c 61 calls to solver: best=255747 lower=255748 upper=25347570 27.38/27.48 o 256262 27.88/27.92 o 256636 27.88/27.92 c 63 calls to solver: best=256636 lower=256637 upper=25347570 28.28/28.35 o 257647 28.68/28.79 o 258913 28.68/28.79 c 65 calls to solver: best=258913 lower=258914 upper=25347570 29.18/29.23 o 260076 29.58/29.66 o 261661 29.58/29.66 c 67 calls to solver: best=261661 lower=261662 upper=25347570 29.99/30.10 o 262516 30.48/30.54 o 262543 30.48/30.54 c 69 calls to solver: best=262543 lower=262544 upper=25347570 30.88/30.97 o 264613 31.38/31.41 o 269755 31.38/31.41 c 71 calls to solver: best=269755 lower=269756 upper=25347570 31.78/31.85 o 270674 32.18/32.29 o 271118 32.18/32.29 c 73 calls to solver: best=271118 lower=271119 upper=25347570 32.68/32.72 o 273815 33.09/33.16 o 276230 33.09/33.16 c 75 calls to solver: best=276230 lower=276231 upper=25347570 33.48/33.59 o 277091 33.99/34.03 o 280381 33.99/34.03 c 77 calls to solver: best=280381 lower=280382 upper=25347570 34.38/34.47 o 284630 34.88/34.90 o 289489 34.88/34.90 c 79 calls to solver: best=289489 lower=289490 upper=25347570 35.28/35.34 o 291742 35.68/35.78 o 292710 35.68/35.78 c 81 calls to solver: best=292710 lower=292711 upper=25347570 36.18/36.21 o 295757 36.58/36.65 o 295986 36.58/36.65 c 83 calls to solver: best=295986 lower=295987 upper=25347570 36.99/37.08 o 297082 37.48/37.52 o 297128 37.48/37.52 c 85 calls to solver: best=297128 lower=297129 upper=25347570 37.88/37.96 o 298267 38.38/38.40 o 298812 38.38/38.40 c 87 calls to solver: best=298812 lower=298813 upper=25347570 38.78/38.83 o 300702 39.18/39.27 o 301854 39.18/39.27 c 89 calls to solver: best=301854 lower=301855 upper=25347570 39.68/39.71 o 302949 40.09/40.14 o 304629 40.09/40.14 c 91 calls to solver: best=304629 lower=304630 upper=25347570 40.48/40.58 o 305715 40.99/41.02 o 306733 40.99/41.02 c 93 calls to solver: best=306733 lower=306734 upper=25347570 41.38/41.46 o 306858 41.88/41.90 o 307606 41.88/41.90 c 95 calls to solver: best=307606 lower=307607 upper=25347570 42.28/42.33 o 307815 42.68/42.77 o 308743 42.68/42.77 c 97 calls to solver: best=308743 lower=308744 upper=25347570 43.18/43.21 o 308752 43.58/43.65 o 308754 43.58/43.65 c 99 calls to solver: best=308754 lower=308755 upper=25347570 43.99/44.08 o 309395 44.48/44.52 o 310295 44.48/44.52 c 101 calls to solver: best=310295 lower=310296 upper=25347570 44.88/44.95 o 310448 45.28/45.39 o 310605 45.28/45.39 c 103 calls to solver: best=310605 lower=310606 upper=25347570 45.78/45.83 o 310629 46.18/46.26 o 311305 46.18/46.26 c 105 calls to solver: best=311305 lower=311306 upper=25347570 46.68/46.70 o 311613 47.09/47.13 o 312235 47.09/47.13 c 107 calls to solver: best=312235 lower=312236 upper=25347570 47.48/47.57 o 312786 47.99/48.00 o 313033 47.99/48.00 c 109 calls to solver: best=313033 lower=313034 upper=25347570 48.38/48.44 o 313446 48.78/48.88 o 315324 48.78/48.88 c 111 calls to solver: best=315324 lower=315325 upper=25347570 49.28/49.31 o 316659 49.68/49.75 o 317624 49.68/49.75 c 113 calls to solver: best=317624 lower=317625 upper=25347570 50.09/50.18 o 317900 50.58/50.62 o 319113 50.58/50.62 c 115 calls to solver: best=319113 lower=319114 upper=25347570 50.99/51.06 o 319324 51.38/51.49 o 319973 51.38/51.49 c 117 calls to solver: best=319973 lower=319974 upper=25347570 51.88/51.93 o 320507 52.28/52.36 o 320554 52.28/52.36 c 119 calls to solver: best=320554 lower=320555 upper=25347570 52.78/52.80 o 321255 53.18/53.24 o 322298 53.18/53.24 c 121 calls to solver: best=322298 lower=322299 upper=25347570 53.58/53.67 o 323793 54.09/54.11 o 325000 54.09/54.11 c 123 calls to solver: best=325000 lower=325001 upper=25347570 54.48/54.54 o 327913 54.88/54.98 o 328088 54.88/54.98 c 125 calls to solver: best=328088 lower=328089 upper=25347570 55.38/55.42 o 328263 55.78/55.85 o 331112 55.78/55.85 c 127 calls to solver: best=331112 lower=331113 upper=25347570 56.18/56.29 o 333274 56.68/56.73 o 336413 56.68/56.73 c 129 calls to solver: best=336413 lower=336414 upper=25347570 57.09/57.16 o 338851 57.58/57.60 o 342099 57.58/57.60 c 131 calls to solver: best=342099 lower=342100 upper=25347570 57.99/58.03 o 342259 58.38/58.47 o 343304 58.38/58.47 c 133 calls to solver: best=343304 lower=343305 upper=25347570 58.88/58.91 o 343718 59.28/59.34 o 345213 59.28/59.34 c 135 calls to solver: best=345213 lower=345214 upper=25347570 59.68/59.78 o 346021 60.18/60.21 o 346834 60.18/60.21 c 137 calls to solver: best=346834 lower=346835 upper=25347570 60.58/60.65 o 347179 60.99/61.08 o 347927 60.99/61.08 c 139 calls to solver: best=347927 lower=347928 upper=25347570 61.48/61.52 o 348615 61.88/61.95 o 351033 61.88/61.95 c 141 calls to solver: best=351033 lower=351034 upper=25347570 62.28/62.38 o 354560 62.78/62.82 o 355082 62.78/62.82 c 143 calls to solver: best=355082 lower=355083 upper=25347570 63.18/63.26 o 357488 63.58/63.69 o 358380 63.58/63.69 c 145 calls to solver: best=358380 lower=358381 upper=25347570 64.09/64.13 o 358772 64.48/64.57 o 359468 64.48/64.57 c 147 calls to solver: best=359468 lower=359469 upper=25347570 64.88/65.00 o 359657 65.38/65.44 o 361185 65.38/65.44 c 149 calls to solver: best=361185 lower=361186 upper=25347570 65.78/65.88 o 362114 66.28/66.31 o 362578 66.28/66.31 c 151 calls to solver: best=362578 lower=362579 upper=25347570 66.68/66.75 o 362697 67.09/67.19 o 366120 67.09/67.19 c 153 calls to solver: best=366120 lower=366121 upper=25347570 67.58/67.62 o 367408 67.99/68.06 o 367637 67.99/68.06 c 155 calls to solver: best=367637 lower=367638 upper=25347570 68.48/68.50 o 368688 68.88/68.93 o 370081 68.88/68.93 c 157 calls to solver: best=370081 lower=370082 upper=25347570 69.28/69.37 o 372298 69.78/69.81 o 374111 69.78/69.81 c 159 calls to solver: best=374111 lower=374112 upper=25347570 70.18/70.24 o 375862 70.58/70.68 o 378460 70.58/70.68 c 161 calls to solver: best=378460 lower=378461 upper=25347570 71.09/71.11 o 379819 71.48/71.55 o 379873 71.48/71.55 c 163 calls to solver: best=379873 lower=379874 upper=25347570 71.88/71.99 o 381885 72.38/72.42 o 383364 72.38/72.42 c 165 calls to solver: best=383364 lower=383365 upper=25347570 72.78/72.86 o 386221 73.28/73.30 o 388334 73.28/73.30 c 167 calls to solver: best=388334 lower=388335 upper=25347570 73.68/73.73 o 388677 74.09/74.17 o 388881 74.09/74.17 c 169 calls to solver: best=388881 lower=388882 upper=25347570 74.58/74.61 o 390048 74.99/75.04 o 391527 74.99/75.04 c 171 calls to solver: best=391527 lower=391528 upper=25347570 75.38/75.48 o 391859 75.88/75.91 o 393419 75.88/75.91 c 173 calls to solver: best=393419 lower=393420 upper=25347570 76.28/76.35 o 395194 76.68/76.79 o 397248 76.68/76.79 c 175 calls to solver: best=397248 lower=397249 upper=25347570 77.18/77.22 o 397336 77.58/77.66 o 399363 77.58/77.66 c 177 calls to solver: best=399363 lower=399364 upper=25347570 77.99/78.09 o 401006 78.48/78.53 o 401678 78.48/78.53 c 179 calls to solver: best=401678 lower=401679 upper=25347570 78.88/78.97 o 402999 79.38/79.40 o 404296 79.38/79.40 c 181 calls to solver: best=404296 lower=404297 upper=25347570 79.78/79.84 o 405217 80.18/80.28 o 405902 80.18/80.28 c 183 calls to solver: best=405902 lower=405903 upper=25347570 80.68/80.71 o 406607 81.09/81.15 o 406698 81.09/81.15 c 185 calls to solver: best=406698 lower=406699 upper=25347570 81.48/81.58 o 410131 81.99/82.02 o 411188 81.99/82.02 c 187 calls to solver: best=411188 lower=411189 upper=25347570 82.38/82.46 o 414739 83.28/83.32 o 417761 83.28/83.32 c 189 calls to solver: best=417761 lower=417762 upper=25347570 83.68/83.75 o 417800 84.09/84.19 o 419451 84.09/84.19 c 191 calls to solver: best=419451 lower=419452 upper=25347570 84.58/84.63 o 420843 84.99/85.06 o 421042 84.99/85.06 c 193 calls to solver: best=421042 lower=421043 upper=25347570 85.48/85.50 o 421162 85.88/85.94 o 425159 85.88/85.94 c 195 calls to solver: best=425159 lower=425160 upper=25347570 86.28/86.37 o 426081 86.78/86.81 o 427783 86.78/86.81 c 197 calls to solver: best=427783 lower=427784 upper=25347570 87.18/87.25 o 431311 87.58/87.68 o 433442 87.58/87.68 c 199 calls to solver: best=433442 lower=433443 upper=25347570 88.09/88.12 o 434493 88.48/88.56 o 434701 88.48/88.56 c 201 calls to solver: best=434701 lower=434702 upper=25347570 88.88/88.99 o 434855 89.38/89.43 o 436915 89.38/89.43 c 203 calls to solver: best=436915 lower=436916 upper=25347570 89.78/89.86 o 437426 90.28/90.30 o 441034 90.28/90.30 c 205 calls to solver: best=441034 lower=441035 upper=25347570 90.68/90.74 o 444793 91.09/91.18 o 447517 91.09/91.18 c 207 calls to solver: best=447517 lower=447518 upper=25347570 91.58/91.61 o 452636 91.99/92.05 o 453818 91.99/92.05 c 209 calls to solver: best=453818 lower=453819 upper=25347570 92.38/92.49 o 455880 92.88/92.92 o 456587 92.88/92.92 c 211 calls to solver: best=456587 lower=456588 upper=25347570 93.28/93.36 o 457161 93.68/93.80 o 459656 93.68/93.80 c 213 calls to solver: best=459656 lower=459657 upper=25347570 94.18/94.23 o 461849 94.58/94.67 o 463928 94.58/94.67 c 215 calls to solver: best=463928 lower=463929 upper=25347570 95.09/95.11 o 465968 95.48/95.55 o 466298 95.48/95.55 c 217 calls to solver: best=466298 lower=466299 upper=25347570 95.88/95.99 o 466938 96.38/96.43 o 467382 96.38/96.43 c 219 calls to solver: best=467382 lower=467383 upper=25347570 96.78/96.87 o 467638 97.28/97.31 o 467666 97.28/97.31 c 221 calls to solver: best=467666 lower=467667 upper=25347570 97.68/97.74 o 468106 98.09/98.18 o 468423 98.09/98.18 c 223 calls to solver: best=468423 lower=468424 upper=25347570 98.58/98.62 o 468479 98.99/99.05 o 469748 98.99/99.05 c 225 calls to solver: best=469748 lower=469749 upper=25347570 99.38/99.49 o 469844 99.88/99.93 o 470210 99.88/99.93 c 227 calls to solver: best=470210 lower=470211 upper=25347570 100.28/100.36 o 470906 100.78/100.80 o 471276 100.78/100.80 c 229 calls to solver: best=471276 lower=471277 upper=25347570 101.18/101.23 o 471598 101.58/101.67 o 473048 101.58/101.67 c 231 calls to solver: best=473048 lower=473049 upper=25347570 102.09/102.11 o 473522 102.48/102.54 o 473531 102.48/102.54 c 233 calls to solver: best=473531 lower=473532 upper=25347570 102.88/102.98 o 474631 103.38/103.42 o 475587 103.38/103.42 c 235 calls to solver: best=475587 lower=475588 upper=25347570 103.78/103.85 o 476248 104.18/104.29 o 477548 104.18/104.29 c 237 calls to solver: best=477548 lower=477549 upper=25347570 104.68/104.73 o 480223 105.09/105.16 o 482248 105.09/105.16 c 239 calls to solver: best=482248 lower=482249 upper=25347570 105.58/105.60 o 482392 105.99/106.04 o 482462 105.99/106.04 c 241 calls to solver: best=482462 lower=482463 upper=25347570 106.38/106.47 o 483442 106.88/106.91 o 485671 106.88/106.91 c 243 calls to solver: best=485671 lower=485672 upper=25347570 107.28/107.35 o 488028 107.68/107.78 o 489268 107.68/107.78 c 245 calls to solver: best=489268 lower=489269 upper=25347570 108.18/108.22 o 491329 108.58/108.65 o 495294 108.58/108.65 c 247 calls to solver: best=495294 lower=495295 upper=25347570 108.99/109.09 o 497583 109.48/109.53 o 497702 109.48/109.53 c 249 calls to solver: best=497702 lower=497703 upper=25347570 109.88/109.97 o 497740 110.38/110.41 o 497941 110.38/110.41 c 251 calls to solver: best=497941 lower=497942 upper=25347570 110.78/110.85 o 498367 111.68/111.78 o 498416 111.68/111.78 c 253 calls to solver: best=498416 lower=498417 upper=25347570 112.18/112.25 o 498679 112.58/112.69 o 498732 112.58/112.69 c 255 calls to solver: best=498732 lower=498733 upper=25347570 113.09/113.13 o 498953 113.48/113.56 o 499014 113.48/113.56 c 257 calls to solver: best=499014 lower=499015 upper=25347570 113.88/114.00 o 499364 114.38/114.44 o 499716 114.38/114.44 c 259 calls to solver: best=499716 lower=499717 upper=25347570 114.78/114.87 o 499954 115.28/115.31 o 500049 115.28/115.31 c 261 calls to solver: best=500049 lower=500050 upper=25347570 115.68/115.75 o 500858 116.09/116.18 o 501069 116.09/116.18 c 263 calls to solver: best=501069 lower=501070 upper=25347570 116.58/116.62 o 501987 116.99/117.06 o 502297 116.99/117.06 c 265 calls to solver: best=502297 lower=502298 upper=25347570 117.38/117.49 o 502665 117.88/117.93 o 503803 117.88/117.93 c 267 calls to solver: best=503803 lower=503804 upper=25347570 118.28/118.37 o 504776 118.78/118.80 o 505273 118.78/118.80 c 269 calls to solver: best=505273 lower=505274 upper=25347570 119.18/119.24 o 505332 119.58/119.68 o 505977 119.58/119.68 c 271 calls to solver: best=505977 lower=505978 upper=25347570 120.09/120.11 o 506456 120.48/120.55 o 506748 120.48/120.55 c 273 calls to solver: best=506748 lower=506749 upper=25347570 120.88/120.99 o 506966 121.38/121.42 o 507052 121.38/121.42 c 275 calls to solver: best=507052 lower=507053 upper=25347570 121.78/121.86 o 508400 122.28/122.30 o 508523 122.28/122.30 c 277 calls to solver: best=508523 lower=508524 upper=25347570 122.68/122.73 o 508741 123.09/123.17 o 508770 123.09/123.17 c 279 calls to solver: best=508770 lower=508771 upper=25347570 123.58/123.61 o 509618 123.99/124.05 o 510576 123.99/124.05 c 281 calls to solver: best=510576 lower=510577 upper=25347570 124.38/124.49 o 510831 124.88/124.93 o 511420 124.88/124.93 c 283 calls to solver: best=511420 lower=511421 upper=25347570 125.28/125.36 o 511957 125.78/125.80 o 512000 125.78/125.80 c 285 calls to solver: best=512000 lower=512001 upper=25347570 126.18/126.24 o 513181 126.58/126.67 o 513898 126.58/126.67 c 287 calls to solver: best=513898 lower=513899 upper=25347570 127.09/127.12 o 514384 127.48/127.56 o 514458 127.48/127.56 c 289 calls to solver: best=514458 lower=514459 upper=25347570 127.88/128.00 o 514776 128.38/128.44 o 514947 128.38/128.44 c 291 calls to solver: best=514947 lower=514948 upper=25347570 129.28/129.38 o 514959 129.78/129.82 o 515009 129.78/129.82 c 293 calls to solver: best=515009 lower=515010 upper=25347570 130.18/130.26 o 515085 130.58/130.69 o 515178 130.58/130.69 c 295 calls to solver: best=515178 lower=515179 upper=25347570 131.09/131.13 o 515216 131.48/131.57 o 515266 131.48/131.57 c 297 calls to solver: best=515266 lower=515267 upper=25347570 131.88/132.00 o 515560 132.38/132.44 o 515660 132.38/132.44 c 299 calls to solver: best=515660 lower=515661 upper=25347570 132.78/132.88 o 515869 133.28/133.31 o 515913 133.28/133.31 c 301 calls to solver: best=515913 lower=515914 upper=25347570 133.68/133.75 o 515930 134.09/134.19 o 516422 134.09/134.19 c 303 calls to solver: best=516422 lower=516423 upper=25347570 134.58/134.62 o 517047 134.99/135.06 o 517479 134.99/135.06 c 305 calls to solver: best=517479 lower=517480 upper=25347570 135.38/135.50 o 517914 135.88/135.93 o 518881 135.88/135.93 c 307 calls to solver: best=518881 lower=518882 upper=25347570 136.28/136.37 o 518978 136.78/136.80 o 519290 136.78/136.80 c 309 calls to solver: best=519290 lower=519291 upper=25347570 137.18/137.24 o 519316 137.58/137.68 o 519344 137.58/137.68 c 311 calls to solver: best=519344 lower=519345 upper=25347570 138.09/138.11 o 519789 138.48/138.55 o 520437 138.48/138.55 c 313 calls to solver: best=520437 lower=520438 upper=25347570 138.88/138.99 o 521388 139.38/139.42 o 521676 139.38/139.42 c 315 calls to solver: best=521676 lower=521677 upper=25347570 139.78/139.86 o 521879 140.28/140.30 o 522191 140.28/140.30 c 317 calls to solver: best=522191 lower=522192 upper=25347570 140.68/140.73 o 522877 141.09/141.17 o 523780 141.09/141.17 c 319 calls to solver: best=523780 lower=523781 upper=25347570 141.58/141.61 o 524345 141.99/142.04 o 525761 141.99/142.04 c 321 calls to solver: best=525761 lower=525762 upper=25347570 142.38/142.48 o 526245 142.88/142.92 o 528563 142.88/142.92 c 323 calls to solver: best=528563 lower=528564 upper=25347570 143.28/143.35 o 531058 143.68/143.79 o 532001 143.68/143.79 c 325 calls to solver: best=532001 lower=532002 upper=25347570 144.18/144.23 o 532623 144.58/144.67 o 533628 144.58/144.67 c 327 calls to solver: best=533628 lower=533629 upper=25347570 144.99/145.10 o 534069 145.48/145.54 o 534970 145.48/145.54 c 329 calls to solver: best=534970 lower=534971 upper=25347570 145.88/145.98 o 535016 146.38/146.41 o 535270 146.38/146.41 c 331 calls to solver: best=535270 lower=535271 upper=25347570 146.78/146.85 o 535411 147.18/147.29 o 536436 147.18/147.29 c 333 calls to solver: best=536436 lower=536437 upper=25347570 147.68/147.72 o 536444 148.09/148.16 o 536905 148.09/148.16 c 335 calls to solver: best=536905 lower=536906 upper=25347570 148.48/148.59 o 537901 148.99/149.03 o 538194 148.99/149.03 c 337 calls to solver: best=538194 lower=538195 upper=25347570 149.38/149.47 o 538214 149.88/149.90 o 538456 149.88/149.90 c 339 calls to solver: best=538456 lower=538457 upper=25347570 150.28/150.34 o 539037 150.68/150.78 o 539261 150.68/150.78 c 341 calls to solver: best=539261 lower=539262 upper=25347570 151.18/151.21 o 539879 151.58/151.65 o 540965 151.58/151.65 c 343 calls to solver: best=540965 lower=540966 upper=25347570 151.99/152.09 o 541225 152.48/152.52 o 542775 152.48/152.52 c 345 calls to solver: best=542775 lower=542776 upper=25347570 152.88/152.96 o 543262 153.38/153.40 o 545144 153.38/153.40 c 347 calls to solver: best=545144 lower=545145 upper=25347570 153.78/153.83 o 545221 154.18/154.27 o 545601 154.18/154.27 c 349 calls to solver: best=545601 lower=545602 upper=25347570 154.68/154.71 o 546467 155.09/155.15 o 546865 155.09/155.15 c 351 calls to solver: best=546865 lower=546866 upper=25347570 155.48/155.59 o 546942 155.99/156.02 o 547026 155.99/156.02 c 353 calls to solver: best=547026 lower=547027 upper=25347570 156.38/156.46 o 547205 156.78/156.89 o 547381 156.78/156.89 c 355 calls to solver: best=547381 lower=547382 upper=25347570 157.28/157.33 o 547629 157.68/157.77 o 547996 157.68/157.77 c 357 calls to solver: best=547996 lower=547997 upper=25347570 158.18/158.20 o 548668 158.58/158.64 o 549039 158.58/158.64 c 359 calls to solver: best=549039 lower=549040 upper=25347570 158.99/159.08 o 549260 159.48/159.51 o 549458 159.48/159.51 c 361 calls to solver: best=549458 lower=549459 upper=25347570 159.88/159.95 o 549829 160.28/160.39 o 550393 160.28/160.39 c 363 calls to solver: best=550393 lower=550394 upper=25347570 160.78/160.82 o 550691 161.18/161.26 o 551690 161.18/161.26 c 365 calls to solver: best=551690 lower=551691 upper=25347570 162.09/162.12 o 551966 162.48/162.56 o 552177 162.48/162.56 c 367 calls to solver: best=552177 lower=552178 upper=25347570 162.88/162.99 o 552343 163.38/163.43 o 552969 163.38/163.43 c 369 calls to solver: best=552969 lower=552970 upper=25347570 163.78/163.87 o 553382 164.28/164.30 o 553469 164.28/164.30 c 371 calls to solver: best=553469 lower=553470 upper=25347570 164.68/164.74 o 554063 165.09/165.17 o 554316 165.09/165.17 c 373 calls to solver: best=554316 lower=554317 upper=25347570 165.58/165.61 o 554352 165.99/166.05 o 554465 165.99/166.05 c 375 calls to solver: best=554465 lower=554466 upper=25347570 166.38/166.48 o 554580 166.88/166.92 o 554791 166.88/166.92 c 377 calls to solver: best=554791 lower=554792 upper=25347570 167.28/167.36 o 555748 167.68/167.79 o 556118 167.68/167.79 c 379 calls to solver: best=556118 lower=556119 upper=25347570 168.18/168.23 o 556187 168.58/168.67 o 556622 168.58/168.67 c 381 calls to solver: best=556622 lower=556623 upper=25347570 168.99/169.10 o 556905 169.48/169.54 o 557507 169.48/169.54 c 383 calls to solver: best=557507 lower=557508 upper=25347570 169.88/169.97 o 557917 170.38/170.41 o 558276 170.38/170.41 c 385 calls to solver: best=558276 lower=558277 upper=25347570 170.78/170.85 o 558788 171.18/171.28 o 559027 171.18/171.28 c 387 calls to solver: best=559027 lower=559028 upper=25347570 171.68/171.72 o 559353 172.09/172.16 o 559377 172.09/172.16 c 389 calls to solver: best=559377 lower=559378 upper=25347570 172.48/172.59 o 560074 172.98/173.03 o 560869 172.98/173.03 c 391 calls to solver: best=560869 lower=560870 upper=25347570 173.38/173.46 o 561231 173.88/173.90 o 561306 173.88/173.90 c 393 calls to solver: best=561306 lower=561307 upper=25347570 174.28/174.34 o 561311 174.68/174.78 o 561508 174.68/174.78 c 395 calls to solver: best=561508 lower=561509 upper=25347570 175.18/175.21 o 561832 175.58/175.65 o 562622 175.58/175.65 c 397 calls to solver: best=562622 lower=562623 upper=25347570 175.98/176.08 o 562754 176.48/176.52 o 562770 176.48/176.52 c 399 calls to solver: best=562770 lower=562771 upper=25347570 176.88/176.96 o 562954 177.28/177.39 o 563314 177.28/177.39 c 401 calls to solver: best=563314 lower=563315 upper=25347570 177.78/177.83 o 563462 178.18/178.27 o 563492 178.18/178.27 c 403 calls to solver: best=563492 lower=563493 upper=25347570 178.68/178.70 o 564485 179.09/179.14 o 565142 179.09/179.14 c 405 calls to solver: best=565142 lower=565143 upper=25347570 179.48/179.57 o 565197 179.98/180.01 o 566084 179.98/180.01 c 407 calls to solver: best=566084 lower=566085 upper=25347570 180.38/180.45 o 566766 180.78/180.88 o 566781 180.78/180.88 c 409 calls to solver: best=566781 lower=566782 upper=25347570 181.28/181.32 o 567027 181.68/181.76 o 567519 181.68/181.76 c 411 calls to solver: best=567519 lower=567520 upper=25347570 182.09/182.19 o 567565 182.58/182.63 o 567634 182.58/182.63 c 413 calls to solver: best=567634 lower=567635 upper=25347570 182.98/183.06 o 568013 183.48/183.50 o 568154 183.48/183.50 c 415 calls to solver: best=568154 lower=568155 upper=25347570 183.88/183.94 o 568273 184.28/184.38 o 568442 184.28/184.38 c 417 calls to solver: best=568442 lower=568443 upper=25347570 184.78/184.81 o 568899 185.18/185.25 o 569425 185.18/185.25 c 419 calls to solver: best=569425 lower=569426 upper=25347570 185.58/185.69 o 569599 186.09/186.12 o 569631 186.09/186.12 c 421 calls to solver: best=569631 lower=569632 upper=25347570 186.48/186.56 o 570335 186.88/186.99 o 570702 186.88/186.99 c 423 calls to solver: best=570702 lower=570703 upper=25347570 187.38/187.43 o 571881 187.78/187.86 o 572131 187.78/187.86 c 425 calls to solver: best=572131 lower=572132 upper=25347570 188.28/188.30 o 572328 188.68/188.74 o 573588 188.68/188.74 c 427 calls to solver: best=573588 lower=573589 upper=25347570 189.09/189.17 o 574508 189.58/189.61 o 575128 189.58/189.61 c 429 calls to solver: best=575128 lower=575129 upper=25347570 189.98/190.04 o 576143 190.38/190.48 o 576785 190.38/190.48 c 431 calls to solver: best=576785 lower=576786 upper=25347570 190.88/190.92 o 577370 191.28/191.35 o 578532 191.28/191.35 c 433 calls to solver: best=578532 lower=578533 upper=25347570 191.68/191.79 o 578595 192.18/192.23 o 578995 192.18/192.23 c 435 calls to solver: best=578995 lower=578996 upper=25347570 192.58/192.67 o 579068 192.98/193.10 o 579222 192.98/193.10 c 437 calls to solver: best=579222 lower=579223 upper=25347570 193.48/193.54 o 579304 193.88/193.98 o 579359 193.88/193.98 c 439 calls to solver: best=579359 lower=579360 upper=25347570 194.38/194.41 o 579402 194.78/194.85 o 579515 194.78/194.85 c 441 calls to solver: best=579515 lower=579516 upper=25347570 195.17/195.28 o 579764 195.67/195.72 o 580182 195.67/195.72 c 443 calls to solver: best=580182 lower=580183 upper=25347570 196.08/196.15 o 580246 196.48/196.59 o 580387 196.48/196.59 c 445 calls to solver: best=580387 lower=580388 upper=25347570 196.99/197.03 o 580562 197.38/197.46 o 580714 197.38/197.46 c 447 calls to solver: best=580714 lower=580715 upper=25347570 197.88/197.90 o 580789 198.28/198.33 o 580963 198.28/198.33 c 449 calls to solver: best=580963 lower=580964 upper=25347570 198.68/198.77 o 581104 199.18/199.20 o 581179 199.18/199.20 c 451 calls to solver: best=581179 lower=581180 upper=25347570 199.58/199.64 o 581249 199.99/200.07 o 581460 199.99/200.07 c 453 calls to solver: best=581460 lower=581461 upper=25347570 200.48/200.51 o 581540 200.88/200.94 o 581644 200.88/200.94 c 455 calls to solver: best=581644 lower=581645 upper=25347570 201.28/201.38 o 581724 201.78/201.82 o 581778 201.78/201.82 c 457 calls to solver: best=581778 lower=581779 upper=25347570 202.18/202.25 o 581797 202.58/202.69 o 581820 202.58/202.69 c 459 calls to solver: best=581820 lower=581821 upper=25347570 203.09/203.12 o 581957 203.48/203.56 o 582010 203.48/203.56 c 461 calls to solver: best=582010 lower=582011 upper=25347570 203.88/204.00 o 582090 204.38/204.43 o 582238 204.38/204.43 c 463 calls to solver: best=582238 lower=582239 upper=25347570 204.78/204.87 o 582417 205.28/205.30 o 582470 205.28/205.30 c 465 calls to solver: best=582470 lower=582471 upper=25347570 205.68/205.74 o 582487 206.09/206.17 o 582533 206.09/206.17 c 467 calls to solver: best=582533 lower=582534 upper=25347570 206.58/206.61 o 582538 206.99/207.04 o 582685 206.99/207.04 c 469 calls to solver: best=582685 lower=582686 upper=25347570 207.38/207.48 o 582760 207.88/207.91 o 582787 207.88/207.91 c 471 calls to solver: best=582787 lower=582788 upper=25347570 208.28/208.35 o 582850 208.68/208.79 o 582863 208.68/208.79 c 473 calls to solver: best=582863 lower=582864 upper=25347570 209.18/209.22 o 583037 209.58/209.66 o 583067 209.58/209.66 c 475 calls to solver: best=583067 lower=583068 upper=25347570 209.99/210.10 o 583099 210.48/210.53 o 583265 210.48/210.53 c 477 calls to solver: best=583265 lower=583266 upper=25347570 210.88/210.97 o 583374 211.38/211.42 o 583408 211.38/211.42 c 479 calls to solver: best=583408 lower=583409 upper=25347570 211.78/211.86 o 583429 212.18/212.29 o 583478 212.18/212.29 c 481 calls to solver: best=583478 lower=583479 upper=25347570 212.68/212.73 o 583558 213.09/213.16 o 583584 213.09/213.16 c 483 calls to solver: best=583584 lower=583585 upper=25347570 213.58/213.60 o 583636 213.99/214.04 o 583749 213.99/214.04 c 485 calls to solver: best=583749 lower=583750 upper=25347570 214.38/214.47 o 583790 214.88/214.91 o 583866 214.88/214.91 c 487 calls to solver: best=583866 lower=583867 upper=25347570 215.28/215.34 o 583871 215.68/215.78 o 583933 215.68/215.78 c 489 calls to solver: best=583933 lower=583934 upper=25347570 216.18/216.21 o 583982 216.58/216.65 o 583985 216.58/216.65 c 491 calls to solver: best=583985 lower=583986 upper=25347570 216.99/217.08 o 583988 217.48/217.52 o 584117 217.48/217.52 c 493 calls to solver: best=584117 lower=584118 upper=25347570 217.88/217.95 o 584189 218.28/218.39 o 584310 218.28/218.39 c 495 calls to solver: best=584310 lower=584311 upper=25347570 218.78/218.83 o 584450 219.18/219.26 o 584474 219.18/219.26 c 497 calls to solver: best=584474 lower=584475 upper=25347570 219.68/219.70 o 584728 220.09/220.13 o 584780 220.09/220.13 c 499 calls to solver: best=584780 lower=584781 upper=25347570 220.48/220.57 o 584922 220.88/221.00 o 584971 220.88/221.00 c 501 calls to solver: best=584971 lower=584972 upper=25347570 221.38/221.44 o 585036 221.78/221.88 o 585060 221.78/221.88 c 503 calls to solver: best=585060 lower=585061 upper=25347570 222.28/222.31 o 585086 222.68/222.75 o 585118 222.68/222.75 c 505 calls to solver: best=585118 lower=585119 upper=25347570 223.09/223.18 o 585161 223.58/223.62 o 585241 223.58/223.62 c 507 calls to solver: best=585241 lower=585242 upper=25347570 223.99/224.05 o 585270 224.38/224.49 o 585292 224.38/224.49 c 509 calls to solver: best=585292 lower=585293 upper=25347570 224.88/224.93 o 585393 225.28/225.36 o 585467 225.28/225.36 c 511 calls to solver: best=585467 lower=585468 upper=25347570 225.78/225.80 o 585651 226.18/226.23 o 585764 226.18/226.23 c 513 calls to solver: best=585764 lower=585765 upper=25347570 226.58/226.67 o 585879 227.09/227.11 o 585946 227.09/227.11 c 515 calls to solver: best=585946 lower=585947 upper=25347570 227.48/227.54 o 586074 227.88/227.98 o 586195 227.88/227.98 c 517 calls to solver: best=586195 lower=586196 upper=25347570 228.38/228.41 o 586406 228.78/228.85 o 586416 228.78/228.85 c 519 calls to solver: best=586416 lower=586417 upper=25347570 229.18/229.28 o 586490 229.68/229.72 o 586547 229.68/229.72 c 521 calls to solver: best=586547 lower=586548 upper=25347570 230.09/230.15 o 586648 230.48/230.59 o 586676 230.48/230.59 c 523 calls to solver: best=586676 lower=586677 upper=25347570 230.99/231.03 o 586710 231.38/231.46 o 586766 231.38/231.46 c 525 calls to solver: best=586766 lower=586767 upper=25347570 231.88/231.90 o 586853 232.28/232.34 o 587044 232.28/232.34 c 527 calls to solver: best=587044 lower=587045 upper=25347570 232.68/232.77 o 587197 233.18/233.21 o 587243 233.18/233.21 c 529 calls to solver: best=587243 lower=587244 upper=25347570 233.58/233.64 o 587295 233.99/234.08 o 587416 233.99/234.08 c 531 calls to solver: best=587416 lower=587417 upper=25347570 234.48/234.51 o 587432 234.88/234.95 o 587616 234.88/234.95 c 533 calls to solver: best=587616 lower=587617 upper=25347570 235.28/235.38 o 587838 235.78/235.82 o 587960 235.78/235.82 c 535 calls to solver: best=587960 lower=587961 upper=25347570 236.18/236.25 o 588069 236.58/236.69 o 588108 236.58/236.69 c 537 calls to solver: best=588108 lower=588109 upper=25347570 237.09/237.13 o 588161 237.48/237.56 o 588178 237.48/237.56 c 539 calls to solver: best=588178 lower=588179 upper=25347570 237.88/238.00 o 588187 238.38/238.43 o 588468 238.38/238.43 c 541 calls to solver: best=588468 lower=588469 upper=25347570 238.78/238.87 o 588717 239.28/239.30 o 588863 239.28/239.30 c 543 calls to solver: best=588863 lower=588864 upper=25347570 239.68/239.74 o 588943 240.09/240.17 o 589053 240.09/240.17 c 545 calls to solver: best=589053 lower=589054 upper=25347570 240.58/240.61 o 589142 240.99/241.04 o 589255 240.99/241.04 c 547 calls to solver: best=589255 lower=589256 upper=25347570 241.38/241.48 o 589478 241.88/241.92 o 589736 241.88/241.92 c 549 calls to solver: best=589736 lower=589737 upper=25347570 242.28/242.35 o 589967 242.68/242.79 o 590071 242.68/242.79 c 551 calls to solver: best=590071 lower=590072 upper=25347570 243.18/243.22 o 590161 243.58/243.66 o 590211 243.58/243.66 c 553 calls to solver: best=590211 lower=590212 upper=25347570 243.99/244.10 o 590271 244.48/244.54 o 590272 244.48/244.54 c 555 calls to solver: best=590272 lower=590273 upper=25347570 244.88/244.98 o 590317 245.38/245.41 o 590375 245.38/245.41 c 557 calls to solver: best=590375 lower=590376 upper=25347570 245.78/245.85 o 590604 246.18/246.28 o 590638 246.18/246.28 c 559 calls to solver: best=590638 lower=590639 upper=25347570 246.68/246.72 o 590797 247.09/247.15 o 590981 247.09/247.15 c 561 calls to solver: best=590981 lower=590982 upper=25347570 247.48/247.59 o 591411 247.99/248.02 o 591434 247.99/248.02 c 563 calls to solver: best=591434 lower=591435 upper=25347570 248.38/248.46 o 591511 248.78/248.89 o 591670 248.78/248.89 c 565 calls to solver: best=591670 lower=591671 upper=25347570 249.28/249.33 o 591705 249.68/249.76 o 591778 249.68/249.76 c 567 calls to solver: best=591778 lower=591779 upper=25347570 250.18/250.20 o 591903 250.58/250.63 o 592186 250.58/250.63 c 569 calls to solver: best=592186 lower=592187 upper=25347570 250.99/251.07 o 592191 251.48/251.50 o 592416 251.48/251.50 c 571 calls to solver: best=592416 lower=592417 upper=25347570 251.88/251.94 o 592439 251.99/252.00 251.99/252.00 c *** INTERRUPTED *** 251.99/252.00 c restarts : 4 251.99/252.00 c conflicts : 575 (2 /sec) 251.99/252.00 c decisions : 1153747 (4579 /sec) 251.99/252.00 c propagations : 1222674 (4852 /sec) 251.99/252.00 c root propagations : 2000 251.99/252.00 c filter calls : 7009665 (27819 /sec) 251.99/252.00 c useless filter calls : 7001108 (99 %) 251.99/252.00 c Memory used : 50.91 MB 251.99/252.00 c CPU time : 251.976 s 251.99/252.00 251.99/252.00 c nb Solutions = 572 251.99/252.00 s SATISFIABLE 251.99/252.00 c Best value found: 592439 251.99/252.00 251.99/252.00 251.99/252.00 v <instantiation type='solution' cost='592439'> 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 0 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 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 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 0 0 0 0 0 0 0 1 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 1 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 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 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 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 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 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 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 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 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 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 1 0 0 0 0 1 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 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 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 1 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 1 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 1 0 0 0 0 0 0 1 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 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 1 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 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> 251.99/252.01 v </instantiation> 251.99/252.01
OK 592439
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 (13419 MiB free) memory of node 1: 16384 MiB (14319 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301437-1532881247/watcher-4301437-1532881247 -o /tmp/evaluation-result-4301437-1532881247/solver-4301437-1532881247 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532878455-19305 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4301437-1532881247.xml running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=20935, runsolver pid=20932 [startup+0.10014 s]* /proc/loadavg: 2.01 2.03 2.00 3/190 20936 /proc/meminfo: memFree=28397804/32770624 swapFree=67108744/67108860 [pid=20935] ppid=20932 vsize=33152 memory=9436 CPUtime=0.1 cores=1,3,5,7 /proc/20935/stat : 20935 (cosoco) R 20932 20935 19273 0 -1 4202496 2575 0 0 0 10 0 0 0 20 0 1 0 105687873 33947648 2359 33554432000 4194304 6142532 140721554488672 140721554485320 5748479 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 20705280 140721554494603 140721554494733 140721554494733 140721554497486 0 /proc/20935/statm: 8288 2359 823 476 0 1610 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 33152 KiB Current children cumulated memory: 9436 KiB [startup+0.209625 s]* /proc/loadavg: 2.01 2.03 2.00 3/190 20936 /proc/meminfo: memFree=28397804/32770624 swapFree=67108744/67108860 [pid=20935] ppid=20932 vsize=33812 memory=10224 CPUtime=0.21 cores=1,3,5,7 /proc/20935/stat : 20935 (cosoco) R 20932 20935 19273 0 -1 4202496 2760 0 0 0 21 0 0 0 20 0 1 0 105687873 34623488 2556 33554432000 4194304 6142532 140721554488672 140721554485320 5215644 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 20705280 140721554494603 140721554494733 140721554494733 140721554497486 0 /proc/20935/statm: 8453 2556 866 476 0 1775 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 33812 KiB Current children cumulated memory: 10224 KiB [startup+0.309208 s]* /proc/loadavg: 2.01 2.03 2.00 3/190 20936 /proc/meminfo: memFree=28395232/32770624 swapFree=67108744/67108860 [pid=20935] ppid=20932 vsize=36460 memory=12864 CPUtime=0.31 cores=1,3,5,7 /proc/20935/stat : 20935 (cosoco) R 20932 20935 19273 0 -1 4202496 3421 0 0 0 31 0 0 0 20 0 1 0 105687873 37335040 3216 33554432000 4194304 6142532 140721554488672 140721554485320 5168903 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 20705280 140721554494603 140721554494733 140721554494733 140721554497486 0 /proc/20935/statm: 9115 3216 866 476 0 2437 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 36460 KiB Current children cumulated memory: 12864 KiB [startup+0.700244 s] /proc/loadavg: 2.01 2.03 2.00 3/190 20936 /proc/meminfo: memFree=28389652/32770624 swapFree=67108744/67108860 [pid=20935] ppid=20932 vsize=43000 memory=19464 CPUtime=0.68 cores=1,3,5,7 /proc/20935/stat : 20935 (cosoco) R 20932 20935 19273 0 -1 4202496 5056 0 0 0 68 0 0 0 20 0 1 0 105687873 44032000 4866 33554432000 4194304 6142532 140721554488672 140721554485320 5137628 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 20705280 140721554494603 140721554494733 140721554494733 140721554497486 0 /proc/20935/statm: 10750 4866 867 476 0 4072 0 Current children cumulated CPU time: 0.68 s Current children cumulated vsize: 43000 KiB Current children cumulated memory: 19464 KiB [startup+1.50024 s] /proc/loadavg: 2.01 2.03 2.00 3/190 20936 /proc/meminfo: memFree=28383516/32770624 swapFree=67108744/67108860 [pid=20935] ppid=20932 vsize=48404 memory=25008 CPUtime=1.49 cores=1,3,5,7 /proc/20935/stat : 20935 (cosoco) R 20932 20935 19273 0 -1 4202496 6439 0 0 0 148 1 0 0 20 0 1 0 105687873 49565696 6252 33554432000 4194304 6142532 140721554488672 140721554475944 5137685 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 20705280 140721554494603 140721554494733 140721554494733 140721554497486 0 /proc/20935/statm: 12101 6252 867 476 0 5423 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 48404 KiB Current children cumulated memory: 25008 KiB [startup+3.10921 s] /proc/loadavg: 1.93 2.02 1.99 3/190 20936 /proc/meminfo: memFree=28382156/32770624 swapFree=67108744/67108860 [pid=20935] ppid=20932 vsize=48404 memory=25132 CPUtime=3.1 cores=1,3,5,7 /proc/20935/stat : 20935 (cosoco) R 20932 20935 19273 0 -1 4202496 9979 0 0 0 309 1 0 0 20 0 1 0 105687873 49565696 6283 33554432000 4194304 6142532 140721554488672 140721554486200 5138688 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 20705280 140721554494603 140721554494733 140721554494733 140721554497486 0 /proc/20935/statm: 12101 6283 867 476 0 5423 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 48404 KiB Current children cumulated memory: 25132 KiB [startup+6.30022 s] /proc/loadavg: 1.93 2.02 1.99 3/190 20936 /proc/meminfo: memFree=28382280/32770624 swapFree=67108744/67108860 [pid=20935] ppid=20932 vsize=48404 memory=25132 CPUtime=6.29 cores=1,3,5,7 /proc/20935/stat : 20935 (cosoco) R 20932 20935 19273 0 -1 4202496 13447 0 0 0 628 1 0 0 20 0 1 0 105687873 49565696 6283 33554432000 4194304 6142532 140721554488672 140721554475944 5215601 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 20705280 140721554494603 140721554494733 140721554494733 140721554497486 0 /proc/20935/statm: 12101 6283 867 476 0 5423 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 48404 KiB Current children cumulated memory: 25132 KiB [startup+12.7002 s] /proc/loadavg: 1.93 2.02 1.99 3/191 20937 /proc/meminfo: memFree=28381148/32770624 swapFree=67108744/67108860 [pid=20935] ppid=20932 vsize=48404 memory=25132 CPUtime=12.69 cores=1,3,5,7 /proc/20935/stat : 20935 (cosoco) R 20932 20935 19273 0 -1 4202496 16926 0 0 0 1268 1 0 0 20 0 1 0 105687873 49565696 6283 33554432000 4194304 6142532 140721554488672 140721554486200 5215632 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 20705280 140721554494603 140721554494733 140721554494733 140721554497486 0 /proc/20935/statm: 12101 6283 867 476 0 5423 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 48404 KiB Current children cumulated memory: 25132 KiB [startup+25.5003 s] /proc/loadavg: 1.95 2.01 1.99 3/191 21059 /proc/meminfo: memFree=28386728/32770624 swapFree=67108744/67108860 [pid=20935] ppid=20932 vsize=48404 memory=25132 CPUtime=25.48 cores=1,3,5,7 /proc/20935/stat : 20935 (cosoco) R 20932 20935 19273 0 -1 4202496 21122 0 0 0 2547 1 0 0 20 0 1 0 105687873 49565696 6283 33554432000 4194304 6142532 140721554488672 140721554475944 5215632 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 20705280 140721554494603 140721554494733 140721554494733 140721554497486 0 /proc/20935/statm: 12101 6283 867 476 0 5423 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 48404 KiB Current children cumulated memory: 25132 KiB [startup+51.1092 s] /proc/loadavg: 2.04 2.03 2.00 4/191 21059 /proc/meminfo: memFree=28382304/32770624 swapFree=67108744/67108860 [pid=20935] ppid=20932 vsize=49348 memory=25948 CPUtime=51.09 cores=1,3,5,7 /proc/20935/stat : 20935 (cosoco) R 20932 20935 19273 0 -1 4202496 21553 0 0 0 5108 1 0 0 20 0 1 0 105687873 50532352 6487 33554432000 4194304 6142532 140721554488672 140721554486200 5215632 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 20705280 140721554494603 140721554494733 140721554494733 140721554497486 0 /proc/20935/statm: 12337 6487 867 476 0 5659 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 49348 KiB Current children cumulated memory: 25948 KiB [startup+102.3 s] /proc/loadavg: 2.26 2.08 2.01 4/192 21061 /proc/meminfo: memFree=28381172/32770624 swapFree=67108744/67108860 [pid=20935] ppid=20932 vsize=50524 memory=27200 CPUtime=102.28 cores=1,3,5,7 /proc/20935/stat : 20935 (cosoco) R 20932 20935 19273 0 -1 4202496 22160 0 0 0 10227 1 0 0 20 0 1 0 105687873 51736576 6800 33554432000 4194304 6142532 140721554488672 140721554486200 5347469 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 20705280 140721554494603 140721554494733 140721554494733 140721554497486 0 /proc/20935/statm: 12631 6800 867 476 0 5953 0 Current children cumulated CPU time: 102.28 s Current children cumulated vsize: 50524 KiB Current children cumulated memory: 27200 KiB [startup+162.3 s] /proc/loadavg: 2.09 2.06 2.01 3/192 21062 /proc/meminfo: memFree=28380076/32770624 swapFree=67108744/67108860 [pid=20935] ppid=20932 vsize=51872 memory=28460 CPUtime=162.28 cores=1,3,5,7 /proc/20935/stat : 20935 (cosoco) R 20932 20935 19273 0 -1 4202496 22765 0 0 0 16227 1 0 0 20 0 1 0 105687873 53116928 7115 33554432000 4194304 6142532 140721554488672 140721554475944 5215649 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 20705280 140721554494603 140721554494733 140721554494733 140721554497486 0 /proc/20935/statm: 12968 7115 867 476 0 6290 0 Current children cumulated CPU time: 162.28 s Current children cumulated vsize: 51872 KiB Current children cumulated memory: 28460 KiB [startup+222.3 s] /proc/loadavg: 2.04 2.05 2.01 3/193 21064 /proc/meminfo: memFree=28379628/32770624 swapFree=67108744/67108860 [pid=20935] ppid=20932 vsize=52000 memory=28608 CPUtime=222.28 cores=1,3,5,7 /proc/20935/stat : 20935 (cosoco) R 20932 20935 19273 0 -1 4202496 23101 0 0 0 22226 2 0 0 20 0 1 0 105687873 53248000 7152 33554432000 4194304 6142532 140721554488672 140721554475944 5138416 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 20705280 140721554494603 140721554494733 140721554494733 140721554497486 0 /proc/20935/statm: 13000 7152 867 476 0 6322 0 Current children cumulated CPU time: 222.28 s Current children cumulated vsize: 52000 KiB Current children cumulated memory: 28608 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252 s]* /proc/loadavg: 2.02 2.05 2.01 3/193 21064 /proc/meminfo: memFree=28380020/32770624 swapFree=67108744/67108860 [pid=20935] ppid=20932 vsize=52124 memory=28732 CPUtime=251.99 cores=1,3,5,7 /proc/20935/stat : 20935 (cosoco) R 20932 20935 19273 0 -1 4202496 23183 0 0 0 25197 2 0 0 20 0 1 0 105687873 53374976 7183 33554432000 4194304 6142532 140721554488672 140721554475944 5137685 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 20705280 140721554494603 140721554494733 140721554494733 140721554497486 0 /proc/20935/statm: 13031 7183 867 476 0 6353 0 Current children cumulated CPU time: 251.99 s Current children cumulated vsize: 52124 KiB Current children cumulated memory: 28732 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.01 s] # the end of solver process 20935 was just reported to runsolver # cumulated CPU time of all completed processes: user=251.976 s, system=0.021999 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.976 CPU system time (s): 0.021999 CPU usage (%): 99.9951 Max. virtual memory (cumulated for all children) (KiB): 52124 Max. memory (cumulated for all children) (KiB): 28732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 251.976 system time used= 0.021999 maximum resident set size= 28828 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 23219 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= 22 involuntary context switches= 145 # summary of solver processes directly reported to runsolver: # pid: 20935 # total CPU time (s): 251.998 # total CPU user time (s): 251.976 # total CPU system time (s): 0.021999 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.89523 second user time and 1.74678 second system time The end
Begin job on node134 at 2018-07-29 18:20:47 IDJOB=4301437 IDBENCH=141153 IDSOLVER=2774 FILE ID=node134/4301437-1532881247 RUNJOBID= node134-1532878455-19305 PBS_JOBID= 21022511 Free space on /tmp= 60956 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay500_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4301437-1532881247/watcher-4301437-1532881247 -o /tmp/evaluation-result-4301437-1532881247/solver-4301437-1532881247 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532878455-19305 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4301437-1532881247.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d1d7e4f351cab0858660dafd89ccc193 RANDOM SEED=1527307011 node134.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 28404124 kB MemAvailable: 31945720 kB Buffers: 202292 kB Cached: 3610616 kB SwapCached: 0 kB Active: 1633576 kB Inactive: 2258032 kB Active(anon): 28264 kB Inactive(anon): 78480 kB Active(file): 1605312 kB Inactive(file): 2179552 kB Unevictable: 7364 kB Mlocked: 7364 kB SwapTotal: 67108860 kB SwapFree: 67108744 kB Dirty: 2792 kB Writeback: 0 kB AnonPages: 106464 kB Mapped: 46072 kB Shmem: 25132 kB Slab: 173456 kB SReclaimable: 145132 kB SUnreclaim: 28324 kB KernelStack: 3408 kB PageTables: 5220 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 375228 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 47104 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:24:59