0.00/0.00 c Parsing...
0.00/0.69 c ==============================================================================
0.00/0.69 c | | ORIGINAL | LEARNT | |
0.00/0.69 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.69 c ==============================================================================
0.00/0.69 c | 0 | 840401 1959486 | 252120 0 0 nan | 0.000 % |
6.28/6.30 c | 0 | 357793 957950 | -- 0 -- -- | -- | -306964/-605014
6.28/6.30 c ==============================================================================
6.28/6.30 c Result : #vars: 59617 #clauses: 357793 #literals: 957950
6.28/6.30 c CPU time: 6.08607 s
6.28/6.30 c ==============================================================================
6.58/6.69 c This is MiniSat 2.0 beta
6.58/6.69 c WARNING: for repeatability, setting FPU to use double precision
6.58/6.69 c ============================[ Problem Statistics ]=============================
6.58/6.69 c | |
6.58/6.69 c | Number of variables: 59617 |
6.58/6.69 c | Number of clauses: 357793 |
6.68/6.91 c | Parsing time: 0.19 s |
6.68/6.92 c ============================[ Search Statistics ]==============================
6.68/6.92 c | Conflicts | ORIGINAL | LEARNT | Progress |
6.68/6.92 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
6.68/6.92 c ===============================================================================
6.68/6.92 c | 0 | 59617 357793 957950 | 119264 0 nan | 0.000 % |
6.68/7.12 c | 100 | 59320 357793 957950 | 119264 89 24 | 9.336 % |
6.68/7.25 c | 200 | 58834 357793 957950 | 119264 167 19 | 19.129 % |
6.68/7.51 c | 300 | 44998 261336 716196 | 119264 212 24 | 24.522 % |
7.77/7.81 c | 410 | 44809 261336 716196 | 119264 308 24 | 27.521 % |
8.07/8.10 c | 510 | 42552 245711 676918 | 119264 390 27 | 28.722 % |
8.27/8.34 c | 620 | 42474 245711 676918 | 119264 490 28 | 29.773 % |
8.57/8.67 c | 744 | 41812 241457 665737 | 119264 596 30 | 31.736 % |
8.78/8.83 c | 844 | 41735 241457 665737 | 119264 691 33 | 34.314 % |
8.97/9.03 c | 954 | 39160 223855 621240 | 119264 779 35 | 34.314 % |
9.17/9.26 c | 1076 | 39155 223855 621240 | 119264 897 34 | 40.019 % |
9.37/9.48 c | 1210 | 35744 199189 554207 | 119264 999 36 | 40.044 % |
9.57/9.68 c | 1310 | 35744 199189 554207 | 119264 1099 43 | 40.044 % |
9.67/9.77 c | 1420 | 35744 199189 554207 | 119264 1209 45 | 40.044 % |
9.97/10.00 c | 1542 | 35361 196773 548025 | 119264 1326 48 | 40.705 % |
10.17/10.27 c | 1675 | 34370 190217 532030 | 119264 1446 47 | 42.365 % |
10.37/10.43 c | 1821 | 34360 190217 532030 | 119264 1590 46 | 46.683 % |
10.57/10.66 c | 1921 | 34341 190217 532030 | 119264 1684 46 | 47.595 % |
10.77/10.83 c | 2031 | 31242 170365 479745 | 119264 1737 49 | 47.596 % |
10.97/11.00 c | 2153 | 31242 170365 479745 | 119264 1859 48 | 47.595 % |
11.17/11.27 c | 2286 | 31233 170286 479546 | 119264 1991 51 | 47.611 % |
11.37/11.48 c | 2436 | 31233 170286 479546 | 119264 2141 54 | 47.611 % |
11.67/11.72 c | 2597 | 31233 170286 479546 | 119264 2301 57 | 47.626 % |
11.77/11.81 c | 2698 | 31224 170216 479385 | 119264 2402 57 | 47.626 % |
11.97/12.05 c | 2808 | 31224 170216 479385 | 119264 2512 61 | 47.626 % |
12.17/12.20 c | 2929 | 31224 170216 479385 | 119264 2633 61 | 47.626 % |
12.27/12.36 c | 3063 | 31224 170216 479385 | 119264 2767 61 | 47.626 % |
12.47/12.55 c | 3210 | 31224 170216 479385 | 119264 2914 62 | 47.626 % |
12.77/12.86 c | 3371 | 31210 170128 479142 | 119264 3069 62 | 47.844 % |
12.97/13.04 c | 3549 | 31210 170128 479142 | 119264 3247 63 | 47.844 % |
13.07/13.14 c | 3649 | 31206 170128 479142 | 119264 3345 63 | 47.980 % |
13.37/13.41 c | 3759 | 31013 168748 475694 | 119264 3454 63 | 47.980 % |
13.47/13.58 c | 3881 | 31013 168748 475694 | 119264 3576 65 | 47.980 % |
13.67/13.75 c | 4014 | 31012 168748 475694 | 119264 3708 66 | 48.000 % |
13.87/13.95 c | 4160 | 31001 168663 475466 | 119264 3844 65 | 48.097 % |
14.07/14.14 c | 4322 | 30998 168663 475466 | 119264 4003 65 | 48.357 % |
14.37/14.40 c | 4500 | 30675 166724 470407 | 119264 4176 64 | 48.547 % |
14.57/14.63 c | 4693 | 30651 166724 470407 | 119264 4364 63 | 48.803 % |
14.77/14.80 c | 4793 | 30651 166724 470407 | 119264 4464 64 | 48.803 % |
14.87/14.96 c | 4904 | 30651 166724 470407 | 119264 4575 64 | 48.803 % |
15.07/15.16 c | 5026 | 30522 165606 467666 | 119264 4686 64 | 48.803 % |
15.37/15.45 c | 5159 | 30354 165606 467666 | 119264 4812 63 | 64.742 % |
15.57/15.66 c | 5307 | 30354 165606 467666 | 119264 4960 63 | 64.742 % |
15.97/16.00 c | 5467 | 21018 104368 301676 | 119264 4931 65 | 64.799 % |
16.17/16.20 c | 5643 | 21014 104368 301676 | 119264 5106 64 | 64.822 % |
16.47/16.53 c | 5837 | 20971 104034 300791 | 119264 5294 63 | 64.839 % |
16.67/16.79 c | 6049 | 20970 104034 300791 | 119264 5505 63 | 64.861 % |
16.87/16.95 c | 6150 | 20949 103866 300331 | 119264 5605 62 | 64.877 % |
16.97/17.06 c | 6261 | 20949 103866 300331 | 119264 5716 62 | 64.877 % |
17.07/17.18 c | 6382 | 20949 103866 300331 | 119264 5837 62 | 64.878 % |
17.17/17.30 c | 6517 | 20949 103866 300331 | 119264 5972 61 | 64.877 % |
17.37/17.43 c | 6663 | 20937 103791 300142 | 119264 6117 60 | 65.129 % |
17.47/17.54 c | 6825 | 20937 103791 300142 | 119264 6279 60 | 65.129 % |
17.77/17.83 c | 7001 | 20931 103791 300142 | 119264 6455 60 | 65.129 % |
17.97/18.04 c | 7197 | 20789 102909 297742 | 119264 6591 59 | 65.129 % |
18.17/18.20 c | 7412 | 20789 102909 297742 | 119264 6806 59 | 65.129 % |
18.37/18.44 c | 7645 | 20789 102909 297742 | 119264 7039 58 | 65.129 % |
18.47/18.53 c | 7745 | 20789 102909 297742 | 119264 7139 57 | 65.129 % |
18.57/18.64 c | 7855 | 20789 102909 297742 | 119264 7249 57 | 65.129 % |
18.67/18.78 c | 7976 | 20789 102909 297742 | 119264 7370 56 | 65.129 % |
18.77/18.88 c | 8109 | 20789 102909 297742 | 119264 7503 56 | 65.129 % |
18.87/18.99 c | 8255 | 20789 102909 297742 | 119264 7649 55 | 65.129 % |
18.97/19.09 c | 8415 | 20789 102909 297742 | 119264 7809 55 | 65.129 % |
19.17/19.24 c | 8591 | 20789 102909 297742 | 119264 7985 54 | 65.129 % |
19.37/19.40 c | 8785 | 20789 102909 297742 | 119264 8179 54 | 65.129 % |
19.47/19.57 c | 8997 | 20789 102909 297742 | 119264 8391 53 | 65.129 % |
19.77/19.81 c | 9231 | 20789 102909 297742 | 119264 8625 53 | 65.129 % |
19.97/20.02 c | 9488 | 20789 102909 297742 | 119264 8882 52 | 65.129 % |
20.07/20.11 c | 9589 | 20789 102909 297742 | 119264 8983 52 | 65.129 % |
20.17/20.21 c | 9699 | 20789 102909 297742 | 119264 9093 52 | 65.129 % |
20.37/20.41 c | 9821 | 20266 100207 290249 | 119264 9214 52 | 66.006 % |
20.47/20.55 c | 9954 | 20266 100207 290249 | 119264 9347 52 | 66.006 % |
20.57/20.69 c | 10100 | 20266 100207 290249 | 2147483647 9493 52 | 66.006 % |
20.77/20.81 c | 10262 | 20266 100207 290249 | 2147483647 9655 52 | 66.006 % |
20.97/21.00 c | 10438 | 20266 100207 290249 | 2147483647 9831 51 | 66.006 % |
21.07/21.18 c | 10633 | 20266 100207 290249 | 2147483647 10026 51 | 66.006 % |
21.37/21.45 c | 10845 | 20266 100207 290249 | 2147483647 10238 51 | 66.006 % |
21.57/21.67 c | 11078 | 20266 100207 290249 | 2147483647 10471 50 | 66.006 % |
21.87/21.91 c | 11334 | 20266 100207 290249 | 2147483647 10727 51 | 66.006 % |
22.17/22.23 c | 11615 | 20252 100113 289977 | 2147483647 11007 50 | 66.030 % |
22.27/22.31 c | 11716 | 20252 100113 289977 | 2147483647 11108 50 | 66.030 % |
22.37/22.43 c | 11826 | 20252 100113 289977 | 2147483647 11218 50 | 66.030 % |
22.47/22.54 c | 11947 | 20252 100113 289977 | 2147483647 11339 50 | 66.030 % |
22.57/22.69 c | 12081 | 20243 100042 289805 | 2147483647 11470 50 | 66.045 % |
22.77/22.87 c | 12227 | 20243 100042 289805 | 2147483647 11616 50 | 66.045 % |
23.07/23.15 c | 12387 | 20243 100042 289805 | 2147483647 11776 50 | 66.045 % |
23.27/23.39 c | 12563 | 20243 100042 289805 | 2147483647 11952 50 | 66.045 % |
23.57/23.64 c | 12756 | 20243 100042 289805 | 2147483647 12145 50 | 66.045 % |
23.77/23.88 c | 12968 | 20230 99948 289558 | 2147483647 12356 50 | 66.067 % |
24.17/24.22 c | 13201 | 20229 99948 289558 | 2147483647 12587 49 | 66.105 % |
24.57/24.60 c | 13457 | 20215 99948 289558 | 2147483647 12842 49 | 66.629 % |
24.88/24.96 c | 13738 | 19883 97782 283526 | 2147483647 13097 49 | 69.910 % |
25.18/25.27 c | 14051 | 19883 97782 283526 | 2147483647 13410 49 | 69.910 % |
25.28/25.40 c | 14153 | 19883 97782 283526 | 2147483647 13512 49 | 69.910 % |
25.48/25.52 c | 14264 | 17939 86677 251377 | 2147483647 13472 49 | 69.910 % |
25.58/25.63 c | 14386 | 17939 86677 251377 | 2147483647 13594 49 | 69.910 % |
25.68/25.76 c | 14520 | 17939 86677 251377 | 2147483647 13728 48 | 69.910 % |
25.88/25.90 c | 14669 | 17939 86677 251377 | 2147483647 13877 48 | 69.910 % |
26.08/26.13 c | 14829 | 17939 86677 251377 | 2147483647 14037 48 | 69.910 % |
26.28/26.35 c | 15007 | 17939 86677 251377 | 2147483647 14215 48 | 69.910 % |
26.57/26.62 c | 15200 | 17489 83748 244039 | 2147483647 14407 48 | 70.664 % |
26.77/26.87 c | 15416 | 17489 83748 244039 | 2147483647 14623 48 | 70.664 % |
27.07/27.14 c | 15649 | 17487 83748 244039 | 2147483647 14853 48 | 70.938 % |
27.38/27.47 c | 15906 | 17312 82753 241580 | 2147483647 15100 48 | 70.961 % |
27.67/27.71 c | 16187 | 17312 82753 241580 | 2147483647 15381 48 | 70.961 % |
28.07/28.13 c | 16496 | 17312 82753 241580 | 2147483647 15690 48 | 70.961 % |
28.37/28.45 c | 16835 | 17312 82753 241580 | 2147483647 16029 47 | 70.961 % |
28.48/28.55 c | 16936 | 17312 82753 241580 | 2147483647 16130 47 | 70.961 % |
28.58/28.69 c | 17047 | 17312 82753 241580 | 2147483647 16241 47 | 70.961 % |
28.77/28.82 c | 17168 | 17312 82753 241580 | 2147483647 16362 47 | 70.961 % |
28.87/28.96 c | 17301 | 17312 82753 241580 | 2147483647 16495 47 | 70.961 % |
29.07/29.13 c | 17447 | 17312 82753 241580 | 2147483647 16641 47 | 70.961 % |
29.27/29.32 c | 17609 | 17312 82753 241580 | 2147483647 16803 47 | 70.961 % |
29.47/29.51 c | 17785 | 17312 82753 241580 | 2147483647 16979 47 | 70.961 % |
29.68/29.77 c | 17979 | 17312 82753 241580 | 2147483647 17173 47 | 70.961 % |
29.97/30.00 c | 18193 | 17312 82753 241580 | 2147483647 17387 47 | 70.961 % |
30.27/30.36 c | 18426 | 17302 82679 241398 | 2147483647 17619 47 | 70.978 % |
30.47/30.59 c | 18682 | 17302 82679 241398 | 2147483647 17875 47 | 70.978 % |
30.97/31.01 c | 18963 | 17302 82679 241398 | 2147483647 18156 46 | 70.978 % |
31.17/31.28 c | 19272 | 17302 82679 241398 | 2147483647 18465 46 | 70.978 % |
31.57/31.62 c | 19612 | 17302 82679 241398 | 2147483647 18805 46 | 70.978 % |
31.88/31.98 c | 19987 | 17302 82679 241398 | 2147483647 19180 46 | 70.978 % |
31.97/32.09 c | 20087 | 17302 82679 241398 | 2147483647 19280 46 | 70.978 % |
32.07/32.19 c | 20199 | 17302 82679 241398 | 2147483647 19392 46 | 70.978 % |
32.27/32.33 c | 20322 | 17302 82679 241398 | 2147483647 19515 46 | 70.978 % |
32.47/32.51 c | 20457 | 17302 82679 241398 | 2147483647 19650 46 | 70.978 % |
32.57/32.68 c | 20605 | 17302 82679 241398 | 2147483647 19798 46 | 70.978 % |
32.87/32.99 c | 20765 | 17302 82679 241398 | 2147483647 19958 46 | 70.978 % |
33.17/33.24 c | 20942 | 17302 82679 241398 | 2147483647 20135 46 | 70.978 % |
33.37/33.50 c | 21135 | 17302 82679 241398 | 2147483647 20328 46 | 70.978 % |
33.67/33.79 c | 21347 | 16934 80296 235217 | 2147483647 20539 45 | 71.595 % |
33.97/34.07 c | 21581 | 16934 80296 235217 | 2147483647 20773 45 | 71.595 % |
34.27/34.33 c | 21837 | 16934 80296 235217 | 2147483647 21029 45 | 71.595 % |
34.57/34.70 c | 22118 | 16934 80296 235217 | 2147483647 21310 45 | 71.595 % |
35.07/35.11 c | 22429 | 16934 80296 235217 | 2147483647 21621 45 | 71.595 % |
35.47/35.55 c | 22768 | 16934 80296 235217 | 2147483647 21960 45 | 71.595 % |
35.97/36.04 c | 23142 | 16934 80296 235217 | 2147483647 22334 45 | 71.595 % |
36.47/36.50 c | 23551 | 16934 80296 235217 | 2147483647 22743 45 | 71.595 % |
36.57/36.62 c | 23651 | 16934 80296 235217 | 2147483647 22843 45 | 71.595 % |
36.67/36.75 c | 23762 | 16934 80296 235217 | 2147483647 22954 45 | 71.595 % |
36.87/36.90 c | 23888 | 16934 80296 235217 | 2147483647 23080 45 | 71.595 % |
37.07/37.11 c | 24021 | 16934 80296 235217 | 2147483647 23213 45 | 71.595 % |
37.17/37.22 c | 24167 | 16934 80296 235217 | 2147483647 23359 45 | 71.595 % |
37.37/37.43 c | 24328 | 16934 80296 235217 | 2147483647 23520 45 | 71.595 % |
37.57/37.68 c | 24504 | 16934 80296 235217 | 2147483647 23696 45 | 71.595 % |
37.77/37.86 c | 24697 | 16934 80296 235217 | 2147483647 23889 45 | 71.595 % |
38.07/38.11 c | 24911 | 16934 80296 235217 | 2147483647 24103 45 | 71.595 % |
38.27/38.34 c | 25147 | 16934 80296 235217 | 2147483647 24339 44 | 71.595 % |
38.57/38.61 c | 25403 | 16934 80296 235217 | 2147483647 24595 44 | 71.595 % |
38.77/38.87 c | 25686 | 16934 80296 235217 | 2147483647 24878 44 | 71.595 % |
39.07/39.18 c | 25996 | 16934 80296 235217 | 2147483647 25188 44 | 71.595 % |
39.47/39.52 c | 26337 | 16934 80296 235217 | 2147483647 25529 44 | 71.595 % |
39.86/39.91 c | 26709 | 16890 80080 234589 | 2147483647 25889 44 | 71.669 % |
40.16/40.30 c | 27119 | 16890 80080 234589 | 2147483647 26299 44 | 71.669 % |
40.76/40.83 c | 27570 | 16886 80080 234589 | 2147483647 26749 44 | 76.790 % |
40.86/40.96 c | 27672 | 13837 61212 181804 | 2147483647 26680 44 | 76.790 % |
40.96/41.08 c | 27783 | 13837 61212 181804 | 2147483647 26791 44 | 76.790 % |
41.16/41.21 c | 27904 | 13837 61212 181804 | 2147483647 26912 44 | 76.790 % |
41.26/41.36 c | 28037 | 13837 61212 181804 | 2147483647 27045 44 | 76.790 % |
41.36/41.45 c | 28183 | 13837 61212 181804 | 2147483647 27191 44 | 76.790 % |
41.56/41.68 c | 28343 | 13837 61212 181804 | 2147483647 27351 44 | 76.790 % |
41.77/41.85 c | 28519 | 13837 61212 181804 | 2147483647 27527 43 | 76.790 % |
41.96/42.06 c | 28712 | 13837 61212 181804 | 2147483647 27720 43 | 76.790 % |
42.36/42.41 c | 28924 | 13837 61212 181804 | 2147483647 27932 43 | 76.790 % |
42.67/42.71 c | 29159 | 13837 61212 181804 | 2147483647 28167 43 | 76.790 % |
42.97/43.01 c | 29415 | 13837 61212 181804 | 2147483647 28423 43 | 76.790 % |
43.17/43.26 c | 29698 | 13837 61212 181804 | 2147483647 28706 43 | 76.790 % |
43.47/43.57 c | 30012 | 13837 61212 181804 | 2147483647 29020 43 | 76.790 % |
43.76/43.85 c | 30351 | 13837 61212 181804 | 2147483647 29359 43 | 76.790 % |
44.26/44.35 c | 30723 | 13837 61212 181804 | 2147483647 29731 43 | 76.790 % |
44.86/44.96 c | 31132 | 13837 61212 181804 | 2147483647 30140 43 | 76.790 % |
45.56/45.64 c | 31584 | 13837 61212 181804 | 2147483647 30592 43 | 76.790 % |
45.96/46.09 c | 32077 | 13837 61212 181804 | 2147483647 31085 42 | 76.790 % |
46.07/46.19 c | 32177 | 13837 61212 181804 | 2147483647 31185 42 | 76.790 % |
46.26/46.30 c | 32287 | 13837 61212 181804 | 2147483647 31295 42 | 76.790 % |
46.36/46.44 c | 32409 | 13837 61212 181804 | 2147483647 31417 42 | 76.790 % |
46.46/46.58 c | 32542 | 13837 61212 181804 | 2147483647 31550 42 | 76.790 % |
46.66/46.70 c | 32688 | 13837 61212 181804 | 2147483647 31696 42 | 76.790 % |
46.86/46.90 c | 32848 | 13837 61212 181804 | 2147483647 31856 42 | 76.790 % |
47.06/47.19 c | 33026 | 13837 61212 181804 | 2147483647 32034 42 | 76.790 % |
47.26/47.38 c | 33220 | 13837 61212 181804 | 2147483647 32228 42 | 76.790 % |
47.46/47.60 c | 33432 | 13837 61212 181804 | 2147483647 32440 42 | 76.790 % |
47.76/47.83 c | 33667 | 13837 61212 181804 | 2147483647 32675 42 | 76.790 % |
48.06/48.17 c | 33925 | 13837 61212 181804 | 2147483647 32933 42 | 76.790 % |
48.46/48.50 c | 34206 | 13837 61212 181804 | 2147483647 33214 42 | 76.790 % |
48.76/48.89 c | 34519 | 13837 61212 181804 | 2147483647 33527 41 | 76.790 % |
49.26/49.38 c | 34858 | 13836 61208 181794 | 2147483647 33864 41 | 76.792 % |
49.66/49.78 c | 35232 | 13836 61208 181794 | 2147483647 34238 41 | 76.792 % |
50.06/50.14 c | 35641 | 13836 61208 181794 | 2147483647 34647 41 | 76.792 % |
50.46/50.58 c | 36090 | 13836 61208 181794 | 2147483647 35096 41 | 76.792 % |
50.96/51.09 c | 36585 | 13836 61208 181794 | 2147483647 35591 41 | 76.792 % |
51.46/51.54 c | 37127 | 13836 61208 181794 | 2147483647 36133 41 | 76.792 % |
51.56/51.67 c | 37229 | 13836 61208 181794 | 2147483647 36235 41 | 76.792 % |
51.76/51.82 c | 37339 | 13836 61208 181794 | 2147483647 36345 41 | 76.792 % |
51.86/51.95 c | 37460 | 13836 61208 181794 | 2147483647 36466 41 | 76.792 % |
52.06/52.12 c | 37593 | 13836 61208 181794 | 2147483647 36599 41 | 76.792 % |
52.16/52.28 c | 37739 | 13836 61208 181794 | 2147483647 36745 41 | 76.792 % |
52.36/52.46 c | 37900 | 13836 61208 181794 | 2147483647 36906 41 | 76.792 % |
52.66/52.71 c | 38076 | 13836 61208 181794 | 2147483647 37082 41 | 76.792 % |
52.85/52.93 c | 38270 | 13836 61208 181794 | 2147483647 37276 41 | 76.792 % |
53.15/53.20 c | 38483 | 13836 61208 181794 | 2147483647 37489 41 | 76.792 % |
53.45/53.50 c | 38716 | 13836 61208 181794 | 2147483647 37722 41 | 76.792 % |
53.86/53.99 c | 38972 | 13836 61208 181794 | 2147483647 37978 41 | 76.792 % |
54.45/54.54 c | 39253 | 13836 61208 181794 | 2147483647 38259 41 | 76.792 % |
54.96/55.02 c | 39563 | 13836 61208 181794 | 2147483647 38569 41 | 76.792 % |
55.25/55.39 c | 39902 | 13836 61208 181794 | 2147483647 38908 41 | 76.792 % |
55.85/55.90 c | 40276 | 13836 61208 181794 | 2147483647 39282 41 | 76.792 % |
56.55/56.62 c | 40690 | 13836 61208 181794 | 2147483647 39696 40 | 76.792 % |
57.15/57.24 c | 41140 | 13836 61208 181794 | 2147483647 40146 40 | 76.792 % |
57.85/57.92 c | 41633 | 13836 61208 181794 | 2147483647 40639 40 | 76.792 % |
58.45/58.56 c | 42175 | 13836 61208 181794 | 2147483647 41181 40 | 76.792 % |
59.15/59.27 c | 42771 | 13836 61208 181794 | 2147483647 41777 40 | 76.792 % |
59.35/59.43 c | 42873 | 13836 61208 181794 | 2147483647 41879 40 | 76.792 % |
59.56/59.60 c | 42984 | 13836 61208 181794 | 2147483647 41990 40 | 76.792 % |
59.76/59.83 c | 43105 | 13836 61208 181794 | 2147483647 42111 40 | 76.792 % |
59.86/59.97 c | 43240 | 13836 61208 181794 | 2147483647 42246 40 | 76.792 % |
60.06/60.16 c | 43389 | 13836 61208 181794 | 2147483647 42395 40 | 76.792 % |
60.26/60.39 c | 43550 | 13836 61208 181794 | 2147483647 42556 40 | 76.792 % |
60.56/60.60 c | 43727 | 13836 61208 181794 | 2147483647 42733 40 | 76.792 % |
60.66/60.79 c | 43922 | 13836 61208 181794 | 2147483647 42928 40 | 76.792 % |
60.96/61.09 c | 44134 | 13836 61208 181794 | 2147483647 43140 40 | 76.792 % |
61.26/61.32 c | 44367 | 13836 61208 181794 | 2147483647 43373 40 | 76.792 % |
61.56/61.66 c | 44623 | 13836 61208 181794 | 2147483647 43629 40 | 76.792 % |
61.86/61.99 c | 44906 | 13836 61208 181794 | 2147483647 43912 40 | 76.792 % |
62.36/62.50 c | 45215 | 13836 61208 181794 | 2147483647 44221 39 | 76.792 % |
62.76/62.83 c | 45556 | 13836 61208 181794 | 2147483647 44562 39 | 76.792 % |
63.26/63.32 c | 45928 | 13836 61208 181794 | 2147483647 44934 40 | 76.792 % |
63.66/63.79 c | 46340 | 13836 61208 181794 | 2147483647 45346 40 | 76.792 % |
64.26/64.36 c | 46789 | 13836 61208 181794 | 2147483647 45795 40 | 76.792 % |
64.96/65.07 c | 47283 | 13836 61208 181794 | 2147483647 46289 39 | 76.792 % |
65.66/65.73 c | 47828 | 13836 61208 181794 | 2147483647 46834 39 | 76.792 % |
66.26/66.33 c | 48425 | 13836 61208 181794 | 2147483647 47431 39 | 76.792 % |
67.15/67.25 c | 49081 | 13836 61208 181794 | 2147483647 48087 39 | 76.792 % |
67.25/67.32 c | 49181 | 13836 61208 181794 | 2147483647 48187 39 | 76.792 % |
67.35/67.47 c | 49295 | 13836 61208 181794 | 2147483647 48301 39 | 76.792 % |
67.45/67.59 c | 49418 | 13836 61208 181794 | 2147483647 48424 39 | 76.792 % |
67.65/67.72 c | 49553 | 13836 61208 181794 | 2147483647 48559 39 | 76.792 % |
67.85/67.93 c | 49700 | 13836 61208 181794 | 2147483647 48706 39 | 76.792 % |
68.06/68.11 c | 49860 | 13836 61208 181794 | 2147483647 48866 39 | 76.792 % |
68.16/68.29 c | 50036 | 13836 61208 181794 | 2147483647 49042 39 | 76.792 % |
68.45/68.57 c | 50229 | 13836 61208 181794 | 2147483647 49235 39 | 76.792 % |
68.85/68.98 c | 50441 | 13836 61208 181794 | 2147483647 49447 39 | 76.792 % |
69.26/69.36 c | 50675 | 13836 61208 181794 | 2147483647 49681 39 | 76.792 % |
69.55/69.65 c | 50931 | 13836 61208 181794 | 2147483647 49937 39 | 76.792 % |
69.95/70.00 c | 51212 | 13836 61208 181794 | 2147483647 50218 39 | 76.792 % |
70.45/70.55 c | 51521 | 13836 61208 181794 | 2147483647 50527 39 | 76.792 % |
70.85/70.96 c | 51862 | 13836 61208 181794 | 2147483647 50868 39 | 76.792 % |
71.46/71.59 c | 52234 | 13836 61208 181794 | 2147483647 51240 39 | 76.792 % |
72.15/72.22 c | 52643 | 13836 61208 181794 | 2147483647 51649 39 | 76.792 % |
72.85/72.92 c | 53093 | 13836 61208 181794 | 2147483647 52099 39 | 76.792 % |
73.45/73.53 c | 53588 | 13836 61208 181794 | 2147483647 52594 39 | 76.792 % |
74.15/74.23 c | 54131 | 13836 61208 181794 | 2147483647 53137 39 | 76.792 % |
75.05/75.13 c | 54729 | 13836 61208 181794 | 2147483647 53735 39 | 76.792 % |
75.95/76.05 c | 55384 | 13836 61208 181794 | 2147483647 54390 39 | 76.792 % |
77.05/77.14 c | 56104 | 13836 61208 181794 | 2147483647 55110 38 | 76.792 % |
77.15/77.29 c | 56205 | 13836 61208 181794 | 2147483647 55211 38 | 76.792 % |
77.35/77.44 c | 56315 | 13836 61208 181794 | 2147483647 55321 38 | 76.792 % |
77.55/77.62 c | 56436 | 13836 61208 181794 | 2147483647 55442 38 | 76.792 % |
77.75/77.81 c | 56570 | 13836 61208 181794 | 2147483647 55576 38 | 76.792 % |
77.85/77.98 c | 56717 | 13836 61208 181794 | 2147483647 55723 38 | 76.792 % |
78.15/78.22 c | 56878 | 13836 61208 181794 | 2147483647 55884 38 | 76.792 % |
78.35/78.49 c | 57055 | 13836 61208 181794 | 2147483647 56061 38 | 76.792 % |
78.65/78.73 c | 57248 | 13836 61208 181794 | 2147483647 56254 38 | 76.792 % |
78.94/79.02 c | 57460 | 13836 61208 181794 | 2147483647 56466 38 | 76.792 % |
79.34/79.44 c | 57694 | 13836 61208 181794 | 2147483647 56700 38 | 76.792 % |
79.84/79.90 c | 57951 | 13836 61208 181794 | 2147483647 56957 38 | 76.792 % |
80.15/80.30 c | 58232 | 13836 61208 181794 | 2147483647 57238 38 | 76.792 % |
80.74/80.89 c | 58542 | 13836 61208 181794 | 2147483647 57548 38 | 76.792 % |
81.24/81.34 c | 58881 | 13836 61208 181794 | 2147483647 57887 38 | 76.792 % |
81.84/81.91 c | 59253 | 13836 61208 181794 | 2147483647 58259 38 | 76.792 % |
82.34/82.46 c | 59664 | 13836 61208 181794 | 2147483647 58670 38 | 76.792 % |
83.14/83.27 c | 60113 | 13836 61208 181794 | 2147483647 59119 38 | 76.792 % |
83.74/83.90 c | 60606 | 13836 61208 181794 | 2147483647 59612 38 | 76.792 % |
84.64/84.70 c | 61148 | 13836 61208 181794 | 2147483647 60154 38 | 76.792 % |
85.45/85.50 c | 61744 | 13836 61208 181794 | 2147483647 60750 38 | 76.792 % |
86.55/86.62 c | 62402 | 13836 61208 181794 | 2147483647 61408 38 | 76.792 % |
87.75/87.85 c | 63122 | 13836 61208 181794 | 2147483647 62128 38 | 76.792 % |
89.24/89.32 c | 63914 | 13836 61208 181794 | 2147483647 62920 38 | 76.792 % |
89.34/89.49 c | 64014 | 13836 61208 181794 | 2147483647 63020 38 | 76.792 % |
89.54/89.65 c | 64124 | 13836 61208 181794 | 2147483647 63130 38 | 76.792 % |
89.74/89.81 c | 64245 | 13836 61208 181794 | 2147483647 63251 38 | 76.792 % |
89.94/90.09 c | 64381 | 13836 61208 181794 | 2147483647 63387 38 | 76.792 % |
90.34/90.44 c | 64528 | 13836 61208 181794 | 2147483647 63534 38 | 76.792 % |
90.54/90.64 c | 64689 | 13836 61208 181794 | 2147483647 63695 38 | 76.792 % |
90.84/90.92 c | 64865 | 13836 61208 181794 | 2147483647 63871 38 | 76.792 % |
91.15/91.20 c | 65058 | 13836 61208 181794 | 2147483647 64064 38 | 76.792 % |
91.44/91.53 c | 65270 | 13836 61208 181794 | 2147483647 64276 38 | 76.792 % |
91.84/91.94 c | 65503 | 13836 61208 181794 | 2147483647 64509 38 | 76.792 % |
92.14/92.28 c | 65759 | 13836 61208 181794 | 2147483647 64765 38 | 76.792 % |
92.74/92.84 c | 66040 | 13836 61208 181794 | 2147483647 65046 38 | 76.792 % |
93.24/93.36 c | 66349 | 13836 61208 181794 | 2147483647 65355 38 | 76.792 % |
93.74/93.87 c | 66688 | 13836 61208 181794 | 2147483647 65694 38 | 76.792 % |
94.44/94.51 c | 67062 | 13836 61208 181794 | 2147483647 66068 38 | 76.792 % |
95.14/95.22 c | 67472 | 13823 61128 181580 | 2147483647 66464 38 | 76.814 % |
95.94/96.07 c | 67922 | 13823 61128 181580 | 2147483647 66914 38 | 76.814 % |
96.84/96.95 c | 68416 | 13823 61128 181580 | 2147483647 67408 38 | 76.814 % |
97.64/97.77 c | 68959 | 13823 61128 181580 | 2147483647 67950 37 | 76.879 % |
98.64/98.74 c | 69559 | 13823 61128 181580 | 2147483647 68550 37 | 76.879 % |
99.54/99.68 c | 70215 | 13784 61006 181266 | 2147483647 69204 37 | 76.879 % |
100.54/100.66 c | 70936 | 13784 61006 181266 | 2147483647 69925 37 | 76.879 % |
101.93/102.00 c | 71728 | 13784 61006 181266 | 2147483647 70717 37 | 76.879 % |
103.24/103.34 c | 72600 | 13784 61006 181266 | 2147483647 71589 37 | 76.879 % |
103.34/103.50 c | 72700 | 13784 61006 181266 | 2147483647 71689 37 | 76.879 % |
103.53/103.66 c | 72810 | 13784 61006 181266 | 2147483647 71799 37 | 76.879 % |
103.73/103.87 c | 72931 | 13784 61006 181266 | 2147483647 71920 37 | 76.879 % |
103.93/104.05 c | 73066 | 13784 61006 181266 | 2147483647 72055 37 | 76.879 % |
104.13/104.28 c | 73213 | 13784 61006 181266 | 2147483647 72202 37 | 76.879 % |
104.43/104.54 c | 73373 | 13784 61006 181266 | 2147483647 72362 37 | 76.879 % |
104.73/104.87 c | 73549 | 13784 61006 181266 | 2147483647 72538 37 | 76.879 % |
105.13/105.22 c | 73742 | 13784 61006 181266 | 2147483647 72731 37 | 76.879 % |
105.53/105.66 c | 73956 | 13784 61006 181266 | 2147483647 72945 37 | 76.879 % |
106.13/106.20 c | 74190 | 13784 61006 181266 | 2147483647 73179 37 | 76.879 % |
106.63/106.72 c | 74446 | 13784 61006 181266 | 2147483647 73435 37 | 76.879 % |
107.23/107.31 c | 74727 | 13784 61006 181266 | 2147483647 73716 37 | 76.879 % |
107.83/107.98 c | 75040 | 13784 61006 181266 | 2147483647 74029 37 | 76.879 % |
108.43/108.57 c | 75382 | 13784 61006 181266 | 2147483647 74371 37 | 76.879 % |
109.03/109.15 c | 75754 | 13784 61006 181266 | 2147483647 74743 37 | 76.879 % |
109.83/109.93 c | 76163 | 13784 61006 181266 | 2147483647 75152 37 | 76.879 % |
110.73/110.84 c | 76612 | 13784 61006 181266 | 2147483647 75601 37 | 76.879 % |
111.74/111.88 c | 77105 | 13784 61006 181266 | 2147483647 76094 36 | 76.879 % |
112.83/112.91 c | 77648 | 13784 61006 181266 | 2147483647 76637 36 | 76.879 % |
113.83/113.94 c | 78245 | 13784 61006 181266 | 2147483647 77234 36 | 76.879 % |
115.13/115.20 c | 78901 | 13784 61006 181266 | 2147483647 77890 36 | 76.879 % |
116.23/116.31 c | 79621 | 13784 61006 181266 | 2147483647 78610 36 | 76.879 % |
117.63/117.74 c | 80414 | 13784 61006 181266 | 2147483647 79403 36 | 76.879 % |
119.53/119.60 c | 81285 | 13784 61006 181266 | 2147483647 80274 36 | 76.879 % |
121.33/121.48 c | 82246 | 13784 61006 181266 | 2147483647 81235 36 | 76.879 % |
121.53/121.69 c | 82346 | 13784 61006 181266 | 2147483647 81335 36 | 76.879 % |
121.83/121.91 c | 82456 | 13784 61006 181266 | 2147483647 81445 36 | 76.879 % |
122.03/122.16 c | 82579 | 13784 61006 181266 | 2147483647 81568 36 | 76.879 % |
122.43/122.52 c | 82713 | 13784 61006 181266 | 2147483647 81702 36 | 76.879 % |
122.73/122.88 c | 82862 | 13784 61006 181266 | 2147483647 81851 36 | 76.879 % |
123.13/123.28 c | 83023 | 13784 61006 181266 | 2147483647 82012 36 | 76.879 % |
123.52/123.62 c | 83200 | 13784 61006 181266 | 2147483647 82189 36 | 76.879 % |
123.82/123.97 c | 83398 | 13784 61006 181266 | 2147483647 82387 36 | 76.879 % |
124.42/124.50 c | 83611 | 13784 61006 181266 | 2147483647 82600 36 | 76.879 % |
124.82/124.99 c | 83845 | 13784 61006 181266 | 2147483647 82834 36 | 76.879 % |
125.52/125.62 c | 84101 | 13784 61006 181266 | 2147483647 83090 36 | 76.879 % |
126.12/126.22 c | 84383 | 13784 61006 181266 | 2147483647 83372 36 | 76.879 % |
126.52/126.69 c | 84694 | 13784 61006 181266 | 2147483647 83683 36 | 76.879 % |
127.12/127.24 c | 85035 | 13784 61006 181266 | 2147483647 84024 36 | 76.879 % |
127.82/127.93 c | 85407 | 13765 60910 180995 | 2147483647 84393 36 | 76.911 % |
128.53/128.67 c | 85818 | 13765 60910 180995 | 2147483647 84804 36 | 76.911 % |
129.62/129.70 c | 86267 | 13765 60910 180995 | 2147483647 85253 36 | 76.911 % |
130.62/130.78 c | 86761 | 13765 60910 180995 | 2147483647 85747 36 | 76.911 % |
131.42/131.58 c | 87303 | 13765 60910 180995 | 2147483647 86289 36 | 76.911 % |
132.72/132.85 c | 87899 | 13765 60910 180995 | 2147483647 86885 36 | 76.911 % |
134.02/134.17 c | 88554 | 13765 60910 180995 | 2147483647 87540 36 | 76.911 % |
135.32/135.48 c | 89274 | 13765 60910 180995 | 2147483647 88260 35 | 76.911 % |
136.92/137.05 c | 90067 | 13752 60819 180751 | 2147483647 89052 35 | 76.933 % |
138.52/138.69 c | 90939 | 13752 60819 180751 | 2147483647 89924 35 | 76.933 % |
140.51/140.68 c | 91900 | 13752 60819 180751 | 2147483647 90885 35 | 76.933 % |
142.92/143.07 c | 92953 | 13752 60819 180751 | 2147483647 91938 35 | 76.933 % |
143.21/143.30 c | 93055 | 13752 60819 180751 | 2147483647 92040 35 | 76.933 % |
143.41/143.59 c | 93165 | 13752 60819 180751 | 2147483647 92150 35 | 76.933 % |
143.71/143.84 c | 93286 | 13752 60819 180751 | 2147483647 92271 35 | 76.933 % |
144.11/144.22 c | 93423 | 13752 60819 180751 | 2147483647 92408 35 | 76.933 % |
144.51/144.60 c | 93569 | 13752 60819 180751 | 2147483647 92554 35 | 76.933 % |
144.81/144.93 c | 93729 | 13752 60819 180751 | 2147483647 92714 35 | 76.933 % |
145.21/145.36 c | 93906 | 13752 60819 180751 | 2147483647 92891 35 | 76.933 % |
145.61/145.73 c | 94100 | 13752 60819 180751 | 2147483647 93085 35 | 76.933 % |
146.01/146.18 c | 94312 | 13752 60819 180751 | 2147483647 93297 35 | 76.933 % |
146.51/146.67 c | 94545 | 13752 60819 180751 | 2147483647 93530 35 | 76.933 % |
146.91/147.09 c | 94801 | 13752 60819 180751 | 2147483647 93786 35 | 76.933 % |
147.51/147.62 c | 95085 | 13752 60819 180751 | 2147483647 94070 35 | 76.933 % |
148.01/148.18 c | 95394 | 13752 60819 180751 | 2147483647 94379 35 | 76.933 % |
148.91/149.03 c | 95733 | 13752 60819 180751 | 2147483647 94718 35 | 76.933 % |
149.61/149.79 c | 96106 | 13752 60819 180751 | 2147483647 95091 35 | 76.933 % |
150.51/150.65 c | 96517 | 13752 60819 180751 | 2147483647 95502 35 | 76.933 % |
151.21/151.33 c | 96968 | 13752 60819 180751 | 2147483647 95953 35 | 76.933 % |
152.31/152.43 c | 97462 | 13752 60819 180751 | 2147483647 96447 35 | 76.933 % |
153.51/153.67 c | 98007 | 13752 60819 180751 | 2147483647 96992 35 | 76.933 % |
155.01/155.18 c | 98603 | 13744 60799 180679 | 2147483647 97587 35 | 76.946 % |
156.41/156.51 c | 99258 | 13744 60799 180679 | 2147483647 98242 35 | 76.946 % |
158.01/158.11 c | 99978 | 13744 60799 180679 | 2147483647 98962 35 | 76.946 % |
159.42/159.58 c | 100772 | 13744 60799 180679 | 2147483647 99756 35 | 76.946 % |
161.41/161.52 c | 101643 | 13744 60799 180679 | 2147483647 100627 35 | 76.946 % |
164.11/164.21 c | 102601 | 13744 60799 180679 | 2147483647 101585 34 | 76.946 % |
166.41/166.52 c | 103657 | 13744 60799 180679 | 2147483647 102641 34 | 76.946 % |
168.81/168.99 c | 104815 | 13744 60799 180679 | 2147483647 103799 34 | 76.946 % |
169.11/169.24 c | 104915 | 13744 60799 180679 | 2147483647 103899 34 | 76.946 % |
169.31/169.46 c | 105025 | 13744 60799 180679 | 2147483647 104009 34 | 76.946 % |
169.61/169.74 c | 105148 | 13744 60799 180679 | 2147483647 104132 34 | 76.946 % |
169.91/170.07 c | 105281 | 13744 60799 180679 | 2147483647 104265 34 | 76.946 % |
170.31/170.47 c | 105429 | 13744 60799 180679 | 2147483647 104413 34 | 76.946 % |
170.71/170.80 c | 105589 | 13744 60799 180679 | 2147483647 104573 34 | 76.946 % |
171.01/171.14 c | 105766 | 13744 60799 180679 | 2147483647 104750 34 | 76.946 % |
171.30/171.47 c | 105959 | 13744 60799 180679 | 2147483647 104943 34 | 76.946 % |
171.70/171.87 c | 106171 | 13744 60799 180679 | 2147483647 105155 34 | 76.946 % |
172.20/172.38 c | 106404 | 13744 60799 180679 | 2147483647 105388 34 | 76.946 % |
172.70/172.86 c | 106661 | 13744 60799 180679 | 2147483647 105645 34 | 76.946 % |
173.30/173.48 c | 106943 | 13744 60799 180679 | 2147483647 105927 34 | 76.946 % |
173.80/174.00 c | 107252 | 13744 60799 180679 | 2147483647 106236 34 | 76.946 % |
174.60/174.77 c | 107592 | 13744 60799 180679 | 2147483647 106576 34 | 76.946 % |
175.40/175.51 c | 107965 | 13744 60799 180679 | 2147483647 106949 34 | 76.946 % |
176.20/176.30 c | 108374 | 13744 60799 180679 | 2147483647 107358 34 | 76.946 % |
177.00/177.11 c | 108824 | 13744 60799 180679 | 2147483647 107808 34 | 76.946 % |
177.90/178.03 c | 109317 | 13744 60799 180679 | 2147483647 108301 34 | 76.946 % |
179.10/179.25 c | 109859 | 13744 60799 180679 | 2147483647 108843 34 | 76.946 % |
180.30/180.45 c | 110455 | 13744 60799 180679 | 2147483647 109439 34 | 76.946 % |
181.70/181.88 c | 111110 | 13744 60799 180679 | 2147483647 110094 34 | 76.946 % |
183.20/183.39 c | 111831 | 13744 60799 180679 | 2147483647 110815 34 | 76.946 % |
185.29/185.44 c | 112623 | 13744 60799 180679 | 2147483647 111607 34 | 76.946 % |
187.29/187.40 c | 113494 | 13744 60799 180679 | 2147483647 112478 34 | 76.946 % |
189.40/189.50 c | 114452 | 13647 60516 179762 | 2147483647 113435 34 | 77.109 % |
191.50/191.67 c | 115507 | 13647 60516 179762 | 2147483647 114490 34 | 77.109 % |
193.90/194.07 c | 116666 | 13647 60516 179762 | 2147483647 115649 34 | 77.109 % |
196.40/196.50 c | 117940 | 13647 60516 179762 | 2147483647 116923 34 | 77.109 % |
196.60/196.76 c | 118040 | 13647 60516 179762 | 2147483647 117023 34 | 77.109 % |
196.90/197.04 c | 118150 | 13647 60516 179762 | 2147483647 117133 34 | 77.109 % |
197.20/197.35 c | 118273 | 13647 60516 179762 | 2147483647 117256 34 | 77.109 % |
197.50/197.63 c | 118406 | 13647 60516 179762 | 2147483647 117389 34 | 77.109 % |
197.80/197.98 c | 118552 | 13647 60516 179762 | 2147483647 117535 34 | 77.109 % |
198.29/198.42 c | 118712 | 13647 60516 179762 | 2147483647 117695 34 | 77.109 % |
198.69/198.82 c | 118889 | 13647 60516 179762 | 2147483647 117872 34 | 77.109 % |
199.09/199.24 c | 119082 | 13647 60516 179762 | 2147483647 118065 34 | 77.109 % |
199.69/199.89 c | 119294 | 13647 60516 179762 | 2147483647 118277 34 | 77.109 % |
200.49/200.63 c | 119527 | 13647 60516 179762 | 2147483647 118510 34 | 77.109 % |
201.20/201.30 c | 119784 | 13647 60516 179762 | 2147483647 118767 34 | 77.109 % |
201.79/201.98 c | 120065 | 13647 60516 179762 | 2147483647 119048 34 | 77.109 % |
202.49/202.62 c | 120375 | 13647 60516 179762 | 2147483647 119358 34 | 77.109 % |
203.39/203.57 c | 120716 | 13647 60516 179762 | 2147483647 119699 34 | 77.109 % |
204.09/204.24 c | 121088 | 13647 60516 179762 | 2147483647 120071 34 | 77.109 % |
205.09/205.23 c | 121497 | 13647 60516 179762 | 2147483647 120480 34 | 77.109 % |
205.89/206.06 c | 121946 | 13647 60516 179762 | 2147483647 120929 34 | 77.109 % |
206.69/206.87 c | 122441 | 13647 60516 179762 | 2147483647 121424 34 | 77.109 % |
207.79/207.91 c | 122983 | 13647 60516 179762 | 2147483647 121966 34 | 77.109 % |
209.19/209.36 c | 123580 | 13647 60516 179762 | 2147483647 122563 34 | 77.109 % |
210.29/210.45 c | 124236 | 13647 60516 179762 | 2147483647 123219 34 | 77.109 % |
211.89/212.06 c | 124956 | 13647 60516 179762 | 2147483647 123939 34 | 77.109 % |
213.49/213.65 c | 125748 | 13647 60516 179762 | 2147483647 124731 34 | 77.109 % |
214.99/215.13 c | 126619 | 13647 60516 179762 | 2147483647 125602 34 | 77.109 % |
217.09/217.24 c | 127577 | 13647 60516 179762 | 2147483647 126560 34 | 77.109 % |
219.48/219.63 c | 128630 | 13647 60516 179762 | 2147483647 127613 34 | 77.109 % |
222.38/222.52 c | 129789 | 13647 60516 179762 | 2147483647 128772 34 | 77.109 % |
225.78/225.98 c | 131062 | 13640 60460 179627 | 2147483647 130043 34 | 77.121 % |
228.98/229.15 c | 132463 | 13640 60460 179627 | 2147483647 131444 34 | 77.121 % |
229.28/229.41 c | 132563 | 13640 60460 179627 | 2147483647 131544 34 | 77.121 % |
229.48/229.67 c | 132673 | 13640 60460 179627 | 2147483647 131654 34 | 77.121 % |
229.88/230.01 c | 132797 | 13640 60460 179627 | 2147483647 131778 34 | 77.121 % |
230.18/230.33 c | 132931 | 13640 60460 179627 | 2147483647 131912 34 | 77.121 % |
230.48/230.68 c | 133077 | 13640 60460 179627 | 2147483647 132058 34 | 77.121 % |
231.08/231.20 c | 133238 | 13640 60460 179627 | 2147483647 132219 34 | 77.121 % |
231.58/231.74 c | 133414 | 13640 60460 179627 | 2147483647 132395 34 | 77.121 % |
232.07/232.22 c | 133607 | 13640 60460 179627 | 2147483647 132588 34 | 77.121 % |
232.67/232.84 c | 133819 | 13640 60460 179627 | 2147483647 132800 34 | 77.121 % |
233.17/233.39 c | 134052 | 13640 60460 179627 | 2147483647 133033 34 | 77.121 % |
234.08/234.28 c | 134308 | 13640 60460 179627 | 2147483647 133289 34 | 77.121 % |
234.97/235.11 c | 134590 | 13640 60460 179627 | 2147483647 133571 34 | 77.121 % |
235.87/236.02 c | 134901 | 13640 60460 179627 | 2147483647 133882 34 | 77.121 % |
236.67/236.85 c | 135243 | 13640 60460 179627 | 2147483647 134224 34 | 77.121 % |
237.48/237.65 c | 135616 | 13640 60460 179627 | 2147483647 134597 34 | 77.121 % |
238.48/238.64 c | 136026 | 13640 60460 179627 | 2147483647 135007 34 | 77.121 % |
239.77/239.91 c | 136476 | 13640 60460 179627 | 2147483647 135457 33 | 77.121 % |
241.07/241.23 c | 136970 | 13640 60460 179627 | 2147483647 135951 33 | 77.121 % |
242.37/242.59 c | 137512 | 13640 60460 179627 | 2147483647 136493 33 | 77.121 % |
243.97/244.13 c | 138108 | 13640 60460 179627 | 2147483647 137089 33 | 77.121 % |
245.47/245.61 c | 138763 | 13640 60460 179627 | 2147483647 137744 34 | 77.121 % |
246.97/247.13 c | 139487 | 13640 60460 179627 | 2147483647 138468 34 | 77.121 % |
248.47/248.66 c | 140280 | 13640 60460 179627 | 2147483647 139261 34 | 77.121 % |
250.37/250.56 c | 141152 | 13626 60387 179414 | 2147483647 140132 34 | 77.144 % |
252.37/252.53 c | 142110 | 13626 60387 179414 | 2147483647 141090 34 | 77.144 % |
255.17/255.31 c | 143164 | 13626 60387 179414 | 2147483647 142144 34 | 77.144 % |
258.57/258.74 c | 144323 | 13626 60387 179414 | 2147483647 143303 34 | 77.144 % |
262.27/262.42 c | 145596 | 13626 60387 179414 | 2147483647 144575 34 | 77.164 % |
265.87/266.02 c | 146998 | 13614 60303 179200 | 2147483647 145977 34 | 77.164 % |
270.67/270.80 c | 148539 | 13614 60303 179200 | 2147483647 147518 34 | 77.164 % |
270.96/271.18 c | 148641 | 13614 60303 179200 | 2147483647 147620 33 | 77.164 % |
271.47/271.62 c | 148755 | 13614 60303 179200 | 2147483647 147734 33 | 77.164 % |
271.86/272.06 c | 148877 | 13614 60303 179200 | 2147483647 147856 33 | 77.164 % |
272.36/272.53 c | 149010 | 13614 60303 179200 | 2147483647 147989 33 | 77.164 % |
272.86/273.04 c | 149157 | 13614 60303 179200 | 2147483647 148136 33 | 77.164 % |
273.36/273.53 c | 149318 | 13614 60303 179200 | 2147483647 148297 33 | 77.164 % |
273.96/274.10 c | 149494 | 13614 60303 179200 | 2147483647 148473 33 | 77.164 % |
274.46/274.67 c | 149687 | 13614 60303 179200 | 2147483647 148666 33 | 77.164 % |
275.26/275.47 c | 149900 | 13614 60303 179200 | 2147483647 148879 33 | 77.164 % |
276.16/276.34 c | 150133 | 13604 60281 179125 | 2147483647 149111 33 | 77.181 % |
276.86/277.09 c | 150392 | 13604 60281 179125 | 2147483647 149370 33 | 77.181 % |
277.76/277.98 c | 150674 | 13604 60281 179125 | 2147483647 149652 33 | 77.181 % |
278.66/278.82 c | 150987 | 13604 60281 179125 | 2147483647 149965 33 | 77.181 % |
279.56/279.79 c | 151326 | 13604 60281 179125 | 2147483647 150304 33 | 77.181 % |
280.56/280.79 c | 151698 | 13604 60281 179125 | 2147483647 150676 33 | 77.181 % |
281.76/281.94 c | 152108 | 13604 60281 179125 | 2147483647 151086 33 | 77.181 % |
283.06/283.21 c | 152557 | 13604 60281 179125 | 2147483647 151535 33 | 77.181 % |
284.56/284.80 c | 153052 | 13604 60281 179125 | 2147483647 152030 33 | 77.181 % |
286.26/286.43 c | 153597 | 13604 60281 179125 | 2147483647 152574 33 | 77.362 % |
287.96/288.20 c | 154193 | 13604 60281 179125 | 2147483647 153170 33 | 77.362 % |
289.95/290.13 c | 154850 | 13496 59649 177410 | 2147483647 153827 33 | 77.362 % |
292.36/292.52 c | 155571 | 13496 59649 177410 | 2147483647 154548 33 | 77.362 % |
294.45/294.64 c | 156363 | 13496 59649 177410 | 2147483647 155340 33 | 77.362 % |
296.95/297.16 c | 157234 | 13496 59649 177410 | 2147483647 156211 33 | 77.362 % |
299.45/299.65 c | 158195 | 13496 59649 177410 | 2147483647 157172 33 | 77.362 % |
302.75/302.94 c | 159253 | 13496 59649 177410 | 2147483647 158230 33 | 77.362 % |
306.15/306.36 c | 160413 | 13496 59649 177410 | 2147483647 159390 33 | 77.362 % |
310.05/310.28 c | 161687 | 13496 59649 177410 | 2147483647 160664 33 | 77.362 % |
313.74/313.97 c | 163087 | 13496 59649 177410 | 2147483647 162064 33 | 77.362 % |
317.85/318.05 c | 164627 | 13496 59649 177410 | 2147483647 163604 33 | 77.362 % |
321.85/322.09 c | 166326 | 13496 59649 177410 | 2147483647 165303 33 | 77.362 % |
322.15/322.39 c | 166426 | 13496 59649 177410 | 2147483647 165403 33 | 77.362 % |
322.45/322.69 c | 166538 | 13496 59649 177410 | 2147483647 165515 33 | 77.362 % |
322.75/322.98 c | 166660 | 13496 59649 177410 | 2147483647 165637 33 | 77.362 % |
323.35/323.50 c | 166796 | 13496 59649 177410 | 2147483647 165773 33 | 77.362 % |
323.75/323.93 c | 166942 | 13496 59649 177410 | 2147483647 165919 33 | 77.362 % |
324.35/324.58 c | 167105 | 13496 59649 177410 | 2147483647 166082 33 | 77.362 % |
325.05/325.29 c | 167284 | 13496 59649 177410 | 2147483647 166261 33 | 77.362 % |
325.65/325.81 c | 167477 | 13496 59649 177410 | 2147483647 166454 33 | 77.362 % |
326.45/326.66 c | 167689 | 13496 59649 177410 | 2147483647 166666 33 | 77.362 % |
327.24/327.49 c | 167923 | 13496 59649 177410 | 2147483647 166900 33 | 77.362 % |
328.14/328.37 c | 168183 | 13496 59649 177410 | 2147483647 167160 33 | 77.362 % |
329.04/329.23 c | 168469 | 13496 59649 177410 | 2147483647 167446 33 | 77.362 % |
329.85/330.10 c | 168780 | 13496 59649 177410 | 2147483647 167757 33 | 77.362 % |
330.85/331.06 c | 169120 | 13496 59649 177410 | 2147483647 168097 33 | 77.362 % |
331.84/332.03 c | 169493 | 13496 59649 177410 | 2147483647 168470 33 | 77.362 % |
333.24/333.40 c | 169902 | 13496 59649 177410 | 2147483647 168879 33 | 77.362 % |
334.64/334.86 c | 170354 | 13496 59649 177410 | 2147483647 169331 33 | 77.362 % |
335.94/336.19 c | 170847 | 13496 59649 177410 | 2147483647 169824 33 | 77.362 % |
337.54/337.71 c | 171393 | 13496 59649 177410 | 2147483647 170370 33 | 77.362 % |
339.04/339.21 c | 171989 | 13496 59649 177410 | 2147483647 170966 33 | 77.362 % |
340.74/340.95 c | 172646 | 13496 59649 177410 | 2147483647 171623 33 | 77.362 % |
343.14/343.31 c | 173366 | 13496 59649 177410 | 2147483647 172343 33 | 77.362 % |
345.53/345.78 c | 174159 | 13496 59649 177410 | 2147483647 173136 32 | 77.362 % |
348.23/348.46 c | 175030 | 13496 59649 177410 | 2147483647 174007 32 | 77.362 % |
351.43/351.65 c | 175991 | 13486 59568 177198 | 2147483647 174964 32 | 77.379 % |
354.73/354.96 c | 177044 | 13486 59568 177198 | 2147483647 176017 32 | 77.379 % |
358.93/359.18 c | 178202 | 13486 59568 177198 | 2147483647 177175 32 | 77.379 % |
363.62/363.87 c | 179476 | 13486 59568 177198 | 2147483647 178449 32 | 77.379 % |
367.92/368.12 c | 180876 | 13486 59568 177198 | 2147483647 179849 32 | 77.379 % |
372.22/372.49 c | 182417 | 13486 59568 177198 | 2147483647 181390 32 | 77.379 % |
377.22/377.42 c | 184112 | 13486 59568 177198 | 2147483647 183085 32 | 77.379 % |
383.53/383.76 c | 185978 | 13486 59568 177198 | 2147483647 184951 32 | 77.379 % |
383.83/384.06 c | 186079 | 13486 59568 177198 | 2147483647 185052 32 | 77.379 % |
384.23/384.42 c | 186189 | 13486 59568 177198 | 2147483647 185162 32 | 77.379 % |
384.53/384.76 c | 186311 | 13486 59568 177198 | 2147483647 185284 32 | 77.379 % |
384.93/385.13 c | 186445 | 13486 59568 177198 | 2147483647 185418 32 | 77.379 % |
385.23/385.44 c | 186593 | 13486 59568 177198 | 2147483647 185566 32 | 77.379 % |
385.73/385.91 c | 186753 | 13486 59568 177198 | 2147483647 185726 32 | 77.379 % |
386.23/386.49 c | 186930 | 13486 59568 177198 | 2147483647 185903 32 | 77.379 % |
386.83/387.01 c | 187125 | 13486 59568 177198 | 2147483647 186098 32 | 77.379 % |
387.33/387.57 c | 187339 | 13486 59568 177198 | 2147483647 186312 32 | 77.379 % |
387.83/388.07 c | 187572 | 13486 59568 177198 | 2147483647 186545 32 | 77.379 % |
388.62/388.82 c | 187828 | 13481 59520 177066 | 2147483647 186800 32 | 77.387 % |
389.23/389.43 c | 188111 | 13481 59520 177066 | 2147483647 187083 32 | 77.387 % |
389.92/390.16 c | 188420 | 13481 59520 177066 | 2147483647 187392 32 | 77.387 % |
390.82/391.00 c | 188759 | 13481 59520 177066 | 2147483647 187731 32 | 77.387 % |
391.62/391.83 c | 189136 | 13481 59520 177066 | 2147483647 188108 32 | 77.387 % |
392.62/392.85 c | 189545 | 13481 59520 177066 | 2147483647 188516 32 | 77.389 % |
393.72/393.98 c | 189994 | 13481 59520 177066 | 2147483647 188965 32 | 77.389 % |
394.72/394.99 c | 190489 | 13481 59520 177066 | 2147483647 189460 32 | 77.389 % |
396.02/396.23 c | 191031 | 13481 59520 177066 | 2147483647 190002 32 | 77.389 % |
397.32/397.50 c | 191627 | 13481 59520 177066 | 2147483647 190598 32 | 77.389 % |
399.52/399.70 c | 192287 | 13481 59520 177066 | 2147483647 191258 32 | 77.389 % |
401.41/401.66 c | 193008 | 13481 59520 177066 | 2147483647 191979 32 | 77.389 % |
403.42/403.70 c | 193804 | 13480 59515 177053 | 2147483647 192775 32 | 77.389 % |
405.71/405.94 c | 194675 | 13480 59515 177053 | 2147483647 193646 32 | 77.389 % |
408.21/408.44 c | 195637 | 13480 59515 177053 | 2147483647 194608 32 | 77.389 % |
411.41/411.61 c | 196690 | 13480 59515 177053 | 2147483647 195661 32 | 77.389 % |
414.21/414.48 c | 197851 | 13480 59515 177053 | 2147483647 196822 32 | 77.389 % |
418.01/418.22 c | 199124 | 13456 59357 176621 | 2147483647 198085 33 | 77.429 % |
421.30/421.53 c | 200524 | 13456 59357 176621 | 2147483647 199485 33 | 77.429 % |
425.31/425.57 c | 202065 | 13456 59357 176621 | 2147483647 201026 33 | 77.429 % |
429.41/429.66 c | 203759 | 13452 59357 176621 | 2147483647 202719 33 | 78.223 % |
434.21/434.48 c | 205622 | 13452 59357 176621 | 2147483647 204582 33 | 78.223 % |
439.30/439.57 c | 207671 | 13452 59357 176621 | 2147483647 206631 33 | 78.223 % |
439.60/439.85 c | 207772 | 12983 55610 166299 | 2147483647 206622 33 | 78.223 % |
439.90/440.12 c | 207882 | 12983 55610 166299 | 2147483647 206732 33 | 78.223 % |
440.20/440.49 c | 208004 | 12983 55610 166299 | 2147483647 206854 33 | 78.223 % |
440.70/440.95 c | 208138 | 12983 55610 166299 | 2147483647 206988 33 | 78.223 % |
441.10/441.37 c | 208284 | 12983 55610 166299 | 2147483647 207134 33 | 78.223 % |
441.50/441.77 c | 208447 | 12983 55610 166299 | 2147483647 207297 32 | 78.223 % |
442.20/442.44 c | 208623 | 12983 55610 166299 | 2147483647 207473 32 | 78.223 % |
442.70/442.97 c | 208818 | 12983 55610 166299 | 2147483647 207668 32 | 78.223 % |
443.40/443.64 c | 209031 | 12983 55610 166299 | 2147483647 207881 32 | 78.223 % |
444.21/444.49 c | 209264 | 12983 55610 166299 | 2147483647 208114 32 | 78.223 % |
445.10/445.31 c | 209524 | 12983 55610 166299 | 2147483647 208374 32 | 78.223 % |
445.90/446.16 c | 209806 | 12983 55610 166299 | 2147483647 208656 32 | 78.223 % |
447.00/447.21 c | 210115 | 12983 55610 166299 | 208850 208965 32 | 78.223 % |
448.10/448.39 c | 210456 | 12983 55610 166299 | 208850 209306 32 | 78.223 % |
449.50/449.72 c | 210828 | 12983 55610 166299 | 208850 209678 32 | 78.223 % |
451.10/451.30 c | 211240 | 12983 55610 166299 | 208850 210090 32 | 78.223 % |
452.90/453.13 c | 211692 | 12983 55610 166299 | 208850 210542 32 | 78.223 % |
454.90/455.14 c | 212187 | 12983 55610 166299 | 208850 211037 32 | 78.223 % |
457.40/457.65 c | 212729 | 12983 55610 166299 | 208850 211579 32 | 78.223 % |
459.40/459.69 c | 213328 | 12983 55610 166299 | 208850 212178 32 | 78.223 % |
462.00/462.20 c | 213983 | 12983 55610 166299 | 208850 212833 32 | 78.223 % |
464.29/464.59 c | 214703 | 12983 55610 166299 | 208850 213553 32 | 78.223 % |
466.30/466.58 c | 215496 | 12983 55610 166299 | 208850 214346 32 | 78.223 % |
469.60/469.80 c | 216367 | 12983 55610 166299 | 208850 215217 32 | 78.223 % |
472.10/472.35 c | 217326 | 12983 55610 166299 | 208850 216176 32 | 78.223 % |
475.00/475.28 c | 218379 | 12983 55610 166299 | 208850 217229 32 | 78.223 % |
478.39/478.67 c | 219537 | 12983 55610 166299 | 208850 218387 32 | 78.223 % |
482.69/482.91 c | 220811 | 12983 55610 166299 | 2147483647 219661 32 | 78.223 % |
487.39/487.61 c | 222214 | 12983 55610 166299 | 2147483647 221064 32 | 78.223 % |
491.58/491.84 c | 223755 | 12983 55610 166299 | 2147483647 222605 32 | 78.223 % |
496.58/496.80 c | 225450 | 12983 55610 166299 | 2147483647 224300 32 | 78.223 % |
502.98/503.23 c | 227317 | 12970 55533 166084 | 2147483647 226164 32 | 78.244 % |
507.68/507.95 c | 229367 | 12970 55533 166084 | 2147483647 228214 32 | 78.244 % |
513.18/513.40 c | 231623 | 12970 55533 166084 | 2147483647 230470 32 | 78.244 % |
513.38/513.64 c | 231724 | 12970 55533 166084 | 2147483647 230571 32 | 78.244 % |
513.58/513.86 c | 231834 | 12970 55533 166084 | 2147483647 230681 32 | 78.244 % |
513.89/514.10 c | 231956 | 12970 55533 166084 | 2147483647 230803 32 | 78.244 % |
514.18/514.49 c | 232089 | 12970 55533 166084 | 2147483647 230936 32 | 78.244 % |
514.59/514.89 c | 232235 | 12970 55533 166084 | 2147483647 231082 32 | 78.244 % |
515.08/515.35 c | 232395 | 12970 55533 166084 | 2147483647 231242 32 | 78.244 % |
515.59/515.82 c | 232571 | 12970 55533 166084 | 2147483647 231418 32 | 78.244 % |
516.28/516.51 c | 232765 | 12970 55533 166084 | 2147483647 231612 32 | 78.244 % |
516.69/516.99 c | 232977 | 12970 55533 166084 | 2147483647 231824 32 | 78.244 % |
517.28/517.55 c | 233210 | 12970 55533 166084 | 2147483647 232057 32 | 78.244 % |
517.89/518.14 c | 233466 | 12970 55533 166084 | 2147483647 232313 32 | 78.244 % |
518.68/518.97 c | 233749 | 12970 55533 166084 | 2147483647 232596 32 | 78.244 % |
519.38/519.69 c | 234060 | 12970 55533 166084 | 2147483647 232907 32 | 78.244 % |
520.38/520.60 c | 234399 | 12970 55533 166084 | 2147483647 233246 32 | 78.244 % |
521.38/521.65 c | 234771 | 12970 55533 166084 | 2147483647 233618 32 | 78.244 % |
522.48/522.78 c | 235184 | 12970 55533 166084 | 2147483647 234031 32 | 78.244 % |
523.98/524.26 c | 235640 | 12970 55533 166084 | 2147483647 234487 32 | 78.244 % |
525.18/525.41 c | 236133 | 12970 55533 166084 | 2147483647 234980 32 | 78.244 % |
526.08/526.31 c | 236677 | 12970 55533 166084 | 2147483647 235524 32 | 78.244 % |
527.38/527.62 c | 237273 | 12970 55533 166084 | 2147483647 236120 32 | 78.244 % |
528.68/528.99 c | 237931 | 12970 55533 166084 | 2147483647 236778 32 | 78.244 % |
530.28/530.55 c | 238651 | 12970 55533 166084 | 2147483647 237498 32 | 78.244 % |
532.28/532.55 c | 239443 | 12970 55533 166084 | 2147483647 238290 32 | 78.244 % |
534.38/534.63 c | 240314 | 12970 55533 166084 | 2147483647 239161 32 | 78.244 % |
536.97/537.24 c | 241272 | 12970 55533 166084 | 2147483647 240119 32 | 78.244 % |
539.17/539.48 c | 242325 | 12970 55533 166084 | 2147483647 241172 32 | 78.244 % |
542.37/542.62 c | 243483 | 12970 55533 166084 | 2147483647 242330 32 | 78.244 % |
546.07/546.31 c | 244756 | 12951 55430 165799 | 2147483647 243600 32 | 78.276 % |
549.47/549.79 c | 246156 | 12951 55430 165799 | 2147483647 245000 32 | 78.276 % |
553.26/553.54 c | 247700 | 12951 55430 165799 | 2147483647 246544 32 | 78.276 % |
557.47/557.75 c | 249394 | 12951 55430 165799 | 2147483647 248238 32 | 78.276 % |
562.67/562.99 c | 251257 | 12951 55430 165799 | 2147483647 250101 32 | 78.276 % |
568.57/568.83 c | 253309 | 12951 55430 165799 | 2147483647 252152 32 | 78.298 % |
574.46/574.71 c | 255563 | 12938 55345 165559 | 2147483647 254406 32 | 78.298 % |
580.86/581.16 c | 258042 | 12938 55345 165559 | 2147483647 256885 32 | 78.298 % |
581.26/581.50 c | 258142 | 12938 55345 165559 | 2147483647 256985 32 | 78.298 % |
581.57/581.84 c | 258253 | 12938 55345 165559 | 2147483647 257096 32 | 78.298 % |
581.86/582.19 c | 258374 | 12938 55345 165559 | 2147483647 257217 32 | 78.298 % |
582.46/582.77 c | 258508 | 12938 55345 165559 | 2147483647 257351 32 | 78.298 % |
582.96/583.29 c | 258654 | 12938 55345 165559 | 2147483647 257497 32 | 78.298 % |
583.56/583.82 c | 258817 | 12938 55345 165559 | 2147483647 257660 32 | 78.298 % |
584.16/584.42 c | 258996 | 12938 55345 165559 | 2147483647 257839 32 | 78.298 % |
584.76/585.04 c | 259189 | 12938 55345 165559 | 2147483647 258032 32 | 78.298 % |
585.36/585.66 c | 259402 | 12938 55345 165559 | 2147483647 258245 32 | 78.298 % |
585.96/586.25 c | 259636 | 12938 55345 165559 | 2147483647 258479 32 | 78.298 % |
586.76/587.05 c | 259893 | 12938 55345 165559 | 2147483647 258736 32 | 78.298 % |
587.46/587.80 c | 260175 | 12938 55345 165559 | 258845 259018 32 | 78.298 % |
588.16/588.49 c | 260485 | 12938 55345 165559 | 258845 259328 32 | 78.298 % |
589.26/589.51 c | 260824 | 12938 55345 165559 | 258845 259667 32 | 78.298 % |
590.26/590.58 c | 261200 | 12938 55345 165559 | 258845 260043 32 | 78.298 % |
591.56/591.81 c | 261611 | 12938 55345 165559 | 258845 260454 32 | 78.298 % |
592.75/593.09 c | 262060 | 12938 55345 165559 | 258845 260903 32 | 78.298 % |
594.35/594.62 c | 262553 | 12938 55345 165559 | 258845 261396 32 | 78.298 % |
595.75/596.09 c | 263095 | 12938 55345 165559 | 258845 261938 32 | 78.298 % |
598.55/598.80 c | 263693 | 12938 55345 165559 | 258845 262536 32 | 78.298 % |
600.45/600.72 c | 264350 | 12938 55345 165559 | 258845 263193 32 | 78.298 % |
602.56/602.88 c | 265070 | 12938 55345 165559 | 258845 263913 32 | 78.298 % |
605.05/605.33 c | 265862 | 12937 55341 165549 | 258845 264703 32 | 78.300 % |
607.15/607.48 c | 266734 | 12937 55341 165549 | 258845 265575 32 | 78.300 % |
610.45/610.72 c | 267692 | 12937 55341 165549 | 258845 266533 32 | 78.300 % |
614.35/614.69 c | 268745 | 12937 55341 165549 | 258845 267586 32 | 78.300 % |
617.95/618.26 c | 269903 | 12937 55341 165549 | 258845 268744 32 | 78.300 % |
621.64/621.96 c | 271177 | 12937 55341 165549 | 268840 270017 32 | 78.318 % |
624.94/625.20 c | 272579 | 12937 55341 165549 | 268840 271419 32 | 78.318 % |
629.94/630.20 c | 274120 | 12937 55341 165549 | 268840 272960 32 | 78.318 % |
634.74/635.06 c | 275814 | 12926 55266 165369 | 268840 274652 32 | 78.318 % |
639.53/639.84 c | 277677 | 12926 55266 165369 | 268840 276515 32 | 78.318 % |
644.13/644.43 c | 279728 | 12926 55266 165369 | 268840 278566 32 | 78.318 % |
650.84/651.19 c | 281981 | 12926 55266 165369 | 278838 280819 32 | 78.318 % |
658.04/658.34 c | 284459 | 12926 55266 165369 | 278838 283297 32 | 78.318 % |
666.03/666.38 c | 287185 | 12926 55266 165369 | 278838 286023 32 | 78.318 % |
666.43/666.74 c | 287290 | 12926 55266 165369 | 278838 286128 32 | 78.318 % |
666.84/667.17 c | 287400 | 12926 55266 165369 | 278838 286238 32 | 78.318 % |
667.34/667.63 c | 287521 | 12926 55266 165369 | 278838 286359 32 | 78.318 % |
667.84/668.15 c | 287655 | 12926 55266 165369 | 278838 286493 32 | 78.318 % |
668.23/668.54 c | 287801 | 12926 55266 165369 | 278838 286639 32 | 78.318 % |
668.83/669.15 c | 287964 | 12926 55266 165369 | 278838 286802 32 | 78.318 % |
669.43/669.76 c | 288144 | 12926 55266 165369 | 278838 286982 32 | 78.318 % |
670.03/670.34 c | 288339 | 12926 55266 165369 | 278838 287177 32 | 78.318 % |
670.74/671.03 c | 288553 | 12926 55266 165369 | 278838 287391 32 | 78.318 % |
671.83/672.20 c | 288789 | 12926 55266 165369 | 278838 287627 32 | 78.318 % |
673.33/673.62 c | 289045 | 12926 55266 165369 | 278838 287883 32 | 78.318 % |
674.63/674.94 c | 289326 | 12926 55266 165369 | 278838 288164 32 | 78.318 % |
676.03/676.36 c | 289636 | 12926 55266 165369 | 278838 288474 32 | 78.318 % |
677.73/678.02 c | 289975 | 12926 55266 165369 | 278838 288813 32 | 78.318 % |
679.43/679.74 c | 290347 | 12926 55266 165369 | 288839 289185 32 | 78.318 % |
681.43/681.76 c | 290759 | 12926 55266 165369 | 288839 289597 32 | 78.318 % |
683.63/683.97 c | 291208 | 12926 55266 165369 | 288839 290046 32 | 78.318 % |
686.32/686.66 c | 291702 | 12926 55266 165369 | 288839 290540 32 | 78.318 % |
689.43/689.73 c | 292244 | 12926 55266 165369 | 288839 291082 32 | 78.318 % |
692.12/692.47 c | 292844 | 12926 55266 165369 | 288839 291682 32 | 78.318 % |
694.82/695.19 c | 293499 | 12926 55266 165369 | 288839 292337 32 | 78.318 % |
697.72/698.05 c | 294222 | 12926 55266 165369 | 288839 293060 32 | 78.318 % |
700.42/700.72 c | 295016 | 12913 55188 165155 | 288839 293853 32 | 78.340 % |
703.52/703.89 c | 295888 | 12913 55188 165155 | 288839 294725 32 | 78.340 % |
707.91/708.22 c | 296851 | 12913 55188 165155 | 288839 295688 32 | 78.340 % |
711.42/711.75 c | 297904 | 12913 55188 165155 | 288839 296741 32 | 78.340 % |
714.82/715.18 c | 299063 | 12913 55188 165155 | 288839 297900 32 | 78.340 % |
718.82/719.12 c | 300336 | 12913 55188 165155 | 298837 299173 32 | 78.340 % |
722.82/723.15 c | 301738 | 12913 55188 165155 | 298837 300575 32 | 78.340 % |
727.21/727.50 c | 303278 | 12913 55188 165155 | 298837 302115 32 | 78.340 % |
732.32/732.66 c | 304972 | 12913 55188 165155 | 298837 303809 32 | 78.340 % |
736.91/737.27 c | 306835 | 12913 55188 165155 | 298837 305672 32 | 78.340 % |
743.01/743.34 c | 308885 | 12913 55188 165155 | 298837 307722 32 | 78.340 % |
749.70/750.07 c | 311139 | 12901 55114 164959 | 308839 309971 32 | 78.360 % |
756.51/756.87 c | 313617 | 12901 55114 164959 | 308839 312449 32 | 78.360 % |
765.00/765.30 c | 316342 | 12901 55114 164959 | 308839 315174 32 | 78.360 % |
775.10/775.45 c | 319340 | 12901 55114 164959 | 308839 318172 32 | 78.360 % |
775.49/775.85 c | 319441 | 12901 55114 164959 | 308839 318273 32 | 78.360 % |
775.99/776.30 c | 319552 | 12901 55114 164959 | 308839 318384 32 | 78.360 % |
776.30/776.66 c | 319673 | 12901 55114 164959 | 308839 318505 32 | 78.360 % |
776.89/777.27 c | 319806 | 12901 55114 164959 | 308839 318638 32 | 78.360 % |
777.49/777.82 c | 319953 | 12901 55114 164959 | 308839 318785 32 | 78.360 % |
778.09/778.42 c | 320113 | 12901 55114 164959 | 318832 318945 32 | 78.360 % |
778.69/779.08 c | 320289 | 12901 55114 164959 | 318832 319121 32 | 78.360 % |
779.50/779.84 c | 320483 | 12901 55114 164959 | 318832 319315 32 | 78.360 % |
780.29/780.67 c | 320695 | 12901 55114 164959 | 318832 319527 32 | 78.360 % |
781.19/781.56 c | 320928 | 12901 55114 164959 | 318832 319760 32 | 78.360 % |
782.09/782.47 c | 321185 | 12901 55114 164959 | 318832 320017 32 | 78.360 % |
782.89/783.21 c | 321466 | 12901 55114 164959 | 318832 320298 32 | 78.360 % |
783.69/784.07 c | 321777 | 12901 55114 164959 | 318832 320609 32 | 78.360 % |
784.69/785.10 c | 322116 | 12901 55114 164959 | 318832 320948 32 | 78.360 % |
785.59/785.98 c | 322488 | 12901 55114 164959 | 318832 321320 32 | 78.360 % |
787.49/787.80 c | 322897 | 12901 55114 164959 | 318832 321729 32 | 78.360 % |
789.29/789.64 c | 323349 | 12901 55114 164959 | 318832 322181 32 | 78.360 % |
790.89/791.24 c | 323842 | 12901 55114 164959 | 318832 322674 32 | 78.360 % |
792.49/792.84 c | 324384 | 12901 55114 164959 | 318832 323216 32 | 78.360 % |
794.49/794.88 c | 324980 | 12901 55114 164959 | 318832 323812 32 | 78.360 % |
796.79/797.17 c | 325636 | 12901 55114 164959 | 318832 324468 32 | 78.360 % |
799.39/799.71 c | 326357 | 12901 55114 164959 | 318832 325189 32 | 78.360 % |
801.79/802.14 c | 327149 | 12901 55114 164959 | 318832 325981 32 | 78.360 % |
805.09/805.44 c | 328020 | 12901 55114 164959 | 318832 326852 32 | 78.360 % |
808.09/808.50 c | 328979 | 12901 55114 164959 | 318832 327811 32 | 78.360 % |
811.39/811.74 c | 330037 | 12901 55114 164959 | 328832 328869 32 | 78.360 % |
815.08/815.49 c | 331195 | 12901 55114 164959 | 328832 330027 32 | 78.360 % |
819.28/819.68 c | 332468 | 12901 55114 164959 | 328832 331300 32 | 78.360 % |
824.98/825.38 c | 333871 | 12901 55114 164959 | 328832 332703 32 | 78.360 % |
830.38/830.78 c | 335412 | 12901 55114 164959 | 328832 334244 32 | 78.360 % |
836.78/837.12 c | 337106 | 12901 55114 164959 | 328832 335938 32 | 78.360 % |
842.57/842.96 c | 338969 | 12901 55114 164959 | 328832 337801 32 | 78.360 % |
849.47/849.88 c | 341023 | 12901 55114 164959 | 338832 339855 32 | 78.360 % |
856.08/856.42 c | 343277 | 12901 55114 164959 | 338832 342109 32 | 78.360 % |
864.37/864.73 c | 345755 | 12890 55052 164797 | 338832 344584 32 | 78.379 % |
872.37/872.77 c | 348481 | 12890 55052 164797 | 338832 347310 32 | 78.379 % |
881.56/881.95 c | 351479 | 12890 55052 164797 | 348830 350308 32 | 78.379 % |
892.66/893.10 c | 354775 | 12890 55052 164797 | 348830 353604 32 | 78.379 % |
893.16/893.54 c | 354876 | 12890 55052 164797 | 348830 353705 32 | 78.379 % |
893.66/894.02 c | 354988 | 12890 55052 164797 | 348830 353817 32 | 78.379 % |
894.06/894.42 c | 355109 | 12890 55052 164797 | 348830 353938 32 | 78.379 % |
894.66/895.08 c | 355242 | 12890 55052 164797 | 348830 354071 32 | 78.379 % |
895.36/895.71 c | 355389 | 12890 55052 164797 | 348830 354218 32 | 78.379 % |
895.96/896.40 c | 355552 | 12890 55052 164797 | 348830 354381 32 | 78.379 % |
896.76/897.13 c | 355732 | 12890 55052 164797 | 348830 354561 32 | 78.379 % |
897.36/897.72 c | 355926 | 12890 55052 164797 | 348830 354755 32 | 78.379 % |
897.96/898.37 c | 356138 | 12890 55052 164797 | 348830 354967 32 | 78.379 % |
898.76/899.10 c | 356375 | 12890 55052 164797 | 348830 355204 32 | 78.379 % |
899.56/899.91 c | 356631 | 12890 55052 164797 | 348830 355460 32 | 78.379 % |
900.66/901.03 c | 356912 | 12890 55052 164797 | 348830 355741 32 | 78.379 % |
902.05/902.42 c | 357222 | 12890 55052 164797 | 348830 356051 32 | 78.379 % |
903.25/903.68 c | 357564 | 12890 55052 164797 | 348830 356393 32 | 78.379 % |
904.65/905.01 c | 357936 | 12890 55052 164797 | 348830 356765 32 | 78.379 % |
906.15/906.55 c | 358345 | 12890 55052 164797 | 348830 357174 32 | 78.379 % |
907.85/908.23 c | 358796 | 12890 55052 164797 | 348830 357625 32 | 78.379 % |
909.75/910.16 c | 359290 | 12890 55052 164797 | 348830 358119 32 | 78.379 % |
911.95/912.33 c | 359832 | 12890 55052 164797 | 348830 358661 32 | 78.379 % |
914.15/914.51 c | 360430 | 12890 55052 164797 | 358830 359259 32 | 78.379 % |
916.35/916.75 c | 361085 | 12890 55052 164797 | 358830 359914 32 | 78.379 % |
918.65/919.06 c | 361808 | 12890 55052 164797 | 358830 360637 32 | 78.379 % |
921.35/921.79 c | 362601 | 12890 55052 164797 | 358830 361430 32 | 78.379 % |
924.55/924.99 c | 363472 | 12890 55052 164797 | 358830 362301 32 | 78.379 % |
927.66/928.09 c | 364430 | 12890 55052 164797 | 358830 363259 32 | 78.379 % |
931.45/931.84 c | 365485 | 12890 55052 164797 | 358830 364314 32 | 78.379 % |
936.15/936.56 c | 366646 | 12890 55052 164797 | 358830 365475 32 | 78.379 % |
941.25/941.67 c | 367920 | 12890 55052 164797 | 358830 366749 32 | 78.379 % |
945.84/946.27 c | 369320 | 12890 55052 164797 | 358830 368149 32 | 78.379 % |
950.65/951.03 c | 370862 | 12890 55052 164797 | 368830 369691 32 | 78.379 % |
954.94/955.36 c | 372557 | 12890 55052 164797 | 368830 371386 32 | 78.379 % |
962.04/962.45 c | 374420 | 12890 55052 164797 | 368830 373249 32 | 78.379 % |
968.34/968.76 c | 376470 | 12890 55052 164797 | 368830 375299 32 | 78.379 % |
975.34/975.71 c | 378723 | 12890 55052 164797 | 368830 377552 32 | 78.379 % |
982.74/983.17 c | 381202 | 12890 55052 164797 | 378830 380031 32 | 78.379 % |
992.53/992.98 c | 383930 | 12890 55052 164797 | 378830 382759 32 | 78.379 % |
1007.42/1007.84 c | 386928 | 12890 55052 164797 | 378830 385757 31 | 78.379 % |
1021.82/1022.24 c | 390225 | 12890 55052 164797 | 388831 389054 31 | 78.379 % |
1036.21/1036.64 c | 393852 | 12890 55052 164797 | 388831 392681 31 | 78.379 % |
1036.71/1037.12 c | 393955 | 12890 55052 164797 | 388831 392784 31 | 78.379 % |
1037.21/1037.62 c | 394066 | 12890 55052 164797 | 388831 392895 31 | 78.379 % |
1037.81/1038.26 c | 394188 | 12890 55052 164797 | 388831 393017 31 | 78.379 % |
1038.51/1038.95 c | 394321 | 12890 55052 164797 | 388831 393150 31 | 78.379 % |
1039.21/1039.62 c | 394467 | 12890 55052 164797 | 388831 393296 31 | 78.379 % |
1040.01/1040.46 c | 394627 | 12890 55052 164797 | 388831 393456 31 | 78.379 % |
1040.81/1041.29 c | 394803 | 12890 55052 164797 | 388831 393632 31 | 78.379 % |
1041.71/1042.16 c | 394996 | 12890 55052 164797 | 388831 393825 31 | 78.379 % |
1042.81/1043.25 c | 395208 | 12890 55052 164797 | 388831 394037 31 | 78.379 % |
1043.61/1044.05 c | 395442 | 12890 55052 164797 | 388831 394271 31 | 78.379 % |
1044.61/1045.09 c | 395698 | 12890 55052 164797 | 388831 394527 31 | 78.379 % |
1045.91/1046.32 c | 395979 | 12890 55052 164797 | 388831 394808 31 | 78.379 % |
1046.82/1047.22 c | 396288 | 12890 55052 164797 | 388831 395117 31 | 78.379 % |
1048.02/1048.43 c | 396627 | 12890 55052 164797 | 388831 395456 31 | 78.379 % |
1049.02/1049.48 c | 396999 | 12890 55052 164797 | 388831 395828 31 | 78.379 % |
1050.52/1050.93 c | 397408 | 12890 55052 164797 | 388831 396237 31 | 78.379 % |
1052.12/1052.56 c | 397859 | 12890 55052 164797 | 388831 396688 31 | 78.379 % |
1054.52/1054.93 c | 398352 | 12890 55052 164797 | 388831 397181 31 | 78.379 % |
1057.21/1057.65 c | 398894 | 12890 55052 164797 | 388831 397723 31 | 78.379 % |
1060.21/1060.65 c | 399490 | 12890 55052 164797 | 388831 398319 31 | 78.379 % |
1062.71/1063.18 c | 400146 | 12890 55052 164797 | 398830 398975 31 | 78.379 % |
1065.91/1066.38 c | 400866 | 12890 55052 164797 | 398830 399695 31 | 78.379 % |
1069.11/1069.50 c | 401658 | 12890 55052 164797 | 398830 400487 31 | 78.379 % |
1072.81/1073.22 c | 402531 | 12890 55052 164797 | 398830 401360 31 | 78.379 % |
1076.41/1076.86 c | 403489 | 12890 55052 164797 | 398830 402318 31 | 78.379 % |
1080.81/1081.22 c | 404542 | 12890 55052 164797 | 398830 403371 31 | 78.379 % |
1085.40/1085.85 c | 405700 | 12890 55052 164797 | 398830 404529 32 | 78.379 % |
1090.40/1090.83 c | 406973 | 12890 55052 164797 | 398830 405802 32 | 78.379 % |
1095.20/1095.69 c | 408375 | 12890 55052 164797 | 398830 407204 32 | 78.379 % |
1100.20/1100.65 c | 409915 | 12890 55052 164797 | 398830 408744 32 | 78.379 % |
1105.00/1105.50 c | 411609 | 12890 55052 164797 | 408829 410438 32 | 78.379 % |
1112.50/1112.90 c | 413472 | 12890 55052 164797 | 408829 412301 32 | 78.379 % |
1123.70/1124.17 c | 415522 | 12890 55052 164797 | 408829 414351 32 | 78.379 % |
1132.19/1132.63 c | 417777 | 12890 55052 164797 | 408829 416606 32 | 78.379 % |
1143.39/1143.82 c | 420255 | 12890 55052 164797 | 418831 419084 32 | 78.379 % |
1153.98/1154.41 c | 422982 | 12890 55052 164797 | 418831 421811 32 | 78.379 % |
1164.57/1165.08 c | 425984 | 12890 55052 164797 | 418831 424813 32 | 78.379 % |
1178.38/1178.88 c | 429280 | 12890 55052 164797 | 418831 428109 32 | 78.379 % |
1192.37/1192.83 c | 432905 | 12890 55052 164797 | 428829 431734 32 | 78.379 % |
1207.97/1208.44 c | 436892 | 12890 55052 164797 | 428829 435721 32 | 78.379 % |
1208.47/1208.91 c | 436992 | 12890 55052 164797 | 428829 435821 32 | 78.379 % |
1208.97/1209.46 c | 437106 | 12890 55052 164797 | 428829 435935 32 | 78.379 % |
1209.57/1210.06 c | 437227 | 12890 55052 164797 | 428829 436056 32 | 78.379 % |
1210.07/1210.53 c | 437360 | 12890 55052 164797 | 428829 436189 32 | 78.379 % |
1210.67/1211.17 c | 437506 | 12890 55052 164797 | 428829 436335 32 | 78.379 % |
1211.36/1211.85 c | 437667 | 12890 55052 164797 | 428829 436496 32 | 78.379 % |
1212.16/1212.64 c | 437843 | 12890 55052 164797 | 428829 436672 32 | 78.379 % |
1213.06/1213.52 c | 438037 | 12890 55052 164797 | 428829 436866 32 | 78.379 % |
1213.87/1214.39 c | 438251 | 12890 55052 164797 | 428829 437080 32 | 78.379 % |
1214.76/1215.27 c | 438484 | 12890 55052 164797 | 428829 437313 32 | 78.379 % |
1215.56/1216.05 c | 438742 | 12890 55052 164797 | 428829 437571 32 | 78.379 % |
1216.56/1217.07 c | 439026 | 12890 55052 164797 | 428829 437855 32 | 78.379 % |
1217.86/1218.38 c | 439339 | 12890 55052 164797 | 428829 438168 32 | 78.379 % |
1219.36/1219.83 c | 439680 | 12890 55052 164797 | 428829 438509 31 | 78.379 % |
1221.26/1221.71 c | 440054 | 12890 55052 164797 | 438829 438883 31 | 78.379 % |
1223.16/1223.69 c | 440463 | 12890 55052 164797 | 438829 439292 31 | 78.379 % |
1225.36/1225.85 c | 440912 | 12890 55052 164797 | 438829 439741 31 | 78.379 % |
1227.66/1228.12 c | 441408 | 12890 55052 164797 | 438829 440237 31 | 78.379 % |
1230.06/1230.58 c | 441951 | 12890 55052 164797 | 438829 440780 31 | 78.379 % |
1232.56/1233.05 c | 442547 | 12890 55052 164797 | 438829 441376 31 | 78.379 % |
1234.86/1235.31 c | 443204 | 12890 55052 164797 | 438829 442033 31 | 78.379 % |
1237.35/1237.81 c | 443926 | 12890 55052 164797 | 438829 442755 31 | 78.379 % |
1240.95/1241.40 c | 444719 | 12890 55052 164797 | 438829 443548 31 | 78.379 % |
1244.45/1244.93 c | 445591 | 12890 55052 164797 | 438829 444420 31 | 78.379 % |
1248.96/1249.41 c | 446549 | 12890 55052 164797 | 438829 445378 31 | 78.379 % |
1253.65/1254.11 c | 447603 | 12890 55052 164797 | 438829 446432 31 | 78.379 % |
1259.15/1259.63 c | 448761 | 12890 55052 164797 | 438829 447590 31 | 78.379 % |
1265.15/1265.60 c | 450034 | 12890 55052 164797 | 448829 448863 31 | 78.379 % |
1270.55/1271.01 c | 451437 | 12890 55052 164797 | 448829 450266 31 | 78.379 % |
1276.34/1276.84 c | 452977 | 12890 55052 164797 | 448829 451806 31 | 78.379 % |
1281.64/1282.16 c | 454673 | 12890 55052 164797 | 448829 453502 31 | 78.379 % |
1287.44/1287.92 c | 456539 | 12890 55052 164797 | 448829 455368 31 | 78.379 % |
1295.94/1296.42 c | 458589 | 12890 55052 164797 | 448829 457418 31 | 78.379 % |
1307.34/1307.88 c | 460842 | 12808 54536 163343 | 458459 459301 31 | 78.516 % |
1319.03/1319.53 c | 463327 | 12808 54536 163343 | 458459 461786 31 | 78.516 % |
1332.32/1332.82 c | 466052 | 12808 54536 163343 | 458459 464511 31 | 78.516 % |
1345.12/1345.62 c | 469049 | 12808 54536 163343 | 458459 467508 31 | 78.516 % |
1360.42/1360.90 c | 472349 | 12808 54536 163343 | 468458 470807 31 | 78.536 % |
1375.62/1376.14 c | 475974 | 12808 54536 163343 | 468458 474432 31 | 78.536 % |
1394.01/1394.55 c | 479961 | 12796 54472 163171 | 468458 478419 31 | 78.536 % |
1413.80/1414.34 c | 484348 | 12796 54472 163171 | 478459 482806 31 | 78.536 % |
1414.30/1414.80 c | 484448 | 12796 54472 163171 | 478459 482906 31 | 78.536 % |
1415.00/1415.55 c | 484558 | 12796 54472 163171 | 478459 483016 31 | 78.536 % |
1415.70/1416.25 c | 484680 | 12796 54472 163171 | 478459 483138 31 | 78.536 % |
1416.21/1416.77 c | 484814 | 12796 54472 163171 | 478459 483272 31 | 78.536 % |
1416.90/1417.42 c | 484962 | 12796 54472 163171 | 478459 483420 31 | 78.536 % |
1417.60/1418.17 c | 485122 | 12796 54472 163171 | 478459 483580 31 | 78.536 % |
1418.60/1419.14 c | 485298 | 12796 54472 163171 | 478459 483756 31 | 78.536 % |
1419.50/1420.06 c | 485492 | 12796 54472 163171 | 478459 483950 31 | 78.536 % |
1420.30/1420.83 c | 485707 | 12796 54472 163171 | 478459 484165 31 | 78.536 % |
1421.50/1422.09 c | 485940 | 12796 54472 163171 | 478459 484398 31 | 78.536 % |
1422.70/1423.25 c | 486198 | 12796 54472 163171 | 478459 484656 31 | 78.536 % |
1423.60/1424.11 c | 486480 | 12796 54472 163171 | 478459 484938 31 | 78.536 % |
1424.80/1425.38 c | 486789 | 12796 54472 163171 | 478459 485247 31 | 78.536 % |
1425.90/1426.45 c | 487128 | 12796 54472 163171 | 478459 485586 31 | 78.536 % |
1427.40/1427.94 c | 487501 | 12796 54472 163171 | 478459 485959 31 | 78.536 % |
1429.29/1429.89 c | 487910 | 12796 54472 163171 | 478459 486368 31 | 78.536 % |
1431.70/1432.28 c | 488359 | 12796 54472 163171 | 478459 486817 31 | 78.536 % |
1434.19/1434.78 c | 488855 | 12796 54472 163171 | 478459 487313 31 | 78.536 % |
1436.39/1436.90 c | 489397 | 12796 54472 163171 | 478459 487855 31 | 78.536 % |
1438.99/1439.52 c | 489993 | 12796 54472 163171 | 478459 488451 31 | 78.536 % |
1441.50/1442.05 c | 490649 | 12796 54472 163171 | 488458 489107 31 | 78.536 % |
1444.90/1445.44 c | 491369 | 12796 54472 163171 | 488458 489827 31 | 78.536 % |
1447.89/1448.45 c | 492161 | 12796 54472 163171 | 488458 490619 31 | 78.536 % |
1450.89/1451.41 c | 493032 | 12796 54472 163171 | 488458 491490 31 | 78.536 % |
1456.09/1456.63 c | 493992 | 12796 54472 163171 | 488458 492450 31 | 78.536 % |
1460.99/1461.53 c | 495045 | 12796 54472 163171 | 488458 493503 31 | 78.536 % |
1466.39/1466.95 c | 496204 | 12796 54472 163171 | 488458 494662 31 | 78.536 % |
1471.89/1472.49 c | 497479 | 12796 54472 163171 | 488458 495937 31 | 78.536 % |
1478.08/1478.66 c | 498881 | 12796 54472 163171 | 488458 497339 31 | 78.536 % |
1485.68/1486.23 c | 500423 | 12796 54472 163171 | 498461 498881 31 | 78.536 % |
1493.18/1493.72 c | 502121 | 12796 54472 163171 | 498461 500579 31 | 78.536 % |
1499.57/1500.19 c | 503984 | 12796 54472 163171 | 498461 502442 31 | 78.536 % |
1509.77/1510.33 c | 506033 | 12796 54472 163171 | 498461 504491 31 | 78.536 % |
1520.16/1520.73 c | 508286 | 12796 54472 163171 | 498461 506744 31 | 78.536 % |
1532.56/1533.18 c | 510766 | 12796 54472 163171 | 508460 509224 31 | 78.536 % |
1545.96/1546.55 c | 513491 | 12796 54472 163171 | 508460 511949 31 | 78.536 % |
1560.16/1560.74 c | 516490 | 12796 54472 163171 | 508460 514948 31 | 78.536 % |
1574.56/1575.15 c | 519786 | 12796 54472 163171 | 508460 518244 31 | 78.536 % |
1592.75/1593.38 c | 523411 | 12796 54472 163171 | 518459 521869 31 | 78.536 % |
1612.65/1613.22 c | 527398 | 12796 54472 163171 | 518459 525856 31 | 78.536 % |
1635.44/1636.06 c | 531784 | 12796 54472 163171 | 528459 530242 31 | 78.536 % |
1661.73/1662.40 c | 536611 | 12783 54385 162931 | 528459 535068 31 | 78.558 % |
1662.43/1663.05 c | 536712 | 12783 54385 162931 | 528459 535169 31 | 78.558 % |
1663.03/1663.68 c | 536826 | 12783 54385 162931 | 528459 535283 31 | 78.558 % |
1663.63/1664.23 c | 536947 | 12783 54385 162931 | 528459 535404 31 | 78.558 % |
1664.23/1664.84 c | 537081 | 12783 54385 162931 | 528459 535538 31 | 78.558 % |
1665.12/1665.78 c | 537228 | 12783 54385 162931 | 528459 535685 31 | 78.558 % |
1666.12/1666.73 c | 537388 | 12783 54385 162931 | 528459 535845 31 | 78.558 % |
1667.03/1667.70 c | 537565 | 12783 54385 162931 | 528459 536022 31 | 78.558 % |
1668.22/1668.90 c | 537759 | 12783 54385 162931 | 528459 536216 31 | 78.558 % |
1669.62/1670.24 c | 537971 | 12783 54385 162931 | 528459 536428 31 | 78.558 % |
1671.12/1671.77 c | 538205 | 12783 54385 162931 | 528459 536662 31 | 78.558 % |
1672.42/1673.02 c | 538462 | 12783 54385 162931 | 528459 536919 31 | 78.558 % |
1673.92/1674.56 c | 538743 | 12783 54385 162931 | 528459 537200 31 | 78.558 % |
1675.52/1676.11 c | 539053 | 12783 54385 162931 | 528459 537510 31 | 78.558 % |
1676.82/1677.41 c | 539393 | 12783 54385 162931 | 528459 537850 31 | 78.558 % |
1678.32/1678.97 c | 539765 | 12783 54385 162931 | 528459 538222 31 | 78.558 % |
1680.02/1680.70 c | 540176 | 12783 54385 162931 | 538457 538633 31 | 78.558 % |
1682.02/1682.60 c | 540625 | 12783 54385 162931 | 538457 539082 31 | 78.558 % |
1683.92/1684.54 c | 541118 | 12783 54385 162931 | 538457 539575 31 | 78.558 % |
1685.91/1686.58 c | 541660 | 12783 54385 162931 | 538457 540117 31 | 78.558 % |
1688.21/1688.87 c | 542257 | 12783 54385 162931 | 538457 540714 31 | 78.558 % |
1690.41/1691.06 c | 542912 | 12783 54385 162931 | 538457 541369 31 | 78.558 % |
1693.42/1694.07 c | 543632 | 12783 54385 162931 | 538457 542089 31 | 78.558 % |
1696.81/1697.41 c | 544425 | 12783 54385 162931 | 538457 542882 31 | 78.558 % |
1701.41/1702.07 c | 545296 | 12783 54385 162931 | 538457 543753 31 | 78.558 % |
1705.51/1706.14 c | 546254 | 12783 54385 162931 | 538457 544711 31 | 78.558 % |
1710.42/1711.03 c | 547310 | 12783 54385 162931 | 538457 545767 31 | 78.558 % |
1716.11/1716.75 c | 548471 | 12783 54385 162931 | 538457 546928 31 | 78.558 % |
1723.31/1723.92 c | 549745 | 12783 54385 162931 | 538457 548202 31 | 78.558 % |
1730.11/1730.79 c | 551147 | 12783 54385 162931 | 548459 549604 31 | 78.558 % |
1736.21/1736.89 c | 552688 | 12783 54385 162931 | 548459 551145 31 | 78.558 % |
1746.21/1746.81 c | 554382 | 12779 54347 162827 | 548459 552838 31 | 78.565 % |
1755.20/1755.89 c | 556247 | 12779 54347 162827 | 548459 554703 31 | 78.565 % |
1768.20/1768.87 c | 558298 | 12779 54347 162827 | 548459 556754 31 | 78.565 % |
1780.69/1781.38 c | 560554 | 12779 54347 162827 | 558456 559010 31 | 78.565 % |
1792.48/1793.17 c | 563034 | 12779 54347 162827 | 558456 561490 31 | 78.565 % |
1804.09/1804.71 c | 565764 | 12779 54347 162827 | 558456 564220 31 | 78.565 % |
1824.68/1825.37 c | 568761 | 12779 54347 162827 | 558456 567217 31 | 78.565 % |
1847.18/1847.83 c | 572058 | 12779 54347 162827 | 568456 570514 31 | 78.565 % |
1866.37/1867.02 c | 575685 | 12779 54347 162827 | 568456 574141 31 | 78.565 % |
1887.66/1888.39 c | 579674 | 12779 54347 162827 | 568456 578130 31 | 78.565 % |
1917.05/1917.70 c | 584060 | 12779 54347 162827 | 578458 582516 31 | 78.565 % |
1940.45/1941.18 c | 588884 | 12776 54322 162758 | 578458 587339 31 | 78.570 % |
1962.54/1963.28 c | 594192 | 12776 54322 162758 | 588455 592646 31 | 78.590 % |
1963.14/1963.89 c | 594293 | 12776 54322 162758 | 588455 592747 31 | 78.590 % |
1963.64/1964.36 c | 594404 | 12776 54322 162758 | 588455 592858 31 | 78.590 % |
1964.84/1965.54 c | 594527 | 12776 54322 162758 | 588455 592981 31 | 78.590 % |
1965.34/1966.01 c | 594661 | 12776 54322 162758 | 588455 593115 31 | 78.590 % |
1966.34/1967.07 c | 594808 | 12776 54322 162758 | 588455 593262 31 | 78.590 % |
1966.94/1967.66 c | 594969 | 12776 54322 162758 | 588455 593423 31 | 78.590 % |
1967.74/1968.49 c | 595145 | 12776 54322 162758 | 588455 593599 31 | 78.590 % |
1968.64/1969.39 c | 595338 | 12776 54322 162758 | 588455 593792 31 | 78.590 % |
1969.84/1970.57 c | 595550 | 12776 54322 162758 | 588455 594004 31 | 78.590 % |
1970.94/1971.64 c | 595784 | 12776 54322 162758 | 588455 594238 31 | 78.590 % |
1973.04/1973.71 c | 596041 | 12776 54322 162758 | 588455 594495 31 | 78.590 % |
1975.24/1975.98 c | 596323 | 12776 54322 162758 | 588455 594777 31 | 78.590 % |
1977.84/1978.56 c | 596634 | 12776 54322 162758 | 588455 595088 31 | 78.590 % |
1979.64/1980.30 c | 596973 | 12776 54322 162758 | 588455 595427 31 | 78.590 % |
1981.73/1982.49 c | 597348 | 12776 54322 162758 | 588455 595802 31 | 78.590 % |
1984.14/1984.84 c | 597757 | 12776 54322 162758 | 588455 596211 31 | 78.590 % |
1986.73/1987.41 c | 598207 | 12776 54322 162758 | 588455 596661 31 | 78.590 % |
1989.63/1990.31 c | 598701 | 12776 54322 162758 | 588455 597155 31 | 78.590 % |
1991.83/1992.51 c | 599243 | 12776 54322 162758 | 588455 597697 31 | 78.590 % |
1994.83/1995.59 c | 599839 | 12776 54322 162758 | 588455 598293 31 | 78.590 % |
1999.03/1999.75 c | 600494 | 12776 54322 162758 | 598456 598948 31 | 78.590 % |
2003.23/2003.94 c | 601214 | 12776 54322 162758 | 598456 599668 31 | 78.590 % |
2010.03/2010.77 c | 602009 | 12776 54322 162758 | 598456 600463 31 | 78.590 % |
2013.33/2014.09 c | 602883 | 12776 54322 162758 | 598456 601337 31 | 78.590 % |
2018.02/2018.74 c | 603843 | 12776 54322 162758 | 598456 602297 31 | 78.590 % |
2022.92/2023.63 c | 604896 | 12776 54322 162758 | 598456 603350 31 | 78.590 % |
2027.52/2028.21 c | 606054 | 12776 54322 162758 | 598456 604508 31 | 78.590 % |
2035.52/2036.20 c | 607328 | 12764 54250 162566 | 598456 605781 31 | 78.590 % |
2043.51/2044.26 c | 608728 | 12764 54250 162566 | 598456 607181 31 | 78.590 % |
2053.81/2054.51 c | 610269 | 12764 54250 162566 | 608455 608722 31 | 78.590 % |
2061.81/2062.55 c | 611966 | 12764 54250 162566 | 608455 610419 31 | 78.590 % |
2067.70/2068.40 c | 613829 | 12764 54250 162566 | 608455 612282 31 | 78.590 % |
2079.00/2079.76 c | 615878 | 12764 54250 162566 | 608455 614331 31 | 78.590 % |
2091.60/2092.36 c | 618131 | 12764 54250 162566 | 608455 616584 31 | 78.590 % |
2103.80/2104.58 c | 620609 | 12764 54250 162566 | 618456 619062 31 | 78.590 % |
2115.99/2116.77 c | 623334 | 12764 54250 162566 | 618456 621787 31 | 78.590 % |
2133.38/2134.19 c | 626333 | 12764 54250 162566 | 618456 624786 31 | 78.590 % |
2152.08/2152.84 c | 629629 | 12764 54250 162566 | 618456 628082 31 | 78.590 % |
2174.08/2174.87 c | 633255 | 12764 54250 162566 | 628453 631708 31 | 78.590 % |
2194.07/2194.81 c | 637242 | 12764 54250 162566 | 628453 635695 31 | 78.590 % |
2214.16/2214.90 c | 641627 | 12749 54163 162312 | 638455 640079 31 | 78.615 % |
2236.85/2237.62 c | 646453 | 12733 54163 162312 | 638455 644904 30 | 79.726 % |
2264.94/2265.77 c | 651758 | 12733 54163 162312 | 648450 650208 30 | 79.739 % |
2290.04/2290.82 c | 657594 | 12733 54163 162312 | 648450 656044 30 | 79.739 % |
2290.45/2291.21 c | 657694 | 12733 54163 162312 | 648450 656144 30 | 79.739 % |
2291.04/2291.84 c | 657804 | 12733 54163 162312 | 648450 656254 30 | 79.739 % |
2291.44/2292.24 c | 657926 | 12733 54163 162312 | 648450 656376 30 | 79.739 % |
2291.94/2292.78 c | 658059 | 12733 54163 162312 | 648450 656509 30 | 79.739 % |
2292.84/2293.65 c | 658205 | 12733 54163 162312 | 648450 656655 30 | 79.739 % |
2294.04/2294.83 c | 658366 | 12733 54163 162312 | 648450 656816 30 | 79.739 % |
2295.04/2295.82 c | 658546 | 12733 54163 162312 | 648450 656996 30 | 79.739 % |
2296.24/2297.10 c | 658739 | 12733 54163 162312 | 648450 657189 30 | 79.739 % |
2297.34/2298.13 c | 658951 | 12733 54163 162312 | 648450 657401 30 | 79.739 % |
2298.54/2299.33 c | 659185 | 12733 54163 162312 | 648450 657635 30 | 79.739 % |
2299.64/2300.43 c | 659441 | 12733 54163 162312 | 648450 657891 30 | 79.739 % |
2300.94/2301.77 c | 659724 | 12733 54163 162312 | 648450 658174 30 | 79.739 % |
2302.34/2303.18 c | 660036 | 12733 54163 162312 | 658451 658486 30 | 79.739 % |
2303.74/2304.56 c | 660376 | 12733 54163 162312 | 658451 658826 30 | 79.739 % |
2305.33/2306.14 c | 660750 | 12733 54163 162312 | 658451 659200 30 | 79.739 % |
2306.83/2307.60 c | 661160 | 12733 54163 162312 | 658451 659610 30 | 79.739 % |
2309.14/2310.00 c | 661610 | 12733 54163 162312 | 658451 660060 30 | 79.739 % |
2336.52/2337.38 c | 662103 | 12079 50412 151640 | 658451 512297 30 | 79.739 % |
2338.32/2339.18 c | 662648 | 12079 50412 151640 | 658451 512842 30 | 79.739 % |
2340.42/2341.23 c | 663244 | 12079 50412 151640 | 658451 513438 30 | 79.739 % |
2342.22/2343.09 c | 663903 | 12079 50412 151640 | 658451 514097 30 | 79.739 % |
2345.32/2346.13 c | 664623 | 12079 50412 151640 | 658451 514817 30 | 79.739 % |
2347.72/2348.57 c | 665416 | 12079 50412 151640 | 658451 515610 30 | 79.739 % |
2350.72/2351.54 c | 666287 | 12079 50412 151640 | 658451 516481 30 | 79.739 % |
2354.32/2355.10 c | 667245 | 12079 50412 151640 | 658451 517439 30 | 79.739 % |
2359.21/2360.06 c | 668299 | 12079 50412 151640 | 658451 518493 30 | 79.739 % |
2366.31/2367.14 c | 669458 | 12079 50412 151640 | 658451 519652 30 | 79.739 % |
2372.01/2372.81 c | 670731 | 12079 50412 151640 | 520195 520925 30 | 79.739 % |
2378.51/2379.34 c | 672132 | 12079 50412 151640 | 520195 522326 30 | 79.739 % |
2385.30/2386.10 c | 673672 | 12079 50412 151640 | 520195 523866 30 | 79.739 % |
2391.10/2391.99 c | 675367 | 12079 50412 151640 | 520195 525561 30 | 79.739 % |
2398.90/2399.76 c | 677230 | 12079 50412 151640 | 520195 527424 30 | 79.739 % |
2407.70/2408.57 c | 679279 | 12079 50412 151640 | 520195 529473 30 | 79.739 % |
2437.99/2438.80 c | 681532 | 11997 48952 147501 | 530194 454508 30 | 79.877 % |
2447.48/2448.40 c | 684012 | 11995 48952 147501 | 530194 456987 30 | 80.646 % |
2450.58/2451.47 c ===============================================================================
2450.58/2451.47 c restarts : 1027
2450.58/2451.47 c conflicts : 684876 (280 /sec)
2450.58/2451.47 c decisions : 869989 (0.75 % random) (356 /sec)
2450.58/2451.47 c propagations : 730701423 (299023 /sec)
2450.58/2451.47 c conflict literals : 20754396 (47.27 % deleted)
2450.58/2451.47 c Memory used : 119.92 MB
2450.58/2451.47 c CPU time : 2443.63 s
2450.58/2451.47 c
2450.58/2451.47 s UNSATISFIABLE
2450.58/2451.49 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837064-1242857019/watcher-1837064-1242857019 -o /tmp/evaluation-result-1837064-1242857019/solver-1837064-1242857019 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837064-1242857019.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.08 0.02 0.01 2/64 15711
/proc/meminfo: memFree=1756232/2055920 swapFree=4177980/4192956
[pid=15711] ppid=15709 vsize=5356 CPUtime=0
/proc/15711/stat : 15711 (SatELiteGTI) R 15709 15711 15674 0 -1 4194304 230 0 0 0 0 0 0 0 19 0 1 0 313729908 5484544 197 1992294400 4194304 4889804 548682068816 18446744073709551615 4481184 0 0 4100 0 0 0 0 17 0 0 0
/proc/15711/statm: 1339 203 167 169 0 50 0
[startup+0.022434 s]
/proc/loadavg: 0.08 0.02 0.01 2/64 15711
/proc/meminfo: memFree=1756232/2055920 swapFree=4177980/4192956
[pid=15711] ppid=15709 vsize=5356 CPUtime=0
/proc/15711/stat : 15711 (SatELiteGTI) S 15709 15711 15674 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 313729908 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15711/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102439 s]
/proc/loadavg: 0.08 0.02 0.01 2/64 15711
/proc/meminfo: memFree=1756232/2055920 swapFree=4177980/4192956
[pid=15711] ppid=15709 vsize=5356 CPUtime=0
/proc/15711/stat : 15711 (SatELiteGTI) S 15709 15711 15674 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 313729908 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15711/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.302459 s]
/proc/loadavg: 0.08 0.02 0.01 2/64 15711
/proc/meminfo: memFree=1756232/2055920 swapFree=4177980/4192956
[pid=15711] ppid=15709 vsize=5356 CPUtime=0
/proc/15711/stat : 15711 (SatELiteGTI) S 15709 15711 15674 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 313729908 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15711/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.7025 s]
/proc/loadavg: 0.08 0.02 0.01 2/64 15711
/proc/meminfo: memFree=1756232/2055920 swapFree=4177980/4192956
[pid=15711] ppid=15709 vsize=5356 CPUtime=0
/proc/15711/stat : 15711 (SatELiteGTI) S 15709 15711 15674 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 313729908 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15711/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50158 s]
/proc/loadavg: 0.08 0.02 0.01 2/66 15716
/proc/meminfo: memFree=1672696/2055920 swapFree=4177980/4192956
[pid=15711] ppid=15709 vsize=5356 CPUtime=0
/proc/15711/stat : 15711 (SatELiteGTI) S 15709 15711 15674 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 313729908 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15711/statm: 1339 237 197 169 0 50 0
[pid=15716] ppid=15711 vsize=99336 CPUtime=1.48
/proc/15716/stat : 15716 (SatELite_releas) R 15711 15711 15674 0 -1 4194304 23469 0 0 0 135 13 0 0 25 0 1 0 313729909 101720064 21673 1992294400 134512640 135223648 4294956128 18446744073709551615 134713216 0 0 4096 3 0 0 0 17 1 0 0
/proc/15716/statm: 24834 21673 76 173 0 24659 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 104692
[startup+3.10174 s]
/proc/loadavg: 0.08 0.02 0.01 2/66 15716
/proc/meminfo: memFree=1663032/2055920 swapFree=4177980/4192956
[pid=15711] ppid=15709 vsize=5356 CPUtime=0
/proc/15711/stat : 15711 (SatELiteGTI) S 15709 15711 15674 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 313729908 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15711/statm: 1339 237 197 169 0 50 0
[pid=15716] ppid=15711 vsize=103064 CPUtime=3.08
/proc/15716/stat : 15716 (SatELite_releas) R 15711 15711 15674 0 -1 4194304 24521 0 0 0 295 13 0 0 25 0 1 0 313729909 105537536 22583 1992294400 134512640 135223648 4294956128 18446744073709551615 134598430 0 0 4096 3 0 0 0 17 1 0 0
/proc/15716/statm: 25766 22583 76 173 0 25591 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 108420
[startup+6.30107 s]
/proc/loadavg: 0.23 0.05 0.02 2/66 15716
/proc/meminfo: memFree=1652536/2055920 swapFree=4177980/4192956
[pid=15711] ppid=15709 vsize=5356 CPUtime=0
/proc/15711/stat : 15711 (SatELiteGTI) S 15709 15711 15674 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 313729908 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15711/statm: 1339 237 197 169 0 50 0
[pid=15716] ppid=15711 vsize=114508 CPUtime=6.28
/proc/15716/stat : 15716 (SatELite_releas) R 15711 15711 15674 0 -1 4194304 35644 0 0 0 608 20 0 0 25 0 1 0 313729909 117256192 24481 1992294400 134512640 135223648 4294956128 18446744073709551615 134604282 0 0 4096 3 0 0 0 17 1 0 0
/proc/15716/statm: 28627 24481 76 173 0 28452 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 119864
[startup+12.7017 s]
/proc/loadavg: 0.29 0.06 0.02 2/66 15717
/proc/meminfo: memFree=1723768/2055920 swapFree=4177980/4192956
[pid=15711] ppid=15709 vsize=5356 CPUtime=6.68
/proc/15711/stat : 15711 (SatELiteGTI) S 15709 15711 15674 0 -1 4194304 336 35896 0 0 0 0 643 25 16 0 1 0 313729908 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15711/statm: 1339 239 197 169 0 50 0
[pid=15717] ppid=15711 vsize=21436 CPUtime=5.99
/proc/15717/stat : 15717 (minisat_static) R 15711 15711 15674 0 -1 4194304 5095 0 0 0 597 2 0 0 25 0 1 0 313730577 21950464 5061 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/15717/statm: 5359 5061 77 171 0 5186 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 26792
[startup+25.502 s]
/proc/loadavg: 0.45 0.11 0.04 2/66 15717
/proc/meminfo: memFree=1723768/2055920 swapFree=4177980/4192956
[pid=15711] ppid=15709 vsize=5356 CPUtime=6.68
/proc/15711/stat : 15711 (SatELiteGTI) S 15709 15711 15674 0 -1 4194304 336 35896 0 0 0 0 643 25 16 0 1 0 313729908 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15711/statm: 1339 239 197 169 0 50 0
[pid=15717] ppid=15711 vsize=21436 CPUtime=18.8
/proc/15717/stat : 15717 (minisat_static) R 15711 15711 15674 0 -1 4194304 5106 0 0 0 1877 3 0 0 25 0 1 0 313730577 21950464 5072 1992294400 134512640 135215339 4294956240 18446744073709551615 134528769 0 0 4096 3 0 0 0 17 1 0 0
/proc/15717/statm: 5359 5072 77 171 0 5186 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 26792
[startup+51.1026 s]
/proc/loadavg: 0.64 0.18 0.06 2/66 15717
/proc/meminfo: memFree=1721784/2055920 swapFree=4177980/4192956
[pid=15711] ppid=15709 vsize=5356 CPUtime=6.68
/proc/15711/stat : 15711 (SatELiteGTI) S 15709 15711 15674 0 -1 4194304 336 35896 0 0 0 0 643 25 16 0 1 0 313729908 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15711/statm: 1339 239 197 169 0 50 0
[pid=15717] ppid=15711 vsize=23672 CPUtime=44.38
/proc/15717/stat : 15717 (minisat_static) R 15711 15711 15674 0 -1 4194304 5644 0 0 0 4435 3 0 0 25 0 1 0 313730577 24240128 5610 1992294400 134512640 135215339 4294956240 18446744073709551615 134529051 0 0 4096 3 0 0 0 17 1 0 0
/proc/15717/statm: 5918 5610 77 171 0 5745 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 29028
[startup+102.306 s]
/proc/loadavg: 0.84 0.30 0.11 2/66 15717
/proc/meminfo: memFree=1715960/2055920 swapFree=4177980/4192956
[pid=15711] ppid=15709 vsize=5356 CPUtime=6.68
/proc/15711/stat : 15711 (SatELiteGTI) S 15709 15711 15674 0 -1 4194304 336 35896 0 0 0 0 643 25 16 0 1 0 313729908 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15711/statm: 1339 239 197 169 0 50 0
[pid=15717] ppid=15711 vsize=29324 CPUtime=95.56
/proc/15717/stat : 15717 (minisat_static) R 15711 15711 15674 0 -1 4194304 7042 0 0 0 9551 5 0 0 25 0 1 0 313730577 30027776 7008 1992294400 134512640 135215339 4294956240 18446744073709551615 134532687 0 0 4096 3 0 0 0 17 1 0 0
/proc/15717/statm: 7331 7008 77 171 0 7158 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 34680
[startup+162.303 s]
/proc/loadavg: 0.94 0.43 0.16 2/66 15717
/proc/meminfo: memFree=1711160/2055920 swapFree=4177980/4192956
[pid=15711] ppid=15709 vsize=5356 CPUtime=6.68
/proc/15711/stat : 15711 (SatELiteGTI) S 15709 15711 15674 0 -1 4194304 336 35896 0 0 0 0 643 25 16 0 1 0 313729908 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15711/statm: 1339 239 197 169 0 50 0
[pid=15717] ppid=15711 vsize=34196 CPUtime=155.53
/proc/15717/stat : 15717 (minisat_static) R 15711 15711 15674 0 -1 4194304 8222 0 0 0 15546 7 0 0 25 0 1 0 313730577 35016704 8188 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15717/statm: 8549 8188 77 171 0 8376 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 39552
[startup+222.302 s]
/proc/loadavg: 0.98 0.53 0.21 2/66 15717
/proc/meminfo: memFree=1706616/2055920 swapFree=4177980/4192956
[pid=15711] ppid=15709 vsize=5356 CPUtime=6.68
/proc/15711/stat : 15711 (SatELiteGTI) S 15709 15711 15674 0 -1 4194304 336 35896 0 0 0 0 643 25 16 0 1 0 313729908 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15711/statm: 1339 239 197 169 0 50 0
[pid=15717] ppid=15711 vsize=38824 CPUtime=215.5
/proc/15717/stat : 15717 (minisat_static) R 15711 15711 15674 0 -1 4194304 9355 0 0 0 21542 8 0 0 25 0 1 0 313730577 39755776 9321 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15717/statm: 9706 9321 77 171 0 9533 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 44180
[startup+282.302 s]
/proc/loadavg: 0.99 0.61 0.26 2/66 15717
/proc/meminfo: memFree=1702776/2055920 swapFree=4177980/4192956
[pid=15711] ppid=15709 vsize=5356 CPUtime=6.68
/proc/15711/stat : 15711 (SatELiteGTI) S 15709 15711 15674 0 -1 4194304 336 35896 0 0 0 0 643 25 16 0 1 0 313729908 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15711/statm: 1339 239 197 169 0 50 0
[pid=15717] ppid=15711 vsize=42752 CPUtime=275.48
/proc/15717/stat : 15717 (minisat_static) R 15711 15711 15674 0 -1 4194304 10290 0 0 0 27539 9 0 0 25 0 1 0 313730577 43778048 10256 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/15717/statm: 10688 10256 77 171 0 10515 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 48108
[startup+342.302 s]
/proc/loadavg: 0.99 0.68 0.30 2/66 15717
/proc/meminfo: memFree=1699704/2055920 swapFree=4177980/4192956
[pid=15711] ppid=15709 vsize=5356 CPUtime=6.68
/proc/15711/stat : 15711 (SatELiteGTI) S 15709 15711 15674 0 -1 4194304 336 35896 0 0 0 0 643 25 16 0 1 0 313729908 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15711/statm: 1339 239 197 169 0 50 0
[pid=15717] ppid=15711 vsize=45760 CPUtime=335.46
/proc/15717/stat : 15717 (minisat_static) R 15711 15711 15674 0 -1 4194304 11032 0 0 0 33536 10 0 0 25 0 1 0 313730577 46858240 10998 1992294400 134512640 135215339 4294956240 18446744073709551615 134528679 0 0 4096 3 0 0 0 17 1 0 0
/proc/15717/statm: 11440 10998 77 171 0 11267 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 51116
[startup+402.302 s]
/proc/loadavg: 0.99 0.74 0.34 2/66 15717
/proc/meminfo: memFree=1696440/2055920 swapFree=4177980/4192956
[pid=15711] ppid=15709 vsize=5356 CPUtime=6.68
/proc/15711/stat : 15711 (SatELiteGTI) S 15709 15711 15674 0 -1 4194304 336 35896 0 0 0 0 643 25 16 0 1 0 313729908 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15711/statm: 1339 239 197 169 0 50 0
[pid=15717] ppid=15711 vsize=49116 CPUtime=395.43
/proc/15717/stat : 15717 (minisat_static) R 15711 15711 15674 0 -1 4194304 11834 0 0 0 39532 11 0 0 25 0 1 0 313730577 50294784 11800 1992294400 134512640 135215339 4294956240 18446744073709551615 134532839 0 0 4096 3 0 0 0 17 1 0 0
/proc/15717/statm: 12279 11800 77 171 0 12106 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 54472
[startup+462.303 s]
################
# More data... #
################
/proc/15717/statm: 28441 27402 77 171 0 28268 0
Current children cumulated CPU time (s) 1961.65
Current children cumulated vsize (KiB) 119120
[startup+2022.3 s]
/proc/loadavg: 0.99 0.97 0.84 2/66 15717
/proc/meminfo: memFree=1630136/2055920 swapFree=4177980/4192956
[pid=15711] ppid=15709 vsize=5356 CPUtime=6.68
/proc/15711/stat : 15711 (SatELiteGTI) S 15709 15711 15674 0 -1 4194304 336 35896 0 0 0 0 643 25 16 0 1 0 313729908 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15711/statm: 1339 239 197 169 0 50 0
[pid=15717] ppid=15711 vsize=115152 CPUtime=2014.94
/proc/15717/stat : 15717 (minisat_static) R 15711 15711 15674 0 -1 4194304 27807 0 0 0 201461 33 0 0 25 0 1 0 313730577 117915648 27773 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15717/statm: 28788 27773 77 171 0 28615 0
Current children cumulated CPU time (s) 2021.62
Current children cumulated vsize (KiB) 120508
[startup+2082.31 s]
/proc/loadavg: 0.99 0.97 0.85 2/66 15717
/proc/meminfo: memFree=1628152/2055920 swapFree=4177980/4192956
[pid=15711] ppid=15709 vsize=5356 CPUtime=6.68
/proc/15711/stat : 15711 (SatELiteGTI) S 15709 15711 15674 0 -1 4194304 336 35896 0 0 0 0 643 25 16 0 1 0 313729908 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15711/statm: 1339 239 197 169 0 50 0
[pid=15717] ppid=15711 vsize=117096 CPUtime=2074.92
/proc/15717/stat : 15717 (minisat_static) R 15711 15711 15674 0 -1 4194304 28294 0 0 0 207459 33 0 0 25 0 1 0 313730577 119906304 28260 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15717/statm: 29274 28260 77 171 0 29101 0
Current children cumulated CPU time (s) 2081.6
Current children cumulated vsize (KiB) 122452
[startup+2142.3 s]
/proc/loadavg: 0.99 0.97 0.85 2/66 15717
/proc/meminfo: memFree=1626616/2055920 swapFree=4177980/4192956
[pid=15711] ppid=15709 vsize=5356 CPUtime=6.68
/proc/15711/stat : 15711 (SatELiteGTI) S 15709 15711 15674 0 -1 4194304 336 35896 0 0 0 0 643 25 16 0 1 0 313729908 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15711/statm: 1339 239 197 169 0 50 0
[pid=15717] ppid=15711 vsize=118576 CPUtime=2134.9
/proc/15717/stat : 15717 (minisat_static) R 15711 15711 15674 0 -1 4194304 28663 0 0 0 213456 34 0 0 25 0 1 0 313730577 121421824 28629 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15717/statm: 29644 28629 77 171 0 29471 0
Current children cumulated CPU time (s) 2141.58
Current children cumulated vsize (KiB) 123932
[startup+2202.3 s]
/proc/loadavg: 0.99 0.97 0.86 2/66 15717
/proc/meminfo: memFree=1625336/2055920 swapFree=4177980/4192956
[pid=15711] ppid=15709 vsize=5356 CPUtime=6.68
/proc/15711/stat : 15711 (SatELiteGTI) S 15709 15711 15674 0 -1 4194304 336 35896 0 0 0 0 643 25 16 0 1 0 313729908 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15711/statm: 1339 239 197 169 0 50 0
[pid=15717] ppid=15711 vsize=119664 CPUtime=2194.89
/proc/15717/stat : 15717 (minisat_static) R 15711 15711 15674 0 -1 4194304 28970 0 0 0 219454 35 0 0 25 0 1 0 313730577 122535936 28936 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15717/statm: 29916 28936 77 171 0 29743 0
Current children cumulated CPU time (s) 2201.57
Current children cumulated vsize (KiB) 125020
[startup+2262.3 s]
/proc/loadavg: 0.99 0.97 0.87 2/66 15717
/proc/meminfo: memFree=1623544/2055920 swapFree=4177980/4192956
[pid=15711] ppid=15709 vsize=5356 CPUtime=6.68
/proc/15711/stat : 15711 (SatELiteGTI) S 15709 15711 15674 0 -1 4194304 336 35896 0 0 0 0 643 25 16 0 1 0 313729908 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15711/statm: 1339 239 197 169 0 50 0
[pid=15717] ppid=15711 vsize=121260 CPUtime=2254.86
/proc/15717/stat : 15717 (minisat_static) R 15711 15711 15674 0 -1 4194304 29404 0 0 0 225451 35 0 0 25 0 1 0 313730577 124170240 29370 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15717/statm: 30315 29370 77 171 0 30142 0
Current children cumulated CPU time (s) 2261.54
Current children cumulated vsize (KiB) 126616
[startup+2322.3 s]
/proc/loadavg: 0.99 0.97 0.87 2/66 15717
/proc/meminfo: memFree=1622136/2055920 swapFree=4177980/4192956
[pid=15711] ppid=15709 vsize=5356 CPUtime=6.68
/proc/15711/stat : 15711 (SatELiteGTI) S 15709 15711 15674 0 -1 4194304 336 35896 0 0 0 0 643 25 16 0 1 0 313729908 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15711/statm: 1339 239 197 169 0 50 0
[pid=15717] ppid=15711 vsize=122628 CPUtime=2314.85
/proc/15717/stat : 15717 (minisat_static) R 15711 15711 15674 0 -1 4194304 29745 0 0 0 231449 36 0 0 25 0 1 0 313730577 125571072 29711 1992294400 134512640 135215339 4294956240 18446744073709551615 134526363 0 0 4096 3 0 0 0 17 1 0 0
/proc/15717/statm: 30657 29711 77 171 0 30484 0
Current children cumulated CPU time (s) 2321.53
Current children cumulated vsize (KiB) 127984
[startup+2382.3 s]
/proc/loadavg: 0.99 0.97 0.88 2/66 15717
/proc/meminfo: memFree=1621880/2055920 swapFree=4177980/4192956
[pid=15711] ppid=15709 vsize=5356 CPUtime=6.68
/proc/15711/stat : 15711 (SatELiteGTI) S 15709 15711 15674 0 -1 4194304 336 35896 0 0 0 0 643 25 16 0 1 0 313729908 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15711/statm: 1339 239 197 169 0 50 0
[pid=15717] ppid=15711 vsize=122628 CPUtime=2374.83
/proc/15717/stat : 15717 (minisat_static) R 15711 15711 15674 0 -1 4194304 29745 0 0 0 237447 36 0 0 25 0 1 0 313730577 125571072 29711 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15717/statm: 30657 29711 77 171 0 30484 0
Current children cumulated CPU time (s) 2381.51
Current children cumulated vsize (KiB) 127984
[startup+2442.3 s]
/proc/loadavg: 0.99 0.97 0.88 2/66 15719
/proc/meminfo: memFree=1621816/2055920 swapFree=4177980/4192956
[pid=15711] ppid=15709 vsize=5356 CPUtime=6.68
/proc/15711/stat : 15711 (SatELiteGTI) S 15709 15711 15674 0 -1 4194304 336 35896 0 0 0 0 643 25 16 0 1 0 313729908 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15711/statm: 1339 239 197 169 0 50 0
[pid=15717] ppid=15711 vsize=122796 CPUtime=2434.81
/proc/15717/stat : 15717 (minisat_static) R 15711 15711 15674 0 -1 4194304 29765 0 0 0 243445 36 0 0 25 0 1 0 313730577 125743104 29731 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15717/statm: 30699 29731 77 171 0 30526 0
Current children cumulated CPU time (s) 2441.49
Current children cumulated vsize (KiB) 128152
Solver just ended. Dumping a history of the last processes samples
[startup+2444.7 s]
/proc/loadavg: 0.99 0.97 0.88 2/66 15719
/proc/meminfo: memFree=1621816/2055920 swapFree=4177980/4192956
[pid=15711] ppid=15709 vsize=5356 CPUtime=6.68
/proc/15711/stat : 15711 (SatELiteGTI) S 15709 15711 15674 0 -1 4194304 336 35896 0 0 0 0 643 25 16 0 1 0 313729908 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15711/statm: 1339 239 197 169 0 50 0
[pid=15717] ppid=15711 vsize=122796 CPUtime=2437.21
/proc/15717/stat : 15717 (minisat_static) R 15711 15711 15674 0 -1 4194304 29765 0 0 0 243685 36 0 0 25 0 1 0 313730577 125743104 29731 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/15717/statm: 30699 29731 77 171 0 30526 0
Current children cumulated CPU time (s) 2443.89
Current children cumulated vsize (KiB) 128152
[startup+2447.9 s]
/proc/loadavg: 0.99 0.97 0.88 2/66 15719
/proc/meminfo: memFree=1621752/2055920 swapFree=4177980/4192956
[pid=15711] ppid=15709 vsize=5356 CPUtime=6.68
/proc/15711/stat : 15711 (SatELiteGTI) S 15709 15711 15674 0 -1 4194304 336 35896 0 0 0 0 643 25 16 0 1 0 313729908 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15711/statm: 1339 239 197 169 0 50 0
[pid=15717] ppid=15711 vsize=122796 CPUtime=2440.41
/proc/15717/stat : 15717 (minisat_static) R 15711 15711 15674 0 -1 4194304 29765 0 0 0 244005 36 0 0 25 0 1 0 313730577 125743104 29731 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15717/statm: 30699 29731 77 171 0 30526 0
Current children cumulated CPU time (s) 2447.09
Current children cumulated vsize (KiB) 128152
[startup+2449.5 s]
/proc/loadavg: 0.99 0.97 0.88 2/66 15719
/proc/meminfo: memFree=1621752/2055920 swapFree=4177980/4192956
[pid=15711] ppid=15709 vsize=5356 CPUtime=6.68
/proc/15711/stat : 15711 (SatELiteGTI) S 15709 15711 15674 0 -1 4194304 336 35896 0 0 0 0 643 25 16 0 1 0 313729908 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15711/statm: 1339 239 197 169 0 50 0
[pid=15717] ppid=15711 vsize=122796 CPUtime=2442
/proc/15717/stat : 15717 (minisat_static) R 15711 15711 15674 0 -1 4194304 29765 0 0 0 244164 36 0 0 25 0 1 0 313730577 125743104 29731 1992294400 134512640 135215339 4294956240 18446744073709551615 134528740 0 0 4096 3 0 0 0 17 1 0 0
/proc/15717/statm: 30699 29731 77 171 0 30526 0
Current children cumulated CPU time (s) 2448.68
Current children cumulated vsize (KiB) 128152
[startup+2450.3 s]
/proc/loadavg: 0.99 0.97 0.88 2/66 15719
/proc/meminfo: memFree=1621752/2055920 swapFree=4177980/4192956
[pid=15711] ppid=15709 vsize=5356 CPUtime=6.68
/proc/15711/stat : 15711 (SatELiteGTI) S 15709 15711 15674 0 -1 4194304 336 35896 0 0 0 0 643 25 16 0 1 0 313729908 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15711/statm: 1339 239 197 169 0 50 0
[pid=15717] ppid=15711 vsize=122796 CPUtime=2442.8
/proc/15717/stat : 15717 (minisat_static) R 15711 15711 15674 0 -1 4194304 29765 0 0 0 244244 36 0 0 25 0 1 0 313730577 125743104 29731 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15717/statm: 30699 29731 77 171 0 30526 0
Current children cumulated CPU time (s) 2449.48
Current children cumulated vsize (KiB) 128152
[startup+2451.1 s]
/proc/loadavg: 0.99 0.97 0.88 2/66 15719
/proc/meminfo: memFree=1621752/2055920 swapFree=4177980/4192956
[pid=15711] ppid=15709 vsize=5356 CPUtime=6.68
/proc/15711/stat : 15711 (SatELiteGTI) S 15709 15711 15674 0 -1 4194304 336 35896 0 0 0 0 643 25 16 0 1 0 313729908 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15711/statm: 1339 239 197 169 0 50 0
[pid=15717] ppid=15711 vsize=122796 CPUtime=2443.6
/proc/15717/stat : 15717 (minisat_static) R 15711 15711 15674 0 -1 4194304 29765 0 0 0 244324 36 0 0 25 0 1 0 313730577 125743104 29731 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15717/statm: 30699 29731 77 171 0 30526 0
Current children cumulated CPU time (s) 2450.28
Current children cumulated vsize (KiB) 128152
[startup+2451.5 s]
/proc/loadavg: 0.99 0.97 0.88 2/66 15719
/proc/meminfo: memFree=1621752/2055920 swapFree=4177980/4192956
[pid=15711] ppid=15709 vsize=5360 CPUtime=2450.69
/proc/15711/stat : 15711 (SatELiteGTI) D 15709 15711 15674 0 -1 4194304 341 65667 0 0 0 0 245005 64 18 0 1 0 313729908 5488640 241 1992294400 4194304 4889804 548682068816 18446744073709551615 258939255397 0 2147483391 4100 65536 18446744072099781622 0 0 17 0 0 0
/proc/15711/statm: 1340 241 198 169 0 51 0
Current children cumulated CPU time (s) 2450.69
Current children cumulated vsize (KiB) 5360
Child status: 20
Real time (s): 2451.51
CPU time (s): 2450.71
CPU user time (s): 2450.06
CPU system time (s): 0.649901
CPU usage (%): 99.9673
Max. virtual memory (cumulated for all children) (KiB): 128152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2450.06
system time used= 0.649901
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66158
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= 50
involuntary context switches= 4732
runsolver used 3.01854 second user time and 6.01009 second system time
The end
Begin job on node45 at 2009-05-21 00:03:40
IDJOB=1837064
IDBENCH=20379
IDSOLVER=674
FILE ID=node45/1837064-1242857019
PBS_JOBID= 9328471
Free space on /tmp= 66172 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/dated-5-17-u.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837064-1242857019/watcher-1837064-1242857019 -o /tmp/evaluation-result-1837064-1242857019/solver-1837064-1242857019 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837064-1242857019.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 83ece6745238c422c7e68e5a07fc7f73
RANDOM SEED=1093825867
node45.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.231
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.231
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1756648 kB
Buffers: 16060 kB
Cached: 244964 kB
SwapCached: 9208 kB
Active: 114504 kB
Inactive: 157000 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1756648 kB
SwapTotal: 4192956 kB
SwapFree: 4177980 kB
Dirty: 17004 kB
Writeback: 0 kB
Mapped: 13860 kB
Slab: 13776 kB
Committed_AS: 1041228 kB
PageTables: 1380 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66168 MiB
End job on node45 at 2009-05-21 00:44:32