Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Naxos 1.1.0 | SAT (TO) | 64 | 2400.09 | 2399.8 |
Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-033.xml |
MD5SUM | 0094b37350883aa25196a680c59db77a |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 64 |
Best CPU time to get the best result obtained on this benchmark | 2400.09 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1121 |
Number of constraints | 592 |
Number of domains | 65 |
Minimum domain size | 2 |
Maximum domain size | 65 |
Distribution of domain sizes | [{"size":2,"count":562},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},{"size":27,"count":2},{"size":28,"count":1},{"size":29,"count":2},{"size":30,"count":1},{"size":31,"count":2},{"size":32,"count":1},{"size":33,"count":2},{"size":35,"count":1},{"size":37,"count":1},{"size":39,"count":1},{"size":41,"count":1},{"size":43,"count":1},{"size":45,"count":1},{"size":47,"count":1},{"size":49,"count":1},{"size":51,"count":1},{"size":53,"count":1},{"size":55,"count":1},{"size":57,"count":1},{"size":59,"count":1},{"size":61,"count":1},{"size":63,"count":1},{"size":65,"count":1}] |
Minimum variable degree | 0 |
Maximum variable degree | 32 |
Distribution of variable degrees | [{"degree":0,"count":496},{"degree":2,"count":592},{"degree":32,"count":33}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 33 |
Distribution of constraint arities | [{"arity":2,"count":33},{"arity":3,"count":529},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},{"arity":27,"count":1},{"arity":28,"count":1},{"arity":29,"count":1},{"arity":30,"count":1},{"arity":31,"count":1},{"arity":32,"count":1},{"arity":33,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 560 |
Distribution of constraint types | [{"type":"intension","count":560},{"type":"sum","count":32}] |
Optimization problem | YES |
Type of objective | min SUM |
0.89/0.90 o 11440 0.89/0.90 o 9456 0.89/0.91 o 9340 0.89/0.91 o 7836 0.89/0.92 o 7720 0.89/0.92 o 7612 0.89/0.93 o 6548 0.89/0.93 o 6416 0.89/0.94 o 6308 0.89/0.94 o 6224 0.89/0.94 o 5560 0.89/0.95 o 5412 0.89/0.95 o 5304 0.89/0.96 o 5204 0.89/0.96 o 5144 0.89/0.97 o 4840 0.89/0.97 o 4676 0.89/0.98 o 4552 0.89/0.98 o 4452 0.89/0.99 o 4376 0.89/0.99 o 4340 0.99/1.00 o 4268 0.99/1.01 o 4200 0.99/1.01 o 4176 0.99/1.02 o 4168 0.99/1.02 o 4100 0.99/1.03 o 4036 0.99/1.03 o 4008 0.99/1.04 o 3936 0.99/1.04 o 3844 0.99/1.05 o 3792 0.99/1.05 o 3780 0.99/1.06 o 3720 0.99/1.07 o 3668 0.99/1.07 o 3624 0.99/1.08 o 3552 0.99/1.09 o 3508 0.99/1.09 o 3444 0.99/1.10 o 3432 1.09/1.10 o 3392 1.09/1.11 o 3348 1.09/1.11 o 3320 1.09/1.13 o 3300 1.09/1.14 o 3248 1.09/1.14 o 3216 1.09/1.15 o 3168 1.09/1.16 o 3156 1.09/1.17 o 3096 1.09/1.17 o 3076 1.09/1.18 o 3056 1.09/1.19 o 3012 1.09/1.20 o 2984 1.09/1.20 o 2948 1.20/1.21 o 2944 1.20/1.21 o 2928 1.20/1.22 o 2908 1.20/1.22 o 2904 1.20/1.26 o 2884 1.20/1.27 o 2856 1.20/1.27 o 2852 1.20/1.28 o 2840 1.20/1.28 o 2824 1.20/1.28 o 2792 1.20/1.29 o 2760 1.29/1.31 o 2744 1.29/1.32 o 2736 1.29/1.33 o 2704 1.29/1.33 o 2684 1.29/1.33 o 2648 1.29/1.35 o 2620 1.29/1.36 o 2600 1.29/1.36 o 2580 1.29/1.37 o 2540 1.29/1.38 o 2524 1.29/1.38 o 2520 1.29/1.39 o 2504 1.29/1.40 o 2500 1.39/1.40 o 2488 1.39/1.46 o 2460 1.39/1.47 o 2448 1.39/1.48 o 2428 1.39/1.48 o 2400 1.39/1.49 o 2380 1.39/1.49 o 2364 1.49/1.54 o 2316 1.49/1.55 o 2312 1.49/1.55 o 2308 1.49/1.56 o 2284 1.49/1.56 o 2280 1.49/1.57 o 2268 1.49/1.59 o 2256 1.59/1.60 o 2236 1.59/1.60 o 2232 1.59/1.61 o 2220 1.59/1.61 o 2204 1.59/1.62 o 2192 1.59/1.63 o 2184 1.59/1.64 o 2152 1.59/1.65 o 2136 1.69/1.77 o 2108 1.69/1.78 o 2104 1.69/1.79 o 2084 1.79/1.80 o 2072 1.79/1.81 o 2068 1.79/1.81 o 2040 1.79/1.89 o 2032 1.89/1.91 o 2024 1.89/1.91 o 1976 1.89/1.92 o 1968 1.89/1.93 o 1960 1.89/1.98 o 1956 1.89/1.98 o 1940 1.89/1.99 o 1928 1.99/2.00 o 1924 1.99/2.01 o 1916 1.99/2.01 o 1912 1.99/2.02 o 1908 1.99/2.02 o 1904 1.99/2.03 o 1876 1.99/2.06 o 1868 1.99/2.06 o 1836 1.99/2.08 o 1812 2.30/2.31 o 1788 2.30/2.34 o 1772 2.30/2.35 o 1768 2.30/2.35 o 1756 2.30/2.37 o 1740 2.30/2.37 o 1728 2.30/2.38 o 1712 2.30/2.39 o 1692 2.49/2.53 o 1676 2.49/2.54 o 1660 2.49/2.56 o 1652 2.49/2.57 o 1628 2.59/2.65 o 1596 2.59/2.67 o 1584 2.59/2.68 o 1580 2.59/2.69 o 1548 2.69/2.72 o 1540 2.69/2.74 o 1524 2.69/2.77 o 1520 2.69/2.78 o 1516 3.09/3.18 o 1508 3.09/3.19 o 1500 3.19/3.20 o 1492 3.19/3.24 o 1460 3.19/3.27 o 1456 3.19/3.28 o 1444 3.19/3.29 o 1428 3.19/3.30 o 1424 3.49/3.57 o 1412 3.49/3.58 o 1408 3.49/3.59 o 1396 3.59/3.61 o 1392 3.59/3.62 o 1388 3.59/3.65 o 1364 3.79/3.80 o 1360 3.79/3.81 o 1348 3.79/3.83 o 1344 3.79/3.84 o 1340 3.79/3.86 o 1316 3.89/3.93 o 1284 3.89/3.96 o 1276 4.79/4.80 o 1264 4.79/4.83 o 1260 4.79/4.89 o 1244 4.89/4.92 o 1240 4.89/4.93 o 1236 4.89/4.98 o 1232 4.89/4.99 o 1200 4.99/5.05 o 1188 5.49/5.56 o 1172 5.49/5.58 o 1156 5.59/5.65 o 1148 5.59/5.67 o 1140 5.59/5.67 o 1136 5.59/5.68 o 1128 5.89/5.95 o 1124 5.89/5.96 o 1120 5.89/5.97 o 1108 5.99/6.01 o 1104 5.99/6.03 o 1100 5.99/6.06 o 1076 6.09/6.17 o 1044 6.19/6.23 o 1036 6.29/6.33 o 1020 7.79/7.83 o 1000 7.79/7.86 o 984 7.89/7.93 o 976 8.70/8.80 o 964 8.90/8.92 o 956 8.90/8.97 o 952 8.90/8.98 o 936 8.99/9.00 o 932 8.99/9.07 o 928 9.39/9.49 o 912 9.59/9.63 o 908 9.59/9.68 o 904 9.69/9.74 o 892 10.00/10.01 o 888 10.00/10.02 o 860 10.00/10.05 o 856 10.09/10.15 o 848 12.89/12.94 o 836 12.99/13.03 o 832 13.19/13.29 o 820 13.29/13.31 o 804 13.49/13.50 o 784 13.49/13.58 o 780 14.99/15.07 o 764 15.29/15.34 o 760 15.29/15.40 o 736 16.40/16.45 o 728 16.50/16.55 o 712 16.60/16.68 o 696 17.09/17.13 o 692 17.09/17.13 o 680 17.29/17.31 o 672 17.49/17.59 o 668 22.00/22.04 o 648 22.69/22.73 o 624 22.69/22.74 o 608 25.50/25.54 o 592 26.09/26.18 o 576 27.99/28.03 o 560 28.30/28.32 o 536 29.00/29.04 o 528 29.09/29.13 o 520 38.29/38.32 o 500 38.29/38.36 o 488 38.29/38.37 o 472 43.30/43.39 o 464 43.79/43.84 o 456 45.90/45.95 o 440 46.70/46.75 o 436 47.19/47.21 o 432 47.19/47.24 o 424 48.09/48.15 o 416 48.30/48.32 o 408 48.40/48.50 o 404 60.09/60.12 o 384 62.50/62.55 o 380 63.99/64.06 o 352 72.79/72.86 o 328 77.80/77.83 o 316 78.39/78.40 o 308 105.80/105.87 o 296 107.71/107.76 o 292 107.81/107.83 o 280 109.70/109.70 o 272 124.11/124.15 o 248 130.70/130.70 o 232 137.11/137.15 o 224 178.01/178.01 o 216 183.21/183.22 o 200 210.72/210.72 o 188 222.22/222.25 o 156 230.91/230.98 o 148 348.53/348.52 o 140 383.54/383.56 o 128 383.64/383.62 o 124 590.77/590.79 o 116 611.46/611.41 o 108 665.57/665.57 o 104 690.58/690.51 o 96 933.30/933.26 o 84 1206.43/1206.30 o 72 2123.74/2123.50 o 64 2400.07/2399.80 s SATISFIABLE 2400.07/2399.80 v <instantiation> 2400.07/2399.80 v <list> x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[8][31] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][30] y[9][31] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][30] y[10][31] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][30] y[11][31] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][30] y[12][31] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][30] y[13][31] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][30] y[14][31] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][30] y[15][31] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][30] y[16][31] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][30] y[17][31] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][30] y[18][31] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[19][30] y[19][31] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[20][29] y[20][30] y[20][31] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][28] y[21][29] y[21][30] y[21][31] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][28] y[22][29] y[22][30] y[22][31] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][28] y[23][29] y[23][30] y[23][31] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[24][28] y[24][29] y[24][30] y[24][31] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[25][28] y[25][29] y[25][30] y[25][31] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[26][27] y[26][28] y[26][29] y[26][30] y[26][31] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[27][26] y[27][27] y[27][28] y[27][29] y[27][30] y[27][31] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][20] y[28][21] y[28][22] y[28][23] y[28][24] y[28][25] y[28][26] y[28][27] y[28][28] y[28][29] y[28][30] y[28][31] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[29][20] y[29][21] y[29][22] y[29][23] y[29][24] y[29][25] y[29][26] y[29][27] y[29][28] y[29][29] y[29][30] y[29][31] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[30][19] y[30][20] y[30][21] y[30][22] y[30][23] y[30][24] y[30][25] y[30][26] y[30][27] y[30][28] y[30][29] y[30][30] y[30][31] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[31][18] y[31][19] y[31][20] y[31][21] y[31][22] y[31][23] y[31][24] y[31][25] y[31][26] y[31][27] y[31][28] y[31][29] y[31][30] y[31][31] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] </list> 2400.07/2399.80 v <values> -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 1 1 1 1 1 1 1 -1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 1 1 1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 1 1 1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 1 1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 1 1 1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -2 1 0 1 -2 -3 0 -1 2 -1 -2 1 -2 -1 0 1 0 -3 2 -1 0 -1 -2 -1 2 1 0 -1 0 1 0 -1 4 1 0 1 4 9 0 1 4 1 4 1 4 1 0 1 0 9 4 1 0 1 4 1 4 1 0 1 0 1 0 1 </values> 2400.07/2399.80 v </instantiation>
OK 64
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4252687-1500927005/watcher-4252687-1500927005 -o /tmp/evaluation-result-4252687-1500927005/solver-4252687-1500927005 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node113-1500914926-3624 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4252687-1500927005.xml pid=6627 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 Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.00 2.01 2.05 3/181 6630 /proc/meminfo: memFree=32073780/32770624 swapFree=5716/119128 [pid=6630] ppid=6627 vsize=25004 CPUtime=0 cores=1,3,5,7 /proc/6630/stat : 6630 (naxos-xcsp3) R 6627 6630 3592 0 -1 4202496 1011 0 0 0 0 0 0 0 20 0 1 0 2240409 25604096 819 33554432000 4194304 6986860 140731802718944 140731802715640 140709629279205 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9087712 9120176 34279424 140731802723598 140731802723679 140731802723679 140731802726378 0 /proc/6630/statm: 6251 819 652 682 0 254 0 [startup+0.100111 s] /proc/loadavg: 2.00 2.01 2.05 3/181 6630 /proc/meminfo: memFree=32073780/32770624 swapFree=5716/119128 [pid=6630] ppid=6627 vsize=27352 CPUtime=0.09 cores=1,3,5,7 /proc/6630/stat : 6630 (naxos-xcsp3) R 6627 6630 3592 0 -1 4202496 1687 0 0 0 9 0 0 0 20 0 1 0 2240409 28008448 1530 33554432000 4194304 6986860 140731802718944 140731802711272 5659451 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9087712 9120176 34279424 140731802723598 140731802723679 140731802723679 140731802726378 0 /proc/6630/statm: 6838 1530 741 682 0 841 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 27352 [startup+0.200228 s] /proc/loadavg: 2.00 2.01 2.05 3/181 6630 /proc/meminfo: memFree=32073780/32770624 swapFree=5716/119128 [pid=6630] ppid=6627 vsize=27352 CPUtime=0.19 cores=1,3,5,7 /proc/6630/stat : 6630 (naxos-xcsp3) R 6627 6630 3592 0 -1 4202496 1712 0 0 0 19 0 0 0 20 0 1 0 2240409 28008448 1530 33554432000 4194304 6986860 140731802718944 140731802711272 5637552 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9087712 9120176 34279424 140731802723598 140731802723679 140731802723679 140731802726378 0 /proc/6630/statm: 6838 1530 741 682 0 841 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 27352 [startup+0.300203 s] /proc/loadavg: 2.00 2.01 2.05 3/181 6630 /proc/meminfo: memFree=32073780/32770624 swapFree=5716/119128 [pid=6630] ppid=6627 vsize=27476 CPUtime=0.29 cores=1,3,5,7 /proc/6630/stat : 6630 (naxos-xcsp3) R 6627 6630 3592 0 -1 4202496 1738 0 0 0 29 0 0 0 20 0 1 0 2240409 28135424 1561 33554432000 4194304 6986860 140731802718944 140731802711272 140709629278303 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9087712 9120176 34279424 140731802723598 140731802723679 140731802723679 140731802726378 0 /proc/6630/statm: 6869 1561 741 682 0 872 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 27476 [startup+0.700171 s] /proc/loadavg: 2.00 2.01 2.05 3/181 6630 /proc/meminfo: memFree=32073780/32770624 swapFree=5716/119128 [pid=6630] ppid=6627 vsize=27972 CPUtime=0.69 cores=1,3,5,7 /proc/6630/stat : 6630 (naxos-xcsp3) R 6627 6630 3592 0 -1 4202496 1840 0 0 0 69 0 0 0 20 0 1 0 2240409 28643328 1685 33554432000 4194304 6986860 140731802718944 140731802711080 5653734 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9087712 9120176 34279424 140731802723598 140731802723679 140731802723679 140731802726378 0 /proc/6630/statm: 6993 1685 741 682 0 996 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27972 [startup+1.50017 s] /proc/loadavg: 1.92 2.00 2.04 3/182 6631 /proc/meminfo: memFree=32067864/32770624 swapFree=5716/118996 [pid=6630] ppid=6627 vsize=29944 CPUtime=1.49 cores=1,3,5,7 /proc/6630/stat : 6630 (naxos-xcsp3) R 6627 6630 3592 0 -1 4202496 2378 0 0 0 147 2 0 0 20 0 1 0 2240409 30662656 2223 33554432000 4194304 6986860 140731802718944 140731802711080 140709629542780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 34279424 140731802723598 140731802723679 140731802723679 140731802726378 0 /proc/6630/statm: 7486 2223 770 682 0 1489 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 29944 [startup+3.10017 s] /proc/loadavg: 1.92 2.00 2.04 3/182 6631 /proc/meminfo: memFree=32067492/32770624 swapFree=5716/118996 [pid=6630] ppid=6627 vsize=29944 CPUtime=3.09 cores=1,3,5,7 /proc/6630/stat : 6630 (naxos-xcsp3) R 6627 6630 3592 0 -1 4202496 3645 0 0 0 306 3 0 0 20 0 1 0 2240409 30662656 2225 33554432000 4194304 6986860 140731802718944 140731802711080 140709629542780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 34279424 140731802723598 140731802723679 140731802723679 140731802726378 0 /proc/6630/statm: 7486 2225 772 682 0 1489 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 29944 [startup+6.30017 s] /proc/loadavg: 1.93 2.00 2.04 3/182 6631 /proc/meminfo: memFree=32067516/32770624 swapFree=5716/119172 [pid=6630] ppid=6627 vsize=29944 CPUtime=6.29 cores=1,3,5,7 /proc/6630/stat : 6630 (naxos-xcsp3) R 6627 6630 3592 0 -1 4202496 4984 0 0 0 624 5 0 0 20 0 1 0 2240409 30662656 2225 33554432000 4194304 6986860 140731802718944 140731802714472 140709629542780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 34279424 140731802723598 140731802723679 140731802723679 140731802726378 0 /proc/6630/statm: 7486 2225 772 682 0 1489 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 29944 [startup+12.7002 s] /proc/loadavg: 1.93 2.00 2.04 3/182 6631 /proc/meminfo: memFree=32067268/32770624 swapFree=5716/119172 [pid=6630] ppid=6627 vsize=29944 CPUtime=12.69 cores=1,3,5,7 /proc/6630/stat : 6630 (naxos-xcsp3) R 6627 6630 3592 0 -1 4202496 6308 0 0 0 1260 9 0 0 20 0 1 0 2240409 30662656 2225 33554432000 4194304 6986860 140731802718944 140731802714472 140709629542780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 34279424 140731802723598 140731802723679 140731802723679 140731802726378 0 /proc/6630/statm: 7486 2225 772 682 0 1489 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 29944 [startup+25.5002 s] /proc/loadavg: 1.95 2.00 2.04 3/182 6631 /proc/meminfo: memFree=32067268/32770624 swapFree=5716/119172 [pid=6630] ppid=6627 vsize=29944 CPUtime=25.5 cores=1,3,5,7 /proc/6630/stat : 6630 (naxos-xcsp3) R 6627 6630 3592 0 -1 4202496 8929 0 0 0 2535 15 0 0 20 0 1 0 2240409 30662656 2225 33554432000 4194304 6986860 140731802718944 140731802714296 140709629542780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 34279424 140731802723598 140731802723679 140731802723679 140731802726378 0 /proc/6630/statm: 7486 2225 772 682 0 1489 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 29944 [startup+51.1002 s] /proc/loadavg: 1.97 2.00 2.04 3/182 6631 /proc/meminfo: memFree=32067236/32770624 swapFree=5716/119172 [pid=6630] ppid=6627 vsize=29944 CPUtime=51.1 cores=1,3,5,7 /proc/6630/stat : 6630 (naxos-xcsp3) R 6627 6630 3592 0 -1 4202496 9274 0 0 0 5085 25 0 0 20 0 1 0 2240409 30662656 2225 33554432000 4194304 6986860 140731802718944 140731802714472 140709629542780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 34279424 140731802723598 140731802723679 140731802723679 140731802726378 0 /proc/6630/statm: 7486 2225 772 682 0 1489 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 29944 [startup+102.3 s] /proc/loadavg: 1.99 2.00 2.04 3/182 6754 /proc/meminfo: memFree=32076548/32770624 swapFree=5716/119348 [pid=6630] ppid=6627 vsize=29944 CPUtime=102.31 cores=1,3,5,7 /proc/6630/stat : 6630 (naxos-xcsp3) R 6627 6630 3592 0 -1 4202496 9591 0 0 0 10188 43 0 0 20 0 1 0 2240409 30662656 2225 33554432000 4194304 6986860 140731802718944 140731802714472 140709629542780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 34279424 140731802723598 140731802723679 140731802723679 140731802726378 0 /proc/6630/statm: 7486 2225 772 682 0 1489 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 29944 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.04 3/182 6755 /proc/meminfo: memFree=32078112/32770624 swapFree=5716/119456 [pid=6630] ppid=6627 vsize=29944 CPUtime=162.31 cores=1,3,5,7 /proc/6630/stat : 6630 (naxos-xcsp3) R 6627 6630 3592 0 -1 4202496 9908 0 0 0 16166 65 0 0 20 0 1 0 2240409 30662656 2225 33554432000 4194304 6986860 140731802718944 140731802714472 140709629542780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 34279424 140731802723598 140731802723679 140731802723679 140731802726378 0 /proc/6630/statm: 7486 2225 772 682 0 1489 0 Current children cumulated CPU time (s) 162.31 Current children cumulated vsize (KiB) 29944 [startup+222.306 s] /proc/loadavg: 2.00 2.00 2.04 3/182 6756 /proc/meminfo: memFree=32078224/32770624 swapFree=5716/119520 [pid=6630] ppid=6627 vsize=29944 CPUtime=222.32 cores=1,3,5,7 /proc/6630/stat : 6630 (naxos-xcsp3) R 6627 6630 3592 0 -1 4202496 10225 0 0 0 22144 88 0 0 20 0 1 0 2240409 30662656 2225 33554432000 4194304 6986860 140731802718944 140731802714296 140709629542780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 34279424 140731802723598 140731802723679 140731802723679 140731802726378 0 /proc/6630/statm: 7486 2225 772 682 0 1489 0 Current children cumulated CPU time (s) 222.32 Current children cumulated vsize (KiB) 29944 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.04 3/182 6757 /proc/meminfo: memFree=32078240/32770624 swapFree=5716/119588 [pid=6630] ppid=6627 vsize=29944 CPUtime=282.32 cores=1,3,5,7 /proc/6630/stat : 6630 (naxos-xcsp3) R 6627 6630 3592 0 -1 4202496 10225 0 0 0 28119 113 0 0 20 0 1 0 2240409 30662656 2225 33554432000 4194304 6986860 140731802718944 140731802714472 140709629542780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 34279424 140731802723598 140731802723679 140731802723679 140731802726378 0 /proc/6630/statm: 7486 2225 772 682 0 1489 0 Current children cumulated CPU time (s) 282.32 Current children cumulated vsize (KiB) 29944 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.04 3/182 6758 /proc/meminfo: memFree=32078116/32770624 swapFree=5716/119636 [pid=6630] ppid=6627 vsize=29944 CPUtime=342.33 cores=1,3,5,7 /proc/6630/stat : 6630 (naxos-xcsp3) R 6627 6630 3592 0 -1 4202496 10531 0 0 0 34092 141 0 0 20 0 1 0 2240409 30662656 2225 33554432000 4194304 6986860 140731802718944 140731802714472 140709629542780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 34279424 140731802723598 140731802723679 140731802723679 140731802726378 0 /proc/6630/statm: 7486 2225 772 682 0 1489 0 Current children cumulated CPU time (s) 342.33 Current children cumulated vsize (KiB) 29944 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.04 3/182 6759 /proc/meminfo: memFree=32078116/32770624 swapFree=5716/119684 [pid=6630] ppid=6627 vsize=29944 CPUtime=402.34 cores=1,3,5,7 /proc/6630/stat : 6630 (naxos-xcsp3) R 6627 6630 3592 0 -1 4202496 10542 0 0 0 40070 164 0 0 20 0 1 0 2240409 30662656 2225 33554432000 4194304 6986860 140731802718944 140731802714472 140709629542780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 34279424 140731802723598 140731802723679 140731802723679 140731802726378 0 /proc/6630/statm: 7486 2225 772 682 0 1489 0 Current children cumulated CPU time (s) 402.34 Current children cumulated vsize (KiB) 29944 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.04 3/182 6760 /proc/meminfo: memFree=32078460/32770624 swapFree=5716/119748 [pid=6630] ppid=6627 vsize=29944 CPUtime=462.34 cores=1,3,5,7 /proc/6630/stat : 6630 (naxos-xcsp3) R 6627 6630 3592 0 -1 4202496 10848 0 0 0 46047 187 0 0 20 0 1 0 2240409 30662656 2225 33554432000 4194304 6986860 140731802718944 140731802714296 140709629542780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 34279424 140731802723598 140731802723679 140731802723679 140731802726378 0 /proc/6630/statm: 7486 2225 772 682 0 1489 0 Current children cumulated CPU time (s) 462.34 Current children cumulated vsize (KiB) 29944 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.04 3/182 6761 /proc/meminfo: memFree=32078448/32770624 swapFree=5716/119780 [pid=6630] ppid=6627 vsize=29944 CPUtime=522.35 cores=1,3,5,7 /proc/6630/stat : 6630 (naxos-xcsp3) R 6627 6630 3592 0 -1 4202496 10848 0 0 0 52025 210 0 0 20 0 1 0 2240409 30662656 2225 33554432000 4194304 6986860 140731802718944 140731802714472 140709629542780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 34279424 140731802723598 140731802723679 140731802723679 140731802726378 0 /proc/6630/statm: 7486 2225 772 682 0 1489 0 Current children cumulated CPU time (s) 522.35 Current children cumulated vsize (KiB) 29944 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.04 3/182 6762 /proc/meminfo: memFree=32078452/32770624 swapFree=5716/119816 [pid=6630] ppid=6627 vsize=29944 CPUtime=582.36 cores=1,3,5,7 /proc/6630/stat : 6630 (naxos-xcsp3) R 6627 6630 3592 0 -1 4202496 11154 0 0 0 58003 233 0 0 20 0 1 0 2240409 30662656 2225 33554432000 4194304 6986860 140731802718944 140731802714472 140709629542780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 34279424 140731802723598 140731802723679 140731802723679 140731802726378 0 /proc/6630/statm: 7486 2225 772 682 0 1489 0 Current children cumulated CPU time (s) 582.36 Current children cumulated vsize (KiB) 29944 ################ # More data... # ################ [startup+1482.3 s] /proc/loadavg: 2.01 2.03 2.05 3/182 6793 /proc/meminfo: memFree=32076664/32770624 swapFree=5716/120476 [pid=6630] ppid=6627 vsize=29944 CPUtime=1482.47 cores=1,3,5,7 /proc/6630/stat : 6630 (naxos-xcsp3) R 6627 6630 3592 0 -1 4202496 13336 0 0 0 147648 599 0 0 20 0 1 0 2240409 30662656 2225 33554432000 4194304 6986860 140731802718944 140731802714472 140709629542780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 34279424 140731802723598 140731802723679 140731802723679 140731802726378 0 /proc/6630/statm: 7486 2225 772 682 0 1489 0 Current children cumulated CPU time (s) 1482.47 Current children cumulated vsize (KiB) 29944 [startup+1542.31 s] /proc/loadavg: 2.00 2.02 2.05 3/182 6794 /proc/meminfo: memFree=32077036/32770624 swapFree=5716/120504 [pid=6630] ppid=6627 vsize=29944 CPUtime=1542.48 cores=1,3,5,7 /proc/6630/stat : 6630 (naxos-xcsp3) R 6627 6630 3592 0 -1 4202496 13639 0 0 0 153626 622 0 0 20 0 1 0 2240409 30662656 2225 33554432000 4194304 6986860 140731802718944 140731802714472 140709629542780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 34279424 140731802723598 140731802723679 140731802723679 140731802726378 0 /proc/6630/statm: 7486 2225 772 682 0 1489 0 Current children cumulated CPU time (s) 1542.48 Current children cumulated vsize (KiB) 29944 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 6795 /proc/meminfo: memFree=32077372/32770624 swapFree=5716/120532 [pid=6630] ppid=6627 vsize=29944 CPUtime=1602.48 cores=1,3,5,7 /proc/6630/stat : 6630 (naxos-xcsp3) R 6627 6630 3592 0 -1 4202496 13640 0 0 0 159602 646 0 0 20 0 1 0 2240409 30662656 2225 33554432000 4194304 6986860 140731802718944 140731802714296 140709629542780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 34279424 140731802723598 140731802723679 140731802723679 140731802726378 0 /proc/6630/statm: 7486 2225 772 682 0 1489 0 Current children cumulated CPU time (s) 1602.48 Current children cumulated vsize (KiB) 29944 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6797 /proc/meminfo: memFree=32076484/32770624 swapFree=5716/120580 [pid=6630] ppid=6627 vsize=29944 CPUtime=1662.49 cores=1,3,5,7 /proc/6630/stat : 6630 (naxos-xcsp3) R 6627 6630 3592 0 -1 4202496 13944 0 0 0 165581 668 0 0 20 0 1 0 2240409 30662656 2225 33554432000 4194304 6986860 140731802718944 140731802714472 140709629542780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 34279424 140731802723598 140731802723679 140731802723679 140731802726378 0 /proc/6630/statm: 7486 2225 772 682 0 1489 0 Current children cumulated CPU time (s) 1662.49 Current children cumulated vsize (KiB) 29944 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6798 /proc/meminfo: memFree=32076964/32770624 swapFree=5716/120608 [pid=6630] ppid=6627 vsize=29944 CPUtime=1722.5 cores=1,3,5,7 /proc/6630/stat : 6630 (naxos-xcsp3) R 6627 6630 3592 0 -1 4202496 13944 0 0 0 171559 691 0 0 20 0 1 0 2240409 30662656 2225 33554432000 4194304 6986860 140731802718944 140731802714472 140709629542780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 34279424 140731802723598 140731802723679 140731802723679 140731802726378 0 /proc/6630/statm: 7486 2225 772 682 0 1489 0 Current children cumulated CPU time (s) 1722.5 Current children cumulated vsize (KiB) 29944 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6799 /proc/meminfo: memFree=32077336/32770624 swapFree=5716/120636 [pid=6630] ppid=6627 vsize=29944 CPUtime=1782.5 cores=1,3,5,7 /proc/6630/stat : 6630 (naxos-xcsp3) R 6627 6630 3592 0 -1 4202496 14248 0 0 0 177536 714 0 0 20 0 1 0 2240409 30662656 2225 33554432000 4194304 6986860 140731802718944 140731802714296 140709629542780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 34279424 140731802723598 140731802723679 140731802723679 140731802726378 0 /proc/6630/statm: 7486 2225 772 682 0 1489 0 Current children cumulated CPU time (s) 1782.5 Current children cumulated vsize (KiB) 29944 [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6807 /proc/meminfo: memFree=32076792/32770624 swapFree=5716/120672 [pid=6630] ppid=6627 vsize=29944 CPUtime=1842.51 cores=1,3,5,7 /proc/6630/stat : 6630 (naxos-xcsp3) R 6627 6630 3592 0 -1 4202496 14248 0 0 0 183515 736 0 0 20 0 1 0 2240409 30662656 2225 33554432000 4194304 6986860 140731802718944 140731802714472 140709629542780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 34279424 140731802723598 140731802723679 140731802723679 140731802726378 0 /proc/6630/statm: 7486 2225 772 682 0 1489 0 Current children cumulated CPU time (s) 1842.51 Current children cumulated vsize (KiB) 29944 [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6808 /proc/meminfo: memFree=32076792/32770624 swapFree=5716/120708 [pid=6630] ppid=6627 vsize=29944 CPUtime=1902.52 cores=1,3,5,7 /proc/6630/stat : 6630 (naxos-xcsp3) R 6627 6630 3592 0 -1 4202496 14551 0 0 0 189490 762 0 0 20 0 1 0 2240409 30662656 2225 33554432000 4194304 6986860 140731802718944 140731802714472 140709629542780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 34279424 140731802723598 140731802723679 140731802723679 140731802726378 0 /proc/6630/statm: 7486 2225 772 682 0 1489 0 Current children cumulated CPU time (s) 1902.52 Current children cumulated vsize (KiB) 29944 [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6809 /proc/meminfo: memFree=32077024/32770624 swapFree=5716/120744 [pid=6630] ppid=6627 vsize=29944 CPUtime=1962.52 cores=1,3,5,7 /proc/6630/stat : 6630 (naxos-xcsp3) R 6627 6630 3592 0 -1 4202496 14551 0 0 0 195469 783 0 0 20 0 1 0 2240409 30662656 2225 33554432000 4194304 6986860 140731802718944 140731802714296 140709629542780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 34279424 140731802723598 140731802723679 140731802723679 140731802726378 0 /proc/6630/statm: 7486 2225 772 682 0 1489 0 Current children cumulated CPU time (s) 1962.52 Current children cumulated vsize (KiB) 29944 [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6810 /proc/meminfo: memFree=32076900/32770624 swapFree=5716/120776 [pid=6630] ppid=6627 vsize=29944 CPUtime=2022.54 cores=1,3,5,7 /proc/6630/stat : 6630 (naxos-xcsp3) R 6627 6630 3592 0 -1 4202496 14856 0 0 0 201447 807 0 0 20 0 1 0 2240409 30662656 2225 33554432000 4194304 6986860 140731802718944 140731802714472 140709629542780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 34279424 140731802723598 140731802723679 140731802723679 140731802726378 0 /proc/6630/statm: 7486 2225 772 682 0 1489 0 Current children cumulated CPU time (s) 2022.54 Current children cumulated vsize (KiB) 29944 [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6811 /proc/meminfo: memFree=32077024/32770624 swapFree=5716/120812 [pid=6630] ppid=6627 vsize=29944 CPUtime=2082.54 cores=1,3,5,7 /proc/6630/stat : 6630 (naxos-xcsp3) R 6627 6630 3592 0 -1 4202496 14856 0 0 0 207425 829 0 0 20 0 1 0 2240409 30662656 2225 33554432000 4194304 6986860 140731802718944 140731802714472 140709629542780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 34279424 140731802723598 140731802723679 140731802723679 140731802726378 0 /proc/6630/statm: 7486 2225 772 682 0 1489 0 Current children cumulated CPU time (s) 2082.54 Current children cumulated vsize (KiB) 29944 [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6812 /proc/meminfo: memFree=32077164/32770624 swapFree=5716/120848 [pid=6630] ppid=6627 vsize=29944 CPUtime=2142.55 cores=1,3,5,7 /proc/6630/stat : 6630 (naxos-xcsp3) R 6627 6630 3592 0 -1 4202496 15173 0 0 0 213401 854 0 0 20 0 1 0 2240409 30662656 2225 33554432000 4194304 6986860 140731802718944 140731802714472 140709629542780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 34279424 140731802723598 140731802723679 140731802723679 140731802726378 0 /proc/6630/statm: 7486 2225 772 682 0 1489 0 Current children cumulated CPU time (s) 2142.55 Current children cumulated vsize (KiB) 29944 [startup+2202.31 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6813 /proc/meminfo: memFree=32077048/32770624 swapFree=5716/120884 [pid=6630] ppid=6627 vsize=29944 CPUtime=2202.56 cores=1,3,5,7 /proc/6630/stat : 6630 (naxos-xcsp3) R 6627 6630 3592 0 -1 4202496 15173 0 0 0 219377 879 0 0 20 0 1 0 2240409 30662656 2225 33554432000 4194304 6986860 140731802718944 140731802714472 140709629542780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 34279424 140731802723598 140731802723679 140731802723679 140731802726378 0 /proc/6630/statm: 7486 2225 772 682 0 1489 0 Current children cumulated CPU time (s) 2202.56 Current children cumulated vsize (KiB) 29944 [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6814 /proc/meminfo: memFree=32076808/32770624 swapFree=5716/120928 [pid=6630] ppid=6627 vsize=29944 CPUtime=2262.56 cores=1,3,5,7 /proc/6630/stat : 6630 (naxos-xcsp3) R 6627 6630 3592 0 -1 4202496 15479 0 0 0 225350 906 0 0 20 0 1 0 2240409 30662656 2225 33554432000 4194304 6986860 140731802718944 140731802714296 140709629542780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 34279424 140731802723598 140731802723679 140731802723679 140731802726378 0 /proc/6630/statm: 7486 2225 772 682 0 1489 0 Current children cumulated CPU time (s) 2262.56 Current children cumulated vsize (KiB) 29944 [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6815 /proc/meminfo: memFree=32077304/32770624 swapFree=5716/120964 [pid=6630] ppid=6627 vsize=29944 CPUtime=2322.57 cores=1,3,5,7 /proc/6630/stat : 6630 (naxos-xcsp3) R 6627 6630 3592 0 -1 4202496 15479 0 0 0 231325 932 0 0 20 0 1 0 2240409 30662656 2225 33554432000 4194304 6986860 140731802718944 140731802714296 140709629542780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 34279424 140731802723598 140731802723679 140731802723679 140731802726378 0 /proc/6630/statm: 7486 2225 772 682 0 1489 0 Current children cumulated CPU time (s) 2322.57 Current children cumulated vsize (KiB) 29944 [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6816 /proc/meminfo: memFree=32076932/32770624 swapFree=5716/121020 [pid=6630] ppid=6627 vsize=29944 CPUtime=2382.57 cores=1,3,5,7 /proc/6630/stat : 6630 (naxos-xcsp3) R 6627 6630 3592 0 -1 4202496 15785 0 0 0 237301 956 0 0 20 0 1 0 2240409 30662656 2225 33554432000 4194304 6986860 140731802718944 140731802714296 140709629542780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 34279424 140731802723598 140731802723679 140731802723679 140731802726378 0 /proc/6630/statm: 7486 2225 772 682 0 1489 0 Current children cumulated CPU time (s) 2382.57 Current children cumulated vsize (KiB) 29944 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2399.8 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6823 /proc/meminfo: memFree=32075784/32770624 swapFree=5716/121028 [pid=6630] ppid=6627 vsize=29944 CPUtime=2400.07 cores=1,3,5,7 /proc/6630/stat : 6630 (naxos-xcsp3) R 6627 6630 3592 0 -1 4202496 15785 0 0 0 239044 963 0 0 20 0 1 0 2240409 30662656 2225 33554432000 4194304 6986860 140731802718944 140731802714472 140709629542780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 34279424 140731802723598 140731802723679 140731802723679 140731802726378 0 /proc/6630/statm: 7486 2225 772 682 0 1489 0 Current children cumulated CPU time (s) 2400.07 Current children cumulated vsize (KiB) 29944 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 6630 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 2399.8 CPU time (s): 2400.09 CPU user time (s): 2390.45 CPU system time (s): 9.64017 CPU usage (%): 100.012 Max. virtual memory (cumulated for all children) (KiB): 29944 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2390.45 system time used= 9.64016 maximum resident set size= 8916 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15811 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= 7 involuntary context switches= 607 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.3038 second user time and 8.11754 second system time The end
Begin job on node113 at 2017-07-24 22:10:05 IDJOB=4252687 IDBENCH=127005 IDSOLVER=2634 FILE ID=node113/4252687-1500927005 RUNJOBID= node113-1500914926-3624 PBS_JOBID= 20625413 Free space on /tmp= 61868 MiB SOLVER NAME= Naxos 1.1.0 BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-033.xml COMMAND LINE= ./naxos-xcsp3 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4252687-1500927005/watcher-4252687-1500927005 -o /tmp/evaluation-result-4252687-1500927005/solver-4252687-1500927005 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node113-1500914926-3624 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4252687-1500927005.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0094b37350883aa25196a680c59db77a RANDOM SEED=288408780 node113.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 : 5332.97 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 : 5332.97 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 : 5332.97 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 : 5332.97 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: 32074060 kB MemAvailable: 32016272 kB Buffers: 37224 kB Cached: 219712 kB SwapCached: 0 kB Active: 216864 kB Inactive: 127832 kB Active(anon): 90460 kB Inactive(anon): 8704 kB Active(file): 126404 kB Inactive(file): 119128 kB Unevictable: 5716 kB Mlocked: 5716 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2768 kB Writeback: 0 kB AnonPages: 93100 kB Mapped: 29548 kB Shmem: 8844 kB Slab: 49996 kB SReclaimable: 25028 kB SUnreclaim: 24968 kB KernelStack: 3264 kB PageTables: 4352 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 327212 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 47104 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 61868 MiB End job on node113 at 2017-07-24 22:50:05