0.00/0.00 c Parsing...
0.73/0.77 c ==============================================================================
0.73/0.77 c | | ORIGINAL | LEARNT | |
0.73/0.77 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.73/0.77 c ==============================================================================
0.73/0.77 c | 0 | 840401 1959486 | 252120 0 0 nan | 0.000 % |
5.54/5.56 c | 0 | 357793 957950 | -- 0 -- -- | -- | -306964/-605014
5.54/5.56 c ==============================================================================
5.54/5.56 c Result : #vars: 59617 #clauses: 357793 #literals: 957950
5.54/5.56 c CPU time: 5.37 s
5.54/5.56 c ==============================================================================
5.93/5.98 c This is MiniSat 2.0 beta
5.93/5.98 c WARNING: for repeatability, setting FPU to use double precision
5.93/5.98 c ============================[ Problem Statistics ]=============================
5.93/5.98 c | |
5.93/5.98 c | Number of variables: 59617 |
5.93/5.98 c | Number of clauses: 357793 |
5.98/6.23 c | Parsing time: 0.22 s |
5.98/6.25 c ============================[ Search Statistics ]==============================
5.98/6.25 c | Conflicts | ORIGINAL | LEARNT | Progress |
5.98/6.25 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
5.98/6.25 c ===============================================================================
5.98/6.25 c | 0 | 59617 357793 957950 | 119264 0 nan | 0.000 % |
5.98/6.48 c | 100 | 59320 357793 957950 | 119264 89 24 | 9.336 % |
6.63/6.63 c | 200 | 58834 357793 957950 | 119264 167 19 | 19.129 % |
6.92/6.94 c | 300 | 44998 261336 716196 | 119264 212 24 | 24.522 % |
7.22/7.28 c | 410 | 44809 261336 716196 | 119264 308 24 | 27.521 % |
7.62/7.62 c | 510 | 42552 245711 676918 | 119264 390 27 | 28.722 % |
7.82/7.89 c | 620 | 42474 245711 676918 | 119264 490 28 | 29.773 % |
8.22/8.27 c | 744 | 41812 241457 665737 | 119264 596 30 | 31.736 % |
8.42/8.46 c | 844 | 41735 241457 665737 | 119264 691 33 | 34.314 % |
8.62/8.69 c | 954 | 39160 223855 621240 | 119264 779 35 | 34.314 % |
8.92/8.96 c | 1076 | 39155 223855 621240 | 119264 897 34 | 40.019 % |
9.12/9.20 c | 1210 | 35744 199189 554207 | 119264 999 36 | 40.044 % |
9.42/9.44 c | 1310 | 35744 199189 554207 | 119264 1099 43 | 40.044 % |
9.52/9.55 c | 1420 | 35744 199189 554207 | 119264 1209 45 | 40.044 % |
9.72/9.81 c | 1542 | 35361 196773 548025 | 119264 1326 48 | 40.705 % |
10.12/10.13 c | 1675 | 34370 190217 532030 | 119264 1446 47 | 42.365 % |
10.22/10.31 c | 1821 | 34360 190217 532030 | 119264 1590 46 | 46.683 % |
10.52/10.57 c | 1921 | 34341 190217 532030 | 119264 1684 46 | 47.595 % |
10.72/10.77 c | 2031 | 31242 170365 479745 | 119264 1737 49 | 47.596 % |
10.92/10.97 c | 2153 | 31242 170365 479745 | 119264 1859 48 | 47.595 % |
11.22/11.27 c | 2286 | 31233 170286 479546 | 119264 1991 51 | 47.611 % |
11.42/11.51 c | 2436 | 31233 170286 479546 | 119264 2141 54 | 47.611 % |
11.72/11.80 c | 2597 | 31233 170286 479546 | 119264 2301 57 | 47.626 % |
11.82/11.89 c | 2698 | 31224 170216 479385 | 119264 2402 57 | 47.626 % |
12.13/12.17 c | 2808 | 31224 170216 479385 | 119264 2512 61 | 47.626 % |
12.32/12.34 c | 2929 | 31224 170216 479385 | 119264 2633 61 | 47.626 % |
12.52/12.52 c | 3063 | 31224 170216 479385 | 119264 2767 61 | 47.626 % |
12.72/12.74 c | 3210 | 31224 170216 479385 | 119264 2914 62 | 47.626 % |
13.02/13.11 c | 3371 | 31210 170128 479142 | 119264 3069 62 | 47.844 % |
13.22/13.31 c | 3549 | 31210 170128 479142 | 119264 3247 63 | 47.844 % |
13.40/13.43 c | 3649 | 31206 170128 479142 | 119264 3345 63 | 47.980 % |
13.70/13.74 c | 3759 | 31013 168748 475694 | 119264 3454 63 | 47.980 % |
13.90/13.95 c | 3881 | 31013 168748 475694 | 119264 3576 65 | 47.980 % |
14.09/14.14 c | 4014 | 31012 168748 475694 | 119264 3708 66 | 48.000 % |
14.30/14.38 c | 4160 | 31001 168663 475466 | 119264 3844 65 | 48.097 % |
14.49/14.58 c | 4322 | 30998 168663 475466 | 119264 4003 65 | 48.357 % |
14.79/14.90 c | 4500 | 30675 166724 470407 | 119264 4176 64 | 48.547 % |
15.09/15.16 c | 4693 | 30651 166724 470407 | 119264 4364 63 | 48.803 % |
15.29/15.35 c | 4793 | 30651 166724 470407 | 119264 4464 64 | 48.803 % |
15.49/15.53 c | 4904 | 30651 166724 470407 | 119264 4575 64 | 48.803 % |
15.69/15.77 c | 5026 | 30522 165606 467666 | 119264 4686 64 | 48.803 % |
15.99/16.09 c | 5159 | 30354 165606 467666 | 119264 4812 63 | 64.742 % |
16.29/16.33 c | 5307 | 30354 165606 467666 | 119264 4960 63 | 64.742 % |
16.59/16.71 c | 5467 | 21018 104368 301676 | 119264 4931 65 | 64.799 % |
16.89/16.94 c | 5643 | 21014 104368 301676 | 119264 5106 64 | 64.822 % |
17.19/17.32 c | 5837 | 20971 104034 300791 | 119264 5294 63 | 64.839 % |
17.49/17.61 c | 6049 | 20970 104034 300791 | 119264 5505 63 | 64.861 % |
17.69/17.80 c | 6150 | 20949 103866 300331 | 119264 5605 62 | 64.877 % |
17.89/17.93 c | 6261 | 20949 103866 300331 | 119264 5716 62 | 64.877 % |
17.99/18.06 c | 6382 | 20949 103866 300331 | 119264 5837 62 | 64.878 % |
18.09/18.20 c | 6517 | 20949 103866 300331 | 119264 5972 61 | 64.877 % |
18.29/18.35 c | 6663 | 20937 103791 300142 | 119264 6117 60 | 65.129 % |
18.39/18.47 c | 6825 | 20937 103791 300142 | 119264 6279 60 | 65.129 % |
18.70/18.81 c | 7001 | 20931 103791 300142 | 119264 6455 60 | 65.129 % |
18.99/19.04 c | 7197 | 20789 102909 297742 | 119264 6591 59 | 65.129 % |
19.19/19.23 c | 7412 | 20789 102909 297742 | 119264 6806 59 | 65.129 % |
19.39/19.51 c | 7645 | 20789 102909 297742 | 119264 7039 58 | 65.129 % |
19.49/19.61 c | 7745 | 20789 102909 297742 | 119264 7139 57 | 65.129 % |
19.69/19.74 c | 7855 | 20789 102909 297742 | 119264 7249 57 | 65.129 % |
19.80/19.91 c | 7976 | 20789 102909 297742 | 119264 7370 56 | 65.129 % |
19.99/20.02 c | 8109 | 20789 102909 297742 | 119264 7503 56 | 65.129 % |
20.09/20.14 c | 8255 | 20789 102909 297742 | 119264 7649 55 | 65.129 % |
20.19/20.26 c | 8415 | 20789 102909 297742 | 119264 7809 55 | 65.129 % |
20.39/20.43 c | 8591 | 20789 102909 297742 | 119264 7985 54 | 65.129 % |
20.58/20.62 c | 8785 | 20789 102909 297742 | 119264 8179 54 | 65.129 % |
20.78/20.81 c | 8997 | 20789 102909 297742 | 119264 8391 53 | 65.129 % |
20.98/21.08 c | 9231 | 20789 102909 297742 | 119264 8625 53 | 65.129 % |
21.28/21.33 c | 9488 | 20789 102909 297742 | 119264 8882 52 | 65.129 % |
21.38/21.43 c | 9589 | 20789 102909 297742 | 119264 8983 52 | 65.129 % |
21.48/21.54 c | 9699 | 20789 102909 297742 | 119264 9093 52 | 65.129 % |
21.68/21.77 c | 9821 | 20266 100207 290249 | 119264 9214 52 | 66.006 % |
21.88/21.93 c | 9954 | 20266 100207 290249 | 119264 9347 52 | 66.006 % |
21.99/22.08 c | 10100 | 20266 100207 290249 | 2147483647 9493 52 | 66.006 % |
22.18/22.23 c | 10262 | 20266 100207 290249 | 2147483647 9655 52 | 66.006 % |
22.38/22.44 c | 10438 | 20266 100207 290249 | 2147483647 9831 51 | 66.006 % |
22.58/22.64 c | 10633 | 20266 100207 290249 | 2147483647 10026 51 | 66.006 % |
22.88/22.95 c | 10845 | 20266 100207 290249 | 2147483647 10238 51 | 66.006 % |
23.09/23.20 c | 11078 | 20266 100207 290249 | 2147483647 10471 50 | 66.006 % |
23.38/23.48 c | 11334 | 20266 100207 290249 | 2147483647 10727 51 | 66.006 % |
23.78/23.85 c | 11615 | 20252 100113 289977 | 2147483647 11007 50 | 66.030 % |
23.88/23.94 c | 11716 | 20252 100113 289977 | 2147483647 11108 50 | 66.030 % |
23.98/24.07 c | 11826 | 20252 100113 289977 | 2147483647 11218 50 | 66.030 % |
24.08/24.21 c | 11947 | 20252 100113 289977 | 2147483647 11339 50 | 66.030 % |
24.28/24.37 c | 12081 | 20243 100042 289805 | 2147483647 11470 50 | 66.045 % |
24.48/24.58 c | 12227 | 20243 100042 289805 | 2147483647 11616 50 | 66.045 % |
24.78/24.89 c | 12387 | 20243 100042 289805 | 2147483647 11776 50 | 66.045 % |
25.08/25.17 c | 12563 | 20243 100042 289805 | 2147483647 11952 50 | 66.045 % |
25.38/25.46 c | 12756 | 20243 100042 289805 | 2147483647 12145 50 | 66.045 % |
25.68/25.73 c | 12968 | 20230 99948 289558 | 2147483647 12356 50 | 66.067 % |
26.08/26.13 c | 13201 | 20229 99948 289558 | 2147483647 12587 49 | 66.105 % |
26.48/26.56 c | 13457 | 20215 99948 289558 | 2147483647 12842 49 | 66.629 % |
26.88/26.98 c | 13738 | 19883 97782 283526 | 2147483647 13097 49 | 69.910 % |
27.28/27.35 c | 14051 | 19883 97782 283526 | 2147483647 13410 49 | 69.910 % |
27.38/27.49 c | 14153 | 19883 97782 283526 | 2147483647 13512 49 | 69.910 % |
27.58/27.63 c | 14264 | 17939 86677 251377 | 2147483647 13472 49 | 69.910 % |
27.68/27.76 c | 14386 | 17939 86677 251377 | 2147483647 13594 49 | 69.910 % |
27.88/27.92 c | 14520 | 17939 86677 251377 | 2147483647 13728 48 | 69.910 % |
27.98/28.07 c | 14669 | 17939 86677 251377 | 2147483647 13877 48 | 69.910 % |
28.28/28.34 c | 14829 | 17939 86677 251377 | 2147483647 14037 48 | 69.910 % |
28.48/28.60 c | 15007 | 17939 86677 251377 | 2147483647 14215 48 | 69.910 % |
28.88/28.91 c | 15200 | 17489 83748 244039 | 2147483647 14407 48 | 70.664 % |
29.08/29.20 c | 15416 | 17489 83748 244039 | 2147483647 14623 48 | 70.664 % |
29.38/29.50 c | 15649 | 17487 83748 244039 | 2147483647 14853 48 | 70.938 % |
29.78/29.88 c | 15906 | 17312 82753 241580 | 2147483647 15100 48 | 70.961 % |
30.08/30.15 c | 16187 | 17312 82753 241580 | 2147483647 15381 48 | 70.961 % |
30.58/30.64 c | 16496 | 17312 82753 241580 | 2147483647 15690 48 | 70.961 % |
30.98/31.01 c | 16835 | 17312 82753 241580 | 2147483647 16029 47 | 70.961 % |
31.08/31.12 c | 16936 | 17312 82753 241580 | 2147483647 16130 47 | 70.961 % |
31.18/31.29 c | 17047 | 17312 82753 241580 | 2147483647 16241 47 | 70.961 % |
31.38/31.44 c | 17168 | 17312 82753 241580 | 2147483647 16362 47 | 70.961 % |
31.58/31.61 c | 17301 | 17312 82753 241580 | 2147483647 16495 47 | 70.961 % |
31.68/31.80 c | 17447 | 17312 82753 241580 | 2147483647 16641 47 | 70.961 % |
31.98/32.02 c | 17609 | 17312 82753 241580 | 2147483647 16803 47 | 70.961 % |
32.18/32.25 c | 17785 | 17312 82753 241580 | 2147483647 16979 47 | 70.961 % |
32.48/32.55 c | 17979 | 17312 82753 241580 | 2147483647 17173 47 | 70.961 % |
32.78/32.81 c | 18193 | 17312 82753 241580 | 2147483647 17387 47 | 70.961 % |
33.18/33.22 c | 18426 | 17302 82679 241398 | 2147483647 17619 47 | 70.978 % |
33.38/33.49 c | 18682 | 17302 82679 241398 | 2147483647 17875 47 | 70.978 % |
33.88/33.97 c | 18963 | 17302 82679 241398 | 2147483647 18156 46 | 70.978 % |
34.18/34.30 c | 19272 | 17302 82679 241398 | 2147483647 18465 46 | 70.978 % |
34.58/34.70 c | 19612 | 17302 82679 241398 | 2147483647 18805 46 | 70.978 % |
35.08/35.12 c | 19987 | 17302 82679 241398 | 2147483647 19180 46 | 70.978 % |
35.19/35.25 c | 20087 | 17302 82679 241398 | 2147483647 19280 46 | 70.978 % |
35.28/35.37 c | 20199 | 17302 82679 241398 | 2147483647 19392 46 | 70.978 % |
35.48/35.53 c | 20322 | 17302 82679 241398 | 2147483647 19515 46 | 70.978 % |
35.68/35.74 c | 20457 | 17302 82679 241398 | 2147483647 19650 46 | 70.978 % |
35.88/35.94 c | 20605 | 17302 82679 241398 | 2147483647 19798 46 | 70.978 % |
36.18/36.29 c | 20765 | 17302 82679 241398 | 2147483647 19958 46 | 70.978 % |
36.48/36.59 c | 20942 | 17302 82679 241398 | 2147483647 20135 46 | 70.978 % |
36.78/36.88 c | 21135 | 17302 82679 241398 | 2147483647 20328 46 | 70.978 % |
37.18/37.23 c | 21347 | 16934 80296 235217 | 2147483647 20539 45 | 71.595 % |
37.48/37.55 c | 21581 | 16934 80296 235217 | 2147483647 20773 45 | 71.595 % |
37.78/37.84 c | 21837 | 16934 80296 235217 | 2147483647 21029 45 | 71.595 % |
38.18/38.27 c | 22118 | 16934 80296 235217 | 2147483647 21310 45 | 71.595 % |
38.68/38.74 c | 22429 | 16934 80296 235217 | 2147483647 21621 45 | 71.595 % |
39.18/39.25 c | 22768 | 16934 80296 235217 | 2147483647 21960 45 | 71.595 % |
39.78/39.82 c | 23142 | 16934 80296 235217 | 2147483647 22334 45 | 71.595 % |
40.28/40.35 c | 23551 | 16934 80296 235217 | 2147483647 22743 45 | 71.595 % |
40.38/40.49 c | 23651 | 16934 80296 235217 | 2147483647 22843 45 | 71.595 % |
40.58/40.64 c | 23762 | 16934 80296 235217 | 2147483647 22954 45 | 71.595 % |
40.78/40.81 c | 23888 | 16934 80296 235217 | 2147483647 23080 45 | 71.595 % |
40.98/41.05 c | 24021 | 16934 80296 235217 | 2147483647 23213 45 | 71.595 % |
41.08/41.18 c | 24167 | 16934 80296 235217 | 2147483647 23359 45 | 71.595 % |
41.38/41.42 c | 24328 | 16934 80296 235217 | 2147483647 23520 45 | 71.595 % |
41.58/41.70 c | 24504 | 16934 80296 235217 | 2147483647 23696 45 | 71.595 % |
41.88/41.91 c | 24697 | 16934 80296 235217 | 2147483647 23889 45 | 71.595 % |
42.08/42.20 c | 24911 | 16934 80296 235217 | 2147483647 24103 45 | 71.595 % |
42.38/42.47 c | 25147 | 16934 80296 235217 | 2147483647 24339 44 | 71.595 % |
42.68/42.77 c | 25403 | 16934 80296 235217 | 2147483647 24595 44 | 71.595 % |
42.98/43.08 c | 25686 | 16934 80296 235217 | 2147483647 24878 44 | 71.595 % |
43.38/43.43 c | 25996 | 16934 80296 235217 | 2147483647 25188 44 | 71.595 % |
43.78/43.83 c | 26337 | 16934 80296 235217 | 2147483647 25529 44 | 71.595 % |
44.18/44.26 c | 26709 | 16890 80080 234589 | 2147483647 25889 44 | 71.669 % |
44.68/44.71 c | 27119 | 16890 80080 234589 | 2147483647 26299 44 | 71.669 % |
45.28/45.33 c | 27570 | 16886 80080 234589 | 2147483647 26749 44 | 76.790 % |
45.38/45.47 c | 27672 | 13837 61212 181804 | 2147483647 26680 44 | 76.790 % |
45.58/45.62 c | 27783 | 13837 61212 181804 | 2147483647 26791 44 | 76.790 % |
45.68/45.76 c | 27904 | 13837 61212 181804 | 2147483647 26912 44 | 76.790 % |
45.88/45.93 c | 28037 | 13837 61212 181804 | 2147483647 27045 44 | 76.790 % |
45.98/46.03 c | 28183 | 13837 61212 181804 | 2147483647 27191 44 | 76.790 % |
46.19/46.29 c | 28343 | 13837 61212 181804 | 2147483647 27351 44 | 76.790 % |
46.38/46.49 c | 28519 | 13837 61212 181804 | 2147483647 27527 43 | 76.790 % |
46.68/46.73 c | 28712 | 13837 61212 181804 | 2147483647 27720 43 | 76.790 % |
47.08/47.13 c | 28924 | 13837 61212 181804 | 2147483647 27932 43 | 76.790 % |
47.39/47.48 c | 29159 | 13837 61212 181804 | 2147483647 28167 43 | 76.790 % |
47.79/47.83 c | 29415 | 13837 61212 181804 | 2147483647 28423 43 | 76.790 % |
48.09/48.12 c | 29698 | 13837 61212 181804 | 2147483647 28706 43 | 76.790 % |
48.39/48.48 c | 30012 | 13837 61212 181804 | 2147483647 29020 43 | 76.790 % |
48.69/48.80 c | 30351 | 13837 61212 181804 | 2147483647 29359 43 | 76.790 % |
49.29/49.38 c | 30723 | 13837 61212 181804 | 2147483647 29731 43 | 76.790 % |
49.99/50.09 c | 31132 | 13837 61212 181804 | 2147483647 30140 43 | 76.790 % |
50.79/50.87 c | 31584 | 13837 61212 181804 | 2147483647 30592 43 | 76.790 % |
51.29/51.40 c | 32077 | 13837 61212 181804 | 2147483647 31085 42 | 76.790 % |
51.49/51.52 c | 32177 | 13837 61212 181804 | 2147483647 31185 42 | 76.790 % |
51.59/51.65 c | 32287 | 13837 61212 181804 | 2147483647 31295 42 | 76.790 % |
51.79/51.81 c | 32409 | 13837 61212 181804 | 2147483647 31417 42 | 76.790 % |
51.89/51.97 c | 32542 | 13837 61212 181804 | 2147483647 31550 42 | 76.790 % |
52.09/52.12 c | 32688 | 13837 61212 181804 | 2147483647 31696 42 | 76.790 % |
52.29/52.36 c | 32848 | 13837 61212 181804 | 2147483647 31856 42 | 76.790 % |
52.59/52.69 c | 33026 | 13837 61212 181804 | 2147483647 32034 42 | 76.790 % |
52.79/52.91 c | 33220 | 13837 61212 181804 | 2147483647 32228 42 | 76.790 % |
53.09/53.16 c | 33432 | 13837 61212 181804 | 2147483647 32440 42 | 76.790 % |
53.39/53.44 c | 33667 | 13837 61212 181804 | 2147483647 32675 42 | 76.790 % |
53.79/53.83 c | 33925 | 13837 61212 181804 | 2147483647 32933 42 | 76.790 % |
54.19/54.22 c | 34206 | 13837 61212 181804 | 2147483647 33214 42 | 76.790 % |
54.59/54.67 c | 34519 | 13837 61212 181804 | 2147483647 33527 41 | 76.790 % |
55.19/55.24 c | 34858 | 13836 61208 181794 | 2147483647 33864 41 | 76.792 % |
55.59/55.71 c | 35232 | 13836 61208 181794 | 2147483647 34238 41 | 76.792 % |
56.09/56.14 c | 35641 | 13836 61208 181794 | 2147483647 34647 41 | 76.792 % |
56.59/56.65 c | 36090 | 13836 61208 181794 | 2147483647 35096 41 | 76.792 % |
57.19/57.26 c | 36585 | 13836 61208 181794 | 2147483647 35591 41 | 76.792 % |
57.69/57.79 c | 37127 | 13836 61208 181794 | 2147483647 36133 41 | 76.792 % |
57.89/57.94 c | 37229 | 13836 61208 181794 | 2147483647 36235 41 | 76.792 % |
57.99/58.11 c | 37339 | 13836 61208 181794 | 2147483647 36345 41 | 76.792 % |
58.19/58.27 c | 37460 | 13836 61208 181794 | 2147483647 36466 41 | 76.792 % |
58.39/58.47 c | 37593 | 13836 61208 181794 | 2147483647 36599 41 | 76.792 % |
58.59/58.65 c | 37739 | 13836 61208 181794 | 2147483647 36745 41 | 76.792 % |
58.79/58.86 c | 37900 | 13836 61208 181794 | 2147483647 36906 41 | 76.792 % |
59.09/59.15 c | 38076 | 13836 61208 181794 | 2147483647 37082 41 | 76.792 % |
59.39/59.42 c | 38270 | 13836 61208 181794 | 2147483647 37276 41 | 76.792 % |
59.69/59.73 c | 38483 | 13836 61208 181794 | 2147483647 37489 41 | 76.792 % |
59.99/60.08 c | 38716 | 13836 61208 181794 | 2147483647 37722 41 | 76.792 % |
60.59/60.63 c | 38972 | 13836 61208 181794 | 2147483647 37978 41 | 76.792 % |
61.19/61.26 c | 39253 | 13836 61208 181794 | 2147483647 38259 41 | 76.792 % |
61.69/61.81 c | 39563 | 13836 61208 181794 | 2147483647 38569 41 | 76.792 % |
62.19/62.25 c | 39902 | 13836 61208 181794 | 2147483647 38908 41 | 76.792 % |
62.79/62.83 c | 40276 | 13836 61208 181794 | 2147483647 39282 41 | 76.792 % |
63.59/63.66 c | 40690 | 13836 61208 181794 | 2147483647 39696 40 | 76.792 % |
64.29/64.38 c | 41140 | 13836 61208 181794 | 2147483647 40146 40 | 76.792 % |
65.09/65.17 c | 41633 | 13836 61208 181794 | 2147483647 40639 40 | 76.792 % |
65.89/65.92 c | 42175 | 13836 61208 181794 | 2147483647 41181 40 | 76.792 % |
66.69/66.74 c | 42771 | 13836 61208 181794 | 2147483647 41777 40 | 76.792 % |
66.89/66.92 c | 42873 | 13836 61208 181794 | 2147483647 41879 40 | 76.792 % |
67.09/67.12 c | 42984 | 13836 61208 181794 | 2147483647 41990 40 | 76.792 % |
67.29/67.39 c | 43105 | 13836 61208 181794 | 2147483647 42111 40 | 76.792 % |
67.49/67.55 c | 43240 | 13836 61208 181794 | 2147483647 42246 40 | 76.792 % |
67.69/67.76 c | 43389 | 13836 61208 181794 | 2147483647 42395 40 | 76.792 % |
67.99/68.03 c | 43550 | 13836 61208 181794 | 2147483647 42556 40 | 76.792 % |
68.19/68.28 c | 43727 | 13836 61208 181794 | 2147483647 42733 40 | 76.792 % |
68.39/68.50 c | 43922 | 13836 61208 181794 | 2147483647 42928 40 | 76.792 % |
68.79/68.85 c | 44134 | 13836 61208 181794 | 2147483647 43140 40 | 76.792 % |
69.09/69.12 c | 44367 | 13836 61208 181794 | 2147483647 43373 40 | 76.792 % |
69.49/69.52 c | 44623 | 13836 61208 181794 | 2147483647 43629 40 | 76.792 % |
69.79/69.91 c | 44906 | 13836 61208 181794 | 2147483647 43912 40 | 76.792 % |
70.39/70.49 c | 45215 | 13836 61208 181794 | 2147483647 44221 39 | 76.792 % |
70.79/70.88 c | 45556 | 13836 61208 181794 | 2147483647 44562 39 | 76.792 % |
71.39/71.46 c | 45928 | 13836 61208 181794 | 2147483647 44934 40 | 76.792 % |
71.99/72.02 c | 46340 | 13836 61208 181794 | 2147483647 45346 40 | 76.792 % |
72.59/72.69 c | 46789 | 13836 61208 181794 | 2147483647 45795 40 | 76.792 % |
73.49/73.52 c | 47283 | 13836 61208 181794 | 2147483647 46289 39 | 76.792 % |
74.19/74.30 c | 47828 | 13836 61208 181794 | 2147483647 46834 39 | 76.792 % |
74.99/75.02 c | 48425 | 13836 61208 181794 | 2147483647 47431 39 | 76.792 % |
75.99/76.09 c | 49081 | 13836 61208 181794 | 2147483647 48087 39 | 76.792 % |
76.09/76.17 c | 49181 | 13836 61208 181794 | 2147483647 48187 39 | 76.792 % |
76.29/76.35 c | 49295 | 13836 61208 181794 | 2147483647 48301 39 | 76.792 % |
76.39/76.49 c | 49418 | 13836 61208 181794 | 2147483647 48424 39 | 76.792 % |
76.59/76.65 c | 49553 | 13836 61208 181794 | 2147483647 48559 39 | 76.792 % |
76.79/76.91 c | 49700 | 13836 61208 181794 | 2147483647 48706 39 | 76.792 % |
77.09/77.11 c | 49860 | 13836 61208 181794 | 2147483647 48866 39 | 76.792 % |
77.29/77.34 c | 50036 | 13836 61208 181794 | 2147483647 49042 39 | 76.792 % |
77.59/77.66 c | 50229 | 13836 61208 181794 | 2147483647 49235 39 | 76.792 % |
78.09/78.14 c | 50441 | 13836 61208 181794 | 2147483647 49447 39 | 76.792 % |
78.49/78.59 c | 50675 | 13836 61208 181794 | 2147483647 49681 39 | 76.792 % |
78.89/78.94 c | 50931 | 13836 61208 181794 | 2147483647 49937 39 | 76.792 % |
79.29/79.36 c | 51212 | 13836 61208 181794 | 2147483647 50218 39 | 76.792 % |
79.89/80.01 c | 51521 | 13836 61208 181794 | 2147483647 50527 39 | 76.792 % |
80.39/80.49 c | 51862 | 13836 61208 181794 | 2147483647 50868 39 | 76.792 % |
81.19/81.24 c | 52234 | 13836 61208 181794 | 2147483647 51240 39 | 76.792 % |
81.89/81.98 c | 52643 | 13836 61208 181794 | 2147483647 51649 39 | 76.792 % |
82.69/82.79 c | 53093 | 13836 61208 181794 | 2147483647 52099 39 | 76.792 % |
83.49/83.53 c | 53588 | 13836 61208 181794 | 2147483647 52594 39 | 76.792 % |
84.29/84.37 c | 54131 | 13836 61208 181794 | 2147483647 53137 39 | 76.792 % |
85.39/85.43 c | 54729 | 13836 61208 181794 | 2147483647 53735 39 | 76.792 % |
86.49/86.52 c | 55384 | 13836 61208 181794 | 2147483647 54390 39 | 76.792 % |
87.79/87.82 c | 56104 | 13836 61208 181794 | 2147483647 55110 38 | 76.792 % |
87.89/87.99 c | 56205 | 13836 61208 181794 | 2147483647 55211 38 | 76.792 % |
88.09/88.18 c | 56315 | 13836 61208 181794 | 2147483647 55321 38 | 76.792 % |
88.29/88.39 c | 56436 | 13836 61208 181794 | 2147483647 55442 38 | 76.792 % |
88.59/88.62 c | 56570 | 13836 61208 181794 | 2147483647 55576 38 | 76.792 % |
88.79/88.82 c | 56717 | 13836 61208 181794 | 2147483647 55723 38 | 76.792 % |
88.99/89.11 c | 56878 | 13836 61208 181794 | 2147483647 55884 38 | 76.792 % |
89.39/89.43 c | 57055 | 13836 61208 181794 | 2147483647 56061 38 | 76.792 % |
89.59/89.71 c | 57248 | 13836 61208 181794 | 2147483647 56254 38 | 76.792 % |
89.99/90.05 c | 57460 | 13836 61208 181794 | 2147483647 56466 38 | 76.792 % |
90.49/90.55 c | 57694 | 13836 61208 181794 | 2147483647 56700 38 | 76.792 % |
90.99/91.10 c | 57951 | 13836 61208 181794 | 2147483647 56957 38 | 76.792 % |
91.49/91.57 c | 58232 | 13836 61208 181794 | 2147483647 57238 38 | 76.792 % |
92.19/92.27 c | 58542 | 13836 61208 181794 | 2147483647 57548 38 | 76.792 % |
92.79/92.82 c | 58881 | 13836 61208 181794 | 2147483647 57887 38 | 76.792 % |
93.39/93.49 c | 59253 | 13836 61208 181794 | 2147483647 58259 38 | 76.792 % |
94.09/94.15 c | 59664 | 13836 61208 181794 | 2147483647 58670 38 | 76.792 % |
94.99/95.10 c | 60113 | 13836 61208 181794 | 2147483647 59119 38 | 76.792 % |
95.79/95.86 c | 60606 | 13836 61208 181794 | 2147483647 59612 38 | 76.792 % |
96.79/96.84 c | 61148 | 13836 61208 181794 | 2147483647 60154 38 | 76.792 % |
97.69/97.81 c | 61744 | 13836 61208 181794 | 2147483647 60750 38 | 76.792 % |
99.09/99.14 c | 62402 | 13836 61208 181794 | 2147483647 61408 38 | 76.792 % |
100.49/100.58 c | 63122 | 13836 61208 181794 | 2147483647 62128 38 | 76.792 % |
102.29/102.35 c | 63914 | 13836 61208 181794 | 2147483647 62920 38 | 76.792 % |
102.49/102.55 c | 64014 | 13836 61208 181794 | 2147483647 63020 38 | 76.792 % |
102.69/102.74 c | 64124 | 13836 61208 181794 | 2147483647 63130 38 | 76.792 % |
102.89/102.94 c | 64245 | 13836 61208 181794 | 2147483647 63251 38 | 76.792 % |
103.19/103.27 c | 64381 | 13836 61208 181794 | 2147483647 63387 38 | 76.792 % |
103.59/103.67 c | 64528 | 13836 61208 181794 | 2147483647 63534 38 | 76.792 % |
103.89/103.91 c | 64689 | 13836 61208 181794 | 2147483647 63695 38 | 76.792 % |
104.19/104.26 c | 64865 | 13836 61208 181794 | 2147483647 63871 38 | 76.792 % |
104.49/104.60 c | 65058 | 13836 61208 181794 | 2147483647 64064 38 | 76.792 % |
104.89/104.99 c | 65270 | 13836 61208 181794 | 2147483647 64276 38 | 76.792 % |
105.39/105.48 c | 65503 | 13836 61208 181794 | 2147483647 64509 38 | 76.792 % |
105.79/105.89 c | 65759 | 13836 61208 181794 | 2147483647 64765 38 | 76.792 % |
106.49/106.56 c | 66040 | 13836 61208 181794 | 2147483647 65046 38 | 76.792 % |
107.09/107.20 c | 66349 | 13836 61208 181794 | 2147483647 65355 38 | 76.792 % |
107.79/107.82 c | 66688 | 13836 61208 181794 | 2147483647 65694 38 | 76.792 % |
108.49/108.59 c | 67062 | 13836 61208 181794 | 2147483647 66068 38 | 76.792 % |
109.39/109.45 c | 67472 | 13823 61128 181580 | 2147483647 66464 38 | 76.814 % |
110.39/110.45 c | 67922 | 13823 61128 181580 | 2147483647 66914 38 | 76.814 % |
111.39/111.49 c | 68416 | 13823 61128 181580 | 2147483647 67408 38 | 76.814 % |
112.39/112.49 c | 68959 | 13823 61128 181580 | 2147483647 67950 37 | 76.879 % |
113.59/113.65 c | 69559 | 13823 61128 181580 | 2147483647 68550 37 | 76.879 % |
114.69/114.79 c | 70215 | 13784 61006 181266 | 2147483647 69204 37 | 76.879 % |
115.89/115.96 c | 70936 | 13784 61006 181266 | 2147483647 69925 37 | 76.879 % |
117.49/117.59 c | 71728 | 13784 61006 181266 | 2147483647 70717 37 | 76.879 % |
119.19/119.22 c | 72600 | 13784 61006 181266 | 2147483647 71589 37 | 76.879 % |
119.39/119.42 c | 72700 | 13784 61006 181266 | 2147483647 71689 37 | 76.879 % |
119.59/119.61 c | 72810 | 13784 61006 181266 | 2147483647 71799 37 | 76.879 % |
119.79/119.87 c | 72931 | 13784 61006 181266 | 2147483647 71920 37 | 76.879 % |
119.99/120.09 c | 73066 | 13784 61006 181266 | 2147483647 72055 37 | 76.879 % |
120.29/120.38 c | 73213 | 13784 61006 181266 | 2147483647 72202 37 | 76.879 % |
120.59/120.69 c | 73373 | 13784 61006 181266 | 2147483647 72362 37 | 76.879 % |
121.00/121.09 c | 73549 | 13784 61006 181266 | 2147483647 72538 37 | 76.879 % |
121.49/121.52 c | 73742 | 13784 61006 181266 | 2147483647 72731 37 | 76.879 % |
121.99/122.04 c | 73956 | 13784 61006 181266 | 2147483647 72945 37 | 76.879 % |
122.59/122.66 c | 74190 | 13784 61006 181266 | 2147483647 73179 37 | 76.879 % |
123.20/123.27 c | 74446 | 13784 61006 181266 | 2147483647 73435 37 | 76.879 % |
123.89/123.97 c | 74727 | 13784 61006 181266 | 2147483647 73716 37 | 76.879 % |
124.69/124.76 c | 75040 | 13784 61006 181266 | 2147483647 74029 37 | 76.879 % |
125.40/125.48 c | 75382 | 13784 61006 181266 | 2147483647 74371 37 | 76.879 % |
126.09/126.18 c | 75754 | 13784 61006 181266 | 2147483647 74743 37 | 76.879 % |
127.09/127.12 c | 76163 | 13784 61006 181266 | 2147483647 75152 37 | 76.879 % |
128.09/128.19 c | 76612 | 13784 61006 181266 | 2147483647 75601 37 | 76.879 % |
129.39/129.42 c | 77105 | 13784 61006 181266 | 2147483647 76094 36 | 76.879 % |
130.59/130.66 c | 77648 | 13784 61006 181266 | 2147483647 76637 36 | 76.879 % |
131.79/131.91 c | 78245 | 13784 61006 181266 | 2147483647 77234 36 | 76.879 % |
133.39/133.42 c | 78901 | 13784 61006 181266 | 2147483647 77890 36 | 76.879 % |
134.69/134.74 c | 79621 | 13784 61006 181266 | 2147483647 78610 36 | 76.879 % |
136.40/136.46 c | 80414 | 13784 61006 181266 | 2147483647 79403 36 | 76.879 % |
138.60/138.68 c | 81285 | 13784 61006 181266 | 2147483647 80274 36 | 76.879 % |
140.89/140.92 c | 82246 | 13784 61006 181266 | 2147483647 81235 36 | 76.879 % |
141.09/141.17 c | 82346 | 13784 61006 181266 | 2147483647 81335 36 | 76.879 % |
141.39/141.44 c | 82456 | 13784 61006 181266 | 2147483647 81445 36 | 76.879 % |
141.69/141.74 c | 82579 | 13784 61006 181266 | 2147483647 81568 36 | 76.879 % |
142.09/142.18 c | 82713 | 13784 61006 181266 | 2147483647 81702 36 | 76.879 % |
142.49/142.61 c | 82862 | 13784 61006 181266 | 2147483647 81851 36 | 76.879 % |
143.00/143.09 c | 83023 | 13784 61006 181266 | 2147483647 82012 36 | 76.879 % |
143.39/143.50 c | 83200 | 13784 61006 181266 | 2147483647 82189 36 | 76.879 % |
143.89/143.93 c | 83398 | 13784 61006 181266 | 2147483647 82387 36 | 76.879 % |
144.49/144.56 c | 83611 | 13784 61006 181266 | 2147483647 82600 36 | 76.879 % |
145.09/145.15 c | 83845 | 13784 61006 181266 | 2147483647 82834 36 | 76.879 % |
145.89/145.91 c | 84101 | 13784 61006 181266 | 2147483647 83090 36 | 76.879 % |
146.59/146.62 c | 84383 | 13784 61006 181266 | 2147483647 83372 36 | 76.879 % |
147.19/147.21 c | 84694 | 13784 61006 181266 | 2147483647 83683 36 | 76.879 % |
147.79/147.88 c | 85035 | 13784 61006 181266 | 2147483647 84024 36 | 76.879 % |
148.59/148.70 c | 85407 | 13765 60910 180995 | 2147483647 84393 36 | 76.911 % |
149.49/149.61 c | 85818 | 13765 60910 180995 | 2147483647 84804 36 | 76.911 % |
150.79/150.84 c | 86267 | 13765 60910 180995 | 2147483647 85253 36 | 76.911 % |
151.99/152.10 c | 86761 | 13765 60910 180995 | 2147483647 85747 36 | 76.911 % |
152.99/153.10 c | 87303 | 13765 60910 180995 | 2147483647 86289 36 | 76.911 % |
154.59/154.65 c | 87899 | 13765 60910 180995 | 2147483647 86885 36 | 76.911 % |
156.20/156.29 c | 88554 | 13765 60910 180995 | 2147483647 87540 36 | 76.911 % |
157.89/157.93 c | 89274 | 13765 60910 180995 | 2147483647 88260 35 | 76.911 % |
159.79/159.86 c | 90067 | 13752 60819 180751 | 2147483647 89052 35 | 76.933 % |
161.79/161.87 c | 90939 | 13752 60819 180751 | 2147483647 89924 35 | 76.933 % |
164.19/164.29 c | 91900 | 13752 60819 180751 | 2147483647 90885 35 | 76.933 % |
167.09/167.18 c | 92953 | 13752 60819 180751 | 2147483647 91938 35 | 76.933 % |
167.39/167.46 c | 93055 | 13752 60819 180751 | 2147483647 92040 35 | 76.933 % |
167.79/167.81 c | 93165 | 13752 60819 180751 | 2147483647 92150 35 | 76.933 % |
168.09/168.12 c | 93286 | 13752 60819 180751 | 2147483647 92271 35 | 76.933 % |
168.49/168.56 c | 93423 | 13752 60819 180751 | 2147483647 92408 35 | 76.933 % |
168.89/169.00 c | 93569 | 13752 60819 180751 | 2147483647 92554 35 | 76.933 % |
169.40/169.42 c | 93729 | 13752 60819 180751 | 2147483647 92714 35 | 76.933 % |
169.89/169.94 c | 93906 | 13752 60819 180751 | 2147483647 92891 35 | 76.933 % |
170.29/170.40 c | 94100 | 13752 60819 180751 | 2147483647 93085 35 | 76.933 % |
170.89/170.93 c | 94312 | 13752 60819 180751 | 2147483647 93297 35 | 76.933 % |
171.49/171.52 c | 94545 | 13752 60819 180751 | 2147483647 93530 35 | 76.933 % |
171.99/172.05 c | 94801 | 13752 60819 180751 | 2147483647 93786 35 | 76.933 % |
172.70/172.72 c | 95085 | 13752 60819 180751 | 2147483647 94070 35 | 76.933 % |
173.29/173.41 c | 95394 | 13752 60819 180751 | 2147483647 94379 35 | 76.933 % |
174.40/174.43 c | 95733 | 13752 60819 180751 | 2147483647 94718 35 | 76.933 % |
175.30/175.34 c | 96106 | 13752 60819 180751 | 2147483647 95091 35 | 76.933 % |
176.30/176.38 c | 96517 | 13752 60819 180751 | 2147483647 95502 35 | 76.933 % |
177.20/177.24 c | 96968 | 13752 60819 180751 | 2147483647 95953 35 | 76.933 % |
178.50/178.59 c | 97462 | 13752 60819 180751 | 2147483647 96447 35 | 76.933 % |
180.00/180.07 c | 98007 | 13752 60819 180751 | 2147483647 96992 35 | 76.933 % |
181.80/181.91 c | 98603 | 13744 60799 180679 | 2147483647 97587 35 | 76.946 % |
183.50/183.52 c | 99258 | 13744 60799 180679 | 2147483647 98242 35 | 76.946 % |
185.40/185.46 c | 99978 | 13744 60799 180679 | 2147483647 98962 35 | 76.946 % |
187.20/187.29 c | 100772 | 13744 60799 180679 | 2147483647 99756 35 | 76.946 % |
189.50/189.59 c | 101643 | 13744 60799 180679 | 2147483647 100627 35 | 76.946 % |
192.60/192.70 c | 102601 | 13744 60799 180679 | 2147483647 101585 34 | 76.946 % |
195.40/195.48 c | 103657 | 13744 60799 180679 | 2147483647 102641 34 | 76.946 % |
198.40/198.48 c | 104815 | 13744 60799 180679 | 2147483647 103799 34 | 76.946 % |
198.70/198.77 c | 104915 | 13744 60799 180679 | 2147483647 103899 34 | 76.946 % |
199.00/199.04 c | 105025 | 13744 60799 180679 | 2147483647 104009 34 | 76.946 % |
199.30/199.38 c | 105148 | 13744 60799 180679 | 2147483647 104132 34 | 76.946 % |
199.70/199.80 c | 105281 | 13744 60799 180679 | 2147483647 104265 34 | 76.946 % |
200.20/200.30 c | 105429 | 13744 60799 180679 | 2147483647 104413 34 | 76.946 % |
200.60/200.72 c | 105589 | 13744 60799 180679 | 2147483647 104573 34 | 76.946 % |
201.10/201.13 c | 105766 | 13744 60799 180679 | 2147483647 104750 34 | 76.946 % |
201.50/201.53 c | 105959 | 13744 60799 180679 | 2147483647 104943 34 | 76.946 % |
202.00/202.03 c | 106171 | 13744 60799 180679 | 2147483647 105155 34 | 76.946 % |
202.60/202.65 c | 106404 | 13744 60799 180679 | 2147483647 105388 34 | 76.946 % |
203.20/203.23 c | 106661 | 13744 60799 180679 | 2147483647 105645 34 | 76.946 % |
203.90/203.99 c | 106943 | 13744 60799 180679 | 2147483647 105927 34 | 76.946 % |
204.60/204.65 c | 107252 | 13744 60799 180679 | 2147483647 106236 34 | 76.946 % |
205.60/205.63 c | 107592 | 13744 60799 180679 | 2147483647 106576 34 | 76.946 % |
206.50/206.57 c | 107965 | 13744 60799 180679 | 2147483647 106949 34 | 76.946 % |
207.50/207.55 c | 108374 | 13744 60799 180679 | 2147483647 107358 34 | 76.946 % |
208.50/208.54 c | 108824 | 13744 60799 180679 | 2147483647 107808 34 | 76.946 % |
209.70/209.73 c | 109317 | 13744 60799 180679 | 2147483647 108301 34 | 76.946 % |
211.10/211.21 c | 109859 | 13744 60799 180679 | 2147483647 108843 34 | 76.946 % |
212.60/212.70 c | 110455 | 13744 60799 180679 | 2147483647 109439 34 | 76.946 % |
214.40/214.48 c | 111110 | 13744 60799 180679 | 2147483647 110094 34 | 76.946 % |
216.30/216.34 c | 111831 | 13744 60799 180679 | 2147483647 110815 34 | 76.946 % |
218.80/218.85 c | 112623 | 13744 60799 180679 | 2147483647 111607 34 | 76.946 % |
221.20/221.29 c | 113494 | 13744 60799 180679 | 2147483647 112478 34 | 76.946 % |
223.80/223.89 c | 114452 | 13647 60516 179762 | 2147483647 113435 34 | 77.109 % |
226.50/226.53 c | 115507 | 13647 60516 179762 | 2147483647 114490 34 | 77.109 % |
229.50/229.52 c | 116666 | 13647 60516 179762 | 2147483647 115649 34 | 77.109 % |
232.50/232.57 c | 117940 | 13647 60516 179762 | 2147483647 116923 34 | 77.109 % |
232.80/232.90 c | 118040 | 13647 60516 179762 | 2147483647 117023 34 | 77.109 % |
233.20/233.23 c | 118150 | 13647 60516 179762 | 2147483647 117133 34 | 77.109 % |
233.50/233.61 c | 118273 | 13647 60516 179762 | 2147483647 117256 34 | 77.109 % |
233.90/233.94 c | 118406 | 13647 60516 179762 | 2147483647 117389 34 | 77.109 % |
234.30/234.37 c | 118552 | 13647 60516 179762 | 2147483647 117535 34 | 77.109 % |
234.80/234.90 c | 118712 | 13647 60516 179762 | 2147483647 117695 34 | 77.109 % |
235.30/235.39 c | 118889 | 13647 60516 179762 | 2147483647 117872 34 | 77.109 % |
235.80/235.91 c | 119082 | 13647 60516 179762 | 2147483647 118065 34 | 77.109 % |
236.60/236.71 c | 119294 | 13647 60516 179762 | 2147483647 118277 34 | 77.109 % |
237.50/237.59 c | 119527 | 13647 60516 179762 | 2147483647 118510 34 | 77.109 % |
238.30/238.41 c | 119784 | 13647 60516 179762 | 2147483647 118767 34 | 77.109 % |
239.20/239.25 c | 120065 | 13647 60516 179762 | 2147483647 119048 34 | 77.109 % |
240.00/240.06 c | 120375 | 13647 60516 179762 | 2147483647 119358 34 | 77.109 % |
241.20/241.26 c | 120716 | 13647 60516 179762 | 2147483647 119699 34 | 77.109 % |
242.10/242.12 c | 121088 | 13647 60516 179762 | 2147483647 120071 34 | 77.109 % |
243.30/243.34 c | 121497 | 13647 60516 179762 | 2147483647 120480 34 | 77.109 % |
244.30/244.39 c | 121946 | 13647 60516 179762 | 2147483647 120929 34 | 77.109 % |
245.31/245.40 c | 122441 | 13647 60516 179762 | 2147483647 121424 34 | 77.109 % |
246.60/246.68 c | 122983 | 13647 60516 179762 | 2147483647 121966 34 | 77.109 % |
248.40/248.51 c | 123580 | 13647 60516 179762 | 2147483647 122563 34 | 77.109 % |
249.80/249.89 c | 124236 | 13647 60516 179762 | 2147483647 123219 34 | 77.109 % |
251.80/251.89 c | 124956 | 13647 60516 179762 | 2147483647 123939 34 | 77.109 % |
253.80/253.85 c | 125748 | 13647 60516 179762 | 2147483647 124731 34 | 77.109 % |
255.60/255.67 c | 126619 | 13647 60516 179762 | 2147483647 125602 34 | 77.109 % |
258.20/258.25 c | 127577 | 13647 60516 179762 | 2147483647 126560 34 | 77.109 % |
261.20/261.30 c | 128630 | 13647 60516 179762 | 2147483647 127613 34 | 77.109 % |
264.80/264.87 c | 129789 | 13647 60516 179762 | 2147483647 128772 34 | 77.109 % |
269.10/269.20 c | 131062 | 13640 60460 179627 | 2147483647 130043 34 | 77.121 % |
273.20/273.25 c | 132463 | 13640 60460 179627 | 2147483647 131444 34 | 77.121 % |
273.50/273.58 c | 132563 | 13640 60460 179627 | 2147483647 131544 34 | 77.121 % |
273.80/273.91 c | 132673 | 13640 60460 179627 | 2147483647 131654 34 | 77.121 % |
274.30/274.35 c | 132797 | 13640 60460 179627 | 2147483647 131778 34 | 77.121 % |
274.70/274.75 c | 132931 | 13640 60460 179627 | 2147483647 131912 34 | 77.121 % |
275.10/275.20 c | 133077 | 13640 60460 179627 | 2147483647 132058 34 | 77.121 % |
275.80/275.86 c | 133238 | 13640 60460 179627 | 2147483647 132219 34 | 77.121 % |
276.50/276.52 c | 133414 | 13640 60460 179627 | 2147483647 132395 34 | 77.121 % |
277.10/277.12 c | 133607 | 13640 60460 179627 | 2147483647 132588 34 | 77.121 % |
277.80/277.87 c | 133819 | 13640 60460 179627 | 2147483647 132800 34 | 77.121 % |
278.50/278.56 c | 134052 | 13640 60460 179627 | 2147483647 133033 34 | 77.121 % |
279.60/279.62 c | 134308 | 13640 60460 179627 | 2147483647 133289 34 | 77.121 % |
280.60/280.62 c | 134590 | 13640 60460 179627 | 2147483647 133571 34 | 77.121 % |
281.70/281.75 c | 134901 | 13640 60460 179627 | 2147483647 133882 34 | 77.121 % |
282.71/282.78 c | 135243 | 13640 60460 179627 | 2147483647 134224 34 | 77.121 % |
283.70/283.77 c | 135616 | 13640 60460 179627 | 2147483647 134597 34 | 77.121 % |
284.91/284.99 c | 136026 | 13640 60460 179627 | 2147483647 135007 34 | 77.121 % |
286.50/286.55 c | 136476 | 13640 60460 179627 | 2147483647 135457 33 | 77.121 % |
288.10/288.19 c | 136970 | 13640 60460 179627 | 2147483647 135951 33 | 77.121 % |
289.80/289.84 c | 137512 | 13640 60460 179627 | 2147483647 136493 33 | 77.121 % |
291.70/291.72 c | 138108 | 13640 60460 179627 | 2147483647 137089 33 | 77.121 % |
293.50/293.59 c | 138763 | 13640 60460 179627 | 2147483647 137744 34 | 77.121 % |
295.40/295.49 c | 139487 | 13640 60460 179627 | 2147483647 138468 34 | 77.121 % |
297.40/297.42 c | 140280 | 13640 60460 179627 | 2147483647 139261 34 | 77.121 % |
299.71/299.79 c | 141152 | 13626 60387 179414 | 2147483647 140132 34 | 77.144 % |
302.21/302.28 c | 142110 | 13626 60387 179414 | 2147483647 141090 34 | 77.144 % |
305.71/305.76 c | 143164 | 13626 60387 179414 | 2147483647 142144 34 | 77.144 % |
309.91/309.94 c | 144323 | 13626 60387 179414 | 2147483647 143303 34 | 77.144 % |
314.41/314.51 c | 145596 | 13626 60387 179414 | 2147483647 144575 34 | 77.164 % |
318.91/319.01 c | 146998 | 13614 60303 179200 | 2147483647 145977 34 | 77.164 % |
324.81/324.90 c | 148539 | 13614 60303 179200 | 2147483647 147518 34 | 77.164 % |
325.31/325.36 c | 148641 | 13614 60303 179200 | 2147483647 147620 33 | 77.164 % |
325.81/325.91 c | 148755 | 13614 60303 179200 | 2147483647 147734 33 | 77.164 % |
326.41/326.45 c | 148877 | 13614 60303 179200 | 2147483647 147856 33 | 77.164 % |
327.01/327.03 c | 149010 | 13614 60303 179200 | 2147483647 147989 33 | 77.164 % |
327.61/327.66 c | 149157 | 13614 60303 179200 | 2147483647 148136 33 | 77.164 % |
328.21/328.26 c | 149318 | 13614 60303 179200 | 2147483647 148297 33 | 77.164 % |
328.91/328.95 c | 149494 | 13614 60303 179200 | 2147483647 148473 33 | 77.164 % |
329.61/329.64 c | 149687 | 13614 60303 179200 | 2147483647 148666 33 | 77.164 % |
330.51/330.58 c | 149900 | 13614 60303 179200 | 2147483647 148879 33 | 77.164 % |
331.61/331.62 c | 150133 | 13604 60281 179125 | 2147483647 149111 33 | 77.181 % |
332.51/332.55 c | 150392 | 13604 60281 179125 | 2147483647 149370 33 | 77.181 % |
333.61/333.64 c | 150674 | 13604 60281 179125 | 2147483647 149652 33 | 77.181 % |
334.61/334.70 c | 150987 | 13604 60281 179125 | 2147483647 149965 33 | 77.181 % |
335.81/335.90 c | 151326 | 13604 60281 179125 | 2147483647 150304 33 | 77.181 % |
337.11/337.14 c | 151698 | 13604 60281 179125 | 2147483647 150676 33 | 77.181 % |
338.51/338.59 c | 152108 | 13604 60281 179125 | 2147483647 151086 33 | 77.181 % |
340.11/340.18 c | 152557 | 13604 60281 179125 | 2147483647 151535 33 | 77.181 % |
342.11/342.15 c | 153052 | 13604 60281 179125 | 2147483647 152030 33 | 77.181 % |
344.11/344.18 c | 153597 | 13604 60281 179125 | 2147483647 152574 33 | 77.362 % |
346.31/346.35 c | 154193 | 13604 60281 179125 | 2147483647 153170 33 | 77.362 % |
348.71/348.73 c | 154850 | 13496 59649 177410 | 2147483647 153827 33 | 77.362 % |
351.61/351.70 c | 155571 | 13496 59649 177410 | 2147483647 154548 33 | 77.362 % |
354.41/354.42 c | 156363 | 13496 59649 177410 | 2147483647 155340 33 | 77.362 % |
357.51/357.54 c | 157234 | 13496 59649 177410 | 2147483647 156211 33 | 77.362 % |
360.61/360.64 c | 158195 | 13496 59649 177410 | 2147483647 157172 33 | 77.362 % |
364.61/364.68 c | 159253 | 13496 59649 177410 | 2147483647 158230 33 | 77.362 % |
368.91/368.96 c | 160413 | 13496 59649 177410 | 2147483647 159390 33 | 77.362 % |
373.81/373.85 c | 161687 | 13496 59649 177410 | 2147483647 160664 33 | 77.362 % |
378.50/378.56 c | 163087 | 13496 59649 177410 | 2147483647 162064 33 | 77.362 % |
383.70/383.78 c | 164627 | 13496 59649 177410 | 2147483647 163604 33 | 77.362 % |
389.00/389.08 c | 166326 | 13496 59649 177410 | 2147483647 165303 33 | 77.362 % |
389.41/389.44 c | 166426 | 13496 59649 177410 | 2147483647 165403 33 | 77.362 % |
389.80/389.82 c | 166538 | 13496 59649 177410 | 2147483647 165515 33 | 77.362 % |
390.10/390.18 c | 166660 | 13496 59649 177410 | 2147483647 165637 33 | 77.362 % |
390.80/390.83 c | 166796 | 13496 59649 177410 | 2147483647 165773 33 | 77.362 % |
391.30/391.36 c | 166942 | 13496 59649 177410 | 2147483647 165919 33 | 77.362 % |
392.10/392.15 c | 167105 | 13496 59649 177410 | 2147483647 166082 33 | 77.362 % |
393.00/393.01 c | 167284 | 13496 59649 177410 | 2147483647 166261 33 | 77.362 % |
393.60/393.69 c | 167477 | 13496 59649 177410 | 2147483647 166454 33 | 77.362 % |
394.70/394.72 c | 167689 | 13496 59649 177410 | 2147483647 166666 33 | 77.362 % |
395.70/395.74 c | 167923 | 13496 59649 177410 | 2147483647 166900 33 | 77.362 % |
396.80/396.84 c | 168183 | 13496 59649 177410 | 2147483647 167160 33 | 77.362 % |
397.90/397.92 c | 168469 | 13496 59649 177410 | 2147483647 167446 33 | 77.362 % |
399.00/399.05 c | 168780 | 13496 59649 177410 | 2147483647 167757 33 | 77.362 % |
400.20/400.28 c | 169120 | 13496 59649 177410 | 2147483647 168097 33 | 77.362 % |
401.51/401.52 c | 169493 | 13496 59649 177410 | 2147483647 168470 33 | 77.362 % |
403.20/403.24 c | 169902 | 13496 59649 177410 | 2147483647 168879 33 | 77.362 % |
405.00/405.07 c | 170354 | 13496 59649 177410 | 2147483647 169331 33 | 77.362 % |
406.70/406.74 c | 170847 | 13496 59649 177410 | 2147483647 169824 33 | 77.362 % |
408.60/408.64 c | 171393 | 13496 59649 177410 | 2147483647 170370 33 | 77.362 % |
410.50/410.58 c | 171989 | 13496 59649 177410 | 2147483647 170966 33 | 77.362 % |
412.80/412.83 c | 172646 | 13496 59649 177410 | 2147483647 171623 33 | 77.362 % |
415.70/415.79 c | 173366 | 13496 59649 177410 | 2147483647 172343 33 | 77.362 % |
418.90/418.91 c | 174159 | 13496 59649 177410 | 2147483647 173136 32 | 77.362 % |
422.20/422.26 c | 175030 | 13496 59649 177410 | 2147483647 174007 32 | 77.362 % |
426.21/426.29 c | 175991 | 13486 59568 177198 | 2147483647 174964 32 | 77.379 % |
430.41/430.48 c | 177044 | 13486 59568 177198 | 2147483647 176017 32 | 77.379 % |
435.61/435.66 c | 178202 | 13486 59568 177198 | 2147483647 177175 32 | 77.379 % |
441.31/441.35 c | 179476 | 13486 59568 177198 | 2147483647 178449 32 | 77.379 % |
446.61/446.71 c | 180876 | 13486 59568 177198 | 2147483647 179849 32 | 77.379 % |
452.21/452.27 c | 182417 | 13486 59568 177198 | 2147483647 181390 32 | 77.379 % |
458.41/458.46 c | 184112 | 13486 59568 177198 | 2147483647 183085 32 | 77.379 % |
466.41/466.47 c | 185978 | 13486 59568 177198 | 2147483647 184951 32 | 77.379 % |
466.81/466.86 c | 186079 | 13486 59568 177198 | 2147483647 185052 32 | 77.379 % |
467.31/467.31 c | 186189 | 13486 59568 177198 | 2147483647 185162 32 | 77.379 % |
467.71/467.74 c | 186311 | 13486 59568 177198 | 2147483647 185284 32 | 77.379 % |
468.21/468.24 c | 186445 | 13486 59568 177198 | 2147483647 185418 32 | 77.379 % |
468.61/468.65 c | 186593 | 13486 59568 177198 | 2147483647 185566 32 | 77.379 % |
469.21/469.24 c | 186753 | 13486 59568 177198 | 2147483647 185726 32 | 77.379 % |
469.91/469.96 c | 186930 | 13486 59568 177198 | 2147483647 185903 32 | 77.379 % |
470.61/470.62 c | 187125 | 13486 59568 177198 | 2147483647 186098 32 | 77.379 % |
471.31/471.35 c | 187339 | 13486 59568 177198 | 2147483647 186312 32 | 77.379 % |
471.91/472.00 c | 187572 | 13486 59568 177198 | 2147483647 186545 32 | 77.379 % |
472.91/472.97 c | 187828 | 13481 59520 177066 | 2147483647 186800 32 | 77.387 % |
473.71/473.76 c | 188111 | 13481 59520 177066 | 2147483647 187083 32 | 77.387 % |
474.61/474.70 c | 188420 | 13481 59520 177066 | 2147483647 187392 32 | 77.387 % |
475.71/475.81 c | 188759 | 13481 59520 177066 | 2147483647 187731 32 | 77.387 % |
476.91/476.92 c | 189136 | 13481 59520 177066 | 2147483647 188108 32 | 77.387 % |
478.21/478.22 c | 189545 | 13481 59520 177066 | 2147483647 188516 32 | 77.389 % |
479.71/479.73 c | 189994 | 13481 59520 177066 | 2147483647 188965 32 | 77.389 % |
481.01/481.04 c | 190489 | 13481 59520 177066 | 2147483647 189460 32 | 77.389 % |
482.61/482.64 c | 191031 | 13481 59520 177066 | 2147483647 190002 32 | 77.389 % |
484.31/484.34 c | 191627 | 13481 59520 177066 | 2147483647 190598 32 | 77.389 % |
487.01/487.08 c | 192287 | 13481 59520 177066 | 2147483647 191258 32 | 77.389 % |
489.51/489.56 c | 193008 | 13481 59520 177066 | 2147483647 191979 32 | 77.389 % |
492.21/492.22 c | 193804 | 13480 59515 177053 | 2147483647 192775 32 | 77.389 % |
495.11/495.12 c | 194675 | 13480 59515 177053 | 2147483647 193646 32 | 77.389 % |
498.32/498.37 c | 195637 | 13480 59515 177053 | 2147483647 194608 32 | 77.389 % |
502.41/502.43 c | 196690 | 13480 59515 177053 | 2147483647 195661 32 | 77.389 % |
506.02/506.09 c | 197851 | 13480 59515 177053 | 2147483647 196822 32 | 77.389 % |
510.91/510.95 c | 199124 | 13456 59357 176621 | 2147483647 198085 33 | 77.429 % |
515.01/515.11 c | 200524 | 13456 59357 176621 | 2147483647 199485 33 | 77.429 % |
520.32/520.37 c | 202065 | 13456 59357 176621 | 2147483647 201026 33 | 77.429 % |
525.71/525.81 c | 203759 | 13452 59357 176621 | 2147483647 202719 33 | 78.223 % |
532.31/532.33 c | 205622 | 13452 59357 176621 | 2147483647 204582 33 | 78.223 % |
539.11/539.17 c | 207671 | 13452 59357 176621 | 2147483647 206631 33 | 78.223 % |
539.51/539.52 c | 207772 | 12983 55610 166299 | 2147483647 206622 33 | 78.223 % |
539.81/539.89 c | 207882 | 12983 55610 166299 | 2147483647 206732 33 | 78.223 % |
540.31/540.37 c | 208004 | 12983 55610 166299 | 2147483647 206854 33 | 78.223 % |
540.91/541.00 c | 208138 | 12983 55610 166299 | 2147483647 206988 33 | 78.223 % |
541.51/541.56 c | 208284 | 12983 55610 166299 | 2147483647 207134 33 | 78.223 % |
542.11/542.11 c | 208447 | 12983 55610 166299 | 2147483647 207297 32 | 78.223 % |
542.91/543.00 c | 208623 | 12983 55610 166299 | 2147483647 207473 32 | 78.223 % |
543.71/543.72 c | 208818 | 12983 55610 166299 | 2147483647 207668 32 | 78.223 % |
544.61/544.65 c | 209031 | 12983 55610 166299 | 2147483647 207881 32 | 78.223 % |
545.71/545.71 c | 209264 | 12983 55610 166299 | 2147483647 208114 32 | 78.223 % |
546.72/546.77 c | 209524 | 12983 55610 166299 | 2147483647 208374 32 | 78.223 % |
547.82/547.85 c | 209806 | 12983 55610 166299 | 2147483647 208656 32 | 78.223 % |
549.11/549.19 c | 210115 | 12983 55610 166299 | 208850 208965 32 | 78.223 % |
550.71/550.73 c | 210456 | 12983 55610 166299 | 208850 209306 32 | 78.223 % |
552.42/552.43 c | 210828 | 12983 55610 166299 | 208850 209678 32 | 78.223 % |
554.42/554.46 c | 211240 | 12983 55610 166299 | 208850 210090 32 | 78.223 % |
556.72/556.77 c | 211692 | 12983 55610 166299 | 208850 210542 32 | 78.223 % |
559.22/559.28 c | 212187 | 12983 55610 166299 | 208850 211037 32 | 78.223 % |
562.42/562.43 c | 212729 | 12983 55610 166299 | 208850 211579 32 | 78.223 % |
565.02/565.03 c | 213328 | 12983 55610 166299 | 208850 212178 32 | 78.223 % |
568.22/568.25 c | 213983 | 12983 55610 166299 | 208850 212833 32 | 78.223 % |
571.32/571.33 c | 214703 | 12983 55610 166299 | 208850 213553 32 | 78.223 % |
573.92/574.00 c | 215496 | 12983 55610 166299 | 208850 214346 32 | 78.223 % |
578.02/578.10 c | 216367 | 12983 55610 166299 | 208850 215217 32 | 78.223 % |
581.42/581.47 c | 217326 | 12983 55610 166299 | 208850 216176 32 | 78.223 % |
585.22/585.23 c | 218379 | 12983 55610 166299 | 208850 217229 32 | 78.223 % |
589.52/589.56 c | 219537 | 12983 55610 166299 | 208850 218387 32 | 78.223 % |
594.92/594.93 c | 220811 | 12983 55610 166299 | 2147483647 219661 32 | 78.223 % |
600.92/600.96 c | 222214 | 12983 55610 166299 | 2147483647 221064 32 | 78.223 % |
606.52/606.58 c | 223755 | 12983 55610 166299 | 2147483647 222605 32 | 78.223 % |
613.12/613.16 c | 225450 | 12983 55610 166299 | 2147483647 224300 32 | 78.223 % |
621.42/621.49 c | 227317 | 12970 55533 166084 | 2147483647 226164 32 | 78.244 % |
627.62/627.61 c | 229367 | 12970 55533 166084 | 2147483647 228214 32 | 78.244 % |
634.62/634.62 c | 231623 | 12970 55533 166084 | 2147483647 230470 32 | 78.244 % |
634.92/634.92 c | 231724 | 12970 55533 166084 | 2147483647 230571 32 | 78.244 % |
635.22/635.21 c | 231834 | 12970 55533 166084 | 2147483647 230681 32 | 78.244 % |
635.52/635.51 c | 231956 | 12970 55533 166084 | 2147483647 230803 32 | 78.244 % |
635.92/636.01 c | 232089 | 12970 55533 166084 | 2147483647 230936 32 | 78.244 % |
636.42/636.51 c | 232235 | 12970 55533 166084 | 2147483647 231082 32 | 78.244 % |
637.02/637.10 c | 232395 | 12970 55533 166084 | 2147483647 231242 32 | 78.244 % |
637.62/637.68 c | 232571 | 12970 55533 166084 | 2147483647 231418 32 | 78.244 % |
638.62/638.64 c | 232765 | 12970 55533 166084 | 2147483647 231612 32 | 78.244 % |
639.22/639.24 c | 232977 | 12970 55533 166084 | 2147483647 231824 32 | 78.244 % |
639.92/639.98 c | 233210 | 12970 55533 166084 | 2147483647 232057 32 | 78.244 % |
640.72/640.74 c | 233466 | 12970 55533 166084 | 2147483647 232313 32 | 78.244 % |
641.82/641.88 c | 233749 | 12970 55533 166084 | 2147483647 232596 32 | 78.244 % |
642.82/642.82 c | 234060 | 12970 55533 166084 | 2147483647 232907 32 | 78.244 % |
644.02/644.05 c | 234399 | 12970 55533 166084 | 2147483647 233246 32 | 78.244 % |
645.42/645.48 c | 234771 | 12970 55533 166084 | 2147483647 233618 32 | 78.244 % |
647.02/647.04 c | 235184 | 12970 55533 166084 | 2147483647 234031 32 | 78.244 % |
648.92/648.92 c | 235640 | 12970 55533 166084 | 2147483647 234487 32 | 78.244 % |
650.32/650.39 c | 236133 | 12970 55533 166084 | 2147483647 234980 32 | 78.244 % |
651.52/651.55 c | 236677 | 12970 55533 166084 | 2147483647 235524 32 | 78.244 % |
653.22/653.24 c | 237273 | 12970 55533 166084 | 2147483647 236120 32 | 78.244 % |
654.92/655.00 c | 237931 | 12970 55533 166084 | 2147483647 236778 32 | 78.244 % |
656.92/657.01 c | 238651 | 12970 55533 166084 | 2147483647 237498 32 | 78.244 % |
659.62/659.63 c | 239443 | 12970 55533 166084 | 2147483647 238290 32 | 78.244 % |
662.32/662.37 c | 240314 | 12970 55533 166084 | 2147483647 239161 32 | 78.244 % |
665.72/665.80 c | 241272 | 12970 55533 166084 | 2147483647 240119 32 | 78.244 % |
668.72/668.73 c | 242325 | 12970 55533 166084 | 2147483647 241172 32 | 78.244 % |
672.82/672.85 c | 243483 | 12970 55533 166084 | 2147483647 242330 32 | 78.244 % |
677.63/677.62 c | 244756 | 12951 55430 165799 | 2147483647 243600 32 | 78.276 % |
682.23/682.26 c | 246156 | 12951 55430 165799 | 2147483647 245000 32 | 78.276 % |
687.13/687.16 c | 247700 | 12951 55430 165799 | 2147483647 246544 32 | 78.276 % |
692.63/692.64 c | 249394 | 12951 55430 165799 | 2147483647 248238 32 | 78.276 % |
699.43/699.43 c | 251257 | 12951 55430 165799 | 2147483647 250101 32 | 78.276 % |
707.13/707.17 c | 253309 | 12951 55430 165799 | 2147483647 252152 32 | 78.298 % |
714.93/714.97 c | 255563 | 12938 55345 165559 | 2147483647 254406 32 | 78.298 % |
723.43/723.51 c | 258042 | 12938 55345 165559 | 2147483647 256885 32 | 78.298 % |
723.93/723.96 c | 258142 | 12938 55345 165559 | 2147483647 256985 32 | 78.298 % |
724.43/724.43 c | 258253 | 12938 55345 165559 | 2147483647 257096 32 | 78.298 % |
724.83/724.87 c | 258374 | 12938 55345 165559 | 2147483647 257217 32 | 78.298 % |
725.53/725.58 c | 258508 | 12938 55345 165559 | 2147483647 257351 32 | 78.298 % |
726.23/726.24 c | 258654 | 12938 55345 165559 | 2147483647 257497 32 | 78.298 % |
726.83/726.90 c | 258817 | 12938 55345 165559 | 2147483647 257660 32 | 78.298 % |
727.63/727.66 c | 258996 | 12938 55345 165559 | 2147483647 257839 32 | 78.298 % |
728.43/728.49 c | 259189 | 12938 55345 165559 | 2147483647 258032 32 | 78.298 % |
729.23/729.30 c | 259402 | 12938 55345 165559 | 2147483647 258245 32 | 78.298 % |
730.03/730.06 c | 259636 | 12938 55345 165559 | 2147483647 258479 32 | 78.298 % |
731.03/731.11 c | 259893 | 12938 55345 165559 | 2147483647 258736 32 | 78.298 % |
732.03/732.11 c | 260175 | 12938 55345 165559 | 258845 259018 32 | 78.298 % |
733.03/733.02 c | 260485 | 12938 55345 165559 | 258845 259328 32 | 78.298 % |
734.23/734.30 c | 260824 | 12938 55345 165559 | 258845 259667 32 | 78.298 % |
735.63/735.68 c | 261200 | 12938 55345 165559 | 258845 260043 32 | 78.298 % |
737.22/737.28 c | 261611 | 12938 55345 165559 | 258845 260454 32 | 78.298 % |
738.82/738.89 c | 262060 | 12938 55345 165559 | 258845 260903 32 | 78.298 % |
740.92/740.93 c | 262553 | 12938 55345 165559 | 258845 261396 32 | 78.298 % |
742.72/742.75 c | 263095 | 12938 55345 165559 | 258845 261938 32 | 78.298 % |
746.02/746.10 c | 263693 | 12938 55345 165559 | 258845 262536 32 | 78.298 % |
748.52/748.57 c | 264350 | 12938 55345 165559 | 258845 263193 32 | 78.298 % |
751.42/751.49 c | 265070 | 12938 55345 165559 | 258845 263913 32 | 78.298 % |
754.52/754.60 c | 265862 | 12937 55341 165549 | 258845 264703 32 | 78.300 % |
757.42/757.43 c | 266734 | 12937 55341 165549 | 258845 265575 32 | 78.300 % |
761.52/761.51 c | 267692 | 12937 55341 165549 | 258845 266533 32 | 78.300 % |
766.52/766.54 c | 268745 | 12937 55341 165549 | 258845 267586 32 | 78.300 % |
771.13/771.17 c | 269903 | 12937 55341 165549 | 258845 268744 32 | 78.300 % |
775.92/775.96 c | 271177 | 12937 55341 165549 | 268840 270017 32 | 78.318 % |
780.22/780.21 c | 272579 | 12937 55341 165549 | 268840 271419 32 | 78.318 % |
786.72/786.71 c | 274120 | 12937 55341 165549 | 268840 272960 32 | 78.318 % |
793.22/793.23 c | 275814 | 12926 55266 165369 | 268840 274652 32 | 78.318 % |
799.42/799.49 c | 277677 | 12926 55266 165369 | 268840 276515 32 | 78.318 % |
805.63/805.69 c | 279728 | 12926 55266 165369 | 268840 278566 32 | 78.318 % |
814.83/814.89 c | 281981 | 12926 55266 165369 | 278838 280819 32 | 78.318 % |
824.43/824.47 c | 284459 | 12926 55266 165369 | 278838 283297 32 | 78.318 % |
834.93/835.00 c | 287185 | 12926 55266 165369 | 278838 286023 32 | 78.318 % |
835.43/835.48 c | 287290 | 12926 55266 165369 | 278838 286128 32 | 78.318 % |
836.03/836.05 c | 287400 | 12926 55266 165369 | 278838 286238 32 | 78.318 % |
836.63/836.67 c | 287521 | 12926 55266 165369 | 278838 286359 32 | 78.318 % |
837.33/837.35 c | 287655 | 12926 55266 165369 | 278838 286493 32 | 78.318 % |
837.83/837.85 c | 287801 | 12926 55266 165369 | 278838 286639 32 | 78.318 % |
838.63/838.63 c | 287964 | 12926 55266 165369 | 278838 286802 32 | 78.318 % |
839.43/839.43 c | 288144 | 12926 55266 165369 | 278838 286982 32 | 78.318 % |
840.13/840.19 c | 288339 | 12926 55266 165369 | 278838 287177 32 | 78.318 % |
841.03/841.07 c | 288553 | 12926 55266 165369 | 278838 287391 32 | 78.318 % |
842.53/842.55 c | 288789 | 12926 55266 165369 | 278838 287627 32 | 78.318 % |
844.33/844.32 c | 289045 | 12926 55266 165369 | 278838 287883 32 | 78.318 % |
845.93/846.00 c | 289326 | 12926 55266 165369 | 278838 288164 32 | 78.318 % |
847.73/847.80 c | 289636 | 12926 55266 165369 | 278838 288474 32 | 78.318 % |
849.93/849.93 c | 289975 | 12926 55266 165369 | 278838 288813 32 | 78.318 % |
852.13/852.13 c | 290347 | 12926 55266 165369 | 288839 289185 32 | 78.318 % |
854.73/854.74 c | 290759 | 12926 55266 165369 | 288839 289597 32 | 78.318 % |
857.53/857.53 c | 291208 | 12926 55266 165369 | 288839 290046 32 | 78.318 % |
860.83/860.87 c | 291702 | 12926 55266 165369 | 288839 290540 32 | 78.318 % |
864.63/864.67 c | 292244 | 12926 55266 165369 | 288839 291082 32 | 78.318 % |
868.33/868.33 c | 292844 | 12926 55266 165369 | 288839 291682 32 | 78.318 % |
871.93/871.91 c | 293499 | 12926 55266 165369 | 288839 292337 32 | 78.318 % |
875.63/875.69 c | 294222 | 12926 55266 165369 | 288839 293060 32 | 78.318 % |
879.13/879.19 c | 295016 | 12913 55188 165155 | 288839 293853 32 | 78.340 % |
883.23/883.30 c | 295888 | 12913 55188 165155 | 288839 294725 32 | 78.340 % |
889.23/889.22 c | 296851 | 12913 55188 165155 | 288839 295688 32 | 78.340 % |
894.03/894.04 c | 297904 | 12913 55188 165155 | 288839 296741 32 | 78.340 % |
898.53/898.59 c | 299063 | 12913 55188 165155 | 288839 297900 32 | 78.340 % |
903.83/903.82 c | 300336 | 12913 55188 165155 | 298837 299173 32 | 78.340 % |
909.13/909.16 c | 301738 | 12913 55188 165155 | 298837 300575 32 | 78.340 % |
914.83/914.84 c | 303278 | 12913 55188 165155 | 298837 302115 32 | 78.340 % |
921.33/921.39 c | 304972 | 12913 55188 165155 | 298837 303809 32 | 78.340 % |
927.23/927.27 c | 306835 | 12913 55188 165155 | 298837 305672 32 | 78.340 % |
934.84/934.83 c | 308885 | 12913 55188 165155 | 298837 307722 32 | 78.340 % |
943.34/943.36 c | 311139 | 12901 55114 164959 | 308839 309971 32 | 78.360 % |
952.14/952.16 c | 313617 | 12901 55114 164959 | 308839 312449 32 | 78.360 % |
962.94/962.99 c | 316342 | 12901 55114 164959 | 308839 315174 32 | 78.360 % |
976.04/976.03 c | 319340 | 12901 55114 164959 | 308839 318172 32 | 78.360 % |
976.54/976.52 c | 319441 | 12901 55114 164959 | 308839 318273 32 | 78.360 % |
977.04/977.09 c | 319552 | 12901 55114 164959 | 308839 318384 32 | 78.360 % |
977.54/977.55 c | 319673 | 12901 55114 164959 | 308839 318505 32 | 78.360 % |
978.34/978.33 c | 319806 | 12901 55114 164959 | 308839 318638 32 | 78.360 % |
979.04/979.03 c | 319953 | 12901 55114 164959 | 308839 318785 32 | 78.360 % |
979.74/979.78 c | 320113 | 12901 55114 164959 | 318832 318945 32 | 78.360 % |
980.64/980.62 c | 320289 | 12901 55114 164959 | 318832 319121 32 | 78.360 % |
981.54/981.57 c | 320483 | 12901 55114 164959 | 318832 319315 32 | 78.360 % |
982.54/982.60 c | 320695 | 12901 55114 164959 | 318832 319527 32 | 78.360 % |
983.74/983.72 c | 320928 | 12901 55114 164959 | 318832 319760 32 | 78.360 % |
984.84/984.86 c | 321185 | 12901 55114 164959 | 318832 320017 32 | 78.360 % |
985.74/985.79 c | 321466 | 12901 55114 164959 | 318832 320298 32 | 78.360 % |
986.84/986.89 c | 321777 | 12901 55114 164959 | 318832 320609 32 | 78.360 % |
988.14/988.20 c | 322116 | 12901 55114 164959 | 318832 320948 32 | 78.360 % |
989.34/989.34 c | 322488 | 12901 55114 164959 | 318832 321320 32 | 78.360 % |
991.84/991.85 c | 322897 | 12901 55114 164959 | 318832 321729 32 | 78.360 % |
994.14/994.13 c | 323349 | 12901 55114 164959 | 318832 322181 32 | 78.360 % |
996.14/996.21 c | 323842 | 12901 55114 164959 | 318832 322674 32 | 78.360 % |
998.34/998.32 c | 324384 | 12901 55114 164959 | 318832 323216 32 | 78.360 % |
1000.94/1000.97 c | 324980 | 12901 55114 164959 | 318832 323812 32 | 78.360 % |
1003.94/1003.92 c | 325636 | 12901 55114 164959 | 318832 324468 32 | 78.360 % |
1007.14/1007.19 c | 326357 | 12901 55114 164959 | 318832 325189 32 | 78.360 % |
1010.24/1010.30 c | 327149 | 12901 55114 164959 | 318832 325981 32 | 78.360 % |
1014.94/1014.94 c | 328020 | 12901 55114 164959 | 318832 326852 32 | 78.360 % |
1018.94/1018.96 c | 328979 | 12901 55114 164959 | 318832 327811 32 | 78.360 % |
1023.24/1023.31 c | 330037 | 12901 55114 164959 | 328832 328869 32 | 78.360 % |
1028.24/1028.28 c | 331195 | 12901 55114 164959 | 328832 330027 32 | 78.360 % |
1033.94/1033.92 c | 332468 | 12901 55114 164959 | 328832 331300 32 | 78.360 % |
1041.24/1041.29 c | 333871 | 12901 55114 164959 | 328832 332703 32 | 78.360 % |
1048.44/1048.43 c | 335412 | 12901 55114 164959 | 328832 334244 32 | 78.360 % |
1056.64/1056.69 c | 337106 | 12901 55114 164959 | 328832 335938 32 | 78.360 % |
1064.45/1064.47 c | 338969 | 12901 55114 164959 | 328832 337801 32 | 78.360 % |
1073.65/1073.68 c | 341023 | 12901 55114 164959 | 338832 339855 32 | 78.360 % |
1082.35/1082.38 c | 343277 | 12901 55114 164959 | 338832 342109 32 | 78.360 % |
1093.35/1093.36 c | 345755 | 12890 55052 164797 | 338832 344584 32 | 78.379 % |
1104.24/1104.24 c | 348481 | 12890 55052 164797 | 338832 347310 32 | 78.379 % |
1116.64/1116.65 c | 351479 | 12890 55052 164797 | 348830 350308 32 | 78.379 % |
1131.95/1131.96 c | 354775 | 12890 55052 164797 | 348830 353604 32 | 78.379 % |
1132.54/1132.56 c | 354876 | 12890 55052 164797 | 348830 353705 32 | 78.379 % |
1133.24/1133.21 c | 354988 | 12890 55052 164797 | 348830 353817 32 | 78.379 % |
1133.74/1133.74 c | 355109 | 12890 55052 164797 | 348830 353938 32 | 78.379 % |
1134.64/1134.63 c | 355242 | 12890 55052 164797 | 348830 354071 32 | 78.379 % |
1135.44/1135.49 c | 355389 | 12890 55052 164797 | 348830 354218 32 | 78.379 % |
1136.44/1136.41 c | 355552 | 12890 55052 164797 | 348830 354381 32 | 78.379 % |
1137.34/1137.40 c | 355732 | 12890 55052 164797 | 348830 354561 32 | 78.379 % |
1138.14/1138.16 c | 355926 | 12890 55052 164797 | 348830 354755 32 | 78.379 % |
1139.04/1139.01 c | 356138 | 12890 55052 164797 | 348830 354967 32 | 78.379 % |
1139.94/1139.99 c | 356375 | 12890 55052 164797 | 348830 355204 32 | 78.379 % |
1141.04/1141.07 c | 356631 | 12890 55052 164797 | 348830 355460 32 | 78.379 % |
1142.54/1142.58 c | 356912 | 12890 55052 164797 | 348830 355741 32 | 78.379 % |
1144.44/1144.50 c | 357222 | 12890 55052 164797 | 348830 356051 32 | 78.379 % |
1146.14/1146.17 c | 357564 | 12890 55052 164797 | 348830 356393 32 | 78.379 % |
1147.94/1147.92 c | 357936 | 12890 55052 164797 | 348830 356765 32 | 78.379 % |
1149.84/1149.90 c | 358345 | 12890 55052 164797 | 348830 357174 32 | 78.379 % |
1152.14/1152.12 c | 358796 | 12890 55052 164797 | 348830 357625 32 | 78.379 % |
1154.64/1154.65 c | 359290 | 12890 55052 164797 | 348830 358119 32 | 78.379 % |
1157.44/1157.43 c | 359832 | 12890 55052 164797 | 348830 358661 32 | 78.379 % |
1160.24/1160.26 c | 360430 | 12890 55052 164797 | 358830 359259 32 | 78.379 % |
1163.14/1163.17 c | 361085 | 12890 55052 164797 | 358830 359914 32 | 78.379 % |
1166.24/1166.25 c | 361808 | 12890 55052 164797 | 358830 360637 32 | 78.379 % |
1169.84/1169.83 c | 362601 | 12890 55052 164797 | 358830 361430 32 | 78.379 % |
1174.04/1174.02 c | 363472 | 12890 55052 164797 | 358830 362301 32 | 78.379 % |
1178.04/1178.05 c | 364430 | 12890 55052 164797 | 358830 363259 32 | 78.379 % |
1183.14/1183.13 c | 365485 | 12890 55052 164797 | 358830 364314 32 | 78.379 % |
1189.45/1189.42 c | 366646 | 12890 55052 164797 | 358830 365475 32 | 78.379 % |
1195.85/1195.89 c | 367920 | 12890 55052 164797 | 358830 366749 32 | 78.379 % |
1200.05/1200.02 HOME/SatELiteGTI: line 36: 14907 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820356-1242432210/watcher-1820356-1242432210 -o /tmp/evaluation-result-1820356-1242432210/solver-1820356-1242432210 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820356-1242432210.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 2/96 14901
/proc/meminfo: memFree=1626628/2074464 swapFree=1950760/1959888
[pid=14901] ppid=14899 vsize=2416 CPUtime=0.01
/proc/14901/stat : 14901 (SatELiteGTI) S 14899 14901 11066 0 -1 4194304 368 643 0 0 0 0 0 1 18 0 1 0 1007719478 2473984 277 4294967295 134512640 135169312 3215812128 3215810664 3085688558 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/14901/statm: 604 277 235 161 0 43 0
[pid=14905] ppid=14901 vsize=952 CPUtime=0
/proc/14905/stat : 14905 (SatELite_releas) R 14901 14901 11066 0 -1 4202496 97 0 0 0 0 0 0 0 20 0 1 0 1007719479 974848 32 4294967295 134512640 135223648 3217762288 3217762124 135067520 0 0 0 0 0 0 0 17 3 0 0 0
/proc/14905/statm: 238 46 37 174 0 63 0
[startup+0.0723 s]
/proc/loadavg: 1.00 1.00 1.00 2/96 14901
/proc/meminfo: memFree=1626628/2074464 swapFree=1950760/1959888
[pid=14901] ppid=14899 vsize=2416 CPUtime=0.01
/proc/14901/stat : 14901 (SatELiteGTI) S 14899 14901 11066 0 -1 4194304 368 643 0 0 0 0 0 1 18 0 1 0 1007719478 2473984 277 4294967295 134512640 135169312 3215812128 3215810664 3085688558 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/14901/statm: 604 277 235 161 0 43 0
[pid=14905] ppid=14901 vsize=13196 CPUtime=0.07
/proc/14905/stat : 14905 (SatELite_releas) R 14901 14901 11066 0 -1 4202496 2987 0 0 0 6 1 0 0 21 0 1 0 1007719479 13512704 2922 4294967295 134512640 135223648 3217762288 3217760872 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/14905/statm: 3299 2923 46 174 0 3124 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 15612
[startup+0.122296 s]
/proc/loadavg: 1.00 1.00 1.00 2/96 14901
/proc/meminfo: memFree=1626628/2074464 swapFree=1950760/1959888
[pid=14901] ppid=14899 vsize=2416 CPUtime=0.01
/proc/14901/stat : 14901 (SatELiteGTI) S 14899 14901 11066 0 -1 4194304 368 643 0 0 0 0 0 1 18 0 1 0 1007719478 2473984 277 4294967295 134512640 135169312 3215812128 3215810664 3085688558 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/14901/statm: 604 277 235 161 0 43 0
[pid=14905] ppid=14901 vsize=23060 CPUtime=0.12
/proc/14905/stat : 14905 (SatELite_releas) R 14901 14901 11066 0 -1 4202496 5460 0 0 0 10 2 0 0 21 0 1 0 1007719479 23613440 5395 4294967295 134512640 135223648 3217762288 3217760872 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/14905/statm: 5765 5396 46 174 0 5590 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 25476
[startup+0.322285 s]
/proc/loadavg: 1.00 1.00 1.00 2/96 14901
/proc/meminfo: memFree=1626628/2074464 swapFree=1950760/1959888
[pid=14901] ppid=14899 vsize=2416 CPUtime=0.01
/proc/14901/stat : 14901 (SatELiteGTI) S 14899 14901 11066 0 -1 4194304 368 643 0 0 0 0 0 1 18 0 1 0 1007719478 2473984 277 4294967295 134512640 135169312 3215812128 3215810664 3085688558 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/14901/statm: 604 277 235 161 0 43 0
[pid=14905] ppid=14901 vsize=53772 CPUtime=0.32
/proc/14905/stat : 14905 (SatELite_releas) R 14901 14901 11066 0 -1 4202496 10990 0 0 0 27 5 0 0 21 0 1 0 1007719479 55062528 10925 4294967295 134512640 135223648 3217762288 3217761240 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/14905/statm: 13443 10926 46 174 0 13268 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 56188
[startup+0.722262 s]
/proc/loadavg: 1.00 1.00 1.00 2/96 14901
/proc/meminfo: memFree=1626628/2074464 swapFree=1950760/1959888
[pid=14901] ppid=14899 vsize=2416 CPUtime=0.01
/proc/14901/stat : 14901 (SatELiteGTI) S 14899 14901 11066 0 -1 4194304 368 643 0 0 0 0 0 1 18 0 1 0 1007719478 2473984 277 4294967295 134512640 135169312 3215812128 3215810664 3085688558 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/14901/statm: 604 277 235 161 0 43 0
[pid=14905] ppid=14901 vsize=84204 CPUtime=0.72
/proc/14905/stat : 14905 (SatELite_releas) R 14901 14901 11066 0 -1 4202496 18962 0 0 0 64 8 0 0 22 0 1 0 1007719479 86224896 18897 4294967295 134512640 135223648 3217762288 3217761296 134547591 0 0 0 3 0 0 0 17 3 0 0 0
/proc/14905/statm: 21051 18897 47 174 0 20876 0
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 86620
[startup+1.52222 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 14906
/proc/meminfo: memFree=1543524/2074464 swapFree=1950760/1959888
[pid=14901] ppid=14899 vsize=2416 CPUtime=0.01
/proc/14901/stat : 14901 (SatELiteGTI) S 14899 14901 11066 0 -1 4194304 368 643 0 0 0 0 0 1 18 0 1 0 1007719478 2473984 277 4294967295 134512640 135169312 3215812128 3215810664 3085688558 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/14901/statm: 604 277 235 161 0 43 0
[pid=14905] ppid=14901 vsize=100212 CPUtime=1.52
/proc/14905/stat : 14905 (SatELite_releas) R 14901 14901 11066 0 -1 4202496 23693 0 0 0 143 9 0 0 25 0 1 0 1007719479 102617088 21846 4294967295 134512640 135223648 3217762288 3217760384 134597843 0 0 0 3 0 0 0 17 3 0 0 0
/proc/14905/statm: 25053 21846 73 174 0 24878 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 102628
[startup+3.12213 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 14906
/proc/meminfo: memFree=1533604/2074464 swapFree=1950760/1959888
[pid=14901] ppid=14899 vsize=2416 CPUtime=0.01
/proc/14901/stat : 14901 (SatELiteGTI) S 14899 14901 11066 0 -1 4194304 368 643 0 0 0 0 0 1 18 0 1 0 1007719478 2473984 277 4294967295 134512640 135169312 3215812128 3215810664 3085688558 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/14901/statm: 604 277 235 161 0 43 0
[pid=14905] ppid=14901 vsize=110708 CPUtime=3.12
/proc/14905/stat : 14905 (SatELite_releas) R 14901 14901 11066 0 -1 4202496 26536 0 0 0 301 11 0 0 25 0 1 0 1007719479 113364992 24321 4294967295 134512640 135223648 3217762288 3217760640 134601703 0 0 0 3 0 0 0 17 3 0 0 0
/proc/14905/statm: 27677 24321 73 174 0 27502 0
Current children cumulated CPU time (s) 3.13
Current children cumulated vsize (KiB) 113124
[startup+6.32195 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 14906
/proc/meminfo: memFree=1524180/2074464 swapFree=1950760/1959888
[pid=14901] ppid=14899 vsize=2420 CPUtime=5.98
/proc/14901/stat : 14901 (SatELiteGTI) S 14899 14901 11066 0 -1 4194304 386 36338 0 0 0 0 576 22 18 0 1 0 1007719478 2478080 278 4294967295 134512640 135169312 3215812128 3215808344 3085688558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/14901/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 2420
[startup+12.7216 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 14907
/proc/meminfo: memFree=1593932/2074464 swapFree=1950760/1959888
[pid=14901] ppid=14899 vsize=2420 CPUtime=5.98
/proc/14901/stat : 14901 (SatELiteGTI) S 14899 14901 11066 0 -1 4194304 386 36338 0 0 0 0 576 22 18 0 1 0 1007719478 2478080 278 4294967295 134512640 135169312 3215812128 3215808344 3085688558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/14901/statm: 605 278 235 161 0 44 0
[pid=14907] ppid=14901 vsize=21444 CPUtime=6.74
/proc/14907/stat : 14907 (minisat_static) R 14901 14901 11066 0 -1 4202496 5143 0 0 0 671 3 0 0 25 0 1 0 1007720077 21958656 5058 4294967295 134512640 135215339 3213253632 3213251920 134528666 0 0 0 3 0 0 0 17 1 0 0 0
/proc/14907/statm: 5361 5058 73 172 0 5188 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 23864
[startup+25.5109 s]
/proc/loadavg: 1.00 1.00 1.00 4/98 15092
/proc/meminfo: memFree=1593612/2074464 swapFree=1950760/1959888
[pid=14901] ppid=14899 vsize=2420 CPUtime=5.98
/proc/14901/stat : 14901 (SatELiteGTI) S 14899 14901 11066 0 -1 4194304 386 36338 0 0 0 0 576 22 18 0 1 0 1007719478 2478080 278 4294967295 134512640 135169312 3215812128 3215808344 3085688558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/14901/statm: 605 278 235 161 0 44 0
[pid=14907] ppid=14901 vsize=21444 CPUtime=19.5
/proc/14907/stat : 14907 (minisat_static) R 14901 14901 11066 0 -1 4202496 5152 0 0 0 1946 4 0 0 25 0 1 0 1007720077 21958656 5067 4294967295 134512640 135215339 3213253632 3213251840 134525878 0 0 0 3 0 0 0 17 1 0 0 0
/proc/14907/statm: 5361 5067 73 172 0 5188 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 23864
[startup+51.1194 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 15096
/proc/meminfo: memFree=1592244/2074464 swapFree=1950760/1959888
[pid=14901] ppid=14899 vsize=2420 CPUtime=5.98
/proc/14901/stat : 14901 (SatELiteGTI) S 14899 14901 11066 0 -1 4194304 386 36338 0 0 0 0 576 22 18 0 1 0 1007719478 2478080 278 4294967295 134512640 135169312 3215812128 3215808344 3085688558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/14901/statm: 605 278 235 161 0 44 0
[pid=14907] ppid=14901 vsize=22984 CPUtime=45.11
/proc/14907/stat : 14907 (minisat_static) R 14901 14901 11066 0 -1 4202496 5523 0 0 0 4507 4 0 0 25 0 1 0 1007720077 23535616 5438 4294967295 134512640 135215339 3213253632 3213251920 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/14907/statm: 5746 5438 73 172 0 5573 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 25404
[startup+102.317 s]
/proc/loadavg: 1.15 1.03 1.01 3/98 15282
/proc/meminfo: memFree=1587028/2074464 swapFree=1950760/1959888
[pid=14901] ppid=14899 vsize=2420 CPUtime=5.98
/proc/14901/stat : 14901 (SatELiteGTI) S 14899 14901 11066 0 -1 4194304 386 36338 0 0 0 0 576 22 18 0 1 0 1007719478 2478080 278 4294967295 134512640 135169312 3215812128 3215808344 3085688558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/14901/statm: 605 278 235 161 0 44 0
[pid=14907] ppid=14901 vsize=28400 CPUtime=96.31
/proc/14907/stat : 14907 (minisat_static) R 14901 14901 11066 0 -1 4202496 6836 0 0 0 9626 5 0 0 25 0 1 0 1007720077 29081600 6751 4294967295 134512640 135215339 3213253632 3213251920 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/14907/statm: 7100 6751 73 172 0 6927 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 30820
[startup+162.313 s]
/proc/loadavg: 1.12 1.04 1.01 3/98 15472
/proc/meminfo: memFree=1582680/2074464 swapFree=1950760/1959888
[pid=14901] ppid=14899 vsize=2420 CPUtime=5.98
/proc/14901/stat : 14901 (SatELiteGTI) S 14899 14901 11066 0 -1 4194304 386 36338 0 0 0 0 576 22 18 0 1 0 1007719478 2478080 278 4294967295 134512640 135169312 3215812128 3215808344 3085688558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/14901/statm: 605 278 235 161 0 44 0
[pid=14907] ppid=14901 vsize=32384 CPUtime=156.31
/proc/14907/stat : 14907 (minisat_static) R 14901 14901 11066 0 -1 4202496 7843 0 0 0 15624 7 0 0 25 0 1 0 1007720077 33161216 7758 4294967295 134512640 135215339 3213253632 3213251920 134528711 0 0 0 3 0 0 0 17 1 0 0 0
/proc/14907/statm: 8096 7758 73 172 0 7923 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 34804
[startup+222.32 s]
/proc/loadavg: 1.04 1.03 1.00 2/98 15661
/proc/meminfo: memFree=1578960/2074464 swapFree=1950760/1959888
[pid=14901] ppid=14899 vsize=2420 CPUtime=5.98
/proc/14901/stat : 14901 (SatELiteGTI) S 14899 14901 11066 0 -1 4194304 386 36338 0 0 0 0 576 22 18 0 1 0 1007719478 2478080 278 4294967295 134512640 135169312 3215812128 3215808344 3085688558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/14901/statm: 605 278 235 161 0 44 0
[pid=14907] ppid=14901 vsize=36132 CPUtime=216.32
/proc/14907/stat : 14907 (minisat_static) R 14901 14901 11066 0 -1 4202496 8727 0 0 0 21624 8 0 0 25 0 1 0 1007720077 36999168 8642 4294967295 134512640 135215339 3213253632 3213251920 134528624 0 0 0 3 0 0 0 17 1 0 0 0
/proc/14907/statm: 9033 8642 73 172 0 8860 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 38552
[startup+282.317 s]
/proc/loadavg: 1.01 1.02 1.00 3/98 15850
/proc/meminfo: memFree=1575620/2074464 swapFree=1950760/1959888
[pid=14901] ppid=14899 vsize=2420 CPUtime=5.98
/proc/14901/stat : 14901 (SatELiteGTI) S 14899 14901 11066 0 -1 4194304 386 36338 0 0 0 0 576 22 18 0 1 0 1007719478 2478080 278 4294967295 134512640 135169312 3215812128 3215808344 3085688558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/14901/statm: 605 278 235 161 0 44 0
[pid=14907] ppid=14901 vsize=39500 CPUtime=276.32
/proc/14907/stat : 14907 (minisat_static) R 14901 14901 11066 0 -1 4202496 9601 0 0 0 27622 10 0 0 25 0 1 0 1007720077 40448000 9516 4294967295 134512640 135215339 3213253632 3213251696 134537869 0 0 0 3 0 0 0 17 1 0 0 0
/proc/14907/statm: 9875 9516 73 172 0 9702 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 41920
[startup+342.323 s]
/proc/loadavg: 1.00 1.02 1.00 3/98 16040
/proc/meminfo: memFree=1572396/2074464 swapFree=1950760/1959888
[pid=14901] ppid=14899 vsize=2420 CPUtime=5.98
/proc/14901/stat : 14901 (SatELiteGTI) S 14899 14901 11066 0 -1 4194304 386 36338 0 0 0 0 576 22 18 0 1 0 1007719478 2478080 278 4294967295 134512640 135169312 3215812128 3215808344 3085688558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/14901/statm: 605 278 235 161 0 44 0
[pid=14907] ppid=14901 vsize=42952 CPUtime=336.33
/proc/14907/stat : 14907 (minisat_static) R 14901 14901 11066 0 -1 4202496 10361 0 0 0 33621 12 0 0 25 0 1 0 1007720077 43982848 10276 4294967295 134512640 135215339 3213253632 3213251920 134529157 0 0 0 3 0 0 0 17 1 0 0 0
/proc/14907/statm: 10738 10276 73 172 0 10565 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 45372
[startup+402.31 s]
################
# More data... #
################
[pid=14907] ppid=14901 vsize=47628 CPUtime=456.33
/proc/14907/stat : 14907 (minisat_static) R 14901 14901 11066 0 -1 4202496 11509 0 0 0 45618 15 0 0 25 0 1 0 1007720077 48771072 11424 4294967295 134512640 135215339 3213253632 3213251920 134528788 0 0 0 3 0 0 0 17 1 0 0 0
/proc/14907/statm: 11907 11424 73 172 0 11734 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 50048
[startup+522.313 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 16606
/proc/meminfo: memFree=1564560/2074464 swapFree=1950760/1959888
[pid=14901] ppid=14899 vsize=2420 CPUtime=5.98
/proc/14901/stat : 14901 (SatELiteGTI) S 14899 14901 11066 0 -1 4194304 386 36338 0 0 0 0 576 22 18 0 1 0 1007719478 2478080 278 4294967295 134512640 135169312 3215812128 3215808344 3085688558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/14901/statm: 605 278 235 161 0 44 0
[pid=14907] ppid=14901 vsize=50716 CPUtime=516.33
/proc/14907/stat : 14907 (minisat_static) R 14901 14901 11066 0 -1 4202496 12300 0 0 0 51618 15 0 0 25 0 1 0 1007720077 51933184 12215 4294967295 134512640 135215339 3213253632 3213251920 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/14907/statm: 12679 12215 73 172 0 12506 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 53136
[startup+582.32 s]
/proc/loadavg: 1.15 1.03 1.01 3/98 16795
/proc/meminfo: memFree=1561948/2074464 swapFree=1950760/1959888
[pid=14901] ppid=14899 vsize=2420 CPUtime=5.98
/proc/14901/stat : 14901 (SatELiteGTI) S 14899 14901 11066 0 -1 4194304 386 36338 0 0 0 0 576 22 18 0 1 0 1007719478 2478080 278 4294967295 134512640 135169312 3215812128 3215808344 3085688558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/14901/statm: 605 278 235 161 0 44 0
[pid=14907] ppid=14901 vsize=53484 CPUtime=576.34
/proc/14907/stat : 14907 (minisat_static) R 14901 14901 11066 0 -1 4202496 12885 0 0 0 57619 15 0 0 25 0 1 0 1007720077 54767616 12800 4294967295 134512640 135215339 3213253632 3213251920 134528809 0 0 0 3 0 0 0 17 1 0 0 0
/proc/14907/statm: 13371 12800 73 172 0 13198 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 55904
[startup+642.316 s]
/proc/loadavg: 1.05 1.02 1.00 3/98 16983
/proc/meminfo: memFree=1559476/2074464 swapFree=1950760/1959888
[pid=14901] ppid=14899 vsize=2420 CPUtime=5.98
/proc/14901/stat : 14901 (SatELiteGTI) S 14899 14901 11066 0 -1 4194304 386 36338 0 0 0 0 576 22 18 0 1 0 1007719478 2478080 278 4294967295 134512640 135169312 3215812128 3215808344 3085688558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/14901/statm: 605 278 235 161 0 44 0
[pid=14907] ppid=14901 vsize=56092 CPUtime=636.34
/proc/14907/stat : 14907 (minisat_static) R 14901 14901 11066 0 -1 4202496 13542 0 0 0 63619 15 0 0 25 0 1 0 1007720077 57438208 13457 4294967295 134512640 135215339 3213253632 3213251920 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/14907/statm: 14023 13457 73 172 0 13850 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 58512
[startup+702.323 s]
/proc/loadavg: 1.02 1.02 1.00 3/98 17170
/proc/meminfo: memFree=1556376/2074464 swapFree=1950760/1959888
[pid=14901] ppid=14899 vsize=2420 CPUtime=5.98
/proc/14901/stat : 14901 (SatELiteGTI) S 14899 14901 11066 0 -1 4194304 386 36338 0 0 0 0 576 22 18 0 1 0 1007719478 2478080 278 4294967295 134512640 135169312 3215812128 3215808344 3085688558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/14901/statm: 605 278 235 161 0 44 0
[pid=14907] ppid=14901 vsize=58792 CPUtime=696.35
/proc/14907/stat : 14907 (minisat_static) R 14901 14901 11066 0 -1 4202496 14246 0 0 0 69619 16 0 0 25 0 1 0 1007720077 60203008 14161 4294967295 134512640 135215339 3213253632 3213251920 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/14907/statm: 14698 14161 73 172 0 14525 0
Current children cumulated CPU time (s) 702.33
Current children cumulated vsize (KiB) 61212
[startup+762.32 s]
/proc/loadavg: 1.06 1.03 1.00 2/98 17356
/proc/meminfo: memFree=1553664/2074464 swapFree=1950760/1959888
[pid=14901] ppid=14899 vsize=2420 CPUtime=5.98
/proc/14901/stat : 14901 (SatELiteGTI) S 14899 14901 11066 0 -1 4194304 386 36338 0 0 0 0 576 22 18 0 1 0 1007719478 2478080 278 4294967295 134512640 135169312 3215812128 3215808344 3085688558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/14901/statm: 605 278 235 161 0 44 0
[pid=14907] ppid=14901 vsize=61684 CPUtime=756.35
/proc/14907/stat : 14907 (minisat_static) R 14901 14901 11066 0 -1 4202496 14966 0 0 0 75619 16 0 0 25 0 1 0 1007720077 63164416 14881 4294967295 134512640 135215339 3213253632 3213251920 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/14907/statm: 15421 14881 73 172 0 15248 0
Current children cumulated CPU time (s) 762.33
Current children cumulated vsize (KiB) 64104
[startup+822.316 s]
/proc/loadavg: 1.02 1.02 1.00 2/98 17548
/proc/meminfo: memFree=1550888/2074464 swapFree=1950760/1959888
[pid=14901] ppid=14899 vsize=2420 CPUtime=5.98
/proc/14901/stat : 14901 (SatELiteGTI) S 14899 14901 11066 0 -1 4194304 386 36338 0 0 0 0 576 22 18 0 1 0 1007719478 2478080 278 4294967295 134512640 135169312 3215812128 3215808344 3085688558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/14901/statm: 605 278 235 161 0 44 0
[pid=14907] ppid=14901 vsize=64236 CPUtime=816.35
/proc/14907/stat : 14907 (minisat_static) R 14901 14901 11066 0 -1 4202496 15625 0 0 0 81618 17 0 0 25 0 1 0 1007720077 65777664 15540 4294967295 134512640 135215339 3213253632 3213251920 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/14907/statm: 16059 15540 73 172 0 15886 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 66656
[startup+882.313 s]
/proc/loadavg: 1.01 1.02 1.00 2/98 17741
/proc/meminfo: memFree=1549540/2074464 swapFree=1950760/1959888
[pid=14901] ppid=14899 vsize=2420 CPUtime=5.98
/proc/14901/stat : 14901 (SatELiteGTI) S 14899 14901 11066 0 -1 4194304 386 36338 0 0 0 0 576 22 18 0 1 0 1007719478 2478080 278 4294967295 134512640 135169312 3215812128 3215808344 3085688558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/14901/statm: 605 278 235 161 0 44 0
[pid=14907] ppid=14901 vsize=66452 CPUtime=876.35
/proc/14907/stat : 14907 (minisat_static) R 14901 14901 11066 0 -1 4202496 16129 0 0 0 87617 18 0 0 25 0 1 0 1007720077 68046848 16044 4294967295 134512640 135215339 3213253632 3213251920 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/14907/statm: 16613 16044 73 172 0 16440 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 68872
[startup+942.32 s]
/proc/loadavg: 1.00 1.01 1.00 3/98 17929
/proc/meminfo: memFree=1546928/2074464 swapFree=1950760/1959888
[pid=14901] ppid=14899 vsize=2420 CPUtime=5.98
/proc/14901/stat : 14901 (SatELiteGTI) S 14899 14901 11066 0 -1 4194304 386 36338 0 0 0 0 576 22 18 0 1 0 1007719478 2478080 278 4294967295 134512640 135169312 3215812128 3215808344 3085688558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/14901/statm: 605 278 235 161 0 44 0
[pid=14907] ppid=14901 vsize=68716 CPUtime=936.36
/proc/14907/stat : 14907 (minisat_static) R 14901 14901 11066 0 -1 4202496 16707 0 0 0 93617 19 0 0 25 0 1 0 1007720077 70365184 16622 4294967295 134512640 135215339 3213253632 3213251920 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/14907/statm: 17179 16622 73 172 0 17006 0
Current children cumulated CPU time (s) 942.34
Current children cumulated vsize (KiB) 71136
[startup+1002.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 18116
/proc/meminfo: memFree=1544456/2074464 swapFree=1950760/1959888
[pid=14901] ppid=14899 vsize=2420 CPUtime=5.98
/proc/14901/stat : 14901 (SatELiteGTI) S 14899 14901 11066 0 -1 4194304 386 36338 0 0 0 0 576 22 18 0 1 0 1007719478 2478080 278 4294967295 134512640 135169312 3215812128 3215808344 3085688558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/14901/statm: 605 278 235 161 0 44 0
[pid=14907] ppid=14901 vsize=71668 CPUtime=996.36
/proc/14907/stat : 14907 (minisat_static) R 14901 14901 11066 0 -1 4202496 17311 0 0 0 99617 19 0 0 25 0 1 0 1007720077 73388032 17226 4294967295 134512640 135215339 3213253632 3213251920 134528728 0 0 0 3 0 0 0 17 1 0 0 0
/proc/14907/statm: 17917 17226 73 172 0 17744 0
Current children cumulated CPU time (s) 1002.34
Current children cumulated vsize (KiB) 74088
[startup+1062.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 18302
/proc/meminfo: memFree=1542720/2074464 swapFree=1950760/1959888
[pid=14901] ppid=14899 vsize=2420 CPUtime=5.98
/proc/14901/stat : 14901 (SatELiteGTI) S 14899 14901 11066 0 -1 4194304 386 36338 0 0 0 0 576 22 18 0 1 0 1007719478 2478080 278 4294967295 134512640 135169312 3215812128 3215808344 3085688558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/14901/statm: 605 278 235 161 0 44 0
[pid=14907] ppid=14901 vsize=73328 CPUtime=1056.37
/proc/14907/stat : 14907 (minisat_static) R 14901 14901 11066 0 -1 4202496 17768 0 0 0 105618 19 0 0 25 0 1 0 1007720077 75087872 17683 4294967295 134512640 135215339 3213253632 3213251920 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/14907/statm: 18332 17683 73 172 0 18159 0
Current children cumulated CPU time (s) 1062.35
Current children cumulated vsize (KiB) 75748
[startup+1122.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 18491
/proc/meminfo: memFree=1541000/2074464 swapFree=1950760/1959888
[pid=14901] ppid=14899 vsize=2420 CPUtime=5.98
/proc/14901/stat : 14901 (SatELiteGTI) S 14899 14901 11066 0 -1 4194304 386 36338 0 0 0 0 576 22 18 0 1 0 1007719478 2478080 278 4294967295 134512640 135169312 3215812128 3215808344 3085688558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/14901/statm: 605 278 235 161 0 44 0
[pid=14907] ppid=14901 vsize=75456 CPUtime=1116.36
/proc/14907/stat : 14907 (minisat_static) R 14901 14901 11066 0 -1 4202496 18245 0 0 0 111617 19 0 0 25 0 1 0 1007720077 77266944 18160 4294967295 134512640 135215339 3213253632 3213251920 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/14907/statm: 18864 18160 73 172 0 18691 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 77876
[startup+1182.31 s]
/proc/loadavg: 1.00 1.00 1.00 4/98 18680
/proc/meminfo: memFree=1539108/2074464 swapFree=1950760/1959888
[pid=14901] ppid=14899 vsize=2420 CPUtime=5.98
/proc/14901/stat : 14901 (SatELiteGTI) S 14899 14901 11066 0 -1 4194304 386 36338 0 0 0 0 576 22 18 0 1 0 1007719478 2478080 278 4294967295 134512640 135169312 3215812128 3215808344 3085688558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/14901/statm: 605 278 235 161 0 44 0
[pid=14907] ppid=14901 vsize=77060 CPUtime=1176.36
/proc/14907/stat : 14907 (minisat_static) R 14901 14901 11066 0 -1 4202496 18654 0 0 0 117617 19 0 0 25 0 1 0 1007720077 78909440 18569 4294967295 134512640 135215339 3213253632 3213251920 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/14907/statm: 19265 18569 73 172 0 19092 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 79480
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.02 s]
/proc/loadavg: 1.00 1.00 1.00 4/98 18680
/proc/meminfo: memFree=1538528/2074464 swapFree=1950760/1959888
[pid=14901] ppid=14899 vsize=2420 CPUtime=5.98
/proc/14901/stat : 14901 (SatELiteGTI) S 14899 14901 11066 0 -1 4194304 386 36338 0 0 0 0 576 22 18 0 1 0 1007719478 2478080 278 4294967295 134512640 135169312 3215812128 3215808344 3085688558 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/14901/statm: 605 278 235 161 0 44 0
[pid=14907] ppid=14901 vsize=77668 CPUtime=1194.07
/proc/14907/stat : 14907 (minisat_static) R 14901 14901 11066 0 -1 4202496 18807 0 0 0 119388 19 0 0 25 0 1 0 1007720077 79532032 18722 4294967295 134512640 135215339 3213253632 3213251920 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/14907/statm: 19417 18722 73 172 0 19244 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 80088
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.04
CPU time (s): 1200.06
CPU user time (s): 1199.64
CPU system time (s): 0.42
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 119408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.64
system time used= 0.42
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55622
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= 22
involuntary context switches= 1354
runsolver used 0.05 second user time and 0 second system time
The end
Begin job on tipi23 at 2009-05-16 02:03:30
IDJOB=1820356
IDBENCH=20379
IDSOLVER=657
FILE ID=tipi23/1820356-1242432210
PBS_JOBID=
Free space on /tmp= 9993 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= runsolver --timestamp -w /tmp/evaluation-result-1820356-1242432210/watcher-1820356-1242432210 -o /tmp/evaluation-result-1820356-1242432210/solver-1820356-1242432210 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820356-1242432210.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 83ece6745238c422c7e68e5a07fc7f73
RANDOM SEED= 1983482398
Linux tipi23 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.38
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.79
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 1626652 kB
Buffers: 23096 kB
Cached: 341000 kB
SwapCached: 3700 kB
Active: 272456 kB
Inactive: 103504 kB
HighTotal: 1178688 kB
HighFree: 832116 kB
LowTotal: 895776 kB
LowFree: 794536 kB
SwapTotal: 1959888 kB
SwapFree: 1950760 kB
Dirty: 17024 kB
Writeback: 28 kB
AnonPages: 11236 kB
Mapped: 4376 kB
Slab: 63916 kB
PageTables: 584 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 96892 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 9993 MiB
End job on tipi23 at 2009-05-16 02:23:34