Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: Mistral-2.0 2017-06-28 | SAT (TO) | 661 | 2400.07 | 2400.4 |
| Name | Vrp/Vrp-zinc-s1/ Vrp-A-n33-k5.xml |
| MD5SUM | 7965d79c566fadd70d01c63d02ba9078 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 661 |
| Best CPU time to get the best result obtained on this benchmark | 2400.07 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1122 |
| Number of constraints | 1088 |
| Number of domains | 3 |
| Minimum domain size | 1 |
| Maximum domain size | 101 |
| Distribution of domain sizes | [{"size":1,"count":33},{"size":2,"count":1056},{"size":101,"count":32}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 63 |
| Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":33},{"degree":2,"count":64},{"degree":4,"count":992},{"degree":63,"count":32}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 32 |
| Distribution of constraint arities | [{"arity":1,"count":32},{"arity":3,"count":992},{"arity":32,"count":64}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 32 |
| Distribution of constraint types | [{"type":"intension","count":32},{"type":"sum","count":992},{"type":"count","count":64}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.01 c Mistral-2017-06-28 0.18/0.28 o 2614 0.18/0.28 o 2567 0.18/0.28 o 2564 0.18/0.28 o 2515 0.18/0.29 o 2511 0.18/0.29 o 2464 0.28/0.30 o 2460 0.28/0.30 o 2442 0.28/0.31 o 2426 0.28/0.32 o 2373 0.38/0.40 o 2365 0.38/0.41 o 2356 0.38/0.42 o 2351 0.38/0.42 o 2342 0.38/0.43 o 2314 0.38/0.43 o 2306 0.38/0.44 o 2207 0.38/0.45 o 2201 0.38/0.45 o 2186 0.38/0.45 o 2177 0.38/0.45 o 2170 0.38/0.45 o 2153 0.48/0.52 o 2148 0.48/0.52 o 2132 0.48/0.53 o 2131 0.48/0.54 o 2127 0.48/0.55 o 2126 0.48/0.56 o 2122 0.48/0.56 o 2121 0.48/0.56 o 2104 0.48/0.57 o 2089 0.48/0.58 o 2076 0.48/0.59 o 2047 0.58/0.63 o 2003 0.58/0.65 o 2002 0.58/0.66 o 1997 0.58/0.66 o 1978 0.68/0.70 o 1914 0.68/0.71 o 1906 0.68/0.71 o 1903 0.68/0.71 o 1844 0.68/0.71 o 1837 0.68/0.76 o 1831 0.68/0.77 o 1827 0.68/0.77 o 1818 0.78/0.80 o 1796 0.78/0.80 o 1794 0.78/0.80 o 1778 0.78/0.88 o 1766 0.78/0.88 o 1762 0.88/0.90 o 1744 0.88/0.91 o 1731 0.88/0.96 o 1715 0.88/0.97 o 1698 0.88/1.00 o 1688 0.98/1.00 o 1674 0.98/1.00 o 1663 0.98/1.00 o 1627 0.98/1.00 o 1625 1.08/1.18 o 1607 1.08/1.18 o 1605 1.08/1.19 o 1603 1.18/1.22 o 1596 1.18/1.24 o 1580 1.18/1.28 o 1564 1.28/1.36 o 1548 1.28/1.36 o 1543 1.28/1.37 o 1540 1.38/1.42 o 1527 1.38/1.42 o 1516 1.38/1.43 o 1485 1.38/1.44 o 1477 1.38/1.44 o 1470 1.38/1.46 o 1459 1.38/1.46 o 1455 1.48/1.53 o 1453 1.48/1.54 o 1447 1.48/1.56 o 1432 1.48/1.56 o 1413 1.48/1.56 o 1412 1.48/1.57 o 1401 1.48/1.57 o 1393 1.58/1.67 o 1392 1.58/1.68 o 1386 1.68/1.71 o 1385 1.68/1.76 o 1354 1.68/1.77 o 1315 1.88/1.92 o 1312 1.88/1.92 o 1309 1.88/1.94 o 1307 1.88/1.94 o 1306 1.88/1.94 o 1305 1.88/1.94 o 1270 1.88/1.98 o 1250 1.98/2.05 o 1208 1.98/2.05 o 1207 1.98/2.08 o 1201 2.18/2.21 o 1197 2.38/2.41 o 1180 2.38/2.41 o 1148 2.48/2.51 o 1097 2.68/2.70 o 1080 2.68/2.79 o 1079 2.68/2.79 o 1063 2.78/2.82 o 1062 2.78/2.82 o 1047 2.78/2.85 o 1040 2.98/3.04 o 1039 2.98/3.05 o 1033 2.98/3.09 o 1005 3.18/3.26 o 1002 3.18/3.29 o 1001 3.18/3.29 o 993 3.18/3.30 o 989 3.28/3.39 o 952 3.38/3.41 o 936 3.88/3.94 o 927 3.97/4.02 o 926 4.27/4.37 o 922 4.57/4.65 o 915 4.57/4.67 o 912 4.57/4.67 o 896 4.87/4.91 o 889 4.87/4.91 o 885 4.87/4.92 o 883 5.27/5.39 o 861 6.27/6.31 o 856 6.27/6.32 o 844 6.68/6.73 o 804 6.77/6.87 o 796 8.67/8.79 o 772 8.67/8.80 o 768 9.07/9.13 o 766 12.08/12.20 o 747 12.27/12.33 o 746 16.07/16.16 o 744 18.78/18.89 o 740 20.27/20.39 o 734 20.57/20.62 o 726 20.57/20.65 o 722 27.27/27.38 o 713 27.97/28.06 o 710 30.67/30.77 o 697 31.57/31.63 o 696 32.17/32.20 o 695 46.57/46.64 o 694 71.26/71.39 o 691 159.85/159.97 o 684 160.56/160.63 o 677 167.05/167.19 o 675 171.05/171.12 o 664 410.92/411.07 o 662 416.82/416.95 o 661 2400.05/2400.40 s SATISFIABLE 2400.05/2400.40 v <instantiation type="solution"> 2400.05/2400.40 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] </list> 2400.05/2400.40 v <values> 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 34 100 74 99 16 85 37 47 60 20 5 86 70 53 18 84 42 64 67 8 44 19 93 98 54 18 77 79 92 40 29 73 </values> 2400.05/2400.40 v </instantiation>
OK 661
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-4240900-1500648176/watcher-4240900-1500648176 -o /tmp/evaluation-result-4240900-1500648176/solver-4240900-1500648176 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500648174-9884 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 195319193 HOME/instance-4240900-1500648176.xml pid=9907 running on 8 cores: 4-7,12-15 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: 0.00 0.03 0.07 5/247 9914 /proc/meminfo: memFree=32074032/32770624 swapFree=5956/168824 [pid=9913] ppid=9907 vsize=28316 CPUtime=0 cores=4-7,12-15 /proc/9913/stat : 9913 (MistralXCSP) R 9907 9913 9851 0 -1 4194304 501 0 2 0 0 0 0 0 20 0 1 0 84775 28995584 352 33554432000 4194304 7402444 140730425424288 140730425421336 140408944162427 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26034176 140730425427113 140730425427262 140730425427262 140730425429961 0 /proc/9913/statm: 7079 352 296 784 0 61 0 [startup+0.100134 s] /proc/loadavg: 0.00 0.03 0.07 5/247 9914 /proc/meminfo: memFree=32074032/32770624 swapFree=5956/168824 [pid=9913] ppid=9907 vsize=34080 CPUtime=0.08 cores=4-7,12-15 /proc/9913/stat : 9913 (MistralXCSP) R 9907 9913 9851 0 -1 4202496 2431 0 3 0 8 0 0 0 20 0 1 0 84775 34897920 2135 33554432000 4194304 7402444 140730425424288 140730425414888 140408923782117 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26034176 140730425427113 140730425427262 140730425427262 140730425429961 0 /proc/9913/statm: 8520 2135 687 784 0 1534 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 34080 [startup+0.200374 s] /proc/loadavg: 0.00 0.03 0.07 5/247 9914 /proc/meminfo: memFree=32074032/32770624 swapFree=5956/168824 [pid=9913] ppid=9907 vsize=35560 CPUtime=0.18 cores=4-7,12-15 /proc/9913/stat : 9913 (MistralXCSP) R 9907 9913 9851 0 -1 4202496 2853 0 3 0 18 0 0 0 20 0 1 0 84775 36413440 2597 33554432000 4194304 7402444 140730425424288 140730425414064 6075873 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26034176 140730425427113 140730425427262 140730425427262 140730425429961 0 /proc/9913/statm: 8890 2597 737 784 0 1904 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 35560 [startup+0.300272 s] /proc/loadavg: 0.00 0.03 0.07 5/247 9914 /proc/meminfo: memFree=32074032/32770624 swapFree=5956/168824 [pid=9913] ppid=9907 vsize=36724 CPUtime=0.28 cores=4-7,12-15 /proc/9913/stat : 9913 (MistralXCSP) R 9907 9913 9851 0 -1 4202496 3190 0 3 0 28 0 0 0 20 0 1 0 84775 37605376 2927 33554432000 4194304 7402444 140730425424288 140730425419304 4542800 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26034176 140730425427113 140730425427262 140730425427262 140730425429961 0 /proc/9913/statm: 9181 2927 773 784 0 2195 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 36724 [startup+0.700235 s] /proc/loadavg: 0.00 0.03 0.07 5/247 9914 /proc/meminfo: memFree=32074032/32770624 swapFree=5956/168824 [pid=9913] ppid=9907 vsize=36724 CPUtime=0.68 cores=4-7,12-15 /proc/9913/stat : 9913 (MistralXCSP) R 9907 9913 9851 0 -1 4202496 3190 0 3 0 68 0 0 0 20 0 1 0 84775 37605376 2927 33554432000 4194304 7402444 140730425424288 140730425419304 5327250 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26034176 140730425427113 140730425427262 140730425427262 140730425429961 0 /proc/9913/statm: 9181 2927 773 784 0 2195 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 36724 [startup+1.50021 s] /proc/loadavg: 0.00 0.03 0.07 4/249 9916 /proc/meminfo: memFree=32035536/32770624 swapFree=5956/170136 [pid=9913] ppid=9907 vsize=36724 CPUtime=1.48 cores=4-7,12-15 /proc/9913/stat : 9913 (MistralXCSP) R 9907 9913 9851 0 -1 4202496 3190 0 3 0 148 0 0 0 20 0 1 0 84775 37605376 2927 33554432000 4194304 7402444 140730425424288 140730425419304 4465439 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26034176 140730425427113 140730425427262 140730425427262 140730425429961 0 /proc/9913/statm: 9181 2927 773 784 0 2195 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 36724 [startup+3.10021 s] /proc/loadavg: 0.00 0.03 0.07 3/249 9916 /proc/meminfo: memFree=32034596/32770624 swapFree=5956/170144 [pid=9913] ppid=9907 vsize=36724 CPUtime=3.08 cores=4-7,12-15 /proc/9913/stat : 9913 (MistralXCSP) R 9907 9913 9851 0 -1 4202496 4739 0 3 0 308 0 0 0 20 0 1 0 84775 37605376 2944 33554432000 4194304 7402444 140730425424288 140730425419304 5696137 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26034176 140730425427113 140730425427262 140730425427262 140730425429961 0 /proc/9913/statm: 9181 2944 784 784 0 2195 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 36724 [startup+6.30021 s] /proc/loadavg: 0.08 0.05 0.08 3/249 9916 /proc/meminfo: memFree=32035276/32770624 swapFree=5956/170632 [pid=9913] ppid=9907 vsize=36724 CPUtime=6.27 cores=4-7,12-15 /proc/9913/stat : 9913 (MistralXCSP) R 9907 9913 9851 0 -1 4202496 6302 0 3 0 627 0 0 0 20 0 1 0 84775 37605376 2946 33554432000 4194304 7402444 140730425424288 140730425419304 4465470 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26034176 140730425427113 140730425427262 140730425427262 140730425429961 0 /proc/9913/statm: 9181 2946 786 784 0 2195 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 36724 [startup+12.7002 s] /proc/loadavg: 0.24 0.08 0.09 3/249 9916 /proc/meminfo: memFree=32035292/32770624 swapFree=5956/170640 [pid=9913] ppid=9907 vsize=36724 CPUtime=12.67 cores=4-7,12-15 /proc/9913/stat : 9913 (MistralXCSP) R 9907 9913 9851 0 -1 4202496 7857 0 3 0 1267 0 0 0 20 0 1 0 84775 37605376 2946 33554432000 4194304 7402444 140730425424288 140730425419304 5750706 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26034176 140730425427113 140730425427262 140730425427262 140730425429961 0 /proc/9913/statm: 9181 2946 786 784 0 2195 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 36724 [startup+25.5003 s] /proc/loadavg: 0.63 0.18 0.12 3/249 9916 /proc/meminfo: memFree=32036076/32770624 swapFree=5956/170660 [pid=9913] ppid=9907 vsize=36724 CPUtime=25.47 cores=4-7,12-15 /proc/9913/stat : 9913 (MistralXCSP) R 9907 9913 9851 0 -1 4202496 10934 0 3 0 2547 0 0 0 20 0 1 0 84775 37605376 2946 33554432000 4194304 7402444 140730425424288 140730425419304 5750448 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26034176 140730425427113 140730425427262 140730425427262 140730425429961 0 /proc/9913/statm: 9181 2946 786 784 0 2195 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 36724 [startup+51.1003 s] /proc/loadavg: 1.10 0.32 0.17 3/249 9916 /proc/meminfo: memFree=32036240/32770624 swapFree=5956/170684 [pid=9913] ppid=9907 vsize=36724 CPUtime=51.07 cores=4-7,12-15 /proc/9913/stat : 9913 (MistralXCSP) R 9907 9913 9851 0 -1 4202496 12527 0 3 0 5107 0 0 0 20 0 1 0 84775 37605376 2946 33554432000 4194304 7402444 140730425424288 140730425419304 5750459 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26034176 140730425427113 140730425427262 140730425427262 140730425429961 0 /proc/9913/statm: 9181 2946 786 784 0 2195 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 36724 [startup+102.3 s] /proc/loadavg: 1.61 0.58 0.26 3/250 9920 /proc/meminfo: memFree=32030608/32770624 swapFree=5956/174636 [pid=9913] ppid=9907 vsize=36724 CPUtime=102.27 cores=4-7,12-15 /proc/9913/stat : 9913 (MistralXCSP) R 9907 9913 9851 0 -1 4202496 13145 0 3 0 10227 0 0 0 20 0 1 0 84775 37605376 2946 33554432000 4194304 7402444 140730425424288 140730425419304 5747600 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26034176 140730425427113 140730425427262 140730425427262 140730425429961 0 /proc/9913/statm: 9181 2946 786 784 0 2195 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 36724 [startup+162.3 s] /proc/loadavg: 1.89 0.85 0.38 3/249 9921 /proc/meminfo: memFree=32032504/32770624 swapFree=5956/174684 [pid=9913] ppid=9907 vsize=36724 CPUtime=162.25 cores=4-7,12-15 /proc/9913/stat : 9913 (MistralXCSP) R 9907 9913 9851 0 -1 4202496 13761 0 3 0 16225 0 0 0 20 0 1 0 84775 37605376 2946 33554432000 4194304 7402444 140730425424288 140730425419304 4466927 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26034176 140730425427113 140730425427262 140730425427262 140730425429961 0 /proc/9913/statm: 9181 2946 786 784 0 2195 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 36724 [startup+222.308 s] /proc/loadavg: 1.96 1.06 0.48 3/249 9922 /proc/meminfo: memFree=32033272/32770624 swapFree=5956/174740 [pid=9913] ppid=9907 vsize=36724 CPUtime=222.25 cores=4-7,12-15 /proc/9913/stat : 9913 (MistralXCSP) R 9907 9913 9851 0 -1 4202496 14365 0 3 0 22225 0 0 0 20 0 1 0 84775 37605376 2948 33554432000 4194304 7402444 140730425424288 140730425419304 5750464 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26034176 140730425427113 140730425427262 140730425427262 140730425429961 0 /proc/9913/statm: 9181 2948 786 784 0 2195 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 36724 [startup+282.3 s] /proc/loadavg: 1.99 1.23 0.57 3/249 9923 /proc/meminfo: memFree=32034260/32770624 swapFree=5956/174784 [pid=9913] ppid=9907 vsize=36724 CPUtime=282.23 cores=4-7,12-15 /proc/9913/stat : 9913 (MistralXCSP) R 9907 9913 9851 0 -1 4202496 14967 0 3 0 28223 0 0 0 20 0 1 0 84775 37605376 2948 33554432000 4194304 7402444 140730425424288 140730425419304 4747194 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26034176 140730425427113 140730425427262 140730425427262 140730425429961 0 /proc/9913/statm: 9181 2948 786 784 0 2195 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 36724 [startup+342.3 s] /proc/loadavg: 1.99 1.37 0.66 3/248 9925 /proc/meminfo: memFree=32033604/32770624 swapFree=5956/174840 [pid=9913] ppid=9907 vsize=36724 CPUtime=342.22 cores=4-7,12-15 /proc/9913/stat : 9913 (MistralXCSP) R 9907 9913 9851 0 -1 4202496 15572 0 3 0 34222 0 0 0 20 0 1 0 84775 37605376 2948 33554432000 4194304 7402444 140730425424288 140730425419304 4465465 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26034176 140730425427113 140730425427262 140730425427262 140730425429961 0 /proc/9913/statm: 9181 2948 786 784 0 2195 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 36724 [startup+402.3 s] /proc/loadavg: 2.00 1.49 0.75 3/247 9926 /proc/meminfo: memFree=32033668/32770624 swapFree=5956/174900 [pid=9913] ppid=9907 vsize=36724 CPUtime=402.22 cores=4-7,12-15 /proc/9913/stat : 9913 (MistralXCSP) R 9907 9913 9851 0 -1 4202496 16166 0 3 0 40222 0 0 0 20 0 1 0 84775 37605376 2948 33554432000 4194304 7402444 140730425424288 140730425419304 4466967 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26034176 140730425427113 140730425427262 140730425427262 140730425429961 0 /proc/9913/statm: 9181 2948 786 784 0 2195 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 36724 [startup+462.3 s] /proc/loadavg: 2.00 1.58 0.82 3/248 9935 /proc/meminfo: memFree=32033544/32770624 swapFree=5956/174964 [pid=9913] ppid=9907 vsize=36724 CPUtime=462.21 cores=4-7,12-15 /proc/9913/stat : 9913 (MistralXCSP) R 9907 9913 9851 0 -1 4202496 16802 0 3 0 46221 0 0 0 20 0 1 0 84775 37605376 2950 33554432000 4194304 7402444 140730425424288 140730425419304 4709363 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26034176 140730425427113 140730425427262 140730425427262 140730425429961 0 /proc/9913/statm: 9181 2950 786 784 0 2195 0 Current children cumulated CPU time (s) 462.21 Current children cumulated vsize (KiB) 36724 [startup+522.3 s] /proc/loadavg: 2.07 1.68 0.91 3/248 9936 /proc/meminfo: memFree=32033872/32770624 swapFree=5956/175016 [pid=9913] ppid=9907 vsize=36724 CPUtime=522.21 cores=4-7,12-15 /proc/9913/stat : 9913 (MistralXCSP) R 9907 9913 9851 0 -1 4202496 17402 0 3 0 52220 1 0 0 20 0 1 0 84775 37605376 2950 33554432000 4194304 7402444 140730425424288 140730425419304 4748105 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26034176 140730425427113 140730425427262 140730425427262 140730425429961 0 /proc/9913/statm: 9181 2950 786 784 0 2195 0 Current children cumulated CPU time (s) 522.21 Current children cumulated vsize (KiB) 36724 [startup+582.3 s] /proc/loadavg: 2.03 1.74 0.98 3/248 9937 /proc/meminfo: memFree=32033768/32770624 swapFree=5956/175064 [pid=9913] ppid=9907 vsize=36724 CPUtime=582.2 cores=4-7,12-15 /proc/9913/stat : 9913 (MistralXCSP) R 9907 9913 9851 0 -1 4202496 17992 0 3 0 58219 1 0 0 20 0 1 0 84775 37605376 2950 33554432000 4194304 7402444 140730425424288 140730425419304 4747723 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26034176 140730425427113 140730425427262 140730425427262 140730425429961 0 /proc/9913/statm: 9181 2950 786 784 0 2195 0 Current children cumulated CPU time (s) 582.2 Current children cumulated vsize (KiB) 36724 ################ # More data... # ################ [startup+1482.3 s] /proc/loadavg: 2.05 2.03 1.63 3/246 9985 /proc/meminfo: memFree=32030252/32770624 swapFree=5956/175576 [pid=9913] ppid=9907 vsize=36724 CPUtime=1482.08 cores=4-7,12-15 /proc/9913/stat : 9913 (MistralXCSP) R 9907 9913 9851 0 -1 4202496 26951 0 3 0 148207 1 0 0 20 0 1 0 84775 37605376 2950 33554432000 4194304 7402444 140730425424288 140730425419304 5747600 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26034176 140730425427113 140730425427262 140730425427262 140730425429961 0 /proc/9913/statm: 9181 2950 786 784 0 2195 0 Current children cumulated CPU time (s) 1482.08 Current children cumulated vsize (KiB) 36724 [startup+1542.31 s] /proc/loadavg: 2.02 2.02 1.65 3/246 9986 /proc/meminfo: memFree=32030764/32770624 swapFree=5956/175600 [pid=9913] ppid=9907 vsize=36724 CPUtime=1542.08 cores=4-7,12-15 /proc/9913/stat : 9913 (MistralXCSP) R 9907 9913 9851 0 -1 4202496 27554 0 3 0 154207 1 0 0 20 0 1 0 84775 37605376 2950 33554432000 4194304 7402444 140730425424288 140730425419304 4466927 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26034176 140730425427113 140730425427262 140730425427262 140730425429961 0 /proc/9913/statm: 9181 2950 786 784 0 2195 0 Current children cumulated CPU time (s) 1542.08 Current children cumulated vsize (KiB) 36724 [startup+1602.3 s] /proc/loadavg: 2.01 2.02 1.68 3/246 9987 /proc/meminfo: memFree=32030072/32770624 swapFree=5956/175636 [pid=9913] ppid=9907 vsize=36724 CPUtime=1602.06 cores=4-7,12-15 /proc/9913/stat : 9913 (MistralXCSP) R 9907 9913 9851 0 -1 4202496 28151 0 3 0 160205 1 0 0 20 0 1 0 84775 37605376 2950 33554432000 4194304 7402444 140730425424288 140730425419304 4748146 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26034176 140730425427113 140730425427262 140730425427262 140730425429961 0 /proc/9913/statm: 9181 2950 786 784 0 2195 0 Current children cumulated CPU time (s) 1602.06 Current children cumulated vsize (KiB) 36724 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 1.70 3/248 9997 /proc/meminfo: memFree=32028928/32770624 swapFree=5956/175668 [pid=9913] ppid=9907 vsize=36724 CPUtime=1662.05 cores=4-7,12-15 /proc/9913/stat : 9913 (MistralXCSP) R 9907 9913 9851 0 -1 4202496 28753 0 3 0 166204 1 0 0 20 0 1 0 84775 37605376 2950 33554432000 4194304 7402444 140730425424288 140730425419304 4319863 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26034176 140730425427113 140730425427262 140730425427262 140730425429961 0 /proc/9913/statm: 9181 2950 786 784 0 2195 0 Current children cumulated CPU time (s) 1662.05 Current children cumulated vsize (KiB) 36724 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 1.71 3/248 9998 /proc/meminfo: memFree=32030644/32770624 swapFree=5956/175696 [pid=9913] ppid=9907 vsize=36724 CPUtime=1722.05 cores=4-7,12-15 /proc/9913/stat : 9913 (MistralXCSP) R 9907 9913 9851 0 -1 4202496 29356 0 3 0 172204 1 0 0 20 0 1 0 84775 37605376 2950 33554432000 4194304 7402444 140730425424288 140730425419304 4465465 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26034176 140730425427113 140730425427262 140730425427262 140730425429961 0 /proc/9913/statm: 9181 2950 786 784 0 2195 0 Current children cumulated CPU time (s) 1722.05 Current children cumulated vsize (KiB) 36724 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 1.73 3/248 9999 /proc/meminfo: memFree=32029852/32770624 swapFree=5956/175724 [pid=9913] ppid=9907 vsize=36724 CPUtime=1782.04 cores=4-7,12-15 /proc/9913/stat : 9913 (MistralXCSP) R 9907 9913 9851 0 -1 4202496 29955 0 3 0 178203 1 0 0 20 0 1 0 84775 37605376 2950 33554432000 4194304 7402444 140730425424288 140730425419304 5750706 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26034176 140730425427113 140730425427262 140730425427262 140730425429961 0 /proc/9913/statm: 9181 2950 786 784 0 2195 0 Current children cumulated CPU time (s) 1782.04 Current children cumulated vsize (KiB) 36724 [startup+1842.3 s] /proc/loadavg: 2.00 2.01 1.75 3/249 10001 /proc/meminfo: memFree=32030680/32770624 swapFree=5956/175752 [pid=9913] ppid=9907 vsize=36724 CPUtime=1842.03 cores=4-7,12-15 /proc/9913/stat : 9913 (MistralXCSP) R 9907 9913 9851 0 -1 4202496 30551 0 3 0 184202 1 0 0 20 0 1 0 84775 37605376 2950 33554432000 4194304 7402444 140730425424288 140730425419304 4463792 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26034176 140730425427113 140730425427262 140730425427262 140730425429961 0 /proc/9913/statm: 9181 2950 786 784 0 2195 0 Current children cumulated CPU time (s) 1842.03 Current children cumulated vsize (KiB) 36724 [startup+1902.3 s] /proc/loadavg: 2.00 2.01 1.77 3/249 10002 /proc/meminfo: memFree=32030536/32770624 swapFree=5956/175784 [pid=9913] ppid=9907 vsize=36724 CPUtime=1902.02 cores=4-7,12-15 /proc/9913/stat : 9913 (MistralXCSP) R 9907 9913 9851 0 -1 4202496 31148 0 3 0 190201 1 0 0 20 0 1 0 84775 37605376 2950 33554432000 4194304 7402444 140730425424288 140730425419304 5750730 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26034176 140730425427113 140730425427262 140730425427262 140730425429961 0 /proc/9913/statm: 9181 2950 786 784 0 2195 0 Current children cumulated CPU time (s) 1902.02 Current children cumulated vsize (KiB) 36724 [startup+1962.3 s] /proc/loadavg: 2.00 2.01 1.78 3/247 10003 /proc/meminfo: memFree=32030604/32770624 swapFree=5956/175812 [pid=9913] ppid=9907 vsize=36724 CPUtime=1962.02 cores=4-7,12-15 /proc/9913/stat : 9913 (MistralXCSP) R 9907 9913 9851 0 -1 4202496 31754 0 3 0 196201 1 0 0 20 0 1 0 84775 37605376 2950 33554432000 4194304 7402444 140730425424288 140730425419304 5696204 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26034176 140730425427113 140730425427262 140730425427262 140730425429961 0 /proc/9913/statm: 9181 2950 786 784 0 2195 0 Current children cumulated CPU time (s) 1962.02 Current children cumulated vsize (KiB) 36724 [startup+2022.3 s] /proc/loadavg: 2.08 2.04 1.80 3/247 10004 /proc/meminfo: memFree=32030696/32770624 swapFree=5956/175844 [pid=9913] ppid=9907 vsize=36724 CPUtime=2022.01 cores=4-7,12-15 /proc/9913/stat : 9913 (MistralXCSP) R 9907 9913 9851 0 -1 4202496 32352 0 3 0 202200 1 0 0 20 0 1 0 84775 37605376 2950 33554432000 4194304 7402444 140730425424288 140730425419304 4463919 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26034176 140730425427113 140730425427262 140730425427262 140730425429961 0 /proc/9913/statm: 9181 2950 786 784 0 2195 0 Current children cumulated CPU time (s) 2022.01 Current children cumulated vsize (KiB) 36724 [startup+2082.3 s] /proc/loadavg: 2.03 2.04 1.81 3/247 10005 /proc/meminfo: memFree=32030164/32770624 swapFree=5956/175864 [pid=9913] ppid=9907 vsize=36724 CPUtime=2082.01 cores=4-7,12-15 /proc/9913/stat : 9913 (MistralXCSP) R 9907 9913 9851 0 -1 4202496 32955 0 3 0 208200 1 0 0 20 0 1 0 84775 37605376 2950 33554432000 4194304 7402444 140730425424288 140730425419304 4465423 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26034176 140730425427113 140730425427262 140730425427262 140730425429961 0 /proc/9913/statm: 9181 2950 786 784 0 2195 0 Current children cumulated CPU time (s) 2082.01 Current children cumulated vsize (KiB) 36724 [startup+2142.3 s] /proc/loadavg: 2.01 2.03 1.83 3/246 10006 /proc/meminfo: memFree=32030072/32770624 swapFree=5956/175888 [pid=9913] ppid=9907 vsize=36724 CPUtime=2141.99 cores=4-7,12-15 /proc/9913/stat : 9913 (MistralXCSP) R 9907 9913 9851 0 -1 4202496 33558 0 3 0 214198 1 0 0 20 0 1 0 84775 37605376 2950 33554432000 4194304 7402444 140730425424288 140730425419304 4709507 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26034176 140730425427113 140730425427262 140730425427262 140730425429961 0 /proc/9913/statm: 9181 2950 786 784 0 2195 0 Current children cumulated CPU time (s) 2141.99 Current children cumulated vsize (KiB) 36724 [startup+2202.31 s] /proc/loadavg: 2.00 2.02 1.84 3/247 10008 /proc/meminfo: memFree=32030292/32770624 swapFree=5956/175924 [pid=9913] ppid=9907 vsize=36724 CPUtime=2201.99 cores=4-7,12-15 /proc/9913/stat : 9913 (MistralXCSP) R 9907 9913 9851 0 -1 4202496 34159 0 3 0 220198 1 0 0 20 0 1 0 84775 37605376 2950 33554432000 4194304 7402444 140730425424288 140730425419304 4463833 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26034176 140730425427113 140730425427262 140730425427262 140730425429961 0 /proc/9913/statm: 9181 2950 786 784 0 2195 0 Current children cumulated CPU time (s) 2201.99 Current children cumulated vsize (KiB) 36724 [startup+2262.3 s] /proc/loadavg: 2.00 2.02 1.85 3/247 10016 /proc/meminfo: memFree=32028516/32770624 swapFree=5956/175956 [pid=9913] ppid=9907 vsize=36724 CPUtime=2261.98 cores=4-7,12-15 /proc/9913/stat : 9913 (MistralXCSP) R 9907 9913 9851 0 -1 4202496 34761 0 3 0 226197 1 0 0 20 0 1 0 84775 37605376 2950 33554432000 4194304 7402444 140730425424288 140730425419304 4748116 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26034176 140730425427113 140730425427262 140730425427262 140730425429961 0 /proc/9913/statm: 9181 2950 786 784 0 2195 0 Current children cumulated CPU time (s) 2261.98 Current children cumulated vsize (KiB) 36724 [startup+2322.3 s] /proc/loadavg: 2.00 2.01 1.86 3/247 10017 /proc/meminfo: memFree=32030160/32770624 swapFree=5956/175984 [pid=9913] ppid=9907 vsize=36724 CPUtime=2321.97 cores=4-7,12-15 /proc/9913/stat : 9913 (MistralXCSP) R 9907 9913 9851 0 -1 4202496 35365 0 3 0 232196 1 0 0 20 0 1 0 84775 37605376 2950 33554432000 4194304 7402444 140730425424288 140730425419304 4342315 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26034176 140730425427113 140730425427262 140730425427262 140730425429961 0 /proc/9913/statm: 9181 2950 786 784 0 2195 0 Current children cumulated CPU time (s) 2321.97 Current children cumulated vsize (KiB) 36724 [startup+2382.3 s] /proc/loadavg: 2.00 2.01 1.87 3/247 10018 /proc/meminfo: memFree=32029972/32770624 swapFree=5956/176008 [pid=9913] ppid=9907 vsize=36724 CPUtime=2381.96 cores=4-7,12-15 /proc/9913/stat : 9913 (MistralXCSP) R 9907 9913 9851 0 -1 4202496 35968 0 3 0 238195 1 0 0 20 0 1 0 84775 37605376 2950 33554432000 4194304 7402444 140730425424288 140730425419304 4466601 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26034176 140730425427113 140730425427262 140730425427262 140730425429961 0 /proc/9913/statm: 9181 2950 786 784 0 2195 0 Current children cumulated CPU time (s) 2381.96 Current children cumulated vsize (KiB) 36724 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.4 s] /proc/loadavg: 2.00 2.01 1.87 3/247 10018 /proc/meminfo: memFree=32029840/32770624 swapFree=5956/176016 [pid=9913] ppid=9907 vsize=36724 CPUtime=2400.05 cores=4-7,12-15 /proc/9913/stat : 9913 (MistralXCSP) R 9907 9913 9851 0 -1 4202496 36564 0 3 0 240004 1 0 0 20 0 1 0 84775 37605376 2950 33554432000 4194304 7402444 140730425424288 140730425419304 4237748 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 26034176 140730425427113 140730425427262 140730425427262 140730425429961 0 /proc/9913/statm: 9181 2950 786 784 0 2195 0 Current children cumulated CPU time (s) 2400.05 Current children cumulated vsize (KiB) 36724 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 9913 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 2400.4 CPU time (s): 2400.07 CPU user time (s): 2400.05 CPU system time (s): 0.018997 CPU usage (%): 99.9862 Max. virtual memory (cumulated for all children) (KiB): 36724 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.05 system time used= 0.018997 maximum resident set size= 11824 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 36616 page faults= 3 swaps= 0 block input operations= 1184 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 24 involuntary context switches= 120669 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.52616 second user time and 10.9795 second system time The end
Begin job on node132 at 2017-07-21 16:42:56 IDJOB=4240900 IDBENCH=124395 IDSOLVER=2622 FILE ID=node132/4240900-1500648176 RUNJOBID= node132-1500648174-9884 PBS_JOBID= 20623288 Free space on /tmp= 61768 MiB SOLVER NAME= Mistral-2.0 2017-06-28 BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n33-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-4240900-1500648176/watcher-4240900-1500648176 -o /tmp/evaluation-result-4240900-1500648176/solver-4240900-1500648176 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500648174-9884 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 195319193 HOME/instance-4240900-1500648176.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 7965d79c566fadd70d01c63d02ba9078 RANDOM SEED=195319193 node132.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.61 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.61 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.61 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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.61 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 32078268 kB MemAvailable: 32029776 kB Buffers: 27484 kB Cached: 233960 kB SwapCached: 0 kB Active: 138620 kB Inactive: 176528 kB Active(anon): 55684 kB Inactive(anon): 8560 kB Active(file): 82936 kB Inactive(file): 167968 kB Unevictable: 5956 kB Mlocked: 5956 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 11768 kB Writeback: 0 kB AnonPages: 58684 kB Mapped: 29072 kB Shmem: 8872 kB Slab: 64356 kB SReclaimable: 32876 kB SUnreclaim: 31480 kB KernelStack: 4128 kB PageTables: 4792 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 308844 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 140672 kB DirectMap2M: 33404928 kB Free space on /tmp at the end= 61756 MiB End job on node132 at 2017-07-21 17:22:57