Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-2.0 2017-07-28 | SAT (TO) | 4280744 | 2519.76 | 2520 |
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.05 c 280717 0.34/0.43 o 10246458 0.34/0.43 o 10242660 0.34/0.46 o 10212387 0.53/0.63 o 10127565 0.53/0.64 o 9808150 0.53/0.64 o 9803514 0.53/0.65 o 9792765 0.53/0.66 o 9742174 0.53/0.66 o 9708932 0.53/0.66 o 9661858 0.74/0.85 o 9631882 0.74/0.86 o 9414249 0.74/0.86 o 9363727 0.74/0.86 o 9349107 0.74/0.87 o 9343337 0.74/0.87 o 9309233 0.74/0.88 o 9194221 0.84/0.91 o 9174804 0.84/0.91 o 9148730 1.24/1.34 o 9111574 1.24/1.34 o 9085698 1.44/1.55 o 9079629 1.44/1.57 o 9068754 1.94/2.09 o 9058708 2.24/2.36 o 8861095 2.24/2.37 o 8841390 2.94/3.07 o 8831612 3.14/3.25 o 8812973 3.34/3.46 o 8750538 3.34/3.47 o 8735514 3.63/3.76 o 8727134 3.93/4.00 o 8686340 3.93/4.01 o 8630446 3.93/4.01 o 8581942 3.93/4.01 o 8512350 3.93/4.02 o 8452783 3.93/4.06 o 8359860 4.73/4.86 o 8323013 5.53/5.68 o 8071899 5.53/5.69 o 8063647 5.63/5.74 o 7948839 5.63/5.75 o 7810967 5.73/5.80 o 7807362 5.83/5.97 o 7764313 5.93/6.00 o 7763171 6.23/6.31 o 7628406 6.43/6.53 o 7618388 7.03/7.17 o 7598255 7.03/7.18 o 7592736 7.33/7.43 o 7584053 7.33/7.48 o 7563565 7.53/7.67 o 7534019 7.63/7.71 o 7506509 8.43/8.52 o 7351534 8.43/8.52 o 7156300 8.43/8.52 o 7131328 8.43/8.53 o 6981653 9.53/9.67 o 6966015 9.53/9.68 o 6956493 9.73/9.86 o 6939707 9.93/10.08 o 6907824 10.23/10.36 o 6901300 10.23/10.36 o 6886109 10.43/10.54 o 6868259 12.03/12.16 o 6791839 12.13/12.20 o 6776958 12.52/12.64 o 6773838 12.52/12.69 o 6757741 12.82/12.98 o 6743846 13.43/13.56 o 6677788 13.93/14.00 o 6672846 13.93/14.00 o 6580176 13.93/14.00 o 6576630 14.53/14.68 o 6562984 15.53/15.62 o 6555602 15.53/15.65 o 6528630 15.73/15.87 o 6524365 16.43/16.51 o 6508793 16.53/16.63 o 6493737 20.43/20.59 o 6471255 21.23/21.39 o 6470023 24.52/24.68 o 6452826 25.12/25.22 o 6417978 25.32/25.47 o 6414972 25.52/25.66 o 6411533 25.52/25.67 o 6394797 26.02/26.13 o 6375711 26.22/26.33 o 6347443 26.22/26.33 o 6330959 27.92/28.05 o 6315579 27.92/28.06 o 6300591 28.92/29.07 o 6298654 29.22/29.35 o 6284819 29.22/29.36 o 6245307 29.22/29.36 o 6224323 29.52/29.66 o 6210613 29.72/29.85 o 6203084 29.72/29.85 o 6200178 29.72/29.86 o 6184758 31.72/31.80 o 6172994 31.72/31.81 o 6171262 34.02/34.13 o 6165132 36.51/36.61 o 6157953 36.51/36.67 o 6147497 45.50/45.61 o 6121845 48.90/49.06 o 6114436 51.80/51.94 o 5995620 63.60/63.78 o 5991766 64.30/64.43 o 5966856 67.20/67.34 o 5448997 67.30/67.49 o 5448065 67.40/67.52 o 5404768 67.40/67.53 o 5370657 68.40/68.58 o 5367357 68.70/68.84 o 5361716 68.70/68.84 o 5350948 68.70/68.84 o 5345838 70.20/70.38 o 5339492 70.30/70.41 o 5319864 70.60/70.78 o 5287817 70.70/70.81 o 5240602 70.70/70.82 o 5201194 70.80/70.91 o 5121642 71.30/71.49 o 5121257 71.40/71.53 o 5094875 71.60/71.74 o 5090052 71.60/71.78 o 5066729 71.60/71.78 o 5029604 72.60/72.70 o 4989844 75.19/75.38 o 4982799 88.58/88.75 o 4982036 88.78/88.95 o 4951038 90.38/90.58 o 4918239 105.17/105.38 o 4917644 106.68/106.85 o 4889913 137.38/137.57 o 4881772 137.38/137.57 o 4669195 139.47/139.61 o 4663145 142.77/142.93 o 4656963 147.57/147.78 o 4634534 191.07/191.21 o 4625007 196.27/196.44 o 4613613 197.07/197.25 o 4605589 676.84/677.07 o 4558781 676.84/677.08 o 4528692 682.45/682.68 o 4518648 846.74/846.95 o 4490461 850.44/850.60 o 4489700 850.44/850.61 o 4488079 961.43/961.62 o 4482971 972.03/972.25 o 4470664 989.93/990.12 o 4468145 1017.13/1017.39 o 4466542 1017.23/1017.40 o 4442269 1092.52/1092.78 o 4368471 1316.31/1316.54 o 4361175 1319.21/1319.43 o 4346503 1323.61/1323.83 o 4315865 1323.61/1323.89 o 4314599 1323.61/1323.89 o 4287251 1324.22/1324.45 o 4280744 2519.74/2520.00 s SATISFIABLE 2519.74/2520.00 v <instantiation type="solution"> 2519.74/2520.00 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> 2519.74/2520.00 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> 2519.74/2520.00 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-4261060-1502352748/watcher-4261060-1502352748 -o /tmp/evaluation-result-4261060-1502352748/solver-4261060-1502352748 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502333727-2687 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1341351722 HOME/instance-4261060-1502352748.xml pid=6201 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.05 2.04 2.05 2/180 6204 /proc/meminfo: memFree=31550232/32770624 swapFree=0/222472 [pid=6204] ppid=6201 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/6204/stat : 6204 (runsolver) D 6201 6204 15981 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 37470446 24240128 107 18446744073709551615 4194304 4338465 140736478114480 140736478112120 139899328373463 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 36392960 140736478118028 140736478118474 140736478118474 140736478121930 0 /proc/6204/statm: 5918 107 54 36 0 2156 0 [startup+0.100167 s] /proc/loadavg: 2.05 2.04 2.05 2/180 6204 /proc/meminfo: memFree=31550232/32770624 swapFree=0/222472 [pid=6204] ppid=6201 vsize=45948 CPUtime=0.04 cores=1,3,5,7 /proc/6204/stat : 6204 (MistralXCSP) R 6201 6204 15981 0 -1 4202496 5287 0 0 0 4 0 0 0 20 0 1 0 37470446 47050752 5068 18446744073709551615 4194304 7396336 140736227291440 140736227288440 5571919 0 0 1 0 0 0 0 17 5 0 0 5 0 0 9496464 9501696 26906624 140736227295667 140736227295817 140736227295817 140736227299273 0 /proc/6204/statm: 11536 5134 651 782 0 4552 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 45948 [startup+0.200367 s] /proc/loadavg: 2.05 2.04 2.05 2/180 6204 /proc/meminfo: memFree=31550232/32770624 swapFree=0/222472 [pid=6204] ppid=6201 vsize=137452 CPUtime=0.14 cores=1,3,5,7 /proc/6204/stat : 6204 (MistralXCSP) R 6201 6204 15981 0 -1 4202496 28165 0 0 0 11 3 0 0 20 0 1 0 37470446 140750848 27970 18446744073709551615 4194304 7396336 140736227291440 140736227288440 139826023873509 0 0 1 0 0 0 0 17 5 0 0 5 0 0 9496464 9501696 26906624 140736227295667 140736227295817 140736227295817 140736227299273 0 /proc/6204/statm: 34399 27970 651 782 0 27415 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 137452 [startup+0.300352 s] /proc/loadavg: 2.05 2.04 2.05 2/180 6204 /proc/meminfo: memFree=31550232/32770624 swapFree=0/222472 [pid=6204] ppid=6201 vsize=189048 CPUtime=0.23 cores=1,3,5,7 /proc/6204/stat : 6204 (MistralXCSP) R 6201 6204 15981 0 -1 4202496 41075 0 0 0 19 4 0 0 20 0 1 0 37470446 193585152 40866 18446744073709551615 4194304 7396336 140736227291440 140736227282776 5792027 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 26906624 140736227295667 140736227295817 140736227295817 140736227299273 0 /proc/6204/statm: 47262 40866 689 782 0 40278 0 Current children cumulated CPU time (s) 0.23 Current children cumulated vsize (KiB) 189048 [startup+0.700308 s] /proc/loadavg: 2.05 2.04 2.05 2/180 6204 /proc/meminfo: memFree=31550232/32770624 swapFree=0/222472 [pid=6204] ppid=6201 vsize=209552 CPUtime=0.64 cores=1,3,5,7 /proc/6204/stat : 6204 (MistralXCSP) R 6201 6204 15981 0 -1 4202496 44699 0 0 0 58 6 0 0 20 0 1 0 37470446 214581248 46044 18446744073709551615 4194304 7396336 140736227291440 140736227282776 4547368 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 26906624 140736227295667 140736227295817 140736227295817 140736227299273 0 /proc/6204/statm: 52388 46044 697 782 0 45404 0 Current children cumulated CPU time (s) 0.64 Current children cumulated vsize (KiB) 209552 [startup+1.50031 s] /proc/loadavg: 1.96 2.02 2.04 3/181 6205 /proc/meminfo: memFree=31365956/32770624 swapFree=0/222488 [pid=6204] ppid=6201 vsize=213776 CPUtime=1.44 cores=1,3,5,7 /proc/6204/stat : 6204 (MistralXCSP) R 6201 6204 15981 0 -1 4202496 45745 0 0 0 138 6 0 0 20 0 1 0 37470446 218906624 47100 18446744073709551615 4194304 7396336 140736227291440 140736227285976 5792027 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 26906624 140736227295667 140736227295817 140736227295817 140736227299273 0 /proc/6204/statm: 53444 47100 697 782 0 46460 0 Current children cumulated CPU time (s) 1.44 Current children cumulated vsize (KiB) 213776 [startup+3.10031 s] /proc/loadavg: 1.96 2.02 2.04 3/181 6205 /proc/meminfo: memFree=31361492/32770624 swapFree=0/222488 [pid=6204] ppid=6201 vsize=219188 CPUtime=3.04 cores=1,3,5,7 /proc/6204/stat : 6204 (MistralXCSP) R 6201 6204 15981 0 -1 4202496 74924 0 0 0 296 8 0 0 20 0 1 0 37470446 224448512 48466 18446744073709551615 4194304 7396336 140736227291440 140736227285976 5792030 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 26906624 140736227295667 140736227295817 140736227295817 140736227299273 0 /proc/6204/statm: 54797 48466 698 782 0 47813 0 Current children cumulated CPU time (s) 3.04 Current children cumulated vsize (KiB) 219188 [startup+6.30031 s] /proc/loadavg: 1.97 2.02 2.04 3/181 6206 /proc/meminfo: memFree=31354800/32770624 swapFree=0/222488 [pid=6204] ppid=6201 vsize=223544 CPUtime=6.23 cores=1,3,5,7 /proc/6204/stat : 6204 (MistralXCSP) R 6201 6204 15981 0 -1 4202496 103434 0 0 0 614 9 0 0 20 0 1 0 37470446 228909056 49555 18446744073709551615 4194304 7396336 140736227291440 140736227286456 4253029 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 26906624 140736227295667 140736227295817 140736227295817 140736227299273 0 /proc/6204/statm: 55886 49555 698 782 0 48902 0 Current children cumulated CPU time (s) 6.23 Current children cumulated vsize (KiB) 223544 [startup+12.7003 s] /proc/loadavg: 1.97 2.02 2.04 3/181 6206 /proc/meminfo: memFree=31348848/32770624 swapFree=0/222488 [pid=6204] ppid=6201 vsize=228824 CPUtime=12.62 cores=1,3,5,7 /proc/6204/stat : 6204 (MistralXCSP) R 6201 6204 15981 0 -1 4202496 133461 0 0 0 1252 10 0 0 20 0 1 0 37470446 234315776 50877 18446744073709551615 4194304 7396336 140736227291440 140736227285976 5771386 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 26906624 140736227295667 140736227295817 140736227295817 140736227299273 0 /proc/6204/statm: 57206 50877 698 782 0 50222 0 Current children cumulated CPU time (s) 12.62 Current children cumulated vsize (KiB) 228824 [startup+25.5004 s] /proc/loadavg: 1.97 2.02 2.04 3/181 6206 /proc/meminfo: memFree=31345468/32770624 swapFree=0/222228 [pid=6204] ppid=6201 vsize=232124 CPUtime=25.42 cores=1,3,5,7 /proc/6204/stat : 6204 (MistralXCSP) R 6201 6204 15981 0 -1 4202496 191280 0 0 0 2528 14 0 0 20 0 1 0 37470446 237694976 51697 18446744073709551615 4194304 7396336 140736227291440 140736227286456 4249751 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 26906624 140736227295667 140736227295817 140736227295817 140736227299273 0 /proc/6204/statm: 58031 51697 698 782 0 51047 0 Current children cumulated CPU time (s) 25.42 Current children cumulated vsize (KiB) 232124 [startup+51.1004 s] /proc/loadavg: 1.98 2.02 2.04 3/181 6206 /proc/meminfo: memFree=31344248/32770624 swapFree=0/222240 [pid=6204] ppid=6201 vsize=233444 CPUtime=51 cores=1,3,5,7 /proc/6204/stat : 6204 (MistralXCSP) R 6201 6204 15981 0 -1 4202496 215009 0 0 0 5085 15 0 0 20 0 1 0 37470446 239046656 52030 18446744073709551615 4194304 7396336 140736227291440 140736227286456 4249696 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 26906624 140736227295667 140736227295817 140736227295817 140736227299273 0 /proc/6204/statm: 58361 52030 698 782 0 51377 0 Current children cumulated CPU time (s) 51 Current children cumulated vsize (KiB) 233444 [startup+102.3 s] /proc/loadavg: 1.99 2.01 2.04 3/184 6222 /proc/meminfo: memFree=31336548/32770624 swapFree=0/222276 [pid=6204] ppid=6201 vsize=235952 CPUtime=102.19 cores=1,3,5,7 /proc/6204/stat : 6204 (MistralXCSP) R 6201 6204 15981 0 -1 4202496 231980 0 0 0 10203 16 0 0 20 0 1 0 37470446 241614848 52616 18446744073709551615 4194304 7396336 140736227291440 140736227285976 5792027 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 26906624 140736227295667 140736227295817 140736227295817 140736227299273 0 /proc/6204/statm: 58988 52616 698 782 0 52004 0 Current children cumulated CPU time (s) 102.19 Current children cumulated vsize (KiB) 235952 [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.04 3/185 6249 /proc/meminfo: memFree=31334076/32770624 swapFree=0/222292 [pid=6204] ppid=6201 vsize=237272 CPUtime=162.17 cores=1,3,5,7 /proc/6204/stat : 6204 (MistralXCSP) R 6201 6204 15981 0 -1 4202496 233528 0 0 0 16200 17 0 0 20 0 1 0 37470446 242966528 52965 18446744073709551615 4194304 7396336 140736227291440 140736227285976 5772880 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 26906624 140736227295667 140736227295817 140736227295817 140736227299273 0 /proc/6204/statm: 59318 52965 698 782 0 52334 0 Current children cumulated CPU time (s) 162.17 Current children cumulated vsize (KiB) 237272 [startup+222.306 s] /proc/loadavg: 2.00 2.01 2.04 3/185 6251 /proc/meminfo: memFree=31335224/32770624 swapFree=0/222336 [pid=6204] ppid=6201 vsize=237536 CPUtime=222.17 cores=1,3,5,7 /proc/6204/stat : 6204 (MistralXCSP) R 6201 6204 15981 0 -1 4202496 234083 0 0 0 22200 17 0 0 20 0 1 0 37470446 243236864 53014 18446744073709551615 4194304 7396336 140736227291440 140736227285976 5792030 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 26906624 140736227295667 140736227295817 140736227295817 140736227299273 0 /proc/6204/statm: 59384 53014 698 782 0 52400 0 Current children cumulated CPU time (s) 222.17 Current children cumulated vsize (KiB) 237536 [startup+282.3 s] /proc/loadavg: 2.04 2.03 2.05 3/182 6253 /proc/meminfo: memFree=31338116/32770624 swapFree=0/222352 [pid=6204] ppid=6201 vsize=237800 CPUtime=282.16 cores=1,3,5,7 /proc/6204/stat : 6204 (MistralXCSP) R 6201 6204 15981 0 -1 4202496 234705 0 0 0 28199 17 0 0 20 0 1 0 37470446 243507200 53118 18446744073709551615 4194304 7396336 140736227291440 140736227285976 5771305 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 26906624 140736227295667 140736227295817 140736227295817 140736227299273 0 /proc/6204/statm: 59450 53118 698 782 0 52466 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 237800 [startup+342.3 s] /proc/loadavg: 2.01 2.02 2.05 3/182 6255 /proc/meminfo: memFree=31338612/32770624 swapFree=0/222352 [pid=6204] ppid=6201 vsize=237932 CPUtime=342.16 cores=1,3,5,7 /proc/6204/stat : 6204 (MistralXCSP) R 6201 6204 15981 0 -1 4202496 235373 0 0 0 34199 17 0 0 20 0 1 0 37470446 243642368 53152 18446744073709551615 4194304 7396336 140736227291440 140736227285976 5771377 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 26906624 140736227295667 140736227295817 140736227295817 140736227299273 0 /proc/6204/statm: 59483 53152 698 782 0 52499 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 237932 [startup+402.3 s] /proc/loadavg: 2.01 2.02 2.05 3/182 6257 /proc/meminfo: memFree=31339100/32770624 swapFree=0/222364 [pid=6204] ppid=6201 vsize=237932 CPUtime=402.16 cores=1,3,5,7 /proc/6204/stat : 6204 (MistralXCSP) R 6201 6204 15981 0 -1 4202496 236026 0 0 0 40199 17 0 0 20 0 1 0 37470446 243642368 53173 18446744073709551615 4194304 7396336 140736227291440 140736227285976 5771331 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 26906624 140736227295667 140736227295817 140736227295817 140736227299273 0 /proc/6204/statm: 59483 53173 698 782 0 52499 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 237932 [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 6259 /proc/meminfo: memFree=31339040/32770624 swapFree=0/222396 [pid=6204] ppid=6201 vsize=238064 CPUtime=462.15 cores=1,3,5,7 /proc/6204/stat : 6204 (MistralXCSP) R 6201 6204 15981 0 -1 4202496 236727 0 0 0 46198 17 0 0 20 0 1 0 37470446 243777536 53188 18446744073709551615 4194304 7396336 140736227291440 140736227285976 4249751 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 26906624 140736227295667 140736227295817 140736227295817 140736227299273 0 /proc/6204/statm: 59516 53188 698 782 0 52532 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 238064 [startup+522.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 6261 /proc/meminfo: memFree=31339228/32770624 swapFree=0/222400 [pid=6204] ppid=6201 vsize=238196 CPUtime=522.15 cores=1,3,5,7 /proc/6204/stat : 6204 (MistralXCSP) R 6201 6204 15981 0 -1 4202496 237436 0 0 0 52198 17 0 0 20 0 1 0 37470446 243912704 53209 18446744073709551615 4194304 7396336 140736227291440 140736227285976 5792030 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 26906624 140736227295667 140736227295817 140736227295817 140736227299273 0 /proc/6204/statm: 59549 53209 698 782 0 52565 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 238196 [startup+582.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 6263 /proc/meminfo: memFree=31339104/32770624 swapFree=0/222428 [pid=6204] ppid=6201 vsize=238196 CPUtime=582.15 cores=1,3,5,7 /proc/6204/stat : 6204 (MistralXCSP) R 6201 6204 15981 0 -1 4202496 238163 0 0 0 58198 17 0 0 20 0 1 0 37470446 243912704 53235 18446744073709551615 4194304 7396336 140736227291440 140736227285976 5774448 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 26906624 140736227295667 140736227295817 140736227295817 140736227299273 0 /proc/6204/statm: 59549 53235 698 782 0 52565 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 238196 ################ # More data... # ################ [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.05 3/180 6349 /proc/meminfo: memFree=31338092/32770624 swapFree=0/222812 [pid=6204] ppid=6201 vsize=238856 CPUtime=1602.09 cores=1,3,5,7 /proc/6204/stat : 6204 (MistralXCSP) R 6201 6204 15981 0 -1 4202496 244786 0 0 0 160191 18 0 0 20 0 1 0 37470446 244588544 53413 18446744073709551615 4194304 7396336 140736227291440 140736227286456 5839280 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 26906624 140736227295667 140736227295817 140736227295817 140736227299273 0 /proc/6204/statm: 59714 53413 698 782 0 52730 0 Current children cumulated CPU time (s) 1602.09 Current children cumulated vsize (KiB) 238856 [startup+1662.3 s] /proc/loadavg: 2.05 2.03 2.05 3/181 6352 /proc/meminfo: memFree=31338412/32770624 swapFree=0/222852 [pid=6204] ppid=6201 vsize=238856 CPUtime=1662.09 cores=1,3,5,7 /proc/6204/stat : 6204 (MistralXCSP) R 6201 6204 15981 0 -1 4202496 245160 0 0 0 166191 18 0 0 20 0 1 0 37470446 244588544 53413 18446744073709551615 4194304 7396336 140736227291440 140736227286456 5774419 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 26906624 140736227295667 140736227295817 140736227295817 140736227299273 0 /proc/6204/statm: 59714 53413 698 782 0 52730 0 Current children cumulated CPU time (s) 1662.09 Current children cumulated vsize (KiB) 238856 [startup+1722.3 s] /proc/loadavg: 2.02 2.02 2.05 3/181 6354 /proc/meminfo: memFree=31338040/32770624 swapFree=0/222864 [pid=6204] ppid=6201 vsize=238856 CPUtime=1722.09 cores=1,3,5,7 /proc/6204/stat : 6204 (MistralXCSP) R 6201 6204 15981 0 -1 4202496 245329 0 0 0 172191 18 0 0 20 0 1 0 37470446 244588544 53413 18446744073709551615 4194304 7396336 140736227291440 140736227286456 4249751 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 26906624 140736227295667 140736227295817 140736227295817 140736227299273 0 /proc/6204/statm: 59714 53413 698 782 0 52730 0 Current children cumulated CPU time (s) 1722.09 Current children cumulated vsize (KiB) 238856 [startup+1782.3 s] /proc/loadavg: 2.01 2.02 2.05 3/181 6357 /proc/meminfo: memFree=31337260/32770624 swapFree=0/222920 [pid=6204] ppid=6201 vsize=238856 CPUtime=1782.09 cores=1,3,5,7 /proc/6204/stat : 6204 (MistralXCSP) R 6201 6204 15981 0 -1 4202496 245709 0 0 0 178191 18 0 0 20 0 1 0 37470446 244588544 53413 18446744073709551615 4194304 7396336 140736227291440 140736227286456 4249751 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 26906624 140736227295667 140736227295817 140736227295817 140736227299273 0 /proc/6204/statm: 59714 53413 698 782 0 52730 0 Current children cumulated CPU time (s) 1782.09 Current children cumulated vsize (KiB) 238856 [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 6359 /proc/meminfo: memFree=31337224/32770624 swapFree=0/222932 [pid=6204] ppid=6201 vsize=238988 CPUtime=1842.08 cores=1,3,5,7 /proc/6204/stat : 6204 (MistralXCSP) R 6201 6204 15981 0 -1 4202496 246103 0 0 0 184190 18 0 0 20 0 1 0 37470446 244723712 53414 18446744073709551615 4194304 7396336 140736227291440 140736227285976 5772895 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 26906624 140736227295667 140736227295817 140736227295817 140736227299273 0 /proc/6204/statm: 59747 53414 698 782 0 52763 0 Current children cumulated CPU time (s) 1842.08 Current children cumulated vsize (KiB) 238988 [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.05 3/184 6375 /proc/meminfo: memFree=31334324/32770624 swapFree=0/223012 [pid=6204] ppid=6201 vsize=238988 CPUtime=1902.08 cores=1,3,5,7 /proc/6204/stat : 6204 (MistralXCSP) R 6201 6204 15981 0 -1 4202496 246502 0 0 0 190190 18 0 0 20 0 1 0 37470446 244723712 53427 18446744073709551615 4194304 7396336 140736227291440 140736227285976 5575227 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 26906624 140736227295667 140736227295817 140736227295817 140736227299273 0 /proc/6204/statm: 59747 53427 698 782 0 52763 0 Current children cumulated CPU time (s) 1902.08 Current children cumulated vsize (KiB) 238988 [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.05 3/184 6377 /proc/meminfo: memFree=31333756/32770624 swapFree=0/223032 [pid=6204] ppid=6201 vsize=238988 CPUtime=1962.08 cores=1,3,5,7 /proc/6204/stat : 6204 (MistralXCSP) R 6201 6204 15981 0 -1 4202496 246902 0 0 0 196190 18 0 0 20 0 1 0 37470446 244723712 53430 18446744073709551615 4194304 7396336 140736227291440 140736227285976 5792027 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 26906624 140736227295667 140736227295817 140736227295817 140736227299273 0 /proc/6204/statm: 59747 53430 698 782 0 52763 0 Current children cumulated CPU time (s) 1962.08 Current children cumulated vsize (KiB) 238988 [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 6379 /proc/meminfo: memFree=31335984/32770624 swapFree=0/223072 [pid=6204] ppid=6201 vsize=238988 CPUtime=2022.07 cores=1,3,5,7 /proc/6204/stat : 6204 (MistralXCSP) R 6201 6204 15981 0 -1 4202496 247305 0 0 0 202189 18 0 0 20 0 1 0 37470446 244723712 53434 18446744073709551615 4194304 7396336 140736227291440 140736227285976 4249751 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 26906624 140736227295667 140736227295817 140736227295817 140736227299273 0 /proc/6204/statm: 59747 53434 698 782 0 52763 0 Current children cumulated CPU time (s) 2022.07 Current children cumulated vsize (KiB) 238988 [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 6381 /proc/meminfo: memFree=31336704/32770624 swapFree=0/223096 [pid=6204] ppid=6201 vsize=238988 CPUtime=2082.07 cores=1,3,5,7 /proc/6204/stat : 6204 (MistralXCSP) R 6201 6204 15981 0 -1 4202496 247709 0 0 0 208189 18 0 0 20 0 1 0 37470446 244723712 53435 18446744073709551615 4194304 7396336 140736227291440 140736227285976 5792030 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 26906624 140736227295667 140736227295817 140736227295817 140736227299273 0 /proc/6204/statm: 59747 53435 698 782 0 52763 0 Current children cumulated CPU time (s) 2082.07 Current children cumulated vsize (KiB) 238988 [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 6383 /proc/meminfo: memFree=31335976/32770624 swapFree=0/223112 [pid=6204] ppid=6201 vsize=238988 CPUtime=2142.07 cores=1,3,5,7 /proc/6204/stat : 6204 (MistralXCSP) R 6201 6204 15981 0 -1 4202496 248119 0 0 0 214189 18 0 0 20 0 1 0 37470446 244723712 53440 18446744073709551615 4194304 7396336 140736227291440 140736227285976 5774384 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 26906624 140736227295667 140736227295817 140736227295817 140736227299273 0 /proc/6204/statm: 59747 53440 698 782 0 52763 0 Current children cumulated CPU time (s) 2142.07 Current children cumulated vsize (KiB) 238988 [startup+2202.31 s] /proc/loadavg: 2.00 2.01 2.05 3/181 6385 /proc/meminfo: memFree=31336844/32770624 swapFree=0/223128 [pid=6204] ppid=6201 vsize=238988 CPUtime=2202.07 cores=1,3,5,7 /proc/6204/stat : 6204 (MistralXCSP) R 6201 6204 15981 0 -1 4202496 248529 0 0 0 220189 18 0 0 20 0 1 0 37470446 244723712 53440 18446744073709551615 4194304 7396336 140736227291440 140736227285976 5792030 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 26906624 140736227295667 140736227295817 140736227295817 140736227299273 0 /proc/6204/statm: 59747 53440 698 782 0 52763 0 Current children cumulated CPU time (s) 2202.07 Current children cumulated vsize (KiB) 238988 [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 6387 /proc/meminfo: memFree=31336840/32770624 swapFree=0/223148 [pid=6204] ppid=6201 vsize=238988 CPUtime=2262.06 cores=1,3,5,7 /proc/6204/stat : 6204 (MistralXCSP) R 6201 6204 15981 0 -1 4202496 248943 0 0 0 226188 18 0 0 20 0 1 0 37470446 244723712 53443 18446744073709551615 4194304 7396336 140736227291440 140736227285976 5774448 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 26906624 140736227295667 140736227295817 140736227295817 140736227299273 0 /proc/6204/statm: 59747 53443 698 782 0 52763 0 Current children cumulated CPU time (s) 2262.06 Current children cumulated vsize (KiB) 238988 [startup+2322.3 s] /proc/loadavg: 2.05 2.03 2.05 3/181 6453 /proc/meminfo: memFree=31286900/32770624 swapFree=0/223180 [pid=6204] ppid=6201 vsize=238988 CPUtime=2322.05 cores=1,3,5,7 /proc/6204/stat : 6204 (MistralXCSP) R 6201 6204 15981 0 -1 4202496 249360 0 0 0 232187 18 0 0 20 0 1 0 37470446 244723712 53447 18446744073709551615 4194304 7396336 140736227291440 140736227285976 5772895 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 26906624 140736227295667 140736227295817 140736227295817 140736227299273 0 /proc/6204/statm: 59747 53447 698 782 0 52763 0 Current children cumulated CPU time (s) 2322.05 Current children cumulated vsize (KiB) 238988 [startup+2382.3 s] /proc/loadavg: 2.06 2.04 2.05 3/181 6455 /proc/meminfo: memFree=31286304/32770624 swapFree=0/223220 [pid=6204] ppid=6201 vsize=238988 CPUtime=2382.05 cores=1,3,5,7 /proc/6204/stat : 6204 (MistralXCSP) R 6201 6204 15981 0 -1 4202496 249778 0 0 0 238187 18 0 0 20 0 1 0 37470446 244723712 53450 18446744073709551615 4194304 7396336 140736227291440 140736227285976 5771278 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 26906624 140736227295667 140736227295817 140736227295817 140736227299273 0 /proc/6204/statm: 59747 53450 698 782 0 52763 0 Current children cumulated CPU time (s) 2382.05 Current children cumulated vsize (KiB) 238988 [startup+2442.3 s] /proc/loadavg: 2.07 2.05 2.05 3/181 6457 /proc/meminfo: memFree=31284372/32770624 swapFree=0/223240 [pid=6204] ppid=6201 vsize=238988 CPUtime=2442.05 cores=1,3,5,7 /proc/6204/stat : 6204 (MistralXCSP) R 6201 6204 15981 0 -1 4202496 250197 0 0 0 244187 18 0 0 20 0 1 0 37470446 244723712 53451 18446744073709551615 4194304 7396336 140736227291440 140736227285976 4249751 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 26906624 140736227295667 140736227295817 140736227295817 140736227299273 0 /proc/6204/statm: 59747 53451 698 782 0 52763 0 Current children cumulated CPU time (s) 2442.05 Current children cumulated vsize (KiB) 238988 [startup+2502.3 s] /proc/loadavg: 2.03 2.04 2.05 3/184 6473 /proc/meminfo: memFree=31278836/32770624 swapFree=0/223264 [pid=6204] ppid=6201 vsize=239120 CPUtime=2502.04 cores=1,3,5,7 /proc/6204/stat : 6204 (MistralXCSP) R 6201 6204 15981 0 -1 4202496 250622 0 0 0 250186 18 0 0 20 0 1 0 37470446 244858880 53453 18446744073709551615 4194304 7396336 140736227291440 140736227285976 5771331 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 26906624 140736227295667 140736227295817 140736227295817 140736227299273 0 /proc/6204/statm: 59780 53453 698 782 0 52796 0 Current children cumulated CPU time (s) 2502.04 Current children cumulated vsize (KiB) 239120 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s] /proc/loadavg: 2.02 2.04 2.05 3/184 6473 /proc/meminfo: memFree=31278960/32770624 swapFree=0/223288 [pid=6204] ppid=6201 vsize=239120 CPUtime=2519.74 cores=1,3,5,7 /proc/6204/stat : 6204 (MistralXCSP) R 6201 6204 15981 0 -1 4202496 250783 0 0 0 251956 18 0 0 20 0 1 0 37470446 244858880 53455 18446744073709551615 4194304 7396336 140736227291440 140736227285976 4582338 0 0 1 16386 0 0 0 17 3 0 0 5 0 0 9496464 9501696 26906624 140736227295667 140736227295817 140736227295817 140736227299273 0 /proc/6204/statm: 59780 53455 698 782 0 52796 0 Current children cumulated CPU time (s) 2519.74 Current children cumulated vsize (KiB) 239120 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 6204 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 2520 CPU time (s): 2519.76 CPU user time (s): 2519.57 CPU system time (s): 0.190989 CPU usage (%): 99.9904 Max. virtual memory (cumulated for all children) (KiB): 239120 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.57 system time used= 0.190989 maximum resident set size= 213848 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 250824 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= 97 involuntary context switches= 860 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.37021 second user time and 9.96934 second system time The end
Begin job on node126 at 2017-08-10 09:58:29 IDJOB=4261060 IDBENCH=123151 IDSOLVER=2649 FILE ID=node126/4261060-1502352748 RUNJOBID= node126-1502333727-2687 PBS_JOBID= Free space on /tmp= 62024 MiB SOLVER NAME= Mistral-2.0 2017-07-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-4261060-1502352748/watcher-4261060-1502352748 -o /tmp/evaluation-result-4261060-1502352748/solver-4261060-1502352748 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502333727-2687 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1341351722 HOME/instance-4261060-1502352748.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d05a87fa530094a27b230f4f9ca3d0a8 RANDOM SEED=1341351722 node126.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31550232 kB MemAvailable: 31977004 kB Buffers: 247436 kB Cached: 453220 kB SwapCached: 524 kB Active: 471892 kB Inactive: 293808 kB Active(anon): 18692 kB Inactive(anon): 71336 kB Active(file): 453200 kB Inactive(file): 222472 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67105588 kB Dirty: 5860 kB Writeback: 0 kB AnonPages: 64368 kB Mapped: 39528 kB Shmem: 25248 kB Slab: 160084 kB SReclaimable: 133872 kB SUnreclaim: 26212 kB KernelStack: 3232 kB PageTables: 4804 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 325812 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 16384 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 62020 MiB End job on node126 at 2017-08-10 10:40:29