Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2.0 parallel | SAT | 22.5795 | 3.23883 |
Name | Crossword/Crossword-m1c-words-herald/ Crossword-m1c-words-h2303.xml |
MD5SUM | 4f78cb4d5ebc47069554ab66515ce573 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 4.32369 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 529 |
Number of constraints | 174 |
Number of domains | 1 |
Minimum domain size | 26 |
Maximum domain size | 26 |
Distribution of domain sizes | [{"size":26,"count":440}] |
Minimum variable degree | 0 |
Maximum variable degree | 2 |
Distribution of variable degrees | [{"degree":0,"count":89},{"degree":2,"count":440}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 13 |
Distribution of constraint arities | [{"arity":3,"count":26},{"arity":4,"count":58},{"arity":5,"count":42},{"arity":6,"count":24},{"arity":7,"count":10},{"arity":8,"count":2},{"arity":9,"count":2},{"arity":10,"count":4},{"arity":11,"count":2},{"arity":12,"count":2},{"arity":13,"count":2}] |
Number of extensional constraints | 174 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":174}] |
Optimization problem | NO |
Type of objective |
0.40/0.49 c root propagations : 606 0.40/0.49 c root propagations : 606 0.40/0.49 c restarts enabled, print stats at every restarts 0.40/0.49 c 0.40/0.49 c 0.40/0.49 c restarts enabled, print stats at every restarts 0.40/0.49 c 0.40/0.49 c 0.40/0.49 c 0.40/0.49 c This is cosoco 2.00 -- 0.40/0.49 c 0.40/0.49 c command line: cosoco -model -nbcores=8 HOME/instance-4409344-1569839155.xml 0.40/0.49 c ========================================[ Problem Statistics ]=========================================== 0.40/0.49 c | 0.40/0.49 c | Parse time : 0.43 s 0.40/0.49 c | 0.40/0.49 c | Variables: 529 0.40/0.49 c | Domain Sizes: 26..26 0.40/0.49 c | 0.40/0.49 c | Constraints: 174 0.40/0.49 c | Arity: 3..13 -- Ternary: 26 0.40/0.49 c | 0.40/0.49 c | Types: 0.40/0.49 c | Extension: 174 (nb tuples: 535..7360) -- (shared: 1304) 0.40/0.49 c | 0.40/0.49 c ========================================================================================================= 0.40/0.49 c Parallel mode: Portfolio 0.40/0.49 c [pFactory][Group N°0] created (threads:8). 0.40/0.49 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 0.40/0.49 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 0.40/0.49 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 0.40/0.49 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 0.40/0.49 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 0.40/0.49 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 0.40/0.49 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 0.40/0.49 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 0.40/0.49 c [pFactory][Group N°0] concurrent mode: enabled. 0.40/0.49 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 0.40/0.49 c [pFactory][Group N°0] task 7 launched on thread 0. 0.40/0.49 c [pFactory][Group N°0] task 6 launched on thread 2. 0.40/0.49 c [pFactory][Group N°0] task 5 launched on thread 1. 0.40/0.49 c [pFactory][Group N°0] task 4 launched on thread 7. 0.40/0.49 c [pFactory][Group N°0] task 3 launched on thread 6. 0.40/0.49 c [pFactory][Group N°0] task 2 launched on thread 3. 0.40/0.49 c [pFactory][Group N°0] task 1 launched on thread 5. 0.40/0.49 c [pFactory][Group N°0] task 0 launched on thread 4. 0.40/0.49 c c conflictsconflicts decisions decisions filterCalls filterCalls propagations Root Prop. propagations Nogoods Root Prop. Nogoods min/max/avg depth min/max/avg depth 0.40/0.49 0.40/0.49 c root propagations : 606 0.40/0.49 c restarts enabled, print stats at every restarts 0.40/0.49 c remove useless variable x[0][6] 0.40/0.49 c remove useless variable x[0][12] 0.40/0.49 c 0.40/0.49 c 0.40/0.49 c remove useless variable x[0][17] 0.40/0.49 c remove useless variable x[1][6] 0.40/0.49 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.40/0.49 c remove useless variable x[1][12] 0.40/0.49 c remove useless variable x[0][6] 0.40/0.49 c remove useless variable x[0][12] 0.40/0.49 c remove useless variable x[0][17] 0.40/0.49 c remove useless variable x[1][17] 0.40/0.49 c remove useless variable x[0][6] 0.40/0.49 c remove useless variable x[0][12] 0.40/0.49 c remove useless variable x[2][12] 0.40/0.49 c remove useless variable x[1][6] 0.40/0.49 c remove useless variable x[3][7] 0.40/0.49 c remove useless variable x[1][12] 0.40/0.49 c remove useless variable x[3][13] 0.40/0.49 c remove useless variable x[1][17] 0.40/0.49 c remove useless variable x[3][18] 0.40/0.49 c remove useless variable x[2][12] 0.40/0.49 c remove useless variable x[4][3] 0.40/0.49 c remove useless variable x[4][4] 0.40/0.49 c remove useless variable x[3][7] 0.40/0.49 c remove useless variable x[3][13] 0.40/0.49 c remove useless variable x[4][8] 0.40/0.49 c remove useless variable x[3][18] 0.40/0.49 c remove useless variable x[4][9] 0.40/0.49 c remove useless variable x[4][3] 0.40/0.49 c remove useless variable x[4][4] 0.40/0.49 c remove useless variable x[4][10] 0.40/0.49 c remove useless variable x[4][8] 0.40/0.49 c remove useless variable x[4][9] 0.40/0.49 c remove useless variable x[4][10] 0.40/0.49 c remove useless variable x[4][18] 0.40/0.49 c remove useless variable x[0][17] 0.40/0.49 c remove useless variable x[1][6] 0.40/0.49 c remove useless variable x[1][12] 0.40/0.49 c remove useless variable x[1][17] 0.40/0.49 c remove useless variable x[5][0] 0.40/0.49 c remove useless variable x[4][18] 0.40/0.49 c remove useless variable x[5][1] 0.40/0.49 c remove useless variable x[5][0] 0.40/0.49 c remove useless variable x[5][1] 0.40/0.49 c remove useless variable x[5][2] 0.40/0.49 c remove useless variable x[2][12] 0.40/0.49 c remove useless variable x[5][10] 0.40/0.49 c remove useless variable x[5][2] 0.40/0.49 c remove useless variable x[5][16] 0.40/0.49 c remove useless variable x[5][10] 0.40/0.49 c remove useless variable x[5][16] 0.40/0.49 c remove useless variable x[5][17] 0.40/0.49 c remove useless variable x[5][17] 0.40/0.49 c remove useless variable x[3][7] 0.40/0.49 c remove useless variable x[3][13] 0.40/0.49 c remove useless variable x[6][6] 0.40/0.49 c remove useless variable x[6][6] 0.40/0.49 c remove useless variable x[6][11] 0.40/0.49 c remove useless variable x[3][18] 0.40/0.49 c remove useless variable x[6][15] 0.40/0.49 c remove useless variable x[4][3] 0.40/0.49 c remove useless variable x[6][20] 0.40/0.49 c remove useless variable x[4][4] 0.40/0.49 c remove useless variable x[4][8] 0.40/0.49 c remove useless variable x[6][21] 0.40/0.49 c remove useless variable x[6][11] 0.40/0.49 c remove useless variable x[6][22] 0.40/0.49 c remove useless variable x[6][15] 0.40/0.49 c root propagations : 606 0.40/0.49 c restarts enabled, print stats at every restarts 0.40/0.49 c 0.40/0.49 c 0.40/0.49 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.40/0.49 c remove useless variable x[6][20] 0.40/0.49 c remove useless variable x[0][6] 0.40/0.49 c remove useless variable x[0][12] 0.40/0.49 c remove useless variable x[0][17] 0.40/0.49 c remove useless variable x[6][21] 0.40/0.49 c remove useless variable x[6][22] 0.40/0.49 c remove useless variable x[7][6] 0.40/0.49 c remove useless variable x[1][6] 0.40/0.49 c remove useless variable x[7][12] 0.40/0.49 c remove useless variable x[1][12] 0.40/0.49 c remove useless variable x[7][6] 0.40/0.49 c remove useless variable x[1][17] 0.40/0.49 c remove useless variable x[4][9] 0.40/0.49 c remove useless variable x[2][12] 0.40/0.49 c remove useless variable x[3][7] 0.40/0.49 c remove useless variable x[3][13] 0.40/0.49 c remove useless variable x[7][12] 0.40/0.49 c remove useless variable x[3][18] 0.40/0.49 c remove useless variable x[7][19] 0.40/0.49 c remove useless variable x[4][3] 0.40/0.49 c remove useless variable x[8][4] 0.40/0.49 c remove useless variable x[7][19] 0.40/0.49 c remove useless variable x[4][10] 0.40/0.49 c remove useless variable x[4][4] 0.40/0.49 c remove useless variable x[4][8] 0.40/0.49 c remove useless variable x[8][4] 0.40/0.49 c remove useless variable x[8][13] 0.40/0.49 c remove useless variable x[8][18] 0.40/0.49 c remove useless variable x[4][9] 0.40/0.49 c remove useless variable x[9][7] 0.40/0.49 c remove useless variable x[4][18] 0.40/0.49 c remove useless variable x[8][13] 0.40/0.49 c remove useless variable x[9][8] 0.40/0.49 c remove useless variable x[8][18] 0.40/0.49 c remove useless variable x[9][7] 0.40/0.49 c remove useless variable x[9][8] 0.40/0.49 c remove useless variable x[9][18] 0.40/0.49 c remove useless variable x[10][3] 0.40/0.49 c remove useless variable x[9][18] 0.40/0.49 c remove useless variable x[4][10] 0.40/0.49 c remove useless variable x[10][3] 0.40/0.49 c remove useless variable x[4][18] 0.40/0.49 c remove useless variable x[10][9] 0.40/0.49 c remove useless variable x[5][0] 0.40/0.49 c remove useless variable x[10][9] 0.40/0.49 c remove useless variable x[5][1] 0.40/0.49 c remove useless variable x[10][10] 0.40/0.49 c remove useless variable x[5][2] 0.40/0.49 c remove useless variable x[10][16] 0.40/0.49 c remove useless variable x[5][10] 0.40/0.49 c remove useless variable x[5][16] 0.40/0.49 c remove useless variable x[11][0] 0.40/0.49 c remove useless variable x[11][1] 0.40/0.49 c remove useless variable x[11][5] 0.40/0.49 c remove useless variable x[11][11] 0.40/0.49 c remove useless variable x[11][17] 0.40/0.49 c remove useless variable x[10][10] 0.40/0.49 c remove useless variable x[5][0] 0.40/0.49 c remove useless variable x[10][16] 0.40/0.49 c remove useless variable x[11][0] 0.40/0.49 c remove useless variable x[11][1] 0.40/0.49 c remove useless variable x[5][1] 0.40/0.49 c remove useless variable x[5][2] 0.40/0.49 c remove useless variable x[11][5] 0.40/0.49 c remove useless variable x[5][10] 0.40/0.49 c remove useless variable x[11][11] 0.40/0.49 c remove useless variable x[5][16] 0.40/0.49 c remove useless variable x[11][17] 0.40/0.49 c remove useless variable x[11][21] 0.40/0.49 c remove useless variable x[11][22] 0.40/0.49 c remove useless variable x[5][17] 0.40/0.49 c remove useless variable x[5][17] 0.40/0.49 c remove useless variable x[12][6] 0.40/0.49 c remove useless variable x[11][21] 0.40/0.49 c remove useless variable x[6][6] 0.40/0.49 c remove useless variable x[11][22] 0.40/0.49 c remove useless variable x[12][6] 0.40/0.49 c remove useless variable x[12][12] 0.40/0.49 c remove useless variable x[6][11] 0.40/0.49 c remove useless variable x[6][6] 0.40/0.49 c remove useless variable x[6][15] 0.40/0.49 c remove useless variable x[6][11] 0.40/0.49 c remove useless variable x[6][15] 0.40/0.49 c remove useless variable x[6][20] 0.40/0.49 c remove useless variable x[6][20] 0.40/0.49 c remove useless variable x[6][21] 0.40/0.49 c remove useless variable x[6][21] 0.40/0.49 c remove useless variable x[12][13] 0.40/0.49 c remove useless variable x[6][22] 0.40/0.49 c remove useless variable x[12][19] 0.40/0.49 c remove useless variable x[13][4] 0.40/0.49 c remove useless variable x[7][6] 0.40/0.49 c remove useless variable x[13][14] 0.40/0.49 c remove useless variable x[13][15] 0.40/0.49 c remove useless variable x[7][12] 0.40/0.49 c remove useless variable x[12][12] 0.40/0.49 c remove useless variable x[12][13] 0.40/0.49 c remove useless variable x[12][19] 0.40/0.49 c remove useless variable x[13][4] 0.40/0.49 c remove useless variable x[13][14] 0.40/0.49 c remove useless variable x[13][15] 0.40/0.49 c remove useless variable x[14][4] 0.40/0.49 c remove useless variable x[14][9] 0.40/0.49 c remove useless variable x[14][18] 0.40/0.49 c remove useless variable x[15][3] 0.40/0.49 c remove useless variable x[15][10] 0.40/0.49 c remove useless variable x[14][4] 0.40/0.49 c remove useless variable x[7][19] 0.40/0.49 c remove useless variable x[8][4] 0.40/0.49 c remove useless variable x[8][13] 0.40/0.49 c remove useless variable x[8][18] 0.40/0.49 c remove useless variable x[9][7] 0.40/0.49 c remove useless variable x[9][8] 0.40/0.49 c remove useless variable x[9][18] 0.40/0.49 c remove useless variable x[10][3] 0.40/0.49 c remove useless variable x[10][9] 0.40/0.49 c remove useless variable x[10][10] 0.40/0.49 c remove useless variable x[10][16] 0.40/0.49 c remove useless variable x[11][0] 0.40/0.49 c remove useless variable x[11][1] 0.40/0.49 c remove useless variable x[11][5] 0.40/0.49 c remove useless variable x[11][11] 0.40/0.49 c remove useless variable x[11][17] 0.40/0.49 c remove useless variable x[6][22] 0.40/0.49 c remove useless variable x[7][6] 0.40/0.49 c remove useless variable x[7][12] 0.40/0.49 c remove useless variable x[7][19] 0.40/0.49 c remove useless variable x[8][4] 0.40/0.49 c remove useless variable x[8][13] 0.40/0.49 c remove useless variable x[8][18] 0.40/0.49 c remove useless variable x[9][7] 0.40/0.49 c remove useless variable x[9][8] 0.40/0.49 c remove useless variable x[9][18] 0.40/0.49 c remove useless variable x[10][3] 0.40/0.49 c remove useless variable x[10][9] 0.40/0.49 c remove useless variable x[10][10] 0.40/0.49 c remove useless variable x[10][16] 0.40/0.49 c remove useless variable x[11][0] 0.40/0.49 c remove useless variable x[11][1] 0.40/0.49 c remove useless variable x[11][5] 0.40/0.49 c remove useless variable x[11][11] 0.40/0.49 c remove useless variable x[11][17] 0.40/0.49 c remove useless variable x[11][21] 0.40/0.49 c remove useless variable x[11][22] 0.40/0.49 c remove useless variable x[12][6] 0.40/0.49 c remove useless variable x[12][12] 0.40/0.49 c remove useless variable x[12][13] 0.40/0.49 c remove useless variable x[12][19] 0.40/0.49 c remove useless variable x[13][4] 0.40/0.49 c remove useless variable x[13][14] 0.40/0.49 c remove useless variable x[13][15] 0.40/0.49 c remove useless variable x[14][4] 0.40/0.49 c remove useless variable x[14][9] 0.40/0.49 c remove useless variable x[14][18] 0.40/0.49 c remove useless variable x[15][3] 0.40/0.49 c remove useless variable x[15][10] 0.40/0.49 c remove useless variable x[15][16] 0.40/0.49 c remove useless variable x[16][0] 0.40/0.49 c remove useless variable x[16][1] 0.40/0.49 c remove useless variable x[16][2] 0.40/0.49 c remove useless variable x[16][7] 0.40/0.49 c remove useless variable x[16][11] 0.40/0.49 c remove useless variable x[16][16] 0.40/0.49 c remove useless variable x[14][9] 0.40/0.49 c remove useless variable x[15][16] 0.40/0.49 c remove useless variable x[14][18] 0.40/0.49 c remove useless variable x[16][0] 0.40/0.49 c remove useless variable x[15][3] 0.40/0.49 c remove useless variable x[16][1] 0.40/0.49 c remove useless variable x[16][2] 0.40/0.49 c remove useless variable x[15][10] 0.40/0.49 c remove useless variable x[11][21] 0.40/0.49 c remove useless variable x[11][22] 0.40/0.49 c remove useless variable x[12][6] 0.40/0.49 c remove useless variable x[15][16] 0.40/0.49 c remove useless variable x[16][7] 0.40/0.49 c remove useless variable x[16][11] 0.40/0.49 c remove useless variable x[17][5] 0.40/0.49 c remove useless variable x[16][16] 0.40/0.49 c remove useless variable x[17][6] 0.40/0.49 c remove useless variable x[12][12] 0.40/0.49 c remove useless variable x[16][0] 0.40/0.49 c remove useless variable x[17][5] 0.40/0.49 c remove useless variable x[16][1] 0.40/0.49 c remove useless variable x[17][12] 0.40/0.49 c remove useless variable x[16][2] 0.40/0.49 c remove useless variable x[17][20] 0.40/0.49 c remove useless variable x[17][21] 0.40/0.49 c remove useless variable x[16][7] 0.40/0.49 c remove useless variable x[12][13] 0.40/0.49 c remove useless variable x[17][6] 0.40/0.49 c remove useless variable x[12][19] 0.40/0.49 c remove useless variable x[17][22] 0.40/0.49 c remove useless variable x[13][4] 0.40/0.49 c remove useless variable x[17][12] 0.40/0.49 c remove useless variable x[13][14] 0.40/0.49 c remove useless variable x[18][4] 0.40/0.49 c remove useless variable x[13][15] 0.40/0.49 c remove useless variable x[14][4] 0.40/0.49 c remove useless variable x[17][20] 0.40/0.49 c remove useless variable x[16][11] 0.40/0.49 c remove useless variable x[17][21] 0.40/0.49 c remove useless variable x[16][16] 0.40/0.49 c remove useless variable x[17][22] 0.40/0.49 c remove useless variable x[18][4] 0.40/0.49 c remove useless variable x[17][5] 0.40/0.49 c remove useless variable x[14][9] 0.40/0.49 c remove useless variable x[17][6] 0.40/0.49 c remove useless variable x[14][18] 0.40/0.49 c remove useless variable x[17][12] 0.40/0.49 c remove useless variable x[17][20] 0.40/0.49 c remove useless variable x[15][3] 0.40/0.49 c remove useless variable x[18][12] 0.40/0.49 c remove useless variable x[18][12] 0.40/0.49 c remove useless variable x[18][13] 0.40/0.49 c remove useless variable x[18][13] 0.40/0.49 c remove useless variable x[18][14] 0.40/0.49 c remove useless variable x[18][14] 0.40/0.49 c remove useless variable x[18][18] 0.40/0.49 c remove useless variable x[18][19] 0.40/0.49 c remove useless variable x[15][10] 0.40/0.49 c remove useless variable x[18][18] 0.40/0.49 c remove useless variable x[17][21] 0.40/0.49 c remove useless variable x[18][19] 0.40/0.49 c remove useless variable x[17][22] 0.40/0.49 c remove useless variable x[18][4] 0.40/0.49 c remove useless variable x[15][16] 0.40/0.49 c remove useless variable x[18][12] 0.40/0.49 c remove useless variable x[18][13] 0.40/0.49 c remove useless variable x[16][0] 0.40/0.49 c remove useless variable x[18][14] 0.40/0.49 c remove useless variable x[19][4] 0.40/0.49 c remove useless variable x[19][4] 0.40/0.49 c remove useless variable x[19][9] 0.40/0.49 c remove useless variable x[16][1] 0.40/0.49 c remove useless variable x[19][9] 0.40/0.49 c remove useless variable x[19][15] 0.40/0.49 c remove useless variable x[16][2] 0.40/0.49 c remove useless variable x[19][15] 0.40/0.49 c remove useless variable x[18][18] 0.40/0.49 c remove useless variable x[20][10] 0.40/0.49 c remove useless variable x[18][19] 0.40/0.49 c remove useless variable x[19][4] 0.40/0.49 c remove useless variable x[16][7] 0.40/0.49 c remove useless variable x[19][9] 0.40/0.49 c remove useless variable x[19][15] 0.40/0.49 c remove useless variable x[16][11] 0.40/0.49 c remove useless variable x[20][10] 0.40/0.49 c remove useless variable x[16][16] 0.40/0.49 c remove useless variable x[21][5] 0.40/0.49 c remove useless variable x[21][10] 0.40/0.49 c remove useless variable x[17][5] 0.40/0.49 c remove useless variable x[20][10] 0.40/0.49 c remove useless variable x[17][6] 0.40/0.49 c remove useless variable x[21][5] 0.40/0.49 c remove useless variable x[17][12] 0.40/0.49 c remove useless variable x[21][5] 0.40/0.49 c remove useless variable x[21][16] 0.40/0.49 c remove useless variable x[21][10] 0.40/0.49 c remove useless variable x[22][5] 0.40/0.49 c remove useless variable x[21][16] 0.40/0.49 c remove useless variable x[21][10] 0.40/0.49 c remove useless variable x[22][5] 0.40/0.49 c remove useless variable x[21][16] 0.40/0.49 c remove useless variable x[22][10] 0.40/0.49 c remove useless variable x[22][10] 0.40/0.49 c remove useless variable x[22][16] 0.40/0.49 c remove useless variable x[17][20] 0.40/0.49 c remove useless variable x[22][16] 0.40/0.49 c remove useless variable x[17][21] 0.40/0.49 c remove useless variable x[17][22] 0.40/0.49 c remove useless variable x[18][4] 0.40/0.49 c remove useless variable x[18][12] 0.40/0.49 c remove useless variable x[18][13] 0.40/0.49 c remove useless variable x[18][14] 0.40/0.49 c remove useless variable x[18][18] 0.40/0.49 c remove useless variable x[18][19] 0.40/0.49 c remove useless variable x[19][4] 0.40/0.49 c remove useless variable x[19][9] 0.40/0.49 c remove useless variable x[19][15] 0.40/0.49 c remove useless variable x[20][10] 0.40/0.49 c remove useless variable x[21][5] 0.40/0.49 c remove useless variable x[21][10] 0.40/0.49 c remove useless variable x[21][16] 0.40/0.49 c remove useless variable x[22][5] 0.40/0.49 c remove useless variable x[22][10] 0.40/0.49 c remove useless variable x[22][16] 0.40/0.49 c remove useless variable x[22][5] 0.40/0.49 c remove useless variable x[22][10] 0.40/0.49 c remove useless variable x[22][16] 0.40/0.49 c c 0 01 319 607 1 319 607 304 304 0 0 0 0 0 0.40/0.49 0 0 0 0.40/0.49 c 0 1 319 607 304 0 0 0 0 0.40/0.49 c 0 2 319 608 304 0 c 0 0 0 0 2 319 608 304 0 0.40/0.49 0 0 0 0.40/0.49 c root propagations : 606 0.40/0.49 c restarts enabled, print stats at every restarts 0.40/0.49 c 0.40/0.49 c 0.40/0.49 c root propagations : 606 0.40/0.49 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.40/0.49 c restarts enabled, print stats at every restarts 0.40/0.49 c remove useless variable x[0][6] 0.40/0.49 c remove useless variable x[0][12] 0.40/0.49 c remove useless variable x[0][17] 0.40/0.49 c root propagations : 606 0.40/0.49 c restarts enabled, print stats at every restarts 0.40/0.49 c remove useless variable x[1][6] 0.40/0.49 c remove useless variable x[1][12] 0.40/0.49 c remove useless variable x[1][17] 0.40/0.49 c remove useless variable x[2][12] 0.40/0.49 c remove useless variable x[3][7] 0.40/0.49 c 0.40/0.49 c 0.40/0.49 c remove useless variable x[3][13] 0.40/0.49 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.40/0.49 c remove useless variable x[3][18] 0.40/0.49 c 0.40/0.49 c 0.40/0.49 c remove useless variable x[4][3] 0.40/0.49 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.40/0.49 c remove useless variable x[0][6] 0.40/0.49 c remove useless variable x[0][6] 0.40/0.49 c remove useless variable x[0][12] 0.40/0.49 c root propagations : 606 0.40/0.49 c remove useless variable x[4][4] 0.40/0.49 c restarts enabled, print stats at every restarts 0.40/0.49 c remove useless variable x[4][8] 0.40/0.49 c remove useless variable x[0][12] 0.40/0.49 c 0.40/0.49 c 0.40/0.49 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.40/0.49 c remove useless variable x[0][6] 0.40/0.49 c remove useless variable x[0][12] 0.40/0.49 c remove useless variable x[0][17] 0.40/0.49 c remove useless variable x[4][9] 0.40/0.49 c remove useless variable x[4][10] 0.40/0.49 c remove useless variable x[4][18] 0.40/0.49 c remove useless variable x[5][0] 0.40/0.49 c remove useless variable x[5][1] 0.40/0.49 c remove useless variable x[5][2] 0.40/0.49 c remove useless variable x[5][10] 0.40/0.49 c remove useless variable x[5][16] 0.40/0.49 c remove useless variable x[5][17] 0.40/0.49 c remove useless variable x[6][6] 0.40/0.49 c remove useless variable x[6][11] 0.40/0.49 c remove useless variable x[6][15] 0.40/0.49 c remove useless variable x[6][20] 0.40/0.49 c remove useless variable x[6][21] 0.40/0.49 c remove useless variable x[6][22] 0.40/0.49 c remove useless variable x[0][17] 0.40/0.49 c remove useless variable x[1][6] 0.40/0.49 c remove useless variable x[1][12] 0.40/0.49 c remove useless variable x[1][17] 0.40/0.49 c remove useless variable x[2][12] 0.40/0.49 c remove useless variable x[3][7] 0.40/0.49 c remove useless variable x[3][13] 0.40/0.49 c remove useless variable x[3][18] 0.40/0.49 c remove useless variable x[4][3] 0.40/0.49 c remove useless variable x[4][4] 0.40/0.49 c remove useless variable x[4][8] 0.40/0.49 c remove useless variable x[4][9] 0.40/0.49 c remove useless variable x[4][10] 0.40/0.49 c remove useless variable x[4][18] 0.40/0.49 c remove useless variable x[5][0] 0.40/0.49 c remove useless variable x[5][1] 0.40/0.49 c remove useless variable x[5][2] 0.40/0.49 c remove useless variable x[5][10] 0.40/0.49 c remove useless variable x[5][16] 0.40/0.49 c remove useless variable x[5][17] 0.40/0.49 c remove useless variable x[6][6] 0.40/0.49 c remove useless variable x[6][11] 0.40/0.49 c remove useless variable x[6][15] 0.40/0.49 c remove useless variable x[6][20] 0.40/0.49 c remove useless variable x[6][21] 0.40/0.49 c remove useless variable x[6][22] 0.40/0.49 c remove useless variable x[7][6] 0.40/0.49 c remove useless variable x[7][12] 0.40/0.49 c remove useless variable x[7][19] 0.40/0.49 c remove useless variable x[8][4] 0.40/0.49 c remove useless variable x[8][13] 0.40/0.49 c remove useless variable x[8][18] 0.40/0.49 c remove useless variable x[9][7] 0.40/0.49 c remove useless variable x[1][6] 0.40/0.49 c remove useless variable x[7][6] 0.40/0.49 c remove useless variable x[1][12] 0.40/0.49 c remove useless variable x[7][12] 0.40/0.49 c remove useless variable x[0][17] 0.40/0.49 c remove useless variable x[9][8] 0.40/0.49 c remove useless variable x[1][6] 0.40/0.49 c remove useless variable x[1][17] 0.40/0.49 c remove useless variable x[9][18] 0.40/0.49 c remove useless variable x[10][3] 0.40/0.49 c remove useless variable x[1][12] 0.40/0.49 c remove useless variable x[2][12] 0.40/0.49 c remove useless variable x[1][17] 0.40/0.49 c remove useless variable x[7][19] 0.40/0.49 c remove useless variable x[3][7] 0.40/0.49 c remove useless variable x[10][9] 0.40/0.49 c remove useless variable x[3][13] 0.40/0.49 c remove useless variable x[2][12] 0.40/0.49 c remove useless variable x[8][4] 0.40/0.49 c remove useless variable x[3][7] 0.40/0.49 c remove useless variable x[3][13] 0.40/0.49 c remove useless variable x[3][18] 0.40/0.49 c remove useless variable x[4][3] 0.40/0.49 c remove useless variable x[4][4] 0.40/0.49 c remove useless variable x[3][18] 0.40/0.49 c remove useless variable x[4][8] 0.40/0.49 c remove useless variable x[4][9] 0.40/0.49 c remove useless variable x[8][13] 0.40/0.49 c remove useless variable x[4][3] 0.40/0.49 c remove useless variable x[8][18] 0.40/0.49 c remove useless variable x[9][7] 0.40/0.49 c remove useless variable x[4][4] 0.40/0.49 c remove useless variable x[10][10] 0.40/0.49 c remove useless variable x[9][8] 0.40/0.49 c remove useless variable x[10][16] 0.40/0.49 c remove useless variable x[9][18] 0.40/0.49 c remove useless variable x[4][10] 0.40/0.49 c remove useless variable x[10][3] 0.40/0.49 c remove useless variable x[10][9] 0.40/0.49 c remove useless variable x[11][0] 0.40/0.49 c remove useless variable x[4][18] 0.40/0.49 c remove useless variable x[4][8] 0.40/0.49 c remove useless variable x[11][1] 0.40/0.49 c remove useless variable x[10][10] 0.40/0.49 c remove useless variable x[11][5] 0.40/0.49 c remove useless variable x[10][16] 0.40/0.49 c remove useless variable x[11][11] 0.40/0.49 c remove useless variable x[11][0] 0.40/0.49 c remove useless variable x[11][1] 0.40/0.49 c remove useless variable x[5][0] 0.40/0.49 c remove useless variable x[11][5] 0.40/0.49 c remove useless variable x[5][1] 0.40/0.49 c remove useless variable x[11][17] 0.40/0.49 c remove useless variable x[5][2] 0.40/0.49 c remove useless variable x[11][21] 0.40/0.49 c remove useless variable x[4][9] 0.40/0.49 c remove useless variable x[11][22] 0.40/0.49 c remove useless variable x[11][11] 0.40/0.49 c remove useless variable x[12][6] 0.40/0.49 c remove useless variable x[11][17] 0.40/0.49 c remove useless variable x[12][12] 0.40/0.49 c remove useless variable x[12][13] 0.40/0.49 c remove useless variable x[11][21] 0.40/0.49 c remove useless variable x[12][19] 0.40/0.49 c remove useless variable x[5][10] 0.40/0.49 c remove useless variable x[11][22] 0.40/0.49 c remove useless variable x[5][16] 0.40/0.49 c remove useless variable x[4][10] 0.40/0.49 c remove useless variable x[12][6] 0.40/0.49 c remove useless variable x[13][4] 0.40/0.49 c remove useless variable x[5][17] 0.40/0.49 c remove useless variable x[4][18] 0.40/0.49 c remove useless variable x[12][12] 0.40/0.49 c remove useless variable x[6][6] 0.40/0.49 c remove useless variable x[12][13] 0.40/0.49 c remove useless variable x[13][14] 0.40/0.49 c remove useless variable x[6][11] 0.40/0.49 c remove useless variable x[13][15] 0.40/0.49 c remove useless variable x[5][0] 0.40/0.49 c remove useless variable x[5][1] 0.40/0.49 c remove useless variable x[5][2] 0.40/0.49 c remove useless variable x[14][4] 0.40/0.49 c remove useless variable x[12][19] 0.40/0.49 c remove useless variable x[6][15] 0.40/0.49 c remove useless variable x[6][20] 0.40/0.49 c remove useless variable x[5][10] 0.40/0.49 c remove useless variable x[5][16] 0.40/0.49 c remove useless variable x[5][17] 0.40/0.49 c remove useless variable x[6][6] 0.40/0.49 c remove useless variable x[6][11] 0.40/0.49 c remove useless variable x[6][15] 0.40/0.49 c remove useless variable x[6][20] 0.40/0.49 c remove useless variable x[6][21] 0.40/0.49 c remove useless variable x[14][9] 0.40/0.49 c remove useless variable x[6][22] 0.40/0.49 c remove useless variable x[13][4] 0.40/0.49 c remove useless variable x[6][21] 0.40/0.49 c remove useless variable x[13][14] 0.40/0.49 c remove useless variable x[13][15] 0.40/0.49 c remove useless variable x[14][18] 0.40/0.49 c remove useless variable x[14][4] 0.40/0.49 c remove useless variable x[7][6] 0.40/0.49 c remove useless variable x[15][3] 0.40/0.49 c remove useless variable x[6][22] 0.40/0.49 c remove useless variable x[14][9] 0.40/0.49 c remove useless variable x[7][6] 0.40/0.49 c remove useless variable x[14][18] 0.40/0.49 c remove useless variable x[15][10] 0.40/0.49 c remove useless variable x[7][12] 0.40/0.49 c remove useless variable x[7][12] 0.40/0.49 c remove useless variable x[15][16] 0.40/0.49 c remove useless variable x[7][19] 0.40/0.49 c remove useless variable x[7][19] 0.40/0.49 c remove useless variable x[15][3] 0.40/0.49 c remove useless variable x[15][10] 0.40/0.49 c remove useless variable x[16][0] 0.40/0.49 c remove useless variable x[8][4] 0.40/0.49 c remove useless variable x[15][16] 0.40/0.49 c remove useless variable x[16][1] 0.40/0.49 c remove useless variable x[16][0] 0.40/0.49 c remove useless variable x[16][2] 0.40/0.49 c remove useless variable x[16][1] 0.40/0.49 c remove useless variable x[16][7] 0.40/0.49 c remove useless variable x[8][13] 0.40/0.49 c remove useless variable x[16][11] 0.40/0.49 c remove useless variable x[8][18] 0.40/0.49 c remove useless variable x[8][4] 0.40/0.49 c remove useless variable x[16][16] 0.40/0.49 c remove useless variable x[9][7] 0.40/0.49 c remove useless variable x[16][2] 0.40/0.49 c remove useless variable x[16][7] 0.40/0.49 c remove useless variable x[8][13] 0.40/0.49 c remove useless variable x[8][18] 0.40/0.49 c remove useless variable x[9][7] 0.40/0.49 c remove useless variable x[9][8] 0.40/0.49 c remove useless variable x[9][18] 0.40/0.49 c remove useless variable x[10][3] 0.40/0.49 c remove useless variable x[16][11] 0.40/0.49 c remove useless variable x[16][16] 0.40/0.49 c remove useless variable x[17][5] 0.40/0.49 c remove useless variable x[17][5] 0.40/0.49 c remove useless variable x[17][6] 0.40/0.49 c remove useless variable x[9][8] 0.40/0.49 c remove useless variable x[10][9] 0.40/0.49 c remove useless variable x[9][18] 0.40/0.49 c remove useless variable x[17][6] 0.40/0.49 c remove useless variable x[17][12] 0.40/0.49 c remove useless variable x[10][3] 0.40/0.49 c remove useless variable x[10][10] 0.40/0.49 c remove useless variable x[10][9] 0.40/0.49 c remove useless variable x[17][20] 0.40/0.49 c remove useless variable x[10][10] 0.40/0.49 c remove useless variable x[17][12] 0.40/0.49 c remove useless variable x[10][16] 0.40/0.49 c remove useless variable x[10][16] 0.40/0.49 c remove useless variable x[11][0] 0.40/0.49 c remove useless variable x[17][21] 0.40/0.49 c remove useless variable x[11][1] 0.40/0.49 c remove useless variable x[17][22] 0.40/0.49 c remove useless variable x[17][20] 0.40/0.49 c remove useless variable x[17][21] 0.40/0.49 c remove useless variable x[17][22] 0.40/0.49 c remove useless variable x[18][4] 0.40/0.49 c remove useless variable x[18][12] 0.40/0.49 c remove useless variable x[18][13] 0.40/0.49 c remove useless variable x[18][14] 0.40/0.49 c remove useless variable x[18][18] 0.40/0.49 c remove useless variable x[18][19] 0.40/0.49 c remove useless variable x[11][5] 0.40/0.49 c remove useless variable x[19][4] 0.40/0.49 c remove useless variable x[11][0] 0.40/0.49 c remove useless variable x[11][11] 0.40/0.49 c remove useless variable x[11][1] 0.40/0.49 c remove useless variable x[11][5] 0.40/0.49 c remove useless variable x[11][17] 0.40/0.49 c remove useless variable x[11][11] 0.40/0.49 c remove useless variable x[19][9] 0.40/0.49 c remove useless variable x[11][17] 0.40/0.49 c remove useless variable x[18][4] 0.40/0.49 c remove useless variable x[19][15] 0.40/0.49 c remove useless variable x[11][21] 0.40/0.49 c remove useless variable x[20][10] 0.40/0.49 c remove useless variable x[18][12] 0.40/0.49 c remove useless variable x[21][5] 0.40/0.49 c remove useless variable x[11][21] 0.40/0.49 c remove useless variable x[18][13] 0.40/0.49 c remove useless variable x[18][14] 0.40/0.49 c remove useless variable x[21][10] 0.40/0.49 c remove useless variable x[18][18] 0.40/0.49 c remove useless variable x[11][22] 0.40/0.49 c remove useless variable x[12][6] 0.40/0.49 c remove useless variable x[12][12] 0.40/0.49 c remove useless variable x[12][13] 0.40/0.49 c remove useless variable x[12][19] 0.40/0.49 c remove useless variable x[21][16] 0.40/0.49 c remove useless variable x[11][22] 0.40/0.49 c remove useless variable x[18][19] 0.40/0.49 c remove useless variable x[12][6] 0.40/0.49 c remove useless variable x[12][12] 0.40/0.49 c remove useless variable x[22][5] 0.40/0.49 c remove useless variable x[12][13] 0.40/0.49 c remove useless variable x[22][10] 0.40/0.49 c remove useless variable x[12][19] 0.40/0.49 c remove useless variable x[19][4] 0.40/0.49 c remove useless variable x[13][4] 0.40/0.49 c remove useless variable x[19][9] 0.40/0.49 c remove useless variable x[22][16] 0.40/0.49 c remove useless variable x[13][4] 0.40/0.49 c remove useless variable x[13][14] 0.40/0.49 c remove useless variable x[13][14] 0.40/0.49 c remove useless variable x[13][15] 0.40/0.49 c remove useless variable x[14][4] 0.40/0.49 c remove useless variable x[14][9] 0.40/0.49 c remove useless variable x[14][18] 0.40/0.49 c remove useless variable x[15][3] 0.40/0.49 c remove useless variable x[13][15] 0.40/0.49 c remove useless variable x[19][15] 0.40/0.49 c remove useless variable x[20][10] 0.40/0.49 c remove useless variable x[15][10] 0.40/0.49 c remove useless variable x[21][5] 0.40/0.49 c remove useless variable x[21][10] 0.40/0.49 c remove useless variable x[21][16] 0.40/0.49 c remove useless variable x[22][5] 0.40/0.49 c remove useless variable x[22][10] 0.40/0.49 c remove useless variable x[14][4] 0.40/0.49 c remove useless variable x[22][16] 0.40/0.49 c remove useless variable x[14][9] 0.40/0.49 c remove useless variable x[15][16] 0.40/0.49 c remove useless variable x[14][18] 0.40/0.49 c remove useless variable x[16][0] 0.40/0.49 c remove useless variable x[15][3] 0.40/0.49 c remove useless variable x[16][1] 0.40/0.49 c remove useless variable x[15][10] 0.40/0.49 c remove useless variable x[16][2] 0.40/0.49 c remove useless variable x[15][16] 0.40/0.49 c remove useless variable x[16][7] 0.40/0.49 c remove useless variable x[16][11] 0.40/0.49 c remove useless variable x[16][16] 0.40/0.49 c remove useless variable x[16][0] 0.40/0.49 c remove useless variable x[16][1] 0.40/0.49 c remove useless variable x[17][5] 0.40/0.49 c remove useless variable x[17][6] 0.40/0.49 c remove useless variable x[17][12] 0.40/0.49 c remove useless variable x[17][20] 0.40/0.49 c remove useless variable x[17][21] 0.40/0.49 c remove useless variable x[17][22] 0.40/0.49 c remove useless variable x[18][4] 0.40/0.49 c remove useless variable x[18][12] 0.40/0.49 c remove useless variable x[18][13] 0.40/0.49 c remove useless variable x[18][14] 0.40/0.49 c remove useless variable x[18][18] 0.40/0.49 c remove useless variable x[18][19] 0.40/0.49 c remove useless variable x[19][4] 0.40/0.49 c remove useless variable x[19][9] 0.40/0.49 c remove useless variable x[16][2] 0.40/0.49 c remove useless variable x[16][7] 0.40/0.49 c remove useless variable x[19][15] 0.40/0.49 c remove useless variable x[20][10] 0.40/0.49 c remove useless variable x[21][5] 0.40/0.49 c remove useless variable x[21][10] 0.40/0.49 c remove useless variable x[21][16] 0.40/0.49 c remove useless variable x[16][11] 0.40/0.49 c remove useless variable x[22][5] 0.40/0.49 c remove useless variable x[22][10] 0.40/0.49 c remove useless variable x[22][16] 0.40/0.49 c remove useless variable x[16][16] 0.40/0.49 c remove useless variable x[17][5] 0.40/0.49 c remove useless variable x[17][6] 0.40/0.49 c remove useless variable x[17][12] 0.40/0.49 c remove useless variable x[17][20] 0.40/0.49 c remove useless variable x[17][21] 0.40/0.49 c remove useless variable x[17][22] 0.40/0.49 c remove useless variable x[18][4] 0.40/0.49 c remove useless variable x[18][12] 0.40/0.49 c remove useless variable x[18][13] 0.40/0.49 c remove useless variable x[18][14] 0.40/0.49 c remove useless variable x[18][18] 0.40/0.49 c remove useless variable x[18][19] 0.40/0.49 c remove useless variable x[19][4] 0.40/0.49 c remove useless variable x[19][9] 0.40/0.49 c remove useless variable x[19][15] 0.40/0.49 c remove useless variable x[20][10] 0.40/0.49 c remove useless variable x[21][5] 0.40/0.49 c remove useless variable x[21][10] 0.40/0.49 c remove useless variable x[21][16] 0.40/0.49 c remove useless variable x[22][5] 0.40/0.49 c remove useless variable x[22][10] 0.40/0.49 c remove useless variable x[22][16] 0.40/0.50 c 0 1 319 607 304 0 0 0 0 0.40/0.50 c 0 4 341 708 304 0 0 0 0 0.40/0.50 c 0 4 349 916 304 0 0 0 0 0.40/0.50 c 0 3 347 828 304 0 0 0 0 0.98/0.55 c 32 182 2684 13900 304 0 16 129 94 0.98/0.56 c 32 136 2185 15616 304 0 16 86 69 0.98/0.56 c 33 141 2297 16714 304 0 5 5 2 0.98/0.57 c 33 208 3046 15345 304 0 26 26 13 0.98/0.57 c 32 138 2575 16255 304 0 6 79 40 0.98/0.58 c 33 145 2664 16948 304 0 7 7 3 0.98/0.60 c 32 145 3100 15265 304 0 30 76 34 1.66/0.61 c 101 288 5989 40929 304 0 31 80 43 1.66/0.62 c 33 156 3280 16206 304 0 11 11 5 1.66/0.63 c 64 206 3953 32616 304 0 2 9 5 1.66/0.64 c 65 209 4067 33427 304 0 3 3 1 1.66/0.64 c 64 203 4191 33985 304 0 4 14 8 1.66/0.64 c 66 212 4163 34209 304 0 3 3 1 1.66/0.65 c 65 212 4317 34975 304 0 9 9 4 1.66/0.65 c 101 218 5218 42593 304 0 7 18 10 1.66/0.65 c 67 221 4289 35199 304 0 9 9 4 1.66/0.65 c 66 220 4445 35807 304 0 8 8 4 1.66/0.66 c 67 225 4527 36744 304 0 5 5 2 1.66/0.69 c 101 345 7700 53704 304 0 18 155 137 2.41/0.71 c 64 228 5750 33542 304 0 8 14 10 2.41/0.71 c 101 247 6088 44308 304 0 8 76 66 2.41/0.72 c 65 238 5968 34527 304 0 10 10 5 2.41/0.72 c 64 479 6476 37195 304 0 5 170 44 2.41/0.73 c 66 248 6141 35411 304 0 10 10 5 2.41/0.74 c 65 489 6643 38437 304 0 10 10 5 2.41/0.74 c 67 258 6366 36469 304 0 10 10 5 2.41/0.75 c 66 505 6897 39505 304 0 16 16 8 2.41/0.76 c 67 514 7066 40527 304 0 9 9 4 2.41/0.77 c 128 373 8196 62630 304 0 13 23 16 2.41/0.78 c 128 364 7681 63150 304 0 4 12 8 2.41/0.78 c 129 367 7777 63932 304 0 3 3 1 2.41/0.80 c 129 384 8396 63777 304 0 11 11 5 2.41/0.80 c 130 375 7901 64920 304 0 8 8 4 2.41/0.80 c 130 393 8480 64521 304 0 9 9 4 2.41/0.80 c 131 379 7962 65498 304 0 4 4 2 2.41/0.80 c 131 405 8699 65755 304 0 12 12 6 3.24/0.81 c 132 387 8105 66395 304 0 8 8 4 3.24/0.81 c 211 567 11393 88884 304 0 5 125 41 3.24/0.81 c 133 391 8166 66973 304 0 4 4 2 3.24/0.81 c 132 418 8804 66893 304 0 13 13 6 3.24/0.82 c 134 399 8309 67870 304 0 8 8 4 3.24/0.82 c 211 522 12098 90693 304 0 2 19 8 3.24/0.82 c 133 423 8953 67960 304 0 5 5 2 3.24/0.82 c 135 403 8370 68448 304 0 4 4 2 3.24/0.84 c 134 426 9114 69416 304 0 3 3 1 3.24/0.84 c 135 430 9153 69911 304 0 4 4 2 3.24/0.84 c 211 876 15184 96916 304 0 62 277 163 3.24/0.86 c 211 863 13367 83782 304 0 8 361 255 3.24/0.87 c 128 954 11904 65019 304 0 11 295 210 3.24/0.89 c 129 967 12147 66659 304 0 13 13 6 3.24/0.90 c 128 452 10599 68546 304 0 8 110 30 4.02/0.91 c 130 976 12307 67876 304 0 9 9 4 4.02/0.92 c 129 502 11005 70179 304 0 50 50 25 4.02/0.93 c 131 997 12646 69323 304 0 21 21 10 4.02/0.93 c 332 768 17646 135031 304 0 13 54 44 4.02/0.93 c 132 1005 12779 70385 304 0 8 8 4 4.02/0.95 c 133 1013 12915 71342 304 0 8 8 4 4.02/0.95 c 130 569 11567 72983 304 0 67 67 33 4.02/0.96 c 134 1026 13145 72491 304 0 13 13 6 4.02/0.96 c 332 944 18507 138234 304 0 11 92 63 4.02/0.97 c 131 632 12131 75466 304 0 63 63 31 4.02/0.98 c 332 1252 24123 156429 304 0 16 139 125 4.02/0.98 c 256 935 16858 121717 304 0 2 216 142 4.02/0.99 c 257 937 16909 122504 304 0 2 2 1 4.02/1.00 c 258 950 17049 123461 304 0 13 13 6 4.02/1.00 c 259 960 17173 124310 304 0 10 10 5 4.02/1.00 c 135 1104 13928 75933 304 0 78 78 39 4.02/1.00 c 256 839 15497 115599 304 0 2 178 82 4.84/1.01 c 260 967 17271 125258 304 0 7 7 3 4.84/1.02 c 261 970 17356 126282 304 0 3 3 1 4.84/1.02 c 132 688 12703 78307 304 0 56 56 28 4.84/1.02 c 262 983 17442 127342 304 0 13 13 6 4.84/1.03 c 263 986 17527 128366 304 0 3 3 1 4.84/1.03 c 257 859 15831 117670 304 0 20 20 10 4.84/1.03 c 264 999 17613 129426 304 0 13 13 6 4.84/1.03 c 258 863 15925 118871 304 0 4 4 2 4.84/1.04 c 265 1002 17698 130450 304 0 3 3 1 4.84/1.04 c 266 1015 17784 131510 304 0 13 13 6 4.84/1.04 c 259 870 16041 119972 304 0 7 7 3 4.84/1.04 c 133 751 13224 80882 304 0 63 63 31 4.84/1.05 c 267 1018 17869 132534 304 0 3 3 1 4.84/1.05 c 260 873 16169 121353 304 0 3 3 1 4.84/1.05 c 268 1031 17955 133594 304 0 13 13 6 4.84/1.05 c 465 1287 24065 174340 304 0 4 41 18 4.84/1.05 c 261 877 16263 122554 304 0 4 4 2 4.84/1.05 c 269 1034 18040 134618 304 0 3 3 1 4.84/1.07 c 270 1051 18164 135610 304 0 17 17 8 4.84/1.07 c 262 884 16379 123655 304 0 7 7 3 4.84/1.07 c 134 815 13777 83124 304 0 64 64 32 4.84/1.07 c 263 887 16507 125036 304 0 3 3 1 4.84/1.08 c 271 1065 18353 136958 304 0 14 14 7 4.84/1.08 c 264 891 16601 126237 304 0 4 4 2 4.84/1.08 c 265 898 16717 127338 304 0 7 7 3 4.84/1.09 c 135 871 14219 84912 304 0 56 56 28 4.84/1.10 c 266 901 16845 128719 304 0 3 3 1 5.65/1.11 c 267 905 16939 129920 304 0 4 4 2 5.65/1.11 c 268 912 17055 131021 304 0 7 7 3 5.65/1.12 c 269 915 17183 132402 304 0 3 3 1 5.65/1.13 c 270 919 17277 133603 304 0 4 4 2 5.65/1.13 c 465 1399 26049 187291 304 0 6 275 83 5.65/1.13 c 271 926 17393 134704 304 0 7 7 3 5.65/1.13 c 611 1600 30295 213012 304 0 5 44 38 5.65/1.14 c 332 1250 22040 145399 304 0 43 85 56 6.38/1.24 c 465 1605 32346 211487 304 0 5 78 24 6.38/1.25 c 256 1426 22007 126977 304 0 67 249 193 6.38/1.26 c 256 1441 21512 148215 304 0 76 140 134 6.38/1.27 c 257 1458 21734 149433 304 0 17 17 8 6.38/1.27 c 257 1475 22414 129020 304 0 49 49 24 6.38/1.28 c 258 1482 22496 129657 304 0 7 7 3 6.38/1.28 c 258 1464 21826 150309 304 0 6 6 3 6.38/1.29 c 259 1479 22005 151460 304 0 15 15 7 7.18/1.31 c 259 1529 22871 131499 304 0 47 47 23 7.18/1.31 c 260 1502 22277 152700 304 0 23 23 11 7.18/1.32 c 260 1537 22995 132467 304 0 8 8 4 7.18/1.32 c 261 1520 22539 153906 304 0 18 18 9 7.18/1.33 c 262 1528 22689 154949 304 0 8 8 4 7.18/1.33 c 261 1585 23416 134555 304 0 48 48 24 7.18/1.34 c 262 1593 23552 135738 304 0 8 8 4 7.18/1.34 c 263 1546 22953 156155 304 0 18 18 9 7.18/1.36 c 264 1554 23103 157197 304 0 8 8 4 7.18/1.37 c 263 1644 23978 137916 304 0 51 51 25 7.18/1.37 c 265 1572 23365 158402 304 0 18 18 9 7.18/1.38 c 264 1651 24144 138955 304 0 7 7 3 7.18/1.38 c 266 1580 23515 159444 304 0 8 8 4 7.18/1.39 c 611 1927 35573 256157 304 0 8 133 63 7.18/1.40 c 267 1598 23777 160649 304 0 18 18 9 7.98/1.41 c 265 1701 24581 141146 304 0 50 50 25 7.98/1.41 c 268 1606 23927 161691 304 0 8 8 4 7.98/1.42 c 266 1707 24664 142143 304 0 6 6 3 7.98/1.42 c 267 1714 24789 142934 304 0 7 7 3 7.98/1.42 c 269 1614 24076 162688 304 0 8 8 4 7.98/1.43 c 268 1724 24915 143802 304 0 10 10 5 7.98/1.44 c 269 1731 25040 144593 304 0 7 7 3 7.98/1.44 c 270 1632 24310 163889 304 0 18 18 9 7.98/1.44 c 270 1741 25166 145461 304 0 10 10 5 7.98/1.44 c 771 1999 39437 275149 304 0 7 88 50 7.98/1.45 c 271 1748 25295 146287 304 0 7 7 3 7.98/1.45 c 271 1647 24486 165030 304 0 15 15 7 7.98/1.45 c 465 1723 31889 212339 304 0 5 167 81 8.78/1.57 c 512 1706 33678 243682 304 0 3 210 136 8.78/1.58 c 513 1712 33765 244767 304 0 6 6 3 8.78/1.58 c 512 1600 31345 258541 304 0 2 60 25 8.78/1.59 c c 514 1718 33907 245890 304 0 513 1606 31463 259362 304 0 6 6 3 6 6 3 8.78/1.59 9.58/1.60 c 514 1614 31627 260582 304 0 8 8 4 9.58/1.60 c 515 1725 34016 246848 304 0 7 7 3 9.58/1.60 c 611 2219 43804 287249 304 0 10 188 73 9.58/1.61 c 515 1619 31704 261330 304 0 5 5 2 9.58/1.62 c 516 1737 34230 247948 304 0 12 12 6 9.58/1.62 c 516 1622 31800 262110 304 0 3 3 1 9.58/1.62 c 517 1742 34320 248668 304 0 5 5 2 9.58/1.62 c 517 1631 31926 263098 304 0 9 9 4 9.58/1.63 c 518 1635 31991 263673 304 0 4 4 2 9.58/1.63 c 518 1745 34433 250076 304 0 3 3 1 9.58/1.64 c 519 1642 32120 264492 304 0 7 7 3 9.58/1.64 c 519 1747 34498 251023 304 0 2 2 1 9.58/1.64 c 520 1645 32249 265872 304 0 3 3 1 9.58/1.64 c 520 1753 34582 251819 304 0 6 6 3 9.58/1.65 c 521 1655 32414 267045 304 0 10 10 5 9.58/1.65 c 512 2534 36468 225488 304 0 6 249 92 9.58/1.65 c 521 1765 34800 253051 304 0 12 12 6 9.58/1.66 c 522 1663 32515 268205 304 0 8 8 4 9.58/1.66 c 522 1770 34890 253771 304 0 5 5 2 9.58/1.67 c 523 1674 32592 269010 304 0 11 11 5 9.58/1.67 c 523 1773 35003 255179 304 0 3 3 1 9.58/1.67 c 513 2587 36780 227453 304 0 53 53 26 9.58/1.67 c 524 1679 32687 269716 304 0 5 5 2 9.58/1.67 c 524 1775 35068 256126 304 0 2 2 1 9.58/1.68 c 525 1781 35152 256922 304 0 6 6 3 9.58/1.68 c 771 2855 48522 342786 304 0 9 224 172 9.58/1.68 c 525 1684 32831 270918 304 0 5 5 2 9.58/1.69 c 514 2642 37147 229627 304 0 55 55 27 9.58/1.69 c 611 2307 42491 276987 304 0 13 84 28 9.58/1.69 c 526 1692 32932 272078 304 0 8 8 4 9.58/1.69 c 526 1793 35370 258154 304 0 12 12 6 9.58/1.69 c 527 1703 33009 272883 304 0 11 11 5 9.58/1.69 c 527 1798 35460 258874 304 0 5 5 2 10.37/1.70 c 528 1708 33104 273589 304 0 5 5 2 10.37/1.70 c 947 2529 49968 341815 304 0 9 195 79 10.37/1.70 c 515 2687 37444 231582 304 0 45 45 22 10.37/1.70 c 528 1801 35573 260282 304 0 3 3 1 10.37/1.71 c 529 1803 35638 261229 304 0 2 2 1 10.37/1.71 c 529 1713 33248 274791 304 0 5 5 2 10.37/1.71 c 516 2697 37564 232462 304 0 10 10 5 10.37/1.72 c 530 1809 35722 262025 304 0 6 6 3 10.37/1.72 c 530 1721 33349 275951 304 0 8 8 4 10.37/1.72 c 517 2709 37720 233683 304 0 12 12 6 10.37/1.72 c 531 1732 33426 276756 304 0 11 11 5 10.37/1.73 c 531 1821 35936 263125 304 0 12 12 6 10.37/1.73 c 532 1737 33521 277462 304 0 5 5 2 10.37/1.73 c 518 2723 37887 234946 304 0 14 14 7 10.37/1.74 c 532 1834 36041 264261 304 0 13 13 6 10.37/1.74 c 533 1742 33665 278664 304 0 5 5 2 10.37/1.74 c 519 2732 38023 235780 304 0 9 9 4 10.37/1.74 c 533 1839 36135 265432 304 0 5 5 2 10.37/1.74 c 534 1750 33766 279824 304 0 8 8 4 10.37/1.74 c 534 1844 36230 266138 304 0 5 5 2 10.37/1.76 c 535 1761 33843 280629 304 0 11 11 5 10.37/1.76 c 535 1849 36324 267309 304 0 5 5 2 10.37/1.76 c 520 2784 38323 237717 304 0 52 52 26 10.37/1.76 c 536 1766 33938 281335 304 0 5 5 2 10.37/1.76 c 536 1854 36419 268015 304 0 5 5 2 10.37/1.76 c 537 1859 36513 269186 304 0 5 5 2 10.37/1.77 c 537 1771 34082 282537 304 0 5 5 2 10.37/1.77 c 538 1864 36608 269892 304 0 5 5 2 10.37/1.77 c 538 1779 34183 283697 304 0 8 8 4 10.37/1.78 c 539 1869 36702 271063 304 0 5 5 2 10.37/1.78 c 539 1790 34260 284502 304 0 11 11 5 10.37/1.78 c 771 3104 55495 344836 304 0 9 403 300 10.37/1.78 c 540 1874 36797 271769 304 0 5 5 2 10.37/1.79 c 541 1879 36891 272940 304 0 5 5 2 10.37/1.79 c 540 1801 34425 285482 304 0 11 11 5 10.37/1.80 c 542 1884 36986 273646 304 0 5 5 2 10.37/1.80 c 541 1808 34513 286346 304 0 7 7 3 11.18/1.81 c 543 1889 37080 274817 304 0 5 5 2 11.18/1.81 c 521 2902 39278 242248 304 0 118 118 59 11.18/1.81 c 542 1818 34678 287519 304 0 10 10 5 11.18/1.81 c 543 1826 34779 288679 304 0 8 8 4 11.18/1.82 c 522 2955 39593 244220 304 0 53 53 26 11.18/1.85 c 512 2553 38949 257784 304 0 7 205 76 11.18/1.86 c 513 2560 39108 258781 306 0 7 7 3 11.18/1.87 c 523 3073 40548 248751 304 0 118 118 59 11.18/1.87 c 514 2576 39280 259824 306 0 16 16 8 11.18/1.88 c 515 2584 39407 260614 306 0 8 8 4 11.18/1.88 c 524 3126 40867 250723 306 0 53 53 26 11.18/1.89 c 516 2591 39557 261551 306 0 7 7 3 11.98/1.90 c 517 2604 39746 262297 306 0 13 13 6 11.98/1.92 c 518 2611 39898 263232 306 0 7 7 3 11.98/1.92 c 771 3002 52759 337911 304 0 9 200 151 11.98/1.93 c 519 2624 40087 263978 306 0 13 13 6 11.98/1.93 c 520 2631 40239 264913 306 0 7 7 3 11.98/1.93 c 525 3244 41822 255251 306 0 118 118 59 11.98/1.94 c 521 2644 40428 265659 306 0 13 13 6 11.98/1.95 c 522 2651 40580 266594 306 0 7 7 3 11.98/1.95 c 526 3297 42137 257220 306 0 53 53 26 11.98/1.96 c 523 2666 40814 267566 306 0 15 15 7 11.98/1.97 c 524 2673 40971 268488 306 0 7 7 3 11.98/1.98 c 1140 3079 61656 424757 304 0 7 100 62 11.98/1.98 c 525 2688 41205 269460 306 0 15 15 7 11.98/1.99 c 526 2695 41360 270384 306 0 7 7 3 11.98/2.00 c 527 3415 43094 261750 306 0 118 118 59 11.98/2.01 c 527 2706 41504 271257 306 0 11 11 5 12.88/2.01 c 947 3483 60157 435773 304 0 11 190 123 12.88/2.01 c 528 3468 43409 263719 306 0 53 53 26 12.88/2.02 c 528 2719 41657 272378 306 0 13 13 6 12.88/2.03 c 947 3681 66719 414033 304 0 9 251 138 12.88/2.04 c 529 2736 41909 273407 306 0 17 17 8 12.88/2.06 c 530 2759 42172 274729 306 0 23 23 11 12.88/2.06 c 529 3586 44366 268249 306 0 118 118 59 12.88/2.07 c 531 2766 42277 275629 306 0 7 7 3 12.88/2.08 c 532 2777 42517 276762 306 0 11 11 5 12.88/2.08 c 530 3639 44681 270218 306 0 53 53 26 12.88/2.09 c 533 2788 42755 277773 306 0 11 11 5 12.88/2.10 c 534 2799 42990 278918 306 0 11 11 5 12.88/2.11 c 535 2810 43228 279929 306 0 11 11 5 13.67/2.12 c 1000 3620 63081 458416 306 0 14 56 49 13.67/2.12 c 536 2821 43463 281074 306 0 11 11 5 13.67/2.12 c 531 3757 45636 274710 306 0 118 118 59 13.67/2.13 c 537 2832 43701 282085 306 0 11 11 5 13.67/2.14 c 538 2843 43936 283230 306 0 11 11 5 13.67/2.14 c 532 3810 45956 276828 306 0 53 53 26 13.67/2.15 c 947 3719 64248 408791 306 0 9 244 187 13.67/2.15 c 539 2854 44173 284277 306 0 11 11 5 13.67/2.16 c 533 3859 46255 278788 306 0 49 49 24 13.67/2.16 c 540 2865 44406 285422 306 0 11 11 5 13.67/2.18 c 541 2876 44643 286469 306 0 11 11 5 13.67/2.18 c 534 3904 46552 280740 306 0 45 45 22 13.67/2.19 c 542 2887 44878 287614 306 0 11 11 5 13.67/2.19 c 535 3914 46672 281617 306 0 10 10 5 13.67/2.19 c 1352 3760 72231 489284 306 0 11 145 84 13.67/2.19 c 536 3926 46828 282835 306 0 12 12 6 14.36/2.20 c 543 2898 45116 288625 306 0 11 11 5 14.36/2.20 c 537 3936 47003 283902 306 0 10 10 5 14.36/2.22 c 538 3954 47270 285393 306 0 18 18 9 14.36/2.23 c 539 3963 47423 286423 306 0 9 9 4 14.36/2.24 c 540 3968 47507 287458 306 0 5 5 2 14.36/2.24 c 1000 3327 60948 434273 304 0 5 295 186 14.36/2.24 c 541 3976 47657 288354 306 0 8 8 4 14.36/2.25 c 542 3994 47924 289845 306 0 18 18 9 14.36/2.27 c 543 4003 48077 290875 306 0 9 9 4 14.36/2.28 c 1024 3420 62640 445800 306 0 17 48 37 14.36/2.28 c 1000 3970 68351 439362 306 0 9 135 83 14.36/2.30 c 1025 3433 62833 446847 306 0 13 13 6 15.16/2.31 c 1026 3441 62941 447815 306 0 8 8 4 15.16/2.31 c 1140 4571 77710 494767 306 0 9 423 212 15.16/2.32 c 1027 3454 63055 448915 306 0 13 13 6 15.16/2.33 c 1028 3460 63208 449955 306 0 6 6 3 15.16/2.33 c 1029 3468 63349 450964 306 0 8 8 4 15.16/2.34 c 1030 3481 63463 452064 306 0 13 13 6 15.16/2.35 c 1031 3487 63614 453063 306 0 6 6 3 15.16/2.36 c 1032 3495 63738 453951 306 0 8 8 4 15.16/2.36 c 1033 3508 63824 455011 306 0 13 13 6 15.16/2.37 c 1034 3514 63921 455649 306 0 6 6 3 15.16/2.38 c 1035 3527 64132 456864 306 0 13 13 6 15.16/2.38 c 1585 4501 84271 566295 306 0 48 155 102 15.16/2.39 c 1036 3535 64323 458126 306 0 8 8 4 15.16/2.39 c 1037 3541 64400 458852 306 0 6 6 3 15.96/2.41 c 1038 3548 64495 459730 306 0 7 7 3 15.96/2.42 c 1039 3561 64706 460945 306 0 13 13 6 15.96/2.43 c 1040 3569 64897 462207 306 0 8 8 4 15.96/2.43 c 1041 3575 64974 462933 306 0 6 6 3 15.96/2.44 c 1042 3582 65069 463811 306 0 7 7 3 15.96/2.45 c 1043 3595 65280 465026 306 0 13 13 6 15.96/2.46 c 1044 3603 65471 466288 306 0 8 8 4 15.96/2.47 c 1045 3609 65548 467014 306 0 6 6 3 15.96/2.47 c 1046 3616 65643 467892 306 0 7 7 3 15.96/2.47 c 1352 5498 94439 579482 306 0 9 424 380 15.96/2.48 c 1047 3624 65800 468934 306 0 8 8 4 15.96/2.48 c 1140 4097 72587 534846 306 0 3 143 11 15.96/2.49 c 1048 3629 65895 469923 306 0 5 5 2 15.96/2.49 c 1140 4452 75656 492651 306 0 9 126 95 16.76/2.50 c 1049 3636 65982 470793 306 0 7 7 3 16.76/2.50 c 1050 3644 66083 471950 306 0 8 8 4 16.76/2.51 c 1051 3656 66221 473167 306 0 12 12 6 16.76/2.52 c 1052 3672 66403 474290 306 0 16 16 8 16.76/2.53 c 1053 3676 66473 475117 306 0 4 4 2 16.76/2.53 c 1054 3683 66560 475987 306 0 7 7 3 16.76/2.53 c 1000 4334 75879 453767 306 0 11 338 276 16.76/2.54 c 1055 3691 66661 477144 306 0 8 8 4 16.76/2.55 c 1056 3703 66799 478361 306 0 12 12 6 16.76/2.56 c 1057 3719 66981 479484 306 0 16 16 8 16.76/2.56 c 1058 3723 67051 480311 306 0 4 4 2 16.76/2.58 c 1059 3730 67138 481181 306 0 7 7 3 16.76/2.58 c 1060 3738 67239 482338 306 0 8 8 4 16.76/2.59 c 1061 3750 67377 483555 306 0 12 12 6 16.76/2.60 c 1062 3766 67559 484678 306 0 16 16 8 16.76/2.60 c 1063 3770 67629 485505 306 0 4 4 2 16.76/2.60 c 1024 4416 77723 469218 306 0 9 42 33 17.55/2.61 c 1064 3777 67716 486375 306 0 7 7 3 17.55/2.61 c 1025 4432 77909 470250 306 0 16 16 8 17.55/2.62 c 1065 3785 67817 487532 306 0 8 8 4 17.55/2.62 c 1066 3797 67955 488749 306 0 12 12 6 17.55/2.63 c 1026 4440 78055 471590 306 0 8 8 4 17.55/2.63 c 1067 3813 68137 489872 306 0 16 16 8 17.55/2.64 c 1027 4448 78199 472623 306 0 8 8 4 17.55/2.64 c 1068 3817 68207 490699 306 0 4 4 2 17.55/2.64 c 1069 3824 68291 491528 306 0 7 7 3 17.55/2.64 c 1028 4455 78292 473420 306 0 7 7 3 17.55/2.64 c 1000 3372 65028 490716 306 0 7 358 98 17.55/2.64 c 1070 3826 68373 492710 306 0 2 2 1 17.55/2.65 c 1029 4464 78409 474162 306 0 9 9 4 17.55/2.65 c 1071 3833 68488 493807 306 0 7 7 3 17.55/2.66 c 1030 4471 78529 475081 306 0 7 7 3 17.55/2.66 c 1072 3836 68616 495184 306 0 3 3 1 17.55/2.66 c 1073 3838 68698 496366 306 0 2 2 1 17.55/2.66 c 1031 4479 78646 475948 306 0 8 8 4 17.55/2.68 c 1074 3845 68813 497463 306 0 7 7 3 17.55/2.68 c 1032 4488 78763 476690 306 0 9 9 4 17.55/2.68 c 1075 3848 68941 498840 306 0 3 3 1 17.55/2.69 c 1076 3850 69023 500022 306 0 2 2 1 17.55/2.69 c 1033 4495 78883 477609 306 0 7 7 3 17.55/2.69 c 1077 3857 69138 501119 306 0 7 7 3 18.35/2.70 c 1034 4503 79000 478476 306 0 8 8 4 18.35/2.70 c 1078 3860 69266 502496 306 0 3 3 1 18.35/2.70 c 1841 5325 99329 656278 306 0 9 294 208 18.35/2.70 c 1024 3424 66374 501818 306 0 3 13 7 18.35/2.70 c 1079 3862 69348 503678 306 0 2 2 1 18.35/2.71 c 1035 4512 79117 479218 306 0 9 9 4 18.35/2.71 c 1025 3431 66461 502583 306 0 7 7 3 18.35/2.71 c 1080 3869 69463 504775 306 0 7 7 3 18.35/2.71 c 1585 6465 109262 677301 306 0 9 346 288 18.35/2.71 c 1036 4519 79237 480137 306 0 7 7 3 18.35/2.72 c 1081 3872 69591 506152 306 0 3 3 1 18.35/2.72 c 1026 3452 66722 503869 306 0 21 21 10 18.35/2.72 c 1082 3874 69673 507334 306 0 2 2 1 18.35/2.72 c 1037 4527 79354 481004 306 0 8 8 4 18.35/2.72 c 1027 3457 66789 504580 306 0 5 5 2 18.35/2.73 c 1083 3881 69788 508431 306 0 7 7 3 18.35/2.73 c 1038 4536 79471 481746 306 0 9 9 4 18.35/2.73 c 1028 3459 66871 505579 306 0 2 2 1 18.35/2.73 c 1084 3884 69916 509808 306 0 3 3 1 18.35/2.74 c 1039 4543 79591 482665 306 0 7 7 3 18.35/2.74 c 1085 3886 69998 510990 306 0 2 2 1 18.35/2.74 c 1029 3468 67066 506842 306 0 9 9 4 18.35/2.75 c 1086 3893 70113 512087 306 0 7 7 3 18.35/2.75 c 1040 4551 79708 483532 306 0 8 8 4 18.35/2.75 c 1030 3474 67143 507568 306 0 6 6 3 18.35/2.75 c 1087 3896 70241 513464 306 0 3 3 1 18.35/2.75 c 1031 3481 67230 508333 306 0 7 7 3 18.35/2.75 c 1041 4560 79825 484274 306 0 9 9 4 18.35/2.75 c 1352 5321 87497 570079 306 0 9 245 159 18.35/2.76 c 1042 4567 79945 485193 306 0 7 7 3 18.35/2.77 c 1032 3502 67491 509619 306 0 21 21 10 18.35/2.78 c 1043 4575 80062 486060 306 0 8 8 4 18.35/2.78 c 1033 3507 67558 510330 306 0 5 5 2 18.35/2.79 c 1044 4584 80179 486802 306 0 9 9 4 18.35/2.79 c 1034 3509 67640 511329 306 0 2 2 1 19.15/2.80 c 1035 3518 67835 512592 306 0 9 9 4 19.15/2.80 c 1045 4592 80351 487796 306 0 8 8 4 19.15/2.80 c 1036 3524 67912 513318 306 0 6 6 3 19.15/2.81 c 1046 4600 80468 488663 306 0 8 8 4 19.15/2.81 c 1037 3531 67999 514083 306 0 7 7 3 19.15/2.81 c 1047 4609 80585 489405 306 0 9 9 4 19.15/2.82 c 1038 3552 68260 515369 306 0 21 21 10 19.15/2.82 c 1048 4617 80757 490399 306 0 8 8 4 19.15/2.83 c 1039 3557 68327 516080 306 0 5 5 2 19.15/2.83 c 1040 3559 68409 517079 306 0 2 2 1 19.15/2.83 c 1049 4625 80874 491266 306 0 8 8 4 19.15/2.85 c 1050 4634 80991 492008 306 0 9 9 4 19.15/2.85 c 1041 3568 68604 518342 306 0 9 9 4 19.15/2.86 c 1042 3574 68681 519068 306 0 6 6 3 19.15/2.86 c 1352 4473 83088 630292 306 0 10 24 20 19.15/2.86 c 1051 4642 81113 492855 306 0 8 8 4 19.15/2.86 c 1043 3581 68768 519833 306 0 7 7 3 19.15/2.87 c 1052 4658 81389 494091 306 0 16 16 8 19.15/2.88 c 1044 3602 69029 521119 306 0 21 21 10 19.15/2.88 c 1045 3607 69096 521830 306 0 5 5 2 19.15/2.89 c 1046 3609 69178 522829 306 0 2 2 1 19.95/2.90 c 1053 4705 81913 496227 306 0 47 47 23 19.95/2.90 c 1047 3619 69376 524101 306 0 10 10 5 19.95/2.90 c 1048 3625 69453 524827 306 0 6 6 3 19.95/2.91 c 1049 3632 69540 525592 306 0 7 7 3 19.95/2.91 c 1054 4725 82276 498248 306 0 20 20 10 19.95/2.92 c 1050 3653 69801 526878 306 0 21 21 10 19.95/2.93 c 1051 3658 69868 527589 306 0 5 5 2 19.95/2.94 c 1052 3660 69950 528588 306 0 2 2 1 19.95/2.94 c 1055 4772 82805 500397 306 0 47 47 23 19.95/2.95 c 1053 3671 70150 529861 306 0 11 11 5 19.95/2.95 c 1054 3677 70227 530587 306 0 6 6 3 19.95/2.96 c 1056 4792 83168 502418 306 0 20 20 10 19.95/2.96 c 1055 3684 70314 531352 306 0 7 7 3 19.95/2.96 c 1841 7124 123989 769754 306 0 9 220 174 19.95/2.97 c 1056 3705 70575 532638 306 0 21 21 10 19.95/2.99 c 1057 3710 70642 533349 306 0 5 5 2 19.95/2.99 c 1057 4839 83697 504567 306 0 47 47 23 19.95/3.00 c 1058 3712 70724 534348 306 0 2 2 1 19.95/3.00 c 1059 3724 70926 535622 306 0 12 12 6 20.80/3.01 c 1060 3730 71003 536348 306 0 6 6 3 20.80/3.01 c 1061 3737 71090 537113 306 0 7 7 3 20.80/3.01 c 1058 4859 84060 506588 306 0 20 20 10 20.80/3.03 c 1062 3758 71351 538399 306 0 21 21 10 20.80/3.03 c 1063 3763 71418 539110 306 0 5 5 2 20.80/3.03 c 1059 4906 84589 508737 306 0 47 47 23 20.80/3.04 c 1064 3765 71500 540109 306 0 2 2 1 20.80/3.05 c 1065 3777 71702 541383 306 0 12 12 6 20.80/3.05 c 1060 4926 84952 510758 306 0 20 20 10 20.80/3.05 c 1066 3783 71779 542109 306 0 6 6 3 20.80/3.07 c 1067 3790 71866 542874 306 0 7 7 3 20.80/3.07 c 2122 6406 117685 768642 306 0 14 226 159 20.80/3.08 c 1068 3811 72127 544160 306 0 21 21 10 20.80/3.08 c 1585 6109 102581 662710 306 0 9 226 166 20.80/3.08 c 1061 4973 85481 512907 306 0 47 47 23 20.80/3.09 c 1069 3816 72194 544871 306 0 5 5 2 20.80/3.10 c 1070 3818 72276 545870 306 0 2 2 1 20.80/3.10 c 1062 4993 85844 514928 306 0 20 20 10 20.80/3.10 c 1071 3830 72478 547144 306 0 12 12 6 21.62/3.11 c 1072 3836 72555 547870 306 0 6 6 3 21.62/3.12 c 1073 3843 72642 548635 306 0 7 7 3 21.62/3.12 c 1063 5040 86373 517077 306 0 47 47 23 21.62/3.12 c 1074 3864 72894 549889 306 0 21 21 10 21.62/3.14 c 1075 3877 72998 550959 306 0 13 13 6 21.62/3.14 c 1064 5060 86736 519098 306 0 20 20 10 21.62/3.15 c 1076 3884 73122 551993 306 0 7 7 3 21.62/3.15 c 1585 5424 96482 721019 306 0 11 291 169 21.62/3.15 c 1024 5302 77275 518920 306 0 3 20 10 21.62/3.16 c 1077 3905 73374 553247 306 0 21 21 10 21.62/3.17 c 1078 3918 73478 554317 306 0 13 13 6 21.62/3.17 c 1025 5313 77445 520152 306 0 11 11 5 21.62/3.17 c 1065 5107 87265 521247 306 0 47 47 23 21.62/3.17 c 1079 3925 73602 555351 306 0 7 7 3 21.62/3.18 c 1026 5327 77672 521730 306 0 14 14 7 21.62/3.18 c 2122 8343 145092 883482 306 0 7 290 261 21.62/3.18 c 1066 5127 87628 523268 306 0 20 20 10 21.62/3.18 c 1080 3946 73854 556605 306 0 21 21 10 21.62/3.19 c 1027 5337 77805 522620 306 0 10 10 5 21.62/3.19 c 1081 3959 73958 557675 306 0 13 13 6 22.35/3.20 c 1028 5353 78004 523704 306 0 16 16 8 22.35/3.20 c 1082 3966 74082 558709 306 0 7 7 3 22.35/3.21 c 1067 5174 88157 525417 306 0 47 47 23 22.35/3.21 c 1029 5361 78168 524628 306 0 8 8 4 22.35/3.21 c 1083 3987 74334 559963 306 0 21 21 10 22.35/3.22 c 1030 5370 78314 525376 306 0 9 9 4 22.35/3.22 c 1084 4000 74438 561033 306 0 13 13 6 22.35/3.22 c First solution is found 22.35/3.22 c 1068 5194 88520 527438 306 0 20 20 10 22.35/3.23 c [pFactory][Group N°0] concurent mode: thread 4 has won with the task 0. 22.35/3.23 c [pFactory][Group N°0] Thread N°0 is joined. 22.35/3.23 c [pFactory][Group N°0] Thread N°1 is joined. 22.35/3.23 c [pFactory][Group N°0] Thread N°2 is joined. 22.35/3.23 c [pFactory][Group N°0] Thread N°3 is joined. 22.35/3.23 c [pFactory][Group N°0] Thread N°4 is joined. 22.35/3.23 c [pFactory][Group N°0] Thread N°5 is joined. 22.35/3.23 c [pFactory][Group N°0] Thread N°6 is joined. 22.35/3.23 c [pFactory][Group N°0] Thread N°7 is joined. 22.35/3.23 c [pFactory][Group N°0] Return Code of the winner:1 (Thread N°4) 22.35/3.23 s SATISFIABLE 22.35/3.23 c restarts : 127 22.35/3.23 c conflicts : 1739 (77 /sec) 22.35/3.23 c decisions : 5708 (254 /sec) 22.35/3.23 c propagations : 705274 (31407 /sec) 22.35/3.23 c root propagations : 606 22.35/3.23 c filter calls : 103197 (4596 /sec) 22.35/3.23 c useless filter calls : 32974 (31 %) 22.35/3.23 c Memory used : 637.20 MB 22.35/3.23 c CPU time : 22.4556 s 22.35/3.23 c real time : 3.22439 s 22.35/3.23 22.35/3.23 c solution 1 22.35/3.23 22.35/3.23 v <instantiation type='solution'> 22.35/3.23 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] </list> 22.35/3.23 v <values>6 0 18 18 4 19 * 18 2 20 1 0 * 15 8 6 18 * 18 19 0 7 11 14 13 4 8 3 0 * 10 0 17 4 13 * 20 13 8 19 * 17 4 13 4 4 20 13 8 3 4 13 19 8 5 8 4 3 * 18 19 17 8 10 8 13 6 11 24 3 14 25 4 13 19 7 * 4 18 19 4 18 * 4 11 11 0 * 18 4 4 3 0 24 4 * * 0 8 12 * * * 0 13 6 17 8 11 24 * 4 17 13 4 * * * 2 4 11 18 8 20 18 * 13 20 17 18 4 * * 4 18 18 4 13 18 0 5 0 17 8 * 19 17 8 15 * 6 0 15 * 5 4 11 19 * * * 19 17 14 15 4 25 * 4 18 19 4 18 * 1 4 19 17 0 24 * 13 14 22 0 6 20 4 * 8 18 17 0 4 11 8 18 * 17 4 0 17 * 17 4 13 4 2 20 17 17 4 13 19 * * 18 19 17 4 18 18 5 20 11 * 14 0 19 7 24 4 19 * 0 6 0 15 4 * * 18 13 0 8 11 * 18 19 20 15 14 17 * * 4 17 17 * 6 8 11 4 18 * 3 14 13 14 17 * 8 19 14 * * 18 19 4 4 15 18 * 17 0 17 4 17 * * 6 13 14 12 4 * 11 0 14 22 0 13 3 * 0 11 0 1 0 12 0 13 18 * * 1 4 17 11 8 19 25 0 17 19 18 * 13 0 19 14 * 8 18 14 19 14 15 4 18 * 14 19 19 14 1 0 7 * 0 3 21 4 17 1 * 15 0 14 11 8 * 14 1 19 0 8 13 * * * 21 8 18 0 * 0 17 10 * 7 20 6 14 * 15 14 20 13 2 4 15 4 19 0 11 * * 18 19 0 13 18 * 19 0 19 19 14 14 18 * * * 14 21 4 17 * 19 17 4 4 19 14 15 * * * 17 14 19 * * 0 18 18 19 8 13 24 * 22 24 13 13 * 22 7 14 14 15 * 13 0 1 8 18 2 14 0 13 19 8 1 14 3 8 4 18 * 4 23 15 4 17 8 12 4 13 19 4 17 18 2 4 13 4 * 4 11 18 4 * 17 4 19 17 24 * 8 13 19 14 13 4 7 4 3 6 4 * 17 4 18 19 * 4 13 18 20 4 * 0 25 14 17 4 18 </values> 22.35/3.23 v </instantiation> 22.35/3.23
OK
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 (15260 MiB free) memory of node 1: 16384 MiB (15706 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409344-1569839155/watcher-4409344-1569839155 -o /tmp/evaluation-result-4409344-1569839155/solver-4409344-1569839155 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node126-1569839116-1483 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409344-1569839155.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=1500, runsolver pid=1497 [startup+0.100155 s]* /proc/loadavg: 7.37 8.47 8.66 2/191 1501 /proc/meminfo: memFree=31700660/32770624 swapFree=66997708/67108860 [pid=1500] ppid=1497 vsize=37544 memory=13496 CPUtime=0.1 cores=0-7 /proc/1500/stat : 1500 (cosoco) R 1497 1500 1456 0 -1 4202496 3627 0 0 0 10 0 0 0 20 0 1 0 560183191 38445056 3374 33554432000 4194304 6211132 140732993916256 140732993912792 5817724 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23973888 140732993922065 140732993922157 140732993922157 140732993925070 0 /proc/1500/statm: 9386 3374 816 493 0 2691 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 37544 KiB Current children cumulated memory: 13496 KiB [startup+0.209699 s]* /proc/loadavg: 7.37 8.47 8.66 2/191 1501 /proc/meminfo: memFree=31694496/32770624 swapFree=66997708/67108860 [pid=1500] ppid=1497 vsize=41648 memory=17720 CPUtime=0.21 cores=0-7 /proc/1500/stat : 1500 (cosoco) R 1497 1500 1456 0 -1 4202496 4660 0 0 0 21 0 0 0 20 0 1 0 560183191 42647552 4430 33554432000 4194304 6211132 140732993916256 140732993913528 5818666 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23973888 140732993922065 140732993922157 140732993922157 140732993925070 0 /proc/1500/statm: 10412 4430 816 493 0 3717 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 41648 KiB Current children cumulated memory: 17720 KiB [startup+0.309261 s]* /proc/loadavg: 7.37 8.47 8.66 2/191 1501 /proc/meminfo: memFree=31685940/32770624 swapFree=66997708/67108860 [pid=1500] ppid=1497 vsize=50788 memory=26432 CPUtime=0.31 cores=0-7 /proc/1500/stat : 1500 (cosoco) R 1497 1500 1456 0 -1 4202496 6822 0 0 0 31 0 0 0 20 0 1 0 560183191 52006912 6608 33554432000 4194304 6211132 140732993916256 140732993913528 5490934 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23973888 140732993922065 140732993922157 140732993922157 140732993925070 0 /proc/1500/statm: 12697 6608 816 493 0 6002 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 50788 KiB Current children cumulated memory: 26432 KiB [startup+0.703031 s] /proc/loadavg: 7.37 8.47 8.66 9/199 1509 /proc/meminfo: memFree=31641020/32770624 swapFree=66997708/67108860 [pid=1500] ppid=1497 vsize=685272 memory=71560 CPUtime=2.41 cores=0-7 /proc/1500/stat : 1500 (cosoco) S 1497 1500 1456 0 -1 1077944320 18499 0 0 0 239 2 0 0 20 0 9 0 560183191 701718528 17890 33554432000 4194304 6211132 140732993916256 140732993914512 140543778746103 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 23973888 140732993922065 140732993922157 140732993922157 140732993925070 0 /proc/1500/statm: 171318 17890 844 493 0 164623 0 [pid=1500/tid=1502] ppid=1497 vsize=685272 memory=0 CPUtime=0.24 cores=0-7 /proc/1500/task/1502/stat : 1502 (cosoco) R 1497 1500 1456 0 -1 4202560 50 0 0 0 24 0 0 0 20 0 9 0 560183237 701718528 17890 33554432000 4194304 6211132 140732993916256 140543755602808 5038944 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23973888 140732993922065 140732993922157 140732993922157 140732993925070 0 [pid=1500/tid=1503] ppid=1497 vsize=685272 memory=2276 CPUtime=0.24 cores=0-7 /proc/1500/task/1503/stat : 1503 (cosoco) R 1497 1500 1456 0 -1 4202560 53 0 0 0 24 0 0 0 20 0 9 0 560183237 701718528 17890 33554432000 4194304 6211132 140732993916256 140543747210336 5039199 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23973888 140732993922065 140732993922157 140732993922157 140732993925070 0 [pid=1500/tid=1504] ppid=1497 vsize=685272 memory=0 CPUtime=0.24 cores=0-7 /proc/1500/task/1504/stat : 1504 (cosoco) R 1497 1500 1456 0 -1 4202560 97 0 0 0 24 0 0 0 20 0 9 0 560183237 701718528 17890 33554432000 4194304 6211132 140732993916256 140543738817744 5039536 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23973888 140732993922065 140732993922157 140732993922157 140732993925070 0 [pid=1500/tid=1505] ppid=1497 vsize=685272 memory=0 CPUtime=0.23 cores=0-7 /proc/1500/task/1505/stat : 1505 (cosoco) R 1497 1500 1456 0 -1 4202560 46 0 0 0 23 0 0 0 20 0 9 0 560183237 701718528 17890 33554432000 4194304 6211132 140732993916256 140543730424928 5039038 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23973888 140732993922065 140732993922157 140732993922157 140732993925070 0 [pid=1500/tid=1506] ppid=1497 vsize=685272 memory=4580 CPUtime=0.24 cores=0-7 /proc/1500/task/1506/stat : 1506 (cosoco) R 1497 1500 1456 0 -1 4202560 48 0 0 0 24 0 0 0 20 0 9 0 560183237 701718528 17890 33554432000 4194304 6211132 140732993916256 140543722031992 5039561 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23973888 140732993922065 140732993922157 140732993922157 140732993925070 0 [pid=1500/tid=1507] ppid=1497 vsize=685272 memory=0 CPUtime=0.24 cores=0-7 /proc/1500/task/1507/stat : 1507 (cosoco) R 1497 1500 1456 0 -1 4202560 47 0 0 0 24 0 0 0 20 0 9 0 560183237 701718528 17890 33554432000 4194304 6211132 140732993916256 140543713639520 5186344 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23973888 140732993922065 140732993922157 140732993922157 140732993925070 0 [pid=1500/tid=1508] ppid=1497 vsize=685272 memory=0 CPUtime=0.24 cores=0-7 /proc/1500/task/1508/stat : 1508 (cosoco) R 1497 1500 1456 0 -1 4202560 109 0 0 0 24 0 0 0 20 0 9 0 560183237 701718528 17890 33554432000 4194304 6211132 140732993916256 140543705246664 140543762701118 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23973888 140732993922065 140732993922157 140732993922157 140732993925070 0 [pid=1500/tid=1509] ppid=1497 vsize=685272 memory=0 CPUtime=0.24 cores=0-7 /proc/1500/task/1509/stat : 1509 (cosoco) R 1497 1500 1456 0 -1 4202560 39 0 0 0 24 0 0 0 20 0 9 0 560183237 701718528 17890 33554432000 4194304 6211132 140732993916256 140543696853880 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23973888 140732993922065 140732993922157 140732993922157 140732993925070 0 Current children cumulated CPU time: 2.41 s Current children cumulated vsize: 685272 KiB Current children cumulated memory: 71560 KiB [startup+1.50103 s] /proc/loadavg: 7.37 8.47 8.66 10/199 1509 /proc/meminfo: memFree=31639712/32770624 swapFree=66997708/67108860 [pid=1500] ppid=1497 vsize=685272 memory=76164 CPUtime=8.78 cores=0-7 /proc/1500/stat : 1500 (cosoco) S 1497 1500 1456 0 -1 1077944320 30198 0 0 0 871 7 0 0 20 0 9 0 560183191 701718528 19041 33554432000 4194304 6211132 140732993916256 140732993914512 140543778746103 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 23973888 140732993922065 140732993922157 140732993922157 140732993925070 0 /proc/1500/statm: 171318 19041 851 493 0 164623 0 [pid=1500/tid=1502] ppid=1497 vsize=685272 memory=4294967295 CPUtime=1.03 cores=0-7 /proc/1500/task/1502/stat : 1502 (cosoco) R 1497 1500 1456 0 -1 4202560 1950 0 0 0 102 1 0 0 20 0 9 0 560183237 701718528 19041 33554432000 4194304 6211132 140732993916256 140543755603040 5038990 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23973888 140732993922065 140732993922157 140732993922157 140732993925070 0 [pid=1500/tid=1503] ppid=1497 vsize=685272 memory=0 CPUtime=1.04 cores=0-7 /proc/1500/task/1503/stat : 1503 (cosoco) R 1497 1500 1456 0 -1 4202560 2149 0 0 0 104 0 0 0 20 0 9 0 560183237 701718528 19041 33554432000 4194304 6211132 140732993916256 140543747210336 5039022 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23973888 140732993922065 140732993922157 140732993922157 140732993925070 0 [pid=1500/tid=1504] ppid=1497 vsize=685272 memory=0 CPUtime=1.04 cores=0-7 /proc/1500/task/1504/stat : 1504 (cosoco) R 1497 1500 1456 0 -1 4202560 1522 0 0 0 103 1 0 0 20 0 9 0 560183237 701718528 19041 33554432000 4194304 6211132 140732993916256 140543738817632 5038944 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23973888 140732993922065 140732993922157 140732993922157 140732993925070 0 [pid=1500/tid=1505] ppid=1497 vsize=685272 memory=0 CPUtime=1.01 cores=0-7 /proc/1500/task/1505/stat : 1505 (cosoco) R 1497 1500 1456 0 -1 4202560 1338 0 0 0 101 0 0 0 20 0 9 0 560183237 701718528 19041 33554432000 4194304 6211132 140732993916256 140543730424928 5038992 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23973888 140732993922065 140732993922157 140732993922157 140732993925070 0 [pid=1500/tid=1506] ppid=1497 vsize=685272 memory=0 CPUtime=1.04 cores=0-7 /proc/1500/task/1506/stat : 1506 (cosoco) R 1497 1500 1456 0 -1 4202560 1497 0 0 0 103 1 0 0 20 0 9 0 560183237 701718528 19041 33554432000 4194304 6211132 140732993916256 140543722032224 5038964 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23973888 140732993922065 140732993922157 140732993922157 140732993925070 0 [pid=1500/tid=1507] ppid=1497 vsize=685272 memory=290710092 CPUtime=1.04 cores=0-7 /proc/1500/task/1507/stat : 1507 (cosoco) R 1497 1500 1456 0 -1 4202560 1250 0 0 0 104 0 0 0 20 0 9 0 560183237 701718528 19041 33554432000 4194304 6211132 140732993916256 140543713639520 5039038 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23973888 140732993922065 140732993922157 140732993922157 140732993925070 0 [pid=1500/tid=1508] ppid=1497 vsize=685272 memory=0 CPUtime=1.04 cores=0-7 /proc/1500/task/1508/stat : 1508 (cosoco) R 1497 1500 1456 0 -1 4202560 1524 0 0 0 104 0 0 0 20 0 9 0 560183237 701718528 19041 33554432000 4194304 6211132 140732993916256 140543705246816 5389440 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23973888 140732993922065 140732993922157 140732993922157 140732993925070 0 [pid=1500/tid=1509] ppid=1497 vsize=685272 memory=0 CPUtime=1.03 cores=0-7 /proc/1500/task/1509/stat : 1509 (cosoco) R 1497 1500 1456 0 -1 4202560 960 0 0 0 103 0 0 0 20 0 9 0 560183237 701718528 19041 33554432000 4194304 6211132 140732993916256 140543696854112 5039014 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23973888 140732993922065 140732993922157 140732993922157 140732993925070 0 Current children cumulated CPU time: 8.78 s Current children cumulated vsize: 685272 KiB Current children cumulated memory: 76164 KiB [startup+3.11003 s] /proc/loadavg: 7.37 8.47 8.66 9/199 1509 /proc/meminfo: memFree=31634752/32770624 swapFree=66997708/67108860 [pid=1500] ppid=1497 vsize=685272 memory=77692 CPUtime=21.62 cores=0-7 /proc/1500/stat : 1500 (cosoco) S 1497 1500 1456 0 -1 1077944320 37739 0 0 0 2151 11 0 0 20 0 9 0 560183191 701718528 19423 33554432000 4194304 6211132 140732993916256 140732993914512 140543778746103 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 23973888 140732993922065 140732993922157 140732993922157 140732993925070 0 /proc/1500/statm: 171318 19423 851 493 0 164623 0 [pid=1500/tid=1502] ppid=1497 vsize=685272 memory=77484 CPUtime=2.65 cores=0-7 /proc/1500/task/1502/stat : 1502 (cosoco) R 1497 1500 1456 0 -1 4202560 2594 0 0 0 263 2 0 0 20 0 9 0 560183237 701718528 19423 33554432000 4194304 6211132 140732993916256 140543755603040 5038990 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23973888 140732993922065 140732993922157 140732993922157 140732993925070 0 [pid=1500/tid=1503] ppid=1497 vsize=685272 memory=3620 CPUtime=2.65 cores=0-7 /proc/1500/task/1503/stat : 1503 (cosoco) R 1497 1500 1456 0 -1 4202560 2433 0 0 0 265 0 0 0 20 0 9 0 560183237 701718528 19423 33554432000 4194304 6211132 140732993916256 140543747210336 5039038 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23973888 140732993922065 140732993922157 140732993922157 140732993925070 0 [pid=1500/tid=1504] ppid=1497 vsize=685272 memory=10852 CPUtime=2.65 cores=0-7 /proc/1500/task/1504/stat : 1504 (cosoco) R 1497 1500 1456 0 -1 4202560 2433 0 0 0 263 2 0 0 20 0 9 0 560183237 701718528 19423 33554432000 4194304 6211132 140732993916256 140543738817632 5039014 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23973888 140732993922065 140732993922157 140732993922157 140732993925070 0 [pid=1500/tid=1505] ppid=1497 vsize=685272 memory=984 CPUtime=2.59 cores=0-7 /proc/1500/task/1505/stat : 1505 (cosoco) R 1497 1500 1456 0 -1 4202560 2617 0 0 0 259 0 0 0 20 0 9 0 560183237 701718528 19423 33554432000 4194304 6211132 140732993916256 140543730424928 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23973888 140732993922065 140732993922157 140732993922157 140732993925070 0 [pid=1500/tid=1506] ppid=1497 vsize=685272 memory=76676 CPUtime=2.64 cores=0-7 /proc/1500/task/1506/stat : 1506 (cosoco) R 1497 1500 1456 0 -1 4202560 2351 0 0 0 263 1 0 0 20 0 9 0 560183237 701718528 19423 33554432000 4194304 6211132 140732993916256 140543722032224 5038686 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23973888 140732993922065 140732993922157 140732993922157 140732993925070 0 [pid=1500/tid=1507] ppid=1497 vsize=685272 memory=0 CPUtime=2.64 cores=0-7 /proc/1500/task/1507/stat : 1507 (cosoco) R 1497 1500 1456 0 -1 4202560 2419 0 0 0 264 0 0 0 20 0 9 0 560183237 701718528 19423 33554432000 4194304 6211132 140732993916256 140543713639520 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23973888 140732993922065 140732993922157 140732993922157 140732993925070 0 [pid=1500/tid=1508] ppid=1497 vsize=685272 memory=0 CPUtime=2.64 cores=0-7 /proc/1500/task/1508/stat : 1508 (cosoco) R 1497 1500 1456 0 -1 4202560 2577 0 0 0 264 0 0 0 20 0 9 0 560183237 701718528 19423 33554432000 4194304 6211132 140732993916256 140543705246816 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23973888 140732993922065 140732993922157 140732993922157 140732993925070 0 [pid=1500/tid=1509] ppid=1497 vsize=685272 memory=0 CPUtime=2.64 cores=0-7 /proc/1500/task/1509/stat : 1509 (cosoco) R 1497 1500 1456 0 -1 4202560 2303 0 0 0 263 1 0 0 20 0 9 0 560183237 701718528 19423 33554432000 4194304 6211132 140732993916256 140543696854112 5394436 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23973888 140732993922065 140732993922157 140732993922157 140732993925070 0 Current children cumulated CPU time: 21.62 s Current children cumulated vsize: 685272 KiB Current children cumulated memory: 77692 KiB [startup+3.23878 s] # the end of solver process 1500 was just reported to runsolver # cumulated CPU time of all completed processes: user=22.4557 s, system=0.123859 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+3.20103 s] /proc/loadavg: 7.37 8.47 8.66 9/199 1509 /proc/meminfo: memFree=31634752/32770624 swapFree=66997708/67108860 [pid=1500] ppid=1497 vsize=685272 memory=77764 CPUtime=22.35 cores=0-7 /proc/1500/stat : 1500 (cosoco) S 1497 1500 1456 0 -1 1077944320 37781 0 0 0 2224 11 0 0 20 0 9 0 560183191 701718528 19441 33554432000 4194304 6211132 140732993916256 140732993914512 140543778746103 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 23973888 140732993922065 140732993922157 140732993922157 140732993925070 0 /proc/1500/statm: 171318 19441 851 493 0 164623 0 [pid=1500/tid=1502] ppid=1497 vsize=685272 memory=0 CPUtime=2.74 cores=0-7 /proc/1500/task/1502/stat : 1502 (cosoco) R 1497 1500 1456 0 -1 4202560 2595 0 0 0 272 2 0 0 20 0 9 0 560183237 701718528 19441 33554432000 4194304 6211132 140732993916256 140543755603040 5037825 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23973888 140732993922065 140732993922157 140732993922157 140732993925070 0 [pid=1500/tid=1503] ppid=1497 vsize=685272 memory=0 CPUtime=2.74 cores=0-7 /proc/1500/task/1503/stat : 1503 (cosoco) R 1497 1500 1456 0 -1 4202560 2456 0 0 0 274 0 0 0 20 0 9 0 560183237 701718528 19441 33554432000 4194304 6211132 140732993916256 140543747209944 5038990 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23973888 140732993922065 140732993922157 140732993922157 140732993925070 0 [pid=1500/tid=1504] ppid=1497 vsize=685272 memory=0 CPUtime=2.74 cores=0-7 /proc/1500/task/1504/stat : 1504 (cosoco) R 1497 1500 1456 0 -1 4202560 2433 0 0 0 272 2 0 0 20 0 9 0 560183237 701718528 19441 33554432000 4194304 6211132 140732993916256 140543738817632 5039038 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23973888 140732993922065 140732993922157 140732993922157 140732993925070 0 [pid=1500/tid=1505] ppid=1497 vsize=685272 memory=279721287953456 CPUtime=2.68 cores=0-7 /proc/1500/task/1505/stat : 1505 (cosoco) R 1497 1500 1456 0 -1 4202560 2617 0 0 0 268 0 0 0 20 0 9 0 560183237 701718528 19441 33554432000 4194304 6211132 140732993916256 140543730424928 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23973888 140732993922065 140732993922157 140732993922157 140732993925070 0 [pid=1500/tid=1506] ppid=1497 vsize=685272 memory=-7035114785800479027 CPUtime=2.73 cores=0-7 /proc/1500/task/1506/stat : 1506 (cosoco) R 1497 1500 1456 0 -1 4202560 2373 0 0 0 272 1 0 0 20 0 9 0 560183237 701718528 19441 33554432000 4194304 6211132 140732993916256 140543722032224 5037821 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23973888 140732993922065 140732993922157 140732993922157 140732993925070 0 [pid=1500/tid=1507] ppid=1497 vsize=685272 memory=0 CPUtime=2.73 cores=0-7 /proc/1500/task/1507/stat : 1507 (cosoco) R 1497 1500 1456 0 -1 4202560 2419 0 0 0 273 0 0 0 20 0 9 0 560183237 701718528 19441 33554432000 4194304 6211132 140732993916256 140543713639520 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23973888 140732993922065 140732993922157 140732993922157 140732993925070 0 [pid=1500/tid=1508] ppid=1497 vsize=685272 memory=0 CPUtime=2.73 cores=0-7 /proc/1500/task/1508/stat : 1508 (cosoco) R 1497 1500 1456 0 -1 4202560 2577 0 0 0 273 0 0 0 20 0 9 0 560183237 701718528 19441 33554432000 4194304 6211132 140732993916256 140543705246816 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23973888 140732993922065 140732993922157 140732993922157 140732993925070 0 [pid=1500/tid=1509] ppid=1497 vsize=685272 memory=0 CPUtime=2.73 cores=0-7 /proc/1500/task/1509/stat : 1509 (cosoco) R 1497 1500 1456 0 -1 4202560 2303 0 0 0 272 1 0 0 20 0 9 0 560183237 701718528 19441 33554432000 4194304 6211132 140732993916256 140543696854112 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23973888 140732993922065 140732993922157 140732993922157 140732993925070 0 Current children cumulated CPU time: 22.35 s Current children cumulated vsize: 685272 KiB Current children cumulated memory: 77764 KiB Child status: 0 Real time (s): 3.23883 CPU time (s): 22.5795 CPU user time (s): 22.4557 CPU system time (s): 0.123859 CPU usage (%): 697.151 Max. virtual memory (cumulated for all children) (KiB): 685272 Max. memory (cumulated for all children) (KiB): 77764 getrusage(RUSAGE_CHILDREN,...) data: user time used= 22.4557 system time used= 0.123859 maximum resident set size= 78884 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 37928 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= 409 involuntary context switches= 448 # summary of solver processes directly reported to runsolver: # pid: 1500 # total CPU time (s): 22.5795 # total CPU user time (s): 22.4557 # total CPU system time (s): 0.123859 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.045472 second user time and 0.079054 second system time The end
Begin job on node126 at 2019-09-30 12:25:16 IDJOB=4409344 IDBENCH=140360 IDSOLVER=2877 FILE ID=node126/4409344-1569839155 RUNJOBID= node126-1569839116-1483 PBS_JOBID= 21705964 Free space on /tmp= 62032 MiB SOLVER NAME= cosoco 2.0 parallel BENCH NAME= XCSP17/Crossword/Crossword-m1c-words-herald/Crossword-m1c-words-h2303.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409344-1569839155/watcher-4409344-1569839155 -o /tmp/evaluation-result-4409344-1569839155/solver-4409344-1569839155 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node126-1569839116-1483 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409344-1569839155.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 4f78cb4d5ebc47069554ab66515ce573 RANDOM SEED=1173994510 node126.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.45 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.56 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.45 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.56 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.45 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.56 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.45 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31709928 kB MemAvailable: 31857068 kB Buffers: 121244 kB Cached: 344424 kB SwapCached: 7400 kB Active: 324616 kB Inactive: 150968 kB Active(anon): 3520 kB Inactive(anon): 82084 kB Active(file): 321096 kB Inactive(file): 68884 kB Unevictable: 109440 kB Mlocked: 109440 kB SwapTotal: 67108860 kB SwapFree: 66997708 kB Dirty: 3512 kB Writeback: 0 kB AnonPages: 113288 kB Mapped: 26532 kB Shmem: 66832 kB Slab: 175912 kB SReclaimable: 145988 kB SUnreclaim: 29924 kB KernelStack: 3360 kB PageTables: 5856 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 539684 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 130432 kB DirectMap2M: 33415168 kB Free space on /tmp at the end= 62028 MiB End job on node126 at 2019-09-30 12:25:20