| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco 2.0 | ? (TO) | 2400.04 | 2400.3 |
| Name | GracefulGraph/GracefulGraph-m1-s1/ GracefulGraph-K12-P08.xml |
| MD5SUM | 9611f8ac50407bec4b89a807890af998 |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1332 |
| Number of constraints | 614 |
| Number of domains | 2 |
| Minimum domain size | 612 |
| Maximum domain size | 613 |
| Distribution of domain sizes | [{"size":612,"count":612},{"size":613,"count":96}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 14 |
| Distribution of variable degrees | [{"degree":0,"count":624},{"degree":2,"count":612},{"degree":13,"count":24},{"degree":14,"count":72}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 612 |
| Distribution of constraint arities | [{"arity":3,"count":612},{"arity":96,"count":1},{"arity":612,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 612 |
| Distribution of constraint types | [{"type":"intension","count":612},{"type":"allDifferent","count":2}] |
| Optimization problem | NO |
| Type of objective |
0.21/0.22 c root propagations : 0 0.21/0.22 c restarts enabled, print stats at every restarts 0.21/0.22 c 0.21/0.22 c 0.21/0.22 c 0.21/0.22 c This is cosoco 2.00 -- 0.21/0.22 c 0.21/0.22 c command line: cosoco -lc -model -restarts -stick HOME/instance-4397436-1568572806.xml 0.21/0.22 c ========================================[ Problem Statistics ]=========================================== 0.21/0.22 c | 0.21/0.22 c | Parse time : 0.21 s 0.21/0.22 c | 0.21/0.22 c | Variables: 1332 0.21/0.22 c | Domain Sizes: 612..613 0.21/0.22 c | 0.21/0.22 c | Constraints: 614 0.21/0.22 c | Arity: 3..612 -- Ternary: 612 0.21/0.22 c | 0.21/0.22 c | Types: 0.21/0.22 c | All Different: 2 0.21/0.22 c | Intension: 612 0.21/0.22 c | 0.21/0.22 c ========================================================================================================= 0.21/0.22 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.21/0.22 c remove useless variable ce[0][0][0] 0.21/0.22 c remove useless variable ce[0][1][0] 0.21/0.22 c remove useless variable ce[0][1][1] 0.21/0.22 c remove useless variable ce[0][2][0] 0.21/0.22 c remove useless variable ce[0][2][1] 0.21/0.22 c remove useless variable ce[0][2][2] 0.21/0.22 c remove useless variable ce[0][3][0] 0.21/0.22 c remove useless variable ce[0][3][1] 0.21/0.22 c remove useless variable ce[0][3][2] 0.21/0.22 c remove useless variable ce[0][3][3] 0.21/0.22 c remove useless variable ce[0][4][0] 0.21/0.22 c remove useless variable ce[0][4][1] 0.21/0.22 c remove useless variable ce[0][4][2] 0.21/0.22 c remove useless variable ce[0][4][3] 0.21/0.22 c remove useless variable ce[0][4][4] 0.21/0.22 c remove useless variable ce[0][5][0] 0.21/0.22 c remove useless variable ce[0][5][1] 0.21/0.22 c remove useless variable ce[0][5][2] 0.21/0.22 c remove useless variable ce[0][5][3] 0.21/0.22 c remove useless variable ce[0][5][4] 0.21/0.22 c remove useless variable ce[0][5][5] 0.21/0.22 c remove useless variable ce[0][6][0] 0.21/0.22 c remove useless variable ce[0][6][1] 0.21/0.22 c remove useless variable ce[0][6][2] 0.21/0.22 c remove useless variable ce[0][6][3] 0.21/0.22 c remove useless variable ce[0][6][4] 0.21/0.22 c remove useless variable ce[0][6][5] 0.21/0.22 c remove useless variable ce[0][6][6] 0.21/0.22 c remove useless variable ce[0][7][0] 0.21/0.22 c remove useless variable ce[0][7][1] 0.21/0.22 c remove useless variable ce[0][7][2] 0.21/0.22 c remove useless variable ce[0][7][3] 0.21/0.22 c remove useless variable ce[0][7][4] 0.21/0.22 c remove useless variable ce[0][7][5] 0.21/0.22 c remove useless variable ce[0][7][6] 0.21/0.22 c remove useless variable ce[0][7][7] 0.21/0.22 c remove useless variable ce[0][8][0] 0.21/0.22 c remove useless variable ce[0][8][1] 0.21/0.22 c remove useless variable ce[0][8][2] 0.21/0.22 c remove useless variable ce[0][8][3] 0.21/0.22 c remove useless variable ce[0][8][4] 0.21/0.22 c remove useless variable ce[0][8][5] 0.21/0.22 c remove useless variable ce[0][8][6] 0.21/0.22 c remove useless variable ce[0][8][7] 0.21/0.22 c remove useless variable ce[0][8][8] 0.21/0.22 c remove useless variable ce[0][9][0] 0.21/0.22 c remove useless variable ce[0][9][1] 0.21/0.22 c remove useless variable ce[0][9][2] 0.21/0.22 c remove useless variable ce[0][9][3] 0.21/0.22 c remove useless variable ce[0][9][4] 0.21/0.22 c remove useless variable ce[0][9][5] 0.21/0.22 c remove useless variable ce[0][9][6] 0.21/0.22 c remove useless variable ce[0][9][7] 0.21/0.22 c remove useless variable ce[0][9][8] 0.21/0.22 c remove useless variable ce[0][9][9] 0.21/0.22 c remove useless variable ce[0][10][0] 0.21/0.22 c remove useless variable ce[0][10][1] 0.21/0.22 c remove useless variable ce[0][10][2] 0.21/0.22 c remove useless variable ce[0][10][3] 0.21/0.22 c remove useless variable ce[0][10][4] 0.21/0.22 c remove useless variable ce[0][10][5] 0.21/0.22 c remove useless variable ce[0][10][6] 0.21/0.22 c remove useless variable ce[0][10][7] 0.21/0.22 c remove useless variable ce[0][10][8] 0.21/0.22 c remove useless variable ce[0][10][9] 0.21/0.22 c remove useless variable ce[0][10][10] 0.21/0.22 c remove useless variable ce[0][11][0] 0.21/0.22 c remove useless variable ce[0][11][1] 0.21/0.22 c remove useless variable ce[0][11][2] 0.21/0.22 c remove useless variable ce[0][11][3] 0.21/0.22 c remove useless variable ce[0][11][4] 0.21/0.22 c remove useless variable ce[0][11][5] 0.21/0.22 c remove useless variable ce[0][11][6] 0.21/0.22 c remove useless variable ce[0][11][7] 0.21/0.22 c remove useless variable ce[0][11][8] 0.21/0.22 c remove useless variable ce[0][11][9] 0.21/0.22 c remove useless variable ce[0][11][10] 0.21/0.22 c remove useless variable ce[0][11][11] 0.21/0.22 c remove useless variable ce[1][0][0] 0.21/0.22 c remove useless variable ce[1][1][0] 0.21/0.22 c remove useless variable ce[1][1][1] 0.21/0.22 c remove useless variable ce[1][2][0] 0.21/0.22 c remove useless variable ce[1][2][1] 0.21/0.22 c remove useless variable ce[1][2][2] 0.21/0.22 c remove useless variable ce[1][3][0] 0.21/0.22 c remove useless variable ce[1][3][1] 0.21/0.22 c remove useless variable ce[1][3][2] 0.21/0.22 c remove useless variable ce[1][3][3] 0.21/0.22 c remove useless variable ce[1][4][0] 0.21/0.22 c remove useless variable ce[1][4][1] 0.21/0.22 c remove useless variable ce[1][4][2] 0.21/0.22 c remove useless variable ce[1][4][3] 0.21/0.22 c remove useless variable ce[1][4][4] 0.21/0.22 c remove useless variable ce[1][5][0] 0.21/0.22 c remove useless variable ce[1][5][1] 0.21/0.22 c remove useless variable ce[1][5][2] 0.21/0.22 c remove useless variable ce[1][5][3] 0.21/0.22 c remove useless variable ce[1][5][4] 0.21/0.22 c remove useless variable ce[1][5][5] 0.21/0.22 c remove useless variable ce[1][6][0] 0.21/0.22 c remove useless variable ce[1][6][1] 0.21/0.22 c remove useless variable ce[1][6][2] 0.21/0.22 c remove useless variable ce[1][6][3] 0.21/0.22 c remove useless variable ce[1][6][4] 0.21/0.22 c remove useless variable ce[1][6][5] 0.21/0.22 c remove useless variable ce[1][6][6] 0.21/0.22 c remove useless variable ce[1][7][0] 0.21/0.22 c remove useless variable ce[1][7][1] 0.21/0.22 c remove useless variable ce[1][7][2] 0.21/0.22 c remove useless variable ce[1][7][3] 0.21/0.22 c remove useless variable ce[1][7][4] 0.21/0.22 c remove useless variable ce[1][7][5] 0.21/0.22 c remove useless variable ce[1][7][6] 0.21/0.22 c remove useless variable ce[1][7][7] 0.21/0.22 c remove useless variable ce[1][8][0] 0.21/0.22 c remove useless variable ce[1][8][1] 0.21/0.22 c remove useless variable ce[1][8][2] 0.21/0.22 c remove useless variable ce[1][8][3] 0.21/0.22 c remove useless variable ce[1][8][4] 0.21/0.22 c remove useless variable ce[1][8][5] 0.21/0.22 c remove useless variable ce[1][8][6] 0.21/0.22 c remove useless variable ce[1][8][7] 0.21/0.22 c remove useless variable ce[1][8][8] 0.21/0.22 c remove useless variable ce[1][9][0] 0.21/0.22 c remove useless variable ce[1][9][1] 0.21/0.22 c remove useless variable ce[1][9][2] 0.21/0.22 c remove useless variable ce[1][9][3] 0.21/0.22 c remove useless variable ce[1][9][4] 0.21/0.22 c remove useless variable ce[1][9][5] 0.21/0.22 c remove useless variable ce[1][9][6] 0.21/0.22 c remove useless variable ce[1][9][7] 0.21/0.22 c remove useless variable ce[1][9][8] 0.21/0.22 c remove useless variable ce[1][9][9] 0.21/0.22 c remove useless variable ce[1][10][0] 0.21/0.22 c remove useless variable ce[1][10][1] 0.21/0.22 c remove useless variable ce[1][10][2] 0.21/0.22 c remove useless variable ce[1][10][3] 0.21/0.22 c remove useless variable ce[1][10][4] 0.21/0.22 c remove useless variable ce[1][10][5] 0.21/0.22 c remove useless variable ce[1][10][6] 0.21/0.22 c remove useless variable ce[1][10][7] 0.21/0.22 c remove useless variable ce[1][10][8] 0.21/0.22 c remove useless variable ce[1][10][9] 0.21/0.22 c remove useless variable ce[1][10][10] 0.21/0.22 c remove useless variable ce[1][11][0] 0.21/0.22 c remove useless variable ce[1][11][1] 0.21/0.22 c remove useless variable ce[1][11][2] 0.21/0.22 c remove useless variable ce[1][11][3] 0.21/0.22 c remove useless variable ce[1][11][4] 0.21/0.22 c remove useless variable ce[1][11][5] 0.21/0.22 c remove useless variable ce[1][11][6] 0.21/0.22 c remove useless variable ce[1][11][7] 0.21/0.22 c remove useless variable ce[1][11][8] 0.21/0.22 c remove useless variable ce[1][11][9] 0.21/0.22 c remove useless variable ce[1][11][10] 0.21/0.22 c remove useless variable ce[1][11][11] 0.21/0.22 c remove useless variable ce[2][0][0] 0.21/0.22 c remove useless variable ce[2][1][0] 0.21/0.22 c remove useless variable ce[2][1][1] 0.21/0.22 c remove useless variable ce[2][2][0] 0.21/0.22 c remove useless variable ce[2][2][1] 0.21/0.22 c remove useless variable ce[2][2][2] 0.21/0.22 c remove useless variable ce[2][3][0] 0.21/0.22 c remove useless variable ce[2][3][1] 0.21/0.22 c remove useless variable ce[2][3][2] 0.21/0.22 c remove useless variable ce[2][3][3] 0.21/0.22 c remove useless variable ce[2][4][0] 0.21/0.22 c remove useless variable ce[2][4][1] 0.21/0.22 c remove useless variable ce[2][4][2] 0.21/0.22 c remove useless variable ce[2][4][3] 0.21/0.22 c remove useless variable ce[2][4][4] 0.21/0.22 c remove useless variable ce[2][5][0] 0.21/0.22 c remove useless variable ce[2][5][1] 0.21/0.22 c remove useless variable ce[2][5][2] 0.21/0.22 c remove useless variable ce[2][5][3] 0.21/0.22 c remove useless variable ce[2][5][4] 0.21/0.22 c remove useless variable ce[2][5][5] 0.21/0.22 c remove useless variable ce[2][6][0] 0.21/0.22 c remove useless variable ce[2][6][1] 0.21/0.22 c remove useless variable ce[2][6][2] 0.21/0.22 c remove useless variable ce[2][6][3] 0.21/0.22 c remove useless variable ce[2][6][4] 0.21/0.22 c remove useless variable ce[2][6][5] 0.21/0.22 c remove useless variable ce[2][6][6] 0.21/0.22 c remove useless variable ce[2][7][0] 0.21/0.22 c remove useless variable ce[2][7][1] 0.21/0.22 c remove useless variable ce[2][7][2] 0.21/0.22 c remove useless variable ce[2][7][3] 0.21/0.22 c remove useless variable ce[2][7][4] 0.21/0.22 c remove useless variable ce[2][7][5] 0.21/0.22 c remove useless variable ce[2][7][6] 0.21/0.22 c remove useless variable ce[2][7][7] 0.21/0.22 c remove useless variable ce[2][8][0] 0.21/0.22 c remove useless variable ce[2][8][1] 0.21/0.22 c remove useless variable ce[2][8][2] 0.21/0.22 c remove useless variable ce[2][8][3] 0.21/0.22 c remove useless variable ce[2][8][4] 0.21/0.22 c remove useless variable ce[2][8][5] 0.21/0.22 c remove useless variable ce[2][8][6] 0.21/0.22 c remove useless variable ce[2][8][7] 0.21/0.22 c remove useless variable ce[2][8][8] 0.21/0.22 c remove useless variable ce[2][9][0] 0.21/0.22 c remove useless variable ce[2][9][1] 0.21/0.22 c remove useless variable ce[2][9][2] 0.21/0.22 c remove useless variable ce[2][9][3] 0.21/0.22 c remove useless variable ce[2][9][4] 0.21/0.22 c remove useless variable ce[2][9][5] 0.21/0.22 c remove useless variable ce[2][9][6] 0.21/0.22 c remove useless variable ce[2][9][7] 0.21/0.22 c remove useless variable ce[2][9][8] 0.21/0.22 c remove useless variable ce[2][9][9] 0.21/0.22 c remove useless variable ce[2][10][0] 0.21/0.22 c remove useless variable ce[2][10][1] 0.21/0.22 c remove useless variable ce[2][10][2] 0.21/0.22 c remove useless variable ce[2][10][3] 0.21/0.22 c remove useless variable ce[2][10][4] 0.21/0.22 c remove useless variable ce[2][10][5] 0.21/0.22 c remove useless variable ce[2][10][6] 0.21/0.22 c remove useless variable ce[2][10][7] 0.21/0.22 c remove useless variable ce[2][10][8] 0.21/0.22 c remove useless variable ce[2][10][9] 0.21/0.22 c remove useless variable ce[2][10][10] 0.21/0.22 c remove useless variable ce[2][11][0] 0.21/0.22 c remove useless variable ce[2][11][1] 0.21/0.22 c remove useless variable ce[2][11][2] 0.21/0.22 c remove useless variable ce[2][11][3] 0.21/0.22 c remove useless variable ce[2][11][4] 0.21/0.22 c remove useless variable ce[2][11][5] 0.21/0.22 c remove useless variable ce[2][11][6] 0.21/0.22 c remove useless variable ce[2][11][7] 0.21/0.22 c remove useless variable ce[2][11][8] 0.21/0.22 c remove useless variable ce[2][11][9] 0.21/0.22 c remove useless variable ce[2][11][10] 0.21/0.22 c remove useless variable ce[2][11][11] 0.21/0.22 c remove useless variable ce[3][0][0] 0.21/0.22 c remove useless variable ce[3][1][0] 0.21/0.22 c remove useless variable ce[3][1][1] 0.21/0.22 c remove useless variable ce[3][2][0] 0.21/0.22 c remove useless variable ce[3][2][1] 0.21/0.22 c remove useless variable ce[3][2][2] 0.21/0.22 c remove useless variable ce[3][3][0] 0.21/0.22 c remove useless variable ce[3][3][1] 0.21/0.22 c remove useless variable ce[3][3][2] 0.21/0.22 c remove useless variable ce[3][3][3] 0.21/0.22 c remove useless variable ce[3][4][0] 0.21/0.22 c remove useless variable ce[3][4][1] 0.21/0.22 c remove useless variable ce[3][4][2] 0.21/0.22 c remove useless variable ce[3][4][3] 0.21/0.22 c remove useless variable ce[3][4][4] 0.21/0.22 c remove useless variable ce[3][5][0] 0.21/0.22 c remove useless variable ce[3][5][1] 0.21/0.22 c remove useless variable ce[3][5][2] 0.21/0.22 c remove useless variable ce[3][5][3] 0.21/0.22 c remove useless variable ce[3][5][4] 0.21/0.22 c remove useless variable ce[3][5][5] 0.21/0.22 c remove useless variable ce[3][6][0] 0.21/0.22 c remove useless variable ce[3][6][1] 0.21/0.22 c remove useless variable ce[3][6][2] 0.21/0.22 c remove useless variable ce[3][6][3] 0.21/0.22 c remove useless variable ce[3][6][4] 0.21/0.22 c remove useless variable ce[3][6][5] 0.21/0.22 c remove useless variable ce[3][6][6] 0.21/0.22 c remove useless variable ce[3][7][0] 0.21/0.22 c remove useless variable ce[3][7][1] 0.21/0.22 c remove useless variable ce[3][7][2] 0.21/0.22 c remove useless variable ce[3][7][3] 0.21/0.22 c remove useless variable ce[3][7][4] 0.21/0.22 c remove useless variable ce[3][7][5] 0.21/0.22 c remove useless variable ce[3][7][6] 0.21/0.22 c remove useless variable ce[3][7][7] 0.21/0.22 c remove useless variable ce[3][8][0] 0.21/0.22 c remove useless variable ce[3][8][1] 0.21/0.22 c remove useless variable ce[3][8][2] 0.21/0.22 c remove useless variable ce[3][8][3] 0.21/0.22 c remove useless variable ce[3][8][4] 0.21/0.22 c remove useless variable ce[3][8][5] 0.21/0.22 c remove useless variable ce[3][8][6] 0.21/0.22 c remove useless variable ce[3][8][7] 0.21/0.22 c remove useless variable ce[3][8][8] 0.21/0.22 c remove useless variable ce[3][9][0] 0.21/0.22 c remove useless variable ce[3][9][1] 0.21/0.22 c remove useless variable ce[3][9][2] 0.21/0.22 c remove useless variable ce[3][9][3] 0.21/0.22 c remove useless variable ce[3][9][4] 0.21/0.22 c remove useless variable ce[3][9][5] 0.21/0.22 c remove useless variable ce[3][9][6] 0.21/0.22 c remove useless variable ce[3][9][7] 0.21/0.22 c remove useless variable ce[3][9][8] 0.21/0.22 c remove useless variable ce[3][9][9] 0.21/0.22 c remove useless variable ce[3][10][0] 0.21/0.22 c remove useless variable ce[3][10][1] 0.21/0.22 c remove useless variable ce[3][10][2] 0.21/0.22 c remove useless variable ce[3][10][3] 0.21/0.22 c remove useless variable ce[3][10][4] 0.21/0.22 c remove useless variable ce[3][10][5] 0.21/0.22 c remove useless variable ce[3][10][6] 0.21/0.22 c remove useless variable ce[3][10][7] 0.21/0.22 c remove useless variable ce[3][10][8] 0.21/0.22 c remove useless variable ce[3][10][9] 0.21/0.22 c remove useless variable ce[3][10][10] 0.21/0.22 c remove useless variable ce[3][11][0] 0.21/0.22 c remove useless variable ce[3][11][1] 0.21/0.22 c remove useless variable ce[3][11][2] 0.21/0.22 c remove useless variable ce[3][11][3] 0.21/0.22 c remove useless variable ce[3][11][4] 0.21/0.22 c remove useless variable ce[3][11][5] 0.21/0.22 c remove useless variable ce[3][11][6] 0.21/0.22 c remove useless variable ce[3][11][7] 0.21/0.22 c remove useless variable ce[3][11][8] 0.21/0.22 c remove useless variable ce[3][11][9] 0.21/0.22 c remove useless variable ce[3][11][10] 0.21/0.22 c remove useless variable ce[3][11][11] 0.21/0.22 c remove useless variable ce[4][0][0] 0.21/0.22 c remove useless variable ce[4][1][0] 0.21/0.22 c remove useless variable ce[4][1][1] 0.21/0.22 c remove useless variable ce[4][2][0] 0.21/0.22 c remove useless variable ce[4][2][1] 0.21/0.22 c remove useless variable ce[4][2][2] 0.21/0.22 c remove useless variable ce[4][3][0] 0.21/0.22 c remove useless variable ce[4][3][1] 0.21/0.22 c remove useless variable ce[4][3][2] 0.21/0.22 c remove useless variable ce[4][3][3] 0.21/0.22 c remove useless variable ce[4][4][0] 0.21/0.22 c remove useless variable ce[4][4][1] 0.21/0.22 c remove useless variable ce[4][4][2] 0.21/0.22 c remove useless variable ce[4][4][3] 0.21/0.22 c remove useless variable ce[4][4][4] 0.21/0.22 c remove useless variable ce[4][5][0] 0.21/0.22 c remove useless variable ce[4][5][1] 0.21/0.22 c remove useless variable ce[4][5][2] 0.21/0.22 c remove useless variable ce[4][5][3] 0.21/0.22 c remove useless variable ce[4][5][4] 0.21/0.22 c remove useless variable ce[4][5][5] 0.21/0.22 c remove useless variable ce[4][6][0] 0.21/0.22 c remove useless variable ce[4][6][1] 0.21/0.22 c remove useless variable ce[4][6][2] 0.21/0.22 c remove useless variable ce[4][6][3] 0.21/0.22 c remove useless variable ce[4][6][4] 0.21/0.22 c remove useless variable ce[4][6][5] 0.21/0.22 c remove useless variable ce[4][6][6] 0.21/0.22 c remove useless variable ce[4][7][0] 0.21/0.22 c remove useless variable ce[4][7][1] 0.21/0.22 c remove useless variable ce[4][7][2] 0.21/0.22 c remove useless variable ce[4][7][3] 0.21/0.22 c remove useless variable ce[4][7][4] 0.21/0.22 c remove useless variable ce[4][7][5] 0.21/0.22 c remove useless variable ce[4][7][6] 0.21/0.22 c remove useless variable ce[4][7][7] 0.21/0.22 c remove useless variable ce[4][8][0] 0.21/0.22 c remove useless variable ce[4][8][1] 0.21/0.22 c remove useless variable ce[4][8][2] 0.21/0.22 c remove useless variable ce[4][8][3] 0.21/0.22 c remove useless variable ce[4][8][4] 0.21/0.22 c remove useless variable ce[4][8][5] 0.21/0.22 c remove useless variable ce[4][8][6] 0.21/0.22 c remove useless variable ce[4][8][7] 0.21/0.22 c remove useless variable ce[4][8][8] 0.21/0.22 c remove useless variable ce[4][9][0] 0.21/0.22 c remove useless variable ce[4][9][1] 0.21/0.22 c remove useless variable ce[4][9][2] 0.21/0.22 c remove useless variable ce[4][9][3] 0.21/0.22 c remove useless variable ce[4][9][4] 0.21/0.22 c remove useless variable ce[4][9][5] 0.21/0.22 c remove useless variable ce[4][9][6] 0.21/0.22 c remove useless variable ce[4][9][7] 0.21/0.22 c remove useless variable ce[4][9][8] 0.21/0.22 c remove useless variable ce[4][9][9] 0.21/0.22 c remove useless variable ce[4][10][0] 0.21/0.22 c remove useless variable ce[4][10][1] 0.21/0.22 c remove useless variable ce[4][10][2] 0.21/0.22 c remove useless variable ce[4][10][3] 0.21/0.22 c remove useless variable ce[4][10][4] 0.21/0.22 c remove useless variable ce[4][10][5] 0.21/0.22 c remove useless variable ce[4][10][6] 0.21/0.22 c remove useless variable ce[4][10][7] 0.21/0.22 c remove useless variable ce[4][10][8] 0.21/0.22 c remove useless variable ce[4][10][9] 0.21/0.22 c remove useless variable ce[4][10][10] 0.21/0.22 c remove useless variable ce[4][11][0] 0.21/0.22 c remove useless variable ce[4][11][1] 0.21/0.22 c remove useless variable ce[4][11][2] 0.21/0.22 c remove useless variable ce[4][11][3] 0.21/0.22 c remove useless variable ce[4][11][4] 0.21/0.22 c remove useless variable ce[4][11][5] 0.21/0.22 c remove useless variable ce[4][11][6] 0.21/0.22 c remove useless variable ce[4][11][7] 0.21/0.22 c remove useless variable ce[4][11][8] 0.21/0.22 c remove useless variable ce[4][11][9] 0.21/0.22 c remove useless variable ce[4][11][10] 0.21/0.22 c remove useless variable ce[4][11][11] 0.21/0.22 c remove useless variable ce[5][0][0] 0.21/0.22 c remove useless variable ce[5][1][0] 0.21/0.22 c remove useless variable ce[5][1][1] 0.21/0.22 c remove useless variable ce[5][2][0] 0.21/0.22 c remove useless variable ce[5][2][1] 0.21/0.22 c remove useless variable ce[5][2][2] 0.21/0.22 c remove useless variable ce[5][3][0] 0.21/0.22 c remove useless variable ce[5][3][1] 0.21/0.22 c remove useless variable ce[5][3][2] 0.21/0.22 c remove useless variable ce[5][3][3] 0.21/0.22 c remove useless variable ce[5][4][0] 0.21/0.23 c remove useless variable ce[5][4][1] 0.21/0.23 c remove useless variable ce[5][4][2] 0.21/0.23 c remove useless variable ce[5][4][3] 0.21/0.23 c remove useless variable ce[5][4][4] 0.21/0.23 c remove useless variable ce[5][5][0] 0.21/0.23 c remove useless variable ce[5][5][1] 0.21/0.23 c remove useless variable ce[5][5][2] 0.21/0.23 c remove useless variable ce[5][5][3] 0.21/0.23 c remove useless variable ce[5][5][4] 0.21/0.23 c remove useless variable ce[5][5][5] 0.21/0.23 c remove useless variable ce[5][6][0] 0.21/0.23 c remove useless variable ce[5][6][1] 0.21/0.23 c remove useless variable ce[5][6][2] 0.21/0.23 c remove useless variable ce[5][6][3] 0.21/0.23 c remove useless variable ce[5][6][4] 0.21/0.23 c remove useless variable ce[5][6][5] 0.21/0.23 c remove useless variable ce[5][6][6] 0.21/0.23 c remove useless variable ce[5][7][0] 0.21/0.23 c remove useless variable ce[5][7][1] 0.21/0.23 c remove useless variable ce[5][7][2] 0.21/0.23 c remove useless variable ce[5][7][3] 0.21/0.23 c remove useless variable ce[5][7][4] 0.21/0.23 c remove useless variable ce[5][7][5] 0.21/0.23 c remove useless variable ce[5][7][6] 0.21/0.23 c remove useless variable ce[5][7][7] 0.21/0.23 c remove useless variable ce[5][8][0] 0.21/0.23 c remove useless variable ce[5][8][1] 0.21/0.23 c remove useless variable ce[5][8][2] 0.21/0.23 c remove useless variable ce[5][8][3] 0.21/0.23 c remove useless variable ce[5][8][4] 0.21/0.23 c remove useless variable ce[5][8][5] 0.21/0.23 c remove useless variable ce[5][8][6] 0.21/0.23 c remove useless variable ce[5][8][7] 0.21/0.23 c remove useless variable ce[5][8][8] 0.21/0.23 c remove useless variable ce[5][9][0] 0.21/0.23 c remove useless variable ce[5][9][1] 0.21/0.23 c remove useless variable ce[5][9][2] 0.21/0.23 c remove useless variable ce[5][9][3] 0.21/0.23 c remove useless variable ce[5][9][4] 0.21/0.23 c remove useless variable ce[5][9][5] 0.21/0.23 c remove useless variable ce[5][9][6] 0.21/0.23 c remove useless variable ce[5][9][7] 0.21/0.23 c remove useless variable ce[5][9][8] 0.21/0.23 c remove useless variable ce[5][9][9] 0.21/0.23 c remove useless variable ce[5][10][0] 0.21/0.23 c remove useless variable ce[5][10][1] 0.21/0.23 c remove useless variable ce[5][10][2] 0.21/0.23 c remove useless variable ce[5][10][3] 0.21/0.23 c remove useless variable ce[5][10][4] 0.21/0.23 c remove useless variable ce[5][10][5] 0.21/0.23 c remove useless variable ce[5][10][6] 0.21/0.23 c remove useless variable ce[5][10][7] 0.21/0.23 c remove useless variable ce[5][10][8] 0.21/0.23 c remove useless variable ce[5][10][9] 0.21/0.23 c remove useless variable ce[5][10][10] 0.21/0.23 c remove useless variable ce[5][11][0] 0.21/0.23 c remove useless variable ce[5][11][1] 0.21/0.23 c remove useless variable ce[5][11][2] 0.21/0.23 c remove useless variable ce[5][11][3] 0.21/0.23 c remove useless variable ce[5][11][4] 0.21/0.23 c remove useless variable ce[5][11][5] 0.21/0.23 c remove useless variable ce[5][11][6] 0.21/0.23 c remove useless variable ce[5][11][7] 0.21/0.23 c remove useless variable ce[5][11][8] 0.21/0.23 c remove useless variable ce[5][11][9] 0.21/0.23 c remove useless variable ce[5][11][10] 0.21/0.23 c remove useless variable ce[5][11][11] 0.21/0.23 c remove useless variable ce[6][0][0] 0.21/0.23 c remove useless variable ce[6][1][0] 0.21/0.23 c remove useless variable ce[6][1][1] 0.21/0.23 c remove useless variable ce[6][2][0] 0.21/0.23 c remove useless variable ce[6][2][1] 0.21/0.23 c remove useless variable ce[6][2][2] 0.21/0.23 c remove useless variable ce[6][3][0] 0.21/0.23 c remove useless variable ce[6][3][1] 0.21/0.23 c remove useless variable ce[6][3][2] 0.21/0.23 c remove useless variable ce[6][3][3] 0.21/0.23 c remove useless variable ce[6][4][0] 0.21/0.23 c remove useless variable ce[6][4][1] 0.21/0.23 c remove useless variable ce[6][4][2] 0.21/0.23 c remove useless variable ce[6][4][3] 0.21/0.23 c remove useless variable ce[6][4][4] 0.21/0.23 c remove useless variable ce[6][5][0] 0.21/0.23 c remove useless variable ce[6][5][1] 0.21/0.23 c remove useless variable ce[6][5][2] 0.21/0.23 c remove useless variable ce[6][5][3] 0.21/0.23 c remove useless variable ce[6][5][4] 0.21/0.23 c remove useless variable ce[6][5][5] 0.21/0.23 c remove useless variable ce[6][6][0] 0.21/0.23 c remove useless variable ce[6][6][1] 0.21/0.23 c remove useless variable ce[6][6][2] 0.21/0.23 c remove useless variable ce[6][6][3] 0.21/0.23 c remove useless variable ce[6][6][4] 0.21/0.23 c remove useless variable ce[6][6][5] 0.21/0.23 c remove useless variable ce[6][6][6] 0.21/0.23 c remove useless variable ce[6][7][0] 0.21/0.23 c remove useless variable ce[6][7][1] 0.21/0.23 c remove useless variable ce[6][7][2] 0.21/0.23 c remove useless variable ce[6][7][3] 0.21/0.23 c remove useless variable ce[6][7][4] 0.21/0.23 c remove useless variable ce[6][7][5] 0.21/0.23 c remove useless variable ce[6][7][6] 0.21/0.23 c remove useless variable ce[6][7][7] 0.21/0.23 c remove useless variable ce[6][8][0] 0.21/0.23 c remove useless variable ce[6][8][1] 0.21/0.23 c remove useless variable ce[6][8][2] 0.21/0.23 c remove useless variable ce[6][8][3] 0.21/0.23 c remove useless variable ce[6][8][4] 0.21/0.23 c remove useless variable ce[6][8][5] 0.21/0.23 c remove useless variable ce[6][8][6] 0.21/0.23 c remove useless variable ce[6][8][7] 0.21/0.23 c remove useless variable ce[6][8][8] 0.21/0.23 c remove useless variable ce[6][9][0] 0.21/0.23 c remove useless variable ce[6][9][1] 0.21/0.23 c remove useless variable ce[6][9][2] 0.21/0.23 c remove useless variable ce[6][9][3] 0.21/0.23 c remove useless variable ce[6][9][4] 0.21/0.23 c remove useless variable ce[6][9][5] 0.21/0.23 c remove useless variable ce[6][9][6] 0.21/0.23 c remove useless variable ce[6][9][7] 0.21/0.23 c remove useless variable ce[6][9][8] 0.21/0.23 c remove useless variable ce[6][9][9] 0.21/0.23 c remove useless variable ce[6][10][0] 0.21/0.23 c remove useless variable ce[6][10][1] 0.21/0.23 c remove useless variable ce[6][10][2] 0.21/0.23 c remove useless variable ce[6][10][3] 0.21/0.23 c remove useless variable ce[6][10][4] 0.21/0.23 c remove useless variable ce[6][10][5] 0.21/0.23 c remove useless variable ce[6][10][6] 0.21/0.23 c remove useless variable ce[6][10][7] 0.21/0.23 c remove useless variable ce[6][10][8] 0.21/0.23 c remove useless variable ce[6][10][9] 0.21/0.23 c remove useless variable ce[6][10][10] 0.21/0.23 c remove useless variable ce[6][11][0] 0.21/0.23 c remove useless variable ce[6][11][1] 0.21/0.23 c remove useless variable ce[6][11][2] 0.21/0.23 c remove useless variable ce[6][11][3] 0.21/0.23 c remove useless variable ce[6][11][4] 0.21/0.23 c remove useless variable ce[6][11][5] 0.21/0.23 c remove useless variable ce[6][11][6] 0.21/0.23 c remove useless variable ce[6][11][7] 0.21/0.23 c remove useless variable ce[6][11][8] 0.21/0.23 c remove useless variable ce[6][11][9] 0.21/0.23 c remove useless variable ce[6][11][10] 0.21/0.23 c remove useless variable ce[6][11][11] 0.21/0.23 c remove useless variable ce[7][0][0] 0.21/0.23 c remove useless variable ce[7][1][0] 0.21/0.23 c remove useless variable ce[7][1][1] 0.21/0.23 c remove useless variable ce[7][2][0] 0.21/0.23 c remove useless variable ce[7][2][1] 0.21/0.23 c remove useless variable ce[7][2][2] 0.21/0.23 c remove useless variable ce[7][3][0] 0.21/0.23 c remove useless variable ce[7][3][1] 0.21/0.23 c remove useless variable ce[7][3][2] 0.21/0.23 c remove useless variable ce[7][3][3] 0.21/0.23 c remove useless variable ce[7][4][0] 0.21/0.23 c remove useless variable ce[7][4][1] 0.21/0.23 c remove useless variable ce[7][4][2] 0.21/0.23 c remove useless variable ce[7][4][3] 0.21/0.23 c remove useless variable ce[7][4][4] 0.21/0.23 c remove useless variable ce[7][5][0] 0.21/0.23 c remove useless variable ce[7][5][1] 0.21/0.23 c remove useless variable ce[7][5][2] 0.21/0.23 c remove useless variable ce[7][5][3] 0.21/0.23 c remove useless variable ce[7][5][4] 0.21/0.23 c remove useless variable ce[7][5][5] 0.21/0.23 c remove useless variable ce[7][6][0] 0.21/0.23 c remove useless variable ce[7][6][1] 0.21/0.23 c remove useless variable ce[7][6][2] 0.21/0.23 c remove useless variable ce[7][6][3] 0.21/0.23 c remove useless variable ce[7][6][4] 0.21/0.23 c remove useless variable ce[7][6][5] 0.21/0.23 c remove useless variable ce[7][6][6] 0.21/0.23 c remove useless variable ce[7][7][0] 0.21/0.23 c remove useless variable ce[7][7][1] 0.21/0.23 c remove useless variable ce[7][7][2] 0.21/0.23 c remove useless variable ce[7][7][3] 0.21/0.23 c remove useless variable ce[7][7][4] 0.21/0.23 c remove useless variable ce[7][7][5] 0.21/0.23 c remove useless variable ce[7][7][6] 0.21/0.23 c remove useless variable ce[7][7][7] 0.21/0.23 c remove useless variable ce[7][8][0] 0.21/0.23 c remove useless variable ce[7][8][1] 0.21/0.23 c remove useless variable ce[7][8][2] 0.21/0.23 c remove useless variable ce[7][8][3] 0.21/0.23 c remove useless variable ce[7][8][4] 0.21/0.23 c remove useless variable ce[7][8][5] 0.21/0.23 c remove useless variable ce[7][8][6] 0.21/0.23 c remove useless variable ce[7][8][7] 0.21/0.23 c remove useless variable ce[7][8][8] 0.21/0.23 c remove useless variable ce[7][9][0] 0.21/0.23 c remove useless variable ce[7][9][1] 0.21/0.23 c remove useless variable ce[7][9][2] 0.21/0.23 c remove useless variable ce[7][9][3] 0.21/0.23 c remove useless variable ce[7][9][4] 0.21/0.23 c remove useless variable ce[7][9][5] 0.21/0.23 c remove useless variable ce[7][9][6] 0.21/0.23 c remove useless variable ce[7][9][7] 0.21/0.23 c remove useless variable ce[7][9][8] 0.21/0.23 c remove useless variable ce[7][9][9] 0.21/0.23 c remove useless variable ce[7][10][0] 0.21/0.23 c remove useless variable ce[7][10][1] 0.21/0.23 c remove useless variable ce[7][10][2] 0.21/0.23 c remove useless variable ce[7][10][3] 0.21/0.23 c remove useless variable ce[7][10][4] 0.21/0.23 c remove useless variable ce[7][10][5] 0.21/0.23 c remove useless variable ce[7][10][6] 0.21/0.23 c remove useless variable ce[7][10][7] 0.21/0.23 c remove useless variable ce[7][10][8] 0.21/0.23 c remove useless variable ce[7][10][9] 0.21/0.23 c remove useless variable ce[7][10][10] 0.21/0.23 c remove useless variable ce[7][11][0] 0.21/0.23 c remove useless variable ce[7][11][1] 0.21/0.23 c remove useless variable ce[7][11][2] 0.21/0.23 c remove useless variable ce[7][11][3] 0.21/0.23 c remove useless variable ce[7][11][4] 0.21/0.23 c remove useless variable ce[7][11][5] 0.21/0.23 c remove useless variable ce[7][11][6] 0.21/0.23 c remove useless variable ce[7][11][7] 0.21/0.23 c remove useless variable ce[7][11][8] 0.21/0.23 c remove useless variable ce[7][11][9] 0.21/0.23 c remove useless variable ce[7][11][10] 0.21/0.23 c remove useless variable ce[7][11][11] 0.90/0.97 c 101 713 190231 196222 0 0 613 613 606 1.59/1.69 c 211 1268 364163 439419 0 0 446 446 441 2.49/2.51 c 332 1740 516078 734620 0 0 6 352 337 2.59/2.60 c 465 1889 521822 748876 0 0 3 17 16 3.39/3.44 c 611 2410 674381 1067418 0 0 2 376 321 4.19/4.29 c 771 2969 828120 1399954 0 0 3 400 220 5.10/5.16 c 947 3556 976056 1770659 0 0 3 412 237 6.00/6.02 c 1140 4172 1121225 2131367 0 0 3 424 200 6.89/6.95 c 1352 4819 1265276 2641472 0 0 4 436 161 8.00/8.03 c 1585 5508 1406947 3271698 0 0 6 457 82 9.00/9.03 c 1841 6233 1545841 3867954 0 0 6 470 161 9.19/9.28 c 2122 6553 1554353 4029875 0 0 10 40 34 9.89/9.95 c 2431 6955 1566278 4598222 0 0 2 94 54 10.89/11.00 c 2770 7766 1699301 5318744 0 0 4 472 244 12.10/12.13 c 3142 8611 1825996 6102364 0 0 4 474 199 13.29/13.33 c 3551 9494 1948235 6922666 0 0 4 475 172 14.49/14.56 c 4000 10086 1962538 7977225 0 0 4 144 89 17.19/17.27 c 4493 11056 2075431 10429547 0 0 4 477 228 18.88/18.91 c 5035 11829 2108571 11754415 0 0 5 232 140 21.18/21.21 c 5631 12603 2132524 13646087 0 0 6 179 116 22.68/22.76 c 6286 13347 2156324 14862104 0 0 7 90 74 23.18/23.20 c 7006 14125 2173506 15050032 0 0 13 58 54 28.29/28.36 c 7798 15017 2198079 18893632 0 0 2 101 80 33.29/33.31 c 8669 15964 2234054 22808713 0 0 3 76 75 33.59/33.69 c 9627 16932 2249429 22814761 0 0 10 10 9 36.79/36.81 c 10680 18163 2273913 26017787 0 0 2 178 162 43.99/44.01 c 11838 19595 2319802 31831500 0 0 4 256 183 49.68/49.79 c 13111 20978 2343382 36512109 0 0 5 104 71 55.78/55.80 c 14511 22489 2372925 42276731 0 0 9 90 87 56.68/56.78 c 16051 24646 2506347 42476307 0 0 59 613 609 82.99/83.10 c 17745 26406 2595243 56608903 0 0 2 64 63 87.78/87.85 c 19608 28344 2614600 61224502 0 0 5 73 72 91.58/91.63 c 21657 30550 2665737 65353395 0 0 5 154 153 102.88/102.98 c 23910 33062 2717574 75347236 0 0 7 188 179 122.57/122.60 c 26388 35612 2809121 93408819 0 0 12 69 68 123.98/124.05 c 29113 38960 2952279 93632073 0 0 38 613 611 158.47/158.54 c 32110 41994 3140327 116266096 0 0 2 33 32 179.26/179.34 c 35406 45606 3198636 132317730 0 0 6 197 190 186.76/186.82 c 39031 49436 3303559 140794172 0 0 10 98 93 196.56/196.66 c 43018 53562 3341141 151247619 0 0 12 132 131 200.16/200.28 c 47403 57962 3470178 156640067 0 0 9 9 8 223.26/223.34 c 52226 63114 3556741 175244096 0 0 13 270 223 227.66/227.77 c 57531 68433 3713072 181767292 0 0 7 7 6 301.96/302.05 c 63366 74346 4035927 230298159 0 0 30 69 68 308.15/308.22 c 69784 80780 4223934 239560068 0 0 7 7 6 315.06/315.18 c 76843 87972 4263350 244930607 0 0 46 121 120 342.44/342.55 c 84607 96137 4402503 268585969 0 0 12 295 181 362.44/362.55 c 93147 105098 4567266 283929670 0 0 14 110 108 394.64/394.76 c 102541 115061 4766539 321890470 0 0 15 492 393 437.23/437.33 c 112874 125832 4918766 359598772 0 0 18 236 211 446.83/446.97 c 124240 137223 5250583 373573105 0 0 7 7 6 468.53/468.64 c 136742 149836 5452224 390021706 0 0 45 90 89 533.42/533.59 c 150494 163774 5723416 443994876 0 0 2 158 157 539.22/539.37 c 165621 178943 5939058 444045141 0 0 18 18 17 596.52/596.64 c 182260 196142 6176838 495867244 0 0 2 341 279 632.61/632.78 c 200562 214770 6429243 523423086 0 0 6 279 266 872.00/872.16 c 220694 235063 7067845 630940255 0 0 7 121 120 950.09/950.20 c 242839 257316 7535173 690450442 0 0 7 68 67 1497.73/1497.96 c 267198 281888 9460819 1034103476 0 0 8 42 41 2155.06/2155.36 c 293992 308768 11732329 1426758305 0 0 23 40 39 2239.55/2239.85 c 323465 339011 12462424 1541620707 0 0 57 613 612 2340.44/2340.78 c 355885 371671 12964272 1606182577 0 0 30 67 66 2400.03/2400.30 2400.03/2400.30 c *** INTERRUPTED *** 2400.03/2400.30 c restarts : 62 2400.03/2400.30 c conflicts : 382875 (160 /sec) 2400.03/2400.30 c decisions : 399370 (166 /sec) 2400.03/2400.30 c propagations : 1666844480 (694516 /sec) 2400.03/2400.30 c root propagations : 0 2400.03/2400.30 c filter calls : 13178549 (5491 /sec) 2400.03/2400.30 c useless filter calls : 9545819 (72 %) 2400.03/2400.30 c Memory used : 74.46 MB 2400.03/2400.30 c CPU time : 2400.01 s 2400.03/2400.30 c real time : 2400.3 s 2400.03/2400.30 2400.03/2400.30 s UNKNOWN
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 (14337 MiB free)
memory of node 1: 16384 MiB (15550 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397436-1568572806/watcher-4397436-1568572806 -o /tmp/evaluation-result-4397436-1568572806/solver-4397436-1568572806 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568572742-17792 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397436-1568572806.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=17885, runsolver pid=17882
Current StackSize limit: 8192 KiB
[startup+0.10007 s]*
/proc/loadavg: 0.57 0.14 0.09 3/200 17886
/proc/meminfo: memFree=30585748/32770624 swapFree=66967284/67108860
[pid=17885] ppid=17882 vsize=47256 memory=23452 CPUtime=0.1 cores=1,3,5,7
/proc/17885/stat : 17885 (cosoco) R 17882 17885 17760 0 -1 4202496 6063 0 0 0 10 0 0 0 20 0 1 0 433547406 48390144 5863 33554432000 4194304 6211092 140727948053776 140727948050312 139938196331493 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36487168 140727948055563 140727948055665 140727948055665 140727948058574 0
/proc/17885/statm: 11814 5863 823 493 0 5119 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 47256 KiB
Current children cumulated memory: 23452 KiB
[startup+0.209745 s]*
/proc/loadavg: 0.57 0.14 0.09 3/200 17886
/proc/meminfo: memFree=30569752/32770624 swapFree=66967284/67108860
[pid=17885] ppid=17882 vsize=63496 memory=39840 CPUtime=0.21 cores=1,3,5,7
/proc/17885/stat : 17885 (cosoco) R 17882 17885 17760 0 -1 4202496 10136 0 0 0 20 1 0 0 20 0 1 0 433547406 65019904 9960 33554432000 4194304 6211092 140727948053776 140727948050312 139938196331493 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36487168 140727948055563 140727948055665 140727948055665 140727948058574 0
/proc/17885/statm: 15874 9960 823 493 0 9179 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 63496 KiB
Current children cumulated memory: 39840 KiB
[startup+0.309665 s]*
/proc/loadavg: 0.57 0.14 0.09 3/200 17886
/proc/meminfo: memFree=30567892/32770624 swapFree=66967284/67108860
[pid=17885] ppid=17882 vsize=64104 memory=40632 CPUtime=0.31 cores=1,3,5,7
/proc/17885/stat : 17885 (cosoco) R 17882 17885 17760 0 -1 4202496 10341 0 0 0 30 1 0 0 20 0 1 0 433547406 65642496 10158 33554432000 4194304 6211092 140727948053776 140727948050312 5393072 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36487168 140727948055563 140727948055665 140727948055665 140727948058574 0
/proc/17885/statm: 16026 10158 869 493 0 9331 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 64104 KiB
Current children cumulated memory: 40632 KiB
[startup+0.700237 s]
/proc/loadavg: 0.57 0.14 0.09 3/200 17886
/proc/meminfo: memFree=30567240/32770624 swapFree=66967284/67108860
[pid=17885] ppid=17882 vsize=65272 memory=41564 CPUtime=0.7 cores=1,3,5,7
/proc/17885/stat : 17885 (cosoco) R 17882 17885 17760 0 -1 4202496 10612 0 0 0 69 1 0 0 20 0 1 0 433547406 66838528 10391 33554432000 4194304 6211092 140727948053776 140727948050312 5393479 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36487168 140727948055563 140727948055665 140727948055665 140727948058574 0
/proc/17885/statm: 16318 10391 869 493 0 9623 0
Current children cumulated CPU time: 0.7 s
Current children cumulated vsize: 65272 KiB
Current children cumulated memory: 41564 KiB
[startup+1.50024 s]
/proc/loadavg: 0.57 0.14 0.09 3/200 17886
/proc/meminfo: memFree=30565164/32770624 swapFree=66967284/67108860
[pid=17885] ppid=17882 vsize=67264 memory=42944 CPUtime=1.49 cores=1,3,5,7
/proc/17885/stat : 17885 (cosoco) R 17882 17885 17760 0 -1 4202496 10963 0 0 0 148 1 0 0 20 0 1 0 433547406 68878336 10736 33554432000 4194304 6211092 140727948053776 140727948051656 5081952 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36487168 140727948055563 140727948055665 140727948055665 140727948058574 0
/proc/17885/statm: 16816 10736 869 493 0 10121 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 67264 KiB
Current children cumulated memory: 42944 KiB
[startup+3.10937 s]
/proc/loadavg: 0.68 0.17 0.10 3/200 17886
/proc/meminfo: memFree=30565288/32770624 swapFree=66967284/67108860
[pid=17885] ppid=17882 vsize=67264 memory=43212 CPUtime=3.1 cores=1,3,5,7
/proc/17885/stat : 17885 (cosoco) R 17882 17885 17760 0 -1 4202496 14831 0 0 0 309 1 0 0 20 0 1 0 433547406 68878336 10803 33554432000 4194304 6211092 140727948053776 140727948051736 5393072 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36487168 140727948055563 140727948055665 140727948055665 140727948058574 0
/proc/17885/statm: 16816 10803 870 493 0 10121 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 67264 KiB
Current children cumulated memory: 43212 KiB
[startup+6.30022 s]
/proc/loadavg: 0.68 0.17 0.10 3/199 17886
/proc/meminfo: memFree=30565316/32770624 swapFree=66967284/67108860
[pid=17885] ppid=17882 vsize=67396 memory=43212 CPUtime=6.29 cores=1,3,5,7
/proc/17885/stat : 17885 (cosoco) R 17882 17885 17760 0 -1 4202496 19012 0 0 0 628 1 0 0 20 0 1 0 433547406 69013504 10803 33554432000 4194304 6211092 140727948053776 140727948051736 5454168 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36487168 140727948055563 140727948055665 140727948055665 140727948058574 0
/proc/17885/statm: 16849 10803 870 493 0 10154 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 67396 KiB
Current children cumulated memory: 43212 KiB
[startup+12.7002 s]
/proc/loadavg: 0.79 0.20 0.11 3/199 17886
/proc/meminfo: memFree=30564628/32770624 swapFree=66967284/67108860
[pid=17885] ppid=17882 vsize=67660 memory=43576 CPUtime=12.69 cores=1,3,5,7
/proc/17885/stat : 17885 (cosoco) R 17882 17885 17760 0 -1 4202496 23732 0 0 0 1268 1 0 0 20 0 1 0 433547406 69283840 10894 33554432000 4194304 6211092 140727948053776 140727948051736 5446912 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36487168 140727948055563 140727948055665 140727948055665 140727948058574 0
/proc/17885/statm: 16915 10894 870 493 0 10220 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 67660 KiB
Current children cumulated memory: 43576 KiB
[startup+25.5002 s]
/proc/loadavg: 1.06 0.29 0.14 3/199 17886
/proc/meminfo: memFree=30563768/32770624 swapFree=66967284/67108860
[pid=17885] ppid=17882 vsize=68584 memory=44408 CPUtime=25.49 cores=1,3,5,7
/proc/17885/stat : 17885 (cosoco) R 17882 17885 17760 0 -1 4202496 32133 0 0 0 2547 2 0 0 20 0 1 0 433547406 70230016 11102 33554432000 4194304 6211092 140727948053776 140727948051432 139938197255170 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36487168 140727948055563 140727948055665 140727948055665 140727948058574 0
/proc/17885/statm: 17146 11102 870 493 0 10451 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 68584 KiB
Current children cumulated memory: 44408 KiB
[startup+51.1092 s]
/proc/loadavg: 1.38 0.43 0.19 3/200 17897
/proc/meminfo: memFree=30560944/32770624 swapFree=66967284/67108860
[pid=17885] ppid=17882 vsize=70300 memory=46052 CPUtime=51.09 cores=1,3,5,7
/proc/17885/stat : 17885 (cosoco) R 17882 17885 17760 0 -1 4202496 33440 0 0 0 5107 2 0 0 20 0 1 0 433547406 71987200 11513 33554432000 4194304 6211092 140727948053776 140727948051432 5451482 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36487168 140727948055563 140727948055665 140727948055665 140727948058574 0
/proc/17885/statm: 17575 11513 870 493 0 10880 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 70300 KiB
Current children cumulated memory: 46052 KiB
[startup+102.3 s]
/proc/loadavg: 1.73 0.67 0.28 3/200 17900
/proc/meminfo: memFree=30560820/32770624 swapFree=66967284/67108860
[pid=17885] ppid=17882 vsize=71356 memory=47120 CPUtime=102.28 cores=1,3,5,7
/proc/17885/stat : 17885 (cosoco) R 17882 17885 17760 0 -1 4202496 35020 0 0 0 10226 2 0 0 20 0 1 0 433547406 73068544 11780 33554432000 4194304 6211092 140727948053776 140727948051432 5446111 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36487168 140727948055563 140727948055665 140727948055665 140727948058574 0
/proc/17885/statm: 17839 11780 870 493 0 11144 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 71356 KiB
Current children cumulated memory: 47120 KiB
[startup+162.3 s]
/proc/loadavg: 1.90 0.91 0.39 3/200 17905
/proc/meminfo: memFree=30561676/32770624 swapFree=66967284/67108860
[pid=17885] ppid=17882 vsize=71752 memory=47544 CPUtime=162.27 cores=1,3,5,7
/proc/17885/stat : 17885 (cosoco) R 17882 17885 17760 0 -1 4202496 36615 0 0 0 16225 2 0 0 20 0 1 0 433547406 73474048 11886 33554432000 4194304 6211092 140727948053776 140727948051432 139938197255665 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36487168 140727948055563 140727948055665 140727948055665 140727948058574 0
/proc/17885/statm: 17938 11886 870 493 0 11243 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 71752 KiB
Current children cumulated memory: 47544 KiB
[startup+222.3 s]
/proc/loadavg: 1.96 1.11 0.49 3/202 17912
/proc/meminfo: memFree=30558620/32770624 swapFree=66967284/67108860
[pid=17885] ppid=17882 vsize=72808 memory=48592 CPUtime=222.26 cores=1,3,5,7
/proc/17885/stat : 17885 (cosoco) R 17882 17885 17760 0 -1 4202496 38344 0 0 0 22224 2 0 0 20 0 1 0 433547406 74555392 12148 33554432000 4194304 6211092 140727948053776 140727948051432 5446648 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36487168 140727948055563 140727948055665 140727948055665 140727948058574 0
/proc/17885/statm: 18202 12148 870 493 0 11507 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 72808 KiB
Current children cumulated memory: 48592 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.27 0.59 3/201 17916
/proc/meminfo: memFree=30558440/32770624 swapFree=66967284/67108860
[pid=17885] ppid=17882 vsize=72940 memory=48840 CPUtime=282.25 cores=1,3,5,7
/proc/17885/stat : 17885 (cosoco) R 17882 17885 17760 0 -1 4202496 38781 0 0 0 28223 2 0 0 20 0 1 0 433547406 74690560 12210 33554432000 4194304 6211092 140727948053776 140727948051432 5009638 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36487168 140727948055563 140727948055665 140727948055665 140727948058574 0
/proc/17885/statm: 18235 12210 870 493 0 11540 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 72940 KiB
Current children cumulated memory: 48840 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.41 0.67 3/200 17920
/proc/meminfo: memFree=30558208/32770624 swapFree=66967284/67108860
[pid=17885] ppid=17882 vsize=73468 memory=49244 CPUtime=342.24 cores=1,3,5,7
/proc/17885/stat : 17885 (cosoco) R 17882 17885 17760 0 -1 4202496 39605 0 0 0 34222 2 0 0 20 0 1 0 433547406 75231232 12311 33554432000 4194304 6211092 140727948053776 140727948051432 139938206276430 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36487168 140727948055563 140727948055665 140727948055665 140727948058574 0
/proc/17885/statm: 18367 12311 870 493 0 11672 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 73468 KiB
Current children cumulated memory: 49244 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.51 0.76 3/201 17926
/proc/meminfo: memFree=30557392/32770624 swapFree=66967284/67108860
[pid=17885] ppid=17882 vsize=74128 memory=49964 CPUtime=402.24 cores=1,3,5,7
/proc/17885/stat : 17885 (cosoco) R 17882 17885 17760 0 -1 4202496 40695 0 0 0 40222 2 0 0 20 0 1 0 433547406 75907072 12491 33554432000 4194304 6211092 140727948053776 140727948051432 139938197257636 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36487168 140727948055563 140727948055665 140727948055665 140727948058574 0
/proc/17885/statm: 18532 12491 870 493 0 11837 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 74128 KiB
Current children cumulated memory: 49964 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.60 0.83 3/199 17930
/proc/meminfo: memFree=30557308/32770624 swapFree=66967284/67108860
[pid=17885] ppid=17882 vsize=74524 memory=50348 CPUtime=462.23 cores=1,3,5,7
/proc/17885/stat : 17885 (cosoco) R 17882 17885 17760 0 -1 4202496 41642 0 0 0 46221 2 0 0 20 0 1 0 433547406 76312576 12587 33554432000 4194304 6211092 140727948053776 140727948051432 5072792 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36487168 140727948055563 140727948055665 140727948055665 140727948058574 0
/proc/17885/statm: 18631 12587 870 493 0 11936 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 74524 KiB
Current children cumulated memory: 50348 KiB
################
# More data... #
################
/proc/17885/statm: 18994 12959 870 493 0 12299 0
Current children cumulated CPU time: 1662.11 s
Current children cumulated vsize: 75976 KiB
Current children cumulated memory: 51836 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.72 3/199 18068
/proc/meminfo: memFree=30555084/32770624 swapFree=66967288/67108860
[pid=17885] ppid=17882 vsize=75976 memory=51836 CPUtime=1722.1 cores=1,3,5,7
/proc/17885/stat : 17885 (cosoco) R 17882 17885 17760 0 -1 4202496 49627 0 0 0 172207 3 0 0 20 0 1 0 433547406 77799424 12959 33554432000 4194304 6211092 140727948053776 140727948051736 5442993 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36487168 140727948055563 140727948055665 140727948055665 140727948058574 0
/proc/17885/statm: 18994 12959 870 493 0 12299 0
Current children cumulated CPU time: 1722.1 s
Current children cumulated vsize: 75976 KiB
Current children cumulated memory: 51836 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.73 3/199 18072
/proc/meminfo: memFree=30555424/32770624 swapFree=66967288/67108860
[pid=17885] ppid=17882 vsize=75976 memory=51836 CPUtime=1782.1 cores=1,3,5,7
/proc/17885/stat : 17885 (cosoco) R 17882 17885 17760 0 -1 4202496 49952 0 0 0 178207 3 0 0 20 0 1 0 433547406 77799424 12959 33554432000 4194304 6211092 140727948053776 140727948051736 5451532 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36487168 140727948055563 140727948055665 140727948055665 140727948058574 0
/proc/17885/statm: 18994 12959 870 493 0 12299 0
Current children cumulated CPU time: 1782.1 s
Current children cumulated vsize: 75976 KiB
Current children cumulated memory: 51836 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 1.75 3/201 18086
/proc/meminfo: memFree=30553748/32770624 swapFree=66967288/67108860
[pid=17885] ppid=17882 vsize=75976 memory=51836 CPUtime=1842.09 cores=1,3,5,7
/proc/17885/stat : 17885 (cosoco) R 17882 17885 17760 0 -1 4202496 50277 0 0 0 184206 3 0 0 20 0 1 0 433547406 77799424 12959 33554432000 4194304 6211092 140727948053776 140727948051736 5452223 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36487168 140727948055563 140727948055665 140727948055665 140727948058574 0
/proc/17885/statm: 18994 12959 870 493 0 12299 0
Current children cumulated CPU time: 1842.09 s
Current children cumulated vsize: 75976 KiB
Current children cumulated memory: 51836 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 1.77 3/200 18090
/proc/meminfo: memFree=30553552/32770624 swapFree=66967288/67108860
[pid=17885] ppid=17882 vsize=75976 memory=51836 CPUtime=1902.08 cores=1,3,5,7
/proc/17885/stat : 17885 (cosoco) R 17882 17885 17760 0 -1 4202496 50604 0 0 0 190205 3 0 0 20 0 1 0 433547406 77799424 12959 33554432000 4194304 6211092 140727948053776 140727948051736 5476524 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36487168 140727948055563 140727948055665 140727948055665 140727948058574 0
/proc/17885/statm: 18994 12959 870 493 0 12299 0
Current children cumulated CPU time: 1902.08 s
Current children cumulated vsize: 75976 KiB
Current children cumulated memory: 51836 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 1.78 3/200 18094
/proc/meminfo: memFree=30554444/32770624 swapFree=66967288/67108860
[pid=17885] ppid=17882 vsize=75976 memory=51840 CPUtime=1962.08 cores=1,3,5,7
/proc/17885/stat : 17885 (cosoco) R 17882 17885 17760 0 -1 4202496 50931 0 0 0 196205 3 0 0 20 0 1 0 433547406 77799424 12960 33554432000 4194304 6211092 140727948053776 140727948051736 5446279 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36487168 140727948055563 140727948055665 140727948055665 140727948058574 0
/proc/17885/statm: 18994 12960 870 493 0 12299 0
Current children cumulated CPU time: 1962.08 s
Current children cumulated vsize: 75976 KiB
Current children cumulated memory: 51840 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 1.79 3/201 18100
/proc/meminfo: memFree=30554860/32770624 swapFree=66967288/67108860
[pid=17885] ppid=17882 vsize=75976 memory=51840 CPUtime=2022.07 cores=1,3,5,7
/proc/17885/stat : 17885 (cosoco) R 17882 17885 17760 0 -1 4202496 51257 0 0 0 202204 3 0 0 20 0 1 0 433547406 77799424 12960 33554432000 4194304 6211092 140727948053776 140727948051736 139938197255017 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36487168 140727948055563 140727948055665 140727948055665 140727948058574 0
/proc/17885/statm: 18994 12960 870 493 0 12299 0
Current children cumulated CPU time: 2022.07 s
Current children cumulated vsize: 75976 KiB
Current children cumulated memory: 51840 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 1.81 3/200 18104
/proc/meminfo: memFree=30555452/32770624 swapFree=66967288/67108860
[pid=17885] ppid=17882 vsize=75976 memory=51840 CPUtime=2082.07 cores=1,3,5,7
/proc/17885/stat : 17885 (cosoco) R 17882 17885 17760 0 -1 4202496 51583 0 0 0 208204 3 0 0 20 0 1 0 433547406 77799424 12960 33554432000 4194304 6211092 140727948053776 140727948051736 5443033 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36487168 140727948055563 140727948055665 140727948055665 140727948058574 0
/proc/17885/statm: 18994 12960 870 493 0 12299 0
Current children cumulated CPU time: 2082.07 s
Current children cumulated vsize: 75976 KiB
Current children cumulated memory: 51840 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/199 18108
/proc/meminfo: memFree=30555120/32770624 swapFree=66967288/67108860
[pid=17885] ppid=17882 vsize=75976 memory=51840 CPUtime=2142.06 cores=1,3,5,7
/proc/17885/stat : 17885 (cosoco) R 17882 17885 17760 0 -1 4202496 51910 0 0 0 214203 3 0 0 20 0 1 0 433547406 77799424 12960 33554432000 4194304 6211092 140727948053776 140727948051736 139938205664416 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36487168 140727948055563 140727948055665 140727948055665 140727948058574 0
/proc/17885/statm: 18994 12960 870 493 0 12299 0
Current children cumulated CPU time: 2142.06 s
Current children cumulated vsize: 75976 KiB
Current children cumulated memory: 51840 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/200 18114
/proc/meminfo: memFree=30555080/32770624 swapFree=66967288/67108860
[pid=17885] ppid=17882 vsize=75976 memory=51884 CPUtime=2202.05 cores=1,3,5,7
/proc/17885/stat : 17885 (cosoco) R 17882 17885 17760 0 -1 4202496 52408 0 0 0 220202 3 0 0 20 0 1 0 433547406 77799424 12971 33554432000 4194304 6211092 140727948053776 140727948051736 5069136 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36487168 140727948055563 140727948055665 140727948055665 140727948058574 0
/proc/17885/statm: 18994 12971 870 493 0 12299 0
Current children cumulated CPU time: 2202.05 s
Current children cumulated vsize: 75976 KiB
Current children cumulated memory: 51884 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/199 18118
/proc/meminfo: memFree=30555508/32770624 swapFree=66967288/67108860
[pid=17885] ppid=17882 vsize=75976 memory=51884 CPUtime=2262.05 cores=1,3,5,7
/proc/17885/stat : 17885 (cosoco) R 17882 17885 17760 0 -1 4202496 52953 0 0 0 226202 3 0 0 20 0 1 0 433547406 77799424 12971 33554432000 4194304 6211092 140727948053776 140727948051736 5451572 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36487168 140727948055563 140727948055665 140727948055665 140727948058574 0
/proc/17885/statm: 18994 12971 870 493 0 12299 0
Current children cumulated CPU time: 2262.05 s
Current children cumulated vsize: 75976 KiB
Current children cumulated memory: 51884 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/199 18122
/proc/meminfo: memFree=30555376/32770624 swapFree=66967288/67108860
[pid=17885] ppid=17882 vsize=75976 memory=51936 CPUtime=2322.04 cores=1,3,5,7
/proc/17885/stat : 17885 (cosoco) R 17882 17885 17760 0 -1 4202496 53249 0 0 0 232201 3 0 0 20 0 1 0 433547406 77799424 12984 33554432000 4194304 6211092 140727948053776 140727948051736 5452215 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36487168 140727948055563 140727948055665 140727948055665 140727948058574 0
/proc/17885/statm: 18994 12984 870 493 0 12299 0
Current children cumulated CPU time: 2322.04 s
Current children cumulated vsize: 75976 KiB
Current children cumulated memory: 51936 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/200 18189
/proc/meminfo: memFree=30608268/32770624 swapFree=66967288/67108860
[pid=17885] ppid=17882 vsize=76240 memory=52068 CPUtime=2382.03 cores=1,3,5,7
/proc/17885/stat : 17885 (cosoco) R 17882 17885 17760 0 -1 4202496 53673 0 0 0 238200 3 0 0 20 0 1 0 433547406 78069760 13017 33554432000 4194304 6211092 140727948053776 140727948051432 5446630 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36487168 140727948055563 140727948055665 140727948055665 140727948058574 0
/proc/17885/statm: 19060 13017 870 493 0 12365 0
Current children cumulated CPU time: 2382.03 s
Current children cumulated vsize: 76240 KiB
Current children cumulated memory: 52068 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/199 18190
/proc/meminfo: memFree=30607432/32770624 swapFree=66967288/67108860
[pid=17885] ppid=17882 vsize=76240 memory=52132 CPUtime=2400.03 cores=1,3,5,7
/proc/17885/stat : 17885 (cosoco) R 17882 17885 17760 0 -1 4202496 53974 0 0 0 240000 3 0 0 20 0 1 0 433547406 78069760 13033 33554432000 4194304 6211092 140727948053776 140727948051432 5451554 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36487168 140727948055563 140727948055665 140727948055665 140727948058574 0
/proc/17885/statm: 19060 13033 870 493 0 12365 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 76240 KiB
Current children cumulated memory: 52132 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.3 s]
# the end of solver process 17885 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2400.01 s, system=0.033996 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/199 18190
/proc/meminfo: memFree=30607432/32770624 swapFree=66967288/67108860
[pid=17885] ppid=17882 vsize=76240 memory=52132 CPUtime=2400.03 cores=1,3,5,7
/proc/17885/stat : 17885 (cosoco) R 17882 17885 17760 0 -1 4202496 53974 0 0 0 240000 3 0 0 20 0 1 0 433547406 78069760 13033 33554432000 4194304 6211092 140727948053776 140727948051432 5451554 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36487168 140727948055563 140727948055665 140727948055665 140727948058574 0
/proc/17885/statm: 19060 13033 870 493 0 12365 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 76240 KiB
Current children cumulated memory: 52132 KiB
Child status: 1
Real time (s): 2400.3
CPU time (s): 2400.04
CPU user time (s): 2400.01
CPU system time (s): 0.033996
CPU usage (%): 99.9892
Max. virtual memory (cumulated for all children) (KiB): 76240
Max. memory (cumulated for all children) (KiB): 52132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.01
system time used= 0.033996
maximum resident set size= 52204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54017
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= 15
involuntary context switches= 1900
# summary of solver processes directly reported to runsolver:
# pid: 17885
# total CPU time (s): 2400.04
# total CPU user time (s): 2400.01
# total CPU system time (s): 0.033996
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.87052 second user time and 16.1217 second system time
The end
Begin job on node125 at 2019-09-15 20:39:23 IDJOB=4397436 IDBENCH=120694 IDSOLVER=2849 FILE ID=node125/4397436-1568572806 RUNJOBID= node125-1568572742-17792 PBS_JOBID= 21703325 Free space on /tmp= 59756 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP17/GracefulGraph/GracefulGraph-m1-s1/GracefulGraph-K12-P08.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4397436-1568572806/watcher-4397436-1568572806 -o /tmp/evaluation-result-4397436-1568572806/solver-4397436-1568572806 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568572742-17792 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397436-1568572806.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9611f8ac50407bec4b89a807890af998 RANDOM SEED=1335061100 node125.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.29 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.29 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.29 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.29 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: 30604768 kB MemAvailable: 31812280 kB Buffers: 167268 kB Cached: 1339720 kB SwapCached: 38396 kB Active: 728936 kB Inactive: 872684 kB Active(anon): 73700 kB Inactive(anon): 69504 kB Active(file): 655236 kB Inactive(file): 803180 kB Unevictable: 107780 kB Mlocked: 107780 kB SwapTotal: 67108860 kB SwapFree: 66967284 kB Dirty: 3172 kB Writeback: 0 kB AnonPages: 229320 kB Mapped: 48068 kB Shmem: 39696 kB Slab: 158924 kB SReclaimable: 129860 kB SUnreclaim: 29064 kB KernelStack: 3776 kB PageTables: 5880 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 588188 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 155648 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 59752 MiB End job on node125 at 2019-09-15 21:19:24