Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2.O parallel | SAT | 7.90995 | 1.25969 |
Name | Crossword/Crossword-m1c-lex-herald/ Crossword-m1c-lex-h2307.xml |
MD5SUM | 07d1be45dab1ec82d1b4d00a54d73f42 |
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 | 0.988064 |
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":446}] |
Minimum variable degree | 0 |
Maximum variable degree | 2 |
Distribution of variable degrees | [{"degree":0,"count":83},{"degree":2,"count":446}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 12 |
Distribution of constraint arities | [{"arity":3,"count":16},{"arity":4,"count":64},{"arity":5,"count":54},{"arity":6,"count":14},{"arity":7,"count":4},{"arity":8,"count":8},{"arity":9,"count":4},{"arity":10,"count":6},{"arity":11,"count":2},{"arity":12,"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.16/0.31 c root propagations : 615 0.16/0.31 c restarts enabled, print stats at every restarts 0.16/0.31 c 0.16/0.31 c 0.16/0.31 c root propagations : 615 0.16/0.31 c restarts enabled, print stats at every restarts 0.16/0.31 c 0.16/0.31 c 0.16/0.31 c 0.16/0.31 c This is cosoco 2.00 -- 0.16/0.31 c 0.16/0.31 c command line: cosoco -model -nbcores=8 HOME/instance-4398062-1568614481.xml 0.16/0.31 c ========================================[ Problem Statistics ]=========================================== 0.16/0.31 c | 0.16/0.31 c | Parse time : 0.23 s 0.16/0.31 c | 0.16/0.31 c | Variables: 529 0.16/0.31 c | Domain Sizes: 26..26 0.16/0.31 c | 0.16/0.31 c | Constraints: 174 0.16/0.31 c | Arity: 3..12 -- Ternary: 16 0.16/0.31 c | 0.16/0.31 c | Types: 0.16/0.31 c | Extension: 174 (nb tuples: 593..4042) -- (shared: 1312) 0.16/0.31 c | 0.16/0.31 c ========================================================================================================= 0.16/0.31 c Parallel mode: Portfolio 0.16/0.33 c [pFactory][Group N°0] created (threads:8). 0.16/0.33 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 0.16/0.33 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 0.16/0.33 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 0.16/0.33 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 0.16/0.33 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 0.16/0.33 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 0.16/0.33 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 0.16/0.33 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 0.16/0.33 c [pFactory][Group N°0] concurrent mode: enabled. 0.16/0.33 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 0.16/0.33 c [pFactory][Group N°0] task 7 launched on thread 4. 0.16/0.33 c [pFactory][Group N°0] task 6 launched on thread 0. 0.16/0.33 c [pFactory][Group N°0] task 5 launched on thread 1. 0.16/0.33 c [pFactory][Group N°0] task 4 launched on thread 6. 0.16/0.33 c [pFactory][Group N°0] task 3 launched on thread 2. 0.16/0.33 c [pFactory][Group N°0] task 2 launched on thread 7. 0.16/0.33 c [pFactory][Group N°0] task 1 launched on thread 3. 0.16/0.33 c [pFactory][Group N°0] task 0 launched on thread 5. 0.16/0.33 c c conflictsconflicts decisions filterCallsdecisions filterCalls propagationspropagations Root Prop. Root Prop. Nogoods Nogoods min/max/avg depth min/max/avg depth 0.16/0.33 0.16/0.33 c remove useless variable x[0][4] 0.16/0.33 c remove useless variable x[0][10] 0.16/0.33 c remove useless variable x[0][16] 0.16/0.33 c remove useless variable x[0][22] 0.16/0.33 c remove useless variable x[1][4] 0.16/0.33 c remove useless variable x[1][10] 0.16/0.33 c remove useless variable x[1][16] 0.16/0.33 c remove useless variable x[2][10] 0.16/0.33 c remove useless variable x[3][8] 0.16/0.33 c remove useless variable x[3][14] 0.16/0.33 c remove useless variable x[3][19] 0.16/0.33 c remove useless variable x[4][0] 0.16/0.33 c remove useless variable x[4][1] 0.16/0.33 c remove useless variable x[4][2] 0.16/0.33 c remove useless variable x[4][7] 0.16/0.33 c remove useless variable x[4][13] 0.16/0.33 c remove useless variable x[4][18] 0.16/0.33 c remove useless variable x[5][6] 0.16/0.33 c remove useless variable x[5][12] 0.16/0.33 c remove useless variable x[5][17] 0.16/0.33 c remove useless variable x[0][4] 0.16/0.33 c remove useless variable x[6][5] 0.16/0.33 c remove useless variable x[0][10] 0.16/0.33 c remove useless variable x[6][10] 0.16/0.33 c remove useless variable x[0][16] 0.16/0.33 c remove useless variable x[6][11] 0.16/0.33 c remove useless variable x[0][22] 0.16/0.33 c remove useless variable x[6][16] 0.16/0.33 c remove useless variable x[6][20] 0.16/0.33 c remove useless variable x[6][21] 0.16/0.33 c remove useless variable x[6][22] 0.16/0.33 c remove useless variable x[7][4] 0.16/0.33 c remove useless variable x[7][15] 0.16/0.33 c remove useless variable x[8][3] 0.16/0.33 c remove useless variable x[8][9] 0.16/0.33 c remove useless variable x[8][14] 0.16/0.33 c remove useless variable x[8][19] 0.16/0.33 c remove useless variable x[9][8] 0.16/0.33 c remove useless variable x[9][18] 0.16/0.33 c remove useless variable x[1][4] 0.16/0.33 c root propagations : 615 0.16/0.33 c restarts enabled, print stats at every restarts 0.16/0.33 c 0.16/0.33 c 0.16/0.33 c remove useless variable x[10][0] 0.16/0.33 c remove useless variable x[10][1] 0.16/0.33 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.16/0.33 c remove useless variable x[10][6] 0.16/0.33 c remove useless variable x[0][4] 0.16/0.33 c remove useless variable x[10][12] 0.16/0.33 c root propagations : 615 0.16/0.33 c restarts enabled, print stats at every restarts 0.16/0.33 c 0.16/0.33 c 0.16/0.33 c remove useless variable x[1][10] 0.16/0.33 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.16/0.33 c remove useless variable x[1][16] 0.16/0.33 c remove useless variable x[2][10] 0.16/0.33 c remove useless variable x[0][10] 0.16/0.33 c remove useless variable x[0][16] 0.16/0.33 c remove useless variable x[0][22] 0.16/0.33 c remove useless variable x[1][4] 0.16/0.33 c remove useless variable x[1][10] 0.16/0.33 c remove useless variable x[1][16] 0.16/0.33 c remove useless variable x[3][8] 0.16/0.33 c remove useless variable x[3][14] 0.16/0.33 c remove useless variable x[3][19] 0.16/0.33 c remove useless variable x[10][17] 0.16/0.33 c remove useless variable x[11][6] 0.16/0.33 c remove useless variable x[11][11] 0.16/0.33 c remove useless variable x[11][16] 0.16/0.33 c remove useless variable x[12][5] 0.16/0.33 c remove useless variable x[12][10] 0.16/0.33 c remove useless variable x[12][16] 0.16/0.33 c remove useless variable x[12][21] 0.16/0.33 c remove useless variable x[12][22] 0.16/0.33 c remove useless variable x[13][4] 0.16/0.33 c remove useless variable x[13][14] 0.16/0.33 c remove useless variable x[14][3] 0.16/0.33 c remove useless variable x[14][8] 0.16/0.33 c remove useless variable x[14][13] 0.16/0.33 c remove useless variable x[14][19] 0.16/0.33 c remove useless variable x[15][7] 0.16/0.33 c remove useless variable x[15][18] 0.16/0.33 c remove useless variable x[16][0] 0.16/0.33 c remove useless variable x[16][1] 0.16/0.33 c remove useless variable x[16][2] 0.16/0.33 c remove useless variable x[16][6] 0.16/0.33 c remove useless variable x[16][11] 0.16/0.33 c remove useless variable x[16][12] 0.16/0.33 c remove useless variable x[16][17] 0.16/0.33 c remove useless variable x[17][5] 0.16/0.33 c remove useless variable x[17][10] 0.16/0.33 c remove useless variable x[17][16] 0.16/0.33 c remove useless variable x[18][4] 0.16/0.33 c remove useless variable x[18][9] 0.16/0.33 c remove useless variable x[18][15] 0.16/0.33 c remove useless variable x[18][20] 0.16/0.33 c remove useless variable x[18][21] 0.16/0.33 c remove useless variable x[18][22] 0.16/0.33 c remove useless variable x[19][3] 0.16/0.33 c remove useless variable x[19][8] 0.16/0.33 c remove useless variable x[19][14] 0.16/0.33 c remove useless variable x[20][12] 0.16/0.33 c remove useless variable x[21][6] 0.16/0.33 c remove useless variable x[21][12] 0.16/0.33 c remove useless variable x[21][18] 0.16/0.33 c remove useless variable x[22][0] 0.16/0.33 c remove useless variable x[22][6] 0.16/0.33 c remove useless variable x[22][12] 0.16/0.33 c remove useless variable x[22][18] 0.16/0.33 c remove useless variable x[2][10] 0.16/0.33 c remove useless variable x[3][8] 0.16/0.33 c remove useless variable x[3][14] 0.16/0.33 c remove useless variable x[3][19] 0.16/0.33 c remove useless variable x[4][0] 0.16/0.33 c remove useless variable x[4][1] 0.16/0.33 c remove useless variable x[4][2] 0.16/0.33 c remove useless variable x[4][7] 0.16/0.33 c remove useless variable x[4][13] 0.16/0.33 c remove useless variable x[4][18] 0.16/0.33 c remove useless variable x[5][6] 0.16/0.33 c remove useless variable x[5][12] 0.16/0.33 c remove useless variable x[5][17] 0.16/0.33 c remove useless variable x[6][5] 0.16/0.33 c remove useless variable x[6][10] 0.16/0.33 c remove useless variable x[6][11] 0.16/0.33 c remove useless variable x[6][16] 0.16/0.33 c remove useless variable x[6][20] 0.16/0.33 c remove useless variable x[6][21] 0.16/0.33 c remove useless variable x[6][22] 0.16/0.33 c remove useless variable x[7][4] 0.16/0.33 c remove useless variable x[7][15] 0.16/0.33 c remove useless variable x[8][3] 0.16/0.33 c remove useless variable x[8][9] 0.16/0.33 c remove useless variable x[8][14] 0.16/0.33 c remove useless variable x[8][19] 0.16/0.33 c remove useless variable x[9][8] 0.16/0.33 c remove useless variable x[9][18] 0.16/0.33 c remove useless variable x[10][0] 0.16/0.33 c remove useless variable x[10][1] 0.16/0.33 c remove useless variable x[10][6] 0.16/0.33 c remove useless variable x[10][12] 0.16/0.33 c remove useless variable x[10][17] 0.16/0.33 c remove useless variable x[11][6] 0.16/0.33 c remove useless variable x[4][0] 0.16/0.33 c remove useless variable x[4][1] 0.16/0.33 c remove useless variable x[4][2] 0.16/0.33 c remove useless variable x[4][7] 0.16/0.33 c remove useless variable x[4][13] 0.16/0.33 c remove useless variable x[4][18] 0.16/0.33 c remove useless variable x[5][6] 0.16/0.33 c remove useless variable x[5][12] 0.16/0.33 c remove useless variable x[5][17] 0.16/0.33 c remove useless variable x[6][5] 0.16/0.33 c remove useless variable x[6][10] 0.16/0.33 c remove useless variable x[6][11] 0.16/0.33 c remove useless variable x[6][16] 0.16/0.33 c remove useless variable x[6][20] 0.16/0.33 c remove useless variable x[6][21] 0.16/0.33 c remove useless variable x[6][22] 0.16/0.33 c remove useless variable x[7][4] 0.16/0.33 c remove useless variable x[7][15] 0.16/0.33 c remove useless variable x[8][3] 0.16/0.33 c remove useless variable x[8][9] 0.16/0.33 c remove useless variable x[8][14] 0.16/0.33 c remove useless variable x[8][19] 0.16/0.33 c remove useless variable x[9][8] 0.16/0.33 c remove useless variable x[9][18] 0.16/0.33 c remove useless variable x[10][0] 0.16/0.33 c remove useless variable x[10][1] 0.16/0.33 c remove useless variable x[10][6] 0.16/0.33 c remove useless variable x[10][12] 0.16/0.33 c remove useless variable x[10][17] 0.16/0.33 c remove useless variable x[11][6] 0.16/0.33 c remove useless variable x[11][11] 0.16/0.33 c remove useless variable x[11][16] 0.16/0.33 c remove useless variable x[12][5] 0.16/0.33 c remove useless variable x[12][10] 0.16/0.33 c remove useless variable x[12][16] 0.16/0.33 c remove useless variable x[12][21] 0.16/0.33 c remove useless variable x[12][22] 0.16/0.33 c remove useless variable x[13][4] 0.16/0.33 c remove useless variable x[13][14] 0.16/0.33 c remove useless variable x[14][3] 0.16/0.33 c remove useless variable x[0][4] 0.16/0.33 c remove useless variable x[0][10] 0.16/0.33 c remove useless variable x[0][16] 0.16/0.33 c remove useless variable x[0][22] 0.16/0.33 c remove useless variable x[1][4] 0.16/0.33 c remove useless variable x[1][10] 0.16/0.33 c remove useless variable x[1][16] 0.16/0.33 c remove useless variable x[2][10] 0.16/0.33 c remove useless variable x[3][8] 0.16/0.33 c remove useless variable x[3][14] 0.16/0.33 c remove useless variable x[3][19] 0.16/0.33 c remove useless variable x[4][0] 0.16/0.33 c remove useless variable x[4][1] 0.16/0.33 c remove useless variable x[4][2] 0.16/0.33 c remove useless variable x[4][7] 0.16/0.33 c remove useless variable x[4][13] 0.16/0.33 c remove useless variable x[4][18] 0.16/0.33 c remove useless variable x[5][6] 0.16/0.33 c remove useless variable x[5][12] 0.16/0.33 c remove useless variable x[5][17] 0.16/0.33 c remove useless variable x[6][5] 0.16/0.33 c remove useless variable x[6][10] 0.16/0.33 c remove useless variable x[6][11] 0.16/0.33 c remove useless variable x[6][16] 0.16/0.33 c remove useless variable x[6][20] 0.16/0.33 c remove useless variable x[6][21] 0.16/0.33 c remove useless variable x[6][22] 0.16/0.33 c root propagations : 615 0.16/0.33 c restarts enabled, print stats at every restarts 0.16/0.33 c 0.16/0.33 c 0.16/0.33 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.16/0.33 c remove useless variable x[0][4] 0.16/0.33 c remove useless variable x[0][10] 0.16/0.33 c remove useless variable x[0][16] 0.16/0.33 c remove useless variable x[0][22] 0.16/0.33 c remove useless variable x[1][4] 0.16/0.33 c remove useless variable x[1][10] 0.16/0.33 c remove useless variable x[1][16] 0.16/0.33 c remove useless variable x[2][10] 0.16/0.33 c remove useless variable x[3][8] 0.16/0.33 c remove useless variable x[11][11] 0.16/0.33 c remove useless variable x[11][16] 0.16/0.33 c remove useless variable x[12][5] 0.16/0.33 c remove useless variable x[12][10] 0.16/0.33 c remove useless variable x[12][16] 0.16/0.33 c remove useless variable x[12][21] 0.16/0.33 c remove useless variable x[12][22] 0.16/0.33 c remove useless variable x[13][4] 0.16/0.33 c remove useless variable x[13][14] 0.16/0.33 c remove useless variable x[14][3] 0.16/0.33 c remove useless variable x[14][8] 0.16/0.33 c remove useless variable x[14][13] 0.16/0.33 c remove useless variable x[14][19] 0.16/0.33 c remove useless variable x[15][7] 0.16/0.33 c remove useless variable x[15][18] 0.16/0.33 c remove useless variable x[16][0] 0.16/0.33 c remove useless variable x[16][1] 0.16/0.33 c remove useless variable x[16][2] 0.16/0.33 c remove useless variable x[16][6] 0.16/0.33 c remove useless variable x[16][11] 0.16/0.33 c remove useless variable x[16][12] 0.16/0.33 c remove useless variable x[16][17] 0.16/0.33 c remove useless variable x[17][5] 0.16/0.33 c remove useless variable x[14][8] 0.16/0.33 c remove useless variable x[14][13] 0.16/0.33 c remove useless variable x[14][19] 0.16/0.33 c remove useless variable x[15][7] 0.16/0.33 c remove useless variable x[15][18] 0.16/0.33 c remove useless variable x[16][0] 0.16/0.33 c remove useless variable x[16][1] 0.16/0.33 c remove useless variable x[16][2] 0.16/0.33 c remove useless variable x[16][6] 0.16/0.33 c remove useless variable x[16][11] 0.16/0.33 c remove useless variable x[16][12] 0.16/0.33 c remove useless variable x[16][17] 0.16/0.33 c remove useless variable x[17][5] 0.16/0.33 c remove useless variable x[17][10] 0.16/0.33 c remove useless variable x[17][16] 0.16/0.33 c remove useless variable x[18][4] 0.16/0.33 c remove useless variable x[18][9] 0.16/0.33 c 0 1 302 616 316 0 0 0 0 0.16/0.33 c remove useless variable x[18][15] 0.16/0.33 c remove useless variable x[18][20] 0.16/0.33 c remove useless variable x[18][21] 0.16/0.33 c root propagations : 615 0.16/0.33 c remove useless variable x[7][4] 0.16/0.33 c remove useless variable x[18][22] 0.16/0.33 c remove useless variable x[19][3] 0.16/0.33 c remove useless variable x[19][8] 0.16/0.33 c remove useless variable x[19][14] 0.16/0.33 c remove useless variable x[20][12] 0.16/0.33 c remove useless variable x[21][6] 0.16/0.33 c remove useless variable x[21][12] 0.16/0.33 c remove useless variable x[21][18] 0.16/0.33 c remove useless variable x[22][0] 0.16/0.33 c remove useless variable x[22][6] 0.16/0.33 c remove useless variable x[22][12] 0.16/0.33 c remove useless variable x[22][18] 0.16/0.33 c remove useless variable x[3][14] 0.16/0.33 c remove useless variable x[3][19] 0.16/0.33 c remove useless variable x[4][0] 0.16/0.33 c remove useless variable x[4][1] 0.16/0.33 c remove useless variable x[4][2] 0.16/0.33 c remove useless variable x[4][7] 0.16/0.33 c remove useless variable x[4][13] 0.16/0.33 c remove useless variable x[4][18] 0.16/0.33 c remove useless variable x[5][6] 0.16/0.33 c remove useless variable x[5][12] 0.16/0.33 c remove useless variable x[5][17] 0.16/0.33 c remove useless variable x[6][5] 0.16/0.33 c remove useless variable x[17][10] 0.16/0.33 c remove useless variable x[7][15] 0.16/0.33 c remove useless variable x[17][16] 0.16/0.33 c remove useless variable x[18][4] 0.16/0.33 c remove useless variable x[18][9] 0.16/0.33 c remove useless variable x[18][15] 0.16/0.33 c remove useless variable x[18][20] 0.16/0.33 c remove useless variable x[18][21] 0.16/0.33 c remove useless variable x[18][22] 0.16/0.33 c remove useless variable x[8][3] 0.16/0.33 c remove useless variable x[8][9] 0.16/0.33 c remove useless variable x[19][3] 0.16/0.33 c remove useless variable x[19][8] 0.16/0.33 c remove useless variable x[19][14] 0.16/0.33 c remove useless variable x[8][14] 0.16/0.33 c remove useless variable x[6][10] 0.16/0.33 c remove useless variable x[8][19] 0.16/0.33 c remove useless variable x[6][11] 0.16/0.33 c remove useless variable x[20][12] 0.16/0.33 c remove useless variable x[21][6] 0.16/0.33 c restarts enabled, print stats at every restarts 0.16/0.33 c 0.16/0.33 c 0.16/0.33 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.16/0.33 c remove useless variable x[21][12] 0.16/0.33 c remove useless variable x[0][4] 0.16/0.33 c remove useless variable x[0][10] 0.16/0.33 c remove useless variable x[0][16] 0.16/0.33 c remove useless variable x[0][22] 0.16/0.33 c remove useless variable x[1][4] 0.16/0.33 c remove useless variable x[1][10] 0.16/0.33 c remove useless variable x[1][16] 0.16/0.33 c remove useless variable x[2][10] 0.16/0.33 c remove useless variable x[3][8] 0.16/0.33 c remove useless variable x[3][14] 0.16/0.33 c remove useless variable x[3][19] 0.16/0.33 c remove useless variable x[4][0] 0.16/0.33 c remove useless variable x[6][16] 0.16/0.33 c remove useless variable x[9][8] 0.16/0.33 c remove useless variable x[9][18] 0.16/0.33 c remove useless variable x[10][0] 0.16/0.33 c remove useless variable x[10][1] 0.16/0.33 c remove useless variable x[10][6] 0.16/0.33 c remove useless variable x[10][12] 0.16/0.33 c remove useless variable x[10][17] 0.16/0.33 c remove useless variable x[11][6] 0.16/0.33 c remove useless variable x[11][11] 0.16/0.33 c remove useless variable x[11][16] 0.16/0.33 c remove useless variable x[12][5] 0.16/0.33 c remove useless variable x[12][10] 0.16/0.33 c remove useless variable x[12][16] 0.16/0.33 c remove useless variable x[12][21] 0.16/0.33 c remove useless variable x[12][22] 0.16/0.33 c remove useless variable x[13][4] 0.16/0.33 c remove useless variable x[13][14] 0.16/0.33 c remove useless variable x[14][3] 0.16/0.33 c remove useless variable x[4][1] 0.16/0.33 c remove useless variable x[6][20] 0.16/0.33 c remove useless variable x[4][2] 0.16/0.33 c remove useless variable x[14][8] 0.16/0.33 c remove useless variable x[6][21] 0.16/0.33 c root propagations : 615 0.16/0.33 c restarts enabled, print stats at every restarts 0.16/0.33 c remove useless variable x[6][22] 0.16/0.33 c 0.16/0.33 c 0.16/0.33 c remove useless variable x[7][4] 0.16/0.33 c remove useless variable x[4][7] 0.16/0.33 c remove useless variable x[7][15] 0.16/0.33 c 0 1 302 616 316 0 c 0 0 0 conflicts decisions filterCalls 0.16/0.33 c remove useless variable x[21][18] 0.16/0.33 c remove useless variable x[8][3] 0.16/0.33 c remove useless variable x[4][13] 0.16/0.33 propagations Root Prop. Nogoods min/max/avg depth 0.16/0.33 c remove useless variable x[4][18] 0.16/0.33 c remove useless variable x[5][6] 0.16/0.33 c remove useless variable x[5][12] 0.16/0.33 c remove useless variable x[5][17] 0.16/0.33 c remove useless variable x[6][5] 0.16/0.33 c remove useless variable x[6][10] 0.16/0.33 c remove useless variable x[6][11] 0.16/0.33 c remove useless variable x[6][16] 0.16/0.33 c remove useless variable x[22][0] 0.16/0.33 c remove useless variable x[8][9] 0.16/0.33 c remove useless variable x[22][6] 0.16/0.33 c remove useless variable x[14][13] 0.16/0.33 c remove useless variable x[8][14] 0.16/0.33 c remove useless variable x[8][19] 0.16/0.33 c remove useless variable x[9][8] 0.16/0.33 c remove useless variable x[9][18] 0.16/0.33 c remove useless variable x[10][0] 0.16/0.33 c remove useless variable x[10][1] 0.16/0.33 c remove useless variable x[10][6] 0.16/0.33 c remove useless variable x[22][12] 0.16/0.33 c remove useless variable x[0][4] 0.16/0.33 c remove useless variable x[22][18] 0.16/0.33 c remove useless variable x[0][10] 0.16/0.33 c remove useless variable x[0][16] 0.16/0.33 c remove useless variable x[10][12] 0.16/0.33 c remove useless variable x[0][22] 0.16/0.33 c remove useless variable x[6][20] 0.16/0.33 c remove useless variable x[10][17] 0.16/0.33 c remove useless variable x[14][19] 0.16/0.33 c remove useless variable x[1][4] 0.16/0.33 c remove useless variable x[15][7] 0.16/0.33 c remove useless variable x[11][6] 0.16/0.33 c remove useless variable x[15][18] 0.16/0.33 c remove useless variable x[6][21] 0.16/0.33 c remove useless variable x[1][10] 0.16/0.33 c remove useless variable x[6][22] 0.16/0.33 c remove useless variable x[1][16] 0.16/0.33 c remove useless variable x[11][11] 0.16/0.33 c remove useless variable x[16][0] 0.16/0.33 c remove useless variable x[16][1] 0.16/0.33 c remove useless variable x[11][16] 0.16/0.33 c remove useless variable x[2][10] 0.16/0.33 c remove useless variable x[7][4] 0.16/0.33 c remove useless variable x[3][8] 0.16/0.33 c remove useless variable x[16][2] 0.16/0.33 c remove useless variable x[16][6] 0.16/0.33 c remove useless variable x[3][14] 0.16/0.33 c remove useless variable x[3][19] 0.16/0.33 c remove useless variable x[12][5] 0.16/0.33 c remove useless variable x[7][15] 0.16/0.33 c remove useless variable x[12][10] 0.16/0.33 c remove useless variable x[16][11] 0.16/0.33 c remove useless variable x[16][12] 0.16/0.33 c remove useless variable x[4][0] 0.16/0.33 c remove useless variable x[16][17] 0.16/0.33 c remove useless variable x[8][3] 0.16/0.33 c remove useless variable x[12][16] 0.16/0.33 c remove useless variable x[17][5] 0.16/0.33 c remove useless variable x[12][21] 0.16/0.33 c remove useless variable x[17][10] 0.16/0.33 c remove useless variable x[4][1] 0.16/0.33 c remove useless variable x[8][9] 0.16/0.33 c remove useless variable x[12][22] 0.16/0.33 c remove useless variable x[4][2] 0.16/0.33 c remove useless variable x[13][4] 0.16/0.33 c remove useless variable x[8][14] 0.16/0.33 c remove useless variable x[4][7] 0.16/0.33 c remove useless variable x[4][13] 0.16/0.33 c remove useless variable x[13][14] 0.16/0.33 c remove useless variable x[14][3] 0.16/0.33 c remove useless variable x[17][16] 0.16/0.33 c remove useless variable x[4][18] 0.16/0.33 c remove useless variable x[5][6] 0.16/0.33 c remove useless variable x[14][8] 0.16/0.33 c remove useless variable x[5][12] 0.16/0.33 c remove useless variable x[8][19] 0.16/0.33 c remove useless variable x[18][4] 0.16/0.33 c remove useless variable x[9][8] 0.16/0.33 c remove useless variable x[9][18] 0.16/0.33 c remove useless variable x[18][9] 0.16/0.33 c remove useless variable x[14][13] 0.16/0.33 c remove useless variable x[18][15] 0.16/0.33 c remove useless variable x[5][17] 0.16/0.33 c remove useless variable x[18][20] 0.16/0.33 c remove useless variable x[18][21] 0.16/0.33 c remove useless variable x[18][22] 0.16/0.33 c remove useless variable x[14][19] 0.16/0.33 c remove useless variable x[19][3] 0.16/0.33 c remove useless variable x[6][5] 0.16/0.33 c remove useless variable x[15][7] 0.16/0.33 c remove useless variable x[6][10] 0.16/0.33 c remove useless variable x[15][18] 0.16/0.33 c remove useless variable x[6][11] 0.16/0.33 c remove useless variable x[10][0] 0.16/0.33 c remove useless variable x[19][8] 0.16/0.33 c remove useless variable x[6][16] 0.16/0.33 c remove useless variable x[10][1] 0.16/0.33 c remove useless variable x[19][14] 0.16/0.33 c remove useless variable x[6][20] 0.16/0.33 c remove useless variable x[20][12] 0.16/0.33 c remove useless variable x[6][21] 0.16/0.33 c remove useless variable x[10][6] 0.16/0.33 c remove useless variable x[16][0] 0.16/0.33 c remove useless variable x[6][22] 0.16/0.33 c remove useless variable x[10][12] 0.16/0.33 c remove useless variable x[16][1] 0.16/0.33 c remove useless variable x[21][6] 0.16/0.33 c remove useless variable x[7][4] 0.16/0.33 c 0 1 302 616 316 0 0 0 0 0.16/0.33 c remove useless variable x[7][15] 0.16/0.33 c remove useless variable x[10][17] 0.16/0.33 c remove useless variable x[16][2] 0.16/0.33 c remove useless variable x[11][6] 0.16/0.33 c remove useless variable x[21][12] 0.16/0.33 c remove useless variable x[21][18] 0.16/0.33 c remove useless variable x[11][11] 0.16/0.33 c remove useless variable x[22][0] 0.16/0.33 c remove useless variable x[8][3] 0.16/0.33 c remove useless variable x[11][16] 0.16/0.33 c remove useless variable x[8][9] 0.16/0.33 c remove useless variable x[8][14] 0.16/0.33 c remove useless variable x[16][6] 0.16/0.33 c remove useless variable x[16][11] 0.16/0.33 c remove useless variable x[16][12] 0.16/0.33 c remove useless variable x[22][6] 0.16/0.33 c remove useless variable x[22][12] 0.16/0.33 c remove useless variable x[22][18] 0.16/0.33 c remove useless variable x[8][19] 0.16/0.33 c remove useless variable x[9][8] 0.16/0.33 c remove useless variable x[16][17] 0.16/0.33 c remove useless variable x[9][18] 0.16/0.33 c remove useless variable x[10][0] 0.16/0.33 c remove useless variable x[10][1] 0.16/0.33 c remove useless variable x[17][5] 0.16/0.33 c remove useless variable x[12][5] 0.16/0.33 c remove useless variable x[10][6] 0.16/0.33 c remove useless variable x[10][12] 0.16/0.33 c remove useless variable x[17][10] 0.16/0.33 c remove useless variable x[12][10] 0.16/0.33 c remove useless variable x[10][17] 0.16/0.33 c remove useless variable x[11][6] 0.16/0.33 c remove useless variable x[17][16] 0.16/0.33 c remove useless variable x[12][16] 0.16/0.33 c remove useless variable x[11][11] 0.16/0.33 c remove useless variable x[11][16] 0.16/0.33 c remove useless variable x[18][4] 0.16/0.33 c remove useless variable x[18][9] 0.16/0.33 c remove useless variable x[18][15] 0.16/0.33 c remove useless variable x[18][20] 0.16/0.33 c remove useless variable x[18][21] 0.16/0.33 c remove useless variable x[18][22] 0.16/0.33 c remove useless variable x[19][3] 0.16/0.33 c remove useless variable x[12][5] 0.16/0.33 c remove useless variable x[19][8] 0.16/0.33 c remove useless variable x[12][21] 0.16/0.33 c remove useless variable x[12][10] 0.16/0.33 c remove useless variable x[12][16] 0.16/0.33 c remove useless variable x[19][14] 0.16/0.33 c remove useless variable x[20][12] 0.16/0.33 c remove useless variable x[21][6] 0.16/0.33 c remove useless variable x[21][12] 0.16/0.33 c remove useless variable x[21][18] 0.16/0.33 c remove useless variable x[22][0] 0.16/0.33 c remove useless variable x[22][6] 0.16/0.33 c remove useless variable x[22][12] 0.16/0.33 c remove useless variable x[22][18] 0.16/0.33 c remove useless variable x[12][22] 0.16/0.33 c remove useless variable x[12][21] 0.16/0.33 c remove useless variable x[12][22] 0.16/0.33 c remove useless variable x[13][4] 0.16/0.33 c remove useless variable x[13][4] 0.16/0.33 c remove useless variable x[13][14] 0.16/0.33 c remove useless variable x[13][14] 0.16/0.33 c remove useless variable x[14][3] 0.16/0.33 c remove useless variable x[14][3] 0.16/0.33 c remove useless variable x[14][8] 0.16/0.33 c remove useless variable x[14][13] 0.16/0.33 c remove useless variable x[14][8] 0.16/0.33 c remove useless variable x[14][19] 0.16/0.33 c remove useless variable x[15][7] 0.16/0.33 c remove useless variable x[14][13] 0.16/0.33 c remove useless variable x[15][18] 0.16/0.33 c remove useless variable x[16][0] 0.16/0.33 c remove useless variable x[14][19] 0.16/0.33 c remove useless variable x[16][1] 0.16/0.33 c remove useless variable x[15][7] 0.16/0.33 c remove useless variable x[16][2] 0.16/0.33 c remove useless variable x[16][6] 0.16/0.33 c remove useless variable x[15][18] 0.16/0.33 c remove useless variable x[16][11] 0.16/0.33 c remove useless variable x[16][12] 0.16/0.33 c remove useless variable x[16][0] 0.16/0.33 c remove useless variable x[16][17] 0.16/0.33 c remove useless variable x[16][1] 0.16/0.33 c remove useless variable x[17][5] 0.16/0.33 c remove useless variable x[16][2] 0.16/0.33 c remove useless variable x[16][6] 0.16/0.33 c remove useless variable x[17][10] 0.16/0.33 c remove useless variable x[17][16] 0.16/0.33 c remove useless variable x[18][4] 0.16/0.33 c 0 1 302 616 316 0 0 0 0 0.16/0.33 c remove useless variable x[16][11] 0.16/0.33 c remove useless variable x[16][12] 0.16/0.33 c remove useless variable x[18][9] 0.16/0.33 c remove useless variable x[18][15] 0.16/0.33 c remove useless variable x[18][20] 0.16/0.33 c remove useless variable x[18][21] 0.16/0.33 c remove useless variable x[18][22] 0.16/0.33 c remove useless variable x[19][3] 0.16/0.33 c remove useless variable x[19][8] 0.16/0.33 c remove useless variable x[16][17] 0.16/0.33 c remove useless variable x[19][14] 0.16/0.33 c remove useless variable x[17][5] 0.16/0.33 c remove useless variable x[20][12] 0.16/0.33 c remove useless variable x[21][6] 0.16/0.33 c remove useless variable x[21][12] 0.16/0.33 c remove useless variable x[17][10] 0.16/0.33 c remove useless variable x[21][18] 0.16/0.33 c remove useless variable x[22][0] 0.16/0.33 c remove useless variable x[22][6] 0.16/0.33 c remove useless variable x[22][12] 0.16/0.33 c remove useless variable x[17][16] 0.16/0.33 c remove useless variable x[18][4] 0.16/0.33 c remove useless variable x[18][9] 0.16/0.33 c remove useless variable x[22][18] 0.16/0.33 c remove useless variable x[18][15] 0.16/0.33 c remove useless variable x[18][20] 0.16/0.33 c remove useless variable x[18][21] 0.16/0.33 c remove useless variable x[18][22] 0.16/0.33 c remove useless variable x[19][3] 0.16/0.33 c remove useless variable x[19][8] 0.16/0.33 c remove useless variable x[19][14] 0.16/0.33 c remove useless variable x[20][12] 0.16/0.33 c remove useless variable x[21][6] 0.16/0.33 c remove useless variable x[21][12] 0.16/0.33 c remove useless variable x[21][18] 0.16/0.33 c remove useless variable x[22][0] 0.16/0.33 c remove useless variable x[22][6] 0.16/0.33 c remove useless variable x[22][12] 0.16/0.33 c remove useless variable x[22][18] 0.16/0.33 c 0 1 302 616 316 0 0 0 0 0.16/0.33 c 0 2 302 617 316 0 0 0 0 0.16/0.33 c 0 1 302 616 316 0 0 0 0 0.16/0.33 c 0 1 302 616 316 0 0 0 0 0.16/0.33 c 0 2 302 617 316 0 0 0 0 0.16/0.33 c 0 3 312 638 316 0 0 0 0 0.16/0.33 c 0 3 310 630 316 0 0 0 0 0.16/0.33 c 0 3 318 688 316 0 0 0 0 0.16/0.33 c 0 4 318 652 316 0 0 0 0 0.16/0.33 c 0 5 318 653 316 0 0 0 0 0.16/0.33 c 0 4 325 818 316 0 0 0 0 0.16/0.33 c 0 5 318 644 316 0 0 0 0 0.16/0.33 c 0 4 318 688 316 0 0 0 0 0.16/0.33 c 0 3 325 775 316 0 0 0 0 0.16/0.33 c 0 5 328 705 316 0 0 0 0 0.16/0.33 c 0 6 328 706 316 0 0 0 0 0.16/0.33 c 0 7 326 658 316 0 0 0 0 0.16/0.33 c 0 5 334 760 316 0 0 0 0 0.16/0.33 c 0 7 334 688 316 0 0 0 0 0.16/0.33 c 0 9 334 672 316 0 0 0 0 0.16/0.33 c 0 8 344 773 316 0 0 0 0 0.16/0.33 c 0 6 334 759 316 0 0 0 0 0.16/0.33 c 0 7 350 1024 316 0 0 0 0 0.16/0.33 c 0 5 345 892 316 0 0 0 0 0.16/0.33 c 0 7 350 832 316 0 0 0 0 0.16/0.33 c 0 11 342 686 316 0 0 0 0 0.16/0.33 c 0 9 350 723 316 0 0 0 0 0.16/0.33 c 0 10 350 724 316 0 0 0 0 0.16/0.33 c 0 10 354 795 316 0 0 0 0 0.16/0.33 c 0 13 350 700 316 0 0 0 0 0.16/0.33 c 0 8 350 830 316 0 0 0 0 0.16/0.33 c 0 9 366 904 316 0 0 0 0 0.16/0.33 c 0 15 358 714 316 0 c 0 0 00 7 368 1051 0.16/0.33 316 0 0 0 0 0.16/0.33 c root propagations : 615 0.16/0.33 c restarts enabled, print stats at every restarts 0.16/0.33 c 0.16/0.33 c 0.16/0.33 c 0 12 366 759 316 0 0 0 0 0.16/0.33 c 0 12 370 862 316 0 0 0 0 0.16/0.33 c c 0 10 conflicts373 decisions 1226 316 0 filterCalls 0 0 0propagations Root Prop. 0.16/0.33 Nogoods min/max/avg depth 0.16/0.33 c remove useless variable x[0][4] 0.16/0.33 c remove useless variable x[0][10] 0.16/0.33 c remove useless variable x[0][16] 0.16/0.33 c remove useless variable x[0][22] 0.16/0.33 c remove useless variable x[1][4] 0.16/0.33 c remove useless variable x[1][10] 0.16/0.33 c remove useless variable x[1][16] 0.16/0.33 c remove useless variable x[2][10] 0.16/0.33 c remove useless variable x[3][8] 0.16/0.33 c remove useless variable x[3][14] 0.16/0.33 c remove useless variable x[3][19] 0.16/0.33 c remove useless variable x[4][0] 0.16/0.33 c remove useless variable x[4][1] 0.16/0.33 c remove useless variable x[4][2] 0.16/0.33 c remove useless variable x[4][7] 0.16/0.33 c remove useless variable x[4][13] 0.16/0.33 c remove useless variable x[4][18] 0.16/0.33 c remove useless variable x[5][6] 0.16/0.33 c remove useless variable x[5][12] 0.16/0.33 c remove useless variable x[5][17] 0.16/0.33 c remove useless variable x[6][5] 0.16/0.33 c remove useless variable x[6][10] 0.16/0.33 c remove useless variable x[6][11] 0.16/0.33 c remove useless variable x[6][16] 0.16/0.33 c remove useless variable x[6][20] 0.16/0.33 c remove useless variable x[6][21] 0.16/0.33 c remove useless variable x[6][22] 0.16/0.33 c remove useless variable x[7][4] 0.16/0.33 c remove useless variable x[7][15] 0.16/0.33 c remove useless variable x[8][3] 0.16/0.33 c remove useless variable x[8][9] 0.16/0.33 c remove useless variable x[8][14] 0.16/0.33 c remove useless variable x[8][19] 0.16/0.33 c remove useless variable x[9][8] 0.16/0.33 c remove useless variable x[9][18] 0.16/0.33 c remove useless variable x[10][0] 0.16/0.33 c remove useless variable x[10][1] 0.16/0.33 c remove useless variable x[10][6] 0.16/0.33 c remove useless variable x[10][12] 0.16/0.33 c remove useless variable x[10][17] 0.16/0.33 c remove useless variable x[11][6] 0.16/0.33 c remove useless variable x[11][11] 0.16/0.33 c remove useless variable x[11][16] 0.16/0.33 c remove useless variable x[12][5] 0.16/0.33 c remove useless variable x[12][10] 0.16/0.33 c remove useless variable x[12][16] 0.16/0.33 c remove useless variable x[12][21] 0.16/0.33 c remove useless variable x[12][22] 0.16/0.33 c remove useless variable x[13][4] 0.16/0.33 c remove useless variable x[13][14] 0.16/0.33 c remove useless variable x[14][3] 0.16/0.33 c remove useless variable x[14][8] 0.16/0.33 c remove useless variable x[14][13] 0.16/0.33 c remove useless variable x[14][19] 0.16/0.33 c remove useless variable x[15][7] 0.16/0.33 c remove useless variable x[15][18] 0.16/0.33 c remove useless variable x[16][0] 0.16/0.33 c remove useless variable x[16][1] 0.16/0.33 c remove useless variable x[16][2] 0.16/0.33 c remove useless variable x[16][6] 0.16/0.33 c remove useless variable x[16][11] 0.16/0.33 c remove useless variable x[16][12] 0.16/0.33 c remove useless variable x[16][17] 0.16/0.33 c remove useless variable x[17][5] 0.16/0.33 c remove useless variable x[17][10] 0.16/0.33 c remove useless variable x[17][16] 0.16/0.33 c remove useless variable x[18][4] 0.16/0.33 c remove useless variable x[18][9] 0.16/0.33 c remove useless variable x[18][15] 0.16/0.33 c remove useless variable x[18][20] 0.16/0.33 c remove useless variable x[18][21] 0.16/0.33 c remove useless variable x[18][22] 0.16/0.33 c remove useless variable x[19][3] 0.16/0.33 c remove useless variable x[19][8] 0.16/0.33 c remove useless variable x[19][14] 0.16/0.33 c remove useless variable x[20][12] 0.16/0.33 c remove useless variable x[21][6] 0.16/0.33 c remove useless variable x[21][12] 0.16/0.33 c remove useless variable x[21][18] 0.16/0.33 c remove useless variable x[22][0] 0.16/0.33 c remove useless variable x[22][6] 0.16/0.33 c remove useless variable x[22][12] 0.16/0.33 c remove useless variable x[22][18] 0.16/0.33 c 0 10 366 901 316 0 0 0 0 0.16/0.33 c 0 11 382 976 316 0 0 0 0 0.59/0.37 c 32 158 2461 16860 316 0 62 83 73 0.59/0.38 c 32 234 3078 15794 316 0 44 152 116 0.59/0.38 c 33 170 2566 17657 316 0 12 12 6 0.59/0.38 c 33 242 3209 17271 316 0 8 8 4 0.59/0.39 c 32 315 3476 16133 316 0 28 217 165 0.59/0.39 c 32 316 3547 14358 316 0 18 216 176 0.59/0.39 c 33 325 3566 16909 316 0 10 10 5 0.59/0.39 c 33 327 3728 15233 316 0 11 11 5 0.59/0.40 c 101 437 7228 43958 316 0 14 173 148 0.59/0.42 c 64 384 4825 31860 316 0 5 173 86 0.59/0.43 c 65 398 5020 32904 316 0 14 14 7 1.38/0.44 c 66 408 5169 33660 316 0 10 10 5 1.38/0.44 c 64 479 5813 33748 316 0 3 86 13 1.38/0.44 c 64 381 5254 31628 316 0 5 79 21 1.38/0.44 c 67 421 5368 34742 316 0 13 13 6 1.38/0.44 c 65 385 5352 32258 316 0 4 4 2 1.38/0.45 c 101 340 7120 49709 316 0 60 83 75 1.38/0.45 c 65 505 6058 35260 316 0 26 26 13 1.38/0.45 c 66 517 6185 36001 316 0 12 12 6 1.38/0.45 c 66 404 5565 33727 316 0 19 19 9 1.38/0.45 c 101 401 6554 36830 316 0 5 235 158 1.38/0.45 c 101 498 8062 49755 316 0 30 247 102 1.38/0.45 c 67 413 5694 34612 316 0 9 9 4 1.38/0.45 c 67 531 6341 37027 316 0 14 14 7 1.38/0.46 c 64 661 7075 31883 316 0 8 273 198 1.38/0.47 c 65 707 7459 33962 316 0 46 46 23 1.38/0.49 c 66 717 7635 35086 316 0 10 10 5 1.38/0.49 c 67 726 7820 36085 316 0 9 9 4 2.04/0.53 c 211 1054 14985 93292 316 0 9 418 217 2.04/0.54 c 128 825 10591 72813 316 0 13 134 109 2.04/0.55 c 128 924 10790 62562 316 0 8 283 151 2.04/0.55 c 128 920 11199 63618 316 0 9 101 78 2.04/0.55 c 129 931 10951 63755 316 0 7 7 3 2.04/0.56 c 129 837 10808 73987 316 0 12 12 6 2.04/0.56 c 211 764 13683 87700 316 0 29 111 86 2.04/0.56 c 130 945 11107 64781 316 0 14 14 7 2.04/0.56 c 131 953 11183 65343 316 0 8 8 4 2.04/0.56 c 129 959 11569 65512 316 0 39 39 19 2.04/0.56 c 130 855 11005 75193 316 0 18 18 9 2.04/0.56 c 132 965 11310 66084 316 0 12 12 6 2.04/0.57 c 131 863 11094 76080 316 0 8 8 4 2.04/0.57 c 133 979 11466 67110 316 0 14 14 7 2.04/0.57 c 128 799 9854 60850 316 0 11 261 92 2.04/0.57 c 134 987 11542 67672 316 0 8 8 4 2.04/0.57 c 135 999 11669 68413 316 0 12 12 6 2.04/0.58 c 132 874 11299 77221 316 0 11 11 5 2.04/0.58 c 130 1022 12255 68280 316 0 63 63 31 2.04/0.58 c 131 1029 12347 68729 316 0 7 7 3 2.04/0.58 c 129 838 10249 63210 316 0 39 39 19 2.04/0.59 c 133 892 11499 78429 316 0 18 18 9 2.04/0.59 c 130 849 10385 64263 316 0 11 11 5 2.04/0.59 c 211 1008 15515 97718 316 0 14 307 181 2.04/0.59 c 134 900 11588 79316 316 0 8 8 4 2.04/0.59 c 131 852 10445 64849 316 0 3 3 1 2.04/0.59 c 132 1054 12613 69841 316 0 25 25 12 2.04/0.59 c 132 855 10498 65384 316 0 3 3 1 2.04/0.61 c 133 858 10558 65970 316 0 3 3 1 2.04/0.61 c 134 861 10611 66505 316 0 3 3 1 2.04/0.61 c 135 911 11793 80457 316 0 11 11 5 2.04/0.61 c 135 864 10671 67091 316 0 3 3 1 2.04/0.61 c 133 1096 12998 71798 316 0 42 42 21 2.77/0.62 c 134 1159 13661 74460 316 0 63 63 31 2.77/0.64 c 135 1230 14399 77703 316 0 71 71 35 2.77/0.65 c 211 1155 18483 119025 316 0 21 221 132 2.77/0.69 c 256 1563 18799 119745 316 0 14 289 179 3.49/0.70 c 332 1657 22685 139122 316 0 17 288 135 3.49/0.70 c 332 1397 21773 143155 316 0 3 251 63 3.49/0.70 c 257 1568 18919 120798 316 0 5 5 2 3.49/0.70 c 258 1570 19003 121596 316 0 2 2 1 3.49/0.71 c 256 1382 19159 119006 316 0 18 94 71 3.49/0.71 c 259 1584 19203 122804 316 0 14 14 7 3.49/0.71 c 260 1598 19405 124016 316 0 14 14 7 3.49/0.71 c 257 1390 19280 119646 316 0 8 8 4 3.49/0.72 c 261 1604 19516 124737 316 0 6 6 3 3.49/0.72 c 258 1402 19429 120586 316 0 12 12 6 3.49/0.72 c 262 1618 19716 125945 316 0 14 14 7 3.49/0.73 c 259 1413 19560 121396 316 0 11 11 5 3.49/0.73 c 263 1632 19918 127157 316 0 14 14 7 3.49/0.73 c 260 1421 19681 122036 316 0 8 8 4 3.49/0.73 c 264 1638 20029 127878 316 0 6 6 3 3.49/0.75 c 261 1433 19830 122976 316 0 12 12 6 3.49/0.75 c 256 1357 16904 106207 316 0 3 105 49 3.49/0.75 c 265 1653 20231 129088 316 0 15 15 7 3.49/0.75 c 262 1444 19961 123786 316 0 11 11 5 3.49/0.76 c 266 1673 20421 130294 316 0 20 20 10 3.49/0.76 c 257 1370 17106 107583 316 0 13 13 6 3.49/0.76 c 263 1452 20082 124426 316 0 8 8 4 3.49/0.76 c 267 1682 20612 131275 316 0 9 9 4 3.49/0.76 c 264 1464 20231 125366 316 0 12 12 6 3.49/0.77 c 268 1697 20770 132340 316 0 15 15 7 3.49/0.77 c 265 1475 20362 126176 316 0 11 11 5 3.49/0.77 c 258 1394 17416 109173 316 0 24 24 12 3.49/0.77 c 269 1706 20961 133321 316 0 9 9 4 3.49/0.78 c 266 1483 20483 126816 316 0 8 8 4 3.49/0.78 c 270 1720 21117 134385 316 0 14 14 7 3.49/0.78 c 259 1405 17546 110495 316 0 11 11 5 3.49/0.78 c 271 1729 21308 135366 316 0 9 9 4 3.49/0.78 c 267 1495 20632 127756 316 0 12 12 6 3.49/0.79 c 260 1443 17833 112435 316 0 38 38 19 3.49/0.79 c 261 1448 17877 113079 316 0 5 5 2 3.49/0.79 c 268 1505 20838 128673 316 0 10 10 5 3.49/0.79 c 262 1457 18006 113964 316 0 9 9 4 3.49/0.79 c 332 1818 25993 152912 316 0 12 182 102 3.49/0.79 c 269 1517 20980 129416 316 0 12 12 6 4.28/0.80 c 263 1471 18156 115172 316 0 14 14 7 4.28/0.80 c 270 1523 21052 130020 316 0 6 6 3 4.28/0.80 c 264 1483 18266 116347 316 0 12 12 6 4.28/0.81 c 332 1915 28452 170446 316 0 12 269 174 4.28/0.81 c 265 1499 18402 117465 316 0 16 16 8 4.28/0.81 c 266 1501 18448 118374 316 0 2 2 1 4.28/0.81 c 271 1538 21317 131559 316 0 15 15 7 4.28/0.81 c 256 1788 25349 138127 316 0 13 260 151 4.28/0.81 c 267 1509 18548 119465 316 0 8 8 4 4.28/0.82 c 268 1512 18618 120310 316 0 3 3 1 4.28/0.82 c 269 1514 18662 121055 316 0 2 2 1 4.28/0.82 c 270 1522 18762 122146 316 0 8 8 4 4.28/0.82 c 271 1525 18832 122991 316 0 3 3 1 4.28/0.83 c 465 2245 30214 186546 316 0 11 161 133 4.28/0.83 c 465 2140 30357 196835 316 0 8 367 184 4.28/0.84 c 257 1867 26162 141490 316 0 79 79 39 4.28/0.84 c 258 1883 26381 142668 316 0 16 16 8 4.28/0.86 c 259 1890 26466 143576 316 0 7 7 3 4.28/0.86 c 260 1903 26687 144626 316 0 13 13 6 4.28/0.87 c 261 1913 26823 145143 316 0 10 10 5 4.28/0.88 c 262 1926 27003 146402 316 0 13 13 6 4.28/0.88 c 263 1942 27246 147565 316 0 16 16 8 4.28/0.89 c 264 1972 27550 149441 316 0 30 30 15 5.08/0.90 c 265 2003 27829 151093 316 0 31 31 15 5.08/0.91 c 266 2011 27985 152263 316 0 8 8 4 5.08/0.92 c 267 2042 28271 153463 316 0 31 31 15 5.08/0.92 c 268 2050 28427 154633 316 0 8 8 4 5.08/0.93 c 269 2081 28712 155831 316 0 31 31 15 5.08/0.94 c 270 2089 28868 157001 316 0 8 8 4 5.08/0.94 c 611 2623 36978 237365 316 0 20 239 152 5.08/0.94 c 271 2120 29154 158201 316 0 31 31 15 5.08/0.95 c 512 2475 33585 194091 316 0 11 342 283 5.08/0.96 c 513 2480 33702 195004 316 0 5 5 2 5.08/0.96 c 514 2489 33855 196133 316 0 9 9 4 5.08/0.97 c 515 2494 33967 197049 316 0 5 5 2 5.08/0.97 c 516 2503 34120 198178 316 0 9 9 4 5.08/0.97 c 611 2782 37934 238445 316 0 6 208 145 5.08/0.97 c 465 2606 37548 223778 316 0 49 266 208 5.08/0.98 c 517 2508 34232 199094 316 0 5 5 2 5.08/0.98 c 465 2480 36379 217454 316 0 10 292 128 5.08/0.98 c 518 2517 34385 200223 316 0 9 9 4 5.08/0.99 c 519 2522 34497 201139 316 0 5 5 2 5.08/0.99 c 520 2531 34650 202268 316 0 9 9 4 5.08/0.99 c 521 2536 34762 203184 316 0 5 5 2 5.08/1.00 c 522 2545 34915 204313 316 0 9 9 4 5.08/1.00 c 512 2736 34615 223815 316 0 14 406 172 5.08/1.00 c 523 2550 35027 205229 316 0 5 5 2 5.08/1.00 c 513 2739 34701 224786 316 0 3 3 1 5.94/1.01 c 524 2559 35180 206358 316 0 9 9 4 5.94/1.01 c 514 2741 34779 225608 316 0 2 2 1 5.94/1.01 c 515 2743 34846 226426 316 0 2 2 1 5.94/1.01 c 525 2564 35292 207274 316 0 5 5 2 5.94/1.01 c 516 2745 34924 227248 316 0 2 2 1 5.94/1.01 c 517 2747 34991 228066 316 0 2 2 1 5.94/1.01 c 526 2573 35445 208403 316 0 9 9 4 5.94/1.01 c 518 2749 35069 228888 316 0 2 2 1 5.94/1.02 c 527 2578 35557 209319 316 0 5 5 2 5.94/1.02 c 519 2752 35180 229749 316 0 3 3 1 5.94/1.02 c 528 2587 35710 210448 316 0 9 9 4 5.94/1.02 c 520 2755 35302 230638 316 0 3 3 1 5.94/1.03 c 529 2592 35809 211203 316 0 5 5 2 5.94/1.03 c 521 2757 35369 231456 316 0 2 2 1 5.94/1.03 c 522 2759 35447 232278 316 0 2 2 1 5.94/1.03 c 530 2602 35955 211998 316 0 10 10 5 5.94/1.03 c 523 2762 35558 233139 316 0 3 3 1 5.94/1.04 c 531 2607 36025 212550 316 0 5 5 2 5.94/1.04 c 524 2765 35682 234103 316 0 3 3 1 5.94/1.04 c 532 2616 36190 213733 316 0 9 9 4 5.94/1.04 c 525 2768 35793 234964 316 0 3 3 1 5.94/1.04 c 526 2771 35917 235928 316 0 3 3 1 5.94/1.04 c 533 2625 36343 214870 316 0 9 9 4 5.94/1.05 c 527 2774 36030 236864 316 0 3 3 1 5.94/1.06 c 534 2630 36442 215625 316 0 5 5 2 5.94/1.06 c 528 2777 36154 237828 316 0 3 3 1 5.94/1.06 c 535 2640 36588 216420 316 0 10 10 5 5.94/1.06 c 529 2780 36267 238764 316 0 3 3 1 5.94/1.07 c 536 2645 36658 216972 316 0 5 5 2 5.94/1.07 c 530 2783 36391 239728 316 0 3 3 1 5.94/1.07 c 537 2653 36795 217798 316 0 8 8 4 5.94/1.07 c 531 2786 36504 240664 316 0 3 3 1 5.94/1.07 c 532 2789 36628 241628 316 0 3 3 1 5.94/1.07 c 538 2662 36927 218485 316 0 9 9 4 5.94/1.08 c 533 2792 36741 242564 316 0 3 3 1 5.94/1.08 c 539 2669 37139 219516 316 0 7 7 3 5.94/1.08 c 534 2795 36865 243528 316 0 3 3 1 5.94/1.08 c 535 2798 36978 244464 316 0 3 3 1 5.94/1.08 c 540 2674 37251 220432 316 0 5 5 2 5.94/1.09 c 536 2801 37102 245411 316 0 3 3 1 5.94/1.09 c 541 2683 37404 221561 316 0 9 9 4 5.94/1.09 c 537 2804 37215 246347 316 0 3 3 1 5.94/1.09 c 542 2688 37516 222477 316 0 5 5 2 5.94/1.10 c 538 2807 37339 247294 316 0 3 3 1 5.94/1.10 c 543 2697 37669 223606 316 0 9 9 4 5.94/1.10 c 539 2810 37452 248213 316 0 3 3 1 5.94/1.10 c 512 2518 33476 227920 316 0 2 364 115 5.94/1.10 c 540 2813 37576 249160 316 0 3 3 1 5.94/1.10 c 611 2980 45872 278964 316 0 13 64 59 5.94/1.10 c 513 2532 33613 228934 316 0 14 14 7 5.94/1.10 c 541 2816 37689 250079 316 0 3 3 1 5.94/1.11 c 542 2819 37813 251026 316 0 3 3 1 6.81/1.12 c 514 2546 33835 230295 316 0 14 14 7 6.81/1.12 c 543 2822 37926 251945 316 0 3 3 1 6.81/1.12 c 515 2551 33949 231231 316 0 5 5 2 6.81/1.12 c 516 2564 34070 232115 316 0 13 13 6 6.81/1.12 c 611 3127 46011 276760 316 0 14 270 205 6.81/1.12 c 517 2578 34292 233476 316 0 14 14 7 6.81/1.13 c 771 3440 47558 302846 316 0 12 328 206 6.81/1.14 c 518 2583 34406 234412 316 0 5 5 2 6.81/1.14 c 519 2596 34527 235296 316 0 13 13 6 6.81/1.14 c 771 3590 49484 324887 316 0 5 319 146 6.81/1.15 c 520 2610 34749 236657 316 0 14 14 7 6.81/1.15 c 521 2615 34861 237592 316 0 5 5 2 6.81/1.16 c 522 2628 34984 238477 316 0 13 13 6 6.81/1.16 c 523 2642 35206 239838 316 0 14 14 7 6.81/1.16 c 512 3227 46496 269701 316 0 8 335 281 6.81/1.16 c 524 2647 35318 240773 316 0 5 5 2 6.81/1.17 c 525 2660 35439 241657 316 0 13 13 6 6.81/1.18 c 526 2674 35661 243018 316 0 14 14 7 6.81/1.18 c 527 2679 35773 243953 316 0 5 5 2 6.81/1.18 c 513 3266 46923 271198 316 0 39 39 19 6.81/1.18 c 528 2692 35894 244837 316 0 13 13 6 6.81/1.19 c 529 2703 36000 245905 316 0 11 11 5 6.81/1.19 c 530 2715 36169 246869 316 0 12 12 6 6.81/1.19 c 531 2720 36221 247347 316 0 5 5 2 7.47/1.20 c 532 2725 36269 247844 316 0 5 5 2 7.47/1.20 c 533 2730 36321 248322 316 0 5 5 2 7.47/1.20 c 514 3325 47453 273214 316 0 59 59 29 7.47/1.21 c 534 2735 36369 248819 316 0 5 5 2 7.47/1.21 c 535 2740 36421 249297 316 0 5 5 2 7.47/1.21 c 536 2745 36469 249794 316 0 5 5 2 7.47/1.21 c 537 2750 36521 250272 316 0 5 5 2 7.47/1.21 c 538 2755 36569 250769 316 0 5 5 2 7.47/1.21 c 515 3345 47772 274416 316 0 20 20 10 7.47/1.22 c 539 2760 36621 251247 316 0 5 5 2 7.47/1.22 c 540 2765 36669 251744 316 0 5 5 2 7.47/1.22 c 541 2770 36721 252222 316 0 5 5 2 7.47/1.22 c 542 2775 36769 252719 316 0 5 5 2 7.47/1.22 c 543 2780 36821 253197 316 0 5 5 2 7.47/1.22 c 516 3384 48204 275918 316 0 39 39 19 7.47/1.24 c 517 3443 48734 277934 316 0 59 59 29 7.47/1.25 c First solution is found 7.47/1.25 c [pFactory][Group N°0] concurent mode: thread 5 has won with the task 0. 7.47/1.25 c [pFactory][Group N°0] Thread N°0 is joined. 7.47/1.25 c [pFactory][Group N°0] Thread N°1 is joined. 7.47/1.25 c [pFactory][Group N°0] Thread N°2 is joined. 7.47/1.25 c [pFactory][Group N°0] Thread N°3 is joined. 7.47/1.25 c [pFactory][Group N°0] Thread N°4 is joined. 7.47/1.25 c [pFactory][Group N°0] Thread N°5 is joined. 7.47/1.25 c [pFactory][Group N°0] Thread N°6 is joined. 7.47/1.25 c [pFactory][Group N°0] Thread N°7 is joined. 7.47/1.25 c [pFactory][Group N°0] Return Code of the winner:1 (Thread N°5) 7.47/1.25 s SATISFIABLE 7.47/1.25 c restarts : 66 7.47/1.25 c conflicts : 645 (82 /sec) 7.47/1.25 c decisions : 3575 (454 /sec) 7.47/1.25 c propagations : 295848 (37549 /sec) 7.47/1.25 c root propagations : 615 7.47/1.25 c filter calls : 45378 (5759 /sec) 7.47/1.25 c useless filter calls : 16953 (37 %) 7.47/1.25 c Memory used : 617.71 MB 7.47/1.25 c CPU time : 7.87896 s 7.47/1.25 c real time : 1.204 s 7.47/1.25 7.47/1.25 c solution 1 7.47/1.25 7.47/1.25 v <instantiation type='solution'> 7.47/1.25 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> 7.47/1.25 v <values>1 0 17 3 * 18 15 11 0 19 * 18 4 19 14 13 * 4 3 6 0 17 * 4 17 8 4 * 8 17 4 13 4 * 14 17 14 13 14 * 11 14 20 21 4 17 19 4 19 17 0 6 14 13 0 11 * 8 17 17 4 18 15 4 2 19 8 21 4 7 0 25 4 11 13 20 19 * 4 17 17 14 17 * 19 14 13 10 * 0 21 4 * * * 11 8 4 3 * 4 19 7 4 17 * 0 17 4 0 * 0 17 4 18 18 19 17 8 2 19 * 19 0 7 14 4 * 18 11 8 19 * 2 11 24 3 4 15 8 4 2 4 * 15 0 18 14 * * 18 14 20 11 * 12 14 14 * * * 11 14 5 19 * 11 4 1 4 13 18 17 0 20 12 * 12 14 17 4 18 1 24 0 6 14 * 1 4 19 4 11 * 7 0 11 19 * 11 20 19 4 * 4 17 4 19 0 17 15 0 15 4 17 * 5 14 17 19 7 22 8 19 7 * 18 2 20 12 * * 12 20 19 4 * 13 0 8 21 4 * 22 14 21 4 * 5 14 17 19 4 18 19 0 19 4 17 * 0 1 11 4 * 11 4 21 8 * 0 8 11 4 4 13 22 0 19 19 18 * 18 2 20 12 * 17 14 18 4 13 * 1 11 0 19 * * 0 7 14 24 * 2 14 11 19 18 5 14 14 19 * 6 4 13 4 17 0 19 4 13 14 17 * 19 8 17 4 * 19 14 18 18 * 2 18 13 4 19 * 17 20 13 10 4 24 13 14 19 4 * 15 17 14 18 4 2 20 19 14 17 * 19 8 11 19 * * * 0 6 4 * 18 11 8 19 * * 0 12 14 18 * 15 4 0 18 4 15 14 11 8 18 * 22 7 14 15 * 18 0 19 8 13 * 2 4 11 11 0 17 14 17 0 11 * 15 4 4 15 * 7 0 21 4 13 * 12 14 17 4 * * * 14 15 19 * 18 14 0 17 * 1 14 22 4 13 * 3 0 21 8 3 18 14 13 2 7 4 2 10 4 17 1 4 17 17 24 * 0 15 14 2 0 11 24 15 18 4 7 0 17 17 8 18 * 4 11 8 3 4 * 19 20 3 14 17 * 13 20 11 11 * 13 0 19 19 24 * 19 8 6 4 17 * 4 1 14 13 24 * 4 13 14 11 </values> 7.47/1.25 v </instantiation> 7.47/1.25
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 (15440 MiB free) memory of node 1: 16384 MiB (15581 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398062-1568614481/watcher-4398062-1568614481 -o /tmp/evaluation-result-4398062-1568614481/solver-4398062-1568614481 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1568611288-10761 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398062-1568614481.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=11827, runsolver pid=11824 Current StackSize limit: 8192 KiB [startup+0.100156 s]* /proc/loadavg: 2.93 4.35 6.08 2/194 11828 /proc/meminfo: memFree=31755076/32770624 swapFree=66998976/67108860 [pid=11827] ppid=11824 vsize=34692 memory=10852 CPUtime=0.05 cores=0-7 /proc/11827/stat : 11827 (cosoco) R 11824 11827 10734 0 -1 4202496 2880 0 1 0 5 0 0 0 20 0 1 0 437699559 35524608 2713 33554432000 4194304 6211092 140736015147888 140736015145160 5816132 0 0 4096 8405026 0 0 0 17 5 0 0 4 0 0 8312316 8317760 14852096 140736015152145 140736015152237 140736015152237 140736015155150 0 /proc/11827/statm: 8673 2713 815 493 0 1978 0 Current children cumulated CPU time: 0.05 s Current children cumulated vsize: 34692 KiB Current children cumulated memory: 10852 KiB [startup+0.209427 s]* /proc/loadavg: 2.93 4.35 6.08 2/194 11828 /proc/meminfo: memFree=31750456/32770624 swapFree=66998976/67108860 [pid=11827] ppid=11824 vsize=42336 memory=18244 CPUtime=0.16 cores=0-7 /proc/11827/stat : 11827 (cosoco) R 11824 11827 10734 0 -1 4202496 4759 0 1 0 16 0 0 0 20 0 1 0 437699559 43352064 4561 33554432000 4194304 6211092 140736015147888 140736015145160 5240329 0 0 4096 8405026 0 0 0 17 5 0 0 4 0 0 8312316 8317760 14852096 140736015152145 140736015152237 140736015152237 140736015155150 0 /proc/11827/statm: 10584 4561 815 493 0 3889 0 Current children cumulated CPU time: 0.16 s Current children cumulated vsize: 42336 KiB Current children cumulated memory: 18244 KiB [startup+0.3098 s]* /proc/loadavg: 2.93 4.35 6.08 10/202 11836 /proc/meminfo: memFree=31715360/32770624 swapFree=66998976/67108860 [pid=11827] ppid=11824 vsize=665316 memory=51508 CPUtime=0.59 cores=0-7 /proc/11827/stat : 11827 (cosoco) S 11824 11827 10734 0 -1 1077944320 13417 0 1 0 58 1 0 0 20 0 9 0 437699559 681283584 12877 33554432000 4194304 6211092 140736015147888 140736015146144 139632606904055 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 4 0 0 8312316 8317760 14852096 140736015152145 140736015152237 140736015152237 140736015155150 0 /proc/11827/statm: 166329 12877 840 493 0 159634 0 [pid=11827/tid=11829] ppid=11824 vsize=665316 memory=8317482817917895235 CPUtime=0.04 cores=0-7 /proc/11827/task/11829/stat : 11829 (cosoco) R 11824 11827 10734 0 -1 4202560 45 0 0 0 4 0 0 0 20 0 9 0 437699588 681283584 12877 33554432000 4194304 6211092 140736015147888 139632583760992 5039104 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 14852096 140736015152145 140736015152237 140736015152237 140736015155150 0 [pid=11827/tid=11830] ppid=11824 vsize=665316 memory=0 CPUtime=0.03 cores=0-7 /proc/11827/task/11830/stat : 11830 (cosoco) R 11824 11827 10734 0 -1 4202560 39 0 0 0 3 0 0 0 20 0 9 0 437699588 681283584 12877 33554432000 4194304 6211092 140736015147888 139632575368056 5039038 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 14852096 140736015152145 140736015152237 140736015152237 140736015155150 0 [pid=11827/tid=11831] ppid=11824 vsize=665316 memory=0 CPUtime=0.04 cores=0-7 /proc/11827/task/11831/stat : 11831 (cosoco) R 11824 11827 10734 0 -1 4202560 39 0 0 0 4 0 0 0 20 0 9 0 437699588 681283584 12877 33554432000 4194304 6211092 140736015147888 139632566965624 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 14852096 140736015152145 140736015152237 140736015152237 140736015155150 0 [pid=11827/tid=11832] ppid=11824 vsize=665316 memory=6944652177228980320 CPUtime=0.04 cores=0-7 /proc/11827/task/11832/stat : 11832 (cosoco) R 11824 11827 10734 0 -1 4202560 39 0 0 0 4 0 0 0 20 0 9 0 437699588 681283584 12877 33554432000 4194304 6211092 140736015147888 139632558582880 5039038 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 14852096 140736015152145 140736015152237 140736015152237 140736015155150 0 [pid=11827/tid=11833] ppid=11824 vsize=665316 memory=0 CPUtime=0.04 cores=0-7 /proc/11827/task/11833/stat : 11833 (cosoco) R 11824 11827 10734 0 -1 4202560 45 0 0 0 4 0 0 0 20 0 9 0 437699588 681283584 12877 33554432000 4194304 6211092 140736015147888 139632550180216 5039199 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 14852096 140736015152145 140736015152237 140736015152237 140736015155150 0 [pid=11827/tid=11834] ppid=11824 vsize=665316 memory=0 CPUtime=0.04 cores=0-7 /proc/11827/task/11834/stat : 11834 (cosoco) R 11824 11827 10734 0 -1 4202560 39 0 0 0 4 0 0 0 20 0 9 0 437699588 681283584 12877 33554432000 4194304 6211092 140736015147888 139632541797128 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 14852096 140736015152145 140736015152237 140736015152237 140736015155150 0 [pid=11827/tid=11835] ppid=11824 vsize=665316 memory=0 CPUtime=0.04 cores=0-7 /proc/11827/task/11835/stat : 11835 (cosoco) R 11824 11827 10734 0 -1 4202560 39 0 0 0 4 0 0 0 20 0 9 0 437699588 681283584 12877 33554432000 4194304 6211092 140736015147888 139632533394808 5038992 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 14852096 140736015152145 140736015152237 140736015152237 140736015155150 0 [pid=11827/tid=11836] ppid=11824 vsize=665316 memory=0 CPUtime=0.04 cores=0-7 /proc/11827/task/11836/stat : 11836 (cosoco) R 11824 11827 10734 0 -1 4202560 39 0 0 0 4 0 0 0 20 0 9 0 437699588 681283584 12877 33554432000 4194304 6211092 140736015147888 139632525002104 5039199 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 14852096 140736015152145 140736015152237 140736015152237 140736015155150 0 Current children cumulated CPU time: 0.59 s Current children cumulated vsize: 665316 KiB Current children cumulated memory: 51508 KiB [startup+0.700797 s] /proc/loadavg: 2.93 4.35 6.08 9/202 11836 /proc/meminfo: memFree=31712384/32770624 swapFree=66998976/67108860 [pid=11827] ppid=11824 vsize=665316 memory=56212 CPUtime=3.49 cores=0-7 /proc/11827/stat : 11827 (cosoco) S 11824 11827 10734 0 -1 1077944320 14526 0 1 0 347 2 0 0 20 0 9 0 437699559 681283584 14053 33554432000 4194304 6211092 140736015147888 140736015146144 139632606904055 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 4 0 0 8312316 8317760 14852096 140736015152145 140736015152237 140736015152237 140736015155150 0 /proc/11827/statm: 166329 14053 850 493 0 159634 0 [pid=11827/tid=11829] ppid=11824 vsize=665316 memory=4064 CPUtime=0.4 cores=0-7 /proc/11827/task/11829/stat : 11829 (cosoco) R 11824 11827 10734 0 -1 4202560 171 0 0 0 40 0 0 0 20 0 9 0 437699588 681283584 14053 33554432000 4194304 6211092 140736015147888 139632583760680 5038990 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 14852096 140736015152145 140736015152237 140736015152237 140736015155150 0 [pid=11827/tid=11830] ppid=11824 vsize=665316 memory=2900 CPUtime=0.39 cores=0-7 /proc/11827/task/11830/stat : 11830 (cosoco) R 11824 11827 10734 0 -1 4202560 165 0 0 0 39 0 0 0 20 0 9 0 437699588 681283584 14053 33554432000 4194304 6211092 140736015147888 139632575367784 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 14852096 140736015152145 140736015152237 140736015152237 140736015155150 0 [pid=11827/tid=11831] ppid=11824 vsize=665316 memory=5928 CPUtime=0.41 cores=0-7 /proc/11827/task/11831/stat : 11831 (cosoco) R 11824 11827 10734 0 -1 4202560 93 0 0 0 41 0 0 0 20 0 9 0 437699588 681283584 14053 33554432000 4194304 6211092 140736015147888 139632566975080 5039038 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 14852096 140736015152145 140736015152237 140736015152237 140736015155150 0 [pid=11827/tid=11832] ppid=11824 vsize=665316 memory=664 CPUtime=0.38 cores=0-7 /proc/11827/task/11832/stat : 11832 (cosoco) R 11824 11827 10734 0 -1 4202560 161 0 0 0 38 0 0 0 20 0 9 0 437699588 681283584 14053 33554432000 4194304 6211092 140736015147888 139632558582880 5039323 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 14852096 140736015152145 140736015152237 140736015152237 140736015155150 0 [pid=11827/tid=11833] ppid=11824 vsize=665316 memory=1156 CPUtime=0.41 cores=0-7 /proc/11827/task/11833/stat : 11833 (cosoco) R 11824 11827 10734 0 -1 4202560 210 0 0 0 41 0 0 0 20 0 9 0 437699588 681283584 14053 33554432000 4194304 6211092 140736015147888 139632550190176 5037858 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 14852096 140736015152145 140736015152237 140736015152237 140736015155150 0 [pid=11827/tid=11834] ppid=11824 vsize=665316 memory=140603409766015 CPUtime=0.4 cores=0-7 /proc/11827/task/11834/stat : 11834 (cosoco) R 11824 11827 10734 0 -1 4202560 191 0 0 0 40 0 0 0 20 0 9 0 437699588 681283584 14053 33554432000 4194304 6211092 140736015147888 139632541797080 5039038 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 14852096 140736015152145 140736015152237 140736015152237 140736015155150 0 [pid=11827/tid=11835] ppid=11824 vsize=665316 memory=7079711572788011072 CPUtime=0.41 cores=0-7 /proc/11827/task/11835/stat : 11835 (cosoco) R 11824 11827 10734 0 -1 4202560 267 0 0 0 41 0 0 0 20 0 9 0 437699588 681283584 14053 33554432000 4194304 6211092 140736015147888 139632533404264 5038990 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 14852096 140736015152145 140736015152237 140736015152237 140736015155150 0 [pid=11827/tid=11836] ppid=11824 vsize=665316 memory=7597685182856913236 CPUtime=0.4 cores=0-7 /proc/11827/task/11836/stat : 11836 (cosoco) R 11824 11827 10734 0 -1 4202560 175 0 0 0 40 0 0 0 20 0 9 0 437699588 681283584 14053 33554432000 4194304 6211092 140736015147888 139632525012064 5039132 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 14852096 140736015152145 140736015152237 140736015152237 140736015155150 0 Current children cumulated CPU time: 3.49 s Current children cumulated vsize: 665316 KiB Current children cumulated memory: 56212 KiB [startup+1.25964 s] # the end of solver process 11827 was just reported to runsolver # cumulated CPU time of all completed processes: user=7.87998 s, system=0.029969 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+0.800611 s] /proc/loadavg: 2.93 4.35 6.08 9/202 11836 /proc/meminfo: memFree=31712384/32770624 swapFree=66998976/67108860 [pid=11827] ppid=11824 vsize=665316 memory=56740 CPUtime=4.28 cores=0-7 /proc/11827/stat : 11827 (cosoco) S 11824 11827 10734 0 -1 1077944320 14600 0 1 0 426 2 0 0 20 0 9 0 437699559 681283584 14185 33554432000 4194304 6211092 140736015147888 140736015146144 139632606904055 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 4 0 0 8312316 8317760 14852096 140736015152145 140736015152237 140736015152237 140736015155150 0 /proc/11827/statm: 166329 14185 850 493 0 159634 0 [pid=11827/tid=11829] ppid=11824 vsize=665316 memory=6935649255759568960 CPUtime=0.5 cores=0-7 /proc/11827/task/11829/stat : 11829 (cosoco) R 11824 11827 10734 0 -1 4202560 202 0 0 0 50 0 0 0 20 0 9 0 437699588 681283584 14185 33554432000 4194304 6211092 140736015147888 139632583760488 5039014 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 14852096 140736015152145 140736015152237 140736015152237 140736015155150 0 [pid=11827/tid=11830] ppid=11824 vsize=665316 memory=7739834362435234151 CPUtime=0.49 cores=0-7 /proc/11827/task/11830/stat : 11830 (cosoco) R 11824 11827 10734 0 -1 4202560 168 0 0 0 49 0 0 0 20 0 9 0 437699588 681283584 14185 33554432000 4194304 6211092 140736015147888 139632575368288 5038990 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 14852096 140736015152145 140736015152237 140736015152237 140736015155150 0 [pid=11827/tid=11831] ppid=11824 vsize=665316 memory=-7965959130280075168 CPUtime=0.51 cores=0-7 /proc/11827/task/11831/stat : 11831 (cosoco) R 11824 11827 10734 0 -1 4202560 93 0 0 0 51 0 0 0 20 0 9 0 437699588 681283584 14185 33554432000 4194304 6211092 140736015147888 139632566975080 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 14852096 140736015152145 140736015152237 140736015152237 140736015155150 0 [pid=11827/tid=11832] ppid=11824 vsize=665316 memory=8292088564187963537 CPUtime=0.48 cores=0-7 /proc/11827/task/11832/stat : 11832 (cosoco) R 11824 11827 10734 0 -1 4202560 161 0 0 0 48 0 0 0 20 0 9 0 437699588 681283584 14185 33554432000 4194304 6211092 140736015147888 139632558582880 5038990 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 14852096 140736015152145 140736015152237 140736015152237 140736015155150 0 [pid=11827/tid=11833] ppid=11824 vsize=665316 memory=8025788835569559914 CPUtime=0.51 cores=0-7 /proc/11827/task/11833/stat : 11833 (cosoco) R 11824 11827 10734 0 -1 4202560 211 0 0 0 51 0 0 0 20 0 9 0 437699588 681283584 14185 33554432000 4194304 6211092 140736015147888 139632550190176 5039121 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 14852096 140736015152145 140736015152237 140736015152237 140736015155150 0 [pid=11827/tid=11834] ppid=11824 vsize=665316 memory=7956567955459234152 CPUtime=0.5 cores=0-7 /proc/11827/task/11834/stat : 11834 (cosoco) R 11824 11827 10734 0 -1 4202560 191 0 0 0 50 0 0 0 20 0 9 0 437699588 681283584 14185 33554432000 4194304 6211092 140736015147888 139632541797080 5038990 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 14852096 140736015152145 140736015152237 140736015152237 140736015155150 0 [pid=11827/tid=11835] ppid=11824 vsize=665316 memory=292576655 CPUtime=0.51 cores=0-7 /proc/11827/task/11835/stat : 11835 (cosoco) R 11824 11827 10734 0 -1 4202560 267 0 0 0 51 0 0 0 20 0 9 0 437699588 681283584 14185 33554432000 4194304 6211092 140736015147888 139632533404768 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 14852096 140736015152145 140736015152237 140736015152237 140736015155150 0 [pid=11827/tid=11836] ppid=11824 vsize=665316 memory=2372 CPUtime=0.5 cores=0-7 /proc/11827/task/11836/stat : 11836 (cosoco) R 11824 11827 10734 0 -1 4202560 214 0 0 0 50 0 0 0 20 0 9 0 437699588 681283584 14185 33554432000 4194304 6211092 140736015147888 139632525012064 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 14852096 140736015152145 140736015152237 140736015152237 140736015155150 0 Current children cumulated CPU time: 4.28 s Current children cumulated vsize: 665316 KiB Current children cumulated memory: 56740 KiB [startup+1.20048 s] /proc/loadavg: 2.93 4.35 6.08 10/202 11836 /proc/meminfo: memFree=31709472/32770624 swapFree=66998976/67108860 [pid=11827] ppid=11824 vsize=665316 memory=58324 CPUtime=7.47 cores=0-7 /proc/11827/stat : 11827 (cosoco) S 11824 11827 10734 0 -1 1077944320 15039 0 1 0 745 2 0 0 20 0 9 0 437699559 681283584 14581 33554432000 4194304 6211092 140736015147888 140736015146144 139632606904055 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 4 0 0 8312316 8317760 14852096 140736015152145 140736015152237 140736015152237 140736015155150 0 /proc/11827/statm: 166329 14581 850 493 0 159634 0 [pid=11827/tid=11829] ppid=11824 vsize=665316 memory=288230621803970871 CPUtime=0.9 cores=0-7 /proc/11827/task/11829/stat : 11829 (cosoco) R 11824 11827 10734 0 -1 4202560 229 0 0 0 90 0 0 0 20 0 9 0 437699588 681283584 14581 33554432000 4194304 6211092 140736015147888 139632583760992 5039323 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 14852096 140736015152145 140736015152237 140736015152237 140736015155150 0 [pid=11827/tid=11830] ppid=11824 vsize=665316 memory=14136632290839084 CPUtime=0.89 cores=0-7 /proc/11827/task/11830/stat : 11830 (cosoco) R 11824 11827 10734 0 -1 4202560 230 0 0 0 89 0 0 0 20 0 9 0 437699588 681283584 14581 33554432000 4194304 6211092 140736015147888 139632575368288 5039199 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 14852096 140736015152145 140736015152237 140736015152237 140736015155150 0 [pid=11827/tid=11831] ppid=11824 vsize=665316 memory=496 CPUtime=0.9 cores=0-7 /proc/11827/task/11831/stat : 11831 (cosoco) R 11824 11827 10734 0 -1 4202560 212 0 0 0 90 0 0 0 20 0 9 0 437699588 681283584 14581 33554432000 4194304 6211092 140736015147888 139632566975584 5039132 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 14852096 140736015152145 140736015152237 140736015152237 140736015155150 0 [pid=11827/tid=11832] ppid=11824 vsize=665316 memory=928 CPUtime=0.87 cores=0-7 /proc/11827/task/11832/stat : 11832 (cosoco) R 11824 11827 10734 0 -1 4202560 242 0 0 0 87 0 0 0 20 0 9 0 437699588 681283584 14581 33554432000 4194304 6211092 140736015147888 139632558582880 5039026 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 14852096 140736015152145 140736015152237 140736015152237 140736015155150 0 [pid=11827/tid=11833] ppid=11824 vsize=665316 memory=1604 CPUtime=0.91 cores=0-7 /proc/11827/task/11833/stat : 11833 (cosoco) R 11824 11827 10734 0 -1 4202560 225 0 0 0 91 0 0 0 20 0 9 0 437699588 681283584 14581 33554432000 4194304 6211092 140736015147888 139632550190176 5039199 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 14852096 140736015152145 140736015152237 140736015152237 140736015155150 0 [pid=11827/tid=11834] ppid=11824 vsize=665316 memory=1980 CPUtime=0.9 cores=0-7 /proc/11827/task/11834/stat : 11834 (cosoco) R 11824 11827 10734 0 -1 4202560 271 0 0 0 90 0 0 0 20 0 9 0 437699588 681283584 14581 33554432000 4194304 6211092 140736015147888 139632541797472 5039199 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 14852096 140736015152145 140736015152237 140736015152237 140736015155150 0 [pid=11827/tid=11835] ppid=11824 vsize=665316 memory=2808 CPUtime=0.9 cores=0-7 /proc/11827/task/11835/stat : 11835 (cosoco) R 11824 11827 10734 0 -1 4202560 289 0 0 0 90 0 0 0 20 0 9 0 437699588 681283584 14581 33554432000 4194304 6211092 140736015147888 139632533404768 5039137 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 14852096 140736015152145 140736015152237 140736015152237 140736015155150 0 [pid=11827/tid=11836] ppid=11824 vsize=665316 memory=1440 CPUtime=0.9 cores=0-7 /proc/11827/task/11836/stat : 11836 (cosoco) R 11824 11827 10734 0 -1 4202560 248 0 0 0 90 0 0 0 20 0 9 0 437699588 681283584 14581 33554432000 4194304 6211092 140736015147888 139632525012064 5038995 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 14852096 140736015152145 140736015152237 140736015152237 140736015155150 0 Current children cumulated CPU time: 7.47 s Current children cumulated vsize: 665316 KiB Current children cumulated memory: 58324 KiB Child status: 0 Real time (s): 1.25969 CPU time (s): 7.90995 CPU user time (s): 7.87998 CPU system time (s): 0.029969 CPU usage (%): 627.928 Max. virtual memory (cumulated for all children) (KiB): 665316 Max. memory (cumulated for all children) (KiB): 58324 getrusage(RUSAGE_CHILDREN,...) data: user time used= 7.87998 system time used= 0.029969 maximum resident set size= 59572 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15073 page faults= 1 swaps= 0 block input operations= 9736 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 277 involuntary context switches= 209 # summary of solver processes directly reported to runsolver: # pid: 11827 # total CPU time (s): 7.90995 # total CPU user time (s): 7.87998 # total CPU system time (s): 0.029969 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.038108 second user time and 0.0514 second system time The end
Begin job on node102 at 2019-09-16 08:13:56 IDJOB=4398062 IDBENCH=139819 IDSOLVER=2851 FILE ID=node102/4398062-1568614481 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-lex-herald/Crossword-m1c-lex-h2307.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398062-1568614481/watcher-4398062-1568614481 -o /tmp/evaluation-result-4398062-1568614481/solver-4398062-1568614481 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1568611288-10761 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398062-1568614481.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 07d1be45dab1ec82d1b4d00a54d73f42 RANDOM SEED=297144741 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: 31767972 kB MemAvailable: 31906024 kB Buffers: 93132 kB Cached: 343368 kB SwapCached: 7452 kB Active: 344712 kB Inactive: 102836 kB Active(anon): 2516 kB Inactive(anon): 50340 kB Active(file): 342196 kB Inactive(file): 52496 kB Unevictable: 110384 kB Mlocked: 110384 kB SwapTotal: 67108860 kB SwapFree: 66998976 kB Dirty: 9352 kB Writeback: 0 kB AnonPages: 114368 kB Mapped: 41076 kB Shmem: 33556 kB Slab: 146996 kB SReclaimable: 118388 kB SUnreclaim: 28608 kB KernelStack: 3392 kB PageTables: 5484 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 508996 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:13:57