Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 1.12 | SAT (TO) | 350747 | 252.003 | 252.011 |
Name | Auction/Auction-sum/ Auction-sum-decay200_c18.xml |
MD5SUM | ef8d95b3b89bfc5ccba73a2d09f74d17 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1435945 |
Best CPU time to get the best result obtained on this benchmark | 252.062 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2000 |
Number of constraints | 200 |
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 | 30 |
Distribution of variable degrees | [{"degree":2,"count":190},{"degree":3,"count":378},{"degree":4,"count":330},{"degree":5,"count":258},{"degree":6,"count":209},{"degree":7,"count":129},{"degree":8,"count":125},{"degree":9,"count":75},{"degree":10,"count":68},{"degree":11,"count":60},{"degree":12,"count":43},{"degree":13,"count":29},{"degree":14,"count":28},{"degree":15,"count":14},{"degree":16,"count":7},{"degree":17,"count":8},{"degree":18,"count":9},{"degree":19,"count":8},{"degree":20,"count":14},{"degree":21,"count":8},{"degree":22,"count":1},{"degree":23,"count":2},{"degree":24,"count":1},{"degree":26,"count":2},{"degree":27,"count":3},{"degree":30,"count":1}] |
Minimum constraint arity | 36 |
Maximum constraint arity | 75 |
Distribution of constraint arities | [{"arity":36,"count":2},{"arity":37,"count":5},{"arity":38,"count":4},{"arity":39,"count":4},{"arity":40,"count":2},{"arity":41,"count":4},{"arity":42,"count":7},{"arity":43,"count":7},{"arity":44,"count":7},{"arity":45,"count":8},{"arity":46,"count":7},{"arity":47,"count":9},{"arity":48,"count":10},{"arity":49,"count":9},{"arity":50,"count":20},{"arity":51,"count":16},{"arity":52,"count":7},{"arity":53,"count":13},{"arity":54,"count":9},{"arity":55,"count":10},{"arity":56,"count":6},{"arity":57,"count":6},{"arity":58,"count":6},{"arity":59,"count":4},{"arity":60,"count":5},{"arity":61,"count":2},{"arity":62,"count":2},{"arity":63,"count":1},{"arity":64,"count":1},{"arity":65,"count":1},{"arity":67,"count":2},{"arity":68,"count":3},{"arity":75,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":200}] |
Optimization problem | YES |
Type of objective | max SUM |
0.10/0.13 c best=?? lower=0 upper=26830142 0.41/0.42 c 0.41/0.42 c This is cosoco 1.12 -- 0.41/0.42 c 0.41/0.42 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4301419-1532880754.xml 0.41/0.42 c enable optimization 0.41/0.42 c ========================================[ Problem Statistics ]=========================================== 0.41/0.42 c | 0.41/0.42 c | Parse time : 0.13 s 0.41/0.42 c | 0.41/0.42 c | Variables: 2000 0.41/0.42 c | Domain Sizes: 2..2 0.41/0.42 c | 0.41/0.42 c | Constraints: 201 0.41/0.42 c | Arity: 36..2000 0.41/0.42 c | 0.41/0.42 c | Types: 0.41/0.42 c | Sum: 201 0.41/0.42 c | 0.41/0.42 c | Objective: Maximize Sum 0.41/0.42 0.41/0.42 c ========================================================================================================= 0.41/0.42 o 0 0.41/0.42 c 1 calls to solver: best=0 lower=1 upper=26830142 0.89/0.90 o 8867 1.29/1.38 o 13659 1.29/1.38 c 3 calls to solver: best=13659 lower=13660 upper=26830142 1.79/1.85 o 15819 2.29/2.33 o 17522 2.29/2.33 c 5 calls to solver: best=17522 lower=17523 upper=26830142 2.79/2.80 o 21926 3.19/3.28 o 23291 3.19/3.28 c 7 calls to solver: best=23291 lower=23292 upper=26830142 3.69/3.75 o 24227 4.19/4.23 o 24424 4.19/4.23 c 9 calls to solver: best=24424 lower=24425 upper=26830142 4.69/4.70 o 30193 5.10/5.18 o 33332 5.10/5.18 c 11 calls to solver: best=33332 lower=33333 upper=26830142 5.59/5.65 o 43724 6.10/6.13 o 44241 6.10/6.13 c 13 calls to solver: best=44241 lower=44242 upper=26830142 6.59/6.60 o 47049 7.00/7.08 o 50016 7.00/7.08 c 15 calls to solver: best=50016 lower=50017 upper=26830142 7.49/7.55 o 61649 8.00/8.03 o 65892 8.00/8.03 c 17 calls to solver: best=65892 lower=65893 upper=26830142 8.49/8.51 o 66256 8.89/8.98 o 71498 8.89/8.98 c 19 calls to solver: best=71498 lower=71499 upper=26830142 9.39/9.46 o 90610 9.89/9.93 o 91884 9.89/9.93 c 21 calls to solver: best=91884 lower=91885 upper=26830142 10.39/10.41 o 100692 10.79/10.89 o 103095 10.79/10.89 c 23 calls to solver: best=103095 lower=103096 upper=26830142 11.29/11.36 o 106562 11.79/11.84 o 107319 11.79/11.84 c 25 calls to solver: best=107319 lower=107320 upper=26830142 12.29/12.32 o 110540 12.69/12.79 o 111057 12.69/12.79 c 27 calls to solver: best=111057 lower=111058 upper=26830142 13.19/13.27 o 114212 13.69/13.75 o 116664 13.69/13.75 c 29 calls to solver: best=116664 lower=116665 upper=26830142 14.19/14.23 o 118871 14.69/14.70 o 124068 14.69/14.70 c 31 calls to solver: best=124068 lower=124069 upper=26830142 15.10/15.18 o 126092 15.59/15.66 o 128046 15.59/15.66 c 33 calls to solver: best=128046 lower=128047 upper=26830142 16.10/16.14 o 130266 16.59/16.62 o 130669 16.59/16.62 c 35 calls to solver: best=130669 lower=130670 upper=26830142 16.99/17.09 o 132426 17.49/17.57 o 132499 17.49/17.57 c 37 calls to solver: best=132499 lower=132500 upper=26830142 17.99/18.05 o 134406 18.49/18.53 o 134667 18.49/18.53 c 39 calls to solver: best=134667 lower=134668 upper=26830142 18.99/19.02 o 135414 19.49/19.50 o 135547 19.49/19.50 c 41 calls to solver: best=135547 lower=135548 upper=26830142 19.89/19.98 o 136872 20.39/20.46 o 137201 20.39/20.46 c 43 calls to solver: best=137201 lower=137202 upper=26830142 20.89/20.94 o 137223 21.39/21.43 o 137314 21.39/21.43 c 45 calls to solver: best=137314 lower=137315 upper=26830142 21.89/21.91 o 137329 22.29/22.39 o 137413 22.29/22.39 c 47 calls to solver: best=137413 lower=137414 upper=26830142 22.79/22.86 o 140138 23.29/23.35 o 141461 23.29/23.35 c 49 calls to solver: best=141461 lower=141462 upper=26830142 23.79/23.83 o 142079 24.29/24.31 o 142334 24.29/24.31 c 51 calls to solver: best=142334 lower=142335 upper=26830142 24.69/24.79 o 142418 25.19/25.27 o 142485 25.19/25.27 c 53 calls to solver: best=142485 lower=142486 upper=26830142 25.69/25.75 o 143433 26.19/26.23 o 143508 26.19/26.23 c 55 calls to solver: best=143508 lower=143509 upper=26830142 26.69/26.71 o 144322 27.10/27.19 o 145049 27.10/27.19 c 57 calls to solver: best=145049 lower=145050 upper=26830142 27.59/27.67 o 146372 28.10/28.15 o 147109 28.10/28.15 c 59 calls to solver: best=147109 lower=147110 upper=26830142 28.59/28.63 o 147785 29.10/29.11 o 148789 29.10/29.11 c 61 calls to solver: best=148789 lower=148790 upper=26830142 29.49/29.59 o 150949 30.00/30.07 o 151657 30.00/30.07 c 63 calls to solver: best=151657 lower=151658 upper=26830142 30.49/30.55 o 152917 31.00/31.04 o 153387 31.00/31.04 c 65 calls to solver: best=153387 lower=153388 upper=26830142 31.49/31.52 o 153505 31.89/32.00 o 153549 31.89/32.00 c 67 calls to solver: best=153549 lower=153550 upper=26830142 32.39/32.48 o 154332 32.89/32.96 o 154905 32.89/32.96 c 69 calls to solver: best=154905 lower=154906 upper=26830142 33.39/33.44 o 156359 33.89/33.92 o 160000 33.89/33.92 c 71 calls to solver: best=160000 lower=160001 upper=26830142 34.39/34.40 o 163122 34.79/34.88 o 165544 34.79/34.88 c 73 calls to solver: best=165544 lower=165545 upper=26830142 35.29/35.36 o 169151 35.79/35.84 o 169703 35.79/35.84 c 75 calls to solver: best=169703 lower=169704 upper=26830142 36.29/36.32 o 173137 36.79/36.80 o 173641 36.79/36.80 c 77 calls to solver: best=173641 lower=173642 upper=26830142 37.19/37.28 o 177076 37.69/37.76 o 179660 37.69/37.76 c 79 calls to solver: best=179660 lower=179661 upper=26830142 38.19/38.25 o 180504 38.69/38.73 o 181342 38.69/38.73 c 81 calls to solver: best=181342 lower=181343 upper=26830142 39.19/39.21 o 185188 39.59/39.69 o 185269 39.59/39.69 c 83 calls to solver: best=185269 lower=185270 upper=26830142 40.10/40.17 o 185990 40.59/40.65 o 186074 40.59/40.65 c 85 calls to solver: best=186074 lower=186075 upper=26830142 41.10/41.13 o 186994 41.59/41.62 o 187230 41.59/41.62 c 87 calls to solver: best=187230 lower=187231 upper=26830142 42.10/42.11 o 187901 42.49/42.59 o 191336 42.49/42.59 c 89 calls to solver: best=191336 lower=191337 upper=26830142 43.00/43.07 o 191625 43.49/43.55 o 193098 43.49/43.55 c 91 calls to solver: best=193098 lower=193099 upper=26830142 44.00/44.03 o 193101 44.49/44.51 o 193683 44.49/44.51 c 93 calls to solver: best=193683 lower=193684 upper=26830142 44.89/44.99 o 194687 45.39/45.47 o 194740 45.39/45.47 c 95 calls to solver: best=194740 lower=194741 upper=26830142 45.89/45.96 o 196610 46.39/46.44 o 196952 46.39/46.44 c 97 calls to solver: best=196952 lower=196953 upper=26830142 46.89/46.92 o 197043 47.39/47.40 o 197241 47.39/47.40 c 99 calls to solver: best=197241 lower=197242 upper=26830142 47.79/47.88 o 197298 48.29/48.36 o 197826 48.29/48.36 c 101 calls to solver: best=197826 lower=197827 upper=26830142 48.79/48.84 o 199337 49.29/49.32 o 200148 49.29/49.32 c 103 calls to solver: best=200148 lower=200149 upper=26830142 49.79/49.80 o 200751 50.19/50.28 o 202072 50.19/50.28 c 105 calls to solver: best=202072 lower=202073 upper=26830142 50.69/50.76 o 202556 51.19/51.24 o 203521 51.19/51.24 c 107 calls to solver: best=203521 lower=203522 upper=26830142 51.69/51.72 o 205035 52.19/52.20 o 205072 52.19/52.20 c 109 calls to solver: best=205072 lower=205073 upper=26830142 52.59/52.68 o 207324 53.10/53.16 o 207444 53.10/53.16 c 111 calls to solver: best=207444 lower=207445 upper=26830142 53.59/53.64 o 208235 54.10/54.12 o 210709 54.10/54.12 c 113 calls to solver: best=210709 lower=210710 upper=26830142 54.59/54.61 o 213471 55.00/55.09 o 214354 55.00/55.09 c 115 calls to solver: best=214354 lower=214355 upper=26830142 55.49/55.57 o 215400 56.00/56.05 o 215477 56.00/56.05 c 117 calls to solver: best=215477 lower=215478 upper=26830142 56.49/56.53 o 216061 57.00/57.01 o 217859 57.00/57.01 c 119 calls to solver: best=217859 lower=217860 upper=26830142 57.89/57.96 o 219279 58.39/58.44 o 220303 58.39/58.44 c 121 calls to solver: best=220303 lower=220304 upper=26830142 58.89/58.92 o 220480 59.39/59.41 o 220869 59.39/59.41 c 123 calls to solver: best=220869 lower=220870 upper=26830142 59.89/59.91 o 221321 60.39/60.40 o 221958 60.39/60.40 c 125 calls to solver: best=221958 lower=221959 upper=26830142 60.79/60.88 o 221987 61.29/61.36 o 222012 61.29/61.36 c 127 calls to solver: best=222012 lower=222013 upper=26830142 61.79/61.84 o 222026 62.29/62.32 o 222185 62.29/62.32 c 129 calls to solver: best=222185 lower=222186 upper=26830142 62.79/62.80 o 223483 63.19/63.28 o 224120 63.19/63.28 c 131 calls to solver: best=224120 lower=224121 upper=26830142 63.69/63.76 o 224283 64.19/64.24 o 224563 64.19/64.24 c 133 calls to solver: best=224563 lower=224564 upper=26830142 64.69/64.72 o 225430 65.19/65.20 o 225564 65.19/65.20 c 135 calls to solver: best=225564 lower=225565 upper=26830142 65.59/65.68 o 227068 66.10/66.16 o 227439 66.10/66.16 c 137 calls to solver: best=227439 lower=227440 upper=26830142 66.59/66.64 o 231243 67.10/67.12 o 232447 67.10/67.12 c 139 calls to solver: best=232447 lower=232448 upper=26830142 67.59/67.61 o 233574 68.00/68.10 o 233996 68.00/68.10 c 141 calls to solver: best=233996 lower=233997 upper=26830142 68.49/68.59 o 234007 69.00/69.07 o 234065 69.00/69.07 c 143 calls to solver: best=234065 lower=234066 upper=26830142 69.49/69.56 o 234136 70.00/70.04 o 234842 70.00/70.04 c 145 calls to solver: best=234842 lower=234843 upper=26830142 70.49/70.52 o 234894 70.89/71.00 o 235476 70.89/71.00 c 147 calls to solver: best=235476 lower=235477 upper=26830142 71.39/71.48 o 236112 71.89/71.96 o 237550 71.89/71.96 c 149 calls to solver: best=237550 lower=237551 upper=26830142 72.39/72.45 o 237624 72.89/72.94 o 237656 72.89/72.94 c 151 calls to solver: best=237656 lower=237657 upper=26830142 73.89/73.90 o 237686 74.29/74.38 o 237905 74.29/74.38 c 153 calls to solver: best=237905 lower=237906 upper=26830142 74.79/74.86 o 237989 75.29/75.33 o 238007 75.29/75.33 c 155 calls to solver: best=238007 lower=238008 upper=26830142 75.79/75.82 o 238022 76.29/76.30 o 238029 76.29/76.30 c 157 calls to solver: best=238029 lower=238030 upper=26830142 76.69/76.78 o 238037 77.19/77.25 o 238162 77.19/77.25 c 159 calls to solver: best=238162 lower=238163 upper=26830142 77.69/77.73 o 238188 78.19/78.21 o 238223 78.19/78.21 c 161 calls to solver: best=238223 lower=238224 upper=26830142 78.59/78.69 o 238376 79.10/79.17 o 238424 79.10/79.17 c 163 calls to solver: best=238424 lower=238425 upper=26830142 79.59/79.65 o 238559 80.10/80.13 o 238601 80.10/80.13 c 165 calls to solver: best=238601 lower=238602 upper=26830142 80.59/80.61 o 238633 81.00/81.09 o 238675 81.00/81.09 c 167 calls to solver: best=238675 lower=238676 upper=26830142 81.49/81.57 o 238736 82.00/82.05 o 238856 82.00/82.05 c 169 calls to solver: best=238856 lower=238857 upper=26830142 82.49/82.53 o 238878 83.00/83.01 o 239019 83.00/83.01 c 171 calls to solver: best=239019 lower=239020 upper=26830142 83.39/83.49 o 239029 83.89/83.97 o 239091 83.89/83.97 c 173 calls to solver: best=239091 lower=239092 upper=26830142 84.39/84.45 o 239224 84.89/84.93 o 239398 84.89/84.93 c 175 calls to solver: best=239398 lower=239399 upper=26830142 85.39/85.41 o 239560 85.79/85.88 o 239579 85.79/85.88 c 177 calls to solver: best=239579 lower=239580 upper=26830142 86.29/86.36 o 239623 86.79/86.84 o 239881 86.79/86.84 c 179 calls to solver: best=239881 lower=239882 upper=26830142 87.29/87.32 o 239965 87.79/87.80 o 240141 87.79/87.80 c 181 calls to solver: best=240141 lower=240142 upper=26830142 88.19/88.28 o 240205 88.69/88.76 o 240225 88.69/88.76 c 183 calls to solver: best=240225 lower=240226 upper=26830142 89.19/89.24 o 240230 89.69/89.72 o 240324 89.69/89.72 c 185 calls to solver: best=240324 lower=240325 upper=26830142 90.19/90.20 o 240574 90.59/90.68 o 240576 90.59/90.68 c 187 calls to solver: best=240576 lower=240577 upper=26830142 91.10/91.16 o 240619 91.59/91.64 o 240742 91.59/91.64 c 189 calls to solver: best=240742 lower=240743 upper=26830142 92.10/92.12 o 240806 92.59/92.60 o 240808 92.59/92.60 c 191 calls to solver: best=240808 lower=240809 upper=26830142 93.00/93.08 o 240818 93.49/93.55 o 240827 93.49/93.55 c 193 calls to solver: best=240827 lower=240828 upper=26830142 94.00/94.03 o 240864 94.49/94.52 o 241054 94.49/94.52 c 195 calls to solver: best=241054 lower=241055 upper=26830142 94.89/95.00 o 241103 95.39/95.48 o 241247 95.39/95.48 c 197 calls to solver: best=241247 lower=241248 upper=26830142 95.89/95.95 o 241311 96.39/96.43 o 241331 96.39/96.43 c 199 calls to solver: best=241331 lower=241332 upper=26830142 96.89/96.91 o 241417 97.29/97.39 o 241443 97.29/97.39 c 201 calls to solver: best=241443 lower=241444 upper=26830142 97.79/97.87 o 241598 98.29/98.35 o 241812 98.29/98.35 c 203 calls to solver: best=241812 lower=241813 upper=26830142 98.79/98.83 o 241861 99.29/99.31 o 242219 99.29/99.31 c 205 calls to solver: best=242219 lower=242220 upper=26830142 99.69/99.79 o 242235 100.19/100.27 o 242286 100.19/100.27 c 207 calls to solver: best=242286 lower=242287 upper=26830142 100.69/100.75 o 242387 101.19/101.23 o 242577 101.19/101.23 c 209 calls to solver: best=242577 lower=242578 upper=26830142 101.69/101.71 o 242604 102.10/102.19 o 242992 102.10/102.19 c 211 calls to solver: best=242992 lower=242993 upper=26830142 102.59/102.67 o 243009 103.10/103.15 o 243030 103.10/103.15 c 213 calls to solver: best=243030 lower=243031 upper=26830142 103.59/103.62 o 243155 104.00/104.10 o 243175 104.00/104.10 c 215 calls to solver: best=243175 lower=243176 upper=26830142 104.49/104.58 o 243176 105.00/105.06 o 243237 105.00/105.06 c 217 calls to solver: best=243237 lower=243238 upper=26830142 105.49/105.54 o 243255 106.00/106.02 o 243261 106.00/106.02 c 219 calls to solver: best=243261 lower=243262 upper=26830142 106.49/106.50 o 243537 106.89/106.98 o 243656 106.89/106.98 c 221 calls to solver: best=243656 lower=243657 upper=26830142 107.39/107.46 o 243766 107.89/107.94 o 243792 107.89/107.94 c 223 calls to solver: best=243792 lower=243793 upper=26830142 108.39/108.42 o 243935 108.89/108.90 o 244000 108.89/108.90 c 225 calls to solver: best=244000 lower=244001 upper=26830142 109.29/109.38 o 244008 109.79/109.85 o 244143 109.79/109.85 c 227 calls to solver: best=244143 lower=244144 upper=26830142 110.29/110.34 o 244176 110.79/110.81 o 244196 110.79/110.81 c 229 calls to solver: best=244196 lower=244197 upper=26830142 111.19/111.29 o 244251 111.69/111.77 o 244354 111.69/111.77 c 231 calls to solver: best=244354 lower=244355 upper=26830142 112.19/112.25 o 244381 112.69/112.73 o 244437 112.69/112.73 c 233 calls to solver: best=244437 lower=244438 upper=26830142 113.19/113.21 o 244717 113.59/113.69 o 244906 113.59/113.69 c 235 calls to solver: best=244906 lower=244907 upper=26830142 114.10/114.17 o 244970 114.59/114.65 o 245059 114.59/114.65 c 237 calls to solver: best=245059 lower=245060 upper=26830142 115.10/115.13 o 245132 115.59/115.61 o 245180 115.59/115.61 c 239 calls to solver: best=245180 lower=245181 upper=26830142 116.00/116.09 o 245287 116.49/116.57 o 245422 116.49/116.57 c 241 calls to solver: best=245422 lower=245423 upper=26830142 116.99/117.05 o 245436 117.49/117.53 o 245496 117.49/117.53 c 243 calls to solver: best=245496 lower=245497 upper=26830142 117.99/118.01 o 245662 118.39/118.49 o 245809 118.39/118.49 c 245 calls to solver: best=245809 lower=245810 upper=26830142 118.89/118.97 o 245858 119.39/119.45 o 245905 119.39/119.45 c 247 calls to solver: best=245905 lower=245906 upper=26830142 119.89/119.93 o 245939 120.38/120.40 o 246044 120.38/120.40 c 249 calls to solver: best=246044 lower=246045 upper=26830142 120.78/120.87 o 246144 121.28/121.33 o 246355 121.28/121.33 c 251 calls to solver: best=246355 lower=246356 upper=26830142 121.68/121.80 o 246439 122.18/122.26 o 246703 122.18/122.26 c 253 calls to solver: best=246703 lower=246704 upper=26830142 122.68/122.72 o 247780 123.09/123.19 o 247874 123.09/123.19 c 255 calls to solver: best=247874 lower=247875 upper=26830142 123.58/123.65 o 247894 124.09/124.11 o 247972 124.09/124.11 c 257 calls to solver: best=247972 lower=247973 upper=26830142 124.48/124.58 o 248031 124.99/125.04 o 248041 124.99/125.04 c 259 calls to solver: best=248041 lower=248042 upper=26830142 125.48/125.50 o 248090 125.88/125.97 o 248249 125.88/125.97 c 261 calls to solver: best=248249 lower=248250 upper=26830142 126.38/126.43 o 248561 126.78/126.90 o 248581 126.78/126.90 c 263 calls to solver: best=248581 lower=248582 upper=26830142 127.28/127.36 o 248665 127.78/127.82 o 249078 127.78/127.82 c 265 calls to solver: best=249078 lower=249079 upper=26830142 128.18/128.29 o 249736 128.68/128.75 o 249800 128.68/128.75 c 267 calls to solver: best=249800 lower=249801 upper=26830142 129.18/129.21 o 249820 129.58/129.68 o 250233 129.58/129.68 c 269 calls to solver: best=250233 lower=250234 upper=26830142 130.09/130.14 o 250422 130.58/130.60 o 251392 130.58/130.60 c 271 calls to solver: best=251392 lower=251393 upper=26830142 130.99/131.07 o 252243 131.48/131.53 o 252246 131.48/131.53 c 273 calls to solver: best=252246 lower=252247 upper=26830142 131.88/132.00 o 252318 132.38/132.46 o 252627 132.38/132.46 c 275 calls to solver: best=252627 lower=252628 upper=26830142 132.88/132.93 o 253545 133.28/133.39 o 253596 133.28/133.39 c 277 calls to solver: best=253596 lower=253597 upper=26830142 133.78/133.85 o 253616 134.28/134.32 o 253951 134.28/134.32 c 279 calls to solver: best=253951 lower=253952 upper=26830142 134.68/134.78 o 254240 135.18/135.25 o 255536 135.18/135.25 c 281 calls to solver: best=255536 lower=255537 upper=26830142 135.68/135.71 o 255600 136.09/136.17 o 255630 136.09/136.17 c 283 calls to solver: best=255630 lower=255631 upper=26830142 136.58/136.64 o 255939 136.99/137.10 o 257014 136.99/137.10 c 285 calls to solver: best=257014 lower=257015 upper=26830142 137.48/137.56 o 257098 137.99/138.03 o 257106 137.99/138.03 c 287 calls to solver: best=257106 lower=257107 upper=26830142 138.38/138.49 o 257126 138.88/138.95 o 257183 138.88/138.95 c 289 calls to solver: best=257183 lower=257184 upper=26830142 139.38/139.42 o 257254 139.78/139.88 o 257349 139.78/139.88 c 291 calls to solver: best=257349 lower=257350 upper=26830142 140.28/140.34 o 257359 140.78/140.81 o 257484 140.78/140.81 c 293 calls to solver: best=257484 lower=257485 upper=26830142 141.18/141.27 o 257883 141.68/141.73 o 257925 141.68/141.73 c 295 calls to solver: best=257925 lower=257926 upper=26830142 142.18/142.20 o 257991 142.58/142.66 o 258170 142.58/142.66 c 297 calls to solver: best=258170 lower=258171 upper=26830142 143.09/143.12 o 258177 143.48/143.59 o 258199 143.48/143.59 c 299 calls to solver: best=258199 lower=258200 upper=26830142 143.99/144.05 o 258711 144.48/144.51 o 258728 144.48/144.51 c 301 calls to solver: best=258728 lower=258729 upper=26830142 144.88/144.98 o 258811 145.38/145.44 o 259193 145.38/145.44 c 303 calls to solver: best=259193 lower=259194 upper=26830142 145.88/145.90 o 259609 146.28/146.37 o 259639 146.28/146.37 c 305 calls to solver: best=259639 lower=259640 upper=26830142 146.78/146.83 o 259736 147.18/147.29 o 261080 147.18/147.29 c 307 calls to solver: best=261080 lower=261081 upper=26830142 147.68/147.76 o 261680 148.18/148.22 o 261699 148.18/148.22 c 309 calls to solver: best=261699 lower=261700 upper=26830142 148.58/148.69 o 261707 149.09/149.15 o 261738 149.09/149.15 c 311 calls to solver: best=261738 lower=261739 upper=26830142 149.58/149.61 o 261795 149.99/150.08 o 261951 149.99/150.08 c 313 calls to solver: best=261951 lower=261952 upper=26830142 150.48/150.54 o 262042 150.88/151.00 o 262113 150.88/151.00 c 315 calls to solver: best=262113 lower=262114 upper=26830142 151.38/151.47 o 262210 151.88/151.93 o 262306 151.88/151.93 c 317 calls to solver: best=262306 lower=262307 upper=26830142 152.28/152.39 o 262370 152.78/152.86 o 262765 152.78/152.86 c 319 calls to solver: best=262765 lower=262766 upper=26830142 153.28/153.32 o 263329 153.68/153.78 o 263511 153.68/153.78 c 321 calls to solver: best=263511 lower=263512 upper=26830142 154.18/154.25 o 263557 154.68/154.71 o 264114 154.68/154.71 c 323 calls to solver: best=264114 lower=264115 upper=26830142 155.09/155.17 o 264198 155.58/155.64 o 264471 155.58/155.64 c 325 calls to solver: best=264471 lower=264472 upper=26830142 155.99/156.10 o 264555 156.48/156.57 o 265759 156.48/156.57 c 327 calls to solver: best=265759 lower=265760 upper=26830142 156.99/157.04 o 265815 157.48/157.51 o 265947 157.48/157.51 c 329 calls to solver: best=265947 lower=265948 upper=26830142 157.88/157.97 o 266082 158.38/158.43 o 266135 158.38/158.43 c 331 calls to solver: best=266135 lower=266136 upper=26830142 158.78/158.89 o 266162 159.28/159.36 o 266740 159.28/159.36 c 333 calls to solver: best=266740 lower=266741 upper=26830142 159.78/159.82 o 268068 160.18/160.28 o 268989 160.18/160.28 c 335 calls to solver: best=268989 lower=268990 upper=26830142 160.68/160.74 o 269042 161.18/161.21 o 269045 161.18/161.21 c 337 calls to solver: best=269045 lower=269046 upper=26830142 161.58/161.67 o 269062 162.09/162.13 o 269805 162.09/162.13 c 339 calls to solver: best=269805 lower=269806 upper=26830142 162.58/162.60 o 269950 162.99/163.06 o 270034 162.99/163.06 c 341 calls to solver: best=270034 lower=270035 upper=26830142 163.48/163.52 o 270085 163.88/163.98 o 270169 163.88/163.98 c 343 calls to solver: best=270169 lower=270170 upper=26830142 164.38/164.45 o 270249 164.88/164.91 o 270788 164.88/164.91 c 345 calls to solver: best=270788 lower=270789 upper=26830142 165.28/165.38 o 271788 165.78/165.84 o 272878 165.78/165.84 c 347 calls to solver: best=272878 lower=272879 upper=26830142 166.28/166.30 o 273019 166.68/166.76 o 273083 166.68/166.76 c 349 calls to solver: best=273083 lower=273084 upper=26830142 167.18/167.23 o 274195 167.58/167.69 o 274668 167.58/167.69 c 351 calls to solver: best=274668 lower=274669 upper=26830142 168.09/168.15 o 275305 168.58/168.62 o 275975 168.58/168.62 c 353 calls to solver: best=275975 lower=275976 upper=26830142 168.99/169.08 o 277227 169.48/169.54 o 278823 169.48/169.54 c 355 calls to solver: best=278823 lower=278824 upper=26830142 169.88/170.00 o 279340 170.38/170.46 o 279908 170.38/170.46 c 357 calls to solver: best=279908 lower=279909 upper=26830142 170.88/170.93 o 280001 171.28/171.39 o 280255 171.28/171.39 c 359 calls to solver: best=280255 lower=280256 upper=26830142 171.78/171.85 o 280269 172.28/172.31 o 281584 172.28/172.31 c 361 calls to solver: best=281584 lower=281585 upper=26830142 172.68/172.78 o 281705 173.18/173.24 o 281774 173.18/173.24 c 363 calls to solver: best=281774 lower=281775 upper=26830142 173.68/173.70 o 281824 174.09/174.16 o 282844 174.09/174.16 c 365 calls to solver: best=282844 lower=282845 upper=26830142 174.58/174.62 o 283211 174.99/175.09 o 283408 174.99/175.09 c 367 calls to solver: best=283408 lower=283409 upper=26830142 175.48/175.55 o 284034 175.99/176.01 o 285177 175.99/176.01 c 369 calls to solver: best=285177 lower=285178 upper=26830142 176.38/176.48 o 285263 176.88/176.94 o 286198 176.88/176.94 c 371 calls to solver: best=286198 lower=286199 upper=26830142 177.38/177.40 o 286989 177.78/177.86 o 287900 177.78/177.86 c 373 calls to solver: best=287900 lower=287901 upper=26830142 178.28/178.33 o 287915 178.68/178.79 o 288615 178.68/178.79 c 375 calls to solver: best=288615 lower=288616 upper=26830142 179.18/179.25 o 288676 179.68/179.71 o 288750 179.68/179.71 c 377 calls to solver: best=288750 lower=288751 upper=26830142 180.09/180.18 o 288800 180.58/180.64 o 289912 180.58/180.64 c 379 calls to solver: best=289912 lower=289913 upper=26830142 180.99/181.10 o 289976 181.48/181.56 o 290683 181.48/181.56 c 381 calls to solver: best=290683 lower=290684 upper=26830142 181.99/182.03 o 290694 182.38/182.49 o 290734 182.38/182.49 c 383 calls to solver: best=290734 lower=290735 upper=26830142 182.88/182.95 o 291457 183.38/183.41 o 292614 183.38/183.41 c 385 calls to solver: best=292614 lower=292615 upper=26830142 183.78/183.88 o 292904 184.28/184.34 o 292926 184.28/184.34 c 387 calls to solver: best=292926 lower=292927 upper=26830142 184.78/184.80 o 294713 185.18/185.26 o 294915 185.18/185.26 c 389 calls to solver: best=294915 lower=294916 upper=26830142 185.68/185.72 o 295494 186.09/186.19 o 295582 186.09/186.19 c 391 calls to solver: best=295582 lower=295583 upper=26830142 186.58/186.65 o 295623 187.09/187.11 o 295680 187.09/187.11 c 393 calls to solver: best=295680 lower=295681 upper=26830142 187.48/187.57 o 295780 187.99/188.04 o 295872 187.99/188.04 c 395 calls to solver: best=295872 lower=295873 upper=26830142 188.48/188.50 o 296611 188.88/188.96 o 296797 188.88/188.96 c 397 calls to solver: best=296797 lower=296798 upper=26830142 189.38/189.42 o 296867 189.78/189.89 o 297644 189.78/189.89 c 399 calls to solver: best=297644 lower=297645 upper=26830142 190.28/190.35 o 297773 190.78/190.81 o 297792 190.78/190.81 c 401 calls to solver: best=297792 lower=297793 upper=26830142 191.18/191.27 o 299362 191.68/191.73 o 300038 191.68/191.73 c 403 calls to solver: best=300038 lower=300039 upper=26830142 192.18/192.20 o 300247 192.58/192.66 o 300821 192.58/192.66 c 405 calls to solver: best=300821 lower=300822 upper=26830142 193.09/193.12 o 301587 193.48/193.58 o 301628 193.48/193.58 c 407 calls to solver: best=301628 lower=301629 upper=26830142 193.99/194.05 o 301692 194.48/194.51 o 302991 194.48/194.51 c 409 calls to solver: best=302991 lower=302992 upper=26830142 194.88/194.97 o 303168 195.38/195.43 o 303188 195.38/195.43 c 411 calls to solver: best=303188 lower=303189 upper=26830142 195.78/195.90 o 303252 196.28/196.36 o 303316 196.28/196.36 c 413 calls to solver: best=303316 lower=303317 upper=26830142 196.78/196.82 o 305074 197.18/197.28 o 305083 197.18/197.28 c 415 calls to solver: best=305083 lower=305084 upper=26830142 197.68/197.74 o 306487 198.18/198.21 o 306584 198.18/198.21 c 417 calls to solver: best=306584 lower=306585 upper=26830142 198.58/198.67 o 306648 199.09/199.13 o 306738 199.09/199.13 c 419 calls to solver: best=306738 lower=306739 upper=26830142 199.48/199.59 o 306788 199.99/200.06 o 306823 199.99/200.06 c 421 calls to solver: best=306823 lower=306824 upper=26830142 200.48/200.52 o 307145 200.88/200.98 o 307225 200.88/200.98 c 423 calls to solver: best=307225 lower=307226 upper=26830142 201.38/201.44 o 308528 201.88/201.91 o 308663 201.88/201.91 c 425 calls to solver: best=308663 lower=308664 upper=26830142 202.28/202.37 o 308677 202.78/202.83 o 310037 202.78/202.83 c 427 calls to solver: best=310037 lower=310038 upper=26830142 203.18/203.29 o 310347 203.68/203.76 o 311243 203.68/203.76 c 429 calls to solver: best=311243 lower=311244 upper=26830142 204.18/204.22 o 312133 204.58/204.68 o 312322 204.58/204.68 c 431 calls to solver: best=312322 lower=312323 upper=26830142 205.09/205.14 o 312457 205.58/205.61 o 312521 205.58/205.61 c 433 calls to solver: best=312521 lower=312522 upper=26830142 205.99/206.07 o 313125 206.48/206.53 o 313221 206.48/206.53 c 435 calls to solver: best=313221 lower=313222 upper=26830142 206.88/206.99 o 313944 207.38/207.46 o 313994 207.38/207.46 c 437 calls to solver: best=313994 lower=313995 upper=26830142 207.88/207.92 o 314065 208.28/208.38 o 314129 208.28/208.38 c 439 calls to solver: best=314129 lower=314130 upper=26830142 208.78/208.84 o 314700 209.28/209.31 o 314821 209.28/209.31 c 441 calls to solver: best=314821 lower=314822 upper=26830142 209.68/209.77 o 316176 210.18/210.23 o 316232 210.18/210.23 c 443 calls to solver: best=316232 lower=316233 upper=26830142 210.58/210.69 o 316699 211.09/211.16 o 317487 211.09/211.16 c 445 calls to solver: best=317487 lower=317488 upper=26830142 211.58/211.62 o 318924 211.99/212.08 o 319193 211.99/212.08 c 447 calls to solver: best=319193 lower=319194 upper=26830142 212.48/212.54 o 319534 212.99/213.01 o 319623 212.99/213.01 c 449 calls to solver: best=319623 lower=319624 upper=26830142 213.38/213.47 o 319687 213.88/213.93 o 319723 213.88/213.93 c 451 calls to solver: best=319723 lower=319724 upper=26830142 214.28/214.39 o 320400 214.78/214.86 o 321844 214.78/214.86 c 453 calls to solver: best=321844 lower=321845 upper=26830142 215.28/215.32 o 321979 215.68/215.78 o 322435 215.68/215.78 c 455 calls to solver: best=322435 lower=322436 upper=26830142 216.18/216.24 o 322751 216.68/216.71 o 324255 216.68/216.71 c 457 calls to solver: best=324255 lower=324256 upper=26830142 217.09/217.17 o 324409 217.58/217.63 o 324544 217.58/217.63 c 459 calls to solver: best=324544 lower=324545 upper=26830142 217.99/218.09 o 324638 218.48/218.56 o 324642 218.48/218.56 c 461 calls to solver: best=324642 lower=324643 upper=26830142 218.99/219.02 o 324827 219.38/219.48 o 324891 219.38/219.48 c 463 calls to solver: best=324891 lower=324892 upper=26830142 219.88/219.94 o 324962 220.38/220.41 o 325026 220.38/220.41 c 465 calls to solver: best=325026 lower=325027 upper=26830142 220.78/220.87 o 325982 221.28/221.33 o 326019 221.28/221.33 c 467 calls to solver: best=326019 lower=326020 upper=26830142 221.68/221.79 o 326140 222.18/222.26 o 326297 222.18/222.26 c 469 calls to solver: best=326297 lower=326298 upper=26830142 222.68/222.72 o 327977 223.09/223.18 o 327981 223.09/223.18 c 471 calls to solver: best=327981 lower=327982 upper=26830142 223.58/223.65 o 328773 224.09/224.11 o 328908 224.09/224.11 c 473 calls to solver: best=328908 lower=328909 upper=26830142 224.48/224.57 o 328972 224.99/225.03 o 330709 224.99/225.03 c 475 calls to solver: best=330709 lower=330710 upper=26830142 225.38/225.50 o 331820 225.88/225.96 o 332125 225.88/225.96 c 477 calls to solver: best=332125 lower=332126 upper=26830142 226.38/226.42 o 332445 226.78/226.88 o 333876 226.78/226.88 c 479 calls to solver: best=333876 lower=333877 upper=26830142 227.28/227.35 o 333940 227.78/227.81 o 334011 227.78/227.81 c 481 calls to solver: best=334011 lower=334012 upper=26830142 228.18/228.27 o 334075 228.68/228.73 o 334478 228.68/228.73 c 483 calls to solver: best=334478 lower=334479 upper=26830142 229.18/229.20 o 335117 229.58/229.66 o 335719 229.58/229.66 c 485 calls to solver: best=335719 lower=335720 upper=26830142 230.09/230.12 o 336358 230.48/230.58 o 336869 230.48/230.58 c 487 calls to solver: best=336869 lower=336870 upper=26830142 230.99/231.05 o 336933 231.48/231.51 o 337004 231.48/231.51 c 489 calls to solver: best=337004 lower=337005 upper=26830142 231.88/231.97 o 337253 232.38/232.43 o 337317 232.38/232.43 c 491 calls to solver: best=337317 lower=337318 upper=26830142 232.88/232.90 o 337388 233.28/233.36 o 337452 233.28/233.36 c 493 calls to solver: best=337452 lower=337453 upper=26830142 233.78/233.82 o 337490 234.18/234.28 o 337625 234.18/234.28 c 495 calls to solver: best=337625 lower=337626 upper=26830142 234.68/234.75 o 337689 235.18/235.21 o 337804 235.18/235.21 c 497 calls to solver: best=337804 lower=337805 upper=26830142 235.58/235.67 o 337868 236.09/236.13 o 337939 236.09/236.13 c 499 calls to solver: best=337939 lower=337940 upper=26830142 236.58/236.60 o 338003 236.99/237.07 o 338289 236.99/237.07 c 501 calls to solver: best=338289 lower=338290 upper=26830142 237.48/237.53 o 338298 237.88/237.99 o 339422 237.88/237.99 c 503 calls to solver: best=339422 lower=339423 upper=26830142 238.38/238.46 o 340621 238.88/238.92 o 341474 238.88/238.92 c 505 calls to solver: best=341474 lower=341475 upper=26830142 239.38/239.40 o 342638 239.78/239.88 o 342702 239.78/239.88 c 507 calls to solver: best=342702 lower=342703 upper=26830142 240.28/240.34 o 342773 240.78/240.81 o 342837 240.78/240.81 c 509 calls to solver: best=342837 lower=342838 upper=26830142 241.18/241.27 o 343001 241.68/241.73 o 343040 241.68/241.73 c 511 calls to solver: best=343040 lower=343041 upper=26830142 242.09/242.19 o 343585 242.58/242.66 o 343643 242.58/242.66 c 513 calls to solver: best=343643 lower=343644 upper=26830142 243.09/243.12 o 344611 243.48/243.58 o 344675 243.48/243.58 c 515 calls to solver: best=344675 lower=344676 upper=26830142 243.99/244.04 o 344677 244.48/244.51 o 344686 244.48/244.51 c 517 calls to solver: best=344686 lower=344687 upper=26830142 244.88/244.97 o 345879 245.38/245.43 o 345943 245.38/245.43 c 519 calls to solver: best=345943 lower=345944 upper=26830142 245.88/245.90 o 346014 246.28/246.36 o 346078 246.28/246.36 c 521 calls to solver: best=346078 lower=346079 upper=26830142 246.78/246.82 o 346746 247.18/247.28 o 347339 247.18/247.28 c 523 calls to solver: best=347339 lower=347340 upper=26830142 247.68/247.75 o 348783 248.18/248.21 o 349246 248.18/248.21 c 525 calls to solver: best=349246 lower=349247 upper=26830142 248.58/248.67 o 349932 249.09/249.14 o 349969 249.09/249.14 c 527 calls to solver: best=349969 lower=349970 upper=26830142 249.58/249.60 o 349973 249.99/250.06 o 350037 249.99/250.06 c 529 calls to solver: best=350037 lower=350038 upper=26830142 250.48/250.52 o 350127 250.88/250.99 o 350135 250.88/250.99 c 531 calls to solver: best=350135 lower=350136 upper=26830142 251.38/251.45 o 350433 251.88/251.91 o 350747 251.88/251.91 c 533 calls to solver: best=350747 lower=350748 upper=26830142 251.99/252.00 251.99/252.00 c *** INTERRUPTED *** 251.99/252.00 c restarts : 2 251.99/252.00 c conflicts : 327 (1 /sec) 251.99/252.00 c decisions : 1071046 (4251 /sec) 251.99/252.00 c propagations : 1099462 (4363 /sec) 251.99/252.00 c root propagations : 2000 251.99/252.00 c filter calls : 6593117 (26166 /sec) 251.99/252.00 c useless filter calls : 6587000 (99 %) 251.99/252.00 c Memory used : 48.65 MB 251.99/252.00 c CPU time : 251.973 s 251.99/252.00 251.99/252.00 c nb Solutions = 533 251.99/252.00 s SATISFIABLE 251.99/252.00 c Best value found: 350747 251.99/252.00 251.99/252.00 251.99/252.00 v <instantiation type='solution' cost='350747'> 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 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 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 </values> 251.99/252.01 v </instantiation> 251.99/252.01
OK 350747
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 (13443 MiB free) memory of node 1: 16384 MiB (14114 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301419-1532880754/watcher-4301419-1532880754 -o /tmp/evaluation-result-4301419-1532880754/solver-4301419-1532880754 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532878455-19304 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4301419-1532880754.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=20675, runsolver pid=20672 [startup+0.10011 s]* /proc/loadavg: 2.08 2.03 1.98 3/191 20676 /proc/meminfo: memFree=28215592/32770624 swapFree=67108744/67108860 [pid=20675] ppid=20672 vsize=30700 memory=7116 CPUtime=0.1 cores=0,2,4,6 /proc/20675/stat : 20675 (cosoco) R 20672 20675 19273 0 -1 4202496 1961 0 0 0 10 0 0 0 20 0 1 0 105638585 31436800 1779 33554432000 4194304 6142532 140724820559664 140724820554680 5363060 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 22261760 140724820567179 140724820567309 140724820567309 140724820570062 0 /proc/20675/statm: 7675 1779 823 476 0 997 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 30700 KiB Current children cumulated memory: 7116 KiB [startup+0.209718 s]* /proc/loadavg: 2.08 2.03 1.98 3/191 20676 /proc/meminfo: memFree=28215220/32770624 swapFree=67108744/67108860 [pid=20675] ppid=20672 vsize=31364 memory=7908 CPUtime=0.21 cores=0,2,4,6 /proc/20675/stat : 20675 (cosoco) R 20672 20675 19273 0 -1 4202496 2169 0 0 0 21 0 0 0 20 0 1 0 105638585 32116736 1977 33554432000 4194304 6142532 140724820559664 140724820554680 140693396519909 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 22261760 140724820567179 140724820567309 140724820567309 140724820570062 0 /proc/20675/statm: 7841 1977 866 476 0 1163 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 31364 KiB Current children cumulated memory: 7908 KiB [startup+0.309299 s]* /proc/loadavg: 2.08 2.03 1.98 3/191 20676 /proc/meminfo: memFree=28213384/32770624 swapFree=67108744/67108860 [pid=20675] ppid=20672 vsize=33872 memory=10284 CPUtime=0.31 cores=0,2,4,6 /proc/20675/stat : 20675 (cosoco) R 20672 20675 19273 0 -1 4202496 2774 0 0 0 31 0 0 0 20 0 1 0 105638585 34684928 2571 33554432000 4194304 6142532 140724820559664 140724820554680 140693396519909 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 22261760 140724820567179 140724820567309 140724820567309 140724820570062 0 /proc/20675/statm: 8468 2571 866 476 0 1790 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 33872 KiB Current children cumulated memory: 10284 KiB [startup+0.700233 s] /proc/loadavg: 2.08 2.03 1.98 3/191 20676 /proc/meminfo: memFree=28208176/32770624 swapFree=67108744/67108860 [pid=20675] ppid=20672 vsize=40136 memory=16620 CPUtime=0.69 cores=0,2,4,6 /proc/20675/stat : 20675 (cosoco) R 20672 20675 19273 0 -1 4202496 4360 0 0 0 68 1 0 0 20 0 1 0 105638585 41099264 4155 33554432000 4194304 6142532 140724820559664 140724820554680 5215632 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 22261760 140724820567179 140724820567309 140724820567309 140724820570062 0 /proc/20675/statm: 10034 4155 867 476 0 3356 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 40136 KiB Current children cumulated memory: 16620 KiB [startup+1.50026 s] /proc/loadavg: 2.08 2.03 1.98 3/191 20676 /proc/meminfo: memFree=28202628/32770624 swapFree=67108744/67108860 [pid=20675] ppid=20672 vsize=45932 memory=22428 CPUtime=1.49 cores=0,2,4,6 /proc/20675/stat : 20675 (cosoco) R 20672 20675 19273 0 -1 4202496 5818 0 0 0 148 1 0 0 20 0 1 0 105638585 47034368 5607 33554432000 4194304 6142532 140724820559664 140724820557192 5347460 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 22261760 140724820567179 140724820567309 140724820567309 140724820570062 0 /proc/20675/statm: 11483 5607 867 476 0 4805 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 45932 KiB Current children cumulated memory: 22428 KiB [startup+3.10928 s] /proc/loadavg: 2.08 2.03 1.98 3/191 20676 /proc/meminfo: memFree=28200756/32770624 swapFree=67108744/67108860 [pid=20675] ppid=20672 vsize=45932 memory=22648 CPUtime=3.1 cores=0,2,4,6 /proc/20675/stat : 20675 (cosoco) R 20672 20675 19273 0 -1 4202496 8587 0 0 0 309 1 0 0 20 0 1 0 105638585 47034368 5662 33554432000 4194304 6142532 140724820559664 140724820557192 5137685 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 22261760 140724820567179 140724820567309 140724820567309 140724820570062 0 /proc/20675/statm: 11483 5662 867 476 0 4805 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 45932 KiB Current children cumulated memory: 22648 KiB [startup+6.30022 s] /proc/loadavg: 2.07 2.03 1.98 3/191 20676 /proc/meminfo: memFree=28200756/32770624 swapFree=67108744/67108860 [pid=20675] ppid=20672 vsize=45932 memory=22648 CPUtime=6.29 cores=0,2,4,6 /proc/20675/stat : 20675 (cosoco) R 20672 20675 19273 0 -1 4202496 11402 0 0 0 628 1 0 0 20 0 1 0 105638585 47034368 5662 33554432000 4194304 6142532 140724820559664 140724820546936 5138400 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 22261760 140724820567179 140724820567309 140724820567309 140724820570062 0 /proc/20675/statm: 11483 5662 867 476 0 4805 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 45932 KiB Current children cumulated memory: 22648 KiB [startup+12.7002 s] /proc/loadavg: 2.06 2.03 1.98 3/191 20676 /proc/meminfo: memFree=28200712/32770624 swapFree=67108744/67108860 [pid=20675] ppid=20672 vsize=45932 memory=22648 CPUtime=12.69 cores=0,2,4,6 /proc/20675/stat : 20675 (cosoco) R 20672 20675 19273 0 -1 4202496 14669 0 0 0 1268 1 0 0 20 0 1 0 105638585 47034368 5662 33554432000 4194304 6142532 140724820559664 140724820546936 5138684 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 22261760 140724820567179 140724820567309 140724820567309 140724820570062 0 /proc/20675/statm: 11483 5662 867 476 0 4805 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 45932 KiB Current children cumulated memory: 22648 KiB [startup+25.5002 s] /proc/loadavg: 2.05 2.03 1.98 3/191 20676 /proc/meminfo: memFree=28199456/32770624 swapFree=67108744/67108860 [pid=20675] ppid=20672 vsize=47420 memory=24060 CPUtime=25.49 cores=0,2,4,6 /proc/20675/stat : 20675 (cosoco) R 20672 20675 19273 0 -1 4202496 22071 0 0 0 2547 2 0 0 20 0 1 0 105638585 48558080 6015 33554432000 4194304 6142532 140724820559664 140724820557192 5138688 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 22261760 140724820567179 140724820567309 140724820567309 140724820570062 0 /proc/20675/statm: 11855 6015 867 476 0 5177 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 47420 KiB Current children cumulated memory: 24060 KiB [startup+51.1095 s] /proc/loadavg: 2.03 2.02 1.98 3/191 20676 /proc/meminfo: memFree=28198480/32770624 swapFree=67108744/67108860 [pid=20675] ppid=20672 vsize=48756 memory=25412 CPUtime=51.1 cores=0,2,4,6 /proc/20675/stat : 20675 (cosoco) R 20672 20675 19273 0 -1 4202496 26584 0 0 0 5108 2 0 0 20 0 1 0 105638585 49926144 6353 33554432000 4194304 6142532 140724820559664 140724820557192 5215644 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 22261760 140724820567179 140724820567309 140724820567309 140724820570062 0 /proc/20675/statm: 12189 6353 867 476 0 5511 0 Current children cumulated CPU time: 51.1 s Current children cumulated vsize: 48756 KiB Current children cumulated memory: 25412 KiB [startup+102.3 s] /proc/loadavg: 2.01 2.02 1.98 3/191 20677 /proc/meminfo: memFree=28197676/32770624 swapFree=67108744/67108860 [pid=20675] ppid=20672 vsize=49688 memory=26272 CPUtime=102.29 cores=0,2,4,6 /proc/20675/stat : 20675 (cosoco) R 20672 20675 19273 0 -1 4202496 31049 0 0 0 10227 2 0 0 20 0 1 0 105638585 50880512 6568 33554432000 4194304 6142532 140724820559664 140724820546936 5137312 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 22261760 140724820567179 140724820567309 140724820567309 140724820570062 0 /proc/20675/statm: 12422 6568 867 476 0 5744 0 Current children cumulated CPU time: 102.29 s Current children cumulated vsize: 49688 KiB Current children cumulated memory: 26272 KiB [startup+162.3 s] /proc/loadavg: 2.01 2.01 1.98 3/192 20680 /proc/meminfo: memFree=28195600/32770624 swapFree=67108744/67108860 [pid=20675] ppid=20672 vsize=49688 memory=26328 CPUtime=162.28 cores=0,2,4,6 /proc/20675/stat : 20675 (cosoco) R 20672 20675 19273 0 -1 4202496 34347 0 0 0 16226 2 0 0 20 0 1 0 105638585 50880512 6582 33554432000 4194304 6142532 140724820559664 140724820546936 5139644 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 22261760 140724820567179 140724820567309 140724820567309 140724820570062 0 /proc/20675/statm: 12422 6582 867 476 0 5744 0 Current children cumulated CPU time: 162.28 s Current children cumulated vsize: 49688 KiB Current children cumulated memory: 26328 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.01 1.98 3/192 20681 /proc/meminfo: memFree=28195080/32770624 swapFree=67108744/67108860 [pid=20675] ppid=20672 vsize=49688 memory=26388 CPUtime=222.28 cores=0,2,4,6 /proc/20675/stat : 20675 (cosoco) R 20672 20675 19273 0 -1 4202496 34680 0 0 0 22226 2 0 0 20 0 1 0 105638585 50880512 6597 33554432000 4194304 6142532 140724820559664 140724820557192 5138680 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 22261760 140724820567179 140724820567309 140724820567309 140724820570062 0 /proc/20675/statm: 12422 6597 867 476 0 5744 0 Current children cumulated CPU time: 222.28 s Current children cumulated vsize: 49688 KiB Current children cumulated memory: 26388 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252 s]* /proc/loadavg: 2.00 2.01 1.98 3/192 20803 /proc/meminfo: memFree=28381064/32770624 swapFree=67108744/67108860 [pid=20675] ppid=20672 vsize=49812 memory=26420 CPUtime=251.99 cores=0,2,4,6 /proc/20675/stat : 20675 (cosoco) R 20672 20675 19273 0 -1 4202496 34993 0 0 0 25197 2 0 0 20 0 1 0 105638585 51007488 6605 33554432000 4194304 6142532 140724820559664 140724820546936 5138684 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 22261760 140724820567179 140724820567309 140724820567309 140724820570062 0 /proc/20675/statm: 12453 6605 867 476 0 5775 0 Current children cumulated CPU time: 251.99 s Current children cumulated vsize: 49812 KiB Current children cumulated memory: 26420 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.011 s] # the end of solver process 20675 was just reported to runsolver # cumulated CPU time of all completed processes: user=251.973 s, system=0.029999 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 252.011 CPU time (s): 252.003 CPU user time (s): 251.973 CPU system time (s): 0.029999 CPU usage (%): 99.9971 Max. virtual memory (cumulated for all children) (KiB): 49812 Max. memory (cumulated for all children) (KiB): 26420 getrusage(RUSAGE_CHILDREN,...) data: user time used= 251.973 system time used= 0.029999 maximum resident set size= 26500 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 35031 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 13 involuntary context switches= 89 # summary of solver processes directly reported to runsolver: # pid: 20675 # total CPU time (s): 252.003 # total CPU user time (s): 251.973 # total CPU system time (s): 0.029999 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.770359 second user time and 1.86747 second system time The end
Begin job on node134 at 2018-07-29 18:12:34 IDJOB=4301419 IDBENCH=141147 IDSOLVER=2774 FILE ID=node134/4301419-1532880754 RUNJOBID= node134-1532878455-19304 PBS_JOBID= 21022511 Free space on /tmp= 60956 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay200_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4301419-1532880754/watcher-4301419-1532880754 -o /tmp/evaluation-result-4301419-1532880754/solver-4301419-1532880754 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532878455-19304 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4301419-1532880754.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ef8d95b3b89bfc5ccba73a2d09f74d17 RANDOM SEED=749778458 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: 28220048 kB MemAvailable: 31762228 kB Buffers: 202080 kB Cached: 3610792 kB SwapCached: 0 kB Active: 1816480 kB Inactive: 2258144 kB Active(anon): 210712 kB Inactive(anon): 78480 kB Active(file): 1605768 kB Inactive(file): 2179664 kB Unevictable: 7364 kB Mlocked: 7364 kB SwapTotal: 67108860 kB SwapFree: 67108744 kB Dirty: 2900 kB Writeback: 0 kB AnonPages: 268680 kB Mapped: 46420 kB Shmem: 25132 kB Slab: 173456 kB SReclaimable: 145168 kB SUnreclaim: 28288 kB KernelStack: 3392 kB PageTables: 5940 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 558176 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 60952 MiB End job on node134 at 2018-07-29 18:16:46