| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco-sat 1.12 | ? (TO) | 2519.8701 | 2520.01 |
| Name | GracefulGraph/GracefulGraph-m1-s1/ GracefulGraph-K10-P04.xml |
| MD5SUM | ddb81c87fc1d8e68708f77d31c52a231 |
| 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 | 470 |
| Number of constraints | 212 |
| Number of domains | 2 |
| Minimum domain size | 210 |
| Maximum domain size | 211 |
| Distribution of domain sizes | [{"size":210,"count":210},{"size":211,"count":40}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 12 |
| Distribution of variable degrees | [{"degree":0,"count":220},{"degree":2,"count":210},{"degree":11,"count":20},{"degree":12,"count":20}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 210 |
| Distribution of constraint arities | [{"arity":3,"count":210},{"arity":40,"count":1},{"arity":210,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 210 |
| Distribution of constraint types | [{"type":"intension","count":210},{"type":"allDifferent","count":2}] |
| Optimization problem | NO |
| Type of objective |
0.89/0.97 c SAT : Variables: 98740 -- Clauses: 10323020 0.89/0.97 c root propagations : 0 0.89/0.97 c restarts enabled, print stats at every restarts 0.89/0.97 c 0.89/0.97 c 0.89/0.97 c 0.89/0.97 c This is cosoco 1.12 -- 0.89/0.97 c 0.89/0.97 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266065-1502570675.xml 0.89/0.97 c ========================================[ Problem Statistics ]=========================================== 0.89/0.97 c | 0.89/0.97 c | Parse time : 0.86 s 0.89/0.97 c | 0.89/0.97 c | Variables: 470 0.89/0.97 c | Domain Sizes: 210..211 0.89/0.97 c | 0.89/0.97 c | Constraints: 212 0.89/0.97 c | Arity: 3..210 -- Ternary: 210 0.89/0.97 c | 0.89/0.97 c | Types: 0.89/0.97 c | All Different: 2 0.89/0.97 c | Intension: 210 0.89/0.97 c | 0.89/0.97 c ========================================================================================================= 0.89/0.97 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.89/0.97 c remove useless variable ce[0][0][0] 0.89/0.97 c remove useless variable ce[0][1][0] 0.89/0.97 c remove useless variable ce[0][1][1] 0.89/0.97 c remove useless variable ce[0][2][0] 0.89/0.97 c remove useless variable ce[0][2][1] 0.89/0.97 c remove useless variable ce[0][2][2] 0.89/0.97 c remove useless variable ce[0][3][0] 0.89/0.97 c remove useless variable ce[0][3][1] 0.89/0.97 c remove useless variable ce[0][3][2] 0.89/0.97 c remove useless variable ce[0][3][3] 0.89/0.97 c remove useless variable ce[0][4][0] 0.89/0.97 c remove useless variable ce[0][4][1] 0.89/0.97 c remove useless variable ce[0][4][2] 0.89/0.97 c remove useless variable ce[0][4][3] 0.89/0.97 c remove useless variable ce[0][4][4] 0.89/0.97 c remove useless variable ce[0][5][0] 0.89/0.97 c remove useless variable ce[0][5][1] 0.89/0.97 c remove useless variable ce[0][5][2] 0.89/0.97 c remove useless variable ce[0][5][3] 0.89/0.97 c remove useless variable ce[0][5][4] 0.89/0.97 c remove useless variable ce[0][5][5] 0.89/0.97 c remove useless variable ce[0][6][0] 0.89/0.97 c remove useless variable ce[0][6][1] 0.89/0.97 c remove useless variable ce[0][6][2] 0.89/0.97 c remove useless variable ce[0][6][3] 0.89/0.97 c remove useless variable ce[0][6][4] 0.89/0.97 c remove useless variable ce[0][6][5] 0.89/0.97 c remove useless variable ce[0][6][6] 0.89/0.97 c remove useless variable ce[0][7][0] 0.89/0.97 c remove useless variable ce[0][7][1] 0.89/0.97 c remove useless variable ce[0][7][2] 0.89/0.97 c remove useless variable ce[0][7][3] 0.89/0.97 c remove useless variable ce[0][7][4] 0.89/0.97 c remove useless variable ce[0][7][5] 0.89/0.97 c remove useless variable ce[0][7][6] 0.89/0.97 c remove useless variable ce[0][7][7] 0.89/0.97 c remove useless variable ce[0][8][0] 0.89/0.97 c remove useless variable ce[0][8][1] 0.89/0.97 c remove useless variable ce[0][8][2] 0.89/0.97 c remove useless variable ce[0][8][3] 0.89/0.97 c remove useless variable ce[0][8][4] 0.89/0.97 c remove useless variable ce[0][8][5] 0.89/0.97 c remove useless variable ce[0][8][6] 0.89/0.97 c remove useless variable ce[0][8][7] 0.89/0.97 c remove useless variable ce[0][8][8] 0.89/0.97 c remove useless variable ce[0][9][0] 0.89/0.97 c remove useless variable ce[0][9][1] 0.89/0.97 c remove useless variable ce[0][9][2] 0.89/0.97 c remove useless variable ce[0][9][3] 0.89/0.97 c remove useless variable ce[0][9][4] 0.89/0.97 c remove useless variable ce[0][9][5] 0.89/0.97 c remove useless variable ce[0][9][6] 0.89/0.97 c remove useless variable ce[0][9][7] 0.89/0.97 c remove useless variable ce[0][9][8] 0.89/0.97 c remove useless variable ce[0][9][9] 0.89/0.97 c remove useless variable ce[1][0][0] 0.89/0.97 c remove useless variable ce[1][1][0] 0.89/0.97 c remove useless variable ce[1][1][1] 0.89/0.97 c remove useless variable ce[1][2][0] 0.89/0.97 c remove useless variable ce[1][2][1] 0.89/0.97 c remove useless variable ce[1][2][2] 0.89/0.97 c remove useless variable ce[1][3][0] 0.89/0.97 c remove useless variable ce[1][3][1] 0.89/0.97 c remove useless variable ce[1][3][2] 0.89/0.97 c remove useless variable ce[1][3][3] 0.89/0.97 c remove useless variable ce[1][4][0] 0.89/0.97 c remove useless variable ce[1][4][1] 0.89/0.97 c remove useless variable ce[1][4][2] 0.89/0.97 c remove useless variable ce[1][4][3] 0.89/0.97 c remove useless variable ce[1][4][4] 0.89/0.97 c remove useless variable ce[1][5][0] 0.89/0.97 c remove useless variable ce[1][5][1] 0.89/0.97 c remove useless variable ce[1][5][2] 0.89/0.97 c remove useless variable ce[1][5][3] 0.89/0.97 c remove useless variable ce[1][5][4] 0.89/0.97 c remove useless variable ce[1][5][5] 0.89/0.97 c remove useless variable ce[1][6][0] 0.89/0.97 c remove useless variable ce[1][6][1] 0.89/0.97 c remove useless variable ce[1][6][2] 0.89/0.97 c remove useless variable ce[1][6][3] 0.89/0.97 c remove useless variable ce[1][6][4] 0.89/0.97 c remove useless variable ce[1][6][5] 0.89/0.97 c remove useless variable ce[1][6][6] 0.89/0.97 c remove useless variable ce[1][7][0] 0.89/0.97 c remove useless variable ce[1][7][1] 0.89/0.97 c remove useless variable ce[1][7][2] 0.89/0.97 c remove useless variable ce[1][7][3] 0.89/0.97 c remove useless variable ce[1][7][4] 0.89/0.97 c remove useless variable ce[1][7][5] 0.89/0.97 c remove useless variable ce[1][7][6] 0.89/0.97 c remove useless variable ce[1][7][7] 0.89/0.97 c remove useless variable ce[1][8][0] 0.89/0.97 c remove useless variable ce[1][8][1] 0.89/0.97 c remove useless variable ce[1][8][2] 0.89/0.97 c remove useless variable ce[1][8][3] 0.89/0.97 c remove useless variable ce[1][8][4] 0.89/0.97 c remove useless variable ce[1][8][5] 0.89/0.97 c remove useless variable ce[1][8][6] 0.89/0.97 c remove useless variable ce[1][8][7] 0.89/0.97 c remove useless variable ce[1][8][8] 0.89/0.97 c remove useless variable ce[1][9][0] 0.89/0.97 c remove useless variable ce[1][9][1] 0.89/0.97 c remove useless variable ce[1][9][2] 0.89/0.97 c remove useless variable ce[1][9][3] 0.89/0.97 c remove useless variable ce[1][9][4] 0.89/0.97 c remove useless variable ce[1][9][5] 0.89/0.97 c remove useless variable ce[1][9][6] 0.89/0.97 c remove useless variable ce[1][9][7] 0.89/0.97 c remove useless variable ce[1][9][8] 0.89/0.97 c remove useless variable ce[1][9][9] 0.89/0.97 c remove useless variable ce[2][0][0] 0.89/0.97 c remove useless variable ce[2][1][0] 0.89/0.97 c remove useless variable ce[2][1][1] 0.89/0.97 c remove useless variable ce[2][2][0] 0.89/0.97 c remove useless variable ce[2][2][1] 0.89/0.97 c remove useless variable ce[2][2][2] 0.89/0.97 c remove useless variable ce[2][3][0] 0.89/0.97 c remove useless variable ce[2][3][1] 0.89/0.97 c remove useless variable ce[2][3][2] 0.89/0.97 c remove useless variable ce[2][3][3] 0.89/0.97 c remove useless variable ce[2][4][0] 0.89/0.97 c remove useless variable ce[2][4][1] 0.89/0.97 c remove useless variable ce[2][4][2] 0.89/0.97 c remove useless variable ce[2][4][3] 0.89/0.97 c remove useless variable ce[2][4][4] 0.89/0.97 c remove useless variable ce[2][5][0] 0.89/0.97 c remove useless variable ce[2][5][1] 0.89/0.97 c remove useless variable ce[2][5][2] 0.89/0.97 c remove useless variable ce[2][5][3] 0.89/0.97 c remove useless variable ce[2][5][4] 0.89/0.97 c remove useless variable ce[2][5][5] 0.89/0.97 c remove useless variable ce[2][6][0] 0.89/0.97 c remove useless variable ce[2][6][1] 0.89/0.97 c remove useless variable ce[2][6][2] 0.89/0.97 c remove useless variable ce[2][6][3] 0.89/0.97 c remove useless variable ce[2][6][4] 0.89/0.97 c remove useless variable ce[2][6][5] 0.89/0.97 c remove useless variable ce[2][6][6] 0.89/0.97 c remove useless variable ce[2][7][0] 0.89/0.97 c remove useless variable ce[2][7][1] 0.89/0.97 c remove useless variable ce[2][7][2] 0.89/0.97 c remove useless variable ce[2][7][3] 0.89/0.97 c remove useless variable ce[2][7][4] 0.89/0.97 c remove useless variable ce[2][7][5] 0.89/0.97 c remove useless variable ce[2][7][6] 0.89/0.97 c remove useless variable ce[2][7][7] 0.89/0.97 c remove useless variable ce[2][8][0] 0.89/0.97 c remove useless variable ce[2][8][1] 0.89/0.97 c remove useless variable ce[2][8][2] 0.89/0.97 c remove useless variable ce[2][8][3] 0.89/0.97 c remove useless variable ce[2][8][4] 0.89/0.97 c remove useless variable ce[2][8][5] 0.89/0.97 c remove useless variable ce[2][8][6] 0.89/0.97 c remove useless variable ce[2][8][7] 0.89/0.97 c remove useless variable ce[2][8][8] 0.89/0.97 c remove useless variable ce[2][9][0] 0.89/0.97 c remove useless variable ce[2][9][1] 0.89/0.97 c remove useless variable ce[2][9][2] 0.89/0.97 c remove useless variable ce[2][9][3] 0.89/0.97 c remove useless variable ce[2][9][4] 0.89/0.97 c remove useless variable ce[2][9][5] 0.89/0.97 c remove useless variable ce[2][9][6] 0.89/0.97 c remove useless variable ce[2][9][7] 0.89/0.97 c remove useless variable ce[2][9][8] 0.89/0.97 c remove useless variable ce[2][9][9] 0.89/0.97 c remove useless variable ce[3][0][0] 0.89/0.97 c remove useless variable ce[3][1][0] 0.89/0.97 c remove useless variable ce[3][1][1] 0.89/0.97 c remove useless variable ce[3][2][0] 0.89/0.97 c remove useless variable ce[3][2][1] 0.89/0.97 c remove useless variable ce[3][2][2] 0.89/0.97 c remove useless variable ce[3][3][0] 0.89/0.97 c remove useless variable ce[3][3][1] 0.89/0.97 c remove useless variable ce[3][3][2] 0.89/0.97 c remove useless variable ce[3][3][3] 0.89/0.97 c remove useless variable ce[3][4][0] 0.89/0.97 c remove useless variable ce[3][4][1] 0.89/0.97 c remove useless variable ce[3][4][2] 0.89/0.97 c remove useless variable ce[3][4][3] 0.89/0.97 c remove useless variable ce[3][4][4] 0.89/0.97 c remove useless variable ce[3][5][0] 0.89/0.97 c remove useless variable ce[3][5][1] 0.89/0.97 c remove useless variable ce[3][5][2] 0.89/0.97 c remove useless variable ce[3][5][3] 0.89/0.97 c remove useless variable ce[3][5][4] 0.89/0.97 c remove useless variable ce[3][5][5] 0.89/0.97 c remove useless variable ce[3][6][0] 0.89/0.97 c remove useless variable ce[3][6][1] 0.89/0.97 c remove useless variable ce[3][6][2] 0.89/0.97 c remove useless variable ce[3][6][3] 0.89/0.97 c remove useless variable ce[3][6][4] 0.89/0.97 c remove useless variable ce[3][6][5] 0.89/0.97 c remove useless variable ce[3][6][6] 0.89/0.97 c remove useless variable ce[3][7][0] 0.89/0.97 c remove useless variable ce[3][7][1] 0.89/0.97 c remove useless variable ce[3][7][2] 0.89/0.97 c remove useless variable ce[3][7][3] 0.89/0.97 c remove useless variable ce[3][7][4] 0.89/0.97 c remove useless variable ce[3][7][5] 0.89/0.97 c remove useless variable ce[3][7][6] 0.89/0.97 c remove useless variable ce[3][7][7] 0.89/0.97 c remove useless variable ce[3][8][0] 0.89/0.97 c remove useless variable ce[3][8][1] 0.89/0.97 c remove useless variable ce[3][8][2] 0.89/0.97 c remove useless variable ce[3][8][3] 0.89/0.97 c remove useless variable ce[3][8][4] 0.89/0.97 c remove useless variable ce[3][8][5] 0.89/0.97 c remove useless variable ce[3][8][6] 0.89/0.97 c remove useless variable ce[3][8][7] 0.89/0.97 c remove useless variable ce[3][8][8] 0.89/0.97 c remove useless variable ce[3][9][0] 0.89/0.97 c remove useless variable ce[3][9][1] 0.89/0.97 c remove useless variable ce[3][9][2] 0.89/0.97 c remove useless variable ce[3][9][3] 0.89/0.97 c remove useless variable ce[3][9][4] 0.89/0.97 c remove useless variable ce[3][9][5] 0.89/0.97 c remove useless variable ce[3][9][6] 0.89/0.97 c remove useless variable ce[3][9][7] 0.89/0.97 c remove useless variable ce[3][9][8] 0.89/0.97 c remove useless variable ce[3][9][9] 1.00/1.01 c 10 220 22710 24586 0 10 211 211 191 1.00/1.04 c 20 370 42504 63992 0 20 4 141 115 1.00/1.05 c 30 391 43861 70494 0 30 6 12 9 1.00/1.05 c 40 412 45129 76647 0 40 6 12 8 1.00/1.05 c 50 433 46367 82987 0 50 6 12 9 1.00/1.06 c 60 454 47669 89065 0 60 4 12 9 1.00/1.06 c 70 475 48968 93938 0 70 4 12 7 1.00/1.06 c 80 496 50266 98602 0 80 4 12 8 1.00/1.06 c 90 517 51600 103268 0 90 12 12 10 1.00/1.07 c 100 538 52729 109236 0 100 5 12 9 1.00/1.07 c 101 550 53904 111854 0 101 12 12 6 1.00/1.07 c 110 570 55181 117179 0 110 6 12 7 1.00/1.07 c 120 591 56454 122047 0 120 4 12 8 1.00/1.08 c 130 612 57741 126707 0 130 4 12 8 1.00/1.10 c 140 705 70743 146389 0 140 12 84 17 1.00/1.10 c 150 729 72262 152698 0 150 6 15 10 1.00/1.10 c 160 750 73565 158843 0 160 6 12 8 1.10/1.11 c 170 771 74874 163949 0 170 6 12 9 1.10/1.12 c 180 816 78736 182013 0 180 17 36 27 1.10/1.12 c 190 834 80012 186896 0 190 4 9 6 1.10/1.12 c 200 855 81300 191563 0 200 4 12 8 1.10/1.12 c 210 876 82434 197738 0 210 5 12 9 1.10/1.12 c 211 882 83117 198904 0 211 6 6 3 1.10/1.13 c 220 902 84069 205921 0 220 5 12 8 1.10/1.13 c 230 923 85383 211866 0 230 6 12 8 1.10/1.13 c 240 951 87607 228043 0 240 12 19 14 1.10/1.14 c 250 973 89089 233519 0 250 4 13 8 1.10/1.14 c 260 994 90058 241166 0 260 5 12 9 1.10/1.14 c 270 1015 91159 246500 0 270 6 12 8 1.10/1.15 c 280 1060 93687 263897 0 280 12 36 20 1.10/1.15 c 290 1078 94962 267706 0 290 3 9 6 1.10/1.15 c 300 1096 96082 271552 0 300 7 9 7 1.10/1.15 c 310 1113 97136 275199 0 310 4 8 6 1.10/1.16 c 320 1134 98223 280122 0 320 6 12 9 1.10/1.16 c 330 1155 99512 284784 0 330 4 12 9 1.10/1.16 c 332 1168 100733 287786 0 332 9 12 7 1.10/1.16 c 340 1184 101782 292046 0 340 4 9 6 1.10/1.17 c 350 1210 103355 300194 0 350 12 17 12 1.10/1.17 c 360 1230 104484 306575 0 360 5 11 8 1.10/1.17 c 370 1251 105781 311483 0 370 5 12 9 1.10/1.18 c 380 1276 107317 318785 0 380 12 16 11 1.10/1.18 c 390 1298 108811 323649 0 390 4 13 8 1.10/1.19 c 400 1352 112291 344641 0 400 17 45 28 1.10/1.19 c 410 1374 113760 350161 0 410 3 13 7 1.19/1.20 c 420 1438 117936 374404 0 420 55 55 50 1.19/1.20 c 430 1460 119430 379268 0 430 4 13 8 1.19/1.21 c 440 1481 120739 385002 0 440 6 12 8 1.19/1.21 c 450 1507 122402 392754 0 450 12 17 15 1.19/1.21 c 460 1531 123897 399282 0 460 5 15 9 1.19/1.22 c 465 1547 125079 403181 0 465 8 12 8 1.19/1.22 c 470 1560 126078 406224 0 470 6 9 7 1.19/1.22 c 480 1581 127372 411339 0 480 6 12 8 1.19/1.23 c 490 1623 129969 445781 0 490 12 33 23 1.19/1.23 c 500 1641 131245 450664 0 500 4 9 6 1.19/1.24 c 510 1683 133859 466405 0 510 12 33 18 1.19/1.24 c 520 1701 135135 470010 0 520 3 9 6 1.19/1.24 c 530 1722 136497 475088 0 530 12 12 10 1.19/1.25 c 540 1759 139099 508552 0 540 16 28 20 1.19/1.26 c 550 1781 140569 514073 0 550 3 13 7 1.19/1.26 c 560 1802 141856 518980 0 560 5 12 9 1.19/1.27 c 570 1839 144828 564522 0 570 12 28 22 1.19/1.27 c 580 1861 146322 570020 0 580 6 13 9 1.19/1.29 c 590 1935 150562 602551 0 590 28 65 52 1.19/1.29 c 600 1957 152056 608049 0 600 6 13 9 1.29/1.32 c 610 2118 164973 649799 0 610 12 152 28 1.29/1.32 c 611 2124 165865 650755 0 611 6 6 3 1.29/1.33 c 620 2161 168427 698841 0 620 12 29 22 1.29/1.33 c 630 2183 169756 704140 0 630 4 13 7 1.29/1.35 c 640 2340 182008 737839 0 640 148 148 134 1.29/1.36 c 650 2362 183487 743356 0 650 6 13 8 1.29/1.38 c 660 2528 195154 787680 0 660 12 157 29 1.29/1.39 c 670 2568 198546 823296 0 670 3 31 25 1.29/1.40 c 680 2600 200849 832590 0 680 3 23 16 1.39/1.40 c 690 2625 202332 839349 0 690 4 16 9 1.39/1.40 c 700 2646 203695 845872 0 700 9 12 10 1.39/1.41 c 710 2689 206751 885191 0 710 16 34 25 1.39/1.42 c 720 2711 208259 891094 0 720 6 13 10 1.39/1.42 c 730 2742 210150 900782 0 730 22 22 20 1.39/1.42 c 740 2764 211447 906021 0 740 3 13 8 1.39/1.43 c 750 2789 212901 913167 0 750 8 16 11 1.39/1.43 c 760 2811 214189 919682 0 760 4 13 8 1.39/1.44 c 770 2855 217336 935995 0 770 5 35 11 1.39/1.44 c 771 2861 218281 936920 0 771 6 6 3 1.39/1.44 c 780 2881 219584 942431 0 780 9 12 10 1.39/1.45 c 790 2910 221111 952813 0 790 8 20 12 1.39/1.45 c 800 2926 222154 956624 0 800 3 7 5 1.39/1.45 c 810 2947 223488 961085 0 810 7 12 8 1.39/1.45 c 820 2964 224556 965146 0 820 4 8 6 1.39/1.46 c 830 2985 225853 970009 0 830 4 12 8 1.39/1.46 c 840 3010 227218 978789 0 840 12 16 12 1.39/1.46 c 850 3032 228808 984034 0 850 10 13 10 1.39/1.47 c 860 3050 229918 987882 0 860 7 9 7 1.39/1.47 c 870 3071 231217 993807 0 870 6 12 9 1.39/1.47 c 880 3096 232739 999915 0 880 9 16 10 1.39/1.47 c 890 3120 234272 1005591 0 890 4 15 9 1.39/1.48 c 900 3149 235811 1015187 0 900 16 20 17 1.39/1.48 c 910 3170 237337 1020712 0 910 3 12 7 1.39/1.49 c 920 3195 238867 1028222 0 920 12 16 12 1.39/1.49 c 930 3216 240157 1032646 0 930 3 12 8 1.39/1.49 c 940 3241 241713 1039753 0 940 12 16 11 1.39/1.49 c 947 3256 242752 1042937 0 947 3 9 5 1.49/1.50 c 950 3264 243482 1044489 0 950 4 6 4 1.49/1.50 c 960 3282 244539 1048755 0 960 4 9 6 1.49/1.51 c 970 3325 247569 1071825 0 970 16 34 19 1.49/1.51 c 980 3344 248851 1076040 0 980 3 10 6 1.49/1.52 c 990 3388 252463 1131530 0 990 35 35 31 1.49/1.53 c 1000 3407 253755 1136154 0 1000 3 10 7 1.49/1.54 c 1010 3451 257363 1191644 0 1010 35 35 31 1.49/1.54 c 1020 3473 258929 1197480 0 1020 13 13 11 1.49/1.55 c 1030 3499 260675 1207464 0 1030 8 17 11 1.49/1.55 c 1040 3515 261747 1210863 0 1040 3 7 5 1.49/1.55 c 1050 3536 263059 1215925 0 1050 6 12 9 1.49/1.56 c 1060 3557 264373 1221192 0 1060 9 12 10 1.49/1.57 c 1070 3601 267986 1276681 0 1070 35 35 31 1.49/1.57 c 1080 3628 269707 1285368 0 1080 13 18 15 1.49/1.58 c 1090 3649 271071 1291223 0 1090 9 12 10 1.49/1.59 c 1100 3693 274840 1343502 0 1100 21 35 30 1.59/1.60 c 1110 3715 276394 1349336 0 1110 13 13 11 1.59/1.60 c 1120 3736 277680 1354866 0 1120 6 12 8 1.59/1.61 c 1130 3780 280920 1394930 0 1130 17 35 26 1.59/1.62 c 1140 3817 283494 1407530 0 1140 13 28 18 1.59/1.62 c 1141 3821 284169 1408239 0 1141 4 4 2 1.59/1.62 c 1150 3841 285433 1412722 0 1150 6 12 9 1.59/1.63 c 1160 3867 287138 1420872 0 1160 12 17 12 1.59/1.63 c 1170 3889 288753 1428983 0 1170 13 13 11 1.59/1.63 c 1180 3910 290069 1433449 0 1180 9 12 9 1.59/1.65 c 1190 3954 293785 1481357 0 1190 21 35 29 1.59/1.65 c 1200 3973 295099 1485169 0 1200 5 10 6 1.59/1.65 c 1210 3994 296404 1490274 0 1210 5 12 9 1.59/1.67 c 1220 4107 302867 1533329 0 1220 12 104 31 1.59/1.67 c 1230 4126 304142 1537340 0 1230 3 10 6 1.59/1.68 c 1240 4170 307339 1574318 0 1240 21 35 26 1.59/1.70 c 1250 4225 310224 1611393 0 1250 18 46 35 1.69/1.70 c 1260 4241 311308 1615410 0 1260 3 7 5 1.69/1.71 c 1270 4285 314881 1651490 0 1270 12 35 24 1.69/1.71 c 1280 4304 316168 1656756 0 1280 4 10 8 1.69/1.71 c 1290 4325 317512 1661424 0 1290 7 12 7 1.69/1.72 c 1300 4346 318809 1666935 0 1300 5 12 9 1.69/1.72 c 1310 4390 321974 1683295 0 1310 12 35 17 1.69/1.73 c 1320 4406 323056 1686694 0 1320 3 7 5 1.69/1.73 c 1330 4427 324329 1691804 0 1330 6 12 8 1.69/1.73 c 1340 4453 325847 1700173 0 1340 5 17 9 1.69/1.74 c 1350 4475 327359 1705647 0 1350 4 13 8 1.69/1.74 c 1352 4493 328762 1710496 0 1352 17 17 11 1.69/1.74 c 1360 4510 330016 1714296 0 1360 3 10 6 1.69/1.75 c 1370 4554 333432 1768448 0 1370 35 35 31 1.69/1.76 c 1380 4573 334768 1773084 0 1380 5 10 6 1.69/1.76 c 1390 4594 335748 1780035 0 1390 5 12 8 1.69/1.76 c 1400 4615 336717 1787404 0 1400 5 12 8 1.69/1.77 c 1410 4659 339715 1815871 0 1410 21 35 25 1.69/1.77 c 1420 4681 341288 1820910 0 1420 10 13 10 1.69/1.78 c 1430 4722 343474 1838430 0 1430 12 32 16 1.69/1.78 c 1440 4741 344758 1842647 0 1440 3 10 6 1.69/1.79 c 1450 4802 347590 1865338 0 1450 17 52 44 1.69/1.79 c 1460 4821 348905 1870585 0 1460 10 10 9 1.69/1.80 c 1470 4842 350278 1875663 0 1470 12 12 10 1.79/1.80 c 1480 4863 351592 1882217 0 1480 6 12 9 1.79/1.81 c 1490 4945 355080 1919646 0 1490 33 73 54 1.79/1.81 c 1500 4964 356362 1923861 0 1500 3 10 6 1.79/1.83 c 1510 5044 359397 1955676 0 1510 33 71 58 1.79/1.83 c 1520 5063 360686 1960097 0 1520 3 10 6 1.79/1.84 c 1530 5105 363523 1998929 0 1530 33 33 30 1.79/1.84 c 1540 5124 364812 2003350 0 1540 3 10 6 1.79/1.85 c 1550 5167 367698 2032827 0 1550 34 34 30 1.79/1.85 c 1560 5189 369266 2038461 0 1560 10 13 11 1.79/1.86 c 1570 5232 372074 2058985 0 1570 17 34 22 1.79/1.87 c 1580 5271 375040 2084641 0 1580 13 30 21 1.79/1.87 c 1585 5282 376017 2086783 0 1585 3 7 4 1.79/1.88 c 1590 5298 377214 2090232 0 1590 6 12 7 1.79/1.88 c 1600 5341 380082 2119690 0 1600 34 34 30 1.79/1.89 c 1610 5363 381635 2125534 0 1610 10 13 10 1.89/1.90 c 1620 5406 384691 2152270 0 1620 17 34 28 1.89/1.90 c 1630 5428 386337 2160754 0 1630 13 13 11 1.89/1.91 c 1640 5471 389418 2190329 0 1640 34 34 30 1.89/1.92 c 1650 5510 392877 2227716 0 1650 30 30 27 1.89/1.92 c 1660 5529 394161 2231933 0 1660 3 10 6 1.89/1.94 c 1670 5568 397191 2268359 0 1670 30 30 27 1.89/1.94 c 1680 5587 398538 2273404 0 1680 7 10 7 1.89/1.95 c 1690 5626 401573 2309851 0 1690 30 30 27 1.89/1.95 c 1700 5648 403133 2315306 0 1700 10 13 10 1.89/1.96 c 1710 5687 406111 2338351 0 1710 17 30 20 1.89/1.96 c 1720 5709 407664 2344195 0 1720 10 13 10 1.89/1.97 c 1730 5748 411065 2380707 0 1730 30 30 27 1.89/1.98 c 1740 5767 412395 2385343 0 1740 5 10 6 1.89/1.98 c 1750 5785 413497 2389602 0 1750 4 9 7 1.89/1.98 c 1760 5806 414892 2396739 0 1760 12 12 10 1.89/1.99 c 1770 5846 418317 2421914 0 1770 31 31 28 1.89/1.99 c 1780 5868 419908 2427364 0 1780 10 13 10 2.00/2.01 c 1790 5908 423333 2452539 0 1790 31 31 28 2.00/2.01 c 1800 5936 425487 2461224 0 1800 13 19 14 2.00/2.01 c 1810 5960 427057 2467482 0 1810 12 15 11 2.00/2.02 c 1820 5991 428742 2478208 0 1820 17 22 17 2.00/2.02 c 1830 6007 429828 2482225 0 1830 3 7 5 2.00/2.03 c 1840 6033 431493 2490165 0 1840 17 17 15 2.00/2.03 c 1841 6048 432950 2493545 0 1841 15 15 7 2.00/2.03 c 1850 6068 434272 2498415 0 1850 12 12 10 2.00/2.04 c 1860 6108 437290 2516352 0 1860 12 31 20 2.00/2.05 c 1870 6148 439755 2533512 0 1870 27 31 26 2.00/2.05 c 1880 6167 441045 2538591 0 1880 4 10 7 2.00/2.06 c 1890 6207 443989 2554075 0 1890 12 31 19 2.00/2.06 c 1900 6229 445636 2562184 0 1900 13 13 11 2.00/2.06 c 1910 6250 446951 2567680 0 1910 4 12 8 2.00/2.07 c 1920 6290 450043 2582240 0 1920 22 31 20 2.00/2.07 c 1930 6309 451336 2586459 0 1930 3 10 7 2.00/2.08 c 1940 6327 452432 2591137 0 1940 4 9 6 2.00/2.08 c 1950 6345 453527 2595815 0 1950 4 9 6 2.00/2.08 c 1960 6366 454863 2600684 0 1960 12 12 10 2.00/2.09 c 1970 6406 457774 2614630 0 1970 17 31 19 2.00/2.09 c 1980 6428 459268 2620128 0 1980 6 13 9 2.00/2.10 c 1990 6468 462366 2633701 0 1990 17 31 19 2.00/2.10 c 2000 6490 463915 2639354 0 2000 7 13 8 2.10/2.11 c 2010 6516 465634 2647712 0 2010 12 17 14 2.10/2.11 c 2020 6546 467474 2658489 0 2020 13 21 16 2.10/2.12 c 2030 6571 469105 2665777 0 2030 13 16 12 2.10/2.12 c 2040 6611 472268 2700713 0 2040 31 31 28 2.10/2.13 c 2050 6633 473772 2705378 0 2050 4 13 7 2.10/2.14 c 2060 6673 477007 2730295 0 2060 31 31 28 2.10/2.14 c 2070 6695 478538 2735985 0 2070 4 13 8 2.10/2.15 c 2080 6735 481691 2768719 0 2080 22 31 27 2.10/2.15 c 2090 6757 483198 2773787 0 2090 4 13 9 2.10/2.16 c 2100 6797 486430 2798519 0 2100 31 31 28 2.10/2.17 c 2110 6857 489178 2823819 0 2110 13 51 29 2.10/2.17 c 2120 6879 490675 2829320 0 2120 6 13 9 2.10/2.17 c 2122 6892 491911 2832131 0 2122 12 12 8 2.10/2.18 c 2130 6911 493167 2837244 0 2130 6 12 7 2.10/2.18 c 2140 6942 494946 2847199 0 2140 12 22 16 2.10/2.18 c 2150 6960 496240 2852270 0 2150 4 9 7 2.10/2.19 c 2160 7001 499644 2873425 0 2160 22 32 25 2.19/2.20 c 2170 7020 500954 2877854 0 2170 3 10 6 2.19/2.20 c 2180 7061 504254 2891588 0 2180 17 32 19 2.19/2.21 c 2190 7083 505809 2896405 0 2190 10 13 10 2.19/2.21 c 2200 7110 507685 2906708 0 2200 18 18 16 2.19/2.22 c 2210 7128 508950 2910517 0 2210 3 9 6 2.19/2.22 c 2220 7159 510407 2920023 0 2220 18 22 17 2.19/2.22 c 2230 7179 511541 2928573 0 2230 7 11 9 2.19/2.24 c 2240 7220 514249 2946466 0 2240 22 32 23 2.19/2.24 c 2250 7256 516437 2957364 0 2250 18 27 23 2.19/2.24 c 2260 7281 517972 2963912 0 2260 3 16 9 2.19/2.24 c 2270 7307 519510 2972434 0 2270 12 17 12 2.19/2.25 c 2280 7329 521018 2977909 0 2280 4 13 8 2.19/2.25 c 2290 7350 522332 2984040 0 2290 6 12 8 2.19/2.25 c 2300 7371 523648 2989977 0 2300 5 12 8 2.19/2.25 c 2310 7392 524976 2996311 0 2310 6 12 9 2.19/2.26 c 2320 7410 526077 3000362 0 2320 4 9 7 2.19/2.27 c 2330 7451 529497 3023672 0 2330 21 32 27 2.19/2.27 c 2340 7491 532123 3051294 0 2340 26 31 27 2.19/2.28 c 2350 7507 533161 3054693 0 2350 3 7 5 2.19/2.28 c 2360 7528 534488 3059156 0 2360 9 12 10 2.19/2.29 c 2370 7569 537920 3084463 0 2370 32 32 29 2.29/2.30 c 2380 7609 540736 3126702 0 2380 31 31 28 2.29/2.30 c 2390 7628 542121 3131950 0 2390 10 10 9 2.29/2.31 c 2400 7669 545552 3157348 0 2400 32 32 29 2.29/2.32 c 2410 7709 548272 3199456 0 2410 31 31 28 2.29/2.33 c 2420 7732 550054 3205284 0 2420 14 14 12 2.29/2.34 c 2430 7773 553025 3221761 0 2430 17 32 18 2.29/2.34 c 2431 7776 553483 3222224 0 2431 3 3 1 2.29/2.35 c 2440 7816 556894 3245335 0 2440 32 32 28 2.29/2.35 c 2450 7835 558213 3249762 0 2450 5 10 6 2.29/2.35 c 2460 7857 559336 3256601 0 2460 5 13 9 2.29/2.36 c 2470 7898 562489 3273076 0 2470 17 32 18 2.29/2.36 c 2480 7921 564052 3277911 0 2480 10 14 9 2.29/2.37 c 2490 7962 567484 3303218 0 2490 32 32 29 2.29/2.38 c 2500 8002 569664 3325082 0 2500 14 31 20 2.29/2.39 c 2510 8033 571668 3334556 0 2510 14 22 14 2.29/2.39 c 2520 8052 572937 3338566 0 2520 3 10 7 2.29/2.39 c 2530 8074 574459 3344672 0 2530 13 13 11 2.39/2.40 c 2540 8115 577500 3369960 0 2540 32 32 29 2.39/2.40 c 2550 8138 579151 3377430 0 2550 14 14 12 2.39/2.41 c 2560 8179 582194 3402540 0 2560 32 32 29 2.39/2.42 c 2570 8219 584555 3421498 0 2570 14 31 19 2.39/2.42 c 2580 8242 586239 3427194 0 2580 6 14 9 2.39/2.43 c 2590 8268 588029 3436975 0 2590 12 17 12 2.39/2.43 c 2600 8291 589732 3442694 0 2600 6 14 8 2.39/2.43 c 2610 8326 591604 3452639 0 2610 26 26 23 2.39/2.44 c 2620 8346 592895 3457369 0 2620 4 11 7 2.39/2.44 c 2630 8372 594378 3464486 0 2630 13 17 13 2.39/2.44 c 2640 8397 596247 3474739 0 2640 16 16 14 2.39/2.45 c 2650 8432 598185 3491825 0 2650 26 26 23 2.39/2.45 c 2660 8460 599927 3499607 0 2660 11 19 14 2.39/2.46 c 2670 8495 602005 3523133 0 2670 26 26 23 2.39/2.47 c 2680 8535 604240 3537635 0 2680 19 31 20 2.39/2.47 c 2690 8561 606010 3544281 0 2690 10 17 12 2.39/2.48 c 2700 8612 608021 3569326 0 2700 26 42 35 2.39/2.48 c 2710 8635 609551 3575420 0 2710 4 14 7 2.39/2.49 c 2720 8695 611685 3598369 0 2720 42 51 44 2.39/2.49 c 2730 8718 613381 3603420 0 2730 4 14 9 2.49/2.50 c 2740 8759 616816 3628744 0 2740 32 32 29 2.49/2.51 c 2750 8794 619037 3638405 0 2750 14 26 14 2.49/2.51 c 2760 8820 620900 3647853 0 2760 17 17 15 2.49/2.52 c 2770 8850 622622 3657431 0 2770 17 21 17 2.49/2.52 c 2771 8855 623334 3658316 0 2771 5 5 2 2.49/2.52 c 2780 8884 625036 3667079 0 2780 8 21 10 2.49/2.52 c 2790 8909 626625 3674146 0 2790 16 16 14 2.49/2.53 c 2800 8978 628982 3704460 0 2800 50 60 46 2.49/2.54 c 2810 9000 630455 3709769 0 2810 3 13 8 2.49/2.55 c 2820 9094 633149 3739037 0 2820 60 85 67 2.49/2.55 c 2830 9116 634622 3744346 0 2830 3 13 8 2.49/2.56 c 2840 9221 637911 3771512 0 2840 85 96 79 2.49/2.56 c 2850 9243 639384 3776821 0 2850 3 13 8 2.49/2.58 c 2860 9349 642146 3803715 0 2860 92 97 85 2.49/2.58 c 2870 9372 643820 3809438 0 2870 3 14 7 2.49/2.59 c 2880 9478 646860 3839528 0 2880 87 97 83 2.49/2.59 c 2890 9501 648559 3844395 0 2890 4 14 7 2.59/2.60 c 2900 9527 650032 3853924 0 2900 17 17 15 2.59/2.60 c 2910 9546 651344 3858557 0 2910 10 10 9 2.59/2.61 c 2920 9588 654764 3886085 0 2920 33 33 30 2.59/2.61 c 2930 9610 656335 3892117 0 2930 13 13 11 2.59/2.61 c 2940 9631 657641 3897648 0 2940 6 12 8 2.59/2.62 c 2950 9657 659378 3905787 0 2950 12 17 12 2.59/2.62 c 2960 9677 660643 3911127 0 2960 8 11 9 2.59/2.63 c 2970 9718 664065 3934395 0 2970 21 32 27 2.59/2.64 c 2980 9759 666862 3951395 0 2980 18 32 19 2.59/2.64 c 2990 9781 668419 3957079 0 2990 10 13 11 2.59/2.65 c 3000 9878 671617 3988707 0 3000 88 88 80 2.59/2.66 c 3010 9900 673090 3994016 0 3010 3 13 8 2.59/2.67 c 3020 9996 676500 4024777 0 3020 87 87 79 2.59/2.67 c 3030 10018 677973 4030286 0 3030 6 13 9 2.59/2.68 c 3040 10114 681215 4063243 0 3040 87 87 79 2.59/2.68 c 3050 10136 682533 4068542 0 3050 4 13 7 2.59/2.69 c 3060 10178 685951 4093457 0 3060 21 33 27 2.69/2.71 c 3070 10219 689135 4143705 0 3070 32 32 29 2.69/2.71 c 3080 10242 690861 4149616 0 3080 9 14 10 2.69/2.72 c 3090 10284 694419 4171798 0 3090 21 33 25 2.69/2.73 c 3100 10324 696936 4195286 0 3100 18 31 21 2.69/2.74 c 3110 10366 700580 4221340 0 3110 22 33 29 2.69/2.75 c 3120 10408 703346 4235698 0 3120 26 33 24 2.69/2.75 c 3130 10427 704642 4240123 0 3130 3 10 7 2.69/2.76 c 3140 10469 708268 4267643 0 3140 33 33 30 2.69/2.76 c 3142 10496 710208 4274061 0 3142 26 26 17 2.69/2.77 c 3150 10520 711965 4280175 0 3150 12 17 11 2.69/2.78 c 3160 10562 715527 4303919 0 3160 21 33 26 2.69/2.79 c 3170 10604 718632 4333313 0 3170 33 33 30 2.69/2.79 c 3180 10627 720327 4339023 0 3180 3 14 7 2.79/2.80 c 3190 10669 723500 4367677 0 3190 33 33 30 2.79/2.80 c 3200 10688 724809 4371490 0 3200 3 10 6 2.79/2.80 c 3210 10709 726100 4376604 0 3210 6 12 8 2.79/2.81 c 3220 10751 729709 4404171 0 3220 33 33 30 2.79/2.82 c 3230 10792 732394 4413299 0 3230 32 32 29 2.79/2.82 c 3240 10812 733519 4419723 0 3240 5 11 8 2.79/2.82 c 3250 10848 735969 4427564 0 3250 27 27 24 2.79/2.83 c 3260 10872 737516 4434316 0 3260 5 15 9 2.79/2.83 c 3270 10908 739963 4442690 0 3270 27 27 24 2.79/2.83 c 3280 10932 741319 4449059 0 3280 5 15 9 2.79/2.84 c 3290 10968 743773 4460726 0 3290 27 27 24 2.79/2.84 c 3300 10997 745488 4469468 0 3300 15 20 15 2.79/2.85 c 3310 11015 746775 4474351 0 3310 4 9 6 2.79/2.85 c 3320 11046 748620 4483268 0 3320 22 22 20 2.79/2.85 c 3330 11068 749885 4488808 0 3330 4 13 8 2.79/2.86 c 3340 11089 751144 4494309 0 3340 6 12 9 2.79/2.86 c 3350 11110 752040 4499830 0 3350 4 12 7 2.79/2.86 c 3360 11131 753318 4504940 0 3360 6 12 8 2.79/2.86 c 3370 11152 754612 4510461 0 3370 6 12 8 2.79/2.87 c 3380 11173 755875 4515359 0 3380 6 12 9 2.79/2.87 c 3390 11194 757164 4521283 0 3390 5 12 9 2.79/2.87 c 3400 11212 758243 4525139 0 3400 4 9 6 2.79/2.87 c 3410 11230 759335 4529190 0 3410 4 9 7 2.79/2.88 c 3420 11256 761159 4537954 0 3420 12 17 11 2.79/2.88 c 3430 11278 762123 4545740 0 3430 5 13 7 2.79/2.88 c 3440 11305 764140 4551796 0 3440 18 18 16 2.79/2.88 c 3450 11330 765672 4557707 0 3450 16 16 14 2.79/2.89 c 3460 11351 766637 4565353 0 3460 5 12 8 2.79/2.89 c 3470 11372 767934 4571496 0 3470 6 12 8 2.79/2.89 c 3480 11399 769859 4579644 0 3480 12 18 11 2.89/2.90 c 3490 11424 771344 4586206 0 3490 8 16 9 2.89/2.90 c 3500 11451 772703 4596564 0 3500 12 18 13 2.89/2.90 c 3510 11473 774126 4605496 0 3510 10 13 11 2.89/2.91 c 3520 11504 776081 4624124 0 3520 22 22 20 2.89/2.91 c 3530 11533 777797 4633867 0 3530 16 20 16 2.89/2.92 c 3540 11552 779099 4637882 0 3540 3 10 6 2.89/2.92 c 3550 11573 780362 4642987 0 3550 6 12 9 2.89/2.92 c 3551 11591 782162 4647243 0 3551 18 18 9 2.89/2.92 c 3560 11612 783451 4652928 0 3560 4 13 8 2.89/2.93 c 3570 11633 784709 4657824 0 3570 6 12 9 2.89/2.93 c 3580 11651 785787 4662092 0 3580 4 9 6 2.89/2.93 c 3590 11672 787078 4666553 0 3590 4 12 7 2.89/2.94 c 3600 11699 789092 4675912 0 3600 12 18 11 2.89/2.94 c 3610 11721 790398 4681425 0 3610 5 13 9 2.89/2.94 c 3620 11739 791476 4685693 0 3620 4 9 6 2.89/2.94 c 3630 11760 792793 4690972 0 3630 9 12 10 2.89/2.95 c 3640 11791 794820 4698045 0 3640 18 22 19 2.89/2.95 c 3650 11813 796105 4703323 0 3650 4 13 9 2.89/2.95 c 3660 11840 798098 4711669 0 3660 12 18 13 2.89/2.96 c 3670 11865 799685 4717966 0 3670 13 16 12 2.89/2.96 c 3680 11886 800979 4723699 0 3680 6 12 8 2.89/2.96 c 3690 11912 802740 4730396 0 3690 17 17 15 2.89/2.97 c 3700 11937 804312 4737506 0 3700 16 16 14 2.89/2.97 c 3710 11963 805891 4744665 0 3710 12 17 14 2.89/2.97 c 3720 11992 807619 4755809 0 3720 16 20 17 2.89/2.98 c 3730 12011 808905 4760235 0 3730 3 10 7 2.89/2.98 c 3740 12051 810891 4774588 0 3740 17 31 24 2.89/2.99 c 3750 12073 812196 4780026 0 3750 3 13 8 2.89/2.99 c 3760 12099 813882 4786356 0 3760 8 17 11 2.89/2.99 c 3770 12133 815653 4799326 0 3770 20 25 21 2.89/3.00 c 3780 12152 816933 4803754 0 3780 3 10 6 2.89/3.00 c 3790 12173 818238 4809896 0 3790 6 12 9 2.89/3.00 c 3800 12194 819556 4814577 0 3800 6 12 7 2.89/3.00 c 3810 12215 820631 4819497 0 3810 6 12 9 2.99/3.01 c 3820 12241 822435 4825764 0 3820 17 17 15 2.99/3.01 c 3830 12275 824203 4841157 0 3830 25 25 22 2.99/3.02 c 3840 12297 825781 4846810 0 3840 10 13 10 2.99/3.02 c 3850 12337 828002 4861931 0 3850 17 31 22 2.99/3.02 c 3860 12355 829282 4865741 0 3860 3 9 6 2.99/3.03 c 3870 12376 830567 4870403 0 3870 4 12 9 2.99/3.03 c 3880 12416 832789 4888146 0 3880 31 31 28 2.99/3.04 c 3890 12441 834401 4896007 0 3890 9 16 12 2.99/3.05 c 3900 12492 836850 4915804 0 3900 31 42 33 2.99/3.05 c 3910 12510 838132 4919817 0 3910 3 9 6 2.99/3.05 c 3920 12536 839510 4927374 0 3920 12 17 13 2.99/3.05 c 3930 12556 840599 4932294 0 3930 6 11 8 2.99/3.06 c 3940 12596 842237 4946744 0 3940 17 31 19 2.99/3.06 c 3950 12614 843537 4951993 0 3950 3 9 7 2.99/3.07 c 3960 12654 845120 4967749 0 3960 31 31 28 2.99/3.07 c 3970 12684 847172 4975347 0 3970 16 21 18 2.99/3.08 c 3980 12724 849172 4992886 0 3980 31 31 28 2.99/3.08 c 3990 12749 850787 5000178 0 3990 9 16 13 2.99/3.08 c 4000 12783 852456 5014632 0 4000 17 25 19 2.99/3.09 c 4001 12796 853890 5017395 0 4001 13 13 6 2.99/3.09 c 4010 12835 855467 5031673 0 4010 31 31 27 2.99/3.09 c 4020 12855 856766 5037388 0 4020 6 11 9 2.99/3.10 c 4030 12881 858523 5044071 0 4030 12 17 13 2.99/3.10 c 4040 12928 860788 5060800 0 4040 31 38 32 3.09/3.11 c 4050 12946 862067 5064815 0 4050 3 9 6 3.09/3.11 c 4060 12986 864251 5079784 0 4060 17 31 23 3.09/3.12 c 4070 13011 865829 5087127 0 4070 11 16 13 3.09/3.12 c 4080 13032 866927 5092255 0 4080 6 12 9 3.09/3.13 c 4090 13072 869111 5108805 0 4090 31 31 28 3.09/3.13 c 4100 13102 870948 5117153 0 4100 16 21 17 3.09/3.14 c 4110 13153 873190 5134077 0 4110 38 42 37 3.09/3.14 c 4120 13171 874478 5138500 0 4120 3 9 6 3.09/3.14 c 4130 13211 876682 5157595 0 4130 31 31 28 3.09/3.15 c 4140 13251 878756 5172254 0 4140 21 31 20 3.09/3.15 c 4150 13278 880758 5179118 0 4150 13 18 13 3.09/3.16 c 4160 13329 883017 5199626 0 4160 42 42 38 3.09/3.17 c 4170 13356 885024 5207291 0 4170 9 18 11 3.09/3.17 c 4180 13407 887292 5228398 0 4180 42 42 38 3.09/3.18 c 4190 13434 889316 5235776 0 4190 18 18 16 3.09/3.18 c 4200 13493 891621 5259066 0 4200 42 50 44 3.09/3.19 c 4210 13511 892900 5263081 0 4210 3 9 6 3.09/3.19 c 4220 13562 895517 5284533 0 4220 31 42 36 3.19/3.20 c 4230 13589 897594 5299707 0 4230 18 18 16 3.19/3.21 c 4240 13659 900419 5324871 0 4240 50 61 48 3.19/3.21 c 4250 13678 901706 5329292 0 4250 3 10 6 3.19/3.22 c 4260 13704 903274 5335183 0 4260 12 17 12 3.19/3.23 c 4270 13800 907012 5377570 0 4270 60 87 65 3.19/3.23 c 4280 13819 908299 5381991 0 4280 3 10 6 3.19/3.24 c 4290 13840 909582 5386854 0 4290 4 12 8 3.19/3.24 c 4300 13866 910982 5394402 0 4300 12 17 13 3.19/3.25 c 4310 13963 914615 5423818 0 4310 72 88 77 3.19/3.25 c 4320 13979 915696 5427835 0 4320 3 7 5 3.19/3.26 c 4330 14000 916985 5432698 0 4330 6 12 9 3.19/3.26 c 4340 14026 918364 5441608 0 4340 17 17 15 3.19/3.26 c 4350 14047 919697 5447524 0 4350 6 12 7 3.19/3.27 c 4360 14073 921452 5454411 0 4360 12 17 12 3.19/3.27 c 4370 14098 923035 5460934 0 4370 12 16 11 3.19/3.27 c 4380 14119 924379 5467275 0 4380 9 12 9 3.19/3.28 c 4390 14153 926221 5479412 0 4390 17 25 17 3.19/3.28 c 4400 14175 927743 5484856 0 4400 5 13 8 3.19/3.28 c 4410 14215 929390 5502719 0 4410 31 31 28 3.19/3.29 c 4420 14236 930698 5508440 0 4420 6 12 9 3.19/3.29 c 4430 14257 932000 5513517 0 4430 4 12 8 3.19/3.29 c 4440 14278 933324 5518787 0 4440 9 12 9 3.29/3.30 c 4450 14304 935080 5524467 0 4450 12 17 11 3.29/3.30 c 4460 14325 936056 5531418 0 4460 5 12 8 3.29/3.30 c 4470 14346 937339 5536535 0 4470 6 12 8 3.29/3.30 c 4480 14372 939127 5543014 0 4480 12 17 13 3.29/3.31 c 4490 14393 940411 5548120 0 4490 5 12 9 3.29/3.31 c 4493 14426 942342 5557193 0 4493 31 31 23 3.29/3.31 c 4500 14445 943609 5562421 0 4500 5 13 8 3.29/3.32 c 4510 14485 945604 5579438 0 4510 31 31 28 3.29/3.32 c 4520 14510 947178 5585455 0 4520 13 16 13 3.29/3.33 c 4530 14536 948982 5592933 0 4530 17 17 15 3.29/3.33 c 4540 14558 950276 5598662 0 4540 6 13 9 3.29/3.33 c 4550 14584 952097 5607220 0 4550 12 17 11 3.29/3.33 c 4560 14609 953132 5615578 0 4560 12 16 13 3.29/3.34 c 4570 14660 955601 5636826 0 4570 42 42 38 3.29/3.34 c 4580 14682 957190 5643292 0 4580 9 13 11 3.29/3.36 c 4590 14779 961131 5676511 0 4590 42 88 43 3.29/3.36 c 4600 14801 962641 5681371 0 4600 4 13 8 3.29/3.38 c 4610 14898 966660 5709401 0 4610 88 88 80 3.29/3.38 c 4620 14914 967739 5713418 0 4620 3 7 5 3.29/3.38 c 4630 14940 969556 5719887 0 4630 17 17 15 3.29/3.38 c 4640 14965 971109 5726399 0 4640 13 16 14 3.29/3.39 c 4650 15036 974142 5750917 0 4650 62 62 56 3.29/3.40 c 4660 15052 975221 5754934 0 4660 3 7 5 3.39/3.40 c 4670 15092 977426 5768863 0 4670 17 31 24 3.39/3.40 c 4680 15113 978927 5774388 0 4680 3 12 7 3.39/3.41 c 4690 15134 979898 5781346 0 4690 5 12 8 3.39/3.41 c 4700 15174 981768 5796081 0 4700 17 31 20 3.39/3.42 c 4710 15214 984061 5809176 0 4710 21 31 20 3.39/3.42 c 4720 15236 985570 5814038 0 4720 4 13 8 3.39/3.44 c 4730 15333 989621 5848021 0 4730 60 88 77 3.39/3.44 c 4740 15360 991626 5856320 0 4740 13 18 12 3.39/3.44 c 4750 15389 993195 5866268 0 4750 16 20 15 3.39/3.45 c 4760 15405 994274 5870285 0 4760 3 7 5 3.39/3.45 c 4770 15426 995548 5874987 0 4770 6 12 8 3.39/3.45 c 4780 15452 997318 5881688 0 4780 12 17 15 3.39/3.45 c 4790 15477 998963 5889229 0 4790 16 16 14 3.39/3.46 c 4800 15503 1000762 5897347 0 4800 17 17 15 3.39/3.46 c 4810 15525 1002079 5902399 0 4810 11 13 11 3.39/3.47 c 4820 15565 1004290 5918750 0 4820 31 31 28 3.39/3.47 c 4830 15590 1005874 5925285 0 4830 12 16 12 3.39/3.48 c 4840 15687 1009578 5953935 0 4840 74 88 78 3.39/3.48 c 4850 15709 1011138 5958975 0 4850 10 13 10 3.39/3.49 c 4860 15749 1012912 5973054 0 4860 17 31 24 3.39/3.49 c 4870 15774 1014516 5980827 0 4870 16 16 14 3.49/3.50 c 4880 15800 1016357 5988773 0 4880 12 17 11 3.49/3.50 c 4890 15825 1017916 5994828 0 4890 13 16 14 3.49/3.51 c 4900 15922 1022022 6027479 0 4900 88 88 80 3.49/3.52 c 4910 15941 1023345 6032116 0 4910 3 10 5 3.49/3.52 c 4920 15967 1024839 6039061 0 4920 8 17 10 3.49/3.53 c 4930 16001 1026578 6053906 0 4930 20 25 21 3.49/3.53 c 4940 16052 1029075 6073441 0 4940 31 42 30 3.49/3.54 c 4950 16079 1030895 6079839 0 4950 18 18 16 3.49/3.54 c 4960 16108 1032486 6090059 0 4960 16 20 16 3.49/3.54 c 4970 16130 1034064 6095494 0 4970 10 13 11 3.49/3.55 c 4980 16164 1035827 6108502 0 4980 25 25 22 3.49/3.55 c 4990 16194 1037685 6116067 0 4990 21 21 19 3.49/3.56 c 5035 16269 1040237 6159628 0 5035 16 31 23 3.59/3.65 c 5631 16958 1052958 6503649 0 5181 13 89 82 3.69/3.74 c 6286 17736 1067732 6958669 0 5556 5 88 73 4.00/4.03 c 7006 18516 1093288 8208281 0 5681 4 56 52 4.10/4.14 c 7798 19362 1122666 8664730 0 5903 3 31 29 4.19/4.29 c 8669 20386 1135901 9416781 0 6322 5 112 95 4.49/4.50 c 9627 21371 1176922 9977959 0 6476 4 16 15 4.59/4.68 c 10680 22563 1191270 10859368 0 6710 4 128 113 5.29/5.31 c 11838 23764 1234457 13457896 0 6835 5 37 36 5.59/5.68 c 13111 25191 1260055 15733513 0 7172 8 74 70 5.89/5.99 c 14511 26823 1308911 17426043 0 7262 211 211 210 6.39/6.49 c 16051 28447 1353083 19777935 0 7394 7 72 69 7.00/7.01 c 17745 30372 1421224 22863152 0 7536 9 211 162 7.29/7.33 c 19608 32499 1451194 24707495 0 7934 6 94 81 8.00/8.03 c 21657 34792 1524270 29377312 0 8017 211 211 210 9.10/9.14 c 23910 37116 1624162 33339240 0 8174 7 56 55 9.79/9.89 c 26388 39845 1702912 38176405 0 8196 211 211 210 10.79/10.80 c 29113 42647 1795817 41881791 0 8380 5 57 55 11.69/11.79 c 32110 45905 1890691 48444071 0 8428 211 211 210 12.29/12.33 c 35406 49320 1963530 50599186 0 8698 8 66 62 13.00/13.09 c 39031 52970 2083236 53062621 0 8838 9 9 8 14.39/14.41 c 43018 57034 2247761 58488938 0 9057 5 54 53 15.89/15.93 c 47403 61531 2379836 65332583 0 9276 11 59 58 17.48/17.55 c 52226 66646 2523128 76531524 0 9347 211 211 210 18.18/18.28 c 57531 72448 2602797 80071431 0 9821 8 94 81 20.18/20.20 c 63366 78592 2771573 93611929 0 9921 211 211 210 27.99/28.06 c 69784 85099 3166351 113722838 0 10063 4 45 44 30.48/30.54 c 76843 92269 3356075 127241667 0 10220 7 54 53 33.09/33.11 c 84607 100376 3573040 145252636 0 10283 211 211 210 39.58/39.69 c 93147 109481 3965578 164545199 0 10698 6 46 45 40.88/40.95 c 102541 119545 4047176 170796822 0 11199 8 123 113 41.88/41.98 c 112874 129999 4392338 176434799 0 11425 8 21 20 43.88/43.91 c 124240 141913 4520324 186395837 0 11896 11 140 135 46.29/46.39 c 136742 155750 4921015 196530895 0 12233 10 39 34 48.59/48.64 c 150494 170785 5143219 207765596 0 13269 7 162 130 49.49/49.59 c 165621 186006 5625731 213847915 0 13431 8 8 7 50.99/51.08 c 182260 202767 6064698 222761784 0 13590 4 19 18 55.38/55.48 c 200562 222836 6355684 246521507 0 14277 5 83 78 58.18/58.22 c 220694 244556 6598839 260792278 0 14942 5 124 106 70.48/70.53 c 242839 266952 7354551 330404593 0 15062 15 59 58 71.78/71.83 c 267198 291442 8192127 338884350 0 15240 15 15 14 74.09/74.18 c 293992 318397 9061152 351161091 0 15442 24 24 23 82.18/82.29 c 323465 350940 9603612 393246585 0 15746 3 57 53 84.58/84.60 c 355885 383690 10687294 406360919 0 16109 11 13 12 93.57/93.67 c 391547 420566 11291121 449634458 0 16496 4 41 39 102.17/102.29 c 430775 460077 12234406 500992854 0 16593 5 33 32 123.47/123.56 c 473925 503724 13863986 586705456 0 16815 9 43 42 130.27/130.39 c 521390 552281 14655391 626130472 0 16890 211 211 210 171.07/171.16 c 573601 604896 17538702 757309963 0 16928 10 44 43 192.86/192.97 c 631033 662675 19812911 854909704 0 17079 11 36 35 208.56/208.61 c 694208 726225 21950670 937202503 0 17333 12 41 37 223.16/223.29 c 763700 796877 23130962 1009738461 0 17831 8 67 60 227.26/227.30 c 840141 873693 25752887 1036280779 0 18101 8 9 8 234.26/234.34 c 924226 958212 28606801 1075492298 0 18273 4 15 14 250.36/250.41 c 1016719 1051338 30890054 1175655211 0 18353 6 39 34 274.16/274.28 c 1118461 1153948 33054038 1291079193 0 18612 3 60 59 287.37/287.49 c 1230377 1271832 36518674 1352910939 0 19193 5 137 51 313.07/313.16 c 1353484 1398910 40174133 1484371638 0 19662 5 63 62 338.97/339.09 c 1488901 1536656 43771807 1640823891 0 20061 6 51 46 349.86/350.00 c 1637859 1687833 48896047 1698620915 0 20441 9 15 13 380.36/380.48 c 1801712 1854513 53997416 1862242311 0 20650 13 60 29 408.36/408.49 c 1981950 2064607 55900884 1996520857 0 21364 5 137 114 434.56/434.60 c 2180211 2264439 60599866 2143692716 0 21636 13 56 47 482.55/482.68 c 2398298 2486498 65616261 2392624990 0 21876 12 65 56 498.15/498.20 c 2638193 2728397 73494957 2485794643 0 22054 9 22 13 553.45/553.53 c 2902077 3017124 80863223 2759603339 0 22366 4 66 50 611.96/612.06 c 3192349 3313928 85033759 3103226199 0 22863 12 125 93 631.96/632.07 c 3511648 3638758 94932323 3217635068 0 23388 9 30 19 709.54/709.66 c 3862876 3996202 101720550 3548694079 0 23736 4 82 73 733.74/733.89 c 4249226 4384540 114329675 3692164435 0 24081 8 15 11 844.73/844.88 c 4674211 4812780 127415113 4194868587 0 24132 5 47 37 905.33/905.49 c 5141694 5284565 138484026 4476709010 0 24412 18 60 37 1038.62/1038.75 c 5655925 5857919 148111040 5045535892 0 25033 5 137 107 1074.12/1074.26 c 6221579 6427961 167067496 5261563299 0 25194 7 14 11 1218.93/1219.08 c 6843798 7054096 184819657 5982508928 0 25585 5 50 34 1373.51/1373.60 c 7528238 7776879 194205868 6848351524 0 26096 6 77 68 1429.91/1430.07 c 8281122 8533602 219072539 7178595310 0 26286 7 25 14 1626.79/1626.99 c 9109294 9367815 238232468 8292564467 0 26457 6 55 49 1783.39/1783.57 c 10020283 10365102 250199173 9153516502 0 27061 6 137 103 1909.38/1909.60 c 11022370 11374591 280253612 9876970992 0 27315 7 43 21 2118.47/2118.61 c 12124665 12506639 305771824 11533365632 0 28011 6 84 83 2519.86/2520.00 2519.86/2520.00 c *** INTERRUPTED *** 2519.86/2520.00 c restarts : 598 2519.86/2520.00 c conflicts : 13212397 (5244 /sec) 2519.86/2520.00 c decisions : 13602573 (5398 /sec) 2519.86/2520.00 c propagations : 13881547069 (5509181 /sec) 2519.86/2520.00 c root propagations : 0 2519.86/2520.00 c filter calls : 340263729 (135041 /sec) 2519.86/2520.00 c useless filter calls : 242757658 (71 %) 2519.86/2520.00 c 2519.86/2520.00 c clauses : 10351241 2519.86/2520.00 c SAT propagations : 9600 2519.86/2520.00 c SAT conflicts : 0 (0 learnts) 2519.86/2520.00 c Memory used : 512.64 MB 2519.86/2520.00 c CPU time : 2519.71 s 2519.86/2520.00 2519.86/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 (13109 MiB free)
memory of node 1: 16384 MiB (13399 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266065-1502570675/watcher-4266065-1502570675 -o /tmp/evaluation-result-4266065-1502570675/solver-4266065-1502570675 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node113-1502567255-24898 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266065-1502570675.xml
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
solver pid=25592, runsolver pid=25589
[startup+0.100196 s]*
/proc/loadavg: 1.92 2.01 1.91 3/188 25593
/proc/meminfo: memFree=27143256/32770624 swapFree=67108860/67108860
[pid=25592] ppid=25589 vsize=29440 memory=5884 CPUtime=0.1 cores=0,2,4,6
/proc/25592/stat : 25592 (cosoco) R 25589 25592 24815 0 -1 4202496 1645 0 0 0 10 0 0 0 20 0 1 0 90155188 30146560 1471 33554432000 4194304 5972588 140722938923024 140722938919672 140517175036901 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27967488 140722938926266 140722938926366 140722938926366 140722938929102 0
/proc/25592/statm: 7360 1471 787 435 0 723 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29440 KiB
Current children cumulated memory: 5884 KiB
[startup+0.20963 s]*
/proc/loadavg: 1.92 2.01 1.91 3/188 25593
/proc/meminfo: memFree=27141768/32770624 swapFree=67108860/67108860
[pid=25592] ppid=25589 vsize=30952 memory=7396 CPUtime=0.21 cores=0,2,4,6
/proc/25592/stat : 25592 (cosoco) R 25589 25592 24815 0 -1 4202496 2030 0 0 0 21 0 0 0 20 0 1 0 90155188 31694848 1849 33554432000 4194304 5972588 140722938923024 140722938916824 140517175036901 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27967488 140722938926266 140722938926366 140722938926366 140722938929102 0
/proc/25592/statm: 7738 1849 787 435 0 1101 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30952 KiB
Current children cumulated memory: 7396 KiB
[startup+0.309141 s]*
/proc/loadavg: 1.92 2.01 1.91 3/188 25593
/proc/meminfo: memFree=27097492/32770624 swapFree=67108860/67108860
[pid=25592] ppid=25589 vsize=81480 memory=56204 CPUtime=0.31 cores=0,2,4,6
/proc/25592/stat : 25592 (cosoco) R 25589 25592 24815 0 -1 4202496 12205 0 0 0 30 1 0 0 20 0 1 0 90155188 83435520 14051 33554432000 4194304 5972588 140722938923024 140722938916824 140517175036901 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27967488 140722938926266 140722938926366 140722938926366 140722938929102 0
/proc/25592/statm: 20370 14051 820 435 0 13733 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 81480 KiB
Current children cumulated memory: 56204 KiB
[startup+0.700432 s]
/proc/loadavg: 1.92 2.01 1.91 3/188 25593
/proc/meminfo: memFree=26980396/32770624 swapFree=67108860/67108860
[pid=25592] ppid=25589 vsize=338020 memory=282720 CPUtime=0.69 cores=0,2,4,6
/proc/25592/stat : 25592 (cosoco) R 25589 25592 24815 0 -1 4202496 45811 0 0 0 63 6 0 0 20 0 1 0 90155188 346132480 70680 33554432000 4194304 5972588 140722938923024 140722938916824 140517175036901 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27967488 140722938926266 140722938926366 140722938926366 140722938929102 0
/proc/25592/statm: 84505 70680 820 435 0 77868 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 338020 KiB
Current children cumulated memory: 282720 KiB
[startup+1.50039 s]
/proc/loadavg: 1.92 2.01 1.91 3/188 25593
/proc/meminfo: memFree=26707848/32770624 swapFree=67108860/67108860
[pid=25592] ppid=25589 vsize=521232 memory=441904 CPUtime=1.49 cores=0,2,4,6
/proc/25592/stat : 25592 (cosoco) R 25589 25592 24815 0 -1 4202496 68248 0 0 0 138 11 0 0 20 0 1 0 90155188 533741568 110476 33554432000 4194304 5972588 140722938923024 140722938919816 4975388 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27967488 140722938926266 140722938926366 140722938926366 140722938929102 0
/proc/25592/statm: 130308 110476 838 435 0 123671 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 521232 KiB
Current children cumulated memory: 441904 KiB
[startup+3.10957 s]
/proc/loadavg: 1.92 2.01 1.91 3/188 25593
/proc/meminfo: memFree=26704600/32770624 swapFree=67108860/67108860
[pid=25592] ppid=25589 vsize=521488 memory=444288 CPUtime=3.09 cores=0,2,4,6
/proc/25592/stat : 25592 (cosoco) R 25589 25592 24815 0 -1 4202496 72259 0 0 0 298 11 0 0 20 0 1 0 90155188 534003712 111072 33554432000 4194304 5972588 140722938923024 140722938919816 5099648 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27967488 140722938926266 140722938926366 140722938926366 140722938929102 0
/proc/25592/statm: 130372 111072 838 435 0 123735 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 521488 KiB
Current children cumulated memory: 444288 KiB
[startup+6.30033 s]
/proc/loadavg: 1.85 1.99 1.91 3/188 25593
/proc/meminfo: memFree=26703608/32770624 swapFree=67108860/67108860
[pid=25592] ppid=25589 vsize=522540 memory=445356 CPUtime=6.29 cores=0,2,4,6
/proc/25592/stat : 25592 (cosoco) R 25589 25592 24815 0 -1 4202496 80704 0 0 0 617 12 0 0 20 0 1 0 90155188 535080960 111339 33554432000 4194304 5972588 140722938923024 140722938919848 4909602 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27967488 140722938926266 140722938926366 140722938926366 140722938929102 0
/proc/25592/statm: 130635 111339 838 435 0 123998 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 522540 KiB
Current children cumulated memory: 445356 KiB
[startup+12.7003 s]
/proc/loadavg: 1.86 1.99 1.91 3/188 25593
/proc/meminfo: memFree=26702344/32770624 swapFree=67108860/67108860
[pid=25592] ppid=25589 vsize=523068 memory=445788 CPUtime=12.69 cores=0,2,4,6
/proc/25592/stat : 25592 (cosoco) R 25589 25592 24815 0 -1 4202496 87168 0 0 0 1257 12 0 0 20 0 1 0 90155188 535621632 111447 33554432000 4194304 5972588 140722938923024 140722938920328 4965552 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27967488 140722938926266 140722938926366 140722938926366 140722938929102 0
/proc/25592/statm: 130767 111447 838 435 0 124130 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 523068 KiB
Current children cumulated memory: 445788 KiB
[startup+25.5003 s]
/proc/loadavg: 1.89 1.99 1.91 3/188 25654
/proc/meminfo: memFree=26700008/32770624 swapFree=67108860/67108860
[pid=25592] ppid=25589 vsize=523204 memory=446000 CPUtime=25.48 cores=0,2,4,6
/proc/25592/stat : 25592 (cosoco) R 25589 25592 24815 0 -1 4202496 91464 0 0 0 2536 12 0 0 20 0 1 0 90155188 535760896 111500 33554432000 4194304 5972588 140722938923024 140722938920328 5109246 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27967488 140722938926266 140722938926366 140722938926366 140722938929102 0
/proc/25592/statm: 130801 111500 838 435 0 124164 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 523204 KiB
Current children cumulated memory: 446000 KiB
[startup+51.1092 s]
/proc/loadavg: 1.99 2.01 1.92 3/188 25898
/proc/meminfo: memFree=26705328/32770624 swapFree=67108860/67108860
[pid=25592] ppid=25589 vsize=523732 memory=448644 CPUtime=51.09 cores=0,2,4,6
/proc/25592/stat : 25592 (cosoco) R 25589 25592 24815 0 -1 4202496 101716 0 0 0 5096 13 0 0 20 0 1 0 90155188 536301568 112161 33554432000 4194304 5972588 140722938923024 140722938920056 4975100 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27967488 140722938926266 140722938926366 140722938926366 140722938929102 0
/proc/25592/statm: 130933 112161 838 435 0 124296 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 523732 KiB
Current children cumulated memory: 448644 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/188 25899
/proc/meminfo: memFree=26704868/32770624 swapFree=67108860/67108860
[pid=25592] ppid=25589 vsize=524148 memory=448944 CPUtime=102.27 cores=0,2,4,6
/proc/25592/stat : 25592 (cosoco) R 25589 25592 24815 0 -1 4202496 107571 0 0 0 10214 13 0 0 20 0 1 0 90155188 536727552 112236 33554432000 4194304 5972588 140722938923024 140722938920328 5274005 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27967488 140722938926266 140722938926366 140722938926366 140722938929102 0
/proc/25592/statm: 131037 112236 838 435 0 124400 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 524148 KiB
Current children cumulated memory: 448944 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/188 25900
/proc/meminfo: memFree=26704408/32770624 swapFree=67108860/67108860
[pid=25592] ppid=25589 vsize=524148 memory=449152 CPUtime=162.27 cores=0,2,4,6
/proc/25592/stat : 25592 (cosoco) R 25589 25592 24815 0 -1 4202496 109643 0 0 0 16214 13 0 0 20 0 1 0 90155188 536727552 112288 33554432000 4194304 5972588 140722938923024 140722938920328 4969136 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27967488 140722938926266 140722938926366 140722938926366 140722938929102 0
/proc/25592/statm: 131037 112288 838 435 0 124400 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 524148 KiB
Current children cumulated memory: 449152 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/188 25901
/proc/meminfo: memFree=26704112/32770624 swapFree=67108860/67108860
[pid=25592] ppid=25589 vsize=524280 memory=449188 CPUtime=222.26 cores=0,2,4,6
/proc/25592/stat : 25592 (cosoco) R 25589 25592 24815 0 -1 4202496 111738 0 0 0 22213 13 0 0 20 0 1 0 90155188 536862720 112297 33554432000 4194304 5972588 140722938923024 140722938920328 5240352 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27967488 140722938926266 140722938926366 140722938926366 140722938929102 0
/proc/25592/statm: 131070 112297 838 435 0 124433 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 524280 KiB
Current children cumulated memory: 449188 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/188 25902
/proc/meminfo: memFree=26704084/32770624 swapFree=67108860/67108860
[pid=25592] ppid=25589 vsize=524280 memory=449248 CPUtime=282.26 cores=0,2,4,6
/proc/25592/stat : 25592 (cosoco) R 25589 25592 24815 0 -1 4202496 112816 0 0 0 28213 13 0 0 20 0 1 0 90155188 536862720 112312 33554432000 4194304 5972588 140722938923024 140722938920328 5240338 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27967488 140722938926266 140722938926366 140722938926366 140722938929102 0
/proc/25592/statm: 131070 112312 838 435 0 124433 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 524280 KiB
Current children cumulated memory: 449248 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 25903
/proc/meminfo: memFree=26702904/32770624 swapFree=67108860/67108860
[pid=25592] ppid=25589 vsize=524412 memory=450604 CPUtime=342.26 cores=0,2,4,6
/proc/25592/stat : 25592 (cosoco) R 25589 25592 24815 0 -1 4202496 115089 0 0 0 34212 14 0 0 20 0 1 0 90155188 536997888 112651 33554432000 4194304 5972588 140722938923024 140722938920328 5053056 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27967488 140722938926266 140722938926366 140722938926366 140722938929102 0
/proc/25592/statm: 131103 112651 838 435 0 124466 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 524412 KiB
Current children cumulated memory: 450604 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 25904
/proc/meminfo: memFree=26702892/32770624 swapFree=67108860/67108860
[pid=25592] ppid=25589 vsize=524544 memory=450660 CPUtime=402.26 cores=0,2,4,6
/proc/25592/stat : 25592 (cosoco) R 25589 25592 24815 0 -1 4202496 116339 0 0 0 40212 14 0 0 20 0 1 0 90155188 537133056 112665 33554432000 4194304 5972588 140722938923024 140722938920056 5053069 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27967488 140722938926266 140722938926366 140722938926366 140722938929102 0
/proc/25592/statm: 131136 112665 838 435 0 124499 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 524544 KiB
Current children cumulated memory: 450660 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/187 25905
/proc/meminfo: memFree=26700932/32770624 swapFree=67108860/67108860
[pid=25592] ppid=25589 vsize=524544 memory=452792 CPUtime=462.25 cores=0,2,4,6
/proc/25592/stat : 25592 (cosoco) R 25589 25592 24815 0 -1 4202496 117362 0 0 0 46211 14 0 0 20 0 1 0 90155188 537133056 113198 33554432000 4194304 5972588 140722938923024 140722938920328 5053097 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27967488 140722938926266 140722938926366 140722938926366 140722938929102 0
/proc/25592/statm: 131136 113198 838 435 0 124499 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 524544 KiB
Current children cumulated memory: 452792 KiB
################
# More data... #
################
/proc/25592/statm: 131235 113281 838 435 0 124598 0
Current children cumulated CPU time: 1722.19 s
Current children cumulated vsize: 524940 KiB
Current children cumulated memory: 453124 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/187 26564
/proc/meminfo: memFree=26678616/32770624 swapFree=67108860/67108860
[pid=25592] ppid=25589 vsize=524940 memory=453128 CPUtime=1782.19 cores=0,2,4,6
/proc/25592/stat : 25592 (cosoco) R 25589 25592 24815 0 -1 4202496 143213 0 0 0 178204 15 0 0 20 0 1 0 90155188 537538560 113282 33554432000 4194304 5972588 140722938923024 140722938920328 4971573 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27967488 140722938926266 140722938926366 140722938926366 140722938929102 0
/proc/25592/statm: 131235 113282 838 435 0 124598 0
Current children cumulated CPU time: 1782.19 s
Current children cumulated vsize: 524940 KiB
Current children cumulated memory: 453128 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/188 26573
/proc/meminfo: memFree=26677856/32770624 swapFree=67108860/67108860
[pid=25592] ppid=25589 vsize=524940 memory=453152 CPUtime=1842.18 cores=0,2,4,6
/proc/25592/stat : 25592 (cosoco) R 25589 25592 24815 0 -1 4202496 144318 0 0 0 184203 15 0 0 20 0 1 0 90155188 537538560 113288 33554432000 4194304 5972588 140722938923024 140722938920328 4909639 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27967488 140722938926266 140722938926366 140722938926366 140722938929102 0
/proc/25592/statm: 131235 113288 838 435 0 124598 0
Current children cumulated CPU time: 1842.18 s
Current children cumulated vsize: 524940 KiB
Current children cumulated memory: 453152 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/189 26597
/proc/meminfo: memFree=26676764/32770624 swapFree=67108860/67108860
[pid=25592] ppid=25589 vsize=524940 memory=453152 CPUtime=1902.18 cores=0,2,4,6
/proc/25592/stat : 25592 (cosoco) R 25589 25592 24815 0 -1 4202496 144692 0 0 0 190203 15 0 0 20 0 1 0 90155188 537538560 113288 33554432000 4194304 5972588 140722938923024 140722938920328 4968859 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27967488 140722938926266 140722938926366 140722938926366 140722938929102 0
/proc/25592/statm: 131235 113288 838 435 0 124598 0
Current children cumulated CPU time: 1902.18 s
Current children cumulated vsize: 524940 KiB
Current children cumulated memory: 453152 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/189 26598
/proc/meminfo: memFree=26677268/32770624 swapFree=67108860/67108860
[pid=25592] ppid=25589 vsize=524940 memory=453152 CPUtime=1962.18 cores=0,2,4,6
/proc/25592/stat : 25592 (cosoco) R 25589 25592 24815 0 -1 4202496 146514 0 0 0 196203 15 0 0 20 0 1 0 90155188 537538560 113288 33554432000 4194304 5972588 140722938923024 140722938920328 5099648 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27967488 140722938926266 140722938926366 140722938926366 140722938929102 0
/proc/25592/statm: 131235 113288 838 435 0 124598 0
Current children cumulated CPU time: 1962.18 s
Current children cumulated vsize: 524940 KiB
Current children cumulated memory: 453152 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/189 26599
/proc/meminfo: memFree=26677756/32770624 swapFree=67108860/67108860
[pid=25592] ppid=25589 vsize=524940 memory=453152 CPUtime=2022.17 cores=0,2,4,6
/proc/25592/stat : 25592 (cosoco) R 25589 25592 24815 0 -1 4202496 147363 0 0 0 202202 15 0 0 20 0 1 0 90155188 537538560 113288 33554432000 4194304 5972588 140722938923024 140722938920328 4965365 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27967488 140722938926266 140722938926366 140722938926366 140722938929102 0
/proc/25592/statm: 131235 113288 838 435 0 124598 0
Current children cumulated CPU time: 2022.17 s
Current children cumulated vsize: 524940 KiB
Current children cumulated memory: 453152 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/189 26600
/proc/meminfo: memFree=26677684/32770624 swapFree=67108860/67108860
[pid=25592] ppid=25589 vsize=524940 memory=453152 CPUtime=2082.17 cores=0,2,4,6
/proc/25592/stat : 25592 (cosoco) R 25589 25592 24815 0 -1 4202496 148141 0 0 0 208202 15 0 0 20 0 1 0 90155188 537538560 113288 33554432000 4194304 5972588 140722938923024 140722938920328 4975428 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27967488 140722938926266 140722938926366 140722938926366 140722938929102 0
/proc/25592/statm: 131235 113288 838 435 0 124598 0
Current children cumulated CPU time: 2082.17 s
Current children cumulated vsize: 524940 KiB
Current children cumulated memory: 453152 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/188 26601
/proc/meminfo: memFree=26677900/32770624 swapFree=67108860/67108860
[pid=25592] ppid=25589 vsize=524940 memory=453184 CPUtime=2142.17 cores=0,2,4,6
/proc/25592/stat : 25592 (cosoco) R 25589 25592 24815 0 -1 4202496 149003 0 0 0 214202 15 0 0 20 0 1 0 90155188 537538560 113296 33554432000 4194304 5972588 140722938923024 140722938920328 4965562 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27967488 140722938926266 140722938926366 140722938926366 140722938929102 0
/proc/25592/statm: 131235 113296 838 435 0 124598 0
Current children cumulated CPU time: 2142.17 s
Current children cumulated vsize: 524940 KiB
Current children cumulated memory: 453184 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/187 26602
/proc/meminfo: memFree=26677888/32770624 swapFree=67108860/67108860
[pid=25592] ppid=25589 vsize=524940 memory=453184 CPUtime=2202.16 cores=0,2,4,6
/proc/25592/stat : 25592 (cosoco) R 25589 25592 24815 0 -1 4202496 149980 0 0 0 220201 15 0 0 20 0 1 0 90155188 537538560 113296 33554432000 4194304 5972588 140722938923024 140722938920328 4969261 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27967488 140722938926266 140722938926366 140722938926366 140722938929102 0
/proc/25592/statm: 131235 113296 838 435 0 124598 0
Current children cumulated CPU time: 2202.16 s
Current children cumulated vsize: 524940 KiB
Current children cumulated memory: 453184 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/187 26603
/proc/meminfo: memFree=26677724/32770624 swapFree=67108860/67108860
[pid=25592] ppid=25589 vsize=524940 memory=453184 CPUtime=2262.16 cores=0,2,4,6
/proc/25592/stat : 25592 (cosoco) R 25589 25592 24815 0 -1 4202496 150679 0 0 0 226201 15 0 0 20 0 1 0 90155188 537538560 113296 33554432000 4194304 5972588 140722938923024 140722938920328 4970744 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27967488 140722938926266 140722938926366 140722938926366 140722938929102 0
/proc/25592/statm: 131235 113296 838 435 0 124598 0
Current children cumulated CPU time: 2262.16 s
Current children cumulated vsize: 524940 KiB
Current children cumulated memory: 453184 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/187 26604
/proc/meminfo: memFree=26677680/32770624 swapFree=67108860/67108860
[pid=25592] ppid=25589 vsize=524940 memory=453184 CPUtime=2322.16 cores=0,2,4,6
/proc/25592/stat : 25592 (cosoco) R 25589 25592 24815 0 -1 4202496 151356 0 0 0 232201 15 0 0 20 0 1 0 90155188 537538560 113296 33554432000 4194304 5972588 140722938923024 140722938920328 4965528 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27967488 140722938926266 140722938926366 140722938926366 140722938929102 0
/proc/25592/statm: 131235 113296 838 435 0 124598 0
Current children cumulated CPU time: 2322.16 s
Current children cumulated vsize: 524940 KiB
Current children cumulated memory: 453184 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/187 26605
/proc/meminfo: memFree=26677504/32770624 swapFree=67108860/67108860
[pid=25592] ppid=25589 vsize=524940 memory=453184 CPUtime=2382.15 cores=0,2,4,6
/proc/25592/stat : 25592 (cosoco) R 25589 25592 24815 0 -1 4202496 152034 0 0 0 238200 15 0 0 20 0 1 0 90155188 537538560 113296 33554432000 4194304 5972588 140722938923024 140722938920328 4965486 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27967488 140722938926266 140722938926366 140722938926366 140722938929102 0
/proc/25592/statm: 131235 113296 838 435 0 124598 0
Current children cumulated CPU time: 2382.15 s
Current children cumulated vsize: 524940 KiB
Current children cumulated memory: 453184 KiB
[startup+2442.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/188 26614
/proc/meminfo: memFree=26677272/32770624 swapFree=67108860/67108860
[pid=25592] ppid=25589 vsize=524940 memory=453184 CPUtime=2442.15 cores=0,2,4,6
/proc/25592/stat : 25592 (cosoco) R 25589 25592 24815 0 -1 4202496 153010 0 0 0 244200 15 0 0 20 0 1 0 90155188 537538560 113296 33554432000 4194304 5972588 140722938923024 140722938920328 4965560 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27967488 140722938926266 140722938926366 140722938926366 140722938929102 0
/proc/25592/statm: 131235 113296 838 435 0 124598 0
Current children cumulated CPU time: 2442.15 s
Current children cumulated vsize: 524940 KiB
Current children cumulated memory: 453184 KiB
[startup+2502.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/188 26615
/proc/meminfo: memFree=26677520/32770624 swapFree=67108860/67108860
[pid=25592] ppid=25589 vsize=524940 memory=453184 CPUtime=2502.15 cores=0,2,4,6
/proc/25592/stat : 25592 (cosoco) R 25589 25592 24815 0 -1 4202496 153378 0 0 0 250200 15 0 0 20 0 1 0 90155188 537538560 113296 33554432000 4194304 5972588 140722938923024 140722938920328 5071077 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27967488 140722938926266 140722938926366 140722938926366 140722938929102 0
/proc/25592/statm: 131235 113296 838 435 0 124598 0
Current children cumulated CPU time: 2502.15 s
Current children cumulated vsize: 524940 KiB
Current children cumulated memory: 453184 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.01 2.02 2.00 3/188 26615
/proc/meminfo: memFree=26677644/32770624 swapFree=67108860/67108860
[pid=25592] ppid=25589 vsize=524940 memory=453184 CPUtime=2519.86 cores=0,2,4,6
/proc/25592/stat : 25592 (cosoco) R 25589 25592 24815 0 -1 4202496 153683 0 0 0 251971 15 0 0 20 0 1 0 90155188 537538560 113296 33554432000 4194304 5972588 140722938923024 140722938920328 5071767 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27967488 140722938926266 140722938926366 140722938926366 140722938929102 0
/proc/25592/statm: 131235 113296 838 435 0 124598 0
Current children cumulated CPU time: 2519.86 s
Current children cumulated vsize: 524940 KiB
Current children cumulated memory: 453184 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 25592 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.71 s, system=0.160991 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.87
CPU user time (s): 2519.71
CPU system time (s): 0.160991
CPU usage (%): 99.9944
Max. virtual memory (cumulated for all children) (KiB): 524940
Max. memory (cumulated for all children) (KiB): 453184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.71
system time used= 0.160991
maximum resident set size= 453252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153734
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= 27
involuntary context switches= 879
# summary of solver processes directly reported to runsolver:
# pid: 25592
# total CPU time (s): 2519.87
# total CPU user time (s): 2519.71
# total CPU system time (s): 0.160991
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.30928 second user time and 16.3558 second system time
The end
Begin job on node113 at 2017-08-12 22:30:17 IDJOB=4266065 IDBENCH=120738 IDSOLVER=2655 FILE ID=node113/4266065-1502570675 RUNJOBID= node113-1502567255-24898 PBS_JOBID= 20628282 Free space on /tmp= 61808 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/GracefulGraph/GracefulGraph-m1-s1/GracefulGraph-K10-P04.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266065-1502570675/watcher-4266065-1502570675 -o /tmp/evaluation-result-4266065-1502570675/solver-4266065-1502570675 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node113-1502567255-24898 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266065-1502570675.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ddb81c87fc1d8e68708f77d31c52a231 RANDOM SEED=2110064450 node113.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.89 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.89 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.89 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.89 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: 27146588 kB MemAvailable: 31986928 kB Buffers: 122188 kB Cached: 5011112 kB SwapCached: 0 kB Active: 468808 kB Inactive: 4727044 kB Active(anon): 65464 kB Inactive(anon): 24988 kB Active(file): 403344 kB Inactive(file): 4702056 kB Unevictable: 6572 kB Mlocked: 6572 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2148 kB Writeback: 0 kB AnonPages: 68884 kB Mapped: 44444 kB Shmem: 25224 kB Slab: 126700 kB SReclaimable: 101552 kB SUnreclaim: 25148 kB KernelStack: 3280 kB PageTables: 5112 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 364020 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 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= 61804 MiB End job on node113 at 2017-08-12 23:12:17