| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | ? (TO) | 1300.02 | 1300.01 |
| Name | CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g7.cnf |
| MD5SUM | f39e50b5cd7b50d1971722973512a1b8 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 6.09707 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1150 |
| Number of clauses | 84314 |
| Sum of the clauses size | 169678 |
| Maximum clause length | 23 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 84264 |
| 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 | 50 |
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 | 84314 169678 | 25294 0 0 nan | 0.000 % | 0.00/0.18 c | 0 | 82815 271467 | -- 0 -- -- | -- | -1499/101789 0.00/0.18 c ============================================================================== 0.00/0.18 c Result : #vars: 1100 #clauses: 82815 #literals: 271467 0.00/0.18 c CPU time: 0.175973 s 0.00/0.18 c ============================================================================== 0.00/0.22 c 0.00/0.22 c Starting glucose 0.00/0.22 c 226.78/226.86 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 226.78/226.86 c WARNING: for repeatability, setting FPU to use double precision 226.78/226.86 c ============================[ Problem Statistics ]============================= 226.78/226.86 c | | 226.78/226.86 c | Number of variables: 1100 | 226.78/226.86 c | Number of clauses: 82815 | 226.78/226.86 c | Parse time: 0.02 s | 226.78/226.86 c | | 226.78/226.86 c ============================[ Search Statistics ]============================== 226.78/226.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 226.78/226.86 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 226.78/226.86 c =============================================================================== 226.78/226.86 c | 19540 | 1100 82815 271467 | 1 13250 104 | 0.000 % | 226.78/226.86 c | 20576 | 1100 82815 271467 | 1 7531 62 | 0.000 % | 226.78/226.86 c | 138668 | 1100 82815 271467 | 1 31291 50 | 0.000 % | 226.78/226.86 c | 174172 | 1100 82815 271467 | 1 41993 57 | 0.000 % | 226.78/226.86 c | 280371 | 1100 82815 271467 | 1 58203 52 | 0.000 % | 226.78/226.86 c | 376560 | 1100 82815 271467 | 1 40990 35 | 0.000 % | 226.78/226.86 c | 376997 | 1100 82815 271467 | 1 41427 36 | 0.000 % | 226.78/226.86 c | 476627 | 1100 82815 271467 | 1 52453 40 | 0.000 % | 226.78/226.86 c | 504477 | 1100 82815 271467 | 1 80303 50 | 0.000 % | 226.78/226.86 c | 514692 | 1100 82815 271467 | 1 90518 51 | 0.000 % | 226.78/226.86 c | 525524 | 1100 82815 271467 | 1 53146 37 | 0.000 % | 226.78/226.86 c | 635259 | 1100 82815 271467 | 1 58688 35 | 0.000 % | 226.78/226.86 c | 915442 | 1100 82815 271467 | 1 99254 39 | 0.000 % | 226.78/226.86 c | 925314 | 1100 82815 271467 | 1 109126 40 | 0.000 % | 226.78/226.86 c | 926259 | 1100 82815 271467 | 1 110071 40 | 0.000 % | 226.78/226.86 c | 956246 | 1100 82815 271467 | 1 73664 34 | 0.000 % | 226.78/226.86 c | 956348 | 1100 82815 271467 | 1 73766 34 | 0.000 % | 226.78/226.86 c | 994517 | 1100 82815 271467 | 1 111935 48 | 0.000 % | 226.78/226.86 c | 1014143 | 1100 82815 271467 | 1 131561 50 | 0.000 % | 226.78/226.86 c | 1017771 | 1100 82815 271467 | 1 135189 50 | 0.000 % | 226.78/226.86 c | 1024281 | 1100 82815 271467 | 1 72703 36 | 0.000 % | 226.78/226.86 c | 1063640 | 1100 82815 271467 | 1 112062 44 | 0.000 % | 226.78/226.86 c | 1072316 | 1100 82815 271467 | 1 120738 45 | 0.000 % | 226.78/226.86 c | 1091534 | 1100 82815 271467 | 1 139956 49 | 0.000 % | 226.78/226.86 c | 1164065 | 1100 82815 271467 | 1 140882 46 | 0.000 % | 226.78/226.86 c | 1178784 | 1100 82815 271467 | 1 81414 35 | 0.000 % | 226.78/226.86 c | 1190466 | 1100 82815 271467 | 1 93096 38 | 0.000 % | 226.78/226.86 c | 1191317 | 1100 82815 271467 | 1 93947 38 | 0.000 % | 226.78/226.86 c | 1200416 | 1100 82815 271467 | 1 103046 40 | 0.000 % | 226.78/226.86 c | 1235898 | 1100 82815 271467 | 1 138528 45 | 0.000 % | 226.78/226.86 c | 1266538 | 1100 82815 271467 | 1 92366 36 | 0.000 % | 226.78/226.86 c | 1370084 | 1100 82815 271467 | 1 116511 36 | 0.000 % | 226.78/226.86 c | 1391633 | 1100 82815 271467 | 1 138060 40 | 0.000 % | 226.78/226.86 c | 1427537 | 1100 82815 271467 | 1 91957 33 | 0.000 % | 226.78/226.86 c | 1439039 | 1100 82815 271467 | 1 103459 35 | 0.000 % | 226.78/226.86 c | 1451264 | 1100 82815 271467 | 1 115684 38 | 0.000 % | 226.78/226.86 c | 1451947 | 1100 82815 271467 | 1 116367 38 | 0.000 % | 226.78/226.86 c | 1452080 | 1100 82815 271467 | 1 116500 38 | 0.000 % | 226.78/226.86 c | 1463557 | 1100 82815 271467 | 1 127977 40 | 0.000 % | 423.78/423.89 c | 1464768 | 1100 82815 271467 | 1 129188 41 | 0.000 % | 423.78/423.89 c | 1497510 | 1100 82815 271467 | 1 161930 46 | 0.000 % | 423.78/423.89 c | 1497610 | 1100 82815 271467 | 1 162030 46 | 0.000 % | 423.78/423.89 c | 1559816 | 1100 82815 271467 | 1 139639 42 | 0.000 % | 423.78/423.89 c | 1667242 | 1100 82815 271467 | 1 159859 43 | 0.000 % | 423.78/423.89 c | 1704534 | 1100 82815 271467 | 1 107349 34 | 0.000 % | 423.78/423.89 c | 1716047 | 1100 82815 271467 | 1 118862 38 | 0.000 % | 423.78/423.89 c | 1723060 | 1100 82815 271467 | 1 125875 39 | 0.000 % | 423.78/423.89 c | 1750037 | 1100 82815 271467 | 1 152852 43 | 0.000 % | 423.78/423.89 c | 1750172 | 1100 82815 271467 | 1 152987 43 | 0.000 % | 423.78/423.89 c | 1750272 | 1100 82815 271467 | 1 153087 43 | 0.000 % | 423.78/423.89 c | 1755355 | 1100 82815 271467 | 1 158170 44 | 0.000 % | 423.78/423.89 c | 1755511 | 1100 82815 271467 | 1 158326 44 | 0.000 % | 423.78/423.89 c | 1764550 | 1100 82815 271467 | 1 167365 45 | 0.000 % | 423.78/423.89 c | 1766092 | 1100 82815 271467 | 1 168907 45 | 0.000 % | 423.78/423.89 c | 1778449 | 1100 82815 271467 | 1 181264 46 | 0.000 % | 423.78/423.89 c | 1789459 | 1100 82815 271467 | 1 99872 33 | 0.000 % | 423.78/423.89 c | 1904205 | 1100 82815 271467 | 1 119625 36 | 0.000 % | 423.78/423.89 c | 1920042 | 1100 82815 271467 | 1 135462 38 | 0.000 % | 423.78/423.89 c | 1923665 | 1100 82815 271467 | 1 139085 38 | 0.000 % | 423.78/423.89 c | 1937805 | 1100 82815 271467 | 1 153225 40 | 0.000 % | 423.78/423.89 c | 1968679 | 1100 82815 271467 | 1 184099 44 | 0.000 % | 423.78/423.89 c | 1979238 | 1100 82815 271467 | 1 194658 45 | 0.000 % | 423.78/423.89 c | 1984984 | 1100 82815 271467 | 1 102796 31 | 0.000 % | 423.78/423.89 c | 1987747 | 1100 82815 271467 | 1 105559 32 | 0.000 % | 423.78/423.89 c | 2018025 | 1100 82815 271467 | 1 135837 38 | 0.000 % | 423.78/423.89 c | 2019584 | 1100 82815 271467 | 1 137396 38 | 0.000 % | 423.78/423.89 c | 2024299 | 1100 82815 271467 | 1 142111 39 | 0.000 % | 423.78/423.89 c | 2111733 | 1100 82815 271467 | 1 129347 36 | 0.000 % | 423.78/423.89 c | 2116859 | 1100 82815 271467 | 1 134473 37 | 0.000 % | 423.78/423.89 c | 2129674 | 1100 82815 271467 | 1 147288 40 | 0.000 % | 423.78/423.89 c | 2159576 | 1100 82815 271467 | 1 177190 42 | 0.000 % | 423.78/423.89 c | 2181854 | 1100 82815 271467 | 1 199468 43 | 0.000 % | 423.78/423.89 c | 2182072 | 1100 82815 271467 | 1 199686 43 | 0.000 % | 423.78/423.89 c | 2208559 | 1100 82815 271467 | 1 123380 33 | 0.000 % | 423.78/423.89 c | 2212508 | 1100 82815 271467 | 1 127329 34 | 0.000 % | 423.78/423.89 c | 2247411 | 1100 82815 271467 | 1 162232 37 | 0.000 % | 423.78/423.89 c | 2258707 | 1100 82815 271467 | 1 173528 38 | 0.000 % | 423.78/423.89 c | 2327383 | 1100 82815 271467 | 1 136808 34 | 0.000 % | 423.78/423.89 c | 2332985 | 1100 82815 271467 | 1 142410 34 | 0.000 % | 423.78/423.89 c | 2333335 | 1100 82815 271467 | 1 142760 34 | 0.000 % | 423.78/423.89 c | 2382598 | 1100 82815 271467 | 1 192023 39 | 0.000 % | 423.78/423.89 c | 2383948 | 1100 82815 271467 | 1 193373 40 | 0.000 % | 423.78/423.89 c | 2389740 | 1100 82815 271467 | 1 199165 40 | 0.000 % | 423.78/423.89 c | 2395038 | 1100 82815 271467 | 1 204463 41 | 0.000 % | 423.78/423.89 c | 2412879 | 1100 82815 271467 | 1 114312 31 | 0.000 % | 423.78/423.89 c | 2427297 | 1100 82815 271467 | 1 128730 34 | 0.000 % | 423.78/423.89 c | 2441716 | 1100 82815 271467 | 1 143149 36 | 0.000 % | 423.78/423.89 c | 2449922 | 1100 82815 271467 | 1 151355 37 | 0.000 % | 423.78/423.89 c | 2469342 | 1100 82815 271467 | 1 170775 40 | 0.000 % | 513.99/514.09 c | 2476606 | 1100 82815 271467 | 1 178039 41 | 0.000 % | 513.99/514.09 c | 2479511 | 1100 82815 271467 | 1 180944 42 | 0.000 % | 513.99/514.09 c | 2490279 | 1100 82815 271467 | 1 191712 42 | 0.000 % | 513.99/514.09 c | 2490777 | 1100 82815 271467 | 1 192210 42 | 0.000 % | 513.99/514.09 c | 2490879 | 1100 82815 271467 | 1 192312 42 | 0.000 % | 513.99/514.09 c | 2492167 | 1100 82815 271467 | 1 193600 43 | 0.000 % | 513.99/514.09 c | 2492344 | 1100 82815 271467 | 1 193777 43 | 0.000 % | 513.99/514.09 c | 2506574 | 1100 82815 271467 | 1 208007 43 | 0.000 % | 513.99/514.09 c | 2513428 | 1100 82815 271467 | 1 214861 44 | 0.000 % | 513.99/514.09 c | 2517560 | 1100 82815 271467 | 1 218993 44 | 0.000 % | 513.99/514.09 c | 2517660 | 1100 82815 271467 | 1 219093 44 | 0.000 % | 513.99/514.09 c | 2520904 | 1100 82815 271467 | 1 111726 29 | 0.000 % | 513.99/514.09 c | 2537663 | 1100 82815 271467 | 1 128485 33 | 0.000 % | 513.99/514.09 c | 2552651 | 1100 82815 271467 | 1 143473 36 | 0.000 % | 513.99/514.09 c | 2564132 | 1100 82815 271467 | 1 154954 38 | 0.000 % | 513.99/514.09 c | 2567922 | 1100 82815 271467 | 1 158744 39 | 0.000 % | 513.99/514.09 c | 2569937 | 1100 82815 271467 | 1 160759 39 | 0.000 % | 513.99/514.09 c | 2604205 | 1100 82815 271467 | 1 195027 43 | 0.000 % | 513.99/514.09 c | 2641909 | 1100 82815 271467 | 1 119542 31 | 0.000 % | 513.99/514.09 c | 2642129 | 1100 82815 271467 | 1 119762 31 | 0.000 % | 513.99/514.09 c | 2642575 | 1100 82815 271467 | 1 120208 31 | 0.000 % | 513.99/514.09 c | 2644574 | 1100 82815 271467 | 1 122207 32 | 0.000 % | 513.99/514.09 c | 2645571 | 1100 82815 271467 | 1 123204 32 | 0.000 % | 513.99/514.09 c | 2660877 | 1100 82815 271467 | 1 138510 36 | 0.000 % | 513.99/514.09 c | 2661156 | 1100 82815 271467 | 1 138789 36 | 0.000 % | 513.99/514.09 c | 2661894 | 1100 82815 271467 | 1 139527 36 | 0.000 % | 513.99/514.09 c | 2693216 | 1100 82815 271467 | 1 170849 42 | 0.000 % | 513.99/514.09 c | 2698397 | 1100 82815 271467 | 1 176030 43 | 0.000 % | 513.99/514.09 c | 2698497 | 1100 82815 271467 | 1 176130 43 | 0.000 % | 513.99/514.09 c | 2705054 | 1100 82815 271467 | 1 182687 44 | 0.000 % | 513.99/514.09 c | 2721732 | 1100 82815 271467 | 1 199365 44 | 0.000 % | 513.99/514.09 c | 2735506 | 1100 82815 271467 | 1 213139 45 | 0.000 % | 513.99/514.09 c | 2752770 | 1100 82815 271467 | 1 230403 45 | 0.000 % | 513.99/514.09 c | 2752971 | 1100 82815 271467 | 1 230604 45 | 0.000 % | 513.99/514.09 c | 2764592 | 1100 82815 271467 | 1 126418 31 | 0.000 % | 513.99/514.09 c | 2764692 | 1100 82815 271467 | 1 126518 31 | 0.000 % | 513.99/514.09 c | 2804660 | 1100 82815 271467 | 1 166486 37 | 0.000 % | 513.99/514.09 c | 2817212 | 1100 82815 271467 | 1 179038 38 | 0.000 % | 513.99/514.09 c | 2824345 | 1100 82815 271467 | 1 186171 39 | 0.000 % | 513.99/514.09 c | 2826824 | 1100 82815 271467 | 1 188650 39 | 0.000 % | 513.99/514.09 c | 2827026 | 1100 82815 271467 | 1 188852 39 | 0.000 % | 513.99/514.09 c | 2828748 | 1100 82815 271467 | 1 190574 39 | 0.000 % | 513.99/514.09 c | 2834183 | 1100 82815 271467 | 1 196009 40 | 0.000 % | 513.99/514.09 c | 2836758 | 1100 82815 271467 | 1 198584 40 | 0.000 % | 513.99/514.09 c | 2861439 | 1100 82815 271467 | 1 223265 42 | 0.000 % | 513.99/514.09 c | 2861541 | 1100 82815 271467 | 1 223367 42 | 0.000 % | 513.99/514.09 c | 2879317 | 1100 82815 271467 | 1 122740 30 | 0.000 % | 513.99/514.09 c | 2882036 | 1100 82815 271467 | 1 125459 31 | 0.000 % | 513.99/514.09 c | 2891230 | 1100 82815 271467 | 1 134653 32 | 0.000 % | 513.99/514.09 c | 2926247 | 1100 82815 271467 | 1 169670 36 | 0.000 % | 649.19/649.20 c | 2971029 | 1100 82815 271467 | 1 214452 41 | 0.000 % | 649.19/649.20 c | 2997043 | 1100 82815 271467 | 1 240466 42 | 0.000 % | 649.19/649.20 c | 2997278 | 1100 82815 271467 | 1 240701 42 | 0.000 % | 649.19/649.20 c | 3021616 | 1100 82815 271467 | 1 144038 32 | 0.000 % | 649.19/649.20 c | 3021717 | 1100 82815 271467 | 1 144139 32 | 0.000 % | 649.19/649.20 c | 3035439 | 1100 82815 271467 | 1 157861 35 | 0.000 % | 649.19/649.20 c | 3040179 | 1100 82815 271467 | 1 162601 35 | 0.000 % | 649.19/649.20 c | 3059777 | 1100 82815 271467 | 1 182199 38 | 0.000 % | 649.19/649.20 c | 3063489 | 1100 82815 271467 | 1 185911 39 | 0.000 % | 649.19/649.20 c | 3103642 | 1100 82815 271467 | 1 226064 43 | 0.000 % | 649.19/649.20 c | 3118481 | 1100 82815 271467 | 1 240903 44 | 0.000 % | 649.19/649.20 c | 3122219 | 1100 82815 271467 | 1 244641 44 | 0.000 % | 649.19/649.20 c | 3126123 | 1100 82815 271467 | 1 124946 30 | 0.000 % | 649.19/649.20 c | 3162788 | 1100 82815 271467 | 1 161611 38 | 0.000 % | 649.19/649.20 c | 3191722 | 1100 82815 271467 | 1 190545 41 | 0.000 % | 649.19/649.20 c | 3201712 | 1100 82815 271467 | 1 200535 42 | 0.000 % | 649.19/649.20 c | 3217346 | 1100 82815 271467 | 1 216169 43 | 0.000 % | 649.19/649.20 c | 3218319 | 1100 82815 271467 | 1 217142 43 | 0.000 % | 649.19/649.20 c | 3226572 | 1100 82815 271467 | 1 225395 45 | 0.000 % | 649.19/649.20 c | 3231617 | 1100 82815 271467 | 1 230440 45 | 0.000 % | 649.19/649.20 c | 3238284 | 1100 82815 271467 | 1 237107 46 | 0.000 % | 649.19/649.20 c | 3241890 | 1100 82815 271467 | 1 240713 46 | 0.000 % | 649.19/649.20 c | 3276220 | 1100 82815 271467 | 1 148838 33 | 0.000 % | 649.19/649.20 c | 3278602 | 1100 82815 271467 | 1 151220 33 | 0.000 % | 649.19/649.20 c | 3285256 | 1100 82815 271467 | 1 157874 34 | 0.000 % | 649.19/649.20 c | 3346710 | 1100 82815 271467 | 1 219328 40 | 0.000 % | 649.19/649.20 c | 3350948 | 1100 82815 271467 | 1 223566 41 | 0.000 % | 649.19/649.20 c | 3403501 | 1100 82815 271467 | 1 147316 31 | 0.000 % | 649.19/649.20 c | 3407159 | 1100 82815 271467 | 1 150974 31 | 0.000 % | 649.19/649.20 c | 3443031 | 1100 82815 271467 | 1 186846 37 | 0.000 % | 649.19/649.20 c | 3443131 | 1100 82815 271467 | 1 186946 37 | 0.000 % | 649.19/649.20 c | 3446619 | 1100 82815 271467 | 1 190434 37 | 0.000 % | 649.19/649.20 c | 3448214 | 1100 82815 271467 | 1 192029 37 | 0.000 % | 649.19/649.20 c | 3448318 | 1100 82815 271467 | 1 192133 37 | 0.000 % | 649.19/649.20 c | 3456608 | 1100 82815 271467 | 1 200423 38 | 0.000 % | 649.19/649.20 c | 3474755 | 1100 82815 271467 | 1 218570 40 | 0.000 % | 649.19/649.20 c | 3488139 | 1100 82815 271467 | 1 231954 41 | 0.000 % | 649.19/649.20 c | 3493697 | 1100 82815 271467 | 1 237512 41 | 0.000 % | 649.19/649.20 c | 3503280 | 1100 82815 271467 | 1 247095 42 | 0.000 % | 649.19/649.20 c | 3506794 | 1100 82815 271467 | 1 250609 42 | 0.000 % | 649.19/649.20 c | 3515907 | 1100 82815 271467 | 1 259722 43 | 0.000 % | 649.19/649.20 c | 3519487 | 1100 82815 271467 | 1 131903 29 | 0.000 % | 649.19/649.20 c | 3527068 | 1100 82815 271467 | 1 139484 31 | 0.000 % | 649.19/649.20 c | 3531630 | 1100 82815 271467 | 1 144046 32 | 0.000 % | 649.19/649.20 c | 3531958 | 1100 82815 271467 | 1 144374 32 | 0.000 % | 649.19/649.20 c | 3532668 | 1100 82815 271467 | 1 145084 32 | 0.000 % | 649.19/649.20 c | 3573331 | 1100 82815 271467 | 1 185747 37 | 0.000 % | 649.19/649.20 c | 3574427 | 1100 82815 271467 | 1 186843 37 | 0.000 % | 649.19/649.20 c | 3574680 | 1100 82815 271467 | 1 187096 37 | 0.000 % | 649.19/649.20 c | 3590121 | 1100 82815 271467 | 1 202537 39 | 0.000 % | 774.10/774.10 c | 3590780 | 1100 82815 271467 | 1 203196 39 | 0.000 % | 774.10/774.10 c | 3600044 | 1100 82815 271467 | 1 212460 40 | 0.000 % | 774.10/774.10 c | 3634173 | 1100 82815 271467 | 1 246589 43 | 0.000 % | 774.10/774.10 c | 3638157 | 1100 82815 271467 | 1 250573 43 | 0.000 % | 774.10/774.10 c | 3652714 | 1100 82815 271467 | 1 265130 44 | 0.000 % | 774.10/774.10 c | 3688061 | 1100 82815 271467 | 1 166474 34 | 0.000 % | 774.10/774.10 c | 3693383 | 1100 82815 271467 | 1 171796 35 | 0.000 % | 774.10/774.10 c | 3712831 | 1100 82815 271467 | 1 191244 37 | 0.000 % | 774.10/774.10 c | 3713335 | 1100 82815 271467 | 1 191748 37 | 0.000 % | 774.10/774.10 c | 3730893 | 1100 82815 271467 | 1 209306 39 | 0.000 % | 774.10/774.10 c | 3745894 | 1100 82815 271467 | 1 224307 40 | 0.000 % | 774.10/774.10 c | 3745997 | 1100 82815 271467 | 1 224410 40 | 0.000 % | 774.10/774.10 c | 3750355 | 1100 82815 271467 | 1 228768 40 | 0.000 % | 774.10/774.10 c | 3751427 | 1100 82815 271467 | 1 229840 40 | 0.000 % | 774.10/774.10 c | 3759534 | 1100 82815 271467 | 1 237947 41 | 0.000 % | 774.10/774.10 c | 3771045 | 1100 82815 271467 | 1 249458 41 | 0.000 % | 774.10/774.10 c | 3776665 | 1100 82815 271467 | 1 255078 42 | 0.000 % | 774.10/774.10 c | 3776765 | 1100 82815 271467 | 1 255178 42 | 0.000 % | 774.10/774.10 c | 3778480 | 1100 82815 271467 | 1 256893 42 | 0.000 % | 774.10/774.10 c | 3785543 | 1100 82815 271467 | 1 263956 42 | 0.000 % | 774.10/774.10 c | 3787247 | 1100 82815 271467 | 1 265660 43 | 0.000 % | 774.10/774.10 c | 3787672 | 1100 82815 271467 | 1 266085 43 | 0.000 % | 774.10/774.10 c | 3815069 | 1100 82815 271467 | 1 156888 31 | 0.000 % | 774.10/774.10 c | 3818334 | 1100 82815 271467 | 1 160153 32 | 0.000 % | 774.10/774.10 c | 3818780 | 1100 82815 271467 | 1 160599 32 | 0.000 % | 774.10/774.10 c | 3834689 | 1100 82815 271467 | 1 176508 34 | 0.000 % | 774.10/774.10 c | 3846561 | 1100 82815 271467 | 1 188380 36 | 0.000 % | 774.10/774.10 c | 3853346 | 1100 82815 271467 | 1 195165 37 | 0.000 % | 774.10/774.10 c | 3853448 | 1100 82815 271467 | 1 195267 37 | 0.000 % | 774.10/774.10 c | 3857730 | 1100 82815 271467 | 1 199549 38 | 0.000 % | 774.10/774.10 c | 3944123 | 1100 82815 271467 | 1 146751 30 | 0.000 % | 774.10/774.10 c | 3995536 | 1100 82815 271467 | 1 198164 36 | 0.000 % | 774.10/774.10 c | 4008285 | 1100 82815 271467 | 1 210913 38 | 0.000 % | 774.10/774.10 c | 4008385 | 1100 82815 271467 | 1 211013 38 | 0.000 % | 774.10/774.10 c | 4010686 | 1100 82815 271467 | 1 213314 38 | 0.000 % | 774.10/774.10 c | 4010786 | 1100 82815 271467 | 1 213414 38 | 0.000 % | 774.10/774.10 c | 4011523 | 1100 82815 271467 | 1 214151 38 | 0.000 % | 774.10/774.10 c | 4025737 | 1100 82815 271467 | 1 228365 39 | 0.000 % | 774.10/774.10 c | 4057407 | 1100 82815 271467 | 1 260035 44 | 0.000 % | 774.10/774.10 c | 4059306 | 1100 82815 271467 | 1 261934 44 | 0.000 % | 774.10/774.10 c | 4061669 | 1100 82815 271467 | 1 264297 44 | 0.000 % | 774.10/774.10 c | 4068845 | 1100 82815 271467 | 1 271473 44 | 0.000 % | 774.10/774.10 c | 4078325 | 1100 82815 271467 | 1 280953 45 | 0.000 % | 774.10/774.10 c | 4079108 | 1100 82815 271467 | 1 281736 45 | 0.000 % | 774.10/774.10 c | 4092278 | 1100 82815 271467 | 1 153096 31 | 0.000 % | 774.10/774.10 c | 4092576 | 1100 82815 271467 | 1 153394 31 | 0.000 % | 774.10/774.10 c | 4094567 | 1100 82815 271467 | 1 155385 32 | 0.000 % | 774.10/774.10 c | 4094667 | 1100 82815 271467 | 1 155485 32 | 0.000 % | 774.10/774.10 c | 4143707 | 1100 82815 271467 | 1 204525 38 | 0.000 % | 774.10/774.10 c | 4157505 | 1100 82815 271467 | 1 218323 40 | 0.000 % | 841.10/841.19 c | 4171995 | 1100 82815 271467 | 1 232813 41 | 0.000 % | 841.10/841.19 c | 4173137 | 1100 82815 271467 | 1 233955 41 | 0.000 % | 841.10/841.19 c | 4174477 | 1100 82815 271467 | 1 235295 42 | 0.000 % | 841.10/841.19 c | 4180220 | 1100 82815 271467 | 1 241038 42 | 0.000 % | 841.10/841.19 c | 4188968 | 1100 82815 271467 | 1 249786 43 | 0.000 % | 841.10/841.19 c | 4193978 | 1100 82815 271467 | 1 254796 43 | 0.000 % | 841.10/841.19 c | 4196583 | 1100 82815 271467 | 1 257401 44 | 0.000 % | 841.10/841.19 c | 4196683 | 1100 82815 271467 | 1 257501 44 | 0.000 % | 841.10/841.19 c | 4198962 | 1100 82815 271467 | 1 259780 44 | 0.000 % | 841.10/841.19 c | 4199063 | 1100 82815 271467 | 1 259881 44 | 0.000 % | 841.10/841.19 c | 4212957 | 1100 82815 271467 | 1 273775 44 | 0.000 % | 841.10/841.19 c | 4213058 | 1100 82815 271467 | 1 273876 44 | 0.000 % | 841.10/841.19 c | 4213160 | 1100 82815 271467 | 1 273978 44 | 0.000 % | 841.10/841.19 c | 4225916 | 1100 82815 271467 | 1 286734 45 | 0.000 % | 841.10/841.19 c | 4242954 | 1100 82815 271467 | 1 159376 32 | 0.000 % | 841.10/841.19 c | 4250017 | 1100 82815 271467 | 1 166439 33 | 0.000 % | 841.10/841.19 c | 4251629 | 1100 82815 271467 | 1 168051 33 | 0.000 % | 841.10/841.19 c | 4256810 | 1100 82815 271467 | 1 173232 34 | 0.000 % | 841.10/841.19 c | 4262176 | 1100 82815 271467 | 1 178598 35 | 0.000 % | 841.10/841.19 c | 4267990 | 1100 82815 271467 | 1 184412 36 | 0.000 % | 841.10/841.19 c | 4272099 | 1100 82815 271467 | 1 188521 36 | 0.000 % | 841.10/841.19 c | 4277726 | 1100 82815 271467 | 1 194148 37 | 0.000 % | 841.10/841.19 c | 4283111 | 1100 82815 271467 | 1 199533 38 | 0.000 % | 841.10/841.19 c | 4290845 | 1100 82815 271467 | 1 207267 39 | 0.000 % | 841.10/841.19 c | 4305244 | 1100 82815 271467 | 1 221666 40 | 0.000 % | 841.10/841.20 c | 4311937 | 1100 82815 271467 | 1 228359 41 | 0.000 % | 841.10/841.20 c | 4318206 | 1100 82815 271467 | 1 234628 42 | 0.000 % | 841.10/841.20 c | 4318613 | 1100 82815 271467 | 1 235035 42 | 0.000 % | 841.10/841.20 c | 4327073 | 1100 82815 271467 | 1 243495 43 | 0.000 % | 841.10/841.20 c | 4338993 | 1100 82815 271467 | 1 255415 43 | 0.000 % | 841.10/841.20 c | 4346789 | 1100 82815 271467 | 1 263211 43 | 0.000 % | 841.10/841.20 c | 4346891 | 1100 82815 271467 | 1 263313 43 | 0.000 % | 841.10/841.20 c | 4349059 | 1100 82815 271467 | 1 265481 43 | 0.000 % | 841.10/841.20 c | 4349206 | 1100 82815 271467 | 1 265628 43 | 0.000 % | 841.10/841.20 c | 4360776 | 1100 82815 271467 | 1 277198 44 | 0.000 % | 841.10/841.20 c | 4360877 | 1100 82815 271467 | 1 277299 44 | 0.000 % | 841.10/841.20 c | 4365823 | 1100 82815 271467 | 1 282245 44 | 0.000 % | 841.10/841.20 c | 4385873 | 1100 82815 271467 | 1 155294 30 | 0.000 % | 841.10/841.20 c | 4386001 | 1100 82815 271467 | 1 155422 30 | 0.000 % | 841.10/841.20 c | 4393090 | 1100 82815 271467 | 1 162511 31 | 0.000 % | 841.10/841.20 c | 4399489 | 1100 82815 271467 | 1 168910 33 | 0.000 % | 841.10/841.20 c | 4399641 | 1100 82815 271467 | 1 169062 33 | 0.000 % | 841.10/841.20 c | 4430945 | 1100 82815 271467 | 1 200366 37 | 0.000 % | 841.10/841.20 c | 4435301 | 1100 82815 271467 | 1 204722 38 | 0.000 % | 841.10/841.20 c | 4441698 | 1100 82815 271467 | 1 211119 39 | 0.000 % | 841.10/841.20 c | 4441811 | 1100 82815 271467 | 1 211232 39 | 0.000 % | 841.10/841.20 c | 4441911 | 1100 82815 271467 | 1 211332 39 | 0.000 % | 841.10/841.20 c | 4466053 | 1100 82815 271467 | 1 235474 40 | 0.000 % | 841.10/841.20 c | 4466154 | 1100 82815 271467 | 1 235575 40 | 0.000 % | 841.10/841.20 c | 4466898 | 1100 82815 271467 | 1 236319 40 | 0.000 % | 947.11/947.11 c | 4467443 | 1100 82815 271467 | 1 236864 40 | 0.000 % | 947.11/947.11 c | 4467547 | 1100 82815 271467 | 1 236968 40 | 0.000 % | 947.11/947.11 c | 4468711 | 1100 82815 271467 | 1 238132 40 | 0.000 % | 947.11/947.11 c | 4468938 | 1100 82815 271467 | 1 238359 40 | 0.000 % | 947.11/947.11 c | 4471423 | 1100 82815 271467 | 1 240844 40 | 0.000 % | 947.11/947.11 c | 4476609 | 1100 82815 271467 | 1 246030 41 | 0.000 % | 947.11/947.11 c | 4483473 | 1100 82815 271467 | 1 252894 41 | 0.000 % | 947.11/947.11 c | 4484332 | 1100 82815 271467 | 1 253753 42 | 0.000 % | 947.11/947.11 c | 4490735 | 1100 82815 271467 | 1 260156 42 | 0.000 % | 947.11/947.11 c | 4497235 | 1100 82815 271467 | 1 266656 43 | 0.000 % | 947.11/947.11 c | 4500589 | 1100 82815 271467 | 1 270010 43 | 0.000 % | 947.11/947.11 c | 4501652 | 1100 82815 271467 | 1 271073 43 | 0.000 % | 947.11/947.11 c | 4501980 | 1100 82815 271467 | 1 271401 43 | 0.000 % | 947.11/947.11 c | 4546158 | 1100 82815 271467 | 1 165972 31 | 0.000 % | 947.11/947.11 c | 4579242 | 1100 82815 271467 | 1 199056 35 | 0.000 % | 947.11/947.11 c | 4591801 | 1100 82815 271467 | 1 211615 36 | 0.000 % | 947.11/947.11 c | 4601894 | 1100 82815 271467 | 1 221708 37 | 0.000 % | 947.11/947.11 c | 4602105 | 1100 82815 271467 | 1 221919 37 | 0.000 % | 947.11/947.11 c | 4607908 | 1100 82815 271467 | 1 227722 37 | 0.000 % | 947.11/947.11 c | 4643731 | 1100 82815 271467 | 1 263545 41 | 0.000 % | 947.11/947.11 c | 4644077 | 1100 82815 271467 | 1 263891 41 | 0.000 % | 947.11/947.11 c | 4644643 | 1100 82815 271467 | 1 264457 41 | 0.000 % | 947.11/947.11 c | 4658692 | 1100 82815 271467 | 1 278506 41 | 0.000 % | 947.11/947.11 c | 4666031 | 1100 82815 271467 | 1 285845 42 | 0.000 % | 947.11/947.11 c | 4673912 | 1100 82815 271467 | 1 293726 42 | 0.000 % | 947.11/947.11 c | 4685519 | 1100 82815 271467 | 1 153140 28 | 0.000 % | 947.11/947.11 c | 4702411 | 1100 82815 271467 | 1 170032 31 | 0.000 % | 947.11/947.11 c | 4705440 | 1100 82815 271467 | 1 173061 32 | 0.000 % | 947.11/947.11 c | 4727663 | 1100 82815 271467 | 1 195284 35 | 0.000 % | 947.11/947.11 c | 4728099 | 1100 82815 271467 | 1 195720 35 | 0.000 % | 947.11/947.11 c | 4734212 | 1100 82815 271467 | 1 201833 36 | 0.000 % | 947.11/947.11 c | 4737901 | 1100 82815 271467 | 1 205522 37 | 0.000 % | 947.11/947.11 c | 4757676 | 1100 82815 271467 | 1 225297 39 | 0.000 % | 947.11/947.11 c | 4765809 | 1100 82815 271467 | 1 233430 40 | 0.000 % | 947.11/947.11 c | 4775158 | 1100 82815 271467 | 1 242779 41 | 0.000 % | 947.11/947.11 c | 4786203 | 1100 82815 271467 | 1 253824 42 | 0.000 % | 947.11/947.11 c | 4816035 | 1100 82815 271467 | 1 283656 43 | 0.000 % | 947.11/947.11 c | 4824131 | 1100 82815 271467 | 1 291752 44 | 0.000 % | 947.11/947.11 c | 4884651 | 1100 82815 271467 | 1 197475 36 | 0.000 % | 947.11/947.11 c | 4897249 | 1100 82815 271467 | 1 210073 37 | 0.000 % | 947.11/947.11 c | 4902509 | 1100 82815 271467 | 1 215333 38 | 0.000 % | 947.11/947.11 c | 4902864 | 1100 82815 271467 | 1 215688 38 | 0.000 % | 947.11/947.11 c | 4907155 | 1100 82815 271467 | 1 219979 39 | 0.000 % | 947.11/947.11 c | 4909997 | 1100 82815 271467 | 1 222821 39 | 0.000 % | 947.11/947.11 c | 4910779 | 1100 82815 271467 | 1 223603 39 | 0.000 % | 947.11/947.11 c | 4914977 | 1100 82815 271467 | 1 227801 40 | 0.000 % | 947.11/947.11 c | 4928045 | 1100 82815 271467 | 1 240869 41 | 0.000 % | 947.11/947.11 c | 4941990 | 1100 82815 271467 | 1 254814 42 | 0.000 % | 947.11/947.11 c | 4942092 | 1100 82815 271467 | 1 254916 42 | 0.000 % | 1026.31/1026.37 c | 4948620 | 1100 82815 271467 | 1 261444 43 | 0.000 % | 1026.31/1026.37 c | 4949940 | 1100 82815 271467 | 1 262764 43 | 0.000 % | 1026.31/1026.37 c | 4985628 | 1100 82815 271467 | 1 298452 45 | 0.000 % | 1026.31/1026.37 c | 4991605 | 1100 82815 271467 | 1 304429 45 | 0.000 % | 1026.31/1026.37 c | 4992036 | 1100 82815 271467 | 1 304860 45 | 0.000 % | 1026.31/1026.37 c | 5034882 | 1100 82815 271467 | 1 190300 33 | 0.000 % | 1026.31/1026.37 c | 5044467 | 1100 82815 271467 | 1 199885 34 | 0.000 % | 1026.31/1026.37 c | 5046290 | 1100 82815 271467 | 1 201708 34 | 0.000 % | 1026.31/1026.37 c | 5060654 | 1100 82815 271467 | 1 216072 36 | 0.000 % | 1026.31/1026.37 c | 5077339 | 1100 82815 271467 | 1 232757 37 | 0.000 % | 1026.31/1026.37 c | 5077886 | 1100 82815 271467 | 1 233304 37 | 0.000 % | 1026.31/1026.37 c | 5082447 | 1100 82815 271467 | 1 237865 37 | 0.000 % | 1026.31/1026.37 c | 5083214 | 1100 82815 271467 | 1 238632 37 | 0.000 % | 1026.31/1026.37 c | 5083644 | 1100 82815 271467 | 1 239062 38 | 0.000 % | 1026.31/1026.37 c | 5091841 | 1100 82815 271467 | 1 247259 38 | 0.000 % | 1026.31/1026.37 c | 5091999 | 1100 82815 271467 | 1 247417 38 | 0.000 % | 1026.31/1026.37 c | 5093757 | 1100 82815 271467 | 1 249175 39 | 0.000 % | 1026.31/1026.37 c | 5094004 | 1100 82815 271467 | 1 249422 39 | 0.000 % | 1026.31/1026.37 c | 5094274 | 1100 82815 271467 | 1 249692 39 | 0.000 % | 1026.31/1026.37 c | 5114269 | 1100 82815 271467 | 1 269687 40 | 0.000 % | 1026.31/1026.37 c | 5114844 | 1100 82815 271467 | 1 270262 40 | 0.000 % | 1026.31/1026.37 c | 5116545 | 1100 82815 271467 | 1 271963 40 | 0.000 % | 1026.31/1026.37 c | 5116747 | 1100 82815 271467 | 1 272165 41 | 0.000 % | 1026.31/1026.37 c | 5121224 | 1100 82815 271467 | 1 276642 41 | 0.000 % | 1026.31/1026.37 c | 5140217 | 1100 82815 271467 | 1 295635 41 | 0.000 % | 1026.31/1026.37 c | 5155073 | 1100 82815 271467 | 1 310491 42 | 0.000 % | 1026.31/1026.37 c | 5180938 | 1100 82815 271467 | 1 176357 31 | 0.000 % | 1026.31/1026.37 c | 5193940 | 1100 82815 271467 | 1 189359 33 | 0.000 % | 1026.31/1026.37 c | 5209261 | 1100 82815 271467 | 1 204680 35 | 0.000 % | 1026.31/1026.37 c | 5212859 | 1100 82815 271467 | 1 208278 36 | 0.000 % | 1026.31/1026.37 c | 5217152 | 1100 82815 271467 | 1 212571 36 | 0.000 % | 1026.31/1026.37 c | 5218706 | 1100 82815 271467 | 1 214125 37 | 0.000 % | 1026.31/1026.37 c | 5218832 | 1100 82815 271467 | 1 214251 37 | 0.000 % | 1026.31/1026.37 c | 5224645 | 1100 82815 271467 | 1 220064 37 | 0.000 % | 1026.31/1026.37 c | 5226495 | 1100 82815 271467 | 1 221914 37 | 0.000 % | 1026.31/1026.37 c | 5233757 | 1100 82815 271467 | 1 229176 38 | 0.000 % | 1026.31/1026.37 c | 5242169 | 1100 82815 271467 | 1 237588 39 | 0.000 % | 1026.31/1026.37 c | 5243736 | 1100 82815 271467 | 1 239155 39 | 0.000 % | 1026.31/1026.37 c | 5252394 | 1100 82815 271467 | 1 247813 40 | 0.000 % | 1026.31/1026.37 c | 5252494 | 1100 82815 271467 | 1 247913 40 | 0.000 % | 1026.31/1026.37 c | 5269775 | 1100 82815 271467 | 1 265194 42 | 0.000 % | 1026.31/1026.37 c | 5274836 | 1100 82815 271467 | 1 270255 42 | 0.000 % | 1026.31/1026.37 c | 5275795 | 1100 82815 271467 | 1 271214 43 | 0.000 % | 1026.31/1026.37 c | 5276125 | 1100 82815 271467 | 1 271544 43 | 0.000 % | 1026.31/1026.37 c | 5276227 | 1100 82815 271467 | 1 271646 43 | 0.000 % | 1026.31/1026.37 c | 5276708 | 1100 82815 271467 | 1 272127 43 | 0.000 % | 1026.31/1026.37 c | 5276819 | 1100 82815 271467 | 1 272238 43 | 0.000 % | 1026.31/1026.37 c | 5277146 | 1100 82815 271467 | 1 272565 43 | 0.000 % | 1026.31/1026.37 c | 5277417 | 1100 82815 271467 | 1 272836 43 | 0.000 % | 1026.31/1026.37 c | 5277517 | 1100 82815 271467 | 1 272936 43 | 0.000 % | 1103.71/1103.77 c | 5279417 | 1100 82815 271467 | 1 274836 43 | 0.000 % | 1103.71/1103.77 c | 5282959 | 1100 82815 271467 | 1 278378 43 | 0.000 % | 1103.71/1103.77 c | 5326467 | 1100 82815 271467 | 1 321886 46 | 0.000 % | 1103.71/1103.77 c | 5328498 | 1100 82815 271467 | 1 323917 46 | 0.000 % | 1103.71/1103.77 c | 5328795 | 1100 82815 271467 | 1 324214 47 | 0.000 % | 1103.71/1103.77 c | 5331215 | 1100 82815 271467 | 1 164037 29 | 0.000 % | 1103.71/1103.77 c | 5334588 | 1100 82815 271467 | 1 167410 30 | 0.000 % | 1103.71/1103.77 c | 5353580 | 1100 82815 271467 | 1 186402 35 | 0.000 % | 1103.71/1103.77 c | 5356363 | 1100 82815 271467 | 1 189185 36 | 0.000 % | 1103.71/1103.77 c | 5362997 | 1100 82815 271467 | 1 195819 36 | 0.000 % | 1103.71/1103.77 c | 5381063 | 1100 82815 271467 | 1 213885 38 | 0.000 % | 1103.71/1103.77 c | 5419948 | 1100 82815 271467 | 1 252770 41 | 0.000 % | 1103.71/1103.77 c | 5421254 | 1100 82815 271467 | 1 254076 41 | 0.000 % | 1103.71/1103.77 c | 5421524 | 1100 82815 271467 | 1 254346 41 | 0.000 % | 1103.71/1103.77 c | 5424143 | 1100 82815 271467 | 1 256965 41 | 0.000 % | 1103.71/1103.77 c | 5427547 | 1100 82815 271467 | 1 260369 41 | 0.000 % | 1103.71/1103.77 c | 5428890 | 1100 82815 271467 | 1 261712 41 | 0.000 % | 1103.71/1103.77 c | 5428990 | 1100 82815 271467 | 1 261812 41 | 0.000 % | 1103.71/1103.77 c | 5439118 | 1100 82815 271467 | 1 271940 42 | 0.000 % | 1103.71/1103.77 c | 5445176 | 1100 82815 271467 | 1 277998 43 | 0.000 % | 1103.71/1103.77 c | 5445276 | 1100 82815 271467 | 1 278098 43 | 0.000 % | 1103.71/1103.77 c | 5445659 | 1100 82815 271467 | 1 278481 43 | 0.000 % | 1103.71/1103.77 c | 5449009 | 1100 82815 271467 | 1 281831 43 | 0.000 % | 1103.71/1103.77 c | 5467596 | 1100 82815 271467 | 1 300418 44 | 0.000 % | 1103.71/1103.77 c | 5468925 | 1100 82815 271467 | 1 301747 44 | 0.000 % | 1103.71/1103.77 c | 5471308 | 1100 82815 271467 | 1 304130 45 | 0.000 % | 1103.71/1103.77 c | 5481550 | 1100 82815 271467 | 1 314372 45 | 0.000 % | 1103.71/1103.77 c | 5481857 | 1100 82815 271467 | 1 314679 45 | 0.000 % | 1103.71/1103.77 c | 5489654 | 1100 82815 271467 | 1 322476 46 | 0.000 % | 1103.71/1103.77 c | 5490120 | 1100 82815 271467 | 1 322942 46 | 0.000 % | 1103.71/1103.77 c | 5500499 | 1100 82815 271467 | 1 168124 29 | 0.000 % | 1103.71/1103.77 c | 5505725 | 1100 82815 271467 | 1 173350 30 | 0.000 % | 1103.71/1103.77 c | 5507343 | 1100 82815 271467 | 1 174968 30 | 0.000 % | 1103.71/1103.77 c | 5507445 | 1100 82815 271467 | 1 175070 30 | 0.000 % | 1103.71/1103.77 c | 5511853 | 1100 82815 271467 | 1 179478 31 | 0.000 % | 1103.71/1103.77 c | 5515768 | 1100 82815 271467 | 1 183393 32 | 0.000 % | 1103.71/1103.77 c | 5525899 | 1100 82815 271467 | 1 193524 34 | 0.000 % | 1103.71/1103.77 c | 5525999 | 1100 82815 271467 | 1 193624 34 | 0.000 % | 1103.71/1103.77 c | 5526101 | 1100 82815 271467 | 1 193726 34 | 0.000 % | 1103.71/1103.77 c | 5527560 | 1100 82815 271467 | 1 195185 34 | 0.000 % | 1103.71/1103.77 c | 5528043 | 1100 82815 271467 | 1 195668 34 | 0.000 % | 1103.71/1103.77 c | 5528144 | 1100 82815 271467 | 1 195769 34 | 0.000 % | 1103.71/1103.77 c | 5532131 | 1100 82815 271467 | 1 199756 34 | 0.000 % | 1103.71/1103.77 c | 5566055 | 1100 82815 271467 | 1 233680 39 | 0.000 % | 1103.71/1103.77 c | 5572644 | 1100 82815 271467 | 1 240269 39 | 0.000 % | 1103.71/1103.77 c | 5582686 | 1100 82815 271467 | 1 250311 40 | 0.000 % | 1103.71/1103.77 c | 5587733 | 1100 82815 271467 | 1 255358 41 | 0.000 % | 1103.71/1103.77 c | 5588441 | 1100 82815 271467 | 1 256066 41 | 0.000 % | 1103.71/1103.77 c | 5590497 | 1100 82815 271467 | 1 258122 41 | 0.000 % | 1103.71/1103.77 c | 5598475 | 1100 82815 271467 | 1 266100 42 | 0.000 % | 1212.51/1212.53 c | 5601322 | 1100 82815 271467 | 1 268947 42 | 0.000 % | 1212.51/1212.53 c | 5601709 | 1100 82815 271467 | 1 269334 42 | 0.000 % | 1212.51/1212.53 c | 5602858 | 1100 82815 271467 | 1 270483 42 | 0.000 % | 1212.51/1212.53 c | 5607870 | 1100 82815 271467 | 1 275495 42 | 0.000 % | 1212.51/1212.53 c | 5613924 | 1100 82815 271467 | 1 281549 43 | 0.000 % | 1212.51/1212.53 c | 5617796 | 1100 82815 271467 | 1 285421 43 | 0.000 % | 1212.51/1212.53 c | 5619077 | 1100 82815 271467 | 1 286702 43 | 0.000 % | 1212.51/1212.53 c | 5628285 | 1100 82815 271467 | 1 295910 44 | 0.000 % | 1212.51/1212.53 c | 5636827 | 1100 82815 271467 | 1 304452 44 | 0.000 % | 1212.51/1212.53 c | 5637453 | 1100 82815 271467 | 1 305078 44 | 0.000 % | 1212.51/1212.53 c | 5664796 | 1100 82815 271467 | 1 332421 45 | 0.000 % | 1212.51/1212.53 c | 5665004 | 1100 82815 271467 | 1 332629 45 | 0.000 % | 1212.51/1212.53 c | 5669807 | 1100 82815 271467 | 1 169628 28 | 0.000 % | 1212.51/1212.53 c | 5670811 | 1100 82815 271467 | 1 170632 29 | 0.000 % | 1212.51/1212.53 c | 5682560 | 1100 82815 271467 | 1 182381 30 | 0.000 % | 1212.51/1212.53 c | 5688397 | 1100 82815 271467 | 1 188218 31 | 0.000 % | 1212.51/1212.53 c | 5688719 | 1100 82815 271467 | 1 188540 31 | 0.000 % | 1212.51/1212.53 c | 5701002 | 1100 82815 271467 | 1 200823 33 | 0.000 % | 1212.51/1212.53 c | 5701938 | 1100 82815 271467 | 1 201759 33 | 0.000 % | 1212.51/1212.53 c | 5733996 | 1100 82815 271467 | 1 233817 36 | 0.000 % | 1212.51/1212.53 c | 5753799 | 1100 82815 271467 | 1 253620 38 | 0.000 % | 1212.51/1212.53 c | 5767168 | 1100 82815 271467 | 1 266989 40 | 0.000 % | 1212.51/1212.53 c | 5786579 | 1100 82815 271467 | 1 286400 42 | 0.000 % | 1212.51/1212.53 c | 5786858 | 1100 82815 271467 | 1 286679 42 | 0.000 % | 1212.51/1212.53 c | 5804189 | 1100 82815 271467 | 1 304010 43 | 0.000 % | 1212.51/1212.53 c | 5816212 | 1100 82815 271467 | 1 316033 43 | 0.000 % | 1212.51/1212.53 c | 5820188 | 1100 82815 271467 | 1 320009 44 | 0.000 % | 1212.51/1212.53 c | 5823250 | 1100 82815 271467 | 1 323071 44 | 0.000 % | 1212.51/1212.53 c | 5823498 | 1100 82815 271467 | 1 323319 44 | 0.000 % | 1212.51/1212.53 c | 5827972 | 1100 82815 271467 | 1 327793 44 | 0.000 % | 1212.51/1212.53 c | 5839401 | 1100 82815 271467 | 1 339222 44 | 0.000 % | 1212.51/1212.53 c | 5847216 | 1100 82815 271467 | 1 176635 29 | 0.000 % | 1212.51/1212.53 c | 5856846 | 1100 82815 271467 | 1 186265 31 | 0.000 % | 1212.51/1212.53 c | 5889577 | 1100 82815 271467 | 1 218996 34 | 0.000 % | 1212.51/1212.53 c | 5889704 | 1100 82815 271467 | 1 219123 34 | 0.000 % | 1212.51/1212.53 c | 5934326 | 1100 82815 271467 | 1 263745 39 | 0.000 % | 1212.51/1212.53 c | 5937973 | 1100 82815 271467 | 1 267392 40 | 0.000 % | 1212.51/1212.53 c | 5938074 | 1100 82815 271467 | 1 267493 40 | 0.000 % | 1212.51/1212.53 c | 5938237 | 1100 82815 271467 | 1 267656 40 | 0.000 % | 1212.51/1212.53 c | 5938337 | 1100 82815 271467 | 1 267756 40 | 0.000 % | 1212.51/1212.53 c | 5942761 | 1100 82815 271467 | 1 272180 40 | 0.000 % | 1212.51/1212.53 c | 5942862 | 1100 82815 271467 | 1 272281 40 | 0.000 % | 1212.51/1212.53 c | 5946114 | 1100 82815 271467 | 1 275533 40 | 0.000 % | 1212.51/1212.53 c | 5976931 | 1100 82815 271467 | 1 306350 42 | 0.000 % | 1212.51/1212.53 c | 5984757 | 1100 82815 271467 | 1 314176 42 | 0.000 % | 1212.51/1212.53 c | 5985911 | 1100 82815 271467 | 1 315330 42 | 0.000 % | 1212.51/1212.53 c | 5999992 | 1100 82815 271467 | 1 329411 43 | 0.000 % | 1212.51/1212.53 c | 6011034 | 1100 82815 271467 | 1 340453 43 | 0.000 % | 1212.51/1212.53 c | 6011590 | 1100 82815 271467 | 1 341009 43 | 0.000 % | 1212.51/1212.53 c | 6012089 | 1100 82815 271467 | 1 341508 4
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-3258304-1303474378/watcher-3258304-1303474378 -o /tmp/evaluation-result-3258304-1303474378/solver-3258304-1303474378 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3258304-1303474378.cnf running on 2 cores: 5,7 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 3/182 23910 /proc/meminfo: memFree=13727136/32950928 swapFree=67111528/67111528 [pid=23910] ppid=23908 vsize=8704 CPUtime=0 cores=5,7 /proc/23910/stat : 23910 (glucose.sh) S 23908 23910 23003 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 459036616 8912896 252 33554432000 4194304 4922060 140734598548608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/23910/statm: 2176 252 211 178 0 69 0 [startup+0.0642551 s] /proc/loadavg: 0.85 1.36 2.44 3/182 23910 /proc/meminfo: memFree=13727136/32950928 swapFree=67111528/67111528 [pid=23910] ppid=23908 vsize=8704 CPUtime=0 cores=5,7 /proc/23910/stat : 23910 (glucose.sh) S 23908 23910 23003 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 459036616 8912896 252 33554432000 4194304 4922060 140734598548608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/23910/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100249 s] /proc/loadavg: 0.85 1.36 2.44 3/182 23910 /proc/meminfo: memFree=13727136/32950928 swapFree=67111528/67111528 [pid=23910] ppid=23908 vsize=8704 CPUtime=0 cores=5,7 /proc/23910/stat : 23910 (glucose.sh) S 23908 23910 23003 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 459036616 8912896 252 33554432000 4194304 4922060 140734598548608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/23910/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.305274 s] /proc/loadavg: 0.85 1.36 2.44 3/182 23910 /proc/meminfo: memFree=13727136/32950928 swapFree=67111528/67111528 [pid=23910] ppid=23908 vsize=8704 CPUtime=0.21 cores=5,7 /proc/23910/stat : 23910 (glucose.sh) S 23908 23910 23003 0 -1 4202496 360 1920 0 0 0 0 21 0 21 0 1 0 459036616 8912896 254 33554432000 4194304 4922060 140734598548608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/23910/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 8704 [startup+0.70014 s] /proc/loadavg: 0.85 1.36 2.44 3/182 23910 /proc/meminfo: memFree=13727136/32950928 swapFree=67111528/67111528 [pid=23910] ppid=23908 vsize=8704 CPUtime=0.21 cores=5,7 /proc/23910/stat : 23910 (glucose.sh) S 23908 23910 23003 0 -1 4202496 360 1920 0 0 0 0 21 0 21 0 1 0 459036616 8912896 254 33554432000 4194304 4922060 140734598548608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/23910/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 8704 [startup+1.501 s] /proc/loadavg: 0.85 1.36 2.44 5/194 23933 /proc/meminfo: memFree=13664444/32950928 swapFree=67111528/67111528 [pid=23910] ppid=23908 vsize=8704 CPUtime=0.21 cores=5,7 /proc/23910/stat : 23910 (glucose.sh) S 23908 23910 23003 0 -1 4202496 360 1920 0 0 0 0 21 0 21 0 1 0 459036616 8912896 254 33554432000 4194304 4922060 140734598548608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/23910/statm: 2176 254 211 178 0 69 0 [pid=23924] ppid=23910 vsize=29404 CPUtime=1.26 cores=5,7 /proc/23924/stat : 23924 (glucose_static) R 23910 23910 23003 0 -1 4202496 6445 0 0 0 126 0 0 0 25 0 1 0 459036639 30109696 3915 33554432000 4194304 4260849 140737204416224 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/23924/statm: 7351 3915 240 17 0 3992 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 38108 [startup+3.10071 s] /proc/loadavg: 0.85 1.36 2.44 5/194 23934 /proc/meminfo: memFree=13636400/32950928 swapFree=67111528/67111528 [pid=23910] ppid=23908 vsize=8704 CPUtime=0.21 cores=5,7 /proc/23910/stat : 23910 (glucose.sh) S 23908 23910 23003 0 -1 4202496 360 1920 0 0 0 0 21 0 21 0 1 0 459036616 8912896 254 33554432000 4194304 4922060 140734598548608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/23910/statm: 2176 254 211 178 0 69 0 [pid=23924] ppid=23910 vsize=33760 CPUtime=2.86 cores=5,7 /proc/23924/stat : 23924 (glucose_static) R 23910 23910 23003 0 -1 4202496 9715 0 0 0 285 1 0 0 25 0 1 0 459036639 34570240 5249 33554432000 4194304 4260849 140737204416224 18446744073709551615 4209287 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/23924/statm: 8440 5249 248 17 0 5081 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 42464 [startup+6.30014 s] /proc/loadavg: 1.10 1.41 2.45 5/194 23934 /proc/meminfo: memFree=13583096/32950928 swapFree=67111528/67111528 [pid=23910] ppid=23908 vsize=8704 CPUtime=0.21 cores=5,7 /proc/23910/stat : 23910 (glucose.sh) S 23908 23910 23003 0 -1 4202496 360 1920 0 0 0 0 21 0 21 0 1 0 459036616 8912896 254 33554432000 4194304 4922060 140734598548608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/23910/statm: 2176 254 211 178 0 69 0 [pid=23924] ppid=23910 vsize=40900 CPUtime=6.06 cores=5,7 /proc/23924/stat : 23924 (glucose_static) R 23910 23910 23003 0 -1 4202496 11578 0 0 0 605 1 0 0 25 0 1 0 459036639 41881600 7008 33554432000 4194304 4260849 140737204416224 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/23924/statm: 10225 7008 248 17 0 6866 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 49604 [startup+12.701 s] /proc/loadavg: 1.33 1.45 2.46 5/194 23934 /proc/meminfo: memFree=13576000/32950928 swapFree=67111528/67111528 [pid=23910] ppid=23908 vsize=8704 CPUtime=0.21 cores=5,7 /proc/23910/stat : 23910 (glucose.sh) S 23908 23910 23003 0 -1 4202496 360 1920 0 0 0 0 21 0 21 0 1 0 459036616 8912896 254 33554432000 4194304 4922060 140734598548608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/23910/statm: 2176 254 211 178 0 69 0 [pid=23924] ppid=23910 vsize=52392 CPUtime=12.47 cores=5,7 /proc/23924/stat : 23924 (glucose_static) R 23910 23910 23003 0 -1 4202496 12920 0 0 0 1245 2 0 0 25 0 1 0 459036639 53649408 8336 33554432000 4194304 4260849 140737204416224 18446744073709551615 4225121 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/23924/statm: 13098 8336 248 17 0 9739 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 61096 [startup+25.5007 s] /proc/loadavg: 1.92 1.57 2.48 5/194 23934 /proc/meminfo: memFree=13534228/32950928 swapFree=67111528/67111528 [pid=23910] ppid=23908 vsize=8704 CPUtime=0.21 cores=5,7 /proc/23910/stat : 23910 (glucose.sh) S 23908 23910 23003 0 -1 4202496 360 1920 0 0 0 0 21 0 21 0 1 0 459036616 8912896 254 33554432000 4194304 4922060 140734598548608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/23910/statm: 2176 254 211 178 0 69 0 [pid=23924] ppid=23910 vsize=71704 CPUtime=25.27 cores=5,7 /proc/23924/stat : 23924 (glucose_static) R 23910 23910 23003 0 -1 4202496 21803 0 0 0 2524 3 0 0 25 0 1 0 459036639 73424896 9264 33554432000 4194304 4260849 140737204416224 18446744073709551615 4224696 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/23924/statm: 17926 9264 249 17 0 14567 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 80408 [startup+51.1002 s] /proc/loadavg: 2.63 1.77 2.52 5/194 23935 /proc/meminfo: memFree=13466160/32950928 swapFree=67111528/67111528 [pid=23910] ppid=23908 vsize=8704 CPUtime=0.21 cores=5,7 /proc/23910/stat : 23910 (glucose.sh) S 23908 23910 23003 0 -1 4202496 360 1920 0 0 0 0 21 0 21 0 1 0 459036616 8912896 254 33554432000 4194304 4922060 140734598548608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/23910/statm: 2176 254 211 178 0 69 0 [pid=23924] ppid=23910 vsize=71704 CPUtime=50.86 cores=5,7 /proc/23924/stat : 23924 (glucose_static) R 23910 23910 23003 0 -1 4202496 31677 0 0 0 5082 4 0 0 25 0 1 0 459036639 73424896 13890 33554432000 4194304 4260849 140737204416224 18446744073709551615 4225149 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/23924/statm: 17926 13890 249 17 0 14567 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 80408 [startup+102.307 s] /proc/loadavg: 3.40 2.11 2.60 5/194 23936 /proc/meminfo: memFree=13385788/32950928 swapFree=67111528/67111528 [pid=23910] ppid=23908 vsize=8704 CPUtime=0.21 cores=5,7 /proc/23910/stat : 23910 (glucose.sh) S 23908 23910 23003 0 -1 4202496 360 1920 0 0 0 0 21 0 21 0 1 0 459036616 8912896 254 33554432000 4194304 4922060 140734598548608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/23910/statm: 2176 254 211 178 0 69 0 [pid=23924] ppid=23910 vsize=90720 CPUtime=102.07 cores=5,7 /proc/23924/stat : 23924 (glucose_static) R 23910 23910 23003 0 -1 4202496 37284 0 0 0 10201 6 0 0 25 0 1 0 459036639 92897280 19333 33554432000 4194304 4260849 140737204416224 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/23924/statm: 22680 19333 249 17 0 19321 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 99424 [startup+162.3 s] /proc/loadavg: 3.78 2.45 2.68 5/194 23938 /proc/meminfo: memFree=13383752/32950928 swapFree=67111528/67111528 [pid=23910] ppid=23908 vsize=8704 CPUtime=0.21 cores=5,7 /proc/23910/stat : 23910 (glucose.sh) S 23908 23910 23003 0 -1 4202496 360 1920 0 0 0 0 21 0 21 0 1 0 459036616 8912896 254 33554432000 4194304 4922060 140734598548608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/23910/statm: 2176 254 211 178 0 69 0 [pid=23924] ppid=23910 vsize=109208 CPUtime=162.07 cores=5,7 /proc/23924/stat : 23924 (glucose_static) R 23910 23910 23003 0 -1 4202496 42188 0 0 0 16200 7 0 0 25 0 1 0 459036639 111828992 24056 33554432000 4194304 4260849 140737204416224 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/23924/statm: 27302 24056 250 17 0 23943 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 117912 [startup+222.301 s] /proc/loadavg: 3.92 2.73 2.76 5/194 23940 /proc/meminfo: memFree=13385340/32950928 swapFree=67111528/67111528 [pid=23910] ppid=23908 vsize=8704 CPUtime=0.21 cores=5,7 /proc/23910/stat : 23910 (glucose.sh) S 23908 23910 23003 0 -1 4202496 360 1920 0 0 0 0 21 0 21 0 1 0 459036616 8912896 254 33554432000 4194304 4922060 140734598548608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/23910/statm: 2176 254 211 178 0 69 0 [pid=23924] ppid=23910 vsize=59892 CPUtime=222.07 cores=5,7 /proc/23924/stat : 23924 (glucose_static) R 23910 23910 23003 0 -1 4202496 54272 0 0 0 22198 9 0 0 25 0 1 0 459036639 61329408 11189 33554432000 4194304 4260849 140737204416224 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/23924/statm: 14973 11189 250 17 0 11614 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 68596 [startup+282.301 s] /proc/loadavg: 3.97 2.96 2.83 5/194 23941 /proc/meminfo: memFree=13359016/32950928 swapFree=67111528/67111528 [pid=23910] ppid=23908 vsize=8704 CPUtime=0.21 cores=5,7 /proc/23910/stat : 23910 (glucose.sh) S 23908 23910 23003 0 -1 4202496 360 1920 0 0 0 0 21 0 21 0 1 0 459036616 8912896 254 33554432000 4194304 4922060 140734598548608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/23910/statm: 2176 254 211 178 0 69 0 [pid=23924] ppid=23910 vsize=139560 CPUtime=282.07 cores=5,7 /proc/23924/stat : 23924 (glucose_static) R 23910 23910 23003 0 -1 4202496 92561 0 0 0 28192 15 0 0 25 0 1 0 459036639 142909440 23400 33554432000 4194304 4260849 140737204416224 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/23924/statm: 34890 23400 250 17 0 31531 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 148264 [startup+342.3 s] /proc/loadavg: 3.99 3.15 2.91 5/194 23943 /proc/meminfo: memFree=13282704/32950928 swapFree=67111528/67111528 [pid=23910] ppid=23908 vsize=8704 CPUtime=0.21 cores=5,7 /proc/23910/stat : 23910 (glucose.sh) S 23908 23910 23003 0 -1 4202496 360 1920 0 0 0 0 21 0 21 0 1 0 459036616 8912896 254 33554432000 4194304 4922060 140734598548608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/23910/statm: 2176 254 211 178 0 69 0 [pid=23924] ppid=23910 vsize=151472 CPUtime=342.07 cores=5,7 /proc/23924/stat : 23924 (glucose_static) R 23910 23910 23003 0 -1 4202496 128948 0 0 0 34186 21 0 0 25 0 1 0 459036639 155107328 31341 33554432000 4194304 4260849 140737204416224 18446744073709551615 4224808 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/23924/statm: 37868 31341 250 17 0 34509 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 160176 [startup+402.301 s] /proc/loadavg: 4.08 3.33 2.98 5/194 23944 /proc/meminfo: memFree=13238520/32950928 swapFree=67111528/67111528 [pid=23910] ppid=23908 vsize=8704 CPUtime=0.21 cores=5,7 ################ # More data... # ################ /proc/23924/statm: 25538 22312 250 17 0 22179 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 110856 [startup+642.301 s] /proc/loadavg: 4.00 3.69 3.20 5/194 23951 /proc/meminfo: memFree=13245268/32950928 swapFree=67111528/67111528 [pid=23910] ppid=23908 vsize=8704 CPUtime=0.21 cores=5,7 /proc/23910/stat : 23910 (glucose.sh) S 23908 23910 23003 0 -1 4202496 360 1920 0 0 0 0 21 0 21 0 1 0 459036616 8912896 254 33554432000 4194304 4922060 140734598548608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/23910/statm: 2176 254 211 178 0 69 0 [pid=23924] ppid=23910 vsize=102152 CPUtime=642.09 cores=5,7 /proc/23924/stat : 23924 (glucose_static) R 23910 23910 23003 0 -1 4202496 263023 0 0 0 64161 48 0 0 25 0 1 0 459036639 104603648 22320 33554432000 4194304 4260849 140737204416224 18446744073709551615 4225082 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/23924/statm: 25538 22320 250 17 0 22179 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 110856 [startup+702.301 s] /proc/loadavg: 4.00 3.74 3.25 5/194 23952 /proc/meminfo: memFree=13253172/32950928 swapFree=67111528/67111528 [pid=23910] ppid=23908 vsize=8704 CPUtime=0.21 cores=5,7 /proc/23910/stat : 23910 (glucose.sh) S 23908 23910 23003 0 -1 4202496 360 1920 0 0 0 0 21 0 21 0 1 0 459036616 8912896 254 33554432000 4194304 4922060 140734598548608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/23910/statm: 2176 254 211 178 0 69 0 [pid=23924] ppid=23910 vsize=102152 CPUtime=702.09 cores=5,7 /proc/23924/stat : 23924 (glucose_static) R 23910 23910 23003 0 -1 4202496 288643 0 0 0 70155 54 0 0 25 0 1 0 459036639 104603648 22323 33554432000 4194304 4260849 140737204416224 18446744073709551615 4224867 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/23924/statm: 25538 22323 250 17 0 22179 0 Current children cumulated CPU time (s) 702.3 Current children cumulated vsize (KiB) 110856 [startup+762.307 s] /proc/loadavg: 4.00 3.79 3.29 5/194 23954 /proc/meminfo: memFree=13264148/32950928 swapFree=67111528/67111528 [pid=23910] ppid=23908 vsize=8704 CPUtime=0.21 cores=5,7 /proc/23910/stat : 23910 (glucose.sh) S 23908 23910 23003 0 -1 4202496 360 1920 0 0 0 0 21 0 21 0 1 0 459036616 8912896 254 33554432000 4194304 4922060 140734598548608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/23910/statm: 2176 254 211 178 0 69 0 [pid=23924] ppid=23910 vsize=102152 CPUtime=762.09 cores=5,7 /proc/23924/stat : 23924 (glucose_static) R 23910 23910 23003 0 -1 4202496 315618 0 0 0 76149 60 0 0 25 0 1 0 459036639 104603648 22324 33554432000 4194304 4260849 140737204416224 18446744073709551615 4225149 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/23924/statm: 25538 22324 250 17 0 22179 0 Current children cumulated CPU time (s) 762.3 Current children cumulated vsize (KiB) 110856 [startup+822.301 s] /proc/loadavg: 4.00 3.82 3.33 5/194 23956 /proc/meminfo: memFree=13151772/32950928 swapFree=67111528/67111528 [pid=23910] ppid=23908 vsize=8704 CPUtime=0.21 cores=5,7 /proc/23910/stat : 23910 (glucose.sh) S 23908 23910 23003 0 -1 4202496 360 1920 0 0 0 0 21 0 21 0 1 0 459036616 8912896 254 33554432000 4194304 4922060 140734598548608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/23910/statm: 2176 254 211 178 0 69 0 [pid=23924] ppid=23910 vsize=102152 CPUtime=822.09 cores=5,7 /proc/23924/stat : 23924 (glucose_static) R 23910 23910 23003 0 -1 4202496 343836 0 0 0 82142 67 0 0 25 0 1 0 459036639 104603648 22324 33554432000 4194304 4260849 140737204416224 18446744073709551615 4225129 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/23924/statm: 25538 22324 250 17 0 22179 0 Current children cumulated CPU time (s) 822.3 Current children cumulated vsize (KiB) 110856 [startup+882.301 s] /proc/loadavg: 4.00 3.85 3.37 5/194 23957 /proc/meminfo: memFree=13149376/32950928 swapFree=67111528/67111528 [pid=23910] ppid=23908 vsize=8704 CPUtime=0.21 cores=5,7 /proc/23910/stat : 23910 (glucose.sh) S 23908 23910 23003 0 -1 4202496 360 1920 0 0 0 0 21 0 21 0 1 0 459036616 8912896 254 33554432000 4194304 4922060 140734598548608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/23910/statm: 2176 254 211 178 0 69 0 [pid=23924] ppid=23910 vsize=151472 CPUtime=882.09 cores=5,7 /proc/23924/stat : 23924 (glucose_static) R 23910 23910 23003 0 -1 4202496 370520 0 0 0 88136 73 0 0 25 0 1 0 459036639 155107328 34512 33554432000 4194304 4260849 140737204416224 18446744073709551615 4224419 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/23924/statm: 37868 34512 250 17 0 34509 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 160176 [startup+942.3 s] /proc/loadavg: 4.12 3.91 3.42 5/194 23959 /proc/meminfo: memFree=13210472/32950928 swapFree=67111528/67111528 [pid=23910] ppid=23908 vsize=8704 CPUtime=0.21 cores=5,7 /proc/23910/stat : 23910 (glucose.sh) S 23908 23910 23003 0 -1 4202496 360 1920 0 0 0 0 21 0 21 0 1 0 459036616 8912896 254 33554432000 4194304 4922060 140734598548608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/23910/statm: 2176 254 211 178 0 69 0 [pid=23924] ppid=23910 vsize=151472 CPUtime=942.09 cores=5,7 /proc/23924/stat : 23924 (glucose_static) R 23910 23910 23003 0 -1 4202496 397719 0 0 0 94129 80 0 0 25 0 1 0 459036639 155107328 32571 33554432000 4194304 4260849 140737204416224 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/23924/statm: 37868 32571 250 17 0 34509 0 Current children cumulated CPU time (s) 942.3 Current children cumulated vsize (KiB) 160176 [startup+1002.3 s] /proc/loadavg: 4.04 3.92 3.45 5/194 23960 /proc/meminfo: memFree=13179292/32950928 swapFree=67111528/67111528 [pid=23910] ppid=23908 vsize=8704 CPUtime=0.21 cores=5,7 /proc/23910/stat : 23910 (glucose.sh) S 23908 23910 23003 0 -1 4202496 360 1920 0 0 0 0 21 0 21 0 1 0 459036616 8912896 254 33554432000 4194304 4922060 140734598548608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/23910/statm: 2176 254 211 178 0 69 0 [pid=23924] ppid=23910 vsize=102152 CPUtime=1002.09 cores=5,7 /proc/23924/stat : 23924 (glucose_static) R 23910 23910 23003 0 -1 4202496 417568 0 0 0 100123 86 0 0 25 0 1 0 459036639 104603648 22325 33554432000 4194304 4260849 140737204416224 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/23924/statm: 25538 22325 250 17 0 22179 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 110856 [startup+1062.3 s] /proc/loadavg: 4.01 3.93 3.48 5/194 23962 /proc/meminfo: memFree=13098024/32950928 swapFree=67111528/67111528 [pid=23910] ppid=23908 vsize=8704 CPUtime=0.21 cores=5,7 /proc/23910/stat : 23910 (glucose.sh) S 23908 23910 23003 0 -1 4202496 360 1920 0 0 0 0 21 0 21 0 1 0 459036616 8912896 254 33554432000 4194304 4922060 140734598548608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/23910/statm: 2176 254 211 178 0 69 0 [pid=23924] ppid=23910 vsize=151472 CPUtime=1062.09 cores=5,7 /proc/23924/stat : 23924 (glucose_static) R 23910 23910 23003 0 -1 4202496 445371 0 0 0 106118 91 0 0 25 0 1 0 459036639 155107328 33752 33554432000 4194304 4260849 140737204416224 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/23924/statm: 37868 33752 250 17 0 34509 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 160176 [startup+1122.3 s] /proc/loadavg: 4.00 3.94 3.51 5/194 23964 /proc/meminfo: memFree=13095772/32950928 swapFree=67111528/67111528 [pid=23910] ppid=23908 vsize=8704 CPUtime=0.21 cores=5,7 /proc/23910/stat : 23910 (glucose.sh) S 23908 23910 23003 0 -1 4202496 360 1920 0 0 0 0 21 0 21 0 1 0 459036616 8912896 254 33554432000 4194304 4922060 140734598548608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/23910/statm: 2176 254 211 178 0 69 0 [pid=23924] ppid=23910 vsize=182292 CPUtime=1122.1 cores=5,7 /proc/23924/stat : 23924 (glucose_static) R 23910 23910 23003 0 -1 4202496 466275 0 0 0 112114 96 0 0 25 0 1 0 459036639 186667008 38259 33554432000 4194304 4260849 140737204416224 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/23924/statm: 45573 38259 250 17 0 42214 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 190996 [startup+1182.3 s] /proc/loadavg: 4.00 3.95 3.54 5/194 23965 /proc/meminfo: memFree=13125004/32950928 swapFree=67111528/67111528 [pid=23910] ppid=23908 vsize=8704 CPUtime=0.21 cores=5,7 /proc/23910/stat : 23910 (glucose.sh) S 23908 23910 23003 0 -1 4202496 360 1920 0 0 0 0 21 0 21 0 1 0 459036616 8912896 254 33554432000 4194304 4922060 140734598548608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/23910/statm: 2176 254 211 178 0 69 0 [pid=23924] ppid=23910 vsize=151472 CPUtime=1182.1 cores=5,7 /proc/23924/stat : 23924 (glucose_static) R 23910 23910 23003 0 -1 4202496 491957 0 0 0 118107 103 0 0 25 0 1 0 459036639 155107328 31424 33554432000 4194304 4260849 140737204416224 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/23924/statm: 37868 31424 250 17 0 34509 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 160176 [startup+1242.3 s] /proc/loadavg: 4.00 3.95 3.57 5/194 23967 /proc/meminfo: memFree=13094720/32950928 swapFree=67111528/67111528 [pid=23910] ppid=23908 vsize=8704 CPUtime=0.21 cores=5,7 /proc/23910/stat : 23910 (glucose.sh) S 23908 23910 23003 0 -1 4202496 360 1920 0 0 0 0 21 0 21 0 1 0 459036616 8912896 254 33554432000 4194304 4922060 140734598548608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/23910/statm: 2176 254 211 178 0 69 0 [pid=23924] ppid=23910 vsize=151472 CPUtime=1242.1 cores=5,7 /proc/23924/stat : 23924 (glucose_static) R 23910 23910 23003 0 -1 4202496 511348 0 0 0 124102 108 0 0 25 0 1 0 459036639 155107328 34445 33554432000 4194304 4260849 140737204416224 18446744073709551615 4225149 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/23924/statm: 37868 34445 250 17 0 34509 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 160176 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+1300 s] /proc/loadavg: 4.00 3.96 3.59 4/192 23969 /proc/meminfo: memFree=13261728/32950928 swapFree=67111528/67111528 [pid=23910] ppid=23908 vsize=8704 CPUtime=0.21 cores=5,7 /proc/23910/stat : 23910 (glucose.sh) S 23908 23910 23003 0 -1 4202496 360 1920 0 0 0 0 21 0 21 0 1 0 459036616 8912896 254 33554432000 4194304 4922060 140734598548608 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/23910/statm: 2176 254 211 178 0 69 0 [pid=23924] ppid=23910 vsize=182292 CPUtime=1299.81 cores=5,7 /proc/23924/stat : 23924 (glucose_static) R 23910 23910 23003 0 -1 4202496 530043 0 0 0 129868 113 0 0 25 0 1 0 459036639 186667008 37370 33554432000 4194304 4260849 140737204416224 18446744073709551615 4226259 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/23924/statm: 45573 37370 250 17 0 42214 0 Current children cumulated CPU time (s) 1300.02 Current children cumulated vsize (KiB) 190996 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 23910 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=215967 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=7998 # CPU time returned by wait4() is 0.223965 # while last known CPU time is 1300.02 # # 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.02 CPU user time (s): 1298.89 CPU system time (s): 1.13 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 190996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.215967 system time used= 0.007998 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2280 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= 7 involuntary context switches= 14 runsolver used 2.04869 second user time and 5.05623 second system time The end
Begin job on node122 at 2011-04-22 14:12:58 IDJOB=3258304 IDBENCH=71337 IDSOLVER=1651 FILE ID=node122/3258304-1303474378 RUNJOBID= node122-1303474378-23886 PBS_JOBID= 13107194 Free space on /tmp= 71132 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT09/CRAFTED/rbsat/random/unforced/rbsat-v1150c84314g7.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3258304-1303474378/watcher-3258304-1303474378 -o /tmp/evaluation-result-3258304-1303474378/solver-3258304-1303474378 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3258304-1303474378.cnf TIME LIMIT= 2400 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= f39e50b5cd7b50d1971722973512a1b8 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: 13727912 kB Buffers: 1282592 kB Cached: 17328228 kB SwapCached: 0 kB Active: 8691000 kB Inactive: 9992700 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 13727912 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 4712 kB Writeback: 0 kB AnonPages: 72248 kB Mapped: 15460 kB Slab: 475036 kB PageTables: 5888 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 216600 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