Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2.0 | SAT (TO) | 2539538 | 2400.1 | 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.41/0.42 c 0.41/0.42 c This is cosoco 2.00 -- 0.41/0.42 c 0.41/0.42 c command line: cosoco -lc -model -restarts -stick HOME/instance-4408858-1569811475.xml 0.41/0.42 c enable optimization 0.41/0.42 c ========================================[ Problem Statistics ]=========================================== 0.41/0.42 c | 0.41/0.42 c | Parse time : 0.13 s 0.41/0.42 c | 0.41/0.42 c | Variables: 2000 0.41/0.42 c | Domain Sizes: 2..2 0.41/0.42 c | 0.41/0.42 c | Constraints: 501 0.41/0.42 c | Arity: 7..2000 0.41/0.42 c | 0.41/0.42 c | Types: 0.41/0.42 c | Sum: 501 0.41/0.42 c | 0.41/0.42 c | Objective: Maximize Sum 0.41/0.42 0.41/0.42 c ========================================================================================================= 0.41/0.42 o 0 0.41/0.42 c 1 calls to solver(id=*d): best=0 lower=0 upper=1 0.88/0.91 o 23556 1.29/1.39 o 49765 1.29/1.39 c 3 calls to solver(id=*d): best=0 lower=49765 upper=49766 1.79/1.88 o 63424 2.29/2.37 o 68182 2.29/2.37 c 5 calls to solver(id=*d): best=0 lower=68182 upper=68183 2.79/2.86 o 100602 3.29/3.34 o 130420 3.29/3.34 c 7 calls to solver(id=*d): best=0 lower=130420 upper=130421 3.79/3.83 o 134867 4.29/4.32 o 146170 4.29/4.34 c 9 calls to solver(id=*d): best=0 lower=146170 upper=146171 4.79/4.81 o 161585 5.28/5.30 o 165200 5.28/5.30 c 11 calls to solver(id=*d): best=0 lower=165200 upper=165201 5.68/5.79 o 191868 6.18/6.27 o 197955 6.18/6.28 c 13 calls to solver(id=*d): best=0 lower=197955 upper=197956 6.68/6.76 o 203973 7.18/7.25 o 226239 7.18/7.25 c 15 calls to solver(id=*d): best=0 lower=226239 upper=226240 7.69/7.74 o 230218 8.19/8.23 o 260040 8.19/8.23 c 17 calls to solver(id=*d): best=0 lower=260040 upper=260041 8.69/8.72 o 260236 9.19/9.21 o 273903 9.19/9.21 c 19 calls to solver(id=*d): best=0 lower=273903 upper=273904 9.69/9.70 o 300557 10.10/10.19 o 302434 10.10/10.19 c 21 calls to solver(id=*d): best=0 lower=302434 upper=302435 10.59/10.68 o 310848 11.10/11.17 o 318556 11.10/11.17 c 23 calls to solver(id=*d): best=0 lower=318556 upper=318557 11.59/11.66 o 320792 12.10/12.15 o 323687 12.10/12.15 c 25 calls to solver(id=*d): best=0 lower=323687 upper=323688 12.59/12.65 o 346449 13.10/13.14 o 364944 13.10/13.14 c 27 calls to solver(id=*d): best=0 lower=364944 upper=364945 13.59/13.63 o 397214 14.10/14.12 o 424986 14.10/14.12 c 29 calls to solver(id=*d): best=0 lower=424986 upper=424987 14.59/14.61 o 448632 15.00/15.11 o 452556 15.10/15.11 c 31 calls to solver(id=*d): best=0 lower=452556 upper=452557 15.59/15.60 o 454317 16.00/16.09 o 460921 16.00/16.09 c 33 calls to solver(id=*d): best=0 lower=460921 upper=460922 16.49/16.58 o 468130 17.00/17.07 o 469465 17.00/17.07 c 35 calls to solver(id=*d): best=0 lower=469465 upper=469466 17.49/17.57 o 481076 18.00/18.06 o 483301 18.00/18.06 c 37 calls to solver(id=*d): best=0 lower=483301 upper=483302 18.48/18.55 o 491536 18.99/19.04 o 496522 18.99/19.04 c 39 calls to solver(id=*d): best=0 lower=496522 upper=496523 19.49/19.53 o 503793 20.00/20.03 o 521033 20.00/20.03 c 41 calls to solver(id=*d): best=0 lower=521033 upper=521034 20.48/20.52 o 526182 20.99/21.01 o 540952 20.99/21.01 c 43 calls to solver(id=*d): best=0 lower=540952 upper=540953 21.48/21.51 o 542192 21.88/22.00 o 554170 21.88/22.00 c 45 calls to solver(id=*d): best=0 lower=554170 upper=554171 22.38/22.49 o 572825 22.88/22.99 o 583576 22.88/22.99 c 47 calls to solver(id=*d): best=0 lower=583576 upper=583577 23.38/23.48 o 592017 23.88/23.97 o 618907 23.88/23.97 c 49 calls to solver(id=*d): best=0 lower=618907 upper=618908 24.38/24.46 o 622517 24.88/24.96 o 626398 24.88/24.96 c 51 calls to solver(id=*d): best=0 lower=626398 upper=626399 25.38/25.45 o 632011 25.88/25.94 o 637902 25.88/25.94 c 53 calls to solver(id=*d): best=0 lower=637902 upper=637903 26.38/26.43 o 638831 26.88/26.93 o 668238 26.88/26.93 c 55 calls to solver(id=*d): best=0 lower=668238 upper=668239 27.39/27.42 o 682501 27.89/27.91 o 691216 27.89/27.91 c 57 calls to solver(id=*d): best=0 lower=691216 upper=691217 28.39/28.40 o 700560 28.89/28.90 o 708349 28.89/28.90 c 59 calls to solver(id=*d): best=0 lower=708349 upper=708350 29.29/29.39 o 734246 29.79/29.88 o 742520 29.79/29.88 c 61 calls to solver(id=*d): best=0 lower=742520 upper=742521 30.29/30.38 o 759139 30.79/30.87 o 764232 30.79/30.87 c 63 calls to solver(id=*d): best=0 lower=764232 upper=764233 31.29/31.36 o 766084 31.79/31.86 o 766836 31.79/31.86 c 65 calls to solver(id=*d): best=0 lower=766836 upper=766837 32.29/32.35 o 773951 32.79/32.84 o 801073 32.79/32.84 c 67 calls to solver(id=*d): best=0 lower=801073 upper=801074 33.29/33.33 o 809518 33.79/33.83 o 813469 33.79/33.83 c 69 calls to solver(id=*d): best=0 lower=813469 upper=813470 34.29/34.32 o 821758 34.79/34.81 o 828609 34.79/34.82 c 71 calls to solver(id=*d): best=0 lower=828609 upper=828610 35.29/35.31 o 837250 35.79/35.80 o 846199 35.79/35.80 c 73 calls to solver(id=*d): best=0 lower=846199 upper=846200 36.19/36.29 o 855325 36.69/36.79 o 876420 36.69/36.79 c 75 calls to solver(id=*d): best=0 lower=876420 upper=876421 37.19/37.28 o 906625 37.69/37.77 o 913823 37.69/37.77 c 77 calls to solver(id=*d): best=0 lower=913823 upper=913824 38.19/38.27 o 924612 38.69/38.76 o 926730 38.69/38.76 c 79 calls to solver(id=*d): best=0 lower=926730 upper=926731 39.19/39.25 o 954982 39.69/39.75 o 957925 39.69/39.75 c 81 calls to solver(id=*d): best=0 lower=957925 upper=957926 40.19/40.24 o 958158 40.69/40.73 o 971876 40.69/40.73 c 83 calls to solver(id=*d): best=0 lower=971876 upper=971877 41.19/41.22 o 978885 41.69/41.72 o 983830 41.69/41.72 c 85 calls to solver(id=*d): best=0 lower=983830 upper=983831 42.19/42.21 o 985087 42.69/42.70 o 985916 42.69/42.70 c 87 calls to solver(id=*d): best=0 lower=985916 upper=985917 43.19/43.20 o 987113 43.59/43.69 o 993718 43.59/43.69 c 89 calls to solver(id=*d): best=0 lower=993718 upper=993719 44.10/44.18 o 995630 44.59/44.68 o 999461 44.59/44.68 c 91 calls to solver(id=*d): best=0 lower=999461 upper=999462 45.10/45.17 o 1011427 45.59/45.66 o 1029102 45.59/45.66 c 93 calls to solver(id=*d): best=0 lower=1029102 upper=1029103 46.10/46.15 o 1036726 46.59/46.65 o 1040258 46.59/46.65 c 95 calls to solver(id=*d): best=0 lower=1040258 upper=1040259 47.10/47.14 o 1045732 47.59/47.63 o 1054064 47.59/47.63 c 97 calls to solver(id=*d): best=0 lower=1054064 upper=1054065 48.10/48.13 o 1071970 48.59/48.62 o 1073789 48.59/48.62 c 99 calls to solver(id=*d): best=0 lower=1073789 upper=1073790 49.10/49.12 o 1074807 49.59/49.61 o 1076889 49.59/49.61 c 101 calls to solver(id=*d): best=0 lower=1076889 upper=1076890 50.00/50.10 o 1089189 50.59/50.60 o 1091522 50.59/50.60 c 103 calls to solver(id=*d): best=0 lower=1091522 upper=1091523 51.00/51.09 o 1116854 51.49/51.59 o 1118712 51.49/51.59 c 105 calls to solver(id=*d): best=0 lower=1118712 upper=1118713 52.00/52.08 o 1126848 52.49/52.58 o 1131117 52.49/52.58 c 107 calls to solver(id=*d): best=0 lower=1131117 upper=1131118 53.00/53.07 o 1143976 53.49/53.57 o 1150921 53.49/53.57 c 109 calls to solver(id=*d): best=0 lower=1150921 upper=1150922 54.00/54.06 o 1152597 54.49/54.55 o 1170266 54.49/54.55 c 111 calls to solver(id=*d): best=0 lower=1170266 upper=1170267 55.00/55.05 o 1170424 55.49/55.54 o 1173210 55.49/55.55 c 113 calls to solver(id=*d): best=0 lower=1173210 upper=1173211 56.00/56.04 o 1177574 56.49/56.54 o 1186013 56.49/56.54 c 115 calls to solver(id=*d): best=0 lower=1186013 upper=1186014 57.00/57.03 o 1187606 57.49/57.53 o 1191998 57.49/57.53 c 117 calls to solver(id=*d): best=0 lower=1191998 upper=1191999 58.00/58.03 o 1196922 58.49/58.52 o 1206122 58.49/58.52 c 119 calls to solver(id=*d): best=0 lower=1206122 upper=1206123 59.00/59.02 o 1213609 59.49/59.52 o 1222608 59.49/59.52 c 121 calls to solver(id=*d): best=0 lower=1222608 upper=1222609 60.00/60.01 o 1227138 60.49/60.51 o 1234275 60.49/60.51 c 123 calls to solver(id=*d): best=0 lower=1234275 upper=1234276 60.89/61.00 o 1242441 61.49/61.50 o 1250569 61.49/61.50 c 125 calls to solver(id=*d): best=0 lower=1250569 upper=1250570 61.89/62.00 o 1259062 62.39/62.49 o 1263503 62.39/62.49 c 127 calls to solver(id=*d): best=0 lower=1263503 upper=1263504 62.89/62.99 o 1275875 63.39/63.49 o 1278404 63.39/63.49 c 129 calls to solver(id=*d): best=0 lower=1278404 upper=1278405 63.89/63.99 o 1286697 64.39/64.48 o 1296415 64.39/64.48 c 131 calls to solver(id=*d): best=0 lower=1296415 upper=1296416 64.89/64.98 o 1308340 65.39/65.47 o 1310446 65.39/65.48 c 133 calls to solver(id=*d): best=0 lower=1310446 upper=1310447 65.89/65.97 o 1316949 66.39/66.47 o 1333633 66.39/66.47 c 135 calls to solver(id=*d): best=0 lower=1333633 upper=1333634 66.89/66.96 o 1335706 67.39/67.46 o 1341027 67.39/67.46 c 137 calls to solver(id=*d): best=0 lower=1341027 upper=1341028 67.89/67.96 o 1345245 68.39/68.45 o 1353245 68.39/68.45 c 139 calls to solver(id=*d): best=0 lower=1353245 upper=1353246 68.89/68.95 o 1356138 69.39/69.45 o 1367345 69.39/69.45 c 141 calls to solver(id=*d): best=0 lower=1367345 upper=1367346 69.89/69.94 o 1374716 70.39/70.44 o 1377170 70.39/70.44 c 143 calls to solver(id=*d): best=0 lower=1377170 upper=1377171 70.89/70.93 o 1388702 71.39/71.43 o 1403548 71.39/71.43 c 145 calls to solver(id=*d): best=0 lower=1403548 upper=1403549 71.89/71.93 o 1426893 72.39/72.42 o 1430774 72.39/72.42 c 147 calls to solver(id=*d): best=0 lower=1430774 upper=1430775 72.89/72.92 o 1432150 73.39/73.42 o 1444533 73.39/73.42 c 149 calls to solver(id=*d): best=0 lower=1444533 upper=1444534 73.89/73.91 o 1453839 74.39/74.41 o 1455752 74.39/74.41 c 151 calls to solver(id=*d): best=0 lower=1455752 upper=1455753 74.89/74.90 o 1465569 75.39/75.40 o 1487612 75.39/75.40 c 153 calls to solver(id=*d): best=0 lower=1487612 upper=1487613 75.89/75.90 o 1495832 76.29/76.39 o 1500544 76.29/76.39 c 155 calls to solver(id=*d): best=0 lower=1500544 upper=1500545 76.79/76.89 o 1509987 77.29/77.39 o 1519277 77.29/77.39 c 157 calls to solver(id=*d): best=0 lower=1519277 upper=1519278 77.79/77.88 o 1527783 78.29/78.38 o 1537735 78.29/78.38 c 159 calls to solver(id=*d): best=0 lower=1537735 upper=1537736 78.78/78.88 o 1537815 79.28/79.37 o 1539208 79.28/79.38 c 161 calls to solver(id=*d): best=0 lower=1539208 upper=1539209 79.78/79.87 o 1543417 80.29/80.37 o 1552106 80.29/80.37 c 163 calls to solver(id=*d): best=0 lower=1552106 upper=1552107 80.78/80.86 o 1554299 81.28/81.36 o 1563083 81.28/81.36 c 165 calls to solver(id=*d): best=0 lower=1563083 upper=1563084 81.78/81.86 o 1579297 82.28/82.35 o 1582119 82.28/82.35 c 167 calls to solver(id=*d): best=0 lower=1582119 upper=1582120 82.78/82.85 o 1583958 83.28/83.35 o 1599915 83.28/83.35 c 169 calls to solver(id=*d): best=0 lower=1599915 upper=1599916 83.78/83.84 o 1607843 84.28/84.34 o 1613519 84.28/84.34 c 171 calls to solver(id=*d): best=0 lower=1613519 upper=1613520 84.78/84.84 o 1616250 85.28/85.33 o 1625073 85.28/85.34 c 173 calls to solver(id=*d): best=0 lower=1625073 upper=1625074 85.78/85.83 o 1634675 86.28/86.33 o 1640664 86.28/86.33 c 175 calls to solver(id=*d): best=0 lower=1640664 upper=1640665 86.78/86.83 o 1644886 87.28/87.32 o 1654084 87.28/87.32 c 177 calls to solver(id=*d): best=0 lower=1654084 upper=1654085 87.78/87.82 o 1659301 88.28/88.32 o 1660722 88.28/88.32 c 179 calls to solver(id=*d): best=0 lower=1660722 upper=1660723 88.78/88.82 o 1667622 89.28/89.31 o 1670442 89.28/89.31 c 181 calls to solver(id=*d): best=0 lower=1670442 upper=1670443 89.78/89.81 o 1679226 90.28/90.31 o 1688975 90.28/90.31 c 183 calls to solver(id=*d): best=0 lower=1688975 upper=1688976 90.78/90.80 o 1693580 91.28/91.30 o 1697670 91.28/91.30 c 185 calls to solver(id=*d): best=0 lower=1697670 upper=1697671 91.78/91.80 o 1706834 92.28/92.30 o 1711439 92.28/92.30 c 187 calls to solver(id=*d): best=0 lower=1711439 upper=1711440 92.68/92.79 o 1713633 93.18/93.29 o 1717727 93.18/93.29 c 189 calls to solver(id=*d): best=0 lower=1717727 upper=1717728 93.68/93.76 o 1728952 94.18/94.24 o 1733072 94.18/94.24 c 191 calls to solver(id=*d): best=0 lower=1733072 upper=1733073 94.68/94.72 o 1739757 95.09/95.20 o 1740719 95.18/95.20 c 193 calls to solver(id=*d): best=0 lower=1740719 upper=1740720 95.58/95.67 o 1745931 96.09/96.15 o 1755269 96.09/96.15 c 195 calls to solver(id=*d): best=0 lower=1755269 upper=1755270 96.58/96.63 o 1756688 96.99/97.10 o 1758445 96.99/97.10 c 197 calls to solver(id=*d): best=0 lower=1758445 upper=1758446 97.48/97.58 o 1763609 97.99/98.06 o 1763767 97.99/98.06 c 199 calls to solver(id=*d): best=0 lower=1763767 upper=1763768 98.48/98.54 o 1766753 98.99/99.02 o 1766809 98.99/99.02 c 201 calls to solver(id=*d): best=0 lower=1766809 upper=1766810 99.38/99.49 o 1776163 99.88/99.97 o 1781151 99.88/99.97 c 203 calls to solver(id=*d): best=0 lower=1781151 upper=1781152 100.38/100.45 o 1782448 100.88/100.92 o 1788549 100.88/100.92 c 205 calls to solver(id=*d): best=0 lower=1788549 upper=1788550 101.38/101.40 o 1794516 101.78/101.88 o 1801738 101.78/101.88 c 207 calls to solver(id=*d): best=0 lower=1801738 upper=1801739 102.28/102.35 o 1812963 102.78/102.83 o 1817500 102.78/102.83 c 209 calls to solver(id=*d): best=0 lower=1817500 upper=1817501 103.28/103.31 o 1820756 103.67/103.79 o 1822794 103.67/103.79 c 211 calls to solver(id=*d): best=0 lower=1822794 upper=1822795 104.17/104.27 o 1835576 104.67/104.74 o 1847807 104.67/104.74 c 213 calls to solver(id=*d): best=0 lower=1847807 upper=1847808 105.17/105.22 o 1857611 105.67/105.70 o 1860389 105.67/105.70 c 215 calls to solver(id=*d): best=0 lower=1860389 upper=1860390 106.08/106.17 o 1863223 106.57/106.65 o 1880326 106.57/106.65 c 217 calls to solver(id=*d): best=0 lower=1880326 upper=1880327 107.08/107.13 o 1887267 107.57/107.60 o 1887737 107.57/107.60 c 219 calls to solver(id=*d): best=0 lower=1887737 upper=1887738 107.98/108.08 o 1888686 108.47/108.56 o 1890384 108.47/108.56 c 221 calls to solver(id=*d): best=0 lower=1890384 upper=1890385 108.98/109.03 o 1893218 109.47/109.51 o 1893970 109.47/109.51 c 223 calls to solver(id=*d): best=0 lower=1893970 upper=1893971 109.87/109.99 o 1900845 110.37/110.47 o 1901699 110.37/110.47 c 225 calls to solver(id=*d): best=0 lower=1901699 upper=1901700 110.87/110.95 o 1906561 111.37/111.43 o 1909249 111.37/111.43 c 227 calls to solver(id=*d): best=0 lower=1909249 upper=1909250 111.87/111.90 o 1917902 112.27/112.38 o 1921028 112.27/112.38 c 229 calls to solver(id=*d): best=0 lower=1921028 upper=1921029 112.77/112.85 o 1933460 113.27/113.33 o 1934091 113.27/113.33 c 231 calls to solver(id=*d): best=0 lower=1934091 upper=1934092 113.77/113.81 o 1936402 114.17/114.28 o 1941063 114.17/114.28 c 233 calls to solver(id=*d): best=0 lower=1941063 upper=1941064 114.67/114.76 o 1941824 115.17/115.23 o 1947939 115.17/115.23 c 235 calls to solver(id=*d): best=0 lower=1947939 upper=1947940 115.67/115.71 o 1949431 116.08/116.18 o 1955836 116.08/116.19 c 237 calls to solver(id=*d): best=0 lower=1955836 upper=1955837 116.57/116.66 o 1964506 117.08/117.14 o 1972430 117.08/117.14 c 239 calls to solver(id=*d): best=0 lower=1972430 upper=1972431 117.57/117.62 o 1972767 117.98/118.09 o 1977998 117.98/118.09 c 241 calls to solver(id=*d): best=0 lower=1977998 upper=1977999 118.47/118.57 o 1978750 118.98/119.05 o 1987874 118.98/119.05 c 243 calls to solver(id=*d): best=0 lower=1987874 upper=1987875 119.47/119.53 o 1987905 119.87/120.00 o 1988536 119.87/120.00 c 245 calls to solver(id=*d): best=0 lower=1988536 upper=1988537 120.37/120.48 o 1992165 120.87/120.97 o 1993646 120.87/120.97 c 247 calls to solver(id=*d): best=0 lower=1993646 upper=1993647 121.37/121.44 o 1993842 121.87/121.92 o 1995099 121.87/121.92 c 249 calls to solver(id=*d): best=0 lower=1995099 upper=1995100 122.27/122.40 o 1997217 122.77/122.87 o 1998220 122.77/122.87 c 251 calls to solver(id=*d): best=0 lower=1998220 upper=1998221 123.27/123.35 o 2006983 123.77/123.82 o 2011178 123.77/123.82 c 253 calls to solver(id=*d): best=0 lower=2011178 upper=2011179 124.27/124.30 o 2018709 124.67/124.78 o 2026244 124.67/124.78 c 255 calls to solver(id=*d): best=0 lower=2026244 upper=2026245 125.17/125.26 o 2029999 125.67/125.73 o 2030948 125.67/125.73 c 257 calls to solver(id=*d): best=0 lower=2030948 upper=2030949 126.17/126.21 o 2036671 126.57/126.69 o 2038368 126.57/126.69 c 259 calls to solver(id=*d): best=0 lower=2038368 upper=2038369 127.08/127.17 o 2041503 127.57/127.64 o 2041789 127.57/127.64 c 261 calls to solver(id=*d): best=0 lower=2041789 upper=2041790 128.08/128.12 o 2057643 128.47/128.60 o 2059673 128.57/128.60 c 263 calls to solver(id=*d): best=0 lower=2059673 upper=2059674 128.98/129.07 o 2075880 129.47/129.55 o 2082756 129.47/129.55 c 265 calls to solver(id=*d): best=0 lower=2082756 upper=2082757 129.98/130.03 o 2089493 130.47/130.50 o 2100861 130.47/130.51 c 267 calls to solver(id=*d): best=0 lower=2100861 upper=2100862 130.87/130.98 o 2114952 131.37/131.46 o 2118949 131.37/131.46 c 269 calls to solver(id=*d): best=0 lower=2118949 upper=2118950 132.27/132.39 o 2119845 133.27/133.34 o 2130468 133.27/133.34 c 271 calls to solver(id=*d): best=0 lower=2130468 upper=2130469 134.17/134.27 o 2134465 135.17/135.21 o 2137630 135.17/135.21 c 273 calls to solver(id=*d): best=0 lower=2137630 upper=2137631 135.57/135.69 o 2141267 136.57/136.63 o 2142265 136.57/136.63 c 275 calls to solver(id=*d): best=0 lower=2142265 upper=2142266 137.47/137.56 o 2143600 137.98/138.04 o 2146840 137.98/138.04 c 277 calls to solver(id=*d): best=0 lower=2146840 upper=2146841 138.47/138.52 o 2150272 139.37/139.46 o 2162674 139.37/139.46 c 279 calls to solver(id=*d): best=0 lower=2162674 upper=2162675 139.87/139.93 o 2163130 140.77/140.87 o 2172051 140.77/140.87 c 281 calls to solver(id=*d): best=0 lower=2172051 upper=2172052 141.77/141.81 o 2172723 142.17/142.28 o 2173192 142.17/142.28 c 283 calls to solver(id=*d): best=0 lower=2173192 upper=2173193 142.67/142.76 o 2177508 143.57/143.69 o 2179390 143.57/143.69 c 285 calls to solver(id=*d): best=0 lower=2179390 upper=2179391 144.08/144.17 o 2182176 144.57/144.64 o 2187144 144.57/144.65 c 287 calls to solver(id=*d): best=0 lower=2187144 upper=2187145 145.47/145.58 o 2192044 146.47/146.52 o 2199350 146.47/146.52 c 289 calls to solver(id=*d): best=0 lower=2199350 upper=2199351 147.37/147.45 o 2203979 147.87/147.93 o 2213300 147.87/147.93 c 291 calls to solver(id=*d): best=0 lower=2213300 upper=2213301 148.77/148.86 o 2214051 149.77/149.80 o 2223857 149.77/149.80 c 293 calls to solver(id=*d): best=0 lower=2223857 upper=2223858 150.67/150.74 o 2226081 151.17/151.21 o 2227099 151.17/151.21 c 295 calls to solver(id=*d): best=0 lower=2227099 upper=2227100 152.08/152.15 o 2242524 152.98/153.08 o 2254348 152.98/153.08 c 297 calls to solver(id=*d): best=0 lower=2254348 upper=2254349 153.98/154.01 o 2263698 154.37/154.49 o 2263839 154.37/154.49 c 299 calls to solver(id=*d): best=0 lower=2263839 upper=2263840 155.37/155.42 o 2265446 156.27/156.36 o 2279224 156.27/156.36 c 301 calls to solver(id=*d): best=0 lower=2279224 upper=2279225 157.27/157.30 o 2279437 158.17/158.24 o 2280830 158.17/158.24 c 303 calls to solver(id=*d): best=0 lower=2280830 upper=2280831 158.67/158.71 o 2290155 159.08/159.19 o 2293549 159.08/159.19 c 305 calls to solver(id=*d): best=0 lower=2293549 upper=2293550 160.08/160.12 o 2301120 160.98/161.05 o 2302579 160.98/161.05 c 307 calls to solver(id=*d): best=0 lower=2302579 upper=2302580 161.87/161.99 o 2307987 162.87/162.92 o 2308613 162.87/162.92 c 309 calls to solver(id=*d): best=0 lower=2308613 upper=2308614 163.27/163.39 o 2310641 164.27/164.33 o 2330447 164.27/164.33 c 311 calls to solver(id=*d): best=0 lower=2330447 upper=2330448 164.77/164.80 o 2331599 165.17/165.28 o 2333443 165.17/165.28 c 313 calls to solver(id=*d): best=0 lower=2333443 upper=2333444 165.67/165.75 o 2337805 166.57/166.68 o 2342925 166.57/166.69 c 315 calls to solver(id=*d): best=0 lower=2342925 upper=2342926 167.57/167.62 o 2345510 168.47/168.55 o 2352468 168.47/168.55 c 317 calls to solver(id=*d): best=0 lower=2352468 upper=2352469 169.37/169.48 o 2358922 170.37/170.41 o 2362251 170.37/170.41 c 319 calls to solver(id=*d): best=0 lower=2362251 upper=2362252 171.27/171.34 o 2362381 172.27/172.31 o 2362495 172.27/172.31 c 321 calls to solver(id=*d): best=0 lower=2362495 upper=2362496 172.67/172.78 o 2379664 173.67/173.72 o 2380809 173.67/173.72 c 323 calls to solver(id=*d): best=0 lower=2380809 upper=2380810 174.57/174.66 o 2381209 175.47/175.59 o 2390104 175.47/175.59 c 325 calls to solver(id=*d): best=0 lower=2390104 upper=2390105 176.47/176.53 o 2392974 176.87/177.00 o 2393260 176.87/177.00 c 327 calls to solver(id=*d): best=0 lower=2393260 upper=2393261 177.37/177.48 o 2397486 178.37/178.41 o 2405334 178.37/178.41 c 329 calls to solver(id=*d): best=0 lower=2405334 upper=2405335 179.27/179.34 o 2416049 180.17/180.28 o 2421404 180.17/180.28 c 331 calls to solver(id=*d): best=0 lower=2421404 upper=2421405 181.57/181.67 o 2429665 182.98/183.08 o 2431441 182.98/183.08 c 333 calls to solver(id=*d): best=0 lower=2431441 upper=2431442 183.98/184.01 o 2436491 185.37/185.40 o 2442384 185.37/185.40 c 335 calls to solver(id=*d): best=0 lower=2442384 upper=2442385 186.67/186.79 o 2443209 187.17/187.26 o 2447065 187.17/187.26 c 337 calls to solver(id=*d): best=0 lower=2447065 upper=2447066 188.08/188.20 o 2458998 189.47/189.59 o 2462115 189.47/189.59 c 339 calls to solver(id=*d): best=0 lower=2462115 upper=2462116 189.98/190.06 o 2464358 191.37/191.45 o 2478149 191.37/191.45 c 341 calls to solver(id=*d): best=0 lower=2478149 upper=2478150 192.27/192.38 o 2478768 192.77/192.86 o 2479949 192.77/192.86 c 343 calls to solver(id=*d): best=0 lower=2479949 upper=2479950 194.17/194.25 o 2482701 194.67/194.72 o 2482917 194.67/194.72 c 345 calls to solver(id=*d): best=0 lower=2482917 upper=2482918 195.17/195.20 o 2485694 195.57/195.67 o 2486735 195.57/195.67 c 347 calls to solver(id=*d): best=0 lower=2486735 upper=2486736 196.08/196.15 o 2494970 196.57/196.63 o 2498795 196.57/196.63 c 349 calls to solver(id=*d): best=0 lower=2498795 upper=2498796 197.98/198.01 o 2500571 198.37/198.49 o 2521572 198.37/198.49 c 351 calls to solver(id=*d): best=0 lower=2521572 upper=2521573 198.87/198.96 o 2528007 200.27/200.35 o 2532295 200.27/200.35 c 353 calls to solver(id=*d): best=0 lower=2532295 upper=2532296 201.67/201.74 o 2538842 202.17/202.22 o 2539538 202.17/202.22 c 355 calls to solver(id=*d): best=0 lower=2539538 upper=2539539 2400.09/2400.11 2400.09/2400.11 c *** INTERRUPTED *** 2400.09/2400.11 c call to solver : 355 2400.09/2400.11 c 2400.09/2400.11 c restarts : 140 2400.09/2400.11 c conflicts : 1271505 (530 /sec) 2400.09/2400.11 c decisions : 9189338 (3829 /sec) 2400.09/2400.11 c propagations : 320464554 (133524 /sec) 2400.09/2400.11 c root propagations : 2000 2400.09/2400.11 c filter calls : 70799555 (29499 /sec) 2400.09/2400.11 c useless filter calls : 48509106 (68 %) 2400.09/2400.11 c Memory used : 51.91 MB 2400.09/2400.11 c Best bound time (wc) : 202.219 s 2400.09/2400.11 c CPU time : 2400.05 s 2400.09/2400.11 c real time : 2400.11 s 2400.09/2400.11 2400.09/2400.11 c nb Solutions = 355 2400.09/2400.11 s SATISFIABLE 2400.09/2400.11 c Best value found: 2539538 2400.09/2400.11 2400.09/2400.11 2400.09/2400.11 v <instantiation type='solution' cost='2539538'> 2400.09/2400.11 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.11 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.11 v </instantiation> 2400.09/2400.11
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: 16375 MiB (15057 MiB free) memory of node 1: 16384 MiB (15327 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408858-1569811475/watcher-4408858-1569811475 -o /tmp/evaluation-result-4408858-1569811475/solver-4408858-1569811475 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569787351-26364 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408858-1569811475.xml running on 4 cores: 4-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=32557, runsolver pid=32554 [startup+0.100157 s]* /proc/loadavg: 2.01 2.02 2.05 3/199 32558 /proc/meminfo: memFree=31108716/32770688 swapFree=67001380/67108860 [pid=32557] ppid=32554 vsize=33232 memory=9516 CPUtime=0.1 cores=4-7 /proc/32557/stat : 32557 (cosoco) R 32554 32557 26332 0 -1 4202496 2595 0 0 0 10 0 0 0 20 0 1 0 557089038 34029568 2379 33554432000 4194304 6211132 140727861703584 140727861700120 5753506 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16363520 140727861711883 140727861711985 140727861711985 140727861714894 0 /proc/32557/statm: 8308 2379 837 493 0 1613 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 33232 KiB Current children cumulated memory: 9516 KiB [startup+0.210816 s]* /proc/loadavg: 2.01 2.02 2.05 3/199 32558 /proc/meminfo: memFree=31108344/32770688 swapFree=67001380/67108860 [pid=32557] ppid=32554 vsize=33768 memory=10304 CPUtime=0.21 cores=4-7 /proc/32557/stat : 32557 (cosoco) R 32554 32557 26332 0 -1 4202496 2770 0 0 0 21 0 0 0 20 0 1 0 557089038 34578432 2576 33554432000 4194304 6211132 140727861703584 140727861700120 139669024504805 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16363520 140727861711883 140727861711985 140727861711985 140727861714894 0 /proc/32557/statm: 8442 2576 876 493 0 1747 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 33768 KiB Current children cumulated memory: 10304 KiB [startup+0.310116 s]* /proc/loadavg: 2.01 2.02 2.05 4/199 32558 /proc/meminfo: memFree=31106484/32770688 swapFree=67001380/67108860 [pid=32557] ppid=32554 vsize=36152 memory=12680 CPUtime=0.31 cores=4-7 /proc/32557/stat : 32557 (cosoco) R 32554 32557 26332 0 -1 4202496 3356 0 0 0 31 0 0 0 20 0 1 0 557089038 37019648 3170 33554432000 4194304 6211132 140727861703584 140727861701144 5250304 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16363520 140727861711883 140727861711985 140727861711985 140727861714894 0 /proc/32557/statm: 9038 3170 876 493 0 2343 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 36152 KiB Current children cumulated memory: 12680 KiB [startup+0.700297 s] /proc/loadavg: 2.01 2.02 2.05 3/199 32558 /proc/meminfo: memFree=31100624/32770688 swapFree=67001380/67108860 [pid=32557] ppid=32554 vsize=42548 memory=19016 CPUtime=0.69 cores=4-7 /proc/32557/stat : 32557 (cosoco) R 32554 32557 26332 0 -1 4202496 4960 0 0 0 69 0 0 0 20 0 1 0 557089038 43569152 4754 33554432000 4194304 6211132 140727861703584 140727861701144 5156497 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16363520 140727861711883 140727861711985 140727861711985 140727861714894 0 /proc/32557/statm: 10637 4754 877 493 0 3942 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 42548 KiB Current children cumulated memory: 19016 KiB [startup+1.50031 s] /proc/loadavg: 2.01 2.02 2.05 3/199 32558 /proc/meminfo: memFree=31095044/32770688 swapFree=67001380/67108860 [pid=32557] ppid=32554 vsize=48456 memory=24824 CPUtime=1.49 cores=4-7 /proc/32557/stat : 32557 (cosoco) R 32554 32557 26332 0 -1 4202496 6421 0 0 0 148 1 0 0 20 0 1 0 557089038 49618944 6206 33554432000 4194304 6211132 140727861703584 140727861701144 5155377 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16363520 140727861711883 140727861711985 140727861711985 140727861714894 0 /proc/32557/statm: 12114 6206 877 493 0 5419 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 48456 KiB Current children cumulated memory: 24824 KiB [startup+3.11036 s] /proc/loadavg: 2.01 2.02 2.05 3/199 32558 /proc/meminfo: memFree=31093928/32770688 swapFree=67001380/67108860 [pid=32557] ppid=32554 vsize=48456 memory=25060 CPUtime=3.1 cores=4-7 /proc/32557/stat : 32557 (cosoco) R 32554 32557 26332 0 -1 4202496 10268 0 0 0 309 1 0 0 20 0 1 0 557089038 49618944 6265 33554432000 4194304 6211132 140727861703584 140727861701720 5250256 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16363520 140727861711883 140727861711985 140727861711985 140727861714894 0 /proc/32557/statm: 12114 6265 877 493 0 5419 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 48456 KiB Current children cumulated memory: 25060 KiB [startup+6.30029 s] /proc/loadavg: 2.01 2.02 2.05 3/199 32558 /proc/meminfo: memFree=31094424/32770688 swapFree=67001380/67108860 [pid=32557] ppid=32554 vsize=48456 memory=25060 CPUtime=6.28 cores=4-7 /proc/32557/stat : 32557 (cosoco) R 32554 32557 26332 0 -1 4202496 14308 0 0 0 627 1 0 0 20 0 1 0 557089038 49618944 6265 33554432000 4194304 6211132 140727861703584 140727861691464 5250321 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16363520 140727861711883 140727861711985 140727861711985 140727861714894 0 /proc/32557/statm: 12114 6265 877 493 0 5419 0 Current children cumulated CPU time: 6.28 s Current children cumulated vsize: 48456 KiB Current children cumulated memory: 25060 KiB [startup+12.7003 s] /proc/loadavg: 2.01 2.02 2.05 3/199 32558 /proc/meminfo: memFree=31093684/32770688 swapFree=67001380/67108860 [pid=32557] ppid=32554 vsize=48856 memory=25512 CPUtime=12.69 cores=4-7 /proc/32557/stat : 32557 (cosoco) R 32554 32557 26332 0 -1 4202496 22234 0 0 0 1267 2 0 0 20 0 1 0 557089038 50028544 6378 33554432000 4194304 6211132 140727861703584 140727861691464 5250482 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16363520 140727861711883 140727861711985 140727861711985 140727861714894 0 /proc/32557/statm: 12214 6378 877 493 0 5519 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 48856 KiB Current children cumulated memory: 25512 KiB [startup+25.5003 s] /proc/loadavg: 2.00 2.01 2.05 3/199 32559 /proc/meminfo: memFree=31091360/32770688 swapFree=67001380/67108860 [pid=32557] ppid=32554 vsize=50204 memory=26816 CPUtime=25.48 cores=4-7 /proc/32557/stat : 32557 (cosoco) R 32554 32557 26332 0 -1 4202496 27499 0 0 0 2546 2 0 0 20 0 1 0 557089038 51408896 6704 33554432000 4194304 6211132 140727861703584 140727861691464 5156492 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16363520 140727861711883 140727861711985 140727861711985 140727861714894 0 /proc/32557/statm: 12551 6704 877 493 0 5856 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 50204 KiB Current children cumulated memory: 26816 KiB [startup+51.1103 s] /proc/loadavg: 2.00 2.01 2.05 3/199 32561 /proc/meminfo: memFree=31089824/32770688 swapFree=67001380/67108860 [pid=32557] ppid=32554 vsize=51136 memory=27680 CPUtime=51.1 cores=4-7 /proc/32557/stat : 32557 (cosoco) R 32554 32557 26332 0 -1 4202496 32780 0 0 0 5107 3 0 0 20 0 1 0 557089038 52363264 6920 33554432000 4194304 6211132 140727861703584 140727861701720 5397258 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16363520 140727861711883 140727861711985 140727861711985 140727861714894 0 /proc/32557/statm: 12784 6920 877 493 0 6089 0 Current children cumulated CPU time: 51.1 s Current children cumulated vsize: 51136 KiB Current children cumulated memory: 27680 KiB [startup+102.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 32565 /proc/meminfo: memFree=31082496/32770688 swapFree=67001380/67108860 [pid=32557] ppid=32554 vsize=52084 memory=28676 CPUtime=102.28 cores=4-7 /proc/32557/stat : 32557 (cosoco) R 32554 32557 26332 0 -1 4202496 42740 0 0 0 10225 3 0 0 20 0 1 0 557089038 53334016 7169 33554432000 4194304 6211132 140727861703584 140727861701720 5156288 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16363520 140727861711883 140727861711985 140727861711985 140727861714894 0 /proc/32557/statm: 13021 7169 877 493 0 6326 0 Current children cumulated CPU time: 102.28 s Current children cumulated vsize: 52084 KiB Current children cumulated memory: 28676 KiB [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 32569 /proc/meminfo: memFree=31081308/32770688 swapFree=67001380/67108860 [pid=32557] ppid=32554 vsize=52752 memory=29308 CPUtime=162.27 cores=4-7 /proc/32557/stat : 32557 (cosoco) R 32554 32557 26332 0 -1 4202496 43120 0 0 0 16224 3 0 0 20 0 1 0 557089038 54018048 7327 33554432000 4194304 6211132 140727861703584 140727861691464 5156288 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16363520 140727861711883 140727861711985 140727861711985 140727861714894 0 /proc/32557/statm: 13188 7327 877 493 0 6493 0 Current children cumulated CPU time: 162.27 s Current children cumulated vsize: 52752 KiB Current children cumulated memory: 29308 KiB [startup+222.3 s] /proc/loadavg: 1.92 1.99 2.03 3/200 32635 /proc/meminfo: memFree=31456276/32770688 swapFree=67001380/67108860 [pid=32557] ppid=32554 vsize=53016 memory=29580 CPUtime=222.27 cores=4-7 /proc/32557/stat : 32557 (cosoco) R 32554 32557 26332 0 -1 4202496 43462 0 0 0 22224 3 0 0 20 0 1 0 557089038 54288384 7395 33554432000 4194304 6211132 140727861703584 140727861700984 5156472 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16363520 140727861711883 140727861711985 140727861711985 140727861714894 0 /proc/32557/statm: 13254 7395 877 493 0 6559 0 Current children cumulated CPU time: 222.27 s Current children cumulated vsize: 53016 KiB Current children cumulated memory: 29580 KiB [startup+282.3 s] /proc/loadavg: 1.97 1.99 2.03 3/199 32639 /proc/meminfo: memFree=31455844/32770688 swapFree=67001380/67108860 [pid=32557] ppid=32554 vsize=53148 memory=29712 CPUtime=282.26 cores=4-7 /proc/32557/stat : 32557 (cosoco) R 32554 32557 26332 0 -1 4202496 43645 0 0 0 28223 3 0 0 20 0 1 0 557089038 54423552 7428 33554432000 4194304 6211132 140727861703584 140727861700824 5250256 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16363520 140727861711883 140727861711985 140727861711985 140727861714894 0 /proc/32557/statm: 13287 7428 877 493 0 6592 0 Current children cumulated CPU time: 282.26 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29712 KiB [startup+342.3 s] /proc/loadavg: 1.99 1.99 2.03 3/199 32643 /proc/meminfo: memFree=31455976/32770688 swapFree=67001380/67108860 [pid=32557] ppid=32554 vsize=53148 memory=29732 CPUtime=342.26 cores=4-7 /proc/32557/stat : 32557 (cosoco) R 32554 32557 26332 0 -1 4202496 43812 0 0 0 34223 3 0 0 20 0 1 0 557089038 54423552 7433 33554432000 4194304 6211132 140727861703584 140727861700824 5250482 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16363520 140727861711883 140727861711985 140727861711985 140727861714894 0 /proc/32557/statm: 13287 7433 877 493 0 6592 0 Current children cumulated CPU time: 342.26 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29732 KiB [startup+402.3 s] /proc/loadavg: 2.00 1.99 2.03 3/201 32657 /proc/meminfo: memFree=31455192/32770688 swapFree=67001380/67108860 [pid=32557] ppid=32554 vsize=53148 memory=29732 CPUtime=402.25 cores=4-7 /proc/32557/stat : 32557 (cosoco) R 32554 32557 26332 0 -1 4202496 43985 0 0 0 40222 3 0 0 20 0 1 0 557089038 54423552 7433 33554432000 4194304 6211132 140727861703584 140727861700824 5155385 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16363520 140727861711883 140727861711985 140727861711985 140727861714894 0 /proc/32557/statm: 13287 7433 877 493 0 6592 0 Current children cumulated CPU time: 402.25 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29732 KiB [startup+462.3 s] /proc/loadavg: 2.00 1.99 2.03 3/200 32661 /proc/meminfo: memFree=31455300/32770688 swapFree=67001380/67108860 [pid=32557] ppid=32554 vsize=53148 memory=29732 CPUtime=462.25 cores=4-7 /proc/32557/stat : 32557 (cosoco) R 32554 32557 26332 0 -1 4202496 44154 0 0 0 46222 3 0 0 20 0 1 0 557089038 54423552 7433 33554432000 4194304 6211132 140727861703584 140727861700824 5156508 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 16363520 140727861711883 140727861711985 140727861711985 140727861714894 0 /proc/32557/statm: 13287 7433 877 493 0 6592 0 Current children cumulated CPU time: 462.25 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29732 KiB ################ # More data... # ################ /proc/32557/statm: 13287 7433 877 493 0 6592 0 Current children cumulated CPU time: 1662.22 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29732 KiB [startup+1722.3 s] /proc/loadavg: 1.00 1.15 1.56 2/193 381 /proc/meminfo: memFree=31461240/32770688 swapFree=67001380/67108860 [pid=32557] ppid=32554 vsize=53148 memory=29732 CPUtime=1722.22 cores=4-7 /proc/32557/stat : 32557 (cosoco) R 32554 32557 26332 0 -1 4202496 46525 0 0 0 172218 4 0 0 20 0 1 0 557089038 54423552 7433 33554432000 4194304 6211132 140727861703584 140727861700824 5155687 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 16363520 140727861711883 140727861711985 140727861711985 140727861714894 0 /proc/32557/statm: 13287 7433 877 493 0 6592 0 Current children cumulated CPU time: 1722.22 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29732 KiB [startup+1782.3 s] /proc/loadavg: 1.00 1.12 1.53 2/193 385 /proc/meminfo: memFree=31461296/32770688 swapFree=67001380/67108860 [pid=32557] ppid=32554 vsize=53148 memory=29732 CPUtime=1782.23 cores=4-7 /proc/32557/stat : 32557 (cosoco) R 32554 32557 26332 0 -1 4202496 46526 0 0 0 178219 4 0 0 20 0 1 0 557089038 54423552 7433 33554432000 4194304 6211132 140727861703584 140727861700824 5250499 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 16363520 140727861711883 140727861711985 140727861711985 140727861714894 0 /proc/32557/statm: 13287 7433 877 493 0 6592 0 Current children cumulated CPU time: 1782.23 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29732 KiB [startup+1842.3 s] /proc/loadavg: 1.00 1.10 1.49 2/194 391 /proc/meminfo: memFree=31460728/32770688 swapFree=67001380/67108860 [pid=32557] ppid=32554 vsize=53148 memory=29732 CPUtime=1842.23 cores=4-7 /proc/32557/stat : 32557 (cosoco) R 32554 32557 26332 0 -1 4202496 46674 0 0 0 184219 4 0 0 20 0 1 0 557089038 54423552 7433 33554432000 4194304 6211132 140727861703584 140727861700824 5250304 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 16363520 140727861711883 140727861711985 140727861711985 140727861714894 0 /proc/32557/statm: 13287 7433 877 493 0 6592 0 Current children cumulated CPU time: 1842.23 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29732 KiB [startup+1902.3 s] /proc/loadavg: 1.00 1.08 1.46 2/192 395 /proc/meminfo: memFree=31461112/32770688 swapFree=67001380/67108860 [pid=32557] ppid=32554 vsize=53148 memory=29732 CPUtime=1902.25 cores=4-7 /proc/32557/stat : 32557 (cosoco) R 32554 32557 26332 0 -1 4202496 46674 0 0 0 190220 5 0 0 20 0 1 0 557089038 54423552 7433 33554432000 4194304 6211132 140727861703584 140727861700824 5156288 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 16363520 140727861711883 140727861711985 140727861711985 140727861714894 0 /proc/32557/statm: 13287 7433 877 493 0 6592 0 Current children cumulated CPU time: 1902.25 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29732 KiB [startup+1962.3 s] /proc/loadavg: 1.00 1.07 1.44 2/192 399 /proc/meminfo: memFree=31462040/32770688 swapFree=67001380/67108860 [pid=32557] ppid=32554 vsize=53148 memory=29732 CPUtime=1962.25 cores=4-7 /proc/32557/stat : 32557 (cosoco) R 32554 32557 26332 0 -1 4202496 46724 0 0 0 196220 5 0 0 20 0 1 0 557089038 54423552 7433 33554432000 4194304 6211132 140727861703584 140727861700824 5156523 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 16363520 140727861711883 140727861711985 140727861711985 140727861714894 0 /proc/32557/statm: 13287 7433 877 493 0 6592 0 Current children cumulated CPU time: 1962.25 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29732 KiB [startup+2022.3 s] /proc/loadavg: 1.00 1.05 1.41 2/193 405 /proc/meminfo: memFree=31460804/32770688 swapFree=67001380/67108860 [pid=32557] ppid=32554 vsize=53148 memory=29732 CPUtime=2022.25 cores=4-7 /proc/32557/stat : 32557 (cosoco) R 32554 32557 26332 0 -1 4202496 46823 0 0 0 202220 5 0 0 20 0 1 0 557089038 54423552 7433 33554432000 4194304 6211132 140727861703584 140727861700824 5156497 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 16363520 140727861711883 140727861711985 140727861711985 140727861714894 0 /proc/32557/statm: 13287 7433 877 493 0 6592 0 Current children cumulated CPU time: 2022.25 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29732 KiB [startup+2082.3 s] /proc/loadavg: 1.00 1.04 1.38 2/192 409 /proc/meminfo: memFree=31461284/32770688 swapFree=67001380/67108860 [pid=32557] ppid=32554 vsize=53148 memory=29732 CPUtime=2082.26 cores=4-7 /proc/32557/stat : 32557 (cosoco) R 32554 32557 26332 0 -1 4202496 46873 0 0 0 208221 5 0 0 20 0 1 0 557089038 54423552 7433 33554432000 4194304 6211132 140727861703584 140727861700824 5250304 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 16363520 140727861711883 140727861711985 140727861711985 140727861714894 0 /proc/32557/statm: 13287 7433 877 493 0 6592 0 Current children cumulated CPU time: 2082.26 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29732 KiB [startup+2142.3 s] /proc/loadavg: 1.00 1.04 1.36 2/192 414 /proc/meminfo: memFree=31461604/32770688 swapFree=67001380/67108860 [pid=32557] ppid=32554 vsize=53148 memory=29732 CPUtime=2142.26 cores=4-7 /proc/32557/stat : 32557 (cosoco) R 32554 32557 26332 0 -1 4202496 46966 0 0 0 214221 5 0 0 20 0 1 0 557089038 54423552 7433 33554432000 4194304 6211132 140727861703584 140727861700824 5155766 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 16363520 140727861711883 140727861711985 140727861711985 140727861714894 0 /proc/32557/statm: 13287 7433 877 493 0 6592 0 Current children cumulated CPU time: 2142.26 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29732 KiB [startup+2202.3 s] /proc/loadavg: 1.52 1.18 1.39 2/193 427 /proc/meminfo: memFree=31460704/32770688 swapFree=67001380/67108860 [pid=32557] ppid=32554 vsize=53148 memory=29732 CPUtime=2202.27 cores=4-7 /proc/32557/stat : 32557 (cosoco) R 32554 32557 26332 0 -1 4202496 47015 0 0 0 220222 5 0 0 20 0 1 0 557089038 54423552 7433 33554432000 4194304 6211132 140727861703584 140727861700824 5155377 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 16363520 140727861711883 140727861711985 140727861711985 140727861714894 0 /proc/32557/statm: 13287 7433 877 493 0 6592 0 Current children cumulated CPU time: 2202.27 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29732 KiB [startup+2262.3 s] /proc/loadavg: 1.19 1.15 1.37 2/192 431 /proc/meminfo: memFree=31461208/32770688 swapFree=67001380/67108860 [pid=32557] ppid=32554 vsize=53148 memory=29732 CPUtime=2262.27 cores=4-7 /proc/32557/stat : 32557 (cosoco) R 32554 32557 26332 0 -1 4202496 47016 0 0 0 226222 5 0 0 20 0 1 0 557089038 54423552 7433 33554432000 4194304 6211132 140727861703584 140727861700824 5155703 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 16363520 140727861711883 140727861711985 140727861711985 140727861714894 0 /proc/32557/statm: 13287 7433 877 493 0 6592 0 Current children cumulated CPU time: 2262.27 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29732 KiB [startup+2322.3 s] /proc/loadavg: 1.07 1.12 1.34 2/192 435 /proc/meminfo: memFree=31460488/32770688 swapFree=67001380/67108860 [pid=32557] ppid=32554 vsize=53148 memory=29732 CPUtime=2322.28 cores=4-7 /proc/32557/stat : 32557 (cosoco) R 32554 32557 26332 0 -1 4202496 47066 0 0 0 232223 5 0 0 20 0 1 0 557089038 54423552 7433 33554432000 4194304 6211132 140727861703584 140727861700824 5156288 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 16363520 140727861711883 140727861711985 140727861711985 140727861714894 0 /proc/32557/statm: 13287 7433 877 493 0 6592 0 Current children cumulated CPU time: 2322.28 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29732 KiB [startup+2382.3 s] /proc/loadavg: 1.03 1.10 1.32 2/193 441 /proc/meminfo: memFree=31460528/32770688 swapFree=67001380/67108860 [pid=32557] ppid=32554 vsize=53148 memory=29732 CPUtime=2382.28 cores=4-7 /proc/32557/stat : 32557 (cosoco) R 32554 32557 26332 0 -1 4202496 47161 0 0 0 238223 5 0 0 20 0 1 0 557089038 54423552 7433 33554432000 4194304 6211132 140727861703584 140727861700824 5250304 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 16363520 140727861711883 140727861711985 140727861711985 140727861714894 0 /proc/32557/statm: 13287 7433 877 493 0 6592 0 Current children cumulated CPU time: 2382.28 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29732 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.11 s] /proc/loadavg: 1.02 1.09 1.31 2/192 441 /proc/meminfo: memFree=31460520/32770688 swapFree=67001380/67108860 [pid=32557] ppid=32554 vsize=53148 memory=29732 CPUtime=2400.09 cores=4-7 /proc/32557/stat : 32557 (cosoco) R 32554 32557 26332 0 -1 4202496 47161 0 0 0 240004 5 0 0 20 0 1 0 557089038 54423552 7433 33554432000 4194304 6211132 140727861703584 140727861700824 5250304 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 16363520 140727861711883 140727861711985 140727861711985 140727861714894 0 /proc/32557/statm: 13287 7433 877 493 0 6592 0 Current children cumulated CPU time: 2400.09 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29732 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2400.11 s] # the end of solver process 32557 was just reported to runsolver # cumulated CPU time of all completed processes: user=2400.05 s, system=0.055 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.11 s] /proc/loadavg: 1.02 1.09 1.31 2/192 441 /proc/meminfo: memFree=31460520/32770688 swapFree=67001380/67108860 [pid=32557] ppid=32554 vsize=53148 memory=29732 CPUtime=2400.09 cores=4-7 /proc/32557/stat : 32557 (cosoco) R 32554 32557 26332 0 -1 4202496 47161 0 0 0 240004 5 0 0 20 0 1 0 557089038 54423552 7433 33554432000 4194304 6211132 140727861703584 140727861700824 5250304 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 16363520 140727861711883 140727861711985 140727861711985 140727861714894 0 /proc/32557/statm: 13287 7433 877 493 0 6592 0 Current children cumulated CPU time: 2400.09 s Current children cumulated vsize: 53148 KiB Current children cumulated memory: 29732 KiB Child status: 1 Real time (s): 2400.11 CPU time (s): 2400.1 CPU user time (s): 2400.05 CPU system time (s): 0.055 CPU usage (%): 99.9997 Max. virtual memory (cumulated for all children) (KiB): 53148 Max. memory (cumulated for all children) (KiB): 29732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.05 system time used= 0.055 maximum resident set size= 29796 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 47229 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= 26 involuntary context switches= 1868 # summary of solver processes directly reported to runsolver: # pid: 32557 # total CPU time (s): 2400.1 # total CPU user time (s): 2400.05 # total CPU system time (s): 0.055 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.04998 second user time and 17.1319 second system time The end
Begin job on node116 at 2019-09-30 04:43:53 IDJOB=4408858 IDBENCH=141153 IDSOLVER=2875 FILE ID=node116/4408858-1569811475 RUNJOBID= node116-1569787351-26364 PBS_JOBID= 21705835 Free space on /tmp= 62012 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-4408858-1569811475/watcher-4408858-1569811475 -o /tmp/evaluation-result-4408858-1569811475/solver-4408858-1569811475 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569787351-26364 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408858-1569811475.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d1d7e4f351cab0858660dafd89ccc193 RANDOM SEED=1851518793 node116.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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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: 32770688 kB MemFree: 31114968 kB MemAvailable: 31500720 kB Buffers: 197232 kB Cached: 508844 kB SwapCached: 3344 kB Active: 745460 kB Inactive: 319940 kB Active(anon): 376940 kB Inactive(anon): 63420 kB Active(file): 368520 kB Inactive(file): 256520 kB Unevictable: 108916 kB Mlocked: 108916 kB SwapTotal: 67108860 kB SwapFree: 67001380 kB Dirty: 2796 kB Writeback: 0 kB AnonPages: 478040 kB Mapped: 28012 kB Shmem: 72416 kB Slab: 183988 kB SReclaimable: 153096 kB SUnreclaim: 30892 kB KernelStack: 3760 kB PageTables: 6164 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 927276 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 278528 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 62028 MiB End job on node116 at 2019-09-30 05:23:53