| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco 2.0 parallel | SAT | 7.71423 | 1.20193 |
| 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.21/0.27 c root propagations : 615 0.21/0.27 c restarts enabled, print stats at every restarts 0.21/0.27 c 0.21/0.27 c 0.21/0.27 c 0.21/0.27 c This is cosoco 2.00 -- 0.21/0.27 c 0.21/0.27 c command line: cosoco -model -nbcores=8 HOME/instance-4409322-1569839060.xml 0.21/0.27 c ========================================[ Problem Statistics ]=========================================== 0.21/0.27 c | 0.21/0.27 c | Parse time : 0.23 s 0.21/0.27 c | 0.21/0.27 c | Variables: 529 0.21/0.27 c | Domain Sizes: 26..26 0.21/0.27 c | 0.21/0.27 c | Constraints: 174 0.21/0.27 c | Arity: 3..12 -- Ternary: 16 0.21/0.27 c | 0.21/0.27 c | Types: 0.21/0.27 c | Extension: 174 (nb tuples: 593..4042) -- (shared: 1312) 0.21/0.27 c | 0.21/0.27 c ========================================================================================================= 0.21/0.27 c Parallel mode: Portfolio 0.21/0.27 c [pFactory][Group N°0] created (threads:8). 0.21/0.27 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 0.21/0.27 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 0.21/0.27 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 0.21/0.27 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 0.21/0.27 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 0.21/0.27 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 0.21/0.27 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 0.21/0.27 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 0.21/0.27 c [pFactory][Group N°0] concurrent mode: enabled. 0.21/0.27 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 0.21/0.27 c [pFactory][Group N°0] task 7 launched on thread 5. 0.21/0.27 c [pFactory][Group N°0] task 6 launched on thread 0. 0.21/0.27 c [pFactory][Group N°0] task 5 launched on thread 1. 0.21/0.27 c [pFactory][Group N°0] task 4 launched on thread 2. 0.21/0.27 c [pFactory][Group N°0] task 3 launched on thread 6. 0.21/0.27 c [pFactory][Group N°0] task 2 launched on thread 3. 0.21/0.27 c [pFactory][Group N°0] task 1 launched on thread 7. 0.21/0.27 c [pFactory][Group N°0] task 0 launched on thread 4. 0.21/0.27 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.21/0.27 c remove useless variable x[0][4] 0.21/0.27 c remove useless variable x[0][10] 0.21/0.27 c remove useless variable x[0][16] 0.21/0.27 c remove useless variable x[0][22] 0.21/0.27 c remove useless variable x[1][4] 0.21/0.27 c remove useless variable x[1][10] 0.21/0.27 c remove useless variable x[1][16] 0.21/0.27 c remove useless variable x[2][10] 0.21/0.27 c remove useless variable x[3][8] 0.21/0.27 c remove useless variable x[3][14] 0.21/0.27 c remove useless variable x[3][19] 0.21/0.27 c remove useless variable x[4][0] 0.21/0.27 c remove useless variable x[4][1] 0.21/0.27 c remove useless variable x[4][2] 0.21/0.27 c remove useless variable x[4][7] 0.21/0.27 c remove useless variable x[4][13] 0.21/0.27 c remove useless variable x[4][18] 0.21/0.27 c remove useless variable x[5][6] 0.21/0.27 c remove useless variable x[5][12] 0.21/0.27 c remove useless variable x[5][17] 0.21/0.27 c root propagations : 615 0.21/0.27 c restarts enabled, print stats at every restarts 0.21/0.27 c 0.21/0.27 c 0.21/0.27 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.21/0.27 c remove useless variable x[0][4] 0.21/0.27 c remove useless variable x[0][10] 0.21/0.27 c remove useless variable x[0][16] 0.21/0.27 c remove useless variable x[0][22] 0.21/0.27 c remove useless variable x[1][4] 0.21/0.27 c remove useless variable x[1][10] 0.21/0.27 c remove useless variable x[1][16] 0.21/0.27 c remove useless variable x[2][10] 0.21/0.27 c remove useless variable x[3][8] 0.21/0.27 c remove useless variable x[3][14] 0.21/0.27 c remove useless variable x[3][19] 0.21/0.27 c remove useless variable x[4][0] 0.21/0.27 c remove useless variable x[4][1] 0.21/0.27 c remove useless variable x[4][2] 0.21/0.27 c remove useless variable x[4][7] 0.21/0.27 c remove useless variable x[4][13] 0.21/0.27 c remove useless variable x[4][18] 0.21/0.27 c remove useless variable x[5][6] 0.21/0.27 c remove useless variable x[5][12] 0.21/0.27 c remove useless variable x[5][17] 0.21/0.27 c remove useless variable x[6][5] 0.21/0.27 c remove useless variable x[6][10] 0.21/0.27 c remove useless variable x[6][11] 0.21/0.27 c remove useless variable x[6][16] 0.21/0.27 c remove useless variable x[6][20] 0.21/0.27 c remove useless variable x[6][21] 0.21/0.27 c remove useless variable x[6][22] 0.21/0.27 c remove useless variable x[7][4] 0.21/0.27 c remove useless variable x[7][15] 0.21/0.27 c root propagations : 615 0.21/0.27 c restarts enabled, print stats at every restarts 0.21/0.27 c 0.21/0.27 c 0.21/0.27 c remove useless variable x[8][3] 0.21/0.27 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.21/0.27 c remove useless variable x[8][9] 0.21/0.27 c remove useless variable x[0][4] 0.21/0.27 c root propagations : 615 0.21/0.27 c remove useless variable x[8][14] 0.21/0.27 c remove useless variable x[8][19] 0.21/0.27 c remove useless variable x[9][8] 0.21/0.27 c restarts enabled, print stats at every restarts 0.21/0.27 c remove useless variable x[0][10] 0.21/0.27 c 0.21/0.27 c 0.21/0.27 c remove useless variable x[9][18] 0.21/0.27 c remove useless variable x[10][0] 0.21/0.27 c remove useless variable x[10][1] 0.21/0.27 c remove useless variable x[0][16] 0.21/0.27 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.21/0.27 c remove useless variable x[0][4] 0.21/0.27 c remove useless variable x[0][22] 0.21/0.27 c remove useless variable x[1][4] 0.21/0.27 c remove useless variable x[0][10] 0.21/0.27 c remove useless variable x[0][16] 0.21/0.27 c remove useless variable x[0][22] 0.21/0.27 c remove useless variable x[10][6] 0.21/0.27 c remove useless variable x[1][10] 0.21/0.27 c remove useless variable x[1][16] 0.21/0.27 c remove useless variable x[10][12] 0.21/0.27 c remove useless variable x[1][4] 0.21/0.27 c remove useless variable x[10][17] 0.21/0.27 c remove useless variable x[11][6] 0.21/0.27 c remove useless variable x[11][11] 0.21/0.27 c remove useless variable x[11][16] 0.21/0.27 c remove useless variable x[12][5] 0.21/0.27 c remove useless variable x[12][10] 0.21/0.27 c remove useless variable x[12][16] 0.21/0.27 c remove useless variable x[2][10] 0.21/0.27 c remove useless variable x[3][8] 0.21/0.27 c remove useless variable x[3][14] 0.21/0.27 c remove useless variable x[3][19] 0.21/0.27 c remove useless variable x[4][0] 0.21/0.27 c remove useless variable x[4][1] 0.21/0.27 c remove useless variable x[4][2] 0.21/0.27 c remove useless variable x[1][10] 0.21/0.27 c remove useless variable x[1][16] 0.21/0.27 c remove useless variable x[2][10] 0.21/0.27 c remove useless variable x[3][8] 0.21/0.27 c remove useless variable x[3][14] 0.21/0.27 c remove useless variable x[3][19] 0.21/0.27 c remove useless variable x[4][0] 0.21/0.27 c remove useless variable x[4][1] 0.21/0.27 c remove useless variable x[4][2] 0.21/0.27 c remove useless variable x[4][7] 0.21/0.27 c remove useless variable x[4][13] 0.21/0.27 c remove useless variable x[4][18] 0.21/0.27 c remove useless variable x[5][6] 0.21/0.27 c remove useless variable x[5][12] 0.21/0.27 c remove useless variable x[5][17] 0.21/0.27 c remove useless variable x[6][5] 0.21/0.27 c remove useless variable x[6][10] 0.21/0.27 c remove useless variable x[12][21] 0.21/0.27 c remove useless variable x[12][22] 0.21/0.27 c remove useless variable x[13][4] 0.21/0.27 c remove useless variable x[13][14] 0.21/0.27 c remove useless variable x[14][3] 0.21/0.27 c remove useless variable x[14][8] 0.21/0.27 c remove useless variable x[14][13] 0.21/0.27 c remove useless variable x[14][19] 0.21/0.27 c remove useless variable x[15][7] 0.21/0.27 c remove useless variable x[15][18] 0.21/0.27 c remove useless variable x[16][0] 0.21/0.27 c remove useless variable x[16][1] 0.21/0.27 c remove useless variable x[16][2] 0.21/0.27 c remove useless variable x[16][6] 0.21/0.27 c remove useless variable x[16][11] 0.21/0.27 c remove useless variable x[16][12] 0.21/0.27 c remove useless variable x[16][17] 0.21/0.27 c remove useless variable x[17][5] 0.21/0.27 c remove useless variable x[17][10] 0.21/0.27 c remove useless variable x[17][16] 0.21/0.27 c remove useless variable x[18][4] 0.21/0.27 c remove useless variable x[18][9] 0.21/0.27 c remove useless variable x[18][15] 0.21/0.27 c remove useless variable x[18][20] 0.21/0.27 c remove useless variable x[18][21] 0.21/0.27 c remove useless variable x[18][22] 0.21/0.27 c remove useless variable x[19][3] 0.21/0.27 c remove useless variable x[19][8] 0.21/0.27 c remove useless variable x[19][14] 0.21/0.27 c remove useless variable x[20][12] 0.21/0.27 c remove useless variable x[21][6] 0.21/0.27 c remove useless variable x[21][12] 0.21/0.27 c remove useless variable x[21][18] 0.21/0.27 c remove useless variable x[22][0] 0.21/0.27 c remove useless variable x[22][6] 0.21/0.27 c remove useless variable x[22][12] 0.21/0.27 c remove useless variable x[22][18] 0.21/0.27 c remove useless variable x[4][7] 0.21/0.27 c remove useless variable x[4][13] 0.21/0.27 c remove useless variable x[4][18] 0.21/0.27 c remove useless variable x[5][6] 0.21/0.27 c remove useless variable x[5][12] 0.21/0.27 c remove useless variable x[5][17] 0.21/0.27 c remove useless variable x[6][5] 0.21/0.27 c remove useless variable x[6][10] 0.21/0.27 c remove useless variable x[6][11] 0.21/0.27 c remove useless variable x[6][16] 0.21/0.27 c remove useless variable x[6][20] 0.21/0.27 c remove useless variable x[6][21] 0.21/0.27 c remove useless variable x[6][22] 0.21/0.27 c remove useless variable x[7][4] 0.21/0.27 c remove useless variable x[7][15] 0.21/0.27 c remove useless variable x[8][3] 0.21/0.27 c remove useless variable x[8][9] 0.21/0.27 c remove useless variable x[8][14] 0.21/0.27 c remove useless variable x[8][19] 0.21/0.27 c remove useless variable x[9][8] 0.21/0.27 c remove useless variable x[9][18] 0.21/0.27 c remove useless variable x[10][0] 0.21/0.27 c remove useless variable x[10][1] 0.21/0.27 c remove useless variable x[10][6] 0.21/0.27 c remove useless variable x[10][12] 0.21/0.27 c remove useless variable x[10][17] 0.21/0.27 c remove useless variable x[11][6] 0.21/0.27 c remove useless variable x[11][11] 0.21/0.27 c remove useless variable x[11][16] 0.21/0.27 c remove useless variable x[12][5] 0.21/0.27 c remove useless variable x[12][10] 0.21/0.27 c remove useless variable x[12][16] 0.21/0.27 c remove useless variable x[12][21] 0.21/0.27 c remove useless variable x[12][22] 0.21/0.27 c remove useless variable x[13][4] 0.21/0.27 c remove useless variable x[13][14] 0.21/0.27 c remove useless variable x[14][3] 0.21/0.27 c remove useless variable x[14][8] 0.21/0.27 c remove useless variable x[14][13] 0.21/0.27 c remove useless variable x[14][19] 0.21/0.27 c remove useless variable x[15][7] 0.21/0.27 c remove useless variable x[15][18] 0.21/0.27 c remove useless variable x[16][0] 0.21/0.27 c remove useless variable x[16][1] 0.21/0.27 c remove useless variable x[16][2] 0.21/0.27 c remove useless variable x[16][6] 0.21/0.27 c remove useless variable x[16][11] 0.21/0.27 c remove useless variable x[16][12] 0.21/0.27 c remove useless variable x[16][17] 0.21/0.27 c remove useless variable x[6][11] 0.21/0.27 c remove useless variable x[17][5] 0.21/0.27 c remove useless variable x[6][16] 0.21/0.27 c remove useless variable x[17][10] 0.21/0.27 c remove useless variable x[17][16] 0.21/0.27 c remove useless variable x[18][4] 0.21/0.27 c remove useless variable x[18][9] 0.21/0.27 c remove useless variable x[6][20] 0.21/0.27 c remove useless variable x[6][21] 0.21/0.27 c remove useless variable x[6][22] 0.21/0.27 c remove useless variable x[18][15] 0.21/0.27 c remove useless variable x[18][20] 0.21/0.27 c remove useless variable x[7][4] 0.21/0.27 c remove useless variable x[7][15] 0.21/0.27 c remove useless variable x[8][3] 0.21/0.27 c remove useless variable x[18][21] 0.21/0.27 c remove useless variable x[18][22] 0.21/0.27 c remove useless variable x[8][9] 0.21/0.27 c remove useless variable x[19][3] 0.21/0.27 c remove useless variable x[19][8] 0.21/0.27 c remove useless variable x[8][14] 0.21/0.27 c remove useless variable x[19][14] 0.21/0.27 c remove useless variable x[8][19] 0.21/0.27 c remove useless variable x[9][8] 0.21/0.27 c remove useless variable x[20][12] 0.21/0.27 c remove useless variable x[9][18] 0.21/0.27 c remove useless variable x[21][6] 0.21/0.27 c remove useless variable x[21][12] 0.21/0.27 c remove useless variable x[21][18] 0.21/0.27 c remove useless variable x[22][0] 0.21/0.27 c remove useless variable x[22][6] 0.21/0.27 c remove useless variable x[22][12] 0.21/0.27 c remove useless variable x[22][18] 0.21/0.27 c remove useless variable x[10][0] 0.21/0.27 c remove useless variable x[10][1] 0.21/0.27 c remove useless variable x[10][6] 0.21/0.27 c remove useless variable x[10][12] 0.21/0.27 c remove useless variable x[10][17] 0.21/0.27 c remove useless variable x[11][6] 0.21/0.27 c remove useless variable x[11][11] 0.21/0.27 c remove useless variable x[11][16] 0.21/0.27 c remove useless variable x[12][5] 0.21/0.27 c remove useless variable x[12][10] 0.21/0.27 c remove useless variable x[12][16] 0.21/0.27 c remove useless variable x[12][21] 0.21/0.27 c remove useless variable x[12][22] 0.21/0.27 c remove useless variable x[13][4] 0.21/0.27 c remove useless variable x[13][14] 0.21/0.27 c remove useless variable x[14][3] 0.21/0.27 c remove useless variable x[14][8] 0.21/0.27 c remove useless variable x[14][13] 0.21/0.27 c remove useless variable x[14][19] 0.21/0.27 c remove useless variable x[15][7] 0.21/0.27 c remove useless variable x[15][18] 0.21/0.27 c remove useless variable x[16][0] 0.21/0.27 c remove useless variable x[16][1] 0.21/0.27 c remove useless variable x[16][2] 0.21/0.27 c remove useless variable x[16][6] 0.21/0.27 c remove useless variable x[16][11] 0.21/0.27 c remove useless variable x[16][12] 0.21/0.27 c remove useless variable x[16][17] 0.21/0.27 c remove useless variable x[17][5] 0.21/0.27 c remove useless variable x[17][10] 0.21/0.27 c remove useless variable x[17][16] 0.21/0.27 c remove useless variable x[18][4] 0.21/0.27 c remove useless variable x[18][9] 0.21/0.27 c remove useless variable x[18][15] 0.21/0.27 c remove useless variable x[18][20] 0.21/0.27 c remove useless variable x[18][21] 0.21/0.27 c remove useless variable x[18][22] 0.21/0.27 c remove useless variable x[19][3] 0.21/0.27 c remove useless variable x[19][8] 0.21/0.27 c remove useless variable x[19][14] 0.21/0.27 c remove useless variable x[20][12] 0.21/0.27 c remove useless variable x[21][6] 0.21/0.27 c remove useless variable x[21][12] 0.21/0.27 c remove useless variable x[21][18] 0.21/0.27 c remove useless variable x[22][0] 0.21/0.27 c remove useless variable x[22][6] 0.21/0.27 c remove useless variable x[22][12] 0.21/0.27 c remove useless variable x[22][18] 0.21/0.27 c 0 1 302 616 316 0 0 0 0 0.21/0.27 c root propagations : 615 0.21/0.27 c restarts enabled, print stats at every restarts 0.21/0.27 c 0.21/0.27 c 0.21/0.27 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.21/0.27 c remove useless variable x[0][4] 0.21/0.27 c remove useless variable x[0][10] 0.21/0.27 c remove useless variable x[0][16] 0.21/0.27 c remove useless variable x[0][22] 0.21/0.27 c remove useless variable x[1][4] 0.21/0.27 c remove useless variable x[1][10] 0.21/0.27 c remove useless variable x[1][16] 0.21/0.27 c remove useless variable x[2][10] 0.21/0.27 c 0 1 302 616 316 0 0 0 0 0.21/0.27 c remove useless variable x[3][8] 0.21/0.27 c remove useless variable x[3][14] 0.21/0.27 c remove useless variable x[3][19] 0.21/0.27 c remove useless variable x[4][0] 0.21/0.27 c remove useless variable x[4][1] 0.21/0.27 c remove useless variable x[4][2] 0.21/0.27 c remove useless variable x[4][7] 0.21/0.27 c remove useless variable x[4][13] 0.21/0.27 c remove useless variable x[4][18] 0.21/0.27 c remove useless variable x[5][6] 0.21/0.27 c remove useless variable x[5][12] 0.21/0.27 c remove useless variable x[5][17] 0.21/0.27 c remove useless variable x[6][5] 0.21/0.27 c remove useless variable x[6][10] 0.21/0.27 c remove useless variable x[6][11] 0.21/0.27 c remove useless variable x[6][16] 0.21/0.27 c remove useless variable x[6][20] 0.21/0.27 c remove useless variable x[6][21] 0.21/0.27 c remove useless variable x[6][22] 0.21/0.27 c remove useless variable x[7][4] 0.21/0.27 c remove useless variable x[7][15] 0.21/0.27 c remove useless variable x[8][3] 0.21/0.27 c remove useless variable x[8][9] 0.21/0.27 c remove useless variable x[8][14] 0.21/0.27 c remove useless variable x[8][19] 0.21/0.27 c remove useless variable x[9][8] 0.21/0.27 c remove useless variable x[9][18] 0.21/0.27 c remove useless variable x[10][0] 0.21/0.27 c remove useless variable x[10][1] 0.21/0.27 c remove useless variable x[10][6] 0.21/0.27 c remove useless variable x[10][12] 0.21/0.27 c remove useless variable x[10][17] 0.21/0.27 c 0 1 302 616 316 0 0 0 0 0.21/0.27 c remove useless variable x[11][6] 0.21/0.27 c remove useless variable x[11][11] 0.21/0.27 c remove useless variable x[11][16] 0.21/0.27 c remove useless variable x[12][5] 0.21/0.27 c remove useless variable x[12][10] 0.21/0.27 c remove useless variable x[12][16] 0.21/0.27 c remove useless variable x[12][21] 0.21/0.27 c remove useless variable x[12][22] 0.21/0.27 c remove useless variable x[13][4] 0.21/0.27 c remove useless variable x[13][14] 0.21/0.27 c remove useless variable x[14][3] 0.21/0.27 c remove useless variable x[14][8] 0.21/0.27 c remove useless variable x[14][13] 0.21/0.27 c remove useless variable x[14][19] 0.21/0.27 c 0 2 302 617 316 0 0 0 0 0.21/0.27 c remove useless variable x[15][7] 0.21/0.27 c remove useless variable x[15][18] 0.21/0.27 c remove useless variable x[16][0] 0.21/0.27 c remove useless variable x[16][1] 0.21/0.27 c remove useless variable x[16][2] 0.21/0.27 c remove useless variable x[16][6] 0.21/0.27 c remove useless variable x[16][11] 0.21/0.27 c remove useless variable x[16][12] 0.21/0.27 c remove useless variable x[16][17] 0.21/0.27 c remove useless variable x[17][5] 0.21/0.27 c remove useless variable x[17][10] 0.21/0.27 c remove useless variable x[17][16] 0.21/0.27 c remove useless variable x[18][4] 0.21/0.27 c remove useless variable x[18][9] 0.21/0.27 c remove useless variable x[18][15] 0.21/0.27 c remove useless variable x[18][20] 0.21/0.27 c remove useless variable x[18][21] 0.21/0.27 c remove useless variable x[18][22] 0.21/0.27 c remove useless variable x[19][3] 0.21/0.27 c remove useless variable x[19][8] 0.21/0.27 c remove useless variable x[19][14] 0.21/0.27 c remove useless variable x[20][12] 0.21/0.27 c remove useless variable x[21][6] 0.21/0.27 c remove useless variable x[21][12] 0.21/0.27 c remove useless variable x[21][18] 0.21/0.27 c remove useless variable x[22][0] 0.21/0.27 c remove useless variable x[22][6] 0.21/0.27 c remove useless variable x[22][12] 0.21/0.27 c remove useless variable x[22][18] 0.21/0.27 c root propagations : 615 0.21/0.27 c restarts enabled, print stats at every restarts 0.21/0.27 c 0.21/0.27 c 0.21/0.27 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.21/0.27 c remove useless variable x[0][4] 0.21/0.27 c remove useless variable x[0][10] 0.21/0.27 c remove useless variable x[0][16] 0.21/0.27 c remove useless variable x[0][22] 0.21/0.27 c remove useless variable x[1][4] 0.21/0.27 c remove useless variable x[1][10] 0.21/0.27 c remove useless variable x[1][16] 0.21/0.27 c remove useless variable x[2][10] 0.21/0.27 c remove useless variable x[3][8] 0.21/0.27 c remove useless variable x[3][14] 0.21/0.27 c remove useless variable x[3][19] 0.21/0.27 c remove useless variable x[4][0] 0.21/0.27 c remove useless variable x[4][1] 0.21/0.27 c remove useless variable x[4][2] 0.21/0.27 c remove useless variable x[4][7] 0.21/0.27 c remove useless variable x[4][13] 0.21/0.27 c remove useless variable x[4][18] 0.21/0.27 c remove useless variable x[5][6] 0.21/0.27 c remove useless variable x[5][12] 0.21/0.27 c remove useless variable x[5][17] 0.21/0.27 c remove useless variable x[6][5] 0.21/0.27 c remove useless variable x[6][10] 0.21/0.27 c remove useless variable x[6][11] 0.21/0.27 c remove useless variable x[6][16] 0.21/0.27 c remove useless variable x[6][20] 0.21/0.27 c remove useless variable x[6][21] 0.21/0.27 c remove useless variable x[6][22] 0.21/0.27 c root propagations : 615 0.21/0.27 c restarts enabled, print stats at every restarts 0.21/0.27 c 0.21/0.27 c 0.21/0.27 c remove useless variable x[7][4] 0.21/0.27 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.21/0.27 c remove useless variable x[7][15] 0.21/0.27 c remove useless variable x[0][4] 0.21/0.27 c remove useless variable x[8][3] 0.21/0.27 c remove useless variable x[8][9] 0.21/0.27 c remove useless variable x[8][14] 0.21/0.27 c remove useless variable x[8][19] 0.21/0.27 c remove useless variable x[0][10] 0.21/0.27 c remove useless variable x[9][8] 0.21/0.27 c remove useless variable x[0][16] 0.21/0.27 c remove useless variable x[9][18] 0.21/0.27 c remove useless variable x[0][22] 0.21/0.27 c remove useless variable x[10][0] 0.21/0.27 c remove useless variable x[1][4] 0.21/0.27 c remove useless variable x[10][1] 0.21/0.27 c remove useless variable x[1][10] 0.21/0.27 c remove useless variable x[10][6] 0.21/0.27 c remove useless variable x[1][16] 0.21/0.27 c remove useless variable x[10][12] 0.21/0.27 c remove useless variable x[10][17] 0.21/0.27 c remove useless variable x[11][6] 0.21/0.27 c remove useless variable x[11][11] 0.21/0.27 c remove useless variable x[11][16] 0.21/0.27 c remove useless variable x[12][5] 0.21/0.27 c remove useless variable x[2][10] 0.21/0.27 c remove useless variable x[12][10] 0.21/0.27 c remove useless variable x[3][8] 0.21/0.27 c remove useless variable x[12][16] 0.21/0.27 c remove useless variable x[3][14] 0.21/0.27 c remove useless variable x[12][21] 0.21/0.27 c remove useless variable x[3][19] 0.21/0.27 c remove useless variable x[12][22] 0.21/0.27 c remove useless variable x[4][0] 0.21/0.27 c remove useless variable x[13][4] 0.21/0.27 c remove useless variable x[4][1] 0.21/0.27 c remove useless variable x[13][14] 0.21/0.27 c remove useless variable x[14][3] 0.21/0.27 c remove useless variable x[14][8] 0.21/0.27 c remove useless variable x[4][2] 0.21/0.27 c remove useless variable x[14][13] 0.21/0.27 c remove useless variable x[14][19] 0.21/0.27 c remove useless variable x[15][7] 0.21/0.27 c remove useless variable x[4][7] 0.21/0.27 c remove useless variable x[15][18] 0.21/0.27 c remove useless variable x[4][13] 0.21/0.27 c 0 1 302 616 316 0 0 0 0 0.21/0.27 c remove useless variable x[16][0] 0.21/0.27 c remove useless variable x[16][1] 0.21/0.27 c remove useless variable x[16][2] 0.21/0.27 c remove useless variable x[4][18] 0.21/0.27 c remove useless variable x[16][6] 0.21/0.27 c remove useless variable x[5][6] 0.21/0.27 c remove useless variable x[16][11] 0.21/0.27 c root propagations : 615 0.21/0.27 c restarts enabled, print stats at every restarts 0.21/0.27 c 0.21/0.27 c 0.21/0.27 c remove useless variable x[16][12] 0.21/0.27 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.21/0.27 c remove useless variable x[0][4] 0.21/0.27 c remove useless variable x[16][17] 0.21/0.27 c remove useless variable x[5][12] 0.21/0.27 c remove useless variable x[17][5] 0.21/0.27 c remove useless variable x[17][10] 0.21/0.27 c remove useless variable x[5][17] 0.21/0.27 c remove useless variable x[6][5] 0.21/0.27 c remove useless variable x[17][16] 0.21/0.27 c remove useless variable x[6][10] 0.21/0.27 c remove useless variable x[6][11] 0.21/0.27 c remove useless variable x[6][16] 0.21/0.27 c remove useless variable x[0][10] 0.21/0.27 c remove useless variable x[0][16] 0.21/0.27 c remove useless variable x[0][22] 0.21/0.27 c remove useless variable x[1][4] 0.21/0.27 c remove useless variable x[1][10] 0.21/0.27 c remove useless variable x[1][16] 0.21/0.27 c remove useless variable x[6][20] 0.21/0.27 c remove useless variable x[2][10] 0.21/0.27 c remove useless variable x[6][21] 0.21/0.27 c remove useless variable x[18][4] 0.21/0.27 c remove useless variable x[6][22] 0.21/0.27 c remove useless variable x[7][4] 0.21/0.27 c remove useless variable x[7][15] 0.21/0.27 c remove useless variable x[8][3] 0.21/0.27 c remove useless variable x[8][9] 0.21/0.27 c remove useless variable x[8][14] 0.21/0.27 c remove useless variable x[8][19] 0.21/0.27 c remove useless variable x[3][8] 0.21/0.27 c remove useless variable x[9][8] 0.21/0.27 c remove useless variable x[3][14] 0.21/0.27 c remove useless variable x[9][18] 0.21/0.27 c remove useless variable x[10][0] 0.21/0.27 c remove useless variable x[3][19] 0.21/0.27 c remove useless variable x[10][1] 0.21/0.27 c remove useless variable x[18][9] 0.21/0.27 c remove useless variable x[10][6] 0.21/0.27 c remove useless variable x[10][12] 0.21/0.27 c remove useless variable x[10][17] 0.21/0.27 c remove useless variable x[11][6] 0.21/0.27 c remove useless variable x[11][11] 0.21/0.27 c remove useless variable x[11][16] 0.21/0.27 c remove useless variable x[12][5] 0.21/0.27 c remove useless variable x[12][10] 0.21/0.27 c remove useless variable x[4][0] 0.21/0.27 c remove useless variable x[12][16] 0.21/0.27 c remove useless variable x[4][1] 0.21/0.27 c remove useless variable x[12][21] 0.21/0.27 c remove useless variable x[18][15] 0.21/0.27 c remove useless variable x[12][22] 0.21/0.27 c remove useless variable x[4][2] 0.21/0.27 c remove useless variable x[18][20] 0.21/0.27 c remove useless variable x[18][21] 0.21/0.27 c remove useless variable x[4][7] 0.21/0.27 c remove useless variable x[4][13] 0.21/0.27 c remove useless variable x[4][18] 0.21/0.27 c remove useless variable x[18][22] 0.21/0.27 c remove useless variable x[13][4] 0.21/0.27 c remove useless variable x[13][14] 0.21/0.27 c remove useless variable x[14][3] 0.21/0.27 c remove useless variable x[14][8] 0.21/0.27 c remove useless variable x[14][13] 0.21/0.27 c remove useless variable x[14][19] 0.21/0.27 c remove useless variable x[5][6] 0.21/0.27 c remove useless variable x[19][3] 0.21/0.27 c remove useless variable x[19][8] 0.21/0.27 c remove useless variable x[19][14] 0.21/0.27 c remove useless variable x[20][12] 0.21/0.27 c remove useless variable x[5][12] 0.21/0.27 c remove useless variable x[15][7] 0.21/0.27 c remove useless variable x[5][17] 0.21/0.27 c remove useless variable x[6][5] 0.21/0.27 c remove useless variable x[21][6] 0.21/0.27 c remove useless variable x[6][10] 0.21/0.27 c remove useless variable x[6][11] 0.21/0.27 c remove useless variable x[6][16] 0.21/0.27 c remove useless variable x[6][20] 0.21/0.27 c remove useless variable x[21][12] 0.21/0.27 c remove useless variable x[6][21] 0.21/0.27 c remove useless variable x[21][18] 0.21/0.27 c remove useless variable x[22][0] 0.21/0.27 c remove useless variable x[15][18] 0.21/0.27 c remove useless variable x[16][0] 0.21/0.27 c remove useless variable x[22][6] 0.21/0.27 c remove useless variable x[22][12] 0.21/0.27 c remove useless variable x[22][18] 0.21/0.27 c remove useless variable x[6][22] 0.21/0.27 c remove useless variable x[16][1] 0.21/0.27 c remove useless variable x[7][4] 0.21/0.27 c remove useless variable x[7][15] 0.21/0.27 c remove useless variable x[16][2] 0.21/0.27 c remove useless variable x[16][6] 0.21/0.27 c remove useless variable x[8][3] 0.21/0.27 c remove useless variable x[16][11] 0.21/0.27 c remove useless variable x[16][12] 0.21/0.27 c remove useless variable x[8][9] 0.21/0.27 c remove useless variable x[16][17] 0.21/0.27 c remove useless variable x[17][5] 0.21/0.27 c remove useless variable x[8][14] 0.21/0.27 c remove useless variable x[17][10] 0.21/0.27 c remove useless variable x[17][16] 0.21/0.27 c remove useless variable x[8][19] 0.21/0.27 c remove useless variable x[18][4] 0.21/0.27 c remove useless variable x[18][9] 0.21/0.27 c remove useless variable x[9][8] 0.21/0.27 c remove useless variable x[18][15] 0.21/0.27 c remove useless variable x[18][20] 0.21/0.27 c remove useless variable x[9][18] 0.21/0.27 c remove useless variable x[18][21] 0.21/0.27 c remove useless variable x[10][0] 0.21/0.27 c remove useless variable x[10][1] 0.21/0.27 c remove useless variable x[10][6] 0.21/0.27 c remove useless variable x[18][22] 0.21/0.27 c remove useless variable x[10][12] 0.21/0.27 c remove useless variable x[19][3] 0.21/0.27 c remove useless variable x[10][17] 0.21/0.27 c remove useless variable x[11][6] 0.21/0.27 c remove useless variable x[11][11] 0.21/0.27 c remove useless variable x[19][8] 0.21/0.27 c remove useless variable x[11][16] 0.21/0.27 c remove useless variable x[19][14] 0.21/0.27 c remove useless variable x[20][12] 0.21/0.27 c remove useless variable x[12][5] 0.21/0.27 c remove useless variable x[12][10] 0.21/0.27 c remove useless variable x[21][6] 0.21/0.27 c remove useless variable x[21][12] 0.21/0.27 c remove useless variable x[21][18] 0.21/0.27 c remove useless variable x[22][0] 0.21/0.27 c remove useless variable x[22][6] 0.21/0.27 c remove useless variable x[12][16] 0.21/0.27 c remove useless variable x[22][12] 0.21/0.27 c remove useless variable x[12][21] 0.21/0.27 c remove useless variable x[22][18] 0.21/0.27 c remove useless variable x[12][22] 0.21/0.27 c remove useless variable x[13][4] 0.21/0.27 c remove useless variable x[13][14] 0.21/0.27 c remove useless variable x[14][3] 0.21/0.27 c remove useless variable x[14][8] 0.21/0.27 c remove useless variable x[14][13] 0.21/0.27 c remove useless variable x[14][19] 0.21/0.27 c remove useless variable x[15][7] 0.21/0.27 c remove useless variable x[15][18] 0.21/0.27 c remove useless variable x[16][0] 0.21/0.27 c remove useless variable x[16][1] 0.21/0.27 c remove useless variable x[16][2] 0.21/0.27 c remove useless variable x[16][6] 0.21/0.27 c remove useless variable x[16][11] 0.21/0.27 c remove useless variable x[16][12] 0.21/0.27 c remove useless variable x[16][17] 0.21/0.27 c remove useless variable x[17][5] 0.21/0.27 c remove useless variable x[17][10] 0.21/0.27 c remove useless variable x[17][16] 0.21/0.27 c remove useless variable x[18][4] 0.21/0.27 c remove useless variable x[18][9] 0.21/0.27 c remove useless variable x[18][15] 0.21/0.27 c remove useless variable x[18][20] 0.21/0.27 c remove useless variable x[18][21] 0.21/0.27 c remove useless variable x[18][22] 0.21/0.27 c remove useless variable x[19][3] 0.21/0.27 c remove useless variable x[19][8] 0.21/0.27 c remove useless variable x[19][14] 0.21/0.27 c remove useless variable x[20][12] 0.21/0.27 c remove useless variable x[21][6] 0.21/0.27 c remove useless variable x[21][12] 0.21/0.27 c remove useless variable x[21][18] 0.21/0.27 c remove useless variable x[22][0] 0.21/0.27 c remove useless variable x[22][6] 0.21/0.27 c remove useless variable x[22][12] 0.21/0.27 c remove useless variable x[22][18] 0.21/0.27 c 0 3 310 630 316 0 0 0 0 0.21/0.27 c 0 3 311 644 316 0 0 0 0 0.21/0.27 c 0 4 318 652 316 0 0 0 0 0.21/0.28 c remove useless variable x[6][5] 0.21/0.28 c remove useless variable x[6][10] 0.21/0.28 c remove useless variable x[6][11] 0.21/0.28 c remove useless variable x[6][16] 0.21/0.28 c remove useless variable x[6][20] 0.21/0.28 c remove useless variable x[6][21] 0.21/0.28 c remove useless variable x[6][22] 0.21/0.28 c remove useless variable x[7][4] 0.21/0.28 c remove useless variable x[7][15] 0.21/0.28 c remove useless variable x[8][3] 0.21/0.28 c remove useless variable x[8][9] 0.21/0.28 c remove useless variable x[8][14] 0.21/0.28 c remove useless variable x[8][19] 0.21/0.28 c remove useless variable x[9][8] 0.21/0.28 c remove useless variable x[9][18] 0.21/0.28 c remove useless variable x[10][0] 0.21/0.28 c remove useless variable x[10][1] 0.21/0.28 c remove useless variable x[10][6] 0.21/0.28 c remove useless variable x[10][12] 0.21/0.28 c remove useless variable x[10][17] 0.21/0.28 c remove useless variable x[11][6] 0.21/0.28 c remove useless variable x[11][11] 0.21/0.28 c remove useless variable x[11][16] 0.21/0.28 c remove useless variable x[12][5] 0.21/0.28 c remove useless variable x[12][10] 0.21/0.28 c remove useless variable x[12][16] 0.21/0.28 c remove useless variable x[12][21] 0.21/0.28 c remove useless variable x[12][22] 0.21/0.28 c remove useless variable x[13][4] 0.21/0.28 c remove useless variable x[13][14] 0.21/0.28 c remove useless variable x[14][3] 0.21/0.28 c remove useless variable x[14][8] 0.21/0.28 c remove useless variable x[14][13] 0.21/0.28 c remove useless variable x[14][19] 0.21/0.28 c remove useless variable x[15][7] 0.21/0.28 c remove useless variable x[15][18] 0.21/0.28 c remove useless variable x[16][0] 0.21/0.28 c remove useless variable x[16][1] 0.21/0.28 c remove useless variable x[16][2] 0.21/0.28 c remove useless variable x[16][6] 0.21/0.28 c remove useless variable x[16][11] 0.21/0.28 c remove useless variable x[16][12] 0.21/0.28 c remove useless variable x[16][17] 0.21/0.28 c remove useless variable x[17][5] 0.21/0.28 c remove useless variable x[17][10] 0.21/0.28 c remove useless variable x[17][16] 0.21/0.28 c remove useless variable x[18][4] 0.21/0.28 c remove useless variable x[18][9] 0.21/0.28 c remove useless variable x[18][15] 0.21/0.28 c remove useless variable x[18][20] 0.21/0.28 c remove useless variable x[18][21] 0.21/0.28 c remove useless variable x[18][22] 0.21/0.28 c remove useless variable x[19][3] 0.21/0.28 c remove useless variable x[19][8] 0.21/0.28 c remove useless variable x[19][14] 0.21/0.28 c remove useless variable x[20][12] 0.21/0.28 c remove useless variable x[21][6] 0.21/0.28 c remove useless variable x[21][12] 0.21/0.28 c remove useless variable x[21][18] 0.21/0.28 c remove useless variable x[22][0] 0.21/0.28 c remove useless variable x[22][6] 0.21/0.28 c remove useless variable x[22][12] 0.21/0.28 c remove useless variable x[22][18] 0.80/0.32 c 32 224 3014 15508 316 0 44 152 116 0.80/0.32 c 32 148 2552 16647 316 0 62 83 73 0.80/0.33 c 33 232 3145 16985 316 0 8 8 4 0.80/0.33 c 33 161 2738 17776 316 0 13 13 6 0.80/0.33 c 32 146 2413 16776 316 0 62 83 73 0.80/0.33 c 32 308 3410 15697 316 0 28 217 165 0.80/0.34 c 33 158 2518 17573 316 0 12 12 6 0.80/0.34 c 33 318 3500 16473 316 0 10 10 5 0.80/0.36 c 101 240 5850 48484 316 0 34 45 39 0.80/0.38 c 64 371 5190 31342 316 0 5 79 21 0.80/0.39 c 64 332 5519 33349 316 0 10 82 53 0.80/0.39 c 65 375 5288 31972 316 0 4 4 2 0.80/0.40 c 64 372 4777 31776 316 0 5 173 86 0.80/0.40 c 101 600 8151 43690 316 0 20 303 254 0.80/0.40 c 64 472 5747 33312 316 0 3 86 13 0.80/0.40 c 66 394 5501 33441 316 0 19 19 9 0.80/0.40 c 65 360 5839 34735 316 0 28 28 14 0.80/0.40 c 67 403 5630 34326 316 0 9 9 4 0.80/0.41 c 65 386 4972 32820 316 0 14 14 7 0.80/0.41 c 101 576 7269 41666 316 0 17 297 167 0.80/0.41 c 65 498 5992 34824 316 0 26 26 13 0.80/0.41 c 66 373 6098 35920 316 0 13 13 6 0.80/0.41 c 66 396 5121 33576 316 0 10 10 5 0.80/0.41 c 66 510 6119 35565 316 0 12 12 6 0.80/0.41 c 67 524 6275 36591 316 0 14 14 7 0.80/0.41 c 67 384 6282 37145 316 0 11 11 5 0.80/0.42 c 67 409 5320 34658 316 0 13 13 6 1.56/0.43 c 101 488 7982 49395 316 0 30 247 102 1.56/0.50 c 128 917 10724 62126 316 0 8 283 151 1.56/0.50 c 128 789 9790 60564 316 0 11 261 92 1.56/0.51 c 129 924 10885 63319 316 0 7 7 3 1.56/0.51 c 128 710 11600 71179 316 0 13 183 123 1.56/0.52 c 130 938 11041 64345 316 0 14 14 7 1.56/0.52 c 131 946 11117 64907 316 0 8 8 4 1.56/0.52 c 129 828 10185 62924 316 0 39 39 19 1.56/0.52 c 132 958 11244 65648 316 0 12 12 6 1.56/0.52 c 130 839 10318 63975 316 0 11 11 5 2.36/0.53 c 133 972 11400 66674 316 0 14 14 7 2.36/0.53 c 131 842 10378 64561 316 0 3 3 1 2.36/0.53 c 134 980 11476 67236 316 0 8 8 4 2.36/0.53 c 128 813 10543 72729 316 0 13 134 109 2.36/0.53 c 132 845 10431 65096 316 0 3 3 1 2.36/0.53 c 133 848 10491 65682 316 0 3 3 1 2.36/0.53 c 135 992 11603 67977 316 0 12 12 6 2.36/0.53 c 134 851 10544 66217 316 0 3 3 1 2.36/0.53 c 211 973 14566 105574 316 0 6 306 175 2.36/0.54 c 129 807 12498 75637 316 0 97 97 48 2.36/0.54 c 135 854 10604 66803 316 0 3 3 1 2.36/0.54 c 129 825 10760 73903 316 0 12 12 6 2.36/0.56 c 211 1096 14934 90446 316 0 8 259 200 2.36/0.56 c 130 843 10957 75109 316 0 18 18 9 2.36/0.56 c 131 851 11046 75996 316 0 8 8 4 2.36/0.56 c 130 896 13294 79586 316 0 89 89 44 2.36/0.57 c 132 862 11251 77137 316 0 11 11 5 2.36/0.57 c 131 908 13562 80904 316 0 12 12 6 2.36/0.58 c 133 880 11448 78343 316 0 18 18 9 2.36/0.58 c 134 888 11537 79230 316 0 8 8 4 2.36/0.58 c 132 986 14106 83454 316 0 78 78 39 2.36/0.59 c 135 899 11742 80371 316 0 11 11 5 2.36/0.59 c 133 1011 14534 86352 316 0 25 25 12 2.36/0.60 c 211 1307 19090 113678 316 0 23 183 100 2.36/0.61 c 134 1023 14674 87329 316 0 12 12 6 3.03/0.62 c 135 1034 14846 88273 316 0 11 11 5 3.03/0.62 c 211 1145 18403 118665 316 0 21 221 132 3.03/0.65 c 256 1556 18733 119309 316 0 14 289 179 3.03/0.66 c 257 1561 18850 120362 316 0 5 5 2 3.03/0.66 c 258 1563 18934 121162 316 0 2 2 1 3.03/0.67 c 259 1577 19134 122372 316 0 14 14 7 3.03/0.67 c 332 1776 26733 155683 316 0 25 186 168 3.03/0.67 c 260 1591 19336 123585 316 0 14 14 7 3.03/0.67 c 256 1347 16837 105919 316 0 3 105 49 3.03/0.68 c 261 1597 19448 124308 316 0 6 6 3 3.03/0.68 c 262 1611 19648 125518 316 0 14 14 7 3.03/0.68 c 257 1360 17039 107295 316 0 13 13 6 3.03/0.68 c 256 1370 19108 118928 316 0 18 94 71 3.03/0.69 c 263 1625 19850 126731 316 0 14 14 7 3.03/0.69 c 332 1465 23220 147704 316 0 8 147 98 3.03/0.69 c 264 1631 19962 127454 316 0 6 6 3 3.03/0.69 c 257 1378 19229 119570 316 0 8 8 4 3.03/0.69 c 332 1535 22796 166699 316 0 7 237 95 3.75/0.70 c 265 1646 20164 128666 316 0 15 15 7 3.75/0.70 c 258 1384 17349 108885 316 0 24 24 12 3.75/0.70 c 258 1390 19379 120514 316 0 12 12 6 3.75/0.71 c 266 1666 20354 129874 316 0 20 20 10 3.75/0.71 c 259 1395 17479 110207 316 0 11 11 5 3.75/0.71 c 259 1401 19510 121326 316 0 11 11 5 3.75/0.71 c 260 1409 19631 121968 316 0 8 8 4 3.75/0.71 c 267 1675 20545 130855 316 0 9 9 4 3.75/0.71 c 260 1433 17766 112147 316 0 38 38 19 3.75/0.72 c 268 1690 20703 131920 316 0 15 15 7 3.75/0.72 c 261 1421 19781 122912 316 0 12 12 6 3.75/0.72 c 261 1438 17810 112791 316 0 5 5 2 3.75/0.72 c 262 1447 17939 113676 316 0 9 9 4 3.75/0.72 c 269 1699 20894 132901 316 0 9 9 4 3.75/0.72 c 262 1432 19912 123724 316 0 11 11 5 3.75/0.72 c 263 1461 18089 114884 316 0 14 14 7 3.75/0.73 c 270 1713 21050 133965 316 0 14 14 7 3.75/0.73 c 263 1440 20033 124366 316 0 8 8 4 3.75/0.73 c 256 1654 23714 142142 316 0 12 349 283 3.75/0.73 c 264 1473 18199 116059 316 0 12 12 6 3.75/0.73 c 271 1722 21241 134946 316 0 9 9 4 3.75/0.73 c 265 1489 18335 117177 316 0 16 16 8 3.75/0.73 c 264 1452 20183 125310 316 0 12 12 6 3.75/0.73 c 257 1664 23873 142959 316 0 10 10 5 3.75/0.73 c 266 1491 18381 118086 316 0 2 2 1 3.75/0.74 c 267 1499 18481 119177 316 0 8 8 4 3.75/0.74 c 265 1463 20314 126122 316 0 11 11 5 3.75/0.74 c 258 1676 24076 144282 316 0 12 12 6 3.75/0.75 c 268 1502 18551 120022 316 0 3 3 1 3.75/0.75 c 269 1504 18595 120767 316 0 2 2 1 3.75/0.75 c 266 1471 20435 126764 316 0 8 8 4 3.75/0.75 c 259 1687 24235 145344 316 0 11 11 5 3.75/0.75 c 270 1512 18695 121858 316 0 8 8 4 3.75/0.75 c 271 1515 18765 122703 316 0 3 3 1 3.75/0.75 c 260 1699 24443 146377 316 0 12 12 6 3.75/0.75 c 267 1483 20585 127708 316 0 12 12 6 3.75/0.76 c 261 1713 24711 147945 316 0 14 14 7 3.75/0.76 c 268 1493 20791 128627 316 0 10 10 5 3.75/0.76 c 465 2305 34571 200459 316 0 29 283 209 3.75/0.77 c 262 1721 24845 148694 316 0 8 8 4 3.75/0.77 c 332 1905 28386 170113 316 0 12 269 174 3.75/0.77 c 269 1505 20933 129372 316 0 12 12 6 3.75/0.77 c 270 1511 21005 129978 316 0 6 6 3 3.75/0.77 c 263 1733 25006 149631 316 0 12 12 6 3.75/0.78 c 264 1745 25216 150767 316 0 12 12 6 3.75/0.78 c 271 1526 21270 131519 316 0 15 15 7 3.75/0.78 c 265 1756 25408 151832 316 0 11 11 5 3.75/0.79 c 266 1768 25616 152865 316 0 12 12 6 4.54/0.80 c 267 1782 25885 154433 316 0 14 14 7 4.54/0.80 c 268 1790 26019 155182 316 0 8 8 4 4.54/0.82 c 269 1802 26180 156119 316 0 12 12 6 4.54/0.82 c 270 1814 26390 157255 316 0 12 12 6 4.54/0.82 c 271 1825 26582 158320 316 0 11 11 5 4.54/0.84 c 465 2122 31836 201186 316 0 34 289 211 4.54/0.84 c 465 2100 31487 224988 316 0 18 203 61 5.34/0.91 c 512 2463 33537 194053 316 0 11 342 283 5.34/0.92 c 513 2468 33654 194966 316 0 5 5 2 5.34/0.92 c 514 2477 33807 196095 316 0 9 9 4 5.34/0.93 c 515 2482 33919 197011 316 0 5 5 2 5.34/0.93 c 465 2596 37482 223447 316 0 49 266 208 5.34/0.93 c 516 2491 34072 198140 316 0 9 9 4 5.34/0.93 c 611 2860 44572 264253 316 0 27 105 80 5.34/0.94 c 517 2496 34184 199056 316 0 5 5 2 5.34/0.94 c 518 2505 34337 200185 316 0 9 9 4 5.34/0.94 c 512 2729 34548 223397 316 0 14 406 172 5.34/0.94 c 519 2510 34449 201101 316 0 5 5 2 5.34/0.95 c 513 2732 34634 224370 316 0 3 3 1 5.34/0.96 c 520 2519 34602 202230 316 0 9 9 4 5.34/0.96 c 514 2734 34712 225194 316 0 2 2 1 5.34/0.96 c 521 2524 34714 203146 316 0 5 5 2 5.34/0.96 c 515 2736 34779 226014 316 0 2 2 1 5.34/0.96 c 516 2738 34857 226838 316 0 2 2 1 5.34/0.96 c 522 2533 34867 204275 316 0 9 9 4 5.34/0.97 c 517 2740 34924 227658 316 0 2 2 1 5.34/0.97 c 523 2538 34979 205191 316 0 5 5 2 5.34/0.97 c 518 2742 35002 228482 316 0 2 2 1 5.34/0.97 c 611 2898 44063 267577 316 0 7 336 208 5.34/0.97 c 611 2758 40378 277766 316 0 13 365 279 5.34/0.97 c 524 2547 35132 206320 316 0 9 9 4 5.34/0.97 c 519 2745 35113 229345 316 0 3 3 1 5.34/0.97 c 525 2552 35244 207236 316 0 5 5 2 5.34/0.98 c 520 2748 35235 230238 316 0 3 3 1 5.34/0.98 c 521 2750 35302 231058 316 0 2 2 1 5.34/0.98 c 526 2561 35397 208365 316 0 9 9 4 5.34/0.98 c 522 2752 35380 231882 316 0 2 2 1 5.34/0.98 c 527 2566 35509 209281 316 0 5 5 2 5.34/0.99 c 523 2755 35491 232745 316 0 3 3 1 5.34/0.99 c 528 2575 35662 210410 316 0 9 9 4 5.34/0.99 c 524 2758 35615 233713 316 0 3 3 1 5.34/0.99 c 525 2761 35726 234576 316 0 3 3 1 5.34/0.99 c 529 2580 35761 211165 316 0 5 5 2 5.34/1.00 c 526 2764 35850 235544 316 0 3 3 1 5.34/1.00 c 530 2590 35907 211960 316 0 10 10 5 5.34/1.00 c 527 2767 35963 236482 316 0 3 3 1 5.34/1.00 c 531 2595 35977 212512 316 0 5 5 2 5.34/1.00 c 528 2770 36087 237450 316 0 3 3 1 6.20/1.01 c 529 2773 36200 238388 316 0 3 3 1 6.20/1.01 c 530 2776 36324 239356 316 0 3 3 1 6.20/1.01 c 512 2508 33409 227634 316 0 2 364 115 6.20/1.01 c 531 2779 36437 240294 316 0 3 3 1 6.20/1.01 c 532 2604 36142 213695 316 0 9 9 4 6.20/1.02 c 532 2782 36561 241262 316 0 3 3 1 6.20/1.02 c 513 2522 33546 228648 316 0 14 14 7 6.20/1.02 c 533 2613 36295 214832 316 0 9 9 4 6.20/1.02 c 533 2785 36674 242200 316 0 3 3 1 6.20/1.02 c 534 2618 36394 215587 316 0 5 5 2 6.20/1.02 c 514 2536 33768 230009 316 0 14 14 7 6.20/1.02 c 534 2788 36798 243168 316 0 3 3 1 6.20/1.03 c 535 2791 36911 244106 316 0 3 3 1 6.20/1.03 c 535 2628 36540 216382 316 0 10 10 5 6.20/1.03 c 515 2541 33882 230945 316 0 5 5 2 6.20/1.03 c 536 2633 36610 216934 316 0 5 5 2 6.20/1.03 c 536 2794 37035 245057 316 0 3 3 1 6.20/1.03 c 516 2554 34003 231829 316 0 13 13 6 6.20/1.03 c 512 3074 46964 272941 316 0 12 277 234 6.20/1.03 c 537 2797 37148 245995 316 0 3 3 1 6.20/1.03 c 537 2641 36747 217760 316 0 8 8 4 6.20/1.04 c 517 2568 34225 233190 316 0 14 14 7 6.20/1.04 c 538 2800 37272 246946 316 0 3 3 1 6.20/1.05 c 538 2650 36879 218447 316 0 9 9 4 6.20/1.05 c 539 2803 37385 247867 316 0 3 3 1 6.20/1.05 c 518 2573 34339 234126 316 0 5 5 2 6.20/1.05 c 519 2586 34460 235010 316 0 13 13 6 6.20/1.05 c 540 2806 37509 248818 316 0 3 3 1 6.20/1.05 c 539 2657 37091 219478 316 0 7 7 3 6.20/1.05 c 513 3107 47356 274833 316 0 33 33 16 6.20/1.05 c 541 2809 37622 249739 316 0 3 3 1 6.20/1.05 c 540 2662 37203 220394 316 0 5 5 2 6.20/1.05 c 520 2600 34682 236371 316 0 14 14 7 6.20/1.05 c 611 2970 45727 277466 316 0 13 64 59 6.20/1.05 c 542 2812 37746 250690 316 0 3 3 1 6.20/1.05 c 514 3120 47541 276041 316 0 c 541 2671 37356 221523 316 0 13 13 6 6.20/1.06 9 9 4 6.20/1.06 c 543 2815 37859 251611 316 0 3 3 1 6.20/1.06 c 521 2605 34794 237306 316 0 5 5 2 6.20/1.06 c 542 2676 37468 222439 316 0 5 5 2 6.20/1.06 c 522 2618 34915 238190 316 0 13 13 6 6.20/1.06 c 543 2685 37621 223568 316 0 9 9 4 6.20/1.07 c 523 2632 35137 239551 316 0 14 14 7 6.20/1.07 c 515 3143 47859 277890 316 0 23 23 11 6.20/1.08 c 524 2637 35249 240486 316 0 5 5 2 6.20/1.08 c 525 2650 35370 241370 316 0 13 13 6 6.20/1.09 c 526 2664 35592 242731 316 0 14 14 7 6.20/1.09 c 516 3187 48383 279916 316 0 44 44 22 6.20/1.09 c 527 2669 35704 243666 316 0 5 5 2 6.20/1.10 c 528 2682 35825 244550 316 0 13 13 6 6.20/1.10 c 529 2693 35931 245618 316 0 11 11 5 6.20/1.10 c 517 3202 48585 280896 316 0 15 15 7 6.20/1.10 c 530 2705 36100 246582 316 0 12 12 6 7.01/1.11 c 531 2710 36152 247060 316 0 5 5 2 7.01/1.11 c 532 2715 36200 247557 316 0 5 5 2 7.01/1.11 c 533 2720 36252 248035 316 0 5 5 2 7.01/1.11 c 534 2725 36300 248532 316 0 5 5 2 7.01/1.11 c 535 2730 36352 249010 316 0 5 5 2 7.01/1.11 c 518 3249 49056 282939 316 0 47 47 23 7.01/1.12 c 536 2735 36400 249507 316 0 5 5 2 7.01/1.12 c 537 2740 36452 249985 316 0 5 5 2 7.01/1.12 c 538 2745 36500 250482 316 0 5 5 2 7.01/1.12 c 539 2750 36552 250960 316 0 5 5 2 7.01/1.12 c 519 3264 49275 283925 316 0 15 15 7 7.01/1.12 c 540 2755 36600 251457 316 0 5 5 2 7.01/1.13 c 541 2760 36652 251935 316 0 5 5 2 7.01/1.13 c 542 2765 36700 252432 316 0 5 5 2 7.01/1.13 c 543 2770 36752 252910 316 0 5 5 2 7.01/1.13 c 520 3311 49746 285968 316 0 47 47 23 7.01/1.14 c 771 3558 51627 345564 316 0 9 353 225 7.01/1.14 c 521 3326 49965 286954 316 0 15 15 7 7.01/1.16 c 771 3675 55274 332992 316 0 8 271 91 7.01/1.16 c 522 3374 50438 288998 316 0 48 48 24 7.01/1.17 c 523 3385 50608 289816 316 0 11 11 5 7.01/1.18 c 524 3403 50868 291145 316 0 18 18 9 7.01/1.19 c 525 3433 51232 292748 316 0 30 30 15 7.01/1.19 c 771 3445 54462 339434 316 0 13 91 59 7.01/1.19 c First solution is found 7.01/1.19 c [pFactory][Group N°0] concurent mode: thread 4 has won with the task 0. 7.01/1.19 c [pFactory][Group N°0] Thread N°0 is joined. 7.01/1.19 c [pFactory][Group N°0] Thread N°1 is joined. 7.01/1.19 c [pFactory][Group N°0] Thread N°2 is joined. 7.01/1.19 c [pFactory][Group N°0] Thread N°3 is joined. 7.01/1.19 c [pFactory][Group N°0] Thread N°4 is joined. 7.01/1.19 c [pFactory][Group N°0] Thread N°5 is joined. 7.01/1.19 c [pFactory][Group N°0] Thread N°6 is joined. 7.01/1.19 c [pFactory][Group N°0] Thread N°7 is joined. 7.01/1.19 c [pFactory][Group N°0] Return Code of the winner:1 (Thread N°4) 7.01/1.19 s SATISFIABLE 7.01/1.19 c restarts : 62 7.01/1.19 c conflicts : 645 (84 /sec) 7.01/1.19 c decisions : 3568 (464 /sec) 7.01/1.19 c propagations : 295518 (38469 /sec) 7.01/1.19 c root propagations : 615 7.01/1.19 c filter calls : 45311 (5898 /sec) 7.01/1.19 c useless filter calls : 16906 (37 %) 7.01/1.19 c Memory used : 617.71 MB 7.01/1.19 c CPU time : 7.68192 s 7.01/1.19 c real time : 1.19208 s 7.01/1.19 7.01/1.19 c solution 1 7.01/1.19 7.01/1.19 v <instantiation type='solution'> 7.01/1.19 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.01/1.19 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.01/1.19 v </instantiation> 7.01/1.19
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 (15420 MiB free)
memory of node 1: 16384 MiB (15733 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409322-1569839060/watcher-4409322-1569839060 -o /tmp/evaluation-result-4409322-1569839060/solver-4409322-1569839060 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1569839018-21981 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409322-1569839060.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21998, runsolver pid=21995
[startup+0.100159 s]*
/proc/loadavg: 7.87 8.80 8.65 2/193 21999
/proc/meminfo: memFree=31891076/32770624 swapFree=66947732/67108860
[pid=21998] ppid=21995 vsize=37872 memory=14020 CPUtime=0.09 cores=0-7
/proc/21998/stat : 21998 (cosoco) R 21995 21998 21954 0 -1 4202496 3681 0 0 0 9 0 0 0 20 0 1 0 560178387 38780928 3505 33554432000 4194304 6211132 140723636786064 140723636782600 5817140 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 23625728 140723636790289 140723636790381 140723636790381 140723636793294 0
/proc/21998/statm: 9468 3505 815 493 0 2773 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 37872 KiB
Current children cumulated memory: 14020 KiB
[startup+0.209442 s]*
/proc/loadavg: 7.87 8.80 8.65 2/193 21999
/proc/meminfo: memFree=31884008/32770624 swapFree=66947732/67108860
[pid=21998] ppid=21995 vsize=44892 memory=20620 CPUtime=0.21 cores=0-7
/proc/21998/stat : 21998 (cosoco) R 21995 21998 21954 0 -1 4202496 5376 0 0 0 20 1 0 0 20 0 1 0 560178387 45969408 5155 33554432000 4194304 6211132 140723636786064 140723636782600 5814140 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 23625728 140723636790289 140723636790381 140723636790381 140723636793294 0
/proc/21998/statm: 11223 5155 815 493 0 4528 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 44892 KiB
Current children cumulated memory: 20620 KiB
[startup+0.309669 s]*
/proc/loadavg: 7.87 8.80 8.65 9/201 22007
/proc/meminfo: memFree=31852004/32770624 swapFree=66947732/67108860
[pid=21998] ppid=21995 vsize=665316 memory=52288 CPUtime=0.8 cores=0-7
/proc/21998/stat : 21998 (cosoco) S 21995 21998 21954 0 -1 1077944320 13621 0 0 0 78 2 0 0 20 0 9 0 560178387 681283584 13072 33554432000 4194304 6211132 140723636786064 140723636784320 140163913387767 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 23625728 140723636790289 140723636790381 140723636790381 140723636793294 0
/proc/21998/statm: 166329 13072 846 493 0 159634 0
[pid=21998/tid=22000] ppid=21995 vsize=665316 memory=6935054825532540783 CPUtime=0.07 cores=0-7
/proc/21998/task/22000/stat : 22000 (cosoco) R 21995 21998 21954 0 -1 4202560 42 0 0 0 7 0 0 0 20 0 9 0 560178412 681283584 13072 33554432000 4194304 6211132 140723636786064 140163890244472 5038990 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23625728 140723636790289 140723636790381 140723636790381 140723636793294 0
[pid=21998/tid=22001] ppid=21995 vsize=665316 memory=4126316290023845779 CPUtime=0.07 cores=0-7
/proc/21998/task/22001/stat : 22001 (cosoco) R 21995 21998 21954 0 -1 4202560 42 0 0 0 7 0 0 0 20 0 9 0 560178412 681283584 13072 33554432000 4194304 6211132 140723636786064 140163881842040 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23625728 140723636790289 140723636790381 140723636790381 140723636793294 0
[pid=21998/tid=22002] ppid=21995 vsize=665316 memory=0 CPUtime=0.07 cores=0-7
/proc/21998/task/22002/stat : 22002 (cosoco) R 21995 21998 21954 0 -1 4202560 62 0 0 0 7 0 0 0 20 0 9 0 560178412 681283584 13072 33554432000 4194304 6211132 140723636786064 140163873449336 5039178 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23625728 140723636790289 140723636790381 140723636790381 140723636793294 0
[pid=21998/tid=22003] ppid=21995 vsize=665316 memory=0 CPUtime=0.07 cores=0-7
/proc/21998/task/22003/stat : 22003 (cosoco) R 21995 21998 21954 0 -1 4202560 46 0 0 0 7 0 0 0 20 0 9 0 560178412 681283584 13072 33554432000 4194304 6211132 140723636786064 140163865056632 5039029 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23625728 140723636790289 140723636790381 140723636790381 140723636793294 0
[pid=21998/tid=22004] ppid=21995 vsize=665316 memory=6656426216303648864 CPUtime=0.07 cores=0-7
/proc/21998/task/22004/stat : 22004 (cosoco) R 21995 21998 21954 0 -1 4202560 102 0 0 0 7 0 0 0 20 0 9 0 560178412 681283584 13072 33554432000 4194304 6211132 140723636786064 140163856663952 5039026 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23625728 140723636790289 140723636790381 140723636790381 140723636793294 0
[pid=21998/tid=22005] ppid=21995 vsize=665316 memory=0 CPUtime=0.06 cores=0-7
/proc/21998/task/22005/stat : 22005 (cosoco) R 21995 21998 21954 0 -1 4202560 111 0 0 0 6 0 0 0 20 0 9 0 560178412 681283584 13072 33554432000 4194304 6211132 140723636786064 140163848280792 140163897342782 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23625728 140723636790289 140723636790381 140723636790381 140723636793294 0
[pid=21998/tid=22006] ppid=21995 vsize=665316 memory=0 CPUtime=0.06 cores=0-7
/proc/21998/task/22006/stat : 22006 (cosoco) R 21995 21998 21954 0 -1 4202560 46 0 0 0 6 0 0 0 20 0 9 0 560178412 681283584 13072 33554432000 4194304 6211132 140723636786064 140163839888088 5037759 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23625728 140723636790289 140723636790381 140723636790381 140723636793294 0
[pid=21998/tid=22007] ppid=21995 vsize=665316 memory=0 CPUtime=0.07 cores=0-7
/proc/21998/task/22007/stat : 22007 (cosoco) R 21995 21998 21954 0 -1 4202560 79 0 0 0 7 0 0 0 20 0 9 0 560178412 681283584 13072 33554432000 4194304 6211132 140723636786064 140163831495384 5039132 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23625728 140723636790289 140723636790381 140723636790381 140723636793294 0
Current children cumulated CPU time: 0.8 s
Current children cumulated vsize: 665316 KiB
Current children cumulated memory: 52288 KiB
[startup+0.700666 s]
/proc/loadavg: 7.87 8.80 8.65 9/201 22007
/proc/meminfo: memFree=31848276/32770624 swapFree=66947732/67108860
[pid=21998] ppid=21995 vsize=665316 memory=56952 CPUtime=3.75 cores=0-7
/proc/21998/stat : 21998 (cosoco) S 21995 21998 21954 0 -1 1077944320 14581 0 0 0 373 2 0 0 20 0 9 0 560178387 681283584 14238 33554432000 4194304 6211132 140723636786064 140723636784320 140163913387767 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 23625728 140723636790289 140723636790381 140723636790381 140723636793294 0
/proc/21998/statm: 166329 14238 850 493 0 159634 0
[pid=21998/tid=22000] ppid=21995 vsize=665316 memory=776 CPUtime=0.42 cores=0-7
/proc/21998/task/22000/stat : 22000 (cosoco) R 21995 21998 21954 0 -1 4202560 176 0 0 0 42 0 0 0 20 0 9 0 560178412 681283584 14238 33554432000 4194304 6211132 140723636786064 140163890244704 5039014 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23625728 140723636790289 140723636790381 140723636790381 140723636793294 0
[pid=21998/tid=22001] ppid=21995 vsize=665316 memory=688 CPUtime=0.44 cores=0-7
/proc/21998/task/22001/stat : 22001 (cosoco) R 21995 21998 21954 0 -1 4202560 219 0 0 0 44 0 0 0 20 0 9 0 560178412 681283584 14238 33554432000 4194304 6211132 140723636786064 140163881852000 5039121 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23625728 140723636790289 140723636790381 140723636790381 140723636793294 0
[pid=21998/tid=22002] ppid=21995 vsize=665316 memory=1560 CPUtime=0.44 cores=0-7
/proc/21998/task/22002/stat : 22002 (cosoco) R 21995 21998 21954 0 -1 4202560 212 0 0 0 44 0 0 0 20 0 9 0 560178412 681283584 14238 33554432000 4194304 6211132 140723636786064 140163873459296 5039026 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23625728 140723636790289 140723636790381 140723636790381 140723636793294 0
[pid=21998/tid=22003] ppid=21995 vsize=665316 memory=1040 CPUtime=0.44 cores=0-7
/proc/21998/task/22003/stat : 22003 (cosoco) R 21995 21998 21954 0 -1 4202560 212 0 0 0 44 0 0 0 20 0 9 0 560178412 681283584 14238 33554432000 4194304 6211132 140723636786064 140163865066592 5038992 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23625728 140723636790289 140723636790381 140723636790381 140723636793294 0
[pid=21998/tid=22004] ppid=21995 vsize=665316 memory=2832 CPUtime=0.44 cores=0-7
/proc/21998/task/22004/stat : 22004 (cosoco) R 21995 21998 21954 0 -1 4202560 200 0 0 0 44 0 0 0 20 0 9 0 560178412 681283584 14238 33554432000 4194304 6211132 140723636786064 140163856673888 5039029 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23625728 140723636790289 140723636790381 140723636790381 140723636793294 0
[pid=21998/tid=22005] ppid=21995 vsize=665316 memory=140567247332991 CPUtime=0.44 cores=0-7
/proc/21998/task/22005/stat : 22005 (cosoco) R 21995 21998 21954 0 -1 4202560 208 0 0 0 44 0 0 0 20 0 9 0 560178412 681283584 14238 33554432000 4194304 6211132 140723636786064 140163848281184 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23625728 140723636790289 140723636790381 140723636790381 140723636793294 0
[pid=21998/tid=22006] ppid=21995 vsize=665316 memory=6081945748951029863 CPUtime=0.41 cores=0-7
/proc/21998/task/22006/stat : 22006 (cosoco) R 21995 21998 21954 0 -1 4202560 94 0 0 0 41 0 0 0 20 0 9 0 560178412 681283584 14238 33554432000 4194304 6211132 140723636786064 140163839888480 5039029 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23625728 140723636790289 140723636790381 140723636790381 140723636793294 0
[pid=21998/tid=22007] ppid=21995 vsize=665316 memory=6149779989623492688 CPUtime=0.44 cores=0-7
/proc/21998/task/22007/stat : 22007 (cosoco) R 21995 21998 21954 0 -1 4202560 166 0 0 0 44 0 0 0 20 0 9 0 560178412 681283584 14238 33554432000 4194304 6211132 140723636786064 140163831495776 5039026 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23625728 140723636790289 140723636790381 140723636790381 140723636793294 0
Current children cumulated CPU time: 3.75 s
Current children cumulated vsize: 665316 KiB
Current children cumulated memory: 56952 KiB
[startup+1.2019 s]
# the end of solver process 21998 was just reported to runsolver
# cumulated CPU time of all completed processes: user=7.68229 s, system=0.031941 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800665 s]
/proc/loadavg: 7.87 8.80 8.65 9/201 22007
/proc/meminfo: memFree=31848276/32770624 swapFree=66947732/67108860
[pid=21998] ppid=21995 vsize=665316 memory=57216 CPUtime=4.54 cores=0-7
/proc/21998/stat : 21998 (cosoco) S 21995 21998 21954 0 -1 1077944320 14641 0 0 0 452 2 0 0 20 0 9 0 560178387 681283584 14304 33554432000 4194304 6211132 140723636786064 140723636784320 140163913387767 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 23625728 140723636790289 140723636790381 140723636790381 140723636793294 0
/proc/21998/statm: 166329 14304 850 493 0 159634 0
[pid=21998/tid=22000] ppid=21995 vsize=665316 memory=7007712420471858773 CPUtime=0.52 cores=0-7
/proc/21998/task/22000/stat : 22000 (cosoco) R 21995 21998 21954 0 -1 4202560 199 0 0 0 52 0 0 0 20 0 9 0 560178412 681283584 14304 33554432000 4194304 6211132 140723636786064 140163890244704 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23625728 140723636790289 140723636790381 140723636790381 140723636793294 0
[pid=21998/tid=22001] ppid=21995 vsize=665316 memory=4640767346415259733 CPUtime=0.54 cores=0-7
/proc/21998/task/22001/stat : 22001 (cosoco) R 21995 21998 21954 0 -1 4202560 219 0 0 0 54 0 0 0 20 0 9 0 560178412 681283584 14304 33554432000 4194304 6211132 140723636786064 140163881852000 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23625728 140723636790289 140723636790381 140723636790381 140723636793294 0
[pid=21998/tid=22002] ppid=21995 vsize=665316 memory=8305315425968087136 CPUtime=0.54 cores=0-7
/proc/21998/task/22002/stat : 22002 (cosoco) R 21995 21998 21954 0 -1 4202560 214 0 0 0 54 0 0 0 20 0 9 0 560178412 681283584 14304 33554432000 4194304 6211132 140723636786064 140163873459296 5038990 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23625728 140723636790289 140723636790381 140723636790381 140723636793294 0
[pid=21998/tid=22003] ppid=21995 vsize=665316 memory=6944656626178237591 CPUtime=0.54 cores=0-7
/proc/21998/task/22003/stat : 22003 (cosoco) R 21995 21998 21954 0 -1 4202560 212 0 0 0 54 0 0 0 20 0 9 0 560178412 681283584 14304 33554432000 4194304 6211132 140723636786064 140163865066592 5039149 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23625728 140723636790289 140723636790381 140723636790381 140723636793294 0
[pid=21998/tid=22004] ppid=21995 vsize=665316 memory=-7965950325593906079 CPUtime=0.54 cores=0-7
/proc/21998/task/22004/stat : 22004 (cosoco) R 21995 21998 21954 0 -1 4202560 200 0 0 0 54 0 0 0 20 0 9 0 560178412 681283584 14304 33554432000 4194304 6211132 140723636786064 140163856673888 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23625728 140723636790289 140723636790381 140723636790381 140723636793294 0
[pid=21998/tid=22005] ppid=21995 vsize=665316 memory=7453011412808782954 CPUtime=0.54 cores=0-7
/proc/21998/task/22005/stat : 22005 (cosoco) R 21995 21998 21954 0 -1 4202560 243 0 0 0 54 0 0 0 20 0 9 0 560178412 681283584 14304 33554432000 4194304 6211132 140723636786064 140163848281184 5039199 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23625728 140723636790289 140723636790381 140723636790381 140723636793294 0
[pid=21998/tid=22006] ppid=21995 vsize=665316 memory=7668340886649138281 CPUtime=0.5 cores=0-7
/proc/21998/task/22006/stat : 22006 (cosoco) R 21995 21998 21954 0 -1 4202560 94 0 0 0 50 0 0 0 20 0 9 0 560178412 681283584 14304 33554432000 4194304 6211132 140723636786064 140163839888480 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23625728 140723636790289 140723636790381 140723636790381 140723636793294 0
[pid=21998/tid=22007] ppid=21995 vsize=665316 memory=97 CPUtime=0.54 cores=0-7
/proc/21998/task/22007/stat : 22007 (cosoco) R 21995 21998 21954 0 -1 4202560 166 0 0 0 54 0 0 0 20 0 9 0 560178412 681283584 14304 33554432000 4194304 6211132 140723636786064 140163831495776 5039145 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23625728 140723636790289 140723636790381 140723636790381 140723636793294 0
Current children cumulated CPU time: 4.54 s
Current children cumulated vsize: 665316 KiB
Current children cumulated memory: 57216 KiB
[startup+1.00067 s]*
/proc/loadavg: 7.87 8.80 8.65 10/201 22007
/proc/meminfo: memFree=31847392/32770624 swapFree=66947732/67108860
[pid=21998] ppid=21995 vsize=665316 memory=58272 CPUtime=6.2 cores=0-7
/proc/21998/stat : 21998 (cosoco) S 21995 21998 21954 0 -1 1077944320 15017 0 0 0 618 2 0 0 20 0 9 0 560178387 681283584 14568 33554432000 4194304 6211132 140723636786064 140723636784320 140163913387767 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 23625728 140723636790289 140723636790381 140723636790381 140723636793294 0
/proc/21998/statm: 166329 14568 850 493 0 159634 0
[pid=21998/tid=22000] ppid=21995 vsize=665316 memory=6935054825532540783 CPUtime=0.73 cores=0-7
/proc/21998/task/22000/stat : 22000 (cosoco) R 21995 21998 21954 0 -1 4202560 207 0 0 0 73 0 0 0 20 0 9 0 560178412 681283584 14568 33554432000 4194304 6211132 140723636786064 140163890244704 5038992 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23625728 140723636790289 140723636790381 140723636790381 140723636793294 0
[pid=21998/tid=22001] ppid=21995 vsize=665316 memory=0 CPUtime=0.75 cores=0-7
/proc/21998/task/22001/stat : 22001 (cosoco) R 21995 21998 21954 0 -1 4202560 259 0 0 0 75 0 0 0 20 0 9 0 560178412 681283584 14568 33554432000 4194304 6211132 140723636786064 140163881852000 5039121 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23625728 140723636790289 140723636790381 140723636790381 140723636793294 0
[pid=21998/tid=22002] ppid=21995 vsize=665316 memory=0 CPUtime=0.75 cores=0-7
/proc/21998/task/22002/stat : 22002 (cosoco) R 21995 21998 21954 0 -1 4202560 250 0 0 0 75 0 0 0 20 0 9 0 560178412 681283584 14568 33554432000 4194304 6211132 140723636786064 140163873459296 5039132 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23625728 140723636790289 140723636790381 140723636790381 140723636793294 0
[pid=21998/tid=22003] ppid=21995 vsize=665316 memory=0 CPUtime=0.75 cores=0-7
/proc/21998/task/22003/stat : 22003 (cosoco) R 21995 21998 21954 0 -1 4202560 220 0 0 0 75 0 0 0 20 0 9 0 560178412 681283584 14568 33554432000 4194304 6211132 140723636786064 140163865066592 5039026 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23625728 140723636790289 140723636790381 140723636790381 140723636793294 0
[pid=21998/tid=22004] ppid=21995 vsize=665316 memory=0 CPUtime=0.75 cores=0-7
/proc/21998/task/22004/stat : 22004 (cosoco) R 21995 21998 21954 0 -1 4202560 284 0 0 0 75 0 0 0 20 0 9 0 560178412 681283584 14568 33554432000 4194304 6211132 140723636786064 140163856673888 140163897785469 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23625728 140723636790289 140723636790381 140723636790381 140723636793294 0
[pid=21998/tid=22005] ppid=21995 vsize=665316 memory=0 CPUtime=0.75 cores=0-7
/proc/21998/task/22005/stat : 22005 (cosoco) R 21995 21998 21954 0 -1 4202560 243 0 0 0 75 0 0 0 20 0 9 0 560178412 681283584 14568 33554432000 4194304 6211132 140723636786064 140163848281184 5037783 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23625728 140723636790289 140723636790381 140723636790381 140723636793294 0
[pid=21998/tid=22006] ppid=21995 vsize=665316 memory=0 CPUtime=0.7 cores=0-7
/proc/21998/task/22006/stat : 22006 (cosoco) R 21995 21998 21954 0 -1 4202560 213 0 0 0 70 0 0 0 20 0 9 0 560178412 681283584 14568 33554432000 4194304 6211132 140723636786064 140163839888480 5037874 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23625728 140723636790289 140723636790381 140723636790381 140723636793294 0
[pid=21998/tid=22007] ppid=21995 vsize=665316 memory=4638778398332698724 CPUtime=0.75 cores=0-7
/proc/21998/task/22007/stat : 22007 (cosoco) R 21995 21998 21954 0 -1 4202560 247 0 0 0 75 0 0 0 20 0 9 0 560178412 681283584 14568 33554432000 4194304 6211132 140723636786064 140163831495776 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23625728 140723636790289 140723636790381 140723636790381 140723636793294 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 665316 KiB
Current children cumulated memory: 58272 KiB
[startup+1.11067 s]
/proc/loadavg: 7.87 8.80 8.65 10/201 22007
/proc/meminfo: memFree=31847392/32770624 swapFree=66947732/67108860
[pid=21998] ppid=21995 vsize=665316 memory=58536 CPUtime=7.01 cores=0-7
/proc/21998/stat : 21998 (cosoco) S 21995 21998 21954 0 -1 1077944320 15024 0 0 0 699 2 0 0 20 0 9 0 560178387 681283584 14634 33554432000 4194304 6211132 140723636786064 140723636784320 140163913387767 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 23625728 140723636790289 140723636790381 140723636790381 140723636793294 0
/proc/21998/statm: 166329 14634 850 493 0 159634 0
[pid=21998/tid=22000] ppid=21995 vsize=665316 memory=6009890311020047207 CPUtime=0.83 cores=0-7
/proc/21998/task/22000/stat : 22000 (cosoco) R 21995 21998 21954 0 -1 4202560 207 0 0 0 83 0 0 0 20 0 9 0 560178412 681283584 14634 33554432000 4194304 6211132 140723636786064 140163890244704 5038990 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23625728 140723636790289 140723636790381 140723636790381 140723636793294 0
[pid=21998/tid=22001] ppid=21995 vsize=665316 memory=7373354028709341547 CPUtime=0.85 cores=0-7
/proc/21998/task/22001/stat : 22001 (cosoco) R 21995 21998 21954 0 -1 4202560 266 0 0 0 85 0 0 0 20 0 9 0 560178412 681283584 14634 33554432000 4194304 6211132 140723636786064 140163881852000 5039104 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23625728 140723636790289 140723636790381 140723636790381 140723636793294 0
[pid=21998/tid=22002] ppid=21995 vsize=665316 memory=56952 CPUtime=0.85 cores=0-7
/proc/21998/task/22002/stat : 22002 (cosoco) R 21995 21998 21954 0 -1 4202560 250 0 0 0 85 0 0 0 20 0 9 0 560178412 681283584 14634 33554432000 4194304 6211132 140723636786064 140163873459296 5039029 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23625728 140723636790289 140723636790381 140723636790381 140723636793294 0
[pid=21998/tid=22003] ppid=21995 vsize=665316 memory=776 CPUtime=0.85 cores=0-7
/proc/21998/task/22003/stat : 22003 (cosoco) R 21995 21998 21954 0 -1 4202560 220 0 0 0 85 0 0 0 20 0 9 0 560178412 681283584 14634 33554432000 4194304 6211132 140723636786064 140163865066592 5039038 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23625728 140723636790289 140723636790381 140723636790381 140723636793294 0
[pid=21998/tid=22004] ppid=21995 vsize=665316 memory=688 CPUtime=0.85 cores=0-7
/proc/21998/task/22004/stat : 22004 (cosoco) R 21995 21998 21954 0 -1 4202560 284 0 0 0 85 0 0 0 20 0 9 0 560178412 681283584 14634 33554432000 4194304 6211132 140723636786064 140163856673888 5038990 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23625728 140723636790289 140723636790381 140723636790381 140723636793294 0
[pid=21998/tid=22005] ppid=21995 vsize=665316 memory=1560 CPUtime=0.85 cores=0-7
/proc/21998/task/22005/stat : 22005 (cosoco) R 21995 21998 21954 0 -1 4202560 243 0 0 0 85 0 0 0 20 0 9 0 560178412 681283584 14634 33554432000 4194304 6211132 140723636786064 140163848281184 5039038 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23625728 140723636790289 140723636790381 140723636790381 140723636793294 0
[pid=21998/tid=22006] ppid=21995 vsize=665316 memory=1040 CPUtime=0.8 cores=0-7
/proc/21998/task/22006/stat : 22006 (cosoco) R 21995 21998 21954 0 -1 4202560 213 0 0 0 80 0 0 0 20 0 9 0 560178412 681283584 14634 33554432000 4194304 6211132 140723636786064 140163839888480 5039132 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23625728 140723636790289 140723636790381 140723636790381 140723636793294 0
[pid=21998/tid=22007] ppid=21995 vsize=665316 memory=2832 CPUtime=0.85 cores=0-7
/proc/21998/task/22007/stat : 22007 (cosoco) R 21995 21998 21954 0 -1 4202560 247 0 0 0 85 0 0 0 20 0 9 0 560178412 681283584 14634 33554432000 4194304 6211132 140723636786064 140163831495776 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23625728 140723636790289 140723636790381 140723636790381 140723636793294 0
Current children cumulated CPU time: 7.01 s
Current children cumulated vsize: 665316 KiB
Current children cumulated memory: 58536 KiB
Child status: 0
Real time (s): 1.20193
CPU time (s): 7.71423
CPU user time (s): 7.68229
CPU system time (s): 0.031941
CPU usage (%): 641.82
Max. virtual memory (cumulated for all children) (KiB): 665316
Max. memory (cumulated for all children) (KiB): 58536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.68229
system time used= 0.031941
maximum resident set size= 59780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15076
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= 249
involuntary context switches= 160
# summary of solver processes directly reported to runsolver:
# pid: 21998
# total CPU time (s): 7.71423
# total CPU user time (s): 7.68229
# total CPU system time (s): 0.031941
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.034446 second user time and 0.054988 second system time
The end
Begin job on node150 at 2019-09-30 12:23:38 IDJOB=4409322 IDBENCH=139819 IDSOLVER=2877 FILE ID=node150/4409322-1569839060 RUNJOBID= node150-1569839018-21981 PBS_JOBID= 21705963 Free space on /tmp= 62032 MiB SOLVER NAME= cosoco 2.0 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-4409322-1569839060/watcher-4409322-1569839060 -o /tmp/evaluation-result-4409322-1569839060/solver-4409322-1569839060 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1569839018-21981 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409322-1569839060.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 07d1be45dab1ec82d1b4d00a54d73f42 RANDOM SEED=1077003317 node150.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.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31901788 kB MemAvailable: 31932168 kB Buffers: 102440 kB Cached: 214892 kB SwapCached: 5492 kB Active: 149724 kB Inactive: 175116 kB Active(anon): 4736 kB Inactive(anon): 27120 kB Active(file): 144988 kB Inactive(file): 147996 kB Unevictable: 109548 kB Mlocked: 109548 kB SwapTotal: 67108860 kB SwapFree: 66947732 kB Dirty: 3188 kB Writeback: 0 kB AnonPages: 112008 kB Mapped: 25812 kB Shmem: 15748 kB Slab: 135304 kB SReclaimable: 106460 kB SUnreclaim: 28844 kB KernelStack: 3312 kB PageTables: 5132 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 538528 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: 99712 kB DirectMap2M: 33445888 kB Free space on /tmp at the end= 62028 MiB End job on node150 at 2019-09-30 12:23:39