Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco-mini 1.12 | ? (TO) | 2400.02 | 2400.2 |
Name | GracefulGraph/GracefulGraph-m1-s1/ GracefulGraph-K10-P09.xml |
MD5SUM | 132dbb92a73ed64c3de106a7d099dd2d |
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 | 1070 |
Number of constraints | 487 |
Number of domains | 2 |
Minimum domain size | 485 |
Maximum domain size | 486 |
Distribution of domain sizes | [{"size":485,"count":485},{"size":486,"count":90}] |
Minimum variable degree | 0 |
Maximum variable degree | 12 |
Distribution of variable degrees | [{"degree":0,"count":495},{"degree":2,"count":485},{"degree":11,"count":20},{"degree":12,"count":70}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 485 |
Distribution of constraint arities | [{"arity":3,"count":485},{"arity":90,"count":1},{"arity":485,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 485 |
Distribution of constraint types | [{"type":"intension","count":485},{"type":"allDifferent","count":2}] |
Optimization problem | NO |
Type of objective |
0.54/0.62 c root propagations : 0 0.54/0.62 c restarts enabled, print stats at every restarts 0.54/0.62 c 0.54/0.62 c 0.54/0.62 c 0.54/0.62 c This is cosoco 1.12 -- 0.54/0.62 c 0.54/0.62 c command line: cosoco -lc -model -restarts HOME/instance-4267266-1502602881.xml 0.54/0.62 c ========================================[ Problem Statistics ]=========================================== 0.54/0.62 c | 0.54/0.62 c | Parse time : 0.56 s 0.54/0.62 c | 0.54/0.62 c | Variables: 1070 0.54/0.62 c | Domain Sizes: 485..486 0.54/0.62 c | 0.54/0.62 c | Constraints: 487 0.54/0.62 c | Arity: 3..485 -- Ternary: 485 0.54/0.62 c | 0.54/0.62 c | Types: 0.54/0.62 c | All Different: 2 0.54/0.62 c | Intension: 485 0.54/0.62 c | 0.54/0.62 c ========================================================================================================= 0.54/0.62 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.54/0.62 c remove useless variable ce[0][0][0] 0.54/0.62 c remove useless variable ce[0][1][0] 0.54/0.62 c remove useless variable ce[0][1][1] 0.54/0.62 c remove useless variable ce[0][2][0] 0.54/0.62 c remove useless variable ce[0][2][1] 0.54/0.62 c remove useless variable ce[0][2][2] 0.54/0.62 c remove useless variable ce[0][3][0] 0.54/0.62 c remove useless variable ce[0][3][1] 0.54/0.62 c remove useless variable ce[0][3][2] 0.54/0.62 c remove useless variable ce[0][3][3] 0.54/0.62 c remove useless variable ce[0][4][0] 0.54/0.62 c remove useless variable ce[0][4][1] 0.54/0.62 c remove useless variable ce[0][4][2] 0.54/0.62 c remove useless variable ce[0][4][3] 0.54/0.62 c remove useless variable ce[0][4][4] 0.54/0.62 c remove useless variable ce[0][5][0] 0.54/0.62 c remove useless variable ce[0][5][1] 0.54/0.62 c remove useless variable ce[0][5][2] 0.54/0.62 c remove useless variable ce[0][5][3] 0.54/0.62 c remove useless variable ce[0][5][4] 0.54/0.62 c remove useless variable ce[0][5][5] 0.54/0.62 c remove useless variable ce[0][6][0] 0.54/0.62 c remove useless variable ce[0][6][1] 0.54/0.62 c remove useless variable ce[0][6][2] 0.54/0.62 c remove useless variable ce[0][6][3] 0.54/0.62 c remove useless variable ce[0][6][4] 0.54/0.62 c remove useless variable ce[0][6][5] 0.54/0.62 c remove useless variable ce[0][6][6] 0.54/0.62 c remove useless variable ce[0][7][0] 0.54/0.62 c remove useless variable ce[0][7][1] 0.54/0.62 c remove useless variable ce[0][7][2] 0.54/0.62 c remove useless variable ce[0][7][3] 0.54/0.62 c remove useless variable ce[0][7][4] 0.54/0.62 c remove useless variable ce[0][7][5] 0.54/0.62 c remove useless variable ce[0][7][6] 0.54/0.62 c remove useless variable ce[0][7][7] 0.54/0.62 c remove useless variable ce[0][8][0] 0.54/0.62 c remove useless variable ce[0][8][1] 0.54/0.62 c remove useless variable ce[0][8][2] 0.54/0.62 c remove useless variable ce[0][8][3] 0.54/0.62 c remove useless variable ce[0][8][4] 0.54/0.62 c remove useless variable ce[0][8][5] 0.54/0.62 c remove useless variable ce[0][8][6] 0.54/0.62 c remove useless variable ce[0][8][7] 0.54/0.62 c remove useless variable ce[0][8][8] 0.54/0.62 c remove useless variable ce[0][9][0] 0.54/0.62 c remove useless variable ce[0][9][1] 0.54/0.62 c remove useless variable ce[0][9][2] 0.54/0.62 c remove useless variable ce[0][9][3] 0.54/0.62 c remove useless variable ce[0][9][4] 0.54/0.62 c remove useless variable ce[0][9][5] 0.54/0.62 c remove useless variable ce[0][9][6] 0.54/0.62 c remove useless variable ce[0][9][7] 0.54/0.62 c remove useless variable ce[0][9][8] 0.54/0.62 c remove useless variable ce[0][9][9] 0.54/0.62 c remove useless variable ce[1][0][0] 0.54/0.62 c remove useless variable ce[1][1][0] 0.54/0.62 c remove useless variable ce[1][1][1] 0.54/0.62 c remove useless variable ce[1][2][0] 0.54/0.62 c remove useless variable ce[1][2][1] 0.54/0.62 c remove useless variable ce[1][2][2] 0.54/0.62 c remove useless variable ce[1][3][0] 0.54/0.62 c remove useless variable ce[1][3][1] 0.54/0.62 c remove useless variable ce[1][3][2] 0.54/0.62 c remove useless variable ce[1][3][3] 0.54/0.62 c remove useless variable ce[1][4][0] 0.54/0.62 c remove useless variable ce[1][4][1] 0.54/0.62 c remove useless variable ce[1][4][2] 0.54/0.62 c remove useless variable ce[1][4][3] 0.54/0.62 c remove useless variable ce[1][4][4] 0.54/0.62 c remove useless variable ce[1][5][0] 0.54/0.62 c remove useless variable ce[1][5][1] 0.54/0.62 c remove useless variable ce[1][5][2] 0.54/0.62 c remove useless variable ce[1][5][3] 0.54/0.62 c remove useless variable ce[1][5][4] 0.54/0.62 c remove useless variable ce[1][5][5] 0.54/0.62 c remove useless variable ce[1][6][0] 0.54/0.62 c remove useless variable ce[1][6][1] 0.54/0.62 c remove useless variable ce[1][6][2] 0.54/0.62 c remove useless variable ce[1][6][3] 0.54/0.62 c remove useless variable ce[1][6][4] 0.54/0.62 c remove useless variable ce[1][6][5] 0.54/0.62 c remove useless variable ce[1][6][6] 0.54/0.62 c remove useless variable ce[1][7][0] 0.54/0.62 c remove useless variable ce[1][7][1] 0.54/0.62 c remove useless variable ce[1][7][2] 0.54/0.62 c remove useless variable ce[1][7][3] 0.54/0.62 c remove useless variable ce[1][7][4] 0.54/0.62 c remove useless variable ce[1][7][5] 0.54/0.62 c remove useless variable ce[1][7][6] 0.54/0.62 c remove useless variable ce[1][7][7] 0.54/0.62 c remove useless variable ce[1][8][0] 0.54/0.62 c remove useless variable ce[1][8][1] 0.54/0.62 c remove useless variable ce[1][8][2] 0.54/0.62 c remove useless variable ce[1][8][3] 0.54/0.62 c remove useless variable ce[1][8][4] 0.54/0.62 c remove useless variable ce[1][8][5] 0.54/0.62 c remove useless variable ce[1][8][6] 0.54/0.62 c remove useless variable ce[1][8][7] 0.54/0.62 c remove useless variable ce[1][8][8] 0.54/0.62 c remove useless variable ce[1][9][0] 0.54/0.62 c remove useless variable ce[1][9][1] 0.54/0.62 c remove useless variable ce[1][9][2] 0.54/0.62 c remove useless variable ce[1][9][3] 0.54/0.62 c remove useless variable ce[1][9][4] 0.54/0.62 c remove useless variable ce[1][9][5] 0.54/0.62 c remove useless variable ce[1][9][6] 0.54/0.62 c remove useless variable ce[1][9][7] 0.54/0.62 c remove useless variable ce[1][9][8] 0.54/0.62 c remove useless variable ce[1][9][9] 0.54/0.62 c remove useless variable ce[2][0][0] 0.54/0.62 c remove useless variable ce[2][1][0] 0.54/0.62 c remove useless variable ce[2][1][1] 0.54/0.62 c remove useless variable ce[2][2][0] 0.54/0.62 c remove useless variable ce[2][2][1] 0.54/0.62 c remove useless variable ce[2][2][2] 0.54/0.62 c remove useless variable ce[2][3][0] 0.54/0.62 c remove useless variable ce[2][3][1] 0.54/0.62 c remove useless variable ce[2][3][2] 0.54/0.62 c remove useless variable ce[2][3][3] 0.54/0.62 c remove useless variable ce[2][4][0] 0.54/0.62 c remove useless variable ce[2][4][1] 0.54/0.62 c remove useless variable ce[2][4][2] 0.54/0.62 c remove useless variable ce[2][4][3] 0.54/0.62 c remove useless variable ce[2][4][4] 0.54/0.62 c remove useless variable ce[2][5][0] 0.54/0.62 c remove useless variable ce[2][5][1] 0.54/0.62 c remove useless variable ce[2][5][2] 0.54/0.62 c remove useless variable ce[2][5][3] 0.54/0.62 c remove useless variable ce[2][5][4] 0.54/0.62 c remove useless variable ce[2][5][5] 0.54/0.62 c remove useless variable ce[2][6][0] 0.54/0.62 c remove useless variable ce[2][6][1] 0.54/0.62 c remove useless variable ce[2][6][2] 0.54/0.62 c remove useless variable ce[2][6][3] 0.54/0.62 c remove useless variable ce[2][6][4] 0.54/0.62 c remove useless variable ce[2][6][5] 0.54/0.62 c remove useless variable ce[2][6][6] 0.54/0.62 c remove useless variable ce[2][7][0] 0.54/0.62 c remove useless variable ce[2][7][1] 0.54/0.62 c remove useless variable ce[2][7][2] 0.54/0.62 c remove useless variable ce[2][7][3] 0.54/0.62 c remove useless variable ce[2][7][4] 0.54/0.62 c remove useless variable ce[2][7][5] 0.54/0.62 c remove useless variable ce[2][7][6] 0.54/0.62 c remove useless variable ce[2][7][7] 0.54/0.62 c remove useless variable ce[2][8][0] 0.54/0.62 c remove useless variable ce[2][8][1] 0.54/0.62 c remove useless variable ce[2][8][2] 0.54/0.62 c remove useless variable ce[2][8][3] 0.54/0.62 c remove useless variable ce[2][8][4] 0.54/0.62 c remove useless variable ce[2][8][5] 0.54/0.62 c remove useless variable ce[2][8][6] 0.54/0.62 c remove useless variable ce[2][8][7] 0.54/0.62 c remove useless variable ce[2][8][8] 0.54/0.62 c remove useless variable ce[2][9][0] 0.54/0.62 c remove useless variable ce[2][9][1] 0.54/0.62 c remove useless variable ce[2][9][2] 0.54/0.62 c remove useless variable ce[2][9][3] 0.54/0.62 c remove useless variable ce[2][9][4] 0.54/0.62 c remove useless variable ce[2][9][5] 0.54/0.62 c remove useless variable ce[2][9][6] 0.54/0.62 c remove useless variable ce[2][9][7] 0.54/0.62 c remove useless variable ce[2][9][8] 0.54/0.62 c remove useless variable ce[2][9][9] 0.54/0.62 c remove useless variable ce[3][0][0] 0.54/0.62 c remove useless variable ce[3][1][0] 0.54/0.62 c remove useless variable ce[3][1][1] 0.54/0.62 c remove useless variable ce[3][2][0] 0.54/0.62 c remove useless variable ce[3][2][1] 0.54/0.62 c remove useless variable ce[3][2][2] 0.54/0.62 c remove useless variable ce[3][3][0] 0.54/0.62 c remove useless variable ce[3][3][1] 0.54/0.62 c remove useless variable ce[3][3][2] 0.54/0.62 c remove useless variable ce[3][3][3] 0.54/0.62 c remove useless variable ce[3][4][0] 0.54/0.62 c remove useless variable ce[3][4][1] 0.54/0.62 c remove useless variable ce[3][4][2] 0.54/0.62 c remove useless variable ce[3][4][3] 0.54/0.62 c remove useless variable ce[3][4][4] 0.54/0.62 c remove useless variable ce[3][5][0] 0.54/0.62 c remove useless variable ce[3][5][1] 0.54/0.62 c remove useless variable ce[3][5][2] 0.54/0.62 c remove useless variable ce[3][5][3] 0.54/0.62 c remove useless variable ce[3][5][4] 0.54/0.62 c remove useless variable ce[3][5][5] 0.54/0.62 c remove useless variable ce[3][6][0] 0.54/0.62 c remove useless variable ce[3][6][1] 0.54/0.62 c remove useless variable ce[3][6][2] 0.54/0.62 c remove useless variable ce[3][6][3] 0.54/0.62 c remove useless variable ce[3][6][4] 0.54/0.62 c remove useless variable ce[3][6][5] 0.54/0.62 c remove useless variable ce[3][6][6] 0.54/0.62 c remove useless variable ce[3][7][0] 0.54/0.62 c remove useless variable ce[3][7][1] 0.54/0.62 c remove useless variable ce[3][7][2] 0.54/0.62 c remove useless variable ce[3][7][3] 0.54/0.62 c remove useless variable ce[3][7][4] 0.54/0.62 c remove useless variable ce[3][7][5] 0.54/0.62 c remove useless variable ce[3][7][6] 0.54/0.62 c remove useless variable ce[3][7][7] 0.54/0.62 c remove useless variable ce[3][8][0] 0.54/0.62 c remove useless variable ce[3][8][1] 0.54/0.62 c remove useless variable ce[3][8][2] 0.54/0.62 c remove useless variable ce[3][8][3] 0.54/0.62 c remove useless variable ce[3][8][4] 0.54/0.62 c remove useless variable ce[3][8][5] 0.54/0.62 c remove useless variable ce[3][8][6] 0.54/0.62 c remove useless variable ce[3][8][7] 0.54/0.62 c remove useless variable ce[3][8][8] 0.54/0.62 c remove useless variable ce[3][9][0] 0.54/0.62 c remove useless variable ce[3][9][1] 0.54/0.62 c remove useless variable ce[3][9][2] 0.54/0.62 c remove useless variable ce[3][9][3] 0.54/0.62 c remove useless variable ce[3][9][4] 0.54/0.62 c remove useless variable ce[3][9][5] 0.54/0.62 c remove useless variable ce[3][9][6] 0.54/0.62 c remove useless variable ce[3][9][7] 0.54/0.62 c remove useless variable ce[3][9][8] 0.54/0.62 c remove useless variable ce[3][9][9] 0.54/0.62 c remove useless variable ce[4][0][0] 0.54/0.62 c remove useless variable ce[4][1][0] 0.54/0.62 c remove useless variable ce[4][1][1] 0.54/0.62 c remove useless variable ce[4][2][0] 0.54/0.62 c remove useless variable ce[4][2][1] 0.54/0.62 c remove useless variable ce[4][2][2] 0.54/0.62 c remove useless variable ce[4][3][0] 0.54/0.62 c remove useless variable ce[4][3][1] 0.54/0.62 c remove useless variable ce[4][3][2] 0.54/0.62 c remove useless variable ce[4][3][3] 0.54/0.62 c remove useless variable ce[4][4][0] 0.54/0.62 c remove useless variable ce[4][4][1] 0.54/0.62 c remove useless variable ce[4][4][2] 0.54/0.62 c remove useless variable ce[4][4][3] 0.54/0.62 c remove useless variable ce[4][4][4] 0.54/0.62 c remove useless variable ce[4][5][0] 0.54/0.62 c remove useless variable ce[4][5][1] 0.54/0.62 c remove useless variable ce[4][5][2] 0.54/0.62 c remove useless variable ce[4][5][3] 0.54/0.62 c remove useless variable ce[4][5][4] 0.54/0.62 c remove useless variable ce[4][5][5] 0.54/0.62 c remove useless variable ce[4][6][0] 0.54/0.62 c remove useless variable ce[4][6][1] 0.54/0.63 c remove useless variable ce[4][6][2] 0.54/0.63 c remove useless variable ce[4][6][3] 0.54/0.63 c remove useless variable ce[4][6][4] 0.54/0.63 c remove useless variable ce[4][6][5] 0.54/0.63 c remove useless variable ce[4][6][6] 0.54/0.63 c remove useless variable ce[4][7][0] 0.54/0.63 c remove useless variable ce[4][7][1] 0.54/0.63 c remove useless variable ce[4][7][2] 0.54/0.63 c remove useless variable ce[4][7][3] 0.54/0.63 c remove useless variable ce[4][7][4] 0.54/0.63 c remove useless variable ce[4][7][5] 0.54/0.63 c remove useless variable ce[4][7][6] 0.54/0.63 c remove useless variable ce[4][7][7] 0.54/0.63 c remove useless variable ce[4][8][0] 0.54/0.63 c remove useless variable ce[4][8][1] 0.54/0.63 c remove useless variable ce[4][8][2] 0.54/0.63 c remove useless variable ce[4][8][3] 0.54/0.63 c remove useless variable ce[4][8][4] 0.54/0.63 c remove useless variable ce[4][8][5] 0.54/0.63 c remove useless variable ce[4][8][6] 0.54/0.63 c remove useless variable ce[4][8][7] 0.54/0.63 c remove useless variable ce[4][8][8] 0.54/0.63 c remove useless variable ce[4][9][0] 0.54/0.63 c remove useless variable ce[4][9][1] 0.54/0.63 c remove useless variable ce[4][9][2] 0.54/0.63 c remove useless variable ce[4][9][3] 0.54/0.63 c remove useless variable ce[4][9][4] 0.54/0.63 c remove useless variable ce[4][9][5] 0.54/0.63 c remove useless variable ce[4][9][6] 0.54/0.63 c remove useless variable ce[4][9][7] 0.54/0.63 c remove useless variable ce[4][9][8] 0.54/0.63 c remove useless variable ce[4][9][9] 0.54/0.63 c remove useless variable ce[5][0][0] 0.54/0.63 c remove useless variable ce[5][1][0] 0.54/0.63 c remove useless variable ce[5][1][1] 0.54/0.63 c remove useless variable ce[5][2][0] 0.54/0.63 c remove useless variable ce[5][2][1] 0.54/0.63 c remove useless variable ce[5][2][2] 0.54/0.63 c remove useless variable ce[5][3][0] 0.54/0.63 c remove useless variable ce[5][3][1] 0.54/0.63 c remove useless variable ce[5][3][2] 0.54/0.63 c remove useless variable ce[5][3][3] 0.54/0.63 c remove useless variable ce[5][4][0] 0.54/0.63 c remove useless variable ce[5][4][1] 0.54/0.63 c remove useless variable ce[5][4][2] 0.54/0.63 c remove useless variable ce[5][4][3] 0.54/0.63 c remove useless variable ce[5][4][4] 0.54/0.63 c remove useless variable ce[5][5][0] 0.54/0.63 c remove useless variable ce[5][5][1] 0.54/0.63 c remove useless variable ce[5][5][2] 0.54/0.63 c remove useless variable ce[5][5][3] 0.54/0.63 c remove useless variable ce[5][5][4] 0.54/0.63 c remove useless variable ce[5][5][5] 0.54/0.63 c remove useless variable ce[5][6][0] 0.54/0.63 c remove useless variable ce[5][6][1] 0.54/0.63 c remove useless variable ce[5][6][2] 0.54/0.63 c remove useless variable ce[5][6][3] 0.54/0.63 c remove useless variable ce[5][6][4] 0.54/0.63 c remove useless variable ce[5][6][5] 0.54/0.63 c remove useless variable ce[5][6][6] 0.54/0.63 c remove useless variable ce[5][7][0] 0.54/0.63 c remove useless variable ce[5][7][1] 0.54/0.63 c remove useless variable ce[5][7][2] 0.54/0.63 c remove useless variable ce[5][7][3] 0.54/0.63 c remove useless variable ce[5][7][4] 0.54/0.63 c remove useless variable ce[5][7][5] 0.54/0.63 c remove useless variable ce[5][7][6] 0.54/0.63 c remove useless variable ce[5][7][7] 0.54/0.63 c remove useless variable ce[5][8][0] 0.54/0.63 c remove useless variable ce[5][8][1] 0.54/0.63 c remove useless variable ce[5][8][2] 0.54/0.63 c remove useless variable ce[5][8][3] 0.54/0.63 c remove useless variable ce[5][8][4] 0.54/0.63 c remove useless variable ce[5][8][5] 0.54/0.63 c remove useless variable ce[5][8][6] 0.54/0.63 c remove useless variable ce[5][8][7] 0.54/0.63 c remove useless variable ce[5][8][8] 0.54/0.63 c remove useless variable ce[5][9][0] 0.54/0.63 c remove useless variable ce[5][9][1] 0.54/0.63 c remove useless variable ce[5][9][2] 0.54/0.63 c remove useless variable ce[5][9][3] 0.54/0.63 c remove useless variable ce[5][9][4] 0.54/0.63 c remove useless variable ce[5][9][5] 0.54/0.63 c remove useless variable ce[5][9][6] 0.54/0.63 c remove useless variable ce[5][9][7] 0.54/0.63 c remove useless variable ce[5][9][8] 0.54/0.63 c remove useless variable ce[5][9][9] 0.54/0.63 c remove useless variable ce[6][0][0] 0.54/0.63 c remove useless variable ce[6][1][0] 0.54/0.63 c remove useless variable ce[6][1][1] 0.54/0.63 c remove useless variable ce[6][2][0] 0.54/0.63 c remove useless variable ce[6][2][1] 0.54/0.63 c remove useless variable ce[6][2][2] 0.54/0.63 c remove useless variable ce[6][3][0] 0.54/0.63 c remove useless variable ce[6][3][1] 0.54/0.63 c remove useless variable ce[6][3][2] 0.54/0.63 c remove useless variable ce[6][3][3] 0.54/0.63 c remove useless variable ce[6][4][0] 0.54/0.63 c remove useless variable ce[6][4][1] 0.54/0.63 c remove useless variable ce[6][4][2] 0.54/0.63 c remove useless variable ce[6][4][3] 0.54/0.63 c remove useless variable ce[6][4][4] 0.54/0.63 c remove useless variable ce[6][5][0] 0.54/0.63 c remove useless variable ce[6][5][1] 0.54/0.63 c remove useless variable ce[6][5][2] 0.54/0.63 c remove useless variable ce[6][5][3] 0.54/0.63 c remove useless variable ce[6][5][4] 0.54/0.63 c remove useless variable ce[6][5][5] 0.54/0.63 c remove useless variable ce[6][6][0] 0.54/0.63 c remove useless variable ce[6][6][1] 0.54/0.63 c remove useless variable ce[6][6][2] 0.54/0.63 c remove useless variable ce[6][6][3] 0.54/0.63 c remove useless variable ce[6][6][4] 0.54/0.63 c remove useless variable ce[6][6][5] 0.54/0.63 c remove useless variable ce[6][6][6] 0.54/0.63 c remove useless variable ce[6][7][0] 0.54/0.63 c remove useless variable ce[6][7][1] 0.54/0.63 c remove useless variable ce[6][7][2] 0.54/0.63 c remove useless variable ce[6][7][3] 0.54/0.63 c remove useless variable ce[6][7][4] 0.54/0.63 c remove useless variable ce[6][7][5] 0.54/0.63 c remove useless variable ce[6][7][6] 0.54/0.63 c remove useless variable ce[6][7][7] 0.54/0.63 c remove useless variable ce[6][8][0] 0.54/0.63 c remove useless variable ce[6][8][1] 0.54/0.63 c remove useless variable ce[6][8][2] 0.54/0.63 c remove useless variable ce[6][8][3] 0.54/0.63 c remove useless variable ce[6][8][4] 0.54/0.63 c remove useless variable ce[6][8][5] 0.54/0.63 c remove useless variable ce[6][8][6] 0.54/0.63 c remove useless variable ce[6][8][7] 0.54/0.63 c remove useless variable ce[6][8][8] 0.54/0.63 c remove useless variable ce[6][9][0] 0.54/0.63 c remove useless variable ce[6][9][1] 0.54/0.63 c remove useless variable ce[6][9][2] 0.54/0.63 c remove useless variable ce[6][9][3] 0.54/0.63 c remove useless variable ce[6][9][4] 0.54/0.63 c remove useless variable ce[6][9][5] 0.54/0.63 c remove useless variable ce[6][9][6] 0.54/0.63 c remove useless variable ce[6][9][7] 0.54/0.63 c remove useless variable ce[6][9][8] 0.54/0.63 c remove useless variable ce[6][9][9] 0.54/0.63 c remove useless variable ce[7][0][0] 0.54/0.63 c remove useless variable ce[7][1][0] 0.54/0.63 c remove useless variable ce[7][1][1] 0.54/0.63 c remove useless variable ce[7][2][0] 0.54/0.63 c remove useless variable ce[7][2][1] 0.54/0.63 c remove useless variable ce[7][2][2] 0.54/0.63 c remove useless variable ce[7][3][0] 0.54/0.63 c remove useless variable ce[7][3][1] 0.54/0.63 c remove useless variable ce[7][3][2] 0.54/0.63 c remove useless variable ce[7][3][3] 0.54/0.63 c remove useless variable ce[7][4][0] 0.54/0.63 c remove useless variable ce[7][4][1] 0.54/0.63 c remove useless variable ce[7][4][2] 0.54/0.63 c remove useless variable ce[7][4][3] 0.54/0.63 c remove useless variable ce[7][4][4] 0.54/0.63 c remove useless variable ce[7][5][0] 0.54/0.63 c remove useless variable ce[7][5][1] 0.54/0.63 c remove useless variable ce[7][5][2] 0.54/0.63 c remove useless variable ce[7][5][3] 0.54/0.63 c remove useless variable ce[7][5][4] 0.54/0.63 c remove useless variable ce[7][5][5] 0.54/0.63 c remove useless variable ce[7][6][0] 0.54/0.63 c remove useless variable ce[7][6][1] 0.54/0.63 c remove useless variable ce[7][6][2] 0.54/0.63 c remove useless variable ce[7][6][3] 0.54/0.63 c remove useless variable ce[7][6][4] 0.54/0.63 c remove useless variable ce[7][6][5] 0.54/0.63 c remove useless variable ce[7][6][6] 0.54/0.63 c remove useless variable ce[7][7][0] 0.54/0.63 c remove useless variable ce[7][7][1] 0.54/0.63 c remove useless variable ce[7][7][2] 0.54/0.63 c remove useless variable ce[7][7][3] 0.54/0.63 c remove useless variable ce[7][7][4] 0.54/0.63 c remove useless variable ce[7][7][5] 0.54/0.63 c remove useless variable ce[7][7][6] 0.54/0.63 c remove useless variable ce[7][7][7] 0.54/0.63 c remove useless variable ce[7][8][0] 0.54/0.63 c remove useless variable ce[7][8][1] 0.54/0.63 c remove useless variable ce[7][8][2] 0.54/0.63 c remove useless variable ce[7][8][3] 0.54/0.63 c remove useless variable ce[7][8][4] 0.54/0.63 c remove useless variable ce[7][8][5] 0.54/0.63 c remove useless variable ce[7][8][6] 0.54/0.63 c remove useless variable ce[7][8][7] 0.54/0.63 c remove useless variable ce[7][8][8] 0.54/0.63 c remove useless variable ce[7][9][0] 0.54/0.63 c remove useless variable ce[7][9][1] 0.54/0.63 c remove useless variable ce[7][9][2] 0.54/0.63 c remove useless variable ce[7][9][3] 0.54/0.63 c remove useless variable ce[7][9][4] 0.54/0.63 c remove useless variable ce[7][9][5] 0.54/0.63 c remove useless variable ce[7][9][6] 0.54/0.63 c remove useless variable ce[7][9][7] 0.54/0.63 c remove useless variable ce[7][9][8] 0.54/0.63 c remove useless variable ce[7][9][9] 0.54/0.63 c remove useless variable ce[8][0][0] 0.54/0.63 c remove useless variable ce[8][1][0] 0.54/0.63 c remove useless variable ce[8][1][1] 0.54/0.63 c remove useless variable ce[8][2][0] 0.54/0.63 c remove useless variable ce[8][2][1] 0.54/0.63 c remove useless variable ce[8][2][2] 0.54/0.63 c remove useless variable ce[8][3][0] 0.54/0.63 c remove useless variable ce[8][3][1] 0.54/0.63 c remove useless variable ce[8][3][2] 0.54/0.63 c remove useless variable ce[8][3][3] 0.54/0.63 c remove useless variable ce[8][4][0] 0.54/0.63 c remove useless variable ce[8][4][1] 0.54/0.63 c remove useless variable ce[8][4][2] 0.54/0.63 c remove useless variable ce[8][4][3] 0.54/0.63 c remove useless variable ce[8][4][4] 0.54/0.63 c remove useless variable ce[8][5][0] 0.54/0.63 c remove useless variable ce[8][5][1] 0.54/0.63 c remove useless variable ce[8][5][2] 0.54/0.63 c remove useless variable ce[8][5][3] 0.54/0.63 c remove useless variable ce[8][5][4] 0.54/0.63 c remove useless variable ce[8][5][5] 0.54/0.63 c remove useless variable ce[8][6][0] 0.54/0.63 c remove useless variable ce[8][6][1] 0.54/0.63 c remove useless variable ce[8][6][2] 0.54/0.63 c remove useless variable ce[8][6][3] 0.54/0.63 c remove useless variable ce[8][6][4] 0.54/0.63 c remove useless variable ce[8][6][5] 0.54/0.63 c remove useless variable ce[8][6][6] 0.54/0.63 c remove useless variable ce[8][7][0] 0.54/0.63 c remove useless variable ce[8][7][1] 0.54/0.63 c remove useless variable ce[8][7][2] 0.54/0.63 c remove useless variable ce[8][7][3] 0.54/0.63 c remove useless variable ce[8][7][4] 0.54/0.63 c remove useless variable ce[8][7][5] 0.54/0.63 c remove useless variable ce[8][7][6] 0.54/0.63 c remove useless variable ce[8][7][7] 0.54/0.63 c remove useless variable ce[8][8][0] 0.54/0.63 c remove useless variable ce[8][8][1] 0.54/0.63 c remove useless variable ce[8][8][2] 0.54/0.63 c remove useless variable ce[8][8][3] 0.54/0.63 c remove useless variable ce[8][8][4] 0.54/0.63 c remove useless variable ce[8][8][5] 0.54/0.63 c remove useless variable ce[8][8][6] 0.54/0.63 c remove useless variable ce[8][8][7] 0.54/0.63 c remove useless variable ce[8][8][8] 0.54/0.63 c remove useless variable ce[8][9][0] 0.54/0.63 c remove useless variable ce[8][9][1] 0.54/0.63 c remove useless variable ce[8][9][2] 0.54/0.63 c remove useless variable ce[8][9][3] 0.54/0.63 c remove useless variable ce[8][9][4] 0.54/0.63 c remove useless variable ce[8][9][5] 0.54/0.63 c remove useless variable ce[8][9][6] 0.54/0.63 c remove useless variable ce[8][9][7] 0.54/0.63 c remove useless variable ce[8][9][8] 0.54/0.63 c remove useless variable ce[8][9][9] 0.94/1.03 c 101 586 120050 123899 0 0 486 486 481 1.33/1.42 c 211 1021 225313 302319 0 0 4 326 320 1.73/1.87 c 332 1484 333988 966740 0 0 6 343 321 1.83/1.91 c 465 1646 341509 1104087 0 0 5 30 22 2.13/2.25 c 611 2051 427601 1422710 0 0 4 260 101 2.43/2.54 c 771 2431 495888 1736857 0 0 8 221 43 2.53/2.60 c 947 2650 505006 1996073 0 0 4 44 30 2.53/2.68 c 1140 2899 513406 2324870 0 0 8 57 39 2.63/2.74 c 1352 3160 521939 2672213 0 0 4 50 37 2.73/2.81 c 1585 3449 530680 3082040 0 0 5 57 38 3.04/3.11 c 1841 3935 598115 3664062 0 0 7 231 45 3.33/3.47 c 2122 4548 682906 4257196 0 0 8 333 155 3.73/3.83 c 2431 5186 759597 5066498 0 0 9 330 100 4.23/4.31 c 2770 6010 883730 6018866 0 0 486 486 484 4.43/4.55 c 3142 6428 905244 7068677 0 0 6 47 45 4.83/4.95 c 3551 6880 926184 9314642 0 0 8 44 43 5.13/5.25 c 4000 7403 941225 10871607 0 0 7 75 63 5.32/5.43 c 4493 7910 961041 11809187 0 0 13 14 12 5.62/5.76 c 5035 8511 986101 13607451 0 0 50 59 58 5.82/6.00 c 5631 9201 1012369 14591434 0 0 7 92 19 6.22/6.32 c 6286 9915 1033779 16041058 0 0 5 59 56 7.22/7.38 c 7006 10938 1117300 20735610 0 0 6 303 92 7.82/7.98 c 7798 11764 1157651 23345105 0 0 12 34 33 8.03/8.10 c 8669 12652 1186402 24185951 0 0 8 17 16 8.52/8.62 c 9627 13690 1222471 26612113 0 0 12 70 68 9.12/9.25 c 10680 14770 1273662 29785893 0 0 8 20 18 9.42/9.60 c 11838 15986 1310984 31709780 0 0 11 57 56 9.82/9.92 c 13111 17276 1350116 33938209 0 0 16 16 15 10.12/10.23 c 14511 18694 1393343 35949064 0 0 17 17 16 10.42/10.59 c 16051 20330 1438655 38022624 0 0 12 77 74 10.82/10.91 c 17745 22039 1489089 40199223 0 0 5 13 12 12.72/12.80 c 19608 24013 1553133 51966238 0 0 7 82 79 12.93/13.05 c 21657 26076 1612670 53903104 0 0 11 11 10 13.52/13.63 c 23910 28373 1689267 57389255 0 0 41 41 40 14.42/14.53 c 26388 30897 1762457 63251234 0 0 5 42 34 15.03/15.11 c 29113 33657 1844666 67478741 0 0 12 16 15 15.62/15.71 c 32110 36678 1929140 71793950 0 0 9 19 18 16.62/16.76 c 35406 40305 2085905 77040246 0 0 5 323 46 17.32/17.45 c 39031 43949 2194121 81725773 0 0 13 13 12 23.42/23.50 c 43018 48058 2334525 114323731 0 0 4 67 65 23.92/24.01 c 47403 52461 2460518 118456266 0 0 10 10 9 24.82/24.90 c 52226 57310 2597501 124553994 0 0 4 17 16 25.72/25.85 c 57531 62657 2750855 131125861 0 0 7 10 9 31.12/31.21 c 63366 68542 2948686 154523180 0 0 4 38 30 33.92/34.02 c 69784 75006 3152472 171607384 0 0 3 33 27 36.71/36.83 c 76843 82198 3323169 193839182 0 0 5 54 44 43.41/43.52 c 84607 90016 3571658 238421275 0 0 6 38 37 46.92/47.01 c 93147 98768 3800894 267393459 0 0 5 33 32 52.12/52.27 c 102541 108532 4089443 295984833 0 0 4 337 142 55.22/55.37 c 112874 119247 4300879 313950317 0 0 5 339 190 60.42/60.55 c 124240 130732 4541439 348597438 0 0 5 94 92 61.82/61.97 c 136742 143270 4895129 360385335 0 0 11 11 10 64.31/64.48 c 150494 157071 5273774 377991388 0 0 4 21 19 71.71/71.88 c 165621 172259 5712071 430174904 0 0 5 30 29 78.51/78.69 c 182260 189458 6138569 480042367 0 0 5 57 56 84.51/84.67 c 200562 207838 6624860 527798673 0 0 5 40 39 93.11/93.22 c 220694 228055 7141963 588082123 0 0 4 42 41 97.92/98.02 c 242839 250701 7777349 623130885 0 0 4 32 31 101.41/101.51 c 267198 275564 7957074 635851258 0 0 4 346 340 117.51/117.61 c 293992 302592 8572523 754629650 0 0 3 90 87 122.91/123.02 c 323465 332160 9432971 792614347 0 0 4 33 32 128.80/128.94 c 355885 364672 10300006 833583768 0 0 4 24 23 143.91/144.05 c 391547 400442 11259020 948630475 0 0 4 32 31 162.91/163.10 c 430775 439801 12374407 1085536605 0 0 7 46 45 172.10/172.27 c 473925 483090 13561449 1155065260 0 0 4 46 45 195.59/195.78 c 521390 532083 14851970 1341691377 0 0 4 73 72 212.79/212.98 c 573601 584433 16654241 1435361205 0 0 4 31 30 240.79/240.97 c 631033 642031 18289008 1650680482 0 0 5 42 41 254.38/254.56 c 694208 705382 19955138 1740891228 0 0 5 39 38 289.48/289.67 c 763700 775070 21930394 1996482333 0 0 7 45 44 319.88/320.10 c 840141 852912 23868130 2238139027 0 0 7 66 65 365.17/365.36 c 924226 938007 25165718 2600239061 0 0 3 368 359 393.07/393.27 c 1016719 1032007 26127064 2801094008 0 0 3 394 367 421.77/421.98 c 1118461 1134214 26955318 2966219392 0 0 3 166 164 456.77/457.00 c 1230377 1247367 27938339 3170354569 0 0 3 244 225 595.77/595.98 c 1353484 1374071 32109043 4015230146 0 0 6 220 102 639.26/639.46 c 1488901 1512633 33704903 4308581334 0 0 6 231 215 661.97/662.17 c 1637859 1661941 37575949 4478009382 0 0 7 30 29 743.16/743.32 c 1801712 1827955 42395063 5057614785 0 0 4 38 37 815.87/816.09 c 1981950 2013106 46486981 5661793636 0 0 4 78 77 887.36/887.58 c 2180211 2215391 51334527 6218088062 0 0 4 92 91 997.15/997.31 c 2398298 2434855 57744778 6999874155 0 0 10 13 12 1045.25/1045.44 c 2638193 2675681 63807318 7304449215 0 0 4 81 31 1245.35/1245.54 c 2902077 2940433 68977596 8668509819 0 0 3 133 131 1276.95/1277.11 c 3192349 3231313 77723900 8941714056 0 0 8 9 8 1312.64/1312.85 c 3511648 3551292 87072951 9242685875 0 0 4 13 12 1563.94/1564.14 c 3862876 3903340 98437811 10309035500 0 0 5 44 43 1897.73/1897.95 c 4249226 4290649 109313180 12341201379 0 0 5 61 60 2041.93/2042.12 c 4674211 4716781 117266003 13410874109 0 0 5 120 119 2237.01/2237.24 c 5141694 5185366 128635596 15008821252 0 0 5 78 75 2317.21/2317.48 c 5655925 5700937 140846975 15542340347 0 0 10 160 36 2400.01/2400.20 2400.01/2400.20 c *** INTERRUPTED *** 2400.01/2400.20 c restarts : 91 2400.01/2400.20 c conflicts : 5790808 (2413 /sec) 2400.01/2400.20 c decisions : 5836388 (2432 /sec) 2400.01/2400.20 c propagations : 16044810221 (6685351 /sec) 2400.01/2400.20 c root propagations : 0 2400.01/2400.20 c filter calls : 143070818 (59613 /sec) 2400.01/2400.20 c useless filter calls : 101350407 (70 %) 2400.01/2400.20 c Memory used : 55.23 MB 2400.01/2400.20 c CPU time : 2399.99 s 2400.01/2400.20 2400.01/2400.20 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 (15430 MiB free) memory of node 1: 16384 MiB (15656 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4267266-1502602881/watcher-4267266-1502602881 -o /tmp/evaluation-result-4267266-1502602881/solver-4267266-1502602881 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502597167-15985 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4267266-1502602881.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=17477, runsolver pid=17474 [startup+0.100108 s]* /proc/loadavg: 2.09 2.04 2.05 2/178 17481 /proc/meminfo: memFree=31828140/32770624 swapFree=67108860/67108860 [pid=17477] ppid=17474 vsize=32184 memory=8796 CPUtime=0.04 cores=0,2,4,6 /proc/17477/stat : 17477 (cosoco) R 17474 17477 11586 0 -1 4202496 2385 0 0 0 4 0 0 0 20 0 1 0 48628738 32956416 2199 18446744073709551615 4194304 5748600 140723081510256 140723081506904 140407542053861 0 0 1 0 0 0 0 17 0 0 0 5 0 0 7849824 7854664 19550208 140723081511369 140723081511464 140723081511464 140723081514958 0 /proc/17477/statm: 8046 2199 774 380 0 1464 0 Current children cumulated CPU time: 0.04 s Current children cumulated vsize: 32184 KiB Current children cumulated memory: 8796 KiB [startup+0.209333 s]* /proc/loadavg: 2.09 2.04 2.05 2/177 17481 /proc/meminfo: memFree=31825052/32770624 swapFree=67108860/67108860 [pid=17477] ppid=17474 vsize=35324 memory=11808 CPUtime=0.15 cores=0,2,4,6 /proc/17477/stat : 17477 (cosoco) R 17474 17477 11586 0 -1 4202496 3177 0 0 0 15 0 0 0 20 0 1 0 48628738 36171776 2952 18446744073709551615 4194304 5748600 140723081510256 140723081506904 140407542046367 0 0 1 0 0 0 0 17 0 0 0 5 0 0 7849824 7854664 19550208 140723081511369 140723081511464 140723081511464 140723081514958 0 /proc/17477/statm: 8831 2952 774 380 0 2249 0 Current children cumulated CPU time: 0.15 s Current children cumulated vsize: 35324 KiB Current children cumulated memory: 11808 KiB [startup+0.308751 s]* /proc/loadavg: 2.09 2.04 2.05 3/178 17484 /proc/meminfo: memFree=31816284/32770624 swapFree=67108860/67108860 [pid=17477] ppid=17474 vsize=38340 memory=14688 CPUtime=0.24 cores=0,2,4,6 /proc/17477/stat : 17477 (cosoco) R 17474 17477 11586 0 -1 4202496 3899 0 0 0 24 0 0 0 20 0 1 0 48628738 39260160 3672 18446744073709551615 4194304 5748600 140723081510256 140723081506904 140407542049598 0 0 1 0 0 0 0 17 0 0 0 5 0 0 7849824 7854664 19550208 140723081511369 140723081511464 140723081511464 140723081514958 0 /proc/17477/statm: 9585 3672 774 380 0 3003 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 38340 KiB Current children cumulated memory: 14688 KiB [startup+0.700237 s] /proc/loadavg: 2.09 2.04 2.05 3/178 17484 /proc/meminfo: memFree=31809460/32770624 swapFree=67108860/67108860 [pid=17477] ppid=17474 vsize=47640 memory=24256 CPUtime=0.63 cores=0,2,4,6 /proc/17477/stat : 17477 (cosoco) R 17474 17477 11586 0 -1 4202496 6267 0 0 0 63 0 0 0 20 0 1 0 48628738 48783360 6064 18446744073709551615 4194304 5748600 140723081510256 140723081504120 5000352 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 7849824 7854664 19550208 140723081511369 140723081511464 140723081511464 140723081514958 0 /proc/17477/statm: 11910 6064 815 380 0 5328 0 Current children cumulated CPU time: 0.63 s Current children cumulated vsize: 47640 KiB Current children cumulated memory: 24256 KiB [startup+1.50023 s] /proc/loadavg: 2.09 2.04 2.05 2/175 17495 /proc/meminfo: memFree=31819040/32770624 swapFree=67108860/67108860 [pid=17477] ppid=17474 vsize=49136 memory=25744 CPUtime=1.43 cores=0,2,4,6 /proc/17477/stat : 17477 (cosoco) R 17474 17477 11586 0 -1 4202496 6666 0 0 0 142 1 0 0 20 0 1 0 48628738 50315264 6436 18446744073709551615 4194304 5748600 140723081510256 140723081507656 5000332 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 7849824 7854664 19550208 140723081511369 140723081511464 140723081511464 140723081514958 0 /proc/17477/statm: 12284 6436 815 380 0 5702 0 Current children cumulated CPU time: 1.43 s Current children cumulated vsize: 49136 KiB Current children cumulated memory: 25744 KiB [startup+3.10882 s] /proc/loadavg: 2.09 2.04 2.05 3/181 17510 /proc/meminfo: memFree=31816140/32770624 swapFree=67108860/67108860 [pid=17477] ppid=17474 vsize=49268 memory=26004 CPUtime=3.04 cores=0,2,4,6 /proc/17477/stat : 17477 (cosoco) R 17474 17477 11586 0 -1 4202496 8483 0 0 0 303 1 0 0 20 0 1 0 48628738 50450432 6501 18446744073709551615 4194304 5748600 140723081510256 140723081507656 4916000 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 7849824 7854664 19550208 140723081511369 140723081511464 140723081511464 140723081514958 0 /proc/17477/statm: 12317 6501 816 380 0 5735 0 Current children cumulated CPU time: 3.04 s Current children cumulated vsize: 49268 KiB Current children cumulated memory: 26004 KiB [startup+6.30022 s] /proc/loadavg: 2.01 2.02 2.04 3/181 17510 /proc/meminfo: memFree=31812488/32770624 swapFree=67108860/67108860 [pid=17477] ppid=17474 vsize=50456 memory=27160 CPUtime=6.22 cores=0,2,4,6 /proc/17477/stat : 17477 (cosoco) R 17474 17477 11586 0 -1 4202496 9729 0 0 0 621 1 0 0 20 0 1 0 48628738 51666944 6790 18446744073709551615 4194304 5748600 140723081510256 140723081507656 5127439 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 7849824 7854664 19550208 140723081511369 140723081511464 140723081511464 140723081514958 0 /proc/17477/statm: 12614 6790 816 380 0 6032 0 Current children cumulated CPU time: 6.22 s Current children cumulated vsize: 50456 KiB Current children cumulated memory: 27160 KiB [startup+12.7002 s] /proc/loadavg: 2.01 2.02 2.04 3/181 17510 /proc/meminfo: memFree=31812284/32770624 swapFree=67108860/67108860 [pid=17477] ppid=17474 vsize=51512 memory=28184 CPUtime=12.62 cores=0,2,4,6 /proc/17477/stat : 17477 (cosoco) R 17474 17477 11586 0 -1 4202496 11078 0 0 0 1261 1 0 0 20 0 1 0 48628738 52748288 7046 18446744073709551615 4194304 5748600 140723081510256 140723081507400 4909749 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 7849824 7854664 19550208 140723081511369 140723081511464 140723081511464 140723081514958 0 /proc/17477/statm: 12878 7046 816 380 0 6296 0 Current children cumulated CPU time: 12.62 s Current children cumulated vsize: 51512 KiB Current children cumulated memory: 28184 KiB [startup+25.5002 s] /proc/loadavg: 2.00 2.02 2.04 3/181 17511 /proc/meminfo: memFree=31812084/32770624 swapFree=67108860/67108860 [pid=17477] ppid=17474 vsize=51908 memory=28732 CPUtime=25.42 cores=0,2,4,6 /proc/17477/stat : 17477 (cosoco) R 17474 17477 11586 0 -1 4202496 12800 0 0 0 2541 1 0 0 20 0 1 0 48628738 53153792 7183 18446744073709551615 4194304 5748600 140723081510256 140723081507656 4873872 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 7849824 7854664 19550208 140723081511369 140723081511464 140723081511464 140723081514958 0 /proc/17477/statm: 12977 7183 816 380 0 6395 0 Current children cumulated CPU time: 25.42 s Current children cumulated vsize: 51908 KiB Current children cumulated memory: 28732 KiB [startup+51.1086 s] /proc/loadavg: 2.00 2.02 2.04 3/181 17511 /proc/meminfo: memFree=31811464/32770624 swapFree=67108860/67108860 [pid=17477] ppid=17474 vsize=52436 memory=29172 CPUtime=51.02 cores=0,2,4,6 /proc/17477/stat : 17477 (cosoco) R 17474 17477 11586 0 -1 4202496 13823 0 0 0 5101 1 0 0 20 0 1 0 48628738 53694464 7293 18446744073709551615 4194304 5748600 140723081510256 140723081507656 4954367 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 7849824 7854664 19550208 140723081511369 140723081511464 140723081511464 140723081514958 0 /proc/17477/statm: 13109 7293 816 380 0 6527 0 Current children cumulated CPU time: 51.02 s Current children cumulated vsize: 52436 KiB Current children cumulated memory: 29172 KiB [startup+102.3 s] /proc/loadavg: 2.00 2.01 2.04 3/181 17514 /proc/meminfo: memFree=31810916/32770624 swapFree=67108860/67108860 [pid=17477] ppid=17474 vsize=53228 memory=29840 CPUtime=102.21 cores=0,2,4,6 /proc/17477/stat : 17477 (cosoco) R 17474 17477 11586 0 -1 4202496 15424 0 0 0 10219 2 0 0 20 0 1 0 48628738 54505472 7460 18446744073709551615 4194304 5748600 140723081510256 140723081507400 4903251 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 7849824 7854664 19550208 140723081511369 140723081511464 140723081511464 140723081514958 0 /proc/17477/statm: 13307 7460 816 380 0 6725 0 Current children cumulated CPU time: 102.21 s Current children cumulated vsize: 53228 KiB Current children cumulated memory: 29840 KiB [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.04 3/181 17516 /proc/meminfo: memFree=31810392/32770624 swapFree=67108860/67108860 [pid=17477] ppid=17474 vsize=53360 memory=30184 CPUtime=162.2 cores=0,2,4,6 /proc/17477/stat : 17477 (cosoco) R 17474 17477 11586 0 -1 4202496 16136 0 0 0 16218 2 0 0 20 0 1 0 48628738 54640640 7546 18446744073709551615 4194304 5748600 140723081510256 140723081507656 4910121 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 7849824 7854664 19550208 140723081511369 140723081511464 140723081511464 140723081514958 0 /proc/17477/statm: 13340 7546 816 380 0 6758 0 Current children cumulated CPU time: 162.2 s Current children cumulated vsize: 53360 KiB Current children cumulated memory: 30184 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.01 2.04 3/184 17532 /proc/meminfo: memFree=31806104/32770624 swapFree=67108860/67108860 [pid=17477] ppid=17474 vsize=53492 memory=30252 CPUtime=222.19 cores=0,2,4,6 /proc/17477/stat : 17477 (cosoco) R 17474 17477 11586 0 -1 4202496 16775 0 0 0 22217 2 0 0 20 0 1 0 48628738 54775808 7563 18446744073709551615 4194304 5748600 140723081510256 140723081507656 5000352 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 7849824 7854664 19550208 140723081511369 140723081511464 140723081511464 140723081514958 0 /proc/17477/statm: 13373 7563 816 380 0 6791 0 Current children cumulated CPU time: 222.19 s Current children cumulated vsize: 53492 KiB Current children cumulated memory: 30252 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.04 3/181 17595 /proc/meminfo: memFree=31792604/32770624 swapFree=67108860/67108860 [pid=17477] ppid=17474 vsize=53492 memory=30288 CPUtime=282.18 cores=0,2,4,6 /proc/17477/stat : 17477 (cosoco) R 17474 17477 11586 0 -1 4202496 17420 0 0 0 28216 2 0 0 20 0 1 0 48628738 54775808 7572 18446744073709551615 4194304 5748600 140723081510256 140723081507656 4973102 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 7849824 7854664 19550208 140723081511369 140723081511464 140723081511464 140723081514958 0 /proc/17477/statm: 13373 7572 816 380 0 6791 0 Current children cumulated CPU time: 282.18 s Current children cumulated vsize: 53492 KiB Current children cumulated memory: 30288 KiB [startup+342.3 s] /proc/loadavg: 1.96 2.00 2.04 3/181 17597 /proc/meminfo: memFree=31792920/32770624 swapFree=67108860/67108860 [pid=17477] ppid=17474 vsize=54020 memory=30596 CPUtime=342.17 cores=0,2,4,6 /proc/17477/stat : 17477 (cosoco) R 17474 17477 11586 0 -1 4202496 18407 0 0 0 34215 2 0 0 20 0 1 0 48628738 55316480 7649 18446744073709551615 4194304 5748600 140723081510256 140723081507400 4909616 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 19550208 140723081511369 140723081511464 140723081511464 140723081514958 0 /proc/17477/statm: 13505 7649 816 380 0 6923 0 Current children cumulated CPU time: 342.17 s Current children cumulated vsize: 54020 KiB Current children cumulated memory: 30596 KiB [startup+402.3 s] /proc/loadavg: 1.99 2.00 2.04 3/181 17599 /proc/meminfo: memFree=31792660/32770624 swapFree=67108860/67108860 [pid=17477] ppid=17474 vsize=54832 memory=31496 CPUtime=402.17 cores=0,2,4,6 /proc/17477/stat : 17477 (cosoco) R 17474 17477 11586 0 -1 4202496 19053 0 0 0 40215 2 0 0 20 0 1 0 48628738 56147968 7874 18446744073709551615 4194304 5748600 140723081510256 140723081507400 4873931 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 19550208 140723081511369 140723081511464 140723081511464 140723081514958 0 /proc/17477/statm: 13708 7874 816 380 0 7126 0 Current children cumulated CPU time: 402.17 s Current children cumulated vsize: 54832 KiB Current children cumulated memory: 31496 KiB [startup+462.3 s] /proc/loadavg: 1.99 2.00 2.04 3/181 17601 /proc/meminfo: memFree=31791800/32770624 swapFree=67108860/67108860 [pid=17477] ppid=17474 vsize=55492 memory=32100 CPUtime=462.17 cores=0,2,4,6 /proc/17477/stat : 17477 (cosoco) R 17474 17477 11586 0 -1 4202496 19780 0 0 0 46215 2 0 0 20 0 1 0 48628738 56823808 8025 18446744073709551615 4194304 5748600 140723081510256 140723081507400 4972000 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 19550208 140723081511369 140723081511464 140723081511464 140723081514958 0 /proc/17477/statm: 13873 8025 816 380 0 7291 0 Current children cumulated CPU time: 462.17 s Current children cumulated vsize: 55492 KiB Current children cumulated memory: 32100 KiB ################ # More data... # ################ /proc/17477/statm: 14071 8267 816 380 0 7489 0 Current children cumulated CPU time: 1602.13 s Current children cumulated vsize: 56284 KiB Current children cumulated memory: 33068 KiB [startup+1662.3 s] /proc/loadavg: 2.38 2.13 2.08 3/181 17669 /proc/meminfo: memFree=31788840/32770624 swapFree=67108860/67108860 [pid=17477] ppid=17474 vsize=56284 memory=33104 CPUtime=1662.13 cores=0,2,4,6 /proc/17477/stat : 17477 (cosoco) R 17474 17477 11586 0 -1 4202496 27504 0 0 0 166211 2 0 0 20 0 1 0 48628738 57634816 8276 18446744073709551615 4194304 5748600 140723081510256 140723081507656 4954365 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 19550208 140723081511369 140723081511464 140723081511464 140723081514958 0 /proc/17477/statm: 14071 8276 816 380 0 7489 0 Current children cumulated CPU time: 1662.13 s Current children cumulated vsize: 56284 KiB Current children cumulated memory: 33104 KiB [startup+1722.3 s] /proc/loadavg: 2.14 2.11 2.08 3/181 17672 /proc/meminfo: memFree=31789096/32770624 swapFree=67108860/67108860 [pid=17477] ppid=17474 vsize=56284 memory=33104 CPUtime=1722.13 cores=0,2,4,6 /proc/17477/stat : 17477 (cosoco) R 17474 17477 11586 0 -1 4202496 27867 0 0 0 172211 2 0 0 20 0 1 0 48628738 57634816 8276 18446744073709551615 4194304 5748600 140723081510256 140723081507656 4973127 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 19550208 140723081511369 140723081511464 140723081511464 140723081514958 0 /proc/17477/statm: 14071 8276 816 380 0 7489 0 Current children cumulated CPU time: 1722.13 s Current children cumulated vsize: 56284 KiB Current children cumulated memory: 33104 KiB [startup+1782.3 s] /proc/loadavg: 2.05 2.09 2.07 3/181 17674 /proc/meminfo: memFree=31789336/32770624 swapFree=67108860/67108860 [pid=17477] ppid=17474 vsize=56284 memory=33104 CPUtime=1782.13 cores=0,2,4,6 /proc/17477/stat : 17477 (cosoco) R 17474 17477 11586 0 -1 4202496 28240 0 0 0 178211 2 0 0 20 0 1 0 48628738 57634816 8276 18446744073709551615 4194304 5748600 140723081510256 140723081507656 4873923 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 19550208 140723081511369 140723081511464 140723081511464 140723081514958 0 /proc/17477/statm: 14071 8276 816 380 0 7489 0 Current children cumulated CPU time: 1782.13 s Current children cumulated vsize: 56284 KiB Current children cumulated memory: 33104 KiB [startup+1842.3 s] /proc/loadavg: 2.02 2.07 2.07 3/181 17676 /proc/meminfo: memFree=31789460/32770624 swapFree=67108860/67108860 [pid=17477] ppid=17474 vsize=56284 memory=33104 CPUtime=1842.13 cores=0,2,4,6 /proc/17477/stat : 17477 (cosoco) R 17474 17477 11586 0 -1 4202496 28615 0 0 0 184211 2 0 0 20 0 1 0 48628738 57634816 8276 18446744073709551615 4194304 5748600 140723081510256 140723081507656 4917897 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 19550208 140723081511369 140723081511464 140723081511464 140723081514958 0 /proc/17477/statm: 14071 8276 816 380 0 7489 0 Current children cumulated CPU time: 1842.13 s Current children cumulated vsize: 56284 KiB Current children cumulated memory: 33104 KiB [startup+1902.3 s] /proc/loadavg: 2.01 2.06 2.06 3/181 17679 /proc/meminfo: memFree=31789460/32770624 swapFree=67108860/67108860 [pid=17477] ppid=17474 vsize=56284 memory=33116 CPUtime=1902.13 cores=0,2,4,6 /proc/17477/stat : 17477 (cosoco) R 17474 17477 11586 0 -1 4202496 29073 0 0 0 190211 2 0 0 20 0 1 0 48628738 57634816 8279 18446744073709551615 4194304 5748600 140723081510256 140723081507656 4906724 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 19550208 140723081511369 140723081511464 140723081511464 140723081514958 0 /proc/17477/statm: 14071 8279 816 380 0 7489 0 Current children cumulated CPU time: 1902.13 s Current children cumulated vsize: 56284 KiB Current children cumulated memory: 33116 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.05 2.05 3/181 17681 /proc/meminfo: memFree=31789948/32770624 swapFree=67108860/67108860 [pid=17477] ppid=17474 vsize=56284 memory=33120 CPUtime=1962.12 cores=0,2,4,6 /proc/17477/stat : 17477 (cosoco) R 17474 17477 11586 0 -1 4202496 29353 0 0 0 196210 2 0 0 20 0 1 0 48628738 57634816 8280 18446744073709551615 4194304 5748600 140723081510256 140723081507656 4873945 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 19550208 140723081511369 140723081511464 140723081511464 140723081514958 0 /proc/17477/statm: 14071 8280 816 380 0 7489 0 Current children cumulated CPU time: 1962.12 s Current children cumulated vsize: 56284 KiB Current children cumulated memory: 33120 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.04 2.05 3/184 17697 /proc/meminfo: memFree=31785972/32770624 swapFree=67108860/67108860 [pid=17477] ppid=17474 vsize=56284 memory=33120 CPUtime=2022.12 cores=0,2,4,6 /proc/17477/stat : 17477 (cosoco) R 17474 17477 11586 0 -1 4202496 29624 0 0 0 202210 2 0 0 20 0 1 0 48628738 57634816 8280 18446744073709551615 4194304 5748600 140723081510256 140723081507656 5144562 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 19550208 140723081511369 140723081511464 140723081511464 140723081514958 0 /proc/17477/statm: 14071 8280 816 380 0 7489 0 Current children cumulated CPU time: 2022.12 s Current children cumulated vsize: 56284 KiB Current children cumulated memory: 33120 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.03 2.05 3/185 17724 /proc/meminfo: memFree=31784348/32770624 swapFree=67108860/67108860 [pid=17477] ppid=17474 vsize=56284 memory=33124 CPUtime=2082.12 cores=0,2,4,6 /proc/17477/stat : 17477 (cosoco) R 17474 17477 11586 0 -1 4202496 30038 0 0 0 208210 2 0 0 20 0 1 0 48628738 57634816 8281 18446744073709551615 4194304 5748600 140723081510256 140723081507656 4906254 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 19550208 140723081511369 140723081511464 140723081511464 140723081514958 0 /proc/17477/statm: 14071 8281 816 380 0 7489 0 Current children cumulated CPU time: 2082.12 s Current children cumulated vsize: 56284 KiB Current children cumulated memory: 33124 KiB [startup+2142.3 s] /proc/loadavg: 2.03 2.04 2.05 3/182 17726 /proc/meminfo: memFree=31787392/32770624 swapFree=67108860/67108860 [pid=17477] ppid=17474 vsize=56284 memory=33144 CPUtime=2142.12 cores=0,2,4,6 /proc/17477/stat : 17477 (cosoco) R 17474 17477 11586 0 -1 4202496 30373 0 0 0 214210 2 0 0 20 0 1 0 48628738 57634816 8286 18446744073709551615 4194304 5748600 140723081510256 140723081507656 4906752 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 19550208 140723081511369 140723081511464 140723081511464 140723081514958 0 /proc/17477/statm: 14071 8286 816 380 0 7489 0 Current children cumulated CPU time: 2142.12 s Current children cumulated vsize: 56284 KiB Current children cumulated memory: 33144 KiB [startup+2202.3 s] /proc/loadavg: 2.01 2.04 2.05 3/182 17728 /proc/meminfo: memFree=31788732/32770624 swapFree=67108860/67108860 [pid=17477] ppid=17474 vsize=56284 memory=33144 CPUtime=2202.12 cores=0,2,4,6 /proc/17477/stat : 17477 (cosoco) R 17474 17477 11586 0 -1 4202496 30697 0 0 0 220210 2 0 0 20 0 1 0 48628738 57634816 8286 18446744073709551615 4194304 5748600 140723081510256 140723081507656 4972378 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 19550208 140723081511369 140723081511464 140723081511464 140723081514958 0 /proc/17477/statm: 14071 8286 816 380 0 7489 0 Current children cumulated CPU time: 2202.12 s Current children cumulated vsize: 56284 KiB Current children cumulated memory: 33144 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.03 2.05 3/182 17730 /proc/meminfo: memFree=31788848/32770624 swapFree=67108860/67108860 [pid=17477] ppid=17474 vsize=56416 memory=33144 CPUtime=2262.11 cores=0,2,4,6 /proc/17477/stat : 17477 (cosoco) R 17474 17477 11586 0 -1 4202496 31084 0 0 0 226209 2 0 0 20 0 1 0 48628738 57769984 8286 18446744073709551615 4194304 5748600 140723081510256 140723081507400 4915599 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 19550208 140723081511369 140723081511464 140723081511464 140723081514958 0 /proc/17477/statm: 14104 8286 816 380 0 7522 0 Current children cumulated CPU time: 2262.11 s Current children cumulated vsize: 56416 KiB Current children cumulated memory: 33144 KiB [startup+2322.3 s] /proc/loadavg: 2.08 2.04 2.05 3/182 17732 /proc/meminfo: memFree=31788920/32770624 swapFree=67108860/67108860 [pid=17477] ppid=17474 vsize=56548 memory=33268 CPUtime=2322.11 cores=0,2,4,6 /proc/17477/stat : 17477 (cosoco) R 17474 17477 11586 0 -1 4202496 31578 0 0 0 232209 2 0 0 20 0 1 0 48628738 57905152 8317 18446744073709551615 4194304 5748600 140723081510256 140723081507400 4873872 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 19550208 140723081511369 140723081511464 140723081511464 140723081514958 0 /proc/17477/statm: 14137 8317 816 380 0 7555 0 Current children cumulated CPU time: 2322.11 s Current children cumulated vsize: 56548 KiB Current children cumulated memory: 33268 KiB [startup+2382.3 s] /proc/loadavg: 2.03 2.03 2.05 3/181 17734 /proc/meminfo: memFree=31788976/32770624 swapFree=67108860/67108860 [pid=17477] ppid=17474 vsize=56548 memory=33332 CPUtime=2382.11 cores=0,2,4,6 /proc/17477/stat : 17477 (cosoco) R 17474 17477 11586 0 -1 4202496 31886 0 0 0 238209 2 0 0 20 0 1 0 48628738 57905152 8333 18446744073709551615 4194304 5748600 140723081510256 140723081507400 4909695 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 19550208 140723081511369 140723081511464 140723081511464 140723081514958 0 /proc/17477/statm: 14137 8333 816 380 0 7555 0 Current children cumulated CPU time: 2382.11 s Current children cumulated vsize: 56548 KiB Current children cumulated memory: 33332 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.2 s] /proc/loadavg: 2.10 2.05 2.05 3/181 17735 /proc/meminfo: memFree=31788844/32770624 swapFree=67108860/67108860 [pid=17477] ppid=17474 vsize=56548 memory=33368 CPUtime=2400.01 cores=0,2,4,6 /proc/17477/stat : 17477 (cosoco) R 17474 17477 11586 0 -1 4202496 32182 0 0 0 239999 2 0 0 20 0 1 0 48628738 57905152 8342 18446744073709551615 4194304 5748600 140723081510256 140723081507400 4972373 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7849824 7854664 19550208 140723081511369 140723081511464 140723081511464 140723081514958 0 /proc/17477/statm: 14137 8342 816 380 0 7555 0 Current children cumulated CPU time: 2400.01 s Current children cumulated vsize: 56548 KiB Current children cumulated memory: 33368 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2400.2 s] # the end of solver process 17477 was just reported to runsolver # cumulated CPU time of all completed processes: user=2400 s, system=0.028998 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2400.2 CPU time (s): 2400.02 CPU user time (s): 2400 CPU system time (s): 0.028998 CPU usage (%): 99.9926 Max. virtual memory (cumulated for all children) (KiB): 56548 Max. memory (cumulated for all children) (KiB): 33368 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400 system time used= 0.028998 maximum resident set size= 33436 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 32231 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= 19 involuntary context switches= 3038 # summary of solver processes directly reported to runsolver: # pid: 17477 # total CPU time (s): 2400.02 # total CPU user time (s): 2400 # total CPU system time (s): 0.028998 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.06758 second user time and 15.3921 second system time The end
Begin job on node124 at 2017-08-13 07:27:05 IDJOB=4267266 IDBENCH=120758 IDSOLVER=2657 FILE ID=node124/4267266-1502602881 RUNJOBID= node124-1502597167-15985 PBS_JOBID= Free space on /tmp= 62024 MiB SOLVER NAME= cosoco-mini 1.12 BENCH NAME= XCSP17/GracefulGraph/GracefulGraph-m1-s1/GracefulGraph-K10-P09.xml COMMAND LINE= cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4267266-1502602881/watcher-4267266-1502602881 -o /tmp/evaluation-result-4267266-1502602881/solver-4267266-1502602881 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502597167-15985 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4267266-1502602881.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 132dbb92a73ed64c3de106a7d099dd2d RANDOM SEED=789009086 node124.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.51 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.51 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: 31832552 kB MemAvailable: 32004540 kB Buffers: 150848 kB Cached: 311152 kB SwapCached: 0 kB Active: 365316 kB Inactive: 148796 kB Active(anon): 2908 kB Inactive(anon): 74136 kB Active(file): 362408 kB Inactive(file): 74660 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2076 kB Writeback: 0 kB AnonPages: 47624 kB Mapped: 42132 kB Shmem: 25320 kB Slab: 127660 kB SReclaimable: 101508 kB SUnreclaim: 26152 kB KernelStack: 3440 kB PageTables: 4360 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 307660 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 62028 MiB End job on node124 at 2017-08-13 08:07:05