| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | ? (TO) | 1300.01 | 1300.01 |
| Name | CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g6.cnf |
| MD5SUM | c7c04151ac14a13eb4a03259d055e119 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1375 |
| Number of clauses | 111739 |
| Sum of the clauses size | 224743 |
| Maximum clause length | 25 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 111684 |
| Number of clauses of size 3 | 0 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 55 |
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.02 c ============================================================================== 0.00/0.02 c | | ORIGINAL | LEARNT | | 0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.02 c ============================================================================== 0.00/0.02 c | 0 | 111739 224743 | 33521 0 0 nan | 0.000 % | 0.00/0.26 c | 0 | 109920 362907 | -- 0 -- -- | -- | -1819/138164 0.00/0.26 c ============================================================================== 0.00/0.26 c Result : #vars: 1320 #clauses: 109920 #literals: 362907 0.00/0.26 c CPU time: 0.25896 s 0.00/0.26 c ============================================================================== 0.00/0.32 c 0.00/0.32 c Starting glucose 0.00/0.32 c 219.27/219.38 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 219.27/219.38 c WARNING: for repeatability, setting FPU to use double precision 219.27/219.38 c ============================[ Problem Statistics ]============================= 219.27/219.38 c | | 219.27/219.38 c | Number of variables: 1320 | 219.27/219.38 c | Number of clauses: 109920 | 219.27/219.38 c | Parse time: 0.02 s | 219.27/219.38 c | | 219.27/219.38 c ============================[ Search Statistics ]============================== 219.27/219.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 219.27/219.38 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 219.27/219.38 c =============================================================================== 219.27/219.38 c | 2474 | 1320 109920 362907 | 1 2474 117 | 0.000 % | 219.27/219.38 c | 6771 | 1320 109920 362907 | 1 4774 101 | 0.000 % | 219.27/219.38 c | 98617 | 1320 109920 362907 | 1 33092 63 | 0.000 % | 219.27/219.38 c | 405107 | 1320 109920 362907 | 1 69533 47 | 0.000 % | 219.27/219.38 c | 609299 | 1320 109920 362907 | 1 86128 46 | 0.000 % | 219.27/219.38 c | 636183 | 1320 109920 362907 | 1 59621 39 | 0.000 % | 219.27/219.38 c | 636383 | 1320 109920 362907 | 1 59821 39 | 0.000 % | 219.27/219.38 c | 656333 | 1320 109920 362907 | 1 79771 44 | 0.000 % | 219.27/219.38 c | 656595 | 1320 109920 362907 | 1 80033 44 | 0.000 % | 219.27/219.38 c | 657417 | 1320 109920 362907 | 1 80855 44 | 0.000 % | 219.27/219.38 c | 659882 | 1320 109920 362907 | 1 83320 45 | 0.000 % | 219.27/219.38 c | 662881 | 1320 109920 362907 | 1 86319 45 | 0.000 % | 219.27/219.38 c | 735732 | 1320 109920 362907 | 1 103160 48 | 0.000 % | 219.27/219.38 c | 736479 | 1320 109920 362907 | 1 103907 48 | 0.000 % | 219.27/219.38 c | 747281 | 1320 109920 362907 | 1 114709 50 | 0.000 % | 219.27/219.38 c | 771508 | 1320 109920 362907 | 1 80335 42 | 0.000 % | 219.27/219.38 c | 806290 | 1320 109920 362907 | 1 115117 48 | 0.000 % | 219.27/219.38 c | 813583 | 1320 109920 362907 | 1 122410 49 | 0.000 % | 219.27/219.38 c | 827767 | 1320 109920 362907 | 1 75381 43 | 0.000 % | 219.27/219.38 c | 864550 | 1320 109920 362907 | 1 112164 54 | 0.000 % | 219.27/219.38 c | 875175 | 1320 109920 362907 | 1 122789 55 | 0.000 % | 219.27/219.38 c | 885265 | 1320 109920 362907 | 1 69087 39 | 0.000 % | 219.27/219.38 c | 890900 | 1320 109920 362907 | 1 74722 41 | 0.000 % | 219.27/219.38 c | 913139 | 1320 109920 362907 | 1 96961 46 | 0.000 % | 219.27/219.38 c | 1032537 | 1320 109920 362907 | 1 80963 43 | 0.000 % | 219.27/219.38 c | 1032785 | 1320 109920 362907 | 1 81211 43 | 0.000 % | 219.27/219.38 c | 1048945 | 1320 109920 362907 | 1 97371 47 | 0.000 % | 219.27/219.38 c | 1060994 | 1320 109920 362907 | 1 109420 49 | 0.000 % | 219.27/219.38 c | 1080444 | 1320 109920 362907 | 1 128870 52 | 0.000 % | 219.27/219.38 c | 1160782 | 1320 109920 362907 | 1 137604 51 | 0.000 % | 219.27/219.38 c | 1160884 | 1320 109920 362907 | 1 137706 51 | 0.000 % | 219.27/219.38 c | 1160985 | 1320 109920 362907 | 1 137807 51 | 0.000 % | 219.27/219.38 c | 1162486 | 1320 109920 362907 | 1 139308 51 | 0.000 % | 219.27/219.38 c | 1182325 | 1320 109920 362907 | 1 84945 39 | 0.000 % | 219.27/219.38 c | 1192419 | 1320 109920 362907 | 1 95039 41 | 0.000 % | 219.27/219.38 c | 1275241 | 1320 109920 362907 | 1 101061 37 | 0.000 % | 219.27/219.38 c | 1287634 | 1320 109920 362907 | 1 113454 41 | 0.000 % | 219.27/219.38 c | 1287736 | 1320 109920 362907 | 1 113556 41 | 0.000 % | 219.27/219.38 c | 1291255 | 1320 109920 362907 | 1 117075 42 | 0.000 % | 323.47/323.57 c | 1315968 | 1320 109920 362907 | 1 141788 47 | 0.000 % | 323.47/323.57 c | 1318331 | 1320 109920 362907 | 1 144151 47 | 0.000 % | 323.47/323.57 c | 1332825 | 1320 109920 362907 | 1 158645 50 | 0.000 % | 323.47/323.57 c | 1420482 | 1320 109920 362907 | 1 84906 37 | 0.000 % | 323.47/323.57 c | 1423424 | 1320 109920 362907 | 1 87848 38 | 0.000 % | 323.47/323.57 c | 1449909 | 1320 109920 362907 | 1 114333 45 | 0.000 % | 323.47/323.57 c | 1450011 | 1320 109920 362907 | 1 114435 45 | 0.000 % | 323.47/323.57 c | 1481256 | 1320 109920 362907 | 1 145680 47 | 0.000 % | 323.47/323.57 c | 1481357 | 1320 109920 362907 | 1 145781 47 | 0.000 % | 323.47/323.57 c | 1504499 | 1320 109920 362907 | 1 168923 51 | 0.000 % | 323.47/323.57 c | 1507186 | 1320 109920 362907 | 1 87003 35 | 0.000 % | 323.47/323.57 c | 1516596 | 1320 109920 362907 | 1 96413 37 | 0.000 % | 323.47/323.57 c | 1536579 | 1320 109920 362907 | 1 116396 39 | 0.000 % | 323.47/323.57 c | 1538528 | 1320 109920 362907 | 1 118345 40 | 0.000 % | 323.47/323.57 c | 1543082 | 1320 109920 362907 | 1 122899 41 | 0.000 % | 323.47/323.57 c | 1545792 | 1320 109920 362907 | 1 125609 42 | 0.000 % | 323.47/323.57 c | 1549134 | 1320 109920 362907 | 1 128951 43 | 0.000 % | 323.47/323.57 c | 1568088 | 1320 109920 362907 | 1 147905 47 | 0.000 % | 323.47/323.57 c | 1578335 | 1320 109920 362907 | 1 158152 48 | 0.000 % | 323.47/323.57 c | 1614465 | 1320 109920 362907 | 1 107078 41 | 0.000 % | 323.47/323.57 c | 1627515 | 1320 109920 362907 | 1 120128 44 | 0.000 % | 323.47/323.57 c | 1656794 | 1320 109920 362907 | 1 149407 49 | 0.000 % | 323.47/323.57 c | 1661307 | 1320 109920 362907 | 1 153920 50 | 0.000 % | 323.47/323.57 c | 1661408 | 1320 109920 362907 | 1 154021 50 | 0.000 % | 323.47/323.57 c | 1669389 | 1320 109920 362907 | 1 162002 51 | 0.000 % | 323.47/323.57 c | 1670957 | 1320 109920 362907 | 1 163570 51 | 0.000 % | 323.47/323.57 c | 1671393 | 1320 109920 362907 | 1 164006 51 | 0.000 % | 323.47/323.57 c | 1671850 | 1320 109920 362907 | 1 164463 51 | 0.000 % | 323.47/323.57 c | 1672989 | 1320 109920 362907 | 1 165602 52 | 0.000 % | 323.47/323.57 c | 1674231 | 1320 109920 362907 | 1 166844 52 | 0.000 % | 323.47/323.57 c | 1674331 | 1320 109920 362907 | 1 166944 52 | 0.000 % | 323.47/323.57 c | 1675579 | 1320 109920 362907 | 1 168192 52 | 0.000 % | 323.47/323.57 c | 1675953 | 1320 109920 362907 | 1 168566 52 | 0.000 % | 323.47/323.57 c | 1678176 | 1320 109920 362907 | 1 170789 52 | 0.000 % | 323.47/323.57 c | 1681029 | 1320 109920 362907 | 1 173642 52 | 0.000 % | 323.47/323.57 c | 1688114 | 1320 109920 362907 | 1 90936 34 | 0.000 % | 323.47/323.57 c | 1688215 | 1320 109920 362907 | 1 91037 34 | 0.000 % | 323.47/323.57 c | 1700978 | 1320 109920 362907 | 1 103800 37 | 0.000 % | 323.47/323.57 c | 1734736 | 1320 109920 362907 | 1 137558 45 | 0.000 % | 323.47/323.57 c | 1742032 | 1320 109920 362907 | 1 144854 47 | 0.000 % | 323.47/323.57 c | 1751757 | 1320 109920 362907 | 1 154579 49 | 0.000 % | 323.47/323.57 c | 1754303 | 1320 109920 362907 | 1 157125 49 | 0.000 % | 323.47/323.57 c | 1754707 | 1320 109920 362907 | 1 157529 49 | 0.000 % | 323.47/323.57 c | 1761360 | 1320 109920 362907 | 1 164182 50 | 0.000 % | 323.47/323.57 c | 1766927 | 1320 109920 362907 | 1 169749 51 | 0.000 % | 323.47/323.57 c | 1793178 | 1320 109920 362907 | 1 103605 38 | 0.000 % | 323.47/323.57 c | 1803691 | 1320 109920 362907 | 1 114118 41 | 0.000 % | 323.47/323.57 c | 1803792 | 1320 109920 362907 | 1 114219 41 | 0.000 % | 323.47/323.57 c | 1803893 | 1320 109920 362907 | 1 114320 41 | 0.000 % | 323.47/323.57 c | 1805571 | 1320 109920 362907 | 1 115998 41 | 0.000 % | 405.18/405.26 c | 1869905 | 1320 109920 362907 | 1 180332 48 | 0.000 % | 405.18/405.26 c | 1883468 | 1320 109920 362907 | 1 98898 33 | 0.000 % | 405.18/405.26 c | 1886246 | 1320 109920 362907 | 1 101676 34 | 0.000 % | 405.18/405.26 c | 1895055 | 1320 109920 362907 | 1 110485 37 | 0.000 % | 405.18/405.26 c | 1895347 | 1320 109920 362907 | 1 110777 37 | 0.000 % | 405.18/405.26 c | 1900093 | 1320 109920 362907 | 1 115523 39 | 0.000 % | 405.18/405.26 c | 1909860 | 1320 109920 362907 | 1 125290 42 | 0.000 % | 405.18/405.26 c | 1909995 | 1320 109920 362907 | 1 125425 42 | 0.000 % | 405.18/405.26 c | 1916222 | 1320 109920 362907 | 1 131652 42 | 0.000 % | 405.18/405.26 c | 1916323 | 1320 109920 362907 | 1 131753 43 | 0.000 % | 405.18/405.26 c | 1929765 | 1320 109920 362907 | 1 145195 45 | 0.000 % | 405.18/405.26 c | 1929865 | 1320 109920 362907 | 1 145295 45 | 0.000 % | 405.18/405.26 c | 1945394 | 1320 109920 362907 | 1 160824 47 | 0.000 % | 405.18/405.26 c | 1945890 | 1320 109920 362907 | 1 161320 47 | 0.000 % | 405.18/405.26 c | 1949981 | 1320 109920 362907 | 1 165411 48 | 0.000 % | 405.18/405.26 c | 1951381 | 1320 109920 362907 | 1 166811 48 | 0.000 % | 405.18/405.26 c | 1951483 | 1320 109920 362907 | 1 166913 48 | 0.000 % | 405.18/405.26 c | 1951583 | 1320 109920 362907 | 1 167013 48 | 0.000 % | 405.18/405.26 c | 1953503 | 1320 109920 362907 | 1 168933 49 | 0.000 % | 405.18/405.26 c | 1953672 | 1320 109920 362907 | 1 169102 49 | 0.000 % | 405.18/405.26 c | 1954157 | 1320 109920 362907 | 1 169587 49 | 0.000 % | 405.18/405.26 c | 1959155 | 1320 109920 362907 | 1 174585 50 | 0.000 % | 405.18/405.26 c | 1960713 | 1320 109920 362907 | 1 176143 50 | 0.000 % | 405.18/405.26 c | 1986807 | 1320 109920 362907 | 1 104629 37 | 0.000 % | 405.18/405.26 c | 1988601 | 1320 109920 362907 | 1 106423 38 | 0.000 % | 405.18/405.26 c | 1998611 | 1320 109920 362907 | 1 116433 41 | 0.000 % | 405.18/405.26 c | 1998846 | 1320 109920 362907 | 1 116668 41 | 0.000 % | 405.18/405.26 c | 2045576 | 1320 109920 362907 | 1 163398 48 | 0.000 % | 405.18/405.26 c | 2045676 | 1320 109920 362907 | 1 163498 48 | 0.000 % | 405.18/405.26 c | 2057594 | 1320 109920 362907 | 1 175416 50 | 0.000 % | 405.18/405.26 c | 2059576 | 1320 109920 362907 | 1 177398 50 | 0.000 % | 405.18/405.26 c | 2069717 | 1320 109920 362907 | 1 187539 51 | 0.000 % | 405.18/405.26 c | 2082574 | 1320 109920 362907 | 1 200396 53 | 0.000 % | 405.18/405.26 c | 2128025 | 1320 109920 362907 | 1 145638 52 | 0.000 % | 405.18/405.26 c | 2130194 | 1320 109920 362907 | 1 147807 52 | 0.000 % | 405.18/405.26 c | 2153054 | 1320 109920 362907 | 1 170667 56 | 0.000 % | 405.18/405.26 c | 2156512 | 1320 109920 362907 | 1 174125 56 | 0.000 % | 405.18/405.26 c | 2157532 | 1320 109920 362907 | 1 175145 56 | 0.000 % | 405.18/405.26 c | 2158981 | 1320 109920 362907 | 1 176594 57 | 0.000 % | 405.18/405.26 c | 2159472 | 1320 109920 362907 | 1 177085 57 | 0.000 % | 405.18/405.26 c | 2159572 | 1320 109920 362907 | 1 177185 57 | 0.000 % | 405.18/405.26 c | 2159672 | 1320 109920 362907 | 1 177285 57 | 0.000 % | 405.18/405.26 c | 2167902 | 1320 109920 362907 | 1 185515 58 | 0.000 % | 405.18/405.26 c | 2168003 | 1320 109920 362907 | 1 185616 58 | 0.000 % | 405.18/405.26 c | 2173053 | 1320 109920 362907 | 1 190666 59 | 0.000 % | 405.18/405.26 c | 2194388 | 1320 109920 362907 | 1 109205 38 | 0.000 % | 405.18/405.26 c | 2195600 | 1320 109920 362907 | 1 110417 38 | 0.000 % | 405.18/405.26 c | 2200492 | 1320 109920 362907 | 1 115309 39 | 0.000 % | 405.18/405.26 c | 2203309 | 1320 109920 362907 | 1 118126 40 | 0.000 % | 405.18/405.26 c | 2203409 | 1320 109920 362907 | 1 118226 40 | 0.000 % | 482.58/482.63 c | 2209027 | 1320 109920 362907 | 1 123844 41 | 0.000 % | 482.58/482.63 c | 2220154 | 1320 109920 362907 | 1 134971 45 | 0.000 % | 482.58/482.63 c | 2243287 | 1320 109920 362907 | 1 158104 50 | 0.000 % | 482.58/482.63 c | 2243478 | 1320 109920 362907 | 1 158295 50 | 0.000 % | 482.58/482.63 c | 2243578 | 1320 109920 362907 | 1 158395 50 | 0.000 % | 482.58/482.63 c | 2243874 | 1320 109920 362907 | 1 158691 50 | 0.000 % | 482.58/482.63 c | 2261898 | 1320 109920 362907 | 1 176715 52 | 0.000 % | 482.58/482.63 c | 2264011 | 1320 109920 362907 | 1 178828 53 | 0.000 % | 482.58/482.63 c | 2315742 | 1320 109920 362907 | 1 125165 38 | 0.000 % | 482.58/482.63 c | 2316674 | 1320 109920 362907 | 1 126097 38 | 0.000 % | 482.58/482.63 c | 2317195 | 1320 109920 362907 | 1 126618 38 | 0.000 % | 482.58/482.63 c | 2317296 | 1320 109920 362907 | 1 126719 38 | 0.000 % | 482.58/482.63 c | 2322622 | 1320 109920 362907 | 1 132045 40 | 0.000 % | 482.58/482.63 c | 2326202 | 1320 109920 362907 | 1 135625 41 | 0.000 % | 482.58/482.63 c | 2333954 | 1320 109920 362907 | 1 143377 43 | 0.000 % | 482.58/482.63 c | 2334338 | 1320 109920 362907 | 1 143761 43 | 0.000 % | 482.58/482.63 c | 2334440 | 1320 109920 362907 | 1 143863 43 | 0.000 % | 482.58/482.63 c | 2340491 | 1320 109920 362907 | 1 149914 45 | 0.000 % | 482.58/482.63 c | 2341194 | 1320 109920 362907 | 1 150617 45 | 0.000 % | 482.58/482.63 c | 2357213 | 1320 109920 362907 | 1 166636 48 | 0.000 % | 482.58/482.63 c | 2357481 | 1320 109920 362907 | 1 166904 48 | 0.000 % | 482.58/482.63 c | 2363801 | 1320 109920 362907 | 1 173224 49 | 0.000 % | 482.58/482.63 c | 2367160 | 1320 109920 362907 | 1 176583 50 | 0.000 % | 482.58/482.63 c | 2367283 | 1320 109920 362907 | 1 176706 50 | 0.000 % | 482.58/482.63 c | 2367392 | 1320 109920 362907 | 1 176815 50 | 0.000 % | 482.58/482.63 c | 2367505 | 1320 109920 362907 | 1 176928 50 | 0.000 % | 482.58/482.63 c | 2367605 | 1320 109920 362907 | 1 177028 50 | 0.000 % | 482.58/482.63 c | 2371611 | 1320 109920 362907 | 1 181034 51 | 0.000 % | 482.58/482.63 c | 2385496 | 1320 109920 362907 | 1 194919 52 | 0.000 % | 482.58/482.63 c | 2385610 | 1320 109920 362907 | 1 195033 52 | 0.000 % | 482.58/482.63 c | 2385711 | 1320 109920 362907 | 1 195134 52 | 0.000 % | 482.58/482.63 c | 2390554 | 1320 109920 362907 | 1 199977 53 | 0.000 % | 482.58/482.63 c | 2432908 | 1320 109920 362907 | 1 134330 43 | 0.000 % | 482.58/482.63 c | 2468176 | 1320 109920 362907 | 1 169598 48 | 0.000 % | 482.58/482.63 c | 2469049 | 1320 109920 362907 | 1 170471 48 | 0.000 % | 482.58/482.63 c | 2478512 | 1320 109920 362907 | 1 179934 49 | 0.000 % | 482.58/482.63 c | 2478717 | 1320 109920 362907 | 1 180139 49 | 0.000 % | 482.58/482.63 c | 2491841 | 1320 109920 362907 | 1 193263 51 | 0.000 % | 482.58/482.63 c | 2507286 | 1320 109920 362907 | 1 208708 53 | 0.000 % | 482.58/482.63 c | 2507427 | 1320 109920 362907 | 1 208849 53 | 0.000 % | 482.58/482.63 c | 2516769 | 1320 109920 362907 | 1 218191 54 | 0.000 % | 482.58/482.63 c | 2536175 | 1320 109920 362907 | 1 126997 38 | 0.000 % | 482.58/482.63 c | 2537818 | 1320 109920 362907 | 1 128640 39 | 0.000 % | 482.58/482.63 c | 2537918 | 1320 109920 362907 | 1 128740 39 | 0.000 % | 482.58/482.63 c | 2538021 | 1320 109920 362907 | 1 128843 39 | 0.000 % | 482.58/482.63 c | 2553571 | 1320 109920 362907 | 1 144393 43 | 0.000 % | 482.58/482.63 c | 2578377 | 1320 109920 362907 | 1 169199 46 | 0.000 % | 482.58/482.63 c | 2579614 | 1320 109920 362907 | 1 170436 46 | 0.000 % | 482.58/482.63 c | 2580094 | 1320 109920 362907 | 1 170916 46 | 0.000 % | 482.58/482.63 c | 2582576 | 1320 109920 362907 | 1 173398 47 | 0.000 % | 568.49/568.55 c | 2584559 | 1320 109920 362907 | 1 175381 47 | 0.000 % | 568.49/568.55 c | 2584659 | 1320 109920 362907 | 1 175481 47 | 0.000 % | 568.49/568.55 c | 2604210 | 1320 109920 362907 | 1 195032 49 | 0.000 % | 568.49/568.55 c | 2610064 | 1320 109920 362907 | 1 200886 50 | 0.000 % | 568.49/568.55 c | 2611050 | 1320 109920 362907 | 1 201872 50 | 0.000 % | 568.49/568.55 c | 2611497 | 1320 109920 362907 | 1 202319 50 | 0.000 % | 568.49/568.55 c | 2617522 | 1320 109920 362907 | 1 208344 51 | 0.000 % | 568.49/568.55 c | 2629434 | 1320 109920 362907 | 1 220256 53 | 0.000 % | 568.49/568.55 c | 2631359 | 1320 109920 362907 | 1 222181 53 | 0.000 % | 568.49/568.55 c | 2631462 | 1320 109920 362907 | 1 222284 53 | 0.000 % | 568.49/568.55 c | 2631734 | 1320 109920 362907 | 1 222556 53 | 0.000 % | 568.49/568.55 c | 2631836 | 1320 109920 362907 | 1 222658 53 | 0.000 % | 568.49/568.55 c | 2638761 | 1320 109920 362907 | 1 116382 34 | 0.000 % | 568.49/568.55 c | 2643404 | 1320 109920 362907 | 1 121025 35 | 0.000 % | 568.49/568.55 c | 2661380 | 1320 109920 362907 | 1 139001 41 | 0.000 % | 568.49/568.55 c | 2686011 | 1320 109920 362907 | 1 163632 46 | 0.000 % | 568.49/568.55 c | 2687838 | 1320 109920 362907 | 1 165459 47 | 0.000 % | 568.49/568.55 c | 2687938 | 1320 109920 362907 | 1 165559 47 | 0.000 % | 568.49/568.55 c | 2727631 | 1320 109920 362907 | 1 205252 49 | 0.000 % | 568.49/568.55 c | 2735651 | 1320 109920 362907 | 1 213272 50 | 0.000 % | 568.49/568.55 c | 2738366 | 1320 109920 362907 | 1 215987 50 | 0.000 % | 568.49/568.55 c | 2774928 | 1320 109920 362907 | 1 136748 37 | 0.000 % | 568.49/568.55 c | 2845042 | 1320 109920 362907 | 1 206862 45 | 0.000 % | 568.49/568.55 c | 2852036 | 1320 109920 362907 | 1 213856 45 | 0.000 % | 568.49/568.55 c | 2868742 | 1320 109920 362907 | 1 230562 46 | 0.000 % | 568.49/568.55 c | 2869253 | 1320 109920 362907 | 1 231073 46 | 0.000 % | 568.49/568.55 c | 2874128 | 1320 109920 362907 | 1 235948 47 | 0.000 % | 568.49/568.55 c | 2877295 | 1320 109920 362907 | 1 120714 31 | 0.000 % | 568.49/568.55 c | 2879075 | 1320 109920 362907 | 1 122494 31 | 0.000 % | 568.49/568.55 c | 2902057 | 1320 109920 362907 | 1 145476 37 | 0.000 % | 568.49/568.55 c | 2905696 | 1320 109920 362907 | 1 149115 37 | 0.000 % | 568.49/568.55 c | 2905796 | 1320 109920 362907 | 1 149215 37 | 0.000 % | 568.49/568.55 c | 2914518 | 1320 109920 362907 | 1 157937 39 | 0.000 % | 568.49/568.55 c | 2918838 | 1320 109920 362907 | 1 162257 40 | 0.000 % | 568.49/568.55 c | 2919885 | 1320 109920 362907 | 1 163304 40 | 0.000 % | 568.49/568.55 c | 2920996 | 1320 109920 362907 | 1 164415 40 | 0.000 % | 568.49/568.55 c | 2921899 | 1320 109920 362907 | 1 165318 40 | 0.000 % | 568.49/568.55 c | 2924100 | 1320 109920 362907 | 1 167519 41 | 0.000 % | 568.49/568.55 c | 2926294 | 1320 109920 362907 | 1 169713 41 | 0.000 % | 568.49/568.55 c | 2928335 | 1320 109920 362907 | 1 171754 41 | 0.000 % | 568.49/568.55 c | 2928571 | 1320 109920 362907 | 1 171990 42 | 0.000 % | 568.49/568.55 c | 2928701 | 1320 109920 362907 | 1 172120 42 | 0.000 % | 568.49/568.55 c | 2928803 | 1320 109920 362907 | 1 172222 42 | 0.000 % | 568.49/568.55 c | 2929107 | 1320 109920 362907 | 1 172526 42 | 0.000 % | 568.49/568.55 c | 2929767 | 1320 109920 362907 | 1 173186 42 | 0.000 % | 568.49/568.55 c | 2929868 | 1320 109920 362907 | 1 173287 42 | 0.000 % | 568.49/568.55 c | 2930022 | 1320 109920 362907 | 1 173441 42 | 0.000 % | 568.49/568.55 c | 2930919 | 1320 109920 362907 | 1 174338 42 | 0.000 % | 568.49/568.55 c | 2933480 | 1320 109920 362907 | 1 176899 42 | 0.000 % | 568.49/568.55 c | 2940713 | 1320 109920 362907 | 1 184132 43 | 0.000 % | 624.79/624.84 c | 2980589 | 1320 109920 362907 | 1 224008 46 | 0.000 % | 624.79/624.84 c | 3002343 | 1320 109920 362907 | 1 124763 32 | 0.000 % | 624.79/624.84 c | 3005902 | 1320 109920 362907 | 1 128322 33 | 0.000 % | 624.79/624.84 c | 3016846 | 1320 109920 362907 | 1 139266 36 | 0.000 % | 624.79/624.84 c | 3025999 | 1320 109920 362907 | 1 148419 39 | 0.000 % | 624.79/624.84 c | 3026102 | 1320 109920 362907 | 1 148522 39 | 0.000 % | 624.79/624.84 c | 3027240 | 1320 109920 362907 | 1 149660 39 | 0.000 % | 624.79/624.84 c | 3027414 | 1320 109920 362907 | 1 149834 39 | 0.000 % | 624.79/624.84 c | 3040098 | 1320 109920 362907 | 1 162518 41 | 0.000 % | 624.79/624.84 c | 3041458 | 1320 109920 362907 | 1 163878 41 | 0.000 % | 624.79/624.84 c | 3048037 | 1320 109920 362907 | 1 170457 42 | 0.000 % | 624.79/624.84 c | 3063567 | 1320 109920 362907 | 1 185987 44 | 0.000 % | 624.79/624.84 c | 3066043 | 1320 109920 362907 | 1 188463 44 | 0.000 % | 624.79/624.84 c | 3066810 | 1320 109920 362907 | 1 189230 44 | 0.000 % | 624.79/624.84 c | 3068130 | 1320 109920 362907 | 1 190550 45 | 0.000 % | 624.79/624.84 c | 3077151 | 1320 109920 362907 | 1 199571 46 | 0.000 % | 624.79/624.84 c | 3077254 | 1320 109920 362907 | 1 199674 46 | 0.000 % | 624.79/624.84 c | 3080640 | 1320 109920 362907 | 1 203060 46 | 0.000 % | 624.79/624.84 c | 3080863 | 1320 109920 362907 | 1 203283 46 | 0.000 % | 624.79/624.84 c | 3082135 | 1320 109920 362907 | 1 204555 46 | 0.000 % | 624.79/624.84 c | 3083037 | 1320 109920 362907 | 1 205457 46 | 0.000 % | 624.79/624.84 c | 3083269 | 1320 109920 362907 | 1 205689 46 | 0.000 % | 624.79/624.84 c | 3089054 | 1320 109920 362907 | 1 211474 47 | 0.000 % | 624.79/624.84 c | 3089183 | 1320 109920 362907 | 1 211603 47 | 0.000 % | 624.79/624.84 c | 3089480 | 1320 109920 362907 | 1 211900 47 | 0.000 % | 624.79/624.84 c | 3090706 | 1320 109920 362907 | 1 213126 47 | 0.000 % | 624.79/624.84 c | 3092752 | 1320 109920 362907 | 1 215172 47 | 0.000 % | 624.79/624.84 c | 3093683 | 1320 109920 362907 | 1 216103 48 | 0.000 % | 624.79/624.84 c | 3095026 | 1320 109920 362907 | 1 217446 48 | 0.000 % | 624.79/624.84 c | 3096436 | 1320 109920 362907 | 1 218856 48 | 0.000 % | 624.79/624.84 c | 3096775 | 1320 109920 362907 | 1 219195 48 | 0.000 % | 624.79/624.84 c | 3097999 | 1320 109920 362907 | 1 220419 48 | 0.000 % | 624.79/624.84 c | 3098101 | 1320 109920 362907 | 1 220521 48 | 0.000 % | 624.79/624.84 c | 3098207 | 1320 109920 362907 | 1 220627 48 | 0.000 % | 624.79/624.84 c | 3098511 | 1320 109920 362907 | 1 220931 48 | 0.000 % | 624.79/624.84 c | 3099862 | 1320 109920 362907 | 1 222282 48 | 0.000 % | 624.79/624.84 c | 3113347 | 1320 109920 362907 | 1 235767 51 | 0.000 % | 624.79/624.84 c | 3116024 | 1320 109920 362907 | 1 238444 51 | 0.000 % | 624.79/624.84 c | 3126448 | 1320 109920 362907 | 1 125263 32 | 0.000 % | 624.79/624.84 c | 3127193 | 1320 109920 362907 | 1 126008 32 | 0.000 % | 624.79/624.84 c | 3127293 | 1320 109920 362907 | 1 126108 32 | 0.000 % | 624.79/624.84 c | 3128275 | 1320 109920 362907 | 1 127090 33 | 0.000 % | 624.79/624.84 c | 3136845 | 1320 109920 362907 | 1 135660 36 | 0.000 % | 624.79/624.84 c | 3146594 | 1320 109920 362907 | 1 145409 38 | 0.000 % | 624.79/624.84 c | 3147527 | 1320 109920 362907 | 1 146342 39 | 0.000 % | 624.79/624.84 c | 3148908 | 1320 109920 362907 | 1 147723 39 | 0.000 % | 624.79/624.84 c | 3154496 | 1320 109920 362907 | 1 153311 40 | 0.000 % | 624.79/624.84 c | 3177890 | 1320 109920 362907 | 1 176705 44 | 0.000 % | 624.79/624.84 c | 3179006 | 1320 109920 362907 | 1 177821 44 | 0.000 % | 624.79/624.84 c | 3179342 | 1320 109920 362907 | 1 178157 44 | 0.000 % | 692.89/693.00 c | 3185867 | 1320 109920 362907 | 1 184682 44 | 0.000 % | 692.89/693.00 c | 3206311 | 1320 109920 362907 | 1 205126 47 | 0.000 % | 692.89/693.00 c | 3212155 | 1320 109920 362907 | 1 210970 48 | 0.000 % | 692.89/693.00 c | 3216946 | 1320 109920 362907 | 1 215761 49 | 0.000 % | 692.89/693.00 c | 3217063 | 1320 109920 362907 | 1 215878 49 | 0.000 % | 692.89/693.00 c | 3219356 | 1320 109920 362907 | 1 218171 50 | 0.000 % | 692.89/693.00 c | 3219528 | 1320 109920 362907 | 1 218343 50 | 0.000 % | 692.89/693.00 c | 3232824 | 1320 109920 362907 | 1 231639 51 | 0.000 % | 692.89/693.00 c | 3235943 | 1320 109920 362907 | 1 234758 51 | 0.000 % | 692.89/693.00 c | 3238939 | 1320 109920 362907 | 1 237754 51 | 0.000 % | 692.89/693.00 c | 3241598 | 1320 109920 362907 | 1 240413 52 | 0.000 % | 692.89/693.00 c | 3241698 | 1320 109920 362907 | 1 240513 52 | 0.000 % | 692.89/693.00 c | 3253079 | 1320 109920 362907 | 1 251894 52 | 0.000 % | 692.89/693.00 c | 3261234 | 1320 109920 362907 | 1 133850 35 | 0.000 % | 692.89/693.00 c | 3261503 | 1320 109920 362907 | 1 134119 35 | 0.000 % | 692.89/693.00 c | 3279034 | 1320 109920 362907 | 1 151650 39 | 0.000 % | 692.89/693.00 c | 3285329 | 1320 109920 362907 | 1 157945 40 | 0.000 % | 692.89/693.00 c | 3286274 | 1320 109920 362907 | 1 158890 40 | 0.000 % | 692.89/693.00 c | 3286450 | 1320 109920 362907 | 1 159066 40 | 0.000 % | 692.89/693.00 c | 3313762 | 1320 109920 362907 | 1 186378 44 | 0.000 % | 692.89/693.00 c | 3320809 | 1320 109920 362907 | 1 193425 45 | 0.000 % | 692.89/693.00 c | 3323575 | 1320 109920 362907 | 1 196191 45 | 0.000 % | 692.89/693.00 c | 3332711 | 1320 109920 362907 | 1 205327 47 | 0.000 % | 692.89/693.00 c | 3333270 | 1320 109920 362907 | 1 205886 47 | 0.000 % | 692.89/693.00 c | 3333479 | 1320 109920 362907 | 1 206095 47 | 0.000 % | 692.89/693.00 c | 3334831 | 1320 109920 362907 | 1 207447 47 | 0.000 % | 692.89/693.00 c | 3360082 | 1320 109920 362907 | 1 232698 49 | 0.000 % | 692.89/693.00 c | 3361977 | 1320 109920 362907 | 1 234593 49 | 0.000 % | 692.89/693.00 c | 3364958 | 1320 109920 362907 | 1 237574 50 | 0.000 % | 692.89/693.00 c | 3365202 | 1320 109920 362907 | 1 237818 50 | 0.000 % | 692.89/693.00 c | 3365346 | 1320 109920 362907 | 1 237962 50 | 0.000 % | 692.89/693.00 c | 3378591 | 1320 109920 362907 | 1 251207 51 | 0.000 % | 692.89/693.00 c | 3396374 | 1320 109920 362907 | 1 140194 35 | 0.000 % | 692.89/693.00 c | 3413968 | 1320 109920 362907 | 1 157788 39 | 0.000 % | 692.89/693.00 c | 3439419 | 1320 109920 362907 | 1 183239 41 | 0.000 % | 692.89/693.00 c | 3440194 | 1320 109920 362907 | 1 184014 42 | 0.000 % | 692.89/693.00 c | 3442941 | 1320 109920 362907 | 1 186761 42 | 0.000 % | 692.89/693.00 c | 3443862 | 1320 109920 362907 | 1 187682 42 | 0.000 % | 692.89/693.00 c | 3446405 | 1320 109920 362907 | 1 190225 42 | 0.000 % | 692.89/693.00 c | 3449542 | 1320 109920 362907 | 1 193362 43 | 0.000 % | 692.89/693.00 c | 3449788 | 1320 109920 362907 | 1 193608 43 | 0.000 % | 692.89/693.00 c | 3449942 | 1320 109920 362907 | 1 193762 43 | 0.000 % | 692.89/693.00 c | 3450480 | 1320 109920 362907 | 1 194300 43 | 0.000 % | 692.89/693.00 c | 3450952 | 1320 109920 362907 | 1 194772 43 | 0.000 % | 692.89/693.00 c | 3451435 | 1320 109920 362907 | 1 195255 43 | 0.000 % | 692.89/693.00 c | 3472617 | 1320 109920 362907 | 1 216437 45 | 0.000 % | 692.89/693.00 c | 3478911 | 1320 109920 362907 | 1 222731 46 | 0.000 % | 692.89/693.00 c | 3480808 | 1320 109920 362907 | 1 224628 46 | 0.000 % | 692.89/693.00 c | 3483582 | 1320 109920 362907 | 1 227402 46 | 0.000 % | 810.99/811.09 c | 3484243 | 1320 109920 362907 | 1 228063 47 | 0.000 % | 810.99/811.09 c | 3496473 | 1320 109920 362907 | 1 240293 48 | 0.000 % | 810.99/811.09 c | 3507004 | 1320 109920 362907 | 1 250824 49 | 0.000 % | 810.99/811.09 c | 3507403 | 1320 109920 362907 | 1 251223 49 | 0.000 % | 810.99/811.09 c | 3541768 | 1320 109920 362907 | 1 154187 38 | 0.000 % | 810.99/811.09 c | 3578519 | 1320 109920 362907 | 1 190938 43 | 0.000 % | 810.99/811.09 c | 3587080 | 1320 109920 362907 | 1 199499 44 | 0.000 % | 810.99/811.09 c | 3587683 | 1320 109920 362907 | 1 200102 44 | 0.000 % | 810.99/811.09 c | 3587941 | 1320 109920 362907 | 1 200360 44 | 0.000 % | 810.99/811.09 c | 3588368 | 1320 109920 362907 | 1 200787 44 | 0.000 % | 810.99/811.09 c | 3591012 | 1320 109920 362907 | 1 203431 44 | 0.000 % | 810.99/811.09 c | 3604046 | 1320 109920 362907 | 1 216465 45 | 0.000 % | 810.99/811.09 c | 3624461 | 1320 109920 362907 | 1 236880 47 | 0.000 % | 810.99/811.09 c | 3626585 | 1320 109920 362907 | 1 239004 47 | 0.000 % | 810.99/811.09 c | 3628717 | 1320 109920 362907 | 1 241136 48 | 0.000 % | 810.99/811.09 c | 3631614 | 1320 109920 362907 | 1 244033 48 | 0.000 % | 810.99/811.09 c | 3632253 | 1320 109920 362907 | 1 244672 48 | 0.000 % | 810.99/811.09 c | 3650765 | 1320 109920 362907 | 1 263184 50 | 0.000 % | 810.99/811.09 c | 3650865 | 1320 109920 362907 | 1 263284 50 | 0.000 % | 810.99/811.09 c | 3677129 | 1320 109920 362907 | 1 155557 36 | 0.000 % | 810.99/811.09 c | 3677229 | 1320 109920 362907 | 1 155657 36 | 0.000 % | 810.99/811.09 c | 3677331 | 1320 109920 362907 | 1 155759 36 | 0.000 % | 810.99/811.09 c | 3718583 | 1320 109920 362907 | 1 197011 43 | 0.000 % | 810.99/811.09 c | 3776025 | 1320 109920 362907 | 1 254453 47 | 0.000 % | 810.99/811.09 c | 3777353 | 1320 109920 362907 | 1 255781 47 | 0.000 % | 810.99/811.09 c | 3808174 | 1320 109920 362907 | 1 149993 36 | 0.000 % | 810.99/811.09 c | 3823577 | 1320 109920 362907 | 1 165396 40 | 0.000 % | 810.99/811.09 c | 3831216 | 1320 109920 362907 | 1 173035 41 | 0.000 % | 810.99/811.09 c | 3843857 | 1320 109920 362907 | 1 185676 42 | 0.000 % | 810.99/811.09 c | 3844998 | 1320 109920 362907 | 1 186817 43 | 0.000 % | 810.99/811.09 c | 3848519 | 1320 109920 362907 | 1 190338 43 | 0.000 % | 810.99/811.09 c | 3850335 | 1320 109920 362907 | 1 192154 43 | 0.000 % | 810.99/811.09 c | 3850435 | 1320 109920 362907 | 1 192254 43 | 0.000 % | 810.99/811.09 c | 3852325 | 1320 109920 362907 | 1 194144 44 | 0.000 % | 810.99/811.09 c | 3853875 | 1320 109920 362907 | 1 195694 44 | 0.000 % | 810.99/811.09 c | 3853975 | 1320 109920 362907 | 1 195794 44 | 0.000 % | 810.99/811.09 c | 3854094 | 1320 109920 362907 | 1 195913 44 | 0.000 % | 810.99/811.09 c | 3861816 | 1320 109920 362907 | 1 203635 45 | 0.000 % | 810.99/811.09 c | 3864275 | 1320 109920 362907 | 1 206094 46 | 0.000 % | 810.99/811.09 c | 3864378 | 1320 109920 362907 | 1 206197 46 | 0.000 % | 810.99/811.09 c | 3872241 | 1320 109920 362907 | 1 214060 47 | 0.000 % | 810.99/811.09 c | 3872851 | 1320 109920 362907 | 1 214670 47 | 0.000 % | 810.99/811.09 c | 3872952 | 1320 109920 362907 | 1 214771 47 | 0.000 % | 810.99/811.09 c | 3877475 | 1320 109920 362907 | 1 219294 47 | 0.000 % | 810.99/811.09 c | 3880363 | 1320 109920 362907 | 1 222182 48 | 0.000 % | 810.99/811.09 c | 3920774 | 1320 109920 362907 | 1 262593 51 | 0.000 % | 810.99/811.09 c | 3943046 | 1320 109920 362907 | 1 145670 34 | 0.000 % | 810.99/811.09 c | 3947771 | 1320 109920 362907 | 1 150395 35 | 0.000 % | 810.99/811.09 c | 3953463 | 1320 109920 362907 | 1 156087 36 | 0.000 % | 810.99/811.09 c | 3953564 | 1320 109920 362907 | 1 156188 36 | 0.000 % | 920.79/920.85 c | 3953664 | 1320 109920 362907 | 1 156288 36 | 0.000 % | 920.79/920.85 c | 3953766 | 1320 109920 362907 | 1 156390 37 | 0.000 % | 920.79/920.85 c | 3961082 | 1320 109920 362907 | 1 163706 38 | 0.000 % | 920.79/920.85 c | 3964932 | 1320 109920 362907 | 1 167556 39 | 0.000 % | 920.79/920.85 c | 3965970 | 1320 109920 362907 | 1 168594 39 | 0.000 % | 920.79/920.85 c | 3989181 | 1320 109920 362907 | 1 191805 43 | 0.000 % | 920.79/920.85 c | 3989660 | 1320 109920 362907 | 1 192284 43 | 0.000 % | 920.79/920.85 c | 3989872 | 1320 109920 362907 | 1 192496 43 | 0.000 % | 920.79/920.85 c | 3994733 | 1320 109920 362907 | 1 197357 43 | 0.000 % | 920.79/920.85 c | 4000595 | 1320 109920 362907 | 1 203219 44 | 0.000 % | 920.79/920.85 c | 4006204 | 1320 109920 362907 | 1 208828 45 | 0.000 % | 920.79/920.85 c | 4011500 | 1320 109920 362907 | 1 214124 45 | 0.000 % | 920.79/920.85 c | 4029604 | 1320 109920 362907 | 1 232228 47 | 0.000 % | 920.79/920.85 c | 4029967 | 1320 109920 362907 | 1 232591 47 | 0.000 % | 920.79/920.85 c | 4035011 | 1320 109920 362907 | 1 237635 47 | 0.000 % | 920.79/920.85 c | 4042699 | 1320 109920 362907 | 1 245323 48 | 0.000 % | 920.79/920.85 c | 4068747 | 1320 109920 362907 | 1 271371 50 | 0.000 % | 920.79/920.85 c | 4069213 | 1320 109920 362907 | 1 271837 50 | 0.000 % | 920.79/920.85 c | 4087771 | 1320 109920 362907 | 1 148593 33 | 0.000 % | 920.79/920.85 c | 4088388 | 1320 109920 362907 | 1 149210 33 | 0.000 % | 920.79/920.85 c | 4109458 | 1320 109920 362907 | 1 170280 38 | 0.000 % | 920.79/920.85 c | 4120538 | 1320 109920 362907 | 1 181360 40 | 0.000 % | 920.79/920.85 c | 4127504 | 1320 109920 362907 | 1 188326 41 | 0.000 % | 920.79/920.85 c | 4127604 | 1320 109920 362907 | 1 188426 41 | 0.000 % | 920.79/920.85 c | 4145199 | 1320 109920 362907 | 1 206021 43 | 0.000 % | 920.79/920.85 c | 4146545 | 1320 109920 362907 | 1 207367 43 | 0.000 % | 920.79/920.85 c | 4152771 | 1320 109920 362907 | 1 213593 44 | 0.000 % | 920.79/920.85 c | 4152871 | 1320 109920 362907 | 1 213693 44 | 0.000 % | 920.79/920.85 c | 4153136 | 1320 109920 362907 | 1 213958 44 | 0.000 % | 920.79/920.85 c | 4157720 | 1320 109920 362907 | 1 218542 44 | 0.000 % | 920.79/920.85 c | 4201281 | 1320 109920 362907 | 1 262103 48 | 0.000 % | 920.79/920.85 c | 4204041 | 1320 109920 362907 | 1 264863 49 | 0.000 % | 920.79/920.85 c | 4226402 | 1320 109920 362907 | 1 287224 50 | 0.000 % | 920.79/920.85 c | 4226504 | 1320 109920 362907 | 1 287326 50 | 0.000 % | 920.79/920.85 c | 4232113 | 1320 109920 362907 | 1 148529 32 | 0.000 % | 920.79/920.85 c | 4257505 | 1320 109920 362907 | 1 173921 39 | 0.000 % | 920.79/920.85 c | 4257605 | 1320 109920 362907 | 1 174021 39 | 0.000 % | 920.79/920.85 c | 4269568 | 1320 109920 362907 | 1 185984 40 | 0.000 % | 920.79/920.85 c | 4273615 | 1320 109920 362907 | 1 190031 41 | 0.000 % | 920.79/920.85 c | 4275697 | 1320 109920 362907 | 1 192113 42 | 0.000 % | 920.79/920.85 c | 4276265 | 1320 109920 362907 | 1 192681 42 | 0.000 % | 920.79/920.85 c | 4278046 | 1320 109920 362907 | 1 194462 42 | 0.000 % | 920.79/920.85 c | 4293879 | 1320 109920 362907 | 1 210295 43 | 0.000 % | 920.79/920.85 c | 4300840 | 1320 109920 362907 | 1 217256 44 | 0.000 % | 920.79/920.85 c | 4307951 | 1320 109920 362907 | 1 224367 45 | 0.000 % | 920.79/920.85 c | 4309668 | 1320 109920 362907 | 1 226084 45 | 0.000 % | 920.79/920.85 c | 4311859 | 1320 109920 362907 | 1 228275 45 | 0.000 % | 920.79/920.85 c | 4315663 | 1320 109920 362907 | 1 232079 46 | 0.000 % | 920.79/920.85 c | 4315809 | 1320 109920 362907 | 1 232225 46 | 0.000 % | 920.79/920.85 c | 4323485 | 1320 109920 362907 | 1 239901 47 | 0.000 % | 1014.29/1014.36 c | 4354471 | 1320 109920 362907 | 1 270887 49 | 0.000 % | 1014.29/1014.36 c | 4372454 | 1320 109920 362907 | 1 288870 50 | 0.000 % | 1014.29/1014.36 c | 4373248 | 1320 109920 362907 | 1 289664 50 | 0.000 % | 1014.29/1014.36 c | 4394591 | 1320 109920 362907 | 1 164004 35 | 0.000 % | 1014.29/1014.36 c | 4395853 | 1320 109920 362907 | 1 165266 36 | 0.000 % | 1014.29/1014.36 c | 4395953 | 1320 109920 362907 | 1 165366 36 | 0.000 % | 1014.29/1014.36 c | 4397657 | 1320 109920 362907 | 1 167070 36 | 0.000 % | 1014.29/1014.36 c | 4397757 | 1320 109920 362907 | 1 167170 36 | 0.000 % | 1014.29/1014.36 c | 4397951 | 1320 109920 362907 | 1 167364 36 | 0.000 % | 1014.29/1014.36 c | 4401403 | 1320 109920 362907 | 1 170816 37 | 0.000 % | 1014.29/1014.36 c | 4415308 | 1320 109920 362907 | 1 184721 39 | 0.000 % | 1014.29/1014.36 c | 4420862 | 1320 109920 362907 | 1 190275 40 | 0.000 % | 1014.29/1014.36 c | 4443395 | 1320 109920 362907 | 1 212808 43 | 0.000 % | 1014.29/1014.36 c | 4448001 | 1320 109920 362907 | 1 217414 44 | 0.000 % | 1014.29/1014.36 c | 4452475 | 1320 109920 362907 | 1 221888 44 | 0.000 % | 1014.29/1014.36 c | 4458358 | 1320 109920 362907 | 1 227771 45 | 0.000 % | 1014.29/1014.36 c | 4458902 | 1320 109920 362907 | 1 228315 45 | 0.000 % | 1014.29/1014.36 c | 4491091 | 1320 109920 362907 | 1 260504 47 | 0.000 % | 1014.29/1014.36 c | 4497855 | 1320 109920 362907 | 1 267268 47 | 0.000 % | 1014.29/1014.36 c | 4499552 | 1320 109920 362907 | 1 268965 47 | 0.000 % | 1014.29/1014.36 c | 4511410 | 1320 109920 362907 | 1 280823 48 | 0.000 % | 1014.29/1014.36 c | 4512167 | 1320 109920 362907 | 1 281580 48 | 0.000 % | 1014.29/1014.36 c | 4514750 | 1320 109920 362907 | 1 284163 48 | 0.000 % | 1014.29/1014.36 c | 4517239 | 1320 109920 362907 | 1 286652 49 | 0.000 % | 1014.29/1014.36 c | 4519720 | 1320 109920 362907 | 1 289133 49 | 0.000 % | 1014.29/1014.36 c | 4524353 | 1320 109920 362907 | 1 293766 49 | 0.000 % | 1014.29/1014.36 c | 4534756 | 1320 109920 362907 | 1 154570 33 | 0.000 % | 1014.29/1014.36 c | 4537212 | 1320 109920 362907 | 1 157026 33 | 0.000 % | 1014.29/1014.36 c | 4557905 | 1320 109920 362907 | 1 177719 38 | 0.000 % | 1014.29/1014.36 c | 4558261 | 1320 109920 362907 | 1 178075 38 | 0.000 % | 1014.29/1014.36 c | 4558361 | 1320 109920 362907 | 1 178175 38 | 0.000 % | 1014.29/1014.36 c | 4558468 | 1320 109920 362907 | 1 178282 38 | 0.000 % | 1014.29/1014.36 c | 4571849 | 1320 109920 362907 | 1 191663 40 | 0.000 % | 1014.29/1014.36 c | 4580136 | 1320 109920 362907 | 1 199950 42 | 0.000 % | 1014.29/1014.36 c | 4582375 | 1320 109920 362907 | 1 202189 42 | 0.000 % | 1014.29/1014.36 c | 4582692 | 1320 109920 362907 | 1 202506 42 | 0.000 % | 1014.29/1014.36 c | 4582805 | 1320 109920 362907 | 1 202619 42 | 0.000 % | 1014.29/1014.36 c | 4612783 | 1320 109920 362907 | 1 232597 45 | 0.000 % | 1014.29/1014.36 c | 4618789 | 1320 109920 362907 | 1 238603 46 | 0.000 % | 1014.29/1014.36 c | 4620345 | 1320 109920 362907 | 1 240159 46 | 0.000 % | 1014.29/1014.36 c | 4620652 | 1320 109920 362907 | 1 240466 46 | 0.000 % | 1014.29/1014.36 c | 4627245 | 1320 109920 362907 | 1 247059 47 | 0.000 % | 1014.29/1014.36 c | 4635206 | 1320 109920 362907 | 1 255020 48 | 0.000 % | 1014.29/1014.36 c | 4640393 | 1320 109920 362907 | 1 260207 48 | 0.000 % | 1014.29/1014.36 c | 4651586 | 1320 109920 362907 | 1 271400 49 | 0.000 % | 1014.29/1014.36 c | 4652032 | 1320 109920 362907 | 1 271846 49 | 0.000 % | 1014.29/1014.36 c | 4652518 | 1320 109920 362907 | 1 272332 49 | 0.000 % | 1014.29/1014.36 c | 4660879 | 1320 109920 362907 | 1 280693 49 | 0.000 % | 1014.29/1014.36 c | 4661448 | 1320 109920 362907 | 1 281262 49 | 0.000 % | 1014.29/1014.36 c | 4664262 | 1320 109920 362907 | 1 284076 49 | 0.000 % | 1111.90/1111.93 c | 4665452 | 1320 109920 362907 | 1 285266 49 | 0.000 % | 1111.90/1111.93 c | 4665552 | 1320 109920 362907 | 1 285366 50 | 0.000 % | 1111.90/1111.93 c | 4667251 | 1320 109920 362907 | 1 287065 50 | 0.000 % | 1111.90/1111.93 c | 4698194 | 1320 109920 362907 | 1 165805 34 | 0.000 % | 1111.90/1111.93 c | 4698720 | 1320 109920 362907 | 1 166331 34 | 0.000 % | 1111.90/1111.93 c | 4720130 | 1320 109920 362907 | 1 187741 38 | 0.000 % | 1111.90/1111.93 c | 4720230 | 1320 109920 362907 | 1 187841 38 | 0.000 % | 1111.90/1111.93 c | 4720332 | 1320 109920 362907 | 1 187943 38 | 0.000 % | 1111.90/1111.93 c | 4730828 | 1320 109920 362907 | 1 198439 39 | 0.000 % | 1111.90/1111.93 c | 4732578 | 1320 109920 362907 | 1 200189 40 | 0.000 % | 1111.90/1111.93 c | 4762371 | 1320 109920 362907 | 1 229982 45 | 0.000 % | 1111.90/1111.93 c | 4763971 | 1320 109920 362907 | 1 231582 45 | 0.000 % | 1111.90/1111.93 c | 4780428 | 1320 109920 362907 | 1 248039 46 | 0.000 % | 1111.90/1111.93 c | 4782798 | 1320 109920 362907 | 1 250409 46 | 0.000 % | 1111.90/1111.93 c | 4815711 | 1320 109920 362907 | 1 283322 49 | 0.000 % | 1111.90/1111.93 c | 4822389 | 1320 109920 362907 | 1 290000 50 | 0.000 % | 1111.90/1111.93 c | 4824378 | 1320 109920 362907 | 1 291989 50 | 0.000 % | 1111.90/1111.93 c | 4827107 | 1320 109920 362907 | 1 294718 50 | 0.000 % | 1111.90/1111.93 c | 4827279 | 1320 109920 362907 | 1 294890 50 | 0.000 % | 1111.90/1111.93 c | 4858061 | 1320 109920 362907 | 1 170876 35 | 0.000 % | 1111.90/1111.93 c | 4867429 | 1320 109920 362907 | 1 180244 36 | 0.000 % | 1111.90/1111.93 c | 4867529 | 1320 109920 362907 | 1 180344 36 | 0.000 % | 1111.90/1111.93 c | 4874763 | 1320 109920 362907 | 1 187578 37 | 0.000 % | 1111.90/1111.93 c | 4877506 | 1320 109920 362907 | 1 190321 38 | 0.000 % | 1111.90/1111.93 c | 4877787 | 1320 109920 362907 | 1 190602 38 | 0.000 % | 1111.90/1111.93 c | 4883904 | 1320 109920 362907 | 1 196719 39 | 0.000 % | 1111.90/1111.93 c | 4902094 | 1320 109920 362907 | 1 214909 41 | 0.000 % | 1111.90/1111.93 c | 4906992 | 1320 109920 362907 | 1 219807 42 | 0.000 % | 1111.90/1111.93 c | 4908239 | 1320 109920 362907 | 1 221054 42 | 0.000 % | 1111.90/1111.93 c | 4913731 | 1320 109920 362907 | 1 226546 43 | 0.000 % | 1111.90/1111.93 c | 4914576 | 1320 109920 362907 | 1 227391 43 | 0.000 % | 1111.90/1111.93 c | 4930862 | 1320 109920 362907 | 1 243677 44 | 0.000 % | 1111.90/1111.93 c | 4933182 | 1320 109920 362907 | 1 245997 44 | 0.000 % | 1111.90/1111.93 c | 4933285 | 1320 109920 362907 | 1 246100 44 | 0.000 % | 1111.90/1111.93 c | 4933389 | 1320 109920 362907 | 1 246204 44 | 0.000 % | 1111.90/1111.93 c | 4933489 | 1320 109920 362907 | 1 246304 44 | 0.000 % | 1111.90/1111.93 c | 4933592 | 1320 109920 362907 | 1 246407 44 | 0.000 % | 1111.90/1111.93 c | 4964199 | 1320 109920 362907 | 1 277014 47 | 0.000 % | 1111.90/1111.93 c | 4968462 | 1320 109920 362907 | 1 281277 48 | 0.000 % | 1111.90/1111.93 c | 4969243 | 1320 109920 362907 | 1 282058 48 | 0.000 % | 1111.90/1111.93 c | 4969930 | 1320 109920 362907 | 1 282745 48 | 0.000 % | 1111.90/1111.93 c | 4974309 | 1320 109920 362907 | 1 287124 48 | 0.000 % | 1111.90/1111.93 c | 4994522 | 1320 109920 362907 | 1 307337 49 | 0.000 % | 1111.90/1111.93 c | 4997867 | 1320 109920 362907 | 1 310682 49 | 0.000 % | 1111.90/1111.93 c | 5001350 | 1320 109920 362907 | 1 314165 49 | 0.000 % | 1111.90/1111.93 c | 5008322 | 1320 109920 362907 | 1 163739 33 | 0.000 % | 1111.90/1111.93 c | 5008539 | 1320 109920 362907 | 1 163956 33 | 0.000 % | 1111.90/1111.93 c | 5008659 | 1320 109920 362907 | 1 164076 33 | 0.000 % | 1111.90/1111.93 c | 5023416 | 1320 109920 362907 | 1 178833 35 | 0.000 % | 1111.90/1111.93 c | 5036688 | 1320 109920 362907 | 1 192105 37 | 0.000 % | 1202.70/1202.77 c | 5037386 | 1320 109920 362907 | 1 192803 37 | 0.000 % | 1202.70/1202.77 c | 5037487 | 1320 109920 362907 | 1 192904 37 | 0.000 % | 1202.70/1202.77 c | 5074114 | 1320 109920 362907 | 1 229531 41 | 0.000 % | 1202.70/1202.77 c | 5092330 | 1320 109920 362907 | 1 247747 43 | 0.000 % | 1202.70/1202.77 c | 5093222 | 1320 109920 362907 | 1 248639 44 | 0.000 % | 1202.70/1202.77 c | 5093322 | 1320 109920 362907 | 1 248739 44 | 0.000 % | 1202.70/1202.77 c | 5093959 | 1320 109920 362907 | 1 249376 44 | 0.000 % | 1202.70/1202.77 c | 5101935 | 1320 109920 362907 | 1 257352 44 | 0.000 % | 1202.70/1202.77 c | 5115039 | 1320 109920 362907 | 1 270456 46 | 0.000 % | 1202.70/1202.77 c | 5115597 | 1320 109920 362907 | 1 271014 46 | 0.000 % | 1202.70/1202.77 c | 5118427 | 1320 109920 362907 | 1 273844 46 | 0.000 % | 1202.70/1202.77 c | 5123713 | 1320 109920 362907 | 1 279130 47 | 0.000 % | 1202.70/1202.77 c | 5132816 | 1320 109920 362907 | 1 288233 47 | 0.000 % | 1202.70/1202.77 c | 5133077 | 1320 109920 362907 | 1 288494 47 | 0.000 % | 1202.70/1202.77 c | 5135660 | 1320 109920 362907 | 1 291077 47 | 0.000 % | 1202.70/1202.77 c | 5136646 | 1320 109920 362907 | 1 292063 47 | 0.000 % | 1202.70/1202.77 c | 5141856 | 1320 109920 362907 | 1 297273 48 | 0.000 % | 1202.70/1202.77 c | 5149984 | 1320 109920 362907 | 1 305401 48 | 0.000 % | 1202.70/1202.77 c | 5153451 | 1320 109920 362907 | 1 308868 48 | 0.000 % | 1202.70/1202.77 c | 5153551 | 1320 109920 362907 | 1 308968 48 | 0.000 % | 1202.70/1202.77 c | 5180821 | 1320 109920 362907 | 1 176244 34 | 0.000 % | 1202.70/1202.77 c | 5187336 | 1320 109920 362907 | 1 182759 35 | 0.000 % | 1202.70/1202.77 c | 5193678 | 1320 109920 362907 | 1 189101 36 | 0.000 % | 1202.70/1202.77 c | 5204241 | 1320 109920 362907 | 1 199664 38 | 0.000 % | 1202.70/1202.77 c | 5251210 | 1320 109920 362907 | 1 246633 43 | 0.000 % | 1202.70/1202.77 c | 5262815 | 1320 109920 362907 | 1 258238 44 | 0.000 % | 1202.70/1202.77 c | 5266055 | 1320 109920 362907 | 1 261478 44 | 0.000 % | 1202.70/1202.77 c | 5270903 | 1320 109920 362907 | 1 266326 45 | 0.000 % | 1202.70/1202.77 c | 5272211 | 1320 109920 362907 | 1 267634 45 | 0.000 % | 1202.70/1202.77 c | 5272614 | 1320 109920 362907 | 1 268037 45 | 0.000 % | 1202.70/1202.77 c | 5287334 | 1320 109920 362907 | 1 282757 46 | 0.000 % | 1202.70/1202.77 c | 5297847 | 1320 109920 362907 | 1 293270 47 | 0.000 % | 1202.70/1202.77 c | 5299320 | 1320 109920 362907 | 1 294743 47 | 0.000 % | 1202.70/1202.77 c | 5312880 | 1320 109920 362907 | 1 308303 48 | 0.000 % | 1202.70/1202.77 c | 5313600 | 1320 109920 362907 | 1 309023 48 | 0.000 % | 1202.70/1202.77 c | 5317363 | 1320 109920 362907 | 1 312786 48 | 0.000 % | 1202.70/1202.77 c | 5324247 | 1320 109920 362907 | 1 319670 49 | 0.000 % | 1202.70/1202.77 c | 5332537 | 1320 109920 362907 | 1 165358 31 | 0.000 % | 1202.70/1202.77 c | 5333066 | 1320 109920 362907 | 1 165887 32 | 0.000 % | 1202.70/1202.77 c | 5333166 | 1320 109920 362907 | 1 165987 32 | 0.000 % | 1202.70/1202.77 c | 5333270 | 1320 109920 362907 | 1 166091 32 | 0.000 % | 1202.70/1202.77 c | 5334710 | 1320 109920 362907 | 1 167531 32 | 0.000 % | 1202.70/1202.77 c | 5334819 | 1320 109920 362907 | 1 167640 32 | 0.000 % | 1202.70/1202.77 c | 5342351 | 1320 109920 362907 | 1 175172 34 | 0.000 % | 1202.70/1202.77 c | 5342522 | 1320 109920 362907 | 1 175343 34 | 0.000 % | 1202.70/1202.77 c | 5342622 | 1320 109920 362907 | 1 175443 34 | 0.000 % | 1202.70/1202.77 c | 5344842 | 1320 109920 362907 | 1 177663 35 | 0.000 % | 1202.70/1202.77 c | 5344968 | 1320 109920 362907 | 1 177789 35 | 0.000 % | 1202.70/1202.77 c | 5345068 | 1320 109920 362907 | 1 177889 35 | 0.000 % | 1202.70/1202.77 c | 5345169 | 1320 109920 362907 | 1 177990 35 | 0.000 % | 1264.60/1264.66 c | 5345292 | 1320 109920 362907 | 1 178113 35 | 0.000 % | 1264.60/1264.66 c | 5348632 | 1320 109920 362907 | 1 181453 36 | 0.000 % | 1264.60/1264.66 c | 5348732 | 1320 109920 362907 | 1 181553 36 | 0.000 % | 1264.60/1264.66 c | 5348913 | 1320 109920 362907 | 1 181734 36 | 0.000 % | 1264.60/1264.66 c | 5361508 | 1320 109920 362907 | 1 194329 38 | 0.000 % | 1264.60/1264.66 c | 5364603 | 1320 109920 362907 | 1 197424 39 | 0.000 % | 1264.60/1264.66 c | 5365261 | 1320 109920 362907 | 1 198082 39 | 0.000 % | 1264.60/1264.66 c | 5365771 | 1320 109920 362907 | 1 198592 39 | 0.000 % | 1264.60/1264.66 c | 5365873 | 1320 109920 362907 | 1 198694 39 | 0.000 % | 1264.60/1264.66 c | 5369959 | 1320 109920 362907 | 1 202780 39 | 0.000 % | 1264.60/1264.66 c | 5395488 | 1320 109920 362907 | 1 228309 43 | 0.000 % | 1264.60/1264.66 c | 5411201 | 1320 109920 362907 | 1 244022 44 | 0.000 % | 1264.60/1264.66 c | 5411850 | 1320 109920 362907 | 1 244671 44 | 0.000 % | 1264.60/1264.66 c | 5412172 | 1320 109920 362907 | 1 244993 44 | 0.000 % | 1264.60/1264.66 c | 5412753 | 1320 109920 362907 | 1 245574 44 | 0.000 % | 1264.60/1264.66 c | 5412855 | 1320 109920 362907 | 1 245676 44 | 0.000 % | 1264.60/1264.66 c | 5426692 | 1320 109920 362907 | 1 259513 47 | 0.000 % | 1264.60/1264.66 c | 5426914 | 1320 109920 362907 | 1 259735 47 | 0.000 % | 1264.60/1264.66 c | 5455257 | 1320 109920 362907 | 1 288078 51 | 0.000 % | 1264.60/1264.66 c | 5456882 | 1320 109920 362907 | 1 289703 51 | 0.000 % | 1264.60/1264.66 c | 5462439 | 1320 109920 362907 | 1 295260 51 | 0.000 % | 1264.60/1264.66 c | 5462543 | 1320 109920 362907 | 1 295364 51 | 0.000 % | 1264.60/1264.66 c | 5485261 | 1320 109920 362907 | 1 318082 53 | 0.000 % | 1264.60/1264.66 c | 5485361 | 1320 109920 362907 | 1 318182 53 | 0.000 % | 1264.60/1264.66 c | 5496171 | 1320 109920 362907 | 1 328992 54 | 0.000 % | 1264.60/1264.66 c | 5497786 | 1320 109920 362907 | 1 165406 33 | 0.000 % | 1264.60/1264.66 c | 5500127 | 1320 109920 362907 | 1 167747 34 | 0.000 % | 1264.60/1264.66 c | 5503223 | 1320 109920 362907 | 1 170843 34 | 0.000 % | 1264.60/1264.66 c | 5513916 | 1320 109920 362907 | 1 181536 36 | 0.000 % | 1264.60/1264.66 c | 5521649 | 1320 109920 362907 | 1 189269 38 | 0.000 % | 1264.60/1264.66 c | 5521753 | 1320 109920 362907 | 1 189373 38 | 0.000 % | 1264.60/1264.66 c | 5521854 | 1320 109920 362907 | 1 189474 38 | 0.000 % | 1264.60/1264.66 c | 5523524 | 1320 109920 362907 | 1 191144 38 | 0.000 % | 1264.60/1264.66 c | 5531336 | 1320 109920 362907 | 1 198956 39 | 0.000 % | 1264.60/1264.66 c | 5531727 | 1320 109920 362907 | 1 199347 39 | 0.000 % | 1264.60/1264.66 c | 5532604 | 1320 109920 362907 | 1 200224 39 | 0.000 % | 1264.60/1264.66 c | 5538969 | 1320 109920 362907 | 1 206589 40 | 0.000 % | 1264.60/1264.66 c | 5551477 | 1320 109920 362907 | 1 219097 42 | 0.000 % | 1264.60/1264.66 c | 5569025 | 1320 109920 362907 | 1 236645 44 | 0.000 % | 1264.60/1264.66 c | 5569488 | 1320 109920 362907 | 1 237108 44 | 0.000 % | 1264.60/1264.66 c | 5571230 | 1320 109920 362907 | 1 238850 44 | 0.000 % | 1264.60/1264.66 c | 5571330 | 1320 109920 362907 | 1 238950 44 | 0.000 % | 1264.60/1264.66 c | 5571590 | 1320 109920 362907 | 1 239210 44 | 0.000 % | 1264.60/1264.66 c | 5576804 | 1320 109920 362907 | 1 244424 45 | 0.000 % | 1264.60/1264.66 c | 5581575 | 1320 109920 362907 | 1 249195 45 | 0.000 % | 1264.60/1264.66 c | 5584974 | 1320 109920 362907 | 1 252594 46 | 0.000 % | 1264.60/1264.66 c | 5585466 | 1320 109920 362907 | 1 253086 46 | 0.000 % | 1264.60/1264.66 c | 5585583 | 1320 109920 362907 | 1 253203 46 | 0.000 % | 1264.60/1264.66 c | 5585683 | 1320 109920 362907 | 1 253303 46 | 0.000 % | 1264.60/1264.66 c | 5585783 | 1320 109920 362907 | 1
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-3258216-1303474378/watcher-3258216-1303474378 -o /tmp/evaluation-result-3258216-1303474378/solver-3258216-1303474378 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3258216-1303474378.cnf running on 2 cores: 0,2 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.85 1.36 2.44 2/176 23901 /proc/meminfo: memFree=13733916/32950928 swapFree=67111528/67111528 [pid=23901] ppid=23899 vsize=8704 CPUtime=0 cores=0,2 /proc/23901/stat : 23901 (glucose.sh) S 23899 23901 23003 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 459036614 8912896 253 33554432000 4194304 4922060 140737253976304 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23901/statm: 2176 253 211 178 0 69 0 [startup+0.046327 s] /proc/loadavg: 0.85 1.36 2.44 2/176 23901 /proc/meminfo: memFree=13733916/32950928 swapFree=67111528/67111528 [pid=23901] ppid=23899 vsize=8704 CPUtime=0 cores=0,2 /proc/23901/stat : 23901 (glucose.sh) S 23899 23901 23003 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 459036614 8912896 253 33554432000 4194304 4922060 140737253976304 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23901/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100315 s] /proc/loadavg: 0.85 1.36 2.44 2/176 23901 /proc/meminfo: memFree=13733916/32950928 swapFree=67111528/67111528 [pid=23901] ppid=23899 vsize=8704 CPUtime=0 cores=0,2 /proc/23901/stat : 23901 (glucose.sh) S 23899 23901 23003 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 459036614 8912896 253 33554432000 4194304 4922060 140737253976304 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23901/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.300362 s] /proc/loadavg: 0.85 1.36 2.44 2/176 23901 /proc/meminfo: memFree=13733916/32950928 swapFree=67111528/67111528 [pid=23901] ppid=23899 vsize=8704 CPUtime=0 cores=0,2 /proc/23901/stat : 23901 (glucose.sh) S 23899 23901 23003 0 -1 4202496 333 0 0 0 0 0 0 0 22 0 1 0 459036614 8912896 253 33554432000 4194304 4922060 140737253976304 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23901/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.700209 s] /proc/loadavg: 0.85 1.36 2.44 2/176 23901 /proc/meminfo: memFree=13733916/32950928 swapFree=67111528/67111528 [pid=23901] ppid=23899 vsize=8704 CPUtime=0.31 cores=0,2 /proc/23901/stat : 23901 (glucose.sh) S 23899 23901 23003 0 -1 4202496 359 2434 0 0 0 0 31 0 19 0 1 0 459036614 8912896 255 33554432000 4194304 4922060 140737253976304 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23901/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 8704 [startup+1.50112 s] /proc/loadavg: 0.85 1.36 2.44 5/194 23933 /proc/meminfo: memFree=13665064/32950928 swapFree=67111528/67111528 [pid=23901] ppid=23899 vsize=8704 CPUtime=0.31 cores=0,2 /proc/23901/stat : 23901 (glucose.sh) S 23899 23901 23003 0 -1 4202496 359 2434 0 0 0 0 31 0 19 0 1 0 459036614 8912896 255 33554432000 4194304 4922060 140737253976304 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23901/statm: 2176 255 211 178 0 69 0 [pid=23925] ppid=23901 vsize=30204 CPUtime=1.16 cores=0,2 /proc/23925/stat : 23925 (glucose_static) R 23901 23901 23003 0 -1 4202496 6751 0 0 0 115 1 0 0 24 0 1 0 459036647 30928896 3931 33554432000 4194304 4260849 140735361620096 18446744073709551615 4224453 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/23925/statm: 7551 3931 250 17 0 4192 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 38908 [startup+3.10084 s] /proc/loadavg: 0.85 1.36 2.44 5/194 23934 /proc/meminfo: memFree=13636400/32950928 swapFree=67111528/67111528 [pid=23901] ppid=23899 vsize=8704 CPUtime=0.31 cores=0,2 /proc/23901/stat : 23901 (glucose.sh) S 23899 23901 23003 0 -1 4202496 359 2434 0 0 0 0 31 0 19 0 1 0 459036614 8912896 255 33554432000 4194304 4922060 140737253976304 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23901/statm: 2176 255 211 178 0 69 0 [pid=23925] ppid=23901 vsize=38976 CPUtime=2.76 cores=0,2 /proc/23925/stat : 23925 (glucose_static) R 23901 23901 23003 0 -1 4202496 9628 0 0 0 275 1 0 0 25 0 1 0 459036647 39911424 6571 33554432000 4194304 4260849 140735361620096 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/23925/statm: 9744 6571 250 17 0 6385 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 47680 [startup+6.30021 s] /proc/loadavg: 1.10 1.41 2.45 5/194 23934 /proc/meminfo: memFree=13591652/32950928 swapFree=67111528/67111528 [pid=23901] ppid=23899 vsize=8704 CPUtime=0.31 cores=0,2 /proc/23901/stat : 23901 (glucose.sh) S 23899 23901 23003 0 -1 4202496 359 2434 0 0 0 0 31 0 19 0 1 0 459036614 8912896 255 33554432000 4194304 4922060 140737253976304 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23901/statm: 2176 255 211 178 0 69 0 [pid=23925] ppid=23901 vsize=41696 CPUtime=5.96 cores=0,2 /proc/23925/stat : 23925 (glucose_static) R 23901 23901 23003 0 -1 4202496 10324 0 0 0 595 1 0 0 25 0 1 0 459036647 42696704 7251 33554432000 4194304 4260849 140735361620096 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/23925/statm: 10424 7251 250 17 0 7065 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 50400 [startup+12.7011 s] /proc/loadavg: 1.33 1.45 2.46 5/194 23934 /proc/meminfo: memFree=13576124/32950928 swapFree=67111528/67111528 [pid=23901] ppid=23899 vsize=8704 CPUtime=0.31 cores=0,2 /proc/23901/stat : 23901 (glucose.sh) S 23899 23901 23003 0 -1 4202496 359 2434 0 0 0 0 31 0 19 0 1 0 459036614 8912896 255 33554432000 4194304 4922060 140737253976304 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23901/statm: 2176 255 211 178 0 69 0 [pid=23925] ppid=23901 vsize=48888 CPUtime=12.36 cores=0,2 /proc/23925/stat : 23925 (glucose_static) R 23901 23901 23003 0 -1 4202496 18371 0 0 0 1233 3 0 0 25 0 1 0 459036647 50061312 7442 33554432000 4194304 4260849 140735361620096 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/23925/statm: 12222 7442 250 17 0 8863 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 57592 [startup+25.5008 s] /proc/loadavg: 1.92 1.57 2.48 5/194 23934 /proc/meminfo: memFree=13534352/32950928 swapFree=67111528/67111528 [pid=23901] ppid=23899 vsize=8704 CPUtime=0.31 cores=0,2 /proc/23901/stat : 23901 (glucose.sh) S 23899 23901 23003 0 -1 4202496 359 2434 0 0 0 0 31 0 19 0 1 0 459036614 8912896 255 33554432000 4194304 4922060 140737253976304 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23901/statm: 2176 255 211 178 0 69 0 [pid=23925] ppid=23901 vsize=64800 CPUtime=25.16 cores=0,2 /proc/23925/stat : 23925 (glucose_static) R 23901 23901 23003 0 -1 4202496 20134 0 0 0 2513 3 0 0 25 0 1 0 459036647 66355200 9078 33554432000 4194304 4260849 140735361620096 18446744073709551615 4246868 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/23925/statm: 16200 9078 250 17 0 12841 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 73504 [startup+51.1002 s] /proc/loadavg: 2.63 1.77 2.52 5/194 23935 /proc/meminfo: memFree=13466160/32950928 swapFree=67111528/67111528 [pid=23901] ppid=23899 vsize=8704 CPUtime=0.31 cores=0,2 /proc/23901/stat : 23901 (glucose.sh) S 23899 23901 23003 0 -1 4202496 359 2434 0 0 0 0 31 0 19 0 1 0 459036614 8912896 255 33554432000 4194304 4922060 140737253976304 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23901/statm: 2176 255 211 178 0 69 0 [pid=23925] ppid=23901 vsize=65188 CPUtime=50.76 cores=0,2 /proc/23925/stat : 23925 (glucose_static) R 23901 23901 23003 0 -1 4202496 24336 0 0 0 5071 5 0 0 25 0 1 0 459036647 66752512 13106 33554432000 4194304 4260849 140735361620096 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/23925/statm: 16297 13106 250 17 0 12938 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 73892 [startup+102.307 s] /proc/loadavg: 3.40 2.11 2.60 5/194 23936 /proc/meminfo: memFree=13385788/32950928 swapFree=67111528/67111528 [pid=23901] ppid=23899 vsize=8704 CPUtime=0.31 cores=0,2 /proc/23901/stat : 23901 (glucose.sh) S 23899 23901 23003 0 -1 4202496 359 2434 0 0 0 0 31 0 19 0 1 0 459036614 8912896 255 33554432000 4194304 4922060 140737253976304 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23901/statm: 2176 255 211 178 0 69 0 [pid=23925] ppid=23901 vsize=84024 CPUtime=101.97 cores=0,2 /proc/23925/stat : 23925 (glucose_static) R 23901 23901 23003 0 -1 4202496 34258 0 0 0 10189 8 0 0 25 0 1 0 459036647 86040576 17810 33554432000 4194304 4260849 140735361620096 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/23925/statm: 21006 17810 250 17 0 17647 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 92728 [startup+162.3 s] /proc/loadavg: 3.78 2.45 2.68 6/194 23938 /proc/meminfo: memFree=13383752/32950928 swapFree=67111528/67111528 [pid=23901] ppid=23899 vsize=8704 CPUtime=0.31 cores=0,2 /proc/23901/stat : 23901 (glucose.sh) S 23899 23901 23003 0 -1 4202496 359 2434 0 0 0 0 31 0 19 0 1 0 459036614 8912896 255 33554432000 4194304 4922060 140737253976304 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23901/statm: 2176 255 211 178 0 69 0 [pid=23925] ppid=23901 vsize=84024 CPUtime=161.97 cores=0,2 /proc/23925/stat : 23925 (glucose_static) R 23901 23901 23003 0 -1 4202496 50260 0 0 0 16187 10 0 0 25 0 1 0 459036647 86040576 17850 33554432000 4194304 4260849 140735361620096 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/23925/statm: 21006 17850 251 17 0 17647 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 92728 [startup+222.301 s] /proc/loadavg: 3.92 2.73 2.76 5/194 23940 /proc/meminfo: memFree=13385340/32950928 swapFree=67111528/67111528 [pid=23901] ppid=23899 vsize=8704 CPUtime=0.31 cores=0,2 /proc/23901/stat : 23901 (glucose.sh) S 23899 23901 23003 0 -1 4202496 359 2434 0 0 0 0 31 0 19 0 1 0 459036614 8912896 255 33554432000 4194304 4922060 140737253976304 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23901/statm: 2176 255 211 178 0 69 0 [pid=23925] ppid=23901 vsize=96316 CPUtime=221.96 cores=0,2 /proc/23925/stat : 23925 (glucose_static) R 23901 23901 23003 0 -1 4202496 87575 0 0 0 22180 16 0 0 25 0 1 0 459036647 98627584 20923 33554432000 4194304 4260849 140735361620096 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/23925/statm: 24079 20923 251 17 0 20720 0 Current children cumulated CPU time (s) 222.27 Current children cumulated vsize (KiB) 105020 [startup+282.301 s] /proc/loadavg: 3.97 2.96 2.83 5/194 23941 /proc/meminfo: memFree=13359016/32950928 swapFree=67111528/67111528 [pid=23901] ppid=23899 vsize=8704 CPUtime=0.31 cores=0,2 /proc/23901/stat : 23901 (glucose.sh) S 23899 23901 23003 0 -1 4202496 359 2434 0 0 0 0 31 0 19 0 1 0 459036614 8912896 255 33554432000 4194304 4922060 140737253976304 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23901/statm: 2176 255 211 178 0 69 0 [pid=23925] ppid=23901 vsize=96316 CPUtime=281.97 cores=0,2 /proc/23925/stat : 23925 (glucose_static) R 23901 23901 23003 0 -1 4202496 125370 0 0 0 28175 22 0 0 25 0 1 0 459036647 98627584 20923 33554432000 4194304 4260849 140735361620096 18446744073709551615 4224867 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/23925/statm: 24079 20923 251 17 0 20720 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 105020 [startup+342.3 s] /proc/loadavg: 3.99 3.15 2.91 5/194 23943 /proc/meminfo: memFree=13282704/32950928 swapFree=67111528/67111528 [pid=23901] ppid=23899 vsize=8704 CPUtime=0.31 cores=0,2 /proc/23901/stat : 23901 (glucose.sh) S 23899 23901 23003 0 -1 4202496 359 2434 0 0 0 0 31 0 19 0 1 0 459036614 8912896 255 33554432000 4194304 4922060 140737253976304 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23901/statm: 2176 255 211 178 0 69 0 [pid=23925] ppid=23901 vsize=96316 CPUtime=341.97 cores=0,2 /proc/23925/stat : 23925 (glucose_static) R 23901 23901 23003 0 -1 4202496 156533 0 0 0 34170 27 0 0 25 0 1 0 459036647 98627584 20923 33554432000 4194304 4260849 140735361620096 18446744073709551615 4225129 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/23925/statm: 24079 20923 251 17 0 20720 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 105020 [startup+402.301 s] /proc/loadavg: 4.08 3.33 2.98 5/194 23944 /proc/meminfo: memFree=13238644/32950928 swapFree=67111528/67111528 [pid=23901] ppid=23899 vsize=8704 CPUtime=0.31 cores=0,2 ################ # More data... # ################ /proc/23925/statm: 36409 33096 251 17 0 33050 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 154340 [startup+642.301 s] /proc/loadavg: 4.00 3.69 3.20 5/194 23951 /proc/meminfo: memFree=13245392/32950928 swapFree=67111528/67111528 [pid=23901] ppid=23899 vsize=8704 CPUtime=0.31 cores=0,2 /proc/23901/stat : 23901 (glucose.sh) S 23899 23901 23003 0 -1 4202496 359 2434 0 0 0 0 31 0 19 0 1 0 459036614 8912896 255 33554432000 4194304 4922060 140737253976304 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23901/statm: 2176 255 211 178 0 69 0 [pid=23925] ppid=23901 vsize=96316 CPUtime=641.98 cores=0,2 /proc/23925/stat : 23925 (glucose_static) R 23901 23901 23003 0 -1 4202496 309449 0 0 0 64140 58 0 0 25 0 1 0 459036647 98627584 20935 33554432000 4194304 4260849 140735361620096 18446744073709551615 4226859 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/23925/statm: 24079 20935 251 17 0 20720 0 Current children cumulated CPU time (s) 642.29 Current children cumulated vsize (KiB) 105020 [startup+702.301 s] /proc/loadavg: 4.00 3.74 3.25 5/194 23952 /proc/meminfo: memFree=13253420/32950928 swapFree=67111528/67111528 [pid=23901] ppid=23899 vsize=8704 CPUtime=0.31 cores=0,2 /proc/23901/stat : 23901 (glucose.sh) S 23899 23901 23003 0 -1 4202496 359 2434 0 0 0 0 31 0 19 0 1 0 459036614 8912896 255 33554432000 4194304 4922060 140737253976304 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23901/statm: 2176 255 211 178 0 69 0 [pid=23925] ppid=23901 vsize=96316 CPUtime=701.98 cores=0,2 /proc/23925/stat : 23925 (glucose_static) R 23901 23901 23003 0 -1 4202496 338181 0 0 0 70134 64 0 0 25 0 1 0 459036647 98627584 20935 33554432000 4194304 4260849 140735361620096 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/23925/statm: 24079 20935 251 17 0 20720 0 Current children cumulated CPU time (s) 702.29 Current children cumulated vsize (KiB) 105020 [startup+762.307 s] /proc/loadavg: 4.00 3.79 3.29 5/194 23954 /proc/meminfo: memFree=13264272/32950928 swapFree=67111528/67111528 [pid=23901] ppid=23899 vsize=8704 CPUtime=0.31 cores=0,2 /proc/23901/stat : 23901 (glucose.sh) S 23899 23901 23003 0 -1 4202496 359 2434 0 0 0 0 31 0 19 0 1 0 459036614 8912896 255 33554432000 4194304 4922060 140737253976304 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23901/statm: 2176 255 211 178 0 69 0 [pid=23925] ppid=23901 vsize=176456 CPUtime=761.99 cores=0,2 /proc/23925/stat : 23925 (glucose_static) R 23901 23901 23003 0 -1 4202496 365512 0 0 0 76129 70 0 0 25 0 1 0 459036647 180690944 33584 33554432000 4194304 4260849 140735361620096 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/23925/statm: 44114 33584 251 17 0 40755 0 Current children cumulated CPU time (s) 762.3 Current children cumulated vsize (KiB) 185160 [startup+822.301 s] /proc/loadavg: 4.00 3.82 3.33 5/194 23956 /proc/meminfo: memFree=13151896/32950928 swapFree=67111528/67111528 [pid=23901] ppid=23899 vsize=8704 CPUtime=0.31 cores=0,2 /proc/23901/stat : 23901 (glucose.sh) S 23899 23901 23003 0 -1 4202496 359 2434 0 0 0 0 31 0 19 0 1 0 459036614 8912896 255 33554432000 4194304 4922060 140737253976304 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23901/statm: 2176 255 211 178 0 69 0 [pid=23925] ppid=23901 vsize=145636 CPUtime=821.98 cores=0,2 /proc/23925/stat : 23925 (glucose_static) R 23901 23901 23003 0 -1 4202496 392438 0 0 0 82122 76 0 0 25 0 1 0 459036647 149131264 30547 33554432000 4194304 4260849 140735361620096 18446744073709551615 4224845 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/23925/statm: 36409 30547 251 17 0 33050 0 Current children cumulated CPU time (s) 822.29 Current children cumulated vsize (KiB) 154340 [startup+882.301 s] /proc/loadavg: 4.00 3.85 3.37 5/194 23957 /proc/meminfo: memFree=13149624/32950928 swapFree=67111528/67111528 [pid=23901] ppid=23899 vsize=8704 CPUtime=0.31 cores=0,2 /proc/23901/stat : 23901 (glucose.sh) S 23899 23901 23003 0 -1 4202496 359 2434 0 0 0 0 31 0 19 0 1 0 459036614 8912896 255 33554432000 4194304 4922060 140737253976304 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23901/statm: 2176 255 211 178 0 69 0 [pid=23925] ppid=23901 vsize=176456 CPUtime=881.98 cores=0,2 /proc/23925/stat : 23925 (glucose_static) R 23901 23901 23003 0 -1 4202496 411310 0 0 0 88117 81 0 0 25 0 1 0 459036647 180690944 33831 33554432000 4194304 4260849 140735361620096 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/23925/statm: 44114 33831 251 17 0 40755 0 Current children cumulated CPU time (s) 882.29 Current children cumulated vsize (KiB) 185160 [startup+942.3 s] /proc/loadavg: 4.12 3.91 3.42 5/194 23959 /proc/meminfo: memFree=13210596/32950928 swapFree=67111528/67111528 [pid=23901] ppid=23899 vsize=8704 CPUtime=0.31 cores=0,2 /proc/23901/stat : 23901 (glucose.sh) S 23899 23901 23003 0 -1 4202496 359 2434 0 0 0 0 31 0 19 0 1 0 459036614 8912896 255 33554432000 4194304 4922060 140737253976304 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23901/statm: 2176 255 211 178 0 69 0 [pid=23925] ppid=23901 vsize=96316 CPUtime=941.98 cores=0,2 /proc/23925/stat : 23925 (glucose_static) R 23901 23901 23003 0 -1 4202496 430210 0 0 0 94112 86 0 0 25 0 1 0 459036647 98627584 20935 33554432000 4194304 4260849 140735361620096 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/23925/statm: 24079 20935 251 17 0 20720 0 Current children cumulated CPU time (s) 942.29 Current children cumulated vsize (KiB) 105020 [startup+1002.3 s] /proc/loadavg: 4.04 3.92 3.45 5/194 23960 /proc/meminfo: memFree=13179540/32950928 swapFree=67111528/67111528 [pid=23901] ppid=23899 vsize=8704 CPUtime=0.31 cores=0,2 /proc/23901/stat : 23901 (glucose.sh) S 23899 23901 23003 0 -1 4202496 359 2434 0 0 0 0 31 0 19 0 1 0 459036614 8912896 255 33554432000 4194304 4922060 140737253976304 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23901/statm: 2176 255 211 178 0 69 0 [pid=23925] ppid=23901 vsize=176456 CPUtime=1001.98 cores=0,2 /proc/23925/stat : 23925 (glucose_static) R 23901 23901 23003 0 -1 4202496 458742 0 0 0 100106 92 0 0 25 0 1 0 459036647 180690944 33292 33554432000 4194304 4260849 140735361620096 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/23925/statm: 44114 33292 251 17 0 40755 0 Current children cumulated CPU time (s) 1002.29 Current children cumulated vsize (KiB) 185160 [startup+1062.3 s] /proc/loadavg: 4.01 3.93 3.48 5/194 23962 /proc/meminfo: memFree=13098148/32950928 swapFree=67111528/67111528 [pid=23901] ppid=23899 vsize=8704 CPUtime=0.31 cores=0,2 /proc/23901/stat : 23901 (glucose.sh) S 23899 23901 23003 0 -1 4202496 359 2434 0 0 0 0 31 0 19 0 1 0 459036614 8912896 255 33554432000 4194304 4922060 140737253976304 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23901/statm: 2176 255 211 178 0 69 0 [pid=23925] ppid=23901 vsize=96316 CPUtime=1061.99 cores=0,2 /proc/23925/stat : 23925 (glucose_static) R 23901 23901 23003 0 -1 4202496 479745 0 0 0 106101 98 0 0 25 0 1 0 459036647 98627584 20935 33554432000 4194304 4260849 140735361620096 18446744073709551615 4224509 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/23925/statm: 24079 20935 251 17 0 20720 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 105020 [startup+1122.3 s] /proc/loadavg: 4.00 3.94 3.51 5/194 23964 /proc/meminfo: memFree=13095896/32950928 swapFree=67111528/67111528 [pid=23901] ppid=23899 vsize=8704 CPUtime=0.31 cores=0,2 /proc/23901/stat : 23901 (glucose.sh) S 23899 23901 23003 0 -1 4202496 359 2434 0 0 0 0 31 0 19 0 1 0 459036614 8912896 255 33554432000 4194304 4922060 140737253976304 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23901/statm: 2176 255 211 178 0 69 0 [pid=23925] ppid=23901 vsize=145636 CPUtime=1121.99 cores=0,2 /proc/23925/stat : 23925 (glucose_static) R 23901 23901 23003 0 -1 4202496 507527 0 0 0 112096 103 0 0 25 0 1 0 459036647 149131264 31878 33554432000 4194304 4260849 140735361620096 18446744073709551615 4224808 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/23925/statm: 36409 31878 251 17 0 33050 0 Current children cumulated CPU time (s) 1122.3 Current children cumulated vsize (KiB) 154340 [startup+1182.3 s] /proc/loadavg: 4.00 3.95 3.54 5/194 23965 /proc/meminfo: memFree=13125128/32950928 swapFree=67111528/67111528 [pid=23901] ppid=23899 vsize=8704 CPUtime=0.31 cores=0,2 /proc/23901/stat : 23901 (glucose.sh) S 23899 23901 23003 0 -1 4202496 359 2434 0 0 0 0 31 0 19 0 1 0 459036614 8912896 255 33554432000 4194304 4922060 140737253976304 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23901/statm: 2176 255 211 178 0 69 0 [pid=23925] ppid=23901 vsize=176456 CPUtime=1181.99 cores=0,2 /proc/23925/stat : 23925 (glucose_static) R 23901 23901 23003 0 -1 4202496 526837 0 0 0 118090 109 0 0 25 0 1 0 459036647 180690944 34140 33554432000 4194304 4260849 140735361620096 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/23925/statm: 44114 34140 251 17 0 40755 0 Current children cumulated CPU time (s) 1182.3 Current children cumulated vsize (KiB) 185160 [startup+1242.3 s] /proc/loadavg: 4.00 3.95 3.57 5/194 23967 /proc/meminfo: memFree=13094720/32950928 swapFree=67111528/67111528 [pid=23901] ppid=23899 vsize=8704 CPUtime=0.31 cores=0,2 /proc/23901/stat : 23901 (glucose.sh) S 23899 23901 23003 0 -1 4202496 359 2434 0 0 0 0 31 0 19 0 1 0 459036614 8912896 255 33554432000 4194304 4922060 140737253976304 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23901/statm: 2176 255 211 178 0 69 0 [pid=23925] ppid=23901 vsize=176456 CPUtime=1241.99 cores=0,2 /proc/23925/stat : 23925 (glucose_static) R 23901 23901 23003 0 -1 4202496 549867 0 0 0 124082 117 0 0 25 0 1 0 459036647 180690944 39738 33554432000 4194304 4260849 140735361620096 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/23925/statm: 44114 39738 251 17 0 40755 0 Current children cumulated CPU time (s) 1242.3 Current children cumulated vsize (KiB) 185160 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+1300 s] /proc/loadavg: 4.00 3.96 3.59 5/194 23968 /proc/meminfo: memFree=13139828/32950928 swapFree=67111528/67111528 [pid=23901] ppid=23899 vsize=8704 CPUtime=0.31 cores=0,2 /proc/23901/stat : 23901 (glucose.sh) S 23899 23901 23003 0 -1 4202496 359 2434 0 0 0 0 31 0 19 0 1 0 459036614 8912896 255 33554432000 4194304 4922060 140737253976304 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/23901/statm: 2176 255 211 178 0 69 0 [pid=23925] ppid=23901 vsize=145636 CPUtime=1299.7 cores=0,2 /proc/23925/stat : 23925 (glucose_static) R 23901 23901 23003 0 -1 4202496 578547 0 0 0 129845 125 0 0 25 0 1 0 459036647 149131264 30767 33554432000 4194304 4260849 140735361620096 18446744073709551615 4225149 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/23925/statm: 36409 30767 251 17 0 33050 0 Current children cumulated CPU time (s) 1300.01 Current children cumulated vsize (KiB) 154340 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 23901 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=316951 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=5999 # CPU time returned by wait4() is 0.32295 # while last known CPU time is 1300.01 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1300.01 CPU time (s): 1300.01 CPU user time (s): 1298.76 CPU system time (s): 1.25 CPU usage (%): 99.9997 Max. virtual memory (cumulated for all children) (KiB): 185160 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.316951 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= 2793 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= 12 involuntary context switches= 17 runsolver used 2.03569 second user time and 5.07023 second system time The end
Begin job on node122 at 2011-04-22 14:12:58 IDJOB=3258216 IDBENCH=71315 IDSOLVER=1651 FILE ID=node122/3258216-1303474378 RUNJOBID= node122-1303474378-23883 PBS_JOBID= 13107194 Free space on /tmp= 71136 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT09/CRAFTED/rbsat/random/unforced/rbsat-v1375c111739g6.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3258216-1303474378/watcher-3258216-1303474378 -o /tmp/evaluation-result-3258216-1303474378/solver-3258216-1303474378 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3258216-1303474378.cnf TIME LIMIT= 2400 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= c7c04151ac14a13eb4a03259d055e119 RANDOM SEED=207871308 node122.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.820 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.64 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.820 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.820 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.75 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.820 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.83 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.820 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.75 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.820 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.820 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.75 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.820 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.97 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 13734212 kB Buffers: 1282576 kB Cached: 17325916 kB SwapCached: 0 kB Active: 8683064 kB Inactive: 9993964 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 13734212 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2772 kB Writeback: 0 kB AnonPages: 68368 kB Mapped: 14684 kB Slab: 475036 kB PageTables: 4724 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 192472 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= 71112 MiB End job on node122 at 2011-04-22 14:34:40