Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2.0 | OPT | 102 | 1909.34 | 1909.16 |
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 | 8.2119 |
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-4397720-1568578258.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 73.90/73.92 c enable optimization 73.90/73.92 c ========================================[ Problem Statistics ]=========================================== 73.90/73.92 c | 73.90/73.92 c | Parse time : 0.03 s 73.90/73.92 c | 73.90/73.92 c | Variables: 2856 73.90/73.92 c | Domain Sizes: 2..21 73.90/73.92 c | 73.90/73.92 c | Constraints: 427 73.90/73.92 c | Arity: 2..136 -- Binary: 135 73.90/73.92 c | 73.90/73.92 c | Types: 73.90/73.92 c | (X -Y <= k): 135 73.90/73.92 c | Lex: 135 73.90/73.92 c | Sum: 157 73.90/73.92 c | 73.90/73.92 c | Objective: Minimize Sum 73.90/73.92 73.90/73.92 c ========================================================================================================= 73.90/73.92 o 115 73.90/73.92 c 1 calls to solver(id=0): best=115 lower=0 upper=114 77.09/77.12 o 114 77.19/77.22 o 113 77.19/77.22 c 3 calls to solver(id=0): best=113 lower=0 upper=112 80.29/80.36 o 112 83.59/83.61 o 111 83.59/83.61 c 5 calls to solver(id=0): best=111 lower=0 upper=110 86.39/86.45 o 110 89.59/89.64 o 109 89.59/89.64 c 7 calls to solver(id=0): best=109 lower=0 upper=108 92.39/92.48 o 108 95.29/95.35 o 107 95.29/95.35 c 9 calls to solver(id=0): best=107 lower=0 upper=106 98.09/98.13 o 106 100.69/100.79 o 105 100.69/100.79 c 11 calls to solver(id=0): best=105 lower=0 upper=104 103.69/103.74 o 104 107.50/107.55 o 103 107.50/107.55 c 13 calls to solver(id=0): best=103 lower=0 upper=102 136.30/136.35 o 102 1909.27/1909.15 s OPTIMUM FOUND 1909.27/1909.15 c call to solver : 15 1909.27/1909.15 c 1909.27/1909.15 c restarts : 623 1909.27/1909.15 c conflicts : 943744 (494 /sec) 1909.27/1909.15 c decisions : 42687681 (22358 /sec) 1909.27/1909.15 c propagations : 1180631284 (618367 /sec) 1909.27/1909.15 c root propagations : 19992 1909.27/1909.15 c filter calls : 472260971 (247351 /sec) 1909.27/1909.15 c useless filter calls : 382128007 (80 %) 1909.27/1909.15 c Memory used : 65.34 MB 1909.27/1909.15 c Best bound time (wc) : 136.35 s 1909.27/1909.15 c CPU time : 1909.27 s 1909.27/1909.15 c real time : 1909.15 s 1909.27/1909.15 1909.27/1909.15 1909.27/1909.15 v <instantiation type='solution' cost='102'> 1909.27/1909.15 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> 1909.27/1909.15 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> 1909.27/1909.15 v </instantiation> 1909.27/1909.15
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 (4289 MiB free) memory of node 1: 16384 MiB (15022 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397720-1568578258/watcher-4397720-1568578258 -o /tmp/evaluation-result-4397720-1568578258/solver-4397720-1568578258 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568572739-2567 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397720-1568578258.xml running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=3608, runsolver pid=3605 Current StackSize limit: 8192 KiB [startup+0.100132 s]* /proc/loadavg: 2.00 2.01 2.05 3/201 3609 /proc/meminfo: memFree=19764392/32770624 swapFree=66998512/67108860 [pid=3608] ppid=3605 vsize=35360 memory=11956 CPUtime=0.1 cores=1,3,5,7 /proc/3608/stat : 3608 (cosoco) R 3605 3608 2535 0 -1 4202496 3162 0 0 0 10 0 0 0 20 0 1 0 434077258 36208640 2989 33554432000 4194304 6211092 140725085223936 140725085220472 139860862249957 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22646784 140725085230091 140725085230193 140725085230193 140725085233102 0 /proc/3608/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.209797 s]* /proc/loadavg: 2.00 2.01 2.05 3/201 3609 /proc/meminfo: memFree=19761508/32770624 swapFree=66998512/67108860 [pid=3608] ppid=3605 vsize=36416 memory=13012 CPUtime=0.21 cores=1,3,5,7 /proc/3608/stat : 3608 (cosoco) R 3605 3608 2535 0 -1 4202496 3441 0 0 0 21 0 0 0 20 0 1 0 434077258 37289984 3253 33554432000 4194304 6211092 140725085223936 140725085221176 5151066 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22646784 140725085230091 140725085230193 140725085230193 140725085233102 0 /proc/3608/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.309815 s]* /proc/loadavg: 2.00 2.01 2.05 3/201 3609 /proc/meminfo: memFree=19759772/32770624 swapFree=66998512/67108860 [pid=3608] ppid=3605 vsize=37208 memory=13804 CPUtime=0.31 cores=1,3,5,7 /proc/3608/stat : 3608 (cosoco) R 3605 3608 2535 0 -1 4202496 3651 0 0 0 31 0 0 0 20 0 1 0 434077258 38100992 3451 33554432000 4194304 6211092 140725085223936 140725085221176 5149120 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22646784 140725085230091 140725085230193 140725085230193 140725085233102 0 /proc/3608/statm: 9302 3451 893 493 0 2607 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 37208 KiB Current children cumulated memory: 13804 KiB [startup+0.700353 s] /proc/loadavg: 1.92 2.00 2.04 3/201 3609 /proc/meminfo: memFree=19757168/32770624 swapFree=66998512/67108860 [pid=3608] ppid=3605 vsize=37472 memory=14068 CPUtime=0.69 cores=1,3,5,7 /proc/3608/stat : 3608 (cosoco) R 3605 3608 2535 0 -1 4202496 3699 0 0 0 69 0 0 0 20 0 1 0 434077258 38371328 3517 33554432000 4194304 6211092 140725085223936 140725085221176 5250467 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22646784 140725085230091 140725085230193 140725085230193 140725085233102 0 /proc/3608/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.50036 s] /proc/loadavg: 1.92 2.00 2.04 3/201 3609 /proc/meminfo: memFree=19751216/32770624 swapFree=66998512/67108860 [pid=3608] ppid=3605 vsize=38132 memory=14596 CPUtime=1.49 cores=1,3,5,7 /proc/3608/stat : 3608 (cosoco) R 3605 3608 2535 0 -1 4202496 3866 0 0 0 149 0 0 0 20 0 1 0 434077258 39047168 3649 33554432000 4194304 6211092 140725085223936 140725085221160 5093497 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22646784 140725085230091 140725085230193 140725085230193 140725085233102 0 /proc/3608/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.1096 s] /proc/loadavg: 1.92 2.00 2.04 3/201 3609 /proc/meminfo: memFree=19705512/32770624 swapFree=66998512/67108860 [pid=3608] ppid=3605 vsize=53260 memory=29968 CPUtime=3.1 cores=1,3,5,7 /proc/3608/stat : 3608 (cosoco) R 3605 3608 2535 0 -1 4202496 12549 0 0 0 308 2 0 0 20 0 1 0 434077258 54538240 7492 33554432000 4194304 6211092 140725085223936 140725085221176 5158020 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22646784 140725085230091 140725085230193 140725085230193 140725085233102 0 /proc/3608/statm: 13315 7492 893 493 0 6620 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 53260 KiB Current children cumulated memory: 29968 KiB [startup+11.0949 s] /proc/loadavg: 1.92 2.00 2.04 3/201 3609 /proc/meminfo: memFree=19705512/32770624 swapFree=66998512/67108860 [pid=3608] ppid=3605 vsize=53260 memory=29992 CPUtime=11.09 cores=1,3,5,7 /proc/3608/stat : 3608 (cosoco) R 3605 3608 2535 0 -1 4202496 20633 0 0 0 1107 2 0 0 20 0 1 0 434077258 54538240 7498 33554432000 4194304 6211092 140725085223936 140725085221176 5148684 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22646784 140725085230091 140725085230193 140725085230193 140725085233102 0 /proc/3608/statm: 13315 7498 893 493 0 6620 0 Current children cumulated CPU time: 11.09 s Current children cumulated vsize: 53260 KiB Current children cumulated memory: 29992 KiB [startup+12.7004 s] /proc/loadavg: 2.70 2.16 2.09 3/202 3610 /proc/meminfo: memFree=19586552/32770624 swapFree=66998512/67108860 [pid=3608] ppid=3605 vsize=53260 memory=29992 CPUtime=12.69 cores=1,3,5,7 /proc/3608/stat : 3608 (cosoco) R 3605 3608 2535 0 -1 4202496 20953 0 0 0 1267 2 0 0 20 0 1 0 434077258 54538240 7498 33554432000 4194304 6211092 140725085223936 140725085221176 5148679 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22646784 140725085230091 140725085230193 140725085230193 140725085233102 0 /proc/3608/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.5002 s] /proc/loadavg: 2.60 2.16 2.09 3/201 3615 /proc/meminfo: memFree=20547372/32770624 swapFree=66998512/67108860 [pid=3608] ppid=3605 vsize=53260 memory=29992 CPUtime=25.49 cores=1,3,5,7 /proc/3608/stat : 3608 (cosoco) R 3605 3608 2535 0 -1 4202496 28703 0 0 0 2547 2 0 0 20 0 1 0 434077258 54538240 7498 33554432000 4194304 6211092 140725085223936 140725085221176 5149674 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22646784 140725085230091 140725085230193 140725085230193 140725085233102 0 /proc/3608/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.1002 s] /proc/loadavg: 2.36 2.14 2.09 3/201 3616 /proc/meminfo: memFree=20228156/32770624 swapFree=66998512/67108860 [pid=3608] ppid=3605 vsize=55916 memory=32460 CPUtime=51.09 cores=1,3,5,7 /proc/3608/stat : 3608 (cosoco) R 3605 3608 2535 0 -1 4202496 34667 0 0 0 5107 2 0 0 20 0 1 0 434077258 57257984 8115 33554432000 4194304 6211092 140725085223936 140725085221144 5148693 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22646784 140725085230091 140725085230193 140725085230193 140725085233102 0 /proc/3608/statm: 13979 8115 893 493 0 7284 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 55916 KiB Current children cumulated memory: 32460 KiB [startup+102.3 s] /proc/loadavg: 2.16 2.12 2.08 3/201 3619 /proc/meminfo: memFree=19597332/32770624 swapFree=66998512/67108860 [pid=3608] ppid=3605 vsize=65384 memory=41892 CPUtime=102.29 cores=1,3,5,7 /proc/3608/stat : 3608 (cosoco) R 3605 3608 2535 0 -1 4202496 44169 0 0 0 10226 3 0 0 20 0 1 0 434077258 66953216 10473 33554432000 4194304 6211092 140725085223936 140725085222072 5250272 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22646784 140725085230091 140725085230193 140725085230193 140725085233102 0 /proc/3608/statm: 16346 10473 893 493 0 9651 0 Current children cumulated CPU time: 102.29 s Current children cumulated vsize: 65384 KiB Current children cumulated memory: 41892 KiB [startup+162.3 s] /proc/loadavg: 2.06 2.10 2.08 3/201 3625 /proc/meminfo: memFree=18866236/32770624 swapFree=66998512/67108860 [pid=3608] ppid=3605 vsize=66904 memory=43344 CPUtime=162.3 cores=1,3,5,7 /proc/3608/stat : 3608 (cosoco) R 3605 3608 2535 0 -1 4202496 52959 0 0 0 16226 4 0 0 20 0 1 0 434077258 68509696 10836 33554432000 4194304 6211092 140725085223936 140725085221336 5091718 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22646784 140725085230091 140725085230193 140725085230193 140725085233102 0 /proc/3608/statm: 16726 10836 893 493 0 10031 0 Current children cumulated CPU time: 162.3 s Current children cumulated vsize: 66904 KiB Current children cumulated memory: 43344 KiB [startup+222.3 s] /proc/loadavg: 2.02 2.08 2.07 3/201 3629 /proc/meminfo: memFree=18134584/32770624 swapFree=66998512/67108860 [pid=3608] ppid=3605 vsize=66904 memory=43408 CPUtime=222.31 cores=1,3,5,7 /proc/3608/stat : 3608 (cosoco) R 3605 3608 2535 0 -1 4202496 59517 0 0 0 22226 5 0 0 20 0 1 0 434077258 68509696 10852 33554432000 4194304 6211092 140725085223936 140725085221336 5193696 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22646784 140725085230091 140725085230193 140725085230193 140725085233102 0 /proc/3608/statm: 16726 10852 893 493 0 10031 0 Current children cumulated CPU time: 222.31 s Current children cumulated vsize: 66904 KiB Current children cumulated memory: 43408 KiB [startup+282.3 s] /proc/loadavg: 2.01 2.07 2.07 3/201 3633 /proc/meminfo: memFree=17403736/32770624 swapFree=66998512/67108860 [pid=3608] ppid=3605 vsize=66904 memory=43408 CPUtime=282.32 cores=1,3,5,7 /proc/3608/stat : 3608 (cosoco) R 3605 3608 2535 0 -1 4202496 59845 0 0 0 28227 5 0 0 20 0 1 0 434077258 68509696 10852 33554432000 4194304 6211092 140725085223936 140725085221336 5009195 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22646784 140725085230091 140725085230193 140725085230193 140725085233102 0 /proc/3608/statm: 16726 10852 893 493 0 10031 0 Current children cumulated CPU time: 282.32 s Current children cumulated vsize: 66904 KiB Current children cumulated memory: 43408 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.05 2.06 3/199 3639 /proc/meminfo: memFree=16671516/32770624 swapFree=66998512/67108860 [pid=3608] ppid=3605 vsize=66904 memory=43408 CPUtime=342.32 cores=1,3,5,7 /proc/3608/stat : 3608 (cosoco) R 3605 3608 2535 0 -1 4202496 66335 0 0 0 34227 5 0 0 20 0 1 0 434077258 68509696 10852 33554432000 4194304 6211092 140725085223936 140725085221336 5151120 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22646784 140725085230091 140725085230193 140725085230193 140725085233102 0 /proc/3608/statm: 16726 10852 893 493 0 10031 0 Current children cumulated CPU time: 342.32 s Current children cumulated vsize: 66904 KiB Current children cumulated memory: 43408 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.04 2.06 3/199 3643 /proc/meminfo: memFree=15941472/32770624 swapFree=66998512/67108860 [pid=3608] ppid=3605 vsize=66904 memory=43440 CPUtime=402.33 cores=1,3,5,7 /proc/3608/stat : 3608 (cosoco) R 3605 3608 2535 0 -1 4202496 72849 0 0 0 40227 6 0 0 20 0 1 0 434077258 68509696 10860 33554432000 4194304 6211092 140725085223936 140725085221336 5409453 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22646784 140725085230091 140725085230193 140725085230193 140725085233102 0 /proc/3608/statm: 16726 10860 893 493 0 10031 0 Current children cumulated CPU time: 402.33 s Current children cumulated vsize: 66904 KiB Current children cumulated memory: 43440 KiB [startup+462.3 s] /proc/loadavg: 2.68 2.22 2.11 3/199 3712 /proc/meminfo: memFree=31324108/32770624 swapFree=66998516/67108860 [pid=3608] ppid=3605 vsize=66904 memory=43592 CPUtime=462.33 cores=1,3,5,7 /proc/3608/stat : 3608 (cosoco) R 3605 3608 2535 0 -1 4202496 73921 0 0 0 46227 6 0 0 20 0 1 0 434077258 68509696 10898 33554432000 4194304 6211092 140725085223936 140725085221336 5409424 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22646784 140725085230091 140725085230193 140725085230193 140725085233102 0 /proc/3608/statm: 16726 10898 893 493 0 10031 0 Current children cumulated CPU time: 462.33 s Current children cumulated vsize: 66904 KiB Current children cumulated memory: 43592 KiB ################ # More data... # ################ Current children cumulated memory: 43648 KiB [startup+1422.3 s] /proc/loadavg: 2.00 2.02 2.05 3/200 3809 /proc/meminfo: memFree=31325400/32770624 swapFree=66998532/67108860 [pid=3608] ppid=3605 vsize=66904 memory=43648 CPUtime=1422.42 cores=1,3,5,7 /proc/3608/stat : 3608 (cosoco) R 3605 3608 2535 0 -1 4202496 75050 0 0 0 142236 6 0 0 20 0 1 0 434077258 68509696 10912 33554432000 4194304 6211092 140725085223936 140725085221336 5409465 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22646784 140725085230091 140725085230193 140725085230193 140725085233102 0 /proc/3608/statm: 16726 10912 893 493 0 10031 0 Current children cumulated CPU time: 1422.42 s Current children cumulated vsize: 66904 KiB Current children cumulated memory: 43648 KiB [startup+1482.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 3813 /proc/meminfo: memFree=31325444/32770624 swapFree=66998532/67108860 [pid=3608] ppid=3605 vsize=66904 memory=43648 CPUtime=1482.43 cores=1,3,5,7 /proc/3608/stat : 3608 (cosoco) R 3605 3608 2535 0 -1 4202496 75148 0 0 0 148237 6 0 0 20 0 1 0 434077258 68509696 10912 33554432000 4194304 6211092 140725085223936 140725085221336 5409465 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22646784 140725085230091 140725085230193 140725085230193 140725085233102 0 /proc/3608/statm: 16726 10912 893 493 0 10031 0 Current children cumulated CPU time: 1482.43 s Current children cumulated vsize: 66904 KiB Current children cumulated memory: 43648 KiB [startup+1542.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 3817 /proc/meminfo: memFree=31325444/32770624 swapFree=66998532/67108860 [pid=3608] ppid=3605 vsize=66904 memory=43648 CPUtime=1542.43 cores=1,3,5,7 /proc/3608/stat : 3608 (cosoco) R 3605 3608 2535 0 -1 4202496 75190 0 0 0 154237 6 0 0 20 0 1 0 434077258 68509696 10912 33554432000 4194304 6211092 140725085223936 140725085221336 5149028 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22646784 140725085230091 140725085230193 140725085230193 140725085233102 0 /proc/3608/statm: 16726 10912 893 493 0 10031 0 Current children cumulated CPU time: 1542.43 s Current children cumulated vsize: 66904 KiB Current children cumulated memory: 43648 KiB [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 3823 /proc/meminfo: memFree=31325824/32770624 swapFree=66998532/67108860 [pid=3608] ppid=3605 vsize=66904 memory=43648 CPUtime=1602.44 cores=1,3,5,7 /proc/3608/stat : 3608 (cosoco) R 3605 3608 2535 0 -1 4202496 75286 0 0 0 160238 6 0 0 20 0 1 0 434077258 68509696 10912 33554432000 4194304 6211092 140725085223936 140725085221336 5397429 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22646784 140725085230091 140725085230193 140725085230193 140725085233102 0 /proc/3608/statm: 16726 10912 893 493 0 10031 0 Current children cumulated CPU time: 1602.44 s Current children cumulated vsize: 66904 KiB Current children cumulated memory: 43648 KiB [startup+1662.3 s] /proc/loadavg: 2.06 2.03 2.05 3/199 3827 /proc/meminfo: memFree=31325360/32770624 swapFree=66998532/67108860 [pid=3608] ppid=3605 vsize=66904 memory=43648 CPUtime=1662.45 cores=1,3,5,7 /proc/3608/stat : 3608 (cosoco) R 3605 3608 2535 0 -1 4202496 75313 0 0 0 166239 6 0 0 20 0 1 0 434077258 68509696 10912 33554432000 4194304 6211092 140725085223936 140725085221336 5250298 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22646784 140725085230091 140725085230193 140725085230193 140725085233102 0 /proc/3608/statm: 16726 10912 893 493 0 10031 0 Current children cumulated CPU time: 1662.45 s Current children cumulated vsize: 66904 KiB Current children cumulated memory: 43648 KiB [startup+1722.3 s] /proc/loadavg: 2.02 2.02 2.05 3/199 3831 /proc/meminfo: memFree=31325244/32770624 swapFree=66998532/67108860 [pid=3608] ppid=3605 vsize=66904 memory=43648 CPUtime=1722.45 cores=1,3,5,7 /proc/3608/stat : 3608 (cosoco) R 3605 3608 2535 0 -1 4202496 75451 0 0 0 172239 6 0 0 20 0 1 0 434077258 68509696 10912 33554432000 4194304 6211092 140725085223936 140725085221336 5149221 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22646784 140725085230091 140725085230193 140725085230193 140725085233102 0 /proc/3608/statm: 16726 10912 893 493 0 10031 0 Current children cumulated CPU time: 1722.45 s Current children cumulated vsize: 66904 KiB Current children cumulated memory: 43648 KiB [startup+1782.3 s] /proc/loadavg: 2.01 2.02 2.05 3/199 3837 /proc/meminfo: memFree=31325596/32770624 swapFree=66998532/67108860 [pid=3608] ppid=3605 vsize=66904 memory=43648 CPUtime=1782.46 cores=1,3,5,7 /proc/3608/stat : 3608 (cosoco) R 3605 3608 2535 0 -1 4202496 75453 0 0 0 178240 6 0 0 20 0 1 0 434077258 68509696 10912 33554432000 4194304 6211092 140725085223936 140725085221336 5148698 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22646784 140725085230091 140725085230193 140725085230193 140725085233102 0 /proc/3608/statm: 16726 10912 893 493 0 10031 0 Current children cumulated CPU time: 1782.46 s Current children cumulated vsize: 66904 KiB Current children cumulated memory: 43648 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 3848 /proc/meminfo: memFree=31325396/32770624 swapFree=66998532/67108860 [pid=3608] ppid=3605 vsize=66904 memory=43648 CPUtime=1842.46 cores=1,3,5,7 /proc/3608/stat : 3608 (cosoco) R 3605 3608 2535 0 -1 4202496 75566 0 0 0 184240 6 0 0 20 0 1 0 434077258 68509696 10912 33554432000 4194304 6211092 140725085223936 140725085221336 5150124 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22646784 140725085230091 140725085230193 140725085230193 140725085233102 0 /proc/3608/statm: 16726 10912 893 493 0 10031 0 Current children cumulated CPU time: 1842.46 s Current children cumulated vsize: 66904 KiB Current children cumulated memory: 43648 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 3852 /proc/meminfo: memFree=31325508/32770624 swapFree=66998532/67108860 [pid=3608] ppid=3605 vsize=66904 memory=43648 CPUtime=1902.47 cores=1,3,5,7 /proc/3608/stat : 3608 (cosoco) R 3605 3608 2535 0 -1 4202496 75605 0 0 0 190241 6 0 0 20 0 1 0 434077258 68509696 10912 33554432000 4194304 6211092 140725085223936 140725085221336 5397216 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22646784 140725085230091 140725085230193 140725085230193 140725085233102 0 /proc/3608/statm: 16726 10912 893 493 0 10031 0 Current children cumulated CPU time: 1902.47 s Current children cumulated vsize: 66904 KiB Current children cumulated memory: 43648 KiB [startup+1909.16 s] # the end of solver process 3608 was just reported to runsolver # cumulated CPU time of all completed processes: user=1909.27 s, system=0.068006 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+1905.4 s] /proc/loadavg: 2.00 2.01 2.05 3/199 3852 /proc/meminfo: memFree=31325508/32770624 swapFree=66998532/67108860 [pid=3608] ppid=3605 vsize=66904 memory=43648 CPUtime=1905.57 cores=1,3,5,7 /proc/3608/stat : 3608 (cosoco) R 3605 3608 2535 0 -1 4202496 75606 0 0 0 190551 6 0 0 20 0 1 0 434077258 68509696 10912 33554432000 4194304 6211092 140725085223936 140725085221336 5148779 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22646784 140725085230091 140725085230193 140725085230193 140725085233102 0 /proc/3608/statm: 16726 10912 893 493 0 10031 0 Current children cumulated CPU time: 1905.57 s Current children cumulated vsize: 66904 KiB Current children cumulated memory: 43648 KiB [startup+1907 s] /proc/loadavg: 2.00 2.01 2.05 3/199 3854 /proc/meminfo: memFree=31325452/32770624 swapFree=66998532/67108860 [pid=3608] ppid=3605 vsize=66904 memory=43648 CPUtime=1907.17 cores=1,3,5,7 /proc/3608/stat : 3608 (cosoco) R 3605 3608 2535 0 -1 4202496 75606 0 0 0 190711 6 0 0 20 0 1 0 434077258 68509696 10912 33554432000 4194304 6211092 140725085223936 140725085221336 5409453 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22646784 140725085230091 140725085230193 140725085230193 140725085233102 0 /proc/3608/statm: 16726 10912 893 493 0 10031 0 Current children cumulated CPU time: 1907.17 s Current children cumulated vsize: 66904 KiB Current children cumulated memory: 43648 KiB [startup+1907.8 s]* /proc/loadavg: 2.00 2.01 2.05 3/199 3854 /proc/meminfo: memFree=31325468/32770624 swapFree=66998532/67108860 [pid=3608] ppid=3605 vsize=66904 memory=43648 CPUtime=1907.98 cores=1,3,5,7 /proc/3608/stat : 3608 (cosoco) R 3605 3608 2535 0 -1 4202496 75606 0 0 0 190792 6 0 0 20 0 1 0 434077258 68509696 10912 33554432000 4194304 6211092 140725085223936 140725085221336 5193696 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22646784 140725085230091 140725085230193 140725085230193 140725085233102 0 /proc/3608/statm: 16726 10912 893 493 0 10031 0 Current children cumulated CPU time: 1907.98 s Current children cumulated vsize: 66904 KiB Current children cumulated memory: 43648 KiB [startup+1908.6 s] /proc/loadavg: 2.00 2.01 2.05 3/199 3854 /proc/meminfo: memFree=31325468/32770624 swapFree=66998532/67108860 [pid=3608] ppid=3605 vsize=66904 memory=43648 CPUtime=1908.77 cores=1,3,5,7 /proc/3608/stat : 3608 (cosoco) R 3605 3608 2535 0 -1 4202496 75606 0 0 0 190871 6 0 0 20 0 1 0 434077258 68509696 10912 33554432000 4194304 6211092 140725085223936 140725085221336 5148869 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22646784 140725085230091 140725085230193 140725085230193 140725085233102 0 /proc/3608/statm: 16726 10912 893 493 0 10031 0 Current children cumulated CPU time: 1908.77 s Current children cumulated vsize: 66904 KiB Current children cumulated memory: 43648 KiB [startup+1909 s] /proc/loadavg: 2.00 2.01 2.05 3/199 3855 /proc/meminfo: memFree=31325592/32770624 swapFree=66998532/67108860 [pid=3608] ppid=3605 vsize=66904 memory=43648 CPUtime=1909.17 cores=1,3,5,7 /proc/3608/stat : 3608 (cosoco) R 3605 3608 2535 0 -1 4202496 75609 0 0 0 190911 6 0 0 20 0 1 0 434077258 68509696 10912 33554432000 4194304 6211092 140725085223936 140725085221336 5409457 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22646784 140725085230091 140725085230193 140725085230193 140725085233102 0 /proc/3608/statm: 16726 10912 893 493 0 10031 0 Current children cumulated CPU time: 1909.17 s Current children cumulated vsize: 66904 KiB Current children cumulated memory: 43648 KiB [startup+1909.1 s] /proc/loadavg: 2.00 2.01 2.05 3/199 3855 /proc/meminfo: memFree=31325592/32770624 swapFree=66998532/67108860 [pid=3608] ppid=3605 vsize=66904 memory=43648 CPUtime=1909.27 cores=1,3,5,7 /proc/3608/stat : 3608 (cosoco) R 3605 3608 2535 0 -1 4202496 75609 0 0 0 190921 6 0 0 20 0 1 0 434077258 68509696 10912 33554432000 4194304 6211092 140725085223936 140725085221336 5148679 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 22646784 140725085230091 140725085230193 140725085230193 140725085233102 0 /proc/3608/statm: 16726 10912 893 493 0 10031 0 Current children cumulated CPU time: 1909.27 s Current children cumulated vsize: 66904 KiB Current children cumulated memory: 43648 KiB Child status: 0 Real time (s): 1909.16 CPU time (s): 1909.34 CPU user time (s): 1909.27 CPU system time (s): 0.068006 CPU usage (%): 100.01 Max. virtual memory (cumulated for all children) (KiB): 66904 Max. memory (cumulated for all children) (KiB): 43648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1909.27 system time used= 0.068006 maximum resident set size= 43712 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 75657 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= 615 # summary of solver processes directly reported to runsolver: # pid: 3608 # total CPU time (s): 1909.34 # total CPU user time (s): 1909.27 # total CPU system time (s): 0.068006 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.75673 second user time and 12.1144 second system time The end
Begin job on node102 at 2019-09-15 22:10:13 IDJOB=4397720 IDBENCH=124248 IDSOLVER=2850 FILE ID=node102/4397720-1568578258 RUNJOBID= node102-1568572739-2567 PBS_JOBID= 21703338 Free space on /tmp= 58796 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-4397720-1568578258/watcher-4397720-1568578258 -o /tmp/evaluation-result-4397720-1568578258/solver-4397720-1568578258 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568572739-2567 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397720-1568578258.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f7684c3e1f9d094a59a7b3edf9b14040 RANDOM SEED=2079047598 node102.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.13 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.54 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.13 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.54 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.13 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.54 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.13 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.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 19775880 kB MemAvailable: 21382644 kB Buffers: 198348 kB Cached: 1699416 kB SwapCached: 8000 kB Active: 10860244 kB Inactive: 1545304 kB Active(anon): 10506128 kB Inactive(anon): 43456 kB Active(file): 354116 kB Inactive(file): 1501848 kB Unevictable: 110236 kB Mlocked: 110236 kB SwapTotal: 67108860 kB SwapFree: 66998512 kB Dirty: 828528 kB Writeback: 115624 kB AnonPages: 10610292 kB Mapped: 42836 kB Shmem: 33112 kB Slab: 162268 kB SReclaimable: 133268 kB SUnreclaim: 29000 kB KernelStack: 3584 kB PageTables: 26384 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 11132816 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 161792 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 59324 MiB End job on node102 at 2019-09-15 22:42:02