Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2.0 | SAT (TO) | 9639 | 2400.02 | 2400.11 |
Name | QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-sko42.xml |
MD5SUM | ee3f8a7d47c87a95d16b6f1492d4a345 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 9639 |
Best CPU time to get the best result obtained on this benchmark | 2400.02 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1806 |
Number of constraints | 862 |
Number of domains | 2 |
Minimum domain size | 8 |
Maximum domain size | 42 |
Distribution of domain sizes | [{"size":8,"count":861},{"size":42,"count":42}] |
Minimum variable degree | 0 |
Maximum variable degree | 42 |
Distribution of variable degrees | [{"degree":0,"count":903},{"degree":2,"count":861},{"degree":42,"count":42}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 42 |
Distribution of constraint arities | [{"arity":3,"count":861},{"arity":42,"count":1}] |
Number of extensional constraints | 861 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":861},{"type":"allDifferent","count":1}] |
Optimization problem | YES |
Type of objective | min SUM |
0.69/0.71 c 0.69/0.71 c This is cosoco 2.00 -- 0.69/0.71 c 0.69/0.71 c command line: cosoco -lc -model -restarts -stick HOME/instance-4408859-1569789798.xml 0.69/0.71 c enable optimization 0.69/0.71 c ========================================[ Problem Statistics ]=========================================== 0.69/0.71 c | 0.69/0.71 c | Parse time : 0.05 s 0.69/0.71 c | 0.69/0.71 c | Variables: 1806 0.69/0.71 c | Domain Sizes: 8..42 0.69/0.71 c | 0.69/0.71 c | Constraints: 863 0.69/0.71 c | Arity: 3..861 -- Ternary: 861 0.69/0.71 c | 0.69/0.71 c | Types: 0.69/0.71 c | All Different: 1 0.69/0.71 c | Extension: 861 (nb tuples: 1722..1722) -- (shared: 860) 0.69/0.71 c | Sum: 1 0.69/0.71 c | 0.69/0.71 c | Objective: Minimize Sum 0.69/0.71 0.69/0.71 c ========================================================================================================= 0.69/0.71 o 10273 0.69/0.71 c 1 calls to solver(id=0): best=10273 lower=0 upper=10272 1.00/1.06 o 10204 1.59/1.64 o 10149 1.59/1.64 c 3 calls to solver(id=0): best=10149 lower=0 upper=10148 2.00/2.02 o 10119 2.39/2.40 o 10032 2.39/2.40 c 5 calls to solver(id=0): best=10032 lower=0 upper=10031 3.00/3.05 o 9905 3.39/3.43 o 9891 3.39/3.44 c 7 calls to solver(id=0): best=9891 lower=0 upper=9890 3.79/3.82 o 9856 4.49/4.50 o 9768 4.49/4.50 c 9 calls to solver(id=0): best=9768 lower=0 upper=9767 7.29/7.33 o 9750 45.99/46.03 o 9733 45.99/46.03 c 11 calls to solver(id=0): best=9733 lower=0 upper=9732 61.89/61.95 o 9732 88.19/88.23 o 9694 88.19/88.23 c 13 calls to solver(id=0): best=9694 lower=0 upper=9693 88.89/88.96 o 9666 111.78/111.89 o 9663 111.78/111.89 c 15 calls to solver(id=0): best=9663 lower=0 upper=9662 153.48/153.54 o 9658 600.97/601.08 o 9643 600.97/601.08 c 17 calls to solver(id=0): best=9643 lower=0 upper=9642 1729.32/1729.49 o 9642 1834.42/1834.54 o 9639 1834.42/1834.54 c 19 calls to solver(id=0): best=9639 lower=0 upper=9638 2400.01/2400.11 2400.01/2400.11 c *** INTERRUPTED *** 2400.01/2400.11 c call to solver : 19 2400.01/2400.11 c 2400.01/2400.11 c restarts : 411 2400.01/2400.11 c conflicts : 530974 (221 /sec) 2400.01/2400.11 c decisions : 5028557 (2095 /sec) 2400.01/2400.11 c propagations : 334602350 (139419 /sec) 2400.01/2400.11 c root propagations : 103322 2400.01/2400.11 c filter calls : 390500099 (162710 /sec) 2400.01/2400.11 c useless filter calls : 312314289 (79 %) 2400.01/2400.11 c Memory used : 55.19 MB 2400.01/2400.11 c Best bound time (wc) : 1834.54 s 2400.01/2400.11 c CPU time : 2399.98 s 2400.01/2400.11 c real time : 2400.11 s 2400.01/2400.11 2400.01/2400.11 c nb Solutions = 19 2400.01/2400.11 s SATISFIABLE 2400.01/2400.11 c Best value found: 9639 2400.01/2400.11 2400.01/2400.11 2400.01/2400.11 v <instantiation type='solution' cost='9639'> 2400.01/2400.11 v <list>d[0][0] 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][1] 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][2] d[0][30] d[0][31] d[0][32] d[0][33] d[0][34] d[0][35] d[0][36] d[0][37] d[0][38] d[0][39] d[0][3] d[0][40] d[0][41] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[10][0] 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][1] 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][2] d[10][30] d[10][31] d[10][32] d[10][33] d[10][34] d[10][35] d[10][36] d[10][37] d[10][38] d[10][39] d[10][3] d[10][40] d[10][41] d[10][4] d[10][5] d[10][6] d[10][7] d[10][8] d[10][9] d[11][0] 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][1] 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][2] d[11][30] d[11][31] d[11][32] d[11][33] d[11][34] d[11][35] d[11][36] d[11][37] d[11][38] d[11][39] d[11][3] d[11][40] d[11][41] d[11][4] d[11][5] d[11][6] d[11][7] d[11][8] d[11][9] d[12][0] 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][1] 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][2] d[12][30] d[12][31] d[12][32] d[12][33] d[12][34] d[12][35] d[12][36] d[12][37] d[12][38] d[12][39] d[12][3] d[12][40] d[12][41] d[12][4] d[12][5] d[12][6] d[12][7] d[12][8] d[12][9] d[13][0] 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][1] 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][2] d[13][30] d[13][31] d[13][32] d[13][33] d[13][34] d[13][35] d[13][36] d[13][37] d[13][38] d[13][39] d[13][3] d[13][40] d[13][41] d[13][4] d[13][5] d[13][6] d[13][7] d[13][8] d[13][9] d[14][0] 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][1] 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][2] d[14][30] d[14][31] d[14][32] d[14][33] d[14][34] d[14][35] d[14][36] d[14][37] d[14][38] d[14][39] d[14][3] d[14][40] d[14][41] d[14][4] d[14][5] d[14][6] d[14][7] d[14][8] d[14][9] d[15][0] 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][1] 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][2] d[15][30] d[15][31] d[15][32] d[15][33] d[15][34] d[15][35] d[15][36] d[15][37] d[15][38] d[15][39] d[15][3] d[15][40] d[15][41] d[15][4] d[15][5] d[15][6] d[15][7] d[15][8] d[15][9] d[16][0] 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][1] 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][2] d[16][30] d[16][31] d[16][32] d[16][33] d[16][34] d[16][35] d[16][36] d[16][37] d[16][38] d[16][39] d[16][3] d[16][40] d[16][41] d[16][4] d[16][5] d[16][6] d[16][7] d[16][8] d[16][9] d[17][0] 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][1] 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][2] d[17][30] d[17][31] d[17][32] d[17][33] d[17][34] d[17][35] d[17][36] d[17][37] d[17][38] d[17][39] d[17][3] d[17][40] d[17][41] d[17][4] d[17][5] d[17][6] d[17][7] d[17][8] d[17][9] d[18][0] 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][1] 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][2] d[18][30] d[18][31] d[18][32] d[18][33] d[18][34] d[18][35] d[18][36] d[18][37] d[18][38] d[18][39] d[18][3] d[18][40] d[18][41] d[18][4] d[18][5] d[18][6] d[18][7] d[18][8] d[18][9] d[19][0] 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][1] 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][2] d[19][30] d[19][31] d[19][32] d[19][33] d[19][34] d[19][35] d[19][36] d[19][37] d[19][38] d[19][39] d[19][3] d[19][40] d[19][41] d[19][4] d[19][5] d[19][6] d[19][7] d[19][8] d[19][9] d[1][0] 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][1] 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][2] d[1][30] d[1][31] d[1][32] d[1][33] d[1][34] d[1][35] d[1][36] d[1][37] d[1][38] d[1][39] d[1][3] d[1][40] d[1][41] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[20][0] 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][1] 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][2] d[20][30] d[20][31] d[20][32] d[20][33] d[20][34] d[20][35] d[20][36] d[20][37] d[20][38] d[20][39] d[20][3] d[20][40] d[20][41] d[20][4] d[20][5] d[20][6] d[20][7] d[20][8] d[20][9] d[21][0] 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][1] 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][2] d[21][30] d[21][31] d[21][32] d[21][33] d[21][34] d[21][35] d[21][36] d[21][37] d[21][38] d[21][39] d[21][3] d[21][40] d[21][41] d[21][4] d[21][5] d[21][6] d[21][7] d[21][8] d[21][9] d[22][0] 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][1] 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][2] d[22][30] d[22][31] d[22][32] d[22][33] d[22][34] d[22][35] d[22][36] d[22][37] d[22][38] d[22][39] d[22][3] d[22][40] d[22][41] d[22][4] d[22][5] d[22][6] d[22][7] d[22][8] d[22][9] d[23][0] 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][1] 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][2] d[23][30] d[23][31] d[23][32] d[23][33] d[23][34] d[23][35] d[23][36] d[23][37] d[23][38] d[23][39] d[23][3] d[23][40] d[23][41] d[23][4] d[23][5] d[23][6] d[23][7] d[23][8] d[23][9] d[24][0] 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][1] 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][2] d[24][30] d[24][31] d[24][32] d[24][33] d[24][34] d[24][35] d[24][36] d[24][37] d[24][38] d[24][39] d[24][3] d[24][40] d[24][41] d[24][4] d[24][5] d[24][6] d[24][7] d[24][8] d[24][9] d[25][0] 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][1] 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][2] d[25][30] d[25][31] d[25][32] d[25][33] d[25][34] d[25][35] d[25][36] d[25][37] d[25][38] d[25][39] d[25][3] d[25][40] d[25][41] d[25][4] d[25][5] d[25][6] d[25][7] d[25][8] d[25][9] d[26][0] 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][1] 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][2] d[26][30] d[26][31] d[26][32] d[26][33] d[26][34] d[26][35] d[26][36] d[26][37] d[26][38] d[26][39] d[26][3] d[26][40] d[26][41] d[26][4] d[26][5] d[26][6] d[26][7] d[26][8] d[26][9] d[27][0] 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][1] 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][2] d[27][30] d[27][31] d[27][32] d[27][33] d[27][34] d[27][35] d[27][36] d[27][37] d[27][38] d[27][39] d[27][3] d[27][40] d[27][41] d[27][4] d[27][5] d[27][6] d[27][7] d[27][8] d[27][9] d[28][0] 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][1] 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][2] d[28][30] d[28][31] d[28][32] d[28][33] d[28][34] d[28][35] d[28][36] d[28][37] d[28][38] d[28][39] d[28][3] d[28][40] d[28][41] d[28][4] d[28][5] d[28][6] d[28][7] d[28][8] d[28][9] d[29][0] 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][1] 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][2] d[29][30] d[29][31] d[29][32] d[29][33] d[29][34] d[29][35] d[29][36] d[29][37] d[29][38] d[29][39] d[29][3] d[29][40] d[29][41] d[29][4] d[29][5] d[29][6] d[29][7] d[29][8] d[29][9] d[2][0] 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][1] 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][2] d[2][30] d[2][31] d[2][32] d[2][33] d[2][34] d[2][35] d[2][36] d[2][37] d[2][38] d[2][39] d[2][3] d[2][40] d[2][41] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[30][0] 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][1] 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][2] d[30][30] d[30][31] d[30][32] d[30][33] d[30][34] d[30][35] d[30][36] d[30][37] d[30][38] d[30][39] d[30][3] d[30][40] d[30][41] d[30][4] d[30][5] d[30][6] d[30][7] d[30][8] d[30][9] d[31][0] 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][1] 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][2] d[31][30] d[31][31] d[31][32] d[31][33] d[31][34] d[31][35] d[31][36] d[31][37] d[31][38] d[31][39] d[31][3] d[31][40] d[31][41] d[31][4] d[31][5] d[31][6] d[31][7] d[31][8] d[31][9] d[32][0] 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][1] 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][2] d[32][30] d[32][31] d[32][32] d[32][33] d[32][34] d[32][35] d[32][36] d[32][37] d[32][38] d[32][39] d[32][3] d[32][40] d[32][41] d[32][4] d[32][5] d[32][6] d[32][7] d[32][8] d[32][9] d[33][0] 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][1] 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][2] d[33][30] d[33][31] d[33][32] d[33][33] d[33][34] d[33][35] d[33][36] d[33][37] d[33][38] d[33][39] d[33][3] d[33][40] d[33][41] d[33][4] d[33][5] d[33][6] d[33][7] d[33][8] d[33][9] d[34][0] 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][1] 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][2] d[34][30] d[34][31] d[34][32] d[34][33] d[34][34] d[34][35] d[34][36] d[34][37] d[34][38] d[34][39] d[34][3] d[34][40] d[34][41] d[34][4] d[34][5] d[34][6] d[34][7] d[34][8] d[34][9] d[35][0] 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][1] 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][2] d[35][30] d[35][31] d[35][32] d[35][33] d[35][34] d[35][35] d[35][36] d[35][37] d[35][38] d[35][39] d[35][3] d[35][40] d[35][41] d[35][4] d[35][5] d[35][6] d[35][7] d[35][8] d[35][9] d[36][0] d[36][10] d[36][11] d[36][12] d[36][13] d[36][14] d[36][15] d[36][16] d[36][17] d[36][18] d[36][19] d[36][1] d[36][20] d[36][21] d[36][22] d[36][23] d[36][24] d[36][25] d[36][26] d[36][27] d[36][28] d[36][29] d[36][2] d[36][30] d[36][31] d[36][32] d[36][33] d[36][34] d[36][35] d[36][36] d[36][37] d[36][38] d[36][39] d[36][3] d[36][40] d[36][41] d[36][4] d[36][5] d[36][6] d[36][7] d[36][8] d[36][9] d[37][0] d[37][10] d[37][11] d[37][12] d[37][13] d[37][14] d[37][15] d[37][16] d[37][17] d[37][18] d[37][19] d[37][1] d[37][20] d[37][21] d[37][22] d[37][23] d[37][24] d[37][25] d[37][26] d[37][27] d[37][28] d[37][29] d[37][2] d[37][30] d[37][31] d[37][32] d[37][33] d[37][34] d[37][35] d[37][36] d[37][37] d[37][38] d[37][39] d[37][3] d[37][40] d[37][41] d[37][4] d[37][5] d[37][6] d[37][7] d[37][8] d[37][9] d[38][0] d[38][10] d[38][11] d[38][12] d[38][13] d[38][14] d[38][15] d[38][16] d[38][17] d[38][18] d[38][19] d[38][1] d[38][20] d[38][21] d[38][22] d[38][23] d[38][24] d[38][25] d[38][26] d[38][27] d[38][28] d[38][29] d[38][2] d[38][30] d[38][31] d[38][32] d[38][33] d[38][34] d[38][35] d[38][36] d[38][37] d[38][38] d[38][39] d[38][3] d[38][40] d[38][41] d[38][4] d[38][5] d[38][6] d[38][7] d[38][8] d[38][9] d[39][0] d[39][10] d[39][11] d[39][12] d[39][13] d[39][14] d[39][15] d[39][16] d[39][17] d[39][18] d[39][19] d[39][1] d[39][20] d[39][21] d[39][22] d[39][23] d[39][24] d[39][25] d[39][26] d[39][27] d[39][28] d[39][29] d[39][2] d[39][30] d[39][31] d[39][32] d[39][33] d[39][34] d[39][35] d[39][36] d[39][37] d[39][38] d[39][39] d[39][3] d[39][40] d[39][41] d[39][4] d[39][5] d[39][6] d[39][7] d[39][8] d[39][9] d[3][0] 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][1] 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][2] d[3][30] d[3][31] d[3][32] d[3][33] d[3][34] d[3][35] d[3][36] d[3][37] d[3][38] d[3][39] d[3][3] d[3][40] d[3][41] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[40][0] d[40][10] d[40][11] d[40][12] d[40][13] d[40][14] d[40][15] d[40][16] d[40][17] d[40][18] d[40][19] d[40][1] d[40][20] d[40][21] d[40][22] d[40][23] d[40][24] d[40][25] d[40][26] d[40][27] d[40][28] d[40][29] d[40][2] d[40][30] d[40][31] d[40][32] d[40][33] d[40][34] d[40][35] d[40][36] d[40][37] d[40][38] d[40][39] d[40][3] d[40][40] d[40][41] d[40][4] d[40][5] d[40][6] d[40][7] d[40][8] d[40][9] d[41][0] d[41][10] d[41][11] d[41][12] d[41][13] d[41][14] d[41][15] d[41][16] d[41][17] d[41][18] d[41][19] d[41][1] d[41][20] d[41][21] d[41][22] d[41][23] d[41][24] d[41][25] d[41][26] d[41][27] d[41][28] d[41][29] d[41][2] d[41][30] d[41][31] d[41][32] d[41][33] d[41][34] d[41][35] d[41][36] d[41][37] d[41][38] d[41][39] d[41][3] d[41][40] d[41][41] d[41][4] d[41][5] d[41][6] d[41][7] d[41][8] d[41][9] d[4][0] 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][1] 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][2] d[4][30] d[4][31] d[4][32] d[4][33] d[4][34] d[4][35] d[4][36] d[4][37] d[4][38] d[4][39] d[4][3] d[4][40] d[4][41] d[4][4] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[5][0] 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][1] 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][2] d[5][30] d[5][31] d[5][32] d[5][33] d[5][34] d[5][35] d[5][36] d[5][37] d[5][38] d[5][39] d[5][3] d[5][40] d[5][41] d[5][4] d[5][5] d[5][6] d[5][7] d[5][8] d[5][9] d[6][0] 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][1] 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][2] d[6][30] d[6][31] d[6][32] d[6][33] d[6][34] d[6][35] d[6][36] d[6][37] d[6][38] d[6][39] d[6][3] d[6][40] d[6][41] d[6][4] d[6][5] d[6][6] d[6][7] d[6][8] d[6][9] d[7][0] 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][1] 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][2] d[7][30] d[7][31] d[7][32] d[7][33] d[7][34] d[7][35] d[7][36] d[7][37] d[7][38] d[7][39] d[7][3] d[7][40] d[7][41] d[7][4] d[7][5] d[7][6] d[7][7] d[7][8] d[7][9] d[8][0] 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][1] 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][2] d[8][30] d[8][31] d[8][32] d[8][33] d[8][34] d[8][35] d[8][36] d[8][37] d[8][38] d[8][39] d[8][3] d[8][40] d[8][41] d[8][4] d[8][5] d[8][6] d[8][7] d[8][8] d[8][9] d[9][0] 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][1] 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][2] d[9][30] d[9][31] d[9][32] d[9][33] d[9][34] d[9][35] d[9][36] d[9][37] d[9][38] d[9][39] d[9][3] d[9][40] d[9][41] d[9][4] d[9][5] d[9][6] d[9][7] d[9][8] d[9][9] x[0] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[1] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[2] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[3] x[40] x[41] x[4] x[5] x[6] x[7] x[8] x[9] </list> 2400.01/2400.11 v <values>* 5 4 2 0 5 2 5 2 0 0 5 2 2 0 0 0 2 1 0 0 0 0 0 5 2 3 2 0 0 2 5 2 2 1 0 3 2 5 2 1 6 * * 0 0 2 5 0 0 2 5 0 * 5 5 0 0 1 0 1 1 2 2 * 5 3 0 5 0 6 0 3 5 0 * 0 0 * * * * * * * * * 1 6 4 0 0 2 1 0 * 0 5 2 2 10 0 2 1 2 3 * 0 10 1 4 5 1 2 1 4 5 * 5 0 * * * * * * * * * * 1 0 0 2 0 2 2 * 3 0 0 5 10 0 5 0 0 10 * 4 5 3 2 2 0 0 2 4 0 * 1 2 * * * * * * * * * * * 1 2 0 5 10 2 * 0 0 0 0 1 0 6 10 0 5 * 4 2 2 2 0 5 5 2 1 3 * 6 4 * * * * * * * * * * * * 2 0 0 5 1 * 1 5 2 0 1 4 0 5 5 4 * 2 2 3 0 5 0 10 0 3 2 * 2 2 * * * * * * * * * * * * * 10 0 3 1 * 0 10 2 0 0 2 0 1 0 0 * 3 5 5 10 0 2 6 2 2 3 * 1 5 * * * * * * * * * * * * * * 5 0 5 * 5 0 10 10 5 1 5 10 2 5 * 0 0 0 2 5 1 1 5 1 2 * 3 5 * * * * * * * * * * * * * * * 2 0 * 0 1 4 1 5 0 2 5 2 5 * 5 5 0 0 2 2 5 0 0 0 * 2 0 * * * * * * * * * * * * * * * * 3 * 5 5 0 0 0 0 2 1 5 5 * 0 0 5 0 1 3 0 1 5 6 * 5 1 * * * * * * * * * * * * * * * * * * 2 1 2 5 0 0 0 0 0 6 * 5 5 10 5 0 2 4 1 1 5 * 0 5 * * * * * * * 10 0 2 0 5 5 10 0 0 0 * 0 5 2 1 5 0 1 5 0 0 1 1 2 0 1 0 5 1 1 5 0 0 2 1 5 1 1 4 5 1 * * * * * * * * * * * * * 2 5 3 2 5 1 0 10 2 * 5 5 2 10 10 2 5 0 1 1 * 0 2 * * * * * * * * * * * * * * * * * * * * 6 5 10 0 6 5 10 0 * 0 0 2 5 1 0 2 5 0 0 * 0 5 * * * * * * * * * * * * * * * * * * * * * 1 5 2 2 5 0 2 * 0 2 2 2 5 1 0 2 0 0 * 0 5 * * * * * * * * * * * * * * * * * * * * * * 10 10 5 1 10 0 * 10 1 0 3 5 1 0 10 0 2 * 1 1 * * * * * * * * * * * * * * * * * * * * * * * 3 2 5 2 0 * 3 2 10 0 10 0 0 1 0 2 * 0 2 * * * * * * * * * * * * * * * * * * * * * * * * 3 5 1 5 * 5 2 2 10 2 0 2 2 6 10 * 5 0 * * * * * * * * * * * * * * * * * * * * * * * * * 1 0 0 * 5 2 0 5 5 2 1 0 5 4 * 5 2 * * * * * * * * * * * * * * * * * * * * * * * * * * 3 1 * 0 1 2 2 5 1 0 1 2 6 * 2 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 * 5 4 5 2 4 0 2 5 1 10 * 4 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 0 2 10 1 10 1 5 2 1 * 0 1 * * * * * * * 1 5 0 0 3 5 0 5 0 5 * 4 0 0 0 10 2 0 0 5 6 * 2 10 3 1 2 5 10 0 2 2 2 0 5 5 5 1 2 2 5 * * * * * * * * * * * * * * * * * * * * * * * * 1 5 10 2 2 2 5 2 1 * 1 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 5 2 10 10 2 2 * 0 4 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 5 5 5 1 2 * 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 5 10 1 5 * 0 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4 0 2 4 0 * 0 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 2 2 4 * 1 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 1 10 * 1 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 * 0 10 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 * 5 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 2 * * * * * * * 1 0 5 10 1 0 5 0 10 1 * 10 3 0 0 5 2 6 5 0 5 * 4 1 5 10 5 5 5 1 1 2 * 5 0 5 0 5 5 2 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 2 2 1 1 0 5 0 10 0 * 0 1 0 4 4 5 5 1 1 2 * 10 0 0 1 3 10 6 0 5 6 * 5 0 * 5 5 0 10 2 * 5 0 5 2 10 0 0 0 6 0 * 5 5 0 0 2 0 2 2 10 2 * 1 5 5 5 0 1 10 2 0 1 * 5 2 * * 0 5 2 2 * 10 0 0 10 0 5 0 2 1 2 * 2 0 2 1 5 2 0 0 5 2 * 0 0 5 4 3 5 0 1 1 5 * 0 5 * * * 0 1 2 * 2 10 2 0 10 3 2 0 0 1 * 0 10 1 0 2 6 2 10 1 5 * 10 0 0 0 0 10 0 2 4 0 * 0 2 * * * * 1 10 * 3 0 5 4 2 4 2 5 5 5 * 5 0 2 2 5 5 0 1 3 0 * 10 0 5 0 2 1 5 0 0 0 * 0 1 * * * * * 0 * 0 5 4 5 0 10 0 5 0 0 * 5 10 0 2 0 5 4 10 1 2 * 0 0 0 1 0 5 5 2 0 2 * 0 5 * * * * * * 7 28 20 26 6 39 23 35 15 16 12 5 34 36 22 1 38 17 4 2 13 19 3 18 32 30 25 29 33 8 27 24 31 11 40 21 41 14 10 37 9 0 </values> 2400.01/2400.11 v </instantiation> 2400.01/2400.11
OK 9639
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL 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. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (15316 MiB free) memory of node 1: 16384 MiB (15600 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408859-1569789798/watcher-4408859-1569789798 -o /tmp/evaluation-result-4408859-1569789798/solver-4408859-1569789798 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1569787336-17163 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408859-1569789798.xml running on 4 cores: 0,2,4,6 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 Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=17960, runsolver pid=17957 [startup+0.100219 s]* /proc/loadavg: 2.00 2.00 1.86 3/201 17961 /proc/meminfo: memFree=31637344/32770624 swapFree=66999256/67108860 [pid=17960] ppid=17957 vsize=48584 memory=24928 CPUtime=0.1 cores=0,2,4,6 /proc/17960/stat : 17960 (cosoco) R 17957 17960 17132 0 -1 4202496 6450 0 0 0 10 0 0 0 20 0 1 0 555232875 49750016 6232 33554432000 4194304 6211132 140733613039280 140733613035816 139979582192613 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17637376 140733613040651 140733613040753 140733613040753 140733613043662 0 /proc/17960/statm: 12146 6232 828 493 0 5451 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 48584 KiB Current children cumulated memory: 24928 KiB [startup+0.209894 s]* /proc/loadavg: 2.00 2.00 1.86 3/201 17961 /proc/meminfo: memFree=31632756/32770624 swapFree=66999256/67108860 [pid=17960] ppid=17957 vsize=54660 memory=31264 CPUtime=0.21 cores=0,2,4,6 /proc/17960/stat : 17960 (cosoco) R 17957 17960 17132 0 -1 4202496 7981 0 0 0 21 0 0 0 20 0 1 0 555232875 55971840 7816 33554432000 4194304 6211132 140733613039280 140733613035816 5039178 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17637376 140733613040651 140733613040753 140733613040753 140733613043662 0 /proc/17960/statm: 13665 7816 873 493 0 6970 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 54660 KiB Current children cumulated memory: 31264 KiB [startup+0.309991 s]* /proc/loadavg: 2.00 2.00 1.86 3/201 17961 /proc/meminfo: memFree=31631268/32770624 swapFree=66999256/67108860 [pid=17960] ppid=17957 vsize=54924 memory=31264 CPUtime=0.31 cores=0,2,4,6 /proc/17960/stat : 17960 (cosoco) R 17957 17960 17132 0 -1 4202496 8032 0 0 0 31 0 0 0 20 0 1 0 555232875 56242176 7816 33554432000 4194304 6211132 140733613039280 140733613035816 5039026 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17637376 140733613040651 140733613040753 140733613040753 140733613043662 0 /proc/17960/statm: 13731 7816 873 493 0 7036 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 54924 KiB Current children cumulated memory: 31264 KiB [startup+0.700427 s] /proc/loadavg: 2.00 2.00 1.86 3/201 17961 /proc/meminfo: memFree=31630988/32770624 swapFree=66999256/67108860 [pid=17960] ppid=17957 vsize=54924 memory=31264 CPUtime=0.69 cores=0,2,4,6 /proc/17960/stat : 17960 (cosoco) R 17957 17960 17132 0 -1 4202496 8039 0 0 0 69 0 0 0 20 0 1 0 555232875 56242176 7816 33554432000 4194304 6211132 140733613039280 140733613035816 5250311 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17637376 140733613040651 140733613040753 140733613040753 140733613043662 0 /proc/17960/statm: 13731 7816 873 493 0 7036 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 54924 KiB Current children cumulated memory: 31264 KiB [startup+1.50044 s] /proc/loadavg: 2.00 2.00 1.86 3/201 17961 /proc/meminfo: memFree=31630720/32770624 swapFree=66999256/67108860 [pid=17960] ppid=17957 vsize=55188 memory=31528 CPUtime=1.49 cores=0,2,4,6 /proc/17960/stat : 17960 (cosoco) R 17957 17960 17132 0 -1 4202496 8104 0 0 0 149 0 0 0 20 0 1 0 555232875 56512512 7882 33554432000 4194304 6211132 140733613039280 140733613027160 5038964 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17637376 140733613040651 140733613040753 140733613040753 140733613043662 0 /proc/17960/statm: 13797 7882 873 493 0 7102 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 55188 KiB Current children cumulated memory: 31528 KiB [startup+3.10969 s] /proc/loadavg: 2.00 2.00 1.86 3/201 17961 /proc/meminfo: memFree=31630432/32770624 swapFree=66999256/67108860 [pid=17960] ppid=17957 vsize=55716 memory=32132 CPUtime=3.1 cores=0,2,4,6 /proc/17960/stat : 17960 (cosoco) R 17957 17960 17132 0 -1 4202496 14508 0 0 0 310 0 0 0 20 0 1 0 555232875 57053184 8033 33554432000 4194304 6211132 140733613039280 140733613027160 5039125 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17637376 140733613040651 140733613040753 140733613040753 140733613043662 0 /proc/17960/statm: 13929 8033 874 493 0 7234 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 55716 KiB Current children cumulated memory: 32132 KiB [startup+6.30034 s] /proc/loadavg: 2.00 2.00 1.86 3/200 17961 /proc/meminfo: memFree=31629316/32770624 swapFree=66999256/67108860 [pid=17960] ppid=17957 vsize=56244 memory=32820 CPUtime=6.29 cores=0,2,4,6 /proc/17960/stat : 17960 (cosoco) R 17957 17960 17132 0 -1 4202496 21056 0 0 0 629 0 0 0 20 0 1 0 555232875 57593856 8205 33554432000 4194304 6211132 140733613039280 140733613036488 5155832 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17637376 140733613040651 140733613040753 140733613040753 140733613043662 0 /proc/17960/statm: 14061 8205 874 493 0 7366 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 56244 KiB Current children cumulated memory: 32820 KiB [startup+12.7003 s] /proc/loadavg: 2.00 2.00 1.86 3/200 17961 /proc/meminfo: memFree=31628992/32770624 swapFree=66999256/67108860 [pid=17960] ppid=17957 vsize=56508 memory=33040 CPUtime=12.69 cores=0,2,4,6 /proc/17960/stat : 17960 (cosoco) R 17957 17960 17132 0 -1 4202496 27495 0 0 0 1268 1 0 0 20 0 1 0 555232875 57864192 8260 33554432000 4194304 6211132 140733613039280 140733613037416 5155836 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17637376 140733613040651 140733613040753 140733613040753 140733613043662 0 /proc/17960/statm: 14127 8260 874 493 0 7432 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 56508 KiB Current children cumulated memory: 33040 KiB [startup+25.5004 s] /proc/loadavg: 2.00 2.00 1.86 3/200 17961 /proc/meminfo: memFree=31629024/32770624 swapFree=66999256/67108860 [pid=17960] ppid=17957 vsize=56508 memory=33104 CPUtime=25.49 cores=0,2,4,6 /proc/17960/stat : 17960 (cosoco) R 17957 17960 17132 0 -1 4202496 40198 0 0 0 2548 1 0 0 20 0 1 0 555232875 57864192 8276 33554432000 4194304 6211132 140733613039280 140733613036488 5155836 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17637376 140733613040651 140733613040753 140733613040753 140733613043662 0 /proc/17960/statm: 14127 8276 874 493 0 7432 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 56508 KiB Current children cumulated memory: 33104 KiB [startup+51.1097 s] /proc/loadavg: 2.00 2.00 1.87 3/200 17964 /proc/meminfo: memFree=31628084/32770624 swapFree=66999256/67108860 [pid=17960] ppid=17957 vsize=56508 memory=33176 CPUtime=51.1 cores=0,2,4,6 /proc/17960/stat : 17960 (cosoco) R 17957 17960 17132 0 -1 4202496 43895 0 0 0 5108 2 0 0 20 0 1 0 555232875 57864192 8294 33554432000 4194304 6211132 140733613039280 140733613027160 5250304 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17637376 140733613040651 140733613040753 140733613040753 140733613043662 0 /proc/17960/statm: 14127 8294 874 493 0 7432 0 Current children cumulated CPU time: 51.1 s Current children cumulated vsize: 56508 KiB Current children cumulated memory: 33176 KiB [startup+102.3 s] /proc/loadavg: 2.05 2.02 1.88 3/200 17967 /proc/meminfo: memFree=31628932/32770624 swapFree=66999256/67108860 [pid=17960] ppid=17957 vsize=56508 memory=33176 CPUtime=102.28 cores=0,2,4,6 /proc/17960/stat : 17960 (cosoco) R 17957 17960 17132 0 -1 4202496 44573 0 0 0 10226 2 0 0 20 0 1 0 555232875 57864192 8294 33554432000 4194304 6211132 140733613039280 140733613037416 5250319 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17637376 140733613040651 140733613040753 140733613040753 140733613043662 0 /proc/17960/statm: 14127 8294 874 493 0 7432 0 Current children cumulated CPU time: 102.28 s Current children cumulated vsize: 56508 KiB Current children cumulated memory: 33176 KiB [startup+162.3 s] /proc/loadavg: 2.02 2.01 1.88 3/200 17971 /proc/meminfo: memFree=31628580/32770624 swapFree=66999256/67108860 [pid=17960] ppid=17957 vsize=56508 memory=33176 CPUtime=162.28 cores=0,2,4,6 /proc/17960/stat : 17960 (cosoco) R 17957 17960 17132 0 -1 4202496 45246 0 0 0 16226 2 0 0 20 0 1 0 555232875 57864192 8294 33554432000 4194304 6211132 140733613039280 140733613037416 5156168 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17637376 140733613040651 140733613040753 140733613040753 140733613043662 0 /proc/17960/statm: 14127 8294 874 493 0 7432 0 Current children cumulated CPU time: 162.28 s Current children cumulated vsize: 56508 KiB Current children cumulated memory: 33176 KiB [startup+222.3 s] /proc/loadavg: 2.01 2.01 1.89 3/199 17975 /proc/meminfo: memFree=31629528/32770624 swapFree=66999256/67108860 [pid=17960] ppid=17957 vsize=56508 memory=33176 CPUtime=222.28 cores=0,2,4,6 /proc/17960/stat : 17960 (cosoco) R 17957 17960 17132 0 -1 4202496 45844 0 0 0 22226 2 0 0 20 0 1 0 555232875 57864192 8294 33554432000 4194304 6211132 140733613039280 140733613037416 5186326 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17637376 140733613040651 140733613040753 140733613040753 140733613043662 0 /proc/17960/statm: 14127 8294 874 493 0 7432 0 Current children cumulated CPU time: 222.28 s Current children cumulated vsize: 56508 KiB Current children cumulated memory: 33176 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.01 1.89 3/199 17981 /proc/meminfo: memFree=31629516/32770624 swapFree=66999256/67108860 [pid=17960] ppid=17957 vsize=56508 memory=33176 CPUtime=282.28 cores=0,2,4,6 /proc/17960/stat : 17960 (cosoco) R 17957 17960 17132 0 -1 4202496 46438 0 0 0 28226 2 0 0 20 0 1 0 555232875 57864192 8294 33554432000 4194304 6211132 140733613039280 140733613037416 5250339 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17637376 140733613040651 140733613040753 140733613040753 140733613043662 0 /proc/17960/statm: 14127 8294 874 493 0 7432 0 Current children cumulated CPU time: 282.28 s Current children cumulated vsize: 56508 KiB Current children cumulated memory: 33176 KiB [startup+342.3 s] /proc/loadavg: 1.91 1.98 1.89 3/199 18046 /proc/meminfo: memFree=31624644/32770624 swapFree=66999256/67108860 [pid=17960] ppid=17957 vsize=56508 memory=33176 CPUtime=342.27 cores=0,2,4,6 /proc/17960/stat : 17960 (cosoco) R 17957 17960 17132 0 -1 4202496 47041 0 0 0 34225 2 0 0 20 0 1 0 555232875 57864192 8294 33554432000 4194304 6211132 140733613039280 140733613037416 5155836 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17637376 140733613040651 140733613040753 140733613040753 140733613043662 0 /proc/17960/statm: 14127 8294 874 493 0 7432 0 Current children cumulated CPU time: 342.27 s Current children cumulated vsize: 56508 KiB Current children cumulated memory: 33176 KiB [startup+402.3 s] /proc/loadavg: 1.97 1.99 1.89 3/199 18050 /proc/meminfo: memFree=31624656/32770624 swapFree=66999256/67108860 [pid=17960] ppid=17957 vsize=56508 memory=33176 CPUtime=402.27 cores=0,2,4,6 /proc/17960/stat : 17960 (cosoco) R 17957 17960 17132 0 -1 4202496 47650 0 0 0 40225 2 0 0 20 0 1 0 555232875 57864192 8294 33554432000 4194304 6211132 140733613039280 140733613037416 5035283 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17637376 140733613040651 140733613040753 140733613040753 140733613043662 0 /proc/17960/statm: 14127 8294 874 493 0 7432 0 Current children cumulated CPU time: 402.27 s Current children cumulated vsize: 56508 KiB Current children cumulated memory: 33176 KiB [startup+462.3 s] /proc/loadavg: 1.99 1.99 1.90 3/199 18056 /proc/meminfo: memFree=31624132/32770624 swapFree=66999256/67108860 [pid=17960] ppid=17957 vsize=56508 memory=33176 CPUtime=462.27 cores=0,2,4,6 /proc/17960/stat : 17960 (cosoco) R 17957 17960 17132 0 -1 4202496 48255 0 0 0 46225 2 0 0 20 0 1 0 555232875 57864192 8294 33554432000 4194304 6211132 140733613039280 140733613037416 5250273 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17637376 140733613040651 140733613040753 140733613040753 140733613043662 0 /proc/17960/statm: 14127 8294 874 493 0 7432 0 Current children cumulated CPU time: 462.27 s Current children cumulated vsize: 56508 KiB Current children cumulated memory: 33176 KiB ################ # More data... # ################ /proc/17960/statm: 14127 8294 874 493 0 7432 0 Current children cumulated CPU time: 1662.22 s Current children cumulated vsize: 56508 KiB Current children cumulated memory: 33176 KiB [startup+1722.3 s] /proc/loadavg: 2.00 1.99 1.95 3/200 18202 /proc/meminfo: memFree=31623184/32770624 swapFree=66999256/67108860 [pid=17960] ppid=17957 vsize=56508 memory=33176 CPUtime=1722.22 cores=0,2,4,6 /proc/17960/stat : 17960 (cosoco) R 17957 17960 17132 0 -1 4202496 55763 0 0 0 172220 2 0 0 20 0 1 0 555232875 57864192 8294 33554432000 4194304 6211132 140733613039280 140733613027160 5250304 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17637376 140733613040651 140733613040753 140733613040753 140733613043662 0 /proc/17960/statm: 14127 8294 874 493 0 7432 0 Current children cumulated CPU time: 1722.22 s Current children cumulated vsize: 56508 KiB Current children cumulated memory: 33176 KiB [startup+1782.3 s] /proc/loadavg: 2.00 1.99 1.95 3/200 18206 /proc/meminfo: memFree=31623408/32770624 swapFree=66999256/67108860 [pid=17960] ppid=17957 vsize=56508 memory=33180 CPUtime=1782.22 cores=0,2,4,6 /proc/17960/stat : 17960 (cosoco) R 17957 17960 17132 0 -1 4202496 56612 0 0 0 178219 3 0 0 20 0 1 0 555232875 57864192 8295 33554432000 4194304 6211132 140733613039280 140733613037416 5250321 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17637376 140733613040651 140733613040753 140733613040753 140733613043662 0 /proc/17960/statm: 14127 8295 874 493 0 7432 0 Current children cumulated CPU time: 1782.22 s Current children cumulated vsize: 56508 KiB Current children cumulated memory: 33180 KiB [startup+1842.3 s] /proc/loadavg: 2.00 1.99 1.95 4/200 18210 /proc/meminfo: memFree=31623640/32770624 swapFree=66999256/67108860 [pid=17960] ppid=17957 vsize=56508 memory=33184 CPUtime=1842.22 cores=0,2,4,6 /proc/17960/stat : 17960 (cosoco) R 17957 17960 17132 0 -1 4202496 57314 0 0 0 184219 3 0 0 20 0 1 0 555232875 57864192 8296 33554432000 4194304 6211132 140733613039280 140733613027160 5250304 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17637376 140733613040651 140733613040753 140733613040753 140733613043662 0 /proc/17960/statm: 14127 8296 874 493 0 7432 0 Current children cumulated CPU time: 1842.22 s Current children cumulated vsize: 56508 KiB Current children cumulated memory: 33184 KiB [startup+1902.3 s] /proc/loadavg: 2.00 1.99 1.95 4/200 18216 /proc/meminfo: memFree=31622952/32770624 swapFree=66999256/67108860 [pid=17960] ppid=17957 vsize=56508 memory=33184 CPUtime=1902.22 cores=0,2,4,6 /proc/17960/stat : 17960 (cosoco) R 17957 17960 17132 0 -1 4202496 57582 0 0 0 190219 3 0 0 20 0 1 0 555232875 57864192 8296 33554432000 4194304 6211132 140733613039280 140733613027160 5038992 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17637376 140733613040651 140733613040753 140733613040753 140733613043662 0 /proc/17960/statm: 14127 8296 874 493 0 7432 0 Current children cumulated CPU time: 1902.22 s Current children cumulated vsize: 56508 KiB Current children cumulated memory: 33184 KiB [startup+1962.3 s] /proc/loadavg: 2.00 1.99 1.95 4/199 18220 /proc/meminfo: memFree=31622620/32770624 swapFree=66999256/67108860 [pid=17960] ppid=17957 vsize=56508 memory=33184 CPUtime=1962.22 cores=0,2,4,6 /proc/17960/stat : 17960 (cosoco) R 17957 17960 17132 0 -1 4202496 57849 0 0 0 196219 3 0 0 20 0 1 0 555232875 57864192 8296 33554432000 4194304 6211132 140733613039280 140733613027160 5038944 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17637376 140733613040651 140733613040753 140733613040753 140733613043662 0 /proc/17960/statm: 14127 8296 874 493 0 7432 0 Current children cumulated CPU time: 1962.22 s Current children cumulated vsize: 56508 KiB Current children cumulated memory: 33184 KiB [startup+2022.3 s] /proc/loadavg: 2.00 1.99 1.95 4/199 18224 /proc/meminfo: memFree=31623060/32770624 swapFree=66999256/67108860 [pid=17960] ppid=17957 vsize=56508 memory=33184 CPUtime=2022.21 cores=0,2,4,6 /proc/17960/stat : 17960 (cosoco) R 17957 17960 17132 0 -1 4202496 58116 0 0 0 202218 3 0 0 20 0 1 0 555232875 57864192 8296 33554432000 4194304 6211132 140733613039280 140733613027160 5250304 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17637376 140733613040651 140733613040753 140733613040753 140733613043662 0 /proc/17960/statm: 14127 8296 874 493 0 7432 0 Current children cumulated CPU time: 2022.21 s Current children cumulated vsize: 56508 KiB Current children cumulated memory: 33184 KiB [startup+2082.3 s] /proc/loadavg: 2.00 1.99 1.95 4/199 18230 /proc/meminfo: memFree=31622852/32770624 swapFree=66999256/67108860 [pid=17960] ppid=17957 vsize=56508 memory=33184 CPUtime=2082.21 cores=0,2,4,6 /proc/17960/stat : 17960 (cosoco) R 17957 17960 17132 0 -1 4202496 58383 0 0 0 208218 3 0 0 20 0 1 0 555232875 57864192 8296 33554432000 4194304 6211132 140733613039280 140733613027160 5250499 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17637376 140733613040651 140733613040753 140733613040753 140733613043662 0 /proc/17960/statm: 14127 8296 874 493 0 7432 0 Current children cumulated CPU time: 2082.21 s Current children cumulated vsize: 56508 KiB Current children cumulated memory: 33184 KiB [startup+2142.3 s] /proc/loadavg: 2.00 1.99 1.95 4/199 18234 /proc/meminfo: memFree=31623144/32770624 swapFree=66999256/67108860 [pid=17960] ppid=17957 vsize=56508 memory=33184 CPUtime=2142.21 cores=0,2,4,6 /proc/17960/stat : 17960 (cosoco) R 17957 17960 17132 0 -1 4202496 58641 0 0 0 214218 3 0 0 20 0 1 0 555232875 57864192 8296 33554432000 4194304 6211132 140733613039280 140733613027160 5039536 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17637376 140733613040651 140733613040753 140733613040753 140733613043662 0 /proc/17960/statm: 14127 8296 874 493 0 7432 0 Current children cumulated CPU time: 2142.21 s Current children cumulated vsize: 56508 KiB Current children cumulated memory: 33184 KiB [startup+2202.3 s] /proc/loadavg: 2.00 1.99 1.95 4/199 18238 /proc/meminfo: memFree=31623308/32770624 swapFree=66999256/67108860 [pid=17960] ppid=17957 vsize=56508 memory=33184 CPUtime=2202.21 cores=0,2,4,6 /proc/17960/stat : 17960 (cosoco) R 17957 17960 17132 0 -1 4202496 58899 0 0 0 220218 3 0 0 20 0 1 0 555232875 57864192 8296 33554432000 4194304 6211132 140733613039280 140733613027160 5039038 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17637376 140733613040651 140733613040753 140733613040753 140733613043662 0 /proc/17960/statm: 14127 8296 874 493 0 7432 0 Current children cumulated CPU time: 2202.21 s Current children cumulated vsize: 56508 KiB Current children cumulated memory: 33184 KiB [startup+2262.3 s] /proc/loadavg: 2.00 1.99 1.95 4/201 18253 /proc/meminfo: memFree=31622364/32770624 swapFree=66999256/67108860 [pid=17960] ppid=17957 vsize=56508 memory=33184 CPUtime=2262.2 cores=0,2,4,6 /proc/17960/stat : 17960 (cosoco) R 17957 17960 17132 0 -1 4202496 59135 0 0 0 226217 3 0 0 20 0 1 0 555232875 57864192 8296 33554432000 4194304 6211132 140733613039280 140733613027160 5039014 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17637376 140733613040651 140733613040753 140733613040753 140733613043662 0 /proc/17960/statm: 14127 8296 874 493 0 7432 0 Current children cumulated CPU time: 2262.2 s Current children cumulated vsize: 56508 KiB Current children cumulated memory: 33184 KiB [startup+2322.3 s] /proc/loadavg: 2.00 1.99 1.95 3/200 18257 /proc/meminfo: memFree=31623704/32770624 swapFree=66999256/67108860 [pid=17960] ppid=17957 vsize=56508 memory=33184 CPUtime=2322.2 cores=0,2,4,6 /proc/17960/stat : 17960 (cosoco) R 17957 17960 17132 0 -1 4202496 59729 0 0 0 232217 3 0 0 20 0 1 0 555232875 57864192 8296 33554432000 4194304 6211132 140733613039280 140733613027160 5250321 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17637376 140733613040651 140733613040753 140733613040753 140733613043662 0 /proc/17960/statm: 14127 8296 874 493 0 7432 0 Current children cumulated CPU time: 2322.2 s Current children cumulated vsize: 56508 KiB Current children cumulated memory: 33184 KiB [startup+2382.3 s] /proc/loadavg: 2.05 2.00 1.96 3/201 18263 /proc/meminfo: memFree=31622472/32770624 swapFree=66999256/67108860 [pid=17960] ppid=17957 vsize=56508 memory=33184 CPUtime=2382.2 cores=0,2,4,6 /proc/17960/stat : 17960 (cosoco) R 17957 17960 17132 0 -1 4202496 60094 0 0 0 238217 3 0 0 20 0 1 0 555232875 57864192 8296 33554432000 4194304 6211132 140733613039280 140733613027160 5250319 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17637376 140733613040651 140733613040753 140733613040753 140733613043662 0 /proc/17960/statm: 14127 8296 874 493 0 7432 0 Current children cumulated CPU time: 2382.2 s Current children cumulated vsize: 56508 KiB Current children cumulated memory: 33184 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.11 s] /proc/loadavg: 2.04 2.00 1.96 3/201 18266 /proc/meminfo: memFree=31622324/32770624 swapFree=66999256/67108860 [pid=17960] ppid=17957 vsize=56508 memory=33184 CPUtime=2400.01 cores=0,2,4,6 /proc/17960/stat : 17960 (cosoco) R 17957 17960 17132 0 -1 4202496 60671 0 0 0 239998 3 0 0 20 0 1 0 555232875 57864192 8296 33554432000 4194304 6211132 140733613039280 140733613027160 5155836 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17637376 140733613040651 140733613040753 140733613040753 140733613043662 0 /proc/17960/statm: 14127 8296 874 493 0 7432 0 Current children cumulated CPU time: 2400.01 s Current children cumulated vsize: 56508 KiB Current children cumulated memory: 33184 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2400.11 s] # the end of solver process 17960 was just reported to runsolver # cumulated CPU time of all completed processes: user=2399.98 s, system=0.036998 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.11 s] /proc/loadavg: 2.04 2.00 1.96 3/201 18266 /proc/meminfo: memFree=31622324/32770624 swapFree=66999256/67108860 [pid=17960] ppid=17957 vsize=56508 memory=33184 CPUtime=2400.01 cores=0,2,4,6 /proc/17960/stat : 17960 (cosoco) R 17957 17960 17132 0 -1 4202496 60671 0 0 0 239998 3 0 0 20 0 1 0 555232875 57864192 8296 33554432000 4194304 6211132 140733613039280 140733613027160 5155836 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17637376 140733613040651 140733613040753 140733613040753 140733613043662 0 /proc/17960/statm: 14127 8296 874 493 0 7432 0 Current children cumulated CPU time: 2400.01 s Current children cumulated vsize: 56508 KiB Current children cumulated memory: 33184 KiB Child status: 1 Real time (s): 2400.11 CPU time (s): 2400.02 CPU user time (s): 2399.98 CPU system time (s): 0.036998 CPU usage (%): 99.9961 Max. virtual memory (cumulated for all children) (KiB): 56508 Max. memory (cumulated for all children) (KiB): 33184 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.98 system time used= 0.036998 maximum resident set size= 33248 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 60741 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= 18 involuntary context switches= 607 # summary of solver processes directly reported to runsolver: # pid: 17960 # total CPU time (s): 2400.02 # total CPU user time (s): 2399.98 # total CPU system time (s): 0.036998 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 13.975 second user time and 12.9238 second system time The end
Begin job on node103 at 2019-09-29 22:42:19 IDJOB=4408859 IDBENCH=123024 IDSOLVER=2875 FILE ID=node103/4408859-1569789798 RUNJOBID= node103-1569787336-17163 PBS_JOBID= 21705840 Free space on /tmp= 62028 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-sko42.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408859-1569789798/watcher-4408859-1569789798 -o /tmp/evaluation-result-4408859-1569789798/solver-4408859-1569789798 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1569787336-17163 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408859-1569789798.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ee3f8a7d47c87a95d16b6f1492d4a345 RANDOM SEED=2091154819 node103.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.74 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.74 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.74 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.74 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: 31659044 kB MemAvailable: 31866664 kB Buffers: 160208 kB Cached: 392324 kB SwapCached: 7000 kB Active: 333776 kB Inactive: 236364 kB Active(anon): 25076 kB Inactive(anon): 74928 kB Active(file): 308700 kB Inactive(file): 161436 kB Unevictable: 107020 kB Mlocked: 107020 kB SwapTotal: 67108860 kB SwapFree: 66999256 kB Dirty: 2728 kB Writeback: 0 kB AnonPages: 119428 kB Mapped: 27896 kB Shmem: 73656 kB Slab: 135824 kB SReclaimable: 106636 kB SUnreclaim: 29188 kB KernelStack: 3488 kB PageTables: 5424 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 571600 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 71680 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 62024 MiB End job on node103 at 2019-09-29 23:22:19