Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 1.12 | SAT (TO) | 423605 | 251.945 | 252.011 |
Name | Auction/Auction-sum/ Auction-sum-decay300_c18.xml |
MD5SUM | 125d0999a88baf20181d93552da446ae |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1964667 |
Best CPU time to get the best result obtained on this benchmark | 252.102 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2000 |
Number of constraints | 300 |
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 | 32 |
Distribution of variable degrees | [{"degree":2,"count":246},{"degree":3,"count":424},{"degree":4,"count":324},{"degree":5,"count":234},{"degree":6,"count":177},{"degree":7,"count":133},{"degree":8,"count":113},{"degree":9,"count":81},{"degree":10,"count":53},{"degree":11,"count":33},{"degree":12,"count":38},{"degree":13,"count":40},{"degree":14,"count":26},{"degree":15,"count":16},{"degree":16,"count":16},{"degree":17,"count":11},{"degree":18,"count":9},{"degree":19,"count":2},{"degree":20,"count":5},{"degree":21,"count":1},{"degree":22,"count":3},{"degree":23,"count":1},{"degree":24,"count":4},{"degree":25,"count":2},{"degree":26,"count":3},{"degree":27,"count":2},{"degree":28,"count":1},{"degree":29,"count":1},{"degree":32,"count":1}] |
Minimum constraint arity | 17 |
Maximum constraint arity | 46 |
Distribution of constraint arities | [{"arity":17,"count":1},{"arity":19,"count":3},{"arity":20,"count":2},{"arity":21,"count":2},{"arity":22,"count":4},{"arity":23,"count":5},{"arity":24,"count":9},{"arity":25,"count":14},{"arity":26,"count":7},{"arity":27,"count":15},{"arity":28,"count":18},{"arity":29,"count":21},{"arity":30,"count":20},{"arity":31,"count":26},{"arity":32,"count":22},{"arity":33,"count":26},{"arity":34,"count":14},{"arity":35,"count":17},{"arity":36,"count":11},{"arity":37,"count":14},{"arity":38,"count":15},{"arity":39,"count":10},{"arity":40,"count":5},{"arity":41,"count":6},{"arity":42,"count":4},{"arity":43,"count":5},{"arity":45,"count":2},{"arity":46,"count":2}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":300}] |
Optimization problem | YES |
Type of objective | max SUM |
0.10/0.13 c best=?? lower=0 upper=26355910 0.30/0.41 c 0.30/0.41 c This is cosoco 1.12 -- 0.30/0.41 c 0.30/0.41 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4301440-1532881247.xml 0.30/0.41 c enable optimization 0.30/0.41 c ========================================[ Problem Statistics ]=========================================== 0.30/0.41 c | 0.30/0.41 c | Parse time : 0.13 s 0.30/0.41 c | 0.30/0.41 c | Variables: 2000 0.30/0.41 c | Domain Sizes: 2..2 0.30/0.41 c | 0.30/0.41 c | Constraints: 301 0.30/0.41 c | Arity: 17..2000 0.30/0.41 c | 0.30/0.41 c | Types: 0.30/0.41 c | Sum: 301 0.30/0.41 c | 0.30/0.41 c | Objective: Maximize Sum 0.30/0.41 0.30/0.41 c ========================================================================================================= 0.30/0.41 o 0 0.30/0.41 c 1 calls to solver: best=0 lower=1 upper=26355910 0.78/0.88 o 8147 1.28/1.34 o 32658 1.28/1.34 c 3 calls to solver: best=32658 lower=32659 upper=26355910 1.78/1.80 o 35769 2.18/2.27 o 50111 2.18/2.27 c 5 calls to solver: best=50111 lower=50112 upper=26355910 2.68/2.73 o 58650 3.09/3.19 o 60490 3.09/3.19 c 7 calls to solver: best=60490 lower=60491 upper=26355910 3.58/3.65 o 60720 4.10/4.11 o 61647 4.10/4.11 c 9 calls to solver: best=61647 lower=61648 upper=26355910 4.49/4.57 o 73707 4.99/5.03 o 80097 4.99/5.03 c 11 calls to solver: best=80097 lower=80098 upper=26355910 5.39/5.49 o 80166 5.89/5.95 o 84864 5.89/5.95 c 13 calls to solver: best=84864 lower=84865 upper=26355910 6.39/6.41 o 97853 6.79/6.88 o 98415 6.79/6.88 c 15 calls to solver: best=98415 lower=98416 upper=26355910 7.29/7.34 o 104317 7.78/7.80 o 105148 7.78/7.80 c 17 calls to solver: best=105148 lower=105149 upper=26355910 8.18/8.26 o 108977 8.68/8.72 o 109895 8.68/8.72 c 19 calls to solver: best=109895 lower=109896 upper=26355910 9.09/9.18 o 121630 9.58/9.65 o 122228 9.58/9.65 c 21 calls to solver: best=122228 lower=122229 upper=26355910 10.09/10.13 o 122643 10.48/10.59 o 123134 10.48/10.59 c 23 calls to solver: best=123134 lower=123135 upper=26355910 10.99/11.05 o 131396 11.48/11.52 o 131883 11.48/11.52 c 25 calls to solver: best=131883 lower=131884 upper=26355910 11.88/11.98 o 131973 12.38/12.45 o 135020 12.38/12.45 c 27 calls to solver: best=135020 lower=135021 upper=26355910 12.88/12.91 o 139006 13.28/13.38 o 146008 13.28/13.38 c 29 calls to solver: best=146008 lower=146009 upper=26355910 13.78/13.84 o 146405 14.28/14.31 o 147672 14.28/14.31 c 31 calls to solver: best=147672 lower=147673 upper=26355910 14.68/14.77 o 151658 15.18/15.23 o 152286 15.18/15.23 c 33 calls to solver: best=152286 lower=152287 upper=26355910 15.68/15.70 o 152496 16.09/16.16 o 154317 16.09/16.16 c 35 calls to solver: best=154317 lower=154318 upper=26355910 16.58/16.62 o 156155 16.99/17.09 o 159704 16.99/17.09 c 37 calls to solver: best=159704 lower=159705 upper=26355910 17.48/17.55 o 161525 17.99/18.02 o 166629 17.99/18.02 c 39 calls to solver: best=166629 lower=166630 upper=26355910 18.38/18.48 o 166774 18.88/18.95 o 168467 18.88/18.95 c 41 calls to solver: best=168467 lower=168468 upper=26355910 19.38/19.41 o 175531 19.78/19.87 o 175947 19.78/19.87 c 43 calls to solver: best=175947 lower=175948 upper=26355910 20.28/20.34 o 179246 20.78/20.80 o 179534 20.78/20.80 c 45 calls to solver: best=179534 lower=179535 upper=26355910 21.18/21.26 o 182516 21.68/21.73 o 190231 21.68/21.73 c 47 calls to solver: best=190231 lower=190232 upper=26355910 22.08/22.19 o 190794 22.57/22.66 o 192519 22.57/22.66 c 49 calls to solver: best=192519 lower=192520 upper=26355910 23.08/23.12 o 193386 23.47/23.58 o 194075 23.47/23.58 c 51 calls to solver: best=194075 lower=194076 upper=26355910 23.98/24.05 o 195653 24.47/24.51 o 199658 24.47/24.51 c 53 calls to solver: best=199658 lower=199659 upper=26355910 24.87/24.97 o 204213 25.37/25.44 o 204314 25.37/25.44 c 55 calls to solver: best=204314 lower=204315 upper=26355910 25.87/25.90 o 204372 26.27/26.37 o 207992 26.27/26.37 c 57 calls to solver: best=207992 lower=207993 upper=26355910 26.77/26.83 o 209781 27.27/27.30 o 210833 27.27/27.30 c 59 calls to solver: best=210833 lower=210834 upper=26355910 27.67/27.76 o 211709 28.17/28.23 o 211941 28.17/28.23 c 61 calls to solver: best=211941 lower=211942 upper=26355910 28.57/28.69 o 212711 29.08/29.16 o 214315 29.08/29.16 c 63 calls to solver: best=214315 lower=214316 upper=26355910 29.57/29.62 o 215680 29.98/30.08 o 215863 29.98/30.08 c 65 calls to solver: best=215863 lower=215864 upper=26355910 30.47/30.55 o 216107 30.98/31.01 o 220405 30.98/31.01 c 67 calls to solver: best=220405 lower=220406 upper=26355910 31.37/31.48 o 222363 31.87/31.94 o 223708 31.87/31.94 c 69 calls to solver: best=223708 lower=223709 upper=26355910 32.37/32.41 o 224860 32.77/32.87 o 225214 32.77/32.87 c 71 calls to solver: best=225214 lower=225215 upper=26355910 33.27/33.34 o 229659 33.77/33.80 o 230425 33.77/33.80 c 73 calls to solver: best=230425 lower=230426 upper=26355910 34.17/34.26 o 234181 34.67/34.73 o 235578 34.67/34.73 c 75 calls to solver: best=235578 lower=235579 upper=26355910 35.08/35.19 o 237243 35.57/35.66 o 238471 35.57/35.66 c 77 calls to solver: best=238471 lower=238472 upper=26355910 36.08/36.12 o 238574 36.47/36.59 o 238849 36.47/36.59 c 79 calls to solver: best=238849 lower=238850 upper=26355910 36.98/37.05 o 244673 37.47/37.52 o 246003 37.47/37.52 c 81 calls to solver: best=246003 lower=246004 upper=26355910 37.87/37.98 o 247680 38.37/38.45 o 249462 38.37/38.45 c 83 calls to solver: best=249462 lower=249463 upper=26355910 38.87/38.92 o 252251 39.27/39.38 o 252796 39.27/39.38 c 85 calls to solver: best=252796 lower=252797 upper=26355910 39.77/39.85 o 253409 40.27/40.31 o 255817 40.27/40.31 c 87 calls to solver: best=255817 lower=255818 upper=26355910 40.67/40.77 o 258440 41.17/41.24 o 259625 41.17/41.24 c 89 calls to solver: best=259625 lower=259626 upper=26355910 41.67/41.70 o 260560 42.08/42.17 o 260575 42.08/42.17 c 91 calls to solver: best=260575 lower=260576 upper=26355910 42.57/42.63 o 261503 42.97/43.10 o 264024 42.97/43.10 c 93 calls to solver: best=264024 lower=264025 upper=26355910 43.47/43.56 o 264860 43.97/44.03 o 265050 43.97/44.03 c 95 calls to solver: best=265050 lower=265051 upper=26355910 44.37/44.49 o 265120 44.87/44.95 o 265235 44.87/44.95 c 97 calls to solver: best=265235 lower=265236 upper=26355910 45.37/45.42 o 267433 45.77/45.88 o 269235 45.77/45.88 c 99 calls to solver: best=269235 lower=269236 upper=26355910 46.27/46.34 o 269894 46.77/46.81 o 270847 46.77/46.81 c 101 calls to solver: best=270847 lower=270848 upper=26355910 47.17/47.27 o 273598 47.67/47.73 o 273765 47.67/47.73 c 103 calls to solver: best=273765 lower=273766 upper=26355910 48.17/48.20 o 275539 48.57/48.67 o 276274 48.57/48.67 c 105 calls to solver: best=276274 lower=276275 upper=26355910 49.07/49.13 o 276796 49.57/49.60 o 277886 49.57/49.60 c 107 calls to solver: best=277886 lower=277887 upper=26355910 49.97/50.06 o 279944 50.47/50.53 o 280636 50.47/50.53 c 109 calls to solver: best=280636 lower=280637 upper=26355910 50.86/50.99 o 280841 51.36/51.46 o 283915 51.36/51.46 c 111 calls to solver: best=283915 lower=283916 upper=26355910 51.86/51.92 o 285753 52.26/52.39 o 286359 52.26/52.39 c 113 calls to solver: best=286359 lower=286360 upper=26355910 52.76/52.85 o 286953 53.26/53.32 o 288624 53.26/53.32 c 115 calls to solver: best=288624 lower=288625 upper=26355910 54.16/54.25 o 289448 54.66/54.73 o 289612 54.66/54.73 c 117 calls to solver: best=289612 lower=289613 upper=26355910 55.16/55.24 o 289833 55.66/55.72 o 290450 55.66/55.72 c 119 calls to solver: best=290450 lower=290451 upper=26355910 56.17/56.20 o 290573 57.08/57.12 o 290776 57.08/57.12 c 121 calls to solver: best=290776 lower=290777 upper=26355910 57.47/57.59 o 290873 57.98/58.06 o 290876 57.98/58.06 c 123 calls to solver: best=290876 lower=290877 upper=26355910 58.47/58.52 o 291002 58.87/58.99 o 291273 58.87/58.99 c 125 calls to solver: best=291273 lower=291274 upper=26355910 59.37/59.46 o 291449 59.87/59.94 o 291778 59.87/59.94 c 127 calls to solver: best=291778 lower=291779 upper=26355910 60.37/60.42 o 292049 60.77/60.89 o 292628 60.77/60.89 c 129 calls to solver: best=292628 lower=292629 upper=26355910 61.27/61.37 o 292791 61.77/61.84 o 292961 61.77/61.84 c 131 calls to solver: best=292961 lower=292962 upper=26355910 62.27/62.30 o 293561 62.67/62.77 o 294046 62.67/62.77 c 133 calls to solver: best=294046 lower=294047 upper=26355910 63.17/63.24 o 294233 63.67/63.70 o 294300 63.67/63.70 c 135 calls to solver: best=294300 lower=294301 upper=26355910 64.08/64.17 o 294378 64.57/64.63 o 295744 64.57/64.63 c 137 calls to solver: best=295744 lower=295745 upper=26355910 64.98/65.10 o 297476 65.47/65.56 o 298022 65.47/65.56 c 139 calls to solver: best=298022 lower=298023 upper=26355910 65.98/66.03 o 298549 66.37/66.49 o 298992 66.37/66.49 c 141 calls to solver: best=298992 lower=298993 upper=26355910 66.87/66.96 o 299213 67.37/67.42 o 299322 67.37/67.42 c 143 calls to solver: best=299322 lower=299323 upper=26355910 67.77/67.89 o 299692 68.27/68.36 o 299859 68.27/68.36 c 145 calls to solver: best=299859 lower=299860 upper=26355910 68.77/68.82 o 299929 69.17/69.29 o 300315 69.17/69.29 c 147 calls to solver: best=300315 lower=300316 upper=26355910 69.67/69.75 o 300471 70.17/70.22 o 300857 70.17/70.22 c 149 calls to solver: best=300857 lower=300858 upper=26355910 70.57/70.69 o 301707 71.08/71.15 o 302804 71.08/71.15 c 151 calls to solver: best=302804 lower=302805 upper=26355910 71.57/71.62 o 302951 71.98/72.08 o 303201 71.98/72.08 c 153 calls to solver: best=303201 lower=303202 upper=26355910 72.47/72.55 o 304414 72.98/73.01 o 304757 72.98/73.01 c 155 calls to solver: best=304757 lower=304758 upper=26355910 73.37/73.48 o 305504 73.87/73.94 o 306019 73.87/73.94 c 157 calls to solver: best=306019 lower=306020 upper=26355910 74.37/74.41 o 308290 74.77/74.87 o 308299 74.77/74.87 c 159 calls to solver: best=308299 lower=308300 upper=26355910 75.27/75.34 o 308490 75.77/75.81 o 308769 75.77/75.81 c 161 calls to solver: best=308769 lower=308770 upper=26355910 76.17/76.29 o 309009 76.67/76.75 o 309466 76.67/76.75 c 163 calls to solver: best=309466 lower=309467 upper=26355910 77.17/77.22 o 309829 77.57/77.69 o 310208 77.57/77.69 c 165 calls to solver: best=310208 lower=310209 upper=26355910 78.08/78.15 o 310342 78.57/78.62 o 310672 78.57/78.62 c 167 calls to solver: best=310672 lower=310673 upper=26355910 78.97/79.08 o 310676 79.47/79.54 o 310994 79.47/79.54 c 169 calls to solver: best=310994 lower=310995 upper=26355910 79.97/80.01 o 311303 80.37/80.47 o 311927 80.37/80.47 c 171 calls to solver: best=311927 lower=311928 upper=26355910 80.87/80.94 o 312230 81.36/81.40 o 312790 81.36/81.40 c 173 calls to solver: best=312790 lower=312791 upper=26355910 81.76/81.87 o 313106 82.26/82.33 o 313388 82.26/82.33 c 175 calls to solver: best=313388 lower=313389 upper=26355910 82.66/82.79 o 314139 83.16/83.26 o 314532 83.16/83.26 c 177 calls to solver: best=314532 lower=314533 upper=26355910 83.66/83.72 o 315173 84.07/84.19 o 315318 84.07/84.19 c 179 calls to solver: best=315318 lower=315319 upper=26355910 84.56/84.65 o 316859 85.07/85.12 o 316896 85.07/85.12 c 181 calls to solver: best=316896 lower=316897 upper=26355910 85.46/85.58 o 317645 85.97/86.05 o 317684 85.97/86.05 c 183 calls to solver: best=317684 lower=317685 upper=26355910 86.46/86.51 o 318365 86.86/86.97 o 319573 86.86/86.97 c 185 calls to solver: best=319573 lower=319574 upper=26355910 87.76/87.89 o 320351 88.26/88.35 o 320545 88.26/88.35 c 187 calls to solver: best=320545 lower=320546 upper=26355910 88.76/88.82 o 322284 89.16/89.28 o 324401 89.16/89.28 c 189 calls to solver: best=324401 lower=324402 upper=26355910 89.66/89.75 o 324594 90.16/90.22 o 324757 90.16/90.22 c 191 calls to solver: best=324757 lower=324758 upper=26355910 90.56/90.69 o 325042 91.07/91.15 o 325086 91.07/91.15 c 193 calls to solver: best=325086 lower=325087 upper=26355910 91.56/91.62 o 325094 91.97/92.08 o 325408 91.97/92.08 c 195 calls to solver: best=325408 lower=325409 upper=26355910 92.46/92.54 o 325411 92.97/93.01 o 325575 92.97/93.01 c 197 calls to solver: best=325575 lower=325576 upper=26355910 93.36/93.47 o 325596 93.86/93.94 o 325661 93.86/93.94 c 199 calls to solver: best=325661 lower=325662 upper=26355910 94.36/94.40 o 325664 94.76/94.86 o 325959 94.76/94.86 c 201 calls to solver: best=325959 lower=325960 upper=26355910 95.26/95.33 o 325980 95.66/95.79 o 326307 95.66/95.79 c 203 calls to solver: best=326307 lower=326308 upper=26355910 96.16/96.25 o 326537 96.66/96.72 o 327091 96.66/96.72 c 205 calls to solver: best=327091 lower=327092 upper=26355910 97.07/97.18 o 327136 97.56/97.65 o 327243 97.56/97.65 c 207 calls to solver: best=327243 lower=327244 upper=26355910 98.07/98.11 o 327253 98.46/98.57 o 327424 98.46/98.57 c 209 calls to solver: best=327424 lower=327425 upper=26355910 98.97/99.04 o 327498 99.46/99.50 o 327706 99.46/99.50 c 211 calls to solver: best=327706 lower=327707 upper=26355910 99.86/99.97 o 328015 100.36/100.43 o 328253 100.36/100.43 c 213 calls to solver: best=328253 lower=328254 upper=26355910 100.76/100.89 o 328411 101.26/101.36 o 328720 101.26/101.36 c 215 calls to solver: best=328720 lower=328721 upper=26355910 101.76/101.82 o 328724 102.16/102.28 o 328907 102.16/102.28 c 217 calls to solver: best=328907 lower=328908 upper=26355910 102.66/102.75 o 329171 103.16/103.21 o 329358 103.16/103.21 c 219 calls to solver: best=329358 lower=329359 upper=26355910 103.56/103.68 o 329365 104.07/104.14 o 329369 104.07/104.14 c 221 calls to solver: best=329369 lower=329370 upper=26355910 104.56/104.60 o 329402 104.97/105.07 o 329496 104.97/105.07 c 223 calls to solver: best=329496 lower=329497 upper=26355910 105.46/105.53 o 329497 105.86/106.00 o 329498 105.86/106.00 c 225 calls to solver: best=329498 lower=329499 upper=26355910 106.36/106.46 o 329511 106.86/106.93 o 329840 106.86/106.93 c 227 calls to solver: best=329840 lower=329841 upper=26355910 107.26/107.39 o 330078 107.76/107.85 o 330203 107.76/107.85 c 229 calls to solver: best=330203 lower=330204 upper=26355910 108.26/108.32 o 330314 108.66/108.78 o 330574 108.66/108.78 c 231 calls to solver: best=330574 lower=330575 upper=26355910 109.16/109.25 o 330612 109.66/109.71 o 330750 109.66/109.71 c 233 calls to solver: best=330750 lower=330751 upper=26355910 110.07/110.18 o 330975 110.56/110.64 o 331263 110.56/110.64 c 235 calls to solver: best=331263 lower=331264 upper=26355910 110.96/111.10 o 331547 111.46/111.57 o 331605 111.46/111.57 c 237 calls to solver: best=331605 lower=331606 upper=26355910 111.96/112.03 o 331615 112.36/112.49 o 331924 112.36/112.49 c 239 calls to solver: best=331924 lower=331925 upper=26355910 112.86/112.96 o 331928 113.36/113.42 o 332083 113.36/113.42 c 241 calls to solver: best=332083 lower=332084 upper=26355910 113.76/113.89 o 332119 114.26/114.35 o 332291 114.26/114.35 c 243 calls to solver: best=332291 lower=332292 upper=26355910 114.76/114.81 o 332452 115.16/115.28 o 332456 115.16/115.28 c 245 calls to solver: best=332456 lower=332457 upper=26355910 115.66/115.74 o 332704 116.16/116.21 o 332975 116.16/116.21 c 247 calls to solver: best=332975 lower=332976 upper=26355910 116.56/116.67 o 333090 117.06/117.13 o 333276 117.06/117.13 c 249 calls to solver: best=333276 lower=333277 upper=26355910 117.56/117.60 o 333280 117.96/118.06 o 333287 117.96/118.06 c 251 calls to solver: best=333287 lower=333288 upper=26355910 118.46/118.53 o 333360 118.86/118.99 o 333429 118.86/118.99 c 253 calls to solver: best=333429 lower=333430 upper=26355910 119.36/119.45 o 333571 119.86/119.92 o 333581 119.86/119.92 c 255 calls to solver: best=333581 lower=333582 upper=26355910 120.26/120.38 o 333603 120.76/120.84 o 333711 120.76/120.84 c 257 calls to solver: best=333711 lower=333712 upper=26355910 121.25/121.31 o 333712 121.65/121.77 o 334017 121.65/121.77 c 259 calls to solver: best=334017 lower=334018 upper=26355910 122.15/122.23 o 334021 122.65/122.70 o 334155 122.65/122.70 c 261 calls to solver: best=334155 lower=334156 upper=26355910 123.06/123.16 o 334368 123.55/123.63 o 334472 123.55/123.63 c 263 calls to solver: best=334472 lower=334473 upper=26355910 123.96/124.09 o 334680 124.45/124.55 o 334939 124.45/124.55 c 265 calls to solver: best=334939 lower=334940 upper=26355910 124.96/125.02 o 335147 125.35/125.48 o 335466 125.35/125.48 c 267 calls to solver: best=335466 lower=335467 upper=26355910 125.85/125.95 o 335538 126.35/126.41 o 335713 126.35/126.41 c 269 calls to solver: best=335713 lower=335714 upper=26355910 126.75/126.88 o 335825 127.25/127.34 o 335987 127.25/127.34 c 271 calls to solver: best=335987 lower=335988 upper=26355910 127.75/127.80 o 336055 128.15/128.27 o 336124 128.15/128.27 c 273 calls to solver: best=336124 lower=336125 upper=26355910 128.65/128.73 o 336492 129.06/129.19 o 336692 129.06/129.19 c 275 calls to solver: best=336692 lower=336693 upper=26355910 129.55/129.66 o 336811 130.06/130.13 o 337048 130.06/130.13 c 277 calls to solver: best=337048 lower=337049 upper=26355910 130.45/130.59 o 337062 130.96/131.05 o 337381 130.96/131.05 c 279 calls to solver: best=337381 lower=337382 upper=26355910 131.45/131.52 o 337565 131.85/131.98 o 337570 131.85/131.98 c 281 calls to solver: best=337570 lower=337571 upper=26355910 132.35/132.44 o 337818 132.85/132.91 o 337846 132.85/132.91 c 283 calls to solver: best=337846 lower=337847 upper=26355910 133.25/133.37 o 338133 133.75/133.83 o 338363 133.75/133.83 c 285 calls to solver: best=338363 lower=338364 upper=26355910 134.25/134.30 o 338567 134.65/134.76 o 338715 134.65/134.76 c 287 calls to solver: best=338715 lower=338716 upper=26355910 135.15/135.22 o 338887 135.55/135.69 o 338984 135.55/135.69 c 289 calls to solver: best=338984 lower=338985 upper=26355910 136.06/136.15 o 339399 136.55/136.61 o 339635 136.55/136.61 c 291 calls to solver: best=339635 lower=339636 upper=26355910 136.96/137.08 o 339667 137.45/137.54 o 339747 137.45/137.54 c 293 calls to solver: best=339747 lower=339748 upper=26355910 137.96/138.01 o 340205 138.35/138.47 o 340502 138.35/138.47 c 295 calls to solver: best=340502 lower=340503 upper=26355910 138.85/138.93 o 340701 139.35/139.40 o 341168 139.35/139.40 c 297 calls to solver: best=341168 lower=341169 upper=26355910 139.75/139.86 o 341340 140.25/140.32 o 341479 140.25/140.32 c 299 calls to solver: best=341479 lower=341480 upper=26355910 140.65/140.79 o 341643 141.15/141.25 o 342147 141.15/141.25 c 301 calls to solver: best=342147 lower=342148 upper=26355910 141.65/141.72 o 342230 142.06/142.18 o 342231 142.06/142.18 c 303 calls to solver: best=342231 lower=342232 upper=26355910 142.55/142.64 o 342335 143.06/143.11 o 342388 143.06/143.11 c 305 calls to solver: best=342388 lower=342389 upper=26355910 143.45/143.57 o 342855 143.96/144.04 o 342865 143.96/144.04 c 307 calls to solver: best=342865 lower=342866 upper=26355910 144.45/144.50 o 342951 144.85/144.96 o 343106 144.85/144.96 c 309 calls to solver: best=343106 lower=343107 upper=26355910 145.35/145.43 o 343194 145.75/145.89 o 343661 145.75/145.89 c 311 calls to solver: best=343661 lower=343662 upper=26355910 146.25/146.35 o 343896 146.75/146.82 o 343960 146.75/146.82 c 313 calls to solver: best=343960 lower=343961 upper=26355910 147.15/147.28 o 344229 147.65/147.75 o 344481 147.65/147.75 c 315 calls to solver: best=344481 lower=344482 upper=26355910 148.15/148.21 o 345036 148.55/148.67 o 345118 148.55/148.67 c 317 calls to solver: best=345118 lower=345119 upper=26355910 149.06/149.14 o 345178 149.55/149.60 o 345705 149.55/149.60 c 319 calls to solver: best=345705 lower=345706 upper=26355910 149.95/150.07 o 345830 150.45/150.53 o 345897 150.45/150.53 c 321 calls to solver: best=345897 lower=345898 upper=26355910 150.85/150.99 o 345910 151.35/151.46 o 346206 151.35/151.46 c 323 calls to solver: best=346206 lower=346207 upper=26355910 151.85/151.92 o 346430 152.25/152.38 o 346476 152.25/152.38 c 325 calls to solver: best=346476 lower=346477 upper=26355910 152.75/152.85 o 346731 153.25/153.31 o 347037 153.25/153.31 c 327 calls to solver: best=347037 lower=347038 upper=26355910 153.65/153.78 o 347117 154.15/154.24 o 347156 154.15/154.24 c 329 calls to solver: best=347156 lower=347157 upper=26355910 154.65/154.70 o 347459 155.05/155.17 o 347541 155.05/155.17 c 331 calls to solver: best=347541 lower=347542 upper=26355910 155.55/155.63 o 347645 155.95/156.09 o 347649 155.95/156.09 c 333 calls to solver: best=347649 lower=347650 upper=26355910 156.45/156.56 o 348172 156.95/157.02 o 348252 156.95/157.02 c 335 calls to solver: best=348252 lower=348253 upper=26355910 157.35/157.49 o 348710 157.85/157.95 o 349237 157.85/157.95 c 337 calls to solver: best=349237 lower=349238 upper=26355910 158.35/158.42 o 349241 158.75/158.88 o 349404 158.75/158.88 c 339 calls to solver: best=349404 lower=349405 upper=26355910 159.25/159.34 o 349631 159.74/159.81 o 349895 159.74/159.81 c 341 calls to solver: best=349895 lower=349896 upper=26355910 160.14/160.27 o 350359 160.64/160.73 o 350783 160.64/160.73 c 343 calls to solver: best=350783 lower=350784 upper=26355910 161.14/161.20 o 351408 161.54/161.66 o 351729 161.54/161.66 c 345 calls to solver: best=351729 lower=351730 upper=26355910 162.05/162.12 o 351909 162.44/162.59 o 352235 162.44/162.59 c 347 calls to solver: best=352235 lower=352236 upper=26355910 162.95/163.05 o 352371 163.44/163.52 o 352438 163.44/163.52 c 349 calls to solver: best=352438 lower=352439 upper=26355910 163.84/163.98 o 353135 164.34/164.44 o 353271 164.34/164.44 c 351 calls to solver: best=353271 lower=353272 upper=26355910 164.84/164.91 o 353341 165.24/165.37 o 353852 165.24/165.37 c 353 calls to solver: best=353852 lower=353853 upper=26355910 165.74/165.83 o 354379 166.24/166.30 o 354648 166.24/166.30 c 355 calls to solver: best=354648 lower=354649 upper=26355910 166.64/166.76 o 354681 167.14/167.22 o 355331 167.14/167.22 c 357 calls to solver: best=355331 lower=355332 upper=26355910 167.54/167.69 o 355557 168.05/168.15 o 355670 168.05/168.15 c 359 calls to solver: best=355670 lower=355671 upper=26355910 168.54/168.61 o 355674 168.95/169.08 o 355687 168.95/169.08 c 361 calls to solver: best=355687 lower=355688 upper=26355910 169.44/169.54 o 356031 169.84/170.00 o 356558 169.84/170.00 c 363 calls to solver: best=356558 lower=356559 upper=26355910 170.34/170.47 o 356894 170.84/170.93 o 356911 170.84/170.93 c 365 calls to solver: best=356911 lower=356912 upper=26355910 171.24/171.39 o 356992 171.74/171.86 o 357160 171.74/171.86 c 367 calls to solver: best=357160 lower=357161 upper=26355910 172.24/172.32 o 357474 172.64/172.78 o 357726 172.64/172.78 c 369 calls to solver: best=357726 lower=357727 upper=26355910 173.14/173.25 o 358048 173.64/173.71 o 358155 173.64/173.71 c 371 calls to solver: best=358155 lower=358156 upper=26355910 174.05/174.17 o 358183 174.54/174.64 o 358529 174.54/174.64 c 373 calls to solver: best=358529 lower=358530 upper=26355910 174.95/175.10 o 359108 175.44/175.56 o 359222 175.44/175.56 c 375 calls to solver: best=359222 lower=359223 upper=26355910 175.95/176.03 o 359345 176.34/176.49 o 359348 176.34/176.49 c 377 calls to solver: best=359348 lower=359349 upper=26355910 176.84/176.95 o 359731 177.34/177.42 o 360507 177.34/177.42 c 379 calls to solver: best=360507 lower=360508 upper=26355910 177.74/177.88 o 360656 178.24/178.35 o 360684 178.24/178.35 c 381 calls to solver: best=360684 lower=360685 upper=26355910 178.74/178.81 o 361159 179.14/179.27 o 362236 179.14/179.27 c 383 calls to solver: best=362236 lower=362237 upper=26355910 179.64/179.74 o 362867 180.14/180.20 o 362905 180.14/180.20 c 385 calls to solver: best=362905 lower=362906 upper=26355910 180.54/180.66 o 363244 181.05/181.13 o 363274 181.05/181.13 c 387 calls to solver: best=363274 lower=363275 upper=26355910 181.44/181.59 o 363451 181.94/182.06 o 363978 181.94/182.06 c 389 calls to solver: best=363978 lower=363979 upper=26355910 182.44/182.52 o 364082 182.84/182.98 o 364609 182.84/182.98 c 391 calls to solver: best=364609 lower=364610 upper=26355910 183.34/183.45 o 364929 183.84/183.91 o 365237 183.84/183.91 c 393 calls to solver: best=365237 lower=365238 upper=26355910 184.24/184.37 o 365274 184.74/184.84 o 365905 184.74/184.84 c 395 calls to solver: best=365905 lower=365906 upper=26355910 185.24/185.30 o 366809 185.63/185.76 o 366846 185.63/185.76 c 397 calls to solver: best=366846 lower=366847 upper=26355910 186.14/186.23 o 367038 186.54/186.69 o 367279 186.54/186.69 c 399 calls to solver: best=367279 lower=367280 upper=26355910 187.04/187.15 o 367799 187.53/187.62 o 368180 187.53/187.62 c 401 calls to solver: best=368180 lower=368181 upper=26355910 187.94/188.08 o 369401 188.43/188.54 o 369455 188.43/188.54 c 403 calls to solver: best=369455 lower=369456 upper=26355910 188.94/189.01 o 370022 189.33/189.47 o 370197 189.33/189.47 c 405 calls to solver: best=370197 lower=370198 upper=26355910 189.83/189.93 o 370228 190.33/190.40 o 370613 190.33/190.40 c 407 calls to solver: best=370613 lower=370614 upper=26355910 190.73/190.86 o 370724 191.23/191.33 o 370733 191.23/191.33 c 409 calls to solver: best=370733 lower=370734 upper=26355910 191.63/191.79 o 370787 192.13/192.25 o 371460 192.13/192.25 c 411 calls to solver: best=371460 lower=371461 upper=26355910 192.63/192.72 o 371785 193.04/193.18 o 372187 193.04/193.18 c 413 calls to solver: best=372187 lower=372188 upper=26355910 193.53/193.64 o 373001 194.04/194.11 o 373406 194.04/194.11 c 415 calls to solver: best=373406 lower=373407 upper=26355910 194.43/194.57 o 374027 194.94/195.03 o 374388 194.94/195.03 c 417 calls to solver: best=374388 lower=374389 upper=26355910 195.33/195.49 o 374517 195.83/195.96 o 375148 195.83/195.96 c 419 calls to solver: best=375148 lower=375149 upper=26355910 196.34/196.42 o 375744 196.74/196.88 o 376344 196.74/196.88 c 421 calls to solver: best=376344 lower=376345 upper=26355910 197.24/197.35 o 376359 197.74/197.81 o 376485 197.74/197.81 c 423 calls to solver: best=376485 lower=376486 upper=26355910 198.14/198.27 o 377356 198.64/198.74 o 377542 198.64/198.74 c 425 calls to solver: best=377542 lower=377543 upper=26355910 199.14/199.20 o 377603 199.54/199.67 o 378165 199.54/199.67 c 427 calls to solver: best=378165 lower=378166 upper=26355910 200.05/200.13 o 378396 200.44/200.59 o 379027 200.44/200.59 c 429 calls to solver: best=379027 lower=379028 upper=26355910 200.95/201.06 o 379411 201.44/201.52 o 379887 201.44/201.52 c 431 calls to solver: best=379887 lower=379888 upper=26355910 201.84/201.98 o 380353 202.34/202.44 o 380706 202.34/202.44 c 433 calls to solver: best=380706 lower=380707 upper=26355910 202.84/202.91 o 380817 203.24/203.37 o 381250 203.24/203.37 c 435 calls to solver: best=381250 lower=381251 upper=26355910 203.74/203.83 o 381315 204.24/204.30 o 381539 204.24/204.30 c 437 calls to solver: best=381539 lower=381540 upper=26355910 204.64/204.76 o 381958 205.14/205.22 o 382030 205.14/205.22 c 439 calls to solver: best=382030 lower=382031 upper=26355910 205.54/205.69 o 382379 206.05/206.15 o 382510 206.05/206.15 c 441 calls to solver: best=382510 lower=382511 upper=26355910 206.54/206.61 o 382710 206.95/207.08 o 383179 206.95/207.08 c 443 calls to solver: best=383179 lower=383180 upper=26355910 207.44/207.54 o 383341 207.84/208.00 o 383657 207.84/208.00 c 445 calls to solver: best=383657 lower=383658 upper=26355910 208.34/208.47 o 384000 208.84/208.93 o 384025 208.84/208.93 c 447 calls to solver: best=384025 lower=384026 upper=26355910 209.24/209.39 o 384133 209.74/209.86 o 384484 209.74/209.86 c 449 calls to solver: best=384484 lower=384485 upper=26355910 210.24/210.32 o 384942 210.64/210.78 o 385062 210.64/210.78 c 451 calls to solver: best=385062 lower=385063 upper=26355910 211.14/211.25 o 385118 211.64/211.71 o 385566 211.64/211.71 c 453 calls to solver: best=385566 lower=385567 upper=26355910 212.05/212.17 o 385786 212.54/212.64 o 386720 212.54/212.64 c 455 calls to solver: best=386720 lower=386721 upper=26355910 212.94/213.10 o 387788 213.44/213.56 o 387890 213.44/213.56 c 457 calls to solver: best=387890 lower=387891 upper=26355910 213.94/214.03 o 388853 214.34/214.49 o 389287 214.34/214.49 c 459 calls to solver: best=389287 lower=389288 upper=26355910 214.84/214.95 o 389611 215.34/215.42 o 389769 215.34/215.42 c 461 calls to solver: best=389769 lower=389770 upper=26355910 215.74/215.88 o 389855 216.24/216.34 o 390101 216.24/216.34 c 463 calls to solver: best=390101 lower=390102 upper=26355910 216.74/216.80 o 390570 217.13/217.27 o 390949 217.13/217.27 c 465 calls to solver: best=390949 lower=390950 upper=26355910 217.63/217.73 o 391077 218.04/218.19 o 391121 218.04/218.19 c 467 calls to solver: best=391121 lower=391122 upper=26355910 218.53/218.66 o 391340 219.04/219.12 o 391405 219.04/219.12 c 469 calls to solver: best=391405 lower=391406 upper=26355910 219.43/219.58 o 391498 219.94/220.05 o 392389 219.94/220.05 c 471 calls to solver: best=392389 lower=392390 upper=26355910 220.43/220.51 o 393362 220.83/220.97 o 394120 220.83/220.97 c 473 calls to solver: best=394120 lower=394121 upper=26355910 221.33/221.44 o 395115 221.83/221.90 o 395372 221.83/221.90 c 475 calls to solver: best=395372 lower=395373 upper=26355910 222.23/222.36 o 395594 222.73/222.83 o 395944 222.73/222.83 c 477 calls to solver: best=395944 lower=395945 upper=26355910 223.13/223.29 o 396979 223.63/223.75 o 397323 223.63/223.75 c 479 calls to solver: best=397323 lower=397324 upper=26355910 224.13/224.22 o 397858 224.53/224.68 o 397914 224.53/224.68 c 481 calls to solver: best=397914 lower=397915 upper=26355910 225.04/225.14 o 398600 225.53/225.61 o 399150 225.53/225.61 c 483 calls to solver: best=399150 lower=399151 upper=26355910 225.94/226.07 o 399656 226.43/226.53 o 400297 226.43/226.53 c 485 calls to solver: best=400297 lower=400298 upper=26355910 226.83/227.00 o 401042 227.33/227.46 o 401234 227.33/227.46 c 487 calls to solver: best=401234 lower=401235 upper=26355910 227.83/227.92 o 401311 228.23/228.39 o 401925 228.23/228.39 c 489 calls to solver: best=401925 lower=401926 upper=26355910 228.73/228.85 o 402569 229.23/229.31 o 402767 229.23/229.31 c 491 calls to solver: best=402767 lower=402768 upper=26355910 229.63/229.77 o 403519 230.13/230.24 o 404119 230.13/230.24 c 493 calls to solver: best=404119 lower=404120 upper=26355910 230.63/230.70 o 404774 231.04/231.16 o 405998 231.04/231.16 c 495 calls to solver: best=405998 lower=405999 upper=26355910 231.53/231.63 o 406306 231.94/232.09 o 406947 231.94/232.09 c 497 calls to solver: best=406947 lower=406948 upper=26355910 232.43/232.55 o 408038 232.94/233.02 o 408432 232.94/233.02 c 499 calls to solver: best=408432 lower=408433 upper=26355910 233.33/233.48 o 409211 233.83/233.94 o 409480 233.83/233.94 c 501 calls to solver: best=409480 lower=409481 upper=26355910 234.33/234.40 o 410058 234.73/234.87 o 410458 234.73/234.87 c 503 calls to solver: best=410458 lower=410459 upper=26355910 235.23/235.33 o 410495 235.63/235.79 o 410746 235.63/235.79 c 505 calls to solver: best=410746 lower=410747 upper=26355910 236.13/236.26 o 410820 236.63/236.72 o 411167 236.63/236.72 c 507 calls to solver: best=411167 lower=411168 upper=26355910 237.04/237.18 o 411286 237.53/237.65 o 411997 237.53/237.65 c 509 calls to solver: best=411997 lower=411998 upper=26355910 238.04/238.11 o 412541 238.43/238.57 o 412668 238.43/238.57 c 511 calls to solver: best=412668 lower=412669 upper=26355910 238.94/239.04 o 412783 239.43/239.50 o 413235 239.43/239.50 c 513 calls to solver: best=413235 lower=413236 upper=26355910 239.83/239.96 o 413916 240.33/240.42 o 414100 240.33/240.42 c 515 calls to solver: best=414100 lower=414101 upper=26355910 240.73/240.89 o 414165 241.23/241.35 o 414175 241.23/241.35 c 517 calls to solver: best=414175 lower=414176 upper=26355910 241.73/241.81 o 414382 242.13/242.28 o 414861 242.13/242.28 c 519 calls to solver: best=414861 lower=414862 upper=26355910 242.63/242.74 o 415083 243.13/243.20 o 416186 243.13/243.20 c 521 calls to solver: best=416186 lower=416187 upper=26355910 243.53/243.67 o 417422 244.04/244.13 o 418547 244.04/244.13 c 523 calls to solver: best=418547 lower=418548 upper=26355910 244.43/244.59 o 418710 244.94/245.06 o 418803 244.94/245.06 c 525 calls to solver: best=418803 lower=418804 upper=26355910 245.43/245.52 o 419535 245.83/245.98 o 419925 245.83/245.98 c 527 calls to solver: best=419925 lower=419926 upper=26355910 246.33/246.44 o 419934 246.83/246.91 o 420390 246.83/246.91 c 529 calls to solver: best=420390 lower=420391 upper=26355910 247.23/247.37 o 420666 247.73/247.83 o 420786 247.73/247.83 c 531 calls to solver: best=420786 lower=420787 upper=26355910 248.23/248.30 o 421161 248.63/248.76 o 421444 248.63/248.76 c 533 calls to solver: best=421444 lower=421445 upper=26355910 249.13/249.23 o 421664 249.53/249.69 o 421915 249.53/249.69 c 535 calls to solver: best=421915 lower=421916 upper=26355910 250.04/250.15 o 422908 250.53/250.62 o 422952 250.53/250.62 c 537 calls to solver: best=422952 lower=422953 upper=26355910 250.93/251.08 o 423021 251.43/251.54 o 423327 251.43/251.54 c 539 calls to solver: best=423327 lower=423328 upper=26355910 251.83/252.00 o 423605 251.93/252.00 251.93/252.00 c *** INTERRUPTED *** 251.93/252.00 c restarts : 3 251.93/252.00 c conflicts : 450 (2 /sec) 251.93/252.00 c decisions : 1087001 (4315 /sec) 251.93/252.00 c propagations : 1132346 (4495 /sec) 251.93/252.00 c root propagations : 2000 251.93/252.00 c filter calls : 6482613 (25734 /sec) 251.93/252.00 c useless filter calls : 6474738 (99 %) 251.93/252.00 c Memory used : 49.75 MB 251.93/252.00 c CPU time : 251.911 s 251.93/252.00 251.93/252.00 c nb Solutions = 540 251.93/252.00 s SATISFIABLE 251.93/252.00 c Best value found: 423605 251.93/252.00 251.93/252.00 251.93/252.00 v <instantiation type='solution' cost='423605'> 251.93/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.93/252.01 v <values>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 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 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 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 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 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 </values> 251.93/252.01 v </instantiation> 251.93/252.01
OK 423605
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 (13558 MiB free) memory of node 1: 16384 MiB (13914 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301440-1532881247/watcher-4301440-1532881247 -o /tmp/evaluation-result-4301440-1532881247/solver-4301440-1532881247 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532880243-4870 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4301440-1532881247.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=5542, runsolver pid=5539 [startup+0.100457 s]* /proc/loadavg: 2.00 1.99 1.79 3/188 5543 /proc/meminfo: memFree=28128480/32770624 swapFree=67108532/67108860 [pid=5542] ppid=5539 vsize=31536 memory=7948 CPUtime=0.1 cores=0,2,4,6 /proc/5542/stat : 5542 (cosoco) R 5539 5542 4839 0 -1 4202496 2163 0 0 0 10 0 0 0 20 0 1 0 105687888 32292864 1987 33554432000 4194304 6142532 140723972456384 140723972453032 140261328785408 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 23199744 140723972457611 140723972457741 140723972457741 140723972460494 0 /proc/5542/statm: 7884 1987 823 476 0 1206 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 31536 KiB Current children cumulated memory: 7948 KiB [startup+0.209485 s]* /proc/loadavg: 2.00 1.99 1.79 3/188 5543 /proc/meminfo: memFree=28127472/32770624 swapFree=67108532/67108860 [pid=5542] ppid=5539 vsize=32196 memory=8740 CPUtime=0.2 cores=0,2,4,6 /proc/5542/stat : 5542 (cosoco) R 5539 5542 4839 0 -1 4202496 2359 0 0 0 20 0 0 0 20 0 1 0 105687888 32968704 2185 33554432000 4194304 6142532 140723972456384 140723972453032 140261318847461 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 23199744 140723972457611 140723972457741 140723972457741 140723972460494 0 /proc/5542/statm: 8049 2185 866 476 0 1371 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 32196 KiB Current children cumulated memory: 8740 KiB [startup+0.309122 s]* /proc/loadavg: 2.00 1.99 1.79 3/188 5543 /proc/meminfo: memFree=28125240/32770624 swapFree=67108532/67108860 [pid=5542] ppid=5539 vsize=34708 memory=11380 CPUtime=0.3 cores=0,2,4,6 /proc/5542/stat : 5542 (cosoco) R 5539 5542 4839 0 -1 4202496 3003 0 0 0 30 0 0 0 20 0 1 0 105687888 35540992 2845 33554432000 4194304 6142532 140723972456384 140723972453032 140261318847461 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 23199744 140723972457611 140723972457741 140723972457741 140723972460494 0 /proc/5542/statm: 8677 2845 866 476 0 1999 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 34708 KiB Current children cumulated memory: 11380 KiB [startup+0.700233 s] /proc/loadavg: 2.00 1.99 1.79 3/188 5543 /proc/meminfo: memFree=28120188/32770624 swapFree=67108532/67108860 [pid=5542] ppid=5539 vsize=41116 memory=17716 CPUtime=0.68 cores=0,2,4,6 /proc/5542/stat : 5542 (cosoco) R 5539 5542 4839 0 -1 4202496 4610 0 0 0 68 0 0 0 20 0 1 0 105687888 42102784 4429 33554432000 4194304 6142532 140723972456384 140723972453032 5215649 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 23199744 140723972457611 140723972457741 140723972457741 140723972460494 0 /proc/5542/statm: 10279 4429 867 476 0 3601 0 Current children cumulated CPU time: 0.68 s Current children cumulated vsize: 41116 KiB Current children cumulated memory: 17716 KiB [startup+1.50026 s] /proc/loadavg: 2.00 1.99 1.79 3/188 5543 /proc/meminfo: memFree=28114428/32770624 swapFree=67108532/67108860 [pid=5542] ppid=5539 vsize=46768 memory=23260 CPUtime=1.48 cores=0,2,4,6 /proc/5542/stat : 5542 (cosoco) R 5539 5542 4839 0 -1 4202496 6026 0 0 0 148 0 0 0 20 0 1 0 105687888 47890432 5815 33554432000 4194304 6142532 140723972456384 140723972453912 5215649 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 23199744 140723972457611 140723972457741 140723972457741 140723972460494 0 /proc/5542/statm: 11692 5815 867 476 0 5014 0 Current children cumulated CPU time: 1.48 s Current children cumulated vsize: 46768 KiB Current children cumulated memory: 23260 KiB [startup+3.10909 s] /proc/loadavg: 2.00 1.99 1.79 3/188 5543 /proc/meminfo: memFree=28112904/32770624 swapFree=67108532/67108860 [pid=5542] ppid=5539 vsize=46768 memory=23480 CPUtime=3.09 cores=0,2,4,6 /proc/5542/stat : 5542 (cosoco) R 5539 5542 4839 0 -1 4202496 8990 0 0 0 309 0 0 0 20 0 1 0 105687888 47890432 5870 33554432000 4194304 6142532 140723972456384 140723972453912 5137638 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 23199744 140723972457611 140723972457741 140723972457741 140723972460494 0 /proc/5542/statm: 11692 5870 867 476 0 5014 0 Current children cumulated CPU time: 3.09 s Current children cumulated vsize: 46768 KiB Current children cumulated memory: 23480 KiB [startup+6.30022 s] /proc/loadavg: 2.00 1.99 1.79 3/188 5543 /proc/meminfo: memFree=28113028/32770624 swapFree=67108532/67108860 [pid=5542] ppid=5539 vsize=46768 memory=23480 CPUtime=6.29 cores=0,2,4,6 /proc/5542/stat : 5542 (cosoco) R 5539 5542 4839 0 -1 4202496 12000 0 0 0 628 1 0 0 20 0 1 0 105687888 47890432 5870 33554432000 4194304 6142532 140723972456384 140723972443656 5138697 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 23199744 140723972457611 140723972457741 140723972457741 140723972460494 0 /proc/5542/statm: 11692 5870 867 476 0 5014 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 46768 KiB Current children cumulated memory: 23480 KiB [startup+12.7002 s] /proc/loadavg: 2.00 1.99 1.79 3/188 5604 /proc/meminfo: memFree=28117924/32770624 swapFree=67108532/67108860 [pid=5542] ppid=5539 vsize=46768 memory=23480 CPUtime=12.68 cores=0,2,4,6 /proc/5542/stat : 5542 (cosoco) R 5539 5542 4839 0 -1 4202496 15334 0 0 0 1267 1 0 0 20 0 1 0 105687888 47890432 5870 33554432000 4194304 6142532 140723972456384 140723972443656 5137685 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 23199744 140723972457611 140723972457741 140723972457741 140723972460494 0 /proc/5542/statm: 11692 5870 867 476 0 5014 0 Current children cumulated CPU time: 12.68 s Current children cumulated vsize: 46768 KiB Current children cumulated memory: 23480 KiB [startup+25.5002 s] /proc/loadavg: 2.00 1.99 1.80 3/188 5604 /proc/meminfo: memFree=28117112/32770624 swapFree=67108532/67108860 [pid=5542] ppid=5539 vsize=47328 memory=23944 CPUtime=25.47 cores=0,2,4,6 /proc/5542/stat : 5542 (cosoco) R 5539 5542 4839 0 -1 4202496 18387 0 0 0 2546 1 0 0 20 0 1 0 105687888 48463872 5986 33554432000 4194304 6142532 140723972456384 140723972453912 5138688 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 23199744 140723972457611 140723972457741 140723972457741 140723972460494 0 /proc/5542/statm: 11832 5986 867 476 0 5154 0 Current children cumulated CPU time: 25.47 s Current children cumulated vsize: 47328 KiB Current children cumulated memory: 23944 KiB [startup+51.1092 s] /proc/loadavg: 2.00 1.99 1.80 3/188 5604 /proc/meminfo: memFree=28113220/32770624 swapFree=67108532/67108860 [pid=5542] ppid=5539 vsize=49204 memory=25768 CPUtime=51.07 cores=0,2,4,6 /proc/5542/stat : 5542 (cosoco) R 5539 5542 4839 0 -1 4202496 19783 0 0 0 5106 1 0 0 20 0 1 0 105687888 50384896 6442 33554432000 4194304 6142532 140723972456384 140723972453912 5215632 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 23199744 140723972457611 140723972457741 140723972457741 140723972460494 0 /proc/5542/statm: 12301 6442 867 476 0 5623 0 Current children cumulated CPU time: 51.07 s Current children cumulated vsize: 49204 KiB Current children cumulated memory: 25768 KiB [startup+102.3 s] /proc/loadavg: 2.00 1.99 1.81 3/188 5605 /proc/meminfo: memFree=28110232/32770624 swapFree=67108532/67108860 [pid=5542] ppid=5539 vsize=50680 memory=27284 CPUtime=102.26 cores=0,2,4,6 /proc/5542/stat : 5542 (cosoco) R 5539 5542 4839 0 -1 4202496 21330 0 0 0 10224 2 0 0 20 0 1 0 105687888 51896320 6821 33554432000 4194304 6142532 140723972456384 140723972443656 5137685 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 23199744 140723972457611 140723972457741 140723972457741 140723972460494 0 /proc/5542/statm: 12670 6821 867 476 0 5992 0 Current children cumulated CPU time: 102.26 s Current children cumulated vsize: 50680 KiB Current children cumulated memory: 27284 KiB [startup+162.3 s] /proc/loadavg: 2.00 1.99 1.82 3/188 5606 /proc/meminfo: memFree=28110572/32770624 swapFree=67108532/67108860 [pid=5542] ppid=5539 vsize=50812 memory=27356 CPUtime=162.24 cores=0,2,4,6 /proc/5542/stat : 5542 (cosoco) R 5539 5542 4839 0 -1 4202496 21955 0 0 0 16222 2 0 0 20 0 1 0 105687888 52031488 6839 33554432000 4194304 6142532 140723972456384 140723972443656 5138034 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 23199744 140723972457611 140723972457741 140723972457741 140723972460494 0 /proc/5542/statm: 12703 6839 867 476 0 6025 0 Current children cumulated CPU time: 162.24 s Current children cumulated vsize: 50812 KiB Current children cumulated memory: 27356 KiB [startup+222.3 s] /proc/loadavg: 2.00 1.99 1.83 3/188 5607 /proc/meminfo: memFree=28110408/32770624 swapFree=67108532/67108860 [pid=5542] ppid=5539 vsize=50936 memory=27544 CPUtime=222.23 cores=0,2,4,6 /proc/5542/stat : 5542 (cosoco) R 5539 5542 4839 0 -1 4202496 22573 0 0 0 22220 3 0 0 20 0 1 0 105687888 52158464 6886 33554432000 4194304 6142532 140723972456384 140723972443656 5215632 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 23199744 140723972457611 140723972457741 140723972457741 140723972460494 0 /proc/5542/statm: 12734 6886 867 476 0 6056 0 Current children cumulated CPU time: 222.23 s Current children cumulated vsize: 50936 KiB Current children cumulated memory: 27544 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252 s]* /proc/loadavg: 2.14 2.02 1.85 3/188 5608 /proc/meminfo: memFree=28109792/32770624 swapFree=67108532/67108860 [pid=5542] ppid=5539 vsize=50936 memory=27552 CPUtime=251.93 cores=0,2,4,6 /proc/5542/stat : 5542 (cosoco) R 5539 5542 4839 0 -1 4202496 23153 0 0 0 25190 3 0 0 20 0 1 0 105687888 52158464 6888 33554432000 4194304 6142532 140723972456384 140723972443656 5318912 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 23199744 140723972457611 140723972457741 140723972457741 140723972460494 0 /proc/5542/statm: 12734 6888 867 476 0 6056 0 Current children cumulated CPU time: 251.93 s Current children cumulated vsize: 50936 KiB Current children cumulated memory: 27552 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.011 s] # the end of solver process 5542 was just reported to runsolver # cumulated CPU time of all completed processes: user=251.912 s, system=0.032992 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 252.011 CPU time (s): 251.945 CPU user time (s): 251.912 CPU system time (s): 0.032992 CPU usage (%): 99.9738 Max. virtual memory (cumulated for all children) (KiB): 50936 Max. memory (cumulated for all children) (KiB): 27552 getrusage(RUSAGE_CHILDREN,...) data: user time used= 251.912 system time used= 0.032992 maximum resident set size= 27632 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 23190 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= 523 # summary of solver processes directly reported to runsolver: # pid: 5542 # total CPU time (s): 251.945 # total CPU user time (s): 251.912 # total CPU system time (s): 0.032992 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.964336 second user time and 1.66507 second system time The end
Begin job on node104 at 2018-07-29 18:20:47 IDJOB=4301440 IDBENCH=141154 IDSOLVER=2774 FILE ID=node104/4301440-1532881247 RUNJOBID= node104-1532880243-4870 PBS_JOBID= 21022518 Free space on /tmp= 50568 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay300_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4301440-1532881247/watcher-4301440-1532881247 -o /tmp/evaluation-result-4301440-1532881247/solver-4301440-1532881247 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532880243-4870 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4301440-1532881247.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 125d0999a88baf20181d93552da446ae RANDOM SEED=332518442 node104.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 28133580 kB MemAvailable: 31929980 kB Buffers: 177112 kB Cached: 3874140 kB SwapCached: 12 kB Active: 1961768 kB Inactive: 2168860 kB Active(anon): 33736 kB Inactive(anon): 73040 kB Active(file): 1928032 kB Inactive(file): 2095820 kB Unevictable: 7360 kB Mlocked: 7360 kB SwapTotal: 67108860 kB SwapFree: 67108532 kB Dirty: 2680 kB Writeback: 0 kB AnonPages: 86168 kB Mapped: 43932 kB Shmem: 25060 kB Slab: 205312 kB SReclaimable: 176764 kB SUnreclaim: 28548 kB KernelStack: 3376 kB PageTables: 5236 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 378380 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 28672 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 50564 MiB End job on node104 at 2018-07-29 18:24:59