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) | 4280744 | 2400.02 | 2400.9 |
| Name | QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-ste36c.xml |
| MD5SUM | d05a87fa530094a27b230f4f9ca3d0a8 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 4280744 |
| Best CPU time to get the best result obtained on this benchmark | 2400.02 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1332 |
| Number of constraints | 631 |
| Number of domains | 2 |
| Minimum domain size | 36 |
| Maximum domain size | 44 |
| Distribution of domain sizes | [{"size":36,"count":36},{"size":44,"count":630}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 36 |
| Distribution of variable degrees | [{"degree":0,"count":666},{"degree":2,"count":630},{"degree":36,"count":36}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 36 |
| Distribution of constraint arities | [{"arity":3,"count":630},{"arity":36,"count":1}] |
| Number of extensional constraints | 630 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":630},{"type":"allDifferent","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c Mistral-2017-06-28 0.39/0.40 o 10246458 0.39/0.41 o 10242660 0.39/0.48 o 10212387 0.59/0.61 o 10127565 0.59/0.61 o 9808150 0.59/0.62 o 9803514 0.59/0.63 o 9792765 0.59/0.63 o 9742174 0.59/0.64 o 9708932 0.59/0.64 o 9661858 0.79/0.84 o 9631882 0.79/0.84 o 9414249 0.79/0.84 o 9363727 0.79/0.84 o 9349107 0.79/0.85 o 9343337 0.79/0.85 o 9309233 0.79/0.86 o 9194221 0.79/0.89 o 9174804 0.79/0.89 o 9148730 1.29/1.33 o 9111574 1.29/1.33 o 9085698 1.49/1.54 o 9079629 1.49/1.57 o 9068754 2.08/2.10 o 9058708 2.29/2.37 o 8861095 2.29/2.38 o 8841390 3.08/3.10 o 8831612 3.18/3.28 o 8812973 3.39/3.49 o 8750538 3.49/3.50 o 8735514 3.79/3.81 o 8727134 3.99/4.07 o 8686340 3.99/4.08 o 8630446 3.99/4.08 o 8581942 3.99/4.08 o 8512350 3.99/4.09 o 8452783 4.08/4.13 o 8359860 4.89/4.96 o 8323013 5.79/5.81 o 8071899 5.79/5.82 o 8063647 5.79/5.88 o 7948839 5.79/5.89 o 7810967 5.89/5.94 o 7807362 6.09/6.11 o 7764313 6.09/6.14 o 7763171 6.39/6.48 o 7628406 6.59/6.70 o 7618388 7.29/7.37 o 7598255 7.29/7.38 o 7592736 7.58/7.66 o 7584053 7.69/7.71 o 7563565 7.79/7.89 o 7534019 7.88/7.93 o 7506509 8.68/8.78 o 7351534 8.68/8.78 o 7156300 8.68/8.79 o 7131328 8.68/8.79 o 6981653 9.89/9.99 o 6966015 9.89/10.00 o 6956493 10.08/10.19 o 6939707 10.39/10.42 o 6907824 10.69/10.71 o 6901300 10.69/10.71 o 6886109 10.89/10.90 o 6868259 12.49/12.59 o 6791839 12.59/12.64 o 6776958 12.99/13.10 o 6773838 13.09/13.14 o 6757741 13.38/13.46 o 6743846 13.98/14.05 o 6677788 14.48/14.51 o 6672846 14.48/14.52 o 6580176 14.48/14.52 o 6576630 15.18/15.23 o 6562984 16.18/16.21 o 6555602 16.18/16.25 o 6528630 16.38/16.48 o 6524365 17.08/17.14 o 6508793 17.18/17.27 o 6493737 21.38/21.45 o 6471255 22.18/22.29 o 6470023 25.68/25.74 o 6452826 26.28/26.32 o 6417978 26.49/26.59 o 6414972 26.68/26.79 o 6411533 26.68/26.79 o 6394797 27.18/27.28 o 6375711 27.38/27.49 o 6347443 27.38/27.49 o 6330959 29.28/29.32 o 6315579 29.28/29.32 o 6300591 30.28/30.39 o 6298654 30.58/30.68 o 6284819 30.58/30.69 o 6245307 30.58/30.69 o 6224323 30.98/31.01 o 6210613 31.18/31.20 o 6203084 31.18/31.21 o 6200178 31.18/31.22 o 6184758 33.18/33.27 o 6172994 33.18/33.28 o 6171262 35.68/35.72 o 6165132 38.28/38.36 o 6157953 38.38/38.43 o 6147497 47.87/47.93 o 6121845 51.56/51.60 o 6114436 54.56/54.62 o 5995620 66.75/66.84 o 5991766 67.45/67.52 o 5966856 70.46/70.55 o 5448997 70.66/70.70 o 5448065 70.66/70.74 o 5404768 70.66/70.74 o 5370657 71.76/71.82 o 5367357 71.96/72.07 o 5361716 71.96/72.08 o 5350948 71.96/72.08 o 5345838 73.55/73.68 o 5339492 73.66/73.71 o 5319864 73.95/74.09 o 5287817 74.05/74.13 o 5240602 74.05/74.13 o 5201194 74.15/74.23 o 5121642 74.76/74.83 o 5121257 74.76/74.87 o 5094875 74.95/75.08 o 5090052 75.05/75.12 o 5066729 75.05/75.13 o 5029604 75.96/76.07 o 4989844 78.75/78.85 o 4982799 92.45/92.55 o 4982036 92.64/92.77 o 4951038 94.33/94.45 o 4918239 109.52/109.67 o 4917644 111.03/111.17 o 4889913 142.49/142.62 o 4881772 142.49/142.62 o 4669195 144.58/144.70 o 4663145 147.88/148.08 o 4656963 152.88/153.01 o 4634534 196.76/196.95 o 4625007 202.05/202.24 o 4613613 202.85/203.06 o 4605589 688.17/688.51 o 4558781 688.17/688.52 o 4528692 693.77/694.20 o 4518648 859.52/859.99 o 4490461 863.32/863.70 o 4489700 863.32/863.71 o 4488079 975.59/976.06 o 4482971 986.39/986.84 o 4470664 1004.38/1004.87 o 4468145 1031.97/1032.43 o 4466542 1031.97/1032.44 o 4442269 1108.24/1108.76 o 4368471 1334.36/1334.99 o 4361175 1337.36/1337.93 o 4346503 1341.76/1342.38 o 4315865 1341.86/1342.44 o 4314599 1341.86/1342.44 o 4287251 1342.46/1343.01 o 4280744 2400.01/2400.90 s SATISFIABLE 2400.01/2400.90 v <instantiation type="solution"> 2400.01/2400.90 v <list> x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][30] d[0][31] d[0][32] d[0][33] d[0][34] d[0][35] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][30] d[1][31] d[1][32] d[1][33] d[1][34] d[1][35] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[2][30] d[2][31] d[2][32] d[2][33] d[2][34] d[2][35] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][30] d[3][31] d[3][32] d[3][33] d[3][34] d[3][35] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28] d[4][29] d[4][30] d[4][31] d[4][32] d[4][33] d[4][34] d[4][35] d[5][0] d[5][1] d[5][2] d[5][3] d[5][4] d[5][5] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][30] d[5][31] d[5][32] d[5][33] d[5][34] d[5][35] d[6][0] d[6][1] d[6][2] d[6][3] d[6][4] d[6][5] d[6][6] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][30] d[6][31] d[6][32] d[6][33] d[6][34] d[6][35] d[7][0] d[7][1] d[7][2] d[7][3] d[7][4] d[7][5] d[7][6] d[7][7] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[7][30] d[7][31] d[7][32] d[7][33] d[7][34] d[7][35] d[8][0] d[8][1] d[8][2] d[8][3] d[8][4] d[8][5] d[8][6] d[8][7] d[8][8] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][30] d[8][31] d[8][32] d[8][33] d[8][34] d[8][35] d[9][0] d[9][1] d[9][2] d[9][3] d[9][4] d[9][5] d[9][6] d[9][7] d[9][8] d[9][9] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][30] d[9][31] d[9][32] d[9][33] d[9][34] d[9][35] d[10][0] d[10][1] d[10][2] d[10][3] d[10][4] d[10][5] d[10][6] d[10][7] d[10][8] d[10][9] d[10][10] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][30] d[10][31] d[10][32] d[10][33] d[10][34] d[10][35] d[11][0] d[11][1] d[11][2] d[11][3] d[11][4] d[11][5] d[11][6] d[11][7] d[11][8] d[11][9] d[11][10] d[11][11] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][30] d[11][31] d[11][32] d[11][33] d[11][34] d[11][35] d[12][0] d[12][1] d[12][2] d[12][3] d[12][4] d[12][5] d[12][6] d[12][7] d[12][8] d[12][9] d[12][10] d[12][11] d[12][12] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][30] d[12][31] d[12][32] d[12][33] d[12][34] d[12][35] d[13][0] d[13][1] d[13][2] d[13][3] d[13][4] d[13][5] d[13][6] d[13][7] d[13][8] d[13][9] d[13][10] d[13][11] d[13][12] d[13][13] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][30] d[13][31] d[13][32] d[13][33] d[13][34] d[13][35] d[14][0] d[14][1] d[14][2] d[14][3] d[14][4] d[14][5] d[14][6] d[14][7] d[14][8] d[14][9] d[14][10] d[14][11] d[14][12] d[14][13] d[14][14] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][30] d[14][31] d[14][32] d[14][33] d[14][34] d[14][35] d[15][0] d[15][1] d[15][2] d[15][3] d[15][4] d[15][5] d[15][6] d[15][7] d[15][8] d[15][9] d[15][10] d[15][11] d[15][12] d[15][13] d[15][14] d[15][15] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][30] d[15][31] d[15][32] d[15][33] d[15][34] d[15][35] d[16][0] d[16][1] d[16][2] d[16][3] d[16][4] d[16][5] d[16][6] d[16][7] d[16][8] d[16][9] d[16][10] d[16][11] d[16][12] d[16][13] d[16][14] d[16][15] d[16][16] d[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][30] d[16][31] d[16][32] d[16][33] d[16][34] d[16][35] d[17][0] d[17][1] d[17][2] d[17][3] d[17][4] d[17][5] d[17][6] d[17][7] d[17][8] d[17][9] d[17][10] d[17][11] d[17][12] d[17][13] d[17][14] d[17][15] d[17][16] d[17][17] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][30] d[17][31] d[17][32] d[17][33] d[17][34] d[17][35] d[18][0] d[18][1] d[18][2] d[18][3] d[18][4] d[18][5] d[18][6] d[18][7] d[18][8] d[18][9] d[18][10] d[18][11] d[18][12] d[18][13] d[18][14] d[18][15] d[18][16] d[18][17] d[18][18] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][30] d[18][31] d[18][32] d[18][33] d[18][34] d[18][35] d[19][0] d[19][1] d[19][2] d[19][3] d[19][4] d[19][5] d[19][6] d[19][7] d[19][8] d[19][9] d[19][10] d[19][11] d[19][12] d[19][13] d[19][14] d[19][15] d[19][16] d[19][17] d[19][18] d[19][19] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][30] d[19][31] d[19][32] d[19][33] d[19][34] d[19][35] d[20][0] d[20][1] d[20][2] d[20][3] d[20][4] d[20][5] d[20][6] d[20][7] d[20][8] d[20][9] d[20][10] d[20][11] d[20][12] d[20][13] d[20][14] d[20][15] d[20][16] d[20][17] d[20][18] d[20][19] d[20][20] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][30] d[20][31] d[20][32] d[20][33] d[20][34] d[20][35] d[21][0] d[21][1] d[21][2] d[21][3] d[21][4] d[21][5] d[21][6] d[21][7] d[21][8] d[21][9] d[21][10] d[21][11] d[21][12] d[21][13] d[21][14] d[21][15] d[21][16] d[21][17] d[21][18] d[21][19] d[21][20] d[21][21] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][30] d[21][31] d[21][32] d[21][33] d[21][34] d[21][35] d[22][0] d[22][1] d[22][2] d[22][3] d[22][4] d[22][5] d[22][6] d[22][7] d[22][8] d[22][9] d[22][10] d[22][11] d[22][12] d[22][13] d[22][14] d[22][15] d[22][16] d[22][17] d[22][18] d[22][19] d[22][20] d[22][21] d[22][22] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][30] d[22][31] d[22][32] d[22][33] d[22][34] d[22][35] d[23][0] d[23][1] d[23][2] d[23][3] d[23][4] d[23][5] d[23][6] d[23][7] d[23][8] d[23][9] d[23][10] d[23][11] d[23][12] d[23][13] d[23][14] d[23][15] d[23][16] d[23][17] d[23][18] d[23][19] d[23][20] d[23][21] d[23][22] d[23][23] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][30] d[23][31] d[23][32] d[23][33] d[23][34] d[23][35] d[24][0] d[24][1] d[24][2] d[24][3] d[24][4] d[24][5] d[24][6] d[24][7] d[24][8] d[24][9] d[24][10] d[24][11] d[24][12] d[24][13] d[24][14] d[24][15] d[24][16] d[24][17] d[24][18] d[24][19] d[24][20] d[24][21] d[24][22] d[24][23] d[24][24] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][30] d[24][31] d[24][32] d[24][33] d[24][34] d[24][35] d[25][0] d[25][1] d[25][2] d[25][3] d[25][4] d[25][5] d[25][6] d[25][7] d[25][8] d[25][9] d[25][10] d[25][11] d[25][12] d[25][13] d[25][14] d[25][15] d[25][16] d[25][17] d[25][18] d[25][19] d[25][20] d[25][21] d[25][22] d[25][23] d[25][24] d[25][25] d[25][26] d[25][27] d[25][28] d[25][29] d[25][30] d[25][31] d[25][32] d[25][33] d[25][34] d[25][35] d[26][0] d[26][1] d[26][2] d[26][3] d[26][4] d[26][5] d[26][6] d[26][7] d[26][8] d[26][9] d[26][10] d[26][11] d[26][12] d[26][13] d[26][14] d[26][15] d[26][16] d[26][17] d[26][18] d[26][19] d[26][20] d[26][21] d[26][22] d[26][23] d[26][24] d[26][25] d[26][26] d[26][27] d[26][28] d[26][29] d[26][30] d[26][31] d[26][32] d[26][33] d[26][34] d[26][35] d[27][0] d[27][1] d[27][2] d[27][3] d[27][4] d[27][5] d[27][6] d[27][7] d[27][8] d[27][9] d[27][10] d[27][11] d[27][12] d[27][13] d[27][14] d[27][15] d[27][16] d[27][17] d[27][18] d[27][19] d[27][20] d[27][21] d[27][22] d[27][23] d[27][24] d[27][25] d[27][26] d[27][27] d[27][28] d[27][29] d[27][30] d[27][31] d[27][32] d[27][33] d[27][34] d[27][35] d[28][0] d[28][1] d[28][2] d[28][3] d[28][4] d[28][5] d[28][6] d[28][7] d[28][8] d[28][9] d[28][10] d[28][11] d[28][12] d[28][13] d[28][14] d[28][15] d[28][16] d[28][17] d[28][18] d[28][19] d[28][20] d[28][21] d[28][22] d[28][23] d[28][24] d[28][25] d[28][26] d[28][27] d[28][28] d[28][29] d[28][30] d[28][31] d[28][32] d[28][33] d[28][34] d[28][35] d[29][0] d[29][1] d[29][2] d[29][3] d[29][4] d[29][5] d[29][6] d[29][7] d[29][8] d[29][9] d[29][10] d[29][11] d[29][12] d[29][13] d[29][14] d[29][15] d[29][16] d[29][17] d[29][18] d[29][19] d[29][20] d[29][21] d[29][22] d[29][23] d[29][24] d[29][25] d[29][26] d[29][27] d[29][28] d[29][29] d[29][30] d[29][31] d[29][32] d[29][33] d[29][34] d[29][35] d[30][0] d[30][1] d[30][2] d[30][3] d[30][4] d[30][5] d[30][6] d[30][7] d[30][8] d[30][9] d[30][10] d[30][11] d[30][12] d[30][13] d[30][14] d[30][15] d[30][16] d[30][17] d[30][18] d[30][19] d[30][20] d[30][21] d[30][22] d[30][23] d[30][24] d[30][25] d[30][26] d[30][27] d[30][28] d[30][29] d[30][30] d[30][31] d[30][32] d[30][33] d[30][34] d[30][35] d[31][0] d[31][1] d[31][2] d[31][3] d[31][4] d[31][5] d[31][6] d[31][7] d[31][8] d[31][9] d[31][10] d[31][11] d[31][12] d[31][13] d[31][14] d[31][15] d[31][16] d[31][17] d[31][18] d[31][19] d[31][20] d[31][21] d[31][22] d[31][23] d[31][24] d[31][25] d[31][26] d[31][27] d[31][28] d[31][29] d[31][30] d[31][31] d[31][32] d[31][33] d[31][34] d[31][35] d[32][0] d[32][1] d[32][2] d[32][3] d[32][4] d[32][5] d[32][6] d[32][7] d[32][8] d[32][9] d[32][10] d[32][11] d[32][12] d[32][13] d[32][14] d[32][15] d[32][16] d[32][17] d[32][18] d[32][19] d[32][20] d[32][21] d[32][22] d[32][23] d[32][24] d[32][25] d[32][26] d[32][27] d[32][28] d[32][29] d[32][30] d[32][31] d[32][32] d[32][33] d[32][34] d[32][35] d[33][0] d[33][1] d[33][2] d[33][3] d[33][4] d[33][5] d[33][6] d[33][7] d[33][8] d[33][9] d[33][10] d[33][11] d[33][12] d[33][13] d[33][14] d[33][15] d[33][16] d[33][17] d[33][18] d[33][19] d[33][20] d[33][21] d[33][22] d[33][23] d[33][24] d[33][25] d[33][26] d[33][27] d[33][28] d[33][29] d[33][30] d[33][31] d[33][32] d[33][33] d[33][34] d[33][35] d[34][0] d[34][1] d[34][2] d[34][3] d[34][4] d[34][5] d[34][6] d[34][7] d[34][8] d[34][9] d[34][10] d[34][11] d[34][12] d[34][13] d[34][14] d[34][15] d[34][16] d[34][17] d[34][18] d[34][19] d[34][20] d[34][21] d[34][22] d[34][23] d[34][24] d[34][25] d[34][26] d[34][27] d[34][28] d[34][29] d[34][30] d[34][31] d[34][32] d[34][33] d[34][34] d[34][35] d[35][0] d[35][1] d[35][2] d[35][3] d[35][4] d[35][5] d[35][6] d[35][7] d[35][8] d[35][9] d[35][10] d[35][11] d[35][12] d[35][13] d[35][14] d[35][15] d[35][16] d[35][17] d[35][18] d[35][19] d[35][20] d[35][21] d[35][22] d[35][23] d[35][24] d[35][25] d[35][26] d[35][27] d[35][28] d[35][29] d[35][30] d[35][31] d[35][32] d[35][33] d[35][34] d[35][35] </list> 2400.01/2400.90 v <values> 35 16 17 8 7 3 4 2 34 15 28 14 6 9 0 12 5 23 30 29 27 1 19 10 11 20 24 32 33 31 18 13 22 26 21 25 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * * 40 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * * * 0 41 0 0 0 0 6 0 2 8 17 0 6 0 0 0 0 0 6 26 0 1 0 0 0 0 0 0 1 0 0 0 0 * * * * 10 23 0 0 0 0 0 0 14 14 4 18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * * * * * 47 25 20 0 0 0 0 0 71 0 0 2 0 0 0 8 16 0 2 0 0 0 0 0 0 0 0 0 7 0 0 * * * * * * 29 0 0 0 0 4 18 2 2 48 5 0 0 0 0 0 25 4 0 0 0 0 0 0 0 0 0 0 0 0 * * * * * * * 0 0 0 0 3 12 0 1 25 18 0 0 0 0 0 18 4 0 0 0 0 0 0 0 0 0 0 3 0 * * * * * * * * 0 0 0 0 16 0 0 20 4 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 * * * * * * * * * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * * * * * * * * * * 0 19 8 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 * * * * * * * * * * * 3 8 0 0 2 0 0 12 19 10 0 9 0 0 0 0 0 0 0 16 0 0 0 0 0 * * * * * * * * * * * * 40 1 1 6 0 0 0 0 7 0 12 2 4 0 0 0 0 0 2 3 0 0 0 0 * * * * * * * * * * * * * 72 9 39 4 0 0 0 28 4 7 7 8 0 0 0 0 0 4 8 0 0 0 0 * * * * * * * * * * * * * * 75 17 1 0 0 0 0 8 15 11 1 0 0 0 0 0 0 0 0 0 0 0 * * * * * * * * * * * * * * * 22 7 0 0 0 0 0 23 7 12 0 0 0 0 0 0 7 0 0 0 0 * * * * * * * * * * * * * * * * 19 0 0 0 11 16 5 33 157 8 0 0 0 1 0 11 10 9 3 0 * * * * * * * * * * * * * * * * * 0 0 0 0 0 19 23 2 0 0 0 0 0 2 0 0 0 0 0 * * * * * * * * * * * * * * * * * * 0 0 0 0 0 0 0 0 26 0 0 0 0 2 0 5 0 0 * * * * * * * * * * * * * * * * * * * 19 4 0 1 0 0 0 0 3 13 0 0 2 0 0 0 0 * * * * * * * * * * * * * * * * * * * * 22 0 10 6 0 0 0 5 8 4 3 3 0 0 0 0 * * * * * * * * * * * * * * * * * * * * * 0 18 0 0 0 0 4 12 6 27 0 0 0 0 0 * * * * * * * * * * * * * * * * * * * * * * 4 0 0 0 0 0 0 0 0 0 0 0 0 0 * * * * * * * * * * * * * * * * * * * * * * * 34 0 11 0 6 2 28 13 21 36 16 4 0 * * * * * * * * * * * * * * * * * * * * * * * * 316 0 0 0 0 0 8 8 6 10 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * 0 22 0 0 0 0 25 0 1 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * 8 0 0 0 9 0 6 2 36 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 0 0 0 0 2 0 35 * * * * * * * * * * * * * * * * * * * * * * * * * * * * 20 18 0 5 0 0 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 24 4 4 0 0 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 20 5 0 0 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 7 0 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 5 1 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 9 0 12 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4 4 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * </values> 2400.01/2400.90 v </instantiation>
OK 4280744
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-4240552-1500640887/watcher-4240552-1500640887 -o /tmp/evaluation-result-4240552-1500640887/solver-4240552-1500640887 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1500623787-3607 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1208558414 HOME/instance-4240552-1500640887.xml pid=7537 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.15 2.07 2.06 4/187 7540 /proc/meminfo: memFree=31578164/32770624 swapFree=6452/376360 [pid=7540] ppid=7537 vsize=28800 CPUtime=0 cores=1,3,5,7 /proc/7540/stat : 7540 (MistralXCSP) R 7537 7540 3575 0 -1 4202496 987 0 0 0 0 0 0 0 20 0 1 0 17365646 29491200 791 33554432000 4194304 7402444 140734348543056 140734348540104 140608983440357 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 22720512 140734348551336 140734348551486 140734348551486 140734348554185 0 /proc/7540/statm: 7200 791 619 784 0 214 0 [startup+0.100159 s] /proc/loadavg: 2.15 2.07 2.06 4/187 7540 /proc/meminfo: memFree=31578164/32770624 swapFree=6452/376360 [pid=7540] ppid=7537 vsize=72648 CPUtime=0.09 cores=1,3,5,7 /proc/7540/stat : 7540 (MistralXCSP) R 7537 7540 3575 0 -1 4202496 11964 0 0 0 8 1 0 0 20 0 1 0 17365646 74391552 11746 33554432000 4194304 7402444 140734348543056 140734348534552 140608983488416 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 22720512 140734348551336 140734348551486 140734348551486 140734348554185 0 /proc/7540/statm: 18162 11746 666 784 0 11176 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 72648 [startup+0.200419 s] /proc/loadavg: 2.15 2.07 2.06 4/187 7540 /proc/meminfo: memFree=31578164/32770624 swapFree=6452/376360 [pid=7540] ppid=7537 vsize=164140 CPUtime=0.19 cores=1,3,5,7 /proc/7540/stat : 7540 (MistralXCSP) R 7537 7540 3575 0 -1 4202496 34850 0 0 0 15 4 0 0 20 0 1 0 17365646 168079360 34648 33554432000 4194304 7402444 140734348543056 140734348534392 140608983440357 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9500608 9505824 22720512 140734348551336 140734348551486 140734348551486 140734348554185 0 /proc/7540/statm: 41035 34648 666 784 0 34049 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 164140 [startup+0.300355 s] /proc/loadavg: 2.15 2.07 2.06 4/187 7540 /proc/meminfo: memFree=31578164/32770624 swapFree=6452/376360 [pid=7540] ppid=7537 vsize=189056 CPUtime=0.29 cores=1,3,5,7 /proc/7540/stat : 7540 (MistralXCSP) R 7537 7540 3575 0 -1 4202496 41097 0 0 0 25 4 0 0 20 0 1 0 17365646 193593344 40891 33554432000 4194304 7402444 140734348543056 140734348538056 4484396 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 22720512 140734348551336 140734348551486 140734348551486 140734348554185 0 /proc/7540/statm: 47264 40891 702 784 0 40278 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 189056 [startup+0.700297 s] /proc/loadavg: 2.15 2.07 2.06 4/187 7540 /proc/meminfo: memFree=31578164/32770624 swapFree=6452/376360 [pid=7540] ppid=7537 vsize=209560 CPUtime=0.69 cores=1,3,5,7 /proc/7540/stat : 7540 (MistralXCSP) R 7537 7540 3575 0 -1 4202496 44212 0 0 0 64 5 0 0 20 0 1 0 17365646 214589440 46034 33554432000 4194304 7402444 140734348543056 140734348538072 5750759 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 22720512 140734348551336 140734348551486 140734348551486 140734348554185 0 /proc/7540/statm: 52390 46034 712 784 0 45404 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 209560 [startup+1.50032 s] /proc/loadavg: 2.15 2.07 2.06 3/188 7541 /proc/meminfo: memFree=31393180/32770624 swapFree=6452/376384 [pid=7540] ppid=7537 vsize=213784 CPUtime=1.49 cores=1,3,5,7 /proc/7540/stat : 7540 (MistralXCSP) R 7537 7540 3575 0 -1 4202496 45258 0 0 0 144 5 0 0 20 0 1 0 17365646 218914816 47090 33554432000 4194304 7402444 140734348543056 140734348538072 4484558 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 22720512 140734348551336 140734348551486 140734348551486 140734348554185 0 /proc/7540/statm: 53446 47090 712 784 0 46460 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 213784 [startup+3.10032 s] /proc/loadavg: 2.15 2.07 2.06 3/188 7541 /proc/meminfo: memFree=31389280/32770624 swapFree=6452/376396 [pid=7540] ppid=7537 vsize=219196 CPUtime=3.08 cores=1,3,5,7 /proc/7540/stat : 7540 (MistralXCSP) R 7537 7540 3575 0 -1 4202496 74239 0 0 0 303 5 0 0 20 0 1 0 17365646 224456704 48469 33554432000 4194304 7402444 140734348543056 140734348537592 5750448 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 22720512 140734348551336 140734348551486 140734348551486 140734348554185 0 /proc/7540/statm: 54799 48469 712 784 0 47813 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 219196 [startup+6.30029 s] /proc/loadavg: 2.14 2.07 2.06 3/188 7541 /proc/meminfo: memFree=31383576/32770624 swapFree=6452/376400 [pid=7540] ppid=7537 vsize=223552 CPUtime=6.29 cores=1,3,5,7 /proc/7540/stat : 7540 (MistralXCSP) R 7537 7540 3575 0 -1 4202496 104297 0 0 0 622 7 0 0 20 0 1 0 17365646 228917248 49564 33554432000 4194304 7402444 140734348543056 140734348538072 4529238 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 22720512 140734348551336 140734348551486 140734348551486 140734348554185 0 /proc/7540/statm: 55888 49564 712 784 0 48902 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 223552 [startup+12.7003 s] /proc/loadavg: 2.13 2.07 2.06 3/188 7541 /proc/meminfo: memFree=31377996/32770624 swapFree=6452/376408 [pid=7540] ppid=7537 vsize=228436 CPUtime=12.69 cores=1,3,5,7 /proc/7540/stat : 7540 (MistralXCSP) R 7537 7540 3575 0 -1 4202496 135846 0 0 0 1260 9 0 0 20 0 1 0 17365646 233918464 50786 33554432000 4194304 7402444 140734348543056 140734348538072 4484665 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 22720512 140734348551336 140734348551486 140734348551486 140734348554185 0 /proc/7540/statm: 57109 50786 712 784 0 50123 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 228436 [startup+25.5004 s] /proc/loadavg: 2.17 2.08 2.06 3/188 7541 /proc/meminfo: memFree=31375208/32770624 swapFree=6452/376420 [pid=7540] ppid=7537 vsize=231868 CPUtime=25.48 cores=1,3,5,7 /proc/7540/stat : 7540 (MistralXCSP) R 7537 7540 3575 0 -1 4202496 199507 0 0 0 2536 12 0 0 20 0 1 0 17365646 237432832 51633 33554432000 4194304 7402444 140734348543056 140734348537592 5754011 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 22720512 140734348551336 140734348551486 140734348551486 140734348554185 0 /proc/7540/statm: 57967 51633 712 784 0 50981 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 231868 [startup+51.1004 s] /proc/loadavg: 2.11 2.08 2.06 3/188 7541 /proc/meminfo: memFree=31374096/32770624 swapFree=6452/376452 [pid=7540] ppid=7537 vsize=233452 CPUtime=51.07 cores=1,3,5,7 /proc/7540/stat : 7540 (MistralXCSP) R 7537 7540 3575 0 -1 4202496 232228 0 0 0 5094 13 0 0 20 0 1 0 17365646 239054848 52043 33554432000 4194304 7402444 140734348543056 140734348538072 4484571 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9500608 9505824 22720512 140734348551336 140734348551486 140734348551486 140734348554185 0 /proc/7540/statm: 58363 52043 712 784 0 51377 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 233452 [startup+102.3 s] /proc/loadavg: 2.09 2.08 2.06 3/188 7542 /proc/meminfo: memFree=31371296/32770624 swapFree=6452/376524 [pid=7540] ppid=7537 vsize=235828 CPUtime=102.24 cores=1,3,5,7 /proc/7540/stat : 7540 (MistralXCSP) R 7537 7540 3575 0 -1 4202496 260572 0 0 0 10209 15 0 0 20 0 1 0 17365646 241487872 52608 33554432000 4194304 7402444 140734348543056 140734348537592 4465443 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 22720512 140734348551336 140734348551486 140734348551486 140734348554185 0 /proc/7540/statm: 58957 52608 712 784 0 51971 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 235828 [startup+162.3 s] /proc/loadavg: 2.15 2.10 2.06 3/188 7543 /proc/meminfo: memFree=31369348/32770624 swapFree=6452/376576 [pid=7540] ppid=7537 vsize=237148 CPUtime=162.17 cores=1,3,5,7 /proc/7540/stat : 7540 (MistralXCSP) R 7537 7540 3575 0 -1 4202496 277191 0 0 0 16201 16 0 0 20 0 1 0 17365646 242839552 52957 33554432000 4194304 7402444 140734348543056 140734348537592 4484558 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 22720512 140734348551336 140734348551486 140734348551486 140734348554185 0 /proc/7540/statm: 59287 52957 712 784 0 52301 0 Current children cumulated CPU time (s) 162.17 Current children cumulated vsize (KiB) 237148 [startup+222.306 s] /proc/loadavg: 2.12 2.09 2.06 3/187 7546 /proc/meminfo: memFree=31369364/32770624 swapFree=6452/376632 [pid=7540] ppid=7537 vsize=237544 CPUtime=222.15 cores=1,3,5,7 /proc/7540/stat : 7540 (MistralXCSP) R 7537 7540 3575 0 -1 4202496 277762 0 0 0 22199 16 0 0 20 0 1 0 17365646 243245056 53050 33554432000 4194304 7402444 140734348543056 140734348537592 4466976 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 22720512 140734348551336 140734348551486 140734348551486 140734348554185 0 /proc/7540/statm: 59386 53050 712 784 0 52400 0 Current children cumulated CPU time (s) 222.15 Current children cumulated vsize (KiB) 237544 [startup+282.3 s] /proc/loadavg: 2.08 2.09 2.06 3/187 7547 /proc/meminfo: memFree=31369252/32770624 swapFree=6452/376664 [pid=7540] ppid=7537 vsize=237808 CPUtime=282.12 cores=1,3,5,7 /proc/7540/stat : 7540 (MistralXCSP) R 7537 7540 3575 0 -1 4202496 278379 0 0 0 28196 16 0 0 20 0 1 0 17365646 243515392 53095 33554432000 4194304 7402444 140734348543056 140734348537592 4484555 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 22720512 140734348551336 140734348551486 140734348551486 140734348554185 0 /proc/7540/statm: 59452 53095 712 784 0 52466 0 Current children cumulated CPU time (s) 282.12 Current children cumulated vsize (KiB) 237808 [startup+342.3 s] /proc/loadavg: 2.03 2.07 2.06 3/187 7548 /proc/meminfo: memFree=31368692/32770624 swapFree=6452/376692 [pid=7540] ppid=7537 vsize=237940 CPUtime=342.09 cores=1,3,5,7 /proc/7540/stat : 7540 (MistralXCSP) R 7537 7540 3575 0 -1 4202496 279045 0 0 0 34193 16 0 0 20 0 1 0 17365646 243650560 53151 33554432000 4194304 7402444 140734348543056 140734348537592 4466927 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 22720512 140734348551336 140734348551486 140734348551486 140734348554185 0 /proc/7540/statm: 59485 53151 712 784 0 52499 0 Current children cumulated CPU time (s) 342.09 Current children cumulated vsize (KiB) 237940 [startup+402.3 s] /proc/loadavg: 2.01 2.06 2.05 3/187 7549 /proc/meminfo: memFree=31368704/32770624 swapFree=6452/376736 [pid=7540] ppid=7537 vsize=237940 CPUtime=402.08 cores=1,3,5,7 /proc/7540/stat : 7540 (MistralXCSP) R 7537 7540 3575 0 -1 4202496 279701 0 0 0 40192 16 0 0 20 0 1 0 17365646 243650560 53187 33554432000 4194304 7402444 140734348543056 140734348537592 4463792 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 22720512 140734348551336 140734348551486 140734348551486 140734348554185 0 /proc/7540/statm: 59485 53187 712 784 0 52499 0 Current children cumulated CPU time (s) 402.08 Current children cumulated vsize (KiB) 237940 [startup+462.3 s] /proc/loadavg: 2.00 2.05 2.05 3/186 7550 /proc/meminfo: memFree=31369532/32770624 swapFree=6452/376764 [pid=7540] ppid=7537 vsize=238072 CPUtime=462.06 cores=1,3,5,7 /proc/7540/stat : 7540 (MistralXCSP) R 7537 7540 3575 0 -1 4202496 280402 0 0 0 46190 16 0 0 20 0 1 0 17365646 243785728 53200 33554432000 4194304 7402444 140734348543056 140734348537592 5818252 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 22720512 140734348551336 140734348551486 140734348551486 140734348554185 0 /proc/7540/statm: 59518 53200 712 784 0 52532 0 Current children cumulated CPU time (s) 462.06 Current children cumulated vsize (KiB) 238072 [startup+522.3 s] /proc/loadavg: 2.00 2.04 2.05 3/188 7560 /proc/meminfo: memFree=31359164/32770624 swapFree=6452/376808 [pid=7540] ppid=7537 vsize=238204 CPUtime=522.03 cores=1,3,5,7 /proc/7540/stat : 7540 (MistralXCSP) R 7537 7540 3575 0 -1 4202496 281112 0 0 0 52187 16 0 0 20 0 1 0 17365646 243920896 53234 33554432000 4194304 7402444 140734348543056 140734348537592 4484480 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 22720512 140734348551336 140734348551486 140734348551486 140734348554185 0 /proc/7540/statm: 59551 53234 712 784 0 52565 0 Current children cumulated CPU time (s) 522.03 Current children cumulated vsize (KiB) 238204 [startup+582.3 s] /proc/loadavg: 2.00 2.04 2.05 3/188 7561 /proc/meminfo: memFree=31359376/32770624 swapFree=6452/376840 [pid=7540] ppid=7537 vsize=238204 CPUtime=582.01 cores=1,3,5,7 /proc/7540/stat : 7540 (MistralXCSP) R 7537 7540 3575 0 -1 4202496 281844 0 0 0 58185 16 0 0 20 0 1 0 17365646 243920896 53249 33554432000 4194304 7402444 140734348543056 140734348537592 5754032 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 22720512 140734348551336 140734348551486 140734348551486 140734348554185 0 /proc/7540/statm: 59551 53249 712 784 0 52565 0 Current children cumulated CPU time (s) 582.01 Current children cumulated vsize (KiB) 238204 ################ # More data... # ################ [startup+1542.31 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7608 /proc/meminfo: memFree=31358272/32770624 swapFree=6452/377456 [pid=7540] ppid=7537 vsize=238864 CPUtime=1541.69 cores=1,3,5,7 /proc/7540/stat : 7540 (MistralXCSP) R 7537 7540 3575 0 -1 4202496 287040 0 0 0 154152 17 0 0 20 0 1 0 17365646 244596736 53420 33554432000 4194304 7402444 140734348543056 140734348538072 5744372 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 22720512 140734348551336 140734348551486 140734348551486 140734348554185 0 /proc/7540/statm: 59716 53420 712 784 0 52730 0 Current children cumulated CPU time (s) 1541.69 Current children cumulated vsize (KiB) 238864 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7609 /proc/meminfo: memFree=31358380/32770624 swapFree=6452/377496 [pid=7540] ppid=7537 vsize=238864 CPUtime=1601.66 cores=1,3,5,7 /proc/7540/stat : 7540 (MistralXCSP) R 7537 7540 3575 0 -1 4202496 287423 0 0 0 160149 17 0 0 20 0 1 0 17365646 244596736 53425 33554432000 4194304 7402444 140734348543056 140734348538072 4465467 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 22720512 140734348551336 140734348551486 140734348551486 140734348554185 0 /proc/7540/statm: 59716 53425 712 784 0 52730 0 Current children cumulated CPU time (s) 1601.66 Current children cumulated vsize (KiB) 238864 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7610 /proc/meminfo: memFree=31358348/32770624 swapFree=6452/377524 [pid=7540] ppid=7537 vsize=238864 CPUtime=1661.66 cores=1,3,5,7 /proc/7540/stat : 7540 (MistralXCSP) R 7537 7540 3575 0 -1 4202496 287800 0 0 0 166149 17 0 0 20 0 1 0 17365646 244596736 53427 33554432000 4194304 7402444 140734348543056 140734348538072 5747647 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 22720512 140734348551336 140734348551486 140734348551486 140734348554185 0 /proc/7540/statm: 59716 53427 712 784 0 52730 0 Current children cumulated CPU time (s) 1661.66 Current children cumulated vsize (KiB) 238864 [startup+1722.3 s] /proc/loadavg: 2.07 2.03 2.05 3/187 7618 /proc/meminfo: memFree=31357920/32770624 swapFree=6452/377556 [pid=7540] ppid=7537 vsize=238864 CPUtime=1721.65 cores=1,3,5,7 /proc/7540/stat : 7540 (MistralXCSP) R 7537 7540 3575 0 -1 4202496 288177 0 0 0 172148 17 0 0 20 0 1 0 17365646 244596736 53427 33554432000 4194304 7402444 140734348543056 140734348538072 5750759 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 22720512 140734348551336 140734348551486 140734348551486 140734348554185 0 /proc/7540/statm: 59716 53427 712 784 0 52730 0 Current children cumulated CPU time (s) 1721.65 Current children cumulated vsize (KiB) 238864 [startup+1782.3 s] /proc/loadavg: 2.06 2.04 2.05 3/187 7619 /proc/meminfo: memFree=31358148/32770624 swapFree=6452/377592 [pid=7540] ppid=7537 vsize=238864 CPUtime=1781.63 cores=1,3,5,7 /proc/7540/stat : 7540 (MistralXCSP) R 7537 7540 3575 0 -1 4202496 288554 0 0 0 178146 17 0 0 20 0 1 0 17365646 244596736 53427 33554432000 4194304 7402444 140734348543056 140734348538072 4466976 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 22720512 140734348551336 140734348551486 140734348551486 140734348554185 0 /proc/7540/statm: 59716 53427 712 784 0 52730 0 Current children cumulated CPU time (s) 1781.63 Current children cumulated vsize (KiB) 238864 [startup+1842.3 s] /proc/loadavg: 2.02 2.03 2.05 3/187 7620 /proc/meminfo: memFree=31358140/32770624 swapFree=6452/377620 [pid=7540] ppid=7537 vsize=238864 CPUtime=1841.61 cores=1,3,5,7 /proc/7540/stat : 7540 (MistralXCSP) R 7537 7540 3575 0 -1 4202496 288950 0 0 0 184144 17 0 0 20 0 1 0 17365646 244596736 53427 33554432000 4194304 7402444 140734348543056 140734348538072 4465408 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 22720512 140734348551336 140734348551486 140734348551486 140734348554185 0 /proc/7540/statm: 59716 53427 712 784 0 52730 0 Current children cumulated CPU time (s) 1841.61 Current children cumulated vsize (KiB) 238864 [startup+1902.3 s] /proc/loadavg: 2.01 2.03 2.05 3/187 7621 /proc/meminfo: memFree=31358896/32770624 swapFree=6452/377652 [pid=7540] ppid=7537 vsize=238996 CPUtime=1901.58 cores=1,3,5,7 /proc/7540/stat : 7540 (MistralXCSP) R 7537 7540 3575 0 -1 4202496 289354 0 0 0 190141 17 0 0 20 0 1 0 17365646 244731904 53441 33554432000 4194304 7402444 140734348543056 140734348537592 4463806 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 22720512 140734348551336 140734348551486 140734348551486 140734348554185 0 /proc/7540/statm: 59749 53441 712 784 0 52763 0 Current children cumulated CPU time (s) 1901.58 Current children cumulated vsize (KiB) 238996 [startup+1962.3 s] /proc/loadavg: 2.00 2.02 2.05 3/187 7622 /proc/meminfo: memFree=31359060/32770624 swapFree=6452/377688 [pid=7540] ppid=7537 vsize=238996 CPUtime=1961.57 cores=1,3,5,7 /proc/7540/stat : 7540 (MistralXCSP) R 7537 7540 3575 0 -1 4202496 289755 0 0 0 196139 18 0 0 20 0 1 0 17365646 244731904 53443 33554432000 4194304 7402444 140734348543056 140734348537592 4463983 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 22720512 140734348551336 140734348551486 140734348551486 140734348554185 0 /proc/7540/statm: 59749 53443 712 784 0 52763 0 Current children cumulated CPU time (s) 1961.57 Current children cumulated vsize (KiB) 238996 [startup+2022.3 s] /proc/loadavg: 2.00 2.02 2.05 3/187 7623 /proc/meminfo: memFree=31358712/32770624 swapFree=6452/377716 [pid=7540] ppid=7537 vsize=238996 CPUtime=2021.55 cores=1,3,5,7 /proc/7540/stat : 7540 (MistralXCSP) R 7537 7540 3575 0 -1 4202496 290159 0 0 0 202137 18 0 0 20 0 1 0 17365646 244731904 53444 33554432000 4194304 7402444 140734348543056 140734348537592 5754000 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 22720512 140734348551336 140734348551486 140734348551486 140734348554185 0 /proc/7540/statm: 59749 53444 712 784 0 52763 0 Current children cumulated CPU time (s) 2021.55 Current children cumulated vsize (KiB) 238996 [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7624 /proc/meminfo: memFree=31358608/32770624 swapFree=6452/377744 [pid=7540] ppid=7537 vsize=238996 CPUtime=2081.53 cores=1,3,5,7 /proc/7540/stat : 7540 (MistralXCSP) R 7537 7540 3575 0 -1 4202496 290566 0 0 0 208135 18 0 0 20 0 1 0 17365646 244731904 53448 33554432000 4194304 7402444 140734348543056 140734348537592 4484665 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 22720512 140734348551336 140734348551486 140734348551486 140734348554185 0 /proc/7540/statm: 59749 53448 712 784 0 52763 0 Current children cumulated CPU time (s) 2081.53 Current children cumulated vsize (KiB) 238996 [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7625 /proc/meminfo: memFree=31358496/32770624 swapFree=6452/377776 [pid=7540] ppid=7537 vsize=238996 CPUtime=2141.5 cores=1,3,5,7 /proc/7540/stat : 7540 (MistralXCSP) R 7537 7540 3575 0 -1 4202496 290976 0 0 0 214132 18 0 0 20 0 1 0 17365646 244731904 53451 33554432000 4194304 7402444 140734348543056 140734348537592 5750759 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 22720512 140734348551336 140734348551486 140734348551486 140734348554185 0 /proc/7540/statm: 59749 53451 712 784 0 52763 0 Current children cumulated CPU time (s) 2141.5 Current children cumulated vsize (KiB) 238996 [startup+2202.31 s] /proc/loadavg: 2.00 2.01 2.05 3/187 7626 /proc/meminfo: memFree=31358760/32770624 swapFree=6452/377808 [pid=7540] ppid=7537 vsize=238996 CPUtime=2201.49 cores=1,3,5,7 /proc/7540/stat : 7540 (MistralXCSP) R 7537 7540 3575 0 -1 4202496 291387 0 0 0 220131 18 0 0 20 0 1 0 17365646 244731904 53454 33554432000 4194304 7402444 140734348543056 140734348537592 5327213 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 22720512 140734348551336 140734348551486 140734348551486 140734348554185 0 /proc/7540/statm: 59749 53454 712 784 0 52763 0 Current children cumulated CPU time (s) 2201.49 Current children cumulated vsize (KiB) 238996 [startup+2262.3 s] /proc/loadavg: 2.08 2.04 2.05 3/187 7627 /proc/meminfo: memFree=31358896/32770624 swapFree=6452/377840 [pid=7540] ppid=7537 vsize=238996 CPUtime=2261.46 cores=1,3,5,7 /proc/7540/stat : 7540 (MistralXCSP) R 7537 7540 3575 0 -1 4202496 291802 0 0 0 226128 18 0 0 20 0 1 0 17365646 244731904 53455 33554432000 4194304 7402444 140734348543056 140734348537592 5750496 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 22720512 140734348551336 140734348551486 140734348551486 140734348554185 0 /proc/7540/statm: 59749 53455 712 784 0 52763 0 Current children cumulated CPU time (s) 2261.46 Current children cumulated vsize (KiB) 238996 [startup+2322.3 s] /proc/loadavg: 2.07 2.05 2.05 3/188 7636 /proc/meminfo: memFree=31356804/32770624 swapFree=6452/377880 [pid=7540] ppid=7537 vsize=238996 CPUtime=2321.44 cores=1,3,5,7 /proc/7540/stat : 7540 (MistralXCSP) R 7537 7540 3575 0 -1 4202496 292221 0 0 0 232126 18 0 0 20 0 1 0 17365646 244731904 53460 33554432000 4194304 7402444 140734348543056 140734348537592 4484555 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 22720512 140734348551336 140734348551486 140734348551486 140734348554185 0 /proc/7540/statm: 59749 53460 712 784 0 52763 0 Current children cumulated CPU time (s) 2321.44 Current children cumulated vsize (KiB) 238996 [startup+2382.3 s] /proc/loadavg: 1.97 2.02 2.04 3/188 7701 /proc/meminfo: memFree=31365216/32770624 swapFree=6452/377976 [pid=7540] ppid=7537 vsize=238996 CPUtime=2381.42 cores=1,3,5,7 /proc/7540/stat : 7540 (MistralXCSP) R 7537 7540 3575 0 -1 4202496 292638 0 0 0 238124 18 0 0 20 0 1 0 17365646 244731904 53464 33554432000 4194304 7402444 140734348543056 140734348537592 4463833 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 22720512 140734348551336 140734348551486 140734348551486 140734348554185 0 /proc/7540/statm: 59749 53464 712 784 0 52763 0 Current children cumulated CPU time (s) 2381.42 Current children cumulated vsize (KiB) 238996 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.9 s] /proc/loadavg: 1.98 2.02 2.04 3/188 7701 /proc/meminfo: memFree=31365092/32770624 swapFree=6452/377992 [pid=7540] ppid=7537 vsize=238996 CPUtime=2400.01 cores=1,3,5,7 /proc/7540/stat : 7540 (MistralXCSP) R 7537 7540 3575 0 -1 4202496 293058 0 0 0 239983 18 0 0 20 0 1 0 17365646 244731904 53464 33554432000 4194304 7402444 140734348543056 140734348537592 4463889 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 22720512 140734348551336 140734348551486 140734348551486 140734348554185 0 /proc/7540/statm: 59749 53464 712 784 0 52763 0 Current children cumulated CPU time (s) 2400.01 Current children cumulated vsize (KiB) 238996 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 7540 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.9 s] /proc/loadavg: 1.98 2.02 2.04 3/188 7701 /proc/meminfo: memFree=31365092/32770624 swapFree=6452/377992 [pid=7540] ppid=7537 vsize=238996 CPUtime=2400.01 cores=1,3,5,7 /proc/7540/stat : 7540 (MistralXCSP) R 7537 7540 3575 0 -1 4202496 293058 0 0 0 239983 18 0 0 20 0 1 0 17365646 244731904 53464 33554432000 4194304 7402444 140734348543056 140734348537592 4463889 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9500608 9505824 22720512 140734348551336 140734348551486 140734348551486 140734348554185 0 /proc/7540/statm: 59749 53464 712 784 0 52763 0 Current children cumulated CPU time (s) 2400.01 Current children cumulated vsize (KiB) 238996 Child status: 0 Real time (s): 2400.9 CPU time (s): 2400.02 CPU user time (s): 2399.84 CPU system time (s): 0.185937 CPU usage (%): 99.9634 Max. virtual memory (cumulated for all children) (KiB): 238996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.84 system time used= 0.185937 maximum resident set size= 213888 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 293098 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= 94 involuntary context switches= 120335 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.023 second user time and 11.0113 second system time The end
Begin job on node120 at 2017-07-21 14:41:27 IDJOB=4240552 IDBENCH=123151 IDSOLVER=2622 FILE ID=node120/4240552-1500640887 RUNJOBID= node120-1500623787-3607 PBS_JOBID= 20623012 Free space on /tmp= 62004 MiB SOLVER NAME= Mistral-2.0 2017-06-28 BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-ste36c.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-4240552-1500640887/watcher-4240552-1500640887 -o /tmp/evaluation-result-4240552-1500640887/solver-4240552-1500640887 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1500623787-3607 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1208558414 HOME/instance-4240552-1500640887.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d05a87fa530094a27b230f4f9ca3d0a8 RANDOM SEED=1208558414 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 : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 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 : 2133.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 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 : 2000.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 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 : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 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 : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31578704 kB MemAvailable: 31987396 kB Buffers: 163748 kB Cached: 525196 kB SwapCached: 0 kB Active: 384308 kB Inactive: 385192 kB Active(anon): 83520 kB Inactive(anon): 8832 kB Active(file): 300788 kB Inactive(file): 376360 kB Unevictable: 6452 kB Mlocked: 6460 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 5820 kB Writeback: 0 kB AnonPages: 86776 kB Mapped: 34596 kB Shmem: 8848 kB Slab: 119392 kB SReclaimable: 94760 kB SUnreclaim: 24632 kB KernelStack: 3376 kB PageTables: 5192 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 354588 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 30720 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 61996 MiB End job on node120 at 2017-07-21 15:21:28