Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2.0 | SAT (TO) | 125 | 2519.96 | 2520.01 |
Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t15-1.xml |
MD5SUM | b82332625d17a81d2c62c757de216262 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 123 |
Best CPU time to get the best result obtained on this benchmark | 11.5853 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 3507 |
Number of constraints | 189 |
Number of domains | 12 |
Minimum domain size | 2 |
Maximum domain size | 20 |
Distribution of domain sizes | [{"size":2,"count":334},{"size":3,"count":334},{"size":5,"count":334},{"size":8,"count":167},{"size":9,"count":167},{"size":10,"count":334},{"size":11,"count":167},{"size":12,"count":167},{"size":14,"count":668},{"size":15,"count":334},{"size":18,"count":334},{"size":20,"count":167}] |
Minimum variable degree | 3 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":3,"count":3507}] |
Minimum constraint arity | 21 |
Maximum constraint arity | 3340 |
Distribution of constraint arities | [{"arity":21,"count":167},{"arity":167,"count":21},{"arity":3340,"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":187}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.04 c 0.00/0.04 c This is cosoco 2.00 -- 0.00/0.04 c 0.00/0.04 c command line: cosoco -lc -model -restarts -stick HOME/instance-4397083-1568577899.xml 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 0.00/0.04 0 204.78/204.83 c enable optimization 204.78/204.83 c ========================================[ Problem Statistics ]=========================================== 204.78/204.83 c | 204.78/204.83 c | Parse time : 0.04 s 204.78/204.83 c | 204.78/204.83 c | Variables: 3507 204.78/204.83 c | Domain Sizes: 2..20 204.78/204.83 c | 204.78/204.83 c | Constraints: 520 204.78/204.83 c | Arity: 2..167 -- Binary: 166 204.78/204.83 c | 204.78/204.83 c | Types: 204.78/204.83 c | (X -Y <= k): 166 204.78/204.83 c | Lex: 166 204.78/204.83 c | Sum: 188 204.78/204.83 c | 204.78/204.83 c | Objective: Minimize Sum 204.78/204.83 204.78/204.83 c ========================================================================================================= 204.78/204.83 o 146 204.78/204.83 c 1 calls to solver(id=0): best=146 lower=0 upper=145 205.38/205.41 o 145 210.38/210.46 o 144 210.38/210.46 c 3 calls to solver(id=0): best=144 lower=0 upper=143 215.58/215.66 o 143 220.78/220.85 o 142 220.78/220.85 c 5 calls to solver(id=0): best=142 lower=0 upper=141 227.98/228.10 o 141 233.28/233.31 o 140 233.28/233.31 c 7 calls to solver(id=0): best=140 lower=0 upper=139 238.38/238.48 o 139 243.88/243.95 o 138 243.88/243.95 c 9 calls to solver(id=0): best=138 lower=0 upper=137 248.98/249.04 o 137 254.28/254.35 o 136 254.28/254.35 c 11 calls to solver(id=0): best=136 lower=0 upper=135 260.98/261.04 o 135 266.37/266.43 o 134 266.37/266.43 c 13 calls to solver(id=0): best=134 lower=0 upper=133 704.47/704.52 o 133 704.67/704.75 o 132 704.67/704.75 c 15 calls to solver(id=0): best=132 lower=0 upper=131 704.77/704.88 o 131 711.17/711.29 o 130 711.17/711.30 c 17 calls to solver(id=0): best=130 lower=0 upper=129 717.27/717.34 o 129 723.47/723.59 o 128 723.47/723.59 c 19 calls to solver(id=0): best=128 lower=0 upper=127 729.57/729.67 o 127 743.67/743.73 o 126 743.67/743.73 c 21 calls to solver(id=0): best=126 lower=0 upper=125 1607.55/1607.63 o 125 2519.95/2520.00 2519.95/2520.00 c *** INTERRUPTED *** 2519.95/2520.00 c call to solver : 22 2519.95/2520.00 c 2519.95/2520.00 c restarts : 1082 2519.95/2520.00 c conflicts : 1374815 (546 /sec) 2519.95/2520.00 c decisions : 60086375 (23845 /sec) 2519.95/2520.00 c propagations : 764695372 (303462 /sec) 2519.95/2520.00 c root propagations : 27889 2519.95/2520.00 c filter calls : 530389835 (210480 /sec) 2519.95/2520.00 c useless filter calls : 438626360 (82 %) 2519.95/2520.00 c Memory used : 87.51 MB 2519.95/2520.00 c Best bound time (wc) : 1607.64 s 2519.95/2520.00 c CPU time : 2519.9 s 2519.95/2520.00 c real time : 2520.01 s 2519.95/2520.00 2519.95/2520.00 c nb Solutions = 22 2519.95/2520.00 s SATISFIABLE 2519.95/2520.00 c Best value found: 125 2519.95/2520.00 2519.95/2520.00 2519.95/2520.00 v <instantiation type='solution' cost='125'> 2519.95/2520.00 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[136] p[137] p[138] p[139] p[13] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[14] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[15] p[160] p[161] p[162] p[163] p[164] p[165] p[166] 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[136][0] r[136][10] r[136][11] r[136][12] r[136][13] r[136][14] r[136][15] r[136][16] r[136][17] r[136][18] r[136][19] r[136][1] r[136][2] r[136][3] r[136][4] r[136][5] r[136][6] r[136][7] r[136][8] r[136][9] r[137][0] r[137][10] r[137][11] r[137][12] r[137][13] r[137][14] r[137][15] r[137][16] r[137][17] r[137][18] r[137][19] r[137][1] r[137][2] r[137][3] r[137][4] r[137][5] r[137][6] r[137][7] r[137][8] r[137][9] r[138][0] r[138][10] r[138][11] r[138][12] r[138][13] r[138][14] r[138][15] r[138][16] r[138][17] r[138][18] r[138][19] r[138][1] r[138][2] r[138][3] r[138][4] r[138][5] r[138][6] r[138][7] r[138][8] r[138][9] r[139][0] r[139][10] r[139][11] r[139][12] r[139][13] r[139][14] r[139][15] r[139][16] r[139][17] r[139][18] r[139][19] r[139][1] r[139][2] r[139][3] r[139][4] r[139][5] r[139][6] r[139][7] r[139][8] r[139][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[140][0] r[140][10] r[140][11] r[140][12] r[140][13] r[140][14] r[140][15] r[140][16] r[140][17] r[140][18] r[140][19] r[140][1] r[140][2] r[140][3] r[140][4] r[140][5] r[140][6] r[140][7] r[140][8] r[140][9] r[141][0] r[141][10] r[141][11] r[141][12] r[141][13] r[141][14] r[141][15] r[141][16] r[141][17] r[141][18] r[141][19] r[141][1] r[141][2] r[141][3] r[141][4] r[141][5] r[141][6] r[141][7] r[141][8] r[141][9] r[142][0] r[142][10] r[142][11] r[142][12] r[142][13] r[142][14] r[142][15] r[142][16] r[142][17] r[142][18] r[142][19] r[142][1] r[142][2] r[142][3] r[142][4] r[142][5] r[142][6] r[142][7] r[142][8] r[142][9] r[143][0] r[143][10] r[143][11] r[143][12] r[143][13] r[143][14] r[143][15] r[143][16] r[143][17] r[143][18] r[143][19] r[143][1] r[143][2] r[143][3] r[143][4] r[143][5] r[143][6] r[143][7] r[143][8] r[143][9] r[144][0] r[144][10] r[144][11] r[144][12] r[144][13] r[144][14] r[144][15] r[144][16] r[144][17] r[144][18] r[144][19] r[144][1] r[144][2] r[144][3] r[144][4] r[144][5] r[144][6] r[144][7] r[144][8] r[144][9] r[145][0] r[145][10] r[145][11] r[145][12] r[145][13] r[145][14] r[145][15] r[145][16] r[145][17] r[145][18] r[145][19] r[145][1] r[145][2] r[145][3] r[145][4] r[145][5] r[145][6] r[145][7] r[145][8] r[145][9] r[146][0] r[146][10] r[146][11] r[146][12] r[146][13] r[146][14] r[146][15] r[146][16] r[146][17] r[146][18] r[146][19] r[146][1] r[146][2] r[146][3] r[146][4] r[146][5] r[146][6] r[146][7] r[146][8] r[146][9] r[147][0] r[147][10] r[147][11] r[147][12] r[147][13] r[147][14] r[147][15] r[147][16] r[147][17] r[147][18] r[147][19] r[147][1] r[147][2] r[147][3] r[147][4] r[147][5] r[147][6] r[147][7] r[147][8] r[147][9] r[148][0] r[148][10] r[148][11] r[148][12] r[148][13] r[148][14] r[148][15] r[148][16] r[148][17] r[148][18] r[148][19] r[148][1] r[148][2] r[148][3] r[148][4] r[148][5] r[148][6] r[148][7] r[148][8] r[148][9] r[149][0] r[149][10] r[149][11] r[149][12] r[149][13] r[149][14] r[149][15] r[149][16] r[149][17] r[149][18] r[149][19] r[149][1] r[149][2] r[149][3] r[149][4] r[149][5] r[149][6] r[149][7] r[149][8] r[149][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[150][0] r[150][10] r[150][11] r[150][12] r[150][13] r[150][14] r[150][15] r[150][16] r[150][17] r[150][18] r[150][19] r[150][1] r[150][2] r[150][3] r[150][4] r[150][5] r[150][6] r[150][7] r[150][8] r[150][9] r[151][0] r[151][10] r[151][11] r[151][12] r[151][13] r[151][14] r[151][15] r[151][16] r[151][17] r[151][18] r[151][19] r[151][1] r[151][2] r[151][3] r[151][4] r[151][5] r[151][6] r[151][7] r[151][8] r[151][9] r[152][0] r[152][10] r[152][11] r[152][12] r[152][13] r[152][14] r[152][15] r[152][16] r[152][17] r[152][18] r[152][19] r[152][1] r[152][2] r[152][3] r[152][4] r[152][5] r[152][6] r[152][7] r[152][8] r[152][9] r[153][0] r[153][10] r[153][11] r[153][12] r[153][13] r[153][14] r[153][15] r[153][16] r[153][17] r[153][18] r[153][19] r[153][1] r[153][2] r[153][3] r[153][4] r[153][5] r[153][6] r[153][7] r[153][8] r[153][9] r[154][0] r[154][10] r[154][11] r[154][12] r[154][13] r[154][14] r[154][15] r[154][16] r[154][17] r[154][18] r[154][19] r[154][1] r[154][2] r[154][3] r[154][4] r[154][5] r[154][6] r[154][7] r[154][8] r[154][9] r[155][0] r[155][10] r[155][11] r[155][12] r[155][13] r[155][14] r[155][15] r[155][16] r[155][17] r[155][18] r[155][19] r[155][1] r[155][2] r[155][3] r[155][4] r[155][5] r[155][6] r[155][7] r[155][8] r[155][9] r[156][0] r[156][10] r[156][11] r[156][12] r[156][13] r[156][14] r[156][15] r[156][16] r[156][17] r[156][18] r[156][19] r[156][1] r[156][2] r[156][3] r[156][4] r[156][5] r[156][6] r[156][7] r[156][8] r[156][9] r[157][0] r[157][10] r[157][11] r[157][12] r[157][13] r[157][14] r[157][15] r[157][16] r[157][17] r[157][18] r[157][19] r[157][1] r[157][2] r[157][3] r[157][4] r[157][5] r[157][6] r[157][7] r[157][8] r[157][9] r[158][0] r[158][10] r[158][11] r[158][12] r[158][13] r[158][14] r[158][15] r[158][16] r[158][17] r[158][18] r[158][19] r[158][1] r[158][2] r[158][3] r[158][4] r[158][5] r[158][6] r[158][7] r[158][8] r[158][9] r[159][0] r[159][10] r[159][11] r[159][12] r[159][13] r[159][14] r[159][15] r[159][16] r[159][17] r[159][18] r[159][19] r[159][1] r[159][2] r[159][3] r[159][4] r[159][5] r[159][6] r[159][7] r[159][8] r[159][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[160][0] r[160][10] r[160][11] r[160][12] r[160][13] r[160][14] r[160][15] r[160][16] r[160][17] r[160][18] r[160][19] r[160][1] r[160][2] r[160][3] r[160][4] r[160][5] r[160][6] r[160][7] r[160][8] r[160][9] r[161][0] r[161][10] r[161][11] r[161][12] r[161][13] r[161][14] r[161][15] r[161][16] r[161][17] r[161][18] r[161][19] r[161][1] r[161][2] r[161][3] r[161][4] r[161][5] r[161][6] r[161][7] r[161][8] r[161][9] r[162][0] r[162][10] r[162][11] r[162][12] r[162][13] r[162][14] r[162][15] r[162][16] r[162][17] r[162][18] r[162][19] r[162][1] r[162][2] r[162][3] r[162][4] r[162][5] r[162][6] r[162][7] r[162][8] r[162][9] r[163][0] r[163][10] r[163][11] r[163][12] r[163][13] r[163][14] r[163][15] r[163][16] r[163][17] r[163][18] r[163][19] r[163][1] r[163][2] r[163][3] r[163][4] r[163][5] r[163][6] r[163][7] r[163][8] r[163][9] r[164][0] r[164][10] r[164][11] r[164][12] r[164][13] r[164][14] r[164][15] r[164][16] r[164][17] r[164][18] r[164][19] r[164][1] r[164][2] r[164][3] r[164][4] r[164][5] r[164][6] r[164][7] r[164][8] r[164][9] r[165][0] r[165][10] r[165][11] r[165][12] r[165][13] r[165][14] r[165][15] r[165][16] r[165][17] r[165][18] r[165][19] r[165][1] r[165][2] r[165][3] r[165][4] r[165][5] r[165][6] r[165][7] r[165][8] r[165][9] r[166][0] r[166][10] r[166][11] r[166][12] r[166][13] r[166][14] r[166][15] r[166][16] r[166][17] r[166][18] r[166][19] r[166][1] r[166][2] r[166][3] r[166][4] r[166][5] r[166][6] r[166][7] r[166][8] r[166][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> 2519.95/2520.01 v <values>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 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 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 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 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 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 1 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 1 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 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 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 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 1 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 1 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 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 1 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 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 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 0 1 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 1 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 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 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 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 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 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 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 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 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 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 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 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 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 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 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 1 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 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 </values> 2519.95/2520.01 v </instantiation> 2519.95/2520.01
OK 125
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 (10491 MiB free) memory of node 1: 16384 MiB (13316 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397083-1568577899/watcher-4397083-1568577899 -o /tmp/evaluation-result-4397083-1568577899/solver-4397083-1568577899 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568572743-2767 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4397083-1568577899.xml running on 4 cores: 0,2,4,6 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 Current StackSize limit: 8192 KiB solver pid=3751, runsolver pid=3748 [startup+0.100056 s]* /proc/loadavg: 1.96 2.04 1.99 3/201 3752 /proc/meminfo: memFree=24367932/32770624 swapFree=66999428/67108860 [pid=3751] ppid=3748 vsize=39540 memory=16052 CPUtime=0.1 cores=0,2,4,6 /proc/3751/stat : 3751 (cosoco) R 3748 3751 2736 0 -1 4202496 4205 0 0 0 10 0 0 0 20 0 1 0 433728361 40488960 4013 33554432000 4194304 6211092 140721756042864 140721756041128 139848535940069 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39927808 140721756046347 140721756046449 140721756046449 140721756049358 0 /proc/3751/statm: 9885 4013 893 493 0 3190 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 39540 KiB Current children cumulated memory: 16052 KiB [startup+0.209899 s]* /proc/loadavg: 1.96 2.04 1.99 3/201 3752 /proc/meminfo: memFree=24365948/32770624 swapFree=66999428/67108860 [pid=3751] ppid=3748 vsize=40860 memory=17372 CPUtime=0.21 cores=0,2,4,6 /proc/3751/stat : 3751 (cosoco) R 3748 3751 2736 0 -1 4202496 4562 0 0 0 21 0 0 0 20 0 1 0 433728361 41840640 4343 33554432000 4194304 6211092 140721756042864 140721756041128 5409444 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39927808 140721756046347 140721756046449 140721756046449 140721756049358 0 /proc/3751/statm: 10215 4343 893 493 0 3520 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 40860 KiB Current children cumulated memory: 17372 KiB [startup+0.309414 s]* /proc/loadavg: 1.96 2.04 1.99 3/201 3752 /proc/meminfo: memFree=24365576/32770624 swapFree=66999428/67108860 [pid=3751] ppid=3748 vsize=41256 memory=17900 CPUtime=0.31 cores=0,2,4,6 /proc/3751/stat : 3751 (cosoco) R 3748 3751 2736 0 -1 4202496 4645 0 0 0 31 0 0 0 20 0 1 0 433728361 42246144 4475 33554432000 4194304 6211092 140721756042864 140721756041128 139848535940069 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39927808 140721756046347 140721756046449 140721756046449 140721756049358 0 /proc/3751/statm: 10314 4475 893 493 0 3619 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 41256 KiB Current children cumulated memory: 17900 KiB [startup+0.700355 s] /proc/loadavg: 1.96 2.04 1.99 3/201 3752 /proc/meminfo: memFree=24341744/32770624 swapFree=66999428/67108860 [pid=3751] ppid=3748 vsize=68200 memory=44564 CPUtime=0.69 cores=0,2,4,6 /proc/3751/stat : 3751 (cosoco) R 3748 3751 2736 0 -1 4202496 11306 0 0 0 68 1 0 0 20 0 1 0 433728361 69836800 11141 33554432000 4194304 6211092 140721756042864 140721756040264 5409453 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39927808 140721756046347 140721756046449 140721756046449 140721756049358 0 /proc/3751/statm: 17050 11141 893 493 0 10355 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 68200 KiB Current children cumulated memory: 44564 KiB [startup+1.50036 s] /proc/loadavg: 1.96 2.04 1.99 3/201 3752 /proc/meminfo: memFree=24339264/32770624 swapFree=66999428/67108860 [pid=3751] ppid=3748 vsize=68200 memory=44564 CPUtime=1.49 cores=0,2,4,6 /proc/3751/stat : 3751 (cosoco) R 3748 3751 2736 0 -1 4202496 11306 0 0 0 148 1 0 0 20 0 1 0 433728361 69836800 11141 33554432000 4194304 6211092 140721756042864 140721756040104 5409453 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39927808 140721756046347 140721756046449 140721756046449 140721756049358 0 /proc/3751/statm: 17050 11141 893 493 0 10355 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 68200 KiB Current children cumulated memory: 44564 KiB [startup+3.10949 s] /proc/loadavg: 1.96 2.04 1.99 3/201 3752 /proc/meminfo: memFree=24338484/32770624 swapFree=66999428/67108860 [pid=3751] ppid=3748 vsize=68200 memory=44576 CPUtime=3.1 cores=0,2,4,6 /proc/3751/stat : 3751 (cosoco) R 3748 3751 2736 0 -1 4202496 16018 0 0 0 308 2 0 0 20 0 1 0 433728361 69836800 11144 33554432000 4194304 6211092 140721756042864 140721756040104 5409457 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39927808 140721756046347 140721756046449 140721756046449 140721756049358 0 /proc/3751/statm: 17050 11144 893 493 0 10355 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 68200 KiB Current children cumulated memory: 44576 KiB [startup+6.30034 s] /proc/loadavg: 1.96 2.04 1.99 3/201 3752 /proc/meminfo: memFree=24335904/32770624 swapFree=66999428/67108860 [pid=3751] ppid=3748 vsize=70080 memory=46536 CPUtime=6.29 cores=0,2,4,6 /proc/3751/stat : 3751 (cosoco) R 3748 3751 2736 0 -1 4202496 24175 0 0 0 627 2 0 0 20 0 1 0 433728361 71761920 11634 33554432000 4194304 6211092 140721756042864 140721756040168 5193728 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39927808 140721756046347 140721756046449 140721756046449 140721756049358 0 /proc/3751/statm: 17520 11634 893 493 0 10825 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 70080 KiB Current children cumulated memory: 46536 KiB [startup+12.7003 s] /proc/loadavg: 1.97 2.04 1.99 3/201 3752 /proc/meminfo: memFree=24333364/32770624 swapFree=66999428/67108860 [pid=3751] ppid=3748 vsize=72768 memory=49136 CPUtime=12.69 cores=0,2,4,6 /proc/3751/stat : 3751 (cosoco) R 3748 3751 2736 0 -1 4202496 32883 0 0 0 1266 3 0 0 20 0 1 0 433728361 74514432 12284 33554432000 4194304 6211092 140721756042864 140721756040264 5149475 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39927808 140721756046347 140721756046449 140721756046449 140721756049358 0 /proc/3751/statm: 18192 12284 893 493 0 11497 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 72768 KiB Current children cumulated memory: 49136 KiB [startup+25.5004 s] /proc/loadavg: 2.05 2.05 2.00 3/201 3813 /proc/meminfo: memFree=24383576/32770624 swapFree=66999428/67108860 [pid=3751] ppid=3748 vsize=73704 memory=50100 CPUtime=25.49 cores=0,2,4,6 /proc/3751/stat : 3751 (cosoco) R 3748 3751 2736 0 -1 4202496 47129 0 0 0 2546 3 0 0 20 0 1 0 433728361 75472896 12525 33554432000 4194304 6211092 140721756042864 140721756040264 5409461 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39927808 140721756046347 140721756046449 140721756046449 140721756049358 0 /proc/3751/statm: 18426 12525 893 493 0 11731 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 73704 KiB Current children cumulated memory: 50100 KiB [startup+51.1092 s] /proc/loadavg: 2.03 2.05 2.00 3/200 3816 /proc/meminfo: memFree=24382128/32770624 swapFree=66999428/67108860 [pid=3751] ppid=3748 vsize=74380 memory=50820 CPUtime=51.09 cores=0,2,4,6 /proc/3751/stat : 3751 (cosoco) R 3748 3751 2736 0 -1 4202496 54266 0 0 0 5106 3 0 0 20 0 1 0 433728361 76165120 12705 33554432000 4194304 6211092 140721756042864 140721756040072 5149008 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39927808 140721756046347 140721756046449 140721756046449 140721756049358 0 /proc/3751/statm: 18595 12705 893 493 0 11900 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 74380 KiB Current children cumulated memory: 50820 KiB [startup+102.3 s] /proc/loadavg: 2.01 2.04 2.00 3/200 3819 /proc/meminfo: memFree=24381268/32770624 swapFree=66999428/67108860 [pid=3751] ppid=3748 vsize=74380 memory=51104 CPUtime=102.27 cores=0,2,4,6 /proc/3751/stat : 3751 (cosoco) R 3748 3751 2736 0 -1 4202496 54943 0 0 0 10224 3 0 0 20 0 1 0 433728361 76165120 12776 33554432000 4194304 6211092 140721756042864 140721756040072 5148687 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39927808 140721756046347 140721756046449 140721756046449 140721756049358 0 /proc/3751/statm: 18595 12776 893 493 0 11900 0 Current children cumulated CPU time: 102.27 s Current children cumulated vsize: 74380 KiB Current children cumulated memory: 51104 KiB [startup+162.3 s] /proc/loadavg: 2.01 2.04 2.00 3/200 3825 /proc/meminfo: memFree=24377120/32770624 swapFree=66999428/67108860 [pid=3751] ppid=3748 vsize=77368 memory=53852 CPUtime=162.27 cores=0,2,4,6 /proc/3751/stat : 3751 (cosoco) R 3748 3751 2736 0 -1 4202496 56182 0 0 0 16224 3 0 0 20 0 1 0 433728361 79224832 13463 33554432000 4194304 6211092 140721756042864 140721756040104 5149217 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39927808 140721756046347 140721756046449 140721756046449 140721756049358 0 /proc/3751/statm: 19342 13463 893 493 0 12647 0 Current children cumulated CPU time: 162.27 s Current children cumulated vsize: 77368 KiB Current children cumulated memory: 53852 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.03 2.00 3/199 3829 /proc/meminfo: memFree=24369332/32770624 swapFree=66999428/67108860 [pid=3751] ppid=3748 vsize=85384 memory=61532 CPUtime=222.28 cores=0,2,4,6 /proc/3751/stat : 3751 (cosoco) R 3748 3751 2736 0 -1 4202496 59215 0 0 0 22224 4 0 0 20 0 1 0 433728361 87433216 15383 33554432000 4194304 6211092 140721756042864 140721756030744 5409453 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39927808 140721756046347 140721756046449 140721756046449 140721756049358 0 /proc/3751/statm: 21346 15383 893 493 0 14651 0 Current children cumulated CPU time: 222.28 s Current children cumulated vsize: 85384 KiB Current children cumulated memory: 61532 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.02 2.00 3/199 3833 /proc/meminfo: memFree=24367784/32770624 swapFree=66999428/67108860 [pid=3751] ppid=3748 vsize=86604 memory=62876 CPUtime=282.27 cores=0,2,4,6 /proc/3751/stat : 3751 (cosoco) R 3748 3751 2736 0 -1 4202496 61584 0 0 0 28223 4 0 0 20 0 1 0 433728361 88682496 15719 33554432000 4194304 6211092 140721756042864 140721756040088 5404016 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39927808 140721756046347 140721756046449 140721756046449 140721756049358 0 /proc/3751/statm: 21651 15719 893 493 0 14956 0 Current children cumulated CPU time: 282.27 s Current children cumulated vsize: 86604 KiB Current children cumulated memory: 62876 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.02 2.00 3/200 3839 /proc/meminfo: memFree=24365828/32770624 swapFree=66999428/67108860 [pid=3751] ppid=3748 vsize=87688 memory=64340 CPUtime=342.27 cores=0,2,4,6 /proc/3751/stat : 3751 (cosoco) R 3748 3751 2736 0 -1 4202496 63873 0 0 0 34223 4 0 0 20 0 1 0 433728361 89792512 16085 33554432000 4194304 6211092 140721756042864 140721756040104 5148998 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39927808 140721756046347 140721756046449 140721756046449 140721756049358 0 /proc/3751/statm: 21922 16085 893 493 0 15227 0 Current children cumulated CPU time: 342.27 s Current children cumulated vsize: 87688 KiB Current children cumulated memory: 64340 KiB [startup+402.3 s] /proc/loadavg: 2.08 2.03 2.00 3/200 3851 /proc/meminfo: memFree=24366548/32770624 swapFree=66999428/67108860 [pid=3751] ppid=3748 vsize=87824 memory=64492 CPUtime=402.27 cores=0,2,4,6 /proc/3751/stat : 3751 (cosoco) R 3748 3751 2736 0 -1 4202496 64502 0 0 0 40223 4 0 0 20 0 1 0 433728361 89931776 16123 33554432000 4194304 6211092 140721756042864 140721756040264 5148684 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39927808 140721756046347 140721756046449 140721756046449 140721756049358 0 /proc/3751/statm: 21956 16123 893 493 0 15261 0 Current children cumulated CPU time: 402.27 s Current children cumulated vsize: 87824 KiB Current children cumulated memory: 64492 KiB [startup+462.3 s] /proc/loadavg: 2.03 2.03 2.00 3/200 3855 /proc/meminfo: memFree=24366920/32770624 swapFree=66999428/67108860 [pid=3751] ppid=3748 vsize=87824 memory=64500 CPUtime=462.27 cores=0,2,4,6 /proc/3751/stat : 3751 (cosoco) R 3748 3751 2736 0 -1 4202496 65081 0 0 0 46223 4 0 0 20 0 1 0 433728361 89931776 16125 33554432000 4194304 6211092 140721756042864 140721756040264 5091744 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39927808 140721756046347 140721756046449 140721756046449 140721756049358 0 /proc/3751/statm: 21956 16125 893 493 0 15261 0 Current children cumulated CPU time: 462.27 s Current children cumulated vsize: 87824 KiB Current children cumulated memory: 64500 KiB ################ # More data... # ################ /proc/3751/statm: 22401 16574 893 493 0 15706 0 Current children cumulated CPU time: 1722.25 s Current children cumulated vsize: 89604 KiB Current children cumulated memory: 66296 KiB [startup+1782.3 s] /proc/loadavg: 2.16 2.12 2.06 3/201 3978 /proc/meminfo: memFree=24364208/32770624 swapFree=66999428/67108860 [pid=3751] ppid=3748 vsize=89604 memory=66296 CPUtime=1782.25 cores=0,2,4,6 /proc/3751/stat : 3751 (cosoco) R 3748 3751 2736 0 -1 4202496 75671 0 0 0 178220 5 0 0 20 0 1 0 433728361 91754496 16574 33554432000 4194304 6211092 140721756042864 140721756041000 5193696 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39927808 140721756046347 140721756046449 140721756046449 140721756049358 0 /proc/3751/statm: 22401 16574 893 493 0 15706 0 Current children cumulated CPU time: 1782.25 s Current children cumulated vsize: 89604 KiB Current children cumulated memory: 66296 KiB [startup+1842.3 s] /proc/loadavg: 2.06 2.10 2.05 3/200 3982 /proc/meminfo: memFree=24364812/32770624 swapFree=66999428/67108860 [pid=3751] ppid=3748 vsize=89604 memory=66296 CPUtime=1842.25 cores=0,2,4,6 /proc/3751/stat : 3751 (cosoco) R 3748 3751 2736 0 -1 4202496 76106 0 0 0 184220 5 0 0 20 0 1 0 433728361 91754496 16574 33554432000 4194304 6211092 140721756042864 140721756041000 5148684 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39927808 140721756046347 140721756046449 140721756046449 140721756049358 0 /proc/3751/statm: 22401 16574 893 493 0 15706 0 Current children cumulated CPU time: 1842.25 s Current children cumulated vsize: 89604 KiB Current children cumulated memory: 66296 KiB [startup+1902.3 s] /proc/loadavg: 2.02 2.08 2.05 3/199 3986 /proc/meminfo: memFree=24365324/32770624 swapFree=66999428/67108860 [pid=3751] ppid=3748 vsize=89604 memory=66300 CPUtime=1902.25 cores=0,2,4,6 /proc/3751/stat : 3751 (cosoco) R 3748 3751 2736 0 -1 4202496 76522 0 0 0 190220 5 0 0 20 0 1 0 433728361 91754496 16575 33554432000 4194304 6211092 140721756042864 140721756041000 5193696 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39927808 140721756046347 140721756046449 140721756046449 140721756049358 0 /proc/3751/statm: 22401 16575 893 493 0 15706 0 Current children cumulated CPU time: 1902.25 s Current children cumulated vsize: 89604 KiB Current children cumulated memory: 66300 KiB [startup+1962.3 s] /proc/loadavg: 2.01 2.07 2.05 3/200 3992 /proc/meminfo: memFree=24364572/32770624 swapFree=66999428/67108860 [pid=3751] ppid=3748 vsize=89604 memory=66300 CPUtime=1962.25 cores=0,2,4,6 /proc/3751/stat : 3751 (cosoco) R 3748 3751 2736 0 -1 4202496 76912 0 0 0 196220 5 0 0 20 0 1 0 433728361 91754496 16575 33554432000 4194304 6211092 140721756042864 140721756041000 5409453 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39927808 140721756046347 140721756046449 140721756046449 140721756049358 0 /proc/3751/statm: 22401 16575 893 493 0 15706 0 Current children cumulated CPU time: 1962.25 s Current children cumulated vsize: 89604 KiB Current children cumulated memory: 66300 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.05 2.05 3/199 3996 /proc/meminfo: memFree=24364920/32770624 swapFree=66999428/67108860 [pid=3751] ppid=3748 vsize=89604 memory=66300 CPUtime=2022.25 cores=0,2,4,6 /proc/3751/stat : 3751 (cosoco) R 3748 3751 2736 0 -1 4202496 77296 0 0 0 202220 5 0 0 20 0 1 0 433728361 91754496 16575 33554432000 4194304 6211092 140721756042864 140721756041000 5149674 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39927808 140721756046347 140721756046449 140721756046449 140721756049358 0 /proc/3751/statm: 22401 16575 893 493 0 15706 0 Current children cumulated CPU time: 2022.25 s Current children cumulated vsize: 89604 KiB Current children cumulated memory: 66300 KiB [startup+2082.3 s] /proc/loadavg: 2.06 2.06 2.05 3/199 4000 /proc/meminfo: memFree=24365448/32770624 swapFree=66999428/67108860 [pid=3751] ppid=3748 vsize=89604 memory=66316 CPUtime=2082.25 cores=0,2,4,6 /proc/3751/stat : 3751 (cosoco) R 3748 3751 2736 0 -1 4202496 77711 0 0 0 208220 5 0 0 20 0 1 0 433728361 91754496 16579 33554432000 4194304 6211092 140721756042864 140721756041000 5148679 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39927808 140721756046347 140721756046449 140721756046449 140721756049358 0 /proc/3751/statm: 22401 16579 893 493 0 15706 0 Current children cumulated CPU time: 2082.25 s Current children cumulated vsize: 89604 KiB Current children cumulated memory: 66316 KiB [startup+2142.3 s] /proc/loadavg: 2.02 2.05 2.05 3/200 4006 /proc/meminfo: memFree=24364684/32770624 swapFree=66999428/67108860 [pid=3751] ppid=3748 vsize=89604 memory=66316 CPUtime=2142.25 cores=0,2,4,6 /proc/3751/stat : 3751 (cosoco) R 3748 3751 2736 0 -1 4202496 78110 0 0 0 214220 5 0 0 20 0 1 0 433728361 91754496 16579 33554432000 4194304 6211092 140721756042864 140721756041000 5155944 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39927808 140721756046347 140721756046449 140721756046449 140721756049358 0 /proc/3751/statm: 22401 16579 893 493 0 15706 0 Current children cumulated CPU time: 2142.25 s Current children cumulated vsize: 89604 KiB Current children cumulated memory: 66316 KiB [startup+2202.3 s] /proc/loadavg: 2.01 2.04 2.05 3/200 4018 /proc/meminfo: memFree=24365132/32770624 swapFree=66999428/67108860 [pid=3751] ppid=3748 vsize=89604 memory=66316 CPUtime=2202.24 cores=0,2,4,6 /proc/3751/stat : 3751 (cosoco) R 3748 3751 2736 0 -1 4202496 78519 0 0 0 220219 5 0 0 20 0 1 0 433728361 91754496 16579 33554432000 4194304 6211092 140721756042864 140721756041000 5156232 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39927808 140721756046347 140721756046449 140721756046449 140721756049358 0 /proc/3751/statm: 22401 16579 893 493 0 15706 0 Current children cumulated CPU time: 2202.24 s Current children cumulated vsize: 89604 KiB Current children cumulated memory: 66316 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.03 2.05 3/200 4022 /proc/meminfo: memFree=24365424/32770624 swapFree=66999428/67108860 [pid=3751] ppid=3748 vsize=89604 memory=66316 CPUtime=2262.24 cores=0,2,4,6 /proc/3751/stat : 3751 (cosoco) R 3748 3751 2736 0 -1 4202496 78929 0 0 0 226219 5 0 0 20 0 1 0 433728361 91754496 16579 33554432000 4194304 6211092 140721756042864 140721756041000 5158194 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39927808 140721756046347 140721756046449 140721756046449 140721756049358 0 /proc/3751/statm: 22401 16579 893 493 0 15706 0 Current children cumulated CPU time: 2262.24 s Current children cumulated vsize: 89604 KiB Current children cumulated memory: 66316 KiB [startup+2322.3 s] /proc/loadavg: 2.05 2.04 2.05 3/201 4028 /proc/meminfo: memFree=24365156/32770624 swapFree=66999428/67108860 [pid=3751] ppid=3748 vsize=89604 memory=66316 CPUtime=2322.24 cores=0,2,4,6 /proc/3751/stat : 3751 (cosoco) R 3748 3751 2736 0 -1 4202496 79337 0 0 0 232219 5 0 0 20 0 1 0 433728361 91754496 16579 33554432000 4194304 6211092 140721756042864 140721756041000 5409453 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39927808 140721756046347 140721756046449 140721756046449 140721756049358 0 /proc/3751/statm: 22401 16579 893 493 0 15706 0 Current children cumulated CPU time: 2322.24 s Current children cumulated vsize: 89604 KiB Current children cumulated memory: 66316 KiB [startup+2382.3 s] /proc/loadavg: 2.02 2.04 2.05 3/200 4032 /proc/meminfo: memFree=24364788/32770624 swapFree=66999428/67108860 [pid=3751] ppid=3748 vsize=89604 memory=66316 CPUtime=2382.24 cores=0,2,4,6 /proc/3751/stat : 3751 (cosoco) R 3748 3751 2736 0 -1 4202496 79740 0 0 0 238219 5 0 0 20 0 1 0 433728361 91754496 16579 33554432000 4194304 6211092 140721756042864 140721756041000 5409453 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39927808 140721756046347 140721756046449 140721756046449 140721756049358 0 /proc/3751/statm: 22401 16579 893 493 0 15706 0 Current children cumulated CPU time: 2382.24 s Current children cumulated vsize: 89604 KiB Current children cumulated memory: 66316 KiB [startup+2442.3 s] /proc/loadavg: 2.05 2.04 2.05 3/200 4036 /proc/meminfo: memFree=24364552/32770624 swapFree=66999428/67108860 [pid=3751] ppid=3748 vsize=89604 memory=66316 CPUtime=2442.24 cores=0,2,4,6 /proc/3751/stat : 3751 (cosoco) R 3748 3751 2736 0 -1 4202496 80129 0 0 0 244219 5 0 0 20 0 1 0 433728361 91754496 16579 33554432000 4194304 6211092 140721756042864 140721756041000 5409439 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39927808 140721756046347 140721756046449 140721756046449 140721756049358 0 /proc/3751/statm: 22401 16579 893 493 0 15706 0 Current children cumulated CPU time: 2442.24 s Current children cumulated vsize: 89604 KiB Current children cumulated memory: 66316 KiB [startup+2502.3 s] /proc/loadavg: 2.02 2.04 2.05 3/200 4042 /proc/meminfo: memFree=24364200/32770624 swapFree=66999428/67108860 [pid=3751] ppid=3748 vsize=89604 memory=66316 CPUtime=2502.24 cores=0,2,4,6 /proc/3751/stat : 3751 (cosoco) R 3748 3751 2736 0 -1 4202496 80521 0 0 0 250219 5 0 0 20 0 1 0 433728361 91754496 16579 33554432000 4194304 6211092 140721756042864 140721756041000 5409453 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39927808 140721756046347 140721756046449 140721756046449 140721756049358 0 /proc/3751/statm: 22401 16579 893 493 0 15706 0 Current children cumulated CPU time: 2502.24 s Current children cumulated vsize: 89604 KiB Current children cumulated memory: 66316 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 2.01 2.04 2.05 3/199 4043 /proc/meminfo: memFree=24364432/32770624 swapFree=66999428/67108860 [pid=3751] ppid=3748 vsize=89604 memory=66316 CPUtime=2519.95 cores=0,2,4,6 /proc/3751/stat : 3751 (cosoco) R 3748 3751 2736 0 -1 4202496 80900 0 0 0 251990 5 0 0 20 0 1 0 433728361 91754496 16579 33554432000 4194304 6211092 140721756042864 140721756041000 5155800 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39927808 140721756046347 140721756046449 140721756046449 140721756049358 0 /proc/3751/statm: 22401 16579 893 493 0 15706 0 Current children cumulated CPU time: 2519.95 s Current children cumulated vsize: 89604 KiB Current children cumulated memory: 66316 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.01 s] # the end of solver process 3751 was just reported to runsolver # cumulated CPU time of all completed processes: user=2519.9 s, system=0.059999 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2520.01 CPU time (s): 2519.96 CPU user time (s): 2519.9 CPU system time (s): 0.059999 CPU usage (%): 99.9981 Max. virtual memory (cumulated for all children) (KiB): 89604 Max. memory (cumulated for all children) (KiB): 66316 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.9 system time used= 0.059999 maximum resident set size= 66380 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 80960 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= 30 involuntary context switches= 3153 # summary of solver processes directly reported to runsolver: # pid: 3751 # total CPU time (s): 2519.96 # total CPU user time (s): 2519.9 # total CPU system time (s): 0.059999 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.97366 second user time and 17.6391 second system time The end
Begin job on node140 at 2019-09-15 22:04:19 IDJOB=4397083 IDBENCH=124135 IDSOLVER=2848 FILE ID=node140/4397083-1568577899 RUNJOBID= node140-1568572743-2767 PBS_JOBID= 21703315 Free space on /tmp= 58136 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t15-1.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4397083-1568577899/watcher-4397083-1568577899 -o /tmp/evaluation-result-4397083-1568577899/solver-4397083-1568577899 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568572743-2767 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4397083-1568577899.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b82332625d17a81d2c62c757de216262 RANDOM SEED=2120923994 node140.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.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 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.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 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.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 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.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 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: 24379064 kB MemAvailable: 31798380 kB Buffers: 188032 kB Cached: 7446676 kB SwapCached: 2604 kB Active: 1592816 kB Inactive: 6103220 kB Active(anon): 58188 kB Inactive(anon): 52336 kB Active(file): 1534628 kB Inactive(file): 6050884 kB Unevictable: 107880 kB Mlocked: 107880 kB SwapTotal: 67108860 kB SwapFree: 66999428 kB Dirty: 2900 kB Writeback: 0 kB AnonPages: 167364 kB Mapped: 48600 kB Shmem: 40576 kB Slab: 292768 kB SReclaimable: 262264 kB SUnreclaim: 30504 kB KernelStack: 3584 kB PageTables: 5088 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 589948 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 58136 MiB End job on node140 at 2019-09-15 22:46:19