Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2.0 | OPT | 102 | 1899.37 | 1899.47 |
Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t09-2.xml |
MD5SUM | f7684c3e1f9d094a59a7b3edf9b14040 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 102 |
Best CPU time to get the best result obtained on this benchmark | 7.94325 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2856 |
Number of constraints | 158 |
Number of domains | 15 |
Minimum domain size | 2 |
Maximum domain size | 21 |
Distribution of domain sizes | [{"size":2,"count":272},{"size":3,"count":272},{"size":4,"count":136},{"size":5,"count":136},{"size":6,"count":136},{"size":8,"count":136},{"size":9,"count":136},{"size":10,"count":136},{"size":12,"count":544},{"size":14,"count":136},{"size":15,"count":136},{"size":16,"count":136},{"size":17,"count":136},{"size":18,"count":136},{"size":21,"count":272}] |
Minimum variable degree | 3 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":3,"count":2856}] |
Minimum constraint arity | 21 |
Maximum constraint arity | 2720 |
Distribution of constraint arities | [{"arity":21,"count":136},{"arity":136,"count":21},{"arity":2720,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":156}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.03 c 0.00/0.03 c This is cosoco 2.00 -- 0.00/0.03 c 0.00/0.03 c command line: cosoco -lc -model -restarts -stick HOME/instance-4397040-1568578233.xml 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 71.57/71.69 c enable optimization 71.57/71.69 c ========================================[ Problem Statistics ]=========================================== 71.57/71.69 c | 71.57/71.69 c | Parse time : 0.03 s 71.57/71.69 c | 71.57/71.69 c | Variables: 2856 71.57/71.69 c | Domain Sizes: 2..21 71.57/71.69 c | 71.57/71.69 c | Constraints: 427 71.57/71.69 c | Arity: 2..136 -- Binary: 135 71.57/71.69 c | 71.57/71.69 c | Types: 71.57/71.69 c | (X -Y <= k): 135 71.57/71.69 c | Lex: 135 71.57/71.69 c | Sum: 157 71.57/71.69 c | 71.57/71.69 c | Objective: Minimize Sum 71.57/71.69 71.57/71.69 c ========================================================================================================= 71.57/71.69 o 115 71.57/71.69 c 1 calls to solver(id=0): best=115 lower=0 upper=114 74.67/74.74 o 114 74.77/74.84 o 113 74.77/74.84 c 3 calls to solver(id=0): best=113 lower=0 upper=112 77.77/77.85 o 112 80.87/80.95 o 111 80.87/80.95 c 5 calls to solver(id=0): best=111 lower=0 upper=110 83.57/83.67 o 110 86.67/86.72 o 109 86.67/86.72 c 7 calls to solver(id=0): best=109 lower=0 upper=108 89.37/89.45 o 108 92.08/92.19 o 107 92.08/92.19 c 9 calls to solver(id=0): best=107 lower=0 upper=106 94.77/94.85 o 106 97.37/97.40 o 105 97.37/97.40 c 11 calls to solver(id=0): best=105 lower=0 upper=104 100.17/100.23 o 104 103.77/103.87 o 103 103.77/103.87 c 13 calls to solver(id=0): best=103 lower=0 upper=102 131.18/131.26 o 102 1899.29/1899.47 s OPTIMUM FOUND 1899.29/1899.47 c call to solver : 15 1899.29/1899.47 c 1899.29/1899.47 c restarts : 623 1899.29/1899.47 c conflicts : 943744 (497 /sec) 1899.29/1899.47 c decisions : 42687681 (22475 /sec) 1899.29/1899.47 c propagations : 1180631284 (621598 /sec) 1899.29/1899.47 c root propagations : 19992 1899.29/1899.47 c filter calls : 472260971 (248644 /sec) 1899.29/1899.47 c useless filter calls : 382128007 (80 %) 1899.29/1899.47 c Memory used : 65.34 MB 1899.29/1899.47 c Best bound time (wc) : 131.262 s 1899.29/1899.47 c CPU time : 1899.35 s 1899.29/1899.47 c real time : 1899.47 s 1899.29/1899.47 1899.29/1899.47 1899.29/1899.47 v <instantiation type='solution' cost='102'> 1899.29/1899.47 v <list>p[0] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[10] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[11] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[12] p[130] p[131] p[132] p[133] p[134] p[135] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[1] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[2] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[3] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[4] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[5] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[6] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[7] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[8] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[9] r[0][0] r[0][10] r[0][11] r[0][12] r[0][13] r[0][14] r[0][15] r[0][16] r[0][17] r[0][18] r[0][19] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[100][0] r[100][10] r[100][11] r[100][12] r[100][13] r[100][14] r[100][15] r[100][16] r[100][17] r[100][18] r[100][19] r[100][1] r[100][2] r[100][3] r[100][4] r[100][5] r[100][6] r[100][7] r[100][8] r[100][9] r[101][0] r[101][10] r[101][11] r[101][12] r[101][13] r[101][14] r[101][15] r[101][16] r[101][17] r[101][18] r[101][19] r[101][1] r[101][2] r[101][3] r[101][4] r[101][5] r[101][6] r[101][7] r[101][8] r[101][9] r[102][0] r[102][10] r[102][11] r[102][12] r[102][13] r[102][14] r[102][15] r[102][16] r[102][17] r[102][18] r[102][19] r[102][1] r[102][2] r[102][3] r[102][4] r[102][5] r[102][6] r[102][7] r[102][8] r[102][9] r[103][0] r[103][10] r[103][11] r[103][12] r[103][13] r[103][14] r[103][15] r[103][16] r[103][17] r[103][18] r[103][19] r[103][1] r[103][2] r[103][3] r[103][4] r[103][5] r[103][6] r[103][7] r[103][8] r[103][9] r[104][0] r[104][10] r[104][11] r[104][12] r[104][13] r[104][14] r[104][15] r[104][16] r[104][17] r[104][18] r[104][19] r[104][1] r[104][2] r[104][3] r[104][4] r[104][5] r[104][6] r[104][7] r[104][8] r[104][9] r[105][0] r[105][10] r[105][11] r[105][12] r[105][13] r[105][14] r[105][15] r[105][16] r[105][17] r[105][18] r[105][19] r[105][1] r[105][2] r[105][3] r[105][4] r[105][5] r[105][6] r[105][7] r[105][8] r[105][9] r[106][0] r[106][10] r[106][11] r[106][12] r[106][13] r[106][14] r[106][15] r[106][16] r[106][17] r[106][18] r[106][19] r[106][1] r[106][2] r[106][3] r[106][4] r[106][5] r[106][6] r[106][7] r[106][8] r[106][9] r[107][0] r[107][10] r[107][11] r[107][12] r[107][13] r[107][14] r[107][15] r[107][16] r[107][17] r[107][18] r[107][19] r[107][1] r[107][2] r[107][3] r[107][4] r[107][5] r[107][6] r[107][7] r[107][8] r[107][9] r[108][0] r[108][10] r[108][11] r[108][12] r[108][13] r[108][14] r[108][15] r[108][16] r[108][17] r[108][18] r[108][19] r[108][1] r[108][2] r[108][3] r[108][4] r[108][5] r[108][6] r[108][7] r[108][8] r[108][9] r[109][0] r[109][10] r[109][11] r[109][12] r[109][13] r[109][14] r[109][15] r[109][16] r[109][17] r[109][18] r[109][19] r[109][1] r[109][2] r[109][3] r[109][4] r[109][5] r[109][6] r[109][7] r[109][8] r[109][9] r[10][0] r[10][10] r[10][11] r[10][12] r[10][13] r[10][14] r[10][15] r[10][16] r[10][17] r[10][18] r[10][19] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[110][0] r[110][10] r[110][11] r[110][12] r[110][13] r[110][14] r[110][15] r[110][16] r[110][17] r[110][18] r[110][19] r[110][1] r[110][2] r[110][3] r[110][4] r[110][5] r[110][6] r[110][7] r[110][8] r[110][9] r[111][0] r[111][10] r[111][11] r[111][12] r[111][13] r[111][14] r[111][15] r[111][16] r[111][17] r[111][18] r[111][19] r[111][1] r[111][2] r[111][3] r[111][4] r[111][5] r[111][6] r[111][7] r[111][8] r[111][9] r[112][0] r[112][10] r[112][11] r[112][12] r[112][13] r[112][14] r[112][15] r[112][16] r[112][17] r[112][18] r[112][19] r[112][1] r[112][2] r[112][3] r[112][4] r[112][5] r[112][6] r[112][7] r[112][8] r[112][9] r[113][0] r[113][10] r[113][11] r[113][12] r[113][13] r[113][14] r[113][15] r[113][16] r[113][17] r[113][18] r[113][19] r[113][1] r[113][2] r[113][3] r[113][4] r[113][5] r[113][6] r[113][7] r[113][8] r[113][9] r[114][0] r[114][10] r[114][11] r[114][12] r[114][13] r[114][14] r[114][15] r[114][16] r[114][17] r[114][18] r[114][19] r[114][1] r[114][2] r[114][3] r[114][4] r[114][5] r[114][6] r[114][7] r[114][8] r[114][9] r[115][0] r[115][10] r[115][11] r[115][12] r[115][13] r[115][14] r[115][15] r[115][16] r[115][17] r[115][18] r[115][19] r[115][1] r[115][2] r[115][3] r[115][4] r[115][5] r[115][6] r[115][7] r[115][8] r[115][9] r[116][0] r[116][10] r[116][11] r[116][12] r[116][13] r[116][14] r[116][15] r[116][16] r[116][17] r[116][18] r[116][19] r[116][1] r[116][2] r[116][3] r[116][4] r[116][5] r[116][6] r[116][7] r[116][8] r[116][9] r[117][0] r[117][10] r[117][11] r[117][12] r[117][13] r[117][14] r[117][15] r[117][16] r[117][17] r[117][18] r[117][19] r[117][1] r[117][2] r[117][3] r[117][4] r[117][5] r[117][6] r[117][7] r[117][8] r[117][9] r[118][0] r[118][10] r[118][11] r[118][12] r[118][13] r[118][14] r[118][15] r[118][16] r[118][17] r[118][18] r[118][19] r[118][1] r[118][2] r[118][3] r[118][4] r[118][5] r[118][6] r[118][7] r[118][8] r[118][9] r[119][0] r[119][10] r[119][11] r[119][12] r[119][13] r[119][14] r[119][15] r[119][16] r[119][17] r[119][18] r[119][19] r[119][1] r[119][2] r[119][3] r[119][4] r[119][5] r[119][6] r[119][7] r[119][8] r[119][9] r[11][0] r[11][10] r[11][11] r[11][12] r[11][13] r[11][14] r[11][15] r[11][16] r[11][17] r[11][18] r[11][19] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[120][0] r[120][10] r[120][11] r[120][12] r[120][13] r[120][14] r[120][15] r[120][16] r[120][17] r[120][18] r[120][19] r[120][1] r[120][2] r[120][3] r[120][4] r[120][5] r[120][6] r[120][7] r[120][8] r[120][9] r[121][0] r[121][10] r[121][11] r[121][12] r[121][13] r[121][14] r[121][15] r[121][16] r[121][17] r[121][18] r[121][19] r[121][1] r[121][2] r[121][3] r[121][4] r[121][5] r[121][6] r[121][7] r[121][8] r[121][9] r[122][0] r[122][10] r[122][11] r[122][12] r[122][13] r[122][14] r[122][15] r[122][16] r[122][17] r[122][18] r[122][19] r[122][1] r[122][2] r[122][3] r[122][4] r[122][5] r[122][6] r[122][7] r[122][8] r[122][9] r[123][0] r[123][10] r[123][11] r[123][12] r[123][13] r[123][14] r[123][15] r[123][16] r[123][17] r[123][18] r[123][19] r[123][1] r[123][2] r[123][3] r[123][4] r[123][5] r[123][6] r[123][7] r[123][8] r[123][9] r[124][0] r[124][10] r[124][11] r[124][12] r[124][13] r[124][14] r[124][15] r[124][16] r[124][17] r[124][18] r[124][19] r[124][1] r[124][2] r[124][3] r[124][4] r[124][5] r[124][6] r[124][7] r[124][8] r[124][9] r[125][0] r[125][10] r[125][11] r[125][12] r[125][13] r[125][14] r[125][15] r[125][16] r[125][17] r[125][18] r[125][19] r[125][1] r[125][2] r[125][3] r[125][4] r[125][5] r[125][6] r[125][7] r[125][8] r[125][9] r[126][0] r[126][10] r[126][11] r[126][12] r[126][13] r[126][14] r[126][15] r[126][16] r[126][17] r[126][18] r[126][19] r[126][1] r[126][2] r[126][3] r[126][4] r[126][5] r[126][6] r[126][7] r[126][8] r[126][9] r[127][0] r[127][10] r[127][11] r[127][12] r[127][13] r[127][14] r[127][15] r[127][16] r[127][17] r[127][18] r[127][19] r[127][1] r[127][2] r[127][3] r[127][4] r[127][5] r[127][6] r[127][7] r[127][8] r[127][9] r[128][0] r[128][10] r[128][11] r[128][12] r[128][13] r[128][14] r[128][15] r[128][16] r[128][17] r[128][18] r[128][19] r[128][1] r[128][2] r[128][3] r[128][4] r[128][5] r[128][6] r[128][7] r[128][8] r[128][9] r[129][0] r[129][10] r[129][11] r[129][12] r[129][13] r[129][14] r[129][15] r[129][16] r[129][17] r[129][18] r[129][19] r[129][1] r[129][2] r[129][3] r[129][4] r[129][5] r[129][6] r[129][7] r[129][8] r[129][9] r[12][0] r[12][10] r[12][11] r[12][12] r[12][13] r[12][14] r[12][15] r[12][16] r[12][17] r[12][18] r[12][19] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[130][0] r[130][10] r[130][11] r[130][12] r[130][13] r[130][14] r[130][15] r[130][16] r[130][17] r[130][18] r[130][19] r[130][1] r[130][2] r[130][3] r[130][4] r[130][5] r[130][6] r[130][7] r[130][8] r[130][9] r[131][0] r[131][10] r[131][11] r[131][12] r[131][13] r[131][14] r[131][15] r[131][16] r[131][17] r[131][18] r[131][19] r[131][1] r[131][2] r[131][3] r[131][4] r[131][5] r[131][6] r[131][7] r[131][8] r[131][9] r[132][0] r[132][10] r[132][11] r[132][12] r[132][13] r[132][14] r[132][15] r[132][16] r[132][17] r[132][18] r[132][19] r[132][1] r[132][2] r[132][3] r[132][4] r[132][5] r[132][6] r[132][7] r[132][8] r[132][9] r[133][0] r[133][10] r[133][11] r[133][12] r[133][13] r[133][14] r[133][15] r[133][16] r[133][17] r[133][18] r[133][19] r[133][1] r[133][2] r[133][3] r[133][4] r[133][5] r[133][6] r[133][7] r[133][8] r[133][9] r[134][0] r[134][10] r[134][11] r[134][12] r[134][13] r[134][14] r[134][15] r[134][16] r[134][17] r[134][18] r[134][19] r[134][1] r[134][2] r[134][3] r[134][4] r[134][5] r[134][6] r[134][7] r[134][8] r[134][9] r[135][0] r[135][10] r[135][11] r[135][12] r[135][13] r[135][14] r[135][15] r[135][16] r[135][17] r[135][18] r[135][19] r[135][1] r[135][2] r[135][3] r[135][4] r[135][5] r[135][6] r[135][7] r[135][8] r[135][9] r[13][0] r[13][10] r[13][11] r[13][12] r[13][13] r[13][14] r[13][15] r[13][16] r[13][17] r[13][18] r[13][19] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[14][0] r[14][10] r[14][11] r[14][12] r[14][13] r[14][14] r[14][15] r[14][16] r[14][17] r[14][18] r[14][19] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[15][0] r[15][10] r[15][11] r[15][12] r[15][13] r[15][14] r[15][15] r[15][16] r[15][17] r[15][18] r[15][19] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[16][0] r[16][10] r[16][11] r[16][12] r[16][13] r[16][14] r[16][15] r[16][16] r[16][17] r[16][18] r[16][19] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[17][0] r[17][10] r[17][11] r[17][12] r[17][13] r[17][14] r[17][15] r[17][16] r[17][17] r[17][18] r[17][19] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[18][0] r[18][10] r[18][11] r[18][12] r[18][13] r[18][14] r[18][15] r[18][16] r[18][17] r[18][18] r[18][19] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[19][0] r[19][10] r[19][11] r[19][12] r[19][13] r[19][14] r[19][15] r[19][16] r[19][17] r[19][18] r[19][19] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[1][0] r[1][10] r[1][11] r[1][12] r[1][13] r[1][14] r[1][15] r[1][16] r[1][17] r[1][18] r[1][19] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[20][0] r[20][10] r[20][11] r[20][12] r[20][13] r[20][14] r[20][15] r[20][16] r[20][17] r[20][18] r[20][19] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[21][0] r[21][10] r[21][11] r[21][12] r[21][13] r[21][14] r[21][15] r[21][16] r[21][17] r[21][18] r[21][19] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[22][0] r[22][10] r[22][11] r[22][12] r[22][13] r[22][14] r[22][15] r[22][16] r[22][17] r[22][18] r[22][19] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[23][0] r[23][10] r[23][11] r[23][12] r[23][13] r[23][14] r[23][15] r[23][16] r[23][17] r[23][18] r[23][19] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[24][0] r[24][10] r[24][11] r[24][12] r[24][13] r[24][14] r[24][15] r[24][16] r[24][17] r[24][18] r[24][19] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[25][0] r[25][10] r[25][11] r[25][12] r[25][13] r[25][14] r[25][15] r[25][16] r[25][17] r[25][18] r[25][19] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[26][0] r[26][10] r[26][11] r[26][12] r[26][13] r[26][14] r[26][15] r[26][16] r[26][17] r[26][18] r[26][19] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[27][0] r[27][10] r[27][11] r[27][12] r[27][13] r[27][14] r[27][15] r[27][16] r[27][17] r[27][18] r[27][19] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[28][0] r[28][10] r[28][11] r[28][12] r[28][13] r[28][14] r[28][15] r[28][16] r[28][17] r[28][18] r[28][19] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[29][0] r[29][10] r[29][11] r[29][12] r[29][13] r[29][14] r[29][15] r[29][16] r[29][17] r[29][18] r[29][19] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[2][0] r[2][10] r[2][11] r[2][12] r[2][13] r[2][14] r[2][15] r[2][16] r[2][17] r[2][18] r[2][19] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[30][0] r[30][10] r[30][11] r[30][12] r[30][13] r[30][14] r[30][15] r[30][16] r[30][17] r[30][18] r[30][19] r[30][1] r[30][2] r[30][3] r[30][4] r[30][5] r[30][6] r[30][7] r[30][8] r[30][9] r[31][0] r[31][10] r[31][11] r[31][12] r[31][13] r[31][14] r[31][15] r[31][16] r[31][17] r[31][18] r[31][19] r[31][1] r[31][2] r[31][3] r[31][4] r[31][5] r[31][6] r[31][7] r[31][8] r[31][9] r[32][0] r[32][10] r[32][11] r[32][12] r[32][13] r[32][14] r[32][15] r[32][16] r[32][17] r[32][18] r[32][19] r[32][1] r[32][2] r[32][3] r[32][4] r[32][5] r[32][6] r[32][7] r[32][8] r[32][9] r[33][0] r[33][10] r[33][11] r[33][12] r[33][13] r[33][14] r[33][15] r[33][16] r[33][17] r[33][18] r[33][19] r[33][1] r[33][2] r[33][3] r[33][4] r[33][5] r[33][6] r[33][7] r[33][8] r[33][9] r[34][0] r[34][10] r[34][11] r[34][12] r[34][13] r[34][14] r[34][15] r[34][16] r[34][17] r[34][18] r[34][19] r[34][1] r[34][2] r[34][3] r[34][4] r[34][5] r[34][6] r[34][7] r[34][8] r[34][9] r[35][0] r[35][10] r[35][11] r[35][12] r[35][13] r[35][14] r[35][15] r[35][16] r[35][17] r[35][18] r[35][19] r[35][1] r[35][2] r[35][3] r[35][4] r[35][5] r[35][6] r[35][7] r[35][8] r[35][9] r[36][0] r[36][10] r[36][11] r[36][12] r[36][13] r[36][14] r[36][15] r[36][16] r[36][17] r[36][18] r[36][19] r[36][1] r[36][2] r[36][3] r[36][4] r[36][5] r[36][6] r[36][7] r[36][8] r[36][9] r[37][0] r[37][10] r[37][11] r[37][12] r[37][13] r[37][14] r[37][15] r[37][16] r[37][17] r[37][18] r[37][19] r[37][1] r[37][2] r[37][3] r[37][4] r[37][5] r[37][6] r[37][7] r[37][8] r[37][9] r[38][0] r[38][10] r[38][11] r[38][12] r[38][13] r[38][14] r[38][15] r[38][16] r[38][17] r[38][18] r[38][19] r[38][1] r[38][2] r[38][3] r[38][4] r[38][5] r[38][6] r[38][7] r[38][8] r[38][9] r[39][0] r[39][10] r[39][11] r[39][12] r[39][13] r[39][14] r[39][15] r[39][16] r[39][17] r[39][18] r[39][19] r[39][1] r[39][2] r[39][3] r[39][4] r[39][5] r[39][6] r[39][7] r[39][8] r[39][9] r[3][0] r[3][10] r[3][11] r[3][12] r[3][13] r[3][14] r[3][15] r[3][16] r[3][17] r[3][18] r[3][19] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[40][0] r[40][10] r[40][11] r[40][12] r[40][13] r[40][14] r[40][15] r[40][16] r[40][17] r[40][18] r[40][19] r[40][1] r[40][2] r[40][3] r[40][4] r[40][5] r[40][6] r[40][7] r[40][8] r[40][9] r[41][0] r[41][10] r[41][11] r[41][12] r[41][13] r[41][14] r[41][15] r[41][16] r[41][17] r[41][18] r[41][19] r[41][1] r[41][2] r[41][3] r[41][4] r[41][5] r[41][6] r[41][7] r[41][8] r[41][9] r[42][0] r[42][10] r[42][11] r[42][12] r[42][13] r[42][14] r[42][15] r[42][16] r[42][17] r[42][18] r[42][19] r[42][1] r[42][2] r[42][3] r[42][4] r[42][5] r[42][6] r[42][7] r[42][8] r[42][9] r[43][0] r[43][10] r[43][11] r[43][12] r[43][13] r[43][14] r[43][15] r[43][16] r[43][17] r[43][18] r[43][19] r[43][1] r[43][2] r[43][3] r[43][4] r[43][5] r[43][6] r[43][7] r[43][8] r[43][9] r[44][0] r[44][10] r[44][11] r[44][12] r[44][13] r[44][14] r[44][15] r[44][16] r[44][17] r[44][18] r[44][19] r[44][1] r[44][2] r[44][3] r[44][4] r[44][5] r[44][6] r[44][7] r[44][8] r[44][9] r[45][0] r[45][10] r[45][11] r[45][12] r[45][13] r[45][14] r[45][15] r[45][16] r[45][17] r[45][18] r[45][19] r[45][1] r[45][2] r[45][3] r[45][4] r[45][5] r[45][6] r[45][7] r[45][8] r[45][9] r[46][0] r[46][10] r[46][11] r[46][12] r[46][13] r[46][14] r[46][15] r[46][16] r[46][17] r[46][18] r[46][19] r[46][1] r[46][2] r[46][3] r[46][4] r[46][5] r[46][6] r[46][7] r[46][8] r[46][9] r[47][0] r[47][10] r[47][11] r[47][12] r[47][13] r[47][14] r[47][15] r[47][16] r[47][17] r[47][18] r[47][19] r[47][1] r[47][2] r[47][3] r[47][4] r[47][5] r[47][6] r[47][7] r[47][8] r[47][9] r[48][0] r[48][10] r[48][11] r[48][12] r[48][13] r[48][14] r[48][15] r[48][16] r[48][17] r[48][18] r[48][19] r[48][1] r[48][2] r[48][3] r[48][4] r[48][5] r[48][6] r[48][7] r[48][8] r[48][9] r[49][0] r[49][10] r[49][11] r[49][12] r[49][13] r[49][14] r[49][15] r[49][16] r[49][17] r[49][18] r[49][19] r[49][1] r[49][2] r[49][3] r[49][4] r[49][5] r[49][6] r[49][7] r[49][8] r[49][9] r[4][0] r[4][10] r[4][11] r[4][12] r[4][13] r[4][14] r[4][15] r[4][16] r[4][17] r[4][18] r[4][19] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[50][0] r[50][10] r[50][11] r[50][12] r[50][13] r[50][14] r[50][15] r[50][16] r[50][17] r[50][18] r[50][19] r[50][1] r[50][2] r[50][3] r[50][4] r[50][5] r[50][6] r[50][7] r[50][8] r[50][9] r[51][0] r[51][10] r[51][11] r[51][12] r[51][13] r[51][14] r[51][15] r[51][16] r[51][17] r[51][18] r[51][19] r[51][1] r[51][2] r[51][3] r[51][4] r[51][5] r[51][6] r[51][7] r[51][8] r[51][9] r[52][0] r[52][10] r[52][11] r[52][12] r[52][13] r[52][14] r[52][15] r[52][16] r[52][17] r[52][18] r[52][19] r[52][1] r[52][2] r[52][3] r[52][4] r[52][5] r[52][6] r[52][7] r[52][8] r[52][9] r[53][0] r[53][10] r[53][11] r[53][12] r[53][13] r[53][14] r[53][15] r[53][16] r[53][17] r[53][18] r[53][19] r[53][1] r[53][2] r[53][3] r[53][4] r[53][5] r[53][6] r[53][7] r[53][8] r[53][9] r[54][0] r[54][10] r[54][11] r[54][12] r[54][13] r[54][14] r[54][15] r[54][16] r[54][17] r[54][18] r[54][19] r[54][1] r[54][2] r[54][3] r[54][4] r[54][5] r[54][6] r[54][7] r[54][8] r[54][9] r[55][0] r[55][10] r[55][11] r[55][12] r[55][13] r[55][14] r[55][15] r[55][16] r[55][17] r[55][18] r[55][19] r[55][1] r[55][2] r[55][3] r[55][4] r[55][5] r[55][6] r[55][7] r[55][8] r[55][9] r[56][0] r[56][10] r[56][11] r[56][12] r[56][13] r[56][14] r[56][15] r[56][16] r[56][17] r[56][18] r[56][19] r[56][1] r[56][2] r[56][3] r[56][4] r[56][5] r[56][6] r[56][7] r[56][8] r[56][9] r[57][0] r[57][10] r[57][11] r[57][12] r[57][13] r[57][14] r[57][15] r[57][16] r[57][17] r[57][18] r[57][19] r[57][1] r[57][2] r[57][3] r[57][4] r[57][5] r[57][6] r[57][7] r[57][8] r[57][9] r[58][0] r[58][10] r[58][11] r[58][12] r[58][13] r[58][14] r[58][15] r[58][16] r[58][17] r[58][18] r[58][19] r[58][1] r[58][2] r[58][3] r[58][4] r[58][5] r[58][6] r[58][7] r[58][8] r[58][9] r[59][0] r[59][10] r[59][11] r[59][12] r[59][13] r[59][14] r[59][15] r[59][16] r[59][17] r[59][18] r[59][19] r[59][1] r[59][2] r[59][3] r[59][4] r[59][5] r[59][6] r[59][7] r[59][8] r[59][9] r[5][0] r[5][10] r[5][11] r[5][12] r[5][13] r[5][14] r[5][15] r[5][16] r[5][17] r[5][18] r[5][19] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[60][0] r[60][10] r[60][11] r[60][12] r[60][13] r[60][14] r[60][15] r[60][16] r[60][17] r[60][18] r[60][19] r[60][1] r[60][2] r[60][3] r[60][4] r[60][5] r[60][6] r[60][7] r[60][8] r[60][9] r[61][0] r[61][10] r[61][11] r[61][12] r[61][13] r[61][14] r[61][15] r[61][16] r[61][17] r[61][18] r[61][19] r[61][1] r[61][2] r[61][3] r[61][4] r[61][5] r[61][6] r[61][7] r[61][8] r[61][9] r[62][0] r[62][10] r[62][11] r[62][12] r[62][13] r[62][14] r[62][15] r[62][16] r[62][17] r[62][18] r[62][19] r[62][1] r[62][2] r[62][3] r[62][4] r[62][5] r[62][6] r[62][7] r[62][8] r[62][9] r[63][0] r[63][10] r[63][11] r[63][12] r[63][13] r[63][14] r[63][15] r[63][16] r[63][17] r[63][18] r[63][19] r[63][1] r[63][2] r[63][3] r[63][4] r[63][5] r[63][6] r[63][7] r[63][8] r[63][9] r[64][0] r[64][10] r[64][11] r[64][12] r[64][13] r[64][14] r[64][15] r[64][16] r[64][17] r[64][18] r[64][19] r[64][1] r[64][2] r[64][3] r[64][4] r[64][5] r[64][6] r[64][7] r[64][8] r[64][9] r[65][0] r[65][10] r[65][11] r[65][12] r[65][13] r[65][14] r[65][15] r[65][16] r[65][17] r[65][18] r[65][19] r[65][1] r[65][2] r[65][3] r[65][4] r[65][5] r[65][6] r[65][7] r[65][8] r[65][9] r[66][0] r[66][10] r[66][11] r[66][12] r[66][13] r[66][14] r[66][15] r[66][16] r[66][17] r[66][18] r[66][19] r[66][1] r[66][2] r[66][3] r[66][4] r[66][5] r[66][6] r[66][7] r[66][8] r[66][9] r[67][0] r[67][10] r[67][11] r[67][12] r[67][13] r[67][14] r[67][15] r[67][16] r[67][17] r[67][18] r[67][19] r[67][1] r[67][2] r[67][3] r[67][4] r[67][5] r[67][6] r[67][7] r[67][8] r[67][9] r[68][0] r[68][10] r[68][11] r[68][12] r[68][13] r[68][14] r[68][15] r[68][16] r[68][17] r[68][18] r[68][19] r[68][1] r[68][2] r[68][3] r[68][4] r[68][5] r[68][6] r[68][7] r[68][8] r[68][9] r[69][0] r[69][10] r[69][11] r[69][12] r[69][13] r[69][14] r[69][15] r[69][16] r[69][17] r[69][18] r[69][19] r[69][1] r[69][2] r[69][3] r[69][4] r[69][5] r[69][6] r[69][7] r[69][8] r[69][9] r[6][0] r[6][10] r[6][11] r[6][12] r[6][13] r[6][14] r[6][15] r[6][16] r[6][17] r[6][18] r[6][19] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[70][0] r[70][10] r[70][11] r[70][12] r[70][13] r[70][14] r[70][15] r[70][16] r[70][17] r[70][18] r[70][19] r[70][1] r[70][2] r[70][3] r[70][4] r[70][5] r[70][6] r[70][7] r[70][8] r[70][9] r[71][0] r[71][10] r[71][11] r[71][12] r[71][13] r[71][14] r[71][15] r[71][16] r[71][17] r[71][18] r[71][19] r[71][1] r[71][2] r[71][3] r[71][4] r[71][5] r[71][6] r[71][7] r[71][8] r[71][9] r[72][0] r[72][10] r[72][11] r[72][12] r[72][13] r[72][14] r[72][15] r[72][16] r[72][17] r[72][18] r[72][19] r[72][1] r[72][2] r[72][3] r[72][4] r[72][5] r[72][6] r[72][7] r[72][8] r[72][9] r[73][0] r[73][10] r[73][11] r[73][12] r[73][13] r[73][14] r[73][15] r[73][16] r[73][17] r[73][18] r[73][19] r[73][1] r[73][2] r[73][3] r[73][4] r[73][5] r[73][6] r[73][7] r[73][8] r[73][9] r[74][0] r[74][10] r[74][11] r[74][12] r[74][13] r[74][14] r[74][15] r[74][16] r[74][17] r[74][18] r[74][19] r[74][1] r[74][2] r[74][3] r[74][4] r[74][5] r[74][6] r[74][7] r[74][8] r[74][9] r[75][0] r[75][10] r[75][11] r[75][12] r[75][13] r[75][14] r[75][15] r[75][16] r[75][17] r[75][18] r[75][19] r[75][1] r[75][2] r[75][3] r[75][4] r[75][5] r[75][6] r[75][7] r[75][8] r[75][9] r[76][0] r[76][10] r[76][11] r[76][12] r[76][13] r[76][14] r[76][15] r[76][16] r[76][17] r[76][18] r[76][19] r[76][1] r[76][2] r[76][3] r[76][4] r[76][5] r[76][6] r[76][7] r[76][8] r[76][9] r[77][0] r[77][10] r[77][11] r[77][12] r[77][13] r[77][14] r[77][15] r[77][16] r[77][17] r[77][18] r[77][19] r[77][1] r[77][2] r[77][3] r[77][4] r[77][5] r[77][6] r[77][7] r[77][8] r[77][9] r[78][0] r[78][10] r[78][11] r[78][12] r[78][13] r[78][14] r[78][15] r[78][16] r[78][17] r[78][18] r[78][19] r[78][1] r[78][2] r[78][3] r[78][4] r[78][5] r[78][6] r[78][7] r[78][8] r[78][9] r[79][0] r[79][10] r[79][11] r[79][12] r[79][13] r[79][14] r[79][15] r[79][16] r[79][17] r[79][18] r[79][19] r[79][1] r[79][2] r[79][3] r[79][4] r[79][5] r[79][6] r[79][7] r[79][8] r[79][9] r[7][0] r[7][10] r[7][11] r[7][12] r[7][13] r[7][14] r[7][15] r[7][16] r[7][17] r[7][18] r[7][19] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[80][0] r[80][10] r[80][11] r[80][12] r[80][13] r[80][14] r[80][15] r[80][16] r[80][17] r[80][18] r[80][19] r[80][1] r[80][2] r[80][3] r[80][4] r[80][5] r[80][6] r[80][7] r[80][8] r[80][9] r[81][0] r[81][10] r[81][11] r[81][12] r[81][13] r[81][14] r[81][15] r[81][16] r[81][17] r[81][18] r[81][19] r[81][1] r[81][2] r[81][3] r[81][4] r[81][5] r[81][6] r[81][7] r[81][8] r[81][9] r[82][0] r[82][10] r[82][11] r[82][12] r[82][13] r[82][14] r[82][15] r[82][16] r[82][17] r[82][18] r[82][19] r[82][1] r[82][2] r[82][3] r[82][4] r[82][5] r[82][6] r[82][7] r[82][8] r[82][9] r[83][0] r[83][10] r[83][11] r[83][12] r[83][13] r[83][14] r[83][15] r[83][16] r[83][17] r[83][18] r[83][19] r[83][1] r[83][2] r[83][3] r[83][4] r[83][5] r[83][6] r[83][7] r[83][8] r[83][9] r[84][0] r[84][10] r[84][11] r[84][12] r[84][13] r[84][14] r[84][15] r[84][16] r[84][17] r[84][18] r[84][19] r[84][1] r[84][2] r[84][3] r[84][4] r[84][5] r[84][6] r[84][7] r[84][8] r[84][9] r[85][0] r[85][10] r[85][11] r[85][12] r[85][13] r[85][14] r[85][15] r[85][16] r[85][17] r[85][18] r[85][19] r[85][1] r[85][2] r[85][3] r[85][4] r[85][5] r[85][6] r[85][7] r[85][8] r[85][9] r[86][0] r[86][10] r[86][11] r[86][12] r[86][13] r[86][14] r[86][15] r[86][16] r[86][17] r[86][18] r[86][19] r[86][1] r[86][2] r[86][3] r[86][4] r[86][5] r[86][6] r[86][7] r[86][8] r[86][9] r[87][0] r[87][10] r[87][11] r[87][12] r[87][13] r[87][14] r[87][15] r[87][16] r[87][17] r[87][18] r[87][19] r[87][1] r[87][2] r[87][3] r[87][4] r[87][5] r[87][6] r[87][7] r[87][8] r[87][9] r[88][0] r[88][10] r[88][11] r[88][12] r[88][13] r[88][14] r[88][15] r[88][16] r[88][17] r[88][18] r[88][19] r[88][1] r[88][2] r[88][3] r[88][4] r[88][5] r[88][6] r[88][7] r[88][8] r[88][9] r[89][0] r[89][10] r[89][11] r[89][12] r[89][13] r[89][14] r[89][15] r[89][16] r[89][17] r[89][18] r[89][19] r[89][1] r[89][2] r[89][3] r[89][4] r[89][5] r[89][6] r[89][7] r[89][8] r[89][9] r[8][0] r[8][10] r[8][11] r[8][12] r[8][13] r[8][14] r[8][15] r[8][16] r[8][17] r[8][18] r[8][19] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[90][0] r[90][10] r[90][11] r[90][12] r[90][13] r[90][14] r[90][15] r[90][16] r[90][17] r[90][18] r[90][19] r[90][1] r[90][2] r[90][3] r[90][4] r[90][5] r[90][6] r[90][7] r[90][8] r[90][9] r[91][0] r[91][10] r[91][11] r[91][12] r[91][13] r[91][14] r[91][15] r[91][16] r[91][17] r[91][18] r[91][19] r[91][1] r[91][2] r[91][3] r[91][4] r[91][5] r[91][6] r[91][7] r[91][8] r[91][9] r[92][0] r[92][10] r[92][11] r[92][12] r[92][13] r[92][14] r[92][15] r[92][16] r[92][17] r[92][18] r[92][19] r[92][1] r[92][2] r[92][3] r[92][4] r[92][5] r[92][6] r[92][7] r[92][8] r[92][9] r[93][0] r[93][10] r[93][11] r[93][12] r[93][13] r[93][14] r[93][15] r[93][16] r[93][17] r[93][18] r[93][19] r[93][1] r[93][2] r[93][3] r[93][4] r[93][5] r[93][6] r[93][7] r[93][8] r[93][9] r[94][0] r[94][10] r[94][11] r[94][12] r[94][13] r[94][14] r[94][15] r[94][16] r[94][17] r[94][18] r[94][19] r[94][1] r[94][2] r[94][3] r[94][4] r[94][5] r[94][6] r[94][7] r[94][8] r[94][9] r[95][0] r[95][10] r[95][11] r[95][12] r[95][13] r[95][14] r[95][15] r[95][16] r[95][17] r[95][18] r[95][19] r[95][1] r[95][2] r[95][3] r[95][4] r[95][5] r[95][6] r[95][7] r[95][8] r[95][9] r[96][0] r[96][10] r[96][11] r[96][12] r[96][13] r[96][14] r[96][15] r[96][16] r[96][17] r[96][18] r[96][19] r[96][1] r[96][2] r[96][3] r[96][4] r[96][5] r[96][6] r[96][7] r[96][8] r[96][9] r[97][0] r[97][10] r[97][11] r[97][12] r[97][13] r[97][14] r[97][15] r[97][16] r[97][17] r[97][18] r[97][19] r[97][1] r[97][2] r[97][3] r[97][4] r[97][5] r[97][6] r[97][7] r[97][8] r[97][9] r[98][0] r[98][10] r[98][11] r[98][12] r[98][13] r[98][14] r[98][15] r[98][16] r[98][17] r[98][18] r[98][19] r[98][1] r[98][2] r[98][3] r[98][4] r[98][5] r[98][6] r[98][7] r[98][8] r[98][9] r[99][0] r[99][10] r[99][11] r[99][12] r[99][13] r[99][14] r[99][15] r[99][16] r[99][17] r[99][18] r[99][19] r[99][1] r[99][2] r[99][3] r[99][4] r[99][5] r[99][6] r[99][7] r[99][8] r[99][9] r[9][0] r[9][10] r[9][11] r[9][12] r[9][13] r[9][14] r[9][15] r[9][16] r[9][17] r[9][18] r[9][19] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] </list> 1899.29/1899.47 v <values>1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> 1899.29/1899.47 v </instantiation> 1899.29/1899.47
OK 102
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 (14047 MiB free) memory of node 1: 16384 MiB (15527 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397040-1568578233/watcher-4397040-1568578233 -o /tmp/evaluation-result-4397040-1568578233/solver-4397040-1568578233 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568572744-19033 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4397040-1568578233.xml 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 Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=20035, runsolver pid=20032 Current StackSize limit: 8192 KiB [startup+0.100155 s]* /proc/loadavg: 2.18 2.11 2.02 3/199 20036 /proc/meminfo: memFree=30276280/32770624 swapFree=67025684/67108860 [pid=20035] ppid=20032 vsize=35360 memory=11956 CPUtime=0.1 cores=1,3,5,7 /proc/20035/stat : 20035 (cosoco) R 20032 20035 19001 0 -1 4202496 3162 0 0 0 10 0 0 0 20 0 1 0 434095864 36208640 2989 33554432000 4194304 6211092 140724890346672 140724890344936 5156232 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30302208 140724890354699 140724890354801 140724890354801 140724890357710 0 /proc/20035/statm: 8840 2989 893 493 0 2145 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 35360 KiB Current children cumulated memory: 11956 KiB [startup+0.209756 s]* /proc/loadavg: 2.18 2.11 2.02 3/199 20036 /proc/meminfo: memFree=30274980/32770624 swapFree=67025684/67108860 [pid=20035] ppid=20032 vsize=36416 memory=13012 CPUtime=0.21 cores=1,3,5,7 /proc/20035/stat : 20035 (cosoco) R 20032 20035 19001 0 -1 4202496 3442 0 0 0 21 0 0 0 20 0 1 0 434095864 37289984 3253 33554432000 4194304 6211092 140724890346672 140724890344936 139703799536613 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30302208 140724890354699 140724890354801 140724890354801 140724890357710 0 /proc/20035/statm: 9104 3253 893 493 0 2409 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 36416 KiB Current children cumulated memory: 13012 KiB [startup+0.309127 s]* /proc/loadavg: 2.18 2.11 2.02 3/199 20036 /proc/meminfo: memFree=30274236/32770624 swapFree=67025684/67108860 [pid=20035] ppid=20032 vsize=37208 memory=13804 CPUtime=0.3 cores=1,3,5,7 /proc/20035/stat : 20035 (cosoco) R 20032 20035 19001 0 -1 4202496 3651 0 0 0 30 0 0 0 20 0 1 0 434095864 38100992 3451 33554432000 4194304 6211092 140724890346672 140724890344936 5149266 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30302208 140724890354699 140724890354801 140724890354801 140724890357710 0 /proc/20035/statm: 9302 3451 893 493 0 2607 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 37208 KiB Current children cumulated memory: 13804 KiB [startup+0.70028 s] /proc/loadavg: 2.18 2.11 2.02 3/199 20036 /proc/meminfo: memFree=30274236/32770624 swapFree=67025684/67108860 [pid=20035] ppid=20032 vsize=37472 memory=14068 CPUtime=0.69 cores=1,3,5,7 /proc/20035/stat : 20035 (cosoco) R 20032 20035 19001 0 -1 4202496 3699 0 0 0 69 0 0 0 20 0 1 0 434095864 38371328 3517 33554432000 4194304 6211092 140724890346672 140724890344936 5156224 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30302208 140724890354699 140724890354801 140724890354801 140724890357710 0 /proc/20035/statm: 9368 3517 893 493 0 2673 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 37472 KiB Current children cumulated memory: 14068 KiB [startup+1.50028 s] /proc/loadavg: 2.18 2.11 2.02 3/199 20036 /proc/meminfo: memFree=30273864/32770624 swapFree=67025684/67108860 [pid=20035] ppid=20032 vsize=38132 memory=14596 CPUtime=1.49 cores=1,3,5,7 /proc/20035/stat : 20035 (cosoco) R 20032 20035 19001 0 -1 4202496 3866 0 0 0 149 0 0 0 20 0 1 0 434095864 39047168 3649 33554432000 4194304 6211092 140724890346672 140724890343896 5149208 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30302208 140724890354699 140724890354801 140724890354801 140724890357710 0 /proc/20035/statm: 9533 3649 893 493 0 2838 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 38132 KiB Current children cumulated memory: 14596 KiB [startup+3.10931 s] /proc/loadavg: 2.18 2.11 2.02 3/199 20036 /proc/meminfo: memFree=30257828/32770624 swapFree=67025684/67108860 [pid=20035] ppid=20032 vsize=53260 memory=29968 CPUtime=3.09 cores=1,3,5,7 /proc/20035/stat : 20035 (cosoco) R 20032 20035 19001 0 -1 4202496 12538 0 0 0 309 0 0 0 20 0 1 0 434095864 54538240 7492 33554432000 4194304 6211092 140724890346672 140724890343912 5149217 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30302208 140724890354699 140724890354801 140724890354801 140724890357710 0 /proc/20035/statm: 13315 7492 893 493 0 6620 0 Current children cumulated CPU time: 3.09 s Current children cumulated vsize: 53260 KiB Current children cumulated memory: 29968 KiB [startup+6.30027 s] /proc/loadavg: 2.16 2.11 2.02 3/199 20036 /proc/meminfo: memFree=30257944/32770624 swapFree=67025684/67108860 [pid=20035] ppid=20032 vsize=53260 memory=29992 CPUtime=6.29 cores=1,3,5,7 /proc/20035/stat : 20035 (cosoco) R 20032 20035 19001 0 -1 4202496 17243 0 0 0 628 1 0 0 20 0 1 0 434095864 54538240 7498 33554432000 4194304 6211092 140724890346672 140724890343912 5186224 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30302208 140724890354699 140724890354801 140724890354801 140724890357710 0 /proc/20035/statm: 13315 7498 893 493 0 6620 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 53260 KiB Current children cumulated memory: 29992 KiB [startup+12.7003 s] /proc/loadavg: 2.15 2.11 2.02 3/200 20046 /proc/meminfo: memFree=30256376/32770624 swapFree=67025696/67108860 [pid=20035] ppid=20032 vsize=53260 memory=29992 CPUtime=12.69 cores=1,3,5,7 /proc/20035/stat : 20035 (cosoco) R 20032 20035 19001 0 -1 4202496 20940 0 0 0 1268 1 0 0 20 0 1 0 434095864 54538240 7498 33554432000 4194304 6211092 140724890346672 140724890343912 5148679 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30302208 140724890354699 140724890354801 140724890354801 140724890357710 0 /proc/20035/statm: 13315 7498 893 493 0 6620 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 53260 KiB Current children cumulated memory: 29992 KiB [startup+25.5003 s] /proc/loadavg: 2.12 2.10 2.02 3/200 20046 /proc/meminfo: memFree=30256640/32770624 swapFree=67025696/67108860 [pid=20035] ppid=20032 vsize=53260 memory=29992 CPUtime=25.49 cores=1,3,5,7 /proc/20035/stat : 20035 (cosoco) R 20032 20035 19001 0 -1 4202496 28690 0 0 0 2548 1 0 0 20 0 1 0 434095864 54538240 7498 33554432000 4194304 6211092 140724890346672 140724890343912 5149217 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30302208 140724890354699 140724890354801 140724890354801 140724890357710 0 /proc/20035/statm: 13315 7498 893 493 0 6620 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 53260 KiB Current children cumulated memory: 29992 KiB [startup+51.1092 s] /proc/loadavg: 2.08 2.09 2.02 3/200 20047 /proc/meminfo: memFree=30253636/32770624 swapFree=67025696/67108860 [pid=20035] ppid=20032 vsize=55916 memory=32540 CPUtime=51.09 cores=1,3,5,7 /proc/20035/stat : 20035 (cosoco) R 20032 20035 19001 0 -1 4202496 32686 0 0 0 5108 1 0 0 20 0 1 0 434095864 57257984 8135 33554432000 4194304 6211092 140724890346672 140724890343896 5149686 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30302208 140724890354699 140724890354801 140724890354801 140724890357710 0 /proc/20035/statm: 13979 8135 893 493 0 7284 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 55916 KiB Current children cumulated memory: 32540 KiB [startup+102.3 s] /proc/loadavg: 2.03 2.08 2.02 3/200 20052 /proc/meminfo: memFree=30245140/32770624 swapFree=67025696/67108860 [pid=20035] ppid=20032 vsize=65384 memory=41904 CPUtime=102.27 cores=1,3,5,7 /proc/20035/stat : 20035 (cosoco) R 20032 20035 19001 0 -1 4202496 36003 0 0 0 10226 1 0 0 20 0 1 0 434095864 66953216 10476 33554432000 4194304 6211092 140724890346672 140724890344808 5409453 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30302208 140724890354699 140724890354801 140724890354801 140724890357710 0 /proc/20035/statm: 16346 10476 893 493 0 9651 0 Current children cumulated CPU time: 102.27 s Current children cumulated vsize: 65384 KiB Current children cumulated memory: 41904 KiB [startup+162.3 s] /proc/loadavg: 2.01 2.06 2.02 3/200 20056 /proc/meminfo: memFree=30244248/32770624 swapFree=67025696/67108860 [pid=20035] ppid=20032 vsize=66904 memory=43288 CPUtime=162.28 cores=1,3,5,7 /proc/20035/stat : 20035 (cosoco) R 20032 20035 19001 0 -1 4202496 38591 0 0 0 16226 2 0 0 20 0 1 0 434095864 68509696 10822 33554432000 4194304 6211092 140724890346672 140724890344072 5148684 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30302208 140724890354699 140724890354801 140724890354801 140724890357710 0 /proc/20035/statm: 16726 10822 893 493 0 10031 0 Current children cumulated CPU time: 162.28 s Current children cumulated vsize: 66904 KiB Current children cumulated memory: 43288 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.05 2.02 3/200 20060 /proc/meminfo: memFree=30243708/32770624 swapFree=67025696/67108860 [pid=20035] ppid=20032 vsize=66904 memory=43524 CPUtime=222.27 cores=1,3,5,7 /proc/20035/stat : 20035 (cosoco) R 20032 20035 19001 0 -1 4202496 39053 0 0 0 22225 2 0 0 20 0 1 0 434095864 68509696 10881 33554432000 4194304 6211092 140724890346672 140724890344072 5148684 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30302208 140724890354699 140724890354801 140724890354801 140724890357710 0 /proc/20035/statm: 16726 10881 893 493 0 10031 0 Current children cumulated CPU time: 222.27 s Current children cumulated vsize: 66904 KiB Current children cumulated memory: 43524 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.04 2.02 3/200 20066 /proc/meminfo: memFree=30243100/32770624 swapFree=67025696/67108860 [pid=20035] ppid=20032 vsize=66904 memory=43524 CPUtime=282.27 cores=1,3,5,7 /proc/20035/stat : 20035 (cosoco) R 20032 20035 19001 0 -1 4202496 39468 0 0 0 28225 2 0 0 20 0 1 0 434095864 68509696 10881 33554432000 4194304 6211092 140724890346672 140724890344072 5380267 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30302208 140724890354699 140724890354801 140724890354801 140724890357710 0 /proc/20035/statm: 16726 10881 893 493 0 10031 0 Current children cumulated CPU time: 282.27 s Current children cumulated vsize: 66904 KiB Current children cumulated memory: 43524 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.04 2.02 3/199 20070 /proc/meminfo: memFree=30243540/32770624 swapFree=67025696/67108860 [pid=20035] ppid=20032 vsize=66904 memory=43524 CPUtime=342.26 cores=1,3,5,7 /proc/20035/stat : 20035 (cosoco) R 20032 20035 19001 0 -1 4202496 39975 0 0 0 34224 2 0 0 20 0 1 0 434095864 68509696 10881 33554432000 4194304 6211092 140724890346672 140724890344072 5193696 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30302208 140724890354699 140724890354801 140724890354801 140724890357710 0 /proc/20035/statm: 16726 10881 893 493 0 10031 0 Current children cumulated CPU time: 342.26 s Current children cumulated vsize: 66904 KiB Current children cumulated memory: 43524 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.03 2.02 3/199 20074 /proc/meminfo: memFree=30243608/32770624 swapFree=67025696/67108860 [pid=20035] ppid=20032 vsize=66904 memory=43556 CPUtime=402.26 cores=1,3,5,7 /proc/20035/stat : 20035 (cosoco) R 20032 20035 19001 0 -1 4202496 40371 0 0 0 40224 2 0 0 20 0 1 0 434095864 68509696 10889 33554432000 4194304 6211092 140724890346672 140724890344072 5149208 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30302208 140724890354699 140724890354801 140724890354801 140724890357710 0 /proc/20035/statm: 16726 10889 893 493 0 10031 0 Current children cumulated CPU time: 402.26 s Current children cumulated vsize: 66904 KiB Current children cumulated memory: 43556 KiB [startup+462.3 s] /proc/loadavg: 2.07 2.04 2.03 3/199 20080 /proc/meminfo: memFree=30242720/32770624 swapFree=67025696/67108860 [pid=20035] ppid=20032 vsize=66904 memory=43556 CPUtime=462.26 cores=1,3,5,7 /proc/20035/stat : 20035 (cosoco) R 20032 20035 19001 0 -1 4202496 40891 0 0 0 46224 2 0 0 20 0 1 0 434095864 68509696 10889 33554432000 4194304 6211092 140724890346672 140724890344072 5151066 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30302208 140724890354699 140724890354801 140724890354801 140724890357710 0 /proc/20035/statm: 16726 10889 893 493 0 10031 0 Current children cumulated CPU time: 462.26 s Current children cumulated vsize: 66904 KiB Current children cumulated memory: 43556 KiB ################ # More data... # ################ Current children cumulated memory: 43612 KiB [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.02 3/199 20243 /proc/meminfo: memFree=30240588/32770624 swapFree=67025708/67108860 [pid=20035] ppid=20032 vsize=66904 memory=43612 CPUtime=1542.21 cores=1,3,5,7 /proc/20035/stat : 20035 (cosoco) R 20032 20035 19001 0 -1 4202496 48347 0 0 0 154219 2 0 0 20 0 1 0 434095864 68509696 10903 33554432000 4194304 6211092 140724890346672 140724890344072 5250467 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30302208 140724890354699 140724890354801 140724890354801 140724890357710 0 /proc/20035/statm: 16726 10903 893 493 0 10031 0 Current children cumulated CPU time: 1542.21 s Current children cumulated vsize: 66904 KiB Current children cumulated memory: 43612 KiB [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.02 3/199 20247 /proc/meminfo: memFree=30240768/32770624 swapFree=67025708/67108860 [pid=20035] ppid=20032 vsize=66904 memory=43612 CPUtime=1602.21 cores=1,3,5,7 /proc/20035/stat : 20035 (cosoco) R 20032 20035 19001 0 -1 4202496 48724 0 0 0 160219 2 0 0 20 0 1 0 434095864 68509696 10903 33554432000 4194304 6211092 140724890346672 140724890344072 5148679 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30302208 140724890354699 140724890354801 140724890354801 140724890357710 0 /proc/20035/statm: 16726 10903 893 493 0 10031 0 Current children cumulated CPU time: 1602.21 s Current children cumulated vsize: 66904 KiB Current children cumulated memory: 43612 KiB [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.02 3/199 20251 /proc/meminfo: memFree=30241520/32770624 swapFree=67025708/67108860 [pid=20035] ppid=20032 vsize=66904 memory=43612 CPUtime=1662.2 cores=1,3,5,7 /proc/20035/stat : 20035 (cosoco) R 20032 20035 19001 0 -1 4202496 49062 0 0 0 166218 2 0 0 20 0 1 0 434095864 68509696 10903 33554432000 4194304 6211092 140724890346672 140724890344072 5250293 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30302208 140724890354699 140724890354801 140724890354801 140724890357710 0 /proc/20035/statm: 16726 10903 893 493 0 10031 0 Current children cumulated CPU time: 1662.2 s Current children cumulated vsize: 66904 KiB Current children cumulated memory: 43612 KiB [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.02 3/199 20257 /proc/meminfo: memFree=30240912/32770624 swapFree=67025708/67108860 [pid=20035] ppid=20032 vsize=66904 memory=43612 CPUtime=1722.2 cores=1,3,5,7 /proc/20035/stat : 20035 (cosoco) R 20032 20035 19001 0 -1 4202496 49525 0 0 0 172218 2 0 0 20 0 1 0 434095864 68509696 10903 33554432000 4194304 6211092 140724890346672 140724890344072 5409449 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30302208 140724890354699 140724890354801 140724890354801 140724890357710 0 /proc/20035/statm: 16726 10903 893 493 0 10031 0 Current children cumulated CPU time: 1722.2 s Current children cumulated vsize: 66904 KiB Current children cumulated memory: 43612 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.02 3/199 20261 /proc/meminfo: memFree=30241492/32770624 swapFree=67025708/67108860 [pid=20035] ppid=20032 vsize=66904 memory=43612 CPUtime=1782.2 cores=1,3,5,7 /proc/20035/stat : 20035 (cosoco) R 20032 20035 19001 0 -1 4202496 49918 0 0 0 178218 2 0 0 20 0 1 0 434095864 68509696 10903 33554432000 4194304 6211092 140724890346672 140724890344072 5392536 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30302208 140724890354699 140724890354801 140724890354801 140724890357710 0 /proc/20035/statm: 16726 10903 893 493 0 10031 0 Current children cumulated CPU time: 1782.2 s Current children cumulated vsize: 66904 KiB Current children cumulated memory: 43612 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.00 2.02 3/200 20273 /proc/meminfo: memFree=30240736/32770624 swapFree=67025716/67108860 [pid=20035] ppid=20032 vsize=66904 memory=43612 CPUtime=1842.19 cores=1,3,5,7 /proc/20035/stat : 20035 (cosoco) R 20032 20035 19001 0 -1 4202496 50254 0 0 0 184217 2 0 0 20 0 1 0 434095864 68509696 10903 33554432000 4194304 6211092 140724890346672 140724890344072 5148864 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30302208 140724890354699 140724890354801 140724890354801 140724890357710 0 /proc/20035/statm: 16726 10903 893 493 0 10031 0 Current children cumulated CPU time: 1842.19 s Current children cumulated vsize: 66904 KiB Current children cumulated memory: 43612 KiB [startup+1899.47 s] # the end of solver process 20035 was just reported to runsolver # cumulated CPU time of all completed processes: user=1899.35 s, system=0.025998 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+1843.2 s] /proc/loadavg: 2.00 2.00 2.02 3/200 20273 /proc/meminfo: memFree=30240788/32770624 swapFree=67025716/67108860 [pid=20035] ppid=20032 vsize=66904 memory=43612 CPUtime=1843.09 cores=1,3,5,7 /proc/20035/stat : 20035 (cosoco) R 20032 20035 19001 0 -1 4202496 50254 0 0 0 184307 2 0 0 20 0 1 0 434095864 68509696 10903 33554432000 4194304 6211092 140724890346672 140724890344072 5409453 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30302208 140724890354699 140724890354801 140724890354801 140724890357710 0 /proc/20035/statm: 16726 10903 893 493 0 10031 0 Current children cumulated CPU time: 1843.09 s Current children cumulated vsize: 66904 KiB Current children cumulated memory: 43612 KiB [startup+1868.8 s] /proc/loadavg: 2.00 2.00 2.02 3/200 20276 /proc/meminfo: memFree=30240684/32770624 swapFree=67025716/67108860 [pid=20035] ppid=20032 vsize=66904 memory=43612 CPUtime=1868.69 cores=1,3,5,7 /proc/20035/stat : 20035 (cosoco) R 20032 20035 19001 0 -1 4202496 50808 0 0 0 186867 2 0 0 20 0 1 0 434095864 68509696 10903 33554432000 4194304 6211092 140724890346672 140724890344072 5148659 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30302208 140724890354699 140724890354801 140724890354801 140724890357710 0 /proc/20035/statm: 16726 10903 893 493 0 10031 0 Current children cumulated CPU time: 1868.69 s Current children cumulated vsize: 66904 KiB Current children cumulated memory: 43612 KiB [startup+1881.6 s] /proc/loadavg: 2.00 2.00 2.02 3/200 20276 /proc/meminfo: memFree=30240684/32770624 swapFree=67025716/67108860 [pid=20035] ppid=20032 vsize=66904 memory=43612 CPUtime=1881.49 cores=1,3,5,7 /proc/20035/stat : 20035 (cosoco) R 20032 20035 19001 0 -1 4202496 50819 0 0 0 188147 2 0 0 20 0 1 0 434095864 68509696 10903 33554432000 4194304 6211092 140724890346672 140724890344072 5193696 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30302208 140724890354699 140724890354801 140724890354801 140724890357710 0 /proc/20035/statm: 16726 10903 893 493 0 10031 0 Current children cumulated CPU time: 1881.49 s Current children cumulated vsize: 66904 KiB Current children cumulated memory: 43612 KiB [startup+1888 s]* /proc/loadavg: 2.00 2.00 2.02 3/200 20276 /proc/meminfo: memFree=30240808/32770624 swapFree=67025716/67108860 [pid=20035] ppid=20032 vsize=66904 memory=43612 CPUtime=1887.9 cores=1,3,5,7 /proc/20035/stat : 20035 (cosoco) R 20032 20035 19001 0 -1 4202496 50819 0 0 0 188788 2 0 0 20 0 1 0 434095864 68509696 10903 33554432000 4194304 6211092 140724890346672 140724890344072 5158185 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30302208 140724890354699 140724890354801 140724890354801 140724890357710 0 /proc/20035/statm: 16726 10903 893 493 0 10031 0 Current children cumulated CPU time: 1887.9 s Current children cumulated vsize: 66904 KiB Current children cumulated memory: 43612 KiB [startup+1894.4 s] /proc/loadavg: 2.00 2.00 2.02 3/200 20277 /proc/meminfo: memFree=30240664/32770624 swapFree=67025716/67108860 [pid=20035] ppid=20032 vsize=66904 memory=43612 CPUtime=1894.29 cores=1,3,5,7 /proc/20035/stat : 20035 (cosoco) R 20032 20035 19001 0 -1 4202496 50819 0 0 0 189427 2 0 0 20 0 1 0 434095864 68509696 10903 33554432000 4194304 6211092 140724890346672 140724890344072 5148679 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30302208 140724890354699 140724890354801 140724890354801 140724890357710 0 /proc/20035/statm: 16726 10903 893 493 0 10031 0 Current children cumulated CPU time: 1894.29 s Current children cumulated vsize: 66904 KiB Current children cumulated memory: 43612 KiB [startup+1897.6 s] /proc/loadavg: 2.00 2.00 2.02 3/201 20279 /proc/meminfo: memFree=30240288/32770624 swapFree=67025716/67108860 [pid=20035] ppid=20032 vsize=66904 memory=43612 CPUtime=1897.49 cores=1,3,5,7 /proc/20035/stat : 20035 (cosoco) R 20032 20035 19001 0 -1 4202496 50824 0 0 0 189747 2 0 0 20 0 1 0 434095864 68509696 10903 33554432000 4194304 6211092 140724890346672 140724890344072 5148684 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30302208 140724890354699 140724890354801 140724890354801 140724890357710 0 /proc/20035/statm: 16726 10903 893 493 0 10031 0 Current children cumulated CPU time: 1897.49 s Current children cumulated vsize: 66904 KiB Current children cumulated memory: 43612 KiB [startup+1898.4 s] /proc/loadavg: 2.00 2.00 2.02 3/201 20279 /proc/meminfo: memFree=30240044/32770624 swapFree=67025716/67108860 [pid=20035] ppid=20032 vsize=66904 memory=43612 CPUtime=1898.29 cores=1,3,5,7 /proc/20035/stat : 20035 (cosoco) R 20032 20035 19001 0 -1 4202496 50824 0 0 0 189827 2 0 0 20 0 1 0 434095864 68509696 10903 33554432000 4194304 6211092 140724890346672 140724890344072 5150158 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30302208 140724890354699 140724890354801 140724890354801 140724890357710 0 /proc/20035/statm: 16726 10903 893 493 0 10031 0 Current children cumulated CPU time: 1898.29 s Current children cumulated vsize: 66904 KiB Current children cumulated memory: 43612 KiB [startup+1899.2 s] /proc/loadavg: 2.00 2.00 2.02 3/201 20279 /proc/meminfo: memFree=30240044/32770624 swapFree=67025716/67108860 [pid=20035] ppid=20032 vsize=66904 memory=43612 CPUtime=1899.09 cores=1,3,5,7 /proc/20035/stat : 20035 (cosoco) R 20032 20035 19001 0 -1 4202496 50825 0 0 0 189907 2 0 0 20 0 1 0 434095864 68509696 10903 33554432000 4194304 6211092 140724890346672 140724890344072 5391271 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30302208 140724890354699 140724890354801 140724890354801 140724890357710 0 /proc/20035/statm: 16726 10903 893 493 0 10031 0 Current children cumulated CPU time: 1899.09 s Current children cumulated vsize: 66904 KiB Current children cumulated memory: 43612 KiB [startup+1899.4 s] /proc/loadavg: 2.00 2.00 2.02 3/201 20279 /proc/meminfo: memFree=30240044/32770624 swapFree=67025716/67108860 [pid=20035] ppid=20032 vsize=66904 memory=43612 CPUtime=1899.29 cores=1,3,5,7 /proc/20035/stat : 20035 (cosoco) R 20032 20035 19001 0 -1 4202496 50841 0 0 0 189927 2 0 0 20 0 1 0 434095864 68509696 10903 33554432000 4194304 6211092 140724890346672 140724890344072 5409453 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30302208 140724890354699 140724890354801 140724890354801 140724890357710 0 /proc/20035/statm: 16726 10903 893 493 0 10031 0 Current children cumulated CPU time: 1899.29 s Current children cumulated vsize: 66904 KiB Current children cumulated memory: 43612 KiB Child status: 0 Real time (s): 1899.47 CPU time (s): 1899.37 CPU user time (s): 1899.35 CPU system time (s): 0.025998 CPU usage (%): 99.9948 Max. virtual memory (cumulated for all children) (KiB): 66904 Max. memory (cumulated for all children) (KiB): 43612 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1899.35 system time used= 0.025998 maximum resident set size= 43676 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 50897 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= 31 involuntary context switches= 509 # summary of solver processes directly reported to runsolver: # pid: 20035 # total CPU time (s): 1899.37 # total CPU user time (s): 1899.35 # total CPU system time (s): 0.025998 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.25643 second user time and 12.5328 second system time The end
Begin job on node150 at 2019-09-15 22:09:53 IDJOB=4397040 IDBENCH=124248 IDSOLVER=2848 FILE ID=node150/4397040-1568578233 RUNJOBID= node150-1568572744-19033 PBS_JOBID= 21703307 Free space on /tmp= 59368 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t09-2.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4397040-1568578233/watcher-4397040-1568578233 -o /tmp/evaluation-result-4397040-1568578233/solver-4397040-1568578233 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568572744-19033 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4397040-1568578233.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f7684c3e1f9d094a59a7b3edf9b14040 RANDOM SEED=2120923994 node150.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.79 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.79 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.79 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.79 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: 30284520 kB MemAvailable: 31842608 kB Buffers: 170468 kB Cached: 1648028 kB SwapCached: 12200 kB Active: 826956 kB Inactive: 1037144 kB Active(anon): 6436 kB Inactive(anon): 76960 kB Active(file): 820520 kB Inactive(file): 960184 kB Unevictable: 110960 kB Mlocked: 110960 kB SwapTotal: 67108860 kB SwapFree: 67025684 kB Dirty: 2780 kB Writeback: 0 kB AnonPages: 144392 kB Mapped: 45836 kB Shmem: 29176 kB Slab: 216216 kB SReclaimable: 186436 kB SUnreclaim: 29780 kB KernelStack: 3520 kB PageTables: 5668 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 536852 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 99712 kB DirectMap2M: 33445888 kB Free space on /tmp at the end= 59364 MiB End job on node150 at 2019-09-15 22:41:33