| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco 2.O parallel | SAT | 17.9923 | 2.66073 |
| 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.48 c root propagations : 606 0.40/0.48 c restarts enabled, print stats at every restarts 0.40/0.48 c 0.40/0.48 c 0.40/0.48 c root propagations : 606 0.40/0.48 c restarts enabled, print stats at every restarts 0.40/0.48 c 0.40/0.48 c 0.40/0.48 c 0.40/0.48 c This is cosoco 2.00 -- 0.40/0.48 c 0.40/0.48 c command line: cosoco -model -nbcores=8 HOME/instance-4398084-1568614506.xml 0.40/0.48 c ========================================[ Problem Statistics ]=========================================== 0.40/0.48 c | 0.40/0.48 c | Parse time : 0.43 s 0.40/0.48 c | 0.40/0.48 c | Variables: 529 0.40/0.48 c | Domain Sizes: 26..26 0.40/0.48 c | 0.40/0.48 c | Constraints: 174 0.40/0.48 c | Arity: 3..13 -- Ternary: 26 0.40/0.48 c | 0.40/0.48 c | Types: 0.40/0.48 c | Extension: 174 (nb tuples: 535..7360) -- (shared: 1304) 0.40/0.48 c | 0.40/0.48 c ========================================================================================================= 0.40/0.48 c Parallel mode: Portfolio 0.40/0.48 c [pFactory][Group N°0] created (threads:8). 0.40/0.48 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 0.40/0.48 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 0.40/0.48 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 0.40/0.48 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 0.40/0.48 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 0.40/0.48 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 0.40/0.48 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 0.40/0.48 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 0.40/0.48 c [pFactory][Group N°0] concurrent mode: enabled. 0.40/0.48 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 0.40/0.48 c [pFactory][Group N°0] task 7 launched on thread 0. 0.40/0.48 c [pFactory][Group N°0] task 6 launched on thread 1. 0.40/0.48 c [pFactory][Group N°0] task 5 launched on thread 2. 0.40/0.48 c [pFactory][Group N°0] task 4 launched on thread 6. 0.40/0.48 c [pFactory][Group N°0] task 3 launched on thread 7. 0.40/0.48 c [pFactory][Group N°0] task 2 launched on thread 5. 0.40/0.48 c [pFactory][Group N°0] task 1 launched on thread 3. 0.40/0.48 c [pFactory][Group N°0] task 0 launched on thread 4. 0.40/0.48 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depthc conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.40/0.48 0.40/0.48 c remove useless variable x[0][6] 0.40/0.48 c remove useless variable x[0][12] 0.40/0.48 c remove useless variable x[0][17] 0.40/0.48 c remove useless variable x[0][6] 0.40/0.48 c remove useless variable x[0][12] 0.40/0.48 c remove useless variable x[0][17] 0.40/0.48 c remove useless variable x[1][6] 0.40/0.48 c remove useless variable x[1][12] 0.40/0.48 c remove useless variable x[1][6] 0.40/0.48 c remove useless variable x[1][12] 0.40/0.48 c remove useless variable x[1][17] 0.40/0.48 c remove useless variable x[2][12] 0.40/0.48 c remove useless variable x[1][17] 0.40/0.48 c remove useless variable x[3][7] 0.40/0.48 c remove useless variable x[2][12] 0.40/0.48 c remove useless variable x[3][13] 0.40/0.48 c remove useless variable x[3][18] 0.40/0.48 c remove useless variable x[3][7] 0.40/0.48 c remove useless variable x[4][3] 0.40/0.48 c remove useless variable x[3][13] 0.40/0.48 c remove useless variable x[3][18] 0.40/0.48 c remove useless variable x[4][4] 0.40/0.48 c remove useless variable x[4][8] 0.40/0.48 c remove useless variable x[4][3] 0.40/0.48 c remove useless variable x[4][4] 0.40/0.48 c remove useless variable x[4][8] 0.40/0.48 c remove useless variable x[4][9] 0.40/0.48 c remove useless variable x[4][10] 0.40/0.48 c remove useless variable x[4][18] 0.40/0.48 c remove useless variable x[4][9] 0.40/0.48 c remove useless variable x[4][10] 0.40/0.48 c remove useless variable x[4][18] 0.40/0.48 c remove useless variable x[5][0] 0.40/0.48 c remove useless variable x[5][0] 0.40/0.48 c remove useless variable x[5][1] 0.40/0.48 c remove useless variable x[5][2] 0.40/0.48 c remove useless variable x[5][1] 0.40/0.48 c remove useless variable x[5][10] 0.40/0.48 c remove useless variable x[5][2] 0.40/0.48 c remove useless variable x[5][16] 0.40/0.48 c remove useless variable x[5][10] 0.40/0.48 c remove useless variable x[5][16] 0.40/0.48 c remove useless variable x[5][17] 0.40/0.48 c remove useless variable x[5][17] 0.40/0.48 c remove useless variable x[6][6] 0.40/0.48 c remove useless variable x[6][11] 0.40/0.48 c remove useless variable x[6][6] 0.40/0.48 c remove useless variable x[6][15] 0.40/0.48 c remove useless variable x[6][11] 0.40/0.48 c remove useless variable x[6][20] 0.40/0.48 c remove useless variable x[6][15] 0.40/0.48 c remove useless variable x[6][21] 0.40/0.48 c remove useless variable x[6][20] 0.40/0.48 c remove useless variable x[6][21] 0.40/0.48 c remove useless variable x[6][22] 0.40/0.48 c remove useless variable x[6][22] 0.40/0.48 c remove useless variable x[7][6] 0.40/0.48 c remove useless variable x[7][12] 0.40/0.48 c remove useless variable x[7][6] 0.40/0.48 c remove useless variable x[7][19] 0.40/0.48 c remove useless variable x[7][12] 0.40/0.48 c remove useless variable x[8][4] 0.40/0.48 c remove useless variable x[8][13] 0.40/0.48 c remove useless variable x[8][18] 0.40/0.48 c remove useless variable x[7][19] 0.40/0.48 c remove useless variable x[9][7] 0.40/0.48 c remove useless variable x[8][4] 0.40/0.48 c remove useless variable x[8][13] 0.40/0.48 c remove useless variable x[9][8] 0.40/0.48 c remove useless variable x[8][18] 0.40/0.48 c remove useless variable x[9][18] 0.40/0.48 c remove useless variable x[9][7] 0.40/0.48 c remove useless variable x[10][3] 0.40/0.48 c remove useless variable x[10][9] 0.40/0.48 c remove useless variable x[10][10] 0.40/0.48 c remove useless variable x[9][8] 0.40/0.48 c remove useless variable x[10][16] 0.40/0.48 c remove useless variable x[11][0] 0.40/0.48 c remove useless variable x[9][18] 0.40/0.48 c remove useless variable x[11][1] 0.40/0.48 c remove useless variable x[11][5] 0.40/0.48 c remove useless variable x[10][3] 0.40/0.48 c remove useless variable x[11][11] 0.40/0.48 c remove useless variable x[10][9] 0.40/0.48 c remove useless variable x[11][17] 0.40/0.48 c remove useless variable x[10][10] 0.40/0.48 c remove useless variable x[10][16] 0.40/0.48 c remove useless variable x[11][21] 0.40/0.48 c remove useless variable x[11][0] 0.40/0.48 c remove useless variable x[11][22] 0.40/0.48 c remove useless variable x[11][1] 0.40/0.48 c remove useless variable x[12][6] 0.40/0.48 c remove useless variable x[11][5] 0.40/0.48 c remove useless variable x[12][12] 0.40/0.48 c remove useless variable x[12][13] 0.40/0.48 c remove useless variable x[11][11] 0.40/0.48 c remove useless variable x[12][19] 0.40/0.48 c remove useless variable x[11][17] 0.40/0.48 c remove useless variable x[13][4] 0.40/0.48 c remove useless variable x[11][21] 0.40/0.48 c remove useless variable x[13][14] 0.40/0.48 c remove useless variable x[13][15] 0.40/0.48 c remove useless variable x[11][22] 0.40/0.48 c remove useless variable x[14][4] 0.40/0.48 c remove useless variable x[14][9] 0.40/0.48 c remove useless variable x[14][18] 0.40/0.48 c remove useless variable x[12][6] 0.40/0.48 c remove useless variable x[15][3] 0.40/0.48 c remove useless variable x[12][12] 0.40/0.48 c remove useless variable x[15][10] 0.40/0.48 c remove useless variable x[15][16] 0.40/0.48 c remove useless variable x[12][13] 0.40/0.48 c remove useless variable x[16][0] 0.40/0.48 c remove useless variable x[16][1] 0.40/0.48 c remove useless variable x[16][2] 0.40/0.48 c remove useless variable x[12][19] 0.40/0.48 c remove useless variable x[16][7] 0.40/0.48 c remove useless variable x[13][4] 0.40/0.48 c remove useless variable x[16][11] 0.40/0.48 c remove useless variable x[13][14] 0.40/0.48 c remove useless variable x[13][15] 0.40/0.48 c remove useless variable x[14][4] 0.40/0.48 c remove useless variable x[14][9] 0.40/0.48 c remove useless variable x[16][16] 0.40/0.48 c remove useless variable x[14][18] 0.40/0.48 c remove useless variable x[17][5] 0.40/0.48 c remove useless variable x[17][6] 0.40/0.48 c remove useless variable x[15][3] 0.40/0.48 c remove useless variable x[17][12] 0.40/0.48 c remove useless variable x[15][10] 0.40/0.48 c remove useless variable x[17][20] 0.40/0.48 c remove useless variable x[17][21] 0.40/0.48 c remove useless variable x[17][22] 0.40/0.48 c remove useless variable x[15][16] 0.40/0.48 c remove useless variable x[18][4] 0.40/0.48 c remove useless variable x[16][0] 0.40/0.48 c remove useless variable x[18][12] 0.40/0.48 c remove useless variable x[18][13] 0.40/0.48 c remove useless variable x[18][14] 0.40/0.48 c remove useless variable x[18][18] 0.40/0.48 c remove useless variable x[18][19] 0.40/0.48 c remove useless variable x[19][4] 0.40/0.48 c remove useless variable x[19][9] 0.40/0.48 c remove useless variable x[19][15] 0.40/0.48 c remove useless variable x[16][1] 0.40/0.48 c remove useless variable x[20][10] 0.40/0.48 c remove useless variable x[21][5] 0.40/0.48 c remove useless variable x[21][10] 0.40/0.48 c remove useless variable x[16][2] 0.40/0.48 c remove useless variable x[21][16] 0.40/0.48 c remove useless variable x[22][5] 0.40/0.48 c remove useless variable x[22][10] 0.40/0.48 c remove useless variable x[16][7] 0.40/0.48 c remove useless variable x[22][16] 0.40/0.48 c remove useless variable x[16][11] 0.40/0.48 c remove useless variable x[16][16] 0.40/0.48 c remove useless variable x[17][5] 0.40/0.48 c remove useless variable x[17][6] 0.40/0.48 c remove useless variable x[17][12] 0.40/0.48 c remove useless variable x[17][20] 0.40/0.48 c remove useless variable x[17][21] 0.40/0.48 c remove useless variable x[17][22] 0.40/0.48 c remove useless variable x[18][4] 0.40/0.48 c remove useless variable x[18][12] 0.40/0.48 c remove useless variable x[18][13] 0.40/0.48 c remove useless variable x[18][14] 0.40/0.48 c remove useless variable x[18][18] 0.40/0.48 c remove useless variable x[18][19] 0.40/0.48 c remove useless variable x[19][4] 0.40/0.48 c remove useless variable x[19][9] 0.40/0.48 c remove useless variable x[19][15] 0.40/0.48 c remove useless variable x[20][10] 0.40/0.48 c remove useless variable x[21][5] 0.40/0.48 c remove useless variable x[21][10] 0.40/0.48 c remove useless variable x[21][16] 0.40/0.48 c remove useless variable x[22][5] 0.40/0.48 c remove useless variable x[22][10] 0.40/0.48 c remove useless variable x[22][16] 0.40/0.48 c c 0 0 1 319 1 607 319607 304 304 0 0 0 0 0 0.40/0.48 0 0 0 0.40/0.48 c 0 2 319 c 608 0 304 2 0 319 608 304 0 0 0 0 0.40/0.48 0 0 0 0.40/0.48 c root propagations : 606 0.40/0.48 c restarts enabled, print stats at every restarts 0.40/0.48 c 0.40/0.48 c 0.40/0.48 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.40/0.48 c remove useless variable x[0][6] 0.40/0.48 c remove useless variable x[0][12] 0.40/0.48 c remove useless variable x[0][17] 0.40/0.48 c remove useless variable x[1][6] 0.40/0.48 c remove useless variable x[1][12] 0.40/0.48 c remove useless variable x[1][17] 0.40/0.48 c remove useless variable x[2][12] 0.40/0.48 c remove useless variable x[3][7] 0.40/0.48 c remove useless variable x[3][13] 0.40/0.48 c remove useless variable x[3][18] 0.40/0.48 c remove useless variable x[4][3] 0.40/0.48 c remove useless variable x[4][4] 0.40/0.48 c remove useless variable x[4][8] 0.40/0.48 c remove useless variable x[4][9] 0.40/0.48 c remove useless variable x[4][10] 0.40/0.48 c remove useless variable x[4][18] 0.40/0.48 c remove useless variable x[5][0] 0.40/0.48 c remove useless variable x[5][1] 0.40/0.48 c remove useless variable x[5][2] 0.40/0.48 c remove useless variable x[5][10] 0.40/0.48 c remove useless variable x[5][16] 0.40/0.48 c remove useless variable x[5][17] 0.40/0.48 c remove useless variable x[6][6] 0.40/0.48 c remove useless variable x[6][11] 0.40/0.48 c remove useless variable x[6][15] 0.40/0.48 c remove useless variable x[6][20] 0.40/0.48 c remove useless variable x[6][21] 0.40/0.48 c remove useless variable x[6][22] 0.40/0.48 c remove useless variable x[7][6] 0.40/0.48 c remove useless variable x[7][12] 0.40/0.48 c remove useless variable x[7][19] 0.40/0.48 c remove useless variable x[8][4] 0.40/0.48 c remove useless variable x[8][13] 0.40/0.48 c remove useless variable x[8][18] 0.40/0.48 c remove useless variable x[9][7] 0.40/0.48 c remove useless variable x[9][8] 0.40/0.48 c remove useless variable x[9][18] 0.40/0.48 c remove useless variable x[10][3] 0.40/0.48 c remove useless variable x[10][9] 0.40/0.48 c remove useless variable x[10][10] 0.40/0.48 c remove useless variable x[10][16] 0.40/0.48 c remove useless variable x[11][0] 0.40/0.48 c remove useless variable x[11][1] 0.40/0.48 c remove useless variable x[11][5] 0.40/0.48 c remove useless variable x[11][11] 0.40/0.48 c remove useless variable x[11][17] 0.40/0.48 c remove useless variable x[11][21] 0.40/0.48 c remove useless variable x[11][22] 0.40/0.48 c remove useless variable x[12][6] 0.40/0.48 c remove useless variable x[12][12] 0.40/0.48 c remove useless variable x[12][13] 0.40/0.48 c remove useless variable x[12][19] 0.40/0.48 c remove useless variable x[13][4] 0.40/0.48 c remove useless variable x[13][14] 0.40/0.48 c remove useless variable x[13][15] 0.40/0.48 c remove useless variable x[14][4] 0.40/0.48 c remove useless variable x[14][9] 0.40/0.48 c remove useless variable x[14][18] 0.40/0.48 c remove useless variable x[15][3] 0.40/0.48 c remove useless variable x[15][10] 0.40/0.48 c remove useless variable x[15][16] 0.40/0.48 c remove useless variable x[16][0] 0.40/0.48 c remove useless variable x[16][1] 0.40/0.48 c remove useless variable x[16][2] 0.40/0.48 c remove useless variable x[16][7] 0.40/0.48 c remove useless variable x[16][11] 0.40/0.48 c remove useless variable x[16][16] 0.40/0.48 c remove useless variable x[17][5] 0.40/0.48 c remove useless variable x[17][6] 0.40/0.48 c remove useless variable x[17][12] 0.40/0.48 c remove useless variable x[17][20] 0.40/0.48 c remove useless variable x[17][21] 0.40/0.48 c remove useless variable x[17][22] 0.40/0.48 c remove useless variable x[18][4] 0.40/0.48 c remove useless variable x[18][12] 0.40/0.48 c remove useless variable x[18][13] 0.40/0.48 c remove useless variable x[18][14] 0.40/0.48 c remove useless variable x[18][18] 0.40/0.48 c remove useless variable x[18][19] 0.40/0.48 c remove useless variable x[19][4] 0.40/0.48 c remove useless variable x[19][9] 0.40/0.48 c remove useless variable x[19][15] 0.40/0.48 c remove useless variable x[20][10] 0.40/0.48 c remove useless variable x[21][5] 0.40/0.48 c remove useless variable x[21][10] 0.40/0.48 c remove useless variable x[21][16] 0.40/0.48 c remove useless variable x[22][5] 0.40/0.48 c remove useless variable x[22][10] 0.40/0.48 c remove useless variable x[22][16] 0.40/0.48 c root propagations : 606 0.40/0.48 c restarts enabled, print stats at every restarts 0.40/0.48 c 0.40/0.48 c 0.40/0.48 c root propagations : 606 0.40/0.48 c restarts enabled, print stats at every restarts 0.40/0.48 c 0.40/0.48 c 0.40/0.48 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.40/0.48 c remove useless variable x[0][6] 0.40/0.48 c remove useless variable x[0][12] 0.40/0.48 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.40/0.48 c remove useless variable x[0][17] 0.40/0.48 c remove useless variable x[0][6] 0.40/0.48 c remove useless variable x[1][6] 0.40/0.48 c remove useless variable x[0][12] 0.40/0.48 c remove useless variable x[0][17] 0.40/0.48 c remove useless variable x[1][6] 0.40/0.48 c remove useless variable x[1][12] 0.40/0.48 c 0 1 319 607 304 0 0 0 0 0.40/0.48 c remove useless variable x[1][12] 0.40/0.48 c remove useless variable x[1][17] 0.40/0.48 c remove useless variable x[1][17] 0.40/0.48 c remove useless variable x[2][12] 0.40/0.48 c remove useless variable x[2][12] 0.40/0.48 c remove useless variable x[3][7] 0.40/0.48 c remove useless variable x[3][13] 0.40/0.48 c remove useless variable x[3][18] 0.40/0.48 c remove useless variable x[4][3] 0.40/0.48 c remove useless variable x[3][7] 0.40/0.48 c remove useless variable x[4][4] 0.40/0.48 c remove useless variable x[3][13] 0.40/0.48 c remove useless variable x[4][8] 0.40/0.48 c remove useless variable x[4][9] 0.40/0.48 c remove useless variable x[4][10] 0.40/0.48 c remove useless variable x[3][18] 0.40/0.48 c remove useless variable x[4][3] 0.40/0.48 c remove useless variable x[4][4] 0.40/0.48 c remove useless variable x[4][18] 0.40/0.48 c remove useless variable x[5][0] 0.40/0.48 c remove useless variable x[4][8] 0.40/0.48 c remove useless variable x[5][1] 0.40/0.48 c remove useless variable x[5][2] 0.40/0.48 c remove useless variable x[5][10] 0.40/0.48 c remove useless variable x[4][9] 0.40/0.48 c remove useless variable x[5][16] 0.40/0.48 c remove useless variable x[5][17] 0.40/0.48 c remove useless variable x[6][6] 0.40/0.48 c remove useless variable x[4][10] 0.40/0.48 c remove useless variable x[4][18] 0.40/0.48 c remove useless variable x[5][0] 0.40/0.48 c remove useless variable x[6][11] 0.40/0.48 c remove useless variable x[6][15] 0.40/0.48 c remove useless variable x[6][20] 0.40/0.48 c remove useless variable x[5][1] 0.40/0.48 c remove useless variable x[6][21] 0.40/0.48 c remove useless variable x[5][2] 0.40/0.48 c remove useless variable x[5][10] 0.40/0.48 c remove useless variable x[6][22] 0.40/0.48 c remove useless variable x[5][16] 0.40/0.48 c remove useless variable x[7][6] 0.40/0.48 c remove useless variable x[5][17] 0.40/0.48 c remove useless variable x[7][12] 0.40/0.48 c remove useless variable x[6][6] 0.40/0.48 c remove useless variable x[7][19] 0.40/0.48 c remove useless variable x[6][11] 0.40/0.48 c remove useless variable x[8][4] 0.40/0.48 c remove useless variable x[8][13] 0.40/0.48 c remove useless variable x[6][15] 0.40/0.48 c remove useless variable x[6][20] 0.40/0.48 c remove useless variable x[6][21] 0.40/0.48 c remove useless variable x[6][22] 0.40/0.48 c remove useless variable x[8][18] 0.40/0.48 c remove useless variable x[9][7] 0.40/0.48 c remove useless variable x[9][8] 0.40/0.48 c remove useless variable x[7][6] 0.40/0.48 c remove useless variable x[9][18] 0.40/0.48 c remove useless variable x[7][12] 0.40/0.48 c remove useless variable x[7][19] 0.40/0.48 c remove useless variable x[10][3] 0.40/0.48 c remove useless variable x[8][4] 0.40/0.48 c remove useless variable x[10][9] 0.40/0.48 c remove useless variable x[10][10] 0.40/0.48 c remove useless variable x[8][13] 0.40/0.48 c remove useless variable x[10][16] 0.40/0.48 c remove useless variable x[8][18] 0.40/0.48 c remove useless variable x[11][0] 0.40/0.48 c remove useless variable x[11][1] 0.40/0.48 c remove useless variable x[9][7] 0.40/0.48 c remove useless variable x[11][5] 0.40/0.48 c remove useless variable x[9][8] 0.40/0.48 c remove useless variable x[11][11] 0.40/0.48 c remove useless variable x[9][18] 0.40/0.48 c remove useless variable x[11][17] 0.40/0.48 c remove useless variable x[10][3] 0.40/0.48 c remove useless variable x[10][9] 0.40/0.48 c remove useless variable x[10][10] 0.40/0.48 c remove useless variable x[11][21] 0.40/0.48 c remove useless variable x[10][16] 0.40/0.48 c remove useless variable x[11][22] 0.40/0.48 c remove useless variable x[12][6] 0.40/0.48 c remove useless variable x[12][12] 0.40/0.48 c remove useless variable x[11][0] 0.40/0.48 c remove useless variable x[11][1] 0.40/0.48 c remove useless variable x[12][13] 0.40/0.48 c remove useless variable x[12][19] 0.40/0.48 c remove useless variable x[11][5] 0.40/0.48 c remove useless variable x[13][4] 0.40/0.48 c remove useless variable x[11][11] 0.40/0.48 c remove useless variable x[11][17] 0.40/0.48 c remove useless variable x[13][14] 0.40/0.48 c remove useless variable x[11][21] 0.40/0.48 c remove useless variable x[11][22] 0.40/0.48 c remove useless variable x[13][15] 0.40/0.48 c remove useless variable x[12][6] 0.40/0.48 c remove useless variable x[14][4] 0.40/0.48 c remove useless variable x[12][12] 0.40/0.48 c remove useless variable x[12][13] 0.40/0.48 c remove useless variable x[14][9] 0.40/0.48 c remove useless variable x[12][19] 0.40/0.48 c remove useless variable x[14][18] 0.40/0.48 c remove useless variable x[13][4] 0.40/0.48 c remove useless variable x[15][3] 0.40/0.48 c remove useless variable x[13][14] 0.40/0.48 c remove useless variable x[15][10] 0.40/0.48 c remove useless variable x[13][15] 0.40/0.48 c remove useless variable x[15][16] 0.40/0.48 c remove useless variable x[14][4] 0.40/0.48 c remove useless variable x[14][9] 0.40/0.48 c remove useless variable x[14][18] 0.40/0.48 c remove useless variable x[15][3] 0.40/0.48 c remove useless variable x[16][0] 0.40/0.48 c remove useless variable x[15][10] 0.40/0.48 c remove useless variable x[16][1] 0.40/0.48 c remove useless variable x[16][2] 0.40/0.48 c remove useless variable x[15][16] 0.40/0.48 c remove useless variable x[16][7] 0.40/0.48 c remove useless variable x[16][0] 0.40/0.48 c remove useless variable x[16][11] 0.40/0.48 c remove useless variable x[16][1] 0.40/0.48 c remove useless variable x[16][16] 0.40/0.48 c remove useless variable x[16][2] 0.40/0.48 c remove useless variable x[16][7] 0.40/0.48 c remove useless variable x[17][5] 0.40/0.48 c remove useless variable x[17][6] 0.40/0.48 c remove useless variable x[17][12] 0.40/0.48 c remove useless variable x[16][11] 0.40/0.48 c remove useless variable x[17][20] 0.40/0.48 c remove useless variable x[16][16] 0.40/0.48 c remove useless variable x[17][21] 0.40/0.48 c remove useless variable x[17][22] 0.40/0.48 c remove useless variable x[17][5] 0.40/0.48 c remove useless variable x[17][6] 0.40/0.48 c remove useless variable x[17][12] 0.40/0.48 c remove useless variable x[18][4] 0.40/0.48 c remove useless variable x[17][20] 0.40/0.48 c remove useless variable x[18][12] 0.40/0.48 c remove useless variable x[17][21] 0.40/0.48 c remove useless variable x[18][13] 0.40/0.48 c remove useless variable x[17][22] 0.40/0.48 c remove useless variable x[18][4] 0.40/0.48 c remove useless variable x[18][12] 0.40/0.48 c remove useless variable x[18][13] 0.40/0.48 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][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[18][19] 0.40/0.49 c remove useless variable x[19][4] 0.40/0.49 c remove useless variable x[20][10] 0.40/0.49 c remove useless variable x[19][9] 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[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 c 0 0 1 319 607 1 319 304 6070 304 0 0 0 00 0 0 0.40/0.49 0.40/0.49 c 0 c 2 0 2 319 319 608 304 608 0304 0 0 0 0 0 0 0 0.40/0.49 0.40/0.49 c 0 4 329 637 304 0 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 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[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 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[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][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[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[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.49 c 0 1 319 607 304 0 0 0 0 0.40/0.49 c 0 6 339 666 304 0 0 0 0 0.40/0.49 c 0 3 337 676 304 0 0 0 0 0.40/0.49 c 0 4 330 639 304 0 0 0 0 0.40/0.50 c remove useless variable x[3][13] 0.40/0.50 c remove useless variable x[3][18] 0.40/0.50 c remove useless variable x[4][3] 0.40/0.50 c remove useless variable x[4][4] 0.40/0.50 c remove useless variable x[4][8] 0.40/0.50 c remove useless variable x[4][9] 0.40/0.50 c remove useless variable x[4][10] 0.40/0.50 c remove useless variable x[4][18] 0.40/0.50 c remove useless variable x[5][0] 0.40/0.50 c remove useless variable x[5][1] 0.40/0.50 c remove useless variable x[5][2] 0.40/0.50 c remove useless variable x[5][10] 0.40/0.50 c remove useless variable x[5][16] 0.40/0.50 c remove useless variable x[5][17] 0.40/0.50 c remove useless variable x[6][6] 0.40/0.50 c remove useless variable x[6][11] 0.40/0.50 c remove useless variable x[6][15] 0.40/0.50 c remove useless variable x[6][20] 0.40/0.50 c remove useless variable x[6][21] 0.40/0.50 c remove useless variable x[6][22] 0.40/0.50 c remove useless variable x[7][6] 0.40/0.50 c remove useless variable x[7][12] 0.40/0.50 c remove useless variable x[7][19] 0.40/0.50 c remove useless variable x[8][4] 0.40/0.50 c remove useless variable x[8][13] 0.40/0.50 c remove useless variable x[8][18] 0.40/0.50 c remove useless variable x[9][7] 0.40/0.50 c remove useless variable x[9][8] 0.40/0.50 c remove useless variable x[9][18] 0.40/0.50 c remove useless variable x[10][3] 0.40/0.50 c remove useless variable x[10][9] 0.40/0.50 c remove useless variable x[10][10] 0.40/0.50 c remove useless variable x[10][16] 0.40/0.50 c remove useless variable x[11][0] 0.40/0.50 c remove useless variable x[11][1] 0.40/0.50 c remove useless variable x[11][5] 0.40/0.50 c remove useless variable x[11][11] 0.40/0.50 c remove useless variable x[11][17] 0.40/0.50 c remove useless variable x[11][21] 0.40/0.50 c remove useless variable x[11][22] 0.40/0.50 c remove useless variable x[12][6] 0.40/0.50 c remove useless variable x[12][12] 0.40/0.50 c remove useless variable x[12][13] 0.40/0.50 c remove useless variable x[12][19] 0.40/0.50 c remove useless variable x[13][4] 0.40/0.50 c remove useless variable x[13][14] 0.40/0.50 c remove useless variable x[13][15] 0.40/0.50 c remove useless variable x[14][4] 0.40/0.50 c remove useless variable x[14][9] 0.40/0.50 c remove useless variable x[14][18] 0.40/0.50 c remove useless variable x[15][3] 0.40/0.50 c remove useless variable x[15][10] 0.40/0.50 c remove useless variable x[15][16] 0.40/0.50 c remove useless variable x[16][0] 0.40/0.50 c remove useless variable x[16][1] 0.40/0.50 c remove useless variable x[16][2] 0.40/0.50 c remove useless variable x[16][7] 0.40/0.50 c remove useless variable x[16][11] 0.40/0.50 c remove useless variable x[16][16] 0.40/0.50 c remove useless variable x[17][5] 0.40/0.50 c remove useless variable x[17][6] 0.40/0.50 c remove useless variable x[17][12] 0.40/0.50 c remove useless variable x[17][20] 0.40/0.50 c remove useless variable x[17][21] 0.40/0.50 c remove useless variable x[17][22] 0.40/0.50 c remove useless variable x[18][4] 0.40/0.50 c remove useless variable x[18][12] 0.40/0.50 c remove useless variable x[18][13] 0.40/0.50 c remove useless variable x[18][14] 0.40/0.50 c remove useless variable x[18][18] 0.40/0.50 c remove useless variable x[18][19] 0.40/0.50 c remove useless variable x[19][4] 0.40/0.50 c remove useless variable x[19][9] 0.40/0.50 c remove useless variable x[19][15] 0.40/0.50 c remove useless variable x[20][10] 0.40/0.50 c remove useless variable x[21][5] 0.40/0.50 c remove useless variable x[21][10] 0.40/0.50 c remove useless variable x[21][16] 0.40/0.50 c remove useless variable x[22][5] 0.40/0.50 c remove useless variable x[22][10] 0.40/0.50 c remove useless variable x[22][16] 0.40/0.50 c 0 4 347 829 304 0 0 0 0 0.40/0.50 c 0 8 349 695 304 0 0 0 0 0.40/0.50 c 0 3 327 633 304 0 0 0 0 0.40/0.50 c 0 6 341 670 304 0 0 0 0 0.40/0.50 c 0 5 355 745 304 0 0 0 0 0.40/0.50 c 0 10 359 724 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 2 341 706 304 0 0 0 0 0.40/0.50 c 0 5 342 762 304 0 0 0 0 0.40/0.50 c 0 8 352 701 304 0 0 0 0 0.40/0.50 c 0 12 369 753 304 0 0 0 0 0.40/0.50 c 0 7 373 814 304 0 0 0 0 0.40/0.50 c 0 6 361 946 304 0 0 0 0 0.40/0.50 c 0 6 375 1050 304 0 0 0 0 0.40/0.50 c 0 7 375 1051 304 0 0 0 0 0.40/0.50 c 0 14 379 782 304 0 0 0 0 0.40/0.50 c 0 10 363 732 304 0 0 0 0 0.40/0.50 c 0 7 350 788 304 0 0 0 0 0.40/0.50 c 0 16 389 811 304 0 0 0 0 0.40/0.50 c 0 9 391 883 304 0 0 0 0 0.40/0.50 c 0 4 363 806 304 0 0 0 0 0.40/0.50 c 0 12 374 763 304 0 0 0 0 0.40/0.50 c 0 18 399 840 304 0 0 0 0 0.40/0.50 c 0 9 365 917 304 0 0 0 0 0.40/0.50 c 0 9 403 1272 304 0 0 0 0 0.40/0.50 c 0 8 391 1254 304 0 0 0 0 0.40/0.50 c 0 14 385 794 304 0 0 0 0 0.40/0.50 c 0 20 409 869 304 0 0 0 0 0.40/0.50 c 0 11 409 952 304 0 0 0 0 0.40/0.50 c 0 11 373 943 304 0 0 0 0 0.40/0.50 c 0 22 419 898 304 0 0 0 0 0.40/0.50 c 0 6 385 906 304 0 0 0 0 0.40/0.50 c 0 16 396 825 304 0 0 0 0 0.40/0.50 c 0 10 403 1284 304 0 0 0 0 0.40/0.50 c 0 13 427 1021 304 0 0 0 0 0.40/0.50 c 0 24 429 927 304 0 0 0 0 0.40/0.50 c 0 13 388 1072 304 0 0 0 0 0.40/0.50 c 0 18 407 856 304 0 0 0 0 0.40/0.50 c 0 11 431 1493 304 0 0 0 0 0.40/0.50 c 0 26 439 956 304 0 0 0 0 0.40/0.50 c root propagations : 606 0.40/0.50 c restarts enabled, print stats at every restarts 0.40/0.50 c 0.40/0.50 c 0.40/0.50 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.40/0.50 c remove useless variable x[0][6] 0.40/0.50 c remove useless variable x[0][12] 0.40/0.50 c remove useless variable x[0][17] 0.40/0.50 c remove useless variable x[1][6] 0.40/0.50 c remove useless variable x[1][12] 0.40/0.50 c remove useless variable x[1][17] 0.40/0.50 c remove useless variable x[2][12] 0.40/0.50 c remove useless variable x[3][7] 0.40/0.50 c remove useless variable x[3][13] 0.40/0.50 c remove useless variable x[3][18] 0.40/0.50 c remove useless variable x[4][3] 0.40/0.50 c remove useless variable x[4][4] 0.40/0.50 c remove useless variable x[4][8] 0.40/0.50 c remove useless variable x[4][9] 0.40/0.50 c remove useless variable x[4][10] 0.40/0.50 c remove useless variable x[4][18] 0.40/0.50 c remove useless variable x[5][0] 0.40/0.50 c remove useless variable x[5][1] 0.40/0.50 c remove useless variable x[5][2] 0.40/0.50 c remove useless variable x[5][10] 0.40/0.50 c remove useless variable x[5][16] 0.40/0.50 c remove useless variable x[5][17] 0.40/0.50 c remove useless variable x[6][6] 0.40/0.50 c remove useless variable x[6][11] 0.40/0.50 c remove useless variable x[6][15] 0.40/0.50 c remove useless variable x[6][20] 0.40/0.50 c remove useless variable x[6][21] 0.40/0.50 c remove useless variable x[6][22] 0.40/0.50 c remove useless variable x[7][6] 0.40/0.50 c remove useless variable x[7][12] 0.40/0.50 c remove useless variable x[7][19] 0.40/0.50 c remove useless variable x[8][4] 0.40/0.50 c remove useless variable x[8][13] 0.40/0.50 c remove useless variable x[8][18] 0.40/0.50 c remove useless variable x[9][7] 0.40/0.50 c remove useless variable x[9][8] 0.40/0.50 c remove useless variable x[9][18] 0.40/0.50 c remove useless variable x[10][3] 0.40/0.50 c remove useless variable x[10][9] 0.40/0.50 c remove useless variable x[10][10] 0.40/0.50 c remove useless variable x[10][16] 0.40/0.50 c remove useless variable x[11][0] 0.40/0.50 c remove useless variable x[11][1] 0.40/0.50 c remove useless variable x[11][5] 0.40/0.50 c remove useless variable x[11][11] 0.40/0.50 c remove useless variable x[11][17] 0.40/0.50 c remove useless variable x[11][21] 0.40/0.50 c remove useless variable x[11][22] 0.40/0.50 c remove useless variable x[12][6] 0.40/0.50 c remove useless variable x[12][12] 0.40/0.50 c remove useless variable x[12][13] 0.40/0.50 c remove useless variable x[12][19] 0.40/0.50 c remove useless variable x[13][4] 0.40/0.50 c remove useless variable x[13][14] 0.40/0.50 c remove useless variable x[13][15] 0.40/0.50 c remove useless variable x[14][4] 0.40/0.50 c remove useless variable x[14][9] 0.40/0.50 c remove useless variable x[14][18] 0.40/0.50 c remove useless variable x[15][3] 0.40/0.50 c remove useless variable x[15][10] 0.40/0.50 c remove useless variable x[15][16] 0.40/0.50 c remove useless variable x[16][0] 0.40/0.50 c remove useless variable x[16][1] 0.40/0.50 c remove useless variable x[16][2] 0.40/0.50 c remove useless variable x[16][7] 0.40/0.50 c remove useless variable x[16][11] 0.40/0.50 c remove useless variable x[16][16] 0.40/0.50 c remove useless variable x[17][5] 0.40/0.50 c remove useless variable x[17][6] 0.40/0.50 c remove useless variable x[17][12] 0.40/0.50 c remove useless variable x[17][20] 0.40/0.50 c remove useless variable x[17][21] 0.40/0.50 c remove useless variable x[17][22] 0.40/0.50 c remove useless variable x[18][4] 0.40/0.50 c remove useless variable x[18][12] 0.40/0.50 c remove useless variable x[18][13] 0.40/0.50 c remove useless variable x[18][14] 0.40/0.50 c remove useless variable x[18][18] 0.40/0.50 c remove useless variable x[18][19] 0.40/0.50 c remove useless variable x[19][4] 0.40/0.50 c remove useless variable x[19][9] 0.40/0.50 c remove useless variable x[19][15] 0.40/0.50 c remove useless variable x[20][10] 0.40/0.50 c remove useless variable x[21][5] 0.40/0.50 c remove useless variable x[21][10] 0.40/0.50 c remove useless variable x[21][16] 0.40/0.50 c remove useless variable x[22][5] 0.40/0.50 c remove useless variable x[22][10] 0.40/0.50 c remove useless variable x[22][16] 0.40/0.50 c 0 15 445 1090 304 0 0 0 0 0.40/0.50 c 0 20 418 887 304 0 0 0 0 0.40/0.50 c 0 15 396 1098 304 0 0 0 0 0.40/0.51 c 0 8 407 1006 304 0 0 0 0 0.40/0.51 c 0 12 433 1592 304 0 0 0 0 0.40/0.51 c 0 13 459 1714 304 0 0 0 0 0.97/0.55 c 32 131 2395 14001 304 0 30 54 42 0.97/0.55 c 32 136 2185 15616 304 0 16 86 69 0.97/0.56 c 33 141 2297 16714 304 0 5 5 2 0.97/0.56 c 33 146 2640 15212 304 0 15 15 7 0.97/0.59 c 32 148 2687 17141 304 0 6 79 40 0.97/0.60 c 33 155 2776 17834 304 0 7 7 3 0.97/0.60 c 32 170 3220 15614 304 0 30 76 34 0.97/0.60 c 101 339 5903 35870 304 0 5 149 114 0.97/0.61 c 33 181 3400 16555 304 0 11 11 5 0.97/0.61 c 101 296 6073 41605 304 0 31 80 43 1.74/0.62 c 64 266 4624 26825 304 0 14 72 62 1.74/0.62 c 64 206 3953 32616 304 0 2 9 5 1.74/0.63 c 65 209 4067 33427 304 0 3 3 1 1.74/0.63 c 65 281 4842 27826 304 0 15 15 7 1.74/0.63 c 66 212 4163 34209 304 0 3 3 1 1.74/0.64 c 67 221 4289 35199 304 0 9 9 4 1.74/0.65 c 64 213 4303 34871 304 0 4 14 8 1.74/0.66 c 101 521 7194 41110 304 0 16 168 117 1.74/0.66 c 66 295 5190 29604 304 0 14 14 7 1.74/0.66 c 65 222 4429 35861 304 0 9 9 4 1.74/0.66 c 67 308 5322 30422 304 0 13 13 6 1.74/0.67 c 66 230 4557 36693 304 0 8 8 4 1.74/0.67 c 67 235 4639 37630 304 0 5 5 2 1.74/0.69 c 101 360 7826 54188 304 0 18 155 137 1.74/0.69 c 64 253 5870 33891 304 0 8 14 10 2.43/0.71 c 65 263 6088 34876 304 0 10 10 5 2.43/0.71 c 211 647 12237 80780 304 0 36 138 129 2.43/0.72 c 66 273 6261 35760 304 0 10 10 5 2.43/0.73 c 67 283 6486 36818 304 0 10 10 5 2.43/0.74 c 128 477 8822 54525 304 0 30 44 40 2.43/0.76 c 129 488 8976 55541 304 0 11 11 5 2.43/0.77 c 128 364 7681 63150 304 0 4 12 8 2.43/0.77 c 129 367 7777 63932 304 0 3 3 1 2.43/0.77 c 130 506 9230 56779 304 0 18 18 9 2.43/0.78 c 130 375 7901 64920 304 0 8 8 4 2.43/0.79 c 131 379 7962 65498 304 0 4 4 2 2.43/0.79 c 131 515 9418 57939 304 0 9 9 4 2.43/0.79 c 128 383 8308 63516 304 0 13 23 16 2.43/0.79 c 132 387 8105 66395 304 0 8 8 4 2.43/0.80 c 133 391 8166 66973 304 0 4 4 2 2.43/0.80 c 132 526 9666 59410 304 0 11 11 5 3.27/0.81 c 134 399 8309 67870 304 0 8 8 4 3.27/0.81 c 129 394 8508 64663 304 0 11 11 5 3.27/0.81 c 135 403 8370 68448 304 0 4 4 2 3.27/0.81 c 133 535 9784 60097 304 0 9 9 4 3.27/0.81 c 130 403 8592 65407 304 0 9 9 4 3.27/0.82 c 131 415 8811 66641 304 0 12 12 6 3.27/0.82 c 134 547 10045 61625 304 0 12 12 6 3.27/0.83 c 132 428 8916 67779 304 0 13 13 6 3.27/0.83 c 211 891 15310 97400 304 0 62 277 163 3.27/0.84 c 133 433 9065 68846 304 0 5 5 2 3.27/0.84 c 135 568 10304 62843 304 0 21 21 10 3.27/0.84 c 211 530 12182 91369 304 0 2 19 8 3.27/0.85 c 134 436 9226 70302 304 0 3 3 1 3.27/0.85 c 135 440 9265 70797 304 0 4 4 2 3.27/0.87 c 211 924 15332 93399 304 0 29 67 50 3.27/0.89 c 128 477 10719 68895 304 0 8 110 30 4.02/0.91 c 129 527 11125 70528 304 0 50 50 25 4.02/0.94 c 332 1164 21124 140220 304 0 5 207 144 4.02/0.94 c 130 594 11687 73332 304 0 67 67 33 4.02/0.95 c 332 770 17682 135548 304 0 13 54 44 4.02/0.97 c 131 657 12251 75815 304 0 63 63 31 4.02/0.97 c 332 1267 24249 156913 304 0 16 139 125 4.02/0.98 c 256 839 15497 115599 304 0 2 178 82 4.02/1.00 c 132 713 12823 78656 304 0 56 56 28 4.89/1.01 c 256 945 16970 122603 304 0 2 216 142 4.89/1.01 c 257 859 15831 117670 304 0 20 20 10 4.89/1.01 c 258 863 15925 118871 304 0 4 4 2 4.89/1.02 c 257 947 17021 123390 304 0 2 2 1 4.89/1.02 c 259 870 16041 119972 304 0 7 7 3 4.89/1.02 c 258 960 17161 124347 304 0 13 13 6 4.89/1.02 c 260 873 16169 121353 304 0 3 3 1 4.89/1.02 c 133 776 13344 81231 304 0 63 63 31 4.89/1.03 c 261 877 16263 122554 304 0 4 4 2 4.89/1.03 c 259 970 17285 125196 304 0 10 10 5 4.89/1.03 c 260 977 17383 126144 304 0 7 7 3 4.89/1.04 c 262 884 16379 123655 304 0 7 7 3 4.89/1.04 c 261 980 17468 127168 304 0 3 3 1 4.89/1.04 c 263 887 16507 125036 304 0 3 3 1 4.89/1.04 c 262 993 17554 128228 304 0 13 13 6 4.89/1.05 c 264 891 16601 126237 304 0 4 4 2 4.89/1.05 c 134 840 13897 83473 304 0 64 64 32 4.89/1.06 c 263 996 17639 129252 304 0 3 3 1 4.89/1.06 c 265 898 16717 127338 304 0 7 7 3 4.89/1.06 c 264 1009 17725 130312 304 0 13 13 6 4.89/1.06 c 332 1422 24103 145741 304 0 8 268 157 4.89/1.07 c 265 1012 17810 131336 304 0 3 3 1 4.89/1.07 c 266 901 16845 128719 304 0 3 3 1 4.89/1.07 c 266 1025 17896 132396 304 0 13 13 6 4.89/1.07 c 267 905 16939 129920 304 0 4 4 2 4.89/1.07 c 135 896 14339 85261 304 0 56 56 28 4.89/1.08 c 267 1028 17981 133420 304 0 3 3 1 4.89/1.08 c 268 912 17055 131021 304 0 7 7 3 4.89/1.08 c 268 1041 18067 134480 304 0 13 13 6 4.89/1.08 c 269 915 17183 132402 304 0 3 3 1 4.89/1.09 c 269 1044 18152 135504 304 0 3 3 1 4.89/1.09 c 270 919 17277 133603 304 0 4 4 2 4.89/1.09 c 270 1061 18276 136496 304 0 17 17 8 4.89/1.09 c 465 1144 25860 186596 304 0 14 59 43 4.89/1.11 c 271 926 17393 134704 304 0 7 7 3 4.89/1.11 c 271 1075 18465 137844 304 0 14 14 7 5.73/1.16 c 256 882 18737 119949 304 0 8 56 13 5.73/1.17 c 257 891 18925 121218 304 0 9 9 4 5.73/1.18 c 465 1785 29516 192269 304 0 17 85 65 5.73/1.19 c 258 901 19150 122450 304 0 10 10 5 6.41/1.20 c 259 911 19337 123495 304 0 10 10 5 6.41/1.22 c 260 926 19540 124555 304 0 15 15 7 6.41/1.23 c 465 1620 32472 211971 304 0 5 78 24 6.41/1.23 c 256 1451 22127 127326 304 0 67 249 193 6.41/1.24 c 261 936 19765 125787 304 0 10 10 5 6.41/1.25 c 262 946 19952 126832 304 0 10 10 5 6.41/1.25 c 257 1500 22534 129369 304 0 49 49 24 6.41/1.27 c 258 1507 22616 130006 304 0 7 7 3 6.41/1.27 c 263 961 20155 127892 304 0 15 15 7 6.41/1.28 c 611 1813 34163 236959 304 0 6 344 222 6.41/1.28 c 264 971 20380 129124 304 0 10 10 5 6.41/1.28 c 259 1554 22991 131848 304 0 47 47 23 6.41/1.29 c 260 1562 23115 132816 304 0 8 8 4 7.21/1.30 c 265 982 20656 130352 304 0 11 11 5 7.21/1.31 c 266 991 20823 131393 304 0 9 9 4 7.21/1.31 c 261 1610 23536 134904 304 0 48 48 24 7.21/1.32 c 267 1000 20928 132016 304 0 9 9 4 7.21/1.32 c 262 1618 23670 136087 304 0 8 8 4 7.21/1.34 c 268 1010 21153 133248 304 0 10 10 5 7.21/1.35 c 263 1669 24096 138266 304 0 51 51 25 7.21/1.35 c 269 1021 21429 134476 304 0 11 11 5 7.21/1.36 c 264 1676 24262 139306 304 0 7 7 3 7.21/1.37 c 270 1030 21598 135518 304 0 9 9 4 7.21/1.38 c 271 1039 21703 136141 304 0 9 9 4 7.21/1.38 c 265 1726 24701 141498 304 0 50 50 25 7.21/1.39 c 611 2303 38665 251536 304 0 4 166 56 7.21/1.39 c 266 1732 24784 142495 304 0 6 6 3 8.01/1.40 c 267 1739 24909 143286 304 0 7 7 3 8.01/1.40 c 268 1749 25035 144154 304 0 10 10 5 8.01/1.41 c 465 1756 33723 214694 304 0 10 91 71 8.01/1.42 c 269 1756 25160 144945 304 0 7 7 3 8.01/1.43 c 270 1766 25286 145813 304 0 10 10 5 8.01/1.43 c 271 1773 25415 146639 304 0 7 7 3 8.81/1.51 c 512 1706 33678 243682 304 0 3 210 136 8.81/1.52 c 513 1712 33765 244767 304 0 6 6 3 8.81/1.54 c 514 1718 33907 245890 304 0 6 6 3 8.81/1.55 c 515 1725 34016 246848 304 0 7 7 3 8.81/1.56 c 516 1737 34230 247948 304 0 12 12 6 8.81/1.57 c 517 1742 34320 248668 304 0 5 5 2 8.81/1.57 c 611 2234 43930 287733 304 0 10 188 73 8.81/1.58 c 518 1745 34433 250076 304 0 3 3 1 8.81/1.58 c 512 1790 34761 203936 304 0 8 252 209 8.81/1.58 c 519 1747 34498 251023 304 0 2 2 1 8.81/1.59 c 520 1753 34582 251819 304 0 6 6 3 8.81/1.59 c 771 2611 46297 308661 304 0 9 18 11 8.81/1.59 c 513 1807 34982 204936 304 0 17 17 8 8.81/1.59 c 611 2124 42974 276244 304 0 6 21 12 8.81/1.59 c 521 1765 34800 253051 304 0 12 12 6 9.61/1.60 c 514 1816 35085 205621 304 0 9 9 4 9.61/1.60 c 522 1770 34890 253771 304 0 5 5 2 9.61/1.61 c 523 1773 35003 255179 304 0 3 3 1 9.61/1.61 c 515 1824 35220 206478 304 0 8 8 4 9.61/1.62 c 524 1775 35068 256126 304 0 2 2 1 9.61/1.62 c 771 2303 43760 307930 304 0 6 155 50 9.61/1.62 c 512 1610 31457 259427 304 0 2 60 25 9.61/1.62 c 516 1832 35343 207407 304 0 8 8 4 9.61/1.63 c 525 1781 35152 256922 304 0 6 6 3 9.61/1.63 c 513 1616 31575 260248 304 0 6 6 3 9.61/1.64 c 526 1793 35370 258154 304 0 12 12 6 9.61/1.64 c 514 1624 31739 261468 304 0 8 8 4 9.61/1.64 c 517 1842 35600 208884 304 0 10 10 5 9.61/1.64 c 527 1798 35460 258874 304 0 5 5 2 9.61/1.64 c 515 1629 31816 262216 304 0 5 5 2 9.61/1.65 c 528 1801 35573 260282 304 0 3 3 1 9.61/1.65 c 516 1632 31912 262996 304 0 3 3 1 9.61/1.66 c 529 1803 35638 261229 304 0 2 2 1 9.61/1.66 c 518 1865 35854 210208 304 0 23 23 11 9.61/1.66 c 517 1641 32038 263984 304 0 9 9 4 9.61/1.66 c 530 1809 35722 262025 304 0 6 6 3 9.61/1.66 c 518 1645 32103 264559 304 0 4 4 2 9.61/1.67 c 519 1881 36043 211188 304 0 16 16 8 9.61/1.67 c 519 1652 32232 265378 304 0 7 7 3 9.61/1.67 c 531 1821 35936 263125 304 0 12 12 6 9.61/1.68 c 520 1655 32361 266758 304 0 3 3 1 9.61/1.68 c 520 1889 36204 212285 304 0 8 8 4 9.61/1.68 c 532 1834 36041 264261 304 0 13 13 6 9.61/1.69 c 521 1665 32526 267931 304 0 10 10 5 9.61/1.69 c 533 1839 36135 265432 304 0 5 5 2 9.61/1.69 c 521 1897 36339 213142 304 0 8 8 4 9.61/1.69 c 534 1844 36230 266138 304 0 5 5 2 9.61/1.70 c 522 1673 32627 269091 304 0 8 8 4 9.61/1.70 c 522 1905 36462 214071 304 0 8 8 4 9.61/1.70 c 535 1849 36324 267309 304 0 5 5 2 9.61/1.70 c 523 1684 32704 269896 304 0 11 11 5 10.44/1.70 c 536 1854 36419 268015 304 0 5 5 2 10.44/1.71 c 524 1689 32799 270602 304 0 5 5 2 10.44/1.72 c 537 1859 36513 269186 304 0 5 5 2 10.44/1.72 c 523 1915 36719 215548 304 0 10 10 5 10.44/1.72 c 525 1694 32943 271804 304 0 5 5 2 10.44/1.72 c 538 1864 36608 269892 304 0 5 5 2 10.44/1.73 c 539 1869 36702 271063 304 0 5 5 2 10.44/1.73 c 526 1702 33044 272964 304 0 8 8 4 10.44/1.74 c 540 1874 36797 271769 304 0 5 5 2 10.44/1.74 c 527 1713 33121 273769 304 0 11 11 5 10.44/1.74 c 524 1938 36973 216872 304 0 23 23 11 10.44/1.74 c 528 1718 33216 274475 304 0 5 5 2 10.44/1.74 c 541 1879 36891 272940 304 0 5 5 2 10.44/1.74 c 771 3119 55621 345320 304 0 9 403 300 10.44/1.75 c 542 1884 36986 273646 304 0 5 5 2 10.44/1.75 c 525 1954 37162 217852 304 0 16 16 8 10.44/1.75 c 529 1723 33360 275677 304 0 5 5 2 10.44/1.76 c 543 1889 37080 274817 304 0 5 5 2 10.44/1.76 c 530 1731 33461 276837 304 0 8 8 4 10.44/1.76 c 526 1962 37323 218949 304 0 8 8 4 10.44/1.76 c 531 1742 33538 277642 304 0 11 11 5 10.44/1.76 c 532 1747 33633 278348 304 0 5 5 2 10.44/1.76 c 527 1970 37458 219806 304 0 8 8 4 10.44/1.77 c 533 1752 33777 279550 304 0 5 5 2 10.44/1.77 c 528 1978 37581 220735 304 0 8 8 4 10.44/1.79 c 534 1760 33878 280710 304 0 8 8 4 10.44/1.79 c 947 2937 54035 374441 304 0 8 49 22 11.20/1.80 c 535 1771 33955 281515 304 0 11 11 5 11.20/1.80 c 529 1988 37838 222212 304 0 10 10 5 11.20/1.80 c 536 1776 34050 282221 304 0 5 5 2 11.20/1.81 c 537 1781 34194 283423 304 0 5 5 2 11.20/1.81 c 530 2011 38092 223536 304 0 23 23 11 11.20/1.82 c 538 1789 34295 284583 304 0 8 8 4 11.20/1.82 c 539 1800 34372 285388 304 0 11 11 5 11.20/1.82 c 531 2027 38281 224516 304 0 16 16 8 11.20/1.83 c 540 1811 34537 286368 304 0 11 11 5 11.20/1.83 c 532 2035 38442 225613 304 0 8 8 4 11.20/1.83 c 541 1818 34625 287232 304 0 7 7 3 11.20/1.84 c 512 2578 39069 258136 304 0 7 205 76 11.20/1.84 c 533 2043 38577 226470 304 0 8 8 4 11.20/1.84 c 542 1828 34790 288405 304 0 10 10 5 11.20/1.85 c 513 2585 39224 259133 304 0 7 7 3 11.20/1.85 c 543 1836 34891 289565 304 0 8 8 4 11.20/1.86 c 534 2051 38700 227399 304 0 8 8 4 11.20/1.86 c 514 2601 39396 260179 304 0 16 16 8 11.20/1.87 c 515 2609 39523 260972 304 0 8 8 4 11.20/1.87 c 535 2061 38957 228876 304 0 10 10 5 11.20/1.88 c 516 2616 39679 261910 306 0 7 7 3 11.20/1.89 c 536 2084 39215 230203 306 0 23 23 11 11.20/1.89 c 517 2629 39868 262656 306 0 13 13 6 12.01/1.90 c 518 2636 40020 263591 306 0 7 7 3 12.01/1.90 c 537 2100 39404 231183 306 0 16 16 8 12.01/1.92 c 1000 3045 56979 406116 304 0 7 13 9 12.01/1.92 c 519 2649 40209 264337 306 0 13 13 6 12.01/1.92 c 538 2108 39565 232280 306 0 8 8 4 12.01/1.93 c 520 2656 40361 265272 306 0 7 7 3 12.01/1.93 c 771 2419 51654 360728 304 0 7 14 8 12.01/1.93 c 1000 3051 57093 406648 306 0 0 0 0 12.01/1.93 c 539 2116 39700 233137 306 0 8 8 4 12.01/1.93 c 540 2124 39823 234066 306 0 8 8 4 12.01/1.94 c 521 2671 40595 266244 306 0 15 15 7 12.01/1.95 c 522 2678 40752 267166 306 0 7 7 3 12.01/1.95 c 541 2134 40080 235543 306 0 10 10 5 12.01/1.96 c 523 2693 40986 268138 306 0 15 15 7 12.01/1.97 c 542 2157 40334 236867 306 0 23 23 11 12.01/1.97 c 524 2700 41143 269060 306 0 7 7 3 12.01/1.98 c 543 2173 40523 237847 306 0 16 16 8 12.01/1.98 c 525 2715 41377 270032 306 0 15 15 7 12.01/1.99 c 526 2722 41532 270956 306 0 7 7 3 12.01/2.00 c 947 3696 66845 414517 304 0 9 251 138 12.01/2.00 c 527 2737 41766 271928 306 0 15 15 7 12.87/2.01 c 947 2737 54499 396364 304 0 3 16 10 12.87/2.01 c 528 2744 41921 272852 306 0 7 7 3 12.87/2.02 c 529 2755 42065 273725 306 0 11 11 5 12.87/2.04 c 530 2768 42218 274846 306 0 13 13 6 12.87/2.05 c 531 2785 42470 275875 306 0 17 17 8 12.87/2.06 c 532 2808 42733 277197 306 0 23 23 11 12.87/2.07 c 533 2815 42838 278097 306 0 7 7 3 12.87/2.08 c 534 2826 43078 279230 306 0 11 11 5 12.87/2.10 c 535 2837 43316 280241 306 0 11 11 5 13.67/2.11 c 536 2848 43551 281386 306 0 11 11 5 13.67/2.12 c 537 2859 43788 282433 306 0 11 11 5 13.67/2.13 c 538 2870 44023 283578 306 0 11 11 5 13.67/2.13 c 1000 3875 70264 442334 306 0 9 88 81 13.67/2.14 c 539 2881 44261 284589 306 0 11 11 5 13.67/2.14 c 1140 3499 65887 468466 306 0 6 155 96 13.67/2.15 c 540 2892 44496 285734 306 0 11 11 5 13.67/2.16 c 541 2903 44733 286781 306 0 11 11 5 13.67/2.17 c 542 2914 44966 287926 306 0 11 11 5 13.67/2.18 c 543 2925 45204 288937 306 0 11 11 5 13.67/2.20 c 1000 3327 60948 434273 304 0 5 295 186 14.39/2.25 c 1024 3420 62640 445800 306 0 17 48 37 14.39/2.26 c 1025 3433 62833 446847 306 0 13 13 6 14.39/2.27 c 1026 3441 62941 447815 306 0 8 8 4 14.39/2.28 c 1027 3454 63055 448915 306 0 13 13 6 14.39/2.29 c 1028 3460 63208 449955 306 0 6 6 3 14.39/2.29 c 1029 3468 63349 450964 306 0 8 8 4 15.19/2.30 c 1030 3481 63463 452064 306 0 13 13 6 15.19/2.31 c 1352 4120 76066 529902 306 0 11 201 124 15.19/2.31 c 1031 3487 63614 453063 306 0 6 6 3 15.19/2.32 c 1032 3495 63738 453951 306 0 8 8 4 15.19/2.32 c 1033 3508 63824 455011 306 0 13 13 6 15.19/2.34 c 1034 3514 63921 455649 306 0 6 6 3 15.19/2.35 c 1035 3527 64132 456864 306 0 13 13 6 15.19/2.35 c 1140 4102 77006 506197 306 0 5 12 9 15.19/2.36 c 1036 3535 64323 458126 306 0 8 8 4 15.19/2.36 c 1140 3307 64962 477802 306 0 2 137 33 15.19/2.37 c 1037 3541 64400 458852 306 0 6 6 3 15.19/2.37 c 1038 3548 64495 459730 306 0 7 7 3 15.19/2.38 c 1039 3561 64706 460945 306 0 13 13 6 15.19/2.39 c 1040 3569 64897 462207 306 0 8 8 4 15.99/2.40 c 1041 3575 64974 462933 306 0 6 6 3 15.99/2.40 c 947 2827 63235 442361 306 0 16 63 57 15.99/2.40 c 1042 3582 65069 463811 306 0 7 7 3 15.99/2.41 c 1043 3595 65280 465026 306 0 13 13 6 15.99/2.42 c 1044 3603 65471 466288 306 0 8 8 4 15.99/2.43 c 1045 3609 65548 467014 306 0 6 6 3 15.99/2.43 c 1046 3616 65643 467892 306 0 7 7 3 15.99/2.45 c 1047 3624 65800 468934 306 0 8 8 4 15.99/2.46 c 1048 3629 65895 469923 306 0 5 5 2 15.99/2.47 c 1049 3636 65982 470793 306 0 7 7 3 15.99/2.47 c 1050 3644 66083 471950 306 0 8 8 4 15.99/2.48 c 1051 3656 66221 473167 306 0 12 12 6 15.99/2.49 c 1052 3672 66403 474290 306 0 16 16 8 15.99/2.49 c 1053 3676 66473 475117 306 0 4 4 2 16.78/2.50 c 1054 3683 66560 475987 306 0 7 7 3 16.78/2.51 c 1055 3691 66661 477144 306 0 8 8 4 16.78/2.51 c 1056 3703 66799 478361 306 0 12 12 6 16.78/2.52 c 1000 4361 75968 454079 306 0 11 338 276 16.78/2.52 c 1057 3719 66981 479484 306 0 16 16 8 16.78/2.53 c 1058 3723 67051 480311 306 0 4 4 2 16.78/2.53 c 1059 3730 67138 481181 306 0 7 7 3 16.78/2.54 c 1060 3738 67239 482338 306 0 8 8 4 16.78/2.56 c 1061 3750 67377 483555 306 0 12 12 6 16.78/2.57 c 1062 3766 67559 484678 306 0 16 16 8 16.78/2.57 c 1063 3770 67629 485505 306 0 4 4 2 16.78/2.57 c 1064 3777 67716 486375 306 0 7 7 3 16.78/2.58 c 1065 3785 67817 487532 306 0 8 8 4 16.78/2.58 c 1352 3854 75590 549646 306 0 5 52 25 16.78/2.58 c 1024 4443 77814 469539 306 0 9 42 33 16.78/2.59 c 1066 3797 67955 488749 306 0 12 12 6 16.78/2.59 c 1585 5002 89268 610239 306 0 3 251 165 16.78/2.59 c 1025 4459 78000 470571 306 0 16 16 8 17.58/2.60 c 1067 3813 68137 489872 306 0 16 16 8 17.58/2.60 c 1068 3817 68207 490699 306 0 4 4 2 17.58/2.61 c 1069 3824 68291 491528 306 0 7 7 3 17.58/2.61 c 1026 4467 78146 471911 306 0 8 8 4 17.58/2.61 c 1070 3826 68373 492710 306 0 2 2 1 17.58/2.62 c 1027 4475 78290 472944 306 0 8 8 4 17.58/2.62 c 1071 3833 68488 493807 306 0 7 7 3 17.58/2.63 c 1028 4482 78383 473741 306 0 7 7 3 17.58/2.63 c 1072 3836 68616 495184 306 0 3 3 1 17.58/2.63 c 1073 3838 68698 496366 306 0 2 2 1 17.58/2.63 c 1029 4491 78500 474483 306 0 9 9 4 17.58/2.64 c 1074 3845 68813 497463 306 0 7 7 3 17.58/2.64 c 1030 4498 78620 475402 306 0 7 7 3 17.58/2.64 c First solution is found 17.58/2.64 c 1075 3848 68941 498840 306 0 3 3 1 17.58/2.65 c [pFactory][Group N°0] concurent mode: thread 1 has won with the task 6. 17.58/2.65 c [pFactory][Group N°0] Thread N°0 is joined. 17.58/2.65 c [pFactory][Group N°0] Thread N°1 is joined. 17.58/2.65 c [pFactory][Group N°0] Thread N°2 is joined. 17.58/2.65 c [pFactory][Group N°0] Thread N°3 is joined. 17.58/2.65 c [pFactory][Group N°0] Thread N°4 is joined. 17.58/2.65 c [pFactory][Group N°0] Thread N°5 is joined. 17.58/2.65 c [pFactory][Group N°0] Thread N°6 is joined. 17.58/2.65 c [pFactory][Group N°0] Thread N°7 is joined. 17.58/2.65 c [pFactory][Group N°0] Return Code of the winner:1 (Thread N°1) 17.58/2.65 s SATISFIABLE 17.58/2.65 c restarts : 115 17.58/2.65 c conflicts : 1075 (60 /sec) 17.58/2.65 c decisions : 3850 (215 /sec) 17.58/2.65 c propagations : 499207 (27925 /sec) 17.58/2.65 c root propagations : 606 17.58/2.65 c filter calls : 68977 (3859 /sec) 17.58/2.65 c useless filter calls : 23158 (33 %) 17.58/2.65 c Memory used : 637.20 MB 17.58/2.65 c CPU time : 17.8764 s 17.58/2.65 c real time : 2.64945 s 17.58/2.65 17.58/2.65 c solution 1 17.58/2.65 17.58/2.65 v <instantiation type='solution'> 17.58/2.65 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> 17.58/2.65 v <values>18 22 4 0 17 18 * 14 18 2 0 17 * 18 12 20 19 * 3 20 2 19 18 7 0 17 11 14 19 * 15 7 14 13 4 * 15 0 13 4 * 0 15 0 17 19 4 11 0 1 14 17 0 19 8 14 13 18 * 0 11 4 23 0 13 3 17 8 0 4 18 19 0 19 4 18 * 15 11 0 8 19 * 8 21 0 13 * 0 17 0 1 17 7 14 * * 0 8 3 * * * 3 4 18 2 4 13 3 * 19 8 11 11 * * * 11 0 12 0 17 2 10 * 4 17 22 8 13 * * 6 4 4 18 4 0 15 15 0 11 11 * 0 17 4 0 * 12 0 14 * 0 15 4 3 * * * 18 4 17 6 4 8 * 22 4 8 6 7 * 1 20 3 6 4 19 * 3 0 3 10 13 4 4 * 13 8 13 4 19 4 4 13 * 18 20 4 3 * 1 8 11 4 4 13 19 17 8 4 18 * * 7 4 17 4 20 13 3 4 17 * 0 23 4 18 3 24 4 * 14 3 8 20 12 * * 1 0 18 4 11 * 14 17 11 8 2 10 * * 13 14 13 * 18 13 14 14 15 * 17 4 18 4 19 * 4 10 4 * * 12 4 3 20 18 0 * 18 20 3 0 13 * * 18 24 17 8 0 * 2 0 1 0 17 4 18 * 6 17 0 13 3 8 14 18 4 * * 4 13 11 0 17 6 4 12 0 17 19 * 17 0 5 19 * 3 4 2 11 0 17 4 3 * 18 0 17 0 0 18 18 * 3 4 5 4 0 19 * 11 0 3 11 4 * 14 24 18 19 4 17 * * * 15 14 4 19 * 8 14 13 * 1 14 14 13 * 2 4 0 18 4 3 17 20 15 4 4 * * 8 13 11 4 19 * 13 4 4 3 7 0 12 * * * 8 17 14 13 * 18 15 14 14 11 4 17 * * * 22 4 8 * * 15 4 0 24 0 17 3 * 0 8 13 20 * 3 0 10 0 17 * 4 13 0 12 4 11 18 0 13 19 0 6 14 13 8 18 19 * 8 13 19 4 17 17 4 11 0 19 4 18 3 8 0 13 0 * 19 0 11 4 * 11 4 14 13 0 * 18 4 17 4 13 4 7 0 11 19 18 * 14 13 24 23 * 18 4 15 14 24 * 4 23 19 17 0 18 </values> 17.58/2.65 v </instantiation> 17.58/2.65
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 (15439 MiB free)
memory of node 1: 16384 MiB (15554 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398084-1568614506/watcher-4398084-1568614506 -o /tmp/evaluation-result-4398084-1568614506/solver-4398084-1568614506 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1568611288-10761 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398084-1568614506.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
solver pid=12146, runsolver pid=12143
Starting watchdog thread
Current StackSize limit: 8192 KiB
[startup+0.100162 s]*
/proc/loadavg: 3.83 4.45 6.07 3/195 12147
/proc/meminfo: memFree=31727844/32770624 swapFree=66998976/67108860
[pid=12146] ppid=12143 vsize=37544 memory=13496 CPUtime=0.1 cores=0-7
/proc/12146/stat : 12146 (cosoco) R 12143 12146 10734 0 -1 4202496 3627 0 0 0 10 0 0 0 20 0 1 0 437702059 38445056 3374 33554432000 4194304 6211092 140727821559776 140727821557048 5814111 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35561472 140727821562897 140727821562989 140727821562989 140727821565902 0
/proc/12146/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.209624 s]*
/proc/loadavg: 3.83 4.45 6.07 2/195 12147
/proc/meminfo: memFree=31724956/32770624 swapFree=66998976/67108860
[pid=12146] ppid=12143 vsize=41648 memory=17720 CPUtime=0.21 cores=0-7
/proc/12146/stat : 12146 (cosoco) R 12143 12146 10734 0 -1 4202496 4660 0 0 0 21 0 0 0 20 0 1 0 437702059 42647552 4430 33554432000 4194304 6211092 140727821559776 140727821557048 5816739 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35561472 140727821562897 140727821562989 140727821562989 140727821565902 0
/proc/12146/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.309176 s]*
/proc/loadavg: 3.83 4.45 6.07 2/195 12147
/proc/meminfo: memFree=31716400/32770624 swapFree=66998976/67108860
[pid=12146] ppid=12143 vsize=50788 memory=26432 CPUtime=0.3 cores=0-7
/proc/12146/stat : 12146 (cosoco) R 12143 12146 10734 0 -1 4202496 6822 0 0 0 30 0 0 0 20 0 1 0 437702059 52006912 6608 33554432000 4194304 6211092 140727821559776 140727821557048 140181839029376 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35561472 140727821562897 140727821562989 140727821562989 140727821565902 0
/proc/12146/statm: 12697 6608 816 493 0 6002 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 50788 KiB
Current children cumulated memory: 26432 KiB
[startup+0.701448 s]
/proc/loadavg: 3.83 4.45 6.07 10/203 12155
/proc/meminfo: memFree=31671572/32770624 swapFree=66998976/67108860
[pid=12146] ppid=12143 vsize=685272 memory=71820 CPUtime=2.43 cores=0-7
/proc/12146/stat : 12146 (cosoco) S 12143 12146 10734 0 -1 1077944320 18538 0 0 0 241 2 0 0 20 0 9 0 437702059 701718528 17955 33554432000 4194304 6211092 140727821559776 140727821558032 140181839007479 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 35561472 140727821562897 140727821562989 140727821562989 140727821565902 0
/proc/12146/statm: 171318 17955 846 493 0 164623 0
[pid=12146/tid=12148] ppid=12143 vsize=685272 memory=7588935179160282176 CPUtime=0.25 cores=0-7
/proc/12146/task/12148/stat : 12148 (cosoco) R 12143 12146 10734 0 -1 4202560 94 0 0 0 25 0 0 0 20 0 9 0 437702104 701718528 17955 33554432000 4194304 6211092 140727821559776 140181815864416 5039029 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 35561472 140727821562897 140727821562989 140727821562989 140727821565902 0
[pid=12146/tid=12149] ppid=12143 vsize=685272 memory=6083631278952175205 CPUtime=0.25 cores=0-7
/proc/12146/task/12149/stat : 12149 (cosoco) R 12143 12146 10734 0 -1 4202560 96 0 0 0 25 0 0 0 20 0 9 0 437702104 701718528 17955 33554432000 4194304 6211092 140727821559776 140181807471712 5039145 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 35561472 140727821562897 140727821562989 140727821562989 140727821565902 0
[pid=12146/tid=12150] ppid=12143 vsize=685272 memory=7230636130863965760 CPUtime=0.25 cores=0-7
/proc/12146/task/12150/stat : 12150 (cosoco) R 12143 12146 10734 0 -1 4202560 47 0 0 0 25 0 0 0 20 0 9 0 437702104 701718528 17955 33554432000 4194304 6211092 140727821559776 140181799079008 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 35561472 140727821562897 140727821562989 140727821562989 140727821565902 0
[pid=12146/tid=12151] ppid=12143 vsize=685272 memory=7014470040326004800 CPUtime=0.24 cores=0-7
/proc/12146/task/12151/stat : 12151 (cosoco) R 12143 12146 10734 0 -1 4202560 49 0 0 0 24 0 0 0 20 0 9 0 437702104 701718528 17955 33554432000 4194304 6211092 140727821559776 140181790686304 5039014 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 35561472 140727821562897 140727821562989 140727821562989 140727821565902 0
[pid=12146/tid=12152] ppid=12143 vsize=685272 memory=6226624930824938598 CPUtime=0.23 cores=0-7
/proc/12146/task/12152/stat : 12152 (cosoco) R 12143 12146 10734 0 -1 4202560 48 0 0 0 23 0 0 0 20 0 9 0 437702104 701718528 17955 33554432000 4194304 6211092 140727821559776 140181782293600 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 35561472 140727821562897 140727821562989 140727821562989 140727821565902 0
[pid=12146/tid=12153] ppid=12143 vsize=685272 memory=-4049636988374952755 CPUtime=0.25 cores=0-7
/proc/12146/task/12153/stat : 12153 (cosoco) R 12143 12146 10734 0 -1 4202560 46 0 0 0 25 0 0 0 20 0 9 0 437702104 701718528 17955 33554432000 4194304 6211092 140727821559776 140181773900896 5039199 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 35561472 140727821562897 140727821562989 140727821562989 140727821565902 0
[pid=12146/tid=12154] ppid=12143 vsize=685272 memory=7016714190785702558 CPUtime=0.25 cores=0-7
/proc/12146/task/12154/stat : 12154 (cosoco) R 12143 12146 10734 0 -1 4202560 95 0 0 0 25 0 0 0 20 0 9 0 437702104 701718528 17955 33554432000 4194304 6211092 140727821559776 140181765507688 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 35561472 140727821562897 140727821562989 140727821562989 140727821565902 0
[pid=12146/tid=12155] ppid=12143 vsize=685272 memory=7453008114189036644 CPUtime=0.24 cores=0-7
/proc/12146/task/12155/stat : 12155 (cosoco) R 12143 12146 10734 0 -1 4202560 51 0 0 0 24 0 0 0 20 0 9 0 437702104 701718528 17955 33554432000 4194304 6211092 140727821559776 140181757115488 5039026 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 35561472 140727821562897 140727821562989 140727821562989 140727821565902 0
Current children cumulated CPU time: 2.43 s
Current children cumulated vsize: 685272 KiB
Current children cumulated memory: 71820 KiB
[startup+1.50145 s]
/proc/loadavg: 3.83 4.45 6.07 10/203 12155
/proc/meminfo: memFree=31670084/32770624 swapFree=66998976/67108860
[pid=12146] ppid=12143 vsize=685272 memory=76068 CPUtime=8.81 cores=0-7
/proc/12146/stat : 12146 (cosoco) S 12143 12146 10734 0 -1 1077944320 28574 0 0 0 874 7 0 0 20 0 9 0 437702059 701718528 19017 33554432000 4194304 6211092 140727821559776 140727821558032 140181839007479 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 35561472 140727821562897 140727821562989 140727821562989 140727821565902 0
/proc/12146/statm: 171318 19017 851 493 0 164623 0
[pid=12146/tid=12148] ppid=12143 vsize=685272 memory=920 CPUtime=1.04 cores=0-7
/proc/12146/task/12148/stat : 12148 (cosoco) R 12143 12146 10734 0 -1 4202560 978 0 0 0 104 0 0 0 20 0 9 0 437702104 701718528 19017 33554432000 4194304 6211092 140727821559776 140181815864416 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 35561472 140727821562897 140727821562989 140727821562989 140727821565902 0
[pid=12146/tid=12149] ppid=12143 vsize=685272 memory=5712 CPUtime=1.04 cores=0-7
/proc/12146/task/12149/stat : 12149 (cosoco) R 12143 12146 10734 0 -1 4202560 1683 0 0 0 104 0 0 0 20 0 9 0 437702104 701718528 19017 33554432000 4194304 6211092 140727821559776 140181807471712 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 35561472 140727821562897 140727821562989 140727821562989 140727821565902 0
[pid=12146/tid=12150] ppid=12143 vsize=685272 memory=0 CPUtime=1.05 cores=0-7
/proc/12146/task/12150/stat : 12150 (cosoco) R 12143 12146 10734 0 -1 12591168 1188 0 0 0 104 1 0 0 20 0 9 0 437702104 701718528 19017 33554432000 4194304 6211092 140727821559776 140181799079008 5038995 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 35561472 140727821562897 140727821562989 140727821562989 140727821565902 0
[pid=12146/tid=12151] ppid=12143 vsize=685272 memory=1764 CPUtime=1.02 cores=0-7
/proc/12146/task/12151/stat : 12151 (cosoco) R 12143 12146 10734 0 -1 4202560 1329 0 0 0 102 0 0 0 20 0 9 0 437702104 701718528 19017 33554432000 4194304 6211092 140727821559776 140181790686304 5039104 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 35561472 140727821562897 140727821562989 140727821562989 140727821565902 0
[pid=12146/tid=12152] ppid=12143 vsize=685272 memory=111632 CPUtime=1.03 cores=0-7
/proc/12146/task/12152/stat : 12152 (cosoco) R 12143 12146 10734 0 -1 4202560 1568 0 0 0 103 0 0 0 20 0 9 0 437702104 701718528 19017 33554432000 4194304 6211092 140727821559776 140181782293096 5039029 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 35561472 140727821562897 140727821562989 140727821562989 140727821565902 0
[pid=12146/tid=12153] ppid=12143 vsize=685272 memory=0 CPUtime=1.05 cores=0-7
/proc/12146/task/12153/stat : 12153 (cosoco) R 12143 12146 10734 0 -1 4202560 1055 0 0 0 105 0 0 0 20 0 9 0 437702104 701718528 19017 33554432000 4194304 6211092 140727821559776 140181773900896 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 35561472 140727821562897 140727821562989 140727821562989 140727821565902 0
[pid=12146/tid=12154] ppid=12143 vsize=685272 memory=4104 CPUtime=1.04 cores=0-7
/proc/12146/task/12154/stat : 12154 (cosoco) R 12143 12146 10734 0 -1 4202560 1095 0 0 0 104 0 0 0 20 0 9 0 437702104 701718528 19017 33554432000 4194304 6211092 140727821559776 140181765508192 5039121 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 35561472 140727821562897 140727821562989 140727821562989 140727821565902 0
[pid=12146/tid=12155] ppid=12143 vsize=685272 memory=1764 CPUtime=1.04 cores=0-7
/proc/12146/task/12155/stat : 12155 (cosoco) R 12143 12146 10734 0 -1 4202560 1683 0 0 0 103 1 0 0 20 0 9 0 437702104 701718528 19017 33554432000 4194304 6211092 140727821559776 140181757115144 5039178 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 35561472 140727821562897 140727821562989 140727821562989 140727821565902 0
Current children cumulated CPU time: 8.81 s
Current children cumulated vsize: 685272 KiB
Current children cumulated memory: 76068 KiB
[startup+2.66066 s]
# the end of solver process 12146 was just reported to runsolver
# cumulated CPU time of all completed processes: user=17.8765 s, system=0.11585 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60144 s]
/proc/loadavg: 3.83 4.45 6.07 10/203 12155
/proc/meminfo: memFree=31670084/32770624 swapFree=66998976/67108860
[pid=12146] ppid=12143 vsize=685272 memory=76176 CPUtime=9.61 cores=0-7
/proc/12146/stat : 12146 (cosoco) S 12143 12146 10734 0 -1 1077944320 31436 0 0 0 953 8 0 0 20 0 9 0 437702059 701718528 19044 33554432000 4194304 6211092 140727821559776 140727821558032 140181839007479 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 35561472 140727821562897 140727821562989 140727821562989 140727821565902 0
/proc/12146/statm: 171318 19044 851 493 0 164623 0
[pid=12146/tid=12148] ppid=12143 vsize=685272 memory=-8707038579349950309 CPUtime=1.14 cores=0-7
/proc/12146/task/12148/stat : 12148 (cosoco) R 12143 12146 10734 0 -1 12591168 1548 0 0 0 114 0 0 0 20 0 9 0 437702104 701718528 19044 33554432000 4194304 6211092 140727821559776 140181815864416 5038944 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 35561472 140727821562897 140727821562989 140727821562989 140727821565902 0
[pid=12146/tid=12149] ppid=12143 vsize=685272 memory=1408 CPUtime=1.14 cores=0-7
/proc/12146/task/12149/stat : 12149 (cosoco) R 12143 12146 10734 0 -1 4202560 2273 0 0 0 114 0 0 0 20 0 9 0 437702104 701718528 19044 33554432000 4194304 6211092 140727821559776 140181807471712 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 35561472 140727821562897 140727821562989 140727821562989 140727821565902 0
[pid=12146/tid=12150] ppid=12143 vsize=685272 memory=6935054825532540783 CPUtime=1.14 cores=0-7
/proc/12146/task/12150/stat : 12150 (cosoco) R 12143 12146 10734 0 -1 4202560 1788 0 0 0 113 1 0 0 20 0 9 0 437702104 701718528 19044 33554432000 4194304 6211092 140727821559776 140181799079008 5039121 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 35561472 140727821562897 140727821562989 140727821562989 140727821565902 0
[pid=12146/tid=12151] ppid=12143 vsize=685272 memory=0 CPUtime=1.12 cores=0-7
/proc/12146/task/12151/stat : 12151 (cosoco) R 12143 12146 10734 0 -1 4202560 1375 0 0 0 112 0 0 0 20 0 9 0 437702104 701718528 19044 33554432000 4194304 6211092 140727821559776 140181790686304 5039029 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 35561472 140727821562897 140727821562989 140727821562989 140727821565902 0
[pid=12146/tid=12152] ppid=12143 vsize=685272 memory=0 CPUtime=1.13 cores=0-7
/proc/12146/task/12152/stat : 12152 (cosoco) R 12143 12146 10734 0 -1 4202560 2143 0 0 0 113 0 0 0 20 0 9 0 437702104 701718528 19044 33554432000 4194304 6211092 140727821559776 140181782293600 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 35561472 140727821562897 140727821562989 140727821562989 140727821565902 0
[pid=12146/tid=12153] ppid=12143 vsize=685272 memory=-7674914008656224160 CPUtime=1.15 cores=0-7
/proc/12146/task/12153/stat : 12153 (cosoco) R 12143 12146 10734 0 -1 4202560 1091 0 0 0 115 0 0 0 20 0 9 0 437702104 701718528 19044 33554432000 4194304 6211092 140727821559776 140181773900896 5039026 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 35561472 140727821562897 140727821562989 140727821562989 140727821565902 0
[pid=12146/tid=12154] ppid=12143 vsize=685272 memory=0 CPUtime=1.14 cores=0-7
/proc/12146/task/12154/stat : 12154 (cosoco) R 12143 12146 10734 0 -1 4202560 1191 0 0 0 114 0 0 0 20 0 9 0 437702104 701718528 19044 33554432000 4194304 6211092 140727821559776 140181765508192 5039121 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 35561472 140727821562897 140727821562989 140727821562989 140727821565902 0
[pid=12146/tid=12155] ppid=12143 vsize=685272 memory=0 CPUtime=1.14 cores=0-7
/proc/12146/task/12155/stat : 12155 (cosoco) R 12143 12146 10734 0 -1 4202560 2015 0 0 0 113 1 0 0 20 0 9 0 437702104 701718528 19044 33554432000 4194304 6211092 140727821559776 140181757115488 5039132 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 35561472 140727821562897 140727821562989 140727821562989 140727821565902 0
Current children cumulated CPU time: 9.61 s
Current children cumulated vsize: 685272 KiB
Current children cumulated memory: 76176 KiB
[startup+2.40145 s]
/proc/loadavg: 3.83 4.45 6.07 9/203 12155
/proc/meminfo: memFree=31669308/32770624 swapFree=66998976/67108860
[pid=12146] ppid=12143 vsize=685272 memory=76736 CPUtime=15.99 cores=0-7
/proc/12146/stat : 12146 (cosoco) S 12143 12146 10734 0 -1 1077944320 35965 0 0 0 1589 10 0 0 20 0 9 0 437702059 701718528 19184 33554432000 4194304 6211092 140727821559776 140727821558032 140181839007479 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 35561472 140727821562897 140727821562989 140727821562989 140727821565902 0
/proc/12146/statm: 171318 19184 851 493 0 164623 0
[pid=12146/tid=12148] ppid=12143 vsize=685272 memory=0 CPUtime=1.94 cores=0-7
/proc/12146/task/12148/stat : 12148 (cosoco) R 12143 12146 10734 0 -1 4202560 2035 0 0 0 193 1 0 0 20 0 9 0 437702104 701718528 19184 33554432000 4194304 6211092 140727821559776 140181815864416 5039026 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 35561472 140727821562897 140727821562989 140727821562989 140727821565902 0
[pid=12146/tid=12149] ppid=12143 vsize=685272 memory=7810487918915055718 CPUtime=1.94 cores=0-7
/proc/12146/task/12149/stat : 12149 (cosoco) R 12143 12146 10734 0 -1 4202560 2695 0 0 0 194 0 0 0 20 0 9 0 437702104 701718528 19184 33554432000 4194304 6211092 140727821559776 140181807471712 5397223 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 35561472 140727821562897 140727821562989 140727821562989 140727821565902 0
[pid=12146/tid=12150] ppid=12143 vsize=685272 memory=5787213827063244903 CPUtime=1.94 cores=0-7
/proc/12146/task/12150/stat : 12150 (cosoco) R 12143 12146 10734 0 -1 4202560 1971 0 0 0 193 1 0 0 20 0 9 0 437702104 701718528 19184 33554432000 4194304 6211092 140727821559776 140181799079008 5039007 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 35561472 140727821562897 140727821562989 140727821562989 140727821565902 0
[pid=12146/tid=12151] ppid=12143 vsize=685272 memory=4638778398332698724 CPUtime=1.9 cores=0-7
/proc/12146/task/12151/stat : 12151 (cosoco) R 12143 12146 10734 0 -1 4202560 2073 0 0 0 190 0 0 0 20 0 9 0 437702104 701718528 19184 33554432000 4194304 6211092 140727821559776 140181790686304 5039026 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 35561472 140727821562897 140727821562989 140727821562989 140727821565902 0
[pid=12146/tid=12152] ppid=12143 vsize=685272 memory=76448 CPUtime=1.93 cores=0-7
/proc/12146/task/12152/stat : 12152 (cosoco) R 12143 12146 10734 0 -1 4202560 2581 0 0 0 193 0 0 0 20 0 9 0 437702104 701718528 19184 33554432000 4194304 6211092 140727821559776 140181782293600 5039029 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 35561472 140727821562897 140727821562989 140727821562989 140727821565902 0
[pid=12146/tid=12153] ppid=12143 vsize=685272 memory=2809137 CPUtime=1.94 cores=0-7
/proc/12146/task/12153/stat : 12153 (cosoco) R 12143 12146 10734 0 -1 4202560 2330 0 0 0 194 0 0 0 20 0 9 0 437702104 701718528 19184 33554432000 4194304 6211092 140727821559776 140181773900896 5039026 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 35561472 140727821562897 140727821562989 140727821562989 140727821565902 0
[pid=12146/tid=12154] ppid=12143 vsize=685272 memory=2811382 CPUtime=1.94 cores=0-7
/proc/12146/task/12154/stat : 12154 (cosoco) R 12143 12146 10734 0 -1 4202560 2165 0 0 0 192 2 0 0 20 0 9 0 437702104 701718528 19184 33554432000 4194304 6211092 140727821559776 140181765508192 5039137 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 35561472 140727821562897 140727821562989 140727821562989 140727821565902 0
[pid=12146/tid=12155] ppid=12143 vsize=685272 memory=0 CPUtime=1.93 cores=0-7
/proc/12146/task/12155/stat : 12155 (cosoco) R 12143 12146 10734 0 -1 4202560 2103 0 0 0 192 1 0 0 20 0 9 0 437702104 701718528 19184 33554432000 4194304 6211092 140727821559776 140181757115488 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 35561472 140727821562897 140727821562989 140727821562989 140727821565902 0
Current children cumulated CPU time: 15.99 s
Current children cumulated vsize: 685272 KiB
Current children cumulated memory: 76736 KiB
[startup+2.60145 s]
/proc/loadavg: 3.83 4.45 6.07 9/203 12155
/proc/meminfo: memFree=31669308/32770624 swapFree=66998976/67108860
[pid=12146] ppid=12143 vsize=685272 memory=76844 CPUtime=17.58 cores=0-7
/proc/12146/stat : 12146 (cosoco) S 12143 12146 10734 0 -1 1077944320 36179 0 0 0 1748 10 0 0 20 0 9 0 437702059 701718528 19211 33554432000 4194304 6211092 140727821559776 140727821558032 140181839007479 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 35561472 140727821562897 140727821562989 140727821562989 140727821565902 0
/proc/12146/statm: 171318 19211 851 493 0 164623 0
[pid=12146/tid=12148] ppid=12143 vsize=685272 memory=6296417384728388965 CPUtime=2.14 cores=0-7
/proc/12146/task/12148/stat : 12148 (cosoco) R 12143 12146 10734 0 -1 4202560 2056 0 0 0 213 1 0 0 20 0 9 0 437702104 701718528 19211 33554432000 4194304 6211092 140727821559776 140181815864416 5039132 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 35561472 140727821562897 140727821562989 140727821562989 140727821565902 0
[pid=12146/tid=12149] ppid=12143 vsize=685272 memory=6935054825532540783 CPUtime=2.14 cores=0-7
/proc/12146/task/12149/stat : 12149 (cosoco) R 12143 12146 10734 0 -1 4202560 2698 0 0 0 214 0 0 0 20 0 9 0 437702104 701718528 19211 33554432000 4194304 6211092 140727821559776 140181807471208 5039132 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 35561472 140727821562897 140727821562989 140727821562989 140727821565902 0
[pid=12146/tid=12150] ppid=12143 vsize=685272 memory=288230608902291755 CPUtime=2.14 cores=0-7
/proc/12146/task/12150/stat : 12150 (cosoco) R 12143 12146 10734 0 -1 4202560 1971 0 0 0 213 1 0 0 20 0 9 0 437702104 701718528 19211 33554432000 4194304 6211092 140727821559776 140181799079008 5039026 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 35561472 140727821562897 140727821562989 140727821562989 140727821565902 0
[pid=12146/tid=12151] ppid=12143 vsize=685272 memory=14132238522516990 CPUtime=2.1 cores=0-7
/proc/12146/task/12151/stat : 12151 (cosoco) R 12143 12146 10734 0 -1 4202560 2160 0 0 0 210 0 0 0 20 0 9 0 437702104 701718528 19211 33554432000 4194304 6211092 140727821559776 140181790685912 5038971 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 35561472 140727821562897 140727821562989 140727821562989 140727821565902 0
[pid=12146/tid=12152] ppid=12143 vsize=685272 memory=0 CPUtime=2.13 cores=0-7
/proc/12146/task/12152/stat : 12152 (cosoco) R 12143 12146 10734 0 -1 4202560 2581 0 0 0 213 0 0 0 20 0 9 0 437702104 701718528 19211 33554432000 4194304 6211092 140727821559776 140181782293600 5039132 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 35561472 140727821562897 140727821562989 140727821562989 140727821565902 0
[pid=12146/tid=12153] ppid=12143 vsize=685272 memory=0 CPUtime=2.14 cores=0-7
/proc/12146/task/12153/stat : 12153 (cosoco) R 12143 12146 10734 0 -1 4202560 2330 0 0 0 214 0 0 0 20 0 9 0 437702104 701718528 19211 33554432000 4194304 6211092 140727821559776 140181773900896 5038954 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 35561472 140727821562897 140727821562989 140727821562989 140727821565902 0
[pid=12146/tid=12154] ppid=12143 vsize=685272 memory=0 CPUtime=2.14 cores=0-7
/proc/12146/task/12154/stat : 12154 (cosoco) R 12143 12146 10734 0 -1 4202560 2268 0 0 0 212 2 0 0 20 0 9 0 437702104 701718528 19211 33554432000 4194304 6211092 140727821559776 140181765507800 5039038 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 35561472 140727821562897 140727821562989 140727821562989 140727821565902 0
[pid=12146/tid=12155] ppid=12143 vsize=685272 memory=0 CPUtime=2.13 cores=0-7
/proc/12146/task/12155/stat : 12155 (cosoco) R 12143 12146 10734 0 -1 4202560 2103 0 0 0 212 1 0 0 20 0 9 0 437702104 701718528 19211 33554432000 4194304 6211092 140727821559776 140181757115488 5039047 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 35561472 140727821562897 140727821562989 140727821562989 140727821565902 0
Current children cumulated CPU time: 17.58 s
Current children cumulated vsize: 685272 KiB
Current children cumulated memory: 76844 KiB
Child status: 0
Real time (s): 2.66073
CPU time (s): 17.9923
CPU user time (s): 17.8765
CPU system time (s): 0.11585
CPU usage (%): 676.219
Max. virtual memory (cumulated for all children) (KiB): 685272
Max. memory (cumulated for all children) (KiB): 76844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.8765
system time used= 0.11585
maximum resident set size= 77368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36378
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= 276
involuntary context switches= 397
# summary of solver processes directly reported to runsolver:
# pid: 12146
# total CPU time (s): 17.9923
# total CPU user time (s): 17.8765
# total CPU system time (s): 0.11585
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.035067 second user time and 0.076172 second system time
The end
Begin job on node102 at 2019-09-16 08:14:21 IDJOB=4398084 IDBENCH=140360 IDSOLVER=2851 FILE ID=node102/4398084-1568614506 RUNJOBID= node102-1568611288-10761 PBS_JOBID= 21703454 Free space on /tmp= 59328 MiB SOLVER NAME= cosoco 2.O 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-4398084-1568614506/watcher-4398084-1568614506 -o /tmp/evaluation-result-4398084-1568614506/solver-4398084-1568614506 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1568611288-10761 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398084-1568614506.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 4f78cb4d5ebc47069554ab66515ce573 RANDOM SEED=370492639 node102.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31738596 kB MemAvailable: 31903084 kB Buffers: 93260 kB Cached: 371688 kB SwapCached: 7452 kB Active: 360572 kB Inactive: 116096 kB Active(anon): 4136 kB Inactive(anon): 50340 kB Active(file): 356436 kB Inactive(file): 65756 kB Unevictable: 110384 kB Mlocked: 110384 kB SwapTotal: 67108860 kB SwapFree: 66998976 kB Dirty: 9828 kB Writeback: 0 kB AnonPages: 114756 kB Mapped: 41476 kB Shmem: 33556 kB Slab: 145092 kB SReclaimable: 116260 kB SUnreclaim: 28832 kB KernelStack: 3616 kB PageTables: 7072 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 509008 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: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 59324 MiB End job on node102 at 2019-09-16 08:14:24