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) | 421162 | 252.026 | 252.01 |
| Name | Auction/Auction-cnt/ Auction-cnt-decay300_c18.xml |
| MD5SUM | 39aa8271d93aad234a0495f796e0a456 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 1822443 |
| Best CPU time to get the best result obtained on this benchmark | 252.105 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2000 |
| Number of constraints | 300 |
| Number of domains | 1 |
| Minimum domain size | 2 |
| Maximum domain size | 2 |
| Distribution of domain sizes | [{"size":2,"count":2000}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 32 |
| Distribution of variable degrees | [{"degree":2,"count":246},{"degree":3,"count":424},{"degree":4,"count":324},{"degree":5,"count":234},{"degree":6,"count":177},{"degree":7,"count":133},{"degree":8,"count":113},{"degree":9,"count":81},{"degree":10,"count":53},{"degree":11,"count":33},{"degree":12,"count":38},{"degree":13,"count":40},{"degree":14,"count":26},{"degree":15,"count":16},{"degree":16,"count":16},{"degree":17,"count":11},{"degree":18,"count":9},{"degree":19,"count":2},{"degree":20,"count":5},{"degree":21,"count":1},{"degree":22,"count":3},{"degree":23,"count":1},{"degree":24,"count":4},{"degree":25,"count":2},{"degree":26,"count":3},{"degree":27,"count":2},{"degree":28,"count":1},{"degree":29,"count":1},{"degree":32,"count":1}] |
| Minimum constraint arity | 17 |
| Maximum constraint arity | 46 |
| Distribution of constraint arities | [{"arity":17,"count":1},{"arity":19,"count":3},{"arity":20,"count":2},{"arity":21,"count":2},{"arity":22,"count":4},{"arity":23,"count":5},{"arity":24,"count":9},{"arity":25,"count":14},{"arity":26,"count":7},{"arity":27,"count":15},{"arity":28,"count":18},{"arity":29,"count":21},{"arity":30,"count":20},{"arity":31,"count":26},{"arity":32,"count":22},{"arity":33,"count":26},{"arity":34,"count":14},{"arity":35,"count":17},{"arity":36,"count":11},{"arity":37,"count":14},{"arity":38,"count":15},{"arity":39,"count":10},{"arity":40,"count":5},{"arity":41,"count":6},{"arity":42,"count":4},{"arity":43,"count":5},{"arity":45,"count":2},{"arity":46,"count":2}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"count","count":300}] |
| Optimization problem | YES |
| Type of objective | max SUM |
0.10/0.12 c best=?? lower=0 upper=26355910 0.31/0.38 c 0.31/0.38 c This is cosoco 1.12 -- 0.31/0.38 c 0.31/0.38 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4301443-1532881257.xml 0.31/0.38 c enable optimization 0.31/0.38 c ========================================[ Problem Statistics ]=========================================== 0.31/0.38 c | 0.31/0.38 c | Parse time : 0.13 s 0.31/0.38 c | 0.31/0.38 c | Variables: 2000 0.31/0.38 c | Domain Sizes: 2..2 0.31/0.38 c | 0.31/0.38 c | Constraints: 301 0.31/0.38 c | Arity: 17..2000 0.31/0.38 c | 0.31/0.38 c | Types: 0.31/0.38 c | At most: 300 0.31/0.38 c | Sum: 1 0.31/0.38 c | 0.31/0.38 c | Objective: Maximize Sum 0.31/0.38 0.31/0.38 c ========================================================================================================= 0.31/0.38 o 0 0.31/0.38 c 1 calls to solver: best=0 lower=1 upper=26355910 0.78/0.82 o 8147 1.19/1.26 o 32658 1.19/1.26 c 3 calls to solver: best=32658 lower=32659 upper=26355910 1.69/1.70 o 35769 2.10/2.14 o 50111 2.10/2.14 c 5 calls to solver: best=50111 lower=50112 upper=26355910 2.49/2.57 o 58650 3.00/3.01 o 60490 3.00/3.01 c 7 calls to solver: best=60490 lower=60491 upper=26355910 3.39/3.44 o 60720 3.79/3.88 o 61647 3.79/3.88 c 9 calls to solver: best=61647 lower=61648 upper=26355910 4.29/4.32 o 73707 4.69/4.76 o 80097 4.69/4.76 c 11 calls to solver: best=80097 lower=80098 upper=26355910 5.10/5.19 o 80166 5.59/5.63 o 84864 5.59/5.63 c 13 calls to solver: best=84864 lower=84865 upper=26355910 6.00/6.07 o 97853 6.49/6.50 o 98415 6.49/6.50 c 15 calls to solver: best=98415 lower=98416 upper=26355910 6.89/6.94 o 104317 7.29/7.37 o 105148 7.29/7.37 c 17 calls to solver: best=105148 lower=105149 upper=26355910 7.79/7.81 o 108977 8.19/8.25 o 109895 8.19/8.25 c 19 calls to solver: best=109895 lower=109896 upper=26355910 8.59/8.69 o 121630 9.10/9.12 o 122228 9.10/9.12 c 21 calls to solver: best=122228 lower=122229 upper=26355910 9.49/9.56 o 122643 9.89/10.00 o 123134 9.89/10.00 c 23 calls to solver: best=123134 lower=123135 upper=26355910 10.39/10.44 o 131396 10.79/10.88 o 131883 10.79/10.88 c 25 calls to solver: best=131883 lower=131884 upper=26355910 11.29/11.32 o 131973 11.69/11.75 o 135020 11.69/11.75 c 27 calls to solver: best=135020 lower=135021 upper=26355910 12.10/12.19 o 139006 12.59/12.63 o 146008 12.59/12.63 c 29 calls to solver: best=146008 lower=146009 upper=26355910 13.00/13.07 o 146405 13.49/13.51 o 147672 13.49/13.51 c 31 calls to solver: best=147672 lower=147673 upper=26355910 13.89/13.95 o 151658 14.29/14.38 o 152286 14.29/14.38 c 33 calls to solver: best=152286 lower=152287 upper=26355910 14.79/14.82 o 154317 15.19/15.26 o 156511 15.19/15.26 c 35 calls to solver: best=156511 lower=156512 upper=26355910 15.59/15.69 o 163156 16.10/16.13 o 164822 16.10/16.13 c 37 calls to solver: best=164822 lower=164823 upper=26355910 16.49/16.56 o 165119 16.89/17.00 o 165842 16.89/17.00 c 39 calls to solver: best=165842 lower=165843 upper=26355910 17.39/17.43 o 166871 17.79/17.87 o 168070 17.79/17.87 c 41 calls to solver: best=168070 lower=168071 upper=26355910 18.29/18.31 o 168533 18.69/18.74 o 171238 18.69/18.74 c 43 calls to solver: best=171238 lower=171239 upper=26355910 19.10/19.18 o 179553 19.59/19.62 o 180461 19.59/19.62 c 45 calls to solver: best=180461 lower=180462 upper=26355910 20.00/20.06 o 182581 20.39/20.49 o 192149 20.39/20.49 c 47 calls to solver: best=192149 lower=192150 upper=26355910 20.89/20.93 o 194163 21.29/21.37 o 195383 21.29/21.37 c 49 calls to solver: best=195383 lower=195384 upper=26355910 21.79/21.81 o 197135 22.19/22.25 o 199405 22.19/22.25 c 51 calls to solver: best=199405 lower=199406 upper=26355910 22.59/22.68 o 199549 23.10/23.13 o 200745 23.10/23.13 c 53 calls to solver: best=200745 lower=200746 upper=26355910 23.49/23.56 o 201941 23.89/24.00 o 202474 23.89/24.00 c 55 calls to solver: best=202474 lower=202475 upper=26355910 24.39/24.44 o 203938 24.79/24.88 o 206456 24.79/24.88 c 57 calls to solver: best=206456 lower=206457 upper=26355910 25.29/25.31 o 206556 25.69/25.75 o 207364 25.69/25.75 c 59 calls to solver: best=207364 lower=207365 upper=26355910 26.10/26.19 o 211238 26.59/26.63 o 214412 26.59/26.63 c 61 calls to solver: best=214412 lower=214413 upper=26355910 27.00/27.06 o 214917 27.49/27.50 o 215896 27.49/27.50 c 63 calls to solver: best=215896 lower=215897 upper=26355910 27.89/27.94 o 217360 28.29/28.37 o 218034 28.29/28.37 c 65 calls to solver: best=218034 lower=218035 upper=26355910 28.79/28.81 o 218939 29.19/29.25 o 219143 29.19/29.25 c 67 calls to solver: best=219143 lower=219144 upper=26355910 29.59/29.69 o 219970 30.10/30.13 o 222657 30.10/30.13 c 69 calls to solver: best=222657 lower=222658 upper=26355910 30.49/30.56 o 223285 30.89/31.00 o 224357 30.89/31.00 c 71 calls to solver: best=224357 lower=224358 upper=26355910 31.39/31.44 o 225192 31.79/31.88 o 225996 31.79/31.88 c 73 calls to solver: best=225996 lower=225997 upper=26355910 32.29/32.32 o 226496 32.69/32.76 o 226662 32.69/32.76 c 75 calls to solver: best=226662 lower=226663 upper=26355910 33.10/33.19 o 226938 33.59/33.63 o 226970 33.59/33.63 c 77 calls to solver: best=226970 lower=226971 upper=26355910 34.00/34.07 o 227630 34.49/34.51 o 227914 34.49/34.51 c 79 calls to solver: best=227914 lower=227915 upper=26355910 34.89/34.94 o 228164 35.29/35.38 o 228177 35.29/35.38 c 81 calls to solver: best=228177 lower=228178 upper=26355910 35.79/35.82 o 228181 36.19/36.26 o 230114 36.19/36.26 c 83 calls to solver: best=230114 lower=230115 upper=26355910 36.59/36.69 o 231088 37.10/37.13 o 233136 37.10/37.13 c 85 calls to solver: best=233136 lower=233137 upper=26355910 37.49/37.57 o 233655 38.00/38.01 o 234449 38.00/38.01 c 87 calls to solver: best=234449 lower=234450 upper=26355910 38.39/38.45 o 236052 38.79/38.89 o 236812 38.79/38.89 c 89 calls to solver: best=236812 lower=236813 upper=26355910 39.29/39.33 o 237243 39.69/39.77 o 237762 39.69/39.77 c 91 calls to solver: best=237762 lower=237763 upper=26355910 40.19/40.20 o 238430 40.59/40.64 o 239545 40.59/40.64 c 93 calls to solver: best=239545 lower=239546 upper=26355910 41.00/41.08 o 239663 41.49/41.52 o 240299 41.49/41.52 c 95 calls to solver: best=240299 lower=240300 upper=26355910 41.89/41.96 o 241486 42.29/42.39 o 242497 42.29/42.39 c 97 calls to solver: best=242497 lower=242498 upper=26355910 42.79/42.83 o 243525 43.19/43.27 o 244329 43.19/43.27 c 99 calls to solver: best=244329 lower=244330 upper=26355910 43.69/43.71 o 247361 44.10/44.15 o 249661 44.10/44.15 c 101 calls to solver: best=249661 lower=249662 upper=26355910 44.49/44.59 o 250625 45.00/45.02 o 251884 45.00/45.02 c 103 calls to solver: best=251884 lower=251885 upper=26355910 45.39/45.46 o 252071 45.89/45.90 o 253803 45.89/45.90 c 105 calls to solver: best=253803 lower=253804 upper=26355910 46.29/46.34 o 254252 46.69/46.78 o 255315 46.69/46.78 c 107 calls to solver: best=255315 lower=255316 upper=26355910 47.19/47.21 o 256459 47.59/47.65 o 259020 47.59/47.65 c 109 calls to solver: best=259020 lower=259021 upper=26355910 48.00/48.09 o 261127 48.49/48.53 o 262791 48.49/48.53 c 111 calls to solver: best=262791 lower=262792 upper=26355910 48.89/48.97 o 266264 49.39/49.41 o 267468 49.39/49.41 c 113 calls to solver: best=267468 lower=267469 upper=26355910 49.79/49.85 o 271336 50.19/50.28 o 274338 50.19/50.28 c 115 calls to solver: best=274338 lower=274339 upper=26355910 50.69/50.72 o 279009 51.10/51.16 o 279030 51.10/51.16 c 117 calls to solver: best=279030 lower=279031 upper=26355910 51.59/51.60 o 282887 52.00/52.04 o 284008 52.00/52.04 c 119 calls to solver: best=284008 lower=284009 upper=26355910 52.39/52.48 o 285575 52.89/52.91 o 287234 52.89/52.91 c 121 calls to solver: best=287234 lower=287235 upper=26355910 53.29/53.35 o 290560 53.69/53.79 o 290687 53.69/53.79 c 123 calls to solver: best=290687 lower=290688 upper=26355910 54.19/54.23 o 293807 54.59/54.67 o 296084 54.59/54.67 c 125 calls to solver: best=296084 lower=296085 upper=26355910 55.10/55.11 o 299405 55.49/55.55 o 299770 55.49/55.55 c 127 calls to solver: best=299770 lower=299771 upper=26355910 56.39/56.41 o 300569 56.79/56.85 o 301328 56.79/56.85 c 129 calls to solver: best=301328 lower=301329 upper=26355910 57.19/57.29 o 301569 57.69/57.73 o 303081 57.69/57.73 c 131 calls to solver: best=303081 lower=303082 upper=26355910 58.10/58.17 o 303924 58.59/58.60 o 305969 58.59/58.60 c 133 calls to solver: best=305969 lower=305970 upper=26355910 59.00/59.04 o 306249 59.39/59.48 o 307372 59.39/59.48 c 135 calls to solver: best=307372 lower=307373 upper=26355910 59.89/59.92 o 309821 60.29/60.36 o 310508 60.29/60.36 c 137 calls to solver: best=310508 lower=310509 upper=26355910 60.69/60.79 o 310563 61.19/61.23 o 311321 61.19/61.23 c 139 calls to solver: best=311321 lower=311322 upper=26355910 61.59/61.67 o 313409 62.10/62.11 o 313775 62.10/62.11 c 141 calls to solver: best=313775 lower=313776 upper=26355910 62.49/62.55 o 315044 62.89/62.98 o 318567 62.89/62.98 c 143 calls to solver: best=318567 lower=318568 upper=26355910 63.39/63.42 o 320751 63.79/63.86 o 323849 63.79/63.86 c 145 calls to solver: best=323849 lower=323850 upper=26355910 64.29/64.30 o 325025 64.69/64.74 o 325350 64.69/64.74 c 147 calls to solver: best=325350 lower=325351 upper=26355910 65.10/65.18 o 325426 66.69/66.78 o 326226 66.69/66.78 c 149 calls to solver: best=326226 lower=326227 upper=26355910 67.69/67.72 o 326592 68.10/68.16 o 326859 68.10/68.16 c 151 calls to solver: best=326859 lower=326860 upper=26355910 68.59/68.60 o 327458 69.00/69.04 o 327470 69.00/69.04 c 153 calls to solver: best=327470 lower=327471 upper=26355910 69.39/69.48 o 327472 69.89/69.92 o 327840 69.89/69.92 c 155 calls to solver: best=327840 lower=327841 upper=26355910 70.29/70.36 o 328665 70.79/70.80 o 329374 70.79/70.80 c 157 calls to solver: best=329374 lower=329375 upper=26355910 71.19/71.24 o 329396 71.59/71.67 o 329519 71.59/71.67 c 159 calls to solver: best=329519 lower=329520 upper=26355910 72.10/72.11 o 329662 72.49/72.55 o 329677 72.49/72.55 c 161 calls to solver: best=329677 lower=329678 upper=26355910 72.89/72.99 o 331063 73.39/73.43 o 331131 73.39/73.43 c 163 calls to solver: best=331131 lower=331132 upper=26355910 73.79/73.87 o 331355 74.29/74.31 o 331437 74.29/74.31 c 165 calls to solver: best=331437 lower=331438 upper=26355910 74.69/74.75 o 331459 75.10/75.18 o 331565 75.10/75.18 c 167 calls to solver: best=331565 lower=331566 upper=26355910 75.59/75.62 o 331696 76.00/76.06 o 332056 76.00/76.06 c 169 calls to solver: best=332056 lower=332057 upper=26355910 76.49/76.50 o 332738 76.89/76.94 o 333119 76.89/76.94 c 171 calls to solver: best=333119 lower=333120 upper=26355910 77.29/77.38 o 333999 77.79/77.82 o 335691 77.79/77.82 c 173 calls to solver: best=335691 lower=335692 upper=26355910 78.19/78.26 o 335815 78.69/78.70 o 336191 78.69/78.70 c 175 calls to solver: best=336191 lower=336192 upper=26355910 79.10/79.14 o 336374 79.49/79.57 o 336801 79.49/79.57 c 177 calls to solver: best=336801 lower=336802 upper=26355910 80.00/80.01 o 336932 80.39/80.45 o 337644 80.39/80.45 c 179 calls to solver: best=337644 lower=337645 upper=26355910 80.79/80.89 o 338165 81.29/81.33 o 338313 81.29/81.33 c 181 calls to solver: best=338313 lower=338314 upper=26355910 81.69/81.77 o 338638 82.19/82.21 o 338642 82.19/82.21 c 183 calls to solver: best=338642 lower=338643 upper=26355910 82.59/82.65 o 338878 83.00/83.09 o 338881 83.00/83.09 c 185 calls to solver: best=338881 lower=338882 upper=26355910 83.49/83.53 o 338885 83.89/83.96 o 339454 83.89/83.96 c 187 calls to solver: best=339454 lower=339455 upper=26355910 84.39/84.40 o 339857 84.79/84.84 o 340157 84.79/84.84 c 189 calls to solver: best=340157 lower=340158 upper=26355910 85.19/85.28 o 340289 85.69/85.72 o 340426 85.69/85.72 c 191 calls to solver: best=340426 lower=340427 upper=26355910 86.10/86.16 o 340470 86.59/86.60 o 340474 86.59/86.60 c 193 calls to solver: best=340474 lower=340475 upper=26355910 87.00/87.03 o 340489 87.39/87.47 o 340902 87.39/87.47 c 195 calls to solver: best=340902 lower=340903 upper=26355910 87.89/87.91 o 340985 88.29/88.35 o 341073 88.29/88.35 c 197 calls to solver: best=341073 lower=341074 upper=26355910 88.69/88.79 o 341563 89.19/89.23 o 341760 89.19/89.23 c 199 calls to solver: best=341760 lower=341761 upper=26355910 89.59/89.67 o 342060 90.00/90.10 o 342203 90.00/90.10 c 201 calls to solver: best=342203 lower=342204 upper=26355910 90.49/90.54 o 342737 90.89/90.98 o 342941 90.89/90.98 c 203 calls to solver: best=342941 lower=342942 upper=26355910 91.39/91.42 o 343010 91.79/91.86 o 343146 91.79/91.86 c 205 calls to solver: best=343146 lower=343147 upper=26355910 92.19/92.29 o 343234 92.69/92.73 o 343294 92.69/92.73 c 207 calls to solver: best=343294 lower=343295 upper=26355910 93.10/93.17 o 343408 93.59/93.61 o 343657 93.59/93.61 c 209 calls to solver: best=343657 lower=343658 upper=26355910 94.00/94.05 o 344403 94.39/94.49 o 344941 94.39/94.49 c 211 calls to solver: best=344941 lower=344942 upper=26355910 94.89/94.93 o 345237 95.29/95.36 o 346224 95.29/95.36 c 213 calls to solver: best=346224 lower=346225 upper=26355910 95.79/95.80 o 346661 96.19/96.24 o 347470 96.19/96.24 c 215 calls to solver: best=347470 lower=347471 upper=26355910 96.59/96.68 o 348156 97.10/97.12 o 349564 97.10/97.12 c 217 calls to solver: best=349564 lower=349565 upper=26355910 97.49/97.55 o 350331 97.89/97.99 o 350837 97.89/97.99 c 219 calls to solver: best=350837 lower=350838 upper=26355910 98.39/98.43 o 352459 98.79/98.87 o 352465 98.79/98.87 c 221 calls to solver: best=352465 lower=352466 upper=26355910 99.29/99.31 o 353800 99.69/99.75 o 353801 99.69/99.75 c 223 calls to solver: best=353801 lower=353802 upper=26355910 100.10/100.19 o 353813 100.59/100.62 o 353862 100.59/100.62 c 225 calls to solver: best=353862 lower=353863 upper=26355910 101.00/101.06 o 354301 101.49/101.50 o 354492 101.49/101.50 c 227 calls to solver: best=354492 lower=354493 upper=26355910 101.89/101.94 o 354884 102.29/102.38 o 354976 102.29/102.38 c 229 calls to solver: best=354976 lower=354977 upper=26355910 102.79/102.82 o 355252 103.19/103.25 o 356488 103.19/103.25 c 231 calls to solver: best=356488 lower=356489 upper=26355910 103.59/103.69 o 356507 104.10/104.13 o 357080 104.10/104.13 c 233 calls to solver: best=357080 lower=357081 upper=26355910 104.49/104.57 o 357187 105.00/105.01 o 357368 105.00/105.01 c 235 calls to solver: best=357368 lower=357369 upper=26355910 105.39/105.44 o 357417 105.79/105.88 o 357511 105.79/105.88 c 237 calls to solver: best=357511 lower=357512 upper=26355910 106.29/106.32 o 357788 106.69/106.76 o 357985 106.69/106.76 c 239 calls to solver: best=357985 lower=357986 upper=26355910 107.19/107.20 o 358346 107.59/107.63 o 358679 107.59/107.63 c 241 calls to solver: best=358679 lower=358680 upper=26355910 108.00/108.07 o 358875 108.49/108.51 o 359033 108.49/108.51 c 243 calls to solver: best=359033 lower=359034 upper=26355910 108.89/108.95 o 359057 109.29/109.39 o 359074 109.29/109.39 c 245 calls to solver: best=359074 lower=359075 upper=26355910 109.79/109.83 o 359123 110.19/110.26 o 360061 110.19/110.26 c 247 calls to solver: best=360061 lower=360062 upper=26355910 110.69/110.70 o 360310 111.10/111.14 o 360987 111.10/111.14 c 249 calls to solver: best=360987 lower=360988 upper=26355910 111.49/111.58 o 362042 112.00/112.02 o 362503 112.00/112.02 c 251 calls to solver: best=362503 lower=362504 upper=26355910 112.39/112.45 o 362951 112.79/112.89 o 363072 112.79/112.89 c 253 calls to solver: best=363072 lower=363073 upper=26355910 113.29/113.33 o 363220 113.69/113.77 o 363638 113.69/113.77 c 255 calls to solver: best=363638 lower=363639 upper=26355910 114.19/114.21 o 363677 114.59/114.64 o 363713 114.59/114.64 c 257 calls to solver: best=363713 lower=363714 upper=26355910 115.00/115.08 o 363731 115.49/115.52 o 363768 115.49/115.52 c 259 calls to solver: best=363768 lower=363769 upper=26355910 115.89/115.96 o 364665 116.39/116.40 o 364980 116.39/116.40 c 261 calls to solver: best=364980 lower=364981 upper=26355910 116.79/116.84 o 365038 117.19/117.27 o 365041 117.19/117.27 c 263 calls to solver: best=365041 lower=365042 upper=26355910 117.69/117.71 o 365090 118.10/118.15 o 365346 118.10/118.15 c 265 calls to solver: best=365346 lower=365347 upper=26355910 118.49/118.59 o 365356 119.00/119.03 o 365587 119.00/119.03 c 267 calls to solver: best=365587 lower=365588 upper=26355910 119.39/119.46 o 365745 119.89/119.90 o 366128 119.89/119.90 c 269 calls to solver: best=366128 lower=366129 upper=26355910 120.29/120.34 o 366193 120.69/120.78 o 366659 120.69/120.78 c 271 calls to solver: best=366659 lower=366660 upper=26355910 121.19/121.22 o 366909 121.59/121.66 o 367459 121.59/121.66 c 273 calls to solver: best=367459 lower=367460 upper=26355910 122.00/122.09 o 367655 122.49/122.53 o 367659 122.49/122.53 c 275 calls to solver: best=367659 lower=367660 upper=26355910 122.89/122.97 o 367786 123.39/123.41 o 367798 123.39/123.41 c 277 calls to solver: best=367798 lower=367799 upper=26355910 123.79/123.85 o 368174 124.19/124.28 o 368332 124.19/124.28 c 279 calls to solver: best=368332 lower=368333 upper=26355910 124.69/124.72 o 368336 125.10/125.16 o 368381 125.10/125.16 c 281 calls to solver: best=368381 lower=368382 upper=26355910 125.59/125.60 o 368475 126.00/126.04 o 368605 126.00/126.04 c 283 calls to solver: best=368605 lower=368606 upper=26355910 126.39/126.47 o 368882 126.89/126.91 o 368886 126.89/126.91 c 285 calls to solver: best=368886 lower=368887 upper=26355910 127.29/127.35 o 369401 127.69/127.79 o 369450 127.69/127.79 c 287 calls to solver: best=369450 lower=369451 upper=26355910 128.19/128.23 o 369532 128.59/128.67 o 369544 128.59/128.67 c 289 calls to solver: best=369544 lower=369545 upper=26355910 129.00/129.10 o 369593 129.49/129.54 o 369675 129.49/129.54 c 291 calls to solver: best=369675 lower=369676 upper=26355910 129.89/129.98 o 369724 130.39/130.42 o 369728 130.39/130.42 c 293 calls to solver: best=369728 lower=369729 upper=26355910 130.79/130.86 o 369753 131.19/131.29 o 369765 131.19/131.29 c 295 calls to solver: best=369765 lower=369766 upper=26355910 131.69/131.73 o 369834 132.10/132.17 o 370265 132.10/132.17 c 297 calls to solver: best=370265 lower=370266 upper=26355910 132.59/132.61 o 370290 133.00/133.05 o 370359 133.00/133.05 c 299 calls to solver: best=370359 lower=370360 upper=26355910 133.39/133.49 o 370465 133.89/133.92 o 370782 133.89/133.92 c 301 calls to solver: best=370782 lower=370783 upper=26355910 134.29/134.36 o 370833 134.79/134.80 o 370905 134.79/134.80 c 303 calls to solver: best=370905 lower=370906 upper=26355910 135.19/135.24 o 370956 135.59/135.68 o 370992 135.59/135.68 c 305 calls to solver: best=370992 lower=370993 upper=26355910 136.10/136.12 o 371036 136.49/136.55 o 371075 136.49/136.55 c 307 calls to solver: best=371075 lower=371076 upper=26355910 136.89/136.99 o 371185 137.39/137.43 o 371226 137.39/137.43 c 309 calls to solver: best=371226 lower=371227 upper=26355910 137.79/137.87 o 371246 138.29/138.31 o 371273 138.29/138.31 c 311 calls to solver: best=371273 lower=371274 upper=26355910 138.69/138.75 o 371351 139.10/139.18 o 371366 139.10/139.18 c 313 calls to solver: best=371366 lower=371367 upper=26355910 139.59/139.62 o 371446 140.00/140.06 o 371577 140.00/140.06 c 315 calls to solver: best=371577 lower=371578 upper=26355910 140.49/140.50 o 371887 140.89/140.94 o 372220 140.89/140.94 c 317 calls to solver: best=372220 lower=372221 upper=26355910 141.29/141.38 o 372538 141.79/141.81 o 372637 141.79/141.81 c 319 calls to solver: best=372637 lower=372638 upper=26355910 142.19/142.25 o 372693 142.59/142.69 o 372752 142.59/142.69 c 321 calls to solver: best=372752 lower=372753 upper=26355910 143.10/143.13 o 372820 143.49/143.57 o 373147 143.49/143.57 c 323 calls to solver: best=373147 lower=373148 upper=26355910 144.00/144.01 o 373169 144.39/144.44 o 373312 144.39/144.44 c 325 calls to solver: best=373312 lower=373313 upper=26355910 144.79/144.88 o 373455 145.29/145.32 o 373731 145.29/145.32 c 327 calls to solver: best=373731 lower=373732 upper=26355910 145.69/145.76 o 373857 146.19/146.20 o 373937 146.19/146.20 c 329 calls to solver: best=373937 lower=373938 upper=26355910 146.60/146.64 o 374026 147.00/147.08 o 374543 147.00/147.08 c 331 calls to solver: best=374543 lower=374544 upper=26355910 147.50/147.51 o 374636 147.90/147.95 o 374653 147.90/147.95 c 333 calls to solver: best=374653 lower=374654 upper=26355910 148.30/148.39 o 374679 148.80/148.83 o 374801 148.80/148.83 c 335 calls to solver: best=374801 lower=374802 upper=26355910 149.20/149.27 o 374858 149.70/149.71 o 375654 149.70/149.71 c 337 calls to solver: best=375654 lower=375655 upper=26355910 150.10/150.15 o 375822 150.50/150.58 o 376109 150.50/150.58 c 339 calls to solver: best=376109 lower=376110 upper=26355910 151.00/151.02 o 376240 151.40/151.46 o 376258 151.40/151.46 c 341 calls to solver: best=376258 lower=376259 upper=26355910 151.90/151.90 o 376279 152.30/152.34 o 376386 152.30/152.34 c 343 calls to solver: best=376386 lower=376387 upper=26355910 152.70/152.78 o 376967 153.20/153.22 o 377192 153.20/153.22 c 345 calls to solver: best=377192 lower=377193 upper=26355910 153.60/153.65 o 377241 154.00/154.09 o 377291 154.00/154.09 c 347 calls to solver: best=377291 lower=377292 upper=26355910 154.50/154.53 o 377434 154.90/154.97 o 377443 154.90/154.97 c 349 calls to solver: best=377443 lower=377444 upper=26355910 155.40/155.41 o 377460 155.80/155.85 o 377735 155.80/155.85 c 351 calls to solver: best=377735 lower=377736 upper=26355910 156.20/156.28 o 377866 156.70/156.72 o 377888 156.70/156.72 c 353 calls to solver: best=377888 lower=377889 upper=26355910 157.11/157.16 o 378087 157.60/157.60 o 378125 157.60/157.60 c 355 calls to solver: best=378125 lower=378126 upper=26355910 158.00/158.04 o 378167 158.40/158.48 o 378193 158.40/158.48 c 357 calls to solver: best=378193 lower=378194 upper=26355910 158.90/158.92 o 378484 159.30/159.35 o 378533 159.30/159.35 c 359 calls to solver: best=378533 lower=378534 upper=26355910 159.70/159.79 o 378615 160.20/160.23 o 378875 160.20/160.23 c 361 calls to solver: best=378875 lower=378876 upper=26355910 160.60/160.67 o 378921 161.11/161.11 o 378967 161.11/161.11 c 363 calls to solver: best=378967 lower=378968 upper=26355910 161.50/161.55 o 378971 161.90/161.98 o 379514 161.90/161.98 c 365 calls to solver: best=379514 lower=379515 upper=26355910 162.40/162.42 o 380151 162.80/162.86 o 380199 162.80/162.86 c 367 calls to solver: best=380199 lower=380200 upper=26355910 163.30/163.30 o 380242 163.70/163.74 o 380258 163.70/163.74 c 369 calls to solver: best=380258 lower=380259 upper=26355910 164.11/164.18 o 380352 164.60/164.62 o 380381 164.60/164.62 c 371 calls to solver: best=380381 lower=380382 upper=26355910 165.00/165.05 o 380430 165.40/165.49 o 380944 165.40/165.49 c 373 calls to solver: best=380944 lower=380945 upper=26355910 165.90/165.93 o 381018 166.30/166.37 o 381161 166.30/166.37 c 375 calls to solver: best=381161 lower=381162 upper=26355910 166.80/166.81 o 381329 167.20/167.25 o 381834 167.20/167.25 c 377 calls to solver: best=381834 lower=381835 upper=26355910 167.60/167.68 o 381965 168.11/168.12 o 382316 168.11/168.12 c 379 calls to solver: best=382316 lower=382317 upper=26355910 168.50/168.56 o 382320 168.90/169.00 o 382365 168.90/169.00 c 381 calls to solver: best=382365 lower=382366 upper=26355910 169.40/169.44 o 382447 169.80/169.88 o 382459 169.80/169.88 c 383 calls to solver: best=382459 lower=382460 upper=26355910 170.30/170.32 o 382888 170.70/170.76 o 382949 170.70/170.76 c 385 calls to solver: best=382949 lower=382950 upper=26355910 171.20/171.20 o 383152 171.60/171.64 o 383250 171.60/171.64 c 387 calls to solver: best=383250 lower=383251 upper=26355910 172.01/172.08 o 383262 172.50/172.52 o 383683 172.50/172.52 c 389 calls to solver: best=383683 lower=383684 upper=26355910 172.90/172.96 o 383852 173.30/173.39 o 383863 173.30/173.39 c 391 calls to solver: best=383863 lower=383864 upper=26355910 173.80/173.83 o 383989 174.20/174.27 o 384453 174.20/174.27 c 393 calls to solver: best=384453 lower=384454 upper=26355910 174.70/174.71 o 384674 175.11/175.15 o 384972 175.11/175.15 c 395 calls to solver: best=384972 lower=384973 upper=26355910 175.50/175.58 o 385093 176.01/176.02 o 385207 176.01/176.02 c 397 calls to solver: best=385207 lower=385208 upper=26355910 176.40/176.46 o 385333 176.90/176.90 o 385426 176.90/176.90 c 399 calls to solver: best=385426 lower=385427 upper=26355910 177.30/177.34 o 385742 177.70/177.78 o 385748 177.70/177.78 c 401 calls to solver: best=385748 lower=385749 upper=26355910 178.20/178.21 o 385850 178.60/178.65 o 386402 178.60/178.65 c 403 calls to solver: best=386402 lower=386403 upper=26355910 179.01/179.09 o 386533 179.50/179.53 o 386578 179.50/179.53 c 405 calls to solver: best=386578 lower=386579 upper=26355910 179.90/179.97 o 386585 180.40/180.41 o 386599 180.40/180.41 c 407 calls to solver: best=386599 lower=386600 upper=26355910 180.80/180.84 o 386629 181.20/181.28 o 386754 181.20/181.28 c 409 calls to solver: best=386754 lower=386755 upper=26355910 181.70/181.72 o 386875 182.11/182.16 o 386893 182.11/182.16 c 411 calls to solver: best=386893 lower=386894 upper=26355910 182.60/182.60 o 387600 183.01/183.04 o 387654 183.01/183.04 c 413 calls to solver: best=387654 lower=387655 upper=26355910 183.40/183.47 o 387717 183.90/183.91 o 387848 183.90/183.91 c 415 calls to solver: best=387848 lower=387849 upper=26355910 184.30/184.35 o 388597 184.70/184.79 o 388728 184.70/184.79 c 417 calls to solver: best=388728 lower=388729 upper=26355910 185.60/185.65 o 388994 186.01/186.09 o 389498 186.01/186.09 c 419 calls to solver: best=389498 lower=389499 upper=26355910 186.50/186.53 o 389751 186.90/186.97 o 389980 186.90/186.97 c 421 calls to solver: best=389980 lower=389981 upper=26355910 187.40/187.40 o 390647 187.80/187.84 o 390707 187.80/187.84 c 423 calls to solver: best=390707 lower=390708 upper=26355910 188.20/188.28 o 390716 188.70/188.72 o 390838 188.70/188.72 c 425 calls to solver: best=390838 lower=390839 upper=26355910 189.11/189.16 o 390893 189.60/189.60 o 391340 189.60/189.60 c 427 calls to solver: best=391340 lower=391341 upper=26355910 190.01/190.03 o 391380 190.40/190.47 o 391422 190.40/190.47 c 429 calls to solver: best=391422 lower=391423 upper=26355910 190.90/190.91 o 391669 191.30/191.35 o 391716 191.30/191.35 c 431 calls to solver: best=391716 lower=391717 upper=26355910 191.70/191.79 o 391765 192.20/192.23 o 392352 192.20/192.23 c 433 calls to solver: best=392352 lower=392353 upper=26355910 192.60/192.67 o 392544 193.11/193.10 o 392591 193.11/193.10 c 435 calls to solver: best=392591 lower=392592 upper=26355910 193.50/193.54 o 392594 193.90/193.98 o 392620 193.90/193.98 c 437 calls to solver: best=392620 lower=392621 upper=26355910 194.40/194.42 o 392623 194.80/194.86 o 392757 194.80/194.86 c 439 calls to solver: best=392757 lower=392758 upper=26355910 195.30/195.30 o 392789 195.70/195.74 o 393336 195.70/195.74 c 441 calls to solver: best=393336 lower=393337 upper=26355910 196.11/196.17 o 393345 196.60/196.61 o 393888 196.60/196.61 c 443 calls to solver: best=393888 lower=393889 upper=26355910 197.01/197.05 o 393937 197.40/197.49 o 394384 197.40/197.49 c 445 calls to solver: best=394384 lower=394385 upper=26355910 197.90/197.93 o 394440 198.30/198.37 o 394571 198.30/198.37 c 447 calls to solver: best=394571 lower=394572 upper=26355910 198.80/198.81 o 394766 199.20/199.24 o 394815 199.20/199.24 c 449 calls to solver: best=394815 lower=394816 upper=26355910 199.60/199.68 o 394977 200.11/200.12 o 395491 200.11/200.12 c 451 calls to solver: best=395491 lower=395492 upper=26355910 200.50/200.56 o 395539 200.90/201.00 o 396016 200.90/201.00 c 453 calls to solver: best=396016 lower=396017 upper=26355910 201.40/201.44 o 396084 201.80/201.88 o 396122 201.80/201.88 c 455 calls to solver: best=396122 lower=396123 upper=26355910 202.30/202.32 o 396151 202.70/202.75 o 396306 202.70/202.75 c 457 calls to solver: best=396306 lower=396307 upper=26355910 203.11/203.19 o 396355 203.60/203.63 o 396412 203.60/203.63 c 459 calls to solver: best=396412 lower=396413 upper=26355910 204.01/204.07 o 397396 204.50/204.51 o 397652 204.50/204.51 c 461 calls to solver: best=397652 lower=397653 upper=26355910 204.90/204.95 o 397884 205.30/205.39 o 397929 205.30/205.39 c 463 calls to solver: best=397929 lower=397930 upper=26355910 205.80/205.82 o 398759 206.20/206.27 o 399582 206.20/206.27 c 465 calls to solver: best=399582 lower=399583 upper=26355910 206.70/206.70 o 400070 207.11/207.14 o 400416 207.11/207.14 c 467 calls to solver: best=400416 lower=400417 upper=26355910 207.50/207.58 o 400427 208.01/208.02 o 400522 208.01/208.02 c 469 calls to solver: best=400522 lower=400523 upper=26355910 208.40/208.46 o 400598 208.90/208.90 o 400611 208.90/208.90 c 471 calls to solver: best=400611 lower=400612 upper=26355910 209.30/209.34 o 400615 209.70/209.78 o 400741 209.70/209.78 c 473 calls to solver: best=400741 lower=400742 upper=26355910 210.20/210.21 o 400803 210.60/210.65 o 401065 210.60/210.65 c 475 calls to solver: best=401065 lower=401066 upper=26355910 211.01/211.09 o 401082 211.50/211.53 o 401094 211.50/211.53 c 477 calls to solver: best=401094 lower=401095 upper=26355910 211.90/211.97 o 401111 212.40/212.41 o 401971 212.40/212.41 c 479 calls to solver: best=401971 lower=401972 upper=26355910 212.80/212.85 o 402487 213.20/213.28 o 402584 213.20/213.28 c 481 calls to solver: best=402584 lower=402585 upper=26355910 213.70/213.72 o 402779 214.11/214.16 o 403136 214.11/214.16 c 483 calls to solver: best=403136 lower=403137 upper=26355910 214.60/214.60 o 403192 215.01/215.04 o 403771 215.01/215.04 c 485 calls to solver: best=403771 lower=403772 upper=26355910 215.40/215.48 o 403827 215.90/215.92 o 403835 215.90/215.92 c 487 calls to solver: best=403835 lower=403836 upper=26355910 216.30/216.35 o 403926 216.70/216.79 o 404202 216.70/216.79 c 489 calls to solver: best=404202 lower=404203 upper=26355910 217.20/217.23 o 404951 217.60/217.67 o 405018 217.60/217.67 c 491 calls to solver: best=405018 lower=405019 upper=26355910 218.11/218.11 o 406002 218.50/218.54 o 406133 218.50/218.54 c 493 calls to solver: best=406133 lower=406134 upper=26355910 218.90/218.98 o 406435 219.40/219.42 o 406559 219.40/219.42 c 495 calls to solver: best=406559 lower=406560 upper=26355910 219.80/219.86 o 406769 220.30/220.30 o 406837 220.30/220.30 c 497 calls to solver: best=406837 lower=406838 upper=26355910 220.70/220.74 o 407690 221.11/221.17 o 407694 221.11/221.17 c 499 calls to solver: best=407694 lower=407695 upper=26355910 221.60/221.61 o 407833 222.01/222.05 o 408138 222.01/222.05 c 501 calls to solver: best=408138 lower=408139 upper=26355910 222.40/222.49 o 408656 222.90/222.93 o 408792 222.90/222.93 c 503 calls to solver: best=408792 lower=408793 upper=26355910 223.30/223.37 o 409459 223.80/223.81 o 409463 223.80/223.81 c 505 calls to solver: best=409463 lower=409464 upper=26355910 224.20/224.24 o 409756 224.60/224.68 o 409887 224.60/224.68 c 507 calls to solver: best=409887 lower=409888 upper=26355910 225.11/225.12 o 409899 225.50/225.56 o 409989 225.50/225.56 c 509 calls to solver: best=409989 lower=409990 upper=26355910 225.90/226.00 o 409990 226.40/226.44 o 409994 226.40/226.44 c 511 calls to solver: best=409994 lower=409995 upper=26355910 226.80/226.87 o 410312 227.30/227.31 o 411118 227.30/227.31 c 513 calls to solver: best=411118 lower=411119 upper=26355910 227.70/227.75 o 411656 228.11/228.19 o 411678 228.11/228.19 c 515 calls to solver: best=411678 lower=411679 upper=26355910 228.60/228.63 o 411686 229.01/229.07 o 411690 229.01/229.07 c 517 calls to solver: best=411690 lower=411691 upper=26355910 229.50/229.51 o 411880 229.90/229.94 o 412063 229.90/229.94 c 519 calls to solver: best=412063 lower=412064 upper=26355910 230.30/230.38 o 412065 230.80/230.82 o 412071 230.80/230.82 c 521 calls to solver: best=412071 lower=412072 upper=26355910 231.20/231.26 o 412242 231.60/231.69 o 412319 231.60/231.69 c 523 calls to solver: best=412319 lower=412320 upper=26355910 232.11/232.13 o 412347 232.50/232.57 o 413106 232.50/232.57 c 525 calls to solver: best=413106 lower=413107 upper=26355910 233.01/233.01 o 414031 233.40/233.45 o 414101 233.40/233.45 c 527 calls to solver: best=414101 lower=414102 upper=26355910 233.80/233.88 o 414103 234.30/234.32 o 414389 234.30/234.32 c 529 calls to solver: best=414389 lower=414390 upper=26355910 234.70/234.76 o 415122 235.20/235.20 o 415617 235.20/235.20 c 531 calls to solver: best=415617 lower=415618 upper=26355910 235.60/235.64 o 416190 236.01/236.08 o 416229 236.01/236.08 c 533 calls to solver: best=416229 lower=416230 upper=26355910 236.50/236.51 o 416525 236.90/236.95 o 416561 236.90/236.95 c 535 calls to solver: best=416561 lower=416562 upper=26355910 237.30/237.39 o 416640 237.80/237.83 o 416928 237.80/237.83 c 537 calls to solver: best=416928 lower=416929 upper=26355910 238.20/238.26 o 416932 238.70/238.70 o 416952 238.70/238.70 c 539 calls to solver: best=416952 lower=416953 upper=26355910 239.11/239.14 o 417104 239.50/239.58 o 417130 239.50/239.58 c 541 calls to solver: best=417130 lower=417131 upper=26355910 240.01/240.02 o 417461 240.40/240.46 o 417503 240.40/240.46 c 543 calls to solver: best=417503 lower=417504 upper=26355910 240.80/240.89 o 417597 241.30/241.33 o 417663 241.30/241.33 c 545 calls to solver: best=417663 lower=417664 upper=26355910 241.70/241.77 o 417681 242.20/242.21 o 417714 242.20/242.21 c 547 calls to solver: best=417714 lower=417715 upper=26355910 242.60/242.65 o 418424 243.01/243.08 o 418687 243.01/243.08 c 549 calls to solver: best=418687 lower=418688 upper=26355910 243.50/243.52 o 418726 243.90/243.96 o 418804 243.90/243.96 c 551 calls to solver: best=418804 lower=418805 upper=26355910 244.40/244.40 o 418855 244.80/244.84 o 418876 244.80/244.84 c 553 calls to solver: best=418876 lower=418877 upper=26355910 245.20/245.28 o 418880 245.70/245.72 o 419117 245.70/245.72 c 555 calls to solver: best=419117 lower=419118 upper=26355910 246.11/246.16 o 419194 246.50/246.59 o 419372 246.50/246.59 c 557 calls to solver: best=419372 lower=419373 upper=26355910 247.01/247.03 o 419409 247.40/247.47 o 419415 247.40/247.47 c 559 calls to solver: best=419415 lower=419416 upper=26355910 247.90/247.91 o 419795 248.30/248.35 o 419862 248.30/248.35 c 561 calls to solver: best=419862 lower=419863 upper=26355910 248.70/248.78 o 420138 249.20/249.22 o 420142 249.20/249.22 c 563 calls to solver: best=420142 lower=420143 upper=26355910 249.60/249.66 o 420458 250.01/250.10 o 420592 250.01/250.10 c 565 calls to solver: best=420592 lower=420593 upper=26355910 250.50/250.54 o 420604 250.90/250.98 o 420908 250.90/250.98 c 567 calls to solver: best=420908 lower=420909 upper=26355910 251.40/251.41 o 420966 251.80/251.85 o 421162 251.80/251.85 c 569 calls to solver: best=421162 lower=421163 upper=26355910 252.01/252.00 252.01/252.00 c *** INTERRUPTED *** 252.01/252.00 c restarts : 5 252.01/252.00 c conflicts : 646 (3 /sec) 252.01/252.00 c decisions : 1150467 (4565 /sec) 252.01/252.00 c propagations : 1207693 (4792 /sec) 252.01/252.00 c root propagations : 2000 252.01/252.00 c filter calls : 6867622 (27252 /sec) 252.01/252.00 c useless filter calls : 6857757 (99 %) 252.01/252.00 c Memory used : 49.75 MB 252.01/252.00 c CPU time : 252.007 s 252.01/252.00 252.01/252.00 c nb Solutions = 569 252.01/252.00 s SATISFIABLE 252.01/252.00 c Best value found: 421162 252.01/252.00 252.01/252.00 252.01/252.00 v <instantiation type='solution' cost='421162'> 252.01/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> 252.01/252.00 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 </values> 252.01/252.00 v </instantiation> 252.01/252.00
OK 421162
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 (13538 MiB free)
memory of node 1: 16384 MiB (13940 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301443-1532881257/watcher-4301443-1532881257 -o /tmp/evaluation-result-4301443-1532881257/solver-4301443-1532881257 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532880243-4871 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4301443-1532881257.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=5603, runsolver pid=5600
[startup+0.100137 s]*
/proc/loadavg: 2.00 1.99 1.79 3/188 5604
/proc/meminfo: memFree=28133400/32770624 swapFree=67108532/67108860
[pid=5603] ppid=5600 vsize=31472 memory=7880 CPUtime=0.1 cores=1,3,5,7
/proc/5603/stat : 5603 (cosoco) R 5600 5603 4839 0 -1 4202496 2148 0 0 0 10 0 0 0 20 0 1 0 105688888 32227328 1970 33554432000 4194304 6142532 140732176563280 140732176559912 5475988 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 23101440 140732176569483 140732176569613 140732176569613 140732176572366 0
/proc/5603/statm: 7868 1970 821 476 0 1190 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31472 KiB
Current children cumulated memory: 7880 KiB
[startup+0.209823 s]*
/proc/loadavg: 2.00 1.99 1.79 3/188 5604
/proc/meminfo: memFree=28132656/32770624 swapFree=67108532/67108860
[pid=5603] ppid=5600 vsize=32396 memory=8936 CPUtime=0.21 cores=1,3,5,7
/proc/5603/stat : 5603 (cosoco) R 5600 5603 4839 0 -1 4202496 2421 0 0 0 21 0 0 0 20 0 1 0 105688888 33173504 2234 33554432000 4194304 6142532 140732176563280 140732176559912 140030316755941 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 23101440 140732176569483 140732176569613 140732176569613 140732176572366 0
/proc/5603/statm: 8099 2234 865 476 0 1421 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 32396 KiB
Current children cumulated memory: 8936 KiB
[startup+0.30932 s]*
/proc/loadavg: 2.00 1.99 1.79 3/188 5604
/proc/meminfo: memFree=28129680/32770624 swapFree=67108532/67108860
[pid=5603] ppid=5600 vsize=35720 memory=12368 CPUtime=0.31 cores=1,3,5,7
/proc/5603/stat : 5603 (cosoco) R 5600 5603 4839 0 -1 4202496 3260 0 0 0 31 0 0 0 20 0 1 0 105688888 36577280 3092 33554432000 4194304 6142532 140732176563280 140732176559912 140030316755941 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 23101440 140732176569483 140732176569613 140732176569613 140732176572366 0
/proc/5603/statm: 8930 3092 865 476 0 2252 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 35720 KiB
Current children cumulated memory: 12368 KiB
[startup+0.700273 s]
/proc/loadavg: 2.00 1.99 1.79 3/188 5604
/proc/meminfo: memFree=28125216/32770624 swapFree=67108532/67108860
[pid=5603] ppid=5600 vsize=41836 memory=18440 CPUtime=0.69 cores=1,3,5,7
/proc/5603/stat : 5603 (cosoco) R 5600 5603 4839 0 -1 4202496 4772 0 0 0 69 0 0 0 20 0 1 0 105688888 42840064 4610 33554432000 4194304 6142532 140732176563280 140732176559912 5215584 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 23101440 140732176569483 140732176569613 140732176569613 140732176572366 0
/proc/5603/statm: 10459 4610 866 476 0 3781 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 41836 KiB
Current children cumulated memory: 18440 KiB
[startup+1.50024 s]
/proc/loadavg: 2.00 1.99 1.79 5/188 5604
/proc/meminfo: memFree=28119636/32770624 swapFree=67108532/67108860
[pid=5603] ppid=5600 vsize=46828 memory=23192 CPUtime=1.49 cores=1,3,5,7
/proc/5603/stat : 5603 (cosoco) R 5600 5603 4839 0 -1 4202496 6011 0 0 0 148 1 0 0 20 0 1 0 105688888 47951872 5798 33554432000 4194304 6142532 140732176563280 140732176560808 5215632 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 23101440 140732176569483 140732176569613 140732176569613 140732176572366 0
/proc/5603/statm: 11707 5798 866 476 0 5029 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 46828 KiB
Current children cumulated memory: 23192 KiB
[startup+3.10922 s]
/proc/loadavg: 2.00 1.99 1.79 5/188 5604
/proc/meminfo: memFree=28117924/32770624 swapFree=67108532/67108860
[pid=5603] ppid=5600 vsize=46828 memory=23420 CPUtime=3.1 cores=1,3,5,7
/proc/5603/stat : 5603 (cosoco) R 5600 5603 4839 0 -1 4202496 8973 0 0 0 309 1 0 0 20 0 1 0 105688888 47951872 5855 33554432000 4194304 6142532 140732176563280 140732176560808 5138722 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 23101440 140732176569483 140732176569613 140732176569613 140732176572366 0
/proc/5603/statm: 11707 5855 866 476 0 5029 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 46828 KiB
Current children cumulated memory: 23420 KiB
[startup+6.30023 s]
/proc/loadavg: 2.00 1.99 1.79 5/188 5604
/proc/meminfo: memFree=28118120/32770624 swapFree=67108532/67108860
[pid=5603] ppid=5600 vsize=46828 memory=23420 CPUtime=6.29 cores=1,3,5,7
/proc/5603/stat : 5603 (cosoco) R 5600 5603 4839 0 -1 4202496 11980 0 0 0 628 1 0 0 20 0 1 0 105688888 47951872 5855 33554432000 4194304 6142532 140732176563280 140732176550552 5138400 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 23101440 140732176569483 140732176569613 140732176569613 140732176572366 0
/proc/5603/statm: 11707 5855 866 476 0 5029 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 46828 KiB
Current children cumulated memory: 23420 KiB
[startup+12.7002 s]
/proc/loadavg: 2.00 1.99 1.79 5/188 5604
/proc/meminfo: memFree=28117236/32770624 swapFree=67108532/67108860
[pid=5603] ppid=5600 vsize=46828 memory=23420 CPUtime=12.69 cores=1,3,5,7
/proc/5603/stat : 5603 (cosoco) R 5600 5603 4839 0 -1 4202496 15392 0 0 0 1268 1 0 0 20 0 1 0 105688888 47951872 5855 33554432000 4194304 6142532 140732176563280 140732176550552 5140391 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 23101440 140732176569483 140732176569613 140732176569613 140732176572366 0
/proc/5603/statm: 11707 5855 866 476 0 5029 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 46828 KiB
Current children cumulated memory: 23420 KiB
[startup+25.5002 s]
/proc/loadavg: 2.00 1.99 1.80 5/188 5604
/proc/meminfo: memFree=28115180/32770624 swapFree=67108532/67108860
[pid=5603] ppid=5600 vsize=48184 memory=24692 CPUtime=25.49 cores=1,3,5,7
/proc/5603/stat : 5603 (cosoco) R 5600 5603 4839 0 -1 4202496 18662 0 0 0 2548 1 0 0 20 0 1 0 105688888 49340416 6173 33554432000 4194304 6142532 140732176563280 140732176560808 5347477 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 23101440 140732176569483 140732176569613 140732176569613 140732176572366 0
/proc/5603/statm: 12046 6173 866 476 0 5368 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 48184 KiB
Current children cumulated memory: 24692 KiB
[startup+51.1091 s]
/proc/loadavg: 2.00 1.99 1.80 5/188 5604
/proc/meminfo: memFree=28111984/32770624 swapFree=67108532/67108860
[pid=5603] ppid=5600 vsize=49256 memory=25876 CPUtime=51.1 cores=1,3,5,7
/proc/5603/stat : 5603 (cosoco) R 5600 5603 4839 0 -1 4202496 19866 0 0 0 5109 1 0 0 20 0 1 0 105688888 50438144 6469 33554432000 4194304 6142532 140732176563280 140732176560808 5329121 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 23101440 140732176569483 140732176569613 140732176569613 140732176572366 0
/proc/5603/statm: 12314 6469 866 476 0 5636 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 49256 KiB
Current children cumulated memory: 25876 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 1.99 1.81 5/188 5605
/proc/meminfo: memFree=28110484/32770624 swapFree=67108532/67108860
[pid=5603] ppid=5600 vsize=50568 memory=27172 CPUtime=102.29 cores=1,3,5,7
/proc/5603/stat : 5603 (cosoco) R 5600 5603 4839 0 -1 4202496 21429 0 0 0 10228 1 0 0 20 0 1 0 105688888 51781632 6793 33554432000 4194304 6142532 140732176563280 140732176550552 5137685 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 23101440 140732176569483 140732176569613 140732176569613 140732176572366 0
/proc/5603/statm: 12642 6793 866 476 0 5964 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 50568 KiB
Current children cumulated memory: 27172 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 1.99 1.82 5/188 5606
/proc/meminfo: memFree=28110572/32770624 swapFree=67108532/67108860
[pid=5603] ppid=5600 vsize=50692 memory=27292 CPUtime=162.3 cores=1,3,5,7
/proc/5603/stat : 5603 (cosoco) R 5600 5603 4839 0 -1 4202496 22033 0 0 0 16229 1 0 0 20 0 1 0 105688888 51908608 6823 33554432000 4194304 6142532 140732176563280 140732176560808 5138400 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 23101440 140732176569483 140732176569613 140732176569613 140732176572366 0
/proc/5603/statm: 12673 6823 866 476 0 5995 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 50692 KiB
Current children cumulated memory: 27292 KiB
[startup+222.3 s]
/proc/loadavg: 2.08 2.00 1.84 5/188 5607
/proc/meminfo: memFree=28110416/32770624 swapFree=67108532/67108860
[pid=5603] ppid=5600 vsize=50944 memory=27544 CPUtime=222.3 cores=1,3,5,7
/proc/5603/stat : 5603 (cosoco) R 5600 5603 4839 0 -1 4202496 22677 0 0 0 22229 1 0 0 20 0 1 0 105688888 52166656 6886 33554432000 4194304 6142532 140732176563280 140732176560808 5138684 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 23101440 140732176569483 140732176569613 140732176569613 140732176572366 0
/proc/5603/statm: 12736 6886 866 476 0 6058 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 50944 KiB
Current children cumulated memory: 27544 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252 s]*
/proc/loadavg: 2.27 2.05 1.86 3/187 5670
/proc/meminfo: memFree=28111160/32770624 swapFree=67108532/67108860
[pid=5603] ppid=5600 vsize=50944 memory=27544 CPUtime=252.01 cores=1,3,5,7
/proc/5603/stat : 5603 (cosoco) R 5600 5603 4839 0 -1 4202496 22697 0 0 0 25200 1 0 0 20 0 1 0 105688888 52166656 6886 33554432000 4194304 6142532 140732176563280 140732176550552 5137736 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 23101440 140732176569483 140732176569613 140732176569613 140732176572366 0
/proc/5603/statm: 12736 6886 866 476 0 6058 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 50944 KiB
Current children cumulated memory: 27544 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+252.01 s]
# the end of solver process 5603 was just reported to runsolver
# cumulated CPU time of all completed processes: user=252.008 s, system=0.018001 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.026
CPU user time (s): 252.008
CPU system time (s): 0.018001
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 50944
Max. memory (cumulated for all children) (KiB): 27544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 252.008
system time used= 0.018001
maximum resident set size= 27664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22733
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= 10
involuntary context switches= 243
# summary of solver processes directly reported to runsolver:
# pid: 5603
# total CPU time (s): 252.026
# total CPU user time (s): 252.008
# total CPU system time (s): 0.018001
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.812204 second user time and 1.81663 second system time
The end
Begin job on node104 at 2018-07-29 18:20:57 IDJOB=4301443 IDBENCH=141155 IDSOLVER=2774 FILE ID=node104/4301443-1532881257 RUNJOBID= node104-1532880243-4871 PBS_JOBID= 21022518 Free space on /tmp= 50568 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/Auction/Auction-cnt/Auction-cnt-decay300_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4301443-1532881257/watcher-4301443-1532881257 -o /tmp/evaluation-result-4301443-1532881257/solver-4301443-1532881257 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532880243-4871 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4301443-1532881257.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 39aa8271d93aad234a0495f796e0a456 RANDOM SEED=1630772677 node104.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 28138412 kB MemAvailable: 31935144 kB Buffers: 177116 kB Cached: 3874156 kB SwapCached: 12 kB Active: 1955976 kB Inactive: 2168900 kB Active(anon): 27676 kB Inactive(anon): 73040 kB Active(file): 1928300 kB Inactive(file): 2095860 kB Unevictable: 7360 kB Mlocked: 7360 kB SwapTotal: 67108860 kB SwapFree: 67108532 kB Dirty: 2372 kB Writeback: 8 kB AnonPages: 102548 kB Mapped: 44420 kB Shmem: 25060 kB Slab: 205812 kB SReclaimable: 176812 kB SUnreclaim: 29000 kB KernelStack: 3408 kB PageTables: 5120 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 372372 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 34816 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 50564 MiB End job on node104 at 2018-07-29 18:25:09