Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
R1: Mistral-2.0 2017-06-28 | SAT (TO) | 684 | 2400.02 | 2400.6 |
Name | Vrp/Vrp-zinc-s1/ Vrp-B-n31-k5.xml |
MD5SUM | 72502af2971f560ebaea982d6c1ff669 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 684 |
Best CPU time to get the best result obtained on this benchmark | 2400.02 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 992 |
Number of constraints | 960 |
Number of domains | 3 |
Minimum domain size | 1 |
Maximum domain size | 101 |
Distribution of domain sizes | [{"size":1,"count":31},{"size":2,"count":930},{"size":101,"count":30}] |
Minimum variable degree | 0 |
Maximum variable degree | 59 |
Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":31},{"degree":2,"count":60},{"degree":4,"count":870},{"degree":59,"count":30}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 30 |
Distribution of constraint arities | [{"arity":1,"count":30},{"arity":3,"count":870},{"arity":30,"count":60}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 30 |
Distribution of constraint types | [{"type":"intension","count":30},{"type":"sum","count":870},{"type":"count","count":60}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c Mistral-2017-06-28 0.19/0.24 o 3518 0.19/0.24 o 3412 0.19/0.24 o 3312 0.19/0.24 o 3247 0.19/0.24 o 3213 0.19/0.24 o 3126 0.19/0.25 o 3119 0.19/0.26 o 3113 0.19/0.26 o 3040 0.19/0.26 o 3013 0.59/0.68 o 2921 0.59/0.68 o 2915 0.59/0.69 o 2912 0.59/0.69 o 2819 0.69/0.70 o 2812 0.69/0.70 o 2811 0.69/0.70 o 2807 0.69/0.71 o 2790 0.69/0.71 o 2787 0.69/0.73 o 2785 0.69/0.73 o 2753 0.69/0.73 o 2715 0.69/0.74 o 2685 0.69/0.74 o 2612 0.69/0.74 o 2611 0.69/0.74 o 2588 0.69/0.74 o 2554 0.69/0.75 o 2552 0.69/0.76 o 2551 0.69/0.76 o 2550 0.69/0.76 o 2486 0.69/0.76 o 2485 0.69/0.76 o 2455 0.69/0.76 o 2418 0.69/0.77 o 2416 0.69/0.77 o 2414 0.69/0.77 o 2413 0.69/0.77 o 2412 0.69/0.77 o 2408 0.69/0.78 o 2380 0.69/0.79 o 2371 0.69/0.79 o 2370 0.79/0.81 o 2369 0.79/0.81 o 2368 0.89/0.96 o 2263 0.89/0.96 o 2261 0.99/1.06 o 2168 0.99/1.07 o 2167 1.29/1.33 o 2107 1.29/1.33 o 2106 1.29/1.34 o 2104 1.29/1.34 o 2099 1.29/1.34 o 2097 1.29/1.35 o 2011 1.29/1.38 o 1993 1.29/1.38 o 1992 1.29/1.38 o 1991 1.49/1.57 o 1897 1.49/1.57 o 1895 1.49/1.57 o 1894 1.49/1.59 o 1821 1.49/1.59 o 1817 1.49/1.59 o 1816 1.69/1.71 o 1711 1.69/1.71 o 1644 1.69/1.72 o 1636 1.69/1.74 o 1632 1.69/1.74 o 1630 1.79/1.84 o 1628 1.79/1.89 o 1626 1.79/1.89 o 1605 1.79/1.89 o 1580 1.79/1.90 o 1579 1.89/1.90 o 1576 1.89/1.90 o 1567 1.89/1.90 o 1542 1.89/1.90 o 1518 1.89/1.91 o 1488 1.89/1.94 o 1487 1.89/1.97 o 1484 1.89/1.98 o 1454 1.89/1.98 o 1453 1.89/1.98 o 1451 1.89/1.98 o 1450 1.89/1.99 o 1449 1.99/2.00 o 1445 1.99/2.00 o 1444 1.99/2.02 o 1442 2.59/2.66 o 1374 2.69/2.70 o 1373 2.69/2.70 o 1370 2.69/2.73 o 1369 2.69/2.74 o 1368 2.69/2.74 o 1362 2.69/2.74 o 1341 2.69/2.74 o 1340 2.69/2.75 o 1335 2.69/2.78 o 1331 2.79/2.80 o 1310 2.79/2.80 o 1309 2.79/2.80 o 1305 2.79/2.80 o 1289 2.79/2.87 o 1220 2.79/2.89 o 1190 2.99/3.02 o 1139 2.99/3.05 o 1116 2.99/3.05 o 1087 2.99/3.06 o 1080 2.99/3.07 o 1076 2.99/3.08 o 1073 3.19/3.21 o 1054 3.19/3.25 o 1049 3.19/3.26 o 1048 3.30/3.40 o 1044 3.40/3.41 o 1019 3.40/3.44 o 1011 3.89/3.91 o 1001 3.99/4.03 o 998 3.99/4.03 o 997 3.99/4.06 o 996 4.09/4.17 o 993 4.19/4.22 o 982 4.19/4.23 o 977 4.19/4.27 o 974 4.19/4.27 o 973 4.29/4.36 o 969 4.39/4.43 o 964 4.49/4.51 o 876 4.49/4.51 o 872 4.49/4.51 o 868 4.49/4.52 o 867 4.49/4.55 o 816 4.49/4.55 o 815 4.59/4.62 o 806 4.89/4.94 o 799 4.99/5.04 o 796 5.09/5.15 o 790 5.49/5.52 o 786 5.89/5.91 o 783 5.89/5.91 o 782 5.89/5.98 o 781 5.99/6.08 o 779 5.99/6.08 o 775 6.39/6.46 o 770 6.39/6.46 o 768 6.99/7.05 o 744 7.09/7.18 o 743 7.19/7.22 o 741 7.19/7.24 o 739 9.19/9.25 o 728 9.69/9.78 o 725 10.79/10.89 o 724 17.08/17.18 o 723 17.28/17.31 o 721 17.38/17.40 o 714 17.59/17.63 o 708 19.79/19.88 o 705 21.68/21.78 o 704 27.18/27.21 o 702 35.78/35.86 o 701 42.77/42.86 o 700 42.77/42.89 o 699 51.78/51.88 o 697 66.37/66.48 o 696 71.36/71.45 o 695 84.06/84.11 o 694 86.56/86.68 o 690 86.97/87.04 o 689 96.87/96.92 o 688 157.44/157.55 o 687 213.43/213.58 o 686 213.43/213.58 o 684 2400.00/2400.60 s SATISFIABLE 2400.00/2400.60 v <instantiation type="solution"> 2400.00/2400.60 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] </list> 2400.00/2400.60 v <values> 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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 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 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 61 65 74 92 56 83 41 10 99 73 28 46 16 62 52 94 31 78 36 100 2 59 30 25 10 100 88 10 72 19 </values> 2400.00/2400.60 v </instantiation>
OK 684
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-4240930-1500648180/watcher-4240930-1500648180 -o /tmp/evaluation-result-4240930-1500648180/solver-4240930-1500648180 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1500648176-2483 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 364049991 HOME/instance-4240930-1500648180.xml pid=2513 running on 8 cores: 0,2,4,6,8,10,12,14 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.01 0.05 3/243 2516 /proc/meminfo: memFree=32053292/32770624 swapFree=5956/193236 [pid=2516] ppid=2513 vsize=29340 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/2516/stat : 2516 (MistralXCSP) R 2513 2516 2452 0 -1 4202496 1095 0 0 0 1 0 0 0 20 0 1 0 86261 30044160 895 33554432000 4194304 7402444 140728224935584 140728224927304 6271969 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31260672 140728224937129 140728224937278 140728224937278 140728224939977 0 /proc/2516/statm: 7335 895 617 784 0 349 0 [startup+0.100124 s] /proc/loadavg: 0.00 0.01 0.05 3/243 2516 /proc/meminfo: memFree=32053292/32770624 swapFree=5956/193236 [pid=2516] ppid=2513 vsize=33844 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/2516/stat : 2516 (MistralXCSP) R 2513 2516 2452 0 -1 4202496 2376 0 0 0 9 0 0 0 20 0 1 0 86261 34656256 2097 33554432000 4194304 7402444 140728224935584 140728224928824 5949230 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31260672 140728224937129 140728224937278 140728224937278 140728224939977 0 /proc/2516/statm: 8461 2097 687 784 0 1475 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33844 [startup+0.200358 s] /proc/loadavg: 0.00 0.01 0.05 3/243 2516 /proc/meminfo: memFree=32053292/32770624 swapFree=5956/193236 [pid=2516] ppid=2513 vsize=34868 CPUtime=0.19 cores=0,2,4,6,8,10,12,14 /proc/2516/stat : 2516 (MistralXCSP) R 2513 2516 2452 0 -1 4202496 2699 0 0 0 19 0 0 0 20 0 1 0 86261 35704832 2426 33554432000 4194304 7402444 140728224935584 140728224925360 5919945 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31260672 140728224937129 140728224937278 140728224937278 140728224939977 0 /proc/2516/statm: 8717 2426 725 784 0 1731 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 34868 [startup+0.300269 s] /proc/loadavg: 0.00 0.01 0.05 3/243 2516 /proc/meminfo: memFree=32053292/32770624 swapFree=5956/193236 [pid=2516] ppid=2513 vsize=35848 CPUtime=0.29 cores=0,2,4,6,8,10,12,14 /proc/2516/stat : 2516 (MistralXCSP) R 2513 2516 2452 0 -1 4202496 3001 0 0 0 29 0 0 0 20 0 1 0 86261 36708352 2690 33554432000 4194304 7402444 140728224935584 140728224930600 4463923 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31260672 140728224937129 140728224937278 140728224937278 140728224939977 0 /proc/2516/statm: 8962 2690 770 784 0 1976 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 35848 [startup+0.700285 s] /proc/loadavg: 0.00 0.01 0.05 3/243 2516 /proc/meminfo: memFree=32053292/32770624 swapFree=5956/193236 [pid=2516] ppid=2513 vsize=35848 CPUtime=0.69 cores=0,2,4,6,8,10,12,14 /proc/2516/stat : 2516 (MistralXCSP) R 2513 2516 2452 0 -1 4202496 3001 0 0 0 69 0 0 0 20 0 1 0 86261 36708352 2690 33554432000 4194304 7402444 140728224935584 140728224930600 5750735 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31260672 140728224937129 140728224937278 140728224937278 140728224939977 0 /proc/2516/statm: 8962 2690 770 784 0 1976 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 35848 [startup+1.50028 s] /proc/loadavg: 0.00 0.01 0.05 3/244 2517 /proc/meminfo: memFree=32042644/32770624 swapFree=5956/193176 [pid=2516] ppid=2513 vsize=35848 CPUtime=1.49 cores=0,2,4,6,8,10,12,14 /proc/2516/stat : 2516 (MistralXCSP) R 2513 2516 2452 0 -1 4202496 3001 0 0 0 149 0 0 0 20 0 1 0 86261 36708352 2690 33554432000 4194304 7402444 140728224935584 140728224930600 4463923 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31260672 140728224937129 140728224937278 140728224937278 140728224939977 0 /proc/2516/statm: 8962 2690 770 784 0 1976 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 35848 [startup+3.10028 s] /proc/loadavg: 0.00 0.01 0.05 3/244 2517 /proc/meminfo: memFree=32042684/32770624 swapFree=5956/193176 [pid=2516] ppid=2513 vsize=35848 CPUtime=3.09 cores=0,2,4,6,8,10,12,14 /proc/2516/stat : 2516 (MistralXCSP) R 2513 2516 2452 0 -1 4202496 4414 0 0 0 309 0 0 0 20 0 1 0 86261 36708352 2751 33554432000 4194304 7402444 140728224935584 140728224930600 5750519 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31260672 140728224937129 140728224937278 140728224937278 140728224939977 0 /proc/2516/statm: 8962 2751 784 784 0 1976 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 35848 [startup+6.30029 s] /proc/loadavg: 0.16 0.05 0.06 3/244 2517 /proc/meminfo: memFree=32042636/32770624 swapFree=5956/193232 [pid=2516] ppid=2513 vsize=35984 CPUtime=6.29 cores=0,2,4,6,8,10,12,14 /proc/2516/stat : 2516 (MistralXCSP) R 2513 2516 2452 0 -1 4202496 5822 0 0 0 629 0 0 0 20 0 1 0 86261 36847616 2753 33554432000 4194304 7402444 140728224935584 140728224930600 4463806 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31260672 140728224937129 140728224937278 140728224937278 140728224939977 0 /proc/2516/statm: 8996 2753 786 784 0 2010 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 35984 [startup+12.7003 s] /proc/loadavg: 0.31 0.08 0.07 3/244 2517 /proc/meminfo: memFree=32043240/32770624 swapFree=5956/193240 [pid=2516] ppid=2513 vsize=35984 CPUtime=12.68 cores=0,2,4,6,8,10,12,14 /proc/2516/stat : 2516 (MistralXCSP) R 2513 2516 2452 0 -1 4202496 7236 0 0 0 1268 0 0 0 20 0 1 0 86261 36847616 2756 33554432000 4194304 7402444 140728224935584 140728224930600 4465423 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31260672 140728224937129 140728224937278 140728224937278 140728224939977 0 /proc/2516/statm: 8996 2756 786 784 0 2010 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 35984 [startup+25.5003 s] /proc/loadavg: 0.68 0.17 0.10 3/244 2517 /proc/meminfo: memFree=32044528/32770624 swapFree=5956/193256 [pid=2516] ppid=2513 vsize=35984 CPUtime=25.48 cores=0,2,4,6,8,10,12,14 /proc/2516/stat : 2516 (MistralXCSP) R 2513 2516 2452 0 -1 4202496 10022 0 0 0 2548 0 0 0 20 0 1 0 86261 36847616 2759 33554432000 4194304 7402444 140728224935584 140728224930600 4463905 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31260672 140728224937129 140728224937278 140728224937278 140728224939977 0 /proc/2516/statm: 8996 2759 786 784 0 2010 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 35984 [startup+51.1003 s] /proc/loadavg: 1.13 0.32 0.15 3/244 2517 /proc/meminfo: memFree=32045056/32770624 swapFree=5956/193292 [pid=2516] ppid=2513 vsize=35984 CPUtime=51.07 cores=0,2,4,6,8,10,12,14 /proc/2516/stat : 2516 (MistralXCSP) R 2513 2516 2452 0 -1 4202496 11470 0 0 0 5107 0 0 0 20 0 1 0 86261 36847616 2760 33554432000 4194304 7402444 140728224935584 140728224930600 4709390 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31260672 140728224937129 140728224937278 140728224937278 140728224939977 0 /proc/2516/statm: 8996 2760 786 784 0 2010 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 35984 [startup+102.3 s] /proc/loadavg: 1.62 0.58 0.25 3/245 2521 /proc/meminfo: memFree=32042756/32770624 swapFree=5956/194176 [pid=2516] ppid=2513 vsize=35984 CPUtime=102.26 cores=0,2,4,6,8,10,12,14 /proc/2516/stat : 2516 (MistralXCSP) R 2513 2516 2452 0 -1 4202496 11613 0 0 0 10226 0 0 0 20 0 1 0 86261 36847616 2761 33554432000 4194304 7402444 140728224935584 140728224930600 5696137 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31260672 140728224937129 140728224937278 140728224937278 140728224939977 0 /proc/2516/statm: 8996 2761 786 784 0 2010 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 35984 [startup+162.3 s] /proc/loadavg: 1.86 0.84 0.35 3/245 2522 /proc/meminfo: memFree=32042568/32770624 swapFree=5956/194240 [pid=2516] ppid=2513 vsize=35984 CPUtime=162.24 cores=0,2,4,6,8,10,12,14 /proc/2516/stat : 2516 (MistralXCSP) R 2513 2516 2452 0 -1 4202496 11754 0 0 0 16224 0 0 0 20 0 1 0 86261 36847616 2761 33554432000 4194304 7402444 140728224935584 140728224930600 5750448 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31260672 140728224937129 140728224937278 140728224937278 140728224939977 0 /proc/2516/statm: 8996 2761 786 784 0 2010 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 35984 [startup+222.308 s] /proc/loadavg: 1.95 1.05 0.46 3/245 2523 /proc/meminfo: memFree=32042684/32770624 swapFree=5956/194284 [pid=2516] ppid=2513 vsize=35984 CPUtime=222.23 cores=0,2,4,6,8,10,12,14 /proc/2516/stat : 2516 (MistralXCSP) R 2513 2516 2452 0 -1 4202496 11895 0 0 0 22223 0 0 0 20 0 1 0 86261 36847616 2761 33554432000 4194304 7402444 140728224935584 140728224930600 5871079 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31260672 140728224937129 140728224937278 140728224937278 140728224939977 0 /proc/2516/statm: 8996 2761 786 784 0 2010 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 35984 [startup+282.3 s] /proc/loadavg: 2.02 1.24 0.56 3/245 2524 /proc/meminfo: memFree=32042488/32770624 swapFree=5956/194312 [pid=2516] ppid=2513 vsize=35984 CPUtime=282.21 cores=0,2,4,6,8,10,12,14 /proc/2516/stat : 2516 (MistralXCSP) R 2513 2516 2452 0 -1 4202496 12025 0 0 0 28221 0 0 0 20 0 1 0 86261 36847616 2762 33554432000 4194304 7402444 140728224935584 140728224930600 4467238 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31260672 140728224937129 140728224937278 140728224937278 140728224939977 0 /proc/2516/statm: 8996 2762 786 784 0 2010 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 35984 [startup+342.3 s] /proc/loadavg: 2.06 1.39 0.65 3/243 2525 /proc/meminfo: memFree=32042952/32770624 swapFree=5956/194388 [pid=2516] ppid=2513 vsize=35984 CPUtime=342.19 cores=0,2,4,6,8,10,12,14 /proc/2516/stat : 2516 (MistralXCSP) R 2513 2516 2452 0 -1 4202496 12156 0 0 0 34219 0 0 0 20 0 1 0 86261 36847616 2762 33554432000 4194304 7402444 140728224935584 140728224930600 5750450 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31260672 140728224937129 140728224937278 140728224937278 140728224939977 0 /proc/2516/statm: 8996 2762 786 784 0 2010 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 35984 [startup+402.3 s] /proc/loadavg: 2.02 1.50 0.74 3/242 2526 /proc/meminfo: memFree=32042688/32770624 swapFree=5956/194420 [pid=2516] ppid=2513 vsize=35984 CPUtime=402.18 cores=0,2,4,6,8,10,12,14 /proc/2516/stat : 2516 (MistralXCSP) R 2513 2516 2452 0 -1 4202496 12289 0 0 0 40218 0 0 0 20 0 1 0 86261 36847616 2762 33554432000 4194304 7402444 140728224935584 140728224930600 4466976 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31260672 140728224937129 140728224937278 140728224937278 140728224939977 0 /proc/2516/statm: 8996 2762 786 784 0 2010 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 35984 [startup+462.3 s] /proc/loadavg: 2.01 1.59 0.82 3/243 2535 /proc/meminfo: memFree=32042168/32770624 swapFree=5956/194480 [pid=2516] ppid=2513 vsize=35984 CPUtime=462.16 cores=0,2,4,6,8,10,12,14 /proc/2516/stat : 2516 (MistralXCSP) R 2513 2516 2452 0 -1 4202496 12421 0 0 0 46216 0 0 0 20 0 1 0 86261 36847616 2762 33554432000 4194304 7402444 140728224935584 140728224930600 4709584 0 0 4096 16386 0 0 0 17 12 0 0 0 0 0 9500608 9505824 31260672 140728224937129 140728224937278 140728224937278 140728224939977 0 /proc/2516/statm: 8996 2762 786 784 0 2010 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 35984 [startup+522.3 s] /proc/loadavg: 2.00 1.67 0.89 3/243 2536 /proc/meminfo: memFree=32042540/32770624 swapFree=5956/194500 [pid=2516] ppid=2513 vsize=35984 CPUtime=522.15 cores=0,2,4,6,8,10,12,14 /proc/2516/stat : 2516 (MistralXCSP) R 2513 2516 2452 0 -1 4202496 12555 0 0 0 52215 0 0 0 20 0 1 0 86261 36847616 2762 33554432000 4194304 7402444 140728224935584 140728224930600 5750742 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 31260672 140728224937129 140728224937278 140728224937278 140728224939977 0 /proc/2516/statm: 8996 2762 786 784 0 2010 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 35984 [startup+582.3 s] /proc/loadavg: 2.00 1.73 0.96 3/243 2537 /proc/meminfo: memFree=32042188/32770624 swapFree=5956/194532 [pid=2516] ppid=2513 vsize=35984 CPUtime=582.13 cores=0,2,4,6,8,10,12,14 /proc/2516/stat : 2516 (MistralXCSP) R 2513 2516 2452 0 -1 4202496 12680 0 0 0 58213 0 0 0 20 0 1 0 86261 36847616 2762 33554432000 4194304 7402444 140728224935584 140728224930600 4463914 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 31260672 140728224937129 140728224937278 140728224937278 140728224939977 0 /proc/2516/statm: 8996 2762 786 784 0 2010 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 35984 ################ # More data... # ################ [startup+1482.3 s] /proc/loadavg: 2.00 1.99 1.61 3/242 2583 /proc/meminfo: memFree=32039132/32770624 swapFree=5956/195068 [pid=2516] ppid=2513 vsize=35984 CPUtime=1481.92 cores=0,2,4,6,8,10,12,14 /proc/2516/stat : 2516 (MistralXCSP) R 2513 2516 2452 0 -1 4202496 14643 0 0 0 148191 1 0 0 20 0 1 0 86261 36847616 2762 33554432000 4194304 7402444 140728224935584 140728224930600 5750759 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 31260672 140728224937129 140728224937278 140728224937278 140728224939977 0 /proc/2516/statm: 8996 2762 786 784 0 2010 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 35984 [startup+1542.31 s] /proc/loadavg: 2.00 1.99 1.63 3/242 2584 /proc/meminfo: memFree=32038948/32770624 swapFree=5956/195096 [pid=2516] ppid=2513 vsize=35984 CPUtime=1541.92 cores=0,2,4,6,8,10,12,14 /proc/2516/stat : 2516 (MistralXCSP) R 2513 2516 2452 0 -1 4202496 14771 0 0 0 154191 1 0 0 20 0 1 0 86261 36847616 2762 33554432000 4194304 7402444 140728224935584 140728224930600 5696140 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 31260672 140728224937129 140728224937278 140728224937278 140728224939977 0 /proc/2516/statm: 8996 2762 786 784 0 2010 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 35984 [startup+1602.3 s] /proc/loadavg: 2.00 1.99 1.66 3/242 2585 /proc/meminfo: memFree=32039748/32770624 swapFree=5956/195140 [pid=2516] ppid=2513 vsize=35984 CPUtime=1601.89 cores=0,2,4,6,8,10,12,14 /proc/2516/stat : 2516 (MistralXCSP) R 2513 2516 2452 0 -1 4202496 14909 0 0 0 160188 1 0 0 20 0 1 0 86261 36847616 2762 33554432000 4194304 7402444 140728224935584 140728224930600 5696137 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 31260672 140728224937129 140728224937278 140728224937278 140728224939977 0 /proc/2516/statm: 8996 2762 786 784 0 2010 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 35984 [startup+1662.3 s] /proc/loadavg: 2.00 1.99 1.68 3/243 2594 /proc/meminfo: memFree=32039336/32770624 swapFree=5956/195180 [pid=2516] ppid=2513 vsize=35984 CPUtime=1661.88 cores=0,2,4,6,8,10,12,14 /proc/2516/stat : 2516 (MistralXCSP) R 2513 2516 2452 0 -1 4202496 15035 0 0 0 166187 1 0 0 20 0 1 0 86261 36847616 2762 33554432000 4194304 7402444 140728224935584 140728224930600 4747176 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 31260672 140728224937129 140728224937278 140728224937278 140728224939977 0 /proc/2516/statm: 8996 2762 786 784 0 2010 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 35984 [startup+1722.3 s] /proc/loadavg: 2.00 1.99 1.70 3/243 2595 /proc/meminfo: memFree=32039464/32770624 swapFree=5956/195208 [pid=2516] ppid=2513 vsize=35984 CPUtime=1721.86 cores=0,2,4,6,8,10,12,14 /proc/2516/stat : 2516 (MistralXCSP) R 2513 2516 2452 0 -1 4202496 15168 0 0 0 172185 1 0 0 20 0 1 0 86261 36847616 2762 33554432000 4194304 7402444 140728224935584 140728224930600 4465423 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 31260672 140728224937129 140728224937278 140728224937278 140728224939977 0 /proc/2516/statm: 8996 2762 786 784 0 2010 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 35984 [startup+1782.3 s] /proc/loadavg: 2.05 2.00 1.72 3/243 2596 /proc/meminfo: memFree=32039484/32770624 swapFree=5956/195240 [pid=2516] ppid=2513 vsize=35984 CPUtime=1781.85 cores=0,2,4,6,8,10,12,14 /proc/2516/stat : 2516 (MistralXCSP) R 2513 2516 2452 0 -1 4202496 15306 0 0 0 178184 1 0 0 20 0 1 0 86261 36847616 2762 33554432000 4194304 7402444 140728224935584 140728224930600 4463889 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 31260672 140728224937129 140728224937278 140728224937278 140728224939977 0 /proc/2516/statm: 8996 2762 786 784 0 2010 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 35984 [startup+1842.3 s] /proc/loadavg: 2.08 2.02 1.74 3/243 2597 /proc/meminfo: memFree=32039192/32770624 swapFree=5956/195268 [pid=2516] ppid=2513 vsize=35984 CPUtime=1841.84 cores=0,2,4,6,8,10,12,14 /proc/2516/stat : 2516 (MistralXCSP) R 2513 2516 2452 0 -1 4202496 15440 0 0 0 184183 1 0 0 20 0 1 0 86261 36847616 2762 33554432000 4194304 7402444 140728224935584 140728224930600 5750742 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 31260672 140728224937129 140728224937278 140728224937278 140728224939977 0 /proc/2516/statm: 8996 2762 786 784 0 2010 0 Current children cumulated CPU time (s) 1841.84 Current children cumulated vsize (KiB) 35984 [startup+1902.3 s] /proc/loadavg: 2.03 2.01 1.76 3/243 2598 /proc/meminfo: memFree=32038892/32770624 swapFree=5956/195316 [pid=2516] ppid=2513 vsize=35984 CPUtime=1901.82 cores=0,2,4,6,8,10,12,14 /proc/2516/stat : 2516 (MistralXCSP) R 2513 2516 2452 0 -1 4202496 15574 0 0 0 190181 1 0 0 20 0 1 0 86261 36847616 2762 33554432000 4194304 7402444 140728224935584 140728224930600 5750740 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 31260672 140728224937129 140728224937278 140728224937278 140728224939977 0 /proc/2516/statm: 8996 2762 786 784 0 2010 0 Current children cumulated CPU time (s) 1901.82 Current children cumulated vsize (KiB) 35984 [startup+1962.3 s] /proc/loadavg: 2.01 2.01 1.78 3/242 2599 /proc/meminfo: memFree=32038672/32770624 swapFree=5956/195288 [pid=2516] ppid=2513 vsize=35984 CPUtime=1961.81 cores=0,2,4,6,8,10,12,14 /proc/2516/stat : 2516 (MistralXCSP) R 2513 2516 2452 0 -1 4202496 15699 0 0 0 196180 1 0 0 20 0 1 0 86261 36847616 2762 33554432000 4194304 7402444 140728224935584 140728224930600 5750740 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 31260672 140728224937129 140728224937278 140728224937278 140728224939977 0 /proc/2516/statm: 8996 2762 786 784 0 2010 0 Current children cumulated CPU time (s) 1961.81 Current children cumulated vsize (KiB) 35984 [startup+2022.3 s] /proc/loadavg: 2.00 2.01 1.79 3/242 2600 /proc/meminfo: memFree=32039984/32770624 swapFree=5956/195316 [pid=2516] ppid=2513 vsize=35984 CPUtime=2021.79 cores=0,2,4,6,8,10,12,14 /proc/2516/stat : 2516 (MistralXCSP) R 2513 2516 2452 0 -1 4202496 15826 0 0 0 202178 1 0 0 20 0 1 0 86261 36847616 2762 33554432000 4194304 7402444 140728224935584 140728224930600 4465470 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 31260672 140728224937129 140728224937278 140728224937278 140728224939977 0 /proc/2516/statm: 8996 2762 786 784 0 2010 0 Current children cumulated CPU time (s) 2021.79 Current children cumulated vsize (KiB) 35984 [startup+2082.3 s] /proc/loadavg: 2.00 2.01 1.80 3/242 2601 /proc/meminfo: memFree=32039436/32770624 swapFree=5956/195344 [pid=2516] ppid=2513 vsize=35984 CPUtime=2081.79 cores=0,2,4,6,8,10,12,14 /proc/2516/stat : 2516 (MistralXCSP) R 2513 2516 2452 0 -1 4202496 15966 0 0 0 208178 1 0 0 20 0 1 0 86261 36847616 2762 33554432000 4194304 7402444 140728224935584 140728224930600 4463905 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 31260672 140728224937129 140728224937278 140728224937278 140728224939977 0 /proc/2516/statm: 8996 2762 786 784 0 2010 0 Current children cumulated CPU time (s) 2081.79 Current children cumulated vsize (KiB) 35984 [startup+2142.3 s] /proc/loadavg: 2.00 2.01 1.81 3/242 2602 /proc/meminfo: memFree=32039384/32770624 swapFree=5956/195372 [pid=2516] ppid=2513 vsize=35984 CPUtime=2141.76 cores=0,2,4,6,8,10,12,14 /proc/2516/stat : 2516 (MistralXCSP) R 2513 2516 2452 0 -1 4202496 16100 0 0 0 214175 1 0 0 20 0 1 0 86261 36847616 2762 33554432000 4194304 7402444 140728224935584 140728224930600 4463814 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 31260672 140728224937129 140728224937278 140728224937278 140728224939977 0 /proc/2516/statm: 8996 2762 786 784 0 2010 0 Current children cumulated CPU time (s) 2141.76 Current children cumulated vsize (KiB) 35984 [startup+2202.31 s] /proc/loadavg: 2.00 2.01 1.82 3/242 2603 /proc/meminfo: memFree=32039404/32770624 swapFree=5956/195412 [pid=2516] ppid=2513 vsize=35984 CPUtime=2201.76 cores=0,2,4,6,8,10,12,14 /proc/2516/stat : 2516 (MistralXCSP) R 2513 2516 2452 0 -1 4202496 16234 0 0 0 220175 1 0 0 20 0 1 0 86261 36847616 2762 33554432000 4194304 7402444 140728224935584 140728224930600 5750706 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 31260672 140728224937129 140728224937278 140728224937278 140728224939977 0 /proc/2516/statm: 8996 2762 786 784 0 2010 0 Current children cumulated CPU time (s) 2201.76 Current children cumulated vsize (KiB) 35984 [startup+2262.3 s] /proc/loadavg: 2.05 2.03 1.84 3/243 2612 /proc/meminfo: memFree=32039072/32770624 swapFree=5956/195436 [pid=2516] ppid=2513 vsize=35984 CPUtime=2261.73 cores=0,2,4,6,8,10,12,14 /proc/2516/stat : 2516 (MistralXCSP) R 2513 2516 2452 0 -1 4202496 16368 0 0 0 226172 1 0 0 20 0 1 0 86261 36847616 2762 33554432000 4194304 7402444 140728224935584 140728224930600 4463914 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 31260672 140728224937129 140728224937278 140728224937278 140728224939977 0 /proc/2516/statm: 8996 2762 786 784 0 2010 0 Current children cumulated CPU time (s) 2261.73 Current children cumulated vsize (KiB) 35984 [startup+2322.3 s] /proc/loadavg: 2.09 2.04 1.86 3/243 2613 /proc/meminfo: memFree=32039440/32770624 swapFree=5956/195460 [pid=2516] ppid=2513 vsize=35984 CPUtime=2321.72 cores=0,2,4,6,8,10,12,14 /proc/2516/stat : 2516 (MistralXCSP) R 2513 2516 2452 0 -1 4202496 16496 0 0 0 232171 1 0 0 20 0 1 0 86261 36847616 2762 33554432000 4194304 7402444 140728224935584 140728224930600 4463647 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 31260672 140728224937129 140728224937278 140728224937278 140728224939977 0 /proc/2516/statm: 8996 2762 786 784 0 2010 0 Current children cumulated CPU time (s) 2321.72 Current children cumulated vsize (KiB) 35984 [startup+2382.3 s] /proc/loadavg: 2.03 2.03 1.87 3/243 2614 /proc/meminfo: memFree=32039696/32770624 swapFree=5956/195488 [pid=2516] ppid=2513 vsize=35984 CPUtime=2381.71 cores=0,2,4,6,8,10,12,14 /proc/2516/stat : 2516 (MistralXCSP) R 2513 2516 2452 0 -1 4202496 16633 0 0 0 238170 1 0 0 20 0 1 0 86261 36847616 2762 33554432000 4194304 7402444 140728224935584 140728224930600 5696137 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 31260672 140728224937129 140728224937278 140728224937278 140728224939977 0 /proc/2516/statm: 8996 2762 786 784 0 2010 0 Current children cumulated CPU time (s) 2381.71 Current children cumulated vsize (KiB) 35984 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.6 s] /proc/loadavg: 2.02 2.03 1.87 2/238 2622 /proc/meminfo: memFree=32071584/32770624 swapFree=5956/195868 [pid=2516] ppid=2513 vsize=35984 CPUtime=2400 cores=0,2,4,6,8,10,12,14 /proc/2516/stat : 2516 (MistralXCSP) R 2513 2516 2452 0 -1 4202496 16760 0 0 0 239999 1 0 0 20 0 1 0 86261 36847616 2762 33554432000 4194304 7402444 140728224935584 140728224930600 4465423 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9500608 9505824 31260672 140728224937129 140728224937278 140728224937278 140728224939977 0 /proc/2516/statm: 8996 2762 786 784 0 2010 0 Current children cumulated CPU time (s) 2400 Current children cumulated vsize (KiB) 35984 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 2516 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 2400.6 CPU time (s): 2400.02 CPU user time (s): 2400 CPU system time (s): 0.018995 CPU usage (%): 99.9756 Max. virtual memory (cumulated for all children) (KiB): 35984 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400 system time used= 0.018995 maximum resident set size= 11072 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16797 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= 123770 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.07347 second user time and 11.2239 second system time The end
Begin job on node120 at 2017-07-21 16:43:00 IDJOB=4240930 IDBENCH=124448 IDSOLVER=2622 FILE ID=node120/4240930-1500648180 RUNJOBID= node120-1500648176-2483 PBS_JOBID= 20623299 Free space on /tmp= 61992 MiB SOLVER NAME= Mistral-2.0 2017-06-28 BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n31-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-4240930-1500648180/watcher-4240930-1500648180 -o /tmp/evaluation-result-4240930-1500648180/solver-4240930-1500648180 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1500648176-2483 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 364049991 HOME/instance-4240930-1500648180.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 72502af2971f560ebaea982d6c1ff669 RANDOM SEED=364049991 node120.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.45 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 : 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 : 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 : 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.45 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 : 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 : 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 : 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.45 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 : 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 : 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.45 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 : 1600.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.45 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 : 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 : 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 : 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.45 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 : 2668.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 : 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 : 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.45 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 : 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 : 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 : 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.45 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: 32054180 kB MemAvailable: 32004476 kB Buffers: 26452 kB Cached: 238424 kB SwapCached: 0 kB Active: 143088 kB Inactive: 201780 kB Active(anon): 83808 kB Inactive(anon): 8544 kB Active(file): 59280 kB Inactive(file): 193236 kB Unevictable: 5956 kB Mlocked: 5956 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 11452 kB Writeback: 0 kB AnonPages: 87260 kB Mapped: 30092 kB Shmem: 8840 kB Slab: 56892 kB SReclaimable: 27228 kB SUnreclaim: 29664 kB KernelStack: 4048 kB PageTables: 4756 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 357944 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 61984 MiB End job on node120 at 2017-07-21 17:23:01