Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2 | ? (TO) | 2400.08 | 2400.4 |
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-4390156-1568327867.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.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.22 c remove useless variable ce[5][4][1] 0.21/0.22 c remove useless variable ce[5][4][2] 0.21/0.22 c remove useless variable ce[5][4][3] 0.21/0.22 c remove useless variable ce[5][4][4] 0.21/0.22 c remove useless variable ce[5][5][0] 0.21/0.22 c remove useless variable ce[5][5][1] 0.21/0.22 c remove useless variable ce[5][5][2] 0.21/0.22 c remove useless variable ce[5][5][3] 0.21/0.22 c remove useless variable ce[5][5][4] 0.21/0.22 c remove useless variable ce[5][5][5] 0.21/0.22 c remove useless variable ce[5][6][0] 0.21/0.22 c remove useless variable ce[5][6][1] 0.21/0.22 c remove useless variable ce[5][6][2] 0.21/0.22 c remove useless variable ce[5][6][3] 0.21/0.22 c remove useless variable ce[5][6][4] 0.21/0.22 c remove useless variable ce[5][6][5] 0.21/0.22 c remove useless variable ce[5][6][6] 0.21/0.22 c remove useless variable ce[5][7][0] 0.21/0.22 c remove useless variable ce[5][7][1] 0.21/0.22 c remove useless variable ce[5][7][2] 0.21/0.22 c remove useless variable ce[5][7][3] 0.21/0.22 c remove useless variable ce[5][7][4] 0.21/0.22 c remove useless variable ce[5][7][5] 0.21/0.22 c remove useless variable ce[5][7][6] 0.21/0.22 c remove useless variable ce[5][7][7] 0.21/0.22 c remove useless variable ce[5][8][0] 0.21/0.22 c remove useless variable ce[5][8][1] 0.21/0.22 c remove useless variable ce[5][8][2] 0.21/0.22 c remove useless variable ce[5][8][3] 0.21/0.22 c remove useless variable ce[5][8][4] 0.21/0.22 c remove useless variable ce[5][8][5] 0.21/0.22 c remove useless variable ce[5][8][6] 0.21/0.22 c remove useless variable ce[5][8][7] 0.21/0.22 c remove useless variable ce[5][8][8] 0.21/0.22 c remove useless variable ce[5][9][0] 0.21/0.22 c remove useless variable ce[5][9][1] 0.21/0.22 c remove useless variable ce[5][9][2] 0.21/0.22 c remove useless variable ce[5][9][3] 0.21/0.22 c remove useless variable ce[5][9][4] 0.21/0.22 c remove useless variable ce[5][9][5] 0.21/0.22 c remove useless variable ce[5][9][6] 0.21/0.22 c remove useless variable ce[5][9][7] 0.21/0.22 c remove useless variable ce[5][9][8] 0.21/0.22 c remove useless variable ce[5][9][9] 0.21/0.22 c remove useless variable ce[5][10][0] 0.21/0.22 c remove useless variable ce[5][10][1] 0.21/0.22 c remove useless variable ce[5][10][2] 0.21/0.22 c remove useless variable ce[5][10][3] 0.21/0.22 c remove useless variable ce[5][10][4] 0.21/0.22 c remove useless variable ce[5][10][5] 0.21/0.22 c remove useless variable ce[5][10][6] 0.21/0.22 c remove useless variable ce[5][10][7] 0.21/0.22 c remove useless variable ce[5][10][8] 0.21/0.22 c remove useless variable ce[5][10][9] 0.21/0.22 c remove useless variable ce[5][10][10] 0.21/0.22 c remove useless variable ce[5][11][0] 0.21/0.22 c remove useless variable ce[5][11][1] 0.21/0.22 c remove useless variable ce[5][11][2] 0.21/0.22 c remove useless variable ce[5][11][3] 0.21/0.22 c remove useless variable ce[5][11][4] 0.21/0.22 c remove useless variable ce[5][11][5] 0.21/0.22 c remove useless variable ce[5][11][6] 0.21/0.22 c remove useless variable ce[5][11][7] 0.21/0.22 c remove useless variable ce[5][11][8] 0.21/0.22 c remove useless variable ce[5][11][9] 0.21/0.22 c remove useless variable ce[5][11][10] 0.21/0.22 c remove useless variable ce[5][11][11] 0.21/0.22 c remove useless variable ce[6][0][0] 0.21/0.22 c remove useless variable ce[6][1][0] 0.21/0.22 c remove useless variable ce[6][1][1] 0.21/0.22 c remove useless variable ce[6][2][0] 0.21/0.22 c remove useless variable ce[6][2][1] 0.21/0.22 c remove useless variable ce[6][2][2] 0.21/0.22 c remove useless variable ce[6][3][0] 0.21/0.22 c remove useless variable ce[6][3][1] 0.21/0.22 c remove useless variable ce[6][3][2] 0.21/0.22 c remove useless variable ce[6][3][3] 0.21/0.22 c remove useless variable ce[6][4][0] 0.21/0.22 c remove useless variable ce[6][4][1] 0.21/0.22 c remove useless variable ce[6][4][2] 0.21/0.22 c remove useless variable ce[6][4][3] 0.21/0.22 c remove useless variable ce[6][4][4] 0.21/0.22 c remove useless variable ce[6][5][0] 0.21/0.22 c remove useless variable ce[6][5][1] 0.21/0.22 c remove useless variable ce[6][5][2] 0.21/0.22 c remove useless variable ce[6][5][3] 0.21/0.22 c remove useless variable ce[6][5][4] 0.21/0.22 c remove useless variable ce[6][5][5] 0.21/0.22 c remove useless variable ce[6][6][0] 0.21/0.22 c remove useless variable ce[6][6][1] 0.21/0.22 c remove useless variable ce[6][6][2] 0.21/0.22 c remove useless variable ce[6][6][3] 0.21/0.22 c remove useless variable ce[6][6][4] 0.21/0.22 c remove useless variable ce[6][6][5] 0.21/0.22 c remove useless variable ce[6][6][6] 0.21/0.22 c remove useless variable ce[6][7][0] 0.21/0.22 c remove useless variable ce[6][7][1] 0.21/0.22 c remove useless variable ce[6][7][2] 0.21/0.22 c remove useless variable ce[6][7][3] 0.21/0.22 c remove useless variable ce[6][7][4] 0.21/0.22 c remove useless variable ce[6][7][5] 0.21/0.22 c remove useless variable ce[6][7][6] 0.21/0.22 c remove useless variable ce[6][7][7] 0.21/0.22 c remove useless variable ce[6][8][0] 0.21/0.22 c remove useless variable ce[6][8][1] 0.21/0.22 c remove useless variable ce[6][8][2] 0.21/0.22 c remove useless variable ce[6][8][3] 0.21/0.22 c remove useless variable ce[6][8][4] 0.21/0.22 c remove useless variable ce[6][8][5] 0.21/0.22 c remove useless variable ce[6][8][6] 0.21/0.22 c remove useless variable ce[6][8][7] 0.21/0.22 c remove useless variable ce[6][8][8] 0.21/0.22 c remove useless variable ce[6][9][0] 0.21/0.22 c remove useless variable ce[6][9][1] 0.21/0.22 c remove useless variable ce[6][9][2] 0.21/0.22 c remove useless variable ce[6][9][3] 0.21/0.22 c remove useless variable ce[6][9][4] 0.21/0.22 c remove useless variable ce[6][9][5] 0.21/0.22 c remove useless variable ce[6][9][6] 0.21/0.22 c remove useless variable ce[6][9][7] 0.21/0.22 c remove useless variable ce[6][9][8] 0.21/0.22 c remove useless variable ce[6][9][9] 0.21/0.22 c remove useless variable ce[6][10][0] 0.21/0.22 c remove useless variable ce[6][10][1] 0.21/0.22 c remove useless variable ce[6][10][2] 0.21/0.22 c remove useless variable ce[6][10][3] 0.21/0.22 c remove useless variable ce[6][10][4] 0.21/0.22 c remove useless variable ce[6][10][5] 0.21/0.22 c remove useless variable ce[6][10][6] 0.21/0.22 c remove useless variable ce[6][10][7] 0.21/0.22 c remove useless variable ce[6][10][8] 0.21/0.22 c remove useless variable ce[6][10][9] 0.21/0.22 c remove useless variable ce[6][10][10] 0.21/0.22 c remove useless variable ce[6][11][0] 0.21/0.22 c remove useless variable ce[6][11][1] 0.21/0.22 c remove useless variable ce[6][11][2] 0.21/0.22 c remove useless variable ce[6][11][3] 0.21/0.22 c remove useless variable ce[6][11][4] 0.21/0.22 c remove useless variable ce[6][11][5] 0.21/0.22 c remove useless variable ce[6][11][6] 0.21/0.22 c remove useless variable ce[6][11][7] 0.21/0.22 c remove useless variable ce[6][11][8] 0.21/0.22 c remove useless variable ce[6][11][9] 0.21/0.22 c remove useless variable ce[6][11][10] 0.21/0.22 c remove useless variable ce[6][11][11] 0.21/0.22 c remove useless variable ce[7][0][0] 0.21/0.22 c remove useless variable ce[7][1][0] 0.21/0.22 c remove useless variable ce[7][1][1] 0.21/0.22 c remove useless variable ce[7][2][0] 0.21/0.22 c remove useless variable ce[7][2][1] 0.21/0.22 c remove useless variable ce[7][2][2] 0.21/0.22 c remove useless variable ce[7][3][0] 0.21/0.22 c remove useless variable ce[7][3][1] 0.21/0.22 c remove useless variable ce[7][3][2] 0.21/0.22 c remove useless variable ce[7][3][3] 0.21/0.22 c remove useless variable ce[7][4][0] 0.21/0.22 c remove useless variable ce[7][4][1] 0.21/0.22 c remove useless variable ce[7][4][2] 0.21/0.22 c remove useless variable ce[7][4][3] 0.21/0.22 c remove useless variable ce[7][4][4] 0.21/0.22 c remove useless variable ce[7][5][0] 0.21/0.22 c remove useless variable ce[7][5][1] 0.21/0.22 c remove useless variable ce[7][5][2] 0.21/0.22 c remove useless variable ce[7][5][3] 0.21/0.22 c remove useless variable ce[7][5][4] 0.21/0.22 c remove useless variable ce[7][5][5] 0.21/0.22 c remove useless variable ce[7][6][0] 0.21/0.22 c remove useless variable ce[7][6][1] 0.21/0.22 c remove useless variable ce[7][6][2] 0.21/0.22 c remove useless variable ce[7][6][3] 0.21/0.22 c remove useless variable ce[7][6][4] 0.21/0.22 c remove useless variable ce[7][6][5] 0.21/0.22 c remove useless variable ce[7][6][6] 0.21/0.22 c remove useless variable ce[7][7][0] 0.21/0.22 c remove useless variable ce[7][7][1] 0.21/0.22 c remove useless variable ce[7][7][2] 0.21/0.22 c remove useless variable ce[7][7][3] 0.21/0.22 c remove useless variable ce[7][7][4] 0.21/0.22 c remove useless variable ce[7][7][5] 0.21/0.22 c remove useless variable ce[7][7][6] 0.21/0.22 c remove useless variable ce[7][7][7] 0.21/0.22 c remove useless variable ce[7][8][0] 0.21/0.22 c remove useless variable ce[7][8][1] 0.21/0.22 c remove useless variable ce[7][8][2] 0.21/0.22 c remove useless variable ce[7][8][3] 0.21/0.22 c remove useless variable ce[7][8][4] 0.21/0.22 c remove useless variable ce[7][8][5] 0.21/0.22 c remove useless variable ce[7][8][6] 0.21/0.22 c remove useless variable ce[7][8][7] 0.21/0.22 c remove useless variable ce[7][8][8] 0.21/0.22 c remove useless variable ce[7][9][0] 0.21/0.22 c remove useless variable ce[7][9][1] 0.21/0.22 c remove useless variable ce[7][9][2] 0.21/0.22 c remove useless variable ce[7][9][3] 0.21/0.22 c remove useless variable ce[7][9][4] 0.21/0.22 c remove useless variable ce[7][9][5] 0.21/0.22 c remove useless variable ce[7][9][6] 0.21/0.22 c remove useless variable ce[7][9][7] 0.21/0.22 c remove useless variable ce[7][9][8] 0.21/0.22 c remove useless variable ce[7][9][9] 0.21/0.22 c remove useless variable ce[7][10][0] 0.21/0.22 c remove useless variable ce[7][10][1] 0.21/0.22 c remove useless variable ce[7][10][2] 0.21/0.22 c remove useless variable ce[7][10][3] 0.21/0.22 c remove useless variable ce[7][10][4] 0.21/0.22 c remove useless variable ce[7][10][5] 0.21/0.22 c remove useless variable ce[7][10][6] 0.21/0.22 c remove useless variable ce[7][10][7] 0.21/0.22 c remove useless variable ce[7][10][8] 0.21/0.22 c remove useless variable ce[7][10][9] 0.21/0.22 c remove useless variable ce[7][10][10] 0.21/0.22 c remove useless variable ce[7][11][0] 0.21/0.22 c remove useless variable ce[7][11][1] 0.21/0.22 c remove useless variable ce[7][11][2] 0.21/0.22 c remove useless variable ce[7][11][3] 0.21/0.22 c remove useless variable ce[7][11][4] 0.21/0.22 c remove useless variable ce[7][11][5] 0.21/0.22 c remove useless variable ce[7][11][6] 0.21/0.22 c remove useless variable ce[7][11][7] 0.21/0.22 c remove useless variable ce[7][11][8] 0.21/0.22 c remove useless variable ce[7][11][9] 0.21/0.22 c remove useless variable ce[7][11][10] 0.21/0.22 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.73 c 211 1268 364163 439419 0 0 446 446 441 2.49/2.58 c 332 1740 516078 734620 0 0 6 352 337 2.59/2.67 c 465 1889 521822 748876 0 0 3 17 16 3.49/3.52 c 611 2410 674381 1067418 0 0 2 376 321 4.39/4.40 c 771 2969 828120 1399954 0 0 3 400 220 5.19/5.29 c 947 3556 976056 1770659 0 0 3 412 237 6.10/6.17 c 1140 4172 1121225 2131367 0 0 3 424 200 7.09/7.14 c 1352 4819 1265276 2641472 0 0 4 436 161 8.18/8.25 c 1585 5508 1406947 3271698 0 0 6 457 82 9.18/9.27 c 1841 6233 1545841 3867954 0 0 6 470 161 9.48/9.53 c 2122 6553 1554353 4029875 0 0 10 40 34 10.18/10.22 c 2431 6955 1566278 4598222 0 0 2 94 54 11.28/11.31 c 2770 7766 1699301 5318744 0 0 4 472 244 12.38/12.48 c 3142 8611 1825996 6102364 0 0 4 474 199 13.68/13.71 c 3551 9494 1948235 6922666 0 0 4 475 172 14.88/14.98 c 4000 10086 1962538 7977225 0 0 4 144 89 17.78/17.81 c 4493 11056 2075431 10429547 0 0 4 477 228 19.48/19.52 c 5035 11829 2108571 11754415 0 0 5 232 140 21.88/21.94 c 5631 12603 2132524 13646087 0 0 6 179 116 23.48/23.57 c 6286 13347 2156324 14862104 0 0 7 90 74 23.99/24.03 c 7006 14125 2173506 15050032 0 0 13 58 54 29.38/29.41 c 7798 15017 2198079 18893632 0 0 2 101 80 34.48/34.56 c 8669 15964 2234054 22808713 0 0 3 76 75 34.88/34.95 c 9627 16932 2249429 22814761 0 0 10 10 9 38.09/38.19 c 10680 18163 2273913 26017787 0 0 2 178 162 45.68/45.72 c 11838 19595 2319802 31831500 0 0 4 256 183 51.57/51.70 c 13111 20978 2343382 36512109 0 0 5 104 71 57.87/57.95 c 14511 22489 2372925 42276731 0 0 9 90 87 58.87/58.96 c 16051 24646 2506347 42476307 0 0 59 613 609 86.36/86.40 c 17745 26406 2595243 56608903 0 0 2 64 63 91.26/91.33 c 19608 28344 2614600 61224502 0 0 5 73 72 95.15/95.22 c 21657 30550 2665737 65353395 0 0 5 154 153 106.96/107.05 c 23910 33062 2717574 75347236 0 0 7 188 179 127.44/127.55 c 26388 35612 2809121 93408819 0 0 12 69 68 128.95/129.04 c 29113 38960 2952279 93632073 0 0 38 613 611 164.94/165.09 c 32110 41994 3140327 116266096 0 0 2 33 32 186.52/186.68 c 35406 45606 3198636 132317730 0 0 6 197 190 194.32/194.44 c 39031 49436 3303559 140794172 0 0 10 98 93 204.42/204.54 c 43018 53562 3341141 151247619 0 0 12 132 131 208.12/208.29 c 47403 57962 3470178 156640067 0 0 9 9 8 232.11/232.24 c 52226 63114 3556741 175244096 0 0 13 270 223 236.71/236.83 c 57531 68433 3713072 181767292 0 0 7 7 6 314.38/314.55 c 63366 74346 4035927 230298159 0 0 30 69 68 320.78/320.96 c 69784 80780 4223934 239560068 0 0 7 7 6 327.99/328.15 c 76843 87972 4263350 244930607 0 0 46 121 120 356.37/356.54 c 84607 96137 4402503 268585969 0 0 12 295 181 377.16/377.31 c 93147 105098 4567266 283929670 0 0 14 110 108 410.96/411.12 c 102541 115061 4766539 321890470 0 0 15 492 393 455.44/455.60 c 112874 125832 4918766 359598772 0 0 18 236 211 465.43/465.61 c 124240 137223 5250583 373573105 0 0 7 7 6 487.73/487.99 c 136742 149836 5452224 390021706 0 0 45 90 89 554.92/555.18 c 150494 163774 5723416 443994876 0 0 2 158 157 560.91/561.19 c 165621 178943 5939058 444045141 0 0 18 18 17 620.29/620.59 c 182260 196142 6176838 495867244 0 0 2 341 279 657.97/658.20 c 200562 214770 6429243 523423086 0 0 6 279 266 907.77/908.02 c 220694 235063 7067845 630940255 0 0 7 121 120 989.15/989.40 c 242839 257316 7535173 690450442 0 0 7 68 67 1560.42/1560.80 c 267198 281888 9460819 1034103476 0 0 8 42 41 2246.18/2246.58 c 293992 308768 11732329 1426758305 0 0 23 40 39 2334.27/2334.63 c 323465 339011 12462424 1541620707 0 0 57 613 612 2400.07/2400.40 2400.07/2400.40 c *** INTERRUPTED *** 2400.07/2400.40 c restarts : 61 2400.07/2400.40 c conflicts : 343629 (143 /sec) 2400.07/2400.40 c decisions : 359352 (150 /sec) 2400.07/2400.40 c propagations : 1581674865 (659020 /sec) 2400.07/2400.40 c root propagations : 0 2400.07/2400.40 c filter calls : 12776600 (5323 /sec) 2400.07/2400.40 c useless filter calls : 9320269 (72 %) 2400.07/2400.40 c Memory used : 74.20 MB 2400.07/2400.40 c CPU time : 2400.04 s 2400.07/2400.40 c real time : 2400.4 s 2400.07/2400.40 2400.07/2400.40 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 (9206 MiB free) memory of node 1: 16384 MiB (15381 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390156-1568327867/watcher-4390156-1568327867 -o /tmp/evaluation-result-4390156-1568327867/solver-4390156-1568327867 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568318532-25085 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390156-1568327867.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=26088, runsolver pid=26085 Current StackSize limit: 8192 KiB [startup+0.100163 s]* /proc/loadavg: 2.00 2.02 2.05 3/198 26089 /proc/meminfo: memFree=25159568/32770624 swapFree=66977612/67108860 [pid=26088] ppid=26085 vsize=47524 memory=23716 CPUtime=0.1 cores=1,3,5,7 /proc/26088/stat : 26088 (cosoco) R 26085 26088 25053 0 -1 4202496 6146 0 0 0 10 0 0 0 20 0 1 0 409044035 48664576 5929 33554432000 4194304 6210612 140725623696496 140725623693032 139640155368243 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38817792 140725623702539 140725623702641 140725623702641 140725623705550 0 /proc/26088/statm: 11881 5929 822 493 0 5186 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 47524 KiB Current children cumulated memory: 23716 KiB [startup+0.209735 s]* /proc/loadavg: 2.00 2.02 2.05 3/198 26089 /proc/meminfo: memFree=25142828/32770624 swapFree=66977612/67108860 [pid=26088] ppid=26085 vsize=63760 memory=40104 CPUtime=0.21 cores=1,3,5,7 /proc/26088/stat : 26088 (cosoco) R 26085 26088 25053 0 -1 4202496 10253 0 0 0 20 1 0 0 20 0 1 0 409044035 65290240 10026 33554432000 4194304 6210612 140725623696496 140725623691592 5397066 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38817792 140725623702539 140725623702641 140725623702641 140725623705550 0 /proc/26088/statm: 15940 10026 824 493 0 9245 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 63760 KiB Current children cumulated memory: 40104 KiB [startup+0.309553 s]* /proc/loadavg: 2.00 2.02 2.05 3/198 26089 /proc/meminfo: memFree=25141712/32770624 swapFree=66977612/67108860 [pid=26088] ppid=26085 vsize=64104 memory=40632 CPUtime=0.31 cores=1,3,5,7 /proc/26088/stat : 26088 (cosoco) R 26085 26088 25053 0 -1 4202496 10337 0 0 0 30 1 0 0 20 0 1 0 409044035 65642496 10158 33554432000 4194304 6210612 140725623696496 140725623693864 5192912 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38817792 140725623702539 140725623702641 140725623702641 140725623705550 0 /proc/26088/statm: 16026 10158 864 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.70028 s] /proc/loadavg: 2.00 2.02 2.05 3/198 26089 /proc/meminfo: memFree=25141340/32770624 swapFree=66977612/67108860 [pid=26088] ppid=26085 vsize=65272 memory=41548 CPUtime=0.69 cores=1,3,5,7 /proc/26088/stat : 26088 (cosoco) R 26085 26088 25053 0 -1 4202496 10602 0 0 0 68 1 0 0 20 0 1 0 409044035 66838528 10387 33554432000 4194304 6210612 140725623696496 140725623694376 5393319 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38817792 140725623702539 140725623702641 140725623702641 140725623705550 0 /proc/26088/statm: 16318 10387 864 493 0 9623 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 65272 KiB Current children cumulated memory: 41548 KiB [startup+1.50029 s] /proc/loadavg: 2.00 2.02 2.05 3/198 26089 /proc/meminfo: memFree=25139108/32770624 swapFree=66977612/67108860 [pid=26088] ppid=26085 vsize=67264 memory=42928 CPUtime=1.49 cores=1,3,5,7 /proc/26088/stat : 26088 (cosoco) R 26085 26088 25053 0 -1 4202496 10959 0 0 0 148 1 0 0 20 0 1 0 409044035 68878336 10732 33554432000 4194304 6210612 140725623696496 140725623694456 5397066 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38817792 140725623702539 140725623702641 140725623702641 140725623705550 0 /proc/26088/statm: 16816 10732 864 493 0 10121 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 67264 KiB Current children cumulated memory: 42928 KiB [startup+3.10934 s] /proc/loadavg: 2.00 2.02 2.05 3/198 26089 /proc/meminfo: memFree=25138740/32770624 swapFree=66977612/67108860 [pid=26088] ppid=26085 vsize=67264 memory=43200 CPUtime=3.1 cores=1,3,5,7 /proc/26088/stat : 26088 (cosoco) R 26085 26088 25053 0 -1 4202496 14827 0 0 0 309 1 0 0 20 0 1 0 409044035 68878336 10800 33554432000 4194304 6210612 140725623696496 140725623694456 5079006 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38817792 140725623702539 140725623702641 140725623702641 140725623705550 0 /proc/26088/statm: 16816 10800 866 493 0 10121 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 67264 KiB Current children cumulated memory: 43200 KiB [startup+6.30029 s] /proc/loadavg: 2.00 2.02 2.05 3/198 26089 /proc/meminfo: memFree=25138676/32770624 swapFree=66977612/67108860 [pid=26088] ppid=26085 vsize=67396 memory=43200 CPUtime=6.29 cores=1,3,5,7 /proc/26088/stat : 26088 (cosoco) R 26085 26088 25053 0 -1 4202496 19002 0 0 0 628 1 0 0 20 0 1 0 409044035 69013504 10800 33554432000 4194304 6210612 140725623696496 140725623694456 5446744 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38817792 140725623702539 140725623702641 140725623702641 140725623705550 0 /proc/26088/statm: 16849 10800 866 493 0 10154 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 67396 KiB Current children cumulated memory: 43200 KiB [startup+12.7003 s] /proc/loadavg: 2.00 2.02 2.05 3/198 26091 /proc/meminfo: memFree=25138480/32770624 swapFree=66977612/67108860 [pid=26088] ppid=26085 vsize=67660 memory=43564 CPUtime=12.68 cores=1,3,5,7 /proc/26088/stat : 26088 (cosoco) R 26085 26088 25053 0 -1 4202496 23642 0 0 0 1267 1 0 0 20 0 1 0 409044035 69283840 10891 33554432000 4194304 6210612 140725623696496 140725623694456 5453766 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38817792 140725623702539 140725623702641 140725623702641 140725623705550 0 /proc/26088/statm: 16915 10891 866 493 0 10220 0 Current children cumulated CPU time: 12.68 s Current children cumulated vsize: 67660 KiB Current children cumulated memory: 43564 KiB [startup+25.5003 s] /proc/loadavg: 2.00 2.02 2.05 3/198 26091 /proc/meminfo: memFree=25137616/32770624 swapFree=66977612/67108860 [pid=26088] ppid=26085 vsize=68584 memory=44396 CPUtime=25.48 cores=1,3,5,7 /proc/26088/stat : 26088 (cosoco) R 26085 26088 25053 0 -1 4202496 32852 0 0 0 2546 2 0 0 20 0 1 0 409044035 70230016 11099 33554432000 4194304 6210612 140725623696496 140725623694152 5451361 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38817792 140725623702539 140725623702641 140725623702641 140725623705550 0 /proc/26088/statm: 17146 11099 866 493 0 10451 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 68584 KiB Current children cumulated memory: 44396 KiB [startup+51.1091 s] /proc/loadavg: 2.00 2.02 2.05 3/198 26093 /proc/meminfo: memFree=25134972/32770624 swapFree=66977612/67108860 [pid=26088] ppid=26085 vsize=70168 memory=46032 CPUtime=51.08 cores=1,3,5,7 /proc/26088/stat : 26088 (cosoco) R 26085 26088 25053 0 -1 4202496 34734 0 0 0 5106 2 0 0 20 0 1 0 409044035 71852032 11508 33554432000 4194304 6210612 140725623696496 140725623694152 5451347 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38817792 140725623702539 140725623702641 140725623702641 140725623705550 0 /proc/26088/statm: 17542 11508 866 493 0 10847 0 Current children cumulated CPU time: 51.08 s Current children cumulated vsize: 70168 KiB Current children cumulated memory: 46032 KiB [startup+102.3 s] /proc/loadavg: 2.00 2.01 2.05 3/198 26098 /proc/meminfo: memFree=25133292/32770624 swapFree=66977612/67108860 [pid=26088] ppid=26085 vsize=71224 memory=47020 CPUtime=102.25 cores=1,3,5,7 /proc/26088/stat : 26088 (cosoco) R 26085 26088 25053 0 -1 4202496 35815 0 0 0 10223 2 0 0 20 0 1 0 409044035 72933376 11755 33554432000 4194304 6210612 140725623696496 140725623694152 5451309 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38817792 140725623702539 140725623702641 140725623702641 140725623705550 0 /proc/26088/statm: 17806 11755 866 493 0 11111 0 Current children cumulated CPU time: 102.25 s Current children cumulated vsize: 71224 KiB Current children cumulated memory: 47020 KiB [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 26110 /proc/meminfo: memFree=25133288/32770624 swapFree=66977612/67108860 [pid=26088] ppid=26085 vsize=71488 memory=47392 CPUtime=162.23 cores=1,3,5,7 /proc/26088/stat : 26088 (cosoco) R 26085 26088 25053 0 -1 4202496 36645 0 0 0 16221 2 0 0 20 0 1 0 409044035 73203712 11848 33554432000 4194304 6210612 140725623696496 140725623694152 5446100 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38817792 140725623702539 140725623702641 140725623702641 140725623705550 0 /proc/26088/statm: 17872 11848 866 493 0 11177 0 Current children cumulated CPU time: 162.23 s Current children cumulated vsize: 71488 KiB Current children cumulated memory: 47392 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 26114 /proc/meminfo: memFree=25131896/32770624 swapFree=66977612/67108860 [pid=26088] ppid=26085 vsize=72676 memory=48304 CPUtime=222.21 cores=1,3,5,7 /proc/26088/stat : 26088 (cosoco) R 26085 26088 25053 0 -1 4202496 37549 0 0 0 22219 2 0 0 20 0 1 0 409044035 74420224 12076 33554432000 4194304 6210612 140725623696496 140725623694152 5439626 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38817792 140725623702539 140725623702641 140725623702641 140725623705550 0 /proc/26088/statm: 18169 12076 866 493 0 11474 0 Current children cumulated CPU time: 222.21 s Current children cumulated vsize: 72676 KiB Current children cumulated memory: 48304 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 26120 /proc/meminfo: memFree=25130588/32770624 swapFree=66977612/67108860 [pid=26088] ppid=26085 vsize=72940 memory=48736 CPUtime=282.19 cores=1,3,5,7 /proc/26088/stat : 26088 (cosoco) R 26085 26088 25053 0 -1 4202496 38144 0 0 0 28217 2 0 0 20 0 1 0 409044035 74690560 12184 33554432000 4194304 6210612 140725623696496 140725623694152 5452063 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38817792 140725623702539 140725623702641 140725623702641 140725623705550 0 /proc/26088/statm: 18235 12184 866 493 0 11540 0 Current children cumulated CPU time: 282.19 s Current children cumulated vsize: 72940 KiB Current children cumulated memory: 48736 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 26124 /proc/meminfo: memFree=25131424/32770624 swapFree=66977612/67108860 [pid=26088] ppid=26085 vsize=73072 memory=48884 CPUtime=342.17 cores=1,3,5,7 /proc/26088/stat : 26088 (cosoco) R 26085 26088 25053 0 -1 4202496 38857 0 0 0 34215 2 0 0 20 0 1 0 409044035 74825728 12221 33554432000 4194304 6210612 140725623696496 140725623694152 5009273 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38817792 140725623702539 140725623702641 140725623702641 140725623705550 0 /proc/26088/statm: 18268 12221 866 493 0 11573 0 Current children cumulated CPU time: 342.17 s Current children cumulated vsize: 73072 KiB Current children cumulated memory: 48884 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 26128 /proc/meminfo: memFree=25130492/32770624 swapFree=66977612/67108860 [pid=26088] ppid=26085 vsize=73996 memory=49852 CPUtime=402.15 cores=1,3,5,7 /proc/26088/stat : 26088 (cosoco) R 26085 26088 25053 0 -1 4202496 40049 0 0 0 40213 2 0 0 20 0 1 0 409044035 75771904 12463 33554432000 4194304 6210612 140725623696496 140725623693784 5451398 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38817792 140725623702539 140725623702641 140725623702641 140725623705550 0 /proc/26088/statm: 18499 12463 866 493 0 11804 0 Current children cumulated CPU time: 402.15 s Current children cumulated vsize: 73996 KiB Current children cumulated memory: 49852 KiB [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.05 3/198 26135 /proc/meminfo: memFree=25129904/32770624 swapFree=66977612/67108860 [pid=26088] ppid=26085 vsize=74392 memory=50332 CPUtime=462.14 cores=1,3,5,7 /proc/26088/stat : 26088 (cosoco) R 26085 26088 25053 0 -1 4202496 40530 0 0 0 46212 2 0 0 20 0 1 0 409044035 76177408 12583 33554432000 4194304 6210612 140725623696496 140725623694456 139640161823566 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 38817792 140725623702539 140725623702641 140725623702641 140725623705550 0 /proc/26088/statm: 18598 12583 866 493 0 11903 0 Current children cumulated CPU time: 462.14 s Current children cumulated vsize: 74392 KiB Current children cumulated memory: 50332 KiB ################ # More data... # ################ /proc/26088/statm: 18994 12953 866 493 0 12299 0 Current children cumulated CPU time: 1602.02 s Current children cumulated vsize: 75976 KiB Current children cumulated memory: 51812 KiB [startup+1662.3 s] /proc/loadavg: 2.00 2.04 2.05 3/199 26319 /proc/meminfo: memFree=25126748/32770624 swapFree=66977612/67108860 [pid=26088] ppid=26085 vsize=75976 memory=51824 CPUtime=1662.01 cores=1,3,5,7 /proc/26088/stat : 26088 (cosoco) R 26085 26088 25053 0 -1 4202496 47686 0 0 0 166198 3 0 0 20 0 1 0 409044035 77799424 12956 33554432000 4194304 6210612 140725623696496 140725623694456 5451458 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 38817792 140725623702539 140725623702641 140725623702641 140725623705550 0 /proc/26088/statm: 18994 12956 866 493 0 12299 0 Current children cumulated CPU time: 1662.01 s Current children cumulated vsize: 75976 KiB Current children cumulated memory: 51824 KiB [startup+1722.3 s] /proc/loadavg: 2.00 2.04 2.05 3/199 26325 /proc/meminfo: memFree=25126212/32770624 swapFree=66977612/67108860 [pid=26088] ppid=26085 vsize=75976 memory=51824 CPUtime=1722.01 cores=1,3,5,7 /proc/26088/stat : 26088 (cosoco) R 26085 26088 25053 0 -1 4202496 47982 0 0 0 172198 3 0 0 20 0 1 0 409044035 77799424 12956 33554432000 4194304 6210612 140725623696496 140725623694456 5389994 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 38817792 140725623702539 140725623702641 140725623702641 140725623705550 0 /proc/26088/statm: 18994 12956 866 493 0 12299 0 Current children cumulated CPU time: 1722.01 s Current children cumulated vsize: 75976 KiB Current children cumulated memory: 51824 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.03 2.05 3/199 26329 /proc/meminfo: memFree=25126852/32770624 swapFree=66977612/67108860 [pid=26088] ppid=26085 vsize=75976 memory=51824 CPUtime=1782.01 cores=1,3,5,7 /proc/26088/stat : 26088 (cosoco) R 26085 26088 25053 0 -1 4202496 48278 0 0 0 178198 3 0 0 20 0 1 0 409044035 77799424 12956 33554432000 4194304 6210612 140725623696496 140725623694456 139640152802138 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 38817792 140725623702539 140725623702641 140725623702641 140725623705550 0 /proc/26088/statm: 18994 12956 866 493 0 12299 0 Current children cumulated CPU time: 1782.01 s Current children cumulated vsize: 75976 KiB Current children cumulated memory: 51824 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.03 2.05 3/198 26334 /proc/meminfo: memFree=25126108/32770624 swapFree=66977612/67108860 [pid=26088] ppid=26085 vsize=75976 memory=51824 CPUtime=1842 cores=1,3,5,7 /proc/26088/stat : 26088 (cosoco) R 26085 26088 25053 0 -1 4202496 48574 0 0 0 184197 3 0 0 20 0 1 0 409044035 77799424 12956 33554432000 4194304 6210612 140725623696496 140725623694456 5164631 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 38817792 140725623702539 140725623702641 140725623702641 140725623705550 0 /proc/26088/statm: 18994 12956 866 493 0 12299 0 Current children cumulated CPU time: 1842 s Current children cumulated vsize: 75976 KiB Current children cumulated memory: 51824 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.02 2.05 3/198 26340 /proc/meminfo: memFree=25126240/32770624 swapFree=66977612/67108860 [pid=26088] ppid=26085 vsize=75976 memory=51824 CPUtime=1902 cores=1,3,5,7 /proc/26088/stat : 26088 (cosoco) R 26085 26088 25053 0 -1 4202496 48870 0 0 0 190197 3 0 0 20 0 1 0 409044035 77799424 12956 33554432000 4194304 6210612 140725623696496 140725623694456 5164340 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 38817792 140725623702539 140725623702641 140725623702641 140725623705550 0 /proc/26088/statm: 18994 12956 866 493 0 12299 0 Current children cumulated CPU time: 1902 s Current children cumulated vsize: 75976 KiB Current children cumulated memory: 51824 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 26352 /proc/meminfo: memFree=25126168/32770624 swapFree=66977612/67108860 [pid=26088] ppid=26085 vsize=75976 memory=51824 CPUtime=1962 cores=1,3,5,7 /proc/26088/stat : 26088 (cosoco) R 26085 26088 25053 0 -1 4202496 49169 0 0 0 196197 3 0 0 20 0 1 0 409044035 77799424 12956 33554432000 4194304 6210612 140725623696496 140725623694456 139640152802160 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 38817792 140725623702539 140725623702641 140725623702641 140725623705550 0 /proc/26088/statm: 18994 12956 866 493 0 12299 0 Current children cumulated CPU time: 1962 s Current children cumulated vsize: 75976 KiB Current children cumulated memory: 51824 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 26381 /proc/meminfo: memFree=25125756/32770624 swapFree=66977612/67108860 [pid=26088] ppid=26085 vsize=75976 memory=51828 CPUtime=2021.99 cores=1,3,5,7 /proc/26088/stat : 26088 (cosoco) R 26085 26088 25053 0 -1 4202496 49468 0 0 0 202196 3 0 0 20 0 1 0 409044035 77799424 12957 33554432000 4194304 6210612 140725623696496 140725623694456 5453744 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 38817792 140725623702539 140725623702641 140725623702641 140725623705550 0 /proc/26088/statm: 18994 12957 866 493 0 12299 0 Current children cumulated CPU time: 2021.99 s Current children cumulated vsize: 75976 KiB Current children cumulated memory: 51828 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 26387 /proc/meminfo: memFree=25125808/32770624 swapFree=66977612/67108860 [pid=26088] ppid=26085 vsize=75976 memory=51828 CPUtime=2081.99 cores=1,3,5,7 /proc/26088/stat : 26088 (cosoco) R 26085 26088 25053 0 -1 4202496 49765 0 0 0 208196 3 0 0 20 0 1 0 409044035 77799424 12957 33554432000 4194304 6210612 140725623696496 140725623694456 5446033 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 38817792 140725623702539 140725623702641 140725623702641 140725623705550 0 /proc/26088/statm: 18994 12957 866 493 0 12299 0 Current children cumulated CPU time: 2081.99 s Current children cumulated vsize: 75976 KiB Current children cumulated memory: 51828 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 26391 /proc/meminfo: memFree=25126804/32770624 swapFree=66977612/67108860 [pid=26088] ppid=26085 vsize=75976 memory=51828 CPUtime=2141.98 cores=1,3,5,7 /proc/26088/stat : 26088 (cosoco) R 26085 26088 25053 0 -1 4202496 50062 0 0 0 214195 3 0 0 20 0 1 0 409044035 77799424 12957 33554432000 4194304 6210612 140725623696496 140725623694456 139640152802138 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 38817792 140725623702539 140725623702641 140725623702641 140725623705550 0 /proc/26088/statm: 18994 12957 866 493 0 12299 0 Current children cumulated CPU time: 2141.98 s Current children cumulated vsize: 75976 KiB Current children cumulated memory: 51828 KiB [startup+2202.3 s] /proc/loadavg: 2.41 2.14 2.09 3/199 26395 /proc/meminfo: memFree=25127096/32770624 swapFree=66977612/67108860 [pid=26088] ppid=26085 vsize=75976 memory=51828 CPUtime=2201.98 cores=1,3,5,7 /proc/26088/stat : 26088 (cosoco) R 26085 26088 25053 0 -1 4202496 50360 0 0 0 220195 3 0 0 20 0 1 0 409044035 77799424 12957 33554432000 4194304 6210612 140725623696496 140725623694456 5451282 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 38817792 140725623702539 140725623702641 140725623702641 140725623705550 0 /proc/26088/statm: 18994 12957 866 493 0 12299 0 Current children cumulated CPU time: 2201.98 s Current children cumulated vsize: 75976 KiB Current children cumulated memory: 51828 KiB [startup+2262.3 s] /proc/loadavg: 2.22 2.13 2.09 3/198 26401 /proc/meminfo: memFree=25126876/32770624 swapFree=66977612/67108860 [pid=26088] ppid=26085 vsize=75976 memory=51844 CPUtime=2261.97 cores=1,3,5,7 /proc/26088/stat : 26088 (cosoco) R 26085 26088 25053 0 -1 4202496 50875 0 0 0 226194 3 0 0 20 0 1 0 409044035 77799424 12961 33554432000 4194304 6210612 140725623696496 140725623694456 5185901 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 38817792 140725623702539 140725623702641 140725623702641 140725623705550 0 /proc/26088/statm: 18994 12961 866 493 0 12299 0 Current children cumulated CPU time: 2261.97 s Current children cumulated vsize: 75976 KiB Current children cumulated memory: 51844 KiB [startup+2322.3 s] /proc/loadavg: 2.08 2.11 2.08 3/198 26405 /proc/meminfo: memFree=25126676/32770624 swapFree=66977612/67108860 [pid=26088] ppid=26085 vsize=75976 memory=51872 CPUtime=2321.97 cores=1,3,5,7 /proc/26088/stat : 26088 (cosoco) R 26085 26088 25053 0 -1 4202496 51144 0 0 0 232194 3 0 0 20 0 1 0 409044035 77799424 12968 33554432000 4194304 6210612 140725623696496 140725623694456 5389663 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 38817792 140725623702539 140725623702641 140725623702641 140725623705550 0 /proc/26088/statm: 18994 12968 866 493 0 12299 0 Current children cumulated CPU time: 2321.97 s Current children cumulated vsize: 75976 KiB Current children cumulated memory: 51872 KiB [startup+2382.3 s] /proc/loadavg: 2.03 2.09 2.08 3/198 26409 /proc/meminfo: memFree=25127104/32770624 swapFree=66977612/67108860 [pid=26088] ppid=26085 vsize=75976 memory=51924 CPUtime=2381.97 cores=1,3,5,7 /proc/26088/stat : 26088 (cosoco) R 26085 26088 25053 0 -1 4202496 51666 0 0 0 238194 3 0 0 20 0 1 0 409044035 77799424 12981 33554432000 4194304 6210612 140725623696496 140725623694456 5451322 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 38817792 140725623702539 140725623702641 140725623702641 140725623705550 0 /proc/26088/statm: 18994 12981 866 493 0 12299 0 Current children cumulated CPU time: 2381.97 s Current children cumulated vsize: 75976 KiB Current children cumulated memory: 51924 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.4 s] /proc/loadavg: 2.02 2.08 2.07 3/199 26412 /proc/meminfo: memFree=25126572/32770624 swapFree=66977612/67108860 [pid=26088] ppid=26085 vsize=75976 memory=51924 CPUtime=2400.07 cores=1,3,5,7 /proc/26088/stat : 26088 (cosoco) R 26085 26088 25053 0 -1 4202496 51925 0 0 0 240004 3 0 0 20 0 1 0 409044035 77799424 12981 33554432000 4194304 6210612 140725623696496 140725623694456 5452001 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 38817792 140725623702539 140725623702641 140725623702641 140725623705550 0 /proc/26088/statm: 18994 12981 866 493 0 12299 0 Current children cumulated CPU time: 2400.07 s Current children cumulated vsize: 75976 KiB Current children cumulated memory: 51924 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2400.4 s] # the end of solver process 26088 was just reported to runsolver # cumulated CPU time of all completed processes: user=2400.04 s, system=0.038994 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2400.4 CPU time (s): 2400.08 CPU user time (s): 2400.04 CPU system time (s): 0.038994 CPU usage (%): 99.9866 Max. virtual memory (cumulated for all children) (KiB): 75976 Max. memory (cumulated for all children) (KiB): 51924 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.04 system time used= 0.038994 maximum resident set size= 51992 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 51973 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= 21 involuntary context switches= 4051 # summary of solver processes directly reported to runsolver: # pid: 26088 # total CPU time (s): 2400.08 # total CPU user time (s): 2400.04 # total CPU system time (s): 0.038994 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.53784 second user time and 15.4348 second system time The end
Begin job on node104 at 2019-09-12 23:27:31 IDJOB=4390156 IDBENCH=120694 IDSOLVER=2830 FILE ID=node104/4390156-1568327867 RUNJOBID= node104-1568318532-25085 PBS_JOBID= 21701142 Free space on /tmp= 56572 MiB SOLVER NAME= cosoco 2 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-4390156-1568327867/watcher-4390156-1568327867 -o /tmp/evaluation-result-4390156-1568327867/solver-4390156-1568327867 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568318532-25085 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390156-1568327867.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9611f8ac50407bec4b89a807890af998 RANDOM SEED=218456186 node104.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 : 5334.09 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 : 5334.09 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 : 5334.09 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 : 5334.09 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: 25178884 kB MemAvailable: 31828608 kB Buffers: 130508 kB Cached: 6732592 kB SwapCached: 31864 kB Active: 1763988 kB Inactive: 5137784 kB Active(anon): 5176 kB Inactive(anon): 74768 kB Active(file): 1758812 kB Inactive(file): 5063016 kB Unevictable: 107804 kB Mlocked: 107804 kB SwapTotal: 67108860 kB SwapFree: 66977612 kB Dirty: 2724 kB Writeback: 0 kB AnonPages: 150456 kB Mapped: 44876 kB Shmem: 32780 kB Slab: 286036 kB SReclaimable: 256356 kB SUnreclaim: 29680 kB KernelStack: 3536 kB PageTables: 5296 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 520176 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 104448 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 56568 MiB End job on node104 at 2019-09-13 00:07:31