Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 1.12 | SAT (TO) | 269629 | 251.962 | 252.01 |
Name | Auction/Auction-sum/ Auction-sum-decay100_c18.xml |
MD5SUM | d8b461fac2d17be3b89e017753091d4e |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 753878 |
Best CPU time to get the best result obtained on this benchmark | 252.037 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2000 |
Number of constraints | 100 |
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 | 27 |
Distribution of variable degrees | [{"degree":2,"count":100},{"degree":3,"count":416},{"degree":4,"count":329},{"degree":5,"count":277},{"degree":6,"count":189},{"degree":7,"count":160},{"degree":8,"count":116},{"degree":9,"count":93},{"degree":10,"count":77},{"degree":11,"count":48},{"degree":12,"count":46},{"degree":13,"count":35},{"degree":14,"count":25},{"degree":15,"count":17},{"degree":16,"count":13},{"degree":17,"count":17},{"degree":18,"count":7},{"degree":19,"count":5},{"degree":20,"count":7},{"degree":21,"count":7},{"degree":22,"count":3},{"degree":23,"count":3},{"degree":24,"count":1},{"degree":25,"count":4},{"degree":26,"count":3},{"degree":27,"count":2}] |
Minimum constraint arity | 83 |
Maximum constraint arity | 128 |
Distribution of constraint arities | [{"arity":83,"count":1},{"arity":85,"count":1},{"arity":86,"count":3},{"arity":87,"count":1},{"arity":88,"count":1},{"arity":89,"count":2},{"arity":90,"count":1},{"arity":92,"count":2},{"arity":93,"count":1},{"arity":94,"count":2},{"arity":95,"count":2},{"arity":96,"count":3},{"arity":97,"count":3},{"arity":98,"count":4},{"arity":99,"count":1},{"arity":100,"count":3},{"arity":101,"count":5},{"arity":102,"count":4},{"arity":103,"count":4},{"arity":104,"count":4},{"arity":105,"count":7},{"arity":106,"count":6},{"arity":107,"count":6},{"arity":108,"count":1},{"arity":109,"count":4},{"arity":110,"count":3},{"arity":111,"count":2},{"arity":112,"count":2},{"arity":113,"count":1},{"arity":114,"count":2},{"arity":115,"count":2},{"arity":116,"count":3},{"arity":118,"count":1},{"arity":119,"count":2},{"arity":120,"count":2},{"arity":121,"count":2},{"arity":122,"count":2},{"arity":123,"count":1},{"arity":126,"count":1},{"arity":128,"count":2}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":100}] |
Optimization problem | YES |
Type of objective | max SUM |
0.09/0.14 c best=?? lower=0 upper=27496341 0.40/0.47 c 0.40/0.47 c This is cosoco 1.12 -- 0.40/0.47 c 0.40/0.47 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4301413-1532880741.xml 0.40/0.47 c enable optimization 0.40/0.47 c ========================================[ Problem Statistics ]=========================================== 0.40/0.47 c | 0.40/0.47 c | Parse time : 0.14 s 0.40/0.47 c | 0.40/0.47 c | Variables: 2000 0.40/0.47 c | Domain Sizes: 2..2 0.40/0.47 c | 0.40/0.47 c | Constraints: 101 0.40/0.47 c | Arity: 83..2000 0.40/0.47 c | 0.40/0.47 c | Types: 0.40/0.47 c | Sum: 101 0.40/0.47 c | 0.40/0.47 c | Objective: Maximize Sum 0.40/0.47 0.40/0.47 c ========================================================================================================= 0.40/0.47 o 0 0.40/0.47 c 1 calls to solver: best=0 lower=1 upper=27496341 0.88/1.00 o 18807 1.49/1.52 o 29168 1.49/1.52 c 3 calls to solver: best=29168 lower=29169 upper=27496341 2.00/2.03 o 35705 2.49/2.55 o 45453 2.49/2.55 c 5 calls to solver: best=45453 lower=45454 upper=27496341 3.00/3.07 o 49034 3.49/3.59 o 62931 3.49/3.59 c 7 calls to solver: best=62931 lower=62932 upper=27496341 4.10/4.11 o 69062 4.59/4.63 o 75165 4.59/4.63 c 9 calls to solver: best=75165 lower=75166 upper=27496341 5.10/5.15 o 82742 5.59/5.66 o 85415 5.59/5.66 c 11 calls to solver: best=85415 lower=85416 upper=27496341 6.10/6.18 o 89866 6.69/6.70 o 92990 6.69/6.70 c 13 calls to solver: best=92990 lower=92991 upper=27496341 7.19/7.22 o 94621 7.69/7.75 o 96226 7.69/7.75 c 15 calls to solver: best=96226 lower=96227 upper=27496341 8.19/8.27 o 97321 8.78/8.80 o 99068 8.78/8.80 c 17 calls to solver: best=99068 lower=99069 upper=27496341 9.28/9.32 o 102515 9.78/9.85 o 109611 9.78/9.85 c 19 calls to solver: best=109611 lower=109612 upper=27496341 10.28/10.37 o 109658 10.88/10.91 o 114638 10.88/10.91 c 21 calls to solver: best=114638 lower=114639 upper=27496341 11.38/11.43 o 120305 11.88/11.96 o 120509 11.88/11.96 c 23 calls to solver: best=120509 lower=120510 upper=27496341 12.38/12.49 o 120936 12.99/13.02 o 121931 12.99/13.02 c 25 calls to solver: best=121931 lower=121932 upper=27496341 13.48/13.55 o 127242 13.99/14.09 o 127515 13.99/14.09 c 27 calls to solver: best=127515 lower=127516 upper=27496341 14.58/14.63 o 129559 15.09/15.14 o 129631 15.09/15.14 c 29 calls to solver: best=129631 lower=129632 upper=27496341 15.58/15.66 o 129670 16.09/16.17 o 129773 16.09/16.17 c 31 calls to solver: best=129773 lower=129774 upper=27496341 16.58/16.69 o 129864 17.18/17.22 o 130733 17.18/17.22 c 33 calls to solver: best=130733 lower=130734 upper=27496341 17.68/17.75 o 131360 18.18/18.28 o 131442 18.18/18.28 c 35 calls to solver: best=131442 lower=131443 upper=27496341 19.28/19.32 o 131714 19.78/19.89 o 132574 19.78/19.89 c 37 calls to solver: best=132574 lower=132575 upper=27496341 20.38/20.40 o 132863 20.88/20.91 o 132943 20.88/20.91 c 39 calls to solver: best=132943 lower=132944 upper=27496341 21.38/21.43 o 133086 21.88/21.94 o 133758 21.88/21.94 c 41 calls to solver: best=133758 lower=133759 upper=27496341 22.38/22.45 o 134151 22.88/22.96 o 134266 22.88/22.96 c 43 calls to solver: best=134266 lower=134267 upper=27496341 23.38/23.48 o 134440 23.88/23.99 o 134782 23.88/23.99 c 45 calls to solver: best=134782 lower=134783 upper=27496341 24.48/24.50 o 135003 24.98/25.01 o 135219 24.98/25.01 c 47 calls to solver: best=135219 lower=135220 upper=27496341 25.47/25.53 o 135287 25.98/26.04 o 135714 25.98/26.04 c 49 calls to solver: best=135714 lower=135715 upper=27496341 26.48/26.55 o 135958 26.98/27.06 o 138028 26.98/27.06 c 51 calls to solver: best=138028 lower=138029 upper=27496341 27.47/27.58 o 138448 27.98/28.09 o 139112 27.98/28.09 c 53 calls to solver: best=139112 lower=139113 upper=27496341 28.57/28.60 o 139398 29.08/29.11 o 139646 29.08/29.11 c 55 calls to solver: best=139646 lower=139647 upper=27496341 29.57/29.63 o 140587 30.08/30.14 o 141460 30.08/30.14 c 57 calls to solver: best=141460 lower=141461 upper=27496341 30.57/30.65 o 143036 31.08/31.16 o 144366 31.08/31.16 c 59 calls to solver: best=144366 lower=144367 upper=27496341 31.57/31.68 o 144682 32.08/32.19 o 145979 32.08/32.19 c 61 calls to solver: best=145979 lower=145980 upper=27496341 32.67/32.70 o 146643 33.17/33.22 o 148263 33.17/33.22 c 63 calls to solver: best=148263 lower=148264 upper=27496341 33.67/33.73 o 148515 34.17/34.24 o 148575 34.17/34.24 c 65 calls to solver: best=148575 lower=148576 upper=27496341 34.67/34.75 o 148664 35.17/35.27 o 149505 35.17/35.27 c 67 calls to solver: best=149505 lower=149506 upper=27496341 35.67/35.78 o 150875 36.17/36.29 o 151851 36.17/36.29 c 69 calls to solver: best=151851 lower=151852 upper=27496341 36.77/36.80 o 152398 37.27/37.32 o 153233 37.27/37.32 c 71 calls to solver: best=153233 lower=153234 upper=27496341 37.77/37.83 o 154019 38.28/38.34 o 154021 38.28/38.34 c 73 calls to solver: best=154021 lower=154022 upper=27496341 38.78/38.85 o 155632 39.28/39.37 o 155917 39.28/39.37 c 75 calls to solver: best=155917 lower=155918 upper=27496341 39.78/39.88 o 156010 40.28/40.39 o 156105 40.28/40.39 c 77 calls to solver: best=156105 lower=156106 upper=27496341 40.88/40.90 o 156133 41.38/41.42 o 156225 41.38/41.42 c 79 calls to solver: best=156225 lower=156226 upper=27496341 41.88/41.93 o 156273 42.38/42.44 o 157058 42.38/42.44 c 81 calls to solver: best=157058 lower=157059 upper=27496341 42.88/42.95 o 157604 43.38/43.47 o 158405 43.38/43.47 c 83 calls to solver: best=158405 lower=158406 upper=27496341 43.88/43.98 o 158996 44.38/44.49 o 159868 44.38/44.49 c 85 calls to solver: best=159868 lower=159869 upper=27496341 44.88/45.00 o 160017 45.48/45.52 o 160301 45.48/45.52 c 87 calls to solver: best=160301 lower=160302 upper=27496341 45.99/46.03 o 160448 46.48/46.54 o 161583 46.48/46.54 c 89 calls to solver: best=161583 lower=161584 upper=27496341 46.99/47.05 o 161998 47.48/47.57 o 162101 47.48/47.57 c 91 calls to solver: best=162101 lower=162102 upper=27496341 47.99/48.08 o 162221 48.48/48.59 o 162272 48.48/48.59 c 93 calls to solver: best=162272 lower=162273 upper=27496341 48.99/49.10 o 162448 49.58/49.61 o 162672 49.58/49.61 c 95 calls to solver: best=162672 lower=162673 upper=27496341 50.09/50.13 o 162836 50.58/50.64 o 163722 50.58/50.64 c 97 calls to solver: best=163722 lower=163723 upper=27496341 51.09/51.15 o 163796 51.58/51.66 o 163824 51.58/51.66 c 99 calls to solver: best=163824 lower=163825 upper=27496341 52.09/52.18 o 164118 52.58/52.69 o 164168 52.58/52.69 c 101 calls to solver: best=164168 lower=164169 upper=27496341 53.18/53.20 o 164428 53.68/53.71 o 164668 53.68/53.71 c 103 calls to solver: best=164668 lower=164669 upper=27496341 54.18/54.22 o 164724 54.68/54.74 o 165195 54.68/54.74 c 105 calls to solver: best=165195 lower=165196 upper=27496341 55.18/55.25 o 166067 55.68/55.76 o 166437 55.68/55.76 c 107 calls to solver: best=166437 lower=166438 upper=27496341 56.18/56.27 o 166586 56.68/56.79 o 166704 56.68/56.79 c 109 calls to solver: best=166704 lower=166705 upper=27496341 57.28/57.30 o 166948 57.78/57.81 o 167318 57.78/57.81 c 111 calls to solver: best=167318 lower=167319 upper=27496341 58.28/58.32 o 167402 58.78/58.83 o 167829 58.78/58.83 c 113 calls to solver: best=167829 lower=167830 upper=27496341 59.28/59.35 o 168642 59.78/59.86 o 168837 59.78/59.86 c 115 calls to solver: best=168837 lower=168838 upper=27496341 60.28/60.37 o 169528 60.78/60.88 o 169850 60.78/60.88 c 117 calls to solver: best=169850 lower=169851 upper=27496341 61.28/61.39 o 169867 61.88/61.91 o 170011 61.88/61.91 c 119 calls to solver: best=170011 lower=170012 upper=27496341 62.38/62.42 o 170093 62.88/62.93 o 170240 62.88/62.93 c 121 calls to solver: best=170240 lower=170241 upper=27496341 63.38/63.44 o 170414 63.88/63.96 o 170736 63.88/63.96 c 123 calls to solver: best=170736 lower=170737 upper=27496341 64.38/64.47 o 171024 64.88/64.98 o 171191 64.88/64.98 c 125 calls to solver: best=171191 lower=171192 upper=27496341 65.37/65.49 o 171273 65.98/66.01 o 171448 65.98/66.01 c 127 calls to solver: best=171448 lower=171449 upper=27496341 66.47/66.52 o 171568 66.98/67.03 o 171910 66.98/67.03 c 129 calls to solver: best=171910 lower=171911 upper=27496341 67.47/67.54 o 172105 67.98/68.06 o 172155 67.98/68.06 c 131 calls to solver: best=172155 lower=172156 upper=27496341 68.47/68.57 o 172412 68.98/69.08 o 172727 68.98/69.08 c 133 calls to solver: best=172727 lower=172728 upper=27496341 69.47/69.59 o 172907 70.08/70.11 o 172980 70.08/70.11 c 135 calls to solver: best=172980 lower=172981 upper=27496341 70.57/70.62 o 173085 71.08/71.13 o 173241 71.08/71.13 c 137 calls to solver: best=173241 lower=173242 upper=27496341 71.57/71.65 o 173358 72.08/72.16 o 173509 72.08/72.16 c 139 calls to solver: best=173509 lower=173510 upper=27496341 72.57/72.67 o 173636 73.08/73.18 o 173879 73.08/73.18 c 141 calls to solver: best=173879 lower=173880 upper=27496341 73.67/73.70 o 173907 74.17/74.21 o 174127 74.17/74.21 c 143 calls to solver: best=174127 lower=174128 upper=27496341 74.67/74.72 o 174281 75.17/75.23 o 174309 75.17/75.23 c 145 calls to solver: best=174309 lower=174310 upper=27496341 75.67/75.75 o 174658 76.17/76.26 o 174940 76.17/76.26 c 147 calls to solver: best=174940 lower=174941 upper=27496341 76.67/76.77 o 175118 77.17/77.28 o 175313 77.17/77.28 c 149 calls to solver: best=175313 lower=175314 upper=27496341 77.67/77.80 o 175580 78.27/78.31 o 175931 78.27/78.31 c 151 calls to solver: best=175931 lower=175932 upper=27496341 78.77/78.82 o 175972 79.27/79.33 o 176321 79.27/79.33 c 153 calls to solver: best=176321 lower=176322 upper=27496341 79.77/79.84 o 176609 80.27/80.36 o 176983 80.27/80.36 c 155 calls to solver: best=176983 lower=176984 upper=27496341 80.77/80.87 o 177445 81.27/81.38 o 177869 81.27/81.38 c 157 calls to solver: best=177869 lower=177870 upper=27496341 81.77/81.90 o 178413 82.37/82.41 o 178653 82.37/82.41 c 159 calls to solver: best=178653 lower=178654 upper=27496341 82.87/82.92 o 178674 83.37/83.43 o 178903 83.37/83.43 c 161 calls to solver: best=178903 lower=178904 upper=27496341 83.87/83.95 o 179077 84.37/84.46 o 179539 84.37/84.46 c 163 calls to solver: best=179539 lower=179540 upper=27496341 84.87/84.97 o 179666 85.37/85.48 o 179738 85.37/85.48 c 165 calls to solver: best=179738 lower=179739 upper=27496341 85.87/86.00 o 179795 86.47/86.51 o 179909 86.47/86.51 c 167 calls to solver: best=179909 lower=179910 upper=27496341 86.98/87.02 o 179910 87.47/87.53 o 180002 87.47/87.53 c 169 calls to solver: best=180002 lower=180003 upper=27496341 87.98/88.05 o 180146 88.47/88.56 o 180454 88.47/88.56 c 171 calls to solver: best=180454 lower=180455 upper=27496341 88.98/89.07 o 180583 89.47/89.59 o 180837 89.47/89.59 c 173 calls to solver: best=180837 lower=180838 upper=27496341 89.98/90.10 o 181462 90.57/90.61 o 181541 90.57/90.61 c 175 calls to solver: best=181541 lower=181542 upper=27496341 91.08/91.12 o 181906 91.57/91.64 o 182022 91.57/91.64 c 177 calls to solver: best=182022 lower=182023 upper=27496341 92.08/92.15 o 182290 92.57/92.66 o 182540 92.57/92.66 c 179 calls to solver: best=182540 lower=182541 upper=27496341 93.08/93.17 o 182651 93.57/93.69 o 182686 93.57/93.69 c 181 calls to solver: best=182686 lower=182687 upper=27496341 94.17/94.20 o 182881 94.67/94.71 o 183083 94.67/94.71 c 183 calls to solver: best=183083 lower=183084 upper=27496341 95.17/95.22 o 183100 95.67/95.73 o 183220 95.67/95.73 c 185 calls to solver: best=183220 lower=183221 upper=27496341 96.17/96.25 o 183254 96.67/96.76 o 183273 96.67/96.76 c 187 calls to solver: best=183273 lower=183274 upper=27496341 97.17/97.27 o 183384 97.67/97.79 o 183656 97.67/97.79 c 189 calls to solver: best=183656 lower=183657 upper=27496341 98.27/98.30 o 183770 98.77/98.81 o 183917 98.77/98.81 c 191 calls to solver: best=183917 lower=183918 upper=27496341 99.27/99.33 o 184288 99.77/99.84 o 184471 99.77/99.84 c 193 calls to solver: best=184471 lower=184472 upper=27496341 100.27/100.35 o 184836 100.77/100.86 o 184906 100.77/100.86 c 195 calls to solver: best=184906 lower=184907 upper=27496341 101.27/101.38 o 184946 101.77/101.89 o 185121 101.77/101.89 c 197 calls to solver: best=185121 lower=185122 upper=27496341 102.37/102.40 o 185438 102.87/102.91 o 185587 102.87/102.91 c 199 calls to solver: best=185587 lower=185588 upper=27496341 103.37/103.42 o 185883 103.87/103.94 o 185997 103.87/103.94 c 201 calls to solver: best=185997 lower=185998 upper=27496341 104.87/104.95 o 186076 105.37/105.46 o 186441 105.37/105.46 c 203 calls to solver: best=186441 lower=186442 upper=27496341 105.87/105.97 o 186521 106.37/106.49 o 186755 106.37/106.49 c 205 calls to solver: best=186755 lower=186756 upper=27496341 106.87/107.00 o 186860 107.47/107.51 o 187405 107.47/107.51 c 207 calls to solver: best=187405 lower=187406 upper=27496341 107.97/108.02 o 187600 108.47/108.54 o 187871 108.47/108.54 c 209 calls to solver: best=187871 lower=187872 upper=27496341 108.97/109.05 o 187970 109.47/109.56 o 188213 109.47/109.56 c 211 calls to solver: best=188213 lower=188214 upper=27496341 109.97/110.07 o 188327 110.47/110.59 o 188485 110.47/110.59 c 213 calls to solver: best=188485 lower=188486 upper=27496341 110.97/111.10 o 188531 111.57/111.61 o 188783 111.57/111.61 c 215 calls to solver: best=188783 lower=188784 upper=27496341 112.08/112.12 o 189009 112.57/112.64 o 189270 112.57/112.64 c 217 calls to solver: best=189270 lower=189271 upper=27496341 113.08/113.15 o 189418 113.57/113.66 o 190143 113.57/113.66 c 219 calls to solver: best=190143 lower=190144 upper=27496341 114.08/114.18 o 190240 114.57/114.69 o 190349 114.57/114.69 c 221 calls to solver: best=190349 lower=190350 upper=27496341 115.17/115.20 o 190544 115.67/115.72 o 190762 115.67/115.72 c 223 calls to solver: best=190762 lower=190763 upper=27496341 116.17/116.23 o 191000 116.67/116.74 o 191007 116.67/116.74 c 225 calls to solver: best=191007 lower=191008 upper=27496341 117.17/117.25 o 191398 117.67/117.77 o 191649 117.67/117.77 c 227 calls to solver: best=191649 lower=191650 upper=27496341 118.17/118.28 o 191787 118.67/118.79 o 191889 118.67/118.79 c 229 calls to solver: best=191889 lower=191890 upper=27496341 119.27/119.30 o 192383 119.77/119.82 o 193035 119.77/119.82 c 231 calls to solver: best=193035 lower=193036 upper=27496341 120.27/120.33 o 193054 120.77/120.84 o 193356 120.77/120.84 c 233 calls to solver: best=193356 lower=193357 upper=27496341 121.27/121.35 o 193536 121.77/121.87 o 193569 121.77/121.87 c 235 calls to solver: best=193569 lower=193570 upper=27496341 122.27/122.38 o 193630 122.77/122.89 o 193852 122.77/122.89 c 237 calls to solver: best=193852 lower=193853 upper=27496341 123.36/123.40 o 194373 123.86/123.92 o 195037 123.86/123.92 c 239 calls to solver: best=195037 lower=195038 upper=27496341 124.36/124.43 o 195348 124.86/124.94 o 195668 124.86/124.94 c 241 calls to solver: best=195668 lower=195669 upper=27496341 125.36/125.45 o 196332 125.86/125.97 o 196680 125.86/125.97 c 243 calls to solver: best=196680 lower=196681 upper=27496341 126.36/126.48 o 196975 126.86/126.99 o 197070 126.86/126.99 c 245 calls to solver: best=197070 lower=197071 upper=27496341 127.46/127.50 o 197220 127.97/128.02 o 197582 127.97/128.02 c 247 calls to solver: best=197582 lower=197583 upper=27496341 128.46/128.53 o 197988 128.97/129.04 o 198281 128.97/129.04 c 249 calls to solver: best=198281 lower=198282 upper=27496341 129.46/129.55 o 198770 129.97/130.06 o 198847 129.97/130.06 c 251 calls to solver: best=198847 lower=198848 upper=27496341 130.46/130.58 o 199161 130.97/131.09 o 199321 130.97/131.09 c 253 calls to solver: best=199321 lower=199322 upper=27496341 131.56/131.60 o 199389 132.07/132.12 o 199478 132.07/132.12 c 255 calls to solver: best=199478 lower=199479 upper=27496341 132.56/132.63 o 199795 133.07/133.14 o 200427 133.07/133.14 c 257 calls to solver: best=200427 lower=200428 upper=27496341 133.56/133.65 o 200990 134.07/134.17 o 201297 134.07/134.17 c 259 calls to solver: best=201297 lower=201298 upper=27496341 134.56/134.68 o 201480 135.07/135.19 o 202122 135.07/135.19 c 261 calls to solver: best=202122 lower=202123 upper=27496341 135.66/135.70 o 202342 136.16/136.22 o 202352 136.16/136.22 c 263 calls to solver: best=202352 lower=202353 upper=27496341 136.66/136.73 o 202602 137.16/137.24 o 202632 137.16/137.24 c 265 calls to solver: best=202632 lower=202633 upper=27496341 137.66/137.75 o 203516 138.16/138.26 o 204107 138.16/138.26 c 267 calls to solver: best=204107 lower=204108 upper=27496341 138.66/138.78 o 204323 139.16/139.29 o 204771 139.16/139.29 c 269 calls to solver: best=204771 lower=204772 upper=27496341 139.76/139.80 o 204993 140.26/140.31 o 205037 140.26/140.31 c 271 calls to solver: best=205037 lower=205038 upper=27496341 140.76/140.83 o 205647 141.26/141.34 o 205921 141.26/141.34 c 273 calls to solver: best=205921 lower=205922 upper=27496341 141.76/141.85 o 205997 142.26/142.36 o 206120 142.26/142.36 c 275 calls to solver: best=206120 lower=206121 upper=27496341 142.76/142.87 o 206661 143.26/143.39 o 206803 143.26/143.39 c 277 calls to solver: best=206803 lower=206804 upper=27496341 143.86/143.90 o 207117 144.36/144.41 o 207642 144.36/144.41 c 279 calls to solver: best=207642 lower=207643 upper=27496341 144.86/144.93 o 207906 145.36/145.44 o 208570 145.36/145.44 c 281 calls to solver: best=208570 lower=208571 upper=27496341 145.86/145.95 o 209381 146.36/146.46 o 210045 146.36/146.46 c 283 calls to solver: best=210045 lower=210046 upper=27496341 146.86/146.97 o 210289 147.36/147.49 o 210526 147.36/147.49 c 285 calls to solver: best=210526 lower=210527 upper=27496341 147.86/148.00 o 210541 148.46/148.51 o 211078 148.46/148.51 c 287 calls to solver: best=211078 lower=211079 upper=27496341 148.97/149.02 o 211276 149.46/149.53 o 211813 149.46/149.53 c 289 calls to solver: best=211813 lower=211814 upper=27496341 149.97/150.05 o 212407 150.46/150.56 o 212439 150.46/150.56 c 291 calls to solver: best=212439 lower=212440 upper=27496341 150.97/151.07 o 212874 151.46/151.58 o 213430 151.46/151.58 c 293 calls to solver: best=213430 lower=213431 upper=27496341 151.97/152.10 o 213996 152.56/152.61 o 215152 152.56/152.61 c 295 calls to solver: best=215152 lower=215153 upper=27496341 153.07/153.12 o 215223 153.56/153.63 o 215768 153.56/153.63 c 297 calls to solver: best=215768 lower=215769 upper=27496341 154.07/154.14 o 216096 154.56/154.66 o 216318 154.56/154.66 c 299 calls to solver: best=216318 lower=216319 upper=27496341 155.07/155.17 o 216688 155.56/155.68 o 217166 155.56/155.68 c 301 calls to solver: best=217166 lower=217167 upper=27496341 156.07/156.19 o 217191 156.66/156.71 o 217747 156.66/156.71 c 303 calls to solver: best=217747 lower=217748 upper=27496341 157.16/157.22 o 217822 157.66/157.73 o 218007 157.66/157.73 c 305 calls to solver: best=218007 lower=218008 upper=27496341 158.16/158.24 o 218273 158.66/158.75 o 218536 158.66/158.75 c 307 calls to solver: best=218536 lower=218537 upper=27496341 159.16/159.27 o 218936 159.66/159.78 o 219158 159.66/159.78 c 309 calls to solver: best=219158 lower=219159 upper=27496341 160.16/160.29 o 219273 160.76/160.80 o 219937 160.76/160.80 c 311 calls to solver: best=219937 lower=219938 upper=27496341 161.26/161.32 o 220198 161.76/161.83 o 220286 161.76/161.83 c 313 calls to solver: best=220286 lower=220287 upper=27496341 162.26/162.34 o 220874 162.76/162.85 o 221216 162.76/162.85 c 315 calls to solver: best=221216 lower=221217 upper=27496341 163.26/163.36 o 221353 163.76/163.88 o 221574 163.76/163.88 c 317 calls to solver: best=221574 lower=221575 upper=27496341 164.26/164.39 o 221597 164.86/164.90 o 221874 164.86/164.90 c 319 calls to solver: best=221874 lower=221875 upper=27496341 165.36/165.41 o 222442 165.86/165.93 o 222562 165.86/165.93 c 321 calls to solver: best=222562 lower=222563 upper=27496341 166.36/166.44 o 222875 166.86/166.95 o 223112 166.86/166.95 c 323 calls to solver: best=223112 lower=223113 upper=27496341 167.36/167.46 o 223486 167.86/167.97 o 224009 167.86/167.97 c 325 calls to solver: best=224009 lower=224010 upper=27496341 168.36/168.49 o 224535 168.86/169.00 o 224777 168.86/169.00 c 327 calls to solver: best=224777 lower=224778 upper=27496341 169.46/169.51 o 225051 169.96/170.02 o 225653 169.96/170.02 c 329 calls to solver: best=225653 lower=225654 upper=27496341 170.46/170.54 o 226278 170.96/171.05 o 226791 170.96/171.05 c 331 calls to solver: best=226791 lower=226792 upper=27496341 171.45/171.56 o 226972 171.96/172.07 o 227124 171.96/172.07 c 333 calls to solver: best=227124 lower=227125 upper=27496341 172.46/172.59 o 227530 172.96/173.10 o 227642 172.96/173.10 c 335 calls to solver: best=227642 lower=227643 upper=27496341 173.55/173.61 o 227667 174.06/174.12 o 227974 174.06/174.12 c 337 calls to solver: best=227974 lower=227975 upper=27496341 174.55/174.64 o 228860 175.06/175.15 o 229524 175.06/175.15 c 339 calls to solver: best=229524 lower=229525 upper=27496341 175.55/175.66 o 229536 176.06/176.17 o 230180 176.06/176.17 c 341 calls to solver: best=230180 lower=230181 upper=27496341 176.55/176.69 o 230382 177.15/177.20 o 230427 177.15/177.20 c 343 calls to solver: best=230427 lower=230428 upper=27496341 177.65/177.71 o 230562 178.15/178.22 o 231208 178.15/178.22 c 345 calls to solver: best=231208 lower=231209 upper=27496341 178.65/178.74 o 231682 179.15/179.25 o 232307 179.15/179.25 c 347 calls to solver: best=232307 lower=232308 upper=27496341 179.65/179.76 o 232523 180.15/180.27 o 232865 180.15/180.27 c 349 calls to solver: best=232865 lower=232866 upper=27496341 180.65/180.79 o 233016 181.25/181.30 o 233089 181.25/181.30 c 351 calls to solver: best=233089 lower=233090 upper=27496341 181.75/181.81 o 233696 182.25/182.32 o 233870 182.25/182.32 c 353 calls to solver: best=233870 lower=233871 upper=27496341 182.75/182.84 o 234078 183.25/183.35 o 234249 183.25/183.35 c 355 calls to solver: best=234249 lower=234250 upper=27496341 183.75/183.86 o 234494 184.25/184.37 o 234655 184.25/184.37 c 357 calls to solver: best=234655 lower=234656 upper=27496341 184.75/184.89 o 234721 185.35/185.40 o 235319 185.35/185.40 c 359 calls to solver: best=235319 lower=235320 upper=27496341 185.85/185.91 o 236067 186.35/186.42 o 236176 186.35/186.42 c 361 calls to solver: best=236176 lower=236177 upper=27496341 186.85/186.93 o 236574 187.35/187.45 o 236580 187.35/187.45 c 363 calls to solver: best=236580 lower=236581 upper=27496341 187.85/187.96 o 236703 188.35/188.47 o 237017 188.35/188.47 c 365 calls to solver: best=237017 lower=237018 upper=27496341 188.85/188.98 o 237042 189.35/189.50 o 237291 189.35/189.50 c 367 calls to solver: best=237291 lower=237292 upper=27496341 189.96/190.01 o 237434 190.45/190.52 o 237573 190.45/190.52 c 369 calls to solver: best=237573 lower=237574 upper=27496341 190.96/191.03 o 237673 191.45/191.55 o 238237 191.45/191.55 c 371 calls to solver: best=238237 lower=238238 upper=27496341 191.96/192.06 o 238467 192.45/192.57 o 238689 192.45/192.57 c 373 calls to solver: best=238689 lower=238690 upper=27496341 192.96/193.08 o 238740 193.45/193.60 o 238859 193.45/193.60 c 375 calls to solver: best=238859 lower=238860 upper=27496341 194.06/194.11 o 238979 194.55/194.62 o 239281 194.55/194.62 c 377 calls to solver: best=239281 lower=239282 upper=27496341 195.06/195.13 o 240167 195.55/195.64 o 240197 195.55/195.64 c 379 calls to solver: best=240197 lower=240198 upper=27496341 196.06/196.16 o 240789 196.55/196.67 o 240943 196.55/196.67 c 381 calls to solver: best=240943 lower=240944 upper=27496341 197.06/197.18 o 241180 197.55/197.69 o 241529 197.55/197.69 c 383 calls to solver: best=241529 lower=241530 upper=27496341 198.15/198.20 o 242011 198.65/198.72 o 242657 198.65/198.72 c 385 calls to solver: best=242657 lower=242658 upper=27496341 199.15/199.23 o 243369 199.65/199.74 o 243439 199.65/199.74 c 387 calls to solver: best=243439 lower=243440 upper=27496341 200.15/200.25 o 243543 200.65/200.76 o 243866 200.65/200.76 c 389 calls to solver: best=243866 lower=243867 upper=27496341 201.15/201.27 o 244033 201.65/201.79 o 244371 201.65/201.79 c 391 calls to solver: best=244371 lower=244372 upper=27496341 202.25/202.30 o 244376 202.75/202.81 o 245325 202.75/202.81 c 393 calls to solver: best=245325 lower=245326 upper=27496341 203.25/203.32 o 245727 203.75/203.83 o 245988 203.75/203.83 c 395 calls to solver: best=245988 lower=245989 upper=27496341 204.25/204.35 o 246091 204.75/204.86 o 246318 204.75/204.86 c 397 calls to solver: best=246318 lower=246319 upper=27496341 205.25/205.37 o 246780 205.75/205.88 o 247282 205.75/205.88 c 399 calls to solver: best=247282 lower=247283 upper=27496341 206.25/206.39 o 247427 206.85/206.91 o 247707 206.85/206.91 c 401 calls to solver: best=247707 lower=247708 upper=27496341 207.35/207.42 o 248112 207.85/207.93 o 248272 207.85/207.93 c 403 calls to solver: best=248272 lower=248273 upper=27496341 208.35/208.44 o 248672 208.85/208.95 o 249136 208.85/208.95 c 405 calls to solver: best=249136 lower=249137 upper=27496341 209.35/209.47 o 249484 209.85/209.98 o 250059 209.85/209.98 c 407 calls to solver: best=250059 lower=250060 upper=27496341 210.35/210.49 o 250598 210.85/211.00 o 250885 210.85/211.00 c 409 calls to solver: best=250885 lower=250886 upper=27496341 211.45/211.52 o 251248 211.95/212.03 o 251272 211.95/212.03 c 411 calls to solver: best=251272 lower=251273 upper=27496341 212.45/212.54 o 251538 212.95/213.05 o 251760 212.95/213.05 c 413 calls to solver: best=251760 lower=251761 upper=27496341 213.45/213.56 o 252236 213.95/214.08 o 252278 213.95/214.08 c 415 calls to solver: best=252278 lower=252279 upper=27496341 214.45/214.59 o 252366 214.95/215.10 o 252655 214.95/215.10 c 417 calls to solver: best=252655 lower=252656 upper=27496341 215.55/215.61 o 252828 216.06/216.13 o 252985 216.06/216.13 c 419 calls to solver: best=252985 lower=252986 upper=27496341 216.55/216.64 o 253372 217.05/217.15 o 253380 217.05/217.15 c 421 calls to solver: best=253380 lower=253381 upper=27496341 217.55/217.66 o 253963 218.05/218.17 o 254139 218.05/218.17 c 423 calls to solver: best=254139 lower=254140 upper=27496341 218.55/218.69 o 254653 219.15/219.20 o 254959 219.15/219.20 c 425 calls to solver: best=254959 lower=254960 upper=27496341 219.65/219.71 o 255374 220.15/220.22 o 255446 220.15/220.22 c 427 calls to solver: best=255446 lower=255447 upper=27496341 220.65/220.73 o 255483 221.15/221.25 o 255645 221.15/221.25 c 429 calls to solver: best=255645 lower=255646 upper=27496341 221.65/221.76 o 255911 222.15/222.27 o 256144 222.15/222.27 c 431 calls to solver: best=256144 lower=256145 upper=27496341 222.64/222.78 o 256277 223.14/223.29 o 256385 223.14/223.29 c 433 calls to solver: best=256385 lower=256386 upper=27496341 223.74/223.81 o 256427 224.24/224.32 o 256543 224.24/224.32 c 435 calls to solver: best=256543 lower=256544 upper=27496341 224.74/224.83 o 256611 225.24/225.34 o 256736 225.24/225.34 c 437 calls to solver: best=256736 lower=256737 upper=27496341 225.74/225.85 o 256897 226.24/226.37 o 257378 226.24/226.37 c 439 calls to solver: best=257378 lower=257379 upper=27496341 226.74/226.88 o 257873 227.24/227.39 o 258329 227.24/227.39 c 441 calls to solver: best=258329 lower=258330 upper=27496341 227.84/227.90 o 258475 228.34/228.42 o 259139 228.34/228.42 c 443 calls to solver: best=259139 lower=259140 upper=27496341 228.84/228.93 o 259399 229.34/229.44 o 259560 229.34/229.44 c 445 calls to solver: best=259560 lower=259561 upper=27496341 229.84/229.95 o 259599 230.34/230.46 o 259956 230.34/230.46 c 447 calls to solver: best=259956 lower=259957 upper=27496341 230.84/230.98 o 260470 231.34/231.49 o 260487 231.34/231.49 c 449 calls to solver: best=260487 lower=260488 upper=27496341 231.84/232.00 o 260514 232.44/232.51 o 260659 232.44/232.51 c 451 calls to solver: best=260659 lower=260660 upper=27496341 232.95/233.02 o 260881 233.44/233.54 o 261046 233.44/233.54 c 453 calls to solver: best=261046 lower=261047 upper=27496341 233.95/234.05 o 261282 234.44/234.56 o 261425 234.44/234.56 c 455 calls to solver: best=261425 lower=261426 upper=27496341 234.95/235.07 o 261633 235.44/235.59 o 261828 235.44/235.59 c 457 calls to solver: best=261828 lower=261829 upper=27496341 235.95/236.10 o 262297 236.54/236.61 o 262519 236.54/236.61 c 459 calls to solver: best=262519 lower=262520 upper=27496341 237.05/237.12 o 262661 237.54/237.63 o 262684 237.54/237.63 c 461 calls to solver: best=262684 lower=262685 upper=27496341 238.05/238.15 o 262690 238.54/238.66 o 262762 238.54/238.66 c 463 calls to solver: best=262762 lower=262763 upper=27496341 239.05/239.17 o 262765 239.54/239.68 o 262950 239.54/239.68 c 465 calls to solver: best=262950 lower=262951 upper=27496341 240.14/240.20 o 263471 240.64/240.71 o 263520 240.64/240.71 c 467 calls to solver: best=263520 lower=263521 upper=27496341 241.14/241.22 o 263697 241.64/241.73 o 264085 241.64/241.73 c 469 calls to solver: best=264085 lower=264086 upper=27496341 242.14/242.25 o 264483 242.64/242.76 o 264833 242.64/242.76 c 471 calls to solver: best=264833 lower=264834 upper=27496341 243.14/243.27 o 264957 243.64/243.78 o 265621 243.64/243.78 c 473 calls to solver: best=265621 lower=265622 upper=27496341 244.14/244.30 o 265665 244.74/244.81 o 266289 244.74/244.81 c 475 calls to solver: best=266289 lower=266290 upper=27496341 245.24/245.32 o 266312 245.74/245.83 o 266614 245.74/245.83 c 477 calls to solver: best=266614 lower=266615 upper=27496341 246.24/246.34 o 266792 246.74/246.86 o 266881 246.74/246.86 c 479 calls to solver: best=266881 lower=266882 upper=27496341 247.24/247.37 o 267226 247.74/247.88 o 267341 247.74/247.88 c 481 calls to solver: best=267341 lower=267342 upper=27496341 248.24/248.39 o 267508 248.84/248.90 o 267915 248.84/248.90 c 483 calls to solver: best=267915 lower=267916 upper=27496341 249.34/249.42 o 268283 249.84/249.93 o 268459 249.84/249.93 c 485 calls to solver: best=268459 lower=268460 upper=27496341 250.34/250.44 o 268557 250.84/250.96 o 268631 250.84/250.96 c 487 calls to solver: best=268631 lower=268632 upper=27496341 251.34/251.47 o 268921 251.84/251.98 o 269629 251.84/251.98 c 489 calls to solver: best=269629 lower=269630 upper=27496341 251.95/252.00 251.95/252.00 c *** INTERRUPTED *** 251.95/252.00 c restarts : 2 251.95/252.00 c conflicts : 229 (1 /sec) 251.95/252.00 c decisions : 982807 (3901 /sec) 251.95/252.00 c propagations : 1006387 (3995 /sec) 251.95/252.00 c root propagations : 2000 251.95/252.00 c filter calls : 6199881 (24609 /sec) 251.95/252.00 c useless filter calls : 6194787 (99 %) 251.95/252.00 c Memory used : 47.61 MB 251.95/252.00 c CPU time : 251.933 s 251.95/252.00 251.95/252.00 c nb Solutions = 489 251.95/252.00 s SATISFIABLE 251.95/252.00 c Best value found: 269629 251.95/252.00 251.95/252.00 251.95/252.00 v <instantiation type='solution' cost='269629'> 251.95/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.95/252.00 v <values>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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 </values> 251.95/252.00 v </instantiation> 251.95/252.00
OK 269629
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (13558 MiB free) memory of node 1: 16384 MiB (13502 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301413-1532880741/watcher-4301413-1532880741 -o /tmp/evaluation-result-4301413-1532880741/solver-4301413-1532880741 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532880243-4870 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4301413-1532880741.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=5281, runsolver pid=5278 [startup+0.100112 s]* /proc/loadavg: 2.16 1.87 1.62 3/189 5282 /proc/meminfo: memFree=27707136/32770624 swapFree=67108532/67108860 [pid=5281] ppid=5278 vsize=29908 memory=6200 CPUtime=0.09 cores=0,2,4,6 /proc/5281/stat : 5281 (cosoco) R 5278 5281 4839 0 -1 4202496 1758 0 0 0 9 0 0 0 20 0 1 0 105637261 30625792 1550 33554432000 4194304 6142532 140729237297152 140729237292440 5359927 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 17985536 140729237300363 140729237300493 140729237300493 140729237303246 0 /proc/5281/statm: 7477 1550 823 476 0 799 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 29908 KiB Current children cumulated memory: 6200 KiB [startup+0.209651 s]* /proc/loadavg: 2.16 1.87 1.62 3/189 5282 /proc/meminfo: memFree=27706812/32770624 swapFree=67108532/67108860 [pid=5281] ppid=5278 vsize=30308 memory=6724 CPUtime=0.2 cores=0,2,4,6 /proc/5281/stat : 5281 (cosoco) R 5278 5281 4839 0 -1 4202496 1880 0 0 0 20 0 0 0 20 0 1 0 105637261 31035392 1681 33554432000 4194304 6142532 140729237297152 140729237292440 140323464809278 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 17985536 140729237300363 140729237300493 140729237300493 140729237303246 0 /proc/5281/statm: 7577 1681 846 476 0 899 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 30308 KiB Current children cumulated memory: 6724 KiB [startup+0.308863 s]* /proc/loadavg: 2.16 1.87 1.62 3/189 5282 /proc/meminfo: memFree=27705324/32770624 swapFree=67108532/67108860 [pid=5281] ppid=5278 vsize=31760 memory=8308 CPUtime=0.3 cores=0,2,4,6 /proc/5281/stat : 5281 (cosoco) R 5278 5281 4839 0 -1 4202496 2264 0 0 0 30 0 0 0 20 0 1 0 105637261 32522240 2077 33554432000 4194304 6142532 140729237297152 140729237292440 5215632 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 17985536 140729237300363 140729237300493 140729237300493 140729237303246 0 /proc/5281/statm: 7940 2077 866 476 0 1262 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 31760 KiB Current children cumulated memory: 8308 KiB [startup+0.700246 s] /proc/loadavg: 2.16 1.87 1.62 3/189 5282 /proc/meminfo: memFree=27698876/32770624 swapFree=67108532/67108860 [pid=5281] ppid=5278 vsize=38672 memory=15172 CPUtime=0.69 cores=0,2,4,6 /proc/5281/stat : 5281 (cosoco) R 5278 5281 4839 0 -1 4202496 3988 0 0 0 69 0 0 0 20 0 1 0 105637261 39600128 3793 33554432000 4194304 6142532 140729237297152 140729237292440 5215632 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 17985536 140729237300363 140729237300493 140729237300493 140729237303246 0 /proc/5281/statm: 9668 3793 867 476 0 2990 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 38672 KiB Current children cumulated memory: 15172 KiB [startup+1.50024 s] /proc/loadavg: 2.16 1.87 1.62 3/189 5282 /proc/meminfo: memFree=27693196/32770624 swapFree=67108532/67108860 [pid=5281] ppid=5278 vsize=44980 memory=21508 CPUtime=1.49 cores=0,2,4,6 /proc/5281/stat : 5281 (cosoco) R 5278 5281 4839 0 -1 4202496 5557 0 0 0 148 1 0 0 20 0 1 0 105637261 46059520 5377 33554432000 4194304 6142532 140729237297152 140729237294680 5139739 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 17985536 140729237300363 140729237300493 140729237300493 140729237303246 0 /proc/5281/statm: 11245 5377 867 476 0 4567 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 44980 KiB Current children cumulated memory: 21508 KiB [startup+3.10899 s] /proc/loadavg: 2.16 1.87 1.62 3/189 5282 /proc/meminfo: memFree=27691708/32770624 swapFree=67108532/67108860 [pid=5281] ppid=5278 vsize=45252 memory=21872 CPUtime=3.1 cores=0,2,4,6 /proc/5281/stat : 5281 (cosoco) R 5278 5281 4839 0 -1 4202496 8229 0 0 0 309 1 0 0 20 0 1 0 105637261 46338048 5468 33554432000 4194304 6142532 140729237297152 140729237294680 5215632 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 17985536 140729237300363 140729237300493 140729237300493 140729237303246 0 /proc/5281/statm: 11313 5468 867 476 0 4635 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 45252 KiB Current children cumulated memory: 21872 KiB [startup+6.30023 s] /proc/loadavg: 2.15 1.87 1.62 3/189 5282 /proc/meminfo: memFree=27691644/32770624 swapFree=67108532/67108860 [pid=5281] ppid=5278 vsize=45252 memory=21872 CPUtime=6.29 cores=0,2,4,6 /proc/5281/stat : 5281 (cosoco) R 5278 5281 4839 0 -1 4202496 10830 0 0 0 628 1 0 0 20 0 1 0 105637261 46338048 5468 33554432000 4194304 6142532 140729237297152 140729237284424 5215584 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 17985536 140729237300363 140729237300493 140729237300493 140729237303246 0 /proc/5281/statm: 11313 5468 867 476 0 4635 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 45252 KiB Current children cumulated memory: 21872 KiB [startup+12.7002 s] /proc/loadavg: 2.30 1.90 1.63 3/189 5343 /proc/meminfo: memFree=28120424/32770624 swapFree=67108532/67108860 [pid=5281] ppid=5278 vsize=45252 memory=21884 CPUtime=12.68 cores=0,2,4,6 /proc/5281/stat : 5281 (cosoco) R 5278 5281 4839 0 -1 4202496 14683 0 0 0 1267 1 0 0 20 0 1 0 105637261 46338048 5471 33554432000 4194304 6142532 140729237297152 140729237294680 5137682 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 17985536 140729237300363 140729237300493 140729237300493 140729237303246 0 /proc/5281/statm: 11313 5471 867 476 0 4635 0 Current children cumulated CPU time: 12.68 s Current children cumulated vsize: 45252 KiB Current children cumulated memory: 21884 KiB [startup+25.5002 s] /proc/loadavg: 2.31 1.93 1.64 3/189 5343 /proc/meminfo: memFree=28112856/32770624 swapFree=67108532/67108860 [pid=5281] ppid=5278 vsize=48616 memory=25296 CPUtime=25.47 cores=0,2,4,6 /proc/5281/stat : 5281 (cosoco) R 5278 5281 4839 0 -1 4202496 19774 0 0 0 2546 1 0 0 20 0 1 0 105637261 49782784 6324 33554432000 4194304 6142532 140729237297152 140729237284424 5138400 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 17985536 140729237300363 140729237300493 140729237300493 140729237303246 0 /proc/5281/statm: 12154 6324 867 476 0 5476 0 Current children cumulated CPU time: 25.47 s Current children cumulated vsize: 48616 KiB Current children cumulated memory: 25296 KiB [startup+51.1089 s] /proc/loadavg: 2.20 1.93 1.65 3/189 5343 /proc/meminfo: memFree=28109788/32770624 swapFree=67108532/67108860 [pid=5281] ppid=5278 vsize=48616 memory=25324 CPUtime=51.09 cores=0,2,4,6 /proc/5281/stat : 5281 (cosoco) R 5278 5281 4839 0 -1 4202496 19984 0 0 0 5107 2 0 0 20 0 1 0 105637261 49782784 6331 33554432000 4194304 6142532 140729237297152 140729237284424 5137685 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 17985536 140729237300363 140729237300493 140729237300493 140729237303246 0 /proc/5281/statm: 12154 6331 867 476 0 5476 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 48616 KiB Current children cumulated memory: 25324 KiB [startup+102.3 s] /proc/loadavg: 2.09 1.94 1.67 3/189 5344 /proc/meminfo: memFree=28110160/32770624 swapFree=67108532/67108860 [pid=5281] ppid=5278 vsize=48752 memory=25348 CPUtime=102.27 cores=0,2,4,6 /proc/5281/stat : 5281 (cosoco) R 5278 5281 4839 0 -1 4202496 20189 0 0 0 10225 2 0 0 20 0 1 0 105637261 49922048 6337 33554432000 4194304 6142532 140729237297152 140729237284424 5215647 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 17985536 140729237300363 140729237300493 140729237300493 140729237303246 0 /proc/5281/statm: 12188 6337 867 476 0 5510 0 Current children cumulated CPU time: 102.27 s Current children cumulated vsize: 48752 KiB Current children cumulated memory: 25348 KiB [startup+162.3 s] /proc/loadavg: 2.03 1.95 1.69 3/188 5345 /proc/meminfo: memFree=28110164/32770624 swapFree=67108532/67108860 [pid=5281] ppid=5278 vsize=48752 memory=25368 CPUtime=162.26 cores=0,2,4,6 /proc/5281/stat : 5281 (cosoco) R 5278 5281 4839 0 -1 4202496 20398 0 0 0 16224 2 0 0 20 0 1 0 105637261 49922048 6342 33554432000 4194304 6142532 140729237297152 140729237284424 5139650 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 17985536 140729237300363 140729237300493 140729237300493 140729237303246 0 /proc/5281/statm: 12188 6342 867 476 0 5510 0 Current children cumulated CPU time: 162.26 s Current children cumulated vsize: 48752 KiB Current children cumulated memory: 25368 KiB [startup+222.3 s] /proc/loadavg: 2.01 1.96 1.71 3/187 5346 /proc/meminfo: memFree=28109948/32770624 swapFree=67108532/67108860 [pid=5281] ppid=5278 vsize=48752 memory=25384 CPUtime=222.24 cores=0,2,4,6 /proc/5281/stat : 5281 (cosoco) R 5278 5281 4839 0 -1 4202496 20604 0 0 0 22222 2 0 0 20 0 1 0 105637261 49922048 6346 33554432000 4194304 6142532 140729237297152 140729237284424 5138688 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 17985536 140729237300363 140729237300493 140729237300493 140729237303246 0 /proc/5281/statm: 12188 6346 867 476 0 5510 0 Current children cumulated CPU time: 222.24 s Current children cumulated vsize: 48752 KiB Current children cumulated memory: 25384 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+252 s]* /proc/loadavg: 2.08 1.98 1.72 3/187 5347 /proc/meminfo: memFree=28109960/32770624 swapFree=67108532/67108860 [pid=5281] ppid=5278 vsize=48752 memory=25384 CPUtime=251.95 cores=0,2,4,6 /proc/5281/stat : 5281 (cosoco) R 5278 5281 4839 0 -1 4202496 20809 0 0 0 25193 2 0 0 20 0 1 0 105637261 49922048 6346 33554432000 4194304 6142532 140729237297152 140729237294680 5215632 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 17985536 140729237300363 140729237300493 140729237300493 140729237303246 0 /proc/5281/statm: 12188 6346 867 476 0 5510 0 Current children cumulated CPU time: 251.95 s Current children cumulated vsize: 48752 KiB Current children cumulated memory: 25384 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+252.01 s] # the end of solver process 5281 was just reported to runsolver # cumulated CPU time of all completed processes: user=251.934 s, system=0.027995 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 252.01 CPU time (s): 251.962 CPU user time (s): 251.934 CPU system time (s): 0.027995 CPU usage (%): 99.9808 Max. virtual memory (cumulated for all children) (KiB): 48752 Max. memory (cumulated for all children) (KiB): 25384 getrusage(RUSAGE_CHILDREN,...) data: user time used= 251.934 system time used= 0.027995 maximum resident set size= 25452 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 20847 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= 412 # summary of solver processes directly reported to runsolver: # pid: 5281 # total CPU time (s): 251.962 # total CPU user time (s): 251.934 # total CPU system time (s): 0.027995 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.752613 second user time and 1.8298 second system time The end
Begin job on node104 at 2018-07-29 18:12:21 IDJOB=4301413 IDBENCH=141145 IDSOLVER=2774 FILE ID=node104/4301413-1532880741 RUNJOBID= node104-1532880243-4870 PBS_JOBID= 21022518 Free space on /tmp= 50564 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay100_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4301413-1532880741/watcher-4301413-1532880741 -o /tmp/evaluation-result-4301413-1532880741/solver-4301413-1532880741 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532880243-4870 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4301413-1532880741.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d8b461fac2d17be3b89e017753091d4e RANDOM SEED=491344510 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: 27711192 kB MemAvailable: 31508464 kB Buffers: 176928 kB Cached: 3875236 kB SwapCached: 12 kB Active: 2382324 kB Inactive: 2168820 kB Active(anon): 453408 kB Inactive(anon): 73040 kB Active(file): 1928916 kB Inactive(file): 2095780 kB Unevictable: 7360 kB Mlocked: 7360 kB SwapTotal: 67108860 kB SwapFree: 67108532 kB Dirty: 2416 kB Writeback: 0 kB AnonPages: 598140 kB Mapped: 44040 kB Shmem: 25060 kB Slab: 205436 kB SReclaimable: 176820 kB SUnreclaim: 28616 kB KernelStack: 3600 kB PageTables: 5868 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 798040 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 475136 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:16:33