Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-2.0 2017-07-28 | SAT (TO) | 853 | 2519.5701 | 2520 |
Name | Vrp/Vrp-zinc-s1/ Vrp-A-n36-k5.xml |
MD5SUM | bb36812fd58cb568268e8c9b807d30b9 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 853 |
Best CPU time to get the best result obtained on this benchmark | 2400.08 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1332 |
Number of constraints | 1295 |
Number of domains | 3 |
Minimum domain size | 1 |
Maximum domain size | 101 |
Distribution of domain sizes | [{"size":1,"count":36},{"size":2,"count":1260},{"size":101,"count":35}] |
Minimum variable degree | 0 |
Maximum variable degree | 69 |
Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":36},{"degree":2,"count":70},{"degree":4,"count":1190},{"degree":69,"count":35}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 35 |
Distribution of constraint arities | [{"arity":1,"count":35},{"arity":3,"count":1190},{"arity":35,"count":70}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 35 |
Distribution of constraint types | [{"type":"intension","count":35},{"type":"sum","count":1190},{"type":"count","count":70}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.08 c 280717 0.20/0.35 o 3892 0.20/0.35 o 3835 0.20/0.35 o 3789 0.20/0.35 o 3735 0.20/0.35 o 3722 0.20/0.36 o 3669 0.20/0.37 o 3666 0.20/0.37 o 3665 0.30/0.41 o 3641 0.30/0.41 o 3617 0.30/0.41 o 3582 0.30/0.42 o 3581 0.40/0.50 o 3571 0.60/0.78 o 3528 0.60/0.78 o 3527 0.80/0.94 o 3510 0.80/0.94 o 3505 0.90/1.01 o 3432 0.90/1.01 o 3426 0.90/1.01 o 3423 0.90/1.02 o 3417 0.90/1.02 o 3408 0.90/1.02 o 3404 0.90/1.03 o 3394 0.90/1.06 o 3383 0.90/1.06 o 3380 0.90/1.07 o 3379 0.90/1.07 o 3378 1.11/1.29 o 3310 1.11/1.29 o 3302 1.11/1.29 o 3267 1.11/1.29 o 3190 1.11/1.29 o 3108 1.11/1.29 o 3107 1.20/1.30 o 3091 1.20/1.30 o 3090 1.20/1.30 o 3089 1.20/1.30 o 3086 1.20/1.32 o 3085 1.20/1.32 o 3084 1.20/1.32 o 3074 1.20/1.33 o 3064 1.20/1.33 o 3061 1.20/1.33 o 3026 1.20/1.37 o 2951 1.20/1.37 o 2934 1.30/1.43 o 2836 1.30/1.45 o 2827 1.30/1.46 o 2821 1.30/1.47 o 2819 1.30/1.50 o 2801 1.40/1.51 o 2800 1.40/1.52 o 2797 1.40/1.53 o 2771 1.40/1.55 o 2770 1.60/1.74 o 2714 1.60/1.74 o 2666 1.60/1.74 o 2631 1.60/1.75 o 2575 1.60/1.75 o 2572 1.60/1.75 o 2569 1.60/1.75 o 2556 1.60/1.75 o 2549 1.60/1.76 o 2547 1.70/1.80 o 2530 1.70/1.80 o 2504 1.70/1.80 o 2496 2.00/2.11 o 2490 2.00/2.12 o 2456 2.00/2.12 o 2447 2.00/2.12 o 2439 2.00/2.12 o 2410 2.00/2.13 o 2405 2.00/2.13 o 2392 2.00/2.13 o 2384 2.00/2.15 o 2360 2.00/2.16 o 2351 2.00/2.19 o 2342 2.00/2.19 o 2336 2.00/2.19 o 2315 2.11/2.23 o 2273 2.11/2.23 o 2255 2.11/2.23 o 2197 2.21/2.39 o 2149 2.21/2.39 o 2103 2.21/2.39 o 2081 2.50/2.60 o 2039 2.50/2.61 o 2034 2.60/2.75 o 2031 2.70/2.86 o 2028 2.70/2.87 o 2017 2.80/2.95 o 2009 2.90/3.00 o 2006 3.00/3.13 o 1990 3.10/3.23 o 1974 3.21/3.33 o 1962 3.21/3.33 o 1957 3.21/3.37 o 1954 3.31/3.41 o 1951 3.31/3.41 o 1943 3.31/3.42 o 1941 3.31/3.48 o 1913 3.31/3.48 o 1911 3.31/3.48 o 1904 3.31/3.48 o 1898 3.40/3.50 o 1887 3.40/3.51 o 1855 3.40/3.51 o 1851 3.40/3.52 o 1789 3.40/3.54 o 1783 3.40/3.56 o 1761 3.50/3.65 o 1754 3.50/3.65 o 1743 3.50/3.69 o 1736 3.60/3.71 o 1730 3.70/3.85 o 1726 3.80/3.91 o 1711 3.80/3.96 o 1620 3.80/3.96 o 1609 3.80/3.96 o 1595 3.80/3.97 o 1581 3.80/3.99 o 1577 3.90/4.02 o 1550 3.90/4.02 o 1548 3.90/4.05 o 1511 3.90/4.05 o 1501 3.90/4.06 o 1487 3.90/4.06 o 1482 4.00/4.14 o 1453 4.20/4.30 o 1445 4.20/4.34 o 1433 4.20/4.37 o 1390 4.20/4.39 o 1387 4.31/4.47 o 1371 4.41/4.51 o 1308 4.41/4.57 o 1285 4.50/4.62 o 1278 4.50/4.69 o 1233 4.60/4.71 o 1217 4.60/4.72 o 1208 4.60/4.75 o 1206 4.60/4.79 o 1202 4.60/4.79 o 1201 4.70/4.80 o 1193 4.70/4.80 o 1192 4.70/4.80 o 1173 4.70/4.81 o 1163 4.70/4.85 o 1135 4.80/4.98 o 1129 5.20/5.38 o 1100 5.20/5.38 o 1094 5.30/5.46 o 1093 5.30/5.50 o 1091 5.60/5.79 o 1081 6.10/6.26 o 1074 6.61/6.71 o 1072 6.70/6.86 o 1063 6.80/6.95 o 1055 6.80/6.96 o 1048 6.90/7.04 o 1042 6.90/7.04 o 1038 6.90/7.04 o 1016 6.90/7.05 o 1012 7.61/7.74 o 1005 7.71/7.83 o 1001 7.80/7.97 o 998 7.90/8.00 o 995 8.00/8.10 o 992 8.00/8.14 o 990 8.40/8.51 o 979 8.90/9.01 o 978 8.90/9.01 o 973 9.20/9.31 o 968 10.50/10.64 o 961 10.91/11.04 o 935 10.91/11.04 o 912 14.30/14.45 o 909 16.00/16.16 o 907 16.00/16.16 o 904 16.30/16.45 o 902 16.40/16.54 o 899 19.70/19.82 o 897 19.70/19.83 o 896 27.20/27.35 o 887 33.39/33.59 o 883 34.59/34.74 o 881 41.39/41.56 o 877 42.19/42.34 o 874 47.20/47.30 o 867 47.30/47.43 o 864 49.89/50.02 o 862 62.79/62.96 o 861 175.16/175.32 o 859 188.97/189.10 o 853 2519.56/2520.00 s SATISFIABLE 2519.56/2520.00 v <instantiation type="solution"> 2519.56/2520.00 v <list> x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] u[0] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] </list> 2519.56/2520.00 v <values> 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 27 80 65 99 82 76 45 81 99 52 31 26 34 54 62 30 80 54 20 95 12 63 40 19 13 27 97 59 41 52 24 61 57 38 </values> 2519.56/2520.00 v </instantiation>
OK 853
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-4261220-1502357792/watcher-4261220-1502357792 -o /tmp/evaluation-result-4261220-1502357792/solver-4261220-1502357792 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502333727-2687 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 603796760 HOME/instance-4261220-1502357792.xml pid=6820 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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.02 2.04 2.05 3/180 6823 /proc/meminfo: memFree=31527452/32770624 swapFree=0/224068 [pid=6823] ppid=6820 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/6823/stat : 6823 (runsolver) D 6820 6823 15981 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 37974762 24240128 107 18446744073709551615 4194304 4338465 140720774860576 140720774858216 140087207011031 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 32043008 140720774865037 140720774865482 140720774865482 140720774868938 0 /proc/6823/statm: 5918 107 53 36 0 2156 0 [startup+0.100156 s] /proc/loadavg: 2.02 2.04 2.05 3/180 6823 /proc/meminfo: memFree=31527452/32770624 swapFree=0/224068 [pid=6823] ppid=6820 vsize=30960 CPUtime=0.01 cores=1,3,5,7 /proc/6823/stat : 6823 (MistralXCSP) R 6820 6823 15981 0 -1 4202496 1559 0 0 0 1 0 0 0 20 0 1 0 37974762 31703040 1349 18446744073709551615 4194304 7396336 140723185519920 140723185516920 139930404940773 0 0 1 0 0 0 0 17 5 0 0 8 0 0 9496464 9501696 30547968 140723185525172 140723185525321 140723185525321 140723185528777 0 /proc/6823/statm: 7740 1349 668 782 0 756 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 30960 [startup+0.200287 s] /proc/loadavg: 2.02 2.04 2.05 3/180 6823 /proc/meminfo: memFree=31527452/32770624 swapFree=0/224068 [pid=6823] ppid=6820 vsize=36412 CPUtime=0.1 cores=1,3,5,7 /proc/6823/stat : 6823 (MistralXCSP) R 6820 6823 15981 0 -1 4202496 2998 0 0 0 10 0 0 0 20 0 1 0 37974762 37285888 2719 18446744073709551615 4194304 7396336 140723185519920 140723185516920 6082872 0 0 1 0 0 0 0 17 5 0 0 8 0 0 9496464 9501696 30547968 140723185525172 140723185525321 140723185525321 140723185528777 0 /proc/6823/statm: 9103 2719 681 782 0 2119 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 36412 [startup+0.300279 s] /proc/loadavg: 2.02 2.04 2.05 3/180 6823 /proc/meminfo: memFree=31527452/32770624 swapFree=0/224068 [pid=6823] ppid=6820 vsize=37868 CPUtime=0.2 cores=1,3,5,7 /proc/6823/stat : 6823 (MistralXCSP) R 6820 6823 15981 0 -1 4202496 3446 0 0 0 20 0 0 0 20 0 1 0 37974762 38776832 3181 18446744073709551615 4194304 7396336 140723185519920 140723185516920 4246602 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 30547968 140723185525172 140723185525321 140723185525321 140723185528777 0 /proc/6823/statm: 9467 3181 758 782 0 2483 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 37868 [startup+0.700232 s] /proc/loadavg: 2.02 2.04 2.05 3/180 6823 /proc/meminfo: memFree=31527452/32770624 swapFree=0/224068 [pid=6823] ppid=6820 vsize=38244 CPUtime=0.6 cores=1,3,5,7 /proc/6823/stat : 6823 (MistralXCSP) R 6820 6823 15981 0 -1 4202496 3552 0 0 0 60 0 0 0 20 0 1 0 37974762 39161856 3247 18446744073709551615 4194304 7396336 140723185519920 140723185514936 5772880 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 30547968 140723185525172 140723185525321 140723185525321 140723185528777 0 /proc/6823/statm: 9561 3247 770 782 0 2577 0 Current children cumulated CPU time (s) 0.6 Current children cumulated vsize (KiB) 38244 [startup+1.50021 s] /proc/loadavg: 2.02 2.04 2.05 3/181 6824 /proc/meminfo: memFree=31517332/32770624 swapFree=0/224068 [pid=6823] ppid=6820 vsize=38244 CPUtime=1.4 cores=1,3,5,7 /proc/6823/stat : 6823 (MistralXCSP) R 6820 6823 15981 0 -1 4202496 3552 0 0 0 140 0 0 0 20 0 1 0 37974762 39161856 3247 18446744073709551615 4194304 7396336 140723185519920 140723185514936 5839059 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 30547968 140723185525172 140723185525321 140723185525321 140723185528777 0 /proc/6823/statm: 9561 3247 770 782 0 2577 0 Current children cumulated CPU time (s) 1.4 Current children cumulated vsize (KiB) 38244 [startup+3.10023 s] /proc/loadavg: 2.02 2.04 2.05 3/181 6824 /proc/meminfo: memFree=31516656/32770624 swapFree=0/224068 [pid=6823] ppid=6820 vsize=38244 CPUtime=3 cores=1,3,5,7 /proc/6823/stat : 6823 (MistralXCSP) R 6820 6823 15981 0 -1 4202496 5305 0 0 0 300 0 0 0 20 0 1 0 37974762 39161856 3312 18446744073709551615 4194304 7396336 140723185519920 140723185514936 4581734 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 30547968 140723185525172 140723185525321 140723185525321 140723185528777 0 /proc/6823/statm: 9561 3312 779 782 0 2577 0 Current children cumulated CPU time (s) 3 Current children cumulated vsize (KiB) 38244 [startup+6.30023 s] /proc/loadavg: 1.93 2.02 2.04 3/181 6824 /proc/meminfo: memFree=31516656/32770624 swapFree=0/224068 [pid=6823] ppid=6820 vsize=38244 CPUtime=6.2 cores=1,3,5,7 /proc/6823/stat : 6823 (MistralXCSP) R 6820 6823 15981 0 -1 4202496 7200 0 0 0 620 0 0 0 20 0 1 0 37974762 39161856 3314 18446744073709551615 4194304 7396336 140723185519920 140723185514936 5774384 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 30547968 140723185525172 140723185525321 140723185525321 140723185528777 0 /proc/6823/statm: 9561 3314 781 782 0 2577 0 Current children cumulated CPU time (s) 6.2 Current children cumulated vsize (KiB) 38244 [startup+12.7002 s] /proc/loadavg: 1.94 2.02 2.04 3/181 6824 /proc/meminfo: memFree=31516560/32770624 swapFree=0/224092 [pid=6823] ppid=6820 vsize=38244 CPUtime=12.6 cores=1,3,5,7 /proc/6823/stat : 6823 (MistralXCSP) R 6820 6823 15981 0 -1 4202496 9034 0 0 0 1260 0 0 0 20 0 1 0 37974762 39161856 3314 18446744073709551615 4194304 7396336 140723185519920 140723185514936 5771317 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 30547968 140723185525172 140723185525321 140723185525321 140723185528777 0 /proc/6823/statm: 9561 3314 781 782 0 2577 0 Current children cumulated CPU time (s) 12.6 Current children cumulated vsize (KiB) 38244 [startup+25.5003 s] /proc/loadavg: 1.95 2.02 2.04 3/181 6825 /proc/meminfo: memFree=31517048/32770624 swapFree=0/224088 [pid=6823] ppid=6820 vsize=38244 CPUtime=25.4 cores=1,3,5,7 /proc/6823/stat : 6823 (MistralXCSP) R 6820 6823 15981 0 -1 4202496 12641 0 0 0 2540 0 0 0 20 0 1 0 37974762 39161856 3314 18446744073709551615 4194304 7396336 140723185519920 140723185514936 4543790 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 30547968 140723185525172 140723185525321 140723185525321 140723185528777 0 /proc/6823/statm: 9561 3314 781 782 0 2577 0 Current children cumulated CPU time (s) 25.4 Current children cumulated vsize (KiB) 38244 [startup+51.1003 s] /proc/loadavg: 1.97 2.02 2.04 3/181 6825 /proc/meminfo: memFree=31517128/32770624 swapFree=0/224088 [pid=6823] ppid=6820 vsize=38244 CPUtime=50.99 cores=1,3,5,7 /proc/6823/stat : 6823 (MistralXCSP) R 6820 6823 15981 0 -1 4202496 14517 0 0 0 5099 0 0 0 20 0 1 0 37974762 39161856 3314 18446744073709551615 4194304 7396336 140723185519920 140723185514936 5771361 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 30547968 140723185525172 140723185525321 140723185525321 140723185528777 0 /proc/6823/statm: 9561 3314 781 782 0 2577 0 Current children cumulated CPU time (s) 50.99 Current children cumulated vsize (KiB) 38244 [startup+102.3 s] /proc/loadavg: 1.99 2.01 2.04 4/181 6827 /proc/meminfo: memFree=31516728/32770624 swapFree=0/224120 [pid=6823] ppid=6820 vsize=38244 CPUtime=102.18 cores=1,3,5,7 /proc/6823/stat : 6823 (MistralXCSP) R 6820 6823 15981 0 -1 4202496 14948 0 0 0 10218 0 0 0 20 0 1 0 37974762 39161856 3314 18446744073709551615 4194304 7396336 140723185519920 140723185514936 4249732 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 30547968 140723185525172 140723185525321 140723185525321 140723185528777 0 /proc/6823/statm: 9561 3314 781 782 0 2577 0 Current children cumulated CPU time (s) 102.18 Current children cumulated vsize (KiB) 38244 [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.04 3/181 6830 /proc/meminfo: memFree=31516236/32770624 swapFree=0/224132 [pid=6823] ppid=6820 vsize=38244 CPUtime=162.16 cores=1,3,5,7 /proc/6823/stat : 6823 (MistralXCSP) R 6820 6823 15981 0 -1 4202496 15373 0 0 0 16216 0 0 0 20 0 1 0 37974762 39161856 3314 18446744073709551615 4194304 7396336 140723185519920 140723185514936 4249698 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 30547968 140723185525172 140723185525321 140723185525321 140723185528777 0 /proc/6823/statm: 9561 3314 781 782 0 2577 0 Current children cumulated CPU time (s) 162.16 Current children cumulated vsize (KiB) 38244 [startup+222.306 s] /proc/loadavg: 2.00 2.01 2.04 3/181 6832 /proc/meminfo: memFree=31516228/32770624 swapFree=0/224164 [pid=6823] ppid=6820 vsize=38244 CPUtime=222.16 cores=1,3,5,7 /proc/6823/stat : 6823 (MistralXCSP) R 6820 6823 15981 0 -1 4202496 15841 0 0 0 22215 1 0 0 20 0 1 0 37974762 39161856 3314 18446744073709551615 4194304 7396336 140723185519920 140723185514936 5839021 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 30547968 140723185525172 140723185525321 140723185525321 140723185528777 0 /proc/6823/statm: 9561 3314 781 782 0 2577 0 Current children cumulated CPU time (s) 222.16 Current children cumulated vsize (KiB) 38244 [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.04 3/181 6834 /proc/meminfo: memFree=31516476/32770624 swapFree=0/224188 [pid=6823] ppid=6820 vsize=38244 CPUtime=282.15 cores=1,3,5,7 /proc/6823/stat : 6823 (MistralXCSP) R 6820 6823 15981 0 -1 4202496 16272 0 0 0 28214 1 0 0 20 0 1 0 37974762 39161856 3314 18446744073709551615 4194304 7396336 140723185519920 140723185514936 5774439 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 30547968 140723185525172 140723185525321 140723185525321 140723185528777 0 /proc/6823/statm: 9561 3314 781 782 0 2577 0 Current children cumulated CPU time (s) 282.15 Current children cumulated vsize (KiB) 38244 [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.04 3/181 6837 /proc/meminfo: memFree=31516440/32770624 swapFree=0/224224 [pid=6823] ppid=6820 vsize=38244 CPUtime=342.13 cores=1,3,5,7 /proc/6823/stat : 6823 (MistralXCSP) R 6820 6823 15981 0 -1 4202496 16700 0 0 0 34212 1 0 0 20 0 1 0 37974762 39161856 3314 18446744073709551615 4194304 7396336 140723185519920 140723185514936 4543790 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 30547968 140723185525172 140723185525321 140723185525321 140723185528777 0 /proc/6823/statm: 9561 3314 781 782 0 2577 0 Current children cumulated CPU time (s) 342.13 Current children cumulated vsize (KiB) 38244 [startup+402.3 s] /proc/loadavg: 2.05 2.03 2.05 3/181 6839 /proc/meminfo: memFree=31516536/32770624 swapFree=0/224248 [pid=6823] ppid=6820 vsize=38244 CPUtime=402.12 cores=1,3,5,7 /proc/6823/stat : 6823 (MistralXCSP) R 6820 6823 15981 0 -1 4202496 17129 0 0 0 40211 1 0 0 20 0 1 0 37974762 39161856 3314 18446744073709551615 4194304 7396336 140723185519920 140723185514936 4547552 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 30547968 140723185525172 140723185525321 140723185525321 140723185528777 0 /proc/6823/statm: 9561 3314 781 782 0 2577 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 38244 [startup+462.3 s] /proc/loadavg: 2.02 2.02 2.05 3/185 6856 /proc/meminfo: memFree=31510844/32770624 swapFree=0/224268 [pid=6823] ppid=6820 vsize=38244 CPUtime=462.11 cores=1,3,5,7 /proc/6823/stat : 6823 (MistralXCSP) R 6820 6823 15981 0 -1 4202496 17563 0 0 0 46210 1 0 0 20 0 1 0 37974762 39161856 3314 18446744073709551615 4194304 7396336 140723185519920 140723185514936 4246592 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 30547968 140723185525172 140723185525321 140723185525321 140723185528777 0 /proc/6823/statm: 9561 3314 781 782 0 2577 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 38244 [startup+522.3 s] /proc/loadavg: 2.01 2.02 2.05 3/185 6858 /proc/meminfo: memFree=31511292/32770624 swapFree=0/224308 [pid=6823] ppid=6820 vsize=38244 CPUtime=522.1 cores=1,3,5,7 /proc/6823/stat : 6823 (MistralXCSP) R 6820 6823 15981 0 -1 4202496 17985 0 0 0 52209 1 0 0 20 0 1 0 37974762 39161856 3314 18446744073709551615 4194304 7396336 140723185519920 140723185514936 5586558 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 30547968 140723185525172 140723185525321 140723185525321 140723185528777 0 /proc/6823/statm: 9561 3314 781 782 0 2577 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 38244 [startup+582.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6860 /proc/meminfo: memFree=31513420/32770624 swapFree=0/224304 [pid=6823] ppid=6820 vsize=38244 CPUtime=582.08 cores=1,3,5,7 /proc/6823/stat : 6823 (MistralXCSP) R 6820 6823 15981 0 -1 4202496 18414 0 0 0 58207 1 0 0 20 0 1 0 37974762 39161856 3314 18446744073709551615 4194304 7396336 140723185519920 140723185514936 5772937 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 30547968 140723185525172 140723185525321 140723185525321 140723185528777 0 /proc/6823/statm: 9561 3314 781 782 0 2577 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 38244 ################ # More data... # ################ [startup+1602.3 s] /proc/loadavg: 2.02 2.03 2.05 3/181 6909 /proc/meminfo: memFree=31514452/32770624 swapFree=0/224604 [pid=6823] ppid=6820 vsize=38244 CPUtime=1601.9 cores=1,3,5,7 /proc/6823/stat : 6823 (MistralXCSP) R 6820 6823 15981 0 -1 4202496 25612 0 0 0 160189 1 0 0 20 0 1 0 37974762 39161856 3314 18446744073709551615 4194304 7396336 140723185519920 140723185514936 4543808 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 30547968 140723185525172 140723185525321 140723185525321 140723185528777 0 /proc/6823/statm: 9561 3314 781 782 0 2577 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 38244 [startup+1662.3 s] /proc/loadavg: 2.01 2.02 2.05 3/185 6926 /proc/meminfo: memFree=31510120/32770624 swapFree=0/224612 [pid=6823] ppid=6820 vsize=38244 CPUtime=1661.9 cores=1,3,5,7 /proc/6823/stat : 6823 (MistralXCSP) R 6820 6823 15981 0 -1 4202496 26036 0 0 0 166189 1 0 0 20 0 1 0 37974762 39161856 3314 18446744073709551615 4194304 7396336 140723185519920 140723185514936 5771377 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 30547968 140723185525172 140723185525321 140723185525321 140723185528777 0 /proc/6823/statm: 9561 3314 781 782 0 2577 0 Current children cumulated CPU time (s) 1661.9 Current children cumulated vsize (KiB) 38244 [startup+1722.3 s] /proc/loadavg: 2.00 2.02 2.05 3/185 6928 /proc/meminfo: memFree=31509716/32770624 swapFree=0/224640 [pid=6823] ppid=6820 vsize=38244 CPUtime=1721.9 cores=1,3,5,7 /proc/6823/stat : 6823 (MistralXCSP) R 6820 6823 15981 0 -1 4202496 26459 0 0 0 172189 1 0 0 20 0 1 0 37974762 39161856 3314 18446744073709551615 4194304 7396336 140723185519920 140723185514936 5772942 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 30547968 140723185525172 140723185525321 140723185525321 140723185528777 0 /proc/6823/statm: 9561 3314 781 782 0 2577 0 Current children cumulated CPU time (s) 1721.9 Current children cumulated vsize (KiB) 38244 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6930 /proc/meminfo: memFree=31513712/32770624 swapFree=0/224656 [pid=6823] ppid=6820 vsize=38244 CPUtime=1781.89 cores=1,3,5,7 /proc/6823/stat : 6823 (MistralXCSP) R 6820 6823 15981 0 -1 4202496 26886 0 0 0 178188 1 0 0 20 0 1 0 37974762 39161856 3314 18446744073709551615 4194304 7396336 140723185519920 140723185514936 5772942 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 30547968 140723185525172 140723185525321 140723185525321 140723185528777 0 /proc/6823/statm: 9561 3314 781 782 0 2577 0 Current children cumulated CPU time (s) 1781.89 Current children cumulated vsize (KiB) 38244 [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 6932 /proc/meminfo: memFree=31514332/32770624 swapFree=0/224672 [pid=6823] ppid=6820 vsize=38244 CPUtime=1841.89 cores=1,3,5,7 /proc/6823/stat : 6823 (MistralXCSP) R 6820 6823 15981 0 -1 4202496 27311 0 0 0 184188 1 0 0 20 0 1 0 37974762 39161856 3314 18446744073709551615 4194304 7396336 140723185519920 140723185514936 4543790 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 30547968 140723185525172 140723185525321 140723185525321 140723185528777 0 /proc/6823/statm: 9561 3314 781 782 0 2577 0 Current children cumulated CPU time (s) 1841.89 Current children cumulated vsize (KiB) 38244 [startup+1902.3 s] /proc/loadavg: 2.07 2.03 2.05 3/182 6934 /proc/meminfo: memFree=31514084/32770624 swapFree=0/224700 [pid=6823] ppid=6820 vsize=38244 CPUtime=1901.89 cores=1,3,5,7 /proc/6823/stat : 6823 (MistralXCSP) R 6820 6823 15981 0 -1 4202496 27741 0 0 0 190188 1 0 0 20 0 1 0 37974762 39161856 3314 18446744073709551615 4194304 7396336 140723185519920 140723185514936 4249698 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 30547968 140723185525172 140723185525321 140723185525321 140723185528777 0 /proc/6823/statm: 9561 3314 781 782 0 2577 0 Current children cumulated CPU time (s) 1901.89 Current children cumulated vsize (KiB) 38244 [startup+1962.3 s] /proc/loadavg: 2.03 2.02 2.05 3/180 6937 /proc/meminfo: memFree=31515240/32770624 swapFree=0/224720 [pid=6823] ppid=6820 vsize=38244 CPUtime=1961.88 cores=1,3,5,7 /proc/6823/stat : 6823 (MistralXCSP) R 6820 6823 15981 0 -1 4202496 28164 0 0 0 196187 1 0 0 20 0 1 0 37974762 39161856 3314 18446744073709551615 4194304 7396336 140723185519920 140723185514936 5649191 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 30547968 140723185525172 140723185525321 140723185525321 140723185528777 0 /proc/6823/statm: 9561 3314 781 782 0 2577 0 Current children cumulated CPU time (s) 1961.88 Current children cumulated vsize (KiB) 38244 [startup+2022.3 s] /proc/loadavg: 2.01 2.02 2.05 3/181 6940 /proc/meminfo: memFree=31514748/32770624 swapFree=0/224732 [pid=6823] ppid=6820 vsize=38244 CPUtime=2021.88 cores=1,3,5,7 /proc/6823/stat : 6823 (MistralXCSP) R 6820 6823 15981 0 -1 4202496 28599 0 0 0 202187 1 0 0 20 0 1 0 37974762 39161856 3314 18446744073709551615 4194304 7396336 140723185519920 140723185514936 4246592 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 30547968 140723185525172 140723185525321 140723185525321 140723185528777 0 /proc/6823/statm: 9561 3314 781 782 0 2577 0 Current children cumulated CPU time (s) 2021.88 Current children cumulated vsize (KiB) 38244 [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 6942 /proc/meminfo: memFree=31515028/32770624 swapFree=0/224768 [pid=6823] ppid=6820 vsize=38244 CPUtime=2081.88 cores=1,3,5,7 /proc/6823/stat : 6823 (MistralXCSP) R 6820 6823 15981 0 -1 4202496 29024 0 0 0 208187 1 0 0 20 0 1 0 37974762 39161856 3314 18446744073709551615 4194304 7396336 140723185519920 140723185514936 5620114 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 30547968 140723185525172 140723185525321 140723185525321 140723185528777 0 /proc/6823/statm: 9561 3314 781 782 0 2577 0 Current children cumulated CPU time (s) 2081.88 Current children cumulated vsize (KiB) 38244 [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 6945 /proc/meminfo: memFree=31514176/32770624 swapFree=0/224768 [pid=6823] ppid=6820 vsize=38244 CPUtime=2141.87 cores=1,3,5,7 /proc/6823/stat : 6823 (MistralXCSP) R 6820 6823 15981 0 -1 4202496 29450 0 0 0 214186 1 0 0 20 0 1 0 37974762 39161856 3314 18446744073709551615 4194304 7396336 140723185519920 140723185514936 5774448 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 30547968 140723185525172 140723185525321 140723185525321 140723185528777 0 /proc/6823/statm: 9561 3314 781 782 0 2577 0 Current children cumulated CPU time (s) 2141.87 Current children cumulated vsize (KiB) 38244 [startup+2202.31 s] /proc/loadavg: 2.00 2.01 2.05 3/181 6947 /proc/meminfo: memFree=31514548/32770624 swapFree=0/224800 [pid=6823] ppid=6820 vsize=38244 CPUtime=2201.88 cores=1,3,5,7 /proc/6823/stat : 6823 (MistralXCSP) R 6820 6823 15981 0 -1 4202496 29881 0 0 0 220187 1 0 0 20 0 1 0 37974762 39161856 3314 18446744073709551615 4194304 7396336 140723185519920 140723185514936 4542444 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 30547968 140723185525172 140723185525321 140723185525321 140723185528777 0 /proc/6823/statm: 9561 3314 781 782 0 2577 0 Current children cumulated CPU time (s) 2201.88 Current children cumulated vsize (KiB) 38244 [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 3/185 6964 /proc/meminfo: memFree=31511356/32770624 swapFree=0/224844 [pid=6823] ppid=6820 vsize=38244 CPUtime=2261.87 cores=1,3,5,7 /proc/6823/stat : 6823 (MistralXCSP) R 6820 6823 15981 0 -1 4202496 30306 0 0 0 226186 1 0 0 20 0 1 0 37974762 39161856 3314 18446744073709551615 4194304 7396336 140723185519920 140723185514936 5572043 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 30547968 140723185525172 140723185525321 140723185525321 140723185528777 0 /proc/6823/statm: 9561 3314 781 782 0 2577 0 Current children cumulated CPU time (s) 2261.87 Current children cumulated vsize (KiB) 38244 [startup+2322.3 s] /proc/loadavg: 2.06 2.03 2.05 2/181 7531 /proc/meminfo: memFree=31538908/32770624 swapFree=0/225448 [pid=6823] ppid=6820 vsize=38244 CPUtime=2321.87 cores=1,3,5,7 /proc/6823/stat : 6823 (MistralXCSP) R 6820 6823 15981 0 -1 4202496 30731 0 0 0 232186 1 0 0 20 0 1 0 37974762 39161856 3314 18446744073709551615 4194304 7396336 140723185519920 140723185514936 5772915 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 30547968 140723185525172 140723185525321 140723185525321 140723185528777 0 /proc/6823/statm: 9561 3314 781 782 0 2577 0 Current children cumulated CPU time (s) 2321.87 Current children cumulated vsize (KiB) 38244 [startup+2382.3 s] /proc/loadavg: 2.23 2.06 2.06 4/201 7764 /proc/meminfo: memFree=27318624/32770624 swapFree=0/225520 [pid=6823] ppid=6820 vsize=38244 CPUtime=2381.86 cores=1,3,5,7 /proc/6823/stat : 6823 (MistralXCSP) R 6820 6823 15981 0 -1 4202496 31161 0 0 0 238185 1 0 0 20 0 1 0 37974762 39161856 3314 18446744073709551615 4194304 7396336 140723185519920 140723185514936 4249703 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 30547968 140723185525172 140723185525321 140723185525321 140723185528777 0 /proc/6823/statm: 9561 3314 781 782 0 2577 0 Current children cumulated CPU time (s) 2381.86 Current children cumulated vsize (KiB) 38244 [startup+2442.3 s] /proc/loadavg: 2.09 2.05 2.05 3/195 7826 /proc/meminfo: memFree=29525048/32770624 swapFree=0/225536 [pid=6823] ppid=6820 vsize=38244 CPUtime=2441.86 cores=1,3,5,7 /proc/6823/stat : 6823 (MistralXCSP) R 6820 6823 15981 0 -1 4202496 31586 0 0 0 244185 1 0 0 20 0 1 0 37974762 39161856 3314 18446744073709551615 4194304 7396336 140723185519920 140723185514936 5771377 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 30547968 140723185525172 140723185525321 140723185525321 140723185528777 0 /proc/6823/statm: 9561 3314 781 782 0 2577 0 Current children cumulated CPU time (s) 2441.86 Current children cumulated vsize (KiB) 38244 [startup+2502.3 s] /proc/loadavg: 2.13 2.07 2.06 3/182 8107 /proc/meminfo: memFree=29499152/32770624 swapFree=0/225632 [pid=6823] ppid=6820 vsize=38244 CPUtime=2501.86 cores=1,3,5,7 /proc/6823/stat : 6823 (MistralXCSP) R 6820 6823 15981 0 -1 4202496 32017 0 0 0 250185 1 0 0 20 0 1 0 37974762 39161856 3314 18446744073709551615 4194304 7396336 140723185519920 140723185514936 5771720 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 30547968 140723185525172 140723185525321 140723185525321 140723185528777 0 /proc/6823/statm: 9561 3314 781 782 0 2577 0 Current children cumulated CPU time (s) 2501.86 Current children cumulated vsize (KiB) 38244 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s] /proc/loadavg: 1.94 2.03 2.04 3/182 8293 /proc/meminfo: memFree=31103940/32770624 swapFree=0/225712 [pid=6823] ppid=6820 vsize=38244 CPUtime=2519.56 cores=1,3,5,7 /proc/6823/stat : 6823 (MistralXCSP) R 6820 6823 15981 0 -1 4202496 32440 0 0 0 251955 1 0 0 20 0 1 0 37974762 39161856 3314 18446744073709551615 4194304 7396336 140723185519920 140723185514936 5774112 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 30547968 140723185525172 140723185525321 140723185525321 140723185528777 0 /proc/6823/statm: 9561 3314 781 782 0 2577 0 Current children cumulated CPU time (s) 2519.56 Current children cumulated vsize (KiB) 38244 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 6823 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 2520 CPU time (s): 2519.57 CPU user time (s): 2519.55 CPU system time (s): 0.016997 CPU usage (%): 99.9829 Max. virtual memory (cumulated for all children) (KiB): 38244 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.55 system time used= 0.016997 maximum resident set size= 13276 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 32494 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= 11 involuntary context switches= 1370 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.77389 second user time and 8.65996 second system time The end
Begin job on node126 at 2017-08-10 11:22:32 IDJOB=4261220 IDBENCH=124412 IDSOLVER=2649 FILE ID=node126/4261220-1502357792 RUNJOBID= node126-1502333727-2687 PBS_JOBID= Free space on /tmp= 62024 MiB SOLVER NAME= Mistral-2.0 2017-07-28 BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n36-k5.xml COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4261220-1502357792/watcher-4261220-1502357792 -o /tmp/evaluation-result-4261220-1502357792/solver-4261220-1502357792 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502333727-2687 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 603796760 HOME/instance-4261220-1502357792.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= bb36812fd58cb568268e8c9b807d30b9 RANDOM SEED=603796760 node126.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 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: 31527564 kB MemAvailable: 31957444 kB Buffers: 248944 kB Cached: 455004 kB SwapCached: 524 kB Active: 492912 kB Inactive: 295404 kB Active(anon): 38288 kB Inactive(anon): 71336 kB Active(file): 454624 kB Inactive(file): 224068 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67105588 kB Dirty: 5832 kB Writeback: 0 kB AnonPages: 100016 kB Mapped: 39704 kB Shmem: 25248 kB Slab: 159988 kB SReclaimable: 134048 kB SUnreclaim: 25940 kB KernelStack: 3264 kB PageTables: 4720 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 345508 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 51200 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 62016 MiB End job on node126 at 2017-08-10 12:04:32