| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | ? (TO) | 5000.03 | 4999.91 |
| Name | industrial/fuhs/hard/ AProVE07-01.cnf |
| MD5SUM | d2f77e32530988f77dca5112174eee00 |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 2476.89 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 7502 |
| Number of clauses | 28770 |
| Sum of the clauses size | 76290 |
| Maximum clause length | 847 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 1 |
| Number of clauses of size 2 | 15814 |
| Number of clauses of size 3 | 11119 |
| Number of clauses of size 4 | 733 |
| Number of clauses of size 5 | 172 |
| Number of clauses of size over 5 | 931 |
0.00/0.00 c 0.00/0.00 c Starting SatElite Preprocessing 0.00/0.00 c 0.00/0.00 c Parsing... 0.00/0.01 c ============================================================================== 0.00/0.01 c | | ORIGINAL | LEARNT | | 0.00/0.01 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.01 c ============================================================================== 0.00/0.01 c | 0 | 23237 63534 | 6971 0 0 nan | 0.000 % | 0.00/0.08 c | 0 | 15594 54914 | -- 0 -- -- | -- | -7643/-8620 0.00/0.08 c ============================================================================== 0.00/0.08 c Result : #vars: 2673 #clauses: 15594 #literals: 54914 0.00/0.08 c CPU time: 0.075988 s 0.00/0.08 c ============================================================================== 0.00/0.09 c 0.00/0.09 c Starting glucose 0.00/0.09 c 1.78/1.83 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 1.78/1.83 c WARNING: for repeatability, setting FPU to use double precision 1.78/1.83 c ============================[ Problem Statistics ]============================= 1.78/1.83 c | | 1.78/1.83 c | Number of variables: 2673 | 1.78/1.83 c | Number of clauses: 15594 | 1.78/1.83 c | Parse time: 0.00 s | 1.78/1.83 c | | 1.78/1.83 c ============================[ Search Statistics ]============================== 1.78/1.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.78/1.83 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 1.78/1.83 c =============================================================================== 1.78/1.83 c | 955 | 2673 15594 54914 | 1 955 11 | 0.000 % | 1.78/1.83 c | 1225 | 2673 15594 54914 | 1 1225 12 | 0.000 % | 1.78/1.83 c | 1351 | 2673 15594 54914 | 1 1351 15 | 0.000 % | 1.78/1.83 c | 1451 | 2673 15594 54914 | 1 1451 15 | 0.000 % | 1.78/1.83 c | 1560 | 2673 15594 54914 | 1 1560 15 | 0.000 % | 1.78/1.83 c | 1660 | 2673 15594 54914 | 1 1660 16 | 0.000 % | 1.78/1.83 c | 1908 | 2673 15594 54914 | 1 1908 18 | 0.000 % | 1.78/1.83 c | 2008 | 2673 15594 54914 | 1 2008 21 | 0.000 % | 1.78/1.83 c | 2285 | 2673 15594 54914 | 1 2285 21 | 0.000 % | 1.78/1.83 c | 2401 | 2673 15594 54914 | 1 2401 22 | 0.000 % | 1.78/1.83 c | 2501 | 2673 15594 54914 | 1 2501 23 | 0.000 % | 1.78/1.83 c | 10139 | 2673 15594 54914 | 1 8148 17 | 0.000 % | 1.78/1.83 c | 10282 | 2673 15594 54914 | 1 8291 18 | 0.000 % | 1.78/1.83 c | 10764 | 2673 15594 54914 | 1 4473 12 | 0.000 % | 1.78/1.83 c | 11458 | 2673 15594 54914 | 1 5167 16 | 0.000 % | 1.78/1.83 c | 12437 | 2673 15594 54914 | 1 6146 18 | 0.000 % | 1.78/1.83 c | 12632 | 2673 15594 54914 | 1 6341 18 | 0.000 % | 1.78/1.83 c | 13191 | 2673 15594 54914 | 1 6900 20 | 0.000 % | 1.78/1.83 c | 13291 | 2673 15594 54914 | 1 7000 21 | 0.000 % | 1.78/1.83 c | 13393 | 2673 15594 54914 | 1 7102 21 | 0.000 % | 1.78/1.83 c | 13850 | 2673 15594 54914 | 1 7559 22 | 0.000 % | 1.78/1.83 c | 16104 | 2673 15594 54914 | 1 9813 24 | 0.000 % | 1.78/1.83 c | 17378 | 2673 15594 54914 | 1 11087 26 | 0.000 % | 1.78/1.83 c | 17479 | 2673 15594 54914 | 1 11188 26 | 0.000 % | 1.78/1.83 c | 23042 | 2673 15594 54914 | 1 10009 20 | 0.000 % | 1.78/1.83 c | 23142 | 2673 15594 54914 | 1 10109 20 | 0.000 % | 1.78/1.83 c | 24115 | 2673 15594 54914 | 1 11082 22 | 0.000 % | 1.78/1.83 c | 25049 | 2673 15594 54914 | 1 12016 24 | 0.000 % | 1.78/1.83 c | 26311 | 2673 15594 54914 | 1 13278 24 | 0.000 % | 1.78/1.83 c | 28020 | 2673 15594 54914 | 1 14987 26 | 0.000 % | 1.78/1.83 c | 28729 | 2673 15594 54914 | 1 15696 27 | 0.000 % | 1.78/1.83 c | 28906 | 2673 15594 54914 | 1 15873 27 | 0.000 % | 1.78/1.83 c | 29008 | 2673 15594 54914 | 1 15975 27 | 0.000 % | 1.78/1.83 c | 29763 | 2673 15594 54914 | 1 16730 29 | 0.000 % | 1.78/1.83 c | 30030 | 2673 15594 54914 | 1 16997 29 | 0.000 % | 1.78/1.83 c | 31325 | 2673 15594 54914 | 1 18292 30 | 0.000 % | 1.78/1.83 c | 32037 | 2673 15594 54914 | 1 9737 15 | 0.000 % | 1.78/1.83 c | 32237 | 2673 15594 54914 | 1 9937 16 | 0.000 % | 1.78/1.83 c | 32588 | 2673 15594 54914 | 1 10288 17 | 0.000 % | 25.29/25.36 c | 32730 | 2673 15594 54914 | 1 10430 18 | 0.000 % | 25.29/25.36 c | 56969 | 2673 15594 54914 | 1 22831 36 | 0.000 % | 25.29/25.36 c | 57915 | 2673 15594 54914 | 1 23777 37 | 0.000 % | 25.29/25.36 c | 58016 | 2673 15594 54914 | 1 23878 37 | 0.000 % | 25.29/25.36 c | 58117 | 2673 15594 54914 | 1 23979 37 | 0.000 % | 25.29/25.36 c | 80566 | 2672 15590 54900 | 1 31997 27 | 0.037 % | 25.29/25.36 c | 88340 | 2672 15590 54900 | 1 22761 20 | 0.037 % | 25.29/25.36 c | 89223 | 2672 15590 54900 | 1 23644 22 | 0.037 % | 25.29/25.36 c | 92473 | 2672 15590 54900 | 1 26894 23 | 0.037 % | 25.29/25.36 c | 96684 | 2672 15590 54900 | 1 31105 26 | 0.037 % | 25.29/25.36 c | 101949 | 2672 15590 54900 | 1 36370 29 | 0.037 % | 25.29/25.36 c | 102223 | 2672 15590 54900 | 1 36644 29 | 0.037 % | 25.29/25.36 c | 102324 | 2672 15590 54900 | 1 36745 30 | 0.037 % | 25.29/25.36 c | 102432 | 2672 15590 54900 | 1 36853 30 | 0.037 % | 25.29/25.36 c | 108766 | 2672 15590 54900 | 1 23585 22 | 0.037 % | 25.29/25.36 c | 108956 | 2672 15590 54900 | 1 23775 23 | 0.037 % | 25.29/25.36 c | 109298 | 2672 15590 54900 | 1 24117 23 | 0.037 % | 25.29/25.36 c | 109400 | 2672 15590 54900 | 1 24219 23 | 0.037 % | 25.29/25.36 c | 109500 | 2672 15590 54900 | 1 24319 23 | 0.037 % | 25.29/25.36 c | 109725 | 2672 15590 54900 | 1 24544 24 | 0.037 % | 25.29/25.36 c | 111322 | 2672 15590 54900 | 1 26141 25 | 0.037 % | 25.29/25.36 c | 112717 | 2672 15590 54900 | 1 27536 25 | 0.037 % | 25.29/25.36 c | 112819 | 2672 15590 54900 | 1 27638 25 | 0.037 % | 25.29/25.36 c | 113678 | 2672 15590 54900 | 1 28497 26 | 0.037 % | 25.29/25.36 c | 113850 | 2672 15590 54900 | 1 28669 26 | 0.037 % | 25.29/25.36 c | 168012 | 2672 15590 54900 | 1 35834 27 | 0.037 % | 25.29/25.36 c | 170047 | 2672 15590 54900 | 1 37869 27 | 0.037 % | 25.29/25.36 c | 170147 | 2672 15590 54900 | 1 37969 27 | 0.037 % | 25.29/25.36 c | 170250 | 2672 15590 54900 | 1 38072 27 | 0.037 % | 25.29/25.36 c | 172673 | 2672 15590 54900 | 1 40495 29 | 0.037 % | 25.29/25.36 c | 172773 | 2672 15590 54900 | 1 40595 29 | 0.037 % | 25.29/25.36 c | 173754 | 2672 15590 54900 | 1 41576 30 | 0.037 % | 25.29/25.36 c | 174976 | 2672 15590 54900 | 1 42798 30 | 0.037 % | 25.29/25.36 c | 175163 | 2672 15590 54900 | 1 42985 30 | 0.037 % | 25.29/25.36 c | 176455 | 2672 15590 54900 | 1 44277 30 | 0.037 % | 25.29/25.36 c | 176782 | 2672 15590 54900 | 1 44604 31 | 0.037 % | 25.29/25.36 c | 186667 | 2672 15590 54900 | 1 54489 35 | 0.037 % | 25.29/25.36 c | 187300 | 2672 15590 54900 | 1 27717 16 | 0.037 % | 25.29/25.36 c | 187840 | 2672 15590 54900 | 1 28257 16 | 0.037 % | 25.29/25.36 c | 188069 | 2672 15590 54900 | 1 28486 17 | 0.037 % | 25.29/25.36 c | 188213 | 2672 15590 54900 | 1 28630 17 | 0.037 % | 25.29/25.36 c | 188315 | 2672 15590 54900 | 1 28732 17 | 0.037 % | 25.29/25.36 c | 188956 | 2672 15590 54900 | 1 29373 18 | 0.037 % | 25.29/25.36 c | 189056 | 2672 15590 54900 | 1 29473 18 | 0.037 % | 25.29/25.36 c | 190938 | 2672 15590 54900 | 1 31355 20 | 0.037 % | 25.29/25.36 c | 211470 | 2672 15590 54900 | 1 51887 27 | 0.037 % | 25.29/25.36 c | 211733 | 2672 15590 54900 | 1 52150 27 | 0.037 % | 25.29/25.36 c | 211834 | 2672 15590 54900 | 1 52251 27 | 0.037 % | 25.29/25.36 c | 214064 | 2672 15590 54900 | 1 54481 28 | 0.037 % | 25.29/25.36 c | 214168 | 2672 15590 54900 | 1 54585 28 | 0.037 % | 52.48/52.58 c | 214270 | 2672 15590 54900 | 1 54687 28 | 0.037 % | 52.48/52.58 c | 214371 | 2672 15590 54900 | 1 54788 28 | 0.037 % | 52.48/52.58 c | 215555 | 2672 15590 54900 | 1 55972 28 | 0.037 % | 52.48/52.58 c | 216633 | 2672 15590 54900 | 1 57050 28 | 0.037 % | 52.48/52.58 c | 227243 | 2672 15590 54900 | 1 37667 21 | 0.037 % | 52.48/52.58 c | 227344 | 2672 15590 54900 | 1 37768 21 | 0.037 % | 52.48/52.58 c | 227446 | 2672 15590 54900 | 1 37870 21 | 0.037 % | 52.48/52.58 c | 236952 | 2671 15586 54886 | 1 47374 27 | 0.075 % | 52.48/52.58 c | 239777 | 2671 15586 54886 | 1 50199 28 | 0.075 % | 52.48/52.58 c | 239877 | 2671 15586 54886 | 1 50299 28 | 0.075 % | 52.48/52.58 c | 240108 | 2671 15586 54886 | 1 50530 28 | 0.075 % | 52.48/52.58 c | 240999 | 2671 15586 54886 | 1 51421 29 | 0.075 % | 52.48/52.58 c | 243206 | 2671 15586 54886 | 1 53628 29 | 0.075 % | 52.48/52.58 c | 247516 | 2671 15586 54886 | 1 57938 30 | 0.075 % | 52.48/52.58 c | 247619 | 2671 15586 54886 | 1 58041 30 | 0.075 % | 52.48/52.58 c | 248258 | 2671 15586 54886 | 1 58680 31 | 0.075 % | 52.48/52.58 c | 253336 | 2671 15586 54886 | 1 63758 31 | 0.075 % | 52.48/52.58 c | 258692 | 2671 15586 54886 | 1 36516 19 | 0.075 % | 52.48/52.58 c | 259236 | 2671 15586 54886 | 1 37060 19 | 0.075 % | 52.48/52.58 c | 262193 | 2671 15586 54886 | 1 40017 21 | 0.075 % | 52.48/52.58 c | 262879 | 2671 15586 54886 | 1 40703 21 | 0.075 % | 52.48/52.58 c | 275665 | 2671 15586 54886 | 1 53489 27 | 0.075 % | 52.48/52.58 c | 275775 | 2671 15586 54886 | 1 53599 27 | 0.075 % | 52.48/52.58 c | 297348 | 2671 15586 54886 | 1 39976 17 | 0.075 % | 52.48/52.58 c | 301125 | 2671 15586 54886 | 1 43753 19 | 0.075 % | 52.48/52.58 c | 305010 | 2671 15586 54886 | 1 47638 21 | 0.075 % | 52.48/52.58 c | 305110 | 2671 15586 54886 | 1 47738 21 | 0.075 % | 52.48/52.58 c | 309454 | 2671 15586 54886 | 1 52082 23 | 0.075 % | 52.48/52.58 c | 314864 | 2671 15586 54886 | 1 57492 25 | 0.075 % | 52.48/52.58 c | 315080 | 2671 15586 54886 | 1 57708 25 | 0.075 % | 52.48/52.58 c | 318505 | 2671 15586 54886 | 1 61133 26 | 0.075 % | 52.48/52.58 c | 320261 | 2671 15586 54886 | 1 62889 27 | 0.075 % | 52.48/52.58 c | 331117 | 2671 15586 54886 | 1 73745 29 | 0.075 % | 52.48/52.58 c | 331259 | 2671 15586 54886 | 1 73887 29 | 0.075 % | 52.48/52.58 c | 335175 | 2671 15586 54886 | 1 39997 16 | 0.075 % | 52.48/52.58 c | 336388 | 2671 15586 54886 | 1 41210 17 | 0.075 % | 52.48/52.58 c | 336489 | 2671 15586 54886 | 1 41311 17 | 0.075 % | 52.48/52.58 c | 336589 | 2671 15586 54886 | 1 41411 17 | 0.075 % | 52.48/52.58 c | 337025 | 2671 15586 54886 | 1 41847 18 | 0.075 % | 52.48/52.58 c | 350770 | 2671 15586 54886 | 1 55592 27 | 0.075 % | 52.48/52.58 c | 355282 | 2671 15586 54886 | 1 60104 28 | 0.075 % | 52.48/52.58 c | 355489 | 2671 15586 54886 | 1 60311 28 | 0.075 % | 52.48/52.58 c | 361602 | 2671 15586 54886 | 1 66424 30 | 0.075 % | 52.48/52.58 c | 361702 | 2671 15586 54886 | 1 66524 30 | 0.075 % | 52.48/52.58 c | 364201 | 2671 15586 54886 | 1 69023 30 | 0.075 % | 52.48/52.58 c | 366262 | 2671 15586 54886 | 1 71084 31 | 0.075 % | 52.48/52.58 c | 367225 | 2671 15586 54886 | 1 72047 31 | 0.075 % | 52.48/52.58 c | 370884 | 2671 15586 54886 | 1 75706 31 | 0.075 % | 52.48/52.58 c | 370988 | 2671 15586 54886 | 1 75810 31 | 0.075 % | 52.48/52.58 c | 395084 | 2671 15586 54886 | 1 59510 26 | 0.075 % | 128.48/128.53 c | 396078 | 2671 15586 54886 | 1 60504 26 | 0.075 % | 128.48/128.53 c | 397076 | 2671 15586 54886 | 1 61502 27 | 0.075 % | 128.48/128.53 c | 409334 | 2671 15586 54886 | 1 73760 29 | 0.075 % | 128.48/128.53 c | 412049 | 2671 15586 54886 | 1 76475 29 | 0.075 % | 128.48/128.53 c | 424662 | 2671 15586 54886 | 1 46084 17 | 0.075 % | 128.48/128.53 c | 466975 | 2671 15586 54886 | 1 88397 28 | 0.075 % | 128.48/128.53 c | 467075 | 2671 15586 54886 | 1 88497 28 | 0.075 % | 128.48/128.53 c | 468566 | 2671 15586 54886 | 1 89988 29 | 0.075 % | 128.48/128.53 c | 484227 | 2671 15586 54886 | 1 60048 20 | 0.075 % | 128.48/128.53 c | 498040 | 2671 15586 54886 | 1 73861 25 | 0.075 % | 128.48/128.53 c | 499498 | 2671 15586 54886 | 1 75319 26 | 0.075 % | 128.48/128.53 c | 504192 | 2671 15586 54886 | 1 80013 27 | 0.075 % | 128.48/128.53 c | 517858 | 2671 15586 54886 | 1 93679 29 | 0.075 % | 128.48/128.53 c | 527709 | 2671 15586 54886 | 1 55335 17 | 0.075 % | 128.48/128.53 c | 669607 | 2671 15586 54886 | 1 93026 19 | 0.075 % | 128.48/128.53 c | 683216 | 2670 15582 54872 | 1 106634 21 | 0.112 % | 128.48/128.53 c | 684099 | 2670 15582 54872 | 1 107517 21 | 0.112 % | 128.48/128.53 c | 684370 | 2670 15582 54872 | 1 107788 21 | 0.112 % | 128.48/128.53 c | 684473 | 2670 15582 54872 | 1 107891 21 | 0.112 % | 128.48/128.53 c | 696947 | 2670 15582 54872 | 1 64363 14 | 0.112 % | 128.48/128.53 c | 697047 | 2670 15582 54872 | 1 64463 14 | 0.112 % | 128.48/128.53 c | 701271 | 2670 15582 54872 | 1 68687 15 | 0.112 % | 128.48/128.53 c | 701371 | 2670 15582 54872 | 1 68787 15 | 0.112 % | 128.48/128.53 c | 732476 | 2670 15582 54872 | 1 99892 25 | 0.112 % | 128.48/128.53 c | 732626 | 2670 15582 54872 | 1 100042 25 | 0.112 % | 128.48/128.53 c | 762527 | 2670 15582 54872 | 1 71338 20 | 0.112 % | 128.48/128.53 c | 763310 | 2670 15582 54872 | 1 72121 20 | 0.112 % | 128.48/128.53 c | 769394 | 2670 15582 54872 | 1 78205 22 | 0.112 % | 128.48/128.53 c | 770401 | 2670 15582 54872 | 1 79212 22 | 0.112 % | 128.48/128.53 c | 773771 | 2670 15582 54872 | 1 82582 23 | 0.112 % | 128.48/128.53 c | 775825 | 2670 15582 54872 | 1 84636 24 | 0.112 % | 128.48/128.53 c | 775925 | 2670 15582 54872 | 1 84736 24 | 0.112 % | 128.48/128.53 c | 778783 | 2670 15582 54872 | 1 87594 25 | 0.112 % | 128.48/128.53 c | 778884 | 2670 15582 54872 | 1 87695 25 | 0.112 % | 128.48/128.53 c | 783846 | 2670 15582 54872 | 1 92657 27 | 0.112 % | 128.48/128.53 c | 787272 | 2670 15582 54872 | 1 96083 27 | 0.112 % | 128.48/128.53 c | 811348 | 2670 15582 54872 | 1 120159 29 | 0.112 % | 128.48/128.53 c | 814040 | 2670 15582 54872 | 1 61652 14 | 0.112 % | 128.48/128.53 c | 814140 | 2670 15582 54872 | 1 61752 15 | 0.112 % | 128.48/128.53 c | 814240 | 2670 15582 54872 | 1 61852 15 | 0.112 % | 128.48/128.53 c | 817909 | 2670 15582 54872 | 1 65521 16 | 0.112 % | 128.48/128.53 c | 820662 | 2670 15582 54872 | 1 68274 17 | 0.112 % | 128.48/128.53 c | 821152 | 2670 15582 54872 | 1 68764 17 | 0.112 % | 128.48/128.53 c | 821254 | 2670 15582 54872 | 1 68866 17 | 0.112 % | 128.48/128.53 c | 834791 | 2670 15582 54872 | 1 82403 22 | 0.112 % | 128.48/128.53 c | 836682 | 2670 15582 54872 | 1 84294 23 | 0.112 % | 128.48/128.53 c | 855744 | 2670 15582 54872 | 1 103356 24 | 0.112 % | 128.48/128.53 c | 856854 | 2670 15582 54872 | 1 104466 24 | 0.112 % | 128.48/128.53 c | 857441 | 2670 15582 54872 | 1 105053 25 | 0.112 % | 128.48/128.53 c | 857647 | 2670 15582 54872 | 1 105259 25 | 0.112 % | 416.29/416.36 c | 862441 | 2670 15582 54872 | 1 110053 26 | 0.112 % | 416.29/416.36 c | 862558 | 2670 15582 54872 | 1 110170 26 | 0.112 % | 416.29/416.36 c | 862659 | 2670 15582 54872 | 1 110271 26 | 0.112 % | 416.29/416.36 c | 872579 | 2670 15582 54872 | 1 120191 28 | 0.112 % | 416.29/416.36 c | 1070181 | 2670 15582 54872 | 1 118615 29 | 0.112 % | 416.29/416.36 c | 1132884 | 2670 15582 54872 | 1 109713 29 | 0.112 % | 416.29/416.36 c | 1132984 | 2670 15582 54872 | 1 109813 29 | 0.112 % | 416.29/416.36 c | 1133130 | 2670 15582 54872 | 1 109959 29 | 0.112 % | 416.29/416.36 c | 1133480 | 2670 15582 54872 | 1 110309 29 | 0.112 % | 416.29/416.36 c | 1133581 | 2670 15582 54872 | 1 110410 29 | 0.112 % | 416.29/416.36 c | 1139733 | 2670 15582 54872 | 1 116562 30 | 0.112 % | 416.29/416.36 c | 1426917 | 2670 15582 54872 | 1 91346 18 | 0.112 % | 416.29/416.36 c | 1427018 | 2670 15582 54872 | 1 91447 18 | 0.112 % | 416.29/416.36 c | 1428443 | 2670 15582 54872 | 1 92872 18 | 0.112 % | 416.29/416.36 c | 1453677 | 2670 15582 54872 | 1 118106 21 | 0.112 % | 416.29/416.36 c | 1454498 | 2670 15582 54872 | 1 118927 21 | 0.112 % | 416.29/416.36 c | 1454600 | 2670 15582 54872 | 1 119029 21 | 0.112 % | 416.29/416.36 c | 1455053 | 2670 15582 54872 | 1 119482 21 | 0.112 % | 416.29/416.36 c | 1456665 | 2670 15582 54872 | 1 121094 22 | 0.112 % | 416.29/416.36 c | 1458466 | 2670 15582 54872 | 1 122895 22 | 0.112 % | 416.29/416.36 c | 1458724 | 2670 15582 54872 | 1 123153 22 | 0.112 % | 416.29/416.36 c | 1458918 | 2670 15582 54872 | 1 123347 22 | 0.112 % | 416.29/416.36 c | 1459812 | 2670 15582 54872 | 1 124241 22 | 0.112 % | 416.29/416.36 c | 1464351 | 2670 15582 54872 | 1 128780 23 | 0.112 % | 416.29/416.36 c | 1469368 | 2670 15582 54872 | 1 133797 24 | 0.112 % | 416.29/416.36 c | 1469468 | 2670 15582 54872 | 1 133897 24 | 0.112 % | 416.29/416.36 c | 1470551 | 2670 15582 54872 | 1 134980 24 | 0.112 % | 416.29/416.36 c | 1479564 | 2670 15582 54872 | 1 143993 24 | 0.112 % | 416.29/416.36 c | 1479673 | 2670 15582 54872 | 1 144102 24 | 0.112 % | 416.29/416.36 c | 1532605 | 2670 15582 54872 | 1 112434 22 | 0.112 % | 416.29/416.36 c | 1575996 | 2670 15582 54872 | 1 155825 28 | 0.112 % | 416.29/416.36 c | 1594007 | 2670 15582 54872 | 1 173836 30 | 0.112 % | 416.29/416.36 c | 1600373 | 2670 15582 54872 | 1 92995 16 | 0.112 % | 416.29/416.36 c | 1600988 | 2670 15582 54872 | 1 93610 17 | 0.112 % | 416.29/416.36 c | 1601088 | 2670 15582 54872 | 1 93710 17 | 0.112 % | 416.29/416.36 c | 1603227 | 2670 15582 54872 | 1 95849 17 | 0.112 % | 416.29/416.36 c | 1607025 | 2670 15582 54872 | 1 99647 18 | 0.112 % | 416.29/416.36 c | 1611845 | 2670 15582 54872 | 1 104467 20 | 0.112 % | 416.29/416.36 c | 1614682 | 2670 15582 54872 | 1 107304 21 | 0.112 % | 416.29/416.36 c | 1626488 | 2670 15582 54872 | 1 119110 23 | 0.112 % | 416.29/416.36 c | 1626964 | 2670 15582 54872 | 1 119586 23 | 0.112 % | 416.29/416.36 c | 1631960 | 2670 15582 54872 | 1 124582 24 | 0.112 % | 416.29/416.36 c | 1692262 | 2670 15582 54872 | 1 95083 15 | 0.112 % | 416.29/416.36 c | 1692411 | 2670 15582 54872 | 1 95232 15 | 0.112 % | 416.29/416.36 c | 1747219 | 2670 15582 54872 | 1 150040 26 | 0.112 % | 416.29/416.36 c | 1780347 | 2670 15582 54872 | 1 183168 25 | 0.112 % | 416.29/416.36 c | 1780447 | 2670 15582 54872 | 1 183268 25 | 0.112 % | 416.29/416.36 c | 1904501 | 2670 15582 54872 | 1 119915 19 | 0.112 % | 416.29/416.36 c | 1906333 | 2670 15582 54872 | 1 121747 20 | 0.112 % | 416.29/416.36 c | 1932550 | 2670 15582 54872 | 1 147964 24 | 0.112 % | 730.80/730.89 c | 2064859 | 2670 15582 54872 | 1 182680 27 | 0.112 % | 730.80/730.89 c | 2064964 | 2670 15582 54872 | 1 182785 27 | 0.112 % | 730.80/730.89 c | 2124144 | 2670 15582 54872 | 1 141766 22 | 0.112 % | 730.80/730.89 c | 2129610 | 2670 15582 54872 | 1 147232 23 | 0.112 % | 730.80/730.89 c | 2177604 | 2670 15582 54872 | 1 195226 28 | 0.112 % | 730.80/730.89 c | 2178999 | 2670 15582 54872 | 1 196621 28 | 0.112 % | 730.80/730.89 c | 2179262 | 2670 15582 54872 | 1 196884 28 | 0.112 % | 730.80/730.89 c | 2223579 | 2670 15582 54872 | 1 138400 19 | 0.112 % | 730.80/730.89 c | 2227873 | 2670 15582 54872 | 1 142694 20 | 0.112 % | 730.80/730.89 c | 2255357 | 2670 15582 54872 | 1 170178 24 | 0.112 % | 730.80/730.89 c | 2255457 | 2670 15582 54872 | 1 170278 24 | 0.112 % | 730.80/730.89 c | 2418527 | 2670 15582 54872 | 1 119949 18 | 0.112 % | 730.80/730.89 c | 2431108 | 2670 15582 54872 | 1 132530 21 | 0.112 % | 730.80/730.89 c | 2431335 | 2670 15582 54872 | 1 132757 21 | 0.112 % | 730.80/730.89 c | 2431437 | 2670 15582 54872 | 1 132859 21 | 0.112 % | 730.80/730.89 c | 2464594 | 2670 15582 54872 | 1 166016 26 | 0.112 % | 730.80/730.89 c | 2468856 | 2670 15582 54872 | 1 170278 27 | 0.112 % | 730.80/730.89 c | 2469202 | 2670 15582 54872 | 1 170624 27 | 0.112 % | 730.80/730.89 c | 2496896 | 2670 15582 54872 | 1 198318 27 | 0.112 % | 730.80/730.89 c | 2547669 | 2670 15582 54872 | 1 138494 19 | 0.112 % | 730.80/730.89 c | 2553077 | 2670 15582 54872 | 1 143902 20 | 0.112 % | 730.80/730.89 c | 2555630 | 2670 15582 54872 | 1 146455 21 | 0.112 % | 730.80/730.89 c | 2559990 | 2670 15582 54872 | 1 150815 22 | 0.112 % | 730.80/730.89 c | 2586681 | 2670 15582 54872 | 1 177506 24 | 0.112 % | 730.80/730.89 c | 2587031 | 2670 15582 54872 | 1 177856 24 | 0.112 % | 730.80/730.89 c | 2605226 | 2670 15582 54872 | 1 196051 26 | 0.112 % | 730.80/730.89 c | 2605327 | 2670 15582 54872 | 1 196152 26 | 0.112 % | 730.80/730.89 c | 2618648 | 2670 15582 54872 | 1 209473 28 | 0.112 % | 730.80/730.89 c | 2620258 | 2670 15582 54872 | 1 211083 28 | 0.112 % | 730.80/730.89 c | 2620749 | 2670 15582 54872 | 1 211574 28 | 0.112 % | 730.80/730.89 c | 2626392 | 2670 15582 54872 | 1 217217 28 | 0.112 % | 730.80/730.89 c | 2626663 | 2670 15582 54872 | 1 217488 28 | 0.112 % | 730.80/730.89 c | 2762154 | 2670 15582 54872 | 1 123972 15 | 0.112 % | 730.80/730.89 c | 2765267 | 2670 15582 54872 | 1 127085 16 | 0.112 % | 730.80/730.89 c | 2772630 | 2670 15582 54872 | 1 134448 17 | 0.112 % | 730.80/730.89 c | 2772731 | 2670 15582 54872 | 1 134549 17 | 0.112 % | 730.80/730.89 c | 2772831 | 2670 15582 54872 | 1 134649 17 | 0.112 % | 730.80/730.89 c | 2774165 | 2670 15582 54872 | 1 135983 18 | 0.112 % | 730.80/730.89 c | 2796549 | 2670 15582 54872 | 1 158367 21 | 0.112 % | 730.80/730.89 c | 2796695 | 2670 15582 54872 | 1 158513 21 | 0.112 % | 730.80/730.89 c | 2796799 | 2670 15582 54872 | 1 158617 21 | 0.112 % | 730.80/730.89 c | 2799793 | 2670 15582 54872 | 1 161611 21 | 0.112 % | 730.80/730.89 c | 2799973 | 2670 15582 54872 | 1 161791 21 | 0.112 % | 730.80/730.89 c | 2806064 | 2670 15582 54872 | 1 167882 23 | 0.112 % | 730.80/730.89 c | 2806525 | 2670 15582 54872 | 1 168343 23 | 0.112 % | 730.80/730.89 c | 2823146 | 2670 15582 54872 | 1 184964 25 | 0.112 % | 730.80/730.89 c | 2823345 | 2670 15582 54872 | 1 185163 25 | 0.112 % | 730.80/730.89 c | 2825020 | 2670 15582 54872 | 1 186838 25 | 0.112 % | 730.80/730.89 c | 2867445 | 2670 15582 54872 | 1 229263 27 | 0.112 % | 730.80/730.89 c | 2883172 | 2670 15582 54872 | 1 126591 16 | 0.112 % | 960.21/960.23 c | 2892872 | 2670 15582 54872 | 1 136291 18 | 0.112 % | 960.21/960.23 c | 2897071 | 2670 15582 54872 | 1 140490 19 | 0.112 % | 960.21/960.23 c | 2897432 | 2670 15582 54872 | 1 140851 19 | 0.112 % | 960.21/960.23 c | 2906918 | 2670 15582 54872 | 1 150337 21 | 0.112 % | 960.21/960.23 c | 2946371 | 2670 15582 54872 | 1 189790 27 | 0.112 % | 960.21/960.23 c | 2953805 | 2670 15582 54872 | 1 197224 28 | 0.112 % | 960.21/960.23 c | 3041048 | 2670 15582 54872 | 1 163471 16 | 0.112 % | 960.21/960.23 c | 3170501 | 2670 15582 54872 | 1 169321 20 | 0.112 % | 960.21/960.23 c | 3176051 | 2670 15582 54872 | 1 174871 21 | 0.112 % | 960.21/960.23 c | 3187365 | 2670 15582 54872 | 1 186185 22 | 0.112 % | 960.21/960.23 c | 3202483 | 2670 15582 54872 | 1 201303 24 | 0.112 % | 960.21/960.23 c | 3202583 | 2670 15582 54872 | 1 201403 24 | 0.112 % | 960.21/960.23 c | 3202758 | 2670 15582 54872 | 1 201578 24 | 0.112 % | 960.21/960.23 c | 3202863 | 2670 15582 54872 | 1 201683 24 | 0.112 % | 960.21/960.23 c | 3202963 | 2670 15582 54872 | 1 201783 24 | 0.112 % | 960.21/960.23 c | 3203542 | 2670 15582 54872 | 1 202362 24 | 0.112 % | 960.21/960.23 c | 3220918 | 2670 15582 54872 | 1 219738 26 | 0.112 % | 960.21/960.23 c | 3221071 | 2670 15582 54872 | 1 219891 26 | 0.112 % | 960.21/960.23 c | 3221443 | 2670 15582 54872 | 1 220263 26 | 0.112 % | 960.21/960.23 c | 3236722 | 2670 15582 54872 | 1 235542 27 | 0.112 % | 960.21/960.23 c | 3241427 | 2670 15582 54872 | 1 240247 27 | 0.112 % | 960.21/960.23 c | 3244744 | 2670 15582 54872 | 1 243564 27 | 0.112 % | 960.21/960.23 c | 3265667 | 2670 15582 54872 | 1 138292 15 | 0.112 % | 960.21/960.23 c | 3297977 | 2670 15582 54872 | 1 170602 18 | 0.112 % | 960.21/960.23 c | 3298079 | 2670 15582 54872 | 1 170704 18 | 0.112 % | 960.21/960.23 c | 3372117 | 2670 15582 54872 | 1 244742 23 | 0.112 % | 960.21/960.23 c | 3372217 | 2670 15582 54872 | 1 244842 23 | 0.112 % | 960.21/960.23 c | 3372317 | 2670 15582 54872 | 1 244942 23 | 0.112 % | 960.21/960.23 c | 3373996 | 2670 15582 54872 | 1 246621 23 | 0.112 % | 960.21/960.23 c | 3441572 | 2670 15582 54872 | 1 185398 22 | 0.112 % | 960.21/960.23 c | 3441672 | 2670 15582 54872 | 1 185498 22 | 0.112 % | 960.21/960.23 c | 3475343 | 2670 15582 54872 | 1 219169 25 | 0.112 % | 960.21/960.23 c | 3475443 | 2670 15582 54872 | 1 219269 25 | 0.112 % | 960.21/960.23 c | 3488815 | 2670 15582 54872 | 1 232641 26 | 0.112 % | 960.21/960.23 c | 3538876 | 2670 15582 54872 | 1 151309 17 | 0.112 % | 960.21/960.23 c | 3549638 | 2670 15582 54872 | 1 162071 19 | 0.112 % | 960.21/960.23 c | 3551938 | 2670 15582 54872 | 1 164371 20 | 0.112 % | 960.21/960.23 c | 3552039 | 2670 15582 54872 | 1 164472 20 | 0.112 % | 960.21/960.23 c | 3554099 | 2670 15582 54872 | 1 166532 20 | 0.112 % | 960.21/960.23 c | 3554442 | 2670 15582 54872 | 1 166875 20 | 0.112 % | 960.21/960.23 c | 3555877 | 2670 15582 54872 | 1 168310 20 | 0.112 % | 960.21/960.23 c | 3561465 | 2670 15582 54872 | 1 173898 21 | 0.112 % | 960.21/960.23 c | 3562140 | 2670 15582 54872 | 1 174573 21 | 0.112 % | 960.21/960.23 c | 3562243 | 2670 15582 54872 | 1 174676 21 | 0.112 % | 960.21/960.23 c | 3563377 | 2670 15582 54872 | 1 175810 21 | 0.112 % | 960.21/960.23 c | 3563602 | 2670 15582 54872 | 1 176035 21 | 0.112 % | 960.21/960.23 c | 3563703 | 2670 15582 54872 | 1 176136 21 | 0.112 % | 960.21/960.23 c | 3572493 | 2670 15582 54872 | 1 184926 23 | 0.112 % | 960.21/960.23 c | 3592426 | 2670 15582 54872 | 1 204859 26 | 0.112 % | 1230.21/1230.26 c | 3593693 | 2670 15582 54872 | 1 206126 26 | 0.112 % | 1230.21/1230.26 c | 3594450 | 2670 15582 54872 | 1 206883 26 | 0.112 % | 1230.21/1230.26 c | 3594550 | 2670 15582 54872 | 1 206983 26 | 0.112 % | 1230.21/1230.26 c | 3642805 | 2670 15582 54872 | 1 255238 29 | 0.112 % | 1230.21/1230.26 c | 3645212 | 2670 15582 54872 | 1 257645 29 | 0.112 % | 1230.21/1230.26 c | 3646756 | 2670 15582 54872 | 1 259189 29 | 0.112 % | 1230.21/1230.26 c | 3664608 | 2670 15582 54872 | 1 143036 16 | 0.112 % | 1230.21/1230.26 c | 3680167 | 2670 15582 54872 | 1 158595 19 | 0.112 % | 1230.21/1230.26 c | 3716503 | 2670 15582 54872 | 1 194931 22 | 0.112 % | 1230.21/1230.26 c | 3716603 | 2670 15582 54872 | 1 195031 23 | 0.112 % | 1230.21/1230.26 c | 3736700 | 2670 15582 54872 | 1 215128 24 | 0.112 % | 1230.21/1230.26 c | 3736863 | 2670 15582 54872 | 1 215291 24 | 0.112 % | 1230.21/1230.26 c | 3783145 | 2670 15582 54872 | 1 261573 26 | 0.112 % | 1230.21/1230.26 c | 3784123 | 2670 15582 54872 | 1 262551 26 | 0.112 % | 1230.21/1230.26 c | 3795972 | 2670 15582 54872 | 1 137794 14 | 0.112 % | 1230.21/1230.26 c | 3851505 | 2670 15582 54872 | 1 193327 24 | 0.112 % | 1230.21/1230.26 c | 3851606 | 2670 15582 54872 | 1 193428 24 | 0.112 % | 1230.21/1230.26 c | 3856201 | 2670 15582 54872 | 1 198023 25 | 0.112 % | 1230.21/1230.26 c | 3887212 | 2670 15582 54872 | 1 229034 27 | 0.112 % | 1230.21/1230.26 c | 3898970 | 2670 15582 54872 | 1 240792 27 | 0.112 % | 1230.21/1230.26 c | 3900119 | 2670 15582 54872 | 1 241941 27 | 0.112 % | 1230.21/1230.26 c | 3901114 | 2670 15582 54872 | 1 242936 28 | 0.112 % | 1230.21/1230.26 c | 3906653 | 2670 15582 54872 | 1 248475 28 | 0.112 % | 1230.21/1230.26 c | 3914379 | 2670 15582 54872 | 1 256201 29 | 0.112 % | 1230.21/1230.26 c | 3914480 | 2670 15582 54872 | 1 256302 29 | 0.112 % | 1230.21/1230.26 c | 3914951 | 2670 15582 54872 | 1 256773 29 | 0.112 % | 1230.21/1230.26 c | 3998373 | 2670 15582 54872 | 1 200991 23 | 0.112 % | 1230.21/1230.26 c | 3998473 | 2670 15582 54872 | 1 201091 23 | 0.112 % | 1230.21/1230.26 c | 3998574 | 2670 15582 54872 | 1 201192 23 | 0.112 % | 1230.21/1230.26 c | 3998676 | 2670 15582 54872 | 1 201294 23 | 0.112 % | 1230.21/1230.26 c | 4000984 | 2670 15582 54872 | 1 203602 23 | 0.112 % | 1230.21/1230.26 c | 4012330 | 2670 15582 54872 | 1 214948 24 | 0.112 % | 1230.21/1230.26 c | 4012436 | 2670 15582 54872 | 1 215054 24 | 0.112 % | 1230.21/1230.26 c | 4039927 | 2670 15582 54872 | 1 242545 24 | 0.112 % | 1230.21/1230.26 c | 4041877 | 2670 15582 54872 | 1 244495 24 | 0.112 % | 1230.21/1230.26 c | 4099553 | 2670 15582 54872 | 1 160374 17 | 0.112 % | 1230.21/1230.26 c | 4112740 | 2670 15582 54872 | 1 173561 19 | 0.112 % | 1230.21/1230.26 c | 4112841 | 2670 15582 54872 | 1 173662 19 | 0.112 % | 1230.21/1230.26 c | 4112942 | 2670 15582 54872 | 1 173763 19 | 0.112 % | 1230.21/1230.26 c | 4276617 | 2670 15582 54872 | 1 193033 20 | 0.112 % | 1230.21/1230.26 c | 4279685 | 2670 15582 54872 | 1 196101 20 | 0.112 % | 1230.21/1230.26 c | 4280775 | 2670 15582 54872 | 1 197191 20 | 0.112 % | 1230.21/1230.26 c | 4280876 | 2670 15582 54872 | 1 197292 20 | 0.112 % | 1230.21/1230.26 c | 4280976 | 2670 15582 54872 | 1 197392 20 | 0.112 % | 1230.21/1230.26 c | 4281078 | 2670 15582 54872 | 1 197494 20 | 0.112 % | 1230.21/1230.26 c | 4292431 | 2670 15582 54872 | 1 208847 22 | 0.112 % | 1230.21/1230.26 c | 4292532 | 2670 15582 54872 | 1 208948 22 | 0.112 % | 1230.21/1230.26 c | 4292805 | 2670 15582 54872 | 1 209221 22 | 0.112 % | 1230.21/1230.26 c | 4299980 | 2670 15582 54872 | 1 216396 23 | 0.112 % | 1230.21/1230.26 c | 4314530 | 2670 15582 54872 | 1 230946 25 | 0.112 % | 1579.32/1579.34 c | 4314630 | 2670 15582 54872 | 1 231046 25 | 0.112 % | 1579.32/1579.34 c | 4314731 | 2670 15582 54872 | 1 231147 25 | 0.112 % | 1579.32/1579.34 c | 4314980 | 2670 15582 54872 | 1 231396 25 | 0.112 % | 1579.32/1579.34 c | 4315080 | 2670 15582 54872 | 1 231496 25 | 0.112 % | 1579.32/1579.34 c | 4315496 | 2670 15582 54872 | 1 231912 25 | 0.112 % | 1579.32/1579.34 c | 4335519 | 2670 15582 54872 | 1 251935 27 | 0.112 % | 1579.32/1579.34 c | 4337489 | 2670 15582 54872 | 1 253905 27 | 0.112 % | 1579.32/1579.34 c | 4338807 | 2670 15582 54872 | 1 255223 27 | 0.112 % | 1579.32/1579.34 c | 4339239 | 2670 15582 54872 | 1 255655 27 | 0.112 % | 1579.32/1579.34 c | 4343616 | 2670 15582 54872 | 1 260032 27 | 0.112 % | 1579.32/1579.34 c | 4348921 | 2670 15582 54872 | 1 265337 28 | 0.112 % | 1579.32/1579.34 c | 4354842 | 2670 15582 54872 | 1 271258 28 | 0.112 % | 1579.32/1579.34 c | 4357677 | 2670 15582 54872 | 1 274093 28 | 0.112 % | 1579.32/1579.34 c | 4357870 | 2670 15582 54872 | 1 274286 28 | 0.112 % | 1579.32/1579.34 c | 4367045 | 2670 15582 54872 | 1 283461 28 | 0.112 % | 1579.32/1579.34 c | 4616614 | 2670 15582 54872 | 1 236436 20 | 0.112 % | 1579.32/1579.34 c | 4616925 | 2670 15582 54872 | 1 236747 20 | 0.112 % | 1579.32/1579.34 c | 4617132 | 2670 15582 54872 | 1 236954 20 | 0.112 % | 1579.32/1579.34 c | 4640975 | 2670 15582 54872 | 1 260797 23 | 0.112 % | 1579.32/1579.34 c | 4645643 | 2670 15582 54872 | 1 265465 23 | 0.112 % | 1579.32/1579.34 c | 4725591 | 2670 15582 54872 | 1 193219 20 | 0.112 % | 1579.32/1579.34 c | 4727026 | 2670 15582 54872 | 1 194654 20 | 0.112 % | 1579.32/1579.34 c | 4728737 | 2670 15582 54872 | 1 196365 20 | 0.112 % | 1579.32/1579.34 c | 4728965 | 2670 15582 54872 | 1 196593 20 | 0.112 % | 1579.32/1579.34 c | 4729066 | 2670 15582 54872 | 1 196694 20 | 0.112 % | 1579.32/1579.34 c | 4783106 | 2670 15582 54872 | 1 250734 27 | 0.112 % | 1579.32/1579.34 c | 4783208 | 2670 15582 54872 | 1 250836 27 | 0.112 % | 1579.32/1579.34 c | 4783308 | 2670 15582 54872 | 1 250936 27 | 0.112 % | 1579.32/1579.34 c | 4793571 | 2670 15582 54872 | 1 261199 28 | 0.112 % | 1579.32/1579.34 c | 4795606 | 2670 15582 54872 | 1 263234 28 | 0.112 % | 1579.32/1579.34 c | 4857181 | 2670 15582 54872 | 1 170005 17 | 0.112 % | 1579.32/1579.34 c | 4900728 | 2670 15582 54872 | 1 213552 22 | 0.112 % | 1579.32/1579.34 c | 4900841 | 2670 15582 54872 | 1 213665 22 | 0.112 % | 1579.32/1579.34 c | 4903388 | 2670 15582 54872 | 1 216212 22 | 0.112 % | 1579.32/1579.34 c | 4903488 | 2670 15582 54872 | 1 216312 22 | 0.112 % | 1579.32/1579.34 c | 4903589 | 2670 15582 54872 | 1 216413 22 | 0.112 % | 1579.32/1579.34 c | 4936081 | 2670 15582 54872 | 1 248905 25 | 0.112 % | 1579.32/1579.34 c | 4937995 | 2670 15582 54872 | 1 250819 26 | 0.112 % | 1579.32/1579.34 c | 4938095 | 2670 15582 54872 | 1 250919 26 | 0.112 % | 1579.32/1579.34 c | 4939529 | 2670 15582 54872 | 1 252353 26 | 0.112 % | 1579.32/1579.34 c | 4940525 | 2670 15582 54872 | 1 253349 26 | 0.112 % | 1579.32/1579.34 c | 4959905 | 2670 15582 54872 | 1 272729 28 | 0.112 % | 1579.32/1579.34 c | 4977556 | 2670 15582 54872 | 1 290380 28 | 0.112 % | 1579.32/1579.34 c | 4977658 | 2670 15582 54872 | 1 290482 28 | 0.112 % | 1579.32/1579.34 c | 4996724 | 2670 15582 54872 | 1 309548 29 | 0.112 % | 1579.32/1579.34 c | 5033287 | 2670 15582 54872 | 1 188703 19 | 0.112 % | 1579.32/1579.34 c | 5090262 | 2670 15582 54872 | 1 245678 24 | 0.112 % | 1579.32/1579.34 c | 5091684 | 2670 15582 54872 | 1 247100 24 | 0.112 % | 1579.32/1579.34 c | 5148270 | 2670 15582 54872 | 1 303686 29 | 0.112 % | 1579.32/1579.34 c | 5148372 | 2670 15582 54872 | 1 303788 29 | 0.112 % | 1997.24/1997.25 c | 5198950 | 2670 15582 54872 | 1 194368 17 | 0.112 % | 1997.24/1997.25 c | 5199050 | 2670 15582 54872 | 1 194468 17 | 0.112 % | 1997.24/1997.25 c | 5210762 | 2670 15582 54872 | 1 206180 19 | 0.112 % | 1997.24/1997.25 c | 5210863 | 2670 15582 54872 | 1 206281 19 | 0.112 % | 1997.24/1997.25 c | 5214601 | 2670 15582 54872 | 1 210019 19 | 0.112 % | 1997.24/1997.25 c | 5222201 | 2670 15582 54872 | 1 217619 20 | 0.112 % | 1997.24/1997.25 c | 5222302 | 2670 15582 54872 | 1 217720 20 | 0.112 % | 1997.24/1997.25 c | 5222403 | 2670 15582 54872 | 1 217821 20 | 0.112 % | 1997.24/1997.25 c | 5276257 | 2670 15582 54872 | 1 271675 20 | 0.112 % | 1997.24/1997.25 c | 5289179 | 2670 15582 54872 | 1 284597 22 | 0.112 % | 1997.24/1997.25 c | 5289638 | 2670 15582 54872 | 1 285056 22 | 0.112 % | 1997.24/1997.25 c | 5299865 | 2670 15582 54872 | 1 295283 23 | 0.112 % | 1997.24/1997.25 c | 5317850 | 2670 15582 54872 | 1 313268 24 | 0.112 % | 1997.24/1997.25 c | 5317950 | 2670 15582 54872 | 1 313368 24 | 0.112 % | 1997.24/1997.25 c | 5318379 | 2670 15582 54872 | 1 313797 24 | 0.112 % | 1997.24/1997.25 c | 5318479 | 2670 15582 54872 | 1 313897 24 | 0.112 % | 1997.24/1997.25 c | 5318579 | 2670 15582 54872 | 1 313997 24 | 0.112 % | 1997.24/1997.25 c | 5319873 | 2670 15582 54872 | 1 315291 25 | 0.112 % | 1997.24/1997.25 c | 5330445 | 2670 15582 54872 | 1 163262 14 | 0.112 % | 1997.24/1997.25 c | 5330546 | 2670 15582 54872 | 1 163363 14 | 0.112 % | 1997.24/1997.25 c | 5340724 | 2670 15582 54872 | 1 173541 14 | 0.112 % | 1997.24/1997.25 c | 5352855 | 2670 15582 54872 | 1 185672 17 | 0.112 % | 1997.24/1997.25 c | 5360872 | 2670 15582 54872 | 1 193689 18 | 0.112 % | 1997.24/1997.25 c | 5360972 | 2670 15582 54872 | 1 193789 18 | 0.112 % | 1997.24/1997.25 c | 5361073 | 2670 15582 54872 | 1 193890 18 | 0.112 % | 1997.24/1997.25 c | 5369101 | 2670 15582 54872 | 1 201918 19 | 0.112 % | 1997.24/1997.25 c | 5376550 | 2670 15582 54872 | 1 209367 20 | 0.112 % | 1997.24/1997.25 c | 5488014 | 2669 15580 54866 | 1 274117 22 | 0.150 % | 1997.24/1997.25 c | 5597781 | 2669 15580 54866 | 1 242042 21 | 0.150 % | 1997.24/1997.25 c | 5600306 | 2669 15580 54866 | 1 244567 21 | 0.150 % | 1997.24/1997.25 c | 5624033 | 2669 15580 54866 | 1 268294 22 | 0.150 % | 1997.24/1997.25 c | 5624227 | 2669 15580 54866 | 1 268488 22 | 0.150 % | 1997.24/1997.25 c | 5624606 | 2669 15580 54866 | 1 268867 22 | 0.150 % | 1997.24/1997.25 c | 5624710 | 2669 15580 54866 | 1 268971 22 | 0.150 % | 1997.24/1997.25 c | 5627092 | 2669 15580 54866 | 1 271353 23 | 0.150 % | 1997.24/1997.25 c | 5627193 | 2669 15580 54866 | 1 271454 23 | 0.150 % | 1997.24/1997.25 c | 5627491 | 2669 15580 54866 | 1 271752 23 | 0.150 % | 1997.24/1997.25 c | 5862837 | 2669 15580 54866 | 1 186409 15 | 0.150 % | 1997.24/1997.25 c | 5877868 | 2669 15580 54866 | 1 201440 16 | 0.150 % | 1997.24/1997.25 c | 5878041 | 2669 15580 54866 | 1 201613 16 | 0.150 % | 1997.24/1997.25 c | 5930636 | 2669 15580 54866 | 1 254208 19 | 0.150 % | 1997.24/1997.25 c | 5938407 | 2669 15580 54866 | 1 261979 20 | 0.150 % | 1997.24/1997.25 c | 5938508 | 2669 15580 54866 | 1 262080 20 | 0.150 % | 1997.24/1997.25 c | 5981726 | 2669 15580 54866 | 1 305298 23 | 0.150 % | 1997.24/1997.25 c | 5987226 | 2669 15580 54866 | 1 310798 23 | 0.150 % | 1997.24/1997.25 c | 5987328 | 2669 15580 54866 | 1 310900 23 | 0.150 % | 1997.24/1997.25 c | 5987555 | 2669 15580 54866 | 1 311127 23 | 0.150 % | 1997.24/1997.25 c | 6109772 | 2669 15580 54866 | 1 263263 22 | 0.150 % | 1997.24/1997.25 c | 6110267 | 2669 15580 54866 | 1 263758 22 | 0.150 % | 1997.24/1997.25 c | 6110445 | 2669 15580 54866 | 1 263936 22 | 0.150 % | 2380.25/2380.28 c | 6110550 | 2669 15580 54866 | 1 264041 22 | 0.150 % | 2380.25/2380.28 c | 6125399 | 2669 15580 54866 | 1 278890 23 | 0.150 % | 2380.25/2380.28 c | 6125500 | 2669 15580 54866 | 1 278991 23 | 0.150 % | 2380.25/2380.28 c | 6148007 | 2669 15580 54866 | 1 301498 25 | 0.150 % | 2380.25/2380.28 c | 6148108 | 2669 15580 54866 | 1 301599 25 | 0.150 % | 2380.25/2380.28 c | 6313063 | 2669 15580 54866 | 1 292411 18 | 0.150 % | 2380.25/2380.28 c | 6323709 | 2669 15580 54866 | 1 303057 19 | 0.150 % | 2380.25/2380.28 c | 6348245 | 2669 15580 54866 | 1 327593 21 | 0.150 % | 2380.25/2380.28 c | 6352467 | 2669 15580 54866 | 1 331815 22 | 0.150 % | 2380.25/2380.28 c | 6352570 | 2669 15580 54866 | 1 331918 22 | 0.150 % | 2380.25/2380.28 c | 6352670 | 2669 15580 54866 | 1 332018 22 | 0.150 % | 2380.25/2380.28 c | 6362790 | 2669 15580 54866 | 1 342138 22 | 0.150 % | 2380.25/2380.28 c | 6368478 | 2669 15580 54866 | 1 347826 23 | 0.150 % | 2380.25/2380.28 c | 6368579 | 2669 15580 54866 | 1 347927 23 | 0.150 % | 2380.25/2380.28 c | 6368680 | 2669 15580 54866 | 1 348028 23 | 0.150 % | 2380.25/2380.28 c | 6378666 | 2669 15580 54866 | 1 180544 13 | 0.150 % | 2380.25/2380.28 c | 6379615 | 2669 15580 54866 | 1 181493 14 | 0.150 % | 2380.25/2380.28 c | 6380549 | 2669 15580 54866 | 1 182427 14 | 0.150 % | 2380.25/2380.28 c | 6397655 | 2669 15580 54866 | 1 199533 15 | 0.150 % | 2380.25/2380.28 c | 6403499 | 2669 15580 54866 | 1 205377 16 | 0.150 % | 2380.25/2380.28 c | 6500569 | 2669 15580 54866 | 1 302447 26 | 0.150 % | 2380.25/2380.28 c | 6500669 | 2669 15580 54866 | 1 302547 26 | 0.150 % | 2380.25/2380.28 c | 6503797 | 2669 15580 54866 | 1 305675 26 | 0.150 % | 2380.25/2380.28 c | 6503929 | 2669 15580 54866 | 1 305807 26 | 0.150 % | 2380.25/2380.28 c | 6504085 | 2669 15580 54866 | 1 305963 26 | 0.150 % | 2380.25/2380.28 c | 6504186 | 2669 15580 54866 | 1 306064 26 | 0.150 % | 2380.25/2380.28 c | 6506675 | 2669 15580 54866 | 1 308553 26 | 0.150 % | 2380.25/2380.28 c | 6507330 | 2669 15580 54866 | 1 309208 26 | 0.150 % | 2380.25/2380.28 c | 6507437 | 2669 15580 54866 | 1 309315 26 | 0.150 % | 2380.25/2380.28 c | 6508587 | 2669 15580 54866 | 1 310465 26 | 0.150 % | 2380.25/2380.28 c | 6586278 | 2669 15580 54866 | 1 207729 17 | 0.150 % | 2380.25/2380.28 c | 6589589 | 2669 15580 54866 | 1 211040 18 | 0.150 % | 2380.25/2380.28 c | 6590276 | 2669 15580 54866 | 1 211727 18 | 0.150 % | 2380.25/2380.28 c | 6590798 | 2669 15580 54866 | 1 212249 18 | 0.150 % | 2380.25/2380.28 c | 6712633 | 2669 15580 54866 | 1 334084 23 | 0.150 % | 2380.25/2380.28 c | 6713148 | 2669 15580 54866 | 1 334599 23 | 0.150 % | 2380.25/2380.28 c | 6770419 | 2669 15580 54866 | 1 208655 17 | 0.150 % | 2380.25/2380.28 c | 6779451 | 2669 15580 54866 | 1 217687 18 | 0.150 % | 2380.25/2380.28 c | 6780718 | 2669 15580 54866 | 1 218954 19 | 0.150 % | 2380.25/2380.28 c | 6780887 | 2669 15580 54866 | 1 219123 19 | 0.150 % | 2380.25/2380.28 c | 6780987 | 2669 15580 54866 | 1 219223 19 | 0.150 % | 2380.25/2380.28 c | 6784568 | 2669 15580 54866 | 1 222804 19 | 0.150 % | 2380.25/2380.28 c | 6789697 | 2669 15580 54866 | 1 227933 20 | 0.150 % | 2380.25/2380.28 c | 6804681 | 2669 15580 54866 | 1 242917 22 | 0.150 % | 2380.25/2380.28 c | 6846256 | 2669 15580 54866 | 1 284492 24 | 0.150 % | 2380.25/2380.28 c | 6850281 | 2669 15580 54866 | 1 288517 24 | 0.150 % | 2380.25/2380.28 c | 6865501 | 2669 15580 54866 | 1 303737 25 | 0.150 % | 2380.25/2380.28 c | 6865603 | 2669 15580 54866 | 1 303839 25 | 0.150 % | 2380.25/2380.28 c | 6865703 | 2669 15580 54866 | 1 303939 25 | 0.150 % | 2380.25/2380.28 c | 6865804 | 2669 15580 54866 | 1 304040 25 | 0.150 % | 2633.65/2633.64 c | 6926079 | 2669 15580 54866 | 1 364315 28 | 0.150 % | 2633.65/2633.64 c | 6942723 | 2669 15580 54866 | 1 195048 15 | 0.150 % | 2633.65/2633.64 c | 6942823 | 2669 15580 54866 | 1 195148 15 | 0.150 % | 2633.65/2633.64 c | 6942923 | 2669 15580 54866 | 1 195248 15 | 0.150 % | 2633.65/2633.64 c | 6963667 | 2669 15580 54866 | 1 215992 17 | 0.150 % | 2633.65/2633.64 c | 6963769 | 2669 15580 54866 | 1 216094 17 | 0.150 % | 2633.65/2633.64 c | 6991240 | 2669 15580 54866 | 1 243565 20 | 0.150 % | 2633.65/2633.64 c | 6994715 | 2669 15580 54866 | 1 247040 21 | 0.150 % | 2633.65/2633.64 c | 7001464 | 2669 15580 54866 | 1 253789 21 | 0.150 % | 2633.65/2633.64 c | 7001564 | 2669 15580 54866 | 1 253889 21 | 0.150 % | 2633.65/2633.64 c | 7004123 | 2669 15580 54866 | 1 256448 21 | 0.150 % | 2633.65/2633.64 c | 7015907 | 2669 15580 54866 | 1 268232 22 | 0.150 % | 2633.65/2633.64 c | 7020352 | 2669 15580 54866 | 1 272677 22 | 0.150 % | 2633.65/2633.64 c | 7020452 | 2669 15580 54866 | 1 272777 22 | 0.150 % | 2633.65/2633.64 c | 7023459 | 2669 15580 54866 | 1 275784 23 | 0.150 % | 2633.65/2633.64 c | 7029723 | 2669 15580 54866 | 1 282048 23 | 0.150 % | 2633.65/2633.64 c | 7047348 | 2669 15580 54866 | 1 299673 24 | 0.150 % | 2633.65/2633.64 c | 7053954 | 2669 15580 54866 | 1 306279 25 | 0.150 % | 2633.65/2633.64 c | 7054054 | 2669 15580 54866 | 1 306379 25 | 0.150 % | 2633.65/2633.64 c | 7072980 | 2669 15580 54866 | 1 325305 26 | 0.150 % | 2633.65/2633.64 c | 7073080 | 2669 15580 54866 | 1 325405 26 | 0.150 % | 2633.65/2633.64 c | 7073180 | 2669 15580 54866 | 1 325505 26 | 0.150 % | 2633.65/2633.64 c | 7110600 | 2669 15580 54866 | 1 362925 27 | 0.150 % | 2633.65/2633.64 c | 7113042 | 2669 15580 54866 | 1 365367 27 | 0.150 % | 2633.65/2633.64 c | 7115400 | 2669 15580 54866 | 1 367725 27 | 0.150 % | 2633.65/2633.64 c | 7149586 | 2669 15580 54866 | 1 213360 19 | 0.150 % | 2633.65/2633.64 c | 7149686 | 2669 15580 54866 | 1 213460 19 | 0.150 % | 2633.65/2633.64 c | 7149788 | 2669 15580 54866 | 1 213562 19 | 0.150 % | 2633.65/2633.64 c | 7153143 | 2669 15580 54866 | 1 216917 19 | 0.150 % | 2633.65/2633.64 c | 7153243 | 2669 15580 54866 | 1 217017 19 | 0.150 % | 2633.65/2633.64 c | 7156349 | 2669 15580 54866 | 1 220123 19 | 0.150 % | 2633.65/2633.64 c | 7167717 | 2669 15580 54866 | 1 231491 21 | 0.150 % | 2633.65/2633.64 c | 7181108 | 2669 15580 54866 | 1 244882 22 | 0.150 % | 2633.65/2633.64 c | 7184832 | 2669 15580 54866 | 1 248606 23 | 0.150 % | 2633.65/2633.64 c | 7192771 | 2669 15580 54866 | 1 256545 23 | 0.150 % | 2633.65/2633.64 c | 7193062 | 2669 15580 54866 | 1 256836 23 | 0.150 % | 2633.65/2633.64 c | 7193165 | 2669 15580 54866 | 1 256939 23 | 0.150 % | 2633.65/2633.64 c | 7245069 | 2669 15580 54866 | 1 308843 27 | 0.150 % | 2633.65/2633.64 c | 7275018 | 2669 15580 54866 | 1 338792 28 | 0.150 % | 2633.65/2633.64 c | 7275119 | 2669 15580 54866 | 1 338893 28 | 0.150 % | 2633.65/2633.64 c | 7295109 | 2669 15580 54866 | 1 358883 29 | 0.150 % | 2633.65/2633.64 c | 7299648 | 2669 15580 54866 | 1 363422 29 | 0.150 % | 2633.65/2633.64 c | 7303178 | 2669 15580 54866 | 1 366952 29 | 0.150 % | 2633.65/2633.64 c | 7332660 | 2669 15580 54866 | 1 205256 16 | 0.150 % | 2633.65/2633.64 c | 7350205 | 2669 15580 54866 | 1 222801 18 | 0.150 % | 2633.65/2633.64 c | 7350325 | 2669 15580 54866 | 1 222921 18 | 0.150 % | 2633.65/2633.64 c | 7350426 | 2669 15580 54866 | 1 223022 18 | 0.150 % | 2633.65/2633.64 c | 7363860 | 2669 15580 54866 | 1 236456 19 | 0.150 % | 2633.65/2633.64 c | 7363962 | 2669 15580 54866 | 1 236558 19 | 0.150 % | 2633.65/2633.64 c | 7394142 | 2669 15580 54866 | 1 266738 22 | 0.150 % | 3369.97/3369.91 c | 7443013 | 2669 15580 54866 | 1 315609 25 | 0.150 % | 3369.97/3369.91 c | 7443258 | 2669 15580 54866 | 1 315854 25 | 0.150 % | 3369.97/3369.91 c | 7455212 | 2669 15580 54866 | 1 327808 25 | 0.150 % | 3369.97/3369.91 c | 7519657 | 2669 15580 54866 | 1 198464 14 | 0.150 % | 3369.97/3369.91 c | 7528019 | 2669 15580 54866 | 1 206826 16 | 0.150 % | 3369.97/3369.91 c | 8118366 | 2669 15580 54866 | 1 401792 26 | 0.150 % | 3369.97/3369.91 c | 8317863 | 2669 15580 54866 | 1 399680 26 | 0.150 % | 3369.97/3369.91 c | 8317966 | 2669 15580 54866 | 1 399783 26 | 0.150 % | 3369.97/3369.91 c | 8342462 | 2669 15580 54866 | 1 220074 15 | 0.150 % | 3369.97/3369.91 c | 8343907 | 2669 15580 54866 | 1 221519 16 | 0.150 % | 3369.97/3369.91 c | 8344009 | 2669 15580 54866 | 1 221621 16 | 0.150 % | 3369.97/3369.91 c | 8345535 | 2669 15580 54866 | 1 223147 16 | 0.150 % | 3369.97/3369.91 c | 8345635 | 2669 15580 54866 | 1 223247 16 | 0.150 % | 3369.97/3369.91 c | 8356232 | 2669 15580 54866 | 1 233844 17 | 0.150 % | 3369.97/3369.91 c | 8357060 | 2669 15580 54866 | 1 234672 17 | 0.150 % | 3369.97/3369.91 c | 8357161 | 2669 15580 54866 | 1 234773 17 | 0.150 % | 3369.97/3369.91 c | 8365771 | 2669 15580 54866 | 1 243383 18 | 0.150 % | 3369.97/3369.91 c | 8365872 | 2669 15580 54866 | 1 243484 18 | 0.150 % | 3369.97/3369.91 c | 8367007 | 2669 15580 54866 | 1 244619 18 | 0.150 % | 3369.97/3369.91 c | 8367108 | 2669 15580 54866 | 1 244720 18 | 0.150 % | 3369.97/3369.91 c | 8373109 | 2669 15580 54866 | 1 250721 19 | 0.150 % | 3369.97/3369.91 c | 8497985 | 2669 15580 54866 | 1 375597 24 | 0.150 % | 3369.97/3369.91 c | 8498086 | 2669 15580 54866 | 1 375698 24 | 0.150 % | 3369.97/3369.91 c | 8501797 | 2669 15580 54866 | 1 379409 25 | 0.150 % | 3369.97/3369.91 c | 8521750 | 2669 15580 54866 | 1 399362 26 | 0.150 % | 3369.97/3369.91 c | 8527777 | 2669 15580 54866 | 1 405389 26 | 0.150 % | 3369.97/3369.91 c | 8527878 | 2669 15580 54866 | 1 405490 26 | 0.150 % | 3369.97/3369.91 c | 8529832 | 2669 15580 54866 | 1 407444 26 | 0.150 % | 3369.97/3369.91 c | 8538051 | 2669 15580 54866 | 1 208865 14 | 0.150 % | 3369.97/3369.91 c | 8538151 | 2669 15580 54866 | 1 208965 14 | 0.150 % | 3369.97/3369.91 c | 8539555 | 2669 15580 54866 | 1 210369 14 | 0.150 % | 3369.97/3369.91 c | 8540317 | 2669 15580 54866 | 1 211131 14 | 0.150 % | 3369.97/3369.91 c | 8544770 | 2669 15580 54866 | 1 215584 15 | 0.150 % | 3369.97/3369.91 c | 8551687 | 2669 15580 54866 | 1 222501 16 | 0.150 % | 3369.97/3369.91 c | 8570190 | 2669 15580 54866 | 1 241004 18 | 0.150 % | 3369.97/3369.91 c | 8581572 | 2669 15580 54866 | 1 252386 20 | 0.150 % | 3369.97/3369.91 c | 8581673 | 2669 15580 54866 | 1 252487 20 | 0.150 % | 3369.97/3369.91 c | 8598626 | 2669 15580 54866 | 1 269440 21 | 0.150 % | 3369.97/3369.91 c | 8598727 | 2669 15580 54866 | 1 269541 21 | 0.150 % | 3369.97/3369.91 c | 8598828 | 2669 15580 54866 | 1 269642 21 | 0.150 % | 3369.97/3369.91 c | 8598928 | 2669 15580 54866 | 1 269742 21 | 0.150 % | 3369.97/3369.91 c | 8608372 | 2669 15580 54866 | 1 279186 22 | 0.150 % | 3369.97/3369.91 c | 8608479 | 2669 15580 54866 | 1 279293 22 | 0.150 % | 3369.97/3369.91 c | 8614953 | 2669 15580 54866 | 1 285767 22 | 0.150 % | 3369.97/3369.91 c | 8633031 | 2669 15580 54866 | 1 303845 24 | 0.150 % | 3369.97/3369.91 c | 8684342 | 2669 15580 54866 | 1 355156 25 | 0.150 % | 3369.97/3369.91 c | 8684443 | 2669 15580 54866 | 1 355257 25 | 0.150 % | 3369.97/3369.91 c | 8685802 | 2669 15580 54866 | 1 356616 25 | 0.150 % | 3369.97/3369.91 c | 8685946 | 2669 15580 54866 | 1 356760 25 | 0.150 % | 3369.97/3369.91 c | 8689412 | 2669 15580 54866 | 1 360226 25 | 0.150 % | 3846.39/3846.30 c | 8689900 | 2669 15580 54866 | 1 360714 25 | 0.150 % | 3846.39/3846.30 c | 8771613 | 2669 15580 54866 | 1 233033 17 | 0.150 % | 3846.39/3846.30 c | 8771714 | 2669 15580 54866 | 1 233134 17 | 0.150 % | 3846.39/3846.30 c | 8771819 | 2669 15580 54866 | 1 233239 17 | 0.150 % | 3846.39/3846.30 c | 8822651 | 2669 15580 54866 | 1 284071 21 | 0.150 % | 3846.39/3846.30 c | 8916709 | 2669 15580 54866 | 1 378129 23 | 0.150 % | 3846.39/3846.30 c | 8950665 | 2669 15580 54866 | 1 412085 23 | 0.150 % | 3846.39/3846.30 c | 8950769 | 2669 15580 54866 | 1 412189 23 | 0.150 % | 3846.39/3846.30 c | 8951099 | 2669 15580 54866 | 1 412519 23 | 0.150 % | 3846.39/3846.30 c | 8951201 | 2669 15580 54866 | 1 412621 23 | 0.150 % | 3846.39/3846.30 c | 8951302 | 2669 15580 54866 | 1 412722 23 | 0.150 % | 3846.39/3846.30 c | 8987788 | 2669 15580 54866 | 1 237207 15 | 0.150 % | 3846.39/3846.30 c | 8987889 | 2669 15580 54866 | 1 237308 15 | 0.150 % | 3846.39/3846.30 c | 9069632 | 2669 15580 54866 | 1 319051 21 | 0.150 % | 3846.39/3846.30 c | 9069757 | 2669 15580 54866 | 1 319176 21 | 0.150 % | 3846.39/3846.30 c | 9073503 | 2669 15580 54866 | 1 322922 22 | 0.150 % | 3846.39/3846.30 c | 9075750 | 2669 15580 54866 | 1 325169 22 | 0.150 % | 3846.39/3846.30 c | 9076387 | 2669 15580 54866 | 1 325806 22 | 0.150 % | 3846.39/3846.30 c | 9076487 | 2669 15580 54866 | 1 325906 22 | 0.150 % | 3846.39/3846.30 c | 9077134 | 2669 15580 54866 | 1 326553 22 | 0.150 % | 3846.39/3846.30 c | 9082015 | 2669 15580 54866 | 1 331434 22 | 0.150 % | 3846.39/3846.30 c | 9082596 | 2669 15580 54866 | 1 332015 22 | 0.150 % | 3846.39/3846.30 c | 9085122 | 2669 15580 54866 | 1 334541 22 | 0.150 % | 3846.39/3846.30 c | 9085223 | 2669 15580 54866 | 1 334642 22 | 0.150 % | 3846.39/3846.30 c | 9110471 | 2669 15580 54866 | 1 359890 24 | 0.150 % | 3846.39/3846.30 c | 9142442 | 2669 15580 54866 | 1 391861 26 | 0.150 % | 3846.39/3846.30 c | 9207891 | 2669 15580 54866 | 1 242705 15 | 0.150 % | 3846.39/3846.30 c | 9218250 | 2669 15580 54866 | 1 253064 15 | 0.150 % | 3846.39/3846.30 c | 9225921 | 2669 15580 54866 | 1 260735 16 | 0.150 % | 3846.39/3846.30 c | 9354282 | 2669 15580 54866 | 1 389096 23 | 0.150 % | 3846.39/3846.30 c | 9444655 | 2669 15580 54866 | 1 262269 18 | 0.150 % | 3846.39/3846.30 c | 9456681 | 2669 15580 54866 | 1 274295 19 | 0.150 % | 3846.39/3846.30 c | 9456784 | 2669 15580 54866 | 1 274398 19 | 0.150 % | 3846.39/3846.30 c | 9470888 | 2669 15580 54866 | 1 288502 20 | 0.150 % | 3846.39/3846.30 c | 9481182 | 2669 15580 54866 | 1 298796 21 | 0.150 % | 3846.39/3846.30 c | 9489539 | 2669 15580 54866 | 1 307153 21 | 0.150 % | 3846.39/3846.30 c | 9491419 | 2669 15580 54866 | 1 309033 21 | 0.150 % | 3846.39/3846.30 c | 9491606 | 2669 15580 54866 | 1 309220 21 | 0.150 % | 3846.39/3846.30 c | 9496170 | 2669 15580 54866 | 1 313784 22 | 0.150 % | 3846.39/3846.30 c | 9497442 | 2669 15580 54866 | 1 315056 22 | 0.150 % | 3846.39/3846.30 c | 9497548 | 2669 15580 54866 | 1 315162 22 | 0.150 % | 3846.39/3846.30 c | 9497648 | 2669 15580 54866 | 1 315262 22 | 0.150 % | 3846.39/3846.30 c | 9517560 | 2669 15580 54866 | 1 335174 23 | 0.150 % | 3846.39/3846.30 c | 9517660 | 2669 15580 54866 | 1 335274 23 | 0.150 % | 3846.39/3846.30 c | 9523143 | 2669 15580 54866 | 1 340757 23 | 0.150 % | 3846.39/3846.30 c | 9523244 | 2669 15580 54866 | 1 340858 23 | 0.150 % | 3846.39/3846.30 c | 9539032 | 2669 15580 54866 | 1 356646 25 | 0.150 % | 3846.39/3846.30 c | 9539133 | 2669 15580 54866 | 1 356747 25 | 0.150 % | 3846.39/3846.30 c | 9539233 | 2669 15580 54866 | 1 356847 25 | 0.150 % | 3846.39/3846.30 c | 9539964 | 2669 15580 54866 | 1 357578 25 | 0.150 % | 4387.71/4387.62 c | 9543912 | 2669 15580 54866 | 1 361526 25 | 0.150 % | 4387.71/4387.62 c | 9544012 | 2669 15580 54866 | 1 361626 25 | 0.150 % | 4387.71/4387.62 c | 9544324 | 2669 15580 54866 | 1 361938 25 | 0.150 % | 4387.71/4387.62 c | 9544893 | 2669 15580 54866 | 1 362507 25 | 0.150 % | 4387.71/4387.62 c | 9558331 | 2669 15580 54866 | 1 375945 26 | 0.150 % | 4387.71/4387.62 c | 9570363 | 2669 15580 54866 | 1 387977 26 | 0.150 % | 4387.71/4387.62 c | 9572391 | 2669 15580 54866 | 1 390005 26 | 0.150 % | 4387.71/4387.62 c | 9572675 | 2669 15580 54866 | 1 390289 26 | 0.150 % | 4387.71/4387.62 c | 9572777 | 2669 15580 54866 | 1 390391 26 | 0.150 % | 4387.71/4387.62 c | 9573125 | 2669 15580 54866 | 1 390739 26 | 0.150 % | 4387.71/4387.62 c | 9573225 | 2669 15580 54866 | 1 390839 26 | 0.150 % | 4387.71/4387.62 c | 9573326 | 2669 15580 54866 | 1 390940 26 | 0.150 % | 4387.71/4387.62 c | 9614877 | 2669 15580 54866 | 1 432491 28 | 0.150 % | 4387.71/4387.62 c | 9614977 | 2669 15580 54866 | 1 432591 28 | 0.150 % | 4387.71/4387.62 c | 9626779 | 2669 15580 54866 | 1 224606 15 | 0.150 % | 4387.71/4387.62 c | 9634449 | 2669 15580 54866 | 1 232276 16 | 0.150 % | 4387.71/4387.62 c | 9686010 | 2669 15580 54866 | 1 283837 22 | 0.150 % | 4387.71/4387.62 c | 9751451 | 2669 15580 54866 | 1 349278 27 | 0.150 % | 4387.71/4387.62 c | 9787688 | 2669 15580 54866 | 1 385515 28 | 0.150 % | 4387.71/4387.62 c | 9801374 | 2669 15580 54866 | 1 399201 29 | 0.150 % | 4387.71/4387.62 c | 9801476 | 2669 15580 54866 | 1 399303 29 | 0.150 % | 4387.71/4387.62 c | 9801576 | 2669 15580 54866 | 1 399403 29 | 0.150 % | 4387.71/4387.62 c | 9859325 | 2669 15580 54866 | 1 234758 17 | 0.150 % | 4387.71/4387.62 c | 9859427 | 2669 15580 54866 | 1 234860 17 | 0.150 % | 4387.71/4387.62 c | 9873544 | 2669 15580 54866 | 1 248977 18 | 0.150 % | 4387.71/4387.62 c | 9903787 | 2669 15580 54866 | 1 279220 21 | 0.150 % | 4387.71/4387.62 c | 9903919 | 2669 15580 54866 | 1 279352 21 | 0.150 % | 4387.71/4387.62 c | 9904249 | 2669 15580 54866 | 1 279682 21 | 0.150 % | 4387.71/4387.62 c | 9904790 | 2669 15580 54866 | 1 280223 21 | 0.150 % | 4387.71/4387.62 c | 9908272 | 2669 15580 54866 | 1 283705 21 | 0.150 % | 4387.71/4387.62 c | 9923406 | 2669 15580 54866 | 1 298839 22 | 0.150 % | 4387.71/4387.62 c | 9923507 | 2669 15580 54866 | 1 298940 22 | 0.150 % | 4387.71/4387.62 c | 10009458 | 2669 15580 54866 | 1 384891 27 | 0.150 % | 4387.71/4387.62 c | 10009558 | 2669 15580 54866 | 1 384991 27 | 0.150 % | 4387.71/4387.62 c | 10014588 | 2669 15580 54866 | 1 390021 27 | 0.150 % | 4387.71/4387.62 c | 10014688 | 2669 15580 54866 | 1 390121 27 | 0.150 % | 4387.71/4387.62 c | 10015328 | 2669 15580 54866 | 1 390761 27 | 0.150 % | 4387.71/4387.62 c | 10059941 | 2669 15580 54866 | 1 435374 28 | 0.150 % | 4387.71/4387.62 c | 10060041 | 2669 15580 54866 | 1 435474 28 | 0.150 % | 4387.71/4387.62 c | 10071156 | 2669 15580 54866 | 1 446589 29 | 0.150 % | 4387.71/4387.62 c | 10081756 | 2669 15580 54866 | 1 232183 16 | 0.150 % | 4387.71/4387.62 c | 10081857 | 2669 15580 54866 | 1 232284 16 | 0.150 % | 4387.71/4387.62 c | 10083556 | 2669 15580 54866 | 1 233983 16 | 0.150 % | 4387.71/4387.62 c | 10087864 | 2669 15580 54866 | 1 238291 17 | 0.150 % | 4387.71/4387.62 c | 10524623 | 2668 15576 54854 | 1 255265 14 | 0.187 % | 4387.71/4387.62 c | 10524725 | 2668 15576 54854 | 1 255367 14 | 0.187 % | 4387.71/4387.62 c | 10525583 | 2668 15576 54854 | 1 256225 14 | 0.187 % | 4387.71/4387.62 c | 10567414 | 2668 15576 54854 | 1 204590 16 | 0.187 % | 4387.71/4387.62 c | 10572640 | 2668 15576 54854 | 1 209816 17 | 0.187 % | 4387.71/4387.62 c | 10593658 | 2668 15576 54854 |
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected) Got answer: <no 's ' line found>
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 935) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3303643-1303900687/watcher-3303643-1303900687 -o /tmp/evaluation-result-3303643-1303900687/solver-3303643-1303900687 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303643-1303900687.cnf running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 1.96 1.50 2/178 10886 /proc/meminfo: memFree=13721512/32951124 swapFree=67111528/67111528 [pid=10886] ppid=10884 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/10886/stat : 10886 (glucose.sh) S 10884 10886 10749 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 501666649 8912896 252 33554432000 4194304 4922060 140734462565824 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/10886/statm: 2176 252 211 178 0 69 0 [startup+0.0918629 s] /proc/loadavg: 2.00 1.96 1.50 2/178 10886 /proc/meminfo: memFree=13721512/32951124 swapFree=67111528/67111528 [pid=10886] ppid=10884 vsize=8704 CPUtime=0.08 cores=1,3,5,7 /proc/10886/stat : 10886 (glucose.sh) S 10884 10886 10749 0 -1 4202496 359 1159 0 0 0 0 8 0 25 0 1 0 501666649 8912896 254 33554432000 4194304 4922060 140734462565824 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/10886/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 8704 [startup+0.100854 s] /proc/loadavg: 2.00 1.96 1.50 2/178 10886 /proc/meminfo: memFree=13721512/32951124 swapFree=67111528/67111528 [pid=10886] ppid=10884 vsize=8704 CPUtime=0.08 cores=1,3,5,7 /proc/10886/stat : 10886 (glucose.sh) S 10884 10886 10749 0 -1 4202496 359 1159 0 0 0 0 8 0 25 0 1 0 501666649 8912896 254 33554432000 4194304 4922060 140734462565824 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/10886/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 8704 [startup+0.300816 s] /proc/loadavg: 2.00 1.96 1.50 2/178 10886 /proc/meminfo: memFree=13721512/32951124 swapFree=67111528/67111528 [pid=10886] ppid=10884 vsize=8704 CPUtime=0.08 cores=1,3,5,7 /proc/10886/stat : 10886 (glucose.sh) S 10884 10886 10749 0 -1 4202496 359 1159 0 0 0 0 8 0 25 0 1 0 501666649 8912896 254 33554432000 4194304 4922060 140734462565824 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/10886/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 8704 [startup+0.700742 s] /proc/loadavg: 2.00 1.96 1.50 2/178 10886 /proc/meminfo: memFree=13721512/32951124 swapFree=67111528/67111528 [pid=10886] ppid=10884 vsize=8704 CPUtime=0.08 cores=1,3,5,7 /proc/10886/stat : 10886 (glucose.sh) S 10884 10886 10749 0 -1 4202496 359 1159 0 0 0 0 8 0 25 0 1 0 501666649 8912896 254 33554432000 4194304 4922060 140734462565824 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/10886/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 8704 [startup+1.5006 s] /proc/loadavg: 2.00 1.96 1.50 3/180 10889 /proc/meminfo: memFree=13713568/32951124 swapFree=67111528/67111528 [pid=10886] ppid=10884 vsize=8704 CPUtime=0.08 cores=1,3,5,7 /proc/10886/stat : 10886 (glucose.sh) S 10884 10886 10749 0 -1 4202496 359 1159 0 0 0 0 8 0 25 0 1 0 501666649 8912896 254 33554432000 4194304 4922060 140734462565824 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/10886/statm: 2176 254 211 178 0 69 0 [pid=10889] ppid=10886 vsize=21676 CPUtime=1.4 cores=1,3,5,7 /proc/10889/stat : 10889 (glucose_static) R 10886 10886 10749 0 -1 4202496 2587 0 0 0 140 0 0 0 20 0 1 0 501666658 22196224 1966 33554432000 4194304 4260849 140733351869968 18446744073709551615 4226278 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/10889/statm: 5419 1966 251 17 0 2060 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 30380 [startup+3.1003 s] /proc/loadavg: 2.00 1.96 1.50 3/180 10889 /proc/meminfo: memFree=13710076/32951124 swapFree=67111528/67111528 [pid=10886] ppid=10884 vsize=8704 CPUtime=0.08 cores=1,3,5,7 /proc/10886/stat : 10886 (glucose.sh) S 10884 10886 10749 0 -1 4202496 359 1159 0 0 0 0 8 0 25 0 1 0 501666649 8912896 254 33554432000 4194304 4922060 140734462565824 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/10886/statm: 2176 254 211 178 0 69 0 [pid=10889] ppid=10886 vsize=22716 CPUtime=3 cores=1,3,5,7 /proc/10889/stat : 10889 (glucose_static) R 10886 10886 10749 0 -1 4202496 2993 0 0 0 300 0 0 0 25 0 1 0 501666658 23261184 2340 33554432000 4194304 4260849 140733351869968 18446744073709551615 4209463 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/10889/statm: 5679 2340 251 17 0 2320 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 31420 [startup+6.30072 s] /proc/loadavg: 2.00 1.96 1.50 3/180 10890 /proc/meminfo: memFree=13706108/32951124 swapFree=67111528/67111528 [pid=10886] ppid=10884 vsize=8704 CPUtime=0.08 cores=1,3,5,7 /proc/10886/stat : 10886 (glucose.sh) S 10884 10886 10749 0 -1 4202496 359 1159 0 0 0 0 8 0 25 0 1 0 501666649 8912896 254 33554432000 4194304 4922060 140734462565824 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/10886/statm: 2176 254 211 178 0 69 0 [pid=10889] ppid=10886 vsize=29032 CPUtime=6.2 cores=1,3,5,7 /proc/10889/stat : 10889 (glucose_static) R 10886 10886 10749 0 -1 4202496 4700 0 0 0 620 0 0 0 25 0 1 0 501666658 29728768 2892 33554432000 4194304 4260849 140733351869968 18446744073709551615 4224757 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/10889/statm: 7258 2892 251 17 0 3899 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 37736 [startup+12.7006 s] /proc/loadavg: 2.00 1.97 1.51 3/180 10890 /proc/meminfo: memFree=13695068/32951124 swapFree=67111528/67111528 [pid=10886] ppid=10884 vsize=8704 CPUtime=0.08 cores=1,3,5,7 /proc/10886/stat : 10886 (glucose.sh) S 10884 10886 10749 0 -1 4202496 359 1159 0 0 0 0 8 0 25 0 1 0 501666649 8912896 254 33554432000 4194304 4922060 140734462565824 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/10886/statm: 2176 254 211 178 0 69 0 [pid=10889] ppid=10886 vsize=31752 CPUtime=12.6 cores=1,3,5,7 /proc/10889/stat : 10889 (glucose_static) R 10886 10886 10749 0 -1 4202496 6083 0 0 0 1259 1 0 0 25 0 1 0 501666658 32514048 4225 33554432000 4194304 4260849 140733351869968 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/10889/statm: 7938 4225 251 17 0 4579 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 40456 [startup+25.5002 s] /proc/loadavg: 2.00 1.97 1.51 3/180 10890 /proc/meminfo: memFree=13684904/32951124 swapFree=67111528/67111528 [pid=10886] ppid=10884 vsize=8704 CPUtime=0.08 cores=1,3,5,7 /proc/10886/stat : 10886 (glucose.sh) S 10884 10886 10749 0 -1 4202496 359 1159 0 0 0 0 8 0 25 0 1 0 501666649 8912896 254 33554432000 4194304 4922060 140734462565824 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/10886/statm: 2176 254 211 178 0 69 0 [pid=10889] ppid=10886 vsize=40512 CPUtime=25.4 cores=1,3,5,7 /proc/10889/stat : 10889 (glucose_static) R 10886 10886 10749 0 -1 4202496 8608 0 0 0 2539 1 0 0 25 0 1 0 501666658 41484288 4607 33554432000 4194304 4260849 140733351869968 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/10889/statm: 10128 4607 251 17 0 6769 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 49216 [startup+51.1006 s] /proc/loadavg: 2.00 1.97 1.53 3/180 10891 /proc/meminfo: memFree=13693540/32951124 swapFree=67111528/67111528 [pid=10886] ppid=10884 vsize=8704 CPUtime=0.08 cores=1,3,5,7 /proc/10886/stat : 10886 (glucose.sh) S 10884 10886 10749 0 -1 4202496 359 1159 0 0 0 0 8 0 25 0 1 0 501666649 8912896 254 33554432000 4194304 4922060 140734462565824 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/10886/statm: 2176 254 211 178 0 69 0 [pid=10889] ppid=10886 vsize=44972 CPUtime=51 cores=1,3,5,7 /proc/10889/stat : 10889 (glucose_static) R 10886 10886 10749 0 -1 4202496 12033 0 0 0 5099 1 0 0 25 0 1 0 501666658 46051328 7884 33554432000 4194304 4260849 140733351869968 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10889/statm: 11243 7884 251 17 0 7884 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 53676 [startup+102.306 s] /proc/loadavg: 2.00 1.97 1.55 3/180 10892 /proc/meminfo: memFree=13692536/32951124 swapFree=67111528/67111528 [pid=10886] ppid=10884 vsize=8704 CPUtime=0.08 cores=1,3,5,7 /proc/10886/stat : 10886 (glucose.sh) S 10884 10886 10749 0 -1 4202496 359 1159 0 0 0 0 8 0 25 0 1 0 501666649 8912896 254 33554432000 4194304 4922060 140734462565824 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/10886/statm: 2176 254 211 178 0 69 0 [pid=10889] ppid=10886 vsize=53116 CPUtime=102.21 cores=1,3,5,7 /proc/10889/stat : 10889 (glucose_static) R 10886 10886 10749 0 -1 4202496 15497 0 0 0 10219 2 0 0 25 0 1 0 501666658 54390784 8389 33554432000 4194304 4260849 140733351869968 18446744073709551615 4209287 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10889/statm: 13279 8389 251 17 0 9920 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 61820 [startup+162.3 s] /proc/loadavg: 2.00 1.97 1.57 3/180 10894 /proc/meminfo: memFree=13676780/32951124 swapFree=67111528/67111528 [pid=10886] ppid=10884 vsize=8704 CPUtime=0.08 cores=1,3,5,7 /proc/10886/stat : 10886 (glucose.sh) S 10884 10886 10749 0 -1 4202496 359 1159 0 0 0 0 8 0 25 0 1 0 501666649 8912896 254 33554432000 4194304 4922060 140734462565824 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/10886/statm: 2176 254 211 178 0 69 0 [pid=10889] ppid=10886 vsize=60160 CPUtime=162.2 cores=1,3,5,7 /proc/10889/stat : 10889 (glucose_static) R 10886 10886 10749 0 -1 4202496 18862 0 0 0 16218 2 0 0 25 0 1 0 501666658 61603840 11639 33554432000 4194304 4260849 140733351869968 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10889/statm: 15040 11639 251 17 0 11681 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 68864 [startup+222.3 s] /proc/loadavg: 2.00 1.97 1.60 3/180 10895 /proc/meminfo: memFree=13654172/32951124 swapFree=67111528/67111528 [pid=10886] ppid=10884 vsize=8704 CPUtime=0.08 cores=1,3,5,7 /proc/10886/stat : 10886 (glucose.sh) S 10884 10886 10749 0 -1 4202496 359 1159 0 0 0 0 8 0 25 0 1 0 501666649 8912896 254 33554432000 4194304 4922060 140734462565824 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/10886/statm: 2176 254 211 178 0 69 0 [pid=10889] ppid=10886 vsize=83436 CPUtime=222.21 cores=1,3,5,7 /proc/10889/stat : 10889 (glucose_static) R 10886 10886 10749 0 -1 4202496 28686 0 0 0 22217 4 0 0 25 0 1 0 501666658 85438464 16188 33554432000 4194304 4260849 140733351869968 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10889/statm: 20859 16188 251 17 0 17500 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 92140 [startup+282.301 s] /proc/loadavg: 2.00 1.97 1.62 3/180 10897 /proc/meminfo: memFree=13652284/32951124 swapFree=67111528/67111528 [pid=10886] ppid=10884 vsize=8704 CPUtime=0.08 cores=1,3,5,7 /proc/10886/stat : 10886 (glucose.sh) S 10884 10886 10749 0 -1 4202496 359 1159 0 0 0 0 8 0 25 0 1 0 501666649 8912896 254 33554432000 4194304 4922060 140734462565824 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/10886/statm: 2176 254 211 178 0 69 0 [pid=10889] ppid=10886 vsize=83436 CPUtime=282.21 cores=1,3,5,7 /proc/10889/stat : 10889 (glucose_static) R 10886 10886 10749 0 -1 4202496 28877 0 0 0 28217 4 0 0 25 0 1 0 501666658 85438464 16377 33554432000 4194304 4260849 140733351869968 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10889/statm: 20859 16377 251 17 0 17500 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 92140 [startup+342.301 s] /proc/loadavg: 2.00 1.97 1.64 3/180 10899 /proc/meminfo: memFree=13653756/32951124 swapFree=67111528/67111528 [pid=10886] ppid=10884 vsize=8704 CPUtime=0.08 cores=1,3,5,7 /proc/10886/stat : 10886 (glucose.sh) S 10884 10886 10749 0 -1 4202496 359 1159 0 0 0 0 8 0 25 0 1 0 501666649 8912896 254 33554432000 4194304 4922060 140734462565824 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/10886/statm: 2176 254 211 178 0 69 0 [pid=10889] ppid=10886 vsize=83436 CPUtime=342.21 cores=1,3,5,7 /proc/10889/stat : 10889 (glucose_static) R 10886 10886 10749 0 -1 4202496 28877 0 0 0 34217 4 0 0 25 0 1 0 501666658 85438464 16377 33554432000 4194304 4260849 140733351869968 18446744073709551615 4224647 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10889/statm: 20859 16377 251 17 0 17500 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 92140 [startup+402.301 s] /proc/loadavg: 2.04 1.99 1.67 3/180 10900 /proc/meminfo: memFree=13654356/32951124 swapFree=67111528/67111528 [pid=10886] ppid=10884 vsize=8704 CPUtime=0.08 cores=1,3,5,7 ################ # More data... # ################ /proc/10889/statm: 44490 36979 251 17 0 41131 0 Current children cumulated CPU time (s) 4362.41 Current children cumulated vsize (KiB) 186664 [startup+4422.3 s] /proc/loadavg: 2.03 2.01 1.94 3/180 11079 /proc/meminfo: memFree=13557888/32951124 swapFree=67111528/67111528 [pid=10886] ppid=10884 vsize=8704 CPUtime=0.08 cores=1,3,5,7 /proc/10886/stat : 10886 (glucose.sh) S 10884 10886 10749 0 -1 4202496 359 1159 0 0 0 0 8 0 25 0 1 0 501666649 8912896 254 33554432000 4194304 4922060 140734462565824 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/10886/statm: 2176 254 211 178 0 69 0 [pid=10889] ppid=10886 vsize=177960 CPUtime=4422.32 cores=1,3,5,7 /proc/10889/stat : 10889 (glucose_static) R 10886 10886 10749 0 -1 4202496 447811 0 0 0 442142 90 0 0 25 0 1 0 501666658 182231040 36431 33554432000 4194304 4260849 140733351869968 18446744073709551615 4224836 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10889/statm: 44490 36431 251 17 0 41131 0 Current children cumulated CPU time (s) 4422.4 Current children cumulated vsize (KiB) 186664 [startup+4482.3 s] /proc/loadavg: 2.01 2.01 1.94 3/180 11081 /proc/meminfo: memFree=13546712/32951124 swapFree=67111528/67111528 [pid=10886] ppid=10884 vsize=8704 CPUtime=0.08 cores=1,3,5,7 /proc/10886/stat : 10886 (glucose.sh) S 10884 10886 10749 0 -1 4202496 359 1159 0 0 0 0 8 0 25 0 1 0 501666649 8912896 254 33554432000 4194304 4922060 140734462565824 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/10886/statm: 2176 254 211 178 0 69 0 [pid=10889] ppid=10886 vsize=177960 CPUtime=4482.33 cores=1,3,5,7 /proc/10889/stat : 10889 (glucose_static) R 10886 10886 10749 0 -1 4202496 450716 0 0 0 448141 92 0 0 25 0 1 0 501666658 182231040 39240 33554432000 4194304 4260849 140733351869968 18446744073709551615 4224655 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10889/statm: 44490 39240 251 17 0 41131 0 Current children cumulated CPU time (s) 4482.41 Current children cumulated vsize (KiB) 186664 [startup+4542.3 s] /proc/loadavg: 2.00 2.00 1.94 3/180 11083 /proc/meminfo: memFree=13536392/32951124 swapFree=67111528/67111528 [pid=10886] ppid=10884 vsize=8704 CPUtime=0.08 cores=1,3,5,7 /proc/10886/stat : 10886 (glucose.sh) S 10884 10886 10749 0 -1 4202496 359 1159 0 0 0 0 8 0 25 0 1 0 501666649 8912896 254 33554432000 4194304 4922060 140734462565824 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/10886/statm: 2176 254 211 178 0 69 0 [pid=10889] ppid=10886 vsize=208780 CPUtime=4542.33 cores=1,3,5,7 /proc/10889/stat : 10889 (glucose_static) R 10886 10886 10749 0 -1 4202496 453361 0 0 0 454140 93 0 0 25 0 1 0 501666658 213790720 41798 33554432000 4194304 4260849 140733351869968 18446744073709551615 4224818 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10889/statm: 52195 41798 251 17 0 48836 0 Current children cumulated CPU time (s) 4542.41 Current children cumulated vsize (KiB) 217484 [startup+4602.3 s] /proc/loadavg: 2.00 2.00 1.94 3/180 11084 /proc/meminfo: memFree=13587600/32951124 swapFree=67111528/67111528 [pid=10886] ppid=10884 vsize=8704 CPUtime=0.08 cores=1,3,5,7 /proc/10886/stat : 10886 (glucose.sh) S 10884 10886 10749 0 -1 4202496 359 1159 0 0 0 0 8 0 25 0 1 0 501666649 8912896 254 33554432000 4194304 4922060 140734462565824 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/10886/statm: 2176 254 211 178 0 69 0 [pid=10889] ppid=10886 vsize=128640 CPUtime=4602.34 cores=1,3,5,7 /proc/10889/stat : 10889 (glucose_static) R 10886 10886 10749 0 -1 4202496 454828 0 0 0 460140 94 0 0 25 0 1 0 501666658 131727360 28827 33554432000 4194304 4260849 140733351869968 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10889/statm: 32160 28827 251 17 0 28801 0 Current children cumulated CPU time (s) 4602.42 Current children cumulated vsize (KiB) 137344 [startup+4662.3 s] /proc/loadavg: 2.00 2.00 1.94 3/180 11086 /proc/meminfo: memFree=13482184/32951124 swapFree=67111528/67111528 [pid=10886] ppid=10884 vsize=8704 CPUtime=0.08 cores=1,3,5,7 /proc/10886/stat : 10886 (glucose.sh) S 10884 10886 10749 0 -1 4202496 359 1159 0 0 0 0 8 0 25 0 1 0 501666649 8912896 254 33554432000 4194304 4922060 140734462565824 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/10886/statm: 2176 254 211 178 0 69 0 [pid=10889] ppid=10886 vsize=177960 CPUtime=4662.33 cores=1,3,5,7 /proc/10889/stat : 10889 (glucose_static) R 10886 10886 10749 0 -1 4202496 466612 0 0 0 466136 97 0 0 25 0 1 0 501666658 182231040 40527 33554432000 4194304 4260849 140733351869968 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10889/statm: 44490 40527 251 17 0 41131 0 Current children cumulated CPU time (s) 4662.41 Current children cumulated vsize (KiB) 186664 [startup+4722.31 s] /proc/loadavg: 2.00 2.00 1.94 3/180 11087 /proc/meminfo: memFree=13531520/32951124 swapFree=67111528/67111528 [pid=10886] ppid=10884 vsize=8704 CPUtime=0.08 cores=1,3,5,7 /proc/10886/stat : 10886 (glucose.sh) S 10884 10886 10749 0 -1 4202496 359 1159 0 0 0 0 8 0 25 0 1 0 501666649 8912896 254 33554432000 4194304 4922060 140734462565824 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/10886/statm: 2176 254 211 178 0 69 0 [pid=10889] ppid=10886 vsize=128640 CPUtime=4722.34 cores=1,3,5,7 /proc/10889/stat : 10889 (glucose_static) R 10886 10886 10749 0 -1 4202496 469729 0 0 0 472135 99 0 0 25 0 1 0 501666658 131727360 28827 33554432000 4194304 4260849 140733351869968 18446744073709551615 4224652 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10889/statm: 32160 28827 251 17 0 28801 0 Current children cumulated CPU time (s) 4722.42 Current children cumulated vsize (KiB) 137344 [startup+4782.3 s] /proc/loadavg: 2.00 2.00 1.94 3/180 11089 /proc/meminfo: memFree=13492448/32951124 swapFree=67111528/67111528 [pid=10886] ppid=10884 vsize=8704 CPUtime=0.08 cores=1,3,5,7 /proc/10886/stat : 10886 (glucose.sh) S 10884 10886 10749 0 -1 4202496 359 1159 0 0 0 0 8 0 25 0 1 0 501666649 8912896 254 33554432000 4194304 4922060 140734462565824 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/10886/statm: 2176 254 211 178 0 69 0 [pid=10889] ppid=10886 vsize=177960 CPUtime=4782.34 cores=1,3,5,7 /proc/10889/stat : 10889 (glucose_static) R 10886 10886 10749 0 -1 4202496 480526 0 0 0 478133 101 0 0 25 0 1 0 501666658 182231040 39554 33554432000 4194304 4260849 140733351869968 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10889/statm: 44490 39554 251 17 0 41131 0 Current children cumulated CPU time (s) 4782.42 Current children cumulated vsize (KiB) 186664 [startup+4842.3 s] /proc/loadavg: 2.00 2.00 1.94 3/180 11091 /proc/meminfo: memFree=13487964/32951124 swapFree=67111528/67111528 [pid=10886] ppid=10884 vsize=8704 CPUtime=0.08 cores=1,3,5,7 /proc/10886/stat : 10886 (glucose.sh) S 10884 10886 10749 0 -1 4202496 359 1159 0 0 0 0 8 0 25 0 1 0 501666649 8912896 254 33554432000 4194304 4922060 140734462565824 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/10886/statm: 2176 254 211 178 0 69 0 [pid=10889] ppid=10886 vsize=208780 CPUtime=4842.35 cores=1,3,5,7 /proc/10889/stat : 10889 (glucose_static) R 10886 10886 10749 0 -1 4202496 483292 0 0 0 484132 103 0 0 25 0 1 0 501666658 213790720 42241 33554432000 4194304 4260849 140733351869968 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10889/statm: 52195 42241 251 17 0 48836 0 Current children cumulated CPU time (s) 4842.43 Current children cumulated vsize (KiB) 217484 [startup+4902.3 s] /proc/loadavg: 2.00 2.00 1.94 3/180 11092 /proc/meminfo: memFree=13549084/32951124 swapFree=67111528/67111528 [pid=10886] ppid=10884 vsize=8704 CPUtime=0.08 cores=1,3,5,7 /proc/10886/stat : 10886 (glucose.sh) S 10884 10886 10749 0 -1 4202496 359 1159 0 0 0 0 8 0 25 0 1 0 501666649 8912896 254 33554432000 4194304 4922060 140734462565824 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/10886/statm: 2176 254 211 178 0 69 0 [pid=10889] ppid=10886 vsize=128640 CPUtime=4902.34 cores=1,3,5,7 /proc/10889/stat : 10889 (glucose_static) R 10886 10886 10749 0 -1 4202496 485059 0 0 0 490131 103 0 0 25 0 1 0 501666658 131727360 28827 33554432000 4194304 4260849 140733351869968 18446744073709551615 4227056 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10889/statm: 32160 28827 251 17 0 28801 0 Current children cumulated CPU time (s) 4902.42 Current children cumulated vsize (KiB) 137344 [startup+4962.3 s] /proc/loadavg: 2.04 2.01 1.95 3/180 11094 /proc/meminfo: memFree=13539016/32951124 swapFree=67111528/67111528 [pid=10886] ppid=10884 vsize=8704 CPUtime=0.08 cores=1,3,5,7 /proc/10886/stat : 10886 (glucose.sh) S 10884 10886 10749 0 -1 4202496 359 1159 0 0 0 0 8 0 25 0 1 0 501666649 8912896 254 33554432000 4194304 4922060 140734462565824 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/10886/statm: 2176 254 211 178 0 69 0 [pid=10889] ppid=10886 vsize=177960 CPUtime=4962.34 cores=1,3,5,7 /proc/10889/stat : 10889 (glucose_static) R 10886 10886 10749 0 -1 4202496 497427 0 0 0 496128 106 0 0 25 0 1 0 501666658 182231040 41093 33554432000 4194304 4260849 140733351869968 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10889/statm: 44490 41093 251 17 0 41131 0 Current children cumulated CPU time (s) 4962.42 Current children cumulated vsize (KiB) 186664 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+4999.9 s] /proc/loadavg: 2.02 2.01 1.95 3/180 11104 /proc/meminfo: memFree=13481612/32951124 swapFree=67111528/67111528 [pid=10886] ppid=10884 vsize=8704 CPUtime=0.08 cores=1,3,5,7 /proc/10886/stat : 10886 (glucose.sh) S 10884 10886 10749 0 -1 4202496 359 1159 0 0 0 0 8 0 25 0 1 0 501666649 8912896 254 33554432000 4194304 4922060 140734462565824 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/10886/statm: 2176 254 211 178 0 69 0 [pid=10889] ppid=10886 vsize=208780 CPUtime=4999.95 cores=1,3,5,7 /proc/10889/stat : 10889 (glucose_static) R 10886 10886 10749 0 -1 4202496 499651 0 0 0 499888 107 0 0 25 0 1 0 501666658 213790720 43269 33554432000 4194304 4260849 140733351869968 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10889/statm: 52195 43269 251 17 0 48836 0 Current children cumulated CPU time (s) 5000.03 Current children cumulated vsize (KiB) 217484 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+4999.9 s] /proc/loadavg: 2.02 2.01 1.95 3/180 11104 /proc/meminfo: memFree=13481612/32951124 swapFree=67111528/67111528 [pid=10886] ppid=10884 vsize=8704 CPUtime=0.08 cores=1,3,5,7 /proc/10886/stat : 10886 (glucose.sh) S 10884 10886 10749 0 -1 4202496 359 1159 0 0 0 0 8 0 25 0 1 0 501666649 8912896 254 33554432000 4194304 4922060 140734462565824 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/10886/statm: 2176 254 211 178 0 69 0 [pid=10889] ppid=10886 vsize=208780 CPUtime=4999.95 cores=1,3,5,7 /proc/10889/stat : 10889 (glucose_static) R 10886 10886 10749 0 -1 4202496 499651 0 0 0 499888 107 0 0 25 0 1 0 501666658 213790720 43269 33554432000 4194304 4260849 140733351869968 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10889/statm: 52195 43269 251 17 0 48836 0 Current children cumulated CPU time (s) 5000.03 Current children cumulated vsize (KiB) 217484 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 10886 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=84987 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=5999 # CPU time returned by wait4() is 0.090986 # while last known CPU time is 5000.03 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 4999.91 CPU time (s): 5000.03 CPU user time (s): 4998.96 CPU system time (s): 1.07 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 217484 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.084987 system time used= 0.005999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1518 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= 8 involuntary context switches= 6 runsolver used 8.19375 second user time and 18.9471 second system time The end
Begin job on node138 at 2011-04-27 12:38:07 IDJOB=3303643 IDBENCH=20399 IDSOLVER=1687 FILE ID=node138/3303643-1303900687 RUNJOBID= node138-1303899330-10768 PBS_JOBID= 13164510 Free space on /tmp= 71836 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT07/industrial/fuhs/hard/AProVE07-01.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303643-1303900687/watcher-3303643-1303900687 -o /tmp/evaluation-result-3303643-1303900687/solver-3303643-1303900687 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303643-1303900687.cnf TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d2f77e32530988f77dca5112174eee00 RANDOM SEED=1301479520 node138.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.70 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.80 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 13721792 kB Buffers: 2087384 kB Cached: 16386696 kB SwapCached: 0 kB Active: 10782196 kB Inactive: 7881804 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 13721792 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1568 kB Writeback: 0 kB AnonPages: 189440 kB Mapped: 15228 kB Slab: 503128 kB PageTables: 4620 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 345428 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 71804 MiB End job on node138 at 2011-04-27 14:01:29