| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco 2.0 | ? (TO) | 2400.02 | 2399.7 |
| 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-4408696-1569787684.xml 0.21/0.22 c ========================================[ Problem Statistics ]=========================================== 0.21/0.22 c | 0.21/0.22 c | Parse time : 0.20 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.23 c remove useless variable ce[4][10][7] 0.21/0.23 c remove useless variable ce[4][10][8] 0.21/0.23 c remove useless variable ce[4][10][9] 0.21/0.23 c remove useless variable ce[4][10][10] 0.21/0.23 c remove useless variable ce[4][11][0] 0.21/0.23 c remove useless variable ce[4][11][1] 0.21/0.23 c remove useless variable ce[4][11][2] 0.21/0.23 c remove useless variable ce[4][11][3] 0.21/0.23 c remove useless variable ce[4][11][4] 0.21/0.23 c remove useless variable ce[4][11][5] 0.21/0.23 c remove useless variable ce[4][11][6] 0.21/0.23 c remove useless variable ce[4][11][7] 0.21/0.23 c remove useless variable ce[4][11][8] 0.21/0.23 c remove useless variable ce[4][11][9] 0.21/0.23 c remove useless variable ce[4][11][10] 0.21/0.23 c remove useless variable ce[4][11][11] 0.21/0.23 c remove useless variable ce[5][0][0] 0.21/0.23 c remove useless variable ce[5][1][0] 0.21/0.23 c remove useless variable ce[5][1][1] 0.21/0.23 c remove useless variable ce[5][2][0] 0.21/0.23 c remove useless variable ce[5][2][1] 0.21/0.23 c remove useless variable ce[5][2][2] 0.21/0.23 c remove useless variable ce[5][3][0] 0.21/0.23 c remove useless variable ce[5][3][1] 0.21/0.23 c remove useless variable ce[5][3][2] 0.21/0.23 c remove useless variable ce[5][3][3] 0.21/0.23 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.89/0.98 c 101 713 190231 196222 0 0 613 613 606 1.69/1.71 c 211 1268 364163 439419 0 0 446 446 441 2.49/2.54 c 332 1740 516078 734620 0 0 6 352 337 2.59/2.63 c 465 1889 521822 748876 0 0 3 17 16 3.39/3.47 c 611 2410 674381 1067418 0 0 2 376 321 4.28/4.33 c 771 2969 828120 1399954 0 0 3 400 220 5.19/5.21 c 947 3556 976056 1770659 0 0 3 412 237 6.00/6.08 c 1140 4172 1121225 2131367 0 0 3 424 200 7.00/7.02 c 1352 4819 1265276 2641472 0 0 4 436 161 8.10/8.11 c 1585 5508 1406947 3271698 0 0 6 457 82 9.10/9.11 c 1841 6233 1545841 3867954 0 0 6 470 161 9.29/9.36 c 2122 6553 1554353 4029875 0 0 10 40 34 10.00/10.04 c 2431 6955 1566278 4598222 0 0 2 94 54 11.00/11.06 c 2770 7766 1699301 5318744 0 0 4 472 244 12.10/12.15 c 3142 8611 1825996 6102364 0 0 4 474 199 13.28/13.30 c 3551 9494 1948235 6922666 0 0 4 475 172 14.48/14.53 c 4000 10086 1962538 7977225 0 0 4 144 89 17.18/17.23 c 4493 11056 2075431 10429547 0 0 4 477 228 18.78/18.86 c 5035 11829 2108571 11754415 0 0 5 232 140 21.09/21.18 c 5631 12603 2132524 13646087 0 0 6 179 116 22.68/22.74 c 6286 13347 2156324 14862104 0 0 7 90 74 23.09/23.18 c 7006 14125 2173506 15050032 0 0 13 58 54 28.28/28.34 c 7798 15017 2198079 18893632 0 0 2 101 80 33.18/33.29 c 8669 15964 2234054 22808713 0 0 3 76 75 33.58/33.67 c 9627 16932 2249429 22814761 0 0 10 10 9 36.68/36.79 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.78/49.80 c 13111 20978 2343382 36512109 0 0 5 104 71 55.78/55.81 c 14511 22489 2372925 42276731 0 0 9 90 87 56.68/56.79 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.79/87.85 c 19608 28344 2614600 61224502 0 0 5 73 72 91.59/91.63 c 21657 30550 2665737 65353395 0 0 5 154 153 102.89/103.00 c 23910 33062 2717574 75347236 0 0 7 188 179 122.70/122.70 c 26388 35612 2809121 93408819 0 0 12 69 68 124.11/124.15 c 29113 38960 2952279 93632073 0 0 38 613 611 158.70/158.76 c 32110 41994 3140327 116266096 0 0 2 33 32 179.50/179.54 c 35406 45606 3198636 132317730 0 0 6 197 190 187.01/187.02 c 39031 49436 3303559 140794172 0 0 10 98 93 196.81/196.82 c 43018 53562 3341141 151247619 0 0 12 132 131 200.41/200.48 c 47403 57962 3470178 156640067 0 0 9 9 8 223.41/223.49 c 52226 63114 3556741 175244096 0 0 13 270 223 227.91/227.96 c 57531 68433 3713072 181767292 0 0 7 7 6 302.52/302.52 c 63366 74346 4035927 230298159 0 0 30 69 68 308.72/308.73 c 69784 80780 4223934 239560068 0 0 7 7 6 315.72/315.70 c 76843 87972 4263350 244930607 0 0 46 121 120 343.13/343.18 c 84607 96137 4402503 268585969 0 0 12 295 181 363.14/363.19 c 93147 105098 4567266 283929670 0 0 14 110 108 395.53/395.56 c 102541 115061 4766539 321890470 0 0 15 492 393 438.24/438.22 c 112874 125832 4918766 359598772 0 0 18 236 211 447.94/447.94 c 124240 137223 5250583 373573105 0 0 7 7 6 469.64/469.63 c 136742 149836 5452224 390021706 0 0 45 90 89 534.35/534.35 c 150494 163774 5723416 443994876 0 0 2 158 157 540.16/540.15 c 165621 178943 5939058 444045141 0 0 18 18 17 597.45/597.45 c 182260 196142 6176838 495867244 0 0 2 341 279 633.76/633.73 c 200562 214770 6429243 523423086 0 0 6 279 266 874.20/874.16 c 220694 235063 7067845 630940255 0 0 7 121 120 952.80/952.72 c 242839 257316 7535173 690450442 0 0 7 68 67 1503.38/1503.20 c 267198 281888 9460819 1034103476 0 0 8 42 41 2164.68/2164.49 c 293992 308768 11732329 1426758305 0 0 23 40 39 2249.49/2249.20 c 323465 339011 12462424 1541620707 0 0 57 613 612 2350.80/2350.51 c 355885 371671 12964272 1606182577 0 0 30 67 66 2400.01/2399.70 2400.01/2399.70 c *** INTERRUPTED *** 2400.01/2399.70 c restarts : 62 2400.01/2399.70 c conflicts : 378224 (158 /sec) 2400.01/2399.70 c decisions : 394629 (164 /sec) 2400.01/2399.70 c propagations : 1656253023 (690114 /sec) 2400.01/2399.70 c root propagations : 0 2400.01/2399.70 c filter calls : 13144099 (5477 /sec) 2400.01/2399.70 c useless filter calls : 9530665 (72 %) 2400.01/2399.70 c Memory used : 74.46 MB 2400.01/2399.70 c CPU time : 2399.97 s 2400.01/2399.70 c real time : 2399.7 s 2400.01/2399.70 2400.01/2399.70 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 (15285 MiB free)
memory of node 1: 16384 MiB (15530 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408696-1569787684/watcher-4408696-1569787684 -o /tmp/evaluation-result-4408696-1569787684/solver-4408696-1569787684 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node141-1569787350-25284 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408696-1569787684.xml
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
solver pid=25460, runsolver pid=25457
[startup+0.100115 s]*
/proc/loadavg: 1.98 1.23 0.56 3/199 25461
/proc/meminfo: memFree=31537556/32770624 swapFree=66937824/67108860
[pid=25460] ppid=25457 vsize=46984 memory=23192 CPUtime=0.1 cores=0,2,4,6
/proc/25460/stat : 25460 (cosoco) R 25457 25460 25253 0 -1 4202496 6014 0 0 0 9 1 0 0 20 0 1 0 554706131 48111616 5798 33554432000 4194304 6211132 140731672049600 140731672046136 140662306233317 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39100416 140731672056843 140731672056945 140731672056945 140731672059854 0
/proc/25460/statm: 11746 5798 823 493 0 5051 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 46984 KiB
Current children cumulated memory: 23192 KiB
[startup+0.209612 s]*
/proc/loadavg: 1.98 1.23 0.56 3/199 25461
/proc/meminfo: memFree=31520940/32770624 swapFree=66937824/67108860
[pid=25460] ppid=25457 vsize=63496 memory=39844 CPUtime=0.21 cores=0,2,4,6
/proc/25460/stat : 25460 (cosoco) R 25457 25460 25253 0 -1 4202496 10136 0 0 0 20 1 0 0 20 0 1 0 554706131 65019904 9961 33554432000 4194304 6211132 140731672049600 140731672046136 140662306233317 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39100416 140731672056843 140731672056945 140731672056945 140731672059854 0
/proc/25460/statm: 15874 9961 823 493 0 9179 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 63496 KiB
Current children cumulated memory: 39844 KiB
[startup+0.309436 s]*
/proc/loadavg: 1.98 1.23 0.56 3/199 25461
/proc/meminfo: memFree=31518780/32770624 swapFree=66937824/67108860
[pid=25460] ppid=25457 vsize=64104 memory=40636 CPUtime=0.31 cores=0,2,4,6
/proc/25460/stat : 25460 (cosoco) R 25457 25460 25253 0 -1 4202496 10339 0 0 0 30 1 0 0 20 0 1 0 554706131 65642496 10159 33554432000 4194304 6211132 140731672049600 140731672046136 5081992 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39100416 140731672056843 140731672056945 140731672056945 140731672059854 0
/proc/25460/statm: 16026 10159 869 493 0 9331 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 64104 KiB
Current children cumulated memory: 40636 KiB
[startup+0.700238 s]
/proc/loadavg: 1.98 1.23 0.56 3/199 25461
/proc/meminfo: memFree=31518276/32770624 swapFree=66937824/67108860
[pid=25460] ppid=25457 vsize=65272 memory=41564 CPUtime=0.69 cores=0,2,4,6
/proc/25460/stat : 25460 (cosoco) R 25457 25460 25253 0 -1 4202496 10607 0 0 0 68 1 0 0 20 0 1 0 554706131 66838528 10391 33554432000 4194304 6211132 140731672049600 140731672047784 5081965 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39100416 140731672056843 140731672056945 140731672056945 140731672059854 0
/proc/25460/statm: 16318 10391 869 493 0 9623 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 65272 KiB
Current children cumulated memory: 41564 KiB
[startup+1.50024 s]
/proc/loadavg: 1.98 1.23 0.56 3/199 25461
/proc/meminfo: memFree=31516416/32770624 swapFree=66937824/67108860
[pid=25460] ppid=25457 vsize=67264 memory=42944 CPUtime=1.49 cores=0,2,4,6
/proc/25460/stat : 25460 (cosoco) R 25457 25460 25253 0 -1 4202496 10962 0 0 0 148 1 0 0 20 0 1 0 554706131 68878336 10736 33554432000 4194304 6211132 140731672049600 140731672047784 5079440 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39100416 140731672056843 140731672056945 140731672056945 140731672059854 0
/proc/25460/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.10931 s]
/proc/loadavg: 1.90 1.23 0.56 3/199 25461
/proc/meminfo: memFree=31516348/32770624 swapFree=66937824/67108860
[pid=25460] ppid=25457 vsize=67264 memory=43216 CPUtime=3.1 cores=0,2,4,6
/proc/25460/stat : 25460 (cosoco) R 25457 25460 25253 0 -1 4202496 14830 0 0 0 309 1 0 0 20 0 1 0 554706131 68878336 10804 33554432000 4194304 6211132 140731672049600 140731672047560 5081999 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39100416 140731672056843 140731672056945 140731672056945 140731672059854 0
/proc/25460/statm: 16816 10804 871 493 0 10121 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 67264 KiB
Current children cumulated memory: 43216 KiB
[startup+6.30023 s]
/proc/loadavg: 1.90 1.23 0.56 3/199 25461
/proc/meminfo: memFree=31516040/32770624 swapFree=66937824/67108860
[pid=25460] ppid=25457 vsize=67396 memory=43216 CPUtime=6.29 cores=0,2,4,6
/proc/25460/stat : 25460 (cosoco) R 25457 25460 25253 0 -1 4202496 19011 0 0 0 627 2 0 0 20 0 1 0 554706131 69013504 10804 33554432000 4194304 6211132 140731672049600 140731672047560 5440643 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39100416 140731672056843 140731672056945 140731672056945 140731672059854 0
/proc/25460/statm: 16849 10804 871 493 0 10154 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 67396 KiB
Current children cumulated memory: 43216 KiB
[startup+12.7002 s]
/proc/loadavg: 1.91 1.24 0.57 3/199 25461
/proc/meminfo: memFree=31513596/32770624 swapFree=66937824/67108860
[pid=25460] ppid=25457 vsize=67660 memory=43452 CPUtime=12.69 cores=0,2,4,6
/proc/25460/stat : 25460 (cosoco) R 25457 25460 25253 0 -1 4202496 23493 0 0 0 1267 2 0 0 20 0 1 0 554706131 69283840 10863 33554432000 4194304 6211132 140731672049600 140731672047560 140662307156830 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39100416 140731672056843 140731672056945 140731672056945 140731672059854 0
/proc/25460/statm: 16915 10863 871 493 0 10220 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 67660 KiB
Current children cumulated memory: 43452 KiB
[startup+25.5003 s]
/proc/loadavg: 1.86 1.26 0.59 3/199 25462
/proc/meminfo: memFree=31513412/32770624 swapFree=66937824/67108860
[pid=25460] ppid=25457 vsize=68584 memory=44484 CPUtime=25.48 cores=0,2,4,6
/proc/25460/stat : 25460 (cosoco) R 25457 25460 25253 0 -1 4202496 27085 0 0 0 2546 2 0 0 20 0 1 0 554706131 70230016 11121 33554432000 4194304 6211132 140731672049600 140731672047560 5451501 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39100416 140731672056843 140731672056945 140731672056945 140731672059854 0
/proc/25460/statm: 17146 11121 871 493 0 10451 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 68584 KiB
Current children cumulated memory: 44484 KiB
[startup+51.1093 s]
/proc/loadavg: 1.91 1.32 0.63 3/199 25464
/proc/meminfo: memFree=31512068/32770624 swapFree=66937824/67108860
[pid=25460] ppid=25457 vsize=70300 memory=46156 CPUtime=51.09 cores=0,2,4,6
/proc/25460/stat : 25460 (cosoco) R 25457 25460 25253 0 -1 4202496 27869 0 0 0 5107 2 0 0 20 0 1 0 554706131 71987200 11539 33554432000 4194304 6211132 140731672049600 140731672047256 5443143 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39100416 140731672056843 140731672056945 140731672056945 140731672059854 0
/proc/25460/statm: 17575 11539 871 493 0 10880 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 70300 KiB
Current children cumulated memory: 46156 KiB
[startup+102.3 s]
/proc/loadavg: 1.96 1.43 0.70 3/199 25468
/proc/meminfo: memFree=31511476/32770624 swapFree=66937824/67108860
[pid=25460] ppid=25457 vsize=71356 memory=47104 CPUtime=102.29 cores=0,2,4,6
/proc/25460/stat : 25460 (cosoco) R 25457 25460 25253 0 -1 4202496 28951 0 0 0 10227 2 0 0 20 0 1 0 554706131 73068544 11776 33554432000 4194304 6211132 140731672049600 140731672047256 140662316178269 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39100416 140731672056843 140731672056945 140731672056945 140731672059854 0
/proc/25460/statm: 17839 11776 871 493 0 11144 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 71356 KiB
Current children cumulated memory: 47104 KiB
[startup+162.3 s]
/proc/loadavg: 1.98 1.53 0.78 3/200 25480
/proc/meminfo: memFree=31509428/32770624 swapFree=66937824/67108860
[pid=25460] ppid=25457 vsize=71752 memory=47596 CPUtime=162.3 cores=0,2,4,6
/proc/25460/stat : 25460 (cosoco) R 25457 25460 25253 0 -1 4202496 29925 0 0 0 16227 3 0 0 20 0 1 0 554706131 73474048 11899 33554432000 4194304 6211132 140731672049600 140731672047256 5452247 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39100416 140731672056843 140731672056945 140731672056945 140731672059854 0
/proc/25460/statm: 17938 11899 871 493 0 11243 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 71752 KiB
Current children cumulated memory: 47596 KiB
[startup+222.3 s]
/proc/loadavg: 1.99 1.62 0.86 3/201 25486
/proc/meminfo: memFree=31509004/32770624 swapFree=66937824/67108860
[pid=25460] ppid=25457 vsize=72808 memory=48596 CPUtime=222.31 cores=0,2,4,6
/proc/25460/stat : 25460 (cosoco) R 25457 25460 25253 0 -1 4202496 30692 0 0 0 22228 3 0 0 20 0 1 0 554706131 74555392 12149 33554432000 4194304 6211132 140731672049600 140731672047256 5451658 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39100416 140731672056843 140731672056945 140731672056945 140731672059854 0
/proc/25460/statm: 18202 12149 871 493 0 11507 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 72808 KiB
Current children cumulated memory: 48596 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.69 0.93 3/200 25490
/proc/meminfo: memFree=31510120/32770624 swapFree=66937824/67108860
[pid=25460] ppid=25457 vsize=72940 memory=48760 CPUtime=282.32 cores=0,2,4,6
/proc/25460/stat : 25460 (cosoco) R 25457 25460 25253 0 -1 4202496 30719 0 0 0 28229 3 0 0 20 0 1 0 554706131 74690560 12190 33554432000 4194304 6211132 140731672049600 140731672047256 5451514 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39100416 140731672056843 140731672056945 140731672056945 140731672059854 0
/proc/25460/statm: 18235 12190 871 493 0 11540 0
Current children cumulated CPU time: 282.32 s
Current children cumulated vsize: 72940 KiB
Current children cumulated memory: 48760 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.74 0.99 3/200 25494
/proc/meminfo: memFree=31509460/32770624 swapFree=66937824/67108860
[pid=25460] ppid=25457 vsize=73468 memory=49300 CPUtime=342.33 cores=0,2,4,6
/proc/25460/stat : 25460 (cosoco) R 25457 25460 25253 0 -1 4202496 31569 0 0 0 34230 3 0 0 20 0 1 0 554706131 75231232 12325 33554432000 4194304 6211132 140731672049600 140731672047256 5440612 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39100416 140731672056843 140731672056945 140731672056945 140731672059854 0
/proc/25460/statm: 18367 12325 871 493 0 11672 0
Current children cumulated CPU time: 342.33 s
Current children cumulated vsize: 73468 KiB
Current children cumulated memory: 49300 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.79 1.06 3/201 25500
/proc/meminfo: memFree=31507456/32770624 swapFree=66937824/67108860
[pid=25460] ppid=25457 vsize=74128 memory=50024 CPUtime=402.33 cores=0,2,4,6
/proc/25460/stat : 25460 (cosoco) R 25457 25460 25253 0 -1 4202496 31832 0 0 0 40230 3 0 0 20 0 1 0 554706131 75907072 12506 33554432000 4194304 6211132 140731672049600 140731672047256 5454192 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39100416 140731672056843 140731672056945 140731672056945 140731672059854 0
/proc/25460/statm: 18532 12506 871 493 0 11837 0
Current children cumulated CPU time: 402.33 s
Current children cumulated vsize: 74128 KiB
Current children cumulated memory: 50024 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.83 1.12 3/199 25504
/proc/meminfo: memFree=31507736/32770624 swapFree=66937824/67108860
[pid=25460] ppid=25457 vsize=74524 memory=50464 CPUtime=462.34 cores=0,2,4,6
/proc/25460/stat : 25460 (cosoco) R 25457 25460 25253 0 -1 4202496 32347 0 0 0 46231 3 0 0 20 0 1 0 554706131 76312576 12616 33554432000 4194304 6211132 140731672049600 140731672047256 5456330 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39100416 140731672056843 140731672056945 140731672056945 140731672059854 0
/proc/25460/statm: 18631 12616 871 493 0 11936 0
Current children cumulated CPU time: 462.34 s
Current children cumulated vsize: 74524 KiB
Current children cumulated memory: 50464 KiB
################
# More data... #
################
/proc/25460/statm: 18994 12960 871 493 0 12299 0
Current children cumulated CPU time: 1662.51 s
Current children cumulated vsize: 75976 KiB
Current children cumulated memory: 51840 KiB
[startup+1722.3 s]
/proc/loadavg: 2.02 2.08 1.82 3/199 25620
/proc/meminfo: memFree=31505828/32770624 swapFree=66937824/67108860
[pid=25460] ppid=25457 vsize=75976 memory=51840 CPUtime=1722.52 cores=0,2,4,6
/proc/25460/stat : 25460 (cosoco) R 25457 25460 25253 0 -1 4202496 35508 0 0 0 172248 4 0 0 20 0 1 0 554706131 77799424 12960 33554432000 4194304 6211132 140731672049600 140731672047560 5443025 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39100416 140731672056843 140731672056945 140731672056945 140731672059854 0
/proc/25460/statm: 18994 12960 871 493 0 12299 0
Current children cumulated CPU time: 1722.52 s
Current children cumulated vsize: 75976 KiB
Current children cumulated memory: 51840 KiB
[startup+1782.3 s]
/proc/loadavg: 2.01 2.06 1.83 3/199 25624
/proc/meminfo: memFree=31506544/32770624 swapFree=66937824/67108860
[pid=25460] ppid=25457 vsize=75976 memory=51840 CPUtime=1782.52 cores=0,2,4,6
/proc/25460/stat : 25460 (cosoco) R 25457 25460 25253 0 -1 4202496 35750 0 0 0 178248 4 0 0 20 0 1 0 554706131 77799424 12960 33554432000 4194304 6211132 140731672049600 140731672047560 5451564 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39100416 140731672056843 140731672056945 140731672056945 140731672059854 0
/proc/25460/statm: 18994 12960 871 493 0 12299 0
Current children cumulated CPU time: 1782.52 s
Current children cumulated vsize: 75976 KiB
Current children cumulated memory: 51840 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.05 1.85 3/200 25630
/proc/meminfo: memFree=31506112/32770624 swapFree=66937824/67108860
[pid=25460] ppid=25457 vsize=75976 memory=51840 CPUtime=1842.53 cores=0,2,4,6
/proc/25460/stat : 25460 (cosoco) R 25457 25460 25253 0 -1 4202496 35750 0 0 0 184249 4 0 0 20 0 1 0 554706131 77799424 12960 33554432000 4194304 6211132 140731672049600 140731672047560 5446292 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39100416 140731672056843 140731672056945 140731672056945 140731672059854 0
/proc/25460/statm: 18994 12960 871 493 0 12299 0
Current children cumulated CPU time: 1842.53 s
Current children cumulated vsize: 75976 KiB
Current children cumulated memory: 51840 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.04 1.86 3/199 25634
/proc/meminfo: memFree=31506696/32770624 swapFree=66937824/67108860
[pid=25460] ppid=25457 vsize=75976 memory=51840 CPUtime=1902.54 cores=0,2,4,6
/proc/25460/stat : 25460 (cosoco) R 25457 25460 25253 0 -1 4202496 35994 0 0 0 190250 4 0 0 20 0 1 0 554706131 77799424 12960 33554432000 4194304 6211132 140731672049600 140731672047560 5451545 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39100416 140731672056843 140731672056945 140731672056945 140731672059854 0
/proc/25460/statm: 18994 12960 871 493 0 12299 0
Current children cumulated CPU time: 1902.54 s
Current children cumulated vsize: 75976 KiB
Current children cumulated memory: 51840 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.04 1.87 3/200 25646
/proc/meminfo: memFree=31504652/32770624 swapFree=66937824/67108860
[pid=25460] ppid=25457 vsize=75976 memory=51840 CPUtime=1962.55 cores=0,2,4,6
/proc/25460/stat : 25460 (cosoco) R 25457 25460 25253 0 -1 4202496 35994 0 0 0 196251 4 0 0 20 0 1 0 554706131 77799424 12960 33554432000 4194304 6211132 140731672049600 140731672047560 5455685 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39100416 140731672056843 140731672056945 140731672056945 140731672059854 0
/proc/25460/statm: 18994 12960 871 493 0 12299 0
Current children cumulated CPU time: 1962.55 s
Current children cumulated vsize: 75976 KiB
Current children cumulated memory: 51840 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 1.87 3/201 25652
/proc/meminfo: memFree=31504736/32770624 swapFree=66937824/67108860
[pid=25460] ppid=25457 vsize=75976 memory=51844 CPUtime=2022.56 cores=0,2,4,6
/proc/25460/stat : 25460 (cosoco) R 25457 25460 25253 0 -1 4202496 36237 0 0 0 202252 4 0 0 20 0 1 0 554706131 77799424 12961 33554432000 4194304 6211132 140731672049600 140731672047560 5443144 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39100416 140731672056843 140731672056945 140731672056945 140731672059854 0
/proc/25460/statm: 18994 12961 871 493 0 12299 0
Current children cumulated CPU time: 2022.56 s
Current children cumulated vsize: 75976 KiB
Current children cumulated memory: 51844 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 1.88 3/200 25656
/proc/meminfo: memFree=31505516/32770624 swapFree=66937824/67108860
[pid=25460] ppid=25457 vsize=75976 memory=51844 CPUtime=2082.57 cores=0,2,4,6
/proc/25460/stat : 25460 (cosoco) R 25457 25460 25253 0 -1 4202496 36237 0 0 0 208253 4 0 0 20 0 1 0 554706131 77799424 12961 33554432000 4194304 6211132 140731672049600 140731672047560 5452247 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39100416 140731672056843 140731672056945 140731672056945 140731672059854 0
/proc/25460/statm: 18994 12961 871 493 0 12299 0
Current children cumulated CPU time: 2082.57 s
Current children cumulated vsize: 75976 KiB
Current children cumulated memory: 51844 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 1.88 3/200 25785
/proc/meminfo: memFree=31481236/32770624 swapFree=66937824/67108860
[pid=25460] ppid=25457 vsize=75976 memory=51844 CPUtime=2142.57 cores=0,2,4,6
/proc/25460/stat : 25460 (cosoco) R 25457 25460 25253 0 -1 4202496 36481 0 0 0 214253 4 0 0 20 0 1 0 554706131 77799424 12961 33554432000 4194304 6211132 140731672049600 140731672047560 140662316178257 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39100416 140731672056843 140731672056945 140731672056945 140731672059854 0
/proc/25460/statm: 18994 12961 871 493 0 12299 0
Current children cumulated CPU time: 2142.57 s
Current children cumulated vsize: 75976 KiB
Current children cumulated memory: 51844 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.89 3/202 25792
/proc/meminfo: memFree=31480696/32770624 swapFree=66937824/67108860
[pid=25460] ppid=25457 vsize=75976 memory=51888 CPUtime=2202.58 cores=0,2,4,6
/proc/25460/stat : 25460 (cosoco) R 25457 25460 25253 0 -1 4202496 36712 0 0 0 220254 4 0 0 20 0 1 0 554706131 77799424 12972 33554432000 4194304 6211132 140731672049600 140731672047560 5440659 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39100416 140731672056843 140731672056945 140731672056945 140731672059854 0
/proc/25460/statm: 18994 12972 871 493 0 12299 0
Current children cumulated CPU time: 2202.58 s
Current children cumulated vsize: 75976 KiB
Current children cumulated memory: 51888 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.90 3/201 25796
/proc/meminfo: memFree=31477504/32770624 swapFree=66937824/67108860
[pid=25460] ppid=25457 vsize=75976 memory=51888 CPUtime=2262.59 cores=0,2,4,6
/proc/25460/stat : 25460 (cosoco) R 25457 25460 25253 0 -1 4202496 37206 0 0 0 226255 4 0 0 20 0 1 0 554706131 77799424 12972 33554432000 4194304 6211132 140731672049600 140731672047560 5456342 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39100416 140731672056843 140731672056945 140731672056945 140731672059854 0
/proc/25460/statm: 18994 12972 871 493 0 12299 0
Current children cumulated CPU time: 2262.59 s
Current children cumulated vsize: 75976 KiB
Current children cumulated memory: 51888 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.90 3/200 25800
/proc/meminfo: memFree=31477752/32770624 swapFree=66937824/67108860
[pid=25460] ppid=25457 vsize=75976 memory=51888 CPUtime=2322.6 cores=0,2,4,6
/proc/25460/stat : 25460 (cosoco) R 25457 25460 25253 0 -1 4202496 37206 0 0 0 232256 4 0 0 20 0 1 0 554706131 77799424 12972 33554432000 4194304 6211132 140731672049600 140731672047560 5440664 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39100416 140731672056843 140731672056945 140731672056945 140731672059854 0
/proc/25460/statm: 18994 12972 871 493 0 12299 0
Current children cumulated CPU time: 2322.6 s
Current children cumulated vsize: 75976 KiB
Current children cumulated memory: 51888 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/201 25806
/proc/meminfo: memFree=31477268/32770624 swapFree=66937824/67108860
[pid=25460] ppid=25457 vsize=76108 memory=51960 CPUtime=2382.6 cores=0,2,4,6
/proc/25460/stat : 25460 (cosoco) R 25457 25460 25253 0 -1 4202496 37589 0 0 0 238256 4 0 0 20 0 1 0 554706131 77934592 12990 33554432000 4194304 6211132 140731672049600 140731672047256 5068981 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39100416 140731672056843 140731672056945 140731672056945 140731672059854 0
/proc/25460/statm: 19027 12990 871 493 0 12332 0
Current children cumulated CPU time: 2382.6 s
Current children cumulated vsize: 76108 KiB
Current children cumulated memory: 51960 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.7 s]
/proc/loadavg: 2.00 2.01 1.91 3/200 25806
/proc/meminfo: memFree=31477512/32770624 swapFree=66937824/67108860
[pid=25460] ppid=25457 vsize=76240 memory=51960 CPUtime=2400.01 cores=0,2,4,6
/proc/25460/stat : 25460 (cosoco) R 25457 25460 25253 0 -1 4202496 37601 0 0 0 239997 4 0 0 20 0 1 0 554706131 78069760 12990 33554432000 4194304 6211132 140731672049600 140731672047256 5164853 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39100416 140731672056843 140731672056945 140731672056945 140731672059854 0
/proc/25460/statm: 19060 12990 871 493 0 12365 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 76240 KiB
Current children cumulated memory: 51960 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2399.7 s]
# the end of solver process 25460 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.97 s, system=0.044005 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2399.7 s]
/proc/loadavg: 2.00 2.01 1.91 3/200 25806
/proc/meminfo: memFree=31477512/32770624 swapFree=66937824/67108860
[pid=25460] ppid=25457 vsize=76240 memory=51960 CPUtime=2400.01 cores=0,2,4,6
/proc/25460/stat : 25460 (cosoco) R 25457 25460 25253 0 -1 4202496 37601 0 0 0 239997 4 0 0 20 0 1 0 554706131 78069760 12990 33554432000 4194304 6211132 140731672049600 140731672047256 5164853 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39100416 140731672056843 140731672056945 140731672056945 140731672059854 0
/proc/25460/statm: 19060 12990 871 493 0 12365 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 76240 KiB
Current children cumulated memory: 51960 KiB
Child status: 1
Real time (s): 2399.7
CPU time (s): 2400.02
CPU user time (s): 2399.97
CPU system time (s): 0.044005
CPU usage (%): 100.013
Max. virtual memory (cumulated for all children) (KiB): 76240
Max. memory (cumulated for all children) (KiB): 51960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.97
system time used= 0.044005
maximum resident set size= 52184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37638
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= 22
involuntary context switches= 972
# summary of solver processes directly reported to runsolver:
# pid: 25460
# total CPU time (s): 2400.02
# total CPU user time (s): 2399.97
# total CPU system time (s): 0.044005
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.69082 second user time and 15.6122 second system time
The end
Begin job on node141 at 2019-09-29 22:07:21 IDJOB=4408696 IDBENCH=120694 IDSOLVER=2875 FILE ID=node141/4408696-1569787684 RUNJOBID= node141-1569787350-25284 PBS_JOBID= 21705821 Free space on /tmp= 62028 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-4408696-1569787684/watcher-4408696-1569787684 -o /tmp/evaluation-result-4408696-1569787684/solver-4408696-1569787684 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node141-1569787350-25284 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408696-1569787684.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9611f8ac50407bec4b89a807890af998 RANDOM SEED=789568141 node141.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 : 5332.93 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 : 5332.93 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 : 5332.93 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 : 5332.93 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: 31555196 kB MemAvailable: 31823108 kB Buffers: 188288 kB Cached: 423200 kB SwapCached: 62076 kB Active: 339416 kB Inactive: 340940 kB Active(anon): 20496 kB Inactive(anon): 126388 kB Active(file): 318920 kB Inactive(file): 214552 kB Unevictable: 107692 kB Mlocked: 107692 kB SwapTotal: 67108860 kB SwapFree: 66937824 kB Dirty: 2800 kB Writeback: 0 kB AnonPages: 171952 kB Mapped: 27928 kB Shmem: 69528 kB Slab: 130092 kB SReclaimable: 100552 kB SUnreclaim: 29540 kB KernelStack: 3760 kB PageTables: 5880 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 569648 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 124928 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 128384 kB DirectMap2M: 33417216 kB Free space on /tmp at the end= 62024 MiB End job on node141 at 2019-09-29 22:47:20