Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 1.12 | SAT (TO) | 375130 | 252.003 | 252.01 |
| Name | Auction/Auction-cnt/ Auction-cnt-decay200_c18.xml |
| MD5SUM | b9a88cf563e94a20e010143964b9c3ad |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 1371551 |
| Best CPU time to get the best result obtained on this benchmark | 252.137 |
| 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":"count","count":200}] |
| Optimization problem | YES |
| Type of objective | max SUM |
0.10/0.12 c best=?? lower=0 upper=26830142 0.31/0.37 c 0.31/0.37 c This is cosoco 1.12 -- 0.31/0.37 c 0.31/0.37 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4301452-1532881500.xml 0.31/0.37 c enable optimization 0.31/0.37 c ========================================[ Problem Statistics ]=========================================== 0.31/0.37 c | 0.31/0.37 c | Parse time : 0.12 s 0.31/0.37 c | 0.31/0.37 c | Variables: 2000 0.31/0.37 c | Domain Sizes: 2..2 0.31/0.37 c | 0.31/0.37 c | Constraints: 201 0.31/0.37 c | Arity: 36..2000 0.31/0.37 c | 0.31/0.37 c | Types: 0.31/0.37 c | At most: 200 0.31/0.37 c | Sum: 1 0.31/0.37 c | 0.31/0.37 c | Objective: Maximize Sum 0.31/0.37 0.31/0.37 c ========================================================================================================= 0.31/0.37 o 0 0.31/0.37 c 1 calls to solver: best=0 lower=1 upper=26830142 0.79/0.81 o 8867 1.18/1.25 o 13659 1.18/1.25 c 3 calls to solver: best=13659 lower=13660 upper=26830142 1.58/1.69 o 15819 2.09/2.13 o 17522 2.09/2.13 c 5 calls to solver: best=17522 lower=17523 upper=26830142 2.48/2.57 o 21926 2.88/3.00 o 23291 2.88/3.00 c 7 calls to solver: best=23291 lower=23292 upper=26830142 3.38/3.44 o 24227 3.78/3.88 o 24424 3.78/3.88 c 9 calls to solver: best=24424 lower=24425 upper=26830142 4.29/4.31 o 30193 4.69/4.75 o 33332 4.69/4.75 c 11 calls to solver: best=33332 lower=33333 upper=26830142 5.10/5.19 o 43724 5.59/5.63 o 44241 5.59/5.63 c 13 calls to solver: best=44241 lower=44242 upper=26830142 6.00/6.06 o 47049 6.49/6.50 o 50016 6.49/6.50 c 15 calls to solver: best=50016 lower=50017 upper=26830142 6.89/6.94 o 61649 7.29/7.37 o 65892 7.29/7.37 c 17 calls to solver: best=65892 lower=65893 upper=26830142 7.79/7.81 o 66256 8.19/8.25 o 71498 8.19/8.25 c 19 calls to solver: best=71498 lower=71499 upper=26830142 8.59/8.69 o 90610 9.10/9.12 o 91884 9.10/9.12 c 21 calls to solver: best=91884 lower=91885 upper=26830142 9.49/9.56 o 100692 9.89/10.00 o 103095 9.89/10.00 c 23 calls to solver: best=103095 lower=103096 upper=26830142 10.39/10.44 o 106562 10.79/10.87 o 107319 10.79/10.87 c 25 calls to solver: best=107319 lower=107320 upper=26830142 11.29/11.31 o 110540 11.69/11.75 o 111057 11.69/11.75 c 27 calls to solver: best=111057 lower=111058 upper=26830142 12.10/12.18 o 114212 12.59/12.62 o 116664 12.59/12.62 c 29 calls to solver: best=116664 lower=116665 upper=26830142 13.00/13.06 o 118871 13.49/13.50 o 124068 13.49/13.50 c 31 calls to solver: best=124068 lower=124069 upper=26830142 13.89/13.94 o 126092 14.29/14.38 o 128046 14.29/14.38 c 33 calls to solver: best=128046 lower=128047 upper=26830142 14.79/14.81 o 130266 15.19/15.25 o 130669 15.19/15.25 c 35 calls to solver: best=130669 lower=130670 upper=26830142 15.59/15.69 o 132426 16.10/16.12 o 132499 16.10/16.12 c 37 calls to solver: best=132499 lower=132500 upper=26830142 16.49/16.56 o 134406 16.89/17.00 o 134667 16.89/17.00 c 39 calls to solver: best=134667 lower=134668 upper=26830142 17.39/17.44 o 135414 17.79/17.88 o 135547 17.79/17.88 c 41 calls to solver: best=135547 lower=135548 upper=26830142 18.29/18.32 o 136872 18.69/18.76 o 137201 18.69/18.76 c 43 calls to solver: best=137201 lower=137202 upper=26830142 19.19/19.20 o 137223 19.59/19.64 o 137314 19.59/19.64 c 45 calls to solver: best=137314 lower=137315 upper=26830142 20.00/20.07 o 137329 20.49/20.51 o 137413 20.49/20.51 c 47 calls to solver: best=137413 lower=137414 upper=26830142 20.89/20.95 o 140138 21.29/21.39 o 141461 21.29/21.39 c 49 calls to solver: best=141461 lower=141462 upper=26830142 21.79/21.82 o 142734 22.19/22.26 o 144629 22.19/22.26 c 51 calls to solver: best=144629 lower=144630 upper=26830142 22.69/22.70 o 144924 23.10/23.14 o 145893 23.10/23.14 c 53 calls to solver: best=145893 lower=145894 upper=26830142 23.49/23.58 o 146022 24.00/24.01 o 146339 24.00/24.01 c 55 calls to solver: best=146339 lower=146340 upper=26830142 24.38/24.45 o 150325 24.78/24.89 o 153265 24.78/24.89 c 57 calls to solver: best=153265 lower=153266 upper=26830142 25.28/25.33 o 153662 25.68/25.77 o 156017 25.68/25.77 c 59 calls to solver: best=156017 lower=156018 upper=26830142 26.18/26.20 o 156476 26.58/26.64 o 156515 26.58/26.64 c 61 calls to solver: best=156515 lower=156516 upper=26830142 26.99/27.08 o 159640 27.48/27.51 o 160403 27.48/27.51 c 63 calls to solver: best=160403 lower=160404 upper=26830142 27.88/27.95 o 162996 28.28/28.39 o 163418 28.28/28.39 c 65 calls to solver: best=163418 lower=163419 upper=26830142 28.78/28.83 o 165124 29.18/29.27 o 165394 29.18/29.27 c 67 calls to solver: best=165394 lower=165395 upper=26830142 29.68/29.71 o 166924 30.09/30.14 o 168077 30.09/30.14 c 69 calls to solver: best=168077 lower=168078 upper=26830142 30.48/30.58 o 169202 30.99/31.02 o 169240 30.99/31.02 c 71 calls to solver: best=169240 lower=169241 upper=26830142 31.38/31.46 o 169969 31.88/31.90 o 171477 31.88/31.90 c 73 calls to solver: best=171477 lower=171478 upper=26830142 32.28/32.34 o 171567 32.68/32.77 o 172112 32.68/32.77 c 75 calls to solver: best=172112 lower=172113 upper=26830142 33.18/33.21 o 175977 33.58/33.65 o 176736 33.58/33.65 c 77 calls to solver: best=176736 lower=176737 upper=26830142 33.99/34.09 o 178244 34.48/34.53 o 181528 34.48/34.53 c 79 calls to solver: best=181528 lower=181529 upper=26830142 34.88/34.97 o 182046 35.38/35.41 o 185574 35.38/35.41 c 81 calls to solver: best=185574 lower=185575 upper=26830142 35.78/35.85 o 185904 36.28/36.30 o 188180 36.28/36.30 c 83 calls to solver: best=188180 lower=188181 upper=26830142 36.68/36.73 o 189986 37.09/37.17 o 190378 37.09/37.17 c 85 calls to solver: best=190378 lower=190379 upper=26830142 37.58/37.61 o 190667 37.99/38.05 o 192040 37.99/38.05 c 87 calls to solver: best=192040 lower=192041 upper=26830142 38.38/38.49 o 193272 38.88/38.93 o 193749 38.88/38.93 c 89 calls to solver: best=193749 lower=193750 upper=26830142 39.28/39.37 o 194571 39.78/39.81 o 194795 39.78/39.81 c 91 calls to solver: best=194795 lower=194796 upper=26830142 40.18/40.24 o 194985 40.58/40.68 o 196404 40.58/40.68 c 93 calls to solver: best=196404 lower=196405 upper=26830142 41.09/41.12 o 200968 41.88/41.99 o 201358 41.88/41.99 c 95 calls to solver: best=201358 lower=201359 upper=26830142 42.38/42.43 o 201592 42.78/42.87 o 202609 42.78/42.87 c 97 calls to solver: best=202609 lower=202610 upper=26830142 43.28/43.30 o 202691 43.68/43.74 o 202798 43.68/43.74 c 99 calls to solver: best=202798 lower=202799 upper=26830142 44.09/44.18 o 202964 44.58/44.62 o 203352 44.58/44.62 c 101 calls to solver: best=203352 lower=203353 upper=26830142 44.99/45.07 o 203376 45.48/45.51 o 203538 45.48/45.51 c 103 calls to solver: best=203538 lower=203539 upper=26830142 45.88/45.95 o 203663 46.28/46.39 o 203776 46.28/46.39 c 105 calls to solver: best=203776 lower=203777 upper=26830142 46.78/46.83 o 204273 47.18/47.26 o 204601 47.18/47.26 c 107 calls to solver: best=204601 lower=204602 upper=26830142 47.68/47.70 o 204953 48.09/48.14 o 205351 48.09/48.14 c 109 calls to solver: best=205351 lower=205352 upper=26830142 48.48/48.58 o 206031 48.99/49.02 o 206168 48.99/49.02 c 111 calls to solver: best=206168 lower=206169 upper=26830142 49.38/49.46 o 206425 49.88/49.90 o 206615 49.88/49.90 c 113 calls to solver: best=206615 lower=206616 upper=26830142 50.28/50.34 o 206845 50.68/50.78 o 206913 50.68/50.78 c 115 calls to solver: best=206913 lower=206914 upper=26830142 51.18/51.21 o 206923 51.58/51.65 o 207767 51.58/51.65 c 117 calls to solver: best=207767 lower=207768 upper=26830142 51.99/52.09 o 207833 52.48/52.53 o 208330 52.48/52.53 c 119 calls to solver: best=208330 lower=208331 upper=26830142 52.88/52.96 o 208335 53.38/53.40 o 208514 53.38/53.40 c 121 calls to solver: best=208514 lower=208515 upper=26830142 53.78/53.84 o 208587 54.18/54.28 o 208647 54.18/54.28 c 123 calls to solver: best=208647 lower=208648 upper=26830142 54.68/54.71 o 208797 55.09/55.15 o 209135 55.09/55.15 c 125 calls to solver: best=209135 lower=209136 upper=26830142 55.48/55.59 o 210435 55.99/56.03 o 210607 55.99/56.03 c 127 calls to solver: best=210607 lower=210608 upper=26830142 56.38/56.46 o 210798 56.88/56.90 o 210935 56.88/56.90 c 129 calls to solver: best=210935 lower=210936 upper=26830142 57.28/57.34 o 211082 57.68/57.78 o 211578 57.68/57.78 c 131 calls to solver: best=211578 lower=211579 upper=26830142 58.18/58.21 o 212510 58.58/58.65 o 212660 58.58/58.65 c 133 calls to solver: best=212660 lower=212661 upper=26830142 58.99/59.09 o 213948 59.48/59.53 o 215187 59.48/59.53 c 135 calls to solver: best=215187 lower=215188 upper=26830142 59.88/59.97 o 215264 60.38/60.40 o 215336 60.38/60.40 c 137 calls to solver: best=215336 lower=215337 upper=26830142 60.78/60.84 o 215579 61.18/61.28 o 215770 61.18/61.28 c 139 calls to solver: best=215770 lower=215771 upper=26830142 61.68/61.72 o 216105 62.09/62.15 o 216911 62.09/62.15 c 141 calls to solver: best=216911 lower=216912 upper=26830142 62.48/62.59 o 216979 62.99/63.03 o 217831 62.99/63.03 c 143 calls to solver: best=217831 lower=217832 upper=26830142 63.38/63.47 o 218321 63.88/63.90 o 219501 63.88/63.90 c 145 calls to solver: best=219501 lower=219502 upper=26830142 64.28/64.34 o 219693 64.68/64.78 o 219847 64.68/64.78 c 147 calls to solver: best=219847 lower=219848 upper=26830142 65.18/65.22 o 220741 65.58/65.65 o 220824 65.58/65.65 c 149 calls to solver: best=220824 lower=220825 upper=26830142 65.99/66.09 o 221063 66.48/66.53 o 221697 66.48/66.53 c 151 calls to solver: best=221697 lower=221698 upper=26830142 66.88/66.97 o 222338 67.38/67.40 o 222508 67.38/67.40 c 153 calls to solver: best=222508 lower=222509 upper=26830142 67.78/67.84 o 222578 68.18/68.28 o 222805 68.18/68.28 c 155 calls to solver: best=222805 lower=222806 upper=26830142 68.68/68.71 o 223174 69.09/69.15 o 223866 69.09/69.15 c 157 calls to solver: best=223866 lower=223867 upper=26830142 69.48/69.59 o 224118 69.99/70.02 o 224400 69.99/70.02 c 159 calls to solver: best=224400 lower=224401 upper=26830142 70.38/70.46 o 224691 70.88/70.90 o 225254 70.88/70.90 c 161 calls to solver: best=225254 lower=225255 upper=26830142 71.28/71.34 o 226894 71.68/71.77 o 227853 71.68/71.77 c 163 calls to solver: best=227853 lower=227854 upper=26830142 72.18/72.21 o 227872 72.58/72.65 o 231342 72.58/72.65 c 165 calls to solver: best=231342 lower=231343 upper=26830142 72.99/73.08 o 233710 73.48/73.52 o 234934 73.48/73.52 c 167 calls to solver: best=234934 lower=234935 upper=26830142 73.88/73.96 o 235421 74.28/74.39 o 235920 74.28/74.39 c 169 calls to solver: best=235920 lower=235921 upper=26830142 74.78/74.83 o 237509 75.18/75.27 o 239362 75.18/75.27 c 171 calls to solver: best=239362 lower=239363 upper=26830142 75.68/75.70 o 239908 76.09/76.14 o 239932 76.09/76.14 c 173 calls to solver: best=239932 lower=239933 upper=26830142 76.48/76.58 o 240613 76.99/77.01 o 240830 76.99/77.01 c 175 calls to solver: best=240830 lower=240831 upper=26830142 77.38/77.45 o 241922 77.78/77.89 o 242159 77.78/77.89 c 177 calls to solver: best=242159 lower=242160 upper=26830142 78.28/78.32 o 242247 78.68/78.76 o 244907 78.68/78.76 c 179 calls to solver: best=244907 lower=244908 upper=26830142 79.18/79.20 o 246193 79.58/79.63 o 249584 79.58/79.63 c 181 calls to solver: best=249584 lower=249585 upper=26830142 79.99/80.07 o 249776 80.48/80.52 o 249979 80.48/80.52 c 183 calls to solver: best=249979 lower=249980 upper=26830142 80.88/80.96 o 250346 81.38/81.40 o 250509 81.38/81.40 c 185 calls to solver: best=250509 lower=250510 upper=26830142 81.78/81.83 o 250539 82.18/82.27 o 250549 82.18/82.27 c 187 calls to solver: best=250549 lower=250550 upper=26830142 82.68/82.71 o 250795 83.09/83.14 o 250858 83.09/83.14 c 189 calls to solver: best=250858 lower=250859 upper=26830142 83.48/83.58 o 251472 83.99/84.02 o 251826 83.99/84.02 c 191 calls to solver: best=251826 lower=251827 upper=26830142 84.38/84.45 o 252403 84.78/84.89 o 252506 84.78/84.89 c 193 calls to solver: best=252506 lower=252507 upper=26830142 85.28/85.33 o 253047 85.68/85.76 o 253347 85.68/85.76 c 195 calls to solver: best=253347 lower=253348 upper=26830142 86.18/86.20 o 254157 86.58/86.64 o 254477 86.58/86.64 c 197 calls to solver: best=254477 lower=254478 upper=26830142 86.99/87.07 o 254487 87.48/87.51 o 254567 87.48/87.51 c 199 calls to solver: best=254567 lower=254568 upper=26830142 87.88/87.95 o 254593 88.28/88.39 o 254683 88.28/88.39 c 201 calls to solver: best=254683 lower=254684 upper=26830142 88.78/88.82 o 254693 89.18/89.26 o 254825 89.18/89.26 c 203 calls to solver: best=254825 lower=254826 upper=26830142 89.68/89.70 o 254889 90.09/90.13 o 254910 90.09/90.13 c 205 calls to solver: best=254910 lower=254911 upper=26830142 90.48/90.57 o 255135 90.99/91.01 o 255145 90.99/91.01 c 207 calls to solver: best=255145 lower=255146 upper=26830142 91.38/91.44 o 255635 91.78/91.88 o 255909 91.78/91.88 c 209 calls to solver: best=255909 lower=255910 upper=26830142 92.28/92.32 o 256092 92.68/92.75 o 256135 92.68/92.75 c 211 calls to solver: best=256135 lower=256136 upper=26830142 93.09/93.19 o 256641 93.58/93.63 o 256731 93.58/93.63 c 213 calls to solver: best=256731 lower=256732 upper=26830142 93.99/94.06 o 256753 94.48/94.50 o 256792 94.48/94.50 c 215 calls to solver: best=256792 lower=256793 upper=26830142 94.88/94.94 o 257370 95.28/95.37 o 257380 95.28/95.37 c 217 calls to solver: best=257380 lower=257381 upper=26830142 95.78/95.81 o 257443 96.18/96.25 o 257507 96.18/96.25 c 219 calls to solver: best=257507 lower=257508 upper=26830142 96.58/96.69 o 257932 97.09/97.12 o 258101 97.09/97.12 c 221 calls to solver: best=258101 lower=258102 upper=26830142 97.48/97.56 o 258711 97.88/98.00 o 258774 97.88/98.00 c 223 calls to solver: best=258774 lower=258775 upper=26830142 98.38/98.43 o 258838 98.78/98.87 o 259178 98.78/98.87 c 225 calls to solver: best=259178 lower=259179 upper=26830142 99.28/99.31 o 259819 99.68/99.74 o 259891 99.68/99.74 c 227 calls to solver: best=259891 lower=259892 upper=26830142 100.09/100.18 o 259955 100.58/100.62 o 260532 100.58/100.62 c 229 calls to solver: best=260532 lower=260533 upper=26830142 100.99/101.05 o 260596 101.38/101.49 o 260667 101.38/101.49 c 231 calls to solver: best=260667 lower=260668 upper=26830142 101.88/101.93 o 260731 102.28/102.36 o 260741 102.28/102.36 c 233 calls to solver: best=260741 lower=260742 upper=26830142 102.78/102.80 o 260801 103.18/103.24 o 260872 103.18/103.24 c 235 calls to solver: best=260872 lower=260873 upper=26830142 103.58/103.67 o 260936 104.09/104.11 o 260946 104.09/104.11 c 237 calls to solver: best=260946 lower=260947 upper=26830142 104.48/104.55 o 261179 104.88/104.98 o 261272 104.88/104.98 c 239 calls to solver: best=261272 lower=261273 upper=26830142 105.38/105.42 o 261636 105.78/105.86 o 261974 105.78/105.86 c 241 calls to solver: best=261974 lower=261975 upper=26830142 106.18/106.29 o 262262 107.09/107.15 o 262767 107.09/107.15 c 243 calls to solver: best=262767 lower=262768 upper=26830142 107.48/107.59 o 262779 107.99/108.03 o 263322 107.99/108.03 c 245 calls to solver: best=263322 lower=263323 upper=26830142 108.38/108.47 o 263820 108.88/108.90 o 263848 108.88/108.90 c 247 calls to solver: best=263848 lower=263849 upper=26830142 109.28/109.34 o 264037 109.68/109.78 o 264086 109.68/109.78 c 249 calls to solver: best=264086 lower=264087 upper=26830142 110.18/110.21 o 264557 110.58/110.65 o 264621 110.58/110.65 c 251 calls to solver: best=264621 lower=264622 upper=26830142 110.99/111.09 o 264699 111.48/111.52 o 264763 111.48/111.52 c 253 calls to solver: best=264763 lower=264764 upper=26830142 111.88/111.96 o 264832 112.38/112.40 o 265061 112.38/112.40 c 255 calls to solver: best=265061 lower=265062 upper=26830142 112.78/112.83 o 265177 113.18/113.27 o 265240 113.18/113.27 c 257 calls to solver: best=265240 lower=265241 upper=26830142 113.68/113.71 o 265597 114.09/114.15 o 265939 114.09/114.15 c 259 calls to solver: best=265939 lower=265940 upper=26830142 114.48/114.58 o 266074 114.99/115.02 o 266078 114.99/115.02 c 261 calls to solver: best=266078 lower=266079 upper=26830142 115.38/115.46 o 266352 115.88/115.90 o 266396 115.88/115.90 c 263 calls to solver: best=266396 lower=266397 upper=26830142 116.28/116.34 o 266567 116.68/116.78 o 266573 116.68/116.78 c 265 calls to solver: best=266573 lower=266574 upper=26830142 117.18/117.21 o 266587 117.58/117.65 o 266597 117.58/117.65 c 267 calls to solver: best=266597 lower=266598 upper=26830142 117.99/118.09 o 266906 118.48/118.52 o 266970 118.48/118.52 c 269 calls to solver: best=266970 lower=266971 upper=26830142 118.88/118.96 o 267246 119.28/119.40 o 267262 119.28/119.40 c 271 calls to solver: best=267262 lower=267263 upper=26830142 119.78/119.83 o 267502 120.18/120.27 o 267837 120.18/120.27 c 273 calls to solver: best=267837 lower=267838 upper=26830142 120.68/120.70 o 268550 121.09/121.14 o 268606 121.09/121.14 c 275 calls to solver: best=268606 lower=268607 upper=26830142 121.48/121.58 o 268836 121.99/122.01 o 269170 121.99/122.01 c 277 calls to solver: best=269170 lower=269171 upper=26830142 122.38/122.45 o 269234 122.78/122.89 o 269693 122.78/122.89 c 279 calls to solver: best=269693 lower=269694 upper=26830142 123.28/123.32 o 270434 123.68/123.76 o 271045 123.68/123.76 c 281 calls to solver: best=271045 lower=271046 upper=26830142 124.18/124.20 o 271329 124.58/124.63 o 271360 124.58/124.63 c 283 calls to solver: best=271360 lower=271361 upper=26830142 124.99/125.07 o 271412 125.48/125.51 o 271967 125.48/125.51 c 285 calls to solver: best=271967 lower=271968 upper=26830142 125.88/125.94 o 272733 126.28/126.38 o 272764 126.28/126.38 c 287 calls to solver: best=272764 lower=272765 upper=26830142 126.78/126.82 o 273118 127.18/127.25 o 273253 127.18/127.25 c 289 calls to solver: best=273253 lower=273254 upper=26830142 127.58/127.69 o 273542 128.09/128.13 o 273838 128.09/128.13 c 291 calls to solver: best=273838 lower=273839 upper=26830142 128.48/128.57 o 274579 128.88/129.00 o 274643 128.88/129.00 c 293 calls to solver: best=274643 lower=274644 upper=26830142 129.38/129.44 o 275343 129.78/129.88 o 275930 129.78/129.88 c 295 calls to solver: best=275930 lower=275931 upper=26830142 130.28/130.31 o 275961 130.68/130.75 o 275971 130.68/130.75 c 297 calls to solver: best=275971 lower=275972 upper=26830142 131.09/131.19 o 276024 131.58/131.63 o 276078 131.58/131.63 c 299 calls to solver: best=276078 lower=276079 upper=26830142 131.99/132.06 o 276451 132.48/132.50 o 276717 132.48/132.50 c 301 calls to solver: best=276717 lower=276718 upper=26830142 132.88/132.94 o 276719 133.28/133.37 o 276743 133.28/133.37 c 303 calls to solver: best=276743 lower=276744 upper=26830142 133.78/133.81 o 276847 134.18/134.25 o 276911 134.18/134.25 c 305 calls to solver: best=276911 lower=276912 upper=26830142 134.58/134.69 o 277680 135.09/135.12 o 277682 135.09/135.12 c 307 calls to solver: best=277682 lower=277683 upper=26830142 135.48/135.56 o 277692 135.88/135.99 o 277746 135.88/135.99 c 309 calls to solver: best=277746 lower=277747 upper=26830142 136.38/136.43 o 277750 136.78/136.87 o 277779 136.78/136.87 c 311 calls to solver: best=277779 lower=277780 upper=26830142 137.28/137.30 o 278540 137.68/137.74 o 278675 137.68/137.74 c 313 calls to solver: best=278675 lower=278676 upper=26830142 138.09/138.18 o 278720 138.58/138.61 o 278730 138.58/138.61 c 315 calls to solver: best=278730 lower=278731 upper=26830142 138.99/139.05 o 279126 139.38/139.49 o 279271 139.38/139.49 c 317 calls to solver: best=279271 lower=279272 upper=26830142 139.88/139.92 o 279341 140.28/140.36 o 279671 140.28/140.36 c 319 calls to solver: best=279671 lower=279672 upper=26830142 140.68/140.80 o 279774 141.18/141.23 o 280299 141.18/141.23 c 321 calls to solver: best=280299 lower=280300 upper=26830142 141.58/141.67 o 280671 142.09/142.11 o 280699 142.09/142.11 c 323 calls to solver: best=280699 lower=280700 upper=26830142 142.48/142.54 o 281051 142.88/142.98 o 281978 142.88/142.98 c 325 calls to solver: best=281978 lower=281979 upper=26830142 143.38/143.41 o 282100 143.78/143.85 o 282164 143.78/143.85 c 327 calls to solver: best=282164 lower=282165 upper=26830142 144.18/144.29 o 282769 144.68/144.72 o 282833 144.68/144.72 c 329 calls to solver: best=282833 lower=282834 upper=26830142 145.09/145.16 o 282875 145.58/145.60 o 283042 145.58/145.60 c 331 calls to solver: best=283042 lower=283043 upper=26830142 145.99/146.03 o 283430 146.38/146.47 o 284474 146.38/146.47 c 333 calls to solver: best=284474 lower=284475 upper=26830142 146.88/146.91 o 284764 147.28/147.35 o 284783 147.28/147.35 c 335 calls to solver: best=284783 lower=284784 upper=26830142 147.68/147.78 o 284886 148.18/148.22 o 285687 148.18/148.22 c 337 calls to solver: best=285687 lower=285688 upper=26830142 148.58/148.65 o 286112 148.99/149.09 o 286485 148.99/149.09 c 339 calls to solver: best=286485 lower=286486 upper=26830142 149.48/149.53 o 286549 149.88/149.96 o 286607 149.88/149.96 c 341 calls to solver: best=286607 lower=286608 upper=26830142 150.38/150.40 o 287081 150.78/150.83 o 287292 150.78/150.83 c 343 calls to solver: best=287292 lower=287293 upper=26830142 151.18/151.27 o 287356 151.68/151.70 o 288184 151.68/151.70 c 345 calls to solver: best=288184 lower=288185 upper=26830142 152.09/152.14 o 288472 152.48/152.58 o 288510 152.48/152.58 c 347 calls to solver: best=288510 lower=288511 upper=26830142 152.99/153.01 o 288531 153.38/153.45 o 288679 153.38/153.45 c 349 calls to solver: best=288679 lower=288680 upper=26830142 153.78/153.88 o 288743 154.28/154.32 o 289009 154.28/154.32 c 351 calls to solver: best=289009 lower=289010 upper=26830142 154.68/154.75 o 289478 155.09/155.19 o 289821 155.09/155.19 c 353 calls to solver: best=289821 lower=289822 upper=26830142 155.58/155.63 o 290398 155.99/156.06 o 290423 155.99/156.06 c 355 calls to solver: best=290423 lower=290424 upper=26830142 156.48/156.50 o 290443 156.88/156.93 o 290636 156.88/156.93 c 357 calls to solver: best=290636 lower=290637 upper=26830142 157.28/157.37 o 290888 157.78/157.80 o 290991 157.78/157.80 c 359 calls to solver: best=290991 lower=290992 upper=26830142 158.18/158.24 o 290993 158.58/158.68 o 291786 158.58/158.68 c 361 calls to solver: best=291786 lower=291787 upper=26830142 159.09/159.11 o 291850 159.48/159.55 o 292374 159.48/159.55 c 363 calls to solver: best=292374 lower=292375 upper=26830142 159.88/159.98 o 292410 160.38/160.42 o 292965 160.38/160.42 c 365 calls to solver: best=292965 lower=292966 upper=26830142 160.78/160.86 o 293813 161.18/161.29 o 294184 161.18/161.29 c 367 calls to solver: best=294184 lower=294185 upper=26830142 161.68/161.73 o 294248 162.09/162.16 o 294676 162.09/162.16 c 369 calls to solver: best=294676 lower=294677 upper=26830142 162.58/162.60 o 294687 162.99/163.03 o 295232 162.99/163.03 c 371 calls to solver: best=295232 lower=295233 upper=26830142 163.38/163.47 o 295297 163.88/163.91 o 295361 163.88/163.91 c 373 calls to solver: best=295361 lower=295362 upper=26830142 164.28/164.34 o 295423 164.68/164.78 o 295750 164.68/164.78 c 375 calls to solver: best=295750 lower=295751 upper=26830142 165.18/165.21 o 296559 165.58/165.65 o 296647 165.58/165.65 c 377 calls to solver: best=296647 lower=296648 upper=26830142 165.99/166.09 o 296701 166.48/166.52 o 297219 166.48/166.52 c 379 calls to solver: best=297219 lower=297220 upper=26830142 166.88/166.96 o 298046 167.28/167.39 o 298739 167.28/167.39 c 381 calls to solver: best=298739 lower=298740 upper=26830142 167.78/167.83 o 298803 168.18/168.27 o 299942 168.18/168.27 c 383 calls to solver: best=299942 lower=299943 upper=26830142 168.68/168.70 o 300004 169.09/169.14 o 300317 169.09/169.14 c 385 calls to solver: best=300317 lower=300318 upper=26830142 169.48/169.58 o 300819 169.99/170.01 o 301632 169.99/170.01 c 387 calls to solver: best=301632 lower=301633 upper=26830142 170.38/170.45 o 301777 170.78/170.89 o 302769 170.78/170.89 c 389 calls to solver: best=302769 lower=302770 upper=26830142 171.28/171.32 o 302806 171.68/171.76 o 303353 171.68/171.76 c 391 calls to solver: best=303353 lower=303354 upper=26830142 172.09/172.19 o 303412 172.58/172.63 o 304212 172.58/172.63 c 393 calls to solver: best=304212 lower=304213 upper=26830142 172.99/173.06 o 304383 173.48/173.50 o 305388 173.48/173.50 c 395 calls to solver: best=305388 lower=305389 upper=26830142 173.88/173.94 o 305514 174.28/174.37 o 305578 174.28/174.37 c 397 calls to solver: best=305578 lower=305579 upper=26830142 174.78/174.81 o 306026 175.18/175.24 o 306708 175.18/175.24 c 399 calls to solver: best=306708 lower=306709 upper=26830142 175.58/175.68 o 306770 176.09/176.12 o 306797 176.09/176.12 c 401 calls to solver: best=306797 lower=306798 upper=26830142 176.48/176.55 o 307016 176.88/176.99 o 307080 176.88/176.99 c 403 calls to solver: best=307080 lower=307081 upper=26830142 177.38/177.43 o 307883 177.78/177.86 o 308214 177.78/177.86 c 405 calls to solver: best=308214 lower=308215 upper=26830142 178.28/178.30 o 308964 178.68/178.73 o 309549 178.68/178.73 c 407 calls to solver: best=309549 lower=309550 upper=26830142 179.09/179.17 o 309960 179.58/179.61 o 310024 179.58/179.61 c 409 calls to solver: best=310024 lower=310025 upper=26830142 179.99/180.04 o 310468 180.38/180.48 o 311234 180.38/180.48 c 411 calls to solver: best=311234 lower=311235 upper=26830142 180.88/180.91 o 311344 181.28/181.35 o 311370 181.28/181.35 c 413 calls to solver: best=311370 lower=311371 upper=26830142 181.68/181.78 o 311498 182.18/182.22 o 311559 182.18/182.22 c 415 calls to solver: best=311559 lower=311560 upper=26830142 182.58/182.66 o 311581 182.99/183.09 o 312509 182.99/183.09 c 417 calls to solver: best=312509 lower=312510 upper=26830142 183.48/183.53 o 312658 183.88/183.96 o 313420 183.88/183.96 c 419 calls to solver: best=313420 lower=313421 upper=26830142 184.38/184.40 o 314202 184.78/184.84 o 314331 184.78/184.84 c 421 calls to solver: best=314331 lower=314332 upper=26830142 185.18/185.27 o 314395 185.68/185.71 o 314842 185.68/185.71 c 423 calls to solver: best=314842 lower=314843 upper=26830142 186.09/186.14 o 315019 186.48/186.58 o 315140 186.48/186.58 c 425 calls to solver: best=315140 lower=315141 upper=26830142 186.99/187.02 o 315236 187.38/187.45 o 315985 187.38/187.45 c 427 calls to solver: best=315985 lower=315986 upper=26830142 187.78/187.89 o 316626 188.28/188.32 o 317654 188.28/188.32 c 429 calls to solver: best=317654 lower=317655 upper=26830142 188.68/188.76 o 317933 189.09/189.19 o 318601 189.09/189.19 c 431 calls to solver: best=318601 lower=318602 upper=26830142 189.58/189.63 o 320057 189.99/190.07 o 320890 189.99/190.07 c 433 calls to solver: best=320890 lower=320891 upper=26830142 190.48/190.50 o 321044 190.88/190.94 o 321888 190.88/190.94 c 435 calls to solver: best=321888 lower=321889 upper=26830142 191.28/191.37 o 322812 191.78/191.81 o 322919 191.78/191.81 c 437 calls to solver: best=322919 lower=322920 upper=26830142 192.18/192.24 o 323088 192.58/192.68 o 323295 192.58/192.68 c 439 calls to solver: best=323295 lower=323296 upper=26830142 193.09/193.12 o 324055 193.48/193.55 o 324330 193.48/193.55 c 441 calls to solver: best=324330 lower=324331 upper=26830142 193.88/193.99 o 324405 194.38/194.42 o 324918 194.38/194.42 c 443 calls to solver: best=324918 lower=324919 upper=26830142 194.78/194.86 o 325361 195.28/195.30 o 325653 195.28/195.30 c 445 calls to solver: best=325653 lower=325654 upper=26830142 195.68/195.73 o 326543 196.09/196.17 o 326750 196.09/196.17 c 447 calls to solver: best=326750 lower=326751 upper=26830142 196.58/196.61 o 327016 196.99/197.04 o 327080 196.99/197.04 c 449 calls to solver: best=327080 lower=327081 upper=26830142 197.38/197.48 o 327105 197.88/197.91 o 327436 197.88/197.91 c 451 calls to solver: best=327436 lower=327437 upper=26830142 198.28/198.35 o 327500 198.68/198.79 o 328196 198.68/198.79 c 453 calls to solver: best=328196 lower=328197 upper=26830142 199.18/199.22 o 328260 199.58/199.66 o 328466 199.58/199.66 c 455 calls to solver: best=328466 lower=328467 upper=26830142 199.99/200.09 o 328604 200.48/200.53 o 328668 200.48/200.53 c 457 calls to solver: best=328668 lower=328669 upper=26830142 200.88/200.97 o 328900 201.38/201.40 o 329707 201.38/201.40 c 459 calls to solver: best=329707 lower=329708 upper=26830142 201.78/201.84 o 330450 202.18/202.28 o 330986 202.18/202.28 c 461 calls to solver: best=330986 lower=330987 upper=26830142 202.68/202.71 o 331390 203.09/203.15 o 331404 203.09/203.15 c 463 calls to solver: best=331404 lower=331405 upper=26830142 203.48/203.58 o 331760 203.99/204.02 o 331862 203.99/204.02 c 465 calls to solver: best=331862 lower=331863 upper=26830142 204.38/204.45 o 331876 204.78/204.89 o 331905 204.78/204.89 c 467 calls to solver: best=331905 lower=331906 upper=26830142 205.28/205.33 o 332141 205.68/205.76 o 332173 205.68/205.76 c 469 calls to solver: best=332173 lower=332174 upper=26830142 206.18/206.20 o 332220 206.58/206.63 o 332642 206.58/206.63 c 471 calls to solver: best=332642 lower=332643 upper=26830142 206.99/207.07 o 332648 207.48/207.50 o 332672 207.48/207.50 c 473 calls to solver: best=332672 lower=332673 upper=26830142 207.88/207.94 o 333511 208.28/208.37 o 333698 208.28/208.37 c 475 calls to solver: best=333698 lower=333699 upper=26830142 208.78/208.81 o 333757 209.18/209.25 o 334766 209.18/209.25 c 477 calls to solver: best=334766 lower=334767 upper=26830142 209.58/209.68 o 335692 210.09/210.12 o 336106 210.09/210.12 c 479 calls to solver: best=336106 lower=336107 upper=26830142 210.48/210.55 o 336563 210.88/210.99 o 337319 210.88/210.99 c 481 calls to solver: best=337319 lower=337320 upper=26830142 211.38/211.42 o 338304 211.78/211.86 o 338952 211.78/211.86 c 483 calls to solver: best=338952 lower=338953 upper=26830142 212.18/212.29 o 338989 212.68/212.73 o 340094 212.68/212.73 c 485 calls to solver: best=340094 lower=340095 upper=26830142 213.09/213.17 o 340879 213.58/213.60 o 340935 213.58/213.60 c 487 calls to solver: best=340935 lower=340936 upper=26830142 213.99/214.04 o 341230 214.38/214.47 o 342056 214.38/214.47 c 489 calls to solver: best=342056 lower=342057 upper=26830142 214.88/214.91 o 342313 215.28/215.34 o 342399 215.28/215.34 c 491 calls to solver: best=342399 lower=342400 upper=26830142 215.68/215.78 o 343161 216.18/216.21 o 343638 216.18/216.21 c 493 calls to solver: best=343638 lower=343639 upper=26830142 216.58/216.65 o 344012 216.99/217.08 o 344917 216.99/217.08 c 495 calls to solver: best=344917 lower=344918 upper=26830142 217.48/217.52 o 344932 217.88/217.95 o 345269 217.88/217.95 c 497 calls to solver: best=345269 lower=345270 upper=26830142 218.28/218.39 o 345383 218.78/218.83 o 346584 218.78/218.83 c 499 calls to solver: best=346584 lower=346585 upper=26830142 219.18/219.26 o 347788 219.68/219.70 o 347852 219.68/219.70 c 501 calls to solver: best=347852 lower=347853 upper=26830142 220.09/220.13 o 348184 220.48/220.57 o 348542 220.48/220.57 c 503 calls to solver: best=348542 lower=348543 upper=26830142 220.88/221.00 o 349262 221.38/221.44 o 349667 221.38/221.44 c 505 calls to solver: best=349667 lower=349668 upper=26830142 221.78/221.87 o 349731 222.28/222.31 o 350171 222.28/222.31 c 507 calls to solver: best=350171 lower=350172 upper=26830142 222.68/222.74 o 350988 223.09/223.18 o 351597 223.09/223.18 c 509 calls to solver: best=351597 lower=351598 upper=26830142 223.58/223.61 o 351882 223.99/224.05 o 352427 223.99/224.05 c 511 calls to solver: best=352427 lower=352428 upper=26830142 224.38/224.48 o 353191 224.88/224.92 o 353255 224.88/224.92 c 513 calls to solver: best=353255 lower=353256 upper=26830142 225.28/225.35 o 353904 225.68/225.79 o 354048 225.68/225.79 c 515 calls to solver: best=354048 lower=354049 upper=26830142 226.18/226.22 o 354725 226.58/226.66 o 354917 226.58/226.66 c 517 calls to solver: best=354917 lower=354918 upper=26830142 226.99/227.09 o 355476 227.48/227.53 o 356153 227.48/227.53 c 519 calls to solver: best=356153 lower=356154 upper=26830142 227.88/227.97 o 356232 228.38/228.40 o 356485 228.38/228.40 c 521 calls to solver: best=356485 lower=356486 upper=26830142 228.78/228.84 o 356972 229.18/229.27 o 358258 229.18/229.27 c 523 calls to solver: best=358258 lower=358259 upper=26830142 229.68/229.71 o 358430 230.09/230.14 o 358445 230.09/230.14 c 525 calls to solver: best=358445 lower=358446 upper=26830142 230.48/230.58 o 358467 230.99/231.01 o 358531 230.99/231.01 c 527 calls to solver: best=358531 lower=358532 upper=26830142 231.38/231.45 o 358593 231.78/231.88 o 358690 231.78/231.88 c 529 calls to solver: best=358690 lower=358691 upper=26830142 232.28/232.32 o 359026 232.68/232.75 o 359982 232.68/232.75 c 531 calls to solver: best=359982 lower=359983 upper=26830142 233.09/233.19 o 360001 233.58/233.62 o 360002 233.58/233.62 c 533 calls to solver: best=360002 lower=360003 upper=26830142 233.99/234.06 o 360066 234.38/234.49 o 360103 234.38/234.49 c 535 calls to solver: best=360103 lower=360104 upper=26830142 234.88/234.93 o 360372 235.28/235.36 o 360704 235.28/235.36 c 537 calls to solver: best=360704 lower=360705 upper=26830142 235.78/235.80 o 360960 236.18/236.23 o 361166 236.18/236.23 c 539 calls to solver: best=361166 lower=361167 upper=26830142 236.58/236.67 o 362209 237.09/237.10 o 362243 237.09/237.10 c 541 calls to solver: best=362243 lower=362244 upper=26830142 237.48/237.54 o 362280 237.88/237.97 o 362422 237.88/237.97 c 543 calls to solver: best=362422 lower=362423 upper=26830142 238.38/238.41 o 362498 238.78/238.84 o 362529 238.78/238.84 c 545 calls to solver: best=362529 lower=362530 upper=26830142 239.18/239.28 o 362567 239.68/239.72 o 362928 239.68/239.72 c 547 calls to solver: best=362928 lower=362929 upper=26830142 240.09/240.15 o 362947 240.48/240.59 o 363921 240.48/240.59 c 549 calls to solver: best=363921 lower=363922 upper=26830142 240.99/241.02 o 364641 241.38/241.46 o 364840 241.38/241.46 c 551 calls to solver: best=364840 lower=364841 upper=26830142 241.78/241.89 o 365880 242.28/242.33 o 365944 242.28/242.33 c 553 calls to solver: best=365944 lower=365945 upper=26830142 242.68/242.76 o 366126 243.18/243.20 o 366190 243.18/243.20 c 555 calls to solver: best=366190 lower=366191 upper=26830142 243.58/243.63 o 366373 243.99/244.07 o 366391 243.99/244.07 c 557 calls to solver: best=366391 lower=366392 upper=26830142 244.48/244.50 o 366844 244.88/244.94 o 366908 244.88/244.94 c 559 calls to solver: best=366908 lower=366909 upper=26830142 245.28/245.37 o 367135 245.78/245.81 o 367763 245.78/245.81 c 561 calls to solver: best=367763 lower=367764 upper=26830142 246.18/246.24 o 368032 246.58/246.68 o 369031 246.58/246.68 c 563 calls to solver: best=369031 lower=369032 upper=26830142 247.09/247.11 o 369894 247.48/247.55 o 370202 247.48/247.55 c 565 calls to solver: best=370202 lower=370203 upper=26830142 247.88/247.98 o 370693 248.38/248.42 o 370757 248.38/248.42 c 567 calls to solver: best=370757 lower=370758 upper=26830142 248.78/248.85 o 371185 249.18/249.29 o 371195 249.18/249.29 c 569 calls to solver: best=371195 lower=371196 upper=26830142 249.68/249.72 o 371853 250.09/250.16 o 372757 250.09/250.16 c 571 calls to solver: best=372757 lower=372758 upper=26830142 250.48/250.59 o 373758 250.99/251.03 o 373785 250.99/251.03 c 573 calls to solver: best=373785 lower=373786 upper=26830142 251.38/251.47 o 374964 251.88/251.90 o 375130 251.88/251.90 c 575 calls to solver: best=375130 lower=375131 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 : 285 (1 /sec) 251.99/252.00 c decisions : 1154903 (4583 /sec) 251.99/252.00 c propagations : 1184653 (4701 /sec) 251.99/252.00 c root propagations : 2000 251.99/252.00 c filter calls : 7110068 (28216 /sec) 251.99/252.00 c useless filter calls : 7104860 (99 %) 251.99/252.00 c Memory used : 48.41 MB 251.99/252.00 c CPU time : 251.985 s 251.99/252.00 251.99/252.00 c nb Solutions = 575 251.99/252.00 s SATISFIABLE 251.99/252.00 c Best value found: 375130 251.99/252.00 251.99/252.00 251.99/252.00 v <instantiation type='solution' cost='375130'> 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 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 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 0 0 0 0 0 0 0 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 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 </values> 251.99/252.00 v </instantiation> 251.99/252.00
OK 375130
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 (13422 MiB free)
memory of node 1: 16384 MiB (14317 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301452-1532881500/watcher-4301452-1532881500 -o /tmp/evaluation-result-4301452-1532881500/solver-4301452-1532881500 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532878455-19305 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4301452-1532881500.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21124, runsolver pid=21121
[startup+0.100114 s]*
/proc/loadavg: 2.26 2.09 2.03 3/193 21125
/proc/meminfo: memFree=28402256/32770624 swapFree=67108744/67108860
[pid=21124] ppid=21121 vsize=30672 memory=6952 CPUtime=0.1 cores=1,3,5,7
/proc/21124/stat : 21124 (cosoco) R 21121 21124 19273 0 -1 4202496 1947 0 0 0 10 0 0 0 20 0 1 0 105713172 31408128 1738 33554432000 4194304 6142532 140721321692592 140721321689224 5748562 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 25206784 140721321694347 140721321694477 140721321694477 140721321697230 0
/proc/21124/statm: 7668 1738 821 476 0 990 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30672 KiB
Current children cumulated memory: 6952 KiB
[startup+0.209744 s]*
/proc/loadavg: 2.26 2.09 2.03 3/193 21125
/proc/meminfo: memFree=28401512/32770624 swapFree=67108744/67108860
[pid=21124] ppid=21121 vsize=31732 memory=8268 CPUtime=0.21 cores=1,3,5,7
/proc/21124/stat : 21124 (cosoco) R 21121 21124 19273 0 -1 4202496 2263 0 0 0 21 0 0 0 20 0 1 0 105713172 32493568 2067 33554432000 4194304 6142532 140721321692592 140721321689224 140658901666789 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 25206784 140721321694347 140721321694477 140721321694477 140721321697230 0
/proc/21124/statm: 7933 2067 865 476 0 1255 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 31732 KiB
Current children cumulated memory: 8268 KiB
[startup+0.3092 s]*
/proc/loadavg: 2.26 2.09 2.03 3/193 21125
/proc/meminfo: memFree=28398164/32770624 swapFree=67108744/67108860
[pid=21124] ppid=21121 vsize=35320 memory=11964 CPUtime=0.31 cores=1,3,5,7
/proc/21124/stat : 21124 (cosoco) R 21121 21124 19273 0 -1 4202496 3159 0 0 0 31 0 0 0 20 0 1 0 105713172 36167680 2991 33554432000 4194304 6142532 140721321692592 140721321689224 140658901666789 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 25206784 140721321694347 140721321694477 140721321694477 140721321697230 0
/proc/21124/statm: 8830 2991 865 476 0 2152 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 35320 KiB
Current children cumulated memory: 11964 KiB
[startup+0.700236 s]
/proc/loadavg: 2.26 2.09 2.03 3/193 21125
/proc/meminfo: memFree=28393392/32770624 swapFree=67108744/67108860
[pid=21124] ppid=21121 vsize=41208 memory=17772 CPUtime=0.69 cores=1,3,5,7
/proc/21124/stat : 21124 (cosoco) R 21121 21124 19273 0 -1 4202496 4609 0 0 0 69 0 0 0 20 0 1 0 105713172 42196992 4443 33554432000 4194304 6142532 140721321692592 140721321689448 140658901666789 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 25206784 140721321694347 140721321694477 140721321694477 140721321697230 0
/proc/21124/statm: 10302 4443 866 476 0 3624 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 41208 KiB
Current children cumulated memory: 17772 KiB
[startup+1.50024 s]
/proc/loadavg: 2.26 2.09 2.03 3/193 21125
/proc/meminfo: memFree=28387704/32770624 swapFree=67108744/67108860
[pid=21124] ppid=21121 vsize=45948 memory=22372 CPUtime=1.48 cores=1,3,5,7
/proc/21124/stat : 21124 (cosoco) R 21121 21124 19273 0 -1 4202496 5811 0 0 0 148 0 0 0 20 0 1 0 105713172 47050752 5593 33554432000 4194304 6142532 140721321692592 140721321689448 5215620 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 25206784 140721321694347 140721321694477 140721321694477 140721321697230 0
/proc/21124/statm: 11487 5593 866 476 0 4809 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 45948 KiB
Current children cumulated memory: 22372 KiB
[startup+3.10934 s]
/proc/loadavg: 2.26 2.09 2.03 3/192 21126
/proc/meminfo: memFree=28385984/32770624 swapFree=67108744/67108860
[pid=21124] ppid=21121 vsize=45948 memory=22620 CPUtime=3.09 cores=1,3,5,7
/proc/21124/stat : 21124 (cosoco) R 21121 21124 19273 0 -1 4202496 8581 0 0 0 309 0 0 0 20 0 1 0 105713172 47050752 5655 33554432000 4194304 6142532 140721321692592 140721321690120 5138885 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 25206784 140721321694347 140721321694477 140721321694477 140721321697230 0
/proc/21124/statm: 11487 5655 866 476 0 4809 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 45948 KiB
Current children cumulated memory: 22620 KiB
[startup+6.30022 s]
/proc/loadavg: 2.24 2.09 2.03 3/192 21126
/proc/meminfo: memFree=28385844/32770624 swapFree=67108744/67108860
[pid=21124] ppid=21121 vsize=45948 memory=22620 CPUtime=6.29 cores=1,3,5,7
/proc/21124/stat : 21124 (cosoco) R 21121 21124 19273 0 -1 4202496 11389 0 0 0 628 1 0 0 20 0 1 0 105713172 47050752 5655 33554432000 4194304 6142532 140721321692592 140721321690120 5215632 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 25206784 140721321694347 140721321694477 140721321694477 140721321697230 0
/proc/21124/statm: 11487 5655 866 476 0 4809 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 45948 KiB
Current children cumulated memory: 22620 KiB
[startup+12.7002 s]
/proc/loadavg: 2.22 2.09 2.03 3/192 21126
/proc/meminfo: memFree=28385960/32770624 swapFree=67108744/67108860
[pid=21124] ppid=21121 vsize=45948 memory=22620 CPUtime=12.69 cores=1,3,5,7
/proc/21124/stat : 21124 (cosoco) R 21121 21124 19273 0 -1 4202496 14733 0 0 0 1268 1 0 0 20 0 1 0 105713172 47050752 5655 33554432000 4194304 6142532 140721321692592 140721321690120 5347460 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 25206784 140721321694347 140721321694477 140721321694477 140721321697230 0
/proc/21124/statm: 11487 5655 866 476 0 4809 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 45948 KiB
Current children cumulated memory: 22620 KiB
[startup+25.5003 s]
/proc/loadavg: 2.24 2.10 2.04 3/192 21187
/proc/meminfo: memFree=28385860/32770624 swapFree=67108744/67108860
[pid=21124] ppid=21121 vsize=47548 memory=24104 CPUtime=25.48 cores=1,3,5,7
/proc/21124/stat : 21124 (cosoco) R 21121 21124 19273 0 -1 4202496 21646 0 0 0 2547 1 0 0 20 0 1 0 105713172 48689152 6026 33554432000 4194304 6142532 140721321692592 140721321679864 5138684 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 25206784 140721321694347 140721321694477 140721321694477 140721321697230 0
/proc/21124/statm: 11887 6026 866 476 0 5209 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 47548 KiB
Current children cumulated memory: 24104 KiB
[startup+51.1091 s]
/proc/loadavg: 2.10 2.08 2.03 3/192 21187
/proc/meminfo: memFree=28383484/32770624 swapFree=67108744/67108860
[pid=21124] ppid=21121 vsize=49156 memory=25756 CPUtime=51.09 cores=1,3,5,7
/proc/21124/stat : 21124 (cosoco) R 21121 21124 19273 0 -1 4202496 22681 0 0 0 5108 1 0 0 20 0 1 0 105713172 50335744 6439 33554432000 4194304 6142532 140721321692592 140721321679864 5215653 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 25206784 140721321694347 140721321694477 140721321694477 140721321697230 0
/proc/21124/statm: 12289 6439 866 476 0 5611 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 49156 KiB
Current children cumulated memory: 25756 KiB
[startup+102.3 s]
/proc/loadavg: 2.08 2.08 2.04 3/192 21188
/proc/meminfo: memFree=28382484/32770624 swapFree=67108744/67108860
[pid=21124] ppid=21121 vsize=49296 memory=25940 CPUtime=102.28 cores=1,3,5,7
/proc/21124/stat : 21124 (cosoco) R 21121 21124 19273 0 -1 4202496 23428 0 0 0 10227 1 0 0 20 0 1 0 105713172 50479104 6485 33554432000 4194304 6142532 140721321692592 140721321690120 5215644 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 25206784 140721321694347 140721321694477 140721321694477 140721321697230 0
/proc/21124/statm: 12324 6485 866 476 0 5646 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 49296 KiB
Current children cumulated memory: 25940 KiB
[startup+162.3 s]
/proc/loadavg: 2.03 2.07 2.04 3/191 21189
/proc/meminfo: memFree=28379916/32770624 swapFree=67108744/67108860
[pid=21124] ppid=21121 vsize=49436 memory=26100 CPUtime=162.28 cores=1,3,5,7
/proc/21124/stat : 21124 (cosoco) R 21121 21124 19273 0 -1 4202496 24160 0 0 0 16227 1 0 0 20 0 1 0 105713172 50622464 6525 33554432000 4194304 6142532 140721321692592 140721321690120 5215632 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 25206784 140721321694347 140721321694477 140721321694477 140721321697230 0
/proc/21124/statm: 12359 6525 866 476 0 5681 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 49436 KiB
Current children cumulated memory: 26100 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.05 2.04 3/191 21191
/proc/meminfo: memFree=28379428/32770624 swapFree=67108744/67108860
[pid=21124] ppid=21121 vsize=49572 memory=26176 CPUtime=222.28 cores=1,3,5,7
/proc/21124/stat : 21124 (cosoco) R 21121 21124 19273 0 -1 4202496 24864 0 0 0 22227 1 0 0 20 0 1 0 105713172 50761728 6544 33554432000 4194304 6142532 140721321692592 140721321690120 5215632 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 25206784 140721321694347 140721321694477 140721321694477 140721321697230 0
/proc/21124/statm: 12393 6544 866 476 0 5715 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 49572 KiB
Current children cumulated memory: 26176 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252 s]*
/proc/loadavg: 2.01 2.05 2.04 3/190 21191
/proc/meminfo: memFree=28379444/32770624 swapFree=67108744/67108860
[pid=21124] ppid=21121 vsize=49572 memory=26208 CPUtime=251.99 cores=1,3,5,7
/proc/21124/stat : 21124 (cosoco) R 21121 21124 19273 0 -1 4202496 25542 0 0 0 25198 1 0 0 20 0 1 0 105713172 50761728 6552 33554432000 4194304 6142532 140721321692592 140721321690120 5347469 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 25206784 140721321694347 140721321694477 140721321694477 140721321697230 0
/proc/21124/statm: 12393 6552 866 476 0 5715 0
Current children cumulated CPU time: 251.99 s
Current children cumulated vsize: 49572 KiB
Current children cumulated memory: 26208 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+252.01 s]
# the end of solver process 21124 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.985 s, system=0.018 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 252.01
CPU time (s): 252.003
CPU user time (s): 251.985
CPU system time (s): 0.018
CPU usage (%): 99.9969
Max. virtual memory (cumulated for all children) (KiB): 49572
Max. memory (cumulated for all children) (KiB): 26208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.985
system time used= 0.018
maximum resident set size= 26296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25579
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= 20
involuntary context switches= 70
# summary of solver processes directly reported to runsolver:
# pid: 21124
# total CPU time (s): 252.003
# total CPU user time (s): 251.985
# total CPU system time (s): 0.018
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.929469 second user time and 1.69795 second system time
The end
Begin job on node134 at 2018-07-29 18:25:00 IDJOB=4301452 IDBENCH=141158 IDSOLVER=2774 FILE ID=node134/4301452-1532881500 RUNJOBID= node134-1532878455-19305 PBS_JOBID= 21022511 Free space on /tmp= 60956 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/Auction/Auction-cnt/Auction-cnt-decay200_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4301452-1532881500/watcher-4301452-1532881500 -o /tmp/evaluation-result-4301452-1532881500/solver-4301452-1532881500 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532878455-19305 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4301452-1532881500.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b9a88cf563e94a20e010143964b9c3ad RANDOM SEED=289356883 node134.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 28406168 kB MemAvailable: 31948544 kB Buffers: 202408 kB Cached: 3610764 kB SwapCached: 0 kB Active: 1632416 kB Inactive: 2258384 kB Active(anon): 26692 kB Inactive(anon): 78480 kB Active(file): 1605724 kB Inactive(file): 2179904 kB Unevictable: 7364 kB Mlocked: 7364 kB SwapTotal: 67108860 kB SwapFree: 67108744 kB Dirty: 2772 kB Writeback: 0 kB AnonPages: 109280 kB Mapped: 47024 kB Shmem: 25132 kB Slab: 173676 kB SReclaimable: 145164 kB SUnreclaim: 28512 kB KernelStack: 3456 kB PageTables: 5024 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 374148 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 53248 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 60952 MiB End job on node134 at 2018-07-29 18:29:12