0.00/0.00 c Parsing...
1.13/1.21 c ==============================================================================
1.13/1.21 c | | ORIGINAL | LEARNT | |
1.13/1.21 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
1.13/1.21 c ==============================================================================
1.13/1.21 c | 0 | 1214401 2831586 | 364320 0 0 nan | 0.000 % |
8.43/8.43 c | 0 | 540614 1448055 | -- 0 -- -- | -- | -422902/-817661
8.43/8.43 c ==============================================================================
8.43/8.43 c Result : #vars: 89502 #clauses: 540614 #literals: 1448055
8.43/8.43 c CPU time: 8.06 s
8.43/8.43 c ==============================================================================
8.93/9.00 c This is MiniSat 2.0 beta
8.93/9.00 c WARNING: for repeatability, setting FPU to use double precision
8.93/9.00 c ============================[ Problem Statistics ]=============================
8.93/9.00 c | |
8.93/9.00 c | Number of variables: 89502 |
8.93/9.00 c | Number of clauses: 540614 |
9.01/9.37 c | Parsing time: 0.29 s |
9.01/9.40 c ============================[ Search Statistics ]==============================
9.01/9.40 c | Conflicts | ORIGINAL | LEARNT | Progress |
9.01/9.40 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
9.01/9.40 c ===============================================================================
9.01/9.40 c | 0 | 89502 540614 1448055 | 180204 0 nan | 0.000 % |
9.01/9.63 c | 100 | 89232 540614 1448055 | 180204 91 38 | 4.455 % |
10.13/10.14 c | 200 | 88985 540614 1448055 | 180204 178 28 | 14.215 % |
10.53/10.52 c | 300 | 76088 456429 1242947 | 180204 260 24 | 17.033 % |
10.83/10.85 c | 410 | 75512 456429 1242947 | 180204 365 23 | 22.275 % |
10.93/11.01 c | 510 | 69479 412292 1135129 | 180204 443 24 | 25.084 % |
11.13/11.17 c | 620 | 69094 412292 1135129 | 180204 548 27 | 30.009 % |
11.33/11.33 c | 741 | 69094 412292 1135129 | 180204 667 27 | 30.028 % |
11.43/11.47 c | 841 | 68891 412292 1135129 | 180204 767 28 | 30.028 % |
11.73/11.73 c | 951 | 68640 412292 1135129 | 180204 877 27 | 30.028 % |
12.23/12.26 c | 1072 | 62624 362355 1008649 | 180204 960 26 | 30.065 % |
12.63/12.63 c | 1207 | 62122 359060 1000559 | 180204 1086 27 | 31.139 % |
12.83/12.91 c | 1307 | 62091 359060 1000559 | 180204 1184 29 | 31.730 % |
13.23/13.24 c | 1420 | 62086 359060 1000559 | 180204 1293 33 | 32.130 % |
13.73/13.75 c | 1541 | 60745 350078 977934 | 180204 1409 38 | 32.244 % |
14.13/14.13 c | 1674 | 59817 343836 962580 | 180204 1531 37 | 33.245 % |
14.43/14.48 c | 1820 | 59769 343836 962580 | 180204 1672 37 | 34.070 % |
14.63/14.62 c | 1920 | 59630 343836 962580 | 180204 1772 37 | 34.070 % |
14.92/14.96 c | 2030 | 59009 338580 949471 | 180204 1876 45 | 34.070 % |
15.12/15.20 c | 2151 | 58993 338580 949471 | 180204 1995 45 | 45.025 % |
15.70/15.73 c | 2284 | 58993 338580 949471 | 180204 2128 49 | 45.025 % |
16.20/16.27 c | 2437 | 49204 274657 774436 | 180204 2138 54 | 45.025 % |
16.60/16.68 c | 2597 | 48886 272679 769255 | 180204 2293 54 | 57.746 % |
16.80/16.85 c | 2697 | 47654 272679 769255 | 180204 2391 53 | 58.040 % |
17.09/17.16 c | 2808 | 47654 272679 769255 | 180204 2502 55 | 58.040 % |
17.49/17.52 c | 2933 | 37555 197855 563901 | 180204 2286 57 | 58.040 % |
17.79/17.84 c | 3068 | 37555 197855 563901 | 180204 2421 58 | 58.040 % |
17.99/18.04 c | 3214 | 37555 197855 563901 | 180204 2567 58 | 58.040 % |
18.49/18.60 c | 3379 | 37555 197855 563901 | 180204 2732 58 | 58.040 % |
18.99/19.06 c | 3556 | 37544 197784 563720 | 180204 2908 60 | 58.052 % |
19.09/19.21 c | 3656 | 37544 197784 563720 | 180204 3008 60 | 58.052 % |
19.29/19.36 c | 3768 | 37544 197784 563720 | 180204 3120 60 | 58.052 % |
19.49/19.54 c | 3889 | 37544 197784 563720 | 180204 3241 61 | 58.052 % |
19.79/19.90 c | 4023 | 37529 197698 563482 | 180204 3373 60 | 58.069 % |
19.99/20.03 c | 4170 | 37529 197698 563482 | 180204 3520 61 | 58.069 % |
20.29/20.35 c | 4330 | 37529 197698 563482 | 180204 3680 61 | 58.069 % |
20.59/20.63 c | 4507 | 37529 197698 563482 | 180204 3857 61 | 58.069 % |
20.79/20.84 c | 4700 | 37529 197698 563482 | 180204 4050 61 | 58.069 % |
20.99/21.06 c | 4800 | 37529 197698 563482 | 180204 4150 61 | 58.069 % |
21.19/21.25 c | 4911 | 37529 197698 563482 | 180204 4261 61 | 58.069 % |
21.49/21.53 c | 5036 | 37529 197698 563482 | 180204 4386 62 | 58.069 % |
21.59/21.71 c | 5170 | 37529 197698 563482 | 180204 4520 62 | 58.069 % |
21.89/21.99 c | 5316 | 37529 197698 563482 | 180204 4666 62 | 58.069 % |
22.39/22.48 c | 5478 | 37529 197698 563482 | 180204 4828 62 | 58.069 % |
22.89/23.00 c | 5655 | 37529 197698 563482 | 180204 5005 62 | 58.069 % |
23.49/23.54 c | 5848 | 37508 197618 563275 | 180204 5192 61 | 58.124 % |
23.89/23.96 c | 6060 | 37508 197618 563275 | 180204 5404 62 | 58.124 % |
24.09/24.13 c | 6160 | 37480 197371 562601 | 180204 5503 62 | 58.124 % |
24.29/24.35 c | 6270 | 37480 197371 562601 | 180204 5613 63 | 58.124 % |
24.49/24.58 c | 6393 | 37479 197371 562601 | 180204 5734 62 | 58.153 % |
24.79/24.83 c | 6527 | 34103 177325 507007 | 180204 5614 64 | 61.897 % |
24.89/24.99 c | 6674 | 34103 177325 507007 | 180204 5761 63 | 61.897 % |
25.19/25.25 c | 6834 | 34103 177325 507007 | 180204 5921 63 | 61.897 % |
25.49/25.53 c | 7010 | 34103 177325 507007 | 180204 6097 63 | 61.897 % |
25.69/25.80 c | 7205 | 34091 177242 506792 | 180204 6289 64 | 62.025 % |
26.19/26.24 c | 7417 | 34091 177242 506792 | 180204 6499 64 | 62.051 % |
26.69/26.77 c | 7651 | 33965 176400 504481 | 180204 6708 65 | 62.057 % |
26.79/26.88 c | 7752 | 33965 176400 504481 | 180204 6809 65 | 62.057 % |
27.09/27.14 c | 7862 | 33965 176400 504481 | 180204 6919 65 | 62.057 % |
27.29/27.35 c | 7984 | 33960 176357 504365 | 180204 7041 65 | 62.057 % |
27.49/27.58 c | 8117 | 33960 176357 504365 | 180204 7174 64 | 62.057 % |
27.69/27.76 c | 8263 | 33960 176357 504365 | 180204 7320 64 | 62.057 % |
27.99/28.02 c | 8423 | 33960 176357 504365 | 180204 7480 64 | 62.057 % |
28.29/28.35 c | 8600 | 33960 176357 504365 | 180204 7657 64 | 62.057 % |
28.69/28.72 c | 8795 | 33960 176357 504365 | 180204 7852 64 | 62.057 % |
29.09/29.13 c | 9008 | 33960 176357 504365 | 180204 8065 63 | 62.057 % |
29.29/29.33 c | 9242 | 33960 176357 504365 | 180204 8299 64 | 62.057 % |
29.79/29.85 c | 9498 | 33948 176264 504128 | 180204 8554 64 | 62.070 % |
29.99/30.03 c | 9598 | 33948 176264 504128 | 180204 8654 64 | 62.070 % |
30.09/30.17 c | 9708 | 33948 176264 504128 | 180204 8764 64 | 62.070 % |
30.29/30.42 c | 9831 | 33948 176264 504128 | 180204 8887 64 | 62.070 % |
30.69/30.76 c | 9967 | 33935 176175 503885 | 180204 9021 64 | 62.100 % |
30.89/30.97 c | 10113 | 33935 176175 503885 | 2147483647 9167 64 | 62.100 % |
31.19/31.26 c | 10274 | 33935 176175 503885 | 2147483647 9328 64 | 62.100 % |
31.59/31.66 c | 10452 | 33935 176175 503885 | 2147483647 9506 63 | 62.100 % |
31.89/31.96 c | 10645 | 33920 176090 503645 | 2147483647 9698 64 | 62.442 % |
32.29/32.32 c | 10859 | 33920 176090 503645 | 2147483647 9912 64 | 62.442 % |
32.59/32.67 c | 11093 | 33920 176090 503645 | 2147483647 10146 64 | 62.442 % |
32.99/33.05 c | 11351 | 33615 174143 498108 | 2147483647 10374 64 | 62.442 % |
33.49/33.53 c | 11632 | 33615 174143 498108 | 2147483647 10655 64 | 62.442 % |
33.59/33.71 c | 11733 | 33615 174143 498108 | 2147483647 10756 64 | 62.442 % |
33.89/33.95 c | 11843 | 33598 174031 497787 | 2147483647 10865 64 | 62.461 % |
33.99/34.06 c | 11965 | 33598 174031 497787 | 2147483647 10987 65 | 62.461 % |
34.39/34.50 c | 12100 | 33598 174031 497787 | 2147483647 11122 65 | 62.461 % |
34.69/34.74 c | 12250 | 33598 174031 497787 | 2147483647 11272 65 | 62.461 % |
34.99/35.04 c | 12410 | 33598 174031 497787 | 2147483647 11432 66 | 62.461 % |
35.49/35.52 c | 12587 | 33598 174031 497787 | 2147483647 11609 66 | 62.461 % |
35.79/35.82 c | 12781 | 33442 173003 495187 | 2147483647 11802 66 | 62.635 % |
36.19/36.23 c | 12995 | 33442 173003 495187 | 2147483647 12016 67 | 62.635 % |
36.79/36.90 c | 13229 | 33442 173003 495187 | 2147483647 12250 67 | 62.635 % |
37.39/37.50 c | 13487 | 33427 172917 494945 | 2147483647 12503 67 | 62.665 % |
37.99/38.08 c | 13769 | 33427 172917 494945 | 2147483647 12785 67 | 62.665 % |
38.79/38.90 c | 14078 | 33413 172829 494704 | 2147483647 13090 67 | 62.704 % |
39.09/39.12 c | 14185 | 33368 172506 493868 | 2147483647 13187 67 | 62.718 % |
39.39/39.42 c | 14296 | 33368 172506 493868 | 2147483647 13298 67 | 62.718 % |
39.49/39.60 c | 14418 | 33368 172506 493868 | 2147483647 13420 67 | 62.718 % |
39.69/39.76 c | 14552 | 33368 172506 493868 | 2147483647 13554 67 | 62.718 % |
39.89/40.00 c | 14698 | 33368 172506 493868 | 2147483647 13700 67 | 62.718 % |
40.19/40.27 c | 14858 | 33368 172506 493868 | 2147483647 13860 67 | 62.718 % |
40.49/40.61 c | 15034 | 33357 172442 493695 | 2147483647 14035 67 | 62.730 % |
40.79/40.85 c | 15227 | 33357 172442 493695 | 2147483647 14228 67 | 62.730 % |
41.29/41.39 c | 15439 | 33357 172442 493695 | 2147483647 14440 67 | 62.730 % |
41.79/41.89 c | 15672 | 33357 172442 493695 | 2147483647 14673 68 | 62.730 % |
42.49/42.61 c | 15928 | 33357 172442 493695 | 2147483647 14929 68 | 62.730 % |
42.99/43.01 c | 16209 | 33189 169277 484722 | 2147483647 15181 67 | 62.918 % |
43.79/43.87 c | 16518 | 33188 169277 484722 | 2147483647 15489 68 | 62.932 % |
44.09/44.21 c | 16857 | 33177 169196 484507 | 2147483647 15827 68 | 62.932 % |
44.29/44.35 c | 16957 | 33177 169196 484507 | 2147483647 15927 68 | 62.932 % |
44.49/44.59 c | 17067 | 33177 169196 484507 | 2147483647 16037 68 | 62.932 % |
44.69/44.74 c | 17189 | 33177 169196 484507 | 2147483647 16159 68 | 62.932 % |
44.99/45.10 c | 17322 | 33177 169196 484507 | 2147483647 16292 68 | 62.932 % |
45.29/45.38 c | 17473 | 33177 169196 484507 | 2147483647 16443 68 | 62.932 % |
45.59/45.69 c | 17635 | 33177 169196 484507 | 2147483647 16605 68 | 62.932 % |
45.99/46.06 c | 17812 | 33177 169196 484507 | 2147483647 16782 68 | 62.932 % |
46.39/46.47 c | 18006 | 33177 169196 484507 | 2147483647 16976 69 | 62.932 % |
46.59/46.70 c | 18218 | 33177 169196 484507 | 2147483647 17188 68 | 62.932 % |
47.19/47.22 c | 18453 | 33177 169196 484507 | 2147483647 17423 69 | 62.932 % |
47.49/47.61 c | 18710 | 32797 166575 477641 | 2147483647 17679 69 | 63.356 % |
47.99/48.03 c | 18992 | 32797 166575 477641 | 2147483647 17961 69 | 63.356 % |
48.40/48.45 c | 19304 | 32797 166575 477641 | 2147483647 18273 70 | 63.356 % |
48.99/49.07 c | 19644 | 32797 166575 477641 | 2147483647 18613 70 | 63.356 % |
49.69/49.79 c | 20019 | 32606 165705 475333 | 2147483647 18970 70 | 63.570 % |
49.99/50.01 c | 20120 | 32606 165705 475333 | 2147483647 19071 70 | 63.570 % |
50.19/50.27 c | 20230 | 32606 165705 475333 | 2147483647 19181 70 | 63.570 % |
50.39/50.51 c | 20354 | 32606 165705 475333 | 2147483647 19305 70 | 63.570 % |
50.69/50.78 c | 20492 | 32606 165705 475333 | 2147483647 19443 71 | 63.570 % |
51.09/51.15 c | 20638 | 32606 165705 475333 | 2147483647 19589 71 | 63.570 % |
51.49/51.57 c | 20800 | 32606 165705 475333 | 2147483647 19751 71 | 63.570 % |
51.79/51.91 c | 20979 | 32606 165705 475333 | 2147483647 19930 71 | 63.570 % |
52.29/52.34 c | 21173 | 32606 165705 475333 | 2147483647 20124 70 | 63.570 % |
52.69/52.73 c | 21385 | 32606 165705 475333 | 2147483647 20336 70 | 63.570 % |
53.09/53.13 c | 21618 | 32606 165705 475333 | 2147483647 20569 70 | 63.570 % |
53.59/53.65 c | 21875 | 32606 165705 475333 | 2147483647 20826 70 | 63.570 % |
53.90/53.97 c | 22156 | 32606 165705 475333 | 2147483647 21107 70 | 63.570 % |
54.39/54.50 c | 22467 | 32606 165705 475333 | 2147483647 21418 70 | 63.570 % |
55.19/55.22 c | 22808 | 32606 165705 475333 | 2147483647 21759 70 | 63.570 % |
55.69/55.77 c | 23181 | 32606 165705 475333 | 2147483647 22132 70 | 63.570 % |
56.59/56.66 c | 23591 | 32606 165705 475333 | 2147483647 22542 70 | 63.570 % |
56.79/56.89 c | 23691 | 32548 165442 474604 | 2147483647 22626 70 | 66.685 % |
56.99/57.07 c | 23801 | 32548 165442 474604 | 2147483647 22736 71 | 66.685 % |
57.20/57.29 c | 23925 | 32548 165442 474604 | 2147483647 22860 71 | 66.685 % |
57.39/57.48 c | 24060 | 32548 165442 474604 | 2147483647 22995 71 | 66.685 % |
57.69/57.73 c | 24206 | 32548 165442 474604 | 2147483647 23141 71 | 66.685 % |
57.89/58.00 c | 24366 | 32548 165442 474604 | 2147483647 23301 71 | 66.685 % |
58.49/58.52 c | 24543 | 32548 165442 474604 | 2147483647 23478 71 | 66.685 % |
58.79/58.82 c | 24736 | 29818 148604 429331 | 2147483647 23611 71 | 66.685 % |
59.19/59.23 c | 24949 | 29818 148604 429331 | 2147483647 23824 71 | 66.685 % |
59.59/59.66 c | 25182 | 29818 148604 429331 | 2147483647 24057 71 | 66.685 % |
60.19/60.24 c | 25441 | 29818 148604 429331 | 2147483647 24316 71 | 66.685 % |
60.69/60.79 c | 25722 | 29795 148427 428869 | 2147483647 24588 71 | 66.710 % |
61.19/61.28 c | 26033 | 29795 148427 428869 | 2147483647 24899 71 | 66.710 % |
61.60/61.68 c | 26372 | 29795 148427 428869 | 2147483647 25238 71 | 66.710 % |
62.19/62.25 c | 26746 | 29795 148427 428869 | 2147483647 25612 71 | 66.710 % |
62.79/62.82 c | 27157 | 29795 148427 428869 | 2147483647 26023 71 | 66.710 % |
63.39/63.48 c | 27606 | 29795 148427 428869 | 2147483647 26472 71 | 66.710 % |
63.59/63.66 c | 27706 | 29795 148427 428869 | 2147483647 26572 71 | 66.710 % |
63.80/63.84 c | 27816 | 29795 148427 428869 | 2147483647 26682 71 | 66.710 % |
63.99/64.02 c | 27937 | 29795 148427 428869 | 2147483647 26803 71 | 66.710 % |
64.19/64.26 c | 28070 | 29795 148427 428869 | 2147483647 26936 71 | 66.710 % |
64.49/64.51 c | 28216 | 29795 148427 428869 | 2147483647 27082 71 | 66.710 % |
64.69/64.80 c | 28376 | 29784 148358 428688 | 2147483647 27240 71 | 66.723 % |
65.19/65.21 c | 28554 | 29784 148358 428688 | 2147483647 27418 71 | 66.723 % |
65.49/65.54 c | 28750 | 29784 148358 428688 | 2147483647 27614 71 | 66.723 % |
65.79/65.91 c | 28964 | 29784 148358 428688 | 2147483647 27828 71 | 66.723 % |
66.19/66.26 c | 29198 | 29784 148358 428688 | 2147483647 28062 71 | 66.723 % |
66.69/66.74 c | 29455 | 29784 148358 428688 | 2147483647 28319 71 | 66.723 % |
67.10/67.20 c | 29737 | 29784 148358 428688 | 2147483647 28601 71 | 66.723 % |
67.69/67.80 c | 30047 | 29784 148358 428688 | 2147483647 28911 71 | 66.723 % |
68.09/68.19 c | 30386 | 29784 148358 428688 | 2147483647 29250 71 | 66.723 % |
68.69/68.77 c | 30758 | 29784 148358 428688 | 2147483647 29622 71 | 66.723 % |
69.30/69.38 c | 31167 | 29784 148358 428688 | 2147483647 30031 70 | 66.723 % |
70.09/70.13 c | 31616 | 29565 147080 425059 | 2147483647 30479 70 | 66.967 % |
71.29/71.38 c | 32109 | 29564 147080 425059 | 2147483647 30971 70 | 66.981 % |
71.50/71.57 c | 32211 | 29564 147080 425059 | 2147483647 31073 70 | 66.981 % |
71.69/71.76 c | 32321 | 29553 146993 424835 | 2147483647 31177 70 | 66.981 % |
71.89/71.93 c | 32442 | 29553 146993 424835 | 2147483647 31298 70 | 66.981 % |
72.09/72.20 c | 32577 | 29553 146993 424835 | 2147483647 31433 70 | 66.981 % |
72.29/72.40 c | 32723 | 29553 146993 424835 | 2147483647 31579 70 | 66.981 % |
72.60/72.65 c | 32883 | 29553 146993 424835 | 2147483647 31739 69 | 66.981 % |
72.89/72.91 c | 33060 | 29553 146993 424835 | 2147483647 31916 69 | 66.981 % |
73.09/73.13 c | 33253 | 29553 146993 424835 | 2147483647 32109 69 | 66.981 % |
73.39/73.44 c | 33468 | 29553 146993 424835 | 2147483647 32324 69 | 66.981 % |
73.70/73.76 c | 33701 | 29553 146993 424835 | 2147483647 32557 69 | 66.981 % |
74.09/74.17 c | 33957 | 29151 144149 417368 | 2147483647 32811 69 | 67.638 % |
74.59/74.65 c | 34240 | 29151 144149 417368 | 2147483647 33094 69 | 67.638 % |
74.99/75.06 c | 34550 | 29151 144149 417368 | 2147483647 33404 69 | 67.638 % |
75.39/75.50 c | 34892 | 29151 144149 417368 | 2147483647 33746 69 | 67.638 % |
76.29/76.38 c | 35264 | 29151 144149 417368 | 2147483647 34118 69 | 67.638 % |
77.29/77.37 c | 35673 | 28965 142938 414260 | 2147483647 34527 69 | 67.638 % |
77.99/78.04 c | 36123 | 28965 142938 414260 | 2147483647 34977 69 | 67.638 % |
78.79/78.88 c | 36620 | 28965 142938 414260 | 2147483647 35474 70 | 67.638 % |
79.59/79.64 c | 37163 | 28965 142938 414260 | 2147483647 36017 70 | 67.638 % |
79.80/79.86 c | 37264 | 28965 142938 414260 | 2147483647 36118 70 | 67.638 % |
80.00/80.07 c | 37374 | 28965 142938 414260 | 2147483647 36228 70 | 67.638 % |
80.20/80.29 c | 37495 | 28965 142938 414260 | 2147483647 36349 70 | 67.638 % |
80.40/80.51 c | 37629 | 28965 142938 414260 | 2147483647 36483 70 | 67.638 % |
80.80/80.88 c | 37777 | 28965 142938 414260 | 2147483647 36631 70 | 67.638 % |
81.10/81.18 c | 37939 | 28965 142938 414260 | 2147483647 36793 70 | 67.638 % |
81.50/81.58 c | 38116 | 28965 142938 414260 | 2147483647 36970 70 | 67.638 % |
81.80/81.91 c | 38309 | 28965 142938 414260 | 2147483647 37163 70 | 67.638 % |
82.40/82.44 c | 38521 | 28965 142938 414260 | 2147483647 37375 70 | 67.638 % |
82.60/82.66 c | 38756 | 28965 142938 414260 | 2147483647 37610 70 | 67.638 % |
83.30/83.36 c | 39014 | 28953 142852 414021 | 2147483647 37859 70 | 67.651 % |
83.90/84.01 c | 39295 | 28953 142852 414021 | 2147483647 38140 70 | 67.651 % |
84.50/84.60 c | 39604 | 28953 142852 414021 | 2147483647 38448 70 | 67.666 % |
85.20/85.26 c | 39943 | 28953 142852 414021 | 2147483647 38787 70 | 67.666 % |
85.70/85.77 c | 40316 | 28953 142852 414021 | 2147483647 39160 71 | 67.666 % |
86.60/86.67 c | 40725 | 28940 142778 413808 | 2147483647 39568 71 | 67.666 % |
87.50/87.55 c | 41174 | 28939 142778 413808 | 2147483647 40016 71 | 67.682 % |
88.40/88.43 c | 41667 | 28939 142778 413808 | 2147483647 40509 71 | 67.682 % |
89.30/89.36 c | 42210 | 28939 142778 413808 | 2147483647 41052 71 | 67.682 % |
90.40/90.47 c | 42806 | 28925 142701 413603 | 2147483647 41647 71 | 67.682 % |
90.60/90.63 c | 42907 | 28925 142701 413603 | 2147483647 41748 71 | 67.682 % |
90.70/90.82 c | 43017 | 28925 142701 413603 | 2147483647 41858 71 | 67.682 % |
90.90/90.97 c | 43139 | 28925 142701 413603 | 2147483647 41980 71 | 67.682 % |
91.20/91.25 c | 43272 | 28925 142701 413603 | 2147483647 42113 71 | 67.682 % |
91.50/91.52 c | 43419 | 28925 142701 413603 | 2147483647 42260 71 | 67.682 % |
91.80/91.88 c | 43579 | 28925 142701 413603 | 2147483647 42420 71 | 67.682 % |
92.20/92.28 c | 43756 | 28925 142701 413603 | 2147483647 42597 71 | 67.682 % |
92.60/92.72 c | 43949 | 28925 142701 413603 | 2147483647 42790 71 | 67.682 % |
93.00/93.04 c | 44163 | 28925 142701 413603 | 2147483647 43004 71 | 67.682 % |
93.30/93.36 c | 44397 | 28925 142701 413603 | 2147483647 43238 71 | 67.682 % |
93.70/93.81 c | 44654 | 28925 142701 413603 | 2147483647 43495 71 | 67.682 % |
94.20/94.31 c | 44935 | 28925 142701 413603 | 2147483647 43776 71 | 67.682 % |
94.80/94.83 c | 45245 | 28925 142701 413603 | 2147483647 44086 71 | 67.682 % |
95.40/95.50 c | 45585 | 28925 142701 413603 | 2147483647 44426 71 | 67.682 % |
96.30/96.33 c | 45958 | 28409 139416 404554 | 2147483647 44728 71 | 68.259 % |
97.10/97.15 c | 46370 | 28409 139416 404554 | 2147483647 45140 71 | 68.259 % |
97.80/97.82 c | 46819 | 28409 139416 404554 | 2147483647 45589 71 | 68.259 % |
98.90/98.98 c | 47314 | 28409 139416 404554 | 2147483647 46083 71 | 68.260 % |
100.00/100.06 c | 47856 | 28409 139416 404554 | 2147483647 46625 71 | 68.260 % |
101.00/101.06 c | 48453 | 28408 139403 404518 | 2147483647 47187 71 | 68.260 % |
102.20/102.24 c | 49109 | 28408 139403 404518 | 2147483647 47843 71 | 68.260 % |
102.40/102.43 c | 49209 | 28408 139403 404518 | 2147483647 47943 71 | 68.260 % |
102.50/102.62 c | 49321 | 28408 139403 404518 | 2147483647 48055 71 | 68.260 % |
102.70/102.82 c | 49442 | 28408 139403 404518 | 2147483647 48176 71 | 68.260 % |
102.90/103.00 c | 49576 | 28408 139403 404518 | 2147483647 48310 71 | 68.260 % |
103.20/103.28 c | 49722 | 28408 139403 404518 | 2147483647 48456 71 | 68.260 % |
103.50/103.53 c | 49883 | 28408 139403 404518 | 2147483647 48617 71 | 68.260 % |
103.90/103.92 c | 50064 | 28408 139403 404518 | 2147483647 48798 71 | 68.260 % |
104.10/104.17 c | 50258 | 28408 139403 404518 | 2147483647 48992 71 | 68.260 % |
104.40/104.46 c | 50473 | 28408 139403 404518 | 2147483647 49207 71 | 68.260 % |
104.70/104.81 c | 50708 | 28408 139403 404518 | 2147483647 49442 71 | 68.260 % |
105.10/105.13 c | 50965 | 28408 139403 404518 | 2147483647 49699 71 | 68.260 % |
105.70/105.74 c | 51246 | 28408 139403 404518 | 2147483647 49980 71 | 68.260 % |
106.30/106.39 c | 51557 | 28408 139403 404518 | 2147483647 50291 71 | 68.260 % |
106.90/107.02 c | 51899 | 28408 139403 404518 | 2147483647 50633 71 | 68.260 % |
107.70/107.72 c | 52271 | 28408 139403 404518 | 2147483647 51005 71 | 68.260 % |
108.20/108.26 c | 52680 | 28408 139403 404518 | 2147483647 51414 70 | 68.260 % |
109.00/109.08 c | 53130 | 28408 139403 404518 | 2147483647 51864 70 | 68.260 % |
109.60/109.69 c | 53627 | 28408 139403 404518 | 2147483647 52361 70 | 68.260 % |
110.80/110.82 c | 54171 | 28408 139403 404518 | 2147483647 52905 71 | 68.260 % |
111.60/111.71 c | 54767 | 28408 139403 404518 | 2147483647 53501 71 | 68.260 % |
112.80/112.86 c | 55424 | 28408 139403 404518 | 2147483647 54158 71 | 68.260 % |
114.50/114.59 c | 56145 | 28408 139403 404518 | 2147483647 54879 71 | 68.260 % |
114.80/114.86 c | 56245 | 28408 139403 404518 | 2147483647 54979 71 | 68.260 % |
115.10/115.13 c | 56358 | 28408 139403 404518 | 2147483647 55092 71 | 68.260 % |
115.30/115.41 c | 56480 | 28408 139403 404518 | 2147483647 55214 71 | 68.260 % |
115.50/115.58 c | 56613 | 28408 139403 404518 | 2147483647 55347 71 | 68.260 % |
115.70/115.81 c | 56759 | 28408 139403 404518 | 2147483647 55493 71 | 68.260 % |
116.00/116.08 c | 56920 | 28408 139403 404518 | 2147483647 55654 71 | 68.260 % |
116.30/116.36 c | 57099 | 28408 139403 404518 | 2147483647 55833 71 | 68.260 % |
116.60/116.70 c | 57293 | 28408 139403 404518 | 2147483647 56027 71 | 68.260 % |
117.00/117.05 c | 57505 | 28408 139403 404518 | 2147483647 56239 71 | 68.260 % |
117.40/117.44 c | 57740 | 28408 139403 404518 | 2147483647 56474 71 | 68.260 % |
117.90/117.98 c | 57997 | 28408 139403 404518 | 2147483647 56731 71 | 68.260 % |
118.60/118.62 c | 58278 | 28408 139403 404518 | 2147483647 57012 71 | 68.260 % |
119.20/119.28 c | 58589 | 28408 139403 404518 | 2147483647 57323 71 | 68.260 % |
119.80/119.85 c | 58928 | 28408 139403 404518 | 2147483647 57662 71 | 68.260 % |
120.40/120.49 c | 59300 | 28408 139403 404518 | 2147483647 58034 71 | 68.260 % |
121.00/121.11 c | 59713 | 28408 139403 404518 | 2147483647 58447 71 | 68.260 % |
121.90/121.99 c | 60162 | 28408 139403 404518 | 2147483647 58896 71 | 68.260 % |
122.90/122.96 c | 60657 | 28408 139403 404518 | 2147483647 59391 71 | 68.260 % |
123.60/123.71 c | 61199 | 28408 139403 404518 | 2147483647 59933 71 | 68.260 % |
125.00/125.04 c | 61797 | 28408 139403 404518 | 2147483647 60531 71 | 68.260 % |
126.30/126.34 c | 62453 | 28408 139403 404518 | 2147483647 61187 71 | 68.260 % |
127.30/127.39 c | 63174 | 28408 139403 404518 | 2147483647 61908 71 | 68.260 % |
129.20/129.27 c | 63968 | 28408 139403 404518 | 2147483647 62702 71 | 68.260 % |
129.40/129.50 c | 64070 | 28408 139403 404518 | 2147483647 62804 71 | 68.260 % |
129.70/129.75 c | 64181 | 28408 139403 404518 | 2147483647 62915 71 | 68.260 % |
129.90/130.00 c | 64302 | 28408 139403 404518 | 2147483647 63036 71 | 68.260 % |
130.20/130.30 c | 64435 | 28408 139403 404518 | 2147483647 63169 71 | 68.260 % |
130.50/130.55 c | 64581 | 28408 139403 404518 | 2147483647 63315 71 | 68.260 % |
130.70/130.74 c | 64741 | 28408 139403 404518 | 2147483647 63475 71 | 68.260 % |
131.00/131.11 c | 64918 | 28408 139403 404518 | 2147483647 63652 71 | 68.260 % |
131.40/131.43 c | 65111 | 28408 139403 404518 | 2147483647 63845 71 | 68.260 % |
131.80/131.82 c | 65325 | 28045 136958 398174 | 2147483647 64057 71 | 68.684 % |
132.20/132.25 c | 65560 | 28045 136958 398174 | 2147483647 64292 71 | 68.684 % |
132.60/132.67 c | 65816 | 28045 136958 398174 | 2147483647 64548 71 | 68.684 % |
133.30/133.37 c | 66097 | 28045 136958 398174 | 2147483647 64829 71 | 68.685 % |
133.80/133.89 c | 66407 | 28045 136958 398174 | 2147483647 65139 71 | 68.684 % |
134.30/134.41 c | 66749 | 28045 136958 398174 | 2147483647 65481 70 | 68.685 % |
135.00/135.08 c | 67123 | 28045 136958 398174 | 2147483647 65855 70 | 68.685 % |
136.10/136.19 c | 67532 | 28045 136958 398174 | 2147483647 66264 70 | 68.685 % |
137.00/137.09 c | 67981 | 28045 136958 398174 | 2147483647 66713 70 | 68.684 % |
138.00/138.08 c | 68474 | 28045 136958 398174 | 2147483647 67206 70 | 68.684 % |
139.10/139.18 c | 69016 | 28028 136854 397888 | 2147483647 67746 71 | 68.684 % |
140.10/140.19 c | 69612 | 28028 136854 397888 | 2147483647 68342 71 | 68.684 % |
141.20/141.31 c | 70267 | 28028 136854 397888 | 2147483647 68997 71 | 68.684 % |
142.60/142.66 c | 70987 | 28028 136854 397888 | 2147483647 69717 71 | 68.685 % |
144.00/144.08 c | 71782 | 28028 136854 397888 | 2147483647 70512 71 | 68.684 % |
145.40/145.44 c | 72654 | 28028 136854 397888 | 2147483647 71384 71 | 68.684 % |
145.60/145.62 c | 72758 | 28028 136854 397888 | 2147483647 71488 71 | 68.684 % |
145.80/145.82 c | 72869 | 28028 136854 397888 | 2147483647 71599 70 | 68.685 % |
145.90/145.98 c | 72991 | 28028 136854 397888 | 2147483647 71721 70 | 68.684 % |
146.20/146.25 c | 73126 | 28028 136854 397888 | 2147483647 71856 70 | 68.684 % |
146.50/146.56 c | 73274 | 28028 136854 397888 | 2147483647 72004 70 | 68.685 % |
147.00/147.04 c | 73434 | 28028 136854 397888 | 2147483647 72164 70 | 68.684 % |
147.41/147.45 c | 73610 | 28028 136854 397888 | 2147483647 72340 70 | 68.685 % |
147.90/147.92 c | 73803 | 28028 136854 397888 | 2147483647 72533 70 | 68.684 % |
148.30/148.38 c | 74015 | 28028 136854 397888 | 2147483647 72745 70 | 68.685 % |
148.80/148.84 c | 74249 | 28028 136854 397888 | 2147483647 72979 70 | 68.684 % |
149.30/149.36 c | 74507 | 28028 136854 397888 | 2147483647 73237 70 | 68.684 % |
149.80/149.83 c | 74788 | 28028 136854 397888 | 2147483647 73518 70 | 68.684 % |
150.40/150.47 c | 75101 | 28028 136854 397888 | 2147483647 73831 70 | 68.684 % |
151.00/151.02 c | 75440 | 28028 136854 397888 | 2147483647 74170 70 | 68.684 % |
151.70/151.81 c | 75812 | 28028 136854 397888 | 2147483647 74542 70 | 68.684 % |
152.60/152.63 c | 76221 | 28028 136854 397888 | 2147483647 74951 70 | 68.684 % |
153.40/153.51 c | 76670 | 28028 136854 397888 | 2147483647 75400 70 | 68.684 % |
154.50/154.60 c | 77165 | 28028 136854 397888 | 2147483647 75895 70 | 68.684 % |
155.50/155.56 c | 77710 | 28028 136854 397888 | 2147483647 76440 70 | 68.684 % |
156.70/156.72 c | 78306 | 28028 136854 397888 | 2147483647 77036 70 | 68.684 % |
157.70/157.77 c | 78961 | 28028 136854 397888 | 2147483647 77691 69 | 68.684 % |
159.00/159.10 c | 79681 | 28028 136854 397888 | 2147483647 78411 69 | 68.684 % |
160.30/160.34 c | 80474 | 28028 136854 397888 | 2147483647 79204 69 | 68.685 % |
161.61/161.67 c | 81345 | 28028 136854 397888 | 2147483647 80075 69 | 68.684 % |
163.21/163.23 c | 82303 | 28028 136854 397888 | 2147483647 81033 69 | 68.684 % |
163.31/163.40 c | 82403 | 28028 136854 397888 | 2147483647 81133 69 | 68.684 % |
163.51/163.62 c | 82517 | 28028 136854 397888 | 2147483647 81247 69 | 68.684 % |
163.71/163.80 c | 82638 | 28028 136854 397888 | 2147483647 81368 69 | 68.684 % |
164.01/164.06 c | 82771 | 27966 136461 396828 | 2147483647 81500 69 | 68.754 % |
164.31/164.37 c | 82919 | 27966 136461 396828 | 2147483647 81648 69 | 68.754 % |
164.61/164.63 c | 83080 | 27966 136461 396828 | 2147483647 81809 69 | 68.754 % |
164.81/164.85 c | 83256 | 27966 136461 396828 | 2147483647 81985 69 | 68.754 % |
165.21/165.26 c | 83449 | 27966 136461 396828 | 2147483647 82178 69 | 68.754 % |
165.61/165.64 c | 83662 | 27966 136461 396828 | 2147483647 82391 69 | 68.754 % |
165.91/166.02 c | 83895 | 27966 136461 396828 | 2147483647 82624 69 | 68.754 % |
166.31/166.39 c | 84151 | 27966 136461 396828 | 2147483647 82880 69 | 68.754 % |
166.81/166.89 c | 84433 | 27966 136461 396828 | 2147483647 83162 69 | 68.754 % |
167.71/167.82 c | 84742 | 27966 136461 396828 | 2147483647 83471 69 | 68.754 % |
168.41/168.52 c | 85081 | 27966 136461 396828 | 2147483647 83810 69 | 68.754 % |
169.21/169.22 c | 85454 | 27966 136461 396828 | 2147483647 84183 69 | 68.754 % |
170.11/170.12 c | 85864 | 27966 136461 396828 | 2147483647 84593 69 | 68.754 % |
170.91/170.95 c | 86313 | 27966 136461 396828 | 2147483647 85042 69 | 68.754 % |
171.91/171.98 c | 86806 | 27949 136360 396515 | 2147483647 85534 69 | 68.773 % |
173.51/173.57 c | 87349 | 27949 136360 396515 | 2147483647 86077 69 | 68.773 % |
174.80/174.91 c | 87945 | 27948 136360 396515 | 2147483647 86672 69 | 68.785 % |
176.10/176.16 c | 88601 | 27948 136360 396515 | 2147483647 87328 69 | 68.785 % |
177.20/177.23 c | 89321 | 27948 136360 396515 | 2147483647 88048 69 | 68.785 % |
178.30/178.41 c | 90113 | 27948 136360 396515 | 2147483647 88840 69 | 68.785 % |
179.80/179.85 c | 90985 | 27948 136360 396515 | 2147483647 89712 68 | 68.785 % |
181.50/181.55 c | 91944 | 27938 136298 396343 | 2147483647 90667 68 | 68.800 % |
183.60/183.68 c | 92999 | 27938 136298 396343 | 2147483647 91722 68 | 68.800 % |
183.80/183.91 c | 93100 | 27938 136298 396343 | 2147483647 91823 68 | 68.800 % |
184.10/184.19 c | 93210 | 27938 136298 396343 | 2147483647 91933 68 | 68.800 % |
184.50/184.53 c | 93332 | 27938 136298 396343 | 2147483647 92055 68 | 68.800 % |
184.80/184.86 c | 93465 | 27938 136298 396343 | 2147483647 92188 68 | 68.800 % |
185.10/185.15 c | 93611 | 27938 136298 396343 | 2147483647 92334 68 | 68.800 % |
185.50/185.57 c | 93771 | 27938 136298 396343 | 2147483647 92494 68 | 68.800 % |
186.00/186.03 c | 93947 | 27938 136298 396343 | 2147483647 92670 68 | 68.800 % |
186.50/186.55 c | 94140 | 27938 136298 396343 | 2147483647 92863 68 | 68.800 % |
187.30/187.32 c | 94352 | 27938 136298 396343 | 2147483647 93074 68 | 68.811 % |
188.00/188.03 c | 94585 | 27938 136298 396343 | 2147483647 93307 68 | 68.811 % |
188.50/188.61 c | 94844 | 27938 136298 396343 | 2147483647 93566 68 | 68.811 % |
189.30/189.31 c | 95125 | 27915 136148 395951 | 2147483647 93845 68 | 68.811 % |
190.00/190.06 c | 95438 | 27915 136148 395951 | 2147483647 94158 68 | 68.811 % |
190.70/190.73 c | 95777 | 27915 136148 395951 | 2147483647 94497 68 | 68.811 % |
191.70/191.75 c | 96151 | 27915 136148 395951 | 2147483647 94871 68 | 68.811 % |
192.60/192.64 c | 96560 | 27915 136148 395951 | 2147483647 95280 68 | 68.811 % |
193.50/193.57 c | 97012 | 27915 136148 395951 | 2147483647 95732 68 | 68.811 % |
194.50/194.54 c | 97506 | 27915 136148 395951 | 2147483647 96226 69 | 68.811 % |
195.20/195.28 c | 98048 | 27915 136148 395951 | 2147483647 96768 69 | 68.811 % |
196.40/196.44 c | 98644 | 27915 136148 395951 | 2147483647 97364 69 | 68.811 % |
198.30/198.40 c | 99299 | 27915 136148 395951 | 2147483647 98019 69 | 68.811 % |
200.20/200.29 c | 100019 | 27915 136148 395951 | 2147483647 98739 69 | 68.811 % |
201.80/201.86 c | 100812 | 27915 136148 395951 | 2147483647 99532 69 | 68.811 % |
203.60/203.70 c | 101684 | 27915 136148 395951 | 2147483647 100404 69 | 68.811 % |
205.40/205.50 c | 102644 | 27915 136148 395951 | 2147483647 101364 69 | 68.811 % |
207.90/207.99 c | 103698 | 27915 136148 395951 | 2147483647 102418 69 | 68.811 % |
210.60/210.68 c | 104856 | 27915 136148 395951 | 2147483647 103576 69 | 68.811 % |
210.80/210.89 c | 104957 | 27915 136148 395951 | 2147483647 103677 69 | 68.811 % |
211.00/211.11 c | 105069 | 27915 136148 395951 | 2147483647 103789 69 | 68.811 % |
211.30/211.35 c | 105191 | 27915 136148 395951 | 2147483647 103911 69 | 68.811 % |
211.60/211.67 c | 105327 | 27915 136148 395951 | 2147483647 104047 69 | 68.811 % |
211.90/211.93 c | 105474 | 27915 136148 395951 | 2147483647 104194 69 | 68.811 % |
212.31/212.34 c | 105636 | 27915 136148 395951 | 2147483647 104356 69 | 68.811 % |
212.70/212.75 c | 105813 | 27915 136148 395951 | 2147483647 104533 69 | 68.811 % |
213.20/213.21 c | 106007 | 27915 136148 395951 | 2147483647 104727 69 | 68.811 % |
213.70/213.75 c | 106219 | 27915 136148 395951 | 2147483647 104939 69 | 68.811 % |
214.20/214.25 c | 106454 | 27915 136148 395951 | 2147483647 105174 69 | 68.811 % |
214.80/214.87 c | 106710 | 27915 136148 395951 | 2147483647 105430 69 | 68.811 % |
215.40/215.48 c | 106991 | 27915 136148 395951 | 2147483647 105711 69 | 68.811 % |
216.20/216.22 c | 107300 | 27915 136148 395951 | 2147483647 106020 69 | 68.811 % |
216.90/216.91 c | 107639 | 27915 136148 395951 | 2147483647 106359 69 | 68.811 % |
217.50/217.57 c | 108011 | 27915 136148 395951 | 2147483647 106731 69 | 68.811 % |
218.40/218.44 c | 108421 | 27915 136148 395951 | 2147483647 107141 69 | 68.811 % |
219.20/219.26 c | 108872 | 27915 136148 395951 | 2147483647 107592 69 | 68.811 % |
220.40/220.47 c | 109367 | 27915 136148 395951 | 2147483647 108087 69 | 68.811 % |
221.80/221.90 c | 109909 | 27915 136148 395951 | 2147483647 108629 68 | 68.811 % |
223.31/223.39 c | 110505 | 27915 136148 395951 | 2147483647 109225 68 | 68.811 % |
225.10/225.17 c | 111160 | 27915 136148 395951 | 2147483647 109880 69 | 68.811 % |
226.80/226.81 c | 111881 | 27915 136148 395951 | 2147483647 110601 69 | 68.811 % |
229.30/229.34 c | 112674 | 27915 136148 395951 | 2147483647 111394 69 | 68.811 % |
231.40/231.43 c | 113545 | 27915 136148 395951 | 2147483647 112265 68 | 68.811 % |
233.30/233.39 c | 114503 | 27915 136148 395951 | 2147483647 113223 68 | 68.811 % |
235.70/235.71 c | 115557 | 27915 136148 395951 | 2147483647 114277 68 | 68.811 % |
238.30/238.31 c | 116715 | 27915 136148 395951 | 2147483647 115435 68 | 68.811 % |
241.20/241.20 c | 117988 | 27915 136148 395951 | 2147483647 116708 68 | 68.811 % |
241.40/241.45 c | 118088 | 27915 136148 395951 | 2147483647 116808 68 | 68.811 % |
241.60/241.67 c | 118199 | 27915 136148 395951 | 2147483647 116919 68 | 68.811 % |
241.90/241.99 c | 118322 | 27915 136148 395951 | 2147483647 117042 68 | 68.811 % |
242.20/242.26 c | 118457 | 27915 136148 395951 | 2147483647 117177 68 | 68.811 % |
242.50/242.54 c | 118606 | 27915 136148 395951 | 2147483647 117326 68 | 68.811 % |
242.90/242.95 c | 118767 | 27915 136148 395951 | 2147483647 117487 68 | 68.811 % |
243.30/243.39 c | 118943 | 27915 136148 395951 | 2147483647 117663 68 | 68.811 % |
243.81/243.88 c | 119138 | 27915 136148 395951 | 2147483647 117858 68 | 68.811 % |
244.41/244.47 c | 119352 | 27915 136148 395951 | 2147483647 118072 68 | 68.811 % |
245.01/245.03 c | 119585 | 27915 136148 395951 | 2147483647 118305 68 | 68.811 % |
245.61/245.63 c | 119842 | 27915 136148 395951 | 2147483647 118562 68 | 68.811 % |
246.51/246.56 c | 120126 | 27915 136148 395951 | 2147483647 118846 68 | 68.811 % |
247.41/247.43 c | 120435 | 27915 136148 395951 | 2147483647 119155 68 | 68.811 % |
248.21/248.30 c | 120774 | 27915 136148 395951 | 2147483647 119494 68 | 68.811 % |
249.11/249.13 c | 121149 | 27915 136148 395951 | 2147483647 119869 68 | 68.811 % |
250.11/250.20 c | 121561 | 27915 136148 395951 | 2147483647 120281 68 | 68.811 % |
251.01/251.05 c | 122012 | 27915 136148 395951 | 2147483647 120732 68 | 68.811 % |
251.91/252.01 c | 122505 | 27915 136148 395951 | 2147483647 121225 68 | 68.811 % |
253.21/253.27 c | 123047 | 27915 136148 395951 | 2147483647 121767 68 | 68.811 % |
254.51/254.52 c | 123646 | 27915 136148 395951 | 2147483647 122366 68 | 68.811 % |
256.11/256.21 c | 124301 | 27915 136148 395951 | 2147483647 123021 68 | 68.811 % |
258.11/258.16 c | 125021 | 27915 136148 395951 | 2147483647 123741 68 | 68.811 % |
260.41/260.45 c | 125814 | 27915 136148 395951 | 2147483647 124534 68 | 68.811 % |
262.41/262.45 c | 126686 | 27915 136148 395951 | 2147483647 125406 68 | 68.811 % |
264.71/264.78 c | 127644 | 27915 136148 395951 | 2147483647 126364 68 | 68.811 % |
267.11/267.12 c | 128704 | 27915 136148 395951 | 2147483647 127424 68 | 68.811 % |
269.51/269.57 c | 129862 | 27915 136148 395951 | 2147483647 128582 68 | 68.811 % |
273.11/273.14 c | 131135 | 27915 136148 395951 | 2147483647 129855 68 | 68.811 % |
277.31/277.37 c | 132535 | 27915 136148 395951 | 2147483647 131255 68 | 68.811 % |
277.61/277.70 c | 132638 | 27915 136148 395951 | 2147483647 131358 68 | 68.811 % |
278.01/278.05 c | 132750 | 27915 136148 395951 | 2147483647 131470 68 | 68.811 % |
278.31/278.37 c | 132873 | 27915 136148 395951 | 2147483647 131593 68 | 68.811 % |
278.61/278.71 c | 133006 | 27915 136148 395951 | 2147483647 131726 68 | 68.811 % |
279.01/279.11 c | 133152 | 27915 136148 395951 | 2147483647 131872 68 | 68.811 % |
279.41/279.47 c | 133312 | 27915 136148 395951 | 2147483647 132032 68 | 68.811 % |
280.01/280.07 c | 133489 | 27915 136148 395951 | 2147483647 132209 68 | 68.811 % |
280.71/280.72 c | 133682 | 27915 136148 395951 | 2147483647 132402 68 | 68.811 % |
281.31/281.41 c | 133896 | 27915 136148 395951 | 2147483647 132616 68 | 68.811 % |
282.11/282.21 c | 134130 | 27915 136148 395951 | 2147483647 132850 68 | 68.811 % |
282.91/282.99 c | 134386 | 27915 136148 395951 | 2147483647 133106 68 | 68.811 % |
283.81/283.86 c | 134668 | 27915 136148 395951 | 2147483647 133388 68 | 68.811 % |
284.81/284.90 c | 134978 | 27915 136148 395951 | 2147483647 133698 68 | 68.811 % |
285.71/285.76 c | 135317 | 27915 136148 395951 | 2147483647 134037 68 | 68.811 % |
286.51/286.57 c | 135690 | 27915 136148 395951 | 2147483647 134410 68 | 68.811 % |
287.51/287.54 c | 136100 | 27915 136148 395951 | 2147483647 134820 68 | 68.811 % |
288.81/288.81 c | 136551 | 27915 136148 395951 | 2147483647 135271 68 | 68.811 % |
290.11/290.15 c | 137045 | 27915 136148 395951 | 2147483647 135765 68 | 68.811 % |
291.52/291.58 c | 137587 | 27915 136148 395951 | 2147483647 136307 68 | 68.811 % |
293.21/293.22 c | 138185 | 27914 136144 395941 | 2147483647 136904 69 | 68.812 % |
294.71/294.77 c | 138840 | 27914 136144 395941 | 2147483647 137559 69 | 68.812 % |
296.81/296.88 c | 139561 | 27914 136144 395941 | 2147483647 138280 69 | 68.812 % |
298.61/298.62 c | 140353 | 27914 136144 395941 | 2147483647 139072 69 | 68.812 % |
300.71/300.78 c | 141224 | 27914 136144 395941 | 2147483647 139943 69 | 68.812 % |
303.01/303.09 c | 142182 | 27913 136144 395941 | 2147483647 140900 69 | 68.911 % |
306.51/306.60 c | 143236 | 27913 136144 395941 | 2147483647 141954 69 | 68.911 % |
309.51/309.53 c | 144394 | 27913 136144 395941 | 2147483647 143112 69 | 68.911 % |
314.11/314.16 c | 145668 | 27825 135521 394290 | 2147483647 144385 69 | 68.924 % |
318.51/318.51 c | 147068 | 27825 135521 394290 | 2147483647 145785 69 | 68.924 % |
322.21/322.22 c | 148609 | 27825 135521 394290 | 2147483647 147326 69 | 68.924 % |
322.61/322.63 c | 148710 | 27825 135521 394290 | 2147483647 147427 69 | 68.924 % |
323.01/323.04 c | 148820 | 27825 135521 394290 | 2147483647 147537 69 | 68.924 % |
323.42/323.47 c | 148942 | 27825 135521 394290 | 2147483647 147659 69 | 68.924 % |
323.81/323.86 c | 149076 | 27825 135521 394290 | 2147483647 147793 69 | 68.924 % |
324.31/324.31 c | 149222 | 27825 135521 394290 | 2147483647 147939 69 | 68.924 % |
324.71/324.77 c | 149382 | 27825 135521 394290 | 2147483647 148099 69 | 68.924 % |
325.21/325.29 c | 149558 | 27825 135521 394290 | 2147483647 148275 69 | 68.924 % |
325.92/325.99 c | 149751 | 27825 135521 394290 | 2147483647 148468 69 | 68.924 % |
326.62/326.66 c | 149963 | 27825 135521 394290 | 2147483647 148680 69 | 68.924 % |
327.62/327.65 c | 150196 | 27825 135521 394290 | 2147483647 148913 69 | 68.924 % |
328.22/328.27 c | 150453 | 27825 135521 394290 | 2147483647 149170 69 | 68.924 % |
329.32/329.34 c | 150736 | 27813 135446 394099 | 2147483647 149451 69 | 68.925 % |
330.22/330.31 c | 151045 | 27813 135446 394099 | 2147483647 149760 69 | 68.925 % |
331.32/331.32 c | 151384 | 27813 135446 394099 | 2147483647 150099 69 | 68.925 % |
332.22/332.23 c | 151756 | 27813 135446 394099 | 2147483647 150471 69 | 68.925 % |
333.32/333.34 c | 152165 | 27813 135446 394099 | 2147483647 150880 69 | 68.925 % |
334.32/334.34 c | 152615 | 27813 135446 394099 | 2147483647 151330 70 | 68.925 % |
335.52/335.55 c | 153110 | 27813 135446 394099 | 2147483647 151825 69 | 68.925 % |
336.42/336.42 c | 153653 | 27813 135446 394099 | 2147483647 152368 70 | 68.925 % |
337.72/337.81 c | 154250 | 27813 135446 394099 | 2147483647 152965 70 | 68.925 % |
338.92/339.01 c | 154905 | 27813 135446 394099 | 2147483647 153620 70 | 68.925 % |
341.42/341.49 c | 155625 | 27813 135446 394099 | 2147483647 154340 70 | 68.925 % |
343.72/343.73 c | 156417 | 27813 135446 394099 | 2147483647 155132 70 | 68.925 % |
346.32/346.41 c | 157291 | 27813 135446 394099 | 2147483647 156006 70 | 68.925 % |
349.32/349.37 c | 158249 | 27813 135443 394093 | 2147483647 156964 70 | 68.925 % |
352.62/352.68 c | 159304 | 27813 135443 394093 | 2147483647 158019 70 | 68.925 % |
356.52/356.58 c | 160462 | 27813 135443 394093 | 2147483647 159177 70 | 68.925 % |
360.22/360.29 c | 161735 | 27813 135443 394093 | 2147483647 160450 70 | 68.925 % |
364.42/364.50 c | 163135 | 27813 135443 394093 | 2147483647 161850 70 | 68.925 % |
368.82/368.82 c | 164677 | 27813 135443 394093 | 2147483647 163392 70 | 68.925 % |
372.72/372.74 c | 166371 | 27813 135443 394093 | 2147483647 165086 70 | 68.925 % |
372.92/372.97 c | 166472 | 27813 135443 394093 | 2147483647 165187 70 | 68.925 % |
373.22/373.29 c | 166582 | 27813 135443 394093 | 2147483647 165297 70 | 68.925 % |
373.52/373.61 c | 166703 | 27813 135443 394093 | 2147483647 165418 70 | 68.925 % |
374.12/374.17 c | 166838 | 27813 135443 394093 | 2147483647 165553 70 | 68.925 % |
374.62/374.66 c | 166985 | 27813 135443 394093 | 2147483647 165700 70 | 68.925 % |
375.22/375.28 c | 167145 | 27813 135443 394093 | 2147483647 165860 70 | 68.925 % |
375.92/375.94 c | 167321 | 27813 135443 394093 | 2147483647 166036 70 | 68.925 % |
376.62/376.63 c | 167515 | 27813 135443 394093 | 2147483647 166230 70 | 68.925 % |
377.42/377.48 c | 167727 | 27813 135443 394093 | 2147483647 166442 70 | 68.925 % |
378.22/378.28 c | 167960 | 27813 135443 394093 | 2147483647 166675 70 | 68.925 % |
379.02/379.08 c | 168216 | 27813 135443 394093 | 2147483647 166931 70 | 68.925 % |
379.92/379.93 c | 168497 | 27813 135443 394093 | 2147483647 167212 70 | 68.925 % |
381.02/381.07 c | 168806 | 27813 135443 394093 | 2147483647 167521 70 | 68.925 % |
382.22/382.21 c | 169145 | 27813 135443 394093 | 2147483647 167860 70 | 68.925 % |
383.42/383.42 c | 169517 | 27813 135443 394093 | 2147483647 168232 70 | 68.925 % |
384.72/384.77 c | 169928 | 27813 135443 394093 | 2147483647 168643 70 | 68.925 % |
386.52/386.55 c | 170377 | 27813 135443 394093 | 2147483647 169092 70 | 68.925 % |
387.82/387.90 c | 170872 | 27813 135443 394093 | 2147483647 169587 70 | 68.925 % |
389.82/389.86 c | 171415 | 27813 135443 394093 | 2147483647 170130 70 | 68.925 % |
391.63/391.65 c | 172011 | 27813 135443 394093 | 2147483647 170726 70 | 68.925 % |
393.32/393.34 c | 172668 | 27813 135443 394093 | 2147483647 171383 70 | 68.925 % |
395.22/395.26 c | 173388 | 27813 135443 394093 | 2147483647 172103 70 | 68.925 % |
397.22/397.24 c | 174181 | 27813 135443 394093 | 2147483647 172896 70 | 68.925 % |
399.52/399.55 c | 175052 | 27813 135443 394093 | 2147483647 173767 70 | 68.925 % |
402.63/402.69 c | 176010 | 27813 135443 394093 | 2147483647 174725 70 | 68.925 % |
405.93/405.94 c | 177065 | 27813 135443 394093 | 2147483647 175780 71 | 68.925 % |
409.23/409.22 c | 178225 | 27813 135443 394093 | 2147483647 176940 71 | 68.925 % |
413.03/413.04 c | 179499 | 27813 135443 394093 | 2147483647 178214 71 | 68.925 % |
416.73/416.80 c | 180899 | 27813 135443 394093 | 2147483647 179614 71 | 68.925 % |
421.33/421.39 c | 182439 | 27813 135443 394093 | 2147483647 181154 71 | 68.925 % |
427.23/427.25 c | 184135 | 27813 135443 394093 | 2147483647 182850 71 | 68.925 % |
432.93/432.97 c | 185998 | 27813 135443 394093 | 2147483647 184713 71 | 68.925 % |
433.23/433.30 c | 186098 | 27813 135443 394093 | 2147483647 184813 71 | 68.925 % |
433.73/433.74 c | 186208 | 27813 135443 394093 | 2147483647 184923 71 | 68.925 % |
434.33/434.38 c | 186330 | 27813 135443 394093 | 2147483647 185045 71 | 68.925 % |
434.93/434.97 c | 186467 | 27813 135443 394093 | 2147483647 185182 71 | 68.925 % |
435.43/435.45 c | 186613 | 27813 135443 394093 | 2147483647 185328 71 | 68.925 % |
435.93/435.96 c | 186773 | 27813 135443 394093 | 2147483647 185488 71 | 68.925 % |
436.63/436.66 c | 186949 | 27813 135443 394093 | 2147483647 185664 71 | 68.925 % |
437.23/437.26 c | 187142 | 27813 135443 394093 | 2147483647 185857 71 | 68.925 % |
437.93/437.96 c | 187355 | 27813 135443 394093 | 2147483647 186070 71 | 68.925 % |
438.63/438.62 c | 187591 | 27813 135443 394093 | 2147483647 186306 71 | 68.925 % |
439.43/439.44 c | 187847 | 27813 135443 394093 | 2147483647 186562 71 | 68.925 % |
440.23/440.24 c | 188128 | 27813 135443 394093 | 2147483647 186843 71 | 68.925 % |
441.23/441.24 c | 188443 | 27813 135443 394093 | 2147483647 187158 71 | 68.925 % |
442.23/442.27 c | 188782 | 27813 135443 394093 | 2147483647 187497 71 | 68.925 % |
443.43/443.46 c | 189157 | 27813 135443 394093 | 2147483647 187872 71 | 68.925 % |
444.93/444.97 c | 189566 | 27813 135443 394093 | 2147483647 188281 70 | 68.925 % |
446.13/446.14 c | 190016 | 27813 135443 394093 | 2147483647 188731 71 | 68.925 % |
447.13/447.13 c | 190511 | 27813 135443 394093 | 2147483647 189226 71 | 68.925 % |
449.13/449.14 c | 191054 | 27813 135443 394093 | 2147483647 189769 71 | 68.925 % |
450.93/451.00 c | 191652 | 27813 135443 394093 | 2147483647 190367 71 | 68.925 % |
452.93/452.94 c | 192309 | 27813 135443 394093 | 2147483647 191024 71 | 68.925 % |
455.73/455.80 c | 193030 | 27799 135354 393855 | 2147483647 191741 71 | 68.940 % |
458.63/458.68 c | 193824 | 27799 135354 393855 | 2147483647 192535 71 | 68.940 % |
461.63/461.69 c | 194696 | 27799 135354 393855 | 2147483647 193407 71 | 68.940 % |
464.73/464.77 c | 195654 | 27799 135354 393855 | 2147483647 194365 71 | 68.940 % |
468.43/468.51 c | 196707 | 27799 135354 393855 | 2147483647 195418 71 | 68.940 % |
472.93/473.01 c | 197866 | 27799 135354 393855 | 2147483647 196576 71 | 68.954 % |
478.03/478.03 c | 199139 | 27799 135354 393855 | 2147483647 197849 71 | 68.954 % |
483.03/483.06 c | 200541 | 27799 135354 393855 | 2147483647 199251 71 | 68.954 % |
488.03/488.06 c | 202081 | 27787 135287 393688 | 2147483647 200790 71 | 68.954 % |
493.74/493.79 c | 203775 | 27787 135287 393688 | 2147483647 202484 71 | 68.954 % |
498.74/498.75 c | 205639 | 27787 135287 393688 | 2147483647 204348 71 | 68.954 % |
504.34/504.40 c | 207690 | 27787 135287 393688 | 2147483647 206399 71 | 68.954 % |
504.84/504.84 c | 207790 | 27787 135287 393688 | 2147483647 206499 71 | 68.954 % |
505.14/505.14 c | 207903 | 27787 135287 393688 | 2147483647 206612 71 | 68.954 % |
505.74/505.76 c | 208024 | 27787 135287 393688 | 2147483647 206733 71 | 68.954 % |
506.14/506.17 c | 208159 | 27787 135287 393688 | 2147483647 206868 71 | 68.954 % |
506.84/506.83 c | 208306 | 27787 135287 393688 | 2147483647 207015 71 | 68.954 % |
507.54/507.55 c | 208466 | 27787 135287 393688 | 2147483647 207175 71 | 68.954 % |
508.24/508.23 c | 208645 | 27787 135287 393688 | 2147483647 207354 71 | 68.954 % |
508.84/508.90 c | 208839 | 27787 135287 393688 | 2147483647 207548 71 | 68.954 % |
509.54/509.62 c | 209055 | 27787 135287 393688 | 2147483647 207764 71 | 68.954 % |
510.24/510.28 c | 209289 | 27787 135287 393688 | 2147483647 207998 71 | 68.954 % |
511.34/511.37 c | 209545 | 27787 135287 393688 | 2147483647 208254 71 | 68.954 % |
512.44/512.42 c | 209827 | 27787 135287 393688 | 2147483647 208536 71 | 68.954 % |
513.84/513.87 c | 210137 | 27787 135287 393688 | 2147483647 208846 71 | 68.954 % |
514.84/514.86 c | 210476 | 27787 135287 393688 | 2147483647 209185 71 | 68.954 % |
516.54/516.56 c | 210848 | 27787 135287 393688 | 2147483647 209557 71 | 68.954 % |
518.14/518.16 c | 211257 | 27787 135287 393688 | 2147483647 209966 71 | 68.954 % |
520.34/520.35 c | 211707 | 27787 135287 393688 | 2147483647 210416 71 | 68.954 % |
522.34/522.35 c | 212206 | 27787 135287 393688 | 2147483647 210915 71 | 68.954 % |
524.14/524.22 c | 212748 | 27787 135287 393688 | 2147483647 211457 71 | 68.954 % |
526.34/526.41 c | 213346 | 27787 135287 393688 | 2147483647 212055 71 | 68.954 % |
529.04/529.11 c | 214003 | 27787 135287 393688 | 2147483647 212712 71 | 68.954 % |
531.24/531.23 c | 214723 | 27787 135287 393688 | 2147483647 213432 71 | 68.954 % |
533.33/533.39 c | 215516 | 27787 135287 393688 | 2147483647 214225 71 | 68.954 % |
535.83/535.90 c | 216387 | 27787 135287 393688 | 2147483647 215096 71 | 68.954 % |
539.73/539.78 c | 217350 | 27787 135287 393688 | 2147483647 216059 71 | 68.954 % |
543.63/543.64 c | 218406 | 27787 135287 393688 | 2147483647 217115 71 | 68.954 % |
549.13/549.15 c | 219565 | 27787 135287 393688 | 2147483647 218274 71 | 68.954 % |
553.34/553.36 c | 220839 | 27787 135287 393688 | 2147483647 219548 71 | 68.954 % |
557.33/557.40 c | 222240 | 27787 135287 393688 | 2147483647 220949 71 | 68.954 % |
561.83/561.83 c | 223781 | 27787 135287 393688 | 2147483647 222490 71 | 68.954 % |
566.73/566.74 c | 225477 | 27787 135287 393688 | 2147483647 224186 70 | 68.954 % |
573.54/573.55 c | 227340 | 27787 135287 393688 | 2147483647 226049 70 | 68.954 % |
582.64/582.62 c | 229391 | 27787 135287 393688 | 2147483647 228100 70 | 68.954 % |
590.64/590.70 c | 231644 | 27787 135287 393688 | 2147483647 230353 70 | 68.954 % |
590.94/590.98 c | 231744 | 27787 135287 393688 | 2147483647 230453 70 | 68.954 % |
591.24/591.28 c | 231854 | 27787 135287 393688 | 2147483647 230563 70 | 68.954 % |
591.74/591.74 c | 231976 | 27787 135287 393688 | 2147483647 230685 70 | 68.954 % |
592.34/592.33 c | 232109 | 27787 135287 393688 | 2147483647 230818 70 | 68.954 % |
592.84/592.91 c | 232256 | 27787 135287 393688 | 2147483647 230965 70 | 68.954 % |
593.54/593.54 c | 232416 | 27787 135287 393688 | 2147483647 231125 70 | 68.954 % |
594.24/594.27 c | 232592 | 27787 135287 393688 | 2147483647 231301 70 | 68.954 % |
595.04/595.10 c | 232785 | 27787 135287 393688 | 2147483647 231494 70 | 68.954 % |
596.14/596.13 c | 232999 | 27787 135287 393688 | 2147483647 231708 70 | 68.954 % |
597.44/597.48 c | 233233 | 27787 135287 393688 | 2147483647 231942 70 | 68.954 % |
598.94/598.98 c | 233491 | 27787 135287 393688 | 2147483647 232200 70 | 68.954 % |
600.34/600.34 c | 233773 | 27787 135287 393688 | 2147483647 232482 70 | 68.954 % |
601.54/601.57 c | 234084 | 27787 135287 393688 | 2147483647 232793 70 | 68.954 % |
602.84/602.86 c | 234424 | 27787 135287 393688 | 2147483647 233133 70 | 68.954 % |
604.24/604.30 c | 234797 | 27743 135197 393392 | 2147483647 233505 70 | 69.003 % |
605.94/605.96 c | 235206 | 27743 135197 393392 | 2147483647 233914 70 | 69.003 % |
607.54/607.60 c | 235659 | 27743 135197 393392 | 2147483647 234367 70 | 69.003 % |
609.54/609.57 c | 236155 | 27743 135197 393392 | 2147483647 234862 70 | 69.004 % |
611.34/611.39 c | 236698 | 27743 135197 393392 | 2147483647 235405 70 | 69.004 % |
614.14/614.12 c | 237294 | 27743 135197 393392 | 2147483647 236001 70 | 69.004 % |
616.54/616.61 c | 237951 | 27743 135197 393392 | 2147483647 236658 70 | 69.004 % |
619.35/619.32 c | 238672 | 27743 135197 393392 | 2147483647 237379 70 | 69.004 % |
622.94/622.97 c | 239464 | 27743 135197 393392 | 2147483647 238171 70 | 69.004 % |
626.84/626.86 c | 240335 | 27743 135197 393392 | 2147483647 239042 70 | 69.004 % |
629.84/629.86 c | 241294 | 27743 135197 393392 | 2147483647 240001 70 | 69.004 % |
633.44/633.44 c | 242348 | 27743 135197 393392 | 2147483647 241055 70 | 69.004 % |
638.14/638.12 c | 243509 | 27743 135197 393392 | 2147483647 242216 71 | 69.004 % |
642.84/642.89 c | 244782 | 27743 135197 393392 | 2147483647 243489 71 | 69.004 % |
648.74/648.77 c | 246183 | 27743 135197 393392 | 2147483647 244890 71 | 69.004 % |
654.75/654.76 c | 247724 | 27742 135194 393386 | 2147483647 246430 70 | 69.004 % |
661.75/661.80 c | 249420 | 27742 135194 393386 | 2147483647 248126 71 | 69.004 % |
669.95/669.99 c | 251287 | 27742 135194 393386 | 2147483647 249993 71 | 69.004 % |
677.05/677.06 c | 253336 | 27742 135194 393386 | 2147483647 252042 71 | 69.004 % |
687.15/687.12 c | 255590 | 27742 135194 393386 | 2147483647 254296 71 | 69.004 % |
695.95/695.94 c | 258068 | 27742 135194 393386 | 2147483647 256774 71 | 69.004 % |
696.35/696.32 c | 258169 | 27742 135194 393386 | 2147483647 256875 71 | 69.004 % |
696.85/696.84 c | 258280 | 27742 135194 393386 | 2147483647 256986 71 | 69.004 % |
697.45/697.41 c | 258403 | 27742 135194 393386 | 2147483647 257109 71 | 69.004 % |
698.05/698.09 c | 258537 | 27729 135102 393119 | 2147483647 257236 71 | 69.019 % |
698.75/698.71 c | 258685 | 27729 135102 393119 | 2147483647 257384 71 | 69.019 % |
699.35/699.40 c | 258845 | 27729 135102 393119 | 2147483647 257544 71 | 69.019 % |
700.35/700.32 c | 259024 | 27729 135102 393119 | 2147483647 257723 71 | 69.019 % |
701.25/701.24 c | 259218 | 27729 135102 393119 | 2147483647 257917 71 | 69.019 % |
701.95/702.01 c | 259434 | 27729 135102 393119 | 2147483647 258133 71 | 69.019 % |
703.05/703.04 c | 259668 | 27729 135102 393119 | 2147483647 258367 71 | 69.019 % |
704.06/704.09 c | 259924 | 27729 135102 393119 | 2147483647 258623 71 | 69.019 % |
705.16/705.16 c | 260205 | 27729 135102 393119 | 2147483647 258904 71 | 69.019 % |
706.55/706.59 c | 260515 | 27729 135102 393119 | 2147483647 259214 71 | 69.019 % |
707.85/707.85 c | 260855 | 27729 135102 393119 | 2147483647 259554 71 | 69.019 % |
709.56/709.52 c | 261228 | 27729 135102 393119 | 2147483647 259927 71 | 69.019 % |
711.35/711.41 c | 261638 | 27729 135102 393119 | 2147483647 260337 71 | 69.019 % |
713.05/713.10 c | 262087 | 27729 135102 393119 | 2147483647 260786 71 | 69.019 % |
714.85/714.86 c | 262585 | 27729 135102 393119 | 2147483647 261284 71 | 69.019 % |
716.75/716.78 c | 263127 | 27729 135102 393119 | 2147483647 261826 71 | 69.019 % |
719.25/719.26 c | 263725 | 27729 135102 393119 | 2147483647 262424 71 | 69.019 % |
721.75/721.72 c | 264380 | 27729 135102 393119 | 2147483647 263079 71 | 69.019 % |
724.05/724.08 c | 265102 | 27729 135102 393119 | 2147483647 263801 71 | 69.019 % |
727.95/728.00 c | 265896 | 27729 135102 393119 | 2147483647 264595 71 | 69.019 % |
731.45/731.50 c | 266768 | 27729 135102 393119 | 2147483647 265467 71 | 69.019 % |
735.36/735.34 c | 267729 | 27729 135102 393119 | 2147483647 266428 70 | 69.019 % |
738.76/738.74 c | 268782 | 27729 135102 393119 | 2147483647 267480 70 | 69.034 % |
744.26/744.24 c | 269940 | 27729 135102 393119 | 2147483647 268638 70 | 69.034 % |
749.46/749.43 c | 271216 | 27729 135102 393119 | 2147483647 269914 70 | 69.034 % |
756.36/756.36 c | 272617 | 27715 135008 392843 | 2147483647 271315 70 | 69.034 % |
762.36/762.35 c | 274157 | 27715 135008 392843 | 2147483647 272855 70 | 69.034 % |
768.26/768.31 c | 275851 | 27715 135008 392843 | 2147483647 274549 70 | 69.034 % |
777.16/777.16 c | 277715 | 27715 135008 392843 | 2147483647 276413 70 | 69.034 % |
785.36/785.33 c | 279764 | 27715 135008 392843 | 2147483647 278462 70 | 69.034 % |
794.96/794.91 c | 282017 | 27715 135008 392843 | 2147483647 280715 70 | 69.034 % |
805.76/805.76 c | 284496 | 27715 135008 392843 | 2147483647 283194 70 | 69.034 % |
815.86/815.85 c | 287224 | 27715 135008 392843 | 2147483647 285922 70 | 69.034 % |
816.27/816.26 c | 287324 | 27715 135008 392843 | 2147483647 286022 70 | 69.034 % |
816.77/816.77 c | 287435 | 27715 135008 392843 | 2147483647 286133 70 | 69.034 % |
817.47/817.45 c | 287556 | 27715 135008 392843 | 2147483647 286254 70 | 69.034 % |
817.97/818.01 c | 287689 | 27715 135008 392843 | 2147483647 286387 70 | 69.034 % |
818.57/818.61 c | 287835 | 27715 135008 392843 | 2147483647 286533 70 | 69.034 % |
819.47/819.43 c | 287996 | 27715 135008 392843 | 2147483647 286694 70 | 69.034 % |
820.37/820.32 c | 288172 | 27715 135008 392843 | 2147483647 286870 70 | 69.034 % |
821.37/821.36 c | 288370 | 27715 135008 392843 | 2147483647 287068 70 | 69.034 % |
822.47/822.45 c | 288582 | 27715 135008 392843 | 2147483647 287280 70 | 69.034 % |
823.57/823.54 c | 288815 | 27715 135008 392843 | 2147483647 287513 70 | 69.034 % |
824.87/824.89 c | 289073 | 27715 135008 392843 | 2147483647 287771 70 | 69.034 % |
826.07/826.03 c | 289354 | 27715 135008 392843 | 2147483647 288052 70 | 69.034 % |
827.37/827.38 c | 289666 | 27715 135008 392843 | 2147483647 288364 70 | 69.034 % |
828.67/828.69 c | 290005 | 27715 135008 392843 | 288699 288703 70 | 69.034 % |
830.37/830.35 c | 290377 | 27715 135008 392843 | 288699 289075 70 | 69.034 % |
831.77/831.79 c | 290788 | 27715 135008 392843 | 288699 289486 70 | 69.034 % |
834.37/834.37 c | 291238 | 27715 135008 392843 | 288699 289936 70 | 69.034 % |
836.77/836.81 c | 291732 | 27715 135008 392843 | 288699 290430 70 | 69.034 % |
838.87/838.90 c | 292277 | 27715 135008 392843 | 288699 290975 70 | 69.034 % |
841.87/841.91 c | 292876 | 27715 135008 392843 | 288699 291574 70 | 69.034 % |
844.87/844.86 c | 293533 | 27715 135008 392843 | 288699 292231 70 | 69.034 % |
847.87/847.87 c | 294254 | 27715 135008 392843 | 288699 292952 70 | 69.034 % |
850.87/850.89 c | 295046 | 27715 135008 392843 | 288699 293744 70 | 69.034 % |
854.67/854.65 c | 295918 | 27715 135008 392843 | 288699 294616 70 | 69.034 % |
858.27/858.23 c | 296876 | 27715 135008 392843 | 288699 295574 70 | 69.034 % |
861.87/861.82 c | 297929 | 27715 135008 392843 | 288699 296627 70 | 69.034 % |
867.17/867.18 c | 299087 | 27715 135008 392843 | 288699 297785 70 | 69.034 % |
871.87/871.86 c | 300360 | 27715 135008 392843 | 298698 299058 70 | 69.034 % |
878.47/878.45 c | 301761 | 27715 135008 392843 | 298698 300459 70 | 69.034 % |
884.67/884.70 c | 303302 | 27714 135005 392837 | 298698 301999 70 | 69.035 % |
892.76/892.74 c | 304997 | 27714 135005 392837 | 298698 303694 70 | 69.035 % |
900.47/900.49 c | 306861 | 27714 135005 392837 | 298698 305556 70 | 69.166 % |
909.57/909.58 c | 308912 | 27714 135005 392837 | 298698 307606 70 | 69.182 % |
917.07/917.10 c | 311166 | 27714 135005 392837 | 2147483647 309860 70 | 69.182 % |
928.97/929.00 c | 313645 | 27714 135005 392837 | 2147483647 312337 70 | 69.197 % |
941.47/941.45 c | 316370 | 27714 135005 392837 | 2147483647 315062 70 | 69.197 % |
956.37/956.35 c | 319368 | 27569 134138 390325 | 2147483647 318000 70 | 69.197 % |
956.87/956.87 c | 319468 | 27569 134138 390325 | 2147483647 318100 70 | 69.197 % |
957.47/957.46 c | 319578 | 27569 134138 390325 | 2147483647 318210 70 | 69.197 % |
958.07/958.06 c | 319700 | 27569 134138 390325 | 2147483647 318332 70 | 69.197 % |
958.67/958.65 c | 319833 | 27569 134138 390325 | 2147483647 318465 70 | 69.197 % |
959.28/959.29 c | 319979 | 27569 134138 390325 | 2147483647 318611 70 | 69.197 % |
960.17/960.14 c | 320140 | 27569 134138 390325 | 2147483647 318772 70 | 69.197 % |
961.07/961.09 c | 320317 | 27569 134138 390325 | 2147483647 318949 70 | 69.197 % |
961.97/961.92 c | 320510 | 27569 134138 390325 | 2147483647 319142 70 | 69.197 % |
962.87/962.86 c | 320722 | 27569 134138 390325 | 2147483647 319354 70 | 69.197 % |
963.77/963.74 c | 320955 | 27569 134138 390325 | 2147483647 319587 70 | 69.197 % |
964.67/964.67 c | 321212 | 27569 134138 390325 | 2147483647 319844 70 | 69.197 % |
965.97/965.95 c | 321493 | 27569 134138 390325 | 2147483647 320125 70 | 69.197 % |
967.07/967.06 c | 321802 | 27569 134138 390325 | 2147483647 320434 70 | 69.197 % |
968.37/968.38 c | 322142 | 27569 134138 390325 | 2147483647 320774 70 | 69.197 % |
969.87/969.80 c | 322516 | 27569 134138 390325 | 2147483647 321148 70 | 69.197 % |
971.07/971.09 c | 322926 | 27569 134138 390325 | 2147483647 321558 70 | 69.197 % |
972.57/972.58 c | 323377 | 27569 134138 390325 | 2147483647 322009 70 | 69.197 % |
974.87/974.81 c | 323871 | 27569 134138 390325 | 2147483647 322503 70 | 69.197 % |
977.47/977.46 c | 324414 | 27569 134138 390325 | 2147483647 323046 70 | 69.197 % |
980.68/980.69 c | 325011 | 27569 134138 390325 | 2147483647 323643 70 | 69.197 % |
983.88/983.82 c | 325668 | 27569 134138 390325 | 2147483647 324300 70 | 69.197 % |
987.88/987.87 c | 326388 | 27569 134138 390325 | 2147483647 325019 70 | 69.215 % |
991.48/991.46 c | 327183 | 27569 134138 390325 | 2147483647 325814 70 | 69.215 % |
995.38/995.41 c | 328054 | 27569 134138 390325 | 2147483647 326685 70 | 69.215 % |
999.98/999.95 c | 329012 | 27569 134138 390325 | 2147483647 327643 70 | 69.215 % |
1004.18/1004.14 c | 330065 | 27569 134138 390325 | 328631 328696 70 | 69.215 % |
1009.88/1009.85 c | 331224 | 27569 134138 390325 | 328631 329855 70 | 69.215 % |
1016.28/1016.27 c | 332497 | 27569 134138 390325 | 328631 331128 70 | 69.215 % |
1023.58/1023.59 c | 333898 | 27569 134138 390325 | 328631 332529 70 | 69.215 % |
1030.79/1030.75 c | 335438 | 27553 134036 390036 | 328631 334066 70 | 69.215 % |
1039.08/1039.06 c | 337136 | 27553 134036 390036 | 328631 335764 69 | 69.215 % |
1047.58/1047.58 c | 339001 | 27553 134036 390036 | 328631 337629 69 | 69.215 % |
1054.78/1054.76 c | 341051 | 27553 134036 390036 | 338628 339679 69 | 69.215 % |
1065.79/1065.76 c | 343305 | 27553 134036 390036 | 338628 341933 69 | 69.215 % |
1076.29/1076.29 c | 345785 | 27553 134036 390036 | 338628 344413 69 | 69.215 % |
1086.79/1086.74 c | 348510 | 27553 134036 390036 | 338628 347138 69 | 69.215 % |
1098.09/1098.02 c | 351508 | 27553 134036 390036 | 348628 350136 69 | 69.215 % |
1111.89/1111.84 c | 354809 | 27553 134036 390036 | 348628 353437 69 | 69.215 % |
1112.29/1112.24 c | 354910 | 27553 134036 390036 | 348628 353538 69 | 69.215 % |
1112.79/1112.74 c | 355021 | 27553 134036 390036 | 348628 353649 69 | 69.215 % |
1113.49/1113.47 c | 355142 | 27553 134036 390036 | 348628 353770 69 | 69.215 % |
1114.29/1114.22 c | 355276 | 27553 134036 390036 | 348628 353904 69 | 69.215 % |
1115.19/1115.11 c | 355423 | 27553 134036 390036 | 348628 354051 69 | 69.215 % |
1116.09/1116.10 c | 355587 | 27553 134036 390036 | 348628 354215 69 | 69.215 % |
1117.09/1117.08 c | 355764 | 27553 134036 390036 | 348628 354392 69 | 69.215 % |
1118.09/1118.05 c | 355958 | 27553 134036 390036 | 348628 354586 69 | 69.215 % |
1119.39/1119.36 c | 356173 | 27553 134036 390036 | 348628 354801 69 | 69.215 % |
1120.59/1120.51 c | 356406 | 27553 134036 390036 | 348628 355034 69 | 69.215 % |
1122.10/1122.08 c | 356663 | 27553 134036 390036 | 348628 355291 69 | 69.215 % |
1123.89/1123.86 c | 356944 | 27553 134036 390036 | 348628 355572 69 | 69.215 % |
1126.19/1126.16 c | 357255 | 27553 134036 390036 | 348628 355883 69 | 69.215 % |
1128.09/1128.05 c | 357598 | 27553 134036 390036 | 348628 356226 69 | 69.215 % |
1130.09/1130.10 c | 357970 | 27553 134036 390036 | 348628 356598 69 | 69.215 % |
1132.99/1132.94 c | 358382 | 27540 133955 389811 | 348628 357005 69 | 69.230 % |
1135.69/1135.61 c | 358831 | 27540 133955 389811 | 348628 357454 69 | 69.230 % |
1138.29/1138.26 c | 359324 | 27540 133955 389811 | 348628 357947 69 | 69.230 % |
1140.99/1141.00 c | 359866 | 27540 133955 389811 | 348628 358489 69 | 69.230 % |
1143.39/1143.37 c | 360462 | 27540 133955 389811 | 358623 359085 69 | 69.230 % |
1146.70/1146.62 c | 361119 | 27540 133955 389811 | 358623 359742 69 | 69.230 % |
1150.20/1150.21 c | 361841 | 27540 133955 389811 | 358623 360464 69 | 69.230 % |
1153.70/1153.63 c | 362633 | 27540 133955 389811 | 358623 361256 69 | 69.230 % |
1157.60/1157.55 c | 363504 | 27540 133955 389811 | 358623 362127 69 | 69.230 % |
1161.90/1161.84 c | 364464 | 27540 133955 389811 | 358623 363087 69 | 69.230 % |
1167.00/1166.95 c | 365517 | 27540 133955 389811 | 358623 364140 69 | 69.230 % |
1172.10/1172.05 c | 366676 | 27540 133955 389811 | 358623 365299 69 | 69.230 % |
1177.40/1177.34 c | 367949 | 27540 133955 389811 | 358623 366572 69 | 69.230 % |
1185.10/1185.05 c | 369351 | 27540 133955 389811 | 358623 367974 69 | 69.230 % |
1194.10/1194.06 c | 370891 | 27540 133955 389811 | 368624 369513 69 | 69.301 % |
1200.00/1199.92 HOME/SatELiteGTI: line 36: 30979 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-1820368-1242434107/watcher-1820368-1242434107 -o /tmp/evaluation-result-1820368-1242434107/solver-1820368-1242434107 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820368-1242434107.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: 0.95 1.11 1.07 2/93 30972
/proc/meminfo: memFree=1514248/2074464 swapFree=1951868/1959888
[pid=30972] ppid=30970 vsize=2416 CPUtime=0
/proc/30972/stat : 30972 (SatELiteGTI) S 30970 30972 20977 0 -1 4194304 337 0 0 0 0 0 0 0 18 0 1 0 1007912006 2473984 271 4294967295 134512640 135169312 3218215024 3218212616 3085865902 0 0 4 65536 3222620697 0 0 17 3 0 0 0
/proc/30972/statm: 604 271 230 161 0 43 0
[pid=30973] ppid=30972 vsize=2416 CPUtime=0
/proc/30973/stat : 30973 (SatELiteGTI) S 30972 30972 20977 0 -1 4194368 144 143 0 0 0 0 0 0 19 0 1 0 1007912007 2473984 142 4294967295 134512640 135169312 3218215024 3218211304 3085672174 0 65536 0 65538 3222381614 0 0 17 3 0 0 0
/proc/30973/statm: 604 142 99 161 0 43 0
[pid=30975] ppid=30973 vsize=1516 CPUtime=0.01
/proc/30975/stat : 30975 (sed) R 30973 30972 20977 0 -1 4194304 240 0 0 0 1 0 0 0 20 0 1 0 1007912007 1552384 60 4294967295 134512640 134551412 3213786432 3213785260 3086867144 0 0 0 0 0 0 0 17 0 0 0 0
/proc/30975/statm: 379 60 49 10 0 33 0
[startup+0.033618 s]
/proc/loadavg: 0.95 1.11 1.07 2/93 30972
/proc/meminfo: memFree=1514248/2074464 swapFree=1951868/1959888
[pid=30972] ppid=30970 vsize=2416 CPUtime=0.01
/proc/30972/stat : 30972 (SatELiteGTI) S 30970 30972 20977 0 -1 4194304 365 647 0 0 0 0 1 0 18 0 1 0 1007912006 2473984 276 4294967295 134512640 135169312 3218215024 3218213560 3085672174 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/30972/statm: 604 276 235 161 0 43 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2416
[startup+0.123597 s]
/proc/loadavg: 0.95 1.11 1.07 2/93 30972
/proc/meminfo: memFree=1514248/2074464 swapFree=1951868/1959888
[pid=30972] ppid=30970 vsize=2416 CPUtime=0.01
/proc/30972/stat : 30972 (SatELiteGTI) S 30970 30972 20977 0 -1 4194304 365 647 0 0 0 0 1 0 18 0 1 0 1007912006 2473984 276 4294967295 134512640 135169312 3218215024 3218213560 3085672174 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/30972/statm: 604 276 235 161 0 43 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2416
[startup+0.323577 s]
/proc/loadavg: 0.95 1.11 1.07 2/93 30972
/proc/meminfo: memFree=1514248/2074464 swapFree=1951868/1959888
[pid=30972] ppid=30970 vsize=2416 CPUtime=0.01
/proc/30972/stat : 30972 (SatELiteGTI) S 30970 30972 20977 0 -1 4194304 365 647 0 0 0 0 1 0 18 0 1 0 1007912006 2473984 276 4294967295 134512640 135169312 3218215024 3218213560 3085672174 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/30972/statm: 604 276 235 161 0 43 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2416
[startup+0.723537 s]
/proc/loadavg: 0.95 1.11 1.07 2/93 30972
/proc/meminfo: memFree=1514248/2074464 swapFree=1951868/1959888
[pid=30972] ppid=30970 vsize=2416 CPUtime=0.01
/proc/30972/stat : 30972 (SatELiteGTI) S 30970 30972 20977 0 -1 4194304 365 647 0 0 0 0 1 0 18 0 1 0 1007912006 2473984 276 4294967295 134512640 135169312 3218215024 3218213560 3085672174 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/30972/statm: 604 276 235 161 0 43 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2416
[startup+1.52347 s]
/proc/loadavg: 0.95 1.11 1.07 2/95 30977
/proc/meminfo: memFree=1411296/2074464 swapFree=1951868/1959888
[pid=30972] ppid=30970 vsize=2416 CPUtime=0.01
/proc/30972/stat : 30972 (SatELiteGTI) S 30970 30972 20977 0 -1 4194304 365 647 0 0 0 0 1 0 18 0 1 0 1007912006 2473984 276 4294967295 134512640 135169312 3218215024 3218213560 3085672174 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/30972/statm: 604 276 235 161 0 43 0
[pid=30977] ppid=30972 vsize=164876 CPUtime=1.52
/proc/30977/stat : 30977 (SatELite_releas) R 30972 30972 20977 0 -1 4202496 31378 0 0 0 131 21 0 0 25 0 1 0 1007912007 168833024 31218 4294967295 134512640 135223648 3218311280 3218309376 134586210 0 0 0 3 0 0 0 17 0 0 0 0
/proc/30977/statm: 41219 31218 72 174 0 41044 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 167292
[startup+3.1233 s]
/proc/loadavg: 0.95 1.11 1.07 2/95 30977
/proc/meminfo: memFree=1387364/2074464 swapFree=1951868/1959888
[pid=30972] ppid=30970 vsize=2416 CPUtime=0.01
/proc/30972/stat : 30972 (SatELiteGTI) S 30970 30972 20977 0 -1 4194304 365 647 0 0 0 0 1 0 18 0 1 0 1007912006 2473984 276 4294967295 134512640 135169312 3218215024 3218213560 3085672174 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/30972/statm: 604 276 235 161 0 43 0
[pid=30977] ppid=30972 vsize=168404 CPUtime=3.12
/proc/30977/stat : 30977 (SatELite_releas) R 30972 30972 20977 0 -1 4202496 35748 0 0 0 287 25 0 0 25 0 1 0 1007912007 172445696 32691 4294967295 134512640 135223648 3218311280 3218309296 134586643 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30977/statm: 42101 32691 73 174 0 41926 0
Current children cumulated CPU time (s) 3.13
Current children cumulated vsize (KiB) 170820
[startup+6.32299 s]
/proc/loadavg: 0.95 1.11 1.07 3/95 30977
/proc/meminfo: memFree=1368920/2074464 swapFree=1951868/1959888
[pid=30972] ppid=30970 vsize=2416 CPUtime=0.01
/proc/30972/stat : 30972 (SatELiteGTI) S 30970 30972 20977 0 -1 4194304 365 647 0 0 0 0 1 0 18 0 1 0 1007912006 2473984 276 4294967295 134512640 135169312 3218215024 3218213560 3085672174 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/30972/statm: 604 276 235 161 0 43 0
[pid=30977] ppid=30972 vsize=169912 CPUtime=6.32
/proc/30977/stat : 30977 (SatELite_releas) R 30972 30972 20977 0 -1 4202496 40061 0 0 0 603 29 0 0 25 0 1 0 1007912007 173989888 32946 4294967295 134512640 135223648 3218311280 3218309296 134586697 0 0 0 3 0 0 0 17 2 0 0 0
/proc/30977/statm: 42478 32946 73 174 0 42303 0
Current children cumulated CPU time (s) 6.33
Current children cumulated vsize (KiB) 172328
[startup+12.7224 s]
/proc/loadavg: 0.96 1.11 1.07 3/95 30979
/proc/meminfo: memFree=1465796/2074464 swapFree=1951868/1959888
[pid=30972] ppid=30970 vsize=2420 CPUtime=9.01
/proc/30972/stat : 30972 (SatELiteGTI) S 30970 30972 20977 0 -1 4194304 385 54188 0 0 0 0 860 41 18 0 1 0 1007912006 2478080 278 4294967295 134512640 135169312 3218215024 3218211240 3085672174 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30972/statm: 605 278 235 161 0 44 0
[pid=30979] ppid=30972 vsize=31272 CPUtime=3.72
/proc/30979/stat : 30979 (minisat_static) R 30972 30972 20977 0 -1 4202496 7538 0 0 0 364 8 0 0 25 0 1 0 1007912907 32022528 7435 4294967295 134512640 135215339 3213929648 3213927920 134525025 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30979/statm: 7818 7435 73 172 0 7645 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 33692
[startup+25.5211 s]
/proc/loadavg: 0.96 1.10 1.07 3/95 30979
/proc/meminfo: memFree=1465924/2074464 swapFree=1951868/1959888
[pid=30972] ppid=30970 vsize=2420 CPUtime=9.01
/proc/30972/stat : 30972 (SatELiteGTI) S 30970 30972 20977 0 -1 4194304 385 54188 0 0 0 0 860 41 18 0 1 0 1007912006 2478080 278 4294967295 134512640 135169312 3218215024 3218211240 3085672174 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30972/statm: 605 278 235 161 0 44 0
[pid=30979] ppid=30972 vsize=31432 CPUtime=16.48
/proc/30979/stat : 30979 (minisat_static) R 30972 30972 20977 0 -1 4202496 7557 0 0 0 1640 8 0 0 25 0 1 0 1007912907 32186368 7454 4294967295 134512640 135215339 3213929648 3213927936 134528666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30979/statm: 7858 7454 73 172 0 7685 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 33852
[startup+51.1186 s]
/proc/loadavg: 0.98 1.09 1.07 2/95 31165
/proc/meminfo: memFree=1464176/2074464 swapFree=1951868/1959888
[pid=30972] ppid=30970 vsize=2420 CPUtime=9.01
/proc/30972/stat : 30972 (SatELiteGTI) S 30970 30972 20977 0 -1 4194304 385 54188 0 0 0 0 860 41 18 0 1 0 1007912006 2478080 278 4294967295 134512640 135169312 3218215024 3218211240 3085672174 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30972/statm: 605 278 235 161 0 44 0
[pid=30979] ppid=30972 vsize=32944 CPUtime=42.08
/proc/30979/stat : 30979 (minisat_static) R 30972 30972 20977 0 -1 4202496 7961 0 0 0 4200 8 0 0 25 0 1 0 1007912907 33734656 7858 4294967295 134512640 135215339 3213929648 3213927936 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30979/statm: 8236 7858 73 172 0 8063 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 35364
[startup+102.324 s]
/proc/loadavg: 0.99 1.08 1.06 3/95 31351
/proc/meminfo: memFree=1455916/2074464 swapFree=1951868/1959888
[pid=30972] ppid=30970 vsize=2420 CPUtime=9.01
/proc/30972/stat : 30972 (SatELiteGTI) S 30970 30972 20977 0 -1 4194304 385 54188 0 0 0 0 860 41 18 0 1 0 1007912006 2478080 278 4294967295 134512640 135169312 3218215024 3218211240 3085672174 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30972/statm: 605 278 235 161 0 44 0
[pid=30979] ppid=30972 vsize=40844 CPUtime=93.29
/proc/30979/stat : 30979 (minisat_static) R 30972 30972 20977 0 -1 4202496 9922 0 0 0 9320 9 0 0 25 0 1 0 1007912907 41824256 9819 4294967295 134512640 135215339 3213929648 3213927936 134528666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30979/statm: 10211 9819 73 172 0 10038 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 43264
[startup+162.328 s]
/proc/loadavg: 0.99 1.06 1.06 3/95 31540
/proc/meminfo: memFree=1446460/2074464 swapFree=1951868/1959888
[pid=30972] ppid=30970 vsize=2420 CPUtime=9.01
/proc/30972/stat : 30972 (SatELiteGTI) S 30970 30972 20977 0 -1 4194304 385 54188 0 0 0 0 860 41 18 0 1 0 1007912006 2478080 278 4294967295 134512640 135169312 3218215024 3218211240 3085672174 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30972/statm: 605 278 235 161 0 44 0
[pid=30979] ppid=30972 vsize=50400 CPUtime=153.3
/proc/30979/stat : 30979 (minisat_static) R 30972 30972 20977 0 -1 4202496 12293 0 0 0 15318 12 0 0 25 0 1 0 1007912907 51609600 12190 4294967295 134512640 135215339 3213929648 3213927936 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30979/statm: 12600 12190 73 172 0 12427 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 52820
[startup+222.312 s]
/proc/loadavg: 0.99 1.05 1.05 3/95 31728
/proc/meminfo: memFree=1437688/2074464 swapFree=1951868/1959888
[pid=30972] ppid=30970 vsize=2420 CPUtime=9.01
/proc/30972/stat : 30972 (SatELiteGTI) S 30970 30972 20977 0 -1 4194304 385 54188 0 0 0 0 860 41 18 0 1 0 1007912006 2478080 278 4294967295 134512640 135169312 3218215024 3218211240 3085672174 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30972/statm: 605 278 235 161 0 44 0
[pid=30979] ppid=30972 vsize=59112 CPUtime=213.29
/proc/30979/stat : 30979 (minisat_static) R 30972 30972 20977 0 -1 4202496 14447 0 0 0 21315 14 0 0 25 0 1 0 1007912907 60530688 14344 4294967295 134512640 135215339 3213929648 3213927936 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30979/statm: 14778 14344 73 172 0 14605 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 61532
[startup+282.316 s]
/proc/loadavg: 1.06 1.05 1.05 2/95 31919
/proc/meminfo: memFree=1430116/2074464 swapFree=1951868/1959888
[pid=30972] ppid=30970 vsize=2420 CPUtime=9.01
/proc/30972/stat : 30972 (SatELiteGTI) S 30970 30972 20977 0 -1 4194304 385 54188 0 0 0 0 860 41 18 0 1 0 1007912006 2478080 278 4294967295 134512640 135169312 3218215024 3218211240 3085672174 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30972/statm: 605 278 235 161 0 44 0
[pid=30979] ppid=30972 vsize=66660 CPUtime=273.3
/proc/30979/stat : 30979 (minisat_static) R 30972 30972 20977 0 -1 4202496 16355 0 0 0 27313 17 0 0 25 0 1 0 1007912907 68259840 16252 4294967295 134512640 135215339 3213929648 3213927936 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30979/statm: 16665 16252 73 172 0 16492 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 69080
[startup+342.32 s]
/proc/loadavg: 1.02 1.04 1.04 3/95 32107
/proc/meminfo: memFree=1422380/2074464 swapFree=1951868/1959888
[pid=30972] ppid=30970 vsize=2420 CPUtime=9.01
/proc/30972/stat : 30972 (SatELiteGTI) S 30970 30972 20977 0 -1 4194304 385 54188 0 0 0 0 860 41 18 0 1 0 1007912006 2478080 278 4294967295 134512640 135169312 3218215024 3218211240 3085672174 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30972/statm: 605 278 235 161 0 44 0
[pid=30979] ppid=30972 vsize=74748 CPUtime=333.31
/proc/30979/stat : 30979 (minisat_static) R 30972 30972 20977 0 -1 4202496 18289 0 0 0 33314 17 0 0 25 0 1 0 1007912907 76541952 18186 4294967295 134512640 135215339 3213929648 3213927936 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30979/statm: 18687 18186 73 172 0 18514 0
Current children cumulated CPU time (s) 342.32
Current children cumulated vsize (KiB) 77168
[startup+402.314 s]
/proc/loadavg: 1.01 1.03 1.04 3/95 32296
/proc/meminfo: memFree=1415112/2074464 swapFree=1951868/1959888
[pid=30972] ppid=30970 vsize=2420 CPUtime=9.01
/proc/30972/stat : 30972 (SatELiteGTI) S 30970 30972 20977 0 -1 4194304 385 54188 0 0 0 0 860 41 18 0 1 0 1007912006 2478080 278 4294967295 134512640 135169312 3218215024 3218211240 3085672174 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30972/statm: 605 278 235 161 0 44 0
[pid=30979] ppid=30972 vsize=81748 CPUtime=393.31
################
# More data... #
################
/proc/30972/stat : 30972 (SatELiteGTI) S 30970 30972 20977 0 -1 4194304 385 54188 0 0 0 0 860 41 18 0 1 0 1007912006 2478080 278 4294967295 134512640 135169312 3218215024 3218211240 3085672174 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30972/statm: 605 278 235 161 0 44 0
[pid=30979] ppid=30972 vsize=94196 CPUtime=513.33
/proc/30979/stat : 30979 (minisat_static) R 30972 30972 20977 0 -1 4202496 23076 0 0 0 51310 23 0 0 25 0 1 0 1007912907 96456704 22973 4294967295 134512640 135215339 3213929648 3213927936 134528700 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30979/statm: 23549 22973 73 172 0 23376 0
Current children cumulated CPU time (s) 522.34
Current children cumulated vsize (KiB) 96616
[startup+582.316 s]
/proc/loadavg: 1.07 1.04 1.03 2/95 392
/proc/meminfo: memFree=1398100/2074464 swapFree=1951868/1959888
[pid=30972] ppid=30970 vsize=2420 CPUtime=9.01
/proc/30972/stat : 30972 (SatELiteGTI) S 30970 30972 20977 0 -1 4194304 385 54188 0 0 0 0 860 41 18 0 1 0 1007912006 2478080 278 4294967295 134512640 135169312 3218215024 3218211240 3085672174 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30972/statm: 605 278 235 161 0 44 0
[pid=30979] ppid=30972 vsize=99092 CPUtime=573.33
/proc/30979/stat : 30979 (minisat_static) R 30972 30972 20977 0 -1 4202496 24267 0 0 0 57310 23 0 0 25 0 1 0 1007912907 101470208 24164 4294967295 134512640 135215339 3213929648 3213927936 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30979/statm: 24773 24164 73 172 0 24600 0
Current children cumulated CPU time (s) 582.34
Current children cumulated vsize (KiB) 101512
[startup+642.31 s]
/proc/loadavg: 1.12 1.06 1.04 2/95 580
/proc/meminfo: memFree=1392636/2074464 swapFree=1951868/1959888
[pid=30972] ppid=30970 vsize=2420 CPUtime=9.01
/proc/30972/stat : 30972 (SatELiteGTI) S 30970 30972 20977 0 -1 4194304 385 54188 0 0 0 0 860 41 18 0 1 0 1007912006 2478080 278 4294967295 134512640 135169312 3218215024 3218211240 3085672174 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30972/statm: 605 278 235 161 0 44 0
[pid=30979] ppid=30972 vsize=104688 CPUtime=633.33
/proc/30979/stat : 30979 (minisat_static) R 30972 30972 20977 0 -1 4202496 25655 0 0 0 63309 24 0 0 25 0 1 0 1007912907 107200512 25552 4294967295 134512640 135215339 3213929648 3213927936 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30979/statm: 26172 25552 73 172 0 25999 0
Current children cumulated CPU time (s) 642.34
Current children cumulated vsize (KiB) 107108
[startup+702.314 s]
/proc/loadavg: 1.05 1.05 1.03 2/95 771
/proc/meminfo: memFree=1387444/2074464 swapFree=1951868/1959888
[pid=30972] ppid=30970 vsize=2420 CPUtime=9.01
/proc/30972/stat : 30972 (SatELiteGTI) S 30970 30972 20977 0 -1 4194304 385 54188 0 0 0 0 860 41 18 0 1 0 1007912006 2478080 278 4294967295 134512640 135169312 3218215024 3218211240 3085672174 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30972/statm: 605 278 235 161 0 44 0
[pid=30979] ppid=30972 vsize=109664 CPUtime=693.34
/proc/30979/stat : 30979 (minisat_static) R 30972 30972 20977 0 -1 4202496 26913 0 0 0 69310 24 0 0 25 0 1 0 1007912907 112295936 26810 4294967295 134512640 135215339 3213929648 3213927936 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30979/statm: 27416 26810 73 172 0 27243 0
Current children cumulated CPU time (s) 702.35
Current children cumulated vsize (KiB) 112084
[startup+762.318 s]
/proc/loadavg: 1.01 1.04 1.02 2/95 973
/proc/meminfo: memFree=1383444/2074464 swapFree=1951868/1959888
[pid=30972] ppid=30970 vsize=2420 CPUtime=9.01
/proc/30972/stat : 30972 (SatELiteGTI) S 30970 30972 20977 0 -1 4194304 385 54188 0 0 0 0 860 41 18 0 1 0 1007912006 2478080 278 4294967295 134512640 135169312 3218215024 3218211240 3085672174 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30972/statm: 605 278 235 161 0 44 0
[pid=30979] ppid=30972 vsize=113836 CPUtime=753.35
/proc/30979/stat : 30979 (minisat_static) R 30972 30972 20977 0 -1 4202496 27970 0 0 0 75311 24 0 0 25 0 1 0 1007912907 116568064 27867 4294967295 134512640 135215339 3213929648 3213927936 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30979/statm: 28459 27867 73 172 0 28286 0
Current children cumulated CPU time (s) 762.36
Current children cumulated vsize (KiB) 116256
[startup+822.323 s]
/proc/loadavg: 1.00 1.03 1.02 2/95 1162
/proc/meminfo: memFree=1378988/2074464 swapFree=1951868/1959888
[pid=30972] ppid=30970 vsize=2420 CPUtime=9.01
/proc/30972/stat : 30972 (SatELiteGTI) S 30970 30972 20977 0 -1 4194304 385 54188 0 0 0 0 860 41 18 0 1 0 1007912006 2478080 278 4294967295 134512640 135169312 3218215024 3218211240 3085672174 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30972/statm: 605 278 235 161 0 44 0
[pid=30979] ppid=30972 vsize=118176 CPUtime=813.36
/proc/30979/stat : 30979 (minisat_static) R 30972 30972 20977 0 -1 4202496 29054 0 0 0 81309 27 0 0 25 0 1 0 1007912907 121012224 28951 4294967295 134512640 135215339 3213929648 3213927936 134529085 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30979/statm: 29544 28951 73 172 0 29371 0
Current children cumulated CPU time (s) 822.37
Current children cumulated vsize (KiB) 120596
[startup+882.317 s]
/proc/loadavg: 1.00 1.02 1.01 2/95 1349
/proc/meminfo: memFree=1374532/2074464 swapFree=1951868/1959888
[pid=30972] ppid=30970 vsize=2420 CPUtime=9.01
/proc/30972/stat : 30972 (SatELiteGTI) S 30970 30972 20977 0 -1 4194304 385 54188 0 0 0 0 860 41 18 0 1 0 1007912006 2478080 278 4294967295 134512640 135169312 3218215024 3218211240 3085672174 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30972/statm: 605 278 235 161 0 44 0
[pid=30979] ppid=30972 vsize=122648 CPUtime=873.36
/proc/30979/stat : 30979 (minisat_static) R 30972 30972 20977 0 -1 4202496 30156 0 0 0 87308 28 0 0 25 0 1 0 1007912907 125591552 30053 4294967295 134512640 135215339 3213929648 3213927648 134532839 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30979/statm: 30662 30053 73 172 0 30489 0
Current children cumulated CPU time (s) 882.37
Current children cumulated vsize (KiB) 125068
[startup+942.311 s]
/proc/loadavg: 1.00 1.02 1.01 2/95 1537
/proc/meminfo: memFree=1370384/2074464 swapFree=1951868/1959888
[pid=30972] ppid=30970 vsize=2420 CPUtime=9.01
/proc/30972/stat : 30972 (SatELiteGTI) S 30970 30972 20977 0 -1 4194304 385 54188 0 0 0 0 860 41 18 0 1 0 1007912006 2478080 278 4294967295 134512640 135169312 3218215024 3218211240 3085672174 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30972/statm: 605 278 235 161 0 44 0
[pid=30979] ppid=30972 vsize=127448 CPUtime=933.36
/proc/30979/stat : 30979 (minisat_static) R 30972 30972 20977 0 -1 4202496 31198 0 0 0 93308 28 0 0 25 0 1 0 1007912907 130506752 31095 4294967295 134512640 135215339 3213929648 3213927936 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30979/statm: 31862 31095 73 172 0 31689 0
Current children cumulated CPU time (s) 942.37
Current children cumulated vsize (KiB) 129868
[startup+1002.31 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 1724
/proc/meminfo: memFree=1365868/2074464 swapFree=1951868/1959888
[pid=30972] ppid=30970 vsize=2420 CPUtime=9.01
/proc/30972/stat : 30972 (SatELiteGTI) S 30970 30972 20977 0 -1 4194304 385 54188 0 0 0 0 860 41 18 0 1 0 1007912006 2478080 278 4294967295 134512640 135169312 3218215024 3218211240 3085672174 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30972/statm: 605 278 235 161 0 44 0
[pid=30979] ppid=30972 vsize=131708 CPUtime=993.37
/proc/30979/stat : 30979 (minisat_static) R 30972 30972 20977 0 -1 4202496 32238 0 0 0 99309 28 0 0 25 0 1 0 1007912907 134868992 32135 4294967295 134512640 135215339 3213929648 3213927648 134532672 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30979/statm: 32927 32135 73 172 0 32754 0
Current children cumulated CPU time (s) 1002.38
Current children cumulated vsize (KiB) 134128
[startup+1062.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 1917
/proc/meminfo: memFree=1362348/2074464 swapFree=1951868/1959888
[pid=30972] ppid=30970 vsize=2420 CPUtime=9.01
/proc/30972/stat : 30972 (SatELiteGTI) S 30970 30972 20977 0 -1 4194304 385 54188 0 0 0 0 860 41 18 0 1 0 1007912006 2478080 278 4294967295 134512640 135169312 3218215024 3218211240 3085672174 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30972/statm: 605 278 235 161 0 44 0
[pid=30979] ppid=30972 vsize=135232 CPUtime=1053.38
/proc/30979/stat : 30979 (minisat_static) R 30972 30972 20977 0 -1 4202496 33128 0 0 0 105310 28 0 0 25 0 1 0 1007912907 138477568 33025 4294967295 134512640 135215339 3213929648 3213927936 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30979/statm: 33808 33025 73 172 0 33635 0
Current children cumulated CPU time (s) 1062.39
Current children cumulated vsize (KiB) 137652
[startup+1122.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 2105
/proc/meminfo: memFree=1357908/2074464 swapFree=1951868/1959888
[pid=30972] ppid=30970 vsize=2420 CPUtime=9.01
/proc/30972/stat : 30972 (SatELiteGTI) S 30970 30972 20977 0 -1 4194304 385 54188 0 0 0 0 860 41 18 0 1 0 1007912006 2478080 278 4294967295 134512640 135169312 3218215024 3218211240 3085672174 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30972/statm: 605 278 235 161 0 44 0
[pid=30979] ppid=30972 vsize=139652 CPUtime=1113.38
/proc/30979/stat : 30979 (minisat_static) R 30972 30972 20977 0 -1 4202496 34271 0 0 0 111309 29 0 0 25 0 1 0 1007912907 143003648 34168 4294967295 134512640 135215339 3213929648 3213927936 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30979/statm: 34913 34168 73 172 0 34740 0
Current children cumulated CPU time (s) 1122.39
Current children cumulated vsize (KiB) 142072
[startup+1182.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 2292
/proc/meminfo: memFree=1354452/2074464 swapFree=1951868/1959888
[pid=30972] ppid=30970 vsize=2420 CPUtime=9.01
/proc/30972/stat : 30972 (SatELiteGTI) S 30970 30972 20977 0 -1 4194304 385 54188 0 0 0 0 860 41 18 0 1 0 1007912006 2478080 278 4294967295 134512640 135169312 3218215024 3218211240 3085672174 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30972/statm: 605 278 235 161 0 44 0
[pid=30979] ppid=30972 vsize=143260 CPUtime=1173.39
/proc/30979/stat : 30979 (minisat_static) R 30972 30972 20977 0 -1 4202496 35155 0 0 0 117310 29 0 0 25 0 1 0 1007912907 146698240 35052 4294967295 134512640 135215339 3213929648 3213927936 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30979/statm: 35815 35052 73 172 0 35642 0
Current children cumulated CPU time (s) 1182.4
Current children cumulated vsize (KiB) 145680
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1199.92 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 2294
/proc/meminfo: memFree=1353556/2074464 swapFree=1951868/1959888
[pid=30972] ppid=30970 vsize=2420 CPUtime=9.01
/proc/30972/stat : 30972 (SatELiteGTI) S 30970 30972 20977 0 -1 4194304 385 54188 0 0 0 0 860 41 18 0 1 0 1007912006 2478080 278 4294967295 134512640 135169312 3218215024 3218211240 3085672174 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30972/statm: 605 278 235 161 0 44 0
[pid=30979] ppid=30972 vsize=144244 CPUtime=1190.99
/proc/30979/stat : 30979 (minisat_static) R 30972 30972 20977 0 -1 4202496 35380 0 0 0 119067 32 0 0 25 0 1 0 1007912907 147705856 35277 4294967295 134512640 135215339 3213929648 3213927936 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30979/statm: 36061 35277 73 172 0 35888 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 146664
Sending SIGTERM to process tree (bottom up)
SSolver just ended. Dumping a history of the last processes samples
[startup+1199.92 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 2294
/proc/meminfo: memFree=1353556/2074464 swapFree=1951868/1959888
[pid=30972] ppid=30970 vsize=2420 CPUtime=9.01
/proc/30972/stat : 30972 (SatELiteGTI) S 30970 30972 20977 0 -1 4194304 385 54188 0 0 0 0 860 41 18 0 1 0 1007912006 2478080 278 4294967295 134512640 135169312 3218215024 3218211240 3085672174 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/30972/statm: 605 278 235 161 0 44 0
[pid=30979] ppid=30972 vsize=144244 CPUtime=1190.99
/proc/30979/stat : 30979 (minisat_static) R 30972 30972 20977 0 -1 4202496 35380 0 0 0 119067 32 0 0 25 0 1 0 1007912907 147705856 35277 4294967295 134512640 135215339 3213929648 3213927936 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30979/statm: 36061 35277 73 172 0 35888 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 146664
Child status: 143
Real time (s): 1199.94
CPU time (s): 1200.02
CPU user time (s): 1199.27
CPU system time (s): 0.75
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 187196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.27
system time used= 0.75
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90228
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= 21
involuntary context switches= 2330
runsolver used 0.02 second user time and 0.04 second system time
The end
Begin job on tipi10 at 2009-05-16 02:35:07
IDJOB=1820368
IDBENCH=20383
IDSOLVER=657
FILE ID=tipi10/1820368-1242434107
PBS_JOBID=
Free space on /tmp= 5639 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/total-5-17-u.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820368-1242434107/watcher-1820368-1242434107 -o /tmp/evaluation-result-1820368-1242434107/solver-1820368-1242434107 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820368-1242434107.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 9f79c3f75a90db314ed315006ba97d6f
RANDOM SEED= 2136356862
Linux tipi10 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.367
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.37
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.367
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.77
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.367
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.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.367
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.77
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 1514264 kB
Buffers: 26412 kB
Cached: 448524 kB
SwapCached: 2896 kB
Active: 365916 kB
Inactive: 119216 kB
HighTotal: 1178688 kB
HighFree: 721344 kB
LowTotal: 895776 kB
LowFree: 792920 kB
SwapTotal: 1959888 kB
SwapFree: 1951868 kB
Dirty: 24464 kB
Writeback: 0 kB
AnonPages: 9352 kB
Mapped: 3444 kB
Slab: 66808 kB
PageTables: 520 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90592 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 5639 MiB
End job on tipi10 at 2009-05-16 02:55:10