| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco-sat 1.12 | ? (TO) | 2519.9399 | 2520.01 |
| Name | GracefulGraph/GracefulGraph-m1-s1/ GracefulGraph-K11-P04.xml |
| MD5SUM | 83a9e5860e8605726185e9821b8e29ef |
| 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 | 561 |
| Number of constraints | 255 |
| Number of domains | 2 |
| Minimum domain size | 253 |
| Maximum domain size | 254 |
| Distribution of domain sizes | [{"size":253,"count":253},{"size":254,"count":44}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 13 |
| Distribution of variable degrees | [{"degree":0,"count":264},{"degree":2,"count":253},{"degree":12,"count":22},{"degree":13,"count":22}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 253 |
| Distribution of constraint arities | [{"arity":3,"count":253},{"arity":44,"count":1},{"arity":253,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 253 |
| Distribution of constraint types | [{"type":"intension","count":253},{"type":"allDifferent","count":2}] |
| Optimization problem | NO |
| Type of objective |
1.49/1.51 c SAT : Variables: 141977 -- Clauses: 17895251 1.49/1.51 c root propagations : 0 1.49/1.51 c restarts enabled, print stats at every restarts 1.49/1.51 c 1.49/1.51 c 1.49/1.51 c 1.49/1.51 c This is cosoco 1.12 -- 1.49/1.51 c 1.49/1.51 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266067-1502570682.xml 1.49/1.51 c ========================================[ Problem Statistics ]=========================================== 1.49/1.51 c | 1.49/1.51 c | Parse time : 1.34 s 1.49/1.51 c | 1.49/1.51 c | Variables: 561 1.49/1.51 c | Domain Sizes: 253..254 1.49/1.51 c | 1.49/1.51 c | Constraints: 255 1.49/1.51 c | Arity: 3..253 -- Ternary: 253 1.49/1.51 c | 1.49/1.51 c | Types: 1.49/1.51 c | All Different: 2 1.49/1.51 c | Intension: 253 1.49/1.51 c | 1.49/1.51 c ========================================================================================================= 1.49/1.51 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 1.49/1.52 c remove useless variable ce[0][0][0] 1.49/1.52 c remove useless variable ce[0][1][0] 1.49/1.52 c remove useless variable ce[0][1][1] 1.49/1.52 c remove useless variable ce[0][2][0] 1.49/1.52 c remove useless variable ce[0][2][1] 1.49/1.52 c remove useless variable ce[0][2][2] 1.49/1.52 c remove useless variable ce[0][3][0] 1.49/1.52 c remove useless variable ce[0][3][1] 1.49/1.52 c remove useless variable ce[0][3][2] 1.49/1.52 c remove useless variable ce[0][3][3] 1.49/1.52 c remove useless variable ce[0][4][0] 1.49/1.52 c remove useless variable ce[0][4][1] 1.49/1.52 c remove useless variable ce[0][4][2] 1.49/1.52 c remove useless variable ce[0][4][3] 1.49/1.52 c remove useless variable ce[0][4][4] 1.49/1.52 c remove useless variable ce[0][5][0] 1.49/1.52 c remove useless variable ce[0][5][1] 1.49/1.52 c remove useless variable ce[0][5][2] 1.49/1.52 c remove useless variable ce[0][5][3] 1.49/1.52 c remove useless variable ce[0][5][4] 1.49/1.52 c remove useless variable ce[0][5][5] 1.49/1.52 c remove useless variable ce[0][6][0] 1.49/1.52 c remove useless variable ce[0][6][1] 1.49/1.52 c remove useless variable ce[0][6][2] 1.49/1.52 c remove useless variable ce[0][6][3] 1.49/1.52 c remove useless variable ce[0][6][4] 1.49/1.52 c remove useless variable ce[0][6][5] 1.49/1.52 c remove useless variable ce[0][6][6] 1.49/1.52 c remove useless variable ce[0][7][0] 1.49/1.52 c remove useless variable ce[0][7][1] 1.49/1.52 c remove useless variable ce[0][7][2] 1.49/1.52 c remove useless variable ce[0][7][3] 1.49/1.52 c remove useless variable ce[0][7][4] 1.49/1.52 c remove useless variable ce[0][7][5] 1.49/1.52 c remove useless variable ce[0][7][6] 1.49/1.52 c remove useless variable ce[0][7][7] 1.49/1.52 c remove useless variable ce[0][8][0] 1.49/1.52 c remove useless variable ce[0][8][1] 1.49/1.52 c remove useless variable ce[0][8][2] 1.49/1.52 c remove useless variable ce[0][8][3] 1.49/1.52 c remove useless variable ce[0][8][4] 1.49/1.52 c remove useless variable ce[0][8][5] 1.49/1.52 c remove useless variable ce[0][8][6] 1.49/1.52 c remove useless variable ce[0][8][7] 1.49/1.52 c remove useless variable ce[0][8][8] 1.49/1.52 c remove useless variable ce[0][9][0] 1.49/1.52 c remove useless variable ce[0][9][1] 1.49/1.52 c remove useless variable ce[0][9][2] 1.49/1.52 c remove useless variable ce[0][9][3] 1.49/1.52 c remove useless variable ce[0][9][4] 1.49/1.52 c remove useless variable ce[0][9][5] 1.49/1.52 c remove useless variable ce[0][9][6] 1.49/1.52 c remove useless variable ce[0][9][7] 1.49/1.52 c remove useless variable ce[0][9][8] 1.49/1.52 c remove useless variable ce[0][9][9] 1.49/1.52 c remove useless variable ce[0][10][0] 1.49/1.52 c remove useless variable ce[0][10][1] 1.49/1.52 c remove useless variable ce[0][10][2] 1.49/1.52 c remove useless variable ce[0][10][3] 1.49/1.52 c remove useless variable ce[0][10][4] 1.49/1.52 c remove useless variable ce[0][10][5] 1.49/1.52 c remove useless variable ce[0][10][6] 1.49/1.52 c remove useless variable ce[0][10][7] 1.49/1.52 c remove useless variable ce[0][10][8] 1.49/1.52 c remove useless variable ce[0][10][9] 1.49/1.52 c remove useless variable ce[0][10][10] 1.49/1.52 c remove useless variable ce[1][0][0] 1.49/1.52 c remove useless variable ce[1][1][0] 1.49/1.52 c remove useless variable ce[1][1][1] 1.49/1.52 c remove useless variable ce[1][2][0] 1.49/1.52 c remove useless variable ce[1][2][1] 1.49/1.52 c remove useless variable ce[1][2][2] 1.49/1.52 c remove useless variable ce[1][3][0] 1.49/1.52 c remove useless variable ce[1][3][1] 1.49/1.52 c remove useless variable ce[1][3][2] 1.49/1.52 c remove useless variable ce[1][3][3] 1.49/1.52 c remove useless variable ce[1][4][0] 1.49/1.52 c remove useless variable ce[1][4][1] 1.49/1.52 c remove useless variable ce[1][4][2] 1.49/1.52 c remove useless variable ce[1][4][3] 1.49/1.52 c remove useless variable ce[1][4][4] 1.49/1.52 c remove useless variable ce[1][5][0] 1.49/1.52 c remove useless variable ce[1][5][1] 1.49/1.52 c remove useless variable ce[1][5][2] 1.49/1.52 c remove useless variable ce[1][5][3] 1.49/1.52 c remove useless variable ce[1][5][4] 1.49/1.52 c remove useless variable ce[1][5][5] 1.49/1.52 c remove useless variable ce[1][6][0] 1.49/1.52 c remove useless variable ce[1][6][1] 1.49/1.52 c remove useless variable ce[1][6][2] 1.49/1.52 c remove useless variable ce[1][6][3] 1.49/1.52 c remove useless variable ce[1][6][4] 1.49/1.52 c remove useless variable ce[1][6][5] 1.49/1.52 c remove useless variable ce[1][6][6] 1.49/1.52 c remove useless variable ce[1][7][0] 1.49/1.52 c remove useless variable ce[1][7][1] 1.49/1.52 c remove useless variable ce[1][7][2] 1.49/1.52 c remove useless variable ce[1][7][3] 1.49/1.52 c remove useless variable ce[1][7][4] 1.49/1.52 c remove useless variable ce[1][7][5] 1.49/1.52 c remove useless variable ce[1][7][6] 1.49/1.52 c remove useless variable ce[1][7][7] 1.49/1.52 c remove useless variable ce[1][8][0] 1.49/1.52 c remove useless variable ce[1][8][1] 1.49/1.52 c remove useless variable ce[1][8][2] 1.49/1.52 c remove useless variable ce[1][8][3] 1.49/1.52 c remove useless variable ce[1][8][4] 1.49/1.52 c remove useless variable ce[1][8][5] 1.49/1.52 c remove useless variable ce[1][8][6] 1.49/1.52 c remove useless variable ce[1][8][7] 1.49/1.52 c remove useless variable ce[1][8][8] 1.49/1.52 c remove useless variable ce[1][9][0] 1.49/1.52 c remove useless variable ce[1][9][1] 1.49/1.52 c remove useless variable ce[1][9][2] 1.49/1.52 c remove useless variable ce[1][9][3] 1.49/1.52 c remove useless variable ce[1][9][4] 1.49/1.52 c remove useless variable ce[1][9][5] 1.49/1.52 c remove useless variable ce[1][9][6] 1.49/1.52 c remove useless variable ce[1][9][7] 1.49/1.52 c remove useless variable ce[1][9][8] 1.49/1.52 c remove useless variable ce[1][9][9] 1.49/1.52 c remove useless variable ce[1][10][0] 1.49/1.52 c remove useless variable ce[1][10][1] 1.49/1.52 c remove useless variable ce[1][10][2] 1.49/1.52 c remove useless variable ce[1][10][3] 1.49/1.52 c remove useless variable ce[1][10][4] 1.49/1.52 c remove useless variable ce[1][10][5] 1.49/1.52 c remove useless variable ce[1][10][6] 1.49/1.52 c remove useless variable ce[1][10][7] 1.49/1.52 c remove useless variable ce[1][10][8] 1.49/1.52 c remove useless variable ce[1][10][9] 1.49/1.52 c remove useless variable ce[1][10][10] 1.49/1.52 c remove useless variable ce[2][0][0] 1.49/1.52 c remove useless variable ce[2][1][0] 1.49/1.52 c remove useless variable ce[2][1][1] 1.49/1.52 c remove useless variable ce[2][2][0] 1.49/1.52 c remove useless variable ce[2][2][1] 1.49/1.52 c remove useless variable ce[2][2][2] 1.49/1.52 c remove useless variable ce[2][3][0] 1.49/1.52 c remove useless variable ce[2][3][1] 1.49/1.52 c remove useless variable ce[2][3][2] 1.49/1.52 c remove useless variable ce[2][3][3] 1.49/1.52 c remove useless variable ce[2][4][0] 1.49/1.52 c remove useless variable ce[2][4][1] 1.49/1.52 c remove useless variable ce[2][4][2] 1.49/1.52 c remove useless variable ce[2][4][3] 1.49/1.52 c remove useless variable ce[2][4][4] 1.49/1.52 c remove useless variable ce[2][5][0] 1.49/1.52 c remove useless variable ce[2][5][1] 1.49/1.52 c remove useless variable ce[2][5][2] 1.49/1.52 c remove useless variable ce[2][5][3] 1.49/1.52 c remove useless variable ce[2][5][4] 1.49/1.52 c remove useless variable ce[2][5][5] 1.49/1.52 c remove useless variable ce[2][6][0] 1.49/1.52 c remove useless variable ce[2][6][1] 1.49/1.52 c remove useless variable ce[2][6][2] 1.49/1.52 c remove useless variable ce[2][6][3] 1.49/1.52 c remove useless variable ce[2][6][4] 1.49/1.52 c remove useless variable ce[2][6][5] 1.49/1.52 c remove useless variable ce[2][6][6] 1.49/1.52 c remove useless variable ce[2][7][0] 1.49/1.52 c remove useless variable ce[2][7][1] 1.49/1.52 c remove useless variable ce[2][7][2] 1.49/1.52 c remove useless variable ce[2][7][3] 1.49/1.52 c remove useless variable ce[2][7][4] 1.49/1.52 c remove useless variable ce[2][7][5] 1.49/1.52 c remove useless variable ce[2][7][6] 1.49/1.52 c remove useless variable ce[2][7][7] 1.49/1.52 c remove useless variable ce[2][8][0] 1.49/1.52 c remove useless variable ce[2][8][1] 1.49/1.52 c remove useless variable ce[2][8][2] 1.49/1.52 c remove useless variable ce[2][8][3] 1.49/1.52 c remove useless variable ce[2][8][4] 1.49/1.52 c remove useless variable ce[2][8][5] 1.49/1.52 c remove useless variable ce[2][8][6] 1.49/1.52 c remove useless variable ce[2][8][7] 1.49/1.52 c remove useless variable ce[2][8][8] 1.49/1.52 c remove useless variable ce[2][9][0] 1.49/1.52 c remove useless variable ce[2][9][1] 1.49/1.52 c remove useless variable ce[2][9][2] 1.49/1.52 c remove useless variable ce[2][9][3] 1.49/1.52 c remove useless variable ce[2][9][4] 1.49/1.52 c remove useless variable ce[2][9][5] 1.49/1.52 c remove useless variable ce[2][9][6] 1.49/1.52 c remove useless variable ce[2][9][7] 1.49/1.52 c remove useless variable ce[2][9][8] 1.49/1.52 c remove useless variable ce[2][9][9] 1.49/1.52 c remove useless variable ce[2][10][0] 1.49/1.52 c remove useless variable ce[2][10][1] 1.49/1.52 c remove useless variable ce[2][10][2] 1.49/1.52 c remove useless variable ce[2][10][3] 1.49/1.52 c remove useless variable ce[2][10][4] 1.49/1.52 c remove useless variable ce[2][10][5] 1.49/1.52 c remove useless variable ce[2][10][6] 1.49/1.52 c remove useless variable ce[2][10][7] 1.49/1.52 c remove useless variable ce[2][10][8] 1.49/1.52 c remove useless variable ce[2][10][9] 1.49/1.52 c remove useless variable ce[2][10][10] 1.49/1.52 c remove useless variable ce[3][0][0] 1.49/1.52 c remove useless variable ce[3][1][0] 1.49/1.52 c remove useless variable ce[3][1][1] 1.49/1.52 c remove useless variable ce[3][2][0] 1.49/1.52 c remove useless variable ce[3][2][1] 1.49/1.52 c remove useless variable ce[3][2][2] 1.49/1.52 c remove useless variable ce[3][3][0] 1.49/1.52 c remove useless variable ce[3][3][1] 1.49/1.52 c remove useless variable ce[3][3][2] 1.49/1.52 c remove useless variable ce[3][3][3] 1.49/1.52 c remove useless variable ce[3][4][0] 1.49/1.52 c remove useless variable ce[3][4][1] 1.49/1.52 c remove useless variable ce[3][4][2] 1.49/1.52 c remove useless variable ce[3][4][3] 1.49/1.52 c remove useless variable ce[3][4][4] 1.49/1.52 c remove useless variable ce[3][5][0] 1.49/1.52 c remove useless variable ce[3][5][1] 1.49/1.52 c remove useless variable ce[3][5][2] 1.49/1.52 c remove useless variable ce[3][5][3] 1.49/1.52 c remove useless variable ce[3][5][4] 1.49/1.52 c remove useless variable ce[3][5][5] 1.49/1.52 c remove useless variable ce[3][6][0] 1.49/1.52 c remove useless variable ce[3][6][1] 1.49/1.52 c remove useless variable ce[3][6][2] 1.49/1.52 c remove useless variable ce[3][6][3] 1.49/1.52 c remove useless variable ce[3][6][4] 1.49/1.52 c remove useless variable ce[3][6][5] 1.49/1.52 c remove useless variable ce[3][6][6] 1.49/1.52 c remove useless variable ce[3][7][0] 1.49/1.52 c remove useless variable ce[3][7][1] 1.49/1.52 c remove useless variable ce[3][7][2] 1.49/1.52 c remove useless variable ce[3][7][3] 1.49/1.52 c remove useless variable ce[3][7][4] 1.49/1.52 c remove useless variable ce[3][7][5] 1.49/1.52 c remove useless variable ce[3][7][6] 1.49/1.52 c remove useless variable ce[3][7][7] 1.49/1.52 c remove useless variable ce[3][8][0] 1.49/1.52 c remove useless variable ce[3][8][1] 1.49/1.52 c remove useless variable ce[3][8][2] 1.49/1.52 c remove useless variable ce[3][8][3] 1.49/1.52 c remove useless variable ce[3][8][4] 1.49/1.52 c remove useless variable ce[3][8][5] 1.49/1.52 c remove useless variable ce[3][8][6] 1.49/1.52 c remove useless variable ce[3][8][7] 1.49/1.52 c remove useless variable ce[3][8][8] 1.49/1.52 c remove useless variable ce[3][9][0] 1.49/1.52 c remove useless variable ce[3][9][1] 1.49/1.52 c remove useless variable ce[3][9][2] 1.49/1.52 c remove useless variable ce[3][9][3] 1.49/1.52 c remove useless variable ce[3][9][4] 1.49/1.52 c remove useless variable ce[3][9][5] 1.49/1.52 c remove useless variable ce[3][9][6] 1.49/1.52 c remove useless variable ce[3][9][7] 1.49/1.52 c remove useless variable ce[3][9][8] 1.49/1.52 c remove useless variable ce[3][9][9] 1.49/1.52 c remove useless variable ce[3][10][0] 1.49/1.52 c remove useless variable ce[3][10][1] 1.49/1.52 c remove useless variable ce[3][10][2] 1.49/1.52 c remove useless variable ce[3][10][3] 1.49/1.52 c remove useless variable ce[3][10][4] 1.49/1.52 c remove useless variable ce[3][10][5] 1.49/1.52 c remove useless variable ce[3][10][6] 1.49/1.52 c remove useless variable ce[3][10][7] 1.49/1.52 c remove useless variable ce[3][10][8] 1.49/1.52 c remove useless variable ce[3][10][9] 1.49/1.52 c remove useless variable ce[3][10][10] 1.49/1.58 c 10 263 32783 35307 0 10 254 254 230 1.59/1.63 c 20 446 61815 90266 0 20 4 174 142 1.59/1.64 c 30 467 63414 98105 0 30 6 12 9 1.59/1.64 c 40 488 64914 105517 0 40 6 12 8 1.59/1.65 c 50 509 66381 113159 0 50 6 12 9 1.59/1.65 c 60 530 67918 120492 0 60 4 12 9 1.59/1.65 c 70 551 69453 126362 0 70 4 12 7 1.59/1.66 c 80 572 70986 131980 0 80 4 12 8 1.59/1.66 c 90 593 72559 137600 0 90 12 12 10 1.59/1.66 c 100 614 73883 144784 0 100 5 12 9 1.59/1.67 c 101 626 75283 147930 0 101 12 12 6 1.59/1.67 c 110 646 76794 154342 0 110 6 12 7 1.59/1.67 c 120 667 78301 160207 0 120 4 12 8 1.59/1.68 c 130 688 79822 165821 0 130 4 12 8 1.68/1.71 c 140 800 99221 193553 0 140 12 103 19 1.68/1.72 c 150 824 101019 201164 0 150 6 15 10 1.68/1.72 c 160 845 102558 208568 0 160 6 12 8 1.68/1.73 c 170 866 104103 214718 0 170 6 12 9 1.68/1.74 c 180 924 110588 238684 0 180 17 49 35 1.68/1.75 c 190 942 112098 244564 0 190 4 9 6 1.68/1.75 c 200 963 113620 250185 0 200 4 12 8 1.68/1.75 c 210 984 114950 257619 0 210 5 12 9 1.68/1.76 c 211 990 115766 259012 0 211 6 6 3 1.68/1.76 c 220 1010 116873 267437 0 220 5 12 8 1.68/1.76 c 230 1031 118424 274598 0 230 6 12 8 1.68/1.78 c 240 1111 126927 301926 0 240 12 71 37 1.68/1.78 c 250 1133 128685 308528 0 250 4 13 8 1.68/1.79 c 260 1154 129811 317712 0 260 5 12 9 1.68/1.79 c 270 1175 131104 324133 0 270 6 12 8 1.78/1.80 c 280 1217 133658 340421 0 280 12 33 19 1.78/1.80 c 290 1237 135183 345751 0 290 3 11 8 1.78/1.80 c 300 1258 136460 351674 0 300 6 12 9 1.78/1.81 c 310 1289 138772 368829 0 310 17 22 18 1.78/1.82 c 320 1309 140304 375011 0 320 3 11 8 1.78/1.82 c 330 1330 141841 380874 0 330 6 12 9 1.78/1.82 c 332 1338 142741 382984 0 332 7 7 4 1.78/1.83 c 340 1357 144224 388921 0 340 8 12 9 1.78/1.83 c 350 1378 145785 394543 0 350 7 12 8 1.78/1.84 c 360 1405 148031 404323 0 360 12 18 15 1.78/1.84 c 370 1430 149847 413900 0 370 4 16 9 1.78/1.84 c 380 1451 151381 421041 0 380 6 12 9 1.78/1.85 c 390 1472 152967 427160 0 390 12 12 10 1.78/1.85 c 400 1493 154506 433548 0 400 6 12 9 1.78/1.87 c 410 1584 163578 464561 0 410 12 82 43 1.78/1.88 c 420 1606 165346 470951 0 420 3 13 8 1.78/1.88 c 430 1627 166386 477348 0 430 4 12 7 1.78/1.89 c 440 1670 169666 505452 0 440 34 34 30 1.78/1.89 c 450 1692 171432 512080 0 450 6 13 9 1.88/1.90 c 460 1723 173915 538752 0 460 12 22 15 1.88/1.91 c 465 1736 175346 542121 0 465 4 9 5 1.88/1.91 c 470 1749 176539 545487 0 470 7 9 7 1.88/1.91 c 480 1770 178060 550641 0 480 8 12 9 1.88/1.92 c 490 1817 180675 584498 0 490 16 38 20 1.88/1.93 c 500 1839 182232 590880 0 500 4 13 7 1.88/1.94 c 510 1887 184945 621736 0 510 22 39 32 1.88/1.95 c 520 1919 187743 655665 0 520 13 23 18 1.88/1.95 c 530 1941 189519 662312 0 530 6 13 8 1.88/1.96 c 540 2005 192009 695284 0 540 17 55 39 1.88/1.97 c 550 2027 193566 701666 0 550 4 13 7 1.88/1.98 c 560 2091 196331 738431 0 560 20 55 39 1.88/1.98 c 570 2113 198100 744292 0 570 4 13 8 1.88/1.99 c 580 2134 199670 751942 0 580 6 12 9 1.88/1.99 c 590 2160 201730 760997 0 590 12 17 11 1.88/2.00 c 600 2185 203552 770364 0 600 6 16 8 1.99/2.01 c 610 2219 205621 782409 0 610 8 25 11 1.99/2.01 c 611 2225 206689 783549 0 611 6 6 3 1.99/2.01 c 620 2249 207831 794079 0 620 8 16 9 1.99/2.01 c 630 2267 209352 799959 0 630 4 9 6 1.99/2.03 c 640 2316 212335 835059 0 640 17 40 26 1.99/2.03 c 650 2335 213859 839894 0 650 3 10 7 1.99/2.03 c 660 2356 215189 848078 0 660 5 12 9 1.99/2.04 c 670 2377 216726 854463 0 670 6 12 9 1.99/2.05 c 680 2425 219399 881742 0 680 20 39 32 1.99/2.05 c 690 2444 220944 887078 0 690 3 10 6 1.99/2.06 c 700 2508 224269 909204 0 700 8 55 21 1.99/2.07 c 710 2527 225815 914044 0 710 3 10 6 1.99/2.07 c 720 2544 227072 918430 0 720 4 8 6 1.99/2.08 c 730 2608 230257 950819 0 730 39 55 36 1.99/2.09 c 740 2627 231802 956155 0 740 3 10 6 1.99/2.10 c 750 2669 235155 1010544 0 750 33 33 30 1.99/2.10 c 760 2688 236679 1015379 0 760 3 10 7 2.09/2.11 c 770 2709 238207 1022033 0 770 6 12 8 2.09/2.11 c 771 2715 239072 1023389 0 771 6 6 3 2.09/2.11 c 780 2735 240579 1030035 0 780 6 12 7 2.09/2.12 c 790 2756 242145 1037681 0 790 6 12 9 2.09/2.12 c 800 2777 243191 1044578 0 800 4 12 7 2.09/2.12 c 810 2798 244312 1053761 0 810 5 12 8 2.09/2.12 c 820 2819 245857 1061163 0 820 6 12 8 2.09/2.13 c 830 2840 247420 1067789 0 830 4 12 7 2.09/2.14 c 840 2882 250119 1088567 0 840 12 33 13 2.09/2.14 c 850 2898 251363 1092658 0 850 3 7 5 2.09/2.16 c 860 2940 254602 1148876 0 860 33 33 30 2.09/2.16 c 870 2959 256147 1154212 0 870 3 10 6 2.09/2.17 c 880 3001 259372 1199427 0 880 33 33 30 2.09/2.18 c 890 3020 260896 1204262 0 890 3 10 7 2.09/2.19 c 900 3084 263809 1234085 0 900 55 55 50 2.09/2.19 c 910 3106 265637 1240630 0 910 10 13 10 2.09/2.19 c 920 3127 267249 1247752 0 920 9 12 9 2.18/2.20 c 930 3148 268771 1254165 0 930 6 12 8 2.18/2.20 c 940 3169 270351 1261514 0 940 12 12 10 2.18/2.20 c 947 3187 271827 1266417 0 947 5 12 8 2.18/2.21 c 950 3197 272970 1268822 0 950 5 8 5 2.18/2.21 c 960 3218 274472 1274468 0 960 6 12 9 2.18/2.22 c 970 3244 276500 1284768 0 970 8 17 12 2.18/2.22 c 980 3269 278278 1292150 0 980 5 16 10 2.18/2.23 c 990 3312 281647 1341843 0 990 16 34 27 2.18/2.24 c 1000 3334 283475 1348388 0 1000 10 13 10 2.18/2.25 c 1010 3377 286833 1368409 0 1010 12 34 14 2.18/2.25 c 1020 3396 288344 1374757 0 1020 4 10 8 2.18/2.26 c 1030 3417 289879 1380627 0 1030 4 12 7 2.18/2.27 c 1040 3455 293035 1401637 0 1040 12 29 14 2.18/2.27 c 1050 3474 294546 1407985 0 1050 4 10 8 2.18/2.27 c 1060 3495 296059 1414135 0 1060 5 12 9 2.18/2.28 c 1070 3516 297637 1419507 0 1070 7 12 8 2.18/2.28 c 1080 3537 299164 1424879 0 1080 4 12 7 2.18/2.28 c 1090 3558 300692 1430739 0 1090 4 12 8 2.18/2.29 c 1100 3579 302210 1436599 0 1100 4 12 8 2.18/2.29 c 1110 3604 304018 1445665 0 1110 12 16 12 2.18/2.29 c 1120 3625 305537 1452310 0 1120 6 12 9 2.28/2.30 c 1130 3646 307055 1458471 0 1130 6 12 8 2.28/2.30 c 1140 3667 308624 1465598 0 1140 6 12 7 2.28/2.30 c 1141 3674 309501 1467456 0 1141 7 7 3 2.28/2.31 c 1150 3694 311000 1473593 0 1150 6 12 9 2.28/2.32 c 1160 3771 315078 1498058 0 1160 12 68 17 2.28/2.32 c 1170 3790 316589 1503137 0 1170 3 10 6 2.28/2.33 c 1180 3815 318387 1512693 0 1180 12 16 12 2.28/2.33 c 1190 3831 319661 1517531 0 1190 3 7 5 2.28/2.34 c 1200 3852 321174 1523189 0 1200 6 12 9 2.28/2.36 c 1210 3890 324956 1607094 0 1210 29 29 26 2.28/2.36 c 1220 3909 326481 1612175 0 1220 3 10 6 2.28/2.38 c 1230 3952 330224 1680775 0 1230 16 34 29 2.28/2.38 c 1240 3971 331746 1686103 0 1240 3 10 6 2.38/2.40 c 1250 4015 335569 1741127 0 1250 35 35 31 2.38/2.40 c 1260 4037 337411 1747926 0 1260 10 13 11 2.38/2.41 c 1270 4076 340984 1771514 0 1270 16 30 17 2.38/2.42 c 1280 4095 342549 1777101 0 1280 3 10 5 2.38/2.42 c 1290 4116 344118 1784228 0 1290 6 12 7 2.38/2.43 c 1300 4137 345694 1789847 0 1300 7 12 8 2.38/2.43 c 1310 4158 347282 1796455 0 1310 12 12 10 2.38/2.44 c 1320 4202 350941 1821584 0 1320 12 35 17 2.38/2.44 c 1330 4221 352509 1827170 0 1330 5 10 6 2.38/2.45 c 1340 4246 354304 1837259 0 1340 12 16 13 2.38/2.45 c 1350 4265 355826 1843608 0 1350 4 10 8 2.38/2.45 c 1352 4273 356725 1845719 0 1352 7 7 4 2.38/2.46 c 1360 4289 357972 1850348 0 1360 4 9 6 2.38/2.46 c 1370 4310 359534 1856462 0 1370 7 12 8 2.38/2.47 c 1380 4349 363133 1879043 0 1380 5 30 12 2.38/2.47 c 1390 4371 364936 1885641 0 1390 4 13 9 2.38/2.48 c 1400 4392 366083 1894460 0 1400 5 12 8 2.38/2.48 c 1410 4413 367678 1900087 0 1410 12 12 10 2.38/2.49 c 1420 4457 371224 1948673 0 1420 16 35 30 2.48/2.50 c 1430 4476 372749 1953754 0 1430 3 10 6 2.48/2.50 c 1440 4501 374557 1963360 0 1440 12 16 13 2.48/2.51 c 1450 4520 376121 1969686 0 1450 10 10 9 2.48/2.51 c 1460 4541 377683 1975061 0 1460 7 12 7 2.48/2.53 c 1470 4580 381383 2035532 0 1470 30 30 27 2.48/2.53 c 1480 4599 382948 2041118 0 1480 5 10 6 2.48/2.55 c 1490 4643 386464 2082426 0 1490 16 35 24 2.48/2.55 c 1500 4659 387723 2086517 0 1500 3 7 5 2.48/2.55 c 1510 4677 388980 2091651 0 1510 4 9 6 2.48/2.57 c 1520 4716 392761 2158726 0 1520 30 30 27 2.48/2.57 c 1530 4738 394552 2164546 0 1530 3 13 8 2.48/2.58 c 1540 4759 396091 2171700 0 1540 6 12 8 2.48/2.59 c 1550 4803 399707 2226208 0 1550 35 35 31 2.59/2.60 c 1560 4825 401486 2232030 0 1560 3 13 7 2.59/2.61 c 1570 4864 405167 2293092 0 1570 12 30 25 2.59/2.62 c 1580 4886 406981 2299403 0 1580 7 13 9 2.59/2.63 c 1585 4925 410301 2326041 0 1585 35 35 29 2.59/2.64 c 1590 4959 413657 2346309 0 1590 13 30 16 2.59/2.65 c 1600 4992 416560 2359892 0 1600 13 24 12 2.59/2.65 c 1610 5011 418082 2365220 0 1610 3 10 6 2.59/2.66 c 1620 5049 421122 2384688 0 1620 18 29 24 2.59/2.66 c 1630 5068 422644 2390016 0 1630 3 10 6 2.59/2.68 c 1640 5112 426140 2431800 0 1640 17 35 28 2.59/2.69 c 1650 5146 429519 2474866 0 1650 25 25 22 2.59/2.69 c 1660 5168 431361 2481665 0 1660 10 13 11 2.69/2.70 c 1670 5202 434794 2511316 0 1670 18 25 19 2.69/2.71 c 1680 5218 436066 2516154 0 1680 3 7 5 2.69/2.71 c 1690 5239 437699 2524761 0 1690 12 12 10 2.69/2.72 c 1700 5273 441226 2563537 0 1700 25 25 22 2.69/2.73 c 1710 5295 443069 2569613 0 1710 10 13 10 2.69/2.74 c 1720 5329 446592 2609828 0 1720 25 25 22 2.69/2.75 c 1730 5371 449529 2627432 0 1730 13 33 15 2.69/2.75 c 1740 5393 451406 2634004 0 1740 10 13 10 2.69/2.76 c 1750 5414 452955 2640403 0 1750 6 12 8 2.69/2.76 c 1760 5435 454483 2647308 0 1760 6 12 8 2.69/2.77 c 1770 5468 457228 2661648 0 1770 17 24 19 2.69/2.77 c 1780 5490 458769 2668208 0 1780 3 13 8 2.69/2.79 c 1790 5539 462124 2691594 0 1790 24 40 23 2.69/2.79 c 1800 5558 463638 2696929 0 1800 3 10 6 2.79/2.80 c 1810 5607 466945 2719925 0 1810 40 40 36 2.79/2.80 c 1820 5623 468188 2724514 0 1820 3 7 5 2.79/2.81 c 1830 5672 471294 2752353 0 1830 40 40 36 2.79/2.82 c 1840 5691 472814 2757686 0 1840 3 10 6 2.79/2.82 c 1841 5703 474236 2761085 0 1841 12 12 6 2.79/2.82 c 1850 5728 476061 2771181 0 1850 8 17 9 2.79/2.83 c 1860 5750 477601 2777993 0 1860 3 13 9 2.79/2.83 c 1870 5771 478970 2785624 0 1870 12 12 10 2.79/2.84 c 1880 5797 480977 2795703 0 1880 8 17 13 2.79/2.84 c 1890 5819 482553 2803007 0 1890 9 13 10 2.79/2.85 c 1900 5840 484064 2809150 0 1900 6 12 9 2.79/2.86 c 1910 5889 487181 2836989 0 1910 40 40 36 2.79/2.86 c 1920 5905 488424 2841578 0 1920 3 7 5 2.79/2.88 c 1930 5943 492141 2921757 0 1930 29 29 26 2.79/2.88 c 1940 5962 493664 2927089 0 1940 3 10 7 2.79/2.89 c 1950 5983 495180 2933733 0 1950 6 12 9 2.89/2.90 c 1960 6026 498316 2987972 0 1960 34 34 30 2.89/2.90 c 1970 6048 500132 2994777 0 1970 7 13 9 2.89/2.91 c 1980 6086 503071 3016230 0 1980 8 29 12 2.89/2.92 c 1990 6108 504883 3023332 0 1990 10 13 11 2.89/2.94 c 2000 6151 508158 3085240 0 2000 34 34 30 2.89/2.94 c 2010 6173 510000 3091573 0 2010 7 13 8 2.89/2.94 c 2020 6199 511824 3101920 0 2020 8 17 10 2.89/2.95 c 2030 6224 513698 3109698 0 2030 13 16 13 2.89/2.96 c 2040 6262 516922 3163175 0 2040 29 29 26 2.89/2.97 c 2050 6284 518464 3168796 0 2050 4 13 7 2.89/2.99 c 2060 6327 521831 3239198 0 2060 34 34 30 2.89/2.99 c 2070 6354 523949 3249695 0 2070 13 18 12 2.89/2.99 c 2080 6376 525700 3256350 0 2080 3 13 7 3.00/3.01 c 2090 6420 529219 3295303 0 2090 12 35 23 3.00/3.01 c 2100 6439 530758 3300139 0 2100 3 10 6 3.00/3.03 c 2110 6484 534389 3330293 0 2110 12 36 25 3.00/3.04 c 2120 6524 538294 3360763 0 2120 13 31 20 3.00/3.04 c 2122 6538 539766 3364085 0 2122 10 13 7 3.00/3.06 c 2130 6575 543084 3410818 0 2130 30 30 26 3.00/3.07 c 2140 6619 546493 3428376 0 2140 13 35 13 3.00/3.08 c 2150 6659 549864 3456292 0 2150 18 31 21 3.00/3.08 c 2160 6678 551397 3461665 0 2160 4 10 7 3.00/3.09 c 2170 6717 555197 3504627 0 2170 12 30 19 3.00/3.10 c 2180 6736 556740 3509217 0 2180 3 10 7 3.10/3.11 c 2190 6776 560801 3557487 0 2190 31 31 28 3.10/3.12 c 2200 6795 562333 3562825 0 2200 3 10 5 3.10/3.13 c 2210 6840 565730 3595101 0 2210 17 36 27 3.10/3.14 c 2220 6880 569765 3642076 0 2220 31 31 28 3.10/3.15 c 2230 6902 571555 3648647 0 2230 3 13 7 3.10/3.16 c 2240 6942 575154 3696915 0 2240 31 31 28 3.10/3.17 c 2250 6964 577031 3703486 0 2250 10 13 10 3.10/3.18 c 2260 7009 580504 3742046 0 2260 36 36 32 3.19/3.20 c 2270 7049 584093 3789041 0 2270 31 31 28 3.19/3.20 c 2280 7084 587225 3804283 0 2280 13 26 13 3.19/3.21 c 2290 7100 588468 3808872 0 2290 3 7 5 3.19/3.21 c 2300 7121 589987 3814243 0 2300 4 12 8 3.19/3.23 c 2310 7161 593586 3862511 0 2310 31 31 28 3.19/3.24 c 2320 7206 596832 3898655 0 2320 26 36 31 3.19/3.25 c 2330 7246 600421 3945650 0 2330 31 31 28 3.19/3.26 c 2340 7291 603661 3979108 0 2340 36 36 32 3.19/3.28 c 2350 7331 607238 4025662 0 2350 31 31 28 3.19/3.29 c 2360 7376 610726 4061248 0 2360 36 36 32 3.29/3.31 c 2370 7416 614502 4107764 0 2370 31 31 28 3.29/3.32 c 2380 7461 617990 4143360 0 2380 36 36 32 3.29/3.33 c 2390 7501 621766 4189886 0 2390 31 31 28 3.29/3.34 c 2400 7546 625254 4225492 0 2400 36 36 32 3.29/3.36 c 2410 7586 629030 4272028 0 2410 31 31 28 3.29/3.37 c 2420 7631 632518 4307644 0 2420 36 36 32 3.29/3.39 c 2430 7671 636294 4354190 0 2430 31 31 28 3.29/3.39 c 2431 7707 639593 4366029 0 2431 36 36 18 3.39/3.41 c 2440 7746 643336 4408798 0 2440 31 31 27 3.39/3.42 c 2450 7791 646824 4444425 0 2450 36 36 32 3.39/3.44 c 2460 7831 650600 4490990 0 2460 31 31 28 3.39/3.44 c 2470 7863 653252 4499446 0 2470 23 23 20 3.39/3.45 c 2480 7885 654740 4507547 0 2480 4 13 8 3.39/3.45 c 2490 7904 656254 4512882 0 2490 3 10 6 3.39/3.45 c 2500 7930 658131 4522511 0 2500 17 17 15 3.39/3.46 c 2510 7957 659949 4532592 0 2510 13 18 14 3.39/3.46 c 2520 7983 662032 4540925 0 2520 13 17 15 3.39/3.47 c 2530 8013 664195 4549971 0 2530 18 21 18 3.39/3.47 c 2540 8039 666067 4558855 0 2540 17 17 15 3.39/3.48 c 2550 8069 668199 4568861 0 2550 21 21 19 3.39/3.48 c 2560 8103 670096 4585204 0 2560 17 25 21 3.39/3.49 c 2570 8129 672249 4593467 0 2570 13 17 13 3.39/3.49 c 2580 8155 674141 4601042 0 2580 17 17 15 3.49/3.50 c 2590 8189 676470 4616389 0 2590 21 25 21 3.49/3.50 c 2600 8215 678593 4625362 0 2600 17 17 15 3.49/3.51 c 2610 8255 680526 4646806 0 2610 25 31 25 3.49/3.52 c 2620 8274 682040 4652141 0 2620 3 10 6 3.49/3.52 c 2630 8308 683918 4667993 0 2630 17 25 21 3.49/3.53 c 2640 8334 686064 4675775 0 2640 17 17 15 3.49/3.53 c 2650 8360 688176 4683128 0 2650 17 17 15 3.49/3.54 c 2660 8400 690574 4702595 0 2660 25 31 25 3.49/3.54 c 2670 8423 692683 4709398 0 2670 10 14 11 3.49/3.55 c 2680 8457 695019 4725886 0 2680 17 25 21 3.49/3.55 c 2690 8473 696262 4730475 0 2690 3 7 5 3.49/3.56 c 2700 8507 698637 4741461 0 2700 13 25 15 3.49/3.57 c 2710 8537 701034 4750687 0 2710 17 21 17 3.49/3.58 c 2720 8577 703426 4772629 0 2720 31 31 28 3.49/3.58 c 2730 8604 705790 4781626 0 2730 14 18 13 3.49/3.58 c 2740 8624 707338 4787739 0 2740 6 11 8 3.49/3.59 c 2750 8646 709122 4793594 0 2750 6 13 9 3.49/3.59 c 2760 8667 710661 4800001 0 2760 6 12 8 3.59/3.60 c 2770 8693 712567 4809336 0 2770 13 17 14 3.59/3.60 c 2771 8701 713724 4811199 0 2771 8 8 4 3.59/3.60 c 2780 8726 715806 4818749 0 2780 13 17 14 3.59/3.61 c 2790 8747 717436 4826870 0 2790 8 12 9 3.59/3.61 c 2800 8773 719593 4835936 0 2800 13 17 15 3.59/3.62 c 2810 8794 721126 4841308 0 2810 4 12 8 3.59/3.62 c 2820 8828 723061 4857526 0 2820 17 25 19 3.59/3.63 c 2830 8858 725520 4868246 0 2830 17 21 16 3.59/3.63 c 2840 8883 727291 4879263 0 2840 12 16 13 3.59/3.64 c 2850 8905 729070 4885085 0 2850 3 13 7 3.59/3.64 c 2860 8931 730847 4893466 0 2860 8 17 10 3.59/3.65 c 2870 8956 732659 4904316 0 2870 12 16 13 3.59/3.65 c 2880 8978 734509 4911851 0 2880 13 13 11 3.59/3.66 c 2890 8999 736020 4917994 0 2890 6 12 9 3.59/3.66 c 2900 9033 738198 4933448 0 2900 17 25 18 3.59/3.67 c 2910 9063 740636 4943173 0 2910 21 21 19 3.59/3.67 c 2920 9085 742185 4949288 0 2920 4 13 9 3.59/3.68 c 2930 9111 744190 4956678 0 2930 8 17 11 3.59/3.68 c 2940 9136 746052 4965764 0 2940 13 16 12 3.59/3.68 c 2950 9158 747916 4972582 0 2950 10 13 10 3.59/3.69 c 2960 9184 750003 4980940 0 2960 12 17 12 3.59/3.69 c 2970 9214 752136 4990304 0 2970 16 21 17 3.69/3.70 c 2980 9240 754251 4999370 0 2980 17 17 15 3.69/3.70 c 2990 9265 756065 5010874 0 2990 13 16 13 3.69/3.71 c 3000 9287 757884 5017695 0 3000 3 13 8 3.69/3.71 c 3010 9313 759985 5026770 0 3010 12 17 14 3.69/3.72 c 3020 9343 762108 5036531 0 3020 16 21 18 3.69/3.73 c 3030 9390 764070 5061792 0 3030 31 38 29 3.69/3.73 c 3040 9409 765584 5067127 0 3040 3 10 6 3.69/3.74 c 3050 9449 767532 5087825 0 3050 25 31 23 3.69/3.74 c 3060 9476 769931 5096816 0 3060 18 18 16 3.69/3.75 c 3070 9506 771826 5106403 0 3070 16 21 18 3.69/3.75 c 3080 9553 773776 5130985 0 3080 38 38 34 3.69/3.76 c 3090 9576 775885 5137788 0 3090 10 14 11 3.69/3.76 c 3100 9610 777804 5153279 0 3100 17 25 20 3.69/3.77 c 3110 9636 779941 5161057 0 3110 13 17 13 3.69/3.78 c 3120 9676 782560 5182992 0 3120 25 31 27 3.69/3.78 c 3130 9692 783832 5187830 0 3130 3 7 5 3.69/3.79 c 3140 9718 785968 5196132 0 3140 13 17 14 3.69/3.79 c 3142 9725 786799 5197779 0 3142 6 6 4 3.69/3.79 c 3150 9745 788522 5203167 0 3150 6 13 9 3.79/3.80 c 3160 9792 791430 5228630 0 3160 31 38 30 3.79/3.81 c 3170 9808 792702 5233468 0 3170 3 7 5 3.79/3.81 c 3180 9834 794910 5246421 0 3180 17 17 15 3.79/3.81 c 3190 9855 796460 5252827 0 3190 9 12 9 3.79/3.82 c 3200 9881 798527 5261421 0 3200 13 17 12 3.79/3.83 c 3210 9915 801024 5275391 0 3210 21 25 19 3.79/3.83 c 3220 9941 803141 5284361 0 3220 17 17 15 3.79/3.84 c 3230 9967 805264 5291195 0 3230 17 17 15 3.79/3.84 c 3240 9992 807044 5299566 0 3240 5 16 10 3.79/3.84 c 3250 10014 808834 5305924 0 3250 4 13 8 3.79/3.85 c 3260 10048 810956 5320398 0 3260 17 25 19 3.79/3.86 c 3270 10074 813053 5328885 0 3270 17 17 15 3.79/3.86 c 3280 10100 814696 5339327 0 3280 5 17 10 3.79/3.87 c 3290 10140 817097 5357255 0 3290 25 31 26 3.79/3.88 c 3300 10167 819628 5379060 0 3300 18 18 16 3.79/3.89 c 3310 10207 822060 5400506 0 3310 31 31 28 3.79/3.89 c 3320 10234 824596 5426952 0 3320 18 18 16 3.89/3.90 c 3330 10281 827082 5449955 0 3330 31 38 30 3.89/3.91 c 3340 10308 829446 5458952 0 3340 14 18 13 3.89/3.91 c 3350 10333 831175 5468560 0 3350 8 16 11 3.89/3.92 c 3360 10359 833102 5477140 0 3360 13 17 13 3.89/3.92 c 3370 10389 835176 5489215 0 3370 16 21 16 3.89/3.92 c 3380 10415 836792 5498239 0 3380 17 17 15 3.89/3.93 c 3390 10445 838947 5508472 0 3390 21 21 19 3.89/3.94 c 3400 10485 841084 5530741 0 3400 17 31 26 3.89/3.94 c 3410 10512 843424 5538802 0 3410 14 18 15 3.89/3.95 c 3420 10537 845191 5549382 0 3420 8 16 12 3.89/3.95 c 3430 10563 847316 5558189 0 3430 13 17 15 3.89/3.96 c 3440 10610 850014 5583602 0 3440 25 38 29 3.89/3.97 c 3450 10637 852338 5591183 0 3450 3 18 14 3.89/3.98 c 3460 10684 855254 5617321 0 3460 38 38 34 3.89/3.98 c 3470 10711 857601 5625599 0 3470 13 18 15 3.89/3.99 c 3480 10775 860825 5658765 0 3480 38 55 42 3.89/4.00 c 3490 10793 862373 5665089 0 3490 3 9 7 3.89/4.00 c 3500 10815 864133 5670948 0 3500 4 13 9 4.00/4.01 c 3510 10879 867048 5703251 0 3510 46 55 43 4.00/4.02 c 3520 10906 869404 5711529 0 3520 13 18 15 4.00/4.03 c 3530 10970 872649 5743522 0 3530 55 55 50 4.00/4.04 c 3540 10993 874744 5750327 0 3540 9 14 12 4.00/4.05 c 3550 11067 877531 5787955 0 3550 39 65 55 4.00/4.05 c 3551 11071 878330 5788550 0 3551 4 4 2 4.00/4.06 c 3560 11096 880192 5796645 0 3560 12 17 14 4.00/4.06 c 3570 11143 882659 5820592 0 3570 38 38 34 4.00/4.07 c 3580 11170 885058 5829583 0 3580 18 18 16 4.00/4.08 c 3590 11244 888313 5863065 0 3590 65 65 59 4.00/4.09 c 3600 11271 890660 5871343 0 3600 13 18 15 4.00/4.10 c 3610 11345 893905 5902009 0 3610 65 65 59 4.10/4.11 c 3620 11409 897228 5936540 0 3620 18 55 29 4.10/4.12 c 3630 11432 899337 5943856 0 3630 10 14 9 4.10/4.16 c 3640 11623 917209 5999232 0 3640 17 182 42 4.10/4.16 c 3650 11646 919223 6005866 0 3650 3 14 8 4.10/4.18 c 3660 11736 922744 6039230 0 3660 81 81 73 4.10/4.18 c 3670 11755 924264 6044563 0 3670 3 10 6 4.10/4.19 c 3680 11795 926190 6066140 0 3680 31 31 28 4.19/4.20 c 3690 11822 928726 6092596 0 3690 18 18 16 4.19/4.20 c 3700 11869 931197 6116065 0 3700 38 38 34 4.19/4.21 c 3710 11896 933727 6137870 0 3710 18 18 16 4.19/4.22 c 3720 11943 936239 6163057 0 3720 38 38 34 4.19/4.23 c 3730 11970 938775 6189503 0 3730 18 18 16 4.19/4.24 c 3740 12056 941839 6230606 0 3740 38 77 54 4.19/4.25 c 3750 12076 943395 6237188 0 3750 3 11 8 4.19/4.26 c 3760 12116 945756 6257047 0 3760 31 31 28 4.19/4.26 c 3770 12146 948291 6274831 0 3770 21 21 19 4.19/4.28 c 3780 12231 951657 6311781 0 3780 65 76 64 4.19/4.28 c 3790 12250 953178 6317114 0 3790 3 10 7 4.19/4.29 c 3800 12297 955126 6343110 0 3800 31 38 33 4.19/4.29 c 3810 12316 956669 6348689 0 3810 5 10 7 4.29/4.31 c 3820 12380 959452 6382650 0 3820 26 55 38 4.29/4.31 c 3830 12403 961528 6389910 0 3830 14 14 12 4.29/4.32 c 3840 12458 964425 6415280 0 3840 26 46 29 4.29/4.33 c 3850 12481 966582 6423317 0 3850 14 14 12 4.29/4.34 c 3860 12566 969689 6459417 0 3860 46 76 63 4.29/4.34 c 3870 12584 971225 6465243 0 3870 3 9 7 4.29/4.36 c 3880 12669 974775 6499277 0 3880 17 76 41 4.29/4.36 c 3890 12692 976871 6506822 0 3890 9 14 12 4.29/4.37 c 3900 12747 979553 6532720 0 3900 25 46 28 4.29/4.38 c 3910 12774 981979 6541501 0 3910 14 18 14 4.29/4.40 c 3920 12859 984894 6587542 0 3920 25 76 48 4.39/4.40 c 3930 12889 987078 6597568 0 3930 14 21 18 4.39/4.41 c 3940 12974 989990 6627183 0 3940 76 76 69 4.39/4.42 c 3950 13004 992266 6644033 0 3950 21 21 19 4.39/4.43 c 3960 13089 995168 6673669 0 3960 76 76 69 4.39/4.45 c 3970 13179 998291 6716121 0 3970 29 81 55 4.39/4.45 c 3980 13197 999814 6721451 0 3980 3 9 6 4.39/4.49 c 3990 13384 1016194 6774332 0 3990 38 178 128 4.39/4.49 c 4000 13402 1017717 6779662 0 4000 3 9 6 4.49/4.50 c 4001 13472 1021085 6801049 0 4001 70 70 35 4.49/4.51 c 4010 13487 1022335 6805385 0 4010 3 7 5 4.49/4.54 c 4020 13680 1038454 6855027 0 4020 184 184 167 4.49/4.55 c 4030 13696 1039728 6859865 0 4030 3 7 5 4.49/4.56 c 4040 13788 1043675 6900243 0 4040 70 83 69 4.49/4.57 c 4050 13807 1045243 6905830 0 4050 5 10 6 4.49/4.57 c 4060 13841 1047158 6922409 0 4060 25 25 22 4.49/4.58 c 4070 13881 1049626 6943430 0 4070 21 31 26 4.49/4.58 c 4080 13900 1051138 6949779 0 4080 4 10 8 4.59/4.60 c 4090 13974 1053868 6987226 0 4090 17 65 30 4.59/4.60 c 4100 13997 1055894 6993537 0 4100 3 14 7 4.59/4.61 c 4110 14023 1057282 7002142 0 4110 12 17 14 4.59/4.61 c 4120 14053 1059406 7011417 0 4120 16 21 18 4.59/4.62 c 4130 14138 1062290 7039207 0 4130 76 76 69 4.59/4.63 c 4140 14157 1063845 7044794 0 4140 5 10 6 4.59/4.64 c 4150 14249 1067123 7086667 0 4150 25 83 55 4.59/4.65 c 4160 14265 1068410 7091507 0 4160 3 7 5 4.59/4.67 c 4170 14376 1072718 7135091 0 4170 83 102 77 4.59/4.67 c 4180 14395 1074230 7141440 0 4180 4 10 8 4.59/4.68 c 4190 14487 1077625 7182194 0 4190 65 83 73 4.59/4.69 c 4200 14510 1079710 7189511 0 4200 10 14 9 4.59/4.69 c 4210 14536 1081533 7198324 0 4210 17 17 15 4.69/4.71 c 4220 14615 1084827 7229065 0 4220 21 70 27 4.69/4.71 c 4230 14638 1086901 7236079 0 4230 14 14 12 4.69/4.72 c 4240 14664 1088723 7245690 0 4240 5 17 9 4.69/4.73 c 4250 14756 1092477 7283409 0 4250 76 83 74 4.69/4.74 c 4260 14779 1094624 7290953 0 4260 14 14 12 4.69/4.75 c 4270 14826 1097526 7315961 0 4270 38 38 34 4.69/4.75 c 4280 14849 1099615 7322032 0 4280 10 14 10 4.69/4.77 c 4290 14928 1103137 7357005 0 4290 38 70 40 4.69/4.77 c 4300 14947 1104662 7362086 0 4300 3 10 6 4.69/4.79 c 4310 15039 1107998 7401727 0 4310 76 83 74 4.69/4.79 c 4320 15070 1111386 7411932 0 4320 14 22 16 4.79/4.81 c 4330 15181 1115116 7459600 0 4330 83 102 82 4.79/4.82 c 4340 15200 1116630 7464935 0 4340 3 10 6 4.79/4.83 c 4350 15292 1119647 7503221 0 4350 38 83 56 4.79/4.84 c 4360 15323 1123044 7528790 0 4360 22 22 20 4.79/4.85 c 4370 15363 1125500 7549597 0 4370 31 31 28 4.79/4.85 c 4380 15381 1127027 7554680 0 4380 3 9 6 4.79/4.87 c 4390 15428 1129804 7581071 0 4390 18 38 24 4.79/4.87 c 4400 15446 1131331 7586154 0 4400 3 9 6 4.79/4.88 c 4410 15476 1134399 7602687 0 4410 13 21 14 4.89/4.90 c 4420 15568 1137777 7643661 0 4420 31 83 55 4.89/4.91 c 4430 15599 1141174 7669233 0 4430 22 22 20 4.89/4.92 c 4440 15691 1144616 7709450 0 4440 83 83 75 4.89/4.93 c 4450 15722 1148008 7734291 0 4450 22 22 20 4.89/4.95 c 4460 15813 1151176 7767156 0 4460 82 82 74 4.89/4.95 c 4470 15833 1152948 7774598 0 4470 3 11 8 4.89/4.97 c 4480 15925 1156833 7812217 0 4480 31 83 54 4.89/4.97 c 4490 15950 1159142 7820109 0 4490 11 16 14 4.89/4.98 c 4493 15973 1162110 7827356 0 4493 21 21 15 4.89/4.99 c 4500 16010 1164539 7845484 0 4500 25 31 26 4.89/5.00 c 4510 16057 1167247 7870555 0 4510 17 38 31 5.00/5.00 c 4520 16088 1170563 7880731 0 4520 9 22 13 5.00/5.02 c 4530 16167 1173882 7916610 0 4530 38 70 48 5.00/5.02 c 4540 16190 1175965 7923901 0 4540 10 14 10 5.00/5.03 c 4550 16220 1179224 7948003 0 4550 21 21 19 5.00/5.04 c 4560 16242 1180343 7957361 0 4560 5 13 7 5.00/5.05 c 4570 16297 1182929 7984835 0 4570 18 46 31 5.00/5.05 c 4580 16321 1185257 7992121 0 4580 10 15 11 5.00/5.06 c 4590 16351 1188299 8011812 0 4590 21 21 19 5.00/5.08 c 4600 16442 1191898 8052232 0 4600 70 82 68 5.00/5.08 c 4610 16462 1193641 8057344 0 4610 4 11 8 5.00/5.09 c 4620 16492 1197077 8090328 0 4620 21 21 19 5.00/5.10 c 4630 16528 1199354 8104824 0 4630 12 27 15 5.10/5.11 c 4640 16560 1202918 8118730 0 4640 12 23 14 5.10/5.11 c 4650 16583 1204735 8126814 0 4650 4 14 8 5.10/5.12 c 4660 16615 1208320 8151488 0 4660 13 23 20 5.10/5.13 c 4670 16638 1210139 8160072 0 4670 4 14 8 5.10/5.14 c 4680 16670 1213736 8185688 0 4680 23 23 20 5.10/5.14 c 4690 16697 1216085 8194173 0 4690 18 18 16 5.10/5.15 c 4700 16729 1219183 8218852 0 4700 12 23 19 5.10/5.16 c 4710 16760 1221811 8234628 0 4710 18 22 17 5.10/5.17 c 4720 16778 1223327 8240035 0 4720 3 9 6 5.10/5.17 c 4730 16801 1225335 8246665 0 4730 6 14 9 5.10/5.18 c 4740 16833 1228868 8257388 0 4740 12 23 12 5.10/5.18 c 4750 16860 1231218 8265165 0 4750 13 18 14 5.10/5.19 c 4760 16891 1234500 8275638 0 4760 12 22 12 5.10/5.20 c 4770 16913 1236073 8282493 0 4770 4 13 9 5.19/5.21 c 4780 16943 1239513 8319253 0 4780 21 21 19 5.19/5.21 c 4790 16968 1241249 8327383 0 4790 8 16 11 5.19/5.21 c 4800 16984 1242492 8331972 0 4800 3 7 5 5.19/5.23 c 4810 17015 1245846 8356284 0 4810 22 22 20 5.19/5.23 c 4820 17037 1247738 8364162 0 4820 13 13 11 5.19/5.24 c 4830 17068 1250847 8389165 0 4830 13 22 19 5.19/5.24 c 4840 17095 1253108 8397286 0 4840 8 18 11 5.19/5.25 c 4850 17126 1255961 8422959 0 4850 22 22 20 5.19/5.26 c 4860 17157 1258554 8434109 0 4860 18 22 16 5.19/5.26 c 4870 17176 1260076 8439188 0 4870 3 10 6 5.19/5.27 c 4880 17199 1262092 8446577 0 4880 6 14 9 5.19/5.28 c 4890 17230 1265458 8472286 0 4890 22 22 20 5.19/5.29 c 4900 17321 1269040 8505060 0 4900 82 82 74 5.19/5.30 c 4910 17340 1270556 8509892 0 4910 3 10 6 5.29/5.30 c 4920 17371 1273562 8523220 0 4920 22 22 20 5.29/5.31 c 4930 17387 1274821 8527311 0 4930 3 7 5 5.29/5.32 c 4940 17417 1277853 8544840 0 4940 14 21 17 5.29/5.32 c 4950 17435 1279139 8549966 0 4950 4 9 7 5.29/5.33 c 4960 17465 1282575 8586724 0 4960 21 21 19 5.29/5.34 c 4970 17501 1284957 8597456 0 4970 27 27 24 5.29/5.35 c 4980 17531 1288374 8634522 0 4980 21 21 19 5.29/5.36 c 4990 17578 1291276 8657051 0 4990 27 38 29 5.29/5.37 c 5035 17643 1294907 8694773 0 5035 3 21 14 5.39/5.47 c 5631 18416 1310780 9048386 0 5190 3 172 145 5.69/5.71 c 6286 19103 1334215 10359547 0 5414 3 31 29 5.89/5.91 c 7006 19945 1350323 11560691 0 5747 8 121 87 6.29/6.35 c 7798 20802 1384173 12887992 0 5895 4 62 59 6.49/6.55 c 8669 21840 1407652 13864442 0 6361 8 162 77 6.69/6.78 c 9627 22826 1438261 15058869 0 6408 24 25 24 7.09/7.15 c 10680 23970 1467074 16873642 0 6814 4 64 59 7.68/7.71 c 11838 25164 1519196 19803603 0 6900 3 32 31 8.09/8.15 c 13111 26703 1578920 22360055 0 7101 254 254 253 8.48/8.57 c 14511 28141 1631759 24765196 0 7254 6 33 32 9.48/9.52 c 16051 29787 1677237 29630812 0 7653 11 65 62 10.18/10.25 c 17745 31753 1752065 34388283 0 7844 254 254 253 10.79/10.80 c 19608 33706 1791213 37545453 0 8244 6 81 76 12.29/12.35 c 21657 35797 1885151 42877978 0 8448 5 34 33 13.29/13.36 c 23910 38330 1975504 49393245 0 8554 254 254 253 14.59/14.68 c 26388 40864 2066917 54461195 0 8691 8 44 43 15.69/15.76 c 29113 43876 2165685 61690142 0 8838 254 254 253 16.59/16.69 c 32110 47079 2239919 65791875 0 9573 9 67 64 18.19/18.30 c 35406 50513 2366185 72324071 0 9897 6 41 40 18.79/18.88 c 39031 54391 2409264 75514061 0 11015 5 161 132 20.19/20.27 c 43018 58438 2545644 83163310 0 11212 8 43 42 21.00/21.03 c 47403 63297 2715944 86799375 0 11289 9 22 18 22.00/22.04 c 52226 68666 2789948 92243029 0 12040 6 141 112 23.19/23.24 c 57531 74116 2949504 98681440 0 12131 7 42 38 25.69/25.71 c 63366 81825 3191105 110683187 0 12464 8 38 32 26.69/26.77 c 69784 88274 3428586 115145873 0 12682 7 7 6 27.89/27.94 c 76843 95395 3703858 120649315 0 12832 4 34 33 34.28/34.33 c 84607 103259 4062688 150343277 0 13016 10 57 56 36.09/36.15 c 93147 111990 4347834 160854384 0 13108 8 20 19 37.99/38.07 c 102541 122182 4469356 172744536 0 14226 4 141 126 40.99/41.08 c 112874 132665 4747028 190217761 0 14577 5 41 39 47.28/47.39 c 124240 144102 5215575 218234988 0 14719 12 22 21 52.88/52.95 c 136742 157024 5576446 255108215 0 14755 254 254 253 54.88/54.91 c 150494 170938 5735270 263560244 0 14979 7 74 73 60.78/60.84 c 165621 186522 6146594 305802995 0 15061 254 254 253 68.38/68.48 c 182260 203298 6868575 333229662 0 15321 13 60 59 74.38/74.46 c 200562 221769 7310415 368775302 0 15663 17 67 66 79.38/79.44 c 220694 242014 7960429 392967783 0 15959 9 27 26 84.48/84.56 c 242839 264293 8771167 420645214 0 16164 5 40 39 89.58/89.60 c 267198 290227 9150560 453837244 0 17129 10 152 126 91.99/92.03 c 293992 317141 9925867 468580110 0 17258 12 12 11 97.78/97.82 c 323465 348654 10929022 498301997 0 17692 12 57 56 106.88/106.92 c 355885 381870 11434064 550246997 0 18498 5 100 92 118.78/118.89 c 391547 417811 12494649 617762106 0 19029 20 85 84 127.58/127.66 c 430775 457250 13490557 678141554 0 19345 10 27 26 139.78/139.84 c 473925 501127 14644545 754330680 0 19640 17 59 58 148.78/148.82 c 521390 550959 15102024 804590732 0 20354 10 103 94 156.77/156.80 c 573601 603403 16894979 846747898 0 20611 5 16 15 177.98/178.05 c 631033 662233 17902395 957743403 0 21312 3 51 47 183.67/183.74 c 694208 725717 19385792 992981228 0 21488 9 16 15 238.77/238.82 c 763700 795566 22143312 1245096371 0 21736 9 30 29 276.17/276.25 c 840141 873351 24357283 1522887240 0 21859 254 254 253 301.77/301.82 c 924226 958203 26706277 1639824368 0 22308 16 68 67 317.97/318.07 c 1016719 1051093 29563284 1718315030 0 22637 11 18 17 340.86/340.95 c 1118461 1157719 30877663 1836501554 0 23783 9 159 120 376.86/376.96 c 1230377 1283554 32874802 1997122706 0 24655 6 73 72 408.67/408.73 c 1353484 1407361 37788239 2122574671 0 25074 7 24 20 429.77/429.85 c 1488901 1543363 41836242 2237967313 0 25271 11 20 16 464.97/465.02 c 1637859 1707289 44219160 2427287733 0 26269 9 159 126 487.86/487.96 c 1801712 1877974 47529823 2560710342 0 26850 10 159 93 503.46/503.52 c 1981950 2059219 52027184 2651978502 0 27025 7 11 10 634.26/634.39 c 2180211 2262914 59275624 3356041367 0 27159 9 60 46 656.86/656.96 c 2398298 2482018 64652212 3495900226 0 27291 6 12 8 764.86/764.91 c 2638193 2723254 71308271 4189131089 0 27611 3 46 45 804.16/804.21 c 2902077 2991467 76947233 4383432035 0 28212 7 70 68 873.75/873.89 c 3192349 3308655 80707960 4775637818 0 29398 5 130 103 939.55/939.61 c 3511648 3630339 89402084 5212332037 0 29984 8 87 41 1046.45/1046.56 c 3862876 3983294 98839426 5793359213 0 30399 6 22 19 1113.25/1113.39 c 4249226 4381891 107119971 6156683623 0 30886 4 73 63 1198.24/1198.31 c 4674211 4810234 119314549 6643927458 0 31066 7 63 33 1263.14/1263.24 c 5141694 5306619 130774845 7025943604 0 32327 6 130 56 1354.34/1354.41 c 5655925 5824181 146232227 7451672814 0 32682 6 65 43 1467.74/1467.86 c 6221579 6458990 154924792 8076000293 0 34128 4 159 115 1573.44/1573.54 c 6843798 7085625 172288061 8667952987 0 34620 8 48 21 1726.54/1726.62 c 7528238 7782233 182014264 9595400859 0 35358 4 80 69 2071.43/2071.51 c 8281122 8543669 201225584 11327666667 0 35722 13 38 33 2258.53/2258.68 c 9109294 9409884 225225438 12307448381 0 36886 8 124 44 2519.93/2520.00 2519.93/2520.00 c *** INTERRUPTED *** 2519.93/2520.00 c restarts : 595 2519.93/2520.00 c conflicts : 9608222 (3813 /sec) 2519.93/2520.00 c decisions : 9937061 (3944 /sec) 2519.93/2520.00 c propagations : 13335719055 (5292559 /sec) 2519.93/2520.00 c root propagations : 0 2519.93/2520.00 c filter calls : 246994911 (98025 /sec) 2519.93/2520.00 c useless filter calls : 173314340 (70 %) 2519.93/2520.00 c 2519.93/2520.00 c clauses : 17932390 2519.93/2520.00 c SAT propagations : 10684 2519.93/2520.00 c SAT conflicts : 0 (0 learnts) 2519.93/2520.00 c Memory used : 797.70 MB 2519.93/2520.00 c CPU time : 2519.71 s 2519.93/2520.00 2519.93/2520.00 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 (14071 MiB free)
memory of node 1: 16384 MiB (12365 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266067-1502570682/watcher-4266067-1502570682 -o /tmp/evaluation-result-4266067-1502570682/solver-4266067-1502570682 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node114-1502567254-24358 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266067-1502570682.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=24827, runsolver pid=24824
Current StackSize limit: 8192 KiB
[startup+0.100155 s]*
/proc/loadavg: 2.00 2.03 1.92 3/187 24828
/proc/meminfo: memFree=27067956/32770624 swapFree=67108860/67108860
[pid=24827] ppid=24824 vsize=29968 memory=6296 CPUtime=0.1 cores=1,3,5,7
/proc/24827/stat : 24827 (cosoco) R 24824 24827 24273 0 -1 4202496 1788 0 0 0 10 0 0 0 20 0 1 0 90156096 30687232 1574 33554432000 4194304 5972588 140731723444912 140731723441560 140687944932325 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 30334976 140731723453626 140731723453726 140731723453726 140731723456462 0
/proc/24827/statm: 7492 1574 787 435 0 855 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29968 KiB
Current children cumulated memory: 6296 KiB
[startup+0.209414 s]*
/proc/loadavg: 2.00 2.03 1.92 3/187 24828
/proc/meminfo: memFree=27066096/32770624 swapFree=67108860/67108860
[pid=24827] ppid=24824 vsize=31740 memory=8192 CPUtime=0.21 cores=1,3,5,7
/proc/24827/stat : 24827 (cosoco) R 24824 24827 24273 0 -1 4202496 2234 0 0 0 21 0 0 0 20 0 1 0 90156096 32501760 2048 33554432000 4194304 5972588 140731723444912 140731723441560 140687944932325 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 30334976 140731723453626 140731723453726 140731723453726 140731723456462 0
/proc/24827/statm: 7935 2048 787 435 0 1298 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 31740 KiB
Current children cumulated memory: 8192 KiB
[startup+0.308959 s]*
/proc/loadavg: 2.00 2.03 1.92 3/187 24828
/proc/meminfo: memFree=27051396/32770624 swapFree=67108860/67108860
[pid=24827] ppid=24824 vsize=50408 memory=25792 CPUtime=0.3 cores=1,3,5,7
/proc/24827/stat : 24827 (cosoco) R 24824 24827 24273 0 -1 4202496 5589 0 0 0 30 0 0 0 20 0 1 0 90156096 51617792 6448 33554432000 4194304 5972588 140731723444912 140731723441560 5280335 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 30334976 140731723453626 140731723453726 140731723453726 140731723456462 0
/proc/24827/statm: 12602 6448 820 435 0 5965 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 50408 KiB
Current children cumulated memory: 25792 KiB
[startup+0.700377 s]
/proc/loadavg: 2.00 2.03 1.92 3/187 24828
/proc/meminfo: memFree=26941244/32770624 swapFree=67108860/67108860
[pid=24827] ppid=24824 vsize=303508 memory=240416 CPUtime=0.69 cores=1,3,5,7
/proc/24827/stat : 24827 (cosoco) R 24824 24827 24273 0 -1 4202496 36286 0 0 0 63 6 0 0 20 0 1 0 90156096 310792192 60104 33554432000 4194304 5972588 140731723444912 140731723441560 140687944932325 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 30334976 140731723453626 140731723453726 140731723453726 140731723456462 0
/proc/24827/statm: 75877 60104 820 435 0 69240 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 303508 KiB
Current children cumulated memory: 240416 KiB
[startup+1.50038 s]
/proc/loadavg: 2.00 2.03 1.92 3/187 24828
/proc/meminfo: memFree=26667192/32770624 swapFree=67108860/67108860
[pid=24827] ppid=24824 vsize=806164 memory=683324 CPUtime=1.49 cores=1,3,5,7
/proc/24827/stat : 24827 (cosoco) R 24824 24827 24273 0 -1 4202496 92831 0 0 0 132 17 0 0 20 0 1 0 90156096 825511936 170831 33554432000 4194304 5972588 140731723444912 140731723441704 140687944932325 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 30334976 140731723453626 140731723453726 140731723453726 140731723456462 0
/proc/24827/statm: 201541 170831 820 435 0 194904 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 806164 KiB
Current children cumulated memory: 683324 KiB
[startup+3.10932 s]
/proc/loadavg: 2.00 2.03 1.92 3/187 24828
/proc/meminfo: memFree=26377968/32770624 swapFree=67108860/67108860
[pid=24827] ppid=24824 vsize=811840 memory=695704 CPUtime=3.1 cores=1,3,5,7
/proc/24827/stat : 24827 (cosoco) R 24824 24827 24273 0 -1 4202496 98042 0 0 0 292 18 0 0 20 0 1 0 90156096 831324160 173926 33554432000 4194304 5972588 140731723444912 140731723442216 4978304 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 30334976 140731723453626 140731723453726 140731723453726 140731723456462 0
/proc/24827/statm: 202960 173926 837 435 0 196323 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 811840 KiB
Current children cumulated memory: 695704 KiB
[startup+6.30028 s]
/proc/loadavg: 1.92 2.02 1.91 3/187 24828
/proc/meminfo: memFree=26377084/32770624 swapFree=67108860/67108860
[pid=24827] ppid=24824 vsize=813064 memory=696696 CPUtime=6.29 cores=1,3,5,7
/proc/24827/stat : 24827 (cosoco) R 24824 24827 24273 0 -1 4202496 109038 0 0 0 611 18 0 0 20 0 1 0 90156096 832577536 174174 33554432000 4194304 5972588 140731723444912 140731723442216 4909602 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 30334976 140731723453626 140731723453726 140731723453726 140731723456462 0
/proc/24827/statm: 203266 174174 837 435 0 196629 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 813064 KiB
Current children cumulated memory: 696696 KiB
[startup+12.7002 s]
/proc/loadavg: 1.93 2.02 1.91 3/191 24848
/proc/meminfo: memFree=26463440/32770624 swapFree=67108860/67108860
[pid=24827] ppid=24824 vsize=814252 memory=700076 CPUtime=12.69 cores=1,3,5,7
/proc/24827/stat : 24827 (cosoco) R 24824 24827 24273 0 -1 4202496 120011 0 0 0 1250 19 0 0 20 0 1 0 90156096 833794048 175019 33554432000 4194304 5972588 140731723444912 140731723442216 5240320 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 30334976 140731723453626 140731723453726 140731723453726 140731723456462 0
/proc/24827/statm: 203563 175019 837 435 0 196926 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 814252 KiB
Current children cumulated memory: 700076 KiB
[startup+25.5003 s]
/proc/loadavg: 1.95 2.02 1.91 3/187 24889
/proc/meminfo: memFree=26403940/32770624 swapFree=67108860/67108860
[pid=24827] ppid=24824 vsize=814912 memory=700664 CPUtime=25.49 cores=1,3,5,7
/proc/24827/stat : 24827 (cosoco) R 24824 24827 24273 0 -1 4202496 131713 0 0 0 2530 19 0 0 20 0 1 0 90156096 834469888 175166 33554432000 4194304 5972588 140731723444912 140731723441944 4965560 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 30334976 140731723453626 140731723453726 140731723453726 140731723456462 0
/proc/24827/statm: 203728 175166 837 435 0 197091 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 814912 KiB
Current children cumulated memory: 700664 KiB
[startup+51.1089 s]
/proc/loadavg: 1.96 2.01 1.92 3/187 24889
/proc/meminfo: memFree=26400708/32770624 swapFree=67108860/67108860
[pid=24827] ppid=24824 vsize=815176 memory=702992 CPUtime=51.09 cores=1,3,5,7
/proc/24827/stat : 24827 (cosoco) R 24824 24827 24273 0 -1 4202496 140575 0 0 0 5090 19 0 0 20 0 1 0 90156096 834740224 175748 33554432000 4194304 5972588 140731723444912 140731723441576 4965365 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 30334976 140731723453626 140731723453726 140731723453726 140731723456462 0
/proc/24827/statm: 203794 175748 837 435 0 197157 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 815176 KiB
Current children cumulated memory: 702992 KiB
[startup+102.3 s]
/proc/loadavg: 1.90 1.98 1.91 3/187 24950
/proc/meminfo: memFree=26461264/32770624 swapFree=67108860/67108860
[pid=24827] ppid=24824 vsize=815440 memory=703336 CPUtime=102.28 cores=1,3,5,7
/proc/24827/stat : 24827 (cosoco) R 24824 24827 24273 0 -1 4202496 151229 0 0 0 10208 20 0 0 20 0 1 0 90156096 835010560 175834 33554432000 4194304 5972588 140731723444912 140731723442216 5099648 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 30334976 140731723453626 140731723453726 140731723453726 140731723456462 0
/proc/24827/statm: 203860 175834 837 435 0 197223 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 815440 KiB
Current children cumulated memory: 703336 KiB
[startup+162.3 s]
/proc/loadavg: 1.96 1.99 1.92 3/187 24951
/proc/meminfo: memFree=26461000/32770624 swapFree=67108860/67108860
[pid=24827] ppid=24824 vsize=815704 memory=703484 CPUtime=162.27 cores=1,3,5,7
/proc/24827/stat : 24827 (cosoco) R 24824 24827 24273 0 -1 4202496 157200 0 0 0 16207 20 0 0 20 0 1 0 90156096 835280896 175871 33554432000 4194304 5972588 140731723444912 140731723441736 4975117 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 30334976 140731723453626 140731723453726 140731723453726 140731723456462 0
/proc/24827/statm: 203926 175871 837 435 0 197289 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 815704 KiB
Current children cumulated memory: 703484 KiB
[startup+222.3 s]
/proc/loadavg: 1.99 1.99 1.92 3/187 24952
/proc/meminfo: memFree=26460524/32770624 swapFree=67108860/67108860
[pid=24827] ppid=24824 vsize=815704 memory=703532 CPUtime=222.27 cores=1,3,5,7
/proc/24827/stat : 24827 (cosoco) R 24824 24827 24273 0 -1 4202496 159761 0 0 0 22207 20 0 0 20 0 1 0 90156096 835280896 175883 33554432000 4194304 5972588 140731723444912 140731723442216 4909624 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 30334976 140731723453626 140731723453726 140731723453726 140731723456462 0
/proc/24827/statm: 203926 175883 837 435 0 197289 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 815704 KiB
Current children cumulated memory: 703532 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.99 1.93 3/187 24953
/proc/meminfo: memFree=26461144/32770624 swapFree=67108860/67108860
[pid=24827] ppid=24824 vsize=815704 memory=703576 CPUtime=282.27 cores=1,3,5,7
/proc/24827/stat : 24827 (cosoco) R 24824 24827 24273 0 -1 4202496 163356 0 0 0 28207 20 0 0 20 0 1 0 90156096 835280896 175894 33554432000 4194304 5972588 140731723444912 140731723442216 4968818 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 30334976 140731723453626 140731723453726 140731723453726 140731723456462 0
/proc/24827/statm: 203926 175894 837 435 0 197289 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 815704 KiB
Current children cumulated memory: 703576 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 1.93 3/187 24954
/proc/meminfo: memFree=26458416/32770624 swapFree=67108860/67108860
[pid=24827] ppid=24824 vsize=815968 memory=705816 CPUtime=342.26 cores=1,3,5,7
/proc/24827/stat : 24827 (cosoco) R 24824 24827 24273 0 -1 4202496 165934 0 0 0 34206 20 0 0 20 0 1 0 90156096 835551232 176454 33554432000 4194304 5972588 140731723444912 140731723442216 4965583 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 30334976 140731723453626 140731723453726 140731723453726 140731723456462 0
/proc/24827/statm: 203992 176454 837 435 0 197355 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 815968 KiB
Current children cumulated memory: 705816 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 1.94 3/187 24955
/proc/meminfo: memFree=26458096/32770624 swapFree=67108860/67108860
[pid=24827] ppid=24824 vsize=816108 memory=705980 CPUtime=402.27 cores=1,3,5,7
/proc/24827/stat : 24827 (cosoco) R 24824 24827 24273 0 -1 4202496 167903 0 0 0 40206 21 0 0 20 0 1 0 90156096 835694592 176495 33554432000 4194304 5972588 140731723444912 140731723441736 4965342 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 30334976 140731723453626 140731723453726 140731723453726 140731723456462 0
/proc/24827/statm: 204027 176495 837 435 0 197390 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 816108 KiB
Current children cumulated memory: 705980 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/187 24956
/proc/meminfo: memFree=26457836/32770624 swapFree=67108860/67108860
[pid=24827] ppid=24824 vsize=816240 memory=706096 CPUtime=462.27 cores=1,3,5,7
/proc/24827/stat : 24827 (cosoco) R 24824 24827 24273 0 -1 4202496 170438 0 0 0 46206 21 0 0 20 0 1 0 90156096 835829760 176524 33554432000 4194304 5972588 140731723444912 140731723441944 4975080 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 30334976 140731723453626 140731723453726 140731723453726 140731723456462 0
/proc/24827/statm: 204060 176524 837 435 0 197423 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 816240 KiB
Current children cumulated memory: 706096 KiB
################
# More data... #
################
/proc/24827/statm: 204167 178059 837 435 0 197530 0
Current children cumulated CPU time: 1722.24 s
Current children cumulated vsize: 816668 KiB
Current children cumulated memory: 712236 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/189 25005
/proc/meminfo: memFree=26449936/32770624 swapFree=67108860/67108860
[pid=24827] ppid=24824 vsize=816836 memory=712316 CPUtime=1782.24 cores=1,3,5,7
/proc/24827/stat : 24827 (cosoco) R 24824 24827 24273 0 -1 4202496 192927 0 0 0 178202 22 0 0 20 0 1 0 90156096 836440064 178079 33554432000 4194304 5972588 140731723444912 140731723441736 4909594 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 30334976 140731723453626 140731723453726 140731723453726 140731723456462 0
/proc/24827/statm: 204209 178079 837 435 0 197572 0
Current children cumulated CPU time: 1782.24 s
Current children cumulated vsize: 816836 KiB
Current children cumulated memory: 712316 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/189 25027
/proc/meminfo: memFree=26449172/32770624 swapFree=67108860/67108860
[pid=24827] ppid=24824 vsize=816836 memory=712316 CPUtime=1842.24 cores=1,3,5,7
/proc/24827/stat : 24827 (cosoco) R 24824 24827 24273 0 -1 4202496 193676 0 0 0 184202 22 0 0 20 0 1 0 90156096 836440064 178079 33554432000 4194304 5972588 140731723444912 140731723441736 5320287 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 30334976 140731723453626 140731723453726 140731723453726 140731723456462 0
/proc/24827/statm: 204209 178079 837 435 0 197572 0
Current children cumulated CPU time: 1842.24 s
Current children cumulated vsize: 816836 KiB
Current children cumulated memory: 712316 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/189 25028
/proc/meminfo: memFree=26449808/32770624 swapFree=67108860/67108860
[pid=24827] ppid=24824 vsize=816836 memory=712316 CPUtime=1902.23 cores=1,3,5,7
/proc/24827/stat : 24827 (cosoco) R 24824 24827 24273 0 -1 4202496 194268 0 0 0 190201 22 0 0 20 0 1 0 90156096 836440064 178079 33554432000 4194304 5972588 140731723444912 140731723441736 4975117 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 30334976 140731723453626 140731723453726 140731723453726 140731723456462 0
/proc/24827/statm: 204209 178079 837 435 0 197572 0
Current children cumulated CPU time: 1902.23 s
Current children cumulated vsize: 816836 KiB
Current children cumulated memory: 712316 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/189 25029
/proc/meminfo: memFree=26449716/32770624 swapFree=67108860/67108860
[pid=24827] ppid=24824 vsize=816836 memory=712320 CPUtime=1962.23 cores=1,3,5,7
/proc/24827/stat : 24827 (cosoco) R 24824 24827 24273 0 -1 4202496 195239 0 0 0 196201 22 0 0 20 0 1 0 90156096 836440064 178080 33554432000 4194304 5972588 140731723444912 140731723441736 5099648 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 30334976 140731723453626 140731723453726 140731723453726 140731723456462 0
/proc/24827/statm: 204209 178080 837 435 0 197572 0
Current children cumulated CPU time: 1962.23 s
Current children cumulated vsize: 816836 KiB
Current children cumulated memory: 712320 KiB
[startup+2022.3 s]
/proc/loadavg: 2.04 2.03 1.97 3/189 25030
/proc/meminfo: memFree=26449712/32770624 swapFree=67108860/67108860
[pid=24827] ppid=24824 vsize=816836 memory=712320 CPUtime=2022.23 cores=1,3,5,7
/proc/24827/stat : 24827 (cosoco) R 24824 24827 24273 0 -1 4202496 195821 0 0 0 202201 22 0 0 20 0 1 0 90156096 836440064 178080 33554432000 4194304 5972588 140731723444912 140731723441736 4971621 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 30334976 140731723453626 140731723453726 140731723453726 140731723456462 0
/proc/24827/statm: 204209 178080 837 435 0 197572 0
Current children cumulated CPU time: 2022.23 s
Current children cumulated vsize: 816836 KiB
Current children cumulated memory: 712320 KiB
[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/187 25031
/proc/meminfo: memFree=26450004/32770624 swapFree=67108860/67108860
[pid=24827] ppid=24824 vsize=816836 memory=712320 CPUtime=2082.23 cores=1,3,5,7
/proc/24827/stat : 24827 (cosoco) R 24824 24827 24273 0 -1 4202496 196721 0 0 0 208201 22 0 0 20 0 1 0 90156096 836440064 178080 33554432000 4194304 5972588 140731723444912 140731723442216 4968801 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 30334976 140731723453626 140731723453726 140731723453726 140731723456462 0
/proc/24827/statm: 204209 178080 837 435 0 197572 0
Current children cumulated CPU time: 2082.23 s
Current children cumulated vsize: 816836 KiB
Current children cumulated memory: 712320 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 25032
/proc/meminfo: memFree=26449884/32770624 swapFree=67108860/67108860
[pid=24827] ppid=24824 vsize=816836 memory=712320 CPUtime=2142.23 cores=1,3,5,7
/proc/24827/stat : 24827 (cosoco) R 24824 24827 24273 0 -1 4202496 197462 0 0 0 214201 22 0 0 20 0 1 0 90156096 836440064 178080 33554432000 4194304 5972588 140731723444912 140731723442216 5094189 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 30334976 140731723453626 140731723453726 140731723453726 140731723456462 0
/proc/24827/statm: 204209 178080 837 435 0 197572 0
Current children cumulated CPU time: 2142.23 s
Current children cumulated vsize: 816836 KiB
Current children cumulated memory: 712320 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 25033
/proc/meminfo: memFree=26449872/32770624 swapFree=67108860/67108860
[pid=24827] ppid=24824 vsize=816836 memory=712320 CPUtime=2202.23 cores=1,3,5,7
/proc/24827/stat : 24827 (cosoco) R 24824 24827 24273 0 -1 4202496 198412 0 0 0 220201 22 0 0 20 0 1 0 90156096 836440064 178080 33554432000 4194304 5972588 140731723444912 140731723442216 5320445 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 30334976 140731723453626 140731723453726 140731723453726 140731723456462 0
/proc/24827/statm: 204209 178080 837 435 0 197572 0
Current children cumulated CPU time: 2202.23 s
Current children cumulated vsize: 816836 KiB
Current children cumulated memory: 712320 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 25034
/proc/meminfo: memFree=26449620/32770624 swapFree=67108860/67108860
[pid=24827] ppid=24824 vsize=816836 memory=712336 CPUtime=2262.23 cores=1,3,5,7
/proc/24827/stat : 24827 (cosoco) R 24824 24827 24273 0 -1 4202496 199576 0 0 0 226201 22 0 0 20 0 1 0 90156096 836440064 178084 33554432000 4194304 5972588 140731723444912 140731723442216 5094130 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 30334976 140731723453626 140731723453726 140731723453726 140731723456462 0
/proc/24827/statm: 204209 178084 837 435 0 197572 0
Current children cumulated CPU time: 2262.23 s
Current children cumulated vsize: 816836 KiB
Current children cumulated memory: 712336 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 25035
/proc/meminfo: memFree=26449864/32770624 swapFree=67108860/67108860
[pid=24827] ppid=24824 vsize=816836 memory=712336 CPUtime=2322.22 cores=1,3,5,7
/proc/24827/stat : 24827 (cosoco) R 24824 24827 24273 0 -1 4202496 200099 0 0 0 232200 22 0 0 20 0 1 0 90156096 836440064 178084 33554432000 4194304 5972588 140731723444912 140731723442216 4965937 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 30334976 140731723453626 140731723453726 140731723453726 140731723456462 0
/proc/24827/statm: 204209 178084 837 435 0 197572 0
Current children cumulated CPU time: 2322.22 s
Current children cumulated vsize: 816836 KiB
Current children cumulated memory: 712336 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 25043
/proc/meminfo: memFree=26449088/32770624 swapFree=67108860/67108860
[pid=24827] ppid=24824 vsize=816836 memory=712336 CPUtime=2382.22 cores=1,3,5,7
/proc/24827/stat : 24827 (cosoco) R 24824 24827 24273 0 -1 4202496 200897 0 0 0 238200 22 0 0 20 0 1 0 90156096 836440064 178084 33554432000 4194304 5972588 140731723444912 140731723442216 5071769 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 30334976 140731723453626 140731723453726 140731723453726 140731723456462 0
/proc/24827/statm: 204209 178084 837 435 0 197572 0
Current children cumulated CPU time: 2382.22 s
Current children cumulated vsize: 816836 KiB
Current children cumulated memory: 712336 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 25044
/proc/meminfo: memFree=26450016/32770624 swapFree=67108860/67108860
[pid=24827] ppid=24824 vsize=816836 memory=712336 CPUtime=2442.22 cores=1,3,5,7
/proc/24827/stat : 24827 (cosoco) R 24824 24827 24273 0 -1 4202496 201669 0 0 0 244200 22 0 0 20 0 1 0 90156096 836440064 178084 33554432000 4194304 5972588 140731723444912 140731723442216 5320594 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 30334976 140731723453626 140731723453726 140731723453726 140731723456462 0
/proc/24827/statm: 204209 178084 837 435 0 197572 0
Current children cumulated CPU time: 2442.22 s
Current children cumulated vsize: 816836 KiB
Current children cumulated memory: 712336 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 25045
/proc/meminfo: memFree=26450092/32770624 swapFree=67108860/67108860
[pid=24827] ppid=24824 vsize=816836 memory=712336 CPUtime=2502.22 cores=1,3,5,7
/proc/24827/stat : 24827 (cosoco) R 24824 24827 24273 0 -1 4202496 202428 0 0 0 250200 22 0 0 20 0 1 0 90156096 836440064 178084 33554432000 4194304 5972588 140731723444912 140731723442216 4968765 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 30334976 140731723453626 140731723453726 140731723453726 140731723456462 0
/proc/24827/statm: 204209 178084 837 435 0 197572 0
Current children cumulated CPU time: 2502.22 s
Current children cumulated vsize: 816836 KiB
Current children cumulated memory: 712336 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 1.97 3/187 25045
/proc/meminfo: memFree=26450092/32770624 swapFree=67108860/67108860
[pid=24827] ppid=24824 vsize=816836 memory=712336 CPUtime=2519.93 cores=1,3,5,7
/proc/24827/stat : 24827 (cosoco) R 24824 24827 24273 0 -1 4202496 203060 0 0 0 251971 22 0 0 20 0 1 0 90156096 836440064 178084 33554432000 4194304 5972588 140731723444912 140731723442216 4968837 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 30334976 140731723453626 140731723453726 140731723453726 140731723456462 0
/proc/24827/statm: 204209 178084 837 435 0 197572 0
Current children cumulated CPU time: 2519.93 s
Current children cumulated vsize: 816836 KiB
Current children cumulated memory: 712336 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 24827 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.71 s, system=0.229994 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.94
CPU user time (s): 2519.71
CPU system time (s): 0.229994
CPU usage (%): 99.9971
Max. virtual memory (cumulated for all children) (KiB): 816836
Max. memory (cumulated for all children) (KiB): 712336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.71
system time used= 0.229994
maximum resident set size= 712408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 203110
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= 32
involuntary context switches= 2049
# summary of solver processes directly reported to runsolver:
# pid: 24827
# total CPU time (s): 2519.94
# total CPU user time (s): 2519.71
# total CPU system time (s): 0.229994
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.4358 second user time and 13.3947 second system time
The end
Begin job on node114 at 2017-08-12 22:30:24 IDJOB=4266067 IDBENCH=120746 IDSOLVER=2655 FILE ID=node114/4266067-1502570682 RUNJOBID= node114-1502567254-24358 PBS_JOBID= 20628281 Free space on /tmp= 61696 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/GracefulGraph/GracefulGraph-m1-s1/GracefulGraph-K11-P04.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266067-1502570682/watcher-4266067-1502570682 -o /tmp/evaluation-result-4266067-1502570682/solver-4266067-1502570682 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node114-1502567254-24358 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266067-1502570682.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 83a9e5860e8605726185e9821b8e29ef RANDOM SEED=929771054 node114.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.98 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.98 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.98 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.98 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: 27071728 kB MemAvailable: 31898964 kB Buffers: 121620 kB Cached: 4997052 kB SwapCached: 0 kB Active: 464588 kB Inactive: 4804316 kB Active(anon): 152840 kB Inactive(anon): 25036 kB Active(file): 311748 kB Inactive(file): 4779280 kB Unevictable: 6520 kB Mlocked: 6520 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2408 kB Writeback: 0 kB AnonPages: 156232 kB Mapped: 44496 kB Shmem: 25224 kB Slab: 129256 kB SReclaimable: 104084 kB SUnreclaim: 25172 kB KernelStack: 3296 kB PageTables: 5068 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 450196 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 100352 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 61696 MiB End job on node114 at 2017-08-12 23:12:24