Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2.0 | SAT (TO) | 2539538 | 2400.01 | 2400.11 |
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-4397598-1568591906.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.78/0.83 o 23556 1.18/1.27 o 49765 1.18/1.27 c 3 calls to solver(id=*d): best=0 lower=49765 upper=49766 1.68/1.72 o 63424 2.09/2.16 o 68182 2.09/2.16 c 5 calls to solver(id=*d): best=0 lower=68182 upper=68183 2.59/2.61 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.78/4.83 o 165200 4.78/4.83 c 11 calls to solver(id=*d): best=0 lower=165200 upper=165201 5.18/5.28 o 191868 5.68/5.72 o 197955 5.68/5.73 c 13 calls to solver(id=*d): best=0 lower=197955 upper=197956 6.09/6.17 o 203973 6.58/6.62 o 226239 6.58/6.62 c 15 calls to solver(id=*d): best=0 lower=226239 upper=226240 6.99/7.06 o 230218 7.48/7.51 o 260040 7.48/7.51 c 17 calls to solver(id=*d): best=0 lower=260040 upper=260041 7.88/7.96 o 260236 8.38/8.40 o 273903 8.38/8.40 c 19 calls to solver(id=*d): best=0 lower=273903 upper=273904 8.78/8.85 o 300557 9.18/9.29 o 302434 9.18/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 11.00/11.08 o 323687 11.00/11.09 c 25 calls to solver(id=*d): best=0 lower=323687 upper=323688 11.49/11.53 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.77 o 452556 13.68/13.77 c 31 calls to solver(id=*d): best=0 lower=452556 upper=452557 14.18/14.22 o 454317 14.58/14.67 o 460921 14.58/14.67 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.91 o 491536 17.28/17.36 o 496522 17.28/17.36 c 39 calls to solver(id=*d): best=0 lower=496522 upper=496523 17.78/17.81 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.50 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.40 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.30 o 622517 22.68/22.75 o 626398 22.68/22.75 c 51 calls to solver(id=*d): best=0 lower=626398 upper=626399 23.18/23.20 o 632011 23.58/23.65 o 637902 23.58/23.65 c 53 calls to solver(id=*d): best=0 lower=637902 upper=637903 23.99/24.10 o 638831 24.48/24.55 o 668238 24.48/24.55 c 55 calls to solver(id=*d): best=0 lower=668238 upper=668239 24.88/25.00 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.78/25.90 o 700560 26.28/26.34 o 708349 26.28/26.35 c 59 calls to solver(id=*d): best=0 lower=708349 upper=708350 26.68/26.79 o 734246 27.18/27.24 o 742520 27.18/27.25 c 61 calls to solver(id=*d): best=0 lower=742520 upper=742521 27.58/27.69 o 759139 28.09/28.14 o 764232 28.09/28.14 c 63 calls to solver(id=*d): best=0 lower=764232 upper=764233 28.48/28.59 o 766084 28.99/29.04 o 766836 28.99/29.04 c 65 calls to solver(id=*d): best=0 lower=766836 upper=766837 29.38/29.49 o 773951 29.88/29.94 o 801073 29.88/29.94 c 67 calls to solver(id=*d): best=0 lower=801073 upper=801074 30.28/30.39 o 809518 30.78/30.84 o 813469 30.78/30.84 c 69 calls to solver(id=*d): best=0 lower=813469 upper=813470 31.18/31.28 o 821758 31.68/31.73 o 828609 31.68/31.73 c 71 calls to solver(id=*d): best=0 lower=828609 upper=828610 32.09/32.18 o 837250 32.58/32.63 o 846199 32.58/32.63 c 73 calls to solver(id=*d): best=0 lower=846199 upper=846200 32.99/33.08 o 855325 33.48/33.53 o 876420 33.48/33.53 c 75 calls to solver(id=*d): best=0 lower=876420 upper=876421 33.88/33.98 o 906625 34.38/34.43 o 913823 34.38/34.43 c 77 calls to solver(id=*d): best=0 lower=913823 upper=913824 34.78/34.88 o 924612 35.28/35.33 o 926730 35.28/35.33 c 79 calls to solver(id=*d): best=0 lower=926730 upper=926731 35.68/35.78 o 954982 36.18/36.23 o 957925 36.18/36.23 c 81 calls to solver(id=*d): best=0 lower=957925 upper=957926 36.58/36.68 o 958158 37.09/37.13 o 971876 37.09/37.13 c 83 calls to solver(id=*d): best=0 lower=971876 upper=971877 37.48/37.57 o 978885 37.99/38.02 o 983830 37.99/38.02 c 85 calls to solver(id=*d): best=0 lower=983830 upper=983831 38.38/38.47 o 985087 38.88/38.92 o 985916 38.88/38.92 c 87 calls to solver(id=*d): best=0 lower=985916 upper=985917 39.28/39.37 o 987113 39.78/39.82 o 993718 39.78/39.82 c 89 calls to solver(id=*d): best=0 lower=993718 upper=993719 40.18/40.27 o 995630 40.68/40.72 o 999461 40.68/40.72 c 91 calls to solver(id=*d): best=0 lower=999461 upper=999462 41.09/41.17 o 1011427 41.58/41.62 o 1029102 41.58/41.62 c 93 calls to solver(id=*d): best=0 lower=1029102 upper=1029103 41.99/42.07 o 1036726 42.48/42.51 o 1040258 42.48/42.52 c 95 calls to solver(id=*d): best=0 lower=1040258 upper=1040259 42.88/42.96 o 1045732 43.38/43.41 o 1054064 43.38/43.41 c 97 calls to solver(id=*d): best=0 lower=1054064 upper=1054065 43.78/43.86 o 1071970 44.28/44.31 o 1073789 44.28/44.31 c 99 calls to solver(id=*d): best=0 lower=1073789 upper=1073790 44.68/44.76 o 1074807 45.18/45.21 o 1076889 45.18/45.21 c 101 calls to solver(id=*d): best=0 lower=1076889 upper=1076890 45.58/45.67 o 1089189 46.09/46.12 o 1091522 46.09/46.12 c 103 calls to solver(id=*d): best=0 lower=1091522 upper=1091523 46.48/46.57 o 1116854 46.99/47.02 o 1118712 46.99/47.02 c 105 calls to solver(id=*d): best=0 lower=1118712 upper=1118713 47.38/47.47 o 1126848 47.88/47.92 o 1131117 47.88/47.92 c 107 calls to solver(id=*d): best=0 lower=1131117 upper=1131118 48.28/48.37 o 1143976 48.78/48.82 o 1150921 48.78/48.82 c 109 calls to solver(id=*d): best=0 lower=1150921 upper=1150922 49.18/49.27 o 1152597 49.68/49.72 o 1170266 49.68/49.72 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.07 o 1177574 51.48/51.52 o 1186013 51.48/51.52 c 115 calls to solver(id=*d): best=0 lower=1186013 upper=1186014 51.88/51.97 o 1187606 52.38/52.43 o 1191998 52.38/52.43 c 117 calls to solver(id=*d): best=0 lower=1191998 upper=1191999 52.78/52.88 o 1196922 53.28/53.33 o 1206122 53.28/53.33 c 119 calls to solver(id=*d): best=0 lower=1206122 upper=1206123 53.68/53.78 o 1213609 54.18/54.23 o 1222608 54.18/54.23 c 121 calls to solver(id=*d): best=0 lower=1222608 upper=1222609 54.58/54.68 o 1227138 55.09/55.14 o 1234275 55.09/55.14 c 123 calls to solver(id=*d): best=0 lower=1234275 upper=1234276 55.48/55.59 o 1242441 55.99/56.04 o 1250569 55.99/56.04 c 125 calls to solver(id=*d): best=0 lower=1250569 upper=1250570 56.38/56.49 o 1259062 56.88/56.95 o 1263503 56.88/56.95 c 127 calls to solver(id=*d): best=0 lower=1263503 upper=1263504 57.38/57.40 o 1275875 57.78/57.85 o 1278404 57.78/57.85 c 129 calls to solver(id=*d): best=0 lower=1278404 upper=1278405 58.28/58.31 o 1286697 58.68/58.76 o 1296415 58.68/58.76 c 131 calls to solver(id=*d): best=0 lower=1296415 upper=1296416 59.18/59.21 o 1308340 59.58/59.66 o 1310446 59.58/59.66 c 133 calls to solver(id=*d): best=0 lower=1310446 upper=1310447 60.09/60.12 o 1316949 60.48/60.57 o 1333633 60.48/60.57 c 135 calls to solver(id=*d): best=0 lower=1333633 upper=1333634 60.99/61.02 o 1335706 61.38/61.47 o 1341027 61.38/61.47 c 137 calls to solver(id=*d): best=0 lower=1341027 upper=1341028 61.88/61.92 o 1345245 62.28/62.38 o 1353245 62.28/62.38 c 139 calls to solver(id=*d): best=0 lower=1353245 upper=1353246 62.78/62.83 o 1356138 63.18/63.28 o 1367345 63.18/63.28 c 141 calls to solver(id=*d): best=0 lower=1367345 upper=1367346 63.68/63.73 o 1374716 64.09/64.18 o 1377170 64.09/64.18 c 143 calls to solver(id=*d): best=0 lower=1377170 upper=1377171 64.58/64.64 o 1388702 64.99/65.09 o 1403548 64.99/65.09 c 145 calls to solver(id=*d): best=0 lower=1403548 upper=1403549 65.48/65.54 o 1426893 65.88/65.99 o 1430774 65.88/65.99 c 147 calls to solver(id=*d): best=0 lower=1430774 upper=1430775 66.38/66.44 o 1432150 66.88/66.90 o 1444533 66.88/66.90 c 149 calls to solver(id=*d): best=0 lower=1444533 upper=1444534 67.28/67.35 o 1453839 67.78/67.80 o 1455752 67.78/67.80 c 151 calls to solver(id=*d): best=0 lower=1455752 upper=1455753 68.18/68.25 o 1465569 68.68/68.71 o 1487612 68.68/68.71 c 153 calls to solver(id=*d): best=0 lower=1487612 upper=1487613 69.09/69.16 o 1495832 69.58/69.61 o 1500544 69.58/69.61 c 155 calls to solver(id=*d): best=0 lower=1500544 upper=1500545 69.99/70.07 o 1509987 70.48/70.52 o 1519277 70.48/70.52 c 157 calls to solver(id=*d): best=0 lower=1519277 upper=1519278 70.88/70.97 o 1527783 71.38/71.42 o 1537735 71.38/71.43 c 159 calls to solver(id=*d): best=0 lower=1537735 upper=1537736 71.78/71.88 o 1537815 72.28/72.33 o 1539208 72.28/72.33 c 161 calls to solver(id=*d): best=0 lower=1539208 upper=1539209 72.68/72.78 o 1543417 73.18/73.23 o 1552106 73.18/73.23 c 163 calls to solver(id=*d): best=0 lower=1552106 upper=1552107 73.58/73.69 o 1554299 74.09/74.14 o 1563083 74.09/74.14 c 165 calls to solver(id=*d): best=0 lower=1563083 upper=1563084 74.48/74.59 o 1579297 74.99/75.05 o 1582119 74.99/75.05 c 167 calls to solver(id=*d): best=0 lower=1582119 upper=1582120 75.48/75.50 o 1583958 75.88/75.95 o 1599915 75.88/75.95 c 169 calls to solver(id=*d): best=0 lower=1599915 upper=1599916 76.38/76.40 o 1607843 76.78/76.86 o 1613519 76.78/76.86 c 171 calls to solver(id=*d): best=0 lower=1613519 upper=1613520 77.28/77.31 o 1616250 77.68/77.76 o 1625073 77.68/77.76 c 173 calls to solver(id=*d): best=0 lower=1625073 upper=1625074 78.18/78.21 o 1634675 78.58/78.67 o 1640664 78.58/78.67 c 175 calls to solver(id=*d): best=0 lower=1640664 upper=1640665 79.09/79.12 o 1644886 79.48/79.57 o 1654084 79.48/79.57 c 177 calls to solver(id=*d): best=0 lower=1654084 upper=1654085 79.99/80.02 o 1659301 80.38/80.48 o 1660722 80.38/80.48 c 179 calls to solver(id=*d): best=0 lower=1660722 upper=1660723 80.88/80.93 o 1667622 81.28/81.38 o 1670442 81.28/81.38 c 181 calls to solver(id=*d): best=0 lower=1670442 upper=1670443 81.78/81.84 o 1679226 82.18/82.29 o 1688975 82.18/82.29 c 183 calls to solver(id=*d): best=0 lower=1688975 upper=1688976 82.68/82.74 o 1693580 83.18/83.20 o 1697670 83.18/83.20 c 185 calls to solver(id=*d): best=0 lower=1697670 upper=1697671 83.58/83.65 o 1706834 83.99/84.10 o 1711439 83.99/84.10 c 187 calls to solver(id=*d): best=0 lower=1711439 upper=1711440 84.48/84.56 o 1713633 84.98/85.01 o 1717727 84.98/85.01 c 189 calls to solver(id=*d): best=0 lower=1717727 upper=1717728 85.38/85.46 o 1728952 85.88/85.92 o 1733072 85.88/85.92 c 191 calls to solver(id=*d): best=0 lower=1733072 upper=1733073 86.28/86.37 o 1739757 86.78/86.82 o 1740719 86.78/86.82 c 193 calls to solver(id=*d): best=0 lower=1740719 upper=1740720 87.18/87.27 o 1745931 87.68/87.73 o 1755269 87.68/87.73 c 195 calls to solver(id=*d): best=0 lower=1755269 upper=1755270 88.09/88.18 o 1756688 88.58/88.63 o 1758445 88.58/88.64 c 197 calls to solver(id=*d): best=0 lower=1758445 upper=1758446 88.98/89.09 o 1763609 89.48/89.54 o 1763767 89.48/89.54 c 199 calls to solver(id=*d): best=0 lower=1763767 upper=1763768 89.87/90.00 o 1766753 90.37/90.45 o 1766809 90.37/90.45 c 201 calls to solver(id=*d): best=0 lower=1766809 upper=1766810 90.87/90.90 o 1776163 91.27/91.36 o 1781151 91.27/91.36 c 203 calls to solver(id=*d): best=0 lower=1781151 upper=1781152 91.77/91.81 o 1782448 92.17/92.26 o 1788549 92.17/92.26 c 205 calls to solver(id=*d): best=0 lower=1788549 upper=1788550 92.67/92.71 o 1794516 93.08/93.16 o 1801738 93.08/93.16 c 207 calls to solver(id=*d): best=0 lower=1801738 upper=1801739 93.57/93.61 o 1812963 93.98/94.06 o 1817500 93.98/94.06 c 209 calls to solver(id=*d): best=0 lower=1817500 upper=1817501 94.47/94.51 o 1820756 94.87/94.97 o 1822794 94.87/94.97 c 211 calls to solver(id=*d): best=0 lower=1822794 upper=1822795 95.37/95.42 o 1835576 95.77/95.87 o 1847807 95.77/95.87 c 213 calls to solver(id=*d): best=0 lower=1847807 upper=1847808 96.27/96.32 o 1857611 96.67/96.77 o 1860389 96.67/96.77 c 215 calls to solver(id=*d): best=0 lower=1860389 upper=1860390 97.17/97.22 o 1863223 97.57/97.67 o 1880326 97.57/97.67 c 217 calls to solver(id=*d): best=0 lower=1880326 upper=1880327 98.08/98.12 o 1887267 98.47/98.57 o 1887737 98.47/98.57 c 219 calls to solver(id=*d): best=0 lower=1887737 upper=1887738 98.98/99.02 o 1888686 99.37/99.47 o 1890384 99.37/99.47 c 221 calls to solver(id=*d): best=0 lower=1890384 upper=1890385 99.87/99.92 o 1893218 100.27/100.37 o 1893970 100.27/100.37 c 223 calls to solver(id=*d): best=0 lower=1893970 upper=1893971 100.77/100.82 o 1900845 101.17/101.28 o 1901699 101.17/101.28 c 225 calls to solver(id=*d): best=0 lower=1901699 upper=1901700 101.67/101.73 o 1906561 102.08/102.18 o 1909249 102.08/102.19 c 227 calls to solver(id=*d): best=0 lower=1909249 upper=1909250 102.57/102.63 o 1917902 102.98/103.08 o 1921028 102.98/103.09 c 229 calls to solver(id=*d): best=0 lower=1921028 upper=1921029 103.47/103.54 o 1933460 103.87/103.98 o 1934091 103.87/103.99 c 231 calls to solver(id=*d): best=0 lower=1934091 upper=1934092 104.37/104.43 o 1936402 104.77/104.88 o 1941063 104.77/104.88 c 233 calls to solver(id=*d): best=0 lower=1941063 upper=1941064 105.27/105.33 o 1941824 105.67/105.78 o 1947939 105.67/105.78 c 235 calls to solver(id=*d): best=0 lower=1947939 upper=1947940 106.17/106.23 o 1949431 106.57/106.68 o 1955836 106.57/106.68 c 237 calls to solver(id=*d): best=0 lower=1955836 upper=1955837 107.08/107.13 o 1964506 107.47/107.58 o 1972430 107.47/107.58 c 239 calls to solver(id=*d): best=0 lower=1972430 upper=1972431 107.98/108.04 o 1972767 108.37/108.49 o 1977998 108.37/108.49 c 241 calls to solver(id=*d): best=0 lower=1977998 upper=1977999 108.87/108.94 o 1978750 109.27/109.39 o 1987874 109.27/109.39 c 243 calls to solver(id=*d): best=0 lower=1987874 upper=1987875 109.77/109.84 o 1987905 110.17/110.29 o 1988536 110.17/110.29 c 245 calls to solver(id=*d): best=0 lower=1988536 upper=1988537 110.67/110.74 o 1992165 111.17/111.20 o 1993646 111.17/111.21 c 247 calls to solver(id=*d): best=0 lower=1993646 upper=1993647 111.57/111.65 o 1993842 111.98/112.10 o 1995099 112.08/112.10 c 249 calls to solver(id=*d): best=0 lower=1995099 upper=1995100 112.47/112.55 o 1997217 112.87/113.00 o 1998220 112.97/113.00 c 251 calls to solver(id=*d): best=0 lower=1998220 upper=1998221 113.37/113.45 o 2006983 113.87/113.90 o 2011178 113.87/113.91 c 253 calls to solver(id=*d): best=0 lower=2011178 upper=2011179 114.27/114.36 o 2018709 114.77/114.81 o 2026244 114.77/114.81 c 255 calls to solver(id=*d): best=0 lower=2026244 upper=2026245 115.17/115.26 o 2029999 115.67/115.71 o 2030948 115.67/115.71 c 257 calls to solver(id=*d): best=0 lower=2030948 upper=2030949 116.08/116.16 o 2036671 116.57/116.61 o 2038368 116.57/116.62 c 259 calls to solver(id=*d): best=0 lower=2038368 upper=2038369 116.97/117.06 o 2041503 117.47/117.51 o 2041789 117.47/117.52 c 261 calls to solver(id=*d): best=0 lower=2041789 upper=2041790 117.87/117.97 o 2057643 118.37/118.42 o 2059673 118.37/118.42 c 263 calls to solver(id=*d): best=0 lower=2059673 upper=2059674 118.77/118.87 o 2075880 119.27/119.32 o 2082756 119.27/119.32 c 265 calls to solver(id=*d): best=0 lower=2082756 upper=2082757 119.67/119.77 o 2089493 120.17/120.22 o 2100861 120.17/120.22 c 267 calls to solver(id=*d): best=0 lower=2100861 upper=2100862 120.57/120.67 o 2114952 121.07/121.12 o 2118949 121.07/121.12 c 269 calls to solver(id=*d): best=0 lower=2118949 upper=2118950 121.97/122.01 o 2119845 122.87/122.90 o 2130468 122.87/122.90 c 271 calls to solver(id=*d): best=0 lower=2130468 upper=2130469 123.67/123.78 o 2134465 124.57/124.67 o 2137630 124.57/124.67 c 273 calls to solver(id=*d): best=0 lower=2137630 upper=2137631 125.07/125.12 o 2141267 125.97/126.01 o 2142265 125.97/126.01 c 275 calls to solver(id=*d): best=0 lower=2142265 upper=2142266 126.87/126.90 o 2143600 127.27/127.35 o 2146840 127.27/127.35 c 277 calls to solver(id=*d): best=0 lower=2146840 upper=2146841 127.77/127.80 o 2150272 128.57/128.69 o 2162674 128.57/128.69 c 279 calls to solver(id=*d): best=0 lower=2162674 upper=2162675 129.07/129.14 o 2163130 129.97/130.03 o 2172051 129.97/130.03 c 281 calls to solver(id=*d): best=0 lower=2172051 upper=2172052 130.86/130.91 o 2172723 131.26/131.36 o 2173192 131.26/131.36 c 283 calls to solver(id=*d): best=0 lower=2173192 upper=2173193 131.76/131.81 o 2177508 132.56/132.70 o 2179390 132.66/132.70 c 285 calls to solver(id=*d): best=0 lower=2179390 upper=2179391 133.07/133.14 o 2182176 133.46/133.59 o 2187144 133.56/133.60 c 287 calls to solver(id=*d): best=0 lower=2187144 upper=2187145 134.36/134.48 o 2192044 135.26/135.36 o 2199350 135.26/135.37 c 289 calls to solver(id=*d): best=0 lower=2199350 upper=2199351 136.16/136.25 o 2203979 136.66/136.70 o 2213300 136.66/136.70 c 291 calls to solver(id=*d): best=0 lower=2213300 upper=2213301 137.46/137.59 o 2214051 138.36/138.47 o 2223857 138.36/138.47 c 293 calls to solver(id=*d): best=0 lower=2223857 upper=2223858 139.26/139.36 o 2226081 139.76/139.81 o 2227099 139.76/139.81 c 295 calls to solver(id=*d): best=0 lower=2227099 upper=2227100 140.56/140.69 o 2242524 141.47/141.58 o 2254348 141.47/141.58 c 297 calls to solver(id=*d): best=0 lower=2254348 upper=2254349 142.37/142.46 o 2263698 142.87/142.91 o 2263839 142.87/142.91 c 299 calls to solver(id=*d): best=0 lower=2263839 upper=2263840 143.67/143.79 o 2265446 144.57/144.68 o 2279224 144.57/144.68 c 301 calls to solver(id=*d): best=0 lower=2279224 upper=2279225 145.47/145.57 o 2279437 146.37/146.45 o 2280830 146.37/146.46 c 303 calls to solver(id=*d): best=0 lower=2280830 upper=2280831 146.87/146.90 o 2290155 147.27/147.35 o 2293549 147.27/147.35 c 305 calls to solver(id=*d): best=0 lower=2293549 upper=2293550 148.17/148.24 o 2301120 149.08/149.12 o 2302579 149.08/149.12 c 307 calls to solver(id=*d): best=0 lower=2302579 upper=2302580 149.87/150.00 o 2307987 150.77/150.88 o 2308613 150.77/150.88 c 309 calls to solver(id=*d): best=0 lower=2308613 upper=2308614 151.27/151.33 o 2310641 152.17/152.21 o 2330447 152.17/152.22 c 311 calls to solver(id=*d): best=0 lower=2330447 upper=2330448 152.57/152.66 o 2331599 153.08/153.11 o 2333443 153.08/153.11 c 313 calls to solver(id=*d): best=0 lower=2333443 upper=2333444 153.47/153.56 o 2337805 154.37/154.44 o 2342925 154.37/154.45 c 315 calls to solver(id=*d): best=0 lower=2342925 upper=2342926 155.27/155.33 o 2345510 156.17/156.21 o 2352468 156.17/156.21 c 317 calls to solver(id=*d): best=0 lower=2352468 upper=2352469 156.98/157.09 o 2358922 157.87/157.97 o 2362251 157.87/157.97 c 319 calls to solver(id=*d): best=0 lower=2362251 upper=2362252 158.77/158.85 o 2362381 159.67/159.76 o 2362495 159.67/159.76 c 321 calls to solver(id=*d): best=0 lower=2362495 upper=2362496 160.17/160.21 o 2379664 160.98/161.09 o 2380809 160.98/161.09 c 323 calls to solver(id=*d): best=0 lower=2380809 upper=2380810 161.87/161.98 o 2381209 162.77/162.86 o 2390104 162.77/162.86 c 325 calls to solver(id=*d): best=0 lower=2390104 upper=2390105 163.67/163.75 o 2392974 164.17/164.20 o 2393260 164.17/164.20 c 327 calls to solver(id=*d): best=0 lower=2393260 upper=2393261 164.57/164.65 o 2397486 165.47/165.53 o 2405334 165.47/165.53 c 329 calls to solver(id=*d): best=0 lower=2405334 upper=2405335 166.37/166.41 o 2416049 167.17/167.29 o 2421404 167.17/167.29 c 331 calls to solver(id=*d): best=0 lower=2421404 upper=2421405 168.57/168.61 o 2429665 169.87/169.94 o 2431441 169.87/169.94 c 333 calls to solver(id=*d): best=0 lower=2431441 upper=2431442 170.77/170.82 o 2436491 172.08/172.14 o 2442384 172.08/172.14 c 335 calls to solver(id=*d): best=0 lower=2442384 upper=2442385 173.37/173.45 o 2443209 173.87/173.90 o 2447065 173.87/173.90 c 337 calls to solver(id=*d): best=0 lower=2447065 upper=2447066 174.67/174.78 o 2458998 175.97/176.09 o 2462115 175.97/176.09 c 339 calls to solver(id=*d): best=0 lower=2462115 upper=2462116 176.47/176.54 o 2464358 177.77/177.86 o 2478149 177.77/177.86 c 341 calls to solver(id=*d): best=0 lower=2478149 upper=2478150 178.67/178.74 o 2478768 179.08/179.19 o 2479949 179.08/179.19 c 343 calls to solver(id=*d): best=0 lower=2479949 upper=2479950 180.47/180.50 o 2482701 180.87/180.95 o 2482917 180.87/180.95 c 345 calls to solver(id=*d): best=0 lower=2482917 upper=2482918 181.37/181.40 o 2485694 181.77/181.85 o 2486735 181.77/181.85 c 347 calls to solver(id=*d): best=0 lower=2486735 upper=2486736 182.27/182.30 o 2494970 182.67/182.75 o 2498795 182.67/182.75 c 349 calls to solver(id=*d): best=0 lower=2498795 upper=2498796 183.97/184.06 o 2500571 184.47/184.51 o 2521572 184.47/184.51 c 351 calls to solver(id=*d): best=0 lower=2521572 upper=2521573 184.87/184.96 o 2528007 186.17/186.27 o 2532295 186.17/186.27 c 353 calls to solver(id=*d): best=0 lower=2532295 upper=2532296 187.47/187.58 o 2538842 187.97/188.03 o 2539538 187.97/188.04 c 355 calls to solver(id=*d): best=0 lower=2539538 upper=2539539 2400.01/2400.10 2400.01/2400.10 c *** INTERRUPTED *** 2400.01/2400.10 c call to solver : 355 2400.01/2400.10 c 2400.01/2400.10 c restarts : 140 2400.01/2400.10 c conflicts : 1344274 (560 /sec) 2400.01/2400.10 c decisions : 9644573 (4019 /sec) 2400.01/2400.10 c propagations : 341393641 (142250 /sec) 2400.01/2400.10 c root propagations : 2000 2400.01/2400.10 c filter calls : 75079513 (31284 /sec) 2400.01/2400.10 c useless filter calls : 51323172 (68 %) 2400.01/2400.10 c Memory used : 51.91 MB 2400.01/2400.10 c Best bound time (wc) : 188.035 s 2400.01/2400.10 c CPU time : 2399.95 s 2400.01/2400.10 c real time : 2400.1 s 2400.01/2400.10 2400.01/2400.10 c nb Solutions = 355 2400.01/2400.10 s SATISFIABLE 2400.01/2400.10 c Best value found: 2539538 2400.01/2400.10 2400.01/2400.10 2400.01/2400.10 v <instantiation type='solution' cost='2539538'> 2400.01/2400.10 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.01/2400.10 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.01/2400.10 v </instantiation> 2400.01/2400.10
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 (15018 MiB free) memory of node 1: 16384 MiB (14857 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397598-1568591906/watcher-4397598-1568591906 -o /tmp/evaluation-result-4397598-1568591906/solver-4397598-1568591906 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1568572744-5581 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397598-1568591906.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 solver pid=9549, runsolver pid=9546 Current StackSize limit: 8192 KiB [startup+0.100493 s]* /proc/loadavg: 2.05 2.03 2.05 3/202 9550 /proc/meminfo: memFree=30586864/32770624 swapFree=66970212/67108860 [pid=9549] ppid=9546 vsize=33232 memory=9512 CPUtime=0.1 cores=1,3,5,7 /proc/9549/stat : 9549 (cosoco) R 9546 9549 5549 0 -1 4202496 2595 0 0 0 10 0 0 0 20 0 1 0 435440105 34029568 2378 33554432000 4194304 6211092 140723829713376 140723829710648 5248764 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 29794304 140723829715979 140723829716081 140723829716081 140723829718990 0 /proc/9549/statm: 8308 2378 837 493 0 1613 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 33232 KiB Current children cumulated memory: 9512 KiB [startup+0.209897 s]* /proc/loadavg: 2.05 2.03 2.05 3/202 9550 /proc/meminfo: memFree=30586508/32770624 swapFree=66970212/67108860 [pid=9549] ppid=9546 vsize=34032 memory=10564 CPUtime=0.2 cores=1,3,5,7 /proc/9549/stat : 9549 (cosoco) R 9546 9549 5549 0 -1 4202496 2840 0 0 0 20 0 0 0 20 0 1 0 435440105 34848768 2641 33554432000 4194304 6211092 140723829713376 140723829710648 139635770702821 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 29794304 140723829715979 140723829716081 140723829716081 140723829718990 0 /proc/9549/statm: 8508 2641 876 493 0 1813 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 34032 KiB Current children cumulated memory: 10564 KiB [startup+0.309308 s]* /proc/loadavg: 2.05 2.03 2.05 3/202 9550 /proc/meminfo: memFree=30583160/32770624 swapFree=66970212/67108860 [pid=9549] ppid=9546 vsize=37212 memory=13732 CPUtime=0.3 cores=1,3,5,7 /proc/9549/stat : 9549 (cosoco) R 9546 9549 5549 0 -1 4202496 3612 0 0 0 30 0 0 0 20 0 1 0 435440105 38105088 3433 33554432000 4194304 6211092 140723829713376 140723829710648 5185143 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 29794304 140723829715979 140723829716081 140723829716081 140723829718990 0 /proc/9549/statm: 9303 3433 876 493 0 2608 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 37212 KiB Current children cumulated memory: 13732 KiB [startup+0.700287 s] /proc/loadavg: 2.05 2.03 2.05 3/202 9550 /proc/meminfo: memFree=30578324/32770624 swapFree=66970212/67108860 [pid=9549] ppid=9546 vsize=43344 memory=19804 CPUtime=0.68 cores=1,3,5,7 /proc/9549/stat : 9549 (cosoco) R 9546 9549 5549 0 -1 4202496 5171 0 0 0 68 0 0 0 20 0 1 0 435440105 44384256 4951 33554432000 4194304 6211092 140723829713376 140723829710776 139635770772011 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 29794304 140723829715979 140723829716081 140723829716081 140723829718990 0 /proc/9549/statm: 10836 4951 877 493 0 4141 0 Current children cumulated CPU time: 0.68 s Current children cumulated vsize: 43344 KiB Current children cumulated memory: 19804 KiB [startup+1.50028 s] /proc/loadavg: 2.05 2.03 2.05 3/202 9550 /proc/meminfo: memFree=30572760/32770624 swapFree=66970212/67108860 [pid=9549] ppid=9546 vsize=48456 memory=24820 CPUtime=1.48 cores=1,3,5,7 /proc/9549/stat : 9549 (cosoco) R 9546 9549 5549 0 -1 4202496 6421 0 0 0 148 0 0 0 20 0 1 0 435440105 49618944 6205 33554432000 4194304 6211092 140723829713376 140723829710776 5156476 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 29794304 140723829715979 140723829716081 140723829716081 140723829718990 0 /proc/9549/statm: 12114 6205 877 493 0 5419 0 Current children cumulated CPU time: 1.48 s Current children cumulated vsize: 48456 KiB Current children cumulated memory: 24820 KiB [startup+3.10951 s] /proc/loadavg: 2.05 2.03 2.05 3/202 9550 /proc/meminfo: memFree=30571396/32770624 swapFree=66970212/67108860 [pid=9549] ppid=9546 vsize=48456 memory=25056 CPUtime=3.1 cores=1,3,5,7 /proc/9549/stat : 9549 (cosoco) R 9546 9549 5549 0 -1 4202496 10330 0 0 0 309 1 0 0 20 0 1 0 435440105 49618944 6264 33554432000 4194304 6211092 140723829713376 140723829711512 5155348 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 29794304 140723829715979 140723829716081 140723829716081 140723829718990 0 /proc/9549/statm: 12114 6264 877 493 0 5419 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 48456 KiB Current children cumulated memory: 25056 KiB [startup+6.30028 s] /proc/loadavg: 2.05 2.03 2.05 3/202 9550 /proc/meminfo: memFree=30571372/32770624 swapFree=66970212/67108860 [pid=9549] ppid=9546 vsize=48456 memory=25056 CPUtime=6.28 cores=1,3,5,7 /proc/9549/stat : 9549 (cosoco) R 9546 9549 5549 0 -1 4202496 14307 0 0 0 627 1 0 0 20 0 1 0 435440105 49618944 6264 33554432000 4194304 6211092 140723829713376 140723829711512 5250272 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 29794304 140723829715979 140723829716081 140723829716081 140723829718990 0 /proc/9549/statm: 12114 6264 877 493 0 5419 0 Current children cumulated CPU time: 6.28 s Current children cumulated vsize: 48456 KiB Current children cumulated memory: 25056 KiB [startup+12.7003 s] /proc/loadavg: 2.04 2.03 2.05 3/202 9551 /proc/meminfo: memFree=30570984/32770624 swapFree=66970212/67108860 [pid=9549] ppid=9546 vsize=49124 memory=25792 CPUtime=12.68 cores=1,3,5,7 /proc/9549/stat : 9549 (cosoco) R 9546 9549 5549 0 -1 4202496 22442 0 0 0 1266 2 0 0 20 0 1 0 435440105 50302976 6448 33554432000 4194304 6211092 140723829713376 140723829711512 5155345 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 29794304 140723829715979 140723829716081 140723829716081 140723829718990 0 /proc/9549/statm: 12281 6448 877 493 0 5586 0 Current children cumulated CPU time: 12.68 s Current children cumulated vsize: 49124 KiB Current children cumulated memory: 25792 KiB [startup+25.5003 s] /proc/loadavg: 2.03 2.03 2.05 3/203 9554 /proc/meminfo: memFree=30568228/32770624 swapFree=66970212/67108860 [pid=9549] ppid=9546 vsize=50204 memory=26884 CPUtime=25.48 cores=1,3,5,7 /proc/9549/stat : 9549 (cosoco) R 9546 9549 5549 0 -1 4202496 27514 0 0 0 2546 2 0 0 20 0 1 0 435440105 51408896 6721 33554432000 4194304 6211092 140723829713376 140723829701256 5155341 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 29794304 140723829715979 140723829716081 140723829716081 140723829718990 0 /proc/9549/statm: 12551 6721 877 493 0 5856 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 50204 KiB Current children cumulated memory: 26884 KiB [startup+51.1094 s] /proc/loadavg: 2.02 2.02 2.05 3/203 9555 /proc/meminfo: memFree=30567660/32770624 swapFree=66970212/67108860 [pid=9549] ppid=9546 vsize=51136 memory=27812 CPUtime=51.09 cores=1,3,5,7 /proc/9549/stat : 9549 (cosoco) R 9546 9549 5549 0 -1 4202496 32911 0 0 0 5106 3 0 0 20 0 1 0 435440105 52363264 6953 33554432000 4194304 6211092 140723829713376 140723829701256 5250241 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 29794304 140723829715979 140723829716081 140723829716081 140723829718990 0 /proc/9549/statm: 12784 6953 877 493 0 6089 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 51136 KiB Current children cumulated memory: 27812 KiB [startup+102.3 s] /proc/loadavg: 2.06 2.04 2.05 3/203 9559 /proc/meminfo: memFree=30565668/32770624 swapFree=66970212/67108860 [pid=9549] ppid=9546 vsize=52220 memory=28788 CPUtime=102.27 cores=1,3,5,7 /proc/9549/stat : 9549 (cosoco) R 9546 9549 5549 0 -1 4202496 42612 0 0 0 10224 3 0 0 20 0 1 0 435440105 53473280 7197 33554432000 4194304 6211092 140723829713376 140723829711512 5250289 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 29794304 140723829715979 140723829716081 140723829716081 140723829718990 0 /proc/9549/statm: 13055 7197 877 493 0 6360 0 Current children cumulated CPU time: 102.27 s Current children cumulated vsize: 52220 KiB Current children cumulated memory: 28788 KiB [startup+162.3 s] /proc/loadavg: 2.02 2.03 2.05 3/205 9573 /proc/meminfo: memFree=30565856/32770624 swapFree=66970212/67108860 [pid=9549] ppid=9546 vsize=52876 memory=29444 CPUtime=162.27 cores=1,3,5,7 /proc/9549/stat : 9549 (cosoco) R 9546 9549 5549 0 -1 4202496 43389 0 0 0 16223 4 0 0 20 0 1 0 435440105 54145024 7361 33554432000 4194304 6211092 140723829713376 140723829701256 5155341 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 29794304 140723829715979 140723829716081 140723829716081 140723829718990 0 /proc/9549/statm: 13219 7361 877 493 0 6524 0 Current children cumulated CPU time: 162.27 s Current children cumulated vsize: 52876 KiB Current children cumulated memory: 29444 KiB [startup+222.3 s] /proc/loadavg: 2.04 2.04 2.05 3/204 9602 /proc/meminfo: memFree=30565520/32770624 swapFree=66970216/67108860 [pid=9549] ppid=9546 vsize=53016 memory=29668 CPUtime=222.26 cores=1,3,5,7 /proc/9549/stat : 9549 (cosoco) R 9546 9549 5549 0 -1 4202496 44154 0 0 0 22222 4 0 0 20 0 1 0 435440105 54288384 7417 33554432000 4194304 6211092 140723829713376 140723829710776 5250234 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 29794304 140723829715979 140723829716081 140723829716081 140723829718990 0 /proc/9549/statm: 13254 7417 877 493 0 6559 0 Current children cumulated CPU time: 222.26 s Current children cumulated vsize: 53016 KiB Current children cumulated memory: 29668 KiB [startup+282.3 s] /proc/loadavg: 2.02 2.03 2.05 3/204 9606 /proc/meminfo: memFree=30565876/32770624 swapFree=66970216/67108860 [pid=9549] ppid=9546 vsize=53148 memory=29728 CPUtime=282.26 cores=1,3,5,7 /proc/9549/stat : 9549 (cosoco) R 9546 9549 5549 0 -1 4202496 44757 0 0 0 28222 4 0 0 20 0 1 0 435440105 54423552 7432 33554432000 4194304 6211092 140723829713376 140723829710616 5155345 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 29794304 140723829715979 140723829716081 140723829716081 140723829718990 0 /proc/9549/statm: 13287 7432 877 493 0 6592 0 Current children cumulated CPU time: 282.26 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29728 KiB [startup+342.3 s] /proc/loadavg: 2.01 2.03 2.05 3/204 9612 /proc/meminfo: memFree=30565276/32770624 swapFree=66970216/67108860 [pid=9549] ppid=9546 vsize=53148 memory=29728 CPUtime=342.26 cores=1,3,5,7 /proc/9549/stat : 9549 (cosoco) R 9546 9549 5549 0 -1 4202496 45334 0 0 0 34222 4 0 0 20 0 1 0 435440105 54423552 7432 33554432000 4194304 6211092 140723829713376 140723829710616 5250284 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 29794304 140723829715979 140723829716081 140723829716081 140723829718990 0 /proc/9549/statm: 13287 7432 877 493 0 6592 0 Current children cumulated CPU time: 342.26 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29728 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.02 2.05 3/203 9616 /proc/meminfo: memFree=30565352/32770624 swapFree=66970216/67108860 [pid=9549] ppid=9546 vsize=53148 memory=29728 CPUtime=402.26 cores=1,3,5,7 /proc/9549/stat : 9549 (cosoco) R 9546 9549 5549 0 -1 4202496 45928 0 0 0 40222 4 0 0 20 0 1 0 435440105 54423552 7432 33554432000 4194304 6211092 140723829713376 140723829710616 5250272 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 29794304 140723829715979 140723829716081 140723829716081 140723829718990 0 /proc/9549/statm: 13287 7432 877 493 0 6592 0 Current children cumulated CPU time: 402.26 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29728 KiB [startup+462.3 s] /proc/loadavg: 2.00 2.02 2.05 3/202 9620 /proc/meminfo: memFree=30565580/32770624 swapFree=66970216/67108860 [pid=9549] ppid=9546 vsize=53148 memory=29728 CPUtime=462.25 cores=1,3,5,7 /proc/9549/stat : 9549 (cosoco) R 9546 9549 5549 0 -1 4202496 46473 0 0 0 46221 4 0 0 20 0 1 0 435440105 54423552 7432 33554432000 4194304 6211092 140723829713376 140723829710616 5155345 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 29794304 140723829715979 140723829716081 140723829716081 140723829718990 0 /proc/9549/statm: 13287 7432 877 493 0 6592 0 Current children cumulated CPU time: 462.25 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29728 KiB ################ # More data... # ################ /proc/9549/statm: 13287 7432 877 493 0 6592 0 Current children cumulated CPU time: 1662.21 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29728 KiB [startup+1722.3 s] /proc/loadavg: 1.03 1.50 1.83 2/196 9789 /proc/meminfo: memFree=30642176/32770624 swapFree=66970240/67108860 [pid=9549] ppid=9546 vsize=53148 memory=29728 CPUtime=1722.21 cores=1,3,5,7 /proc/9549/stat : 9549 (cosoco) R 9546 9549 5549 0 -1 4202496 56597 0 0 0 172216 5 0 0 20 0 1 0 435440105 54423552 7432 33554432000 4194304 6211092 140723829713376 140723829710616 5250289 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 29794304 140723829715979 140723829716081 140723829716081 140723829718990 0 /proc/9549/statm: 13287 7432 877 493 0 6592 0 Current children cumulated CPU time: 1722.21 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29728 KiB [startup+1782.3 s] /proc/loadavg: 1.35 1.49 1.81 2/197 9795 /proc/meminfo: memFree=30641980/32770624 swapFree=66970240/67108860 [pid=9549] ppid=9546 vsize=53148 memory=29728 CPUtime=1782.21 cores=1,3,5,7 /proc/9549/stat : 9549 (cosoco) R 9546 9549 5549 0 -1 4202496 56948 0 0 0 178216 5 0 0 20 0 1 0 435440105 54423552 7432 33554432000 4194304 6211092 140723829713376 140723829710616 5156465 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 29794304 140723829715979 140723829716081 140723829716081 140723829718990 0 /proc/9549/statm: 13287 7432 877 493 0 6592 0 Current children cumulated CPU time: 1782.21 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29728 KiB [startup+1842.3 s] /proc/loadavg: 1.28 1.46 1.78 2/196 9800 /proc/meminfo: memFree=30642516/32770624 swapFree=66970240/67108860 [pid=9549] ppid=9546 vsize=53148 memory=29728 CPUtime=1842.21 cores=1,3,5,7 /proc/9549/stat : 9549 (cosoco) R 9546 9549 5549 0 -1 4202496 57298 0 0 0 184216 5 0 0 20 0 1 0 435440105 54423552 7432 33554432000 4194304 6211092 140723829713376 140723829710616 5250298 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 29794304 140723829715979 140723829716081 140723829716081 140723829718990 0 /proc/9549/statm: 13287 7432 877 493 0 6592 0 Current children cumulated CPU time: 1842.21 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29728 KiB [startup+1902.3 s] /proc/loadavg: 1.10 1.37 1.73 2/195 9804 /proc/meminfo: memFree=30641836/32770624 swapFree=66970240/67108860 [pid=9549] ppid=9546 vsize=53148 memory=29728 CPUtime=1902.2 cores=1,3,5,7 /proc/9549/stat : 9549 (cosoco) R 9546 9549 5549 0 -1 4202496 57829 0 0 0 190215 5 0 0 20 0 1 0 435440105 54423552 7432 33554432000 4194304 6211092 140723829713376 140723829710616 5156256 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 29794304 140723829715979 140723829716081 140723829716081 140723829718990 0 /proc/9549/statm: 13287 7432 877 493 0 6592 0 Current children cumulated CPU time: 1902.2 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29728 KiB [startup+1962.3 s] /proc/loadavg: 1.04 1.31 1.68 2/196 9817 /proc/meminfo: memFree=30641004/32770624 swapFree=66970244/67108860 [pid=9549] ppid=9546 vsize=53148 memory=29728 CPUtime=1962.21 cores=1,3,5,7 /proc/9549/stat : 9549 (cosoco) R 9546 9549 5549 0 -1 4202496 58178 0 0 0 196215 6 0 0 20 0 1 0 435440105 54423552 7432 33554432000 4194304 6211092 140723829713376 140723829710616 5250272 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 29794304 140723829715979 140723829716081 140723829716081 140723829718990 0 /proc/9549/statm: 13287 7432 877 493 0 6592 0 Current children cumulated CPU time: 1962.21 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29728 KiB [startup+2022.3 s] /proc/loadavg: 1.01 1.25 1.64 2/195 9821 /proc/meminfo: memFree=30641436/32770624 swapFree=66970244/67108860 [pid=9549] ppid=9546 vsize=53148 memory=29728 CPUtime=2022.21 cores=1,3,5,7 /proc/9549/stat : 9549 (cosoco) R 9546 9549 5549 0 -1 4202496 58527 0 0 0 202215 6 0 0 20 0 1 0 435440105 54423552 7432 33554432000 4194304 6211092 140723829713376 140723829710616 5155345 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 29794304 140723829715979 140723829716081 140723829716081 140723829718990 0 /proc/9549/statm: 13287 7432 877 493 0 6592 0 Current children cumulated CPU time: 2022.21 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29728 KiB [startup+2082.3 s] /proc/loadavg: 1.01 1.20 1.60 2/195 9825 /proc/meminfo: memFree=30641472/32770624 swapFree=66970244/67108860 [pid=9549] ppid=9546 vsize=53148 memory=29728 CPUtime=2082.21 cores=1,3,5,7 /proc/9549/stat : 9549 (cosoco) R 9546 9549 5549 0 -1 4202496 59038 0 0 0 208215 6 0 0 20 0 1 0 435440105 54423552 7432 33554432000 4194304 6211092 140723829713376 140723829710616 5250272 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 29794304 140723829715979 140723829716081 140723829716081 140723829718990 0 /proc/9549/statm: 13287 7432 877 493 0 6592 0 Current children cumulated CPU time: 2082.21 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29728 KiB [startup+2142.3 s] /proc/loadavg: 1.00 1.17 1.56 2/198 9833 /proc/meminfo: memFree=30641124/32770624 swapFree=66970244/67108860 [pid=9549] ppid=9546 vsize=53148 memory=29728 CPUtime=2142.21 cores=1,3,5,7 /proc/9549/stat : 9549 (cosoco) R 9546 9549 5549 0 -1 4202496 59381 0 0 0 214215 6 0 0 20 0 1 0 435440105 54423552 7432 33554432000 4194304 6211092 140723829713376 140723829710616 5155807 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 29794304 140723829715979 140723829716081 140723829716081 140723829718990 0 /proc/9549/statm: 13287 7432 877 493 0 6592 0 Current children cumulated CPU time: 2142.21 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29728 KiB [startup+2202.3 s] /proc/loadavg: 1.00 1.14 1.53 2/197 9837 /proc/meminfo: memFree=30641152/32770624 swapFree=66970244/67108860 [pid=9549] ppid=9546 vsize=53148 memory=29728 CPUtime=2202.2 cores=1,3,5,7 /proc/9549/stat : 9549 (cosoco) R 9546 9549 5549 0 -1 4202496 59908 0 0 0 220214 6 0 0 20 0 1 0 435440105 54423552 7432 33554432000 4194304 6211092 140723829713376 140723829710616 5155345 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 29794304 140723829715979 140723829716081 140723829716081 140723829718990 0 /proc/9549/statm: 13287 7432 877 493 0 6592 0 Current children cumulated CPU time: 2202.2 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29728 KiB [startup+2262.3 s] /proc/loadavg: 1.00 1.11 1.49 2/197 9841 /proc/meminfo: memFree=30641644/32770624 swapFree=66970244/67108860 [pid=9549] ppid=9546 vsize=53148 memory=29728 CPUtime=2262.2 cores=1,3,5,7 /proc/9549/stat : 9549 (cosoco) R 9546 9549 5549 0 -1 4202496 60259 0 0 0 226214 6 0 0 20 0 1 0 435440105 54423552 7432 33554432000 4194304 6211092 140723829713376 140723829710616 5250272 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 29794304 140723829715979 140723829716081 140723829716081 140723829718990 0 /proc/9549/statm: 13287 7432 877 493 0 6592 0 Current children cumulated CPU time: 2262.2 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29728 KiB [startup+2322.3 s] /proc/loadavg: 1.00 1.09 1.47 2/198 9847 /proc/meminfo: memFree=30640648/32770624 swapFree=66970244/67108860 [pid=9549] ppid=9546 vsize=53148 memory=29728 CPUtime=2322.2 cores=1,3,5,7 /proc/9549/stat : 9549 (cosoco) R 9546 9549 5549 0 -1 4202496 60610 0 0 0 232214 6 0 0 20 0 1 0 435440105 54423552 7432 33554432000 4194304 6211092 140723829713376 140723829710616 5156256 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 29794304 140723829715979 140723829716081 140723829716081 140723829718990 0 /proc/9549/statm: 13287 7432 877 493 0 6592 0 Current children cumulated CPU time: 2322.2 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29728 KiB [startup+2382.3 s] /proc/loadavg: 1.13 1.11 1.45 2/197 9851 /proc/meminfo: memFree=30641820/32770624 swapFree=66970244/67108860 [pid=9549] ppid=9546 vsize=53148 memory=29728 CPUtime=2382.2 cores=1,3,5,7 /proc/9549/stat : 9549 (cosoco) R 9546 9549 5549 0 -1 4202496 60961 0 0 0 238214 6 0 0 20 0 1 0 435440105 54423552 7432 33554432000 4194304 6211092 140723829713376 140723829710616 5250272 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 29794304 140723829715979 140723829716081 140723829716081 140723829718990 0 /proc/9549/statm: 13287 7432 877 493 0 6592 0 Current children cumulated CPU time: 2382.2 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29728 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.11 s] /proc/loadavg: 1.10 1.10 1.44 2/195 9851 /proc/meminfo: memFree=30641820/32770624 swapFree=66970244/67108860 [pid=9549] ppid=9546 vsize=53148 memory=29728 CPUtime=2400.01 cores=1,3,5,7 /proc/9549/stat : 9549 (cosoco) R 9546 9549 5549 0 -1 4202496 60961 0 0 0 239995 6 0 0 20 0 1 0 435440105 54423552 7432 33554432000 4194304 6211092 140723829713376 140723829710616 5250272 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 29794304 140723829715979 140723829716081 140723829716081 140723829718990 0 /proc/9549/statm: 13287 7432 877 493 0 6592 0 Current children cumulated CPU time: 2400.01 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29728 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2400.11 s] # the end of solver process 9549 was just reported to runsolver # cumulated CPU time of all completed processes: user=2399.95 s, system=0.061997 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.11 s] /proc/loadavg: 1.10 1.10 1.44 2/195 9851 /proc/meminfo: memFree=30641820/32770624 swapFree=66970244/67108860 [pid=9549] ppid=9546 vsize=53148 memory=29728 CPUtime=2400.01 cores=1,3,5,7 /proc/9549/stat : 9549 (cosoco) R 9546 9549 5549 0 -1 4202496 60961 0 0 0 239995 6 0 0 20 0 1 0 435440105 54423552 7432 33554432000 4194304 6211092 140723829713376 140723829710616 5250272 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 29794304 140723829715979 140723829716081 140723829716081 140723829718990 0 /proc/9549/statm: 13287 7432 877 493 0 6592 0 Current children cumulated CPU time: 2400.01 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29728 KiB Child status: 1 Real time (s): 2400.11 CPU time (s): 2400.01 CPU user time (s): 2399.95 CPU system time (s): 0.061997 CPU usage (%): 99.996 Max. virtual memory (cumulated for all children) (KiB): 53148 Max. memory (cumulated for all children) (KiB): 29728 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.95 system time used= 0.061997 maximum resident set size= 29792 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 61035 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= 24 involuntary context switches= 1480 # summary of solver processes directly reported to runsolver: # pid: 9549 # total CPU time (s): 2400.01 # total CPU user time (s): 2399.95 # total CPU system time (s): 0.061997 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.56492 second user time and 15.5977 second system time The end
Begin job on node135 at 2019-09-16 01:57:45 IDJOB=4397598 IDBENCH=141153 IDSOLVER=2849 FILE ID=node135/4397598-1568591906 RUNJOBID= node135-1568572744-5581 PBS_JOBID= 21703319 Free space on /tmp= 61368 MiB SOLVER NAME= cosoco 2.0 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-4397598-1568591906/watcher-4397598-1568591906 -o /tmp/evaluation-result-4397598-1568591906/solver-4397598-1568591906 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1568572744-5581 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397598-1568591906.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d1d7e4f351cab0858660dafd89ccc193 RANDOM SEED=163220726 node135.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.76 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.76 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.76 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.76 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: 30593400 kB MemAvailable: 31782876 kB Buffers: 190032 kB Cached: 1277336 kB SwapCached: 33156 kB Active: 665620 kB Inactive: 913044 kB Active(anon): 84520 kB Inactive(anon): 69448 kB Active(file): 581100 kB Inactive(file): 843596 kB Unevictable: 109480 kB Mlocked: 109480 kB SwapTotal: 67108860 kB SwapFree: 66970212 kB Dirty: 2796 kB Writeback: 0 kB AnonPages: 192208 kB Mapped: 43212 kB Shmem: 34312 kB Slab: 192128 kB SReclaimable: 161232 kB SUnreclaim: 30896 kB KernelStack: 3808 kB PageTables: 5376 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 608516 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 145408 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 134528 kB DirectMap2M: 33411072 kB Free space on /tmp at the end= 61368 MiB End job on node135 at 2019-09-16 02:37:46