Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2.0 | SAT (TO) | 17 | 2400.03 | 2400.01 |
Name | OpenStacks/ OpenStacks-m1-s1/OpenStacks-m1-Miller-19.xml |
MD5SUM | f95358b1c1572ff37ec09cd547c08821 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 17 |
Best CPU time to get the best result obtained on this benchmark | 2400.02 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2480 |
Number of constraints | 2441 |
Number of domains | 4 |
Minimum domain size | 2 |
Maximum domain size | 41 |
Distribution of domain sizes | [{"size":2,"count":1600},{"size":9,"count":800},{"size":40,"count":40},{"size":41,"count":40}] |
Minimum variable degree | 2 |
Maximum variable degree | 21 |
Distribution of variable degrees | [{"degree":2,"count":860},{"degree":3,"count":1580},{"degree":21,"count":40}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 40 |
Distribution of constraint arities | [{"arity":2,"count":820},{"arity":3,"count":1580},{"arity":21,"count":40},{"arity":40,"count":1}] |
Number of extensional constraints | 800 |
Number of intensional constraints | 800 |
Distribution of constraint types | [{"type":"extension","count":800},{"type":"intension","count":800},{"type":"allDifferent","count":1},{"type":"sum","count":40},{"type":"element","count":800}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.00/0.03 c AllEqual constraint using 1 generic x=y constraints 0.00/0.03 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.00/0.04 c AllEqual constraint using 1 generic x=y constraints 0.41/0.47 c 0.41/0.47 c This is cosoco 2.00 -- 0.41/0.47 c 0.41/0.47 c command line: cosoco -lc -model -restarts -stick HOME/instance-4408864-1569794526.xml 0.41/0.47 c enable optimization 0.41/0.47 c ========================================[ Problem Statistics ]=========================================== 0.41/0.47 c | 0.41/0.47 c | Parse time : 0.28 s 0.41/0.47 c | 0.41/0.47 c | Variables: 2480 0.41/0.47 c | Domain Sizes: 2..41 0.41/0.47 c | 0.41/0.47 c | Constraints: 2442 0.41/0.47 c | Arity: 2..40 -- Binary: 820 -- Ternary: 1580 0.41/0.47 c | 0.41/0.47 c | Types: 0.41/0.47 c | (X = Y): 20 0.41/0.47 c | All Different: 1 0.41/0.47 c | Extension: 1600 (nb tuples: 10..40) -- (shared: 799) 0.41/0.47 c | Max constant: 1 0.41/0.47 c | Sum: 820 0.41/0.47 c | 0.41/0.47 c | Objective: Minimize Max constant 0.41/0.47 0.41/0.47 c ========================================================================================================= 0.41/0.47 o 20 0.41/0.47 c 1 calls to solver(id=*d): best=0 lower=20 upper=0 3.00/3.05 o 19 3.19/3.26 o 18 3.19/3.26 c 3 calls to solver(id=*d): best=0 lower=18 upper=0 19.59/19.67 o 17 2400.01/2400.00 2400.01/2400.00 c *** INTERRUPTED *** 2400.01/2400.00 c call to solver : 4 2400.01/2400.00 c 2400.01/2400.00 c restarts : 127 2400.01/2400.00 c conflicts : 5531380 (2305 /sec) 2400.01/2400.00 c decisions : 48554085 (20231 /sec) 2400.01/2400.00 c propagations : 1645345923 (685570 /sec) 2400.01/2400.00 c root propagations : 800 2400.01/2400.00 c filter calls : 3020689045 (1258637 /sec) 2400.01/2400.00 c useless filter calls : 1816713195 (60 %) 2400.01/2400.00 c Memory used : 85.14 MB 2400.01/2400.00 c Best bound time (wc) : 19.6686 s 2400.01/2400.00 c CPU time : 2399.97 s 2400.01/2400.00 c real time : 2400 s 2400.01/2400.00 2400.01/2400.00 c nb Solutions = 4 2400.01/2400.00 s SATISFIABLE 2400.01/2400.00 c Best value found: 17 2400.01/2400.00 2400.01/2400.00 2400.01/2400.00 v <instantiation type='solution' cost='17'> 2400.01/2400.00 v <list>np[0][0] np[0][10] np[0][11] np[0][12] np[0][13] np[0][14] np[0][15] np[0][16] np[0][17] np[0][18] np[0][19] np[0][1] np[0][20] np[0][21] np[0][22] np[0][23] np[0][24] np[0][25] np[0][26] np[0][27] np[0][28] np[0][29] np[0][2] np[0][30] np[0][31] np[0][32] np[0][33] np[0][34] np[0][35] np[0][36] np[0][37] np[0][38] np[0][39] np[0][3] np[0][4] np[0][5] np[0][6] np[0][7] np[0][8] np[0][9] np[10][0] np[10][10] np[10][11] np[10][12] np[10][13] np[10][14] np[10][15] np[10][16] np[10][17] np[10][18] np[10][19] np[10][1] np[10][20] np[10][21] np[10][22] np[10][23] np[10][24] np[10][25] np[10][26] np[10][27] np[10][28] np[10][29] np[10][2] np[10][30] np[10][31] np[10][32] np[10][33] np[10][34] np[10][35] np[10][36] np[10][37] np[10][38] np[10][39] np[10][3] np[10][4] np[10][5] np[10][6] np[10][7] np[10][8] np[10][9] np[11][0] np[11][10] np[11][11] np[11][12] np[11][13] np[11][14] np[11][15] np[11][16] np[11][17] np[11][18] np[11][19] np[11][1] np[11][20] np[11][21] np[11][22] np[11][23] np[11][24] np[11][25] np[11][26] np[11][27] np[11][28] np[11][29] np[11][2] np[11][30] np[11][31] np[11][32] np[11][33] np[11][34] np[11][35] np[11][36] np[11][37] np[11][38] np[11][39] np[11][3] np[11][4] np[11][5] np[11][6] np[11][7] np[11][8] np[11][9] np[12][0] np[12][10] np[12][11] np[12][12] np[12][13] np[12][14] np[12][15] np[12][16] np[12][17] np[12][18] np[12][19] np[12][1] np[12][20] np[12][21] np[12][22] np[12][23] np[12][24] np[12][25] np[12][26] np[12][27] np[12][28] np[12][29] np[12][2] np[12][30] np[12][31] np[12][32] np[12][33] np[12][34] np[12][35] np[12][36] np[12][37] np[12][38] np[12][39] np[12][3] np[12][4] np[12][5] np[12][6] np[12][7] np[12][8] np[12][9] np[13][0] np[13][10] np[13][11] np[13][12] np[13][13] np[13][14] np[13][15] np[13][16] np[13][17] np[13][18] np[13][19] np[13][1] np[13][20] np[13][21] np[13][22] np[13][23] np[13][24] np[13][25] np[13][26] np[13][27] np[13][28] np[13][29] np[13][2] np[13][30] np[13][31] np[13][32] np[13][33] np[13][34] np[13][35] np[13][36] np[13][37] np[13][38] np[13][39] np[13][3] np[13][4] np[13][5] np[13][6] np[13][7] np[13][8] np[13][9] np[14][0] np[14][10] np[14][11] np[14][12] np[14][13] np[14][14] np[14][15] np[14][16] np[14][17] np[14][18] np[14][19] np[14][1] np[14][20] np[14][21] np[14][22] np[14][23] np[14][24] np[14][25] np[14][26] np[14][27] np[14][28] np[14][29] np[14][2] np[14][30] np[14][31] np[14][32] np[14][33] np[14][34] np[14][35] np[14][36] np[14][37] np[14][38] np[14][39] np[14][3] np[14][4] np[14][5] np[14][6] np[14][7] np[14][8] np[14][9] np[15][0] np[15][10] np[15][11] np[15][12] np[15][13] np[15][14] np[15][15] np[15][16] np[15][17] np[15][18] np[15][19] np[15][1] np[15][20] np[15][21] np[15][22] np[15][23] np[15][24] np[15][25] np[15][26] np[15][27] np[15][28] np[15][29] np[15][2] np[15][30] np[15][31] np[15][32] np[15][33] np[15][34] np[15][35] np[15][36] np[15][37] np[15][38] np[15][39] np[15][3] np[15][4] np[15][5] np[15][6] np[15][7] np[15][8] np[15][9] np[16][0] np[16][10] np[16][11] np[16][12] np[16][13] np[16][14] np[16][15] np[16][16] np[16][17] np[16][18] np[16][19] np[16][1] np[16][20] np[16][21] np[16][22] np[16][23] np[16][24] np[16][25] np[16][26] np[16][27] np[16][28] np[16][29] np[16][2] np[16][30] np[16][31] np[16][32] np[16][33] np[16][34] np[16][35] np[16][36] np[16][37] np[16][38] np[16][39] np[16][3] np[16][4] np[16][5] np[16][6] np[16][7] np[16][8] np[16][9] np[17][0] np[17][10] np[17][11] np[17][12] np[17][13] np[17][14] np[17][15] np[17][16] np[17][17] np[17][18] np[17][19] np[17][1] np[17][20] np[17][21] np[17][22] np[17][23] np[17][24] np[17][25] np[17][26] np[17][27] np[17][28] np[17][29] np[17][2] np[17][30] np[17][31] np[17][32] np[17][33] np[17][34] np[17][35] np[17][36] np[17][37] np[17][38] np[17][39] np[17][3] np[17][4] np[17][5] np[17][6] np[17][7] np[17][8] np[17][9] np[18][0] np[18][10] np[18][11] np[18][12] np[18][13] np[18][14] np[18][15] np[18][16] np[18][17] np[18][18] np[18][19] np[18][1] np[18][20] np[18][21] np[18][22] np[18][23] np[18][24] np[18][25] np[18][26] np[18][27] np[18][28] np[18][29] np[18][2] np[18][30] np[18][31] np[18][32] np[18][33] np[18][34] np[18][35] np[18][36] np[18][37] np[18][38] np[18][39] np[18][3] np[18][4] np[18][5] np[18][6] np[18][7] np[18][8] np[18][9] np[19][0] np[19][10] np[19][11] np[19][12] np[19][13] np[19][14] np[19][15] np[19][16] np[19][17] np[19][18] np[19][19] np[19][1] np[19][20] np[19][21] np[19][22] np[19][23] np[19][24] np[19][25] np[19][26] np[19][27] np[19][28] np[19][29] np[19][2] np[19][30] np[19][31] np[19][32] np[19][33] np[19][34] np[19][35] np[19][36] np[19][37] np[19][38] np[19][39] np[19][3] np[19][4] np[19][5] np[19][6] np[19][7] np[19][8] np[19][9] np[1][0] np[1][10] np[1][11] np[1][12] np[1][13] np[1][14] np[1][15] np[1][16] np[1][17] np[1][18] np[1][19] np[1][1] np[1][20] np[1][21] np[1][22] np[1][23] np[1][24] np[1][25] np[1][26] np[1][27] np[1][28] np[1][29] np[1][2] np[1][30] np[1][31] np[1][32] np[1][33] np[1][34] np[1][35] np[1][36] np[1][37] np[1][38] np[1][39] np[1][3] np[1][4] np[1][5] np[1][6] np[1][7] np[1][8] np[1][9] np[2][0] np[2][10] np[2][11] np[2][12] np[2][13] np[2][14] np[2][15] np[2][16] np[2][17] np[2][18] np[2][19] np[2][1] np[2][20] np[2][21] np[2][22] np[2][23] np[2][24] np[2][25] np[2][26] np[2][27] np[2][28] np[2][29] np[2][2] np[2][30] np[2][31] np[2][32] np[2][33] np[2][34] np[2][35] np[2][36] np[2][37] np[2][38] np[2][39] np[2][3] np[2][4] np[2][5] np[2][6] np[2][7] np[2][8] np[2][9] np[3][0] np[3][10] np[3][11] np[3][12] np[3][13] np[3][14] np[3][15] np[3][16] np[3][17] np[3][18] np[3][19] np[3][1] np[3][20] np[3][21] np[3][22] np[3][23] np[3][24] np[3][25] np[3][26] np[3][27] np[3][28] np[3][29] np[3][2] np[3][30] np[3][31] np[3][32] np[3][33] np[3][34] np[3][35] np[3][36] np[3][37] np[3][38] np[3][39] np[3][3] np[3][4] np[3][5] np[3][6] np[3][7] np[3][8] np[3][9] np[4][0] np[4][10] np[4][11] np[4][12] np[4][13] np[4][14] np[4][15] np[4][16] np[4][17] np[4][18] np[4][19] np[4][1] np[4][20] np[4][21] np[4][22] np[4][23] np[4][24] np[4][25] np[4][26] np[4][27] np[4][28] np[4][29] np[4][2] np[4][30] np[4][31] np[4][32] np[4][33] np[4][34] np[4][35] np[4][36] np[4][37] np[4][38] np[4][39] np[4][3] np[4][4] np[4][5] np[4][6] np[4][7] np[4][8] np[4][9] np[5][0] np[5][10] np[5][11] np[5][12] np[5][13] np[5][14] np[5][15] np[5][16] np[5][17] np[5][18] np[5][19] np[5][1] np[5][20] np[5][21] np[5][22] np[5][23] np[5][24] np[5][25] np[5][26] np[5][27] np[5][28] np[5][29] np[5][2] np[5][30] np[5][31] np[5][32] np[5][33] np[5][34] np[5][35] np[5][36] np[5][37] np[5][38] np[5][39] np[5][3] np[5][4] np[5][5] np[5][6] np[5][7] np[5][8] np[5][9] np[6][0] np[6][10] np[6][11] np[6][12] np[6][13] np[6][14] np[6][15] np[6][16] np[6][17] np[6][18] np[6][19] np[6][1] np[6][20] np[6][21] np[6][22] np[6][23] np[6][24] np[6][25] np[6][26] np[6][27] np[6][28] np[6][29] np[6][2] np[6][30] np[6][31] np[6][32] np[6][33] np[6][34] np[6][35] np[6][36] np[6][37] np[6][38] np[6][39] np[6][3] np[6][4] np[6][5] np[6][6] np[6][7] np[6][8] np[6][9] np[7][0] np[7][10] np[7][11] np[7][12] np[7][13] np[7][14] np[7][15] np[7][16] np[7][17] np[7][18] np[7][19] np[7][1] np[7][20] np[7][21] np[7][22] np[7][23] np[7][24] np[7][25] np[7][26] np[7][27] np[7][28] np[7][29] np[7][2] np[7][30] np[7][31] np[7][32] np[7][33] np[7][34] np[7][35] np[7][36] np[7][37] np[7][38] np[7][39] np[7][3] np[7][4] np[7][5] np[7][6] np[7][7] np[7][8] np[7][9] np[8][0] np[8][10] np[8][11] np[8][12] np[8][13] np[8][14] np[8][15] np[8][16] np[8][17] np[8][18] np[8][19] np[8][1] np[8][20] np[8][21] np[8][22] np[8][23] np[8][24] np[8][25] np[8][26] np[8][27] np[8][28] np[8][29] np[8][2] np[8][30] np[8][31] np[8][32] np[8][33] np[8][34] np[8][35] np[8][36] np[8][37] np[8][38] np[8][39] np[8][3] np[8][4] np[8][5] np[8][6] np[8][7] np[8][8] np[8][9] np[9][0] np[9][10] np[9][11] np[9][12] np[9][13] np[9][14] np[9][15] np[9][16] np[9][17] np[9][18] np[9][19] np[9][1] np[9][20] np[9][21] np[9][22] np[9][23] np[9][24] np[9][25] np[9][26] np[9][27] np[9][28] np[9][29] np[9][2] np[9][30] np[9][31] np[9][32] np[9][33] np[9][34] np[9][35] np[9][36] np[9][37] np[9][38] np[9][39] np[9][3] np[9][4] np[9][5] np[9][6] np[9][7] np[9][8] np[9][9] o[0][0] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][1] o[0][20] o[0][21] o[0][22] o[0][23] o[0][24] o[0][25] o[0][26] o[0][27] o[0][28] o[0][29] o[0][2] o[0][30] o[0][31] o[0][32] o[0][33] o[0][34] o[0][35] o[0][36] o[0][37] o[0][38] o[0][39] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[10][0] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[10][15] o[10][16] o[10][17] o[10][18] o[10][19] o[10][1] o[10][20] o[10][21] o[10][22] o[10][23] o[10][24] o[10][25] o[10][26] o[10][27] o[10][28] o[10][29] o[10][2] o[10][30] o[10][31] o[10][32] o[10][33] o[10][34] o[10][35] o[10][36] o[10][37] o[10][38] o[10][39] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[11][0] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[11][15] o[11][16] o[11][17] o[11][18] o[11][19] o[11][1] o[11][20] o[11][21] o[11][22] o[11][23] o[11][24] o[11][25] o[11][26] o[11][27] o[11][28] o[11][29] o[11][2] o[11][30] o[11][31] o[11][32] o[11][33] o[11][34] o[11][35] o[11][36] o[11][37] o[11][38] o[11][39] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[12][0] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[12][15] o[12][16] o[12][17] o[12][18] o[12][19] o[12][1] o[12][20] o[12][21] o[12][22] o[12][23] o[12][24] o[12][25] o[12][26] o[12][27] o[12][28] o[12][29] o[12][2] o[12][30] o[12][31] o[12][32] o[12][33] o[12][34] o[12][35] o[12][36] o[12][37] o[12][38] o[12][39] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[13][0] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[13][15] o[13][16] o[13][17] o[13][18] o[13][19] o[13][1] o[13][20] o[13][21] o[13][22] o[13][23] o[13][24] o[13][25] o[13][26] o[13][27] o[13][28] o[13][29] o[13][2] o[13][30] o[13][31] o[13][32] o[13][33] o[13][34] o[13][35] o[13][36] o[13][37] o[13][38] o[13][39] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[14][0] o[14][10] o[14][11] o[14][12] o[14][13] o[14][14] o[14][15] o[14][16] o[14][17] o[14][18] o[14][19] o[14][1] o[14][20] o[14][21] o[14][22] o[14][23] o[14][24] o[14][25] o[14][26] o[14][27] o[14][28] o[14][29] o[14][2] o[14][30] o[14][31] o[14][32] o[14][33] o[14][34] o[14][35] o[14][36] o[14][37] o[14][38] o[14][39] o[14][3] o[14][4] o[14][5] o[14][6] o[14][7] o[14][8] o[14][9] o[15][0] o[15][10] o[15][11] o[15][12] o[15][13] o[15][14] o[15][15] o[15][16] o[15][17] o[15][18] o[15][19] o[15][1] o[15][20] o[15][21] o[15][22] o[15][23] o[15][24] o[15][25] o[15][26] o[15][27] o[15][28] o[15][29] o[15][2] o[15][30] o[15][31] o[15][32] o[15][33] o[15][34] o[15][35] o[15][36] o[15][37] o[15][38] o[15][39] o[15][3] o[15][4] o[15][5] o[15][6] o[15][7] o[15][8] o[15][9] o[16][0] o[16][10] o[16][11] o[16][12] o[16][13] o[16][14] o[16][15] o[16][16] o[16][17] o[16][18] o[16][19] o[16][1] o[16][20] o[16][21] o[16][22] o[16][23] o[16][24] o[16][25] o[16][26] o[16][27] o[16][28] o[16][29] o[16][2] o[16][30] o[16][31] o[16][32] o[16][33] o[16][34] o[16][35] o[16][36] o[16][37] o[16][38] o[16][39] o[16][3] o[16][4] o[16][5] o[16][6] o[16][7] o[16][8] o[16][9] o[17][0] o[17][10] o[17][11] o[17][12] o[17][13] o[17][14] o[17][15] o[17][16] o[17][17] o[17][18] o[17][19] o[17][1] o[17][20] o[17][21] o[17][22] o[17][23] o[17][24] o[17][25] o[17][26] o[17][27] o[17][28] o[17][29] o[17][2] o[17][30] o[17][31] o[17][32] o[17][33] o[17][34] o[17][35] o[17][36] o[17][37] o[17][38] o[17][39] o[17][3] o[17][4] o[17][5] o[17][6] o[17][7] o[17][8] o[17][9] o[18][0] o[18][10] o[18][11] o[18][12] o[18][13] o[18][14] o[18][15] o[18][16] o[18][17] o[18][18] o[18][19] o[18][1] o[18][20] o[18][21] o[18][22] o[18][23] o[18][24] o[18][25] o[18][26] o[18][27] o[18][28] o[18][29] o[18][2] o[18][30] o[18][31] o[18][32] o[18][33] o[18][34] o[18][35] o[18][36] o[18][37] o[18][38] o[18][39] o[18][3] o[18][4] o[18][5] o[18][6] o[18][7] o[18][8] o[18][9] o[19][0] o[19][10] o[19][11] o[19][12] o[19][13] o[19][14] o[19][15] o[19][16] o[19][17] o[19][18] o[19][19] o[19][1] o[19][20] o[19][21] o[19][22] o[19][23] o[19][24] o[19][25] o[19][26] o[19][27] o[19][28] o[19][29] o[19][2] o[19][30] o[19][31] o[19][32] o[19][33] o[19][34] o[19][35] o[19][36] o[19][37] o[19][38] o[19][39] o[19][3] o[19][4] o[19][5] o[19][6] o[19][7] o[19][8] o[19][9] o[1][0] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[1][1] o[1][20] o[1][21] o[1][22] o[1][23] o[1][24] o[1][25] o[1][26] o[1][27] o[1][28] o[1][29] o[1][2] o[1][30] o[1][31] o[1][32] o[1][33] o[1][34] o[1][35] o[1][36] o[1][37] o[1][38] o[1][39] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[2][0] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][15] o[2][16] o[2][17] o[2][18] o[2][19] o[2][1] o[2][20] o[2][21] o[2][22] o[2][23] o[2][24] o[2][25] o[2][26] o[2][27] o[2][28] o[2][29] o[2][2] o[2][30] o[2][31] o[2][32] o[2][33] o[2][34] o[2][35] o[2][36] o[2][37] o[2][38] o[2][39] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[3][0] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][15] o[3][16] o[3][17] o[3][18] o[3][19] o[3][1] o[3][20] o[3][21] o[3][22] o[3][23] o[3][24] o[3][25] o[3][26] o[3][27] o[3][28] o[3][29] o[3][2] o[3][30] o[3][31] o[3][32] o[3][33] o[3][34] o[3][35] o[3][36] o[3][37] o[3][38] o[3][39] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[4][0] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][15] o[4][16] o[4][17] o[4][18] o[4][19] o[4][1] o[4][20] o[4][21] o[4][22] o[4][23] o[4][24] o[4][25] o[4][26] o[4][27] o[4][28] o[4][29] o[4][2] o[4][30] o[4][31] o[4][32] o[4][33] o[4][34] o[4][35] o[4][36] o[4][37] o[4][38] o[4][39] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[5][0] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[5][15] o[5][16] o[5][17] o[5][18] o[5][19] o[5][1] o[5][20] o[5][21] o[5][22] o[5][23] o[5][24] o[5][25] o[5][26] o[5][27] o[5][28] o[5][29] o[5][2] o[5][30] o[5][31] o[5][32] o[5][33] o[5][34] o[5][35] o[5][36] o[5][37] o[5][38] o[5][39] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[6][0] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][15] o[6][16] o[6][17] o[6][18] o[6][19] o[6][1] o[6][20] o[6][21] o[6][22] o[6][23] o[6][24] o[6][25] o[6][26] o[6][27] o[6][28] o[6][29] o[6][2] o[6][30] o[6][31] o[6][32] o[6][33] o[6][34] o[6][35] o[6][36] o[6][37] o[6][38] o[6][39] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[7][0] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][15] o[7][16] o[7][17] o[7][18] o[7][19] o[7][1] o[7][20] o[7][21] o[7][22] o[7][23] o[7][24] o[7][25] o[7][26] o[7][27] o[7][28] o[7][29] o[7][2] o[7][30] o[7][31] o[7][32] o[7][33] o[7][34] o[7][35] o[7][36] o[7][37] o[7][38] o[7][39] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[8][0] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[8][15] o[8][16] o[8][17] o[8][18] o[8][19] o[8][1] o[8][20] o[8][21] o[8][22] o[8][23] o[8][24] o[8][25] o[8][26] o[8][27] o[8][28] o[8][29] o[8][2] o[8][30] o[8][31] o[8][32] o[8][33] o[8][34] o[8][35] o[8][36] o[8][37] o[8][38] o[8][39] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[9][0] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][15] o[9][16] o[9][17] o[9][18] o[9][19] o[9][1] o[9][20] o[9][21] o[9][22] o[9][23] o[9][24] o[9][25] o[9][26] o[9][27] o[9][28] o[9][29] o[9][2] o[9][30] o[9][31] o[9][32] o[9][33] o[9][34] o[9][35] o[9][36] o[9][37] o[9][38] o[9][39] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] p[0] p[10] p[11] p[12] 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[4] p[5] p[6] p[7] p[8] 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][20] r[0][21] r[0][22] r[0][23] r[0][24] r[0][25] r[0][26] r[0][27] r[0][28] r[0][29] r[0][2] r[0][30] r[0][31] r[0][32] r[0][33] r[0][34] r[0][35] r[0][36] r[0][37] r[0][38] r[0][39] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][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][20] r[10][21] r[10][22] r[10][23] r[10][24] r[10][25] r[10][26] r[10][27] r[10][28] r[10][29] r[10][2] r[10][30] r[10][31] r[10][32] r[10][33] r[10][34] r[10][35] r[10][36] r[10][37] r[10][38] r[10][39] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][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][20] r[11][21] r[11][22] r[11][23] r[11][24] r[11][25] r[11][26] r[11][27] r[11][28] r[11][29] r[11][2] r[11][30] r[11][31] r[11][32] r[11][33] r[11][34] r[11][35] r[11][36] r[11][37] r[11][38] r[11][39] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][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][20] r[12][21] r[12][22] r[12][23] r[12][24] r[12][25] r[12][26] r[12][27] r[12][28] r[12][29] r[12][2] r[12][30] r[12][31] r[12][32] r[12][33] r[12][34] r[12][35] r[12][36] r[12][37] r[12][38] r[12][39] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][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][20] r[13][21] r[13][22] r[13][23] r[13][24] r[13][25] r[13][26] r[13][27] r[13][28] r[13][29] r[13][2] r[13][30] r[13][31] r[13][32] r[13][33] r[13][34] r[13][35] r[13][36] r[13][37] r[13][38] r[13][39] 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][20] r[14][21] r[14][22] r[14][23] r[14][24] r[14][25] r[14][26] r[14][27] r[14][28] r[14][29] r[14][2] r[14][30] r[14][31] r[14][32] r[14][33] r[14][34] r[14][35] r[14][36] r[14][37] r[14][38] r[14][39] 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][20] r[15][21] r[15][22] r[15][23] r[15][24] r[15][25] r[15][26] r[15][27] r[15][28] r[15][29] r[15][2] r[15][30] r[15][31] r[15][32] r[15][33] r[15][34] r[15][35] r[15][36] r[15][37] r[15][38] r[15][39] 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][20] r[16][21] r[16][22] r[16][23] r[16][24] r[16][25] r[16][26] r[16][27] r[16][28] r[16][29] r[16][2] r[16][30] r[16][31] r[16][32] r[16][33] r[16][34] r[16][35] r[16][36] r[16][37] r[16][38] r[16][39] 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][20] r[17][21] r[17][22] r[17][23] r[17][24] r[17][25] r[17][26] r[17][27] r[17][28] r[17][29] r[17][2] r[17][30] r[17][31] r[17][32] r[17][33] r[17][34] r[17][35] r[17][36] r[17][37] r[17][38] r[17][39] 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][20] r[18][21] r[18][22] r[18][23] r[18][24] r[18][25] r[18][26] r[18][27] r[18][28] r[18][29] r[18][2] r[18][30] r[18][31] r[18][32] r[18][33] r[18][34] r[18][35] r[18][36] r[18][37] r[18][38] r[18][39] 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][20] r[19][21] r[19][22] r[19][23] r[19][24] r[19][25] r[19][26] r[19][27] r[19][28] r[19][29] r[19][2] r[19][30] r[19][31] r[19][32] r[19][33] r[19][34] r[19][35] r[19][36] r[19][37] r[19][38] r[19][39] 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][20] r[1][21] r[1][22] r[1][23] r[1][24] r[1][25] r[1][26] r[1][27] r[1][28] r[1][29] r[1][2] r[1][30] r[1][31] r[1][32] r[1][33] r[1][34] r[1][35] r[1][36] r[1][37] r[1][38] r[1][39] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][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][20] r[2][21] r[2][22] r[2][23] r[2][24] r[2][25] r[2][26] r[2][27] r[2][28] r[2][29] r[2][2] r[2][30] r[2][31] r[2][32] r[2][33] r[2][34] r[2][35] r[2][36] r[2][37] r[2][38] r[2][39] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][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][20] r[3][21] r[3][22] r[3][23] r[3][24] r[3][25] r[3][26] r[3][27] r[3][28] r[3][29] r[3][2] r[3][30] r[3][31] r[3][32] r[3][33] r[3][34] r[3][35] r[3][36] r[3][37] r[3][38] r[3][39] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][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][20] r[4][21] r[4][22] r[4][23] r[4][24] r[4][25] r[4][26] r[4][27] r[4][28] r[4][29] r[4][2] r[4][30] r[4][31] r[4][32] r[4][33] r[4][34] r[4][35] r[4][36] r[4][37] r[4][38] r[4][39] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][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][20] r[5][21] r[5][22] r[5][23] r[5][24] r[5][25] r[5][26] r[5][27] r[5][28] r[5][29] r[5][2] r[5][30] r[5][31] r[5][32] r[5][33] r[5][34] r[5][35] r[5][36] r[5][37] r[5][38] r[5][39] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][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][20] r[6][21] r[6][22] r[6][23] r[6][24] r[6][25] r[6][26] r[6][27] r[6][28] r[6][29] r[6][2] r[6][30] r[6][31] r[6][32] r[6][33] r[6][34] r[6][35] r[6][36] r[6][37] r[6][38] r[6][39] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][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][20] r[7][21] r[7][22] r[7][23] r[7][24] r[7][25] r[7][26] r[7][27] r[7][28] r[7][29] r[7][2] r[7][30] r[7][31] r[7][32] r[7][33] r[7][34] r[7][35] r[7][36] r[7][37] r[7][38] r[7][39] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][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][20] r[8][21] r[8][22] r[8][23] r[8][24] r[8][25] r[8][26] r[8][27] r[8][28] r[8][29] r[8][2] r[8][30] r[8][31] r[8][32] r[8][33] r[8][34] r[8][35] r[8][36] r[8][37] r[8][38] r[8][39] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][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][20] r[9][21] r[9][22] r[9][23] r[9][24] r[9][25] r[9][26] r[9][27] r[9][28] r[9][29] r[9][2] r[9][30] r[9][31] r[9][32] r[9][33] r[9][34] r[9][35] r[9][36] r[9][37] r[9][38] r[9][39] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] so[0] so[10] so[11] so[12] so[13] so[14] so[15] so[16] so[17] so[18] so[19] so[1] so[20] so[21] so[22] so[23] so[24] so[25] so[26] so[27] so[28] so[29] so[2] so[30] so[31] so[32] so[33] so[34] so[35] so[36] so[37] so[38] so[39] so[3] so[4] so[5] so[6] so[7] so[8] so[9] </list> 2400.01/2400.01 v <values>0 1 1 1 1 1 1 1 1 1 1 0 1 2 3 3 3 4 4 5 6 6 0 6 6 6 7 7 8 8 8 8 8 0 0 0 0 0 1 1 1 2 3 4 4 4 5 5 6 6 6 1 7 7 7 7 7 7 7 7 7 7 1 7 7 7 7 7 7 7 7 7 8 1 1 2 2 2 2 2 0 3 3 4 4 4 5 5 5 5 5 0 6 6 6 6 6 6 7 7 7 7 0 8 8 8 8 8 8 8 8 8 8 1 2 2 2 2 2 2 0 1 1 2 2 2 2 2 3 3 3 0 4 4 4 4 4 4 4 4 4 4 0 5 5 6 6 6 6 7 7 7 8 0 0 1 1 1 1 1 0 3 3 3 3 3 3 3 3 3 3 1 4 4 4 4 4 4 5 5 5 5 1 6 6 6 6 6 6 7 8 8 8 2 3 3 3 3 3 3 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 2 0 3 3 4 5 5 5 6 7 7 8 0 0 0 0 0 0 0 0 2 2 2 2 2 2 2 2 2 3 1 3 3 3 3 3 3 4 4 4 5 1 5 5 5 5 6 6 7 8 8 8 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 2 0 2 2 3 4 5 5 5 6 7 8 0 0 0 0 0 0 0 0 2 2 2 2 2 2 2 2 2 3 1 3 3 3 3 4 4 5 5 5 6 1 6 6 6 6 7 7 7 7 8 8 1 1 1 1 1 2 2 0 1 1 1 1 1 1 1 1 1 1 0 1 2 2 2 2 3 3 3 4 4 0 4 4 5 6 7 7 7 7 8 8 0 0 0 0 0 1 1 0 2 2 2 2 2 2 2 2 2 3 1 3 3 3 3 4 4 4 4 5 5 1 5 6 6 6 6 7 7 7 8 8 1 1 1 1 1 2 2 0 0 0 0 0 0 0 0 0 1 2 0 2 2 3 4 5 5 5 5 6 6 0 6 7 7 7 7 8 8 8 8 8 0 0 0 0 0 0 0 0 1 1 1 1 2 2 2 2 3 3 0 3 4 5 5 5 6 6 7 7 7 0 7 7 7 7 7 8 8 8 8 8 0 0 0 1 1 1 1 0 1 1 1 2 3 3 3 3 4 4 0 4 4 5 6 7 7 7 7 7 7 1 7 8 8 8 8 8 8 8 8 8 1 1 1 1 1 1 1 1 4 4 4 4 5 5 5 5 6 6 1 6 7 7 7 7 7 7 8 8 8 2 8 8 8 8 8 8 8 8 8 8 2 2 2 3 3 3 4 0 3 3 3 4 5 5 6 6 6 6 0 6 6 6 7 7 7 7 7 7 7 1 7 8 8 8 8 8 8 8 8 8 1 1 1 1 1 1 2 1 6 6 6 6 6 6 7 7 7 7 1 7 7 7 7 7 7 7 8 8 8 2 8 8 8 8 8 8 8 8 8 8 2 2 3 4 5 5 6 0 4 5 5 6 6 6 7 7 7 7 0 7 7 7 8 8 8 8 8 8 8 0 8 8 8 8 8 8 8 8 8 8 0 1 1 1 2 2 3 1 4 5 5 5 5 6 7 8 8 8 1 8 8 8 8 8 8 8 8 8 8 1 8 8 8 8 8 8 8 8 8 8 1 1 2 3 4 4 4 0 4 5 6 7 7 8 8 8 8 8 0 8 8 8 8 8 8 8 8 8 8 0 8 8 8 8 8 8 8 8 8 8 1 2 2 2 3 3 3 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 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 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 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 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 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 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 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 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 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 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 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 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 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 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 0 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 0 0 0 1 1 1 1 1 1 1 24 25 7 9 23 2 8 5 28 1 35 33 10 38 0 21 37 36 31 20 18 14 3 11 39 32 34 15 19 12 13 16 30 29 27 26 22 6 17 4 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 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 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 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 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 1 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 1 0 1 1 0 0 1 1 0 1 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 1 0 0 1 0 0 0 0 0 1 0 1 1 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 1 0 0 0 1 0 0 0 1 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 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 1 0 0 0 1 0 0 1 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 0 0 0 1 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 1 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 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 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 1 0 1 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 1 0 0 1 0 1 1 0 1 0 0 0 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 0 0 0 1 1 1 0 0 0 1 1 1 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 1 1 0 0 1 0 0 4 17 17 17 17 17 17 16 17 17 17 8 17 17 17 17 16 17 17 17 15 15 10 15 14 12 12 12 12 9 9 7 4 12 13 14 15 15 17 17 </values> 2400.01/2400.01 v </instantiation> 2400.01/2400.01
OK 17
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 (14649 MiB free) memory of node 1: 16384 MiB (15692 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408864-1569794526/watcher-4408864-1569794526 -o /tmp/evaluation-result-4408864-1569794526/solver-4408864-1569794526 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1569787353-6073 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408864-1569794526.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 Current StackSize limit: 8192 KiB solver pid=7842, runsolver pid=7839 [startup+0.100155 s]* /proc/loadavg: 2.00 2.00 1.98 3/200 7843 /proc/meminfo: memFree=31055692/32770624 swapFree=66999984/67108860 [pid=7842] ppid=7839 vsize=41920 memory=18168 CPUtime=0.1 cores=1,3,5,7 /proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 4761 0 0 0 10 0 0 0 20 0 1 0 555717339 42926080 4542 33554432000 4194304 6211132 140733758370224 140733758366760 140616231126944 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0 /proc/7842/statm: 10480 4542 836 493 0 3785 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 41920 KiB Current children cumulated memory: 18168 KiB [startup+0.209709 s]* /proc/loadavg: 2.00 2.00 1.98 3/200 7843 /proc/meminfo: memFree=31048996/32770624 swapFree=66999984/67108860 [pid=7842] ppid=7839 vsize=48732 memory=25032 CPUtime=0.21 cores=1,3,5,7 /proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 6449 0 0 0 21 0 0 0 20 0 1 0 555717339 49901568 6258 33554432000 4194304 6211132 140733758370224 140733758366760 140616231078885 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0 /proc/7842/statm: 12183 6258 836 493 0 5488 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 48732 KiB Current children cumulated memory: 25032 KiB [startup+0.309571 s]* /proc/loadavg: 2.00 2.00 1.98 3/200 7843 /proc/meminfo: memFree=31035472/32770624 swapFree=66999984/67108860 [pid=7842] ppid=7839 vsize=61436 memory=37960 CPUtime=0.31 cores=1,3,5,7 /proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 9711 0 0 0 30 1 0 0 20 0 1 0 555717339 62910464 9490 33554432000 4194304 6211132 140733758370224 140733758368488 5409471 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0 /proc/7842/statm: 15359 9490 868 493 0 8664 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 61436 KiB Current children cumulated memory: 37960 KiB [startup+0.700336 s] /proc/loadavg: 2.00 2.00 1.98 3/200 7843 /proc/meminfo: memFree=31017244/32770624 swapFree=66999984/67108860 [pid=7842] ppid=7839 vsize=80240 memory=56968 CPUtime=0.69 cores=1,3,5,7 /proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 14408 0 0 0 67 2 0 0 20 0 1 0 555717339 82165760 14242 33554432000 4194304 6211132 140733758370224 140733758368488 5409476 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0 /proc/7842/statm: 20060 14242 911 493 0 13365 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 80240 KiB Current children cumulated memory: 56968 KiB [startup+1.50029 s] /proc/loadavg: 2.00 2.00 1.98 3/200 7843 /proc/meminfo: memFree=31016872/32770624 swapFree=66999984/67108860 [pid=7842] ppid=7839 vsize=80372 memory=56968 CPUtime=1.49 cores=1,3,5,7 /proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 14455 0 0 0 147 2 0 0 20 0 1 0 555717339 82300928 14242 33554432000 4194304 6211132 140733758370224 140733758367624 5008971 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0 /proc/7842/statm: 20093 14242 911 493 0 13398 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 80372 KiB Current children cumulated memory: 56968 KiB [startup+3.10943 s] /proc/loadavg: 1.84 1.97 1.97 3/200 7843 /proc/meminfo: memFree=31016708/32770624 swapFree=66999984/67108860 [pid=7842] ppid=7839 vsize=85284 memory=61904 CPUtime=3.1 cores=1,3,5,7 /proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 24431 0 0 0 308 2 0 0 20 0 1 0 555717339 87330816 15476 33554432000 4194304 6211132 140733758370224 140733758367624 5035283 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0 /proc/7842/statm: 21321 15476 911 493 0 14626 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 85284 KiB Current children cumulated memory: 61904 KiB [startup+6.30028 s] /proc/loadavg: 1.84 1.97 1.97 3/200 7843 /proc/meminfo: memFree=31010684/32770624 swapFree=66999984/67108860 [pid=7842] ppid=7839 vsize=86636 memory=63296 CPUtime=6.29 cores=1,3,5,7 /proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 32676 0 0 0 626 3 0 0 20 0 1 0 555717339 88715264 15824 33554432000 4194304 6211132 140733758370224 140733758358104 5409476 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0 /proc/7842/statm: 21659 15824 911 493 0 14964 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 86636 KiB Current children cumulated memory: 63296 KiB [startup+12.7003 s] /proc/loadavg: 1.86 1.97 1.97 3/200 7843 /proc/meminfo: memFree=31010548/32770624 swapFree=66999984/67108860 [pid=7842] ppid=7839 vsize=86636 memory=63296 CPUtime=12.69 cores=1,3,5,7 /proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 43994 0 0 0 1266 3 0 0 20 0 1 0 555717339 88715264 15824 33554432000 4194304 6211132 140733758370224 140733758358104 5396788 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0 /proc/7842/statm: 21659 15824 911 493 0 14964 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 86636 KiB Current children cumulated memory: 63296 KiB [startup+25.5003 s] /proc/loadavg: 1.89 1.97 1.97 3/201 7846 /proc/meminfo: memFree=31009136/32770624 swapFree=66999984/67108860 [pid=7842] ppid=7839 vsize=87176 memory=63748 CPUtime=25.49 cores=1,3,5,7 /proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 57195 0 0 0 2545 4 0 0 20 0 1 0 555717339 89268224 15937 33554432000 4194304 6211132 140733758370224 140733758368360 5035232 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0 /proc/7842/statm: 21794 15937 911 493 0 15099 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 87176 KiB Current children cumulated memory: 63748 KiB [startup+51.1091 s] /proc/loadavg: 1.93 1.97 1.97 3/200 7846 /proc/meminfo: memFree=31009284/32770624 swapFree=66999984/67108860 [pid=7842] ppid=7839 vsize=87176 memory=63748 CPUtime=51.09 cores=1,3,5,7 /proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 63978 0 0 0 5105 4 0 0 20 0 1 0 555717339 89268224 15937 33554432000 4194304 6211132 140733758370224 140733758368360 5035283 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0 /proc/7842/statm: 21794 15937 911 493 0 15099 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 87176 KiB Current children cumulated memory: 63748 KiB [startup+102.3 s] /proc/loadavg: 1.97 1.98 1.97 3/200 7850 /proc/meminfo: memFree=31008756/32770624 swapFree=66999984/67108860 [pid=7842] ppid=7839 vsize=87176 memory=63748 CPUtime=102.29 cores=1,3,5,7 /proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 70696 0 0 0 10224 5 0 0 20 0 1 0 555717339 89268224 15937 33554432000 4194304 6211132 140733758370224 140733758368360 5397407 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0 /proc/7842/statm: 21794 15937 911 493 0 15099 0 Current children cumulated CPU time: 102.29 s Current children cumulated vsize: 87176 KiB Current children cumulated memory: 63748 KiB [startup+162.3 s] /proc/loadavg: 1.99 1.98 1.97 3/200 7856 /proc/meminfo: memFree=31008836/32770624 swapFree=66999984/67108860 [pid=7842] ppid=7839 vsize=87176 memory=63860 CPUtime=162.27 cores=1,3,5,7 /proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 77342 0 0 0 16222 5 0 0 20 0 1 0 555717339 89268224 15965 33554432000 4194304 6211132 140733758370224 140733758368360 5409485 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0 /proc/7842/statm: 21794 15965 911 493 0 15099 0 Current children cumulated CPU time: 162.27 s Current children cumulated vsize: 87176 KiB Current children cumulated memory: 63860 KiB [startup+222.3 s] /proc/loadavg: 2.00 1.99 1.97 3/200 7860 /proc/meminfo: memFree=31009188/32770624 swapFree=66999984/67108860 [pid=7842] ppid=7839 vsize=87176 memory=63860 CPUtime=222.27 cores=1,3,5,7 /proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 77676 0 0 0 22222 5 0 0 20 0 1 0 555717339 89268224 15965 33554432000 4194304 6211132 140733758370224 140733758368360 5408896 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0 /proc/7842/statm: 21794 15965 911 493 0 15099 0 Current children cumulated CPU time: 222.27 s Current children cumulated vsize: 87176 KiB Current children cumulated memory: 63860 KiB [startup+282.3 s] /proc/loadavg: 2.00 1.99 1.97 3/199 7864 /proc/meminfo: memFree=31008408/32770624 swapFree=66999984/67108860 [pid=7842] ppid=7839 vsize=87176 memory=63860 CPUtime=282.27 cores=1,3,5,7 /proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 77976 0 0 0 28222 5 0 0 20 0 1 0 555717339 89268224 15965 33554432000 4194304 6211132 140733758370224 140733758368360 5409476 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0 /proc/7842/statm: 21794 15965 911 493 0 15099 0 Current children cumulated CPU time: 282.27 s Current children cumulated vsize: 87176 KiB Current children cumulated memory: 63860 KiB [startup+342.3 s] /proc/loadavg: 2.00 1.99 1.97 3/199 7870 /proc/meminfo: memFree=31008472/32770624 swapFree=66999984/67108860 [pid=7842] ppid=7839 vsize=87176 memory=63860 CPUtime=342.27 cores=1,3,5,7 /proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 78264 0 0 0 34222 5 0 0 20 0 1 0 555717339 89268224 15965 33554432000 4194304 6211132 140733758370224 140733758368360 5149003 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0 /proc/7842/statm: 21794 15965 911 493 0 15099 0 Current children cumulated CPU time: 342.27 s Current children cumulated vsize: 87176 KiB Current children cumulated memory: 63860 KiB [startup+402.3 s] /proc/loadavg: 2.00 1.99 1.97 3/199 7875 /proc/meminfo: memFree=31009204/32770624 swapFree=66999984/67108860 [pid=7842] ppid=7839 vsize=87176 memory=63860 CPUtime=402.27 cores=1,3,5,7 /proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 78553 0 0 0 40222 5 0 0 20 0 1 0 555717339 89268224 15965 33554432000 4194304 6211132 140733758370224 140733758368360 5078762 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0 /proc/7842/statm: 21794 15965 911 493 0 15099 0 Current children cumulated CPU time: 402.27 s Current children cumulated vsize: 87176 KiB Current children cumulated memory: 63860 KiB [startup+462.3 s] /proc/loadavg: 2.00 1.99 1.97 3/199 7879 /proc/meminfo: memFree=31008776/32770624 swapFree=66999984/67108860 [pid=7842] ppid=7839 vsize=87176 memory=63860 CPUtime=462.27 cores=1,3,5,7 /proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 78841 0 0 0 46222 5 0 0 20 0 1 0 555717339 89268224 15965 33554432000 4194304 6211132 140733758370224 140733758368360 5035286 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0 /proc/7842/statm: 21794 15965 911 493 0 15099 0 Current children cumulated CPU time: 462.27 s Current children cumulated vsize: 87176 KiB Current children cumulated memory: 63860 KiB ################ # More data... # ################ /proc/7842/statm: 21794 15965 911 493 0 15099 0 Current children cumulated CPU time: 1602.29 s Current children cumulated vsize: 87176 KiB Current children cumulated memory: 63860 KiB [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.00 3/199 8115 /proc/meminfo: memFree=31392288/32770624 swapFree=66999984/67108860 [pid=7842] ppid=7839 vsize=87176 memory=63860 CPUtime=1662.29 cores=1,3,5,7 /proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 84324 0 0 0 166224 5 0 0 20 0 1 0 555717339 89268224 15965 33554432000 4194304 6211132 140733758370224 140733758368360 5380302 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0 /proc/7842/statm: 21794 15965 911 493 0 15099 0 Current children cumulated CPU time: 1662.29 s Current children cumulated vsize: 87176 KiB Current children cumulated memory: 63860 KiB [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.00 3/199 8126 /proc/meminfo: memFree=31392148/32770624 swapFree=66999984/67108860 [pid=7842] ppid=7839 vsize=87176 memory=63860 CPUtime=1722.29 cores=1,3,5,7 /proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 84542 0 0 0 172224 5 0 0 20 0 1 0 555717339 89268224 15965 33554432000 4194304 6211132 140733758370224 140733758368360 5035232 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0 /proc/7842/statm: 21794 15965 911 493 0 15099 0 Current children cumulated CPU time: 1722.29 s Current children cumulated vsize: 87176 KiB Current children cumulated memory: 63860 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.00 3/199 8132 /proc/meminfo: memFree=31392284/32770624 swapFree=66999984/67108860 [pid=7842] ppid=7839 vsize=87176 memory=63860 CPUtime=1782.3 cores=1,3,5,7 /proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 84756 0 0 0 178225 5 0 0 20 0 1 0 555717339 89268224 15965 33554432000 4194304 6211132 140733758370224 140733758368360 5409493 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0 /proc/7842/statm: 21794 15965 911 493 0 15099 0 Current children cumulated CPU time: 1782.3 s Current children cumulated vsize: 87176 KiB Current children cumulated memory: 63860 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.00 3/199 8136 /proc/meminfo: memFree=31392308/32770624 swapFree=66999984/67108860 [pid=7842] ppid=7839 vsize=87176 memory=63860 CPUtime=1842.3 cores=1,3,5,7 /proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 84975 0 0 0 184225 5 0 0 20 0 1 0 555717339 89268224 15965 33554432000 4194304 6211132 140733758370224 140733758368360 5250319 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0 /proc/7842/statm: 21794 15965 911 493 0 15099 0 Current children cumulated CPU time: 1842.3 s Current children cumulated vsize: 87176 KiB Current children cumulated memory: 63860 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.00 3/199 8140 /proc/meminfo: memFree=31392112/32770624 swapFree=66999984/67108860 [pid=7842] ppid=7839 vsize=87176 memory=63860 CPUtime=1902.3 cores=1,3,5,7 /proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 85189 0 0 0 190225 5 0 0 20 0 1 0 555717339 89268224 15965 33554432000 4194304 6211132 140733758370224 140733758368360 5397295 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0 /proc/7842/statm: 21794 15965 911 493 0 15099 0 Current children cumulated CPU time: 1902.3 s Current children cumulated vsize: 87176 KiB Current children cumulated memory: 63860 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.00 3/199 8146 /proc/meminfo: memFree=31391724/32770624 swapFree=66999984/67108860 [pid=7842] ppid=7839 vsize=87176 memory=63860 CPUtime=1962.3 cores=1,3,5,7 /proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 85403 0 0 0 196225 5 0 0 20 0 1 0 555717339 89268224 15965 33554432000 4194304 6211132 140733758370224 140733758368360 5035283 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0 /proc/7842/statm: 21794 15965 911 493 0 15099 0 Current children cumulated CPU time: 1962.3 s Current children cumulated vsize: 87176 KiB Current children cumulated memory: 63860 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.00 3/199 8150 /proc/meminfo: memFree=31392916/32770624 swapFree=66999984/67108860 [pid=7842] ppid=7839 vsize=87176 memory=63860 CPUtime=2022.3 cores=1,3,5,7 /proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 85696 0 0 0 202225 5 0 0 20 0 1 0 555717339 89268224 15965 33554432000 4194304 6211132 140733758370224 140733758368360 5186344 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0 /proc/7842/statm: 21794 15965 911 493 0 15099 0 Current children cumulated CPU time: 2022.3 s Current children cumulated vsize: 87176 KiB Current children cumulated memory: 63860 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.00 3/199 8154 /proc/meminfo: memFree=31391852/32770624 swapFree=66999984/67108860 [pid=7842] ppid=7839 vsize=87176 memory=63860 CPUtime=2082.3 cores=1,3,5,7 /proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 85946 0 0 0 208225 5 0 0 20 0 1 0 555717339 89268224 15965 33554432000 4194304 6211132 140733758370224 140733758368360 5390208 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0 /proc/7842/statm: 21794 15965 911 493 0 15099 0 Current children cumulated CPU time: 2082.3 s Current children cumulated vsize: 87176 KiB Current children cumulated memory: 63860 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.00 3/199 8160 /proc/meminfo: memFree=31391988/32770624 swapFree=66999984/67108860 [pid=7842] ppid=7839 vsize=87176 memory=63860 CPUtime=2142.3 cores=1,3,5,7 /proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 86233 0 0 0 214225 5 0 0 20 0 1 0 555717339 89268224 15965 33554432000 4194304 6211132 140733758370224 140733758368360 5035232 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0 /proc/7842/statm: 21794 15965 911 493 0 15099 0 Current children cumulated CPU time: 2142.3 s Current children cumulated vsize: 87176 KiB Current children cumulated memory: 63860 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.01 2.00 3/199 8164 /proc/meminfo: memFree=31392680/32770624 swapFree=66999984/67108860 [pid=7842] ppid=7839 vsize=87176 memory=63860 CPUtime=2202.3 cores=1,3,5,7 /proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 86449 0 0 0 220225 5 0 0 20 0 1 0 555717339 89268224 15965 33554432000 4194304 6211132 140733758370224 140733758368360 5409485 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0 /proc/7842/statm: 21794 15965 911 493 0 15099 0 Current children cumulated CPU time: 2202.3 s Current children cumulated vsize: 87176 KiB Current children cumulated memory: 63860 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.00 3/199 8168 /proc/meminfo: memFree=31391604/32770624 swapFree=66999984/67108860 [pid=7842] ppid=7839 vsize=87176 memory=63860 CPUtime=2262.3 cores=1,3,5,7 /proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 86665 0 0 0 226225 5 0 0 20 0 1 0 555717339 89268224 15965 33554432000 4194304 6211132 140733758370224 140733758368360 5409485 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0 /proc/7842/statm: 21794 15965 911 493 0 15099 0 Current children cumulated CPU time: 2262.3 s Current children cumulated vsize: 87176 KiB Current children cumulated memory: 63860 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.00 3/199 8181 /proc/meminfo: memFree=31391508/32770624 swapFree=66999984/67108860 [pid=7842] ppid=7839 vsize=87176 memory=63860 CPUtime=2322.3 cores=1,3,5,7 /proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 86896 0 0 0 232225 5 0 0 20 0 1 0 555717339 89268224 15965 33554432000 4194304 6211132 140733758370224 140733758368360 5409508 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0 /proc/7842/statm: 21794 15965 911 493 0 15099 0 Current children cumulated CPU time: 2322.3 s Current children cumulated vsize: 87176 KiB Current children cumulated memory: 63860 KiB [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.00 3/199 8185 /proc/meminfo: memFree=31392520/32770624 swapFree=66999984/67108860 [pid=7842] ppid=7839 vsize=87176 memory=63860 CPUtime=2382.3 cores=1,3,5,7 /proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 87112 0 0 0 238225 5 0 0 20 0 1 0 555717339 89268224 15965 33554432000 4194304 6211132 140733758370224 140733758368360 5396768 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0 /proc/7842/statm: 21794 15965 911 493 0 15099 0 Current children cumulated CPU time: 2382.3 s Current children cumulated vsize: 87176 KiB Current children cumulated memory: 63860 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400 s]* /proc/loadavg: 2.00 2.01 2.00 3/199 8186 /proc/meminfo: memFree=31392500/32770624 swapFree=66999984/67108860 [pid=7842] ppid=7839 vsize=87176 memory=63860 CPUtime=2400.01 cores=1,3,5,7 /proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 87328 0 0 0 239996 5 0 0 20 0 1 0 555717339 89268224 15965 33554432000 4194304 6211132 140733758370224 140733758368360 5035232 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0 /proc/7842/statm: 21794 15965 911 493 0 15099 0 Current children cumulated CPU time: 2400.01 s Current children cumulated vsize: 87176 KiB Current children cumulated memory: 63860 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2400.01 s] # the end of solver process 7842 was just reported to runsolver # cumulated CPU time of all completed processes: user=2399.97 s, system=0.056 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2400.01 CPU time (s): 2400.03 CPU user time (s): 2399.97 CPU system time (s): 0.056 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 87176 Max. memory (cumulated for all children) (KiB): 63860 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.97 system time used= 0.056 maximum resident set size= 63924 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 87386 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= 41 involuntary context switches= 609 # summary of solver processes directly reported to runsolver: # pid: 7842 # total CPU time (s): 2400.03 # total CPU user time (s): 2399.97 # total CPU system time (s): 0.056 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.80231 second user time and 15.0589 second system time The end
Begin job on node123 at 2019-09-30 00:01:26 IDJOB=4408864 IDBENCH=126802 IDSOLVER=2875 FILE ID=node123/4408864-1569794526 RUNJOBID= node123-1569787353-6073 PBS_JOBID= 21705830 Free space on /tmp= 62028 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1-s1/OpenStacks-m1-Miller-19.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408864-1569794526/watcher-4408864-1569794526 -o /tmp/evaluation-result-4408864-1569794526/solver-4408864-1569794526 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1569787353-6073 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408864-1569794526.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f95358b1c1572ff37ec09cd547c08821 RANDOM SEED=1665895201 node123.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.49 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.49 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.49 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.49 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: 31070708 kB MemAvailable: 31357116 kB Buffers: 185032 kB Cached: 423204 kB SwapCached: 6544 kB Active: 803984 kB Inactive: 311456 kB Active(anon): 516680 kB Inactive(anon): 71784 kB Active(file): 287304 kB Inactive(file): 239672 kB Unevictable: 107612 kB Mlocked: 107612 kB SwapTotal: 67108860 kB SwapFree: 66999984 kB Dirty: 2832 kB Writeback: 4 kB AnonPages: 613172 kB Mapped: 28284 kB Shmem: 72640 kB Slab: 180880 kB SReclaimable: 150536 kB SUnreclaim: 30344 kB KernelStack: 3552 kB PageTables: 6452 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1065140 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 555008 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 62024 MiB End job on node123 at 2019-09-30 00:41:26