Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2 | SAT (TO) | 2539538 | 2400.11 | 2400.3 |
Name | Auction/Auction-sum/ Auction-sum-decay500_c18.xml |
MD5SUM | d1d7e4f351cab0858660dafd89ccc193 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 2539538 |
Best CPU time to get the best result obtained on this benchmark | 2400.01 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2000 |
Number of constraints | 500 |
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 | 37 |
Distribution of variable degrees | [{"degree":2,"count":333},{"degree":3,"count":393},{"degree":4,"count":273},{"degree":5,"count":211},{"degree":6,"count":187},{"degree":7,"count":130},{"degree":8,"count":107},{"degree":9,"count":78},{"degree":10,"count":58},{"degree":11,"count":59},{"degree":12,"count":30},{"degree":13,"count":31},{"degree":14,"count":23},{"degree":15,"count":16},{"degree":16,"count":16},{"degree":17,"count":13},{"degree":18,"count":7},{"degree":19,"count":4},{"degree":20,"count":11},{"degree":21,"count":4},{"degree":22,"count":4},{"degree":23,"count":2},{"degree":24,"count":1},{"degree":25,"count":4},{"degree":26,"count":1},{"degree":28,"count":1},{"degree":32,"count":1},{"degree":33,"count":1},{"degree":37,"count":1}] |
Minimum constraint arity | 7 |
Maximum constraint arity | 42 |
Distribution of constraint arities | [{"arity":7,"count":1},{"arity":9,"count":1},{"arity":10,"count":4},{"arity":11,"count":8},{"arity":12,"count":14},{"arity":13,"count":22},{"arity":14,"count":33},{"arity":15,"count":32},{"arity":16,"count":29},{"arity":17,"count":48},{"arity":18,"count":48},{"arity":19,"count":45},{"arity":20,"count":38},{"arity":21,"count":36},{"arity":22,"count":32},{"arity":23,"count":21},{"arity":24,"count":21},{"arity":25,"count":28},{"arity":26,"count":18},{"arity":27,"count":4},{"arity":28,"count":7},{"arity":29,"count":4},{"arity":30,"count":2},{"arity":31,"count":1},{"arity":32,"count":1},{"arity":34,"count":1},{"arity":42,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":500}] |
Optimization problem | YES |
Type of objective | max SUM |
0.30/0.38 c 0.30/0.38 c This is cosoco 2.00 -- 0.30/0.38 c 0.30/0.38 c command line: cosoco -lc -model -restarts -stick HOME/instance-4394834-1568355992.xml 0.30/0.38 c enable optimization 0.30/0.38 c ========================================[ Problem Statistics ]=========================================== 0.30/0.38 c | 0.30/0.38 c | Parse time : 0.12 s 0.30/0.38 c | 0.30/0.38 c | Variables: 2000 0.30/0.38 c | Domain Sizes: 2..2 0.30/0.38 c | 0.30/0.38 c | Constraints: 501 0.30/0.38 c | Arity: 7..2000 0.30/0.38 c | 0.30/0.38 c | Types: 0.30/0.38 c | Sum: 501 0.30/0.38 c | 0.30/0.38 c | Objective: Maximize Sum 0.30/0.38 0.30/0.38 c ========================================================================================================= 0.30/0.38 o 0 0.30/0.38 c 1 calls to solver(id=*d): best=0 lower=0 upper=1 0.79/0.82 o 23556 1.19/1.27 o 49765 1.19/1.27 c 3 calls to solver(id=*d): best=0 lower=49765 upper=49766 1.69/1.71 o 63424 2.10/2.16 o 68182 2.10/2.16 c 5 calls to solver(id=*d): best=0 lower=68182 upper=68183 2.59/2.60 o 100602 3.00/3.05 o 130420 3.00/3.05 c 7 calls to solver(id=*d): best=0 lower=130420 upper=130421 3.39/3.49 o 134867 3.89/3.94 o 146170 3.89/3.94 c 9 calls to solver(id=*d): best=0 lower=146170 upper=146171 4.29/4.39 o 161585 4.79/4.83 o 165200 4.79/4.83 c 11 calls to solver(id=*d): best=0 lower=165200 upper=165201 5.19/5.28 o 191868 5.69/5.72 o 197955 5.69/5.72 c 13 calls to solver(id=*d): best=0 lower=197955 upper=197956 6.10/6.17 o 203973 6.59/6.61 o 226239 6.59/6.62 c 15 calls to solver(id=*d): best=0 lower=226239 upper=226240 7.00/7.06 o 230218 7.49/7.51 o 260040 7.49/7.51 c 17 calls to solver(id=*d): best=0 lower=260040 upper=260041 7.89/7.96 o 260236 8.39/8.40 o 273903 8.39/8.40 c 19 calls to solver(id=*d): best=0 lower=273903 upper=273904 8.79/8.85 o 300557 9.29/9.30 o 302434 9.29/9.30 c 21 calls to solver(id=*d): best=0 lower=302434 upper=302435 9.69/9.74 o 310848 10.10/10.19 o 318556 10.10/10.19 c 23 calls to solver(id=*d): best=0 lower=318556 upper=318557 10.59/10.64 o 320792 10.99/11.09 o 323687 10.99/11.09 c 25 calls to solver(id=*d): best=0 lower=323687 upper=323688 11.49/11.54 o 346449 11.89/11.98 o 364944 11.89/11.98 c 27 calls to solver(id=*d): best=0 lower=364944 upper=364945 12.39/12.43 o 397214 12.78/12.88 o 424986 12.78/12.88 c 29 calls to solver(id=*d): best=0 lower=424986 upper=424987 13.28/13.33 o 448632 13.68/13.78 o 452556 13.68/13.78 c 31 calls to solver(id=*d): best=0 lower=452556 upper=452557 14.18/14.23 o 454317 14.58/14.67 o 460921 14.58/14.68 c 33 calls to solver(id=*d): best=0 lower=460921 upper=460922 15.09/15.12 o 468130 15.48/15.57 o 469465 15.48/15.57 c 35 calls to solver(id=*d): best=0 lower=469465 upper=469466 15.99/16.02 o 481076 16.38/16.47 o 483301 16.38/16.47 c 37 calls to solver(id=*d): best=0 lower=483301 upper=483302 16.88/16.92 o 491536 17.28/17.37 o 496522 17.28/17.37 c 39 calls to solver(id=*d): best=0 lower=496522 upper=496523 17.78/17.82 o 503793 18.18/18.26 o 521033 18.18/18.26 c 41 calls to solver(id=*d): best=0 lower=521033 upper=521034 18.68/18.71 o 526182 19.09/19.16 o 540952 19.09/19.16 c 43 calls to solver(id=*d): best=0 lower=540952 upper=540953 19.58/19.61 o 542192 19.99/20.06 o 554170 19.99/20.06 c 45 calls to solver(id=*d): best=0 lower=554170 upper=554171 20.48/20.51 o 572825 20.88/20.96 o 583576 20.88/20.96 c 47 calls to solver(id=*d): best=0 lower=583576 upper=583577 21.38/21.41 o 592017 21.78/21.86 o 618907 21.78/21.86 c 49 calls to solver(id=*d): best=0 lower=618907 upper=618908 22.28/22.31 o 622517 22.68/22.76 o 626398 22.68/22.76 c 51 calls to solver(id=*d): best=0 lower=626398 upper=626399 23.18/23.21 o 632011 23.58/23.66 o 637902 23.58/23.66 c 53 calls to solver(id=*d): best=0 lower=637902 upper=637903 24.09/24.11 o 638831 24.48/24.56 o 668238 24.48/24.56 c 55 calls to solver(id=*d): best=0 lower=668238 upper=668239 24.99/25.01 o 682501 25.38/25.45 o 691216 25.38/25.45 c 57 calls to solver(id=*d): best=0 lower=691216 upper=691217 25.88/25.90 o 700560 26.28/26.35 o 708349 26.28/26.35 c 59 calls to solver(id=*d): best=0 lower=708349 upper=708350 26.78/26.80 o 734246 27.18/27.25 o 742520 27.18/27.25 c 61 calls to solver(id=*d): best=0 lower=742520 upper=742521 27.68/27.70 o 759139 28.09/28.15 o 764232 28.09/28.15 c 63 calls to solver(id=*d): best=0 lower=764232 upper=764233 28.58/28.60 o 766084 28.99/29.05 o 766836 28.99/29.05 c 65 calls to solver(id=*d): best=0 lower=766836 upper=766837 29.48/29.50 o 773951 29.88/29.95 o 801073 29.88/29.95 c 67 calls to solver(id=*d): best=0 lower=801073 upper=801074 30.38/30.40 o 809518 30.78/30.84 o 813469 30.78/30.85 c 69 calls to solver(id=*d): best=0 lower=813469 upper=813470 31.18/31.29 o 821758 31.68/31.74 o 828609 31.68/31.74 c 71 calls to solver(id=*d): best=0 lower=828609 upper=828610 32.09/32.19 o 837250 32.58/32.64 o 846199 32.58/32.64 c 73 calls to solver(id=*d): best=0 lower=846199 upper=846200 32.99/33.09 o 855325 33.48/33.54 o 876420 33.48/33.54 c 75 calls to solver(id=*d): best=0 lower=876420 upper=876421 33.89/33.99 o 906625 34.39/34.44 o 913823 34.39/34.44 c 77 calls to solver(id=*d): best=0 lower=913823 upper=913824 34.79/34.89 o 924612 35.29/35.34 o 926730 35.29/35.34 c 79 calls to solver(id=*d): best=0 lower=926730 upper=926731 35.69/35.79 o 954982 36.19/36.24 o 957925 36.19/36.24 c 81 calls to solver(id=*d): best=0 lower=957925 upper=957926 36.59/36.69 o 958158 37.10/37.14 o 971876 37.10/37.14 c 83 calls to solver(id=*d): best=0 lower=971876 upper=971877 37.49/37.59 o 978885 38.00/38.04 o 983830 38.00/38.04 c 85 calls to solver(id=*d): best=0 lower=983830 upper=983831 38.39/38.49 o 985087 38.89/38.93 o 985916 38.89/38.94 c 87 calls to solver(id=*d): best=0 lower=985916 upper=985917 39.29/39.38 o 987113 39.79/39.83 o 993718 39.79/39.83 c 89 calls to solver(id=*d): best=0 lower=993718 upper=993719 40.19/40.28 o 995630 40.69/40.73 o 999461 40.69/40.73 c 91 calls to solver(id=*d): best=0 lower=999461 upper=999462 41.10/41.18 o 1011427 41.59/41.63 o 1029102 41.59/41.63 c 93 calls to solver(id=*d): best=0 lower=1029102 upper=1029103 42.00/42.08 o 1036726 42.49/42.53 o 1040258 42.49/42.53 c 95 calls to solver(id=*d): best=0 lower=1040258 upper=1040259 42.89/42.98 o 1045732 43.39/43.43 o 1054064 43.39/43.43 c 97 calls to solver(id=*d): best=0 lower=1054064 upper=1054065 43.79/43.88 o 1071970 44.29/44.33 o 1073789 44.29/44.33 c 99 calls to solver(id=*d): best=0 lower=1073789 upper=1073790 44.69/44.78 o 1074807 45.19/45.23 o 1076889 45.19/45.23 c 101 calls to solver(id=*d): best=0 lower=1076889 upper=1076890 45.59/45.68 o 1089189 46.09/46.13 o 1091522 46.09/46.13 c 103 calls to solver(id=*d): best=0 lower=1091522 upper=1091523 46.49/46.58 o 1116854 46.99/47.03 o 1118712 46.99/47.03 c 105 calls to solver(id=*d): best=0 lower=1118712 upper=1118713 47.38/47.48 o 1126848 47.88/47.93 o 1131117 47.88/47.93 c 107 calls to solver(id=*d): best=0 lower=1131117 upper=1131118 48.28/48.38 o 1143976 48.78/48.83 o 1150921 48.78/48.83 c 109 calls to solver(id=*d): best=0 lower=1150921 upper=1150922 49.18/49.28 o 1152597 49.68/49.73 o 1170266 49.68/49.73 c 111 calls to solver(id=*d): best=0 lower=1170266 upper=1170267 50.09/50.17 o 1170424 50.58/50.62 o 1173210 50.58/50.62 c 113 calls to solver(id=*d): best=0 lower=1173210 upper=1173211 50.99/51.06 o 1177574 51.48/51.51 o 1186013 51.48/51.51 c 115 calls to solver(id=*d): best=0 lower=1186013 upper=1186014 51.88/51.96 o 1187606 52.38/52.41 o 1191998 52.38/52.41 c 117 calls to solver(id=*d): best=0 lower=1191998 upper=1191999 52.78/52.86 o 1196922 53.28/53.31 o 1206122 53.28/53.31 c 119 calls to solver(id=*d): best=0 lower=1206122 upper=1206123 53.68/53.75 o 1213609 54.18/54.20 o 1222608 54.18/54.20 c 121 calls to solver(id=*d): best=0 lower=1222608 upper=1222609 54.58/54.65 o 1227138 54.99/55.10 o 1234275 54.99/55.10 c 123 calls to solver(id=*d): best=0 lower=1234275 upper=1234276 55.48/55.55 o 1242441 55.88/55.99 o 1250569 55.88/55.99 c 125 calls to solver(id=*d): best=0 lower=1250569 upper=1250570 56.38/56.44 o 1259062 56.78/56.89 o 1263503 56.78/56.89 c 127 calls to solver(id=*d): best=0 lower=1263503 upper=1263504 57.28/57.34 o 1275875 57.68/57.79 o 1278404 57.68/57.79 c 129 calls to solver(id=*d): best=0 lower=1278404 upper=1278405 58.18/58.24 o 1286697 58.58/58.69 o 1296415 58.58/58.69 c 131 calls to solver(id=*d): best=0 lower=1296415 upper=1296416 59.09/59.14 o 1308340 59.48/59.58 o 1310446 59.48/59.58 c 133 calls to solver(id=*d): best=0 lower=1310446 upper=1310447 59.99/60.03 o 1316949 60.38/60.48 o 1333633 60.38/60.48 c 135 calls to solver(id=*d): best=0 lower=1333633 upper=1333634 60.88/60.93 o 1335706 61.28/61.38 o 1341027 61.28/61.38 c 137 calls to solver(id=*d): best=0 lower=1341027 upper=1341028 61.78/61.83 o 1345245 62.18/62.27 o 1353245 62.18/62.27 c 139 calls to solver(id=*d): best=0 lower=1353245 upper=1353246 62.68/62.72 o 1356138 63.09/63.17 o 1367345 63.09/63.17 c 141 calls to solver(id=*d): best=0 lower=1367345 upper=1367346 63.58/63.62 o 1374716 63.99/64.07 o 1377170 63.99/64.07 c 143 calls to solver(id=*d): best=0 lower=1377170 upper=1377171 64.48/64.51 o 1388702 64.88/64.96 o 1403548 64.88/64.96 c 145 calls to solver(id=*d): best=0 lower=1403548 upper=1403549 65.38/65.41 o 1426893 65.78/65.86 o 1430774 65.78/65.86 c 147 calls to solver(id=*d): best=0 lower=1430774 upper=1430775 66.28/66.31 o 1432150 66.68/66.76 o 1444533 66.68/66.76 c 149 calls to solver(id=*d): best=0 lower=1444533 upper=1444534 67.18/67.20 o 1453839 67.58/67.65 o 1455752 67.58/67.65 c 151 calls to solver(id=*d): best=0 lower=1455752 upper=1455753 67.99/68.10 o 1465569 68.48/68.55 o 1487612 68.48/68.55 c 153 calls to solver(id=*d): best=0 lower=1487612 upper=1487613 68.88/69.00 o 1495832 69.38/69.44 o 1500544 69.38/69.45 c 155 calls to solver(id=*d): best=0 lower=1500544 upper=1500545 69.78/69.89 o 1509987 70.28/70.34 o 1519277 70.28/70.34 c 157 calls to solver(id=*d): best=0 lower=1519277 upper=1519278 70.68/70.79 o 1527783 71.18/71.24 o 1537735 71.18/71.24 c 159 calls to solver(id=*d): best=0 lower=1537735 upper=1537736 71.58/71.69 o 1537815 72.09/72.13 o 1539208 72.09/72.14 c 161 calls to solver(id=*d): best=0 lower=1539208 upper=1539209 72.48/72.58 o 1543417 72.99/73.03 o 1552106 72.99/73.03 c 163 calls to solver(id=*d): best=0 lower=1552106 upper=1552107 73.38/73.48 o 1554299 73.88/73.93 o 1563083 73.88/73.93 c 165 calls to solver(id=*d): best=0 lower=1563083 upper=1563084 74.28/74.38 o 1579297 74.78/74.82 o 1582119 74.78/74.83 c 167 calls to solver(id=*d): best=0 lower=1582119 upper=1582120 75.18/75.27 o 1583958 75.68/75.72 o 1599915 75.68/75.72 c 169 calls to solver(id=*d): best=0 lower=1599915 upper=1599916 76.09/76.17 o 1607843 76.58/76.62 o 1613519 76.58/76.62 c 171 calls to solver(id=*d): best=0 lower=1613519 upper=1613520 76.99/77.07 o 1616250 77.48/77.52 o 1625073 77.48/77.52 c 173 calls to solver(id=*d): best=0 lower=1625073 upper=1625074 77.88/77.96 o 1634675 78.38/78.41 o 1640664 78.38/78.41 c 175 calls to solver(id=*d): best=0 lower=1640664 upper=1640665 78.78/78.86 o 1644886 79.28/79.31 o 1654084 79.28/79.31 c 177 calls to solver(id=*d): best=0 lower=1654084 upper=1654085 79.68/79.76 o 1659301 80.18/80.21 o 1660722 80.18/80.21 c 179 calls to solver(id=*d): best=0 lower=1660722 upper=1660723 80.58/80.66 o 1667622 81.08/81.11 o 1670442 81.08/81.11 c 181 calls to solver(id=*d): best=0 lower=1670442 upper=1670443 81.48/81.56 o 1679226 81.88/82.00 o 1688975 81.98/82.01 c 183 calls to solver(id=*d): best=0 lower=1688975 upper=1688976 82.38/82.45 o 1693580 82.88/82.90 o 1697670 82.88/82.90 c 185 calls to solver(id=*d): best=0 lower=1697670 upper=1697671 83.28/83.35 o 1706834 83.78/83.80 o 1711439 83.78/83.80 c 187 calls to solver(id=*d): best=0 lower=1711439 upper=1711440 84.18/84.25 o 1713633 84.68/84.70 o 1717727 84.68/84.70 c 189 calls to solver(id=*d): best=0 lower=1717727 upper=1717728 85.08/85.15 o 1728952 85.58/85.60 o 1733072 85.58/85.60 c 191 calls to solver(id=*d): best=0 lower=1733072 upper=1733073 85.98/86.04 o 1739757 86.38/86.49 o 1740719 86.38/86.49 c 193 calls to solver(id=*d): best=0 lower=1740719 upper=1740720 86.88/86.94 o 1745931 87.28/87.39 o 1755269 87.28/87.39 c 195 calls to solver(id=*d): best=0 lower=1755269 upper=1755270 87.78/87.84 o 1756688 88.18/88.29 o 1758445 88.18/88.29 c 197 calls to solver(id=*d): best=0 lower=1758445 upper=1758446 88.68/88.74 o 1763609 89.08/89.19 o 1763767 89.08/89.19 c 199 calls to solver(id=*d): best=0 lower=1763767 upper=1763768 89.58/89.63 o 1766753 89.98/90.09 o 1766809 89.98/90.09 c 201 calls to solver(id=*d): best=0 lower=1766809 upper=1766810 90.47/90.53 o 1776163 90.87/90.98 o 1781151 90.87/90.98 c 203 calls to solver(id=*d): best=0 lower=1781151 upper=1781152 91.37/91.43 o 1782448 91.77/91.88 o 1788549 91.77/91.88 c 205 calls to solver(id=*d): best=0 lower=1788549 upper=1788550 92.27/92.33 o 1794516 92.67/92.78 o 1801738 92.67/92.78 c 207 calls to solver(id=*d): best=0 lower=1801738 upper=1801739 93.17/93.22 o 1812963 93.57/93.67 o 1817500 93.57/93.67 c 209 calls to solver(id=*d): best=0 lower=1817500 upper=1817501 94.08/94.12 o 1820756 94.47/94.57 o 1822794 94.47/94.57 c 211 calls to solver(id=*d): best=0 lower=1822794 upper=1822795 94.98/95.02 o 1835576 95.37/95.47 o 1847807 95.37/95.47 c 213 calls to solver(id=*d): best=0 lower=1847807 upper=1847808 95.87/95.92 o 1857611 96.27/96.36 o 1860389 96.27/96.36 c 215 calls to solver(id=*d): best=0 lower=1860389 upper=1860390 96.77/96.81 o 1863223 97.17/97.26 o 1880326 97.17/97.26 c 217 calls to solver(id=*d): best=0 lower=1880326 upper=1880327 97.67/97.71 o 1887267 98.08/98.16 o 1887737 98.08/98.16 c 219 calls to solver(id=*d): best=0 lower=1887737 upper=1887738 98.57/98.60 o 1888686 98.98/99.05 o 1890384 98.98/99.05 c 221 calls to solver(id=*d): best=0 lower=1890384 upper=1890385 99.47/99.50 o 1893218 99.87/99.95 o 1893970 99.87/99.95 c 223 calls to solver(id=*d): best=0 lower=1893970 upper=1893971 100.37/100.40 o 1900845 100.77/100.85 o 1901699 100.77/100.85 c 225 calls to solver(id=*d): best=0 lower=1901699 upper=1901700 101.27/101.30 o 1906561 101.67/101.75 o 1909249 101.67/101.75 c 227 calls to solver(id=*d): best=0 lower=1909249 upper=1909250 102.17/102.20 o 1917902 102.57/102.64 o 1921028 102.57/102.64 c 229 calls to solver(id=*d): best=0 lower=1921028 upper=1921029 102.98/103.09 o 1933460 103.47/103.54 o 1934091 103.47/103.54 c 231 calls to solver(id=*d): best=0 lower=1934091 upper=1934092 103.87/103.99 o 1936402 104.37/104.43 o 1941063 104.37/104.43 c 233 calls to solver(id=*d): best=0 lower=1941063 upper=1941064 104.77/104.88 o 1941824 105.27/105.33 o 1947939 105.27/105.33 c 235 calls to solver(id=*d): best=0 lower=1947939 upper=1947940 105.67/105.77 o 1949431 106.17/106.22 o 1955836 106.17/106.22 c 237 calls to solver(id=*d): best=0 lower=1955836 upper=1955837 106.57/106.67 o 1964506 107.08/107.12 o 1972430 107.08/107.12 c 239 calls to solver(id=*d): best=0 lower=1972430 upper=1972431 107.47/107.57 o 1972767 107.98/108.02 o 1977998 107.98/108.02 c 241 calls to solver(id=*d): best=0 lower=1977998 upper=1977999 108.37/108.46 o 1978750 108.87/108.91 o 1987874 108.87/108.91 c 243 calls to solver(id=*d): best=0 lower=1987874 upper=1987875 109.27/109.36 o 1987905 109.77/109.81 o 1988536 109.77/109.81 c 245 calls to solver(id=*d): best=0 lower=1988536 upper=1988537 110.17/110.26 o 1992165 110.67/110.72 o 1993646 110.67/110.72 c 247 calls to solver(id=*d): best=0 lower=1993646 upper=1993647 111.08/111.17 o 1993842 111.57/111.61 o 1995099 111.57/111.61 c 249 calls to solver(id=*d): best=0 lower=1995099 upper=1995100 111.98/112.06 o 1997217 112.47/112.51 o 1998220 112.47/112.51 c 251 calls to solver(id=*d): best=0 lower=1998220 upper=1998221 112.87/112.96 o 2006983 113.37/113.40 o 2011178 113.37/113.40 c 253 calls to solver(id=*d): best=0 lower=2011178 upper=2011179 113.77/113.85 o 2018709 114.27/114.30 o 2026244 114.27/114.30 c 255 calls to solver(id=*d): best=0 lower=2026244 upper=2026245 114.67/114.75 o 2029999 115.17/115.20 o 2030948 115.17/115.20 c 257 calls to solver(id=*d): best=0 lower=2030948 upper=2030949 115.57/115.65 o 2036671 115.98/116.10 o 2038368 115.98/116.10 c 259 calls to solver(id=*d): best=0 lower=2038368 upper=2038369 116.47/116.54 o 2041503 116.87/116.99 o 2041789 116.87/116.99 c 261 calls to solver(id=*d): best=0 lower=2041789 upper=2041790 117.37/117.44 o 2057643 117.77/117.89 o 2059673 117.77/117.89 c 263 calls to solver(id=*d): best=0 lower=2059673 upper=2059674 118.27/118.34 o 2075880 118.67/118.78 o 2082756 118.67/118.79 c 265 calls to solver(id=*d): best=0 lower=2082756 upper=2082757 119.17/119.23 o 2089493 119.57/119.68 o 2100861 119.57/119.68 c 267 calls to solver(id=*d): best=0 lower=2100861 upper=2100862 120.08/120.13 o 2114952 120.47/120.58 o 2118949 120.47/120.58 c 269 calls to solver(id=*d): best=0 lower=2118949 upper=2118950 121.37/121.46 o 2119845 122.27/122.34 o 2130468 122.27/122.34 c 271 calls to solver(id=*d): best=0 lower=2130468 upper=2130469 123.17/123.22 o 2134465 124.08/124.11 o 2137630 124.08/124.11 c 273 calls to solver(id=*d): best=0 lower=2137630 upper=2137631 124.47/124.55 o 2141267 125.37/125.44 o 2142265 125.37/125.44 c 275 calls to solver(id=*d): best=0 lower=2142265 upper=2142266 126.27/126.32 o 2143600 126.67/126.76 o 2146840 126.67/126.77 c 277 calls to solver(id=*d): best=0 lower=2146840 upper=2146841 127.17/127.21 o 2150272 127.98/128.10 o 2162674 127.98/128.10 c 279 calls to solver(id=*d): best=0 lower=2162674 upper=2162675 128.47/128.54 o 2163130 129.37/129.43 o 2172051 129.37/129.43 c 281 calls to solver(id=*d): best=0 lower=2172051 upper=2172052 130.27/130.31 o 2172723 130.67/130.75 o 2173192 130.67/130.75 c 283 calls to solver(id=*d): best=0 lower=2173192 upper=2173193 131.17/131.20 o 2177508 131.98/132.08 o 2179390 131.98/132.08 c 285 calls to solver(id=*d): best=0 lower=2179390 upper=2179391 132.47/132.53 o 2182176 132.87/132.97 o 2187144 132.87/132.97 c 287 calls to solver(id=*d): best=0 lower=2187144 upper=2187145 133.77/133.85 o 2192044 134.67/134.73 o 2199350 134.67/134.73 c 289 calls to solver(id=*d): best=0 lower=2199350 upper=2199351 135.57/135.61 o 2203979 135.98/136.06 o 2213300 135.98/136.06 c 291 calls to solver(id=*d): best=0 lower=2213300 upper=2213301 136.87/136.94 o 2214051 137.77/137.82 o 2223857 137.77/137.82 c 293 calls to solver(id=*d): best=0 lower=2223857 upper=2223858 138.67/138.70 o 2226081 139.08/139.15 o 2227099 139.08/139.15 c 295 calls to solver(id=*d): best=0 lower=2227099 upper=2227100 139.98/140.03 o 2242524 140.87/140.91 o 2254348 140.87/140.91 c 297 calls to solver(id=*d): best=0 lower=2254348 upper=2254349 141.67/141.79 o 2263698 142.17/142.24 o 2263839 142.17/142.24 c 299 calls to solver(id=*d): best=0 lower=2263839 upper=2263840 143.08/143.11 o 2265446 143.87/144.00 o 2279224 143.87/144.00 c 301 calls to solver(id=*d): best=0 lower=2279224 upper=2279225 144.77/144.87 o 2279437 145.67/145.76 o 2280830 145.67/145.76 c 303 calls to solver(id=*d): best=0 lower=2280830 upper=2280831 146.17/146.21 o 2290155 146.57/146.65 o 2293549 146.57/146.65 c 305 calls to solver(id=*d): best=0 lower=2293549 upper=2293550 147.47/147.53 o 2301120 148.37/148.41 o 2302579 148.37/148.41 c 307 calls to solver(id=*d): best=0 lower=2302579 upper=2302580 149.17/149.28 o 2307987 150.08/150.16 o 2308613 150.08/150.16 c 309 calls to solver(id=*d): best=0 lower=2308613 upper=2308614 150.57/150.61 o 2310641 151.37/151.48 o 2330447 151.37/151.48 c 311 calls to solver(id=*d): best=0 lower=2330447 upper=2330448 151.87/151.93 o 2331599 152.27/152.38 o 2333443 152.27/152.38 c 313 calls to solver(id=*d): best=0 lower=2333443 upper=2333444 152.77/152.82 o 2337805 153.67/153.70 o 2342925 153.67/153.70 c 315 calls to solver(id=*d): best=0 lower=2342925 upper=2342926 154.47/154.57 o 2345510 155.37/155.45 o 2352468 155.37/155.45 c 317 calls to solver(id=*d): best=0 lower=2352468 upper=2352469 156.27/156.33 o 2358922 157.17/157.20 o 2362251 157.17/157.21 c 319 calls to solver(id=*d): best=0 lower=2362251 upper=2362252 157.98/158.08 o 2362381 158.87/158.99 o 2362495 158.87/158.99 c 321 calls to solver(id=*d): best=0 lower=2362495 upper=2362496 159.37/159.43 o 2379664 160.27/160.31 o 2380809 160.27/160.31 c 323 calls to solver(id=*d): best=0 lower=2380809 upper=2380810 161.08/161.19 o 2381209 161.98/162.07 o 2390104 161.98/162.07 c 325 calls to solver(id=*d): best=0 lower=2390104 upper=2390105 162.87/162.95 o 2392974 163.37/163.40 o 2393260 163.37/163.40 c 327 calls to solver(id=*d): best=0 lower=2393260 upper=2393261 163.77/163.84 o 2397486 164.67/164.72 o 2405334 164.67/164.72 c 329 calls to solver(id=*d): best=0 lower=2405334 upper=2405335 165.57/165.60 o 2416049 166.37/166.47 o 2421404 166.37/166.47 c 331 calls to solver(id=*d): best=0 lower=2421404 upper=2421405 167.67/167.78 o 2429665 169.08/169.10 o 2431441 169.08/169.11 c 333 calls to solver(id=*d): best=0 lower=2431441 upper=2431442 169.87/169.98 o 2436491 171.17/171.29 o 2442384 171.17/171.29 c 335 calls to solver(id=*d): best=0 lower=2442384 upper=2442385 172.47/172.59 o 2443209 172.97/173.04 o 2447065 172.97/173.04 c 337 calls to solver(id=*d): best=0 lower=2447065 upper=2447066 173.87/173.91 o 2458998 175.17/175.22 o 2462115 175.17/175.22 c 339 calls to solver(id=*d): best=0 lower=2462115 upper=2462116 175.57/175.67 o 2464358 176.86/176.97 o 2478149 176.86/176.97 c 341 calls to solver(id=*d): best=0 lower=2478149 upper=2478150 177.76/177.85 o 2478768 178.16/178.29 o 2479949 178.26/178.30 c 343 calls to solver(id=*d): best=0 lower=2479949 upper=2479950 179.56/179.60 o 2482701 179.97/180.05 o 2482917 179.97/180.05 c 345 calls to solver(id=*d): best=0 lower=2482917 upper=2482918 180.36/180.50 o 2485694 180.86/180.94 o 2486735 180.86/180.94 c 347 calls to solver(id=*d): best=0 lower=2486735 upper=2486736 181.26/181.39 o 2494970 181.76/181.84 o 2498795 181.76/181.84 c 349 calls to solver(id=*d): best=0 lower=2498795 upper=2498796 183.07/183.14 o 2500571 183.46/183.59 o 2521572 183.46/183.59 c 351 calls to solver(id=*d): best=0 lower=2521572 upper=2521573 183.97/184.03 o 2528007 185.26/185.34 o 2532295 185.26/185.34 c 353 calls to solver(id=*d): best=0 lower=2532295 upper=2532296 186.56/186.64 o 2538842 186.97/187.09 o 2539538 186.97/187.09 c 355 calls to solver(id=*d): best=0 lower=2539538 upper=2539539 2400.09/2400.30 2400.09/2400.30 c *** INTERRUPTED *** 2400.09/2400.30 c call to solver : 355 2400.09/2400.30 c 2400.09/2400.30 c restarts : 140 2400.09/2400.30 c conflicts : 1352037 (563 /sec) 2400.09/2400.30 c decisions : 9691257 (4038 /sec) 2400.09/2400.30 c propagations : 343530705 (143133 /sec) 2400.09/2400.30 c root propagations : 2000 2400.09/2400.30 c filter calls : 75522578 (31467 /sec) 2400.09/2400.30 c useless filter calls : 51609887 (68 %) 2400.09/2400.30 c Memory used : 51.91 MB 2400.09/2400.30 c Best bound time (wc) : 187.092 s 2400.09/2400.30 c CPU time : 2400.08 s 2400.09/2400.30 c real time : 2400.3 s 2400.09/2400.30 2400.09/2400.30 c nb Solutions = 355 2400.09/2400.30 s SATISFIABLE 2400.09/2400.30 c Best value found: 2539538 2400.09/2400.30 2400.09/2400.30 2400.09/2400.30 v <instantiation type='solution' cost='2539538'> 2400.09/2400.30 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> 2400.09/2400.30 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 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 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 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 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 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 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 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 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 1 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 1 0 1 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 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 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 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 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 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 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 1 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 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 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 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 1 0 0 0 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 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 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 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 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 1 1 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 1 0 </values> 2400.09/2400.30 v </instantiation> 2400.09/2400.30
OK 2539538
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 (12819 MiB free) memory of node 1: 16384 MiB (13285 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394834-1568355992/watcher-4394834-1568355992 -o /tmp/evaluation-result-4394834-1568355992/solver-4394834-1568355992 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568323498-21939 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4394834-1568355992.xml running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=28492, runsolver pid=28489 [startup+0.100161 s]* /proc/loadavg: 2.03 2.08 2.07 3/199 28493 /proc/meminfo: memFree=26725796/32770624 swapFree=66927216/67108860 [pid=28492] ppid=28489 vsize=33232 memory=9504 CPUtime=0.1 cores=1,3,5,7 /proc/28492/stat : 28492 (cosoco) R 28489 28492 21907 0 -1 4202496 2593 0 0 0 10 0 0 0 20 0 1 0 411846551 34029568 2376 33554432000 4194304 6210612 140731742707328 140731742703864 5753332 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 9072640 140731742708747 140731742708849 140731742708849 140731742711758 0 /proc/28492/statm: 8308 2376 835 493 0 1613 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 33232 KiB Current children cumulated memory: 9504 KiB [startup+0.20971 s]* /proc/loadavg: 2.03 2.08 2.07 3/199 28493 /proc/meminfo: memFree=26724996/32770624 swapFree=66927216/67108860 [pid=28492] ppid=28489 vsize=34168 memory=10556 CPUtime=0.21 cores=1,3,5,7 /proc/28492/stat : 28492 (cosoco) R 28489 28492 21907 0 -1 4202496 2858 0 0 0 21 0 0 0 20 0 1 0 411846551 34988032 2639 33554432000 4194304 6210612 140731742707328 140731742704888 140247589321701 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 9072640 140731742708747 140731742708849 140731742708849 140731742711758 0 /proc/28492/statm: 8542 2639 872 493 0 1847 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 34168 KiB Current children cumulated memory: 10556 KiB [startup+0.309141 s]* /proc/loadavg: 2.03 2.08 2.07 3/199 28493 /proc/meminfo: memFree=26721928/32770624 swapFree=66927216/67108860 [pid=28492] ppid=28489 vsize=37344 memory=13724 CPUtime=0.3 cores=1,3,5,7 /proc/28492/stat : 28492 (cosoco) R 28489 28492 21907 0 -1 4202496 3654 0 0 0 30 0 0 0 20 0 1 0 411846551 38240256 3431 33554432000 4194304 6210612 140731742707328 140731742704888 140247589321701 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 9072640 140731742708747 140731742708849 140731742708849 140731742711758 0 /proc/28492/statm: 9336 3431 872 493 0 2641 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 37344 KiB Current children cumulated memory: 13724 KiB [startup+0.700282 s] /proc/loadavg: 2.03 2.08 2.07 3/199 28493 /proc/meminfo: memFree=26717092/32770624 swapFree=66927216/67108860 [pid=28492] ppid=28489 vsize=43476 memory=20060 CPUtime=0.69 cores=1,3,5,7 /proc/28492/stat : 28492 (cosoco) R 28489 28492 21907 0 -1 4202496 5179 0 0 0 68 1 0 0 20 0 1 0 411846551 44519424 5015 33554432000 4194304 6210612 140731742707328 140731742704888 140247589390891 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 9072640 140731742708747 140731742708849 140731742708849 140731742711758 0 /proc/28492/statm: 10869 5015 873 493 0 4174 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 43476 KiB Current children cumulated memory: 20060 KiB [startup+1.50028 s] /proc/loadavg: 2.03 2.08 2.07 3/199 28493 /proc/meminfo: memFree=26711512/32770624 swapFree=66927216/67108860 [pid=28492] ppid=28489 vsize=48456 memory=24812 CPUtime=1.49 cores=1,3,5,7 /proc/28492/stat : 28492 (cosoco) R 28489 28492 21907 0 -1 4202496 6417 0 0 0 148 1 0 0 20 0 1 0 411846551 49618944 6203 33554432000 4194304 6210612 140731742707328 140731742705464 5156316 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 9072640 140731742708747 140731742708849 140731742708849 140731742711758 0 /proc/28492/statm: 12114 6203 873 493 0 5419 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 48456 KiB Current children cumulated memory: 24812 KiB [startup+3.10919 s] /proc/loadavg: 2.03 2.08 2.07 3/199 28493 /proc/meminfo: memFree=26710048/32770624 swapFree=66927216/67108860 [pid=28492] ppid=28489 vsize=48456 memory=25040 CPUtime=3.1 cores=1,3,5,7 /proc/28492/stat : 28492 (cosoco) R 28489 28492 21907 0 -1 4202496 10326 0 0 0 309 1 0 0 20 0 1 0 411846551 49618944 6260 33554432000 4194304 6210612 140731742707328 140731742695208 5249738 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 9072640 140731742708747 140731742708849 140731742708849 140731742711758 0 /proc/28492/statm: 12114 6260 873 493 0 5419 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 48456 KiB Current children cumulated memory: 25040 KiB [startup+6.30026 s] /proc/loadavg: 2.02 2.08 2.07 3/199 28493 /proc/meminfo: memFree=26709976/32770624 swapFree=66927216/67108860 [pid=28492] ppid=28489 vsize=48456 memory=25040 CPUtime=6.29 cores=1,3,5,7 /proc/28492/stat : 28492 (cosoco) R 28489 28492 21907 0 -1 4202496 14307 0 0 0 628 1 0 0 20 0 1 0 411846551 49618944 6260 33554432000 4194304 6210612 140731742707328 140731742695208 5249664 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 9072640 140731742708747 140731742708849 140731742708849 140731742711758 0 /proc/28492/statm: 12114 6260 873 493 0 5419 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 48456 KiB Current children cumulated memory: 25040 KiB [startup+12.7003 s] /proc/loadavg: 2.02 2.08 2.07 3/199 28493 /proc/meminfo: memFree=26709172/32770624 swapFree=66927216/67108860 [pid=28492] ppid=28489 vsize=49124 memory=25776 CPUtime=12.68 cores=1,3,5,7 /proc/28492/stat : 28492 (cosoco) R 28489 28492 21907 0 -1 4202496 22440 0 0 0 1267 1 0 0 20 0 1 0 411846551 50302976 6444 33554432000 4194304 6210612 140731742707328 140731742695208 5154973 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 9072640 140731742708747 140731742708849 140731742708849 140731742711758 0 /proc/28492/statm: 12281 6444 873 493 0 5586 0 Current children cumulated CPU time: 12.68 s Current children cumulated vsize: 49124 KiB Current children cumulated memory: 25776 KiB [startup+25.5003 s] /proc/loadavg: 2.02 2.08 2.07 3/200 28495 /proc/meminfo: memFree=26707620/32770624 swapFree=66927216/67108860 [pid=28492] ppid=28489 vsize=50204 memory=26868 CPUtime=25.48 cores=1,3,5,7 /proc/28492/stat : 28492 (cosoco) R 28489 28492 21907 0 -1 4202496 27496 0 0 0 2547 1 0 0 20 0 1 0 411846551 51408896 6717 33554432000 4194304 6210612 140731742707328 140731742705464 5155888 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 9072640 140731742708747 140731742708849 140731742708849 140731742711758 0 /proc/28492/statm: 12551 6717 873 493 0 5856 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 50204 KiB Current children cumulated memory: 26868 KiB [startup+51.1091 s] /proc/loadavg: 2.01 2.07 2.07 3/199 28495 /proc/meminfo: memFree=26706820/32770624 swapFree=66927216/67108860 [pid=28492] ppid=28489 vsize=51136 memory=27760 CPUtime=51.09 cores=1,3,5,7 /proc/28492/stat : 28492 (cosoco) R 28489 28492 21907 0 -1 4202496 32864 0 0 0 5107 2 0 0 20 0 1 0 411846551 52363264 6940 33554432000 4194304 6210612 140731742707328 140731742705464 5249712 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 9072640 140731742708747 140731742708849 140731742708849 140731742711758 0 /proc/28492/statm: 12784 6940 873 493 0 6089 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 51136 KiB Current children cumulated memory: 27760 KiB [startup+102.3 s] /proc/loadavg: 2.00 2.06 2.06 3/199 28499 /proc/meminfo: memFree=26706008/32770624 swapFree=66927216/67108860 [pid=28492] ppid=28489 vsize=52220 memory=28664 CPUtime=102.27 cores=1,3,5,7 /proc/28492/stat : 28492 (cosoco) R 28489 28492 21907 0 -1 4202496 35406 0 0 0 10225 2 0 0 20 0 1 0 411846551 53473280 7166 33554432000 4194304 6210612 140731742707328 140731742695208 5156092 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 9072640 140731742708747 140731742708849 140731742708849 140731742711758 0 /proc/28492/statm: 13055 7166 873 493 0 6360 0 Current children cumulated CPU time: 102.27 s Current children cumulated vsize: 52220 KiB Current children cumulated memory: 28664 KiB [startup+162.3 s] /proc/loadavg: 2.00 2.05 2.06 3/199 28506 /proc/meminfo: memFree=26704900/32770624 swapFree=66927216/67108860 [pid=28492] ppid=28489 vsize=52876 memory=29428 CPUtime=162.27 cores=1,3,5,7 /proc/28492/stat : 28492 (cosoco) R 28489 28492 21907 0 -1 4202496 36167 0 0 0 16225 2 0 0 20 0 1 0 411846551 54145024 7357 33554432000 4194304 6210612 140731742707328 140731742695208 5156097 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 9072640 140731742708747 140731742708849 140731742708849 140731742711758 0 /proc/28492/statm: 13219 7357 873 493 0 6524 0 Current children cumulated CPU time: 162.27 s Current children cumulated vsize: 52876 KiB Current children cumulated memory: 29428 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.04 2.05 3/199 28510 /proc/meminfo: memFree=26704592/32770624 swapFree=66927216/67108860 [pid=28492] ppid=28489 vsize=53016 memory=29664 CPUtime=222.26 cores=1,3,5,7 /proc/28492/stat : 28492 (cosoco) R 28489 28492 21907 0 -1 4202496 36933 0 0 0 22224 2 0 0 20 0 1 0 411846551 54288384 7416 33554432000 4194304 6210612 140731742707328 140731742704728 5155888 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 9072640 140731742708747 140731742708849 140731742708849 140731742711758 0 /proc/28492/statm: 13254 7416 873 493 0 6559 0 Current children cumulated CPU time: 222.26 s Current children cumulated vsize: 53016 KiB Current children cumulated memory: 29664 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.03 2.05 3/200 28522 /proc/meminfo: memFree=26704992/32770624 swapFree=66927216/67108860 [pid=28492] ppid=28489 vsize=53148 memory=29700 CPUtime=282.26 cores=1,3,5,7 /proc/28492/stat : 28492 (cosoco) R 28489 28492 21907 0 -1 4202496 37512 0 0 0 28224 2 0 0 20 0 1 0 411846551 54423552 7425 33554432000 4194304 6210612 140731742707328 140731742704568 5154985 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 9072640 140731742708747 140731742708849 140731742708849 140731742711758 0 /proc/28492/statm: 13287 7425 873 493 0 6592 0 Current children cumulated CPU time: 282.26 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29700 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.03 2.05 3/200 28528 /proc/meminfo: memFree=26704244/32770624 swapFree=66927216/67108860 [pid=28492] ppid=28489 vsize=53148 memory=29720 CPUtime=342.25 cores=1,3,5,7 /proc/28492/stat : 28492 (cosoco) R 28489 28492 21907 0 -1 4202496 37792 0 0 0 34223 2 0 0 20 0 1 0 411846551 54423552 7430 33554432000 4194304 6210612 140731742707328 140731742704568 5390303 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 9072640 140731742708747 140731742708849 140731742708849 140731742711758 0 /proc/28492/statm: 13287 7430 873 493 0 6592 0 Current children cumulated CPU time: 342.25 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29720 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.02 2.05 3/200 28532 /proc/meminfo: memFree=26704652/32770624 swapFree=66927216/67108860 [pid=28492] ppid=28489 vsize=53148 memory=29720 CPUtime=402.25 cores=1,3,5,7 /proc/28492/stat : 28492 (cosoco) R 28489 28492 21907 0 -1 4202496 38067 0 0 0 40223 2 0 0 20 0 1 0 411846551 54423552 7430 33554432000 4194304 6210612 140731742707328 140731742704568 5154973 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 9072640 140731742708747 140731742708849 140731742708849 140731742711758 0 /proc/28492/statm: 13287 7430 873 493 0 6592 0 Current children cumulated CPU time: 402.25 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29720 KiB [startup+462.3 s] /proc/loadavg: 2.00 2.02 2.05 3/200 28536 /proc/meminfo: memFree=26704100/32770624 swapFree=66927216/67108860 [pid=28492] ppid=28489 vsize=53148 memory=29720 CPUtime=462.24 cores=1,3,5,7 /proc/28492/stat : 28492 (cosoco) R 28489 28492 21907 0 -1 4202496 38330 0 0 0 46222 2 0 0 20 0 1 0 411846551 54423552 7430 33554432000 4194304 6210612 140731742707328 140731742704568 5154977 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 9072640 140731742708747 140731742708849 140731742708849 140731742711758 0 /proc/28492/statm: 13287 7430 873 493 0 6592 0 Current children cumulated CPU time: 462.24 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29720 KiB ################ # More data... # ################ /proc/28492/statm: 13287 7430 873 493 0 6592 0 Current children cumulated CPU time: 1662.15 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29720 KiB [startup+1722.3 s] /proc/loadavg: 1.00 1.27 1.68 2/193 28699 /proc/meminfo: memFree=26730868/32770624 swapFree=66927216/67108860 [pid=28492] ppid=28489 vsize=53148 memory=29720 CPUtime=1722.14 cores=1,3,5,7 /proc/28492/stat : 28492 (cosoco) R 28489 28492 21907 0 -1 4202496 43797 0 0 0 172212 2 0 0 20 0 1 0 411846551 54423552 7430 33554432000 4194304 6210612 140731742707328 140731742704568 5249712 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 9072640 140731742708747 140731742708849 140731742708849 140731742711758 0 /proc/28492/statm: 13287 7430 873 493 0 6592 0 Current children cumulated CPU time: 1722.14 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29720 KiB [startup+1782.3 s] /proc/loadavg: 1.00 1.22 1.64 2/193 28706 /proc/meminfo: memFree=26730824/32770624 swapFree=66927216/67108860 [pid=28492] ppid=28489 vsize=53148 memory=29720 CPUtime=1782.14 cores=1,3,5,7 /proc/28492/stat : 28492 (cosoco) R 28489 28492 21907 0 -1 4202496 44042 0 0 0 178212 2 0 0 20 0 1 0 411846551 54423552 7430 33554432000 4194304 6210612 140731742707328 140731742704568 5156886 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 9072640 140731742708747 140731742708849 140731742708849 140731742711758 0 /proc/28492/statm: 13287 7430 873 493 0 6592 0 Current children cumulated CPU time: 1782.14 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29720 KiB [startup+1842.3 s] /proc/loadavg: 1.00 1.18 1.60 2/193 28710 /proc/meminfo: memFree=26730716/32770624 swapFree=66927216/67108860 [pid=28492] ppid=28489 vsize=53148 memory=29720 CPUtime=1842.14 cores=1,3,5,7 /proc/28492/stat : 28492 (cosoco) R 28489 28492 21907 0 -1 4202496 44287 0 0 0 184212 2 0 0 20 0 1 0 411846551 54423552 7430 33554432000 4194304 6210612 140731742707328 140731742704568 5249712 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 9072640 140731742708747 140731742708849 140731742708849 140731742711758 0 /proc/28492/statm: 13287 7430 873 493 0 6592 0 Current children cumulated CPU time: 1842.14 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29720 KiB [startup+1902.3 s] /proc/loadavg: 1.00 1.15 1.56 2/192 28714 /proc/meminfo: memFree=26731416/32770624 swapFree=66927216/67108860 [pid=28492] ppid=28489 vsize=53148 memory=29720 CPUtime=1902.13 cores=1,3,5,7 /proc/28492/stat : 28492 (cosoco) R 28489 28492 21907 0 -1 4202496 44552 0 0 0 190211 2 0 0 20 0 1 0 411846551 54423552 7430 33554432000 4194304 6210612 140731742707328 140731742704568 5154977 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 9072640 140731742708747 140731742708849 140731742708849 140731742711758 0 /proc/28492/statm: 13287 7430 873 493 0 6592 0 Current children cumulated CPU time: 1902.13 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29720 KiB [startup+1962.3 s] /proc/loadavg: 1.00 1.12 1.53 2/193 28722 /proc/meminfo: memFree=26732176/32770624 swapFree=66927216/67108860 [pid=28492] ppid=28489 vsize=53148 memory=29720 CPUtime=1962.13 cores=1,3,5,7 /proc/28492/stat : 28492 (cosoco) R 28489 28492 21907 0 -1 4202496 44798 0 0 0 196211 2 0 0 20 0 1 0 411846551 54423552 7430 33554432000 4194304 6210612 140731742707328 140731742704568 5249724 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 9072640 140731742708747 140731742708849 140731742708849 140731742711758 0 /proc/28492/statm: 13287 7430 873 493 0 6592 0 Current children cumulated CPU time: 1962.13 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29720 KiB [startup+2022.3 s] /proc/loadavg: 1.00 1.10 1.49 2/193 28726 /proc/meminfo: memFree=26731852/32770624 swapFree=66927216/67108860 [pid=28492] ppid=28489 vsize=53148 memory=29720 CPUtime=2022.12 cores=1,3,5,7 /proc/28492/stat : 28492 (cosoco) R 28489 28492 21907 0 -1 4202496 45060 0 0 0 202210 2 0 0 20 0 1 0 411846551 54423552 7430 33554432000 4194304 6210612 140731742707328 140731742704568 5249738 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 9072640 140731742708747 140731742708849 140731742708849 140731742711758 0 /proc/28492/statm: 13287 7430 873 493 0 6592 0 Current children cumulated CPU time: 2022.12 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29720 KiB [startup+2082.3 s] /proc/loadavg: 1.00 1.08 1.46 2/193 28737 /proc/meminfo: memFree=26731568/32770624 swapFree=66927216/67108860 [pid=28492] ppid=28489 vsize=53148 memory=29720 CPUtime=2082.12 cores=1,3,5,7 /proc/28492/stat : 28492 (cosoco) R 28489 28492 21907 0 -1 4202496 45305 0 0 0 208210 2 0 0 20 0 1 0 411846551 54423552 7430 33554432000 4194304 6210612 140731742707328 140731742704568 5249664 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 9072640 140731742708747 140731742708849 140731742708849 140731742711758 0 /proc/28492/statm: 13287 7430 873 493 0 6592 0 Current children cumulated CPU time: 2082.12 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29720 KiB [startup+2142.3 s] /proc/loadavg: 1.00 1.07 1.43 2/193 28765 /proc/meminfo: memFree=26731172/32770624 swapFree=66927216/67108860 [pid=28492] ppid=28489 vsize=53148 memory=29720 CPUtime=2142.11 cores=1,3,5,7 /proc/28492/stat : 28492 (cosoco) R 28489 28492 21907 0 -1 4202496 45550 0 0 0 214209 2 0 0 20 0 1 0 411846551 54423552 7430 33554432000 4194304 6210612 140731742707328 140731742704568 5155149 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 9072640 140731742708747 140731742708849 140731742708849 140731742711758 0 /proc/28492/statm: 13287 7430 873 493 0 6592 0 Current children cumulated CPU time: 2142.11 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29720 KiB [startup+2202.3 s] /proc/loadavg: 1.00 1.06 1.40 2/193 28769 /proc/meminfo: memFree=26730732/32770624 swapFree=66927216/67108860 [pid=28492] ppid=28489 vsize=53148 memory=29720 CPUtime=2202.11 cores=1,3,5,7 /proc/28492/stat : 28492 (cosoco) R 28489 28492 21907 0 -1 4202496 45814 0 0 0 220209 2 0 0 20 0 1 0 411846551 54423552 7430 33554432000 4194304 6210612 140731742707328 140731742704568 5154973 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 9072640 140731742708747 140731742708849 140731742708849 140731742711758 0 /proc/28492/statm: 13287 7430 873 493 0 6592 0 Current children cumulated CPU time: 2202.11 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29720 KiB [startup+2262.3 s] /proc/loadavg: 1.00 1.04 1.38 2/192 28773 /proc/meminfo: memFree=26731456/32770624 swapFree=66927216/67108860 [pid=28492] ppid=28489 vsize=53148 memory=29720 CPUtime=2262.1 cores=1,3,5,7 /proc/28492/stat : 28492 (cosoco) R 28489 28492 21907 0 -1 4202496 46063 0 0 0 226208 2 0 0 20 0 1 0 411846551 54423552 7430 33554432000 4194304 6210612 140731742707328 140731742704568 5155628 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 9072640 140731742708747 140731742708849 140731742708849 140731742711758 0 /proc/28492/statm: 13287 7430 873 493 0 6592 0 Current children cumulated CPU time: 2262.1 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29720 KiB [startup+2322.3 s] /proc/loadavg: 1.00 1.04 1.36 2/192 28779 /proc/meminfo: memFree=26730948/32770624 swapFree=66927216/67108860 [pid=28492] ppid=28489 vsize=53148 memory=29720 CPUtime=2322.1 cores=1,3,5,7 /proc/28492/stat : 28492 (cosoco) R 28489 28492 21907 0 -1 4202496 46312 0 0 0 232208 2 0 0 20 0 1 0 411846551 54423552 7430 33554432000 4194304 6210612 140731742707328 140731742704568 5156097 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 9072640 140731742708747 140731742708849 140731742708849 140731742711758 0 /proc/28492/statm: 13287 7430 873 493 0 6592 0 Current children cumulated CPU time: 2322.1 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29720 KiB [startup+2382.3 s] /proc/loadavg: 1.00 1.03 1.33 2/192 28783 /proc/meminfo: memFree=26731000/32770624 swapFree=66927216/67108860 [pid=28492] ppid=28489 vsize=53148 memory=29720 CPUtime=2382.09 cores=1,3,5,7 /proc/28492/stat : 28492 (cosoco) R 28489 28492 21907 0 -1 4202496 46561 0 0 0 238207 2 0 0 20 0 1 0 411846551 54423552 7430 33554432000 4194304 6210612 140731742707328 140731742704568 5156088 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 9072640 140731742708747 140731742708849 140731742708849 140731742711758 0 /proc/28492/statm: 13287 7430 873 493 0 6592 0 Current children cumulated CPU time: 2382.09 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29720 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.3 s] /proc/loadavg: 1.00 1.03 1.33 2/192 28783 /proc/meminfo: memFree=26731000/32770624 swapFree=66927216/67108860 [pid=28492] ppid=28489 vsize=53148 memory=29720 CPUtime=2400.09 cores=1,3,5,7 /proc/28492/stat : 28492 (cosoco) R 28489 28492 21907 0 -1 4202496 46561 0 0 0 240007 2 0 0 20 0 1 0 411846551 54423552 7430 33554432000 4194304 6210612 140731742707328 140731742704568 5249712 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 9072640 140731742708747 140731742708849 140731742708849 140731742711758 0 /proc/28492/statm: 13287 7430 873 493 0 6592 0 Current children cumulated CPU time: 2400.09 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29720 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2400.3 s] # the end of solver process 28492 was just reported to runsolver # cumulated CPU time of all completed processes: user=2400.08 s, system=0.027997 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.3 s] /proc/loadavg: 1.00 1.03 1.33 2/192 28783 /proc/meminfo: memFree=26731000/32770624 swapFree=66927216/67108860 [pid=28492] ppid=28489 vsize=53148 memory=29720 CPUtime=2400.09 cores=1,3,5,7 /proc/28492/stat : 28492 (cosoco) R 28489 28492 21907 0 -1 4202496 46561 0 0 0 240007 2 0 0 20 0 1 0 411846551 54423552 7430 33554432000 4194304 6210612 140731742707328 140731742704568 5249712 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 9072640 140731742708747 140731742708849 140731742708849 140731742711758 0 /proc/28492/statm: 13287 7430 873 493 0 6592 0 Current children cumulated CPU time: 2400.09 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29720 KiB Child status: 1 Real time (s): 2400.3 CPU time (s): 2400.11 CPU user time (s): 2400.08 CPU system time (s): 0.027997 CPU usage (%): 99.9919 Max. virtual memory (cumulated for all children) (KiB): 53148 Max. memory (cumulated for all children) (KiB): 29720 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.08 system time used= 0.027997 maximum resident set size= 29788 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 46634 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= 21 involuntary context switches= 778 # summary of solver processes directly reported to runsolver: # pid: 28492 # total CPU time (s): 2400.11 # total CPU user time (s): 2400.08 # total CPU system time (s): 0.027997 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.03799 second user time and 14.2686 second system time The end
Begin job on node137 at 2019-09-13 08:25:50 IDJOB=4394834 IDBENCH=141153 IDSOLVER=2830 FILE ID=node137/4394834-1568355992 RUNJOBID= node137-1568323498-21939 PBS_JOBID= 21701145 Free space on /tmp= 61232 MiB SOLVER NAME= cosoco 2 BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay500_c18.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4394834-1568355992/watcher-4394834-1568355992 -o /tmp/evaluation-result-4394834-1568355992/solver-4394834-1568355992 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568323498-21939 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4394834-1568355992.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d1d7e4f351cab0858660dafd89ccc193 RANDOM SEED=93757592 node137.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 : 5334.00 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 : 5334.00 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 : 5334.00 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 : 5334.00 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: 26731576 kB MemAvailable: 31782380 kB Buffers: 148100 kB Cached: 5167240 kB SwapCached: 77592 kB Active: 1387584 kB Inactive: 4031628 kB Active(anon): 27216 kB Inactive(anon): 117616 kB Active(file): 1360368 kB Inactive(file): 3914012 kB Unevictable: 108716 kB Mlocked: 108716 kB SwapTotal: 67108860 kB SwapFree: 66927216 kB Dirty: 2820 kB Writeback: 0 kB AnonPages: 140168 kB Mapped: 46272 kB Shmem: 32728 kB Slab: 213780 kB SReclaimable: 184520 kB SUnreclaim: 29260 kB KernelStack: 3632 kB PageTables: 5536 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 549864 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 90112 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 61232 MiB End job on node137 at 2019-09-13 09:05:50