0.00/0.00 c Parsing...
0.00/0.94 c ==============================================================================
0.00/0.95 c | | ORIGINAL | LEARNT | |
0.00/0.95 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.95 c ==============================================================================
0.00/0.95 c | 0 | 1214401 2831586 | 364320 0 0 nan | 0.000 % |
8.88/8.94 c | 0 | 540614 1448055 | -- 0 -- -- | -- | -422902/-817661
8.88/8.94 c ==============================================================================
8.88/8.94 c Result : #vars: 89502 #clauses: 540614 #literals: 1448055
8.88/8.94 c CPU time: 8.62769 s
8.88/8.94 c ==============================================================================
9.46/9.53 c This is MiniSat 2.0 beta
9.46/9.53 c WARNING: for repeatability, setting FPU to use double precision
9.46/9.53 c ============================[ Problem Statistics ]=============================
9.46/9.53 c | |
9.46/9.53 c | Number of variables: 89502 |
9.46/9.53 c | Number of clauses: 540614 |
9.76/9.86 c | Parsing time: 0.28 s |
9.76/9.88 c ============================[ Search Statistics ]==============================
9.76/9.88 c | Conflicts | ORIGINAL | LEARNT | Progress |
9.76/9.88 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
9.76/9.88 c ===============================================================================
9.76/9.88 c | 0 | 89502 540614 1448055 | 180204 0 nan | 0.000 % |
10.04/10.14 c | 100 | 89232 540614 1448055 | 180204 91 38 | 4.455 % |
10.54/10.68 c | 200 | 88985 540614 1448055 | 180204 178 28 | 14.215 % |
11.05/11.10 c | 300 | 76088 456429 1242947 | 180204 260 24 | 17.033 % |
11.35/11.45 c | 410 | 75512 456429 1242947 | 180204 365 23 | 22.275 % |
11.55/11.62 c | 510 | 69479 412292 1135129 | 180204 443 24 | 25.084 % |
11.65/11.79 c | 620 | 69094 412292 1135129 | 180204 548 27 | 30.009 % |
11.85/11.96 c | 741 | 69094 412292 1135129 | 180204 667 27 | 30.028 % |
12.06/12.11 c | 841 | 68891 412292 1135129 | 180204 767 28 | 30.028 % |
12.25/12.38 c | 951 | 68640 412292 1135129 | 180204 877 27 | 30.028 % |
12.85/12.95 c | 1072 | 62624 362355 1008649 | 180204 960 26 | 30.065 % |
13.25/13.33 c | 1207 | 62122 359060 1000559 | 180204 1086 27 | 31.139 % |
13.55/13.63 c | 1307 | 62091 359060 1000559 | 180204 1184 29 | 31.730 % |
13.85/13.98 c | 1420 | 62086 359060 1000559 | 180204 1293 33 | 32.130 % |
14.45/14.53 c | 1541 | 60745 350078 977934 | 180204 1409 38 | 32.244 % |
14.85/14.92 c | 1674 | 59817 343836 962580 | 180204 1531 37 | 33.245 % |
15.25/15.30 c | 1820 | 59769 343836 962580 | 180204 1672 37 | 34.070 % |
15.35/15.43 c | 1920 | 59630 343836 962580 | 180204 1772 37 | 34.070 % |
15.65/15.79 c | 2030 | 59009 338580 949471 | 180204 1876 45 | 34.070 % |
15.95/16.03 c | 2151 | 58993 338580 949471 | 180204 1995 45 | 45.025 % |
16.55/16.61 c | 2284 | 58993 338580 949471 | 180204 2128 49 | 45.025 % |
17.04/17.19 c | 2437 | 49204 274657 774436 | 180204 2138 54 | 45.025 % |
17.55/17.62 c | 2597 | 48886 272679 769255 | 180204 2293 54 | 57.746 % |
17.64/17.79 c | 2697 | 47654 272679 769255 | 180204 2391 53 | 58.040 % |
18.04/18.11 c | 2808 | 47654 272679 769255 | 180204 2502 55 | 58.040 % |
18.44/18.50 c | 2933 | 37555 197855 563901 | 180204 2286 57 | 58.040 % |
18.74/18.84 c | 3068 | 37555 197855 563901 | 180204 2421 58 | 58.040 % |
18.94/19.06 c | 3214 | 37555 197855 563901 | 180204 2567 58 | 58.040 % |
19.54/19.68 c | 3379 | 37555 197855 563901 | 180204 2732 58 | 58.040 % |
20.04/20.17 c | 3556 | 37544 197784 563720 | 180204 2908 60 | 58.052 % |
20.24/20.32 c | 3656 | 37544 197784 563720 | 180204 3008 60 | 58.052 % |
20.34/20.48 c | 3768 | 37544 197784 563720 | 180204 3120 60 | 58.052 % |
20.54/20.67 c | 3889 | 37544 197784 563720 | 180204 3241 61 | 58.052 % |
20.94/21.04 c | 4023 | 37529 197698 563482 | 180204 3373 60 | 58.069 % |
21.04/21.17 c | 4170 | 37529 197698 563482 | 180204 3520 61 | 58.069 % |
21.44/21.51 c | 4330 | 37529 197698 563482 | 180204 3680 61 | 58.069 % |
21.74/21.81 c | 4507 | 37529 197698 563482 | 180204 3857 61 | 58.069 % |
21.95/22.02 c | 4700 | 37529 197698 563482 | 180204 4050 61 | 58.069 % |
22.14/22.27 c | 4800 | 37529 197698 563482 | 180204 4150 61 | 58.069 % |
22.34/22.47 c | 4911 | 37529 197698 563482 | 180204 4261 61 | 58.069 % |
22.64/22.78 c | 5036 | 37529 197698 563482 | 180204 4386 62 | 58.069 % |
22.84/22.96 c | 5170 | 37529 197698 563482 | 180204 4520 62 | 58.069 % |
23.14/23.27 c | 5316 | 37529 197698 563482 | 180204 4666 62 | 58.069 % |
23.74/23.80 c | 5478 | 37529 197698 563482 | 180204 4828 62 | 58.069 % |
24.24/24.38 c | 5655 | 37529 197698 563482 | 180204 5005 62 | 58.069 % |
24.84/24.97 c | 5848 | 37508 197618 563275 | 180204 5192 61 | 58.124 % |
25.34/25.42 c | 6060 | 37508 197618 563275 | 180204 5404 62 | 58.124 % |
25.44/25.60 c | 6160 | 37480 197371 562601 | 180204 5503 62 | 58.124 % |
25.74/25.84 c | 6270 | 37480 197371 562601 | 180204 5613 63 | 58.124 % |
25.94/26.08 c | 6393 | 37479 197371 562601 | 180204 5734 62 | 58.153 % |
26.25/26.35 c | 6527 | 34103 177325 507007 | 180204 5614 64 | 61.897 % |
26.44/26.52 c | 6674 | 34103 177325 507007 | 180204 5761 63 | 61.897 % |
26.64/26.79 c | 6834 | 34103 177325 507007 | 180204 5921 63 | 61.897 % |
26.94/27.09 c | 7010 | 34103 177325 507007 | 180204 6097 63 | 61.897 % |
27.24/27.37 c | 7205 | 34091 177242 506792 | 180204 6289 64 | 62.025 % |
27.74/27.85 c | 7417 | 34091 177242 506792 | 180204 6499 64 | 62.051 % |
28.34/28.42 c | 7651 | 33965 176400 504481 | 180204 6708 65 | 62.057 % |
28.44/28.52 c | 7752 | 33965 176400 504481 | 180204 6809 65 | 62.057 % |
28.74/28.81 c | 7862 | 33965 176400 504481 | 180204 6919 65 | 62.057 % |
28.94/29.02 c | 7984 | 33960 176357 504365 | 180204 7041 65 | 62.057 % |
29.14/29.27 c | 8117 | 33960 176357 504365 | 180204 7174 64 | 62.057 % |
29.34/29.46 c | 8263 | 33960 176357 504365 | 180204 7320 64 | 62.057 % |
29.64/29.74 c | 8423 | 33960 176357 504365 | 180204 7480 64 | 62.057 % |
29.94/30.09 c | 8600 | 33960 176357 504365 | 180204 7657 64 | 62.057 % |
30.34/30.49 c | 8795 | 33960 176357 504365 | 180204 7852 64 | 62.057 % |
30.84/30.93 c | 9008 | 33960 176357 504365 | 180204 8065 63 | 62.057 % |
31.04/31.14 c | 9242 | 33960 176357 504365 | 180204 8299 64 | 62.057 % |
31.54/31.69 c | 9498 | 33948 176264 504128 | 180204 8554 64 | 62.070 % |
31.74/31.88 c | 9598 | 33948 176264 504128 | 180204 8654 64 | 62.070 % |
31.94/32.03 c | 9708 | 33948 176264 504128 | 180204 8764 64 | 62.070 % |
32.24/32.30 c | 9831 | 33948 176264 504128 | 180204 8887 64 | 62.070 % |
32.54/32.67 c | 9967 | 33935 176175 503885 | 180204 9021 64 | 62.100 % |
32.74/32.89 c | 10113 | 33935 176175 503885 | 2147483647 9167 64 | 62.100 % |
33.14/33.21 c | 10274 | 33935 176175 503885 | 2147483647 9328 64 | 62.100 % |
33.54/33.64 c | 10452 | 33935 176175 503885 | 2147483647 9506 63 | 62.100 % |
33.84/33.95 c | 10645 | 33920 176090 503645 | 2147483647 9698 64 | 62.442 % |
34.24/34.33 c | 10859 | 33920 176090 503645 | 2147483647 9912 64 | 62.442 % |
34.64/34.71 c | 11093 | 33920 176090 503645 | 2147483647 10146 64 | 62.442 % |
35.04/35.10 c | 11351 | 33615 174143 498108 | 2147483647 10374 64 | 62.442 % |
35.54/35.60 c | 11632 | 33615 174143 498108 | 2147483647 10655 64 | 62.442 % |
35.74/35.80 c | 11733 | 33615 174143 498108 | 2147483647 10756 64 | 62.442 % |
35.94/36.06 c | 11843 | 33598 174031 497787 | 2147483647 10865 64 | 62.461 % |
36.04/36.18 c | 11965 | 33598 174031 497787 | 2147483647 10987 65 | 62.461 % |
36.54/36.65 c | 12100 | 33598 174031 497787 | 2147483647 11122 65 | 62.461 % |
36.84/36.90 c | 12250 | 33598 174031 497787 | 2147483647 11272 65 | 62.461 % |
37.14/37.23 c | 12410 | 33598 174031 497787 | 2147483647 11432 66 | 62.461 % |
37.64/37.75 c | 12587 | 33598 174031 497787 | 2147483647 11609 66 | 62.461 % |
37.94/38.07 c | 12781 | 33442 173003 495187 | 2147483647 11802 66 | 62.635 % |
38.34/38.49 c | 12995 | 33442 173003 495187 | 2147483647 12016 67 | 62.635 % |
39.14/39.23 c | 13229 | 33442 173003 495187 | 2147483647 12250 67 | 62.635 % |
39.74/39.89 c | 13487 | 33427 172917 494945 | 2147483647 12503 67 | 62.665 % |
40.44/40.50 c | 13769 | 33427 172917 494945 | 2147483647 12785 67 | 62.665 % |
41.24/41.39 c | 14078 | 33413 172829 494704 | 2147483647 13090 67 | 62.704 % |
41.54/41.62 c | 14185 | 33368 172506 493868 | 2147483647 13187 67 | 62.718 % |
41.84/41.95 c | 14296 | 33368 172506 493868 | 2147483647 13298 67 | 62.718 % |
42.04/42.14 c | 14418 | 33368 172506 493868 | 2147483647 13420 67 | 62.718 % |
42.24/42.30 c | 14552 | 33368 172506 493868 | 2147483647 13554 67 | 62.718 % |
42.44/42.56 c | 14698 | 33368 172506 493868 | 2147483647 13700 67 | 62.718 % |
42.74/42.84 c | 14858 | 33368 172506 493868 | 2147483647 13860 67 | 62.718 % |
43.03/43.20 c | 15034 | 33357 172442 493695 | 2147483647 14035 67 | 62.730 % |
43.33/43.45 c | 15227 | 33357 172442 493695 | 2147483647 14228 67 | 62.730 % |
43.94/44.05 c | 15439 | 33357 172442 493695 | 2147483647 14440 67 | 62.730 % |
44.43/44.59 c | 15672 | 33357 172442 493695 | 2147483647 14673 68 | 62.730 % |
45.23/45.39 c | 15928 | 33357 172442 493695 | 2147483647 14929 68 | 62.730 % |
45.73/45.82 c | 16209 | 33189 169277 484722 | 2147483647 15181 67 | 62.918 % |
46.63/46.76 c | 16518 | 33188 169277 484722 | 2147483647 15489 68 | 62.932 % |
47.03/47.11 c | 16857 | 33177 169196 484507 | 2147483647 15827 68 | 62.932 % |
47.13/47.27 c | 16957 | 33177 169196 484507 | 2147483647 15927 68 | 62.932 % |
47.43/47.53 c | 17067 | 33177 169196 484507 | 2147483647 16037 68 | 62.932 % |
47.53/47.69 c | 17189 | 33177 169196 484507 | 2147483647 16159 68 | 62.932 % |
47.93/48.08 c | 17322 | 33177 169196 484507 | 2147483647 16292 68 | 62.932 % |
48.23/48.39 c | 17473 | 33177 169196 484507 | 2147483647 16443 68 | 62.932 % |
48.64/48.72 c | 17635 | 33177 169196 484507 | 2147483647 16605 68 | 62.932 % |
49.04/49.13 c | 17812 | 33177 169196 484507 | 2147483647 16782 68 | 62.932 % |
49.44/49.58 c | 18006 | 33177 169196 484507 | 2147483647 16976 69 | 62.932 % |
49.74/49.82 c | 18218 | 33177 169196 484507 | 2147483647 17188 68 | 62.932 % |
50.24/50.39 c | 18453 | 33177 169196 484507 | 2147483647 17423 69 | 62.932 % |
50.74/50.81 c | 18710 | 32797 166575 477641 | 2147483647 17679 69 | 63.356 % |
51.14/51.25 c | 18992 | 32797 166575 477641 | 2147483647 17961 69 | 63.356 % |
51.54/51.69 c | 19304 | 32797 166575 477641 | 2147483647 18273 70 | 63.356 % |
52.24/52.36 c | 19644 | 32797 166575 477641 | 2147483647 18613 70 | 63.356 % |
53.03/53.15 c | 20019 | 32606 165705 475333 | 2147483647 18970 70 | 63.570 % |
53.23/53.39 c | 20120 | 32606 165705 475333 | 2147483647 19071 70 | 63.570 % |
53.53/53.67 c | 20230 | 32606 165705 475333 | 2147483647 19181 70 | 63.570 % |
53.84/53.93 c | 20354 | 32606 165705 475333 | 2147483647 19305 70 | 63.570 % |
54.13/54.22 c | 20492 | 32606 165705 475333 | 2147483647 19443 71 | 63.570 % |
54.53/54.62 c | 20638 | 32606 165705 475333 | 2147483647 19589 71 | 63.570 % |
54.94/55.09 c | 20800 | 32606 165705 475333 | 2147483647 19751 71 | 63.570 % |
55.33/55.44 c | 20979 | 32606 165705 475333 | 2147483647 19930 71 | 63.570 % |
55.83/55.90 c | 21173 | 32606 165705 475333 | 2147483647 20124 70 | 63.570 % |
56.23/56.32 c | 21385 | 32606 165705 475333 | 2147483647 20336 70 | 63.570 % |
56.63/56.74 c | 21618 | 32606 165705 475333 | 2147483647 20569 70 | 63.570 % |
57.14/57.29 c | 21875 | 32606 165705 475333 | 2147483647 20826 70 | 63.570 % |
57.53/57.63 c | 22156 | 32606 165705 475333 | 2147483647 21107 70 | 63.570 % |
58.03/58.19 c | 22467 | 32606 165705 475333 | 2147483647 21418 70 | 63.570 % |
58.83/58.97 c | 22808 | 32606 165705 475333 | 2147483647 21759 70 | 63.570 % |
59.43/59.55 c | 23181 | 32606 165705 475333 | 2147483647 22132 70 | 63.570 % |
60.44/60.51 c | 23591 | 32606 165705 475333 | 2147483647 22542 70 | 63.570 % |
60.63/60.76 c | 23691 | 32548 165442 474604 | 2147483647 22626 70 | 66.685 % |
60.83/60.95 c | 23801 | 32548 165442 474604 | 2147483647 22736 71 | 66.685 % |
61.03/61.18 c | 23925 | 32548 165442 474604 | 2147483647 22860 71 | 66.685 % |
61.23/61.37 c | 24060 | 32548 165442 474604 | 2147483647 22995 71 | 66.685 % |
61.53/61.65 c | 24206 | 32548 165442 474604 | 2147483647 23141 71 | 66.685 % |
61.83/61.93 c | 24366 | 32548 165442 474604 | 2147483647 23301 71 | 66.685 % |
62.43/62.52 c | 24543 | 32548 165442 474604 | 2147483647 23478 71 | 66.685 % |
62.72/62.83 c | 24736 | 29818 148604 429331 | 2147483647 23611 71 | 66.685 % |
63.12/63.27 c | 24949 | 29818 148604 429331 | 2147483647 23824 71 | 66.685 % |
63.63/63.73 c | 25182 | 29818 148604 429331 | 2147483647 24057 71 | 66.685 % |
64.22/64.37 c | 25441 | 29818 148604 429331 | 2147483647 24316 71 | 66.685 % |
64.83/64.95 c | 25722 | 29795 148427 428869 | 2147483647 24588 71 | 66.710 % |
65.32/65.48 c | 26033 | 29795 148427 428869 | 2147483647 24899 71 | 66.710 % |
65.72/65.89 c | 26372 | 29795 148427 428869 | 2147483647 25238 71 | 66.710 % |
66.32/66.48 c | 26746 | 29795 148427 428869 | 2147483647 25612 71 | 66.710 % |
66.93/67.09 c | 27157 | 29795 148427 428869 | 2147483647 26023 71 | 66.710 % |
67.62/67.80 c | 27606 | 29795 148427 428869 | 2147483647 26472 71 | 66.710 % |
67.82/67.99 c | 27706 | 29795 148427 428869 | 2147483647 26572 71 | 66.710 % |
68.03/68.19 c | 27816 | 29795 148427 428869 | 2147483647 26682 71 | 66.710 % |
68.22/68.37 c | 27937 | 29795 148427 428869 | 2147483647 26803 71 | 66.710 % |
68.52/68.63 c | 28070 | 29795 148427 428869 | 2147483647 26936 71 | 66.710 % |
68.82/68.90 c | 28216 | 29795 148427 428869 | 2147483647 27082 71 | 66.710 % |
69.12/69.21 c | 28376 | 29784 148358 428688 | 2147483647 27240 71 | 66.723 % |
69.52/69.66 c | 28554 | 29784 148358 428688 | 2147483647 27418 71 | 66.723 % |
69.92/70.00 c | 28750 | 29784 148358 428688 | 2147483647 27614 71 | 66.723 % |
70.22/70.40 c | 28964 | 29784 148358 428688 | 2147483647 27828 71 | 66.723 % |
70.62/70.77 c | 29198 | 29784 148358 428688 | 2147483647 28062 71 | 66.723 % |
71.12/71.30 c | 29455 | 29784 148358 428688 | 2147483647 28319 71 | 66.723 % |
71.62/71.79 c | 29737 | 29784 148358 428688 | 2147483647 28601 71 | 66.723 % |
72.32/72.44 c | 30047 | 29784 148358 428688 | 2147483647 28911 71 | 66.723 % |
72.73/72.84 c | 30386 | 29784 148358 428688 | 2147483647 29250 71 | 66.723 % |
73.33/73.45 c | 30758 | 29784 148358 428688 | 2147483647 29622 71 | 66.723 % |
73.93/74.08 c | 31167 | 29784 148358 428688 | 2147483647 30031 70 | 66.723 % |
74.73/74.84 c | 31616 | 29565 147080 425059 | 2147483647 30479 70 | 66.967 % |
76.13/76.20 c | 32109 | 29564 147080 425059 | 2147483647 30971 70 | 66.981 % |
76.33/76.40 c | 32211 | 29564 147080 425059 | 2147483647 31073 70 | 66.981 % |
76.43/76.59 c | 32321 | 29553 146993 424835 | 2147483647 31177 70 | 66.981 % |
76.63/76.78 c | 32442 | 29553 146993 424835 | 2147483647 31298 70 | 66.981 % |
76.93/77.07 c | 32577 | 29553 146993 424835 | 2147483647 31433 70 | 66.981 % |
77.13/77.27 c | 32723 | 29553 146993 424835 | 2147483647 31579 70 | 66.981 % |
77.43/77.53 c | 32883 | 29553 146993 424835 | 2147483647 31739 69 | 66.981 % |
77.73/77.80 c | 33060 | 29553 146993 424835 | 2147483647 31916 69 | 66.981 % |
77.93/78.03 c | 33253 | 29553 146993 424835 | 2147483647 32109 69 | 66.981 % |
78.23/78.35 c | 33468 | 29553 146993 424835 | 2147483647 32324 69 | 66.981 % |
78.53/78.68 c | 33701 | 29553 146993 424835 | 2147483647 32557 69 | 66.981 % |
79.03/79.12 c | 33957 | 29151 144149 417368 | 2147483647 32811 69 | 67.638 % |
79.53/79.61 c | 34240 | 29151 144149 417368 | 2147483647 33094 69 | 67.638 % |
79.93/80.03 c | 34550 | 29151 144149 417368 | 2147483647 33404 69 | 67.638 % |
80.33/80.49 c | 34892 | 29151 144149 417368 | 2147483647 33746 69 | 67.638 % |
81.33/81.44 c | 35264 | 29151 144149 417368 | 2147483647 34118 69 | 67.638 % |
82.43/82.51 c | 35673 | 28965 142938 414260 | 2147483647 34527 69 | 67.638 % |
83.12/83.21 c | 36123 | 28965 142938 414260 | 2147483647 34977 69 | 67.638 % |
84.02/84.11 c | 36620 | 28965 142938 414260 | 2147483647 35474 70 | 67.638 % |
84.82/84.90 c | 37163 | 28965 142938 414260 | 2147483647 36017 70 | 67.638 % |
85.02/85.14 c | 37264 | 28965 142938 414260 | 2147483647 36118 70 | 67.638 % |
85.22/85.35 c | 37374 | 28965 142938 414260 | 2147483647 36228 70 | 67.638 % |
85.42/85.59 c | 37495 | 28965 142938 414260 | 2147483647 36349 70 | 67.638 % |
85.72/85.82 c | 37629 | 28965 142938 414260 | 2147483647 36483 70 | 67.638 % |
86.12/86.22 c | 37777 | 28965 142938 414260 | 2147483647 36631 70 | 67.638 % |
86.42/86.54 c | 37939 | 28965 142938 414260 | 2147483647 36793 70 | 67.638 % |
86.82/86.97 c | 38116 | 28965 142938 414260 | 2147483647 36970 70 | 67.638 % |
87.22/87.32 c | 38309 | 28965 142938 414260 | 2147483647 37163 70 | 67.638 % |
87.72/87.89 c | 38521 | 28965 142938 414260 | 2147483647 37375 70 | 67.638 % |
88.02/88.11 c | 38756 | 28965 142938 414260 | 2147483647 37610 70 | 67.638 % |
88.72/88.87 c | 39014 | 28953 142852 414021 | 2147483647 37859 70 | 67.651 % |
89.42/89.58 c | 39295 | 28953 142852 414021 | 2147483647 38140 70 | 67.651 % |
90.12/90.21 c | 39604 | 28953 142852 414021 | 2147483647 38448 70 | 67.666 % |
90.82/90.92 c | 39943 | 28953 142852 414021 | 2147483647 38787 70 | 67.666 % |
91.32/91.45 c | 40316 | 28953 142852 414021 | 2147483647 39160 71 | 67.666 % |
92.32/92.43 c | 40725 | 28940 142778 413808 | 2147483647 39568 71 | 67.666 % |
93.22/93.37 c | 41174 | 28939 142778 413808 | 2147483647 40016 71 | 67.682 % |
94.22/94.30 c | 41667 | 28939 142778 413808 | 2147483647 40509 71 | 67.682 % |
95.11/95.27 c | 42210 | 28939 142778 413808 | 2147483647 41052 71 | 67.682 % |
96.31/96.43 c | 42806 | 28925 142701 413603 | 2147483647 41647 71 | 67.682 % |
96.51/96.60 c | 42907 | 28925 142701 413603 | 2147483647 41748 71 | 67.682 % |
96.62/96.80 c | 43017 | 28925 142701 413603 | 2147483647 41858 71 | 67.682 % |
96.81/96.96 c | 43139 | 28925 142701 413603 | 2147483647 41980 71 | 67.682 % |
97.11/97.26 c | 43272 | 28925 142701 413603 | 2147483647 42113 71 | 67.682 % |
97.41/97.55 c | 43419 | 28925 142701 413603 | 2147483647 42260 71 | 67.682 % |
97.82/97.93 c | 43579 | 28925 142701 413603 | 2147483647 42420 71 | 67.682 % |
98.21/98.36 c | 43756 | 28925 142701 413603 | 2147483647 42597 71 | 67.682 % |
98.71/98.83 c | 43949 | 28925 142701 413603 | 2147483647 42790 71 | 67.682 % |
99.01/99.16 c | 44163 | 28925 142701 413603 | 2147483647 43004 71 | 67.682 % |
99.32/99.50 c | 44397 | 28925 142701 413603 | 2147483647 43238 71 | 67.682 % |
99.82/99.97 c | 44654 | 28925 142701 413603 | 2147483647 43495 71 | 67.682 % |
100.42/100.50 c | 44935 | 28925 142701 413603 | 2147483647 43776 71 | 67.682 % |
100.92/101.05 c | 45245 | 28925 142701 413603 | 2147483647 44086 71 | 67.682 % |
101.62/101.74 c | 45585 | 28925 142701 413603 | 2147483647 44426 71 | 67.682 % |
102.52/102.62 c | 45958 | 28409 139416 404554 | 2147483647 44728 71 | 68.259 % |
103.32/103.50 c | 46370 | 28409 139416 404554 | 2147483647 45140 71 | 68.259 % |
104.02/104.19 c | 46819 | 28409 139416 404554 | 2147483647 45589 71 | 68.259 % |
105.32/105.45 c | 47314 | 28409 139416 404554 | 2147483647 46083 71 | 68.260 % |
106.52/106.61 c | 47856 | 28409 139416 404554 | 2147483647 46625 71 | 68.260 % |
107.51/107.69 c | 48453 | 28408 139403 404518 | 2147483647 47187 71 | 68.260 % |
108.81/108.96 c | 49109 | 28408 139403 404518 | 2147483647 47843 71 | 68.260 % |
109.01/109.17 c | 49209 | 28408 139403 404518 | 2147483647 47943 71 | 68.260 % |
109.21/109.37 c | 49321 | 28408 139403 404518 | 2147483647 48055 71 | 68.260 % |
109.41/109.58 c | 49442 | 28408 139403 404518 | 2147483647 48176 71 | 68.260 % |
109.60/109.77 c | 49576 | 28408 139403 404518 | 2147483647 48310 71 | 68.260 % |
109.91/110.07 c | 49722 | 28408 139403 404518 | 2147483647 48456 71 | 68.260 % |
110.20/110.35 c | 49883 | 28408 139403 404518 | 2147483647 48617 71 | 68.260 % |
110.61/110.77 c | 50064 | 28408 139403 404518 | 2147483647 48798 71 | 68.260 % |
110.91/111.03 c | 50258 | 28408 139403 404518 | 2147483647 48992 71 | 68.260 % |
111.21/111.34 c | 50473 | 28408 139403 404518 | 2147483647 49207 71 | 68.260 % |
111.61/111.70 c | 50708 | 28408 139403 404518 | 2147483647 49442 71 | 68.260 % |
111.90/112.02 c | 50965 | 28408 139403 404518 | 2147483647 49699 71 | 68.260 % |
112.50/112.69 c | 51246 | 28408 139403 404518 | 2147483647 49980 71 | 68.260 % |
113.21/113.37 c | 51557 | 28408 139403 404518 | 2147483647 50291 71 | 68.260 % |
113.90/114.05 c | 51899 | 28408 139403 404518 | 2147483647 50633 71 | 68.260 % |
114.70/114.80 c | 52271 | 28408 139403 404518 | 2147483647 51005 71 | 68.260 % |
115.20/115.36 c | 52680 | 28408 139403 404518 | 2147483647 51414 70 | 68.260 % |
116.10/116.22 c | 53130 | 28408 139403 404518 | 2147483647 51864 70 | 68.260 % |
116.70/116.84 c | 53627 | 28408 139403 404518 | 2147483647 52361 70 | 68.260 % |
117.90/118.05 c | 54171 | 28408 139403 404518 | 2147483647 52905 71 | 68.260 % |
118.80/118.97 c | 54767 | 28408 139403 404518 | 2147483647 53501 71 | 68.260 % |
120.00/120.19 c | 55424 | 28408 139403 404518 | 2147483647 54158 71 | 68.260 % |
121.91/122.04 c | 56145 | 28408 139403 404518 | 2147483647 54879 71 | 68.260 % |
122.21/122.34 c | 56245 | 28408 139403 404518 | 2147483647 54979 71 | 68.260 % |
122.51/122.62 c | 56358 | 28408 139403 404518 | 2147483647 55092 71 | 68.260 % |
122.81/122.92 c | 56480 | 28408 139403 404518 | 2147483647 55214 71 | 68.260 % |
123.01/123.11 c | 56613 | 28408 139403 404518 | 2147483647 55347 71 | 68.260 % |
123.21/123.35 c | 56759 | 28408 139403 404518 | 2147483647 55493 71 | 68.260 % |
123.51/123.64 c | 56920 | 28408 139403 404518 | 2147483647 55654 71 | 68.260 % |
123.80/123.94 c | 57099 | 28408 139403 404518 | 2147483647 55833 71 | 68.260 % |
124.11/124.29 c | 57293 | 28408 139403 404518 | 2147483647 56027 71 | 68.260 % |
124.50/124.67 c | 57505 | 28408 139403 404518 | 2147483647 56239 71 | 68.260 % |
124.90/125.07 c | 57740 | 28408 139403 404518 | 2147483647 56474 71 | 68.260 % |
125.50/125.64 c | 57997 | 28408 139403 404518 | 2147483647 56731 71 | 68.260 % |
126.20/126.34 c | 58278 | 28408 139403 404518 | 2147483647 57012 71 | 68.260 % |
126.90/127.05 c | 58589 | 28408 139403 404518 | 2147483647 57323 71 | 68.260 % |
127.51/127.65 c | 58928 | 28408 139403 404518 | 2147483647 57662 71 | 68.260 % |
128.20/128.33 c | 59300 | 28408 139403 404518 | 2147483647 58034 71 | 68.260 % |
128.80/128.98 c | 59713 | 28408 139403 404518 | 2147483647 58447 71 | 68.260 % |
129.80/129.92 c | 60162 | 28408 139403 404518 | 2147483647 58896 71 | 68.260 % |
130.81/130.93 c | 60657 | 28408 139403 404518 | 2147483647 59391 71 | 68.260 % |
131.60/131.72 c | 61199 | 28408 139403 404518 | 2147483647 59933 71 | 68.260 % |
133.01/133.13 c | 61797 | 28408 139403 404518 | 2147483647 60531 71 | 68.260 % |
134.40/134.51 c | 62453 | 28408 139403 404518 | 2147483647 61187 71 | 68.260 % |
135.40/135.58 c | 63174 | 28408 139403 404518 | 2147483647 61908 71 | 68.260 % |
137.40/137.60 c | 63968 | 28408 139403 404518 | 2147483647 62702 71 | 68.260 % |
137.70/137.84 c | 64070 | 28408 139403 404518 | 2147483647 62804 71 | 68.260 % |
138.00/138.11 c | 64181 | 28408 139403 404518 | 2147483647 62915 71 | 68.260 % |
138.20/138.36 c | 64302 | 28408 139403 404518 | 2147483647 63036 71 | 68.260 % |
138.50/138.68 c | 64435 | 28408 139403 404518 | 2147483647 63169 71 | 68.260 % |
138.80/138.95 c | 64581 | 28408 139403 404518 | 2147483647 63315 71 | 68.260 % |
139.00/139.14 c | 64741 | 28408 139403 404518 | 2147483647 63475 71 | 68.260 % |
139.40/139.51 c | 64918 | 28408 139403 404518 | 2147483647 63652 71 | 68.260 % |
139.70/139.84 c | 65111 | 28408 139403 404518 | 2147483647 63845 71 | 68.260 % |
140.10/140.24 c | 65325 | 28045 136958 398174 | 2147483647 64057 71 | 68.684 % |
140.50/140.70 c | 65560 | 28045 136958 398174 | 2147483647 64292 71 | 68.684 % |
141.00/141.13 c | 65816 | 28045 136958 398174 | 2147483647 64548 71 | 68.684 % |
141.70/141.86 c | 66097 | 28045 136958 398174 | 2147483647 64829 71 | 68.685 % |
142.29/142.40 c | 66407 | 28045 136958 398174 | 2147483647 65139 71 | 68.684 % |
142.80/142.93 c | 66749 | 28045 136958 398174 | 2147483647 65481 70 | 68.685 % |
143.49/143.65 c | 67123 | 28045 136958 398174 | 2147483647 65855 70 | 68.685 % |
144.69/144.85 c | 67532 | 28045 136958 398174 | 2147483647 66264 70 | 68.685 % |
145.69/145.80 c | 67981 | 28045 136958 398174 | 2147483647 66713 70 | 68.684 % |
146.70/146.85 c | 68474 | 28045 136958 398174 | 2147483647 67206 70 | 68.684 % |
147.80/147.99 c | 69016 | 28028 136854 397888 | 2147483647 67746 71 | 68.684 % |
148.90/149.06 c | 69612 | 28028 136854 397888 | 2147483647 68342 71 | 68.684 % |
150.09/150.23 c | 70267 | 28028 136854 397888 | 2147483647 68997 71 | 68.684 % |
151.49/151.64 c | 70987 | 28028 136854 397888 | 2147483647 69717 71 | 68.685 % |
152.99/153.17 c | 71782 | 28028 136854 397888 | 2147483647 70512 71 | 68.684 % |
154.38/154.55 c | 72654 | 28028 136854 397888 | 2147483647 71384 71 | 68.684 % |
154.58/154.74 c | 72758 | 28028 136854 397888 | 2147483647 71488 71 | 68.684 % |
154.78/154.95 c | 72869 | 28028 136854 397888 | 2147483647 71599 70 | 68.685 % |
154.99/155.11 c | 72991 | 28028 136854 397888 | 2147483647 71721 70 | 68.684 % |
155.18/155.39 c | 73126 | 28028 136854 397888 | 2147483647 71856 70 | 68.684 % |
155.58/155.71 c | 73274 | 28028 136854 397888 | 2147483647 72004 70 | 68.685 % |
156.09/156.22 c | 73434 | 28028 136854 397888 | 2147483647 72164 70 | 68.684 % |
156.48/156.66 c | 73610 | 28028 136854 397888 | 2147483647 72340 70 | 68.685 % |
156.98/157.15 c | 73803 | 28028 136854 397888 | 2147483647 72533 70 | 68.684 % |
157.48/157.64 c | 74015 | 28028 136854 397888 | 2147483647 72745 70 | 68.685 % |
157.98/158.13 c | 74249 | 28028 136854 397888 | 2147483647 72979 70 | 68.684 % |
158.48/158.67 c | 74507 | 28028 136854 397888 | 2147483647 73237 70 | 68.684 % |
158.98/159.15 c | 74788 | 28028 136854 397888 | 2147483647 73518 70 | 68.684 % |
159.68/159.83 c | 75101 | 28028 136854 397888 | 2147483647 73831 70 | 68.684 % |
160.28/160.41 c | 75440 | 28028 136854 397888 | 2147483647 74170 70 | 68.684 % |
161.08/161.23 c | 75812 | 28028 136854 397888 | 2147483647 74542 70 | 68.684 % |
161.88/162.09 c | 76221 | 28028 136854 397888 | 2147483647 74951 70 | 68.684 % |
162.78/162.99 c | 76670 | 28028 136854 397888 | 2147483647 75400 70 | 68.684 % |
163.98/164.12 c | 77165 | 28028 136854 397888 | 2147483647 75895 70 | 68.684 % |
164.98/165.12 c | 77710 | 28028 136854 397888 | 2147483647 76440 70 | 68.684 % |
166.19/166.33 c | 78306 | 28028 136854 397888 | 2147483647 77036 70 | 68.684 % |
167.29/167.42 c | 78961 | 28028 136854 397888 | 2147483647 77691 69 | 68.684 % |
168.68/168.81 c | 79681 | 28028 136854 397888 | 2147483647 78411 69 | 68.684 % |
169.98/170.11 c | 80474 | 28028 136854 397888 | 2147483647 79204 69 | 68.685 % |
171.28/171.48 c | 81345 | 28028 136854 397888 | 2147483647 80075 69 | 68.684 % |
172.98/173.12 c | 82303 | 28028 136854 397888 | 2147483647 81033 69 | 68.684 % |
173.08/173.30 c | 82403 | 28028 136854 397888 | 2147483647 81133 69 | 68.684 % |
173.38/173.52 c | 82517 | 28028 136854 397888 | 2147483647 81247 69 | 68.684 % |
173.59/173.71 c | 82638 | 28028 136854 397888 | 2147483647 81368 69 | 68.684 % |
173.78/173.97 c | 82771 | 27966 136461 396828 | 2147483647 81500 69 | 68.754 % |
174.08/174.29 c | 82919 | 27966 136461 396828 | 2147483647 81648 69 | 68.754 % |
174.38/174.57 c | 83080 | 27966 136461 396828 | 2147483647 81809 69 | 68.754 % |
174.58/174.79 c | 83256 | 27966 136461 396828 | 2147483647 81985 69 | 68.754 % |
175.08/175.22 c | 83449 | 27966 136461 396828 | 2147483647 82178 69 | 68.754 % |
175.48/175.62 c | 83662 | 27966 136461 396828 | 2147483647 82391 69 | 68.754 % |
175.88/176.01 c | 83895 | 27966 136461 396828 | 2147483647 82624 69 | 68.754 % |
176.28/176.40 c | 84151 | 27966 136461 396828 | 2147483647 82880 69 | 68.754 % |
176.78/176.90 c | 84433 | 27966 136461 396828 | 2147483647 83162 69 | 68.754 % |
177.68/177.88 c | 84742 | 27966 136461 396828 | 2147483647 83471 69 | 68.754 % |
178.48/178.60 c | 85081 | 27966 136461 396828 | 2147483647 83810 69 | 68.754 % |
179.18/179.33 c | 85454 | 27966 136461 396828 | 2147483647 84183 69 | 68.754 % |
180.08/180.27 c | 85864 | 27966 136461 396828 | 2147483647 84593 69 | 68.754 % |
180.97/181.14 c | 86313 | 27966 136461 396828 | 2147483647 85042 69 | 68.754 % |
181.97/182.19 c | 86806 | 27949 136360 396515 | 2147483647 85534 69 | 68.773 % |
183.77/183.90 c | 87349 | 27949 136360 396515 | 2147483647 86077 69 | 68.773 % |
185.17/185.31 c | 87945 | 27948 136360 396515 | 2147483647 86672 69 | 68.785 % |
186.47/186.66 c | 88601 | 27948 136360 396515 | 2147483647 87328 69 | 68.785 % |
187.56/187.80 c | 89321 | 27948 136360 396515 | 2147483647 88048 69 | 68.785 % |
188.86/189.02 c | 90113 | 27948 136360 396515 | 2147483647 88840 69 | 68.785 % |
190.36/190.52 c | 90985 | 27948 136360 396515 | 2147483647 89712 68 | 68.785 % |
192.07/192.29 c | 91944 | 27938 136298 396343 | 2147483647 90667 68 | 68.800 % |
194.37/194.53 c | 92999 | 27938 136298 396343 | 2147483647 91722 68 | 68.800 % |
194.57/194.77 c | 93100 | 27938 136298 396343 | 2147483647 91823 68 | 68.800 % |
194.87/195.07 c | 93210 | 27938 136298 396343 | 2147483647 91933 68 | 68.800 % |
195.27/195.42 c | 93332 | 27938 136298 396343 | 2147483647 92055 68 | 68.800 % |
195.57/195.77 c | 93465 | 27938 136298 396343 | 2147483647 92188 68 | 68.800 % |
195.87/196.07 c | 93611 | 27938 136298 396343 | 2147483647 92334 68 | 68.800 % |
196.37/196.52 c | 93771 | 27938 136298 396343 | 2147483647 92494 68 | 68.800 % |
196.86/197.01 c | 93947 | 27938 136298 396343 | 2147483647 92670 68 | 68.800 % |
197.36/197.56 c | 94140 | 27938 136298 396343 | 2147483647 92863 68 | 68.800 % |
198.26/198.41 c | 94352 | 27938 136298 396343 | 2147483647 93074 68 | 68.811 % |
198.96/199.16 c | 94585 | 27938 136298 396343 | 2147483647 93307 68 | 68.811 % |
199.55/199.77 c | 94844 | 27938 136298 396343 | 2147483647 93566 68 | 68.811 % |
200.25/200.48 c | 95125 | 27915 136148 395951 | 2147483647 93845 68 | 68.811 % |
201.06/201.25 c | 95438 | 27915 136148 395951 | 2147483647 94158 68 | 68.811 % |
201.75/201.95 c | 95777 | 27915 136148 395951 | 2147483647 94497 68 | 68.811 % |
202.85/203.03 c | 96151 | 27915 136148 395951 | 2147483647 94871 68 | 68.811 % |
203.75/203.96 c | 96560 | 27915 136148 395951 | 2147483647 95280 68 | 68.811 % |
204.75/204.91 c | 97012 | 27915 136148 395951 | 2147483647 95732 68 | 68.811 % |
205.65/205.89 c | 97506 | 27915 136148 395951 | 2147483647 96226 69 | 68.811 % |
206.45/206.64 c | 98048 | 27915 136148 395951 | 2147483647 96768 69 | 68.811 % |
207.65/207.85 c | 98644 | 27915 136148 395951 | 2147483647 97364 69 | 68.811 % |
209.75/209.95 c | 99299 | 27915 136148 395951 | 2147483647 98019 69 | 68.811 % |
211.75/211.97 c | 100019 | 27915 136148 395951 | 2147483647 98739 69 | 68.811 % |
213.35/213.60 c | 100812 | 27915 136148 395951 | 2147483647 99532 69 | 68.811 % |
215.24/215.45 c | 101684 | 27915 136148 395951 | 2147483647 100404 69 | 68.811 % |
217.04/217.28 c | 102644 | 27915 136148 395951 | 2147483647 101364 69 | 68.811 % |
219.55/219.79 c | 103698 | 27915 136148 395951 | 2147483647 102418 69 | 68.811 % |
222.35/222.53 c | 104856 | 27915 136148 395951 | 2147483647 103576 69 | 68.811 % |
222.55/222.73 c | 104957 | 27915 136148 395951 | 2147483647 103677 69 | 68.811 % |
222.75/222.95 c | 105069 | 27915 136148 395951 | 2147483647 103789 69 | 68.811 % |
222.95/223.20 c | 105191 | 27915 136148 395951 | 2147483647 103911 69 | 68.811 % |
223.35/223.54 c | 105327 | 27915 136148 395951 | 2147483647 104047 69 | 68.811 % |
223.65/223.81 c | 105474 | 27915 136148 395951 | 2147483647 104194 69 | 68.811 % |
224.05/224.23 c | 105636 | 27915 136148 395951 | 2147483647 104356 69 | 68.811 % |
224.45/224.66 c | 105813 | 27915 136148 395951 | 2147483647 104533 69 | 68.811 % |
224.94/225.13 c | 106007 | 27915 136148 395951 | 2147483647 104727 69 | 68.811 % |
225.54/225.70 c | 106219 | 27915 136148 395951 | 2147483647 104939 69 | 68.811 % |
226.04/226.22 c | 106454 | 27915 136148 395951 | 2147483647 105174 69 | 68.811 % |
226.64/226.85 c | 106710 | 27915 136148 395951 | 2147483647 105430 69 | 68.811 % |
227.24/227.48 c | 106991 | 27915 136148 395951 | 2147483647 105711 69 | 68.811 % |
228.04/228.25 c | 107300 | 27915 136148 395951 | 2147483647 106020 69 | 68.811 % |
228.74/228.97 c | 107639 | 27915 136148 395951 | 2147483647 106359 69 | 68.811 % |
229.44/229.65 c | 108011 | 27915 136148 395951 | 2147483647 106731 69 | 68.811 % |
230.34/230.55 c | 108421 | 27915 136148 395951 | 2147483647 107141 69 | 68.811 % |
231.14/231.36 c | 108872 | 27915 136148 395951 | 2147483647 107592 69 | 68.811 % |
232.44/232.62 c | 109367 | 27915 136148 395951 | 2147483647 108087 69 | 68.811 % |
233.84/234.09 c | 109909 | 27915 136148 395951 | 2147483647 108629 68 | 68.811 % |
235.44/235.62 c | 110505 | 27915 136148 395951 | 2147483647 109225 68 | 68.811 % |
237.24/237.44 c | 111160 | 27915 136148 395951 | 2147483647 109880 69 | 68.811 % |
238.94/239.14 c | 111881 | 27915 136148 395951 | 2147483647 110601 69 | 68.811 % |
241.63/241.81 c | 112674 | 27915 136148 395951 | 2147483647 111394 69 | 68.811 % |
243.83/244.01 c | 113545 | 27915 136148 395951 | 2147483647 112265 68 | 68.811 % |
245.73/245.91 c | 114503 | 27915 136148 395951 | 2147483647 113223 68 | 68.811 % |
248.13/248.31 c | 115557 | 27915 136148 395951 | 2147483647 114277 68 | 68.811 % |
250.82/251.00 c | 116715 | 27915 136148 395951 | 2147483647 115435 68 | 68.811 % |
253.72/253.98 c | 117988 | 27915 136148 395951 | 2147483647 116708 68 | 68.811 % |
254.02/254.24 c | 118088 | 27915 136148 395951 | 2147483647 116808 68 | 68.811 % |
254.22/254.47 c | 118199 | 27915 136148 395951 | 2147483647 116919 68 | 68.811 % |
254.52/254.79 c | 118322 | 27915 136148 395951 | 2147483647 117042 68 | 68.811 % |
254.82/255.07 c | 118457 | 27915 136148 395951 | 2147483647 117177 68 | 68.811 % |
255.12/255.36 c | 118606 | 27915 136148 395951 | 2147483647 117326 68 | 68.811 % |
255.53/255.78 c | 118767 | 27915 136148 395951 | 2147483647 117487 68 | 68.811 % |
256.04/256.23 c | 118943 | 27915 136148 395951 | 2147483647 117663 68 | 68.811 % |
256.53/256.74 c | 119138 | 27915 136148 395951 | 2147483647 117858 68 | 68.811 % |
257.13/257.35 c | 119352 | 27915 136148 395951 | 2147483647 118072 68 | 68.811 % |
257.73/257.92 c | 119585 | 27915 136148 395951 | 2147483647 118305 68 | 68.811 % |
258.33/258.52 c | 119842 | 27915 136148 395951 | 2147483647 118562 68 | 68.811 % |
259.23/259.49 c | 120126 | 27915 136148 395951 | 2147483647 118846 68 | 68.811 % |
260.13/260.39 c | 120435 | 27915 136148 395951 | 2147483647 119155 68 | 68.811 % |
261.03/261.29 c | 120774 | 27915 136148 395951 | 2147483647 119494 68 | 68.811 % |
261.93/262.14 c | 121149 | 27915 136148 395951 | 2147483647 119869 68 | 68.811 % |
263.02/263.24 c | 121561 | 27915 136148 395951 | 2147483647 120281 68 | 68.811 % |
263.92/264.10 c | 122012 | 27915 136148 395951 | 2147483647 120732 68 | 68.811 % |
264.83/265.04 c | 122505 | 27915 136148 395951 | 2147483647 121225 68 | 68.811 % |
266.12/266.35 c | 123047 | 27915 136148 395951 | 2147483647 121767 68 | 68.811 % |
267.42/267.62 c | 123646 | 27915 136148 395951 | 2147483647 122366 68 | 68.811 % |
269.12/269.38 c | 124301 | 27915 136148 395951 | 2147483647 123021 68 | 68.811 % |
271.22/271.42 c | 125021 | 27915 136148 395951 | 2147483647 123741 68 | 68.811 % |
273.62/273.81 c | 125814 | 27915 136148 395951 | 2147483647 124534 68 | 68.811 % |
275.62/275.87 c | 126686 | 27915 136148 395951 | 2147483647 125406 68 | 68.811 % |
278.02/278.29 c | 127644 | 27915 136148 395951 | 2147483647 126364 68 | 68.811 % |
280.52/280.73 c | 128704 | 27915 136148 395951 | 2147483647 127424 68 | 68.811 % |
283.02/283.21 c | 129862 | 27915 136148 395951 | 2147483647 128582 68 | 68.811 % |
286.71/286.98 c | 131135 | 27915 136148 395951 | 2147483647 129855 68 | 68.811 % |
291.31/291.52 c | 132535 | 27915 136148 395951 | 2147483647 131255 68 | 68.811 % |
291.61/291.86 c | 132638 | 27915 136148 395951 | 2147483647 131358 68 | 68.811 % |
292.01/292.25 c | 132750 | 27915 136148 395951 | 2147483647 131470 68 | 68.811 % |
292.31/292.58 c | 132873 | 27915 136148 395951 | 2147483647 131593 68 | 68.811 % |
292.71/292.92 c | 133006 | 27915 136148 395951 | 2147483647 131726 68 | 68.811 % |
293.11/293.35 c | 133152 | 27915 136148 395951 | 2147483647 131872 68 | 68.811 % |
293.51/293.72 c | 133312 | 27915 136148 395951 | 2147483647 132032 68 | 68.811 % |
294.11/294.34 c | 133489 | 27915 136148 395951 | 2147483647 132209 68 | 68.811 % |
294.81/295.03 c | 133682 | 27915 136148 395951 | 2147483647 132402 68 | 68.811 % |
295.51/295.73 c | 133896 | 27915 136148 395951 | 2147483647 132616 68 | 68.811 % |
296.31/296.56 c | 134130 | 27915 136148 395951 | 2147483647 132850 68 | 68.811 % |
297.11/297.36 c | 134386 | 27915 136148 395951 | 2147483647 133106 68 | 68.811 % |
298.01/298.27 c | 134668 | 27915 136148 395951 | 2147483647 133388 68 | 68.811 % |
299.11/299.33 c | 134978 | 27915 136148 395951 | 2147483647 133698 68 | 68.811 % |
299.91/300.19 c | 135317 | 27915 136148 395951 | 2147483647 134037 68 | 68.811 % |
300.81/301.01 c | 135690 | 27915 136148 395951 | 2147483647 134410 68 | 68.811 % |
301.80/302.00 c | 136100 | 27915 136148 395951 | 2147483647 134820 68 | 68.811 % |
303.00/303.24 c | 136551 | 27915 136148 395951 | 2147483647 135271 68 | 68.811 % |
304.31/304.60 c | 137045 | 27915 136148 395951 | 2147483647 135765 68 | 68.811 % |
305.81/306.07 c | 137587 | 27915 136148 395951 | 2147483647 136307 68 | 68.811 % |
307.51/307.77 c | 138185 | 27914 136144 395941 | 2147483647 136904 69 | 68.812 % |
309.11/309.33 c | 138840 | 27914 136144 395941 | 2147483647 137559 69 | 68.812 % |
311.21/311.46 c | 139561 | 27914 136144 395941 | 2147483647 138280 69 | 68.812 % |
312.91/313.19 c | 140353 | 27914 136144 395941 | 2147483647 139072 69 | 68.812 % |
315.10/315.36 c | 141224 | 27914 136144 395941 | 2147483647 139943 69 | 68.812 % |
317.40/317.60 c | 142182 | 27913 136144 395941 | 2147483647 140900 69 | 68.911 % |
320.90/321.18 c | 143236 | 27913 136144 395941 | 2147483647 141954 69 | 68.911 % |
324.00/324.22 c | 144394 | 27913 136144 395941 | 2147483647 143112 69 | 68.911 % |
328.90/329.12 c | 145668 | 27825 135521 394290 | 2147483647 144385 69 | 68.924 % |
333.39/333.68 c | 147068 | 27825 135521 394290 | 2147483647 145785 69 | 68.924 % |
337.09/337.34 c | 148609 | 27825 135521 394290 | 2147483647 147326 69 | 68.924 % |
337.49/337.78 c | 148710 | 27825 135521 394290 | 2147483647 147427 69 | 68.924 % |
337.99/338.21 c | 148820 | 27825 135521 394290 | 2147483647 147537 69 | 68.924 % |
338.39/338.66 c | 148942 | 27825 135521 394290 | 2147483647 147659 69 | 68.924 % |
338.79/339.07 c | 149076 | 27825 135521 394290 | 2147483647 147793 69 | 68.924 % |
339.29/339.53 c | 149222 | 27825 135521 394290 | 2147483647 147939 69 | 68.924 % |
339.79/340.01 c | 149382 | 27825 135521 394290 | 2147483647 148099 69 | 68.924 % |
340.29/340.55 c | 149558 | 27825 135521 394290 | 2147483647 148275 69 | 68.924 % |
340.99/341.29 c | 149751 | 27825 135521 394290 | 2147483647 148468 69 | 68.924 % |
341.69/341.99 c | 149963 | 27825 135521 394290 | 2147483647 148680 69 | 68.924 % |
342.79/343.04 c | 150196 | 27825 135521 394290 | 2147483647 148913 69 | 68.924 % |
343.39/343.65 c | 150453 | 27825 135521 394290 | 2147483647 149170 69 | 68.924 % |
344.49/344.79 c | 150736 | 27813 135446 394099 | 2147483647 149451 69 | 68.925 % |
345.59/345.85 c | 151045 | 27813 135446 394099 | 2147483647 149760 69 | 68.925 % |
346.69/346.93 c | 151384 | 27813 135446 394099 | 2147483647 150099 69 | 68.925 % |
347.69/347.91 c | 151756 | 27813 135446 394099 | 2147483647 150471 69 | 68.925 % |
348.79/349.06 c | 152165 | 27813 135446 394099 | 2147483647 150880 69 | 68.925 % |
349.89/350.12 c | 152615 | 27813 135446 394099 | 2147483647 151330 70 | 68.925 % |
351.19/351.41 c | 153110 | 27813 135446 394099 | 2147483647 151825 69 | 68.925 % |
352.08/352.31 c | 153653 | 27813 135446 394099 | 2147483647 152368 70 | 68.925 % |
353.48/353.73 c | 154250 | 27813 135446 394099 | 2147483647 152965 70 | 68.925 % |
354.69/354.90 c | 154905 | 27813 135446 394099 | 2147483647 153620 70 | 68.925 % |
357.29/357.54 c | 155625 | 27813 135446 394099 | 2147483647 154340 70 | 68.925 % |
359.58/359.89 c | 156417 | 27813 135446 394099 | 2147483647 155132 70 | 68.925 % |
362.38/362.64 c | 157291 | 27813 135446 394099 | 2147483647 156006 70 | 68.925 % |
365.48/365.72 c | 158249 | 27813 135443 394093 | 2147483647 156964 70 | 68.925 % |
368.98/369.22 c | 159304 | 27813 135443 394093 | 2147483647 158019 70 | 68.925 % |
372.98/373.27 c | 160462 | 27813 135443 394093 | 2147483647 159177 70 | 68.925 % |
376.87/377.11 c | 161735 | 27813 135443 394093 | 2147483647 160450 70 | 68.925 % |
381.17/381.47 c | 163135 | 27813 135443 394093 | 2147483647 161850 70 | 68.925 % |
385.67/385.97 c | 164677 | 27813 135443 394093 | 2147483647 163392 70 | 68.925 % |
389.76/390.04 c | 166371 | 27813 135443 394093 | 2147483647 165086 70 | 68.925 % |
389.96/390.28 c | 166472 | 27813 135443 394093 | 2147483647 165187 70 | 68.925 % |
390.36/390.62 c | 166582 | 27813 135443 394093 | 2147483647 165297 70 | 68.925 % |
390.66/390.95 c | 166703 | 27813 135443 394093 | 2147483647 165418 70 | 68.925 % |
391.26/391.53 c | 166838 | 27813 135443 394093 | 2147483647 165553 70 | 68.925 % |
391.76/392.02 c | 166985 | 27813 135443 394093 | 2147483647 165700 70 | 68.925 % |
392.36/392.67 c | 167145 | 27813 135443 394093 | 2147483647 165860 70 | 68.925 % |
393.06/393.33 c | 167321 | 27813 135443 394093 | 2147483647 166036 70 | 68.925 % |
393.76/394.03 c | 167515 | 27813 135443 394093 | 2147483647 166230 70 | 68.925 % |
394.56/394.89 c | 167727 | 27813 135443 394093 | 2147483647 166442 70 | 68.925 % |
395.46/395.74 c | 167960 | 27813 135443 394093 | 2147483647 166675 70 | 68.925 % |
396.27/396.56 c | 168216 | 27813 135443 394093 | 2147483647 166931 70 | 68.925 % |
397.17/397.42 c | 168497 | 27813 135443 394093 | 2147483647 167212 70 | 68.925 % |
398.26/398.59 c | 168806 | 27813 135443 394093 | 2147483647 167521 70 | 68.925 % |
399.46/399.77 c | 169145 | 27813 135443 394093 | 2147483647 167860 70 | 68.925 % |
400.76/401.02 c | 169517 | 27813 135443 394093 | 2147483647 168232 70 | 68.925 % |
402.06/402.38 c | 169928 | 27813 135443 394093 | 2147483647 168643 70 | 68.925 % |
403.96/404.22 c | 170377 | 27813 135443 394093 | 2147483647 169092 70 | 68.925 % |
405.26/405.55 c | 170872 | 27813 135443 394093 | 2147483647 169587 70 | 68.925 % |
407.26/407.55 c | 171415 | 27813 135443 394093 | 2147483647 170130 70 | 68.925 % |
408.96/409.29 c | 172011 | 27813 135443 394093 | 2147483647 170726 70 | 68.925 % |
410.76/411.00 c | 172668 | 27813 135443 394093 | 2147483647 171383 70 | 68.925 % |
412.66/412.97 c | 173388 | 27813 135443 394093 | 2147483647 172103 70 | 68.925 % |
414.66/414.95 c | 174181 | 27813 135443 394093 | 2147483647 172896 70 | 68.925 % |
416.96/417.25 c | 175052 | 27813 135443 394093 | 2147483647 173767 70 | 68.925 % |
420.15/420.41 c | 176010 | 27813 135443 394093 | 2147483647 174725 70 | 68.925 % |
423.35/423.62 c | 177065 | 27813 135443 394093 | 2147483647 175780 71 | 68.925 % |
426.75/427.02 c | 178225 | 27813 135443 394093 | 2147483647 176940 71 | 68.925 % |
430.55/430.88 c | 179499 | 27813 135443 394093 | 2147483647 178214 71 | 68.925 % |
434.45/434.75 c | 180899 | 27813 135443 394093 | 2147483647 179614 71 | 68.925 % |
439.14/439.45 c | 182439 | 27813 135443 394093 | 2147483647 181154 71 | 68.925 % |
445.15/445.46 c | 184135 | 27813 135443 394093 | 2147483647 182850 71 | 68.925 % |
450.95/451.26 c | 185998 | 27813 135443 394093 | 2147483647 184713 71 | 68.925 % |
451.34/451.61 c | 186098 | 27813 135443 394093 | 2147483647 184813 71 | 68.925 % |
451.75/452.07 c | 186208 | 27813 135443 394093 | 2147483647 184923 71 | 68.925 % |
452.44/452.77 c | 186330 | 27813 135443 394093 | 2147483647 185045 71 | 68.925 % |
453.04/453.40 c | 186467 | 27813 135443 394093 | 2147483647 185182 71 | 68.925 % |
453.54/453.89 c | 186613 | 27813 135443 394093 | 2147483647 185328 71 | 68.925 % |
454.14/454.42 c | 186773 | 27813 135443 394093 | 2147483647 185488 71 | 68.925 % |
454.84/455.16 c | 186949 | 27813 135443 394093 | 2147483647 185664 71 | 68.925 % |
455.44/455.79 c | 187142 | 27813 135443 394093 | 2147483647 185857 71 | 68.925 % |
456.24/456.51 c | 187355 | 27813 135443 394093 | 2147483647 186070 71 | 68.925 % |
456.84/457.19 c | 187591 | 27813 135443 394093 | 2147483647 186306 71 | 68.925 % |
457.74/458.01 c | 187847 | 27813 135443 394093 | 2147483647 186562 71 | 68.925 % |
458.54/458.84 c | 188128 | 27813 135443 394093 | 2147483647 186843 71 | 68.925 % |
459.54/459.84 c | 188443 | 27813 135443 394093 | 2147483647 187158 71 | 68.925 % |
460.54/460.88 c | 188782 | 27813 135443 394093 | 2147483647 187497 71 | 68.925 % |
461.74/462.07 c | 189157 | 27813 135443 394093 | 2147483647 187872 71 | 68.925 % |
463.34/463.66 c | 189566 | 27813 135443 394093 | 2147483647 188281 70 | 68.925 % |
464.53/464.84 c | 190016 | 27813 135443 394093 | 2147483647 188731 71 | 68.925 % |
465.54/465.81 c | 190511 | 27813 135443 394093 | 2147483647 189226 71 | 68.925 % |
467.53/467.85 c | 191054 | 27813 135443 394093 | 2147483647 189769 71 | 68.925 % |
469.44/469.75 c | 191652 | 27813 135443 394093 | 2147483647 190367 71 | 68.925 % |
471.43/471.74 c | 192309 | 27813 135443 394093 | 2147483647 191024 71 | 68.925 % |
474.43/474.71 c | 193030 | 27799 135354 393855 | 2147483647 191741 71 | 68.940 % |
477.33/477.68 c | 193824 | 27799 135354 393855 | 2147483647 192535 71 | 68.940 % |
480.43/480.71 c | 194696 | 27799 135354 393855 | 2147483647 193407 71 | 68.940 % |
483.53/483.81 c | 195654 | 27799 135354 393855 | 2147483647 194365 71 | 68.940 % |
487.33/487.62 c | 196707 | 27799 135354 393855 | 2147483647 195418 71 | 68.940 % |
491.92/492.22 c | 197866 | 27799 135354 393855 | 2147483647 196576 71 | 68.954 % |
497.12/497.42 c | 199139 | 27799 135354 393855 | 2147483647 197849 71 | 68.954 % |
502.22/502.59 c | 200541 | 27799 135354 393855 | 2147483647 199251 71 | 68.954 % |
507.23/507.53 c | 202081 | 27787 135287 393688 | 2147483647 200790 71 | 68.954 % |
513.21/513.58 c | 203775 | 27787 135287 393688 | 2147483647 202484 71 | 68.954 % |
518.41/518.76 c | 205639 | 27787 135287 393688 | 2147483647 204348 71 | 68.954 % |
524.31/524.64 c | 207690 | 27787 135287 393688 | 2147483647 206399 71 | 68.954 % |
524.81/525.12 c | 207790 | 27787 135287 393688 | 2147483647 206499 71 | 68.954 % |
525.11/525.44 c | 207903 | 27787 135287 393688 | 2147483647 206612 71 | 68.954 % |
525.71/526.07 c | 208024 | 27787 135287 393688 | 2147483647 206733 71 | 68.954 % |
526.11/526.47 c | 208159 | 27787 135287 393688 | 2147483647 206868 71 | 68.954 % |
526.81/527.15 c | 208306 | 27787 135287 393688 | 2147483647 207015 71 | 68.954 % |
527.51/527.89 c | 208466 | 27787 135287 393688 | 2147483647 207175 71 | 68.954 % |
528.21/528.59 c | 208645 | 27787 135287 393688 | 2147483647 207354 71 | 68.954 % |
528.91/529.28 c | 208839 | 27787 135287 393688 | 2147483647 207548 71 | 68.954 % |
529.71/530.03 c | 209055 | 27787 135287 393688 | 2147483647 207764 71 | 68.954 % |
530.31/530.70 c | 209289 | 27787 135287 393688 | 2147483647 207998 71 | 68.954 % |
531.50/531.85 c | 209545 | 27787 135287 393688 | 2147483647 208254 71 | 68.954 % |
532.60/532.92 c | 209827 | 27787 135287 393688 | 2147483647 208536 71 | 68.954 % |
534.10/534.45 c | 210137 | 27787 135287 393688 | 2147483647 208846 71 | 68.954 % |
535.10/535.44 c | 210476 | 27787 135287 393688 | 2147483647 209185 71 | 68.954 % |
536.80/537.16 c | 210848 | 27787 135287 393688 | 2147483647 209557 71 | 68.954 % |
538.40/538.79 c | 211257 | 27787 135287 393688 | 2147483647 209966 71 | 68.954 % |
540.70/541.06 c | 211707 | 27787 135287 393688 | 2147483647 210416 71 | 68.954 % |
542.70/543.06 c | 212206 | 27787 135287 393688 | 2147483647 210915 71 | 68.954 % |
544.60/544.93 c | 212748 | 27787 135287 393688 | 2147483647 211457 71 | 68.954 % |
546.80/547.17 c | 213346 | 27787 135287 393688 | 2147483647 212055 71 | 68.954 % |
549.60/549.97 c | 214003 | 27787 135287 393688 | 2147483647 212712 71 | 68.954 % |
551.80/552.10 c | 214723 | 27787 135287 393688 | 2147483647 213432 71 | 68.954 % |
553.90/554.27 c | 215516 | 27787 135287 393688 | 2147483647 214225 71 | 68.954 % |
556.40/556.75 c | 216387 | 27787 135287 393688 | 2147483647 215096 71 | 68.954 % |
560.09/560.49 c | 217350 | 27787 135287 393688 | 2147483647 216059 71 | 68.954 % |
564.09/564.42 c | 218406 | 27787 135287 393688 | 2147483647 217115 71 | 68.954 % |
569.78/570.13 c | 219565 | 27787 135287 393688 | 2147483647 218274 71 | 68.954 % |
573.99/574.36 c | 220839 | 27787 135287 393688 | 2147483647 219548 71 | 68.954 % |
578.09/578.42 c | 222240 | 27787 135287 393688 | 2147483647 220949 71 | 68.954 % |
582.48/582.81 c | 223781 | 27787 135287 393688 | 2147483647 222490 71 | 68.954 % |
587.38/587.71 c | 225477 | 27787 135287 393688 | 2147483647 224186 70 | 68.954 % |
593.98/594.38 c | 227340 | 27787 135287 393688 | 2147483647 226049 70 | 68.954 % |
603.07/603.45 c | 229391 | 27787 135287 393688 | 2147483647 228100 70 | 68.954 % |
611.17/611.55 c | 231644 | 27787 135287 393688 | 2147483647 230353 70 | 68.954 % |
611.47/611.83 c | 231744 | 27787 135287 393688 | 2147483647 230453 70 | 68.954 % |
611.77/612.12 c | 231854 | 27787 135287 393688 | 2147483647 230563 70 | 68.954 % |
612.17/612.59 c | 231976 | 27787 135287 393688 | 2147483647 230685 70 | 68.954 % |
612.77/613.19 c | 232109 | 27787 135287 393688 | 2147483647 230818 70 | 68.954 % |
613.37/613.78 c | 232256 | 27787 135287 393688 | 2147483647 230965 70 | 68.954 % |
614.07/614.43 c | 232416 | 27787 135287 393688 | 2147483647 231125 70 | 68.954 % |
614.77/615.18 c | 232592 | 27787 135287 393688 | 2147483647 231301 70 | 68.954 % |
615.67/616.00 c | 232785 | 27787 135287 393688 | 2147483647 231494 70 | 68.954 % |
616.67/617.09 c | 232999 | 27787 135287 393688 | 2147483647 231708 70 | 68.954 % |
618.06/618.49 c | 233233 | 27787 135287 393688 | 2147483647 231942 70 | 68.954 % |
619.66/620.06 c | 233491 | 27787 135287 393688 | 2147483647 232200 70 | 68.954 % |
621.06/621.41 c | 233773 | 27787 135287 393688 | 2147483647 232482 70 | 68.954 % |
622.26/622.63 c | 234084 | 27787 135287 393688 | 2147483647 232793 70 | 68.954 % |
623.47/623.90 c | 234424 | 27787 135287 393688 | 2147483647 233133 70 | 68.954 % |
624.97/625.34 c | 234797 | 27743 135197 393392 | 2147483647 233505 70 | 69.003 % |
626.67/627.04 c | 235206 | 27743 135197 393392 | 2147483647 233914 70 | 69.003 % |
628.26/628.66 c | 235659 | 27743 135197 393392 | 2147483647 234367 70 | 69.003 % |
630.26/630.68 c | 236155 | 27743 135197 393392 | 2147483647 234862 70 | 69.004 % |
632.17/632.52 c | 236698 | 27743 135197 393392 | 2147483647 235405 70 | 69.004 % |
634.96/635.31 c | 237294 | 27743 135197 393392 | 2147483647 236001 70 | 69.004 % |
637.46/637.84 c | 237951 | 27743 135197 393392 | 2147483647 236658 70 | 69.004 % |
640.06/640.50 c | 238672 | 27743 135197 393392 | 2147483647 237379 70 | 69.004 % |
643.86/644.25 c | 239464 | 27743 135197 393392 | 2147483647 238171 70 | 69.004 % |
647.85/648.27 c | 240335 | 27743 135197 393392 | 2147483647 239042 70 | 69.004 % |
650.95/651.30 c | 241294 | 27743 135197 393392 | 2147483647 240001 70 | 69.004 % |
654.54/654.92 c | 242348 | 27743 135197 393392 | 2147483647 241055 70 | 69.004 % |
659.34/659.73 c | 243509 | 27743 135197 393392 | 2147483647 242216 71 | 69.004 % |
664.24/664.61 c | 244782 | 27743 135197 393392 | 2147483647 243489 71 | 69.004 % |
669.85/670.29 c | 246183 | 27743 135197 393392 | 2147483647 244890 71 | 69.004 % |
675.74/676.10 c | 247724 | 27742 135194 393386 | 2147483647 246430 70 | 69.004 % |
682.94/683.33 c | 249420 | 27742 135194 393386 | 2147483647 248126 71 | 69.004 % |
691.54/691.95 c | 251287 | 27742 135194 393386 | 2147483647 249993 71 | 69.004 % |
698.63/699.03 c | 253336 | 27742 135194 393386 | 2147483647 252042 71 | 69.004 % |
708.92/709.34 c | 255590 | 27742 135194 393386 | 2147483647 254296 71 | 69.004 % |
717.13/717.56 c | 258068 | 27742 135194 393386 | 2147483647 256774 71 | 69.004 % |
717.53/717.94 c | 258169 | 27742 135194 393386 | 2147483647 256875 71 | 69.004 % |
718.03/718.47 c | 258280 | 27742 135194 393386 | 2147483647 256986 71 | 69.004 % |
718.63/719.05 c | 258403 | 27742 135194 393386 | 2147483647 257109 71 | 69.004 % |
719.33/719.73 c | 258537 | 27729 135102 393119 | 2147483647 257236 71 | 69.019 % |
719.93/720.36 c | 258685 | 27729 135102 393119 | 2147483647 257384 71 | 69.019 % |
720.63/721.06 c | 258845 | 27729 135102 393119 | 2147483647 257544 71 | 69.019 % |
721.62/722.01 c | 259024 | 27729 135102 393119 | 2147483647 257723 71 | 69.019 % |
722.52/722.97 c | 259218 | 27729 135102 393119 | 2147483647 257917 71 | 69.019 % |
723.33/723.74 c | 259434 | 27729 135102 393119 | 2147483647 258133 71 | 69.019 % |
724.43/724.82 c | 259668 | 27729 135102 393119 | 2147483647 258367 71 | 69.019 % |
725.53/725.92 c | 259924 | 27729 135102 393119 | 2147483647 258623 71 | 69.019 % |
726.63/727.05 c | 260205 | 27729 135102 393119 | 2147483647 258904 71 | 69.019 % |
728.12/728.52 c | 260515 | 27729 135102 393119 | 2147483647 259214 71 | 69.019 % |
729.42/729.81 c | 260855 | 27729 135102 393119 | 2147483647 259554 71 | 69.019 % |
731.12/731.59 c | 261228 | 27729 135102 393119 | 2147483647 259927 71 | 69.019 % |
733.12/733.54 c | 261638 | 27729 135102 393119 | 2147483647 260337 71 | 69.019 % |
734.82/735.26 c | 262087 | 27729 135102 393119 | 2147483647 260786 71 | 69.019 % |
736.62/737.06 c | 262585 | 27729 135102 393119 | 2147483647 261284 71 | 69.019 % |
738.51/738.99 c | 263127 | 27729 135102 393119 | 2147483647 261826 71 | 69.019 % |
741.01/741.44 c | 263725 | 27729 135102 393119 | 2147483647 262424 71 | 69.019 % |
743.41/743.90 c | 264380 | 27729 135102 393119 | 2147483647 263079 71 | 69.019 % |
745.81/746.22 c | 265102 | 27729 135102 393119 | 2147483647 263801 71 | 69.019 % |
749.81/750.22 c | 265896 | 27729 135102 393119 | 2147483647 264595 71 | 69.019 % |
753.30/753.76 c | 266768 | 27729 135102 393119 | 2147483647 265467 71 | 69.019 % |
757.20/757.64 c | 267729 | 27729 135102 393119 | 2147483647 266428 70 | 69.019 % |
760.60/761.07 c | 268782 | 27729 135102 393119 | 2147483647 267480 70 | 69.034 % |
766.00/766.47 c | 269940 | 27729 135102 393119 | 2147483647 268638 70 | 69.034 % |
771.19/771.65 c | 271216 | 27729 135102 393119 | 2147483647 269914 70 | 69.034 % |
778.09/778.57 c | 272617 | 27715 135008 392843 | 2147483647 271315 70 | 69.034 % |
784.19/784.65 c | 274157 | 27715 135008 392843 | 2147483647 272855 70 | 69.034 % |
790.29/790.79 c | 275851 | 27715 135008 392843 | 2147483647 274549 70 | 69.034 % |
799.39/799.86 c | 277715 | 27715 135008 392843 | 2147483647 276413 70 | 69.034 % |
807.48/807.96 c | 279764 | 27715 135008 392843 | 2147483647 278462 70 | 69.034 % |
817.08/817.54 c | 282017 | 27715 135008 392843 | 2147483647 280715 70 | 69.034 % |
827.57/828.00 c | 284496 | 27715 135008 392843 | 2147483647 283194 70 | 69.034 % |
837.36/837.88 c | 287224 | 27715 135008 392843 | 2147483647 285922 70 | 69.034 % |
837.77/838.30 c | 287324 | 27715 135008 392843 | 2147483647 286022 70 | 69.034 % |
838.36/838.82 c | 287435 | 27715 135008 392843 | 2147483647 286133 70 | 69.034 % |
838.96/839.49 c | 287556 | 27715 135008 392843 | 2147483647 286254 70 | 69.034 % |
839.56/840.06 c | 287689 | 27715 135008 392843 | 2147483647 286387 70 | 69.034 % |
840.17/840.66 c | 287835 | 27715 135008 392843 | 2147483647 286533 70 | 69.034 % |
840.97/841.49 c | 287996 | 27715 135008 392843 | 2147483647 286694 70 | 69.034 % |
841.87/842.36 c | 288172 | 27715 135008 392843 | 2147483647 286870 70 | 69.034 % |
842.97/843.42 c | 288370 | 27715 135008 392843 | 2147483647 287068 70 | 69.034 % |
844.07/844.52 c | 288582 | 27715 135008 392843 | 2147483647 287280 70 | 69.034 % |
845.07/845.60 c | 288815 | 27715 135008 392843 | 2147483647 287513 70 | 69.034 % |
846.47/846.97 c | 289073 | 27715 135008 392843 | 2147483647 287771 70 | 69.034 % |
847.67/848.11 c | 289354 | 27715 135008 392843 | 2147483647 288052 70 | 69.034 % |
849.06/849.51 c | 289666 | 27715 135008 392843 | 2147483647 288364 70 | 69.034 % |
850.36/850.83 c | 290005 | 27715 135008 392843 | 288699 288703 70 | 69.034 % |
851.97/852.48 c | 290377 | 27715 135008 392843 | 288699 289075 70 | 69.034 % |
853.46/853.92 c | 290788 | 27715 135008 392843 | 288699 289486 70 | 69.034 % |
856.06/856.50 c | 291238 | 27715 135008 392843 | 288699 289936 70 | 69.034 % |
858.36/858.81 c | 291732 | 27715 135008 392843 | 288699 290430 70 | 69.034 % |
860.36/860.80 c | 292277 | 27715 135008 392843 | 288699 290975 70 | 69.034 % |
863.26/863.78 c | 292876 | 27715 135008 392843 | 288699 291574 70 | 69.034 % |
866.26/866.74 c | 293533 | 27715 135008 392843 | 288699 292231 70 | 69.034 % |
869.16/869.66 c | 294254 | 27715 135008 392843 | 288699 292952 70 | 69.034 % |
872.15/872.67 c | 295046 | 27715 135008 392843 | 288699 293744 70 | 69.034 % |
875.84/876.39 c | 295918 | 27715 135008 392843 | 288699 294616 70 | 69.034 % |
879.44/879.93 c | 296876 | 27715 135008 392843 | 288699 295574 70 | 69.034 % |
882.94/883.46 c | 297929 | 27715 135008 392843 | 288699 296627 70 | 69.034 % |
888.44/888.96 c | 299087 | 27715 135008 392843 | 288699 297785 70 | 69.034 % |
893.14/893.64 c | 300360 | 27715 135008 392843 | 298698 299058 70 | 69.034 % |
899.74/900.21 c | 301761 | 27715 135008 392843 | 298698 300459 70 | 69.034 % |
906.04/906.59 c | 303302 | 27714 135005 392837 | 298698 301999 70 | 69.035 % |
914.44/914.91 c | 304997 | 27714 135005 392837 | 298698 303694 70 | 69.035 % |
922.03/922.54 c | 306861 | 27714 135005 392837 | 298698 305556 70 | 69.166 % |
931.23/931.79 c | 308912 | 27714 135005 392837 | 298698 307606 70 | 69.182 % |
938.32/938.89 c | 311166 | 27714 135005 392837 | 2147483647 309860 70 | 69.182 % |
950.92/951.43 c | 313645 | 27714 135005 392837 | 2147483647 312337 70 | 69.197 % |
963.40/963.99 c | 316370 | 27714 135005 392837 | 2147483647 315062 70 | 69.197 % |
978.41/978.98 c | 319368 | 27569 134138 390325 | 2147483647 318000 70 | 69.197 % |
979.01/979.52 c | 319468 | 27569 134138 390325 | 2147483647 318100 70 | 69.197 % |
979.61/980.12 c | 319578 | 27569 134138 390325 | 2147483647 318210 70 | 69.197 % |
980.20/980.73 c | 319700 | 27569 134138 390325 | 2147483647 318332 70 | 69.197 % |
980.80/981.32 c | 319833 | 27569 134138 390325 | 2147483647 318465 70 | 69.197 % |
981.40/981.97 c | 319979 | 27569 134138 390325 | 2147483647 318611 70 | 69.197 % |
982.30/982.82 c | 320140 | 27569 134138 390325 | 2147483647 318772 70 | 69.197 % |
983.20/983.78 c | 320317 | 27569 134138 390325 | 2147483647 318949 70 | 69.197 % |
984.10/984.64 c | 320510 | 27569 134138 390325 | 2147483647 319142 70 | 69.197 % |
985.10/985.61 c | 320722 | 27569 134138 390325 | 2147483647 319354 70 | 69.197 % |
986.00/986.50 c | 320955 | 27569 134138 390325 | 2147483647 319587 70 | 69.197 % |
986.90/987.45 c | 321212 | 27569 134138 390325 | 2147483647 319844 70 | 69.197 % |
988.20/988.73 c | 321493 | 27569 134138 390325 | 2147483647 320125 70 | 69.197 % |
989.30/989.85 c | 321802 | 27569 134138 390325 | 2147483647 320434 70 | 69.197 % |
990.60/991.19 c | 322142 | 27569 134138 390325 | 2147483647 320774 70 | 69.197 % |
992.09/992.62 c | 322516 | 27569 134138 390325 | 2147483647 321148 70 | 69.197 % |
993.39/993.93 c | 322926 | 27569 134138 390325 | 2147483647 321558 70 | 69.197 % |
994.90/995.40 c | 323377 | 27569 134138 390325 | 2147483647 322009 70 | 69.197 % |
997.10/997.61 c | 323871 | 27569 134138 390325 | 2147483647 322503 70 | 69.197 % |
999.70/1000.27 c | 324414 | 27569 134138 390325 | 2147483647 323046 70 | 69.197 % |
1002.99/1003.51 c | 325011 | 27569 134138 390325 | 2147483647 323643 70 | 69.197 % |
1005.90/1006.50 c | 325668 | 27569 134138 390325 | 2147483647 324300 70 | 69.197 % |
1009.99/1010.56 c | 326388 | 27569 134138 390325 | 2147483647 325019 70 | 69.215 % |
1013.48/1014.08 c | 327183 | 27569 134138 390325 | 2147483647 325814 70 | 69.215 % |
1017.28/1017.89 c | 328054 | 27569 134138 390325 | 2147483647 326685 70 | 69.215 % |
1021.78/1022.33 c | 329012 | 27569 134138 390325 | 2147483647 327643 70 | 69.215 % |
1025.78/1026.40 c | 330065 | 27569 134138 390325 | 328631 328696 70 | 69.215 % |
1031.58/1032.12 c | 331224 | 27569 134138 390325 | 328631 329855 70 | 69.215 % |
1037.88/1038.47 c | 332497 | 27569 134138 390325 | 328631 331128 70 | 69.215 % |
1044.98/1045.59 c | 333898 | 27569 134138 390325 | 328631 332529 70 | 69.215 % |
1052.07/1052.62 c | 335438 | 27553 134036 390036 | 328631 334066 70 | 69.215 % |
1060.07/1060.69 c | 337136 | 27553 134036 390036 | 328631 335764 69 | 69.215 % |
1068.36/1068.97 c | 339001 | 27553 134036 390036 | 328631 337629 69 | 69.215 % |
1075.46/1076.01 c | 341051 | 27553 134036 390036 | 338628 339679 69 | 69.215 % |
1086.36/1086.97 c | 343305 | 27553 134036 390036 | 338628 341933 69 | 69.215 % |
1096.76/1097.36 c | 345785 | 27553 134036 390036 | 338628 344413 69 | 69.215 % |
1106.85/1107.50 c | 348510 | 27553 134036 390036 | 338628 347138 69 | 69.215 % |
1117.54/1118.10 c | 351508 | 27553 134036 390036 | 348628 350136 69 | 69.215 % |
1130.34/1130.92 c | 354809 | 27553 134036 390036 | 348628 353437 69 | 69.215 % |
1130.74/1131.32 c | 354910 | 27553 134036 390036 | 348628 353538 69 | 69.215 % |
1131.24/1131.81 c | 355021 | 27553 134036 390036 | 348628 353649 69 | 69.215 % |
1131.94/1132.55 c | 355142 | 27553 134036 390036 | 348628 353770 69 | 69.215 % |
1132.74/1133.30 c | 355276 | 27553 134036 390036 | 348628 353904 69 | 69.215 % |
1133.54/1134.16 c | 355423 | 27553 134036 390036 | 348628 354051 69 | 69.215 % |
1134.54/1135.13 c | 355587 | 27553 134036 390036 | 348628 354215 69 | 69.215 % |
1135.43/1136.09 c | 355764 | 27553 134036 390036 | 348628 354392 69 | 69.215 % |
1136.43/1137.06 c | 355958 | 27553 134036 390036 | 348628 354586 69 | 69.215 % |
1137.73/1138.35 c | 356173 | 27553 134036 390036 | 348628 354801 69 | 69.215 % |
1138.83/1139.50 c | 356406 | 27553 134036 390036 | 348628 355034 69 | 69.215 % |
1140.53/1141.11 c | 356663 | 27553 134036 390036 | 348628 355291 69 | 69.215 % |
1142.43/1143.00 c | 356944 | 27553 134036 390036 | 348628 355572 69 | 69.215 % |
1144.73/1145.33 c | 357255 | 27553 134036 390036 | 348628 355883 69 | 69.215 % |
1146.53/1147.18 c | 357598 | 27553 134036 390036 | 348628 356226 69 | 69.215 % |
1148.53/1149.16 c | 357970 | 27553 134036 390036 | 348628 356598 69 | 69.215 % |
1151.43/1152.08 c | 358382 | 27540 133955 389811 | 348628 357005 69 | 69.230 % |
1154.13/1154.71 c | 358831 | 27540 133955 389811 | 348628 357454 69 | 69.230 % |
1156.73/1157.34 c | 359324 | 27540 133955 389811 | 348628 357947 69 | 69.230 % |
1159.43/1160.09 c | 359866 | 27540 133955 389811 | 348628 358489 69 | 69.230 % |
1161.83/1162.42 c | 360462 | 27540 133955 389811 | 358623 359085 69 | 69.230 % |
1164.93/1165.56 c | 361119 | 27540 133955 389811 | 358623 359742 69 | 69.230 % |
1168.42/1169.07 c | 361841 | 27540 133955 389811 | 358623 360464 69 | 69.230 % |
1171.72/1172.39 c | 362633 | 27540 133955 389811 | 358623 361256 69 | 69.230 % |
1175.62/1176.21 c | 363504 | 27540 133955 389811 | 358623 362127 69 | 69.230 % |
1179.72/1180.37 c | 364464 | 27540 133955 389811 | 358623 363087 69 | 69.230 % |
1184.61/1185.29 c | 365517 | 27540 133955 389811 | 358623 364140 69 | 69.230 % |
1189.61/1190.27 c | 366676 | 27540 133955 389811 | 358623 365299 69 | 69.230 % |
1194.60/1195.29 c | 367949 | 27540 133955 389811 | 358623 366572 69 | 69.230 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832031-1242767594/watcher-1832031-1242767594 -o /tmp/evaluation-result-1832031-1242767594/solver-1832031-1242767594 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832031-1242767594.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: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 0.98 3/67 920
/proc/meminfo: memFree=1864336/2055920 swapFree=4177268/4192956
[pid=920] ppid=918 vsize=5356 CPUtime=0
/proc/920/stat : 920 (SatELiteGTI) R 918 920 549 0 -1 4194304 304 249 0 0 0 0 0 0 19 0 1 0 304785712 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 4345670 0 0 4100 65536 0 0 0 17 0 0 0
/proc/920/statm: 1339 237 197 169 0 50 0
[startup+0.0615989 s]
/proc/loadavg: 1.00 1.00 0.98 3/67 920
/proc/meminfo: memFree=1864336/2055920 swapFree=4177268/4192956
[pid=920] ppid=918 vsize=5356 CPUtime=0
/proc/920/stat : 920 (SatELiteGTI) S 918 920 549 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 304785712 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/920/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102601 s]
/proc/loadavg: 1.00 1.00 0.98 3/67 920
/proc/meminfo: memFree=1864336/2055920 swapFree=4177268/4192956
[pid=920] ppid=918 vsize=5356 CPUtime=0
/proc/920/stat : 920 (SatELiteGTI) S 918 920 549 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 304785712 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/920/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.302618 s]
/proc/loadavg: 1.00 1.00 0.98 3/67 920
/proc/meminfo: memFree=1864336/2055920 swapFree=4177268/4192956
[pid=920] ppid=918 vsize=5356 CPUtime=0
/proc/920/stat : 920 (SatELiteGTI) S 918 920 549 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 304785712 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/920/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.702665 s]
/proc/loadavg: 1.00 1.00 0.98 3/67 920
/proc/meminfo: memFree=1864336/2055920 swapFree=4177268/4192956
[pid=920] ppid=918 vsize=5356 CPUtime=0
/proc/920/stat : 920 (SatELiteGTI) S 918 920 549 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 304785712 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/920/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50173 s]
/proc/loadavg: 1.00 1.00 0.98 2/69 925
/proc/meminfo: memFree=1749376/2055920 swapFree=4177268/4192956
[pid=920] ppid=918 vsize=5356 CPUtime=0
/proc/920/stat : 920 (SatELiteGTI) S 918 920 549 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 304785712 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/920/statm: 1339 237 197 169 0 50 0
[pid=924] ppid=920 vsize=154540 CPUtime=1.48
/proc/924/stat : 924 (SatELite_releas) R 920 920 549 0 -1 4194304 33130 0 0 0 130 18 0 0 25 0 1 0 304785712 158248960 30123 1992294400 134512640 135223648 4294956128 18446744073709551615 134688148 0 0 4096 3 0 0 0 17 0 0 0
/proc/924/statm: 38635 30123 76 173 0 38460 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 159896
[startup+3.10187 s]
/proc/loadavg: 1.00 1.00 0.98 2/69 925
/proc/meminfo: memFree=1736192/2055920 swapFree=4177268/4192956
[pid=920] ppid=918 vsize=5356 CPUtime=0
/proc/920/stat : 920 (SatELiteGTI) S 918 920 549 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 304785712 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/920/statm: 1339 237 197 169 0 50 0
[pid=924] ppid=920 vsize=168320 CPUtime=3.08
/proc/924/stat : 924 (SatELite_releas) R 920 920 549 0 -1 4194304 35700 0 0 0 286 22 0 0 25 0 1 0 304785712 172359680 32693 1992294400 134512640 135223648 4294956128 18446744073709551615 134596400 0 0 4096 3 0 0 0 17 0 0 0
/proc/924/statm: 42080 32693 76 173 0 41905 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 173676
[startup+6.30115 s]
/proc/loadavg: 1.00 1.00 0.98 2/69 925
/proc/meminfo: memFree=1718720/2055920 swapFree=4177268/4192956
[pid=920] ppid=918 vsize=5356 CPUtime=0
/proc/920/stat : 920 (SatELiteGTI) S 918 920 549 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 304785712 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/920/statm: 1339 237 197 169 0 50 0
[pid=924] ppid=920 vsize=169828 CPUtime=6.27
/proc/924/stat : 924 (SatELite_releas) R 920 920 549 0 -1 4194304 40001 0 0 0 603 24 0 0 25 0 1 0 304785712 173903872 32936 1992294400 134512640 135223648 4294956128 18446744073709551615 134596092 0 0 4096 3 0 0 0 17 0 0 0
/proc/924/statm: 42457 32936 76 173 0 42282 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 175184
[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 0.98 2/69 926
/proc/meminfo: memFree=1816256/2055920 swapFree=4177268/4192956
[pid=920] ppid=918 vsize=5356 CPUtime=9.49
/proc/920/stat : 920 (SatELiteGTI) S 918 920 549 0 -1 4194304 336 53742 0 0 0 0 913 36 16 0 1 0 304785712 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/920/statm: 1339 239 197 169 0 50 0
[pid=926] ppid=920 vsize=31256 CPUtime=3.16
/proc/926/stat : 926 (minisat_static) R 920 920 549 0 -1 4194304 7488 0 0 0 311 5 0 0 25 0 1 0 304786665 32006144 7437 1992294400 134512640 135215339 4294956256 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/926/statm: 7814 7437 77 171 0 7641 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 36612
[startup+25.5029 s]
/proc/loadavg: 1.00 1.00 0.98 2/69 926
/proc/meminfo: memFree=1816256/2055920 swapFree=4177268/4192956
[pid=920] ppid=918 vsize=5356 CPUtime=9.49
/proc/920/stat : 920 (SatELiteGTI) S 918 920 549 0 -1 4194304 336 53742 0 0 0 0 913 36 16 0 1 0 304785712 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/920/statm: 1339 239 197 169 0 50 0
[pid=926] ppid=920 vsize=31416 CPUtime=15.95
/proc/926/stat : 926 (minisat_static) R 920 920 549 0 -1 4194304 7507 0 0 0 1590 5 0 0 25 0 1 0 304786665 32169984 7456 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/926/statm: 7854 7456 77 171 0 7681 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 36772
[startup+51.1022 s]
/proc/loadavg: 1.00 1.00 0.98 2/69 926
/proc/meminfo: memFree=1815680/2055920 swapFree=4177268/4192956
[pid=920] ppid=918 vsize=5356 CPUtime=9.49
/proc/920/stat : 920 (SatELiteGTI) S 918 920 549 0 -1 4194304 336 53742 0 0 0 0 913 36 16 0 1 0 304785712 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/920/statm: 1339 239 197 169 0 50 0
[pid=926] ppid=920 vsize=32340 CPUtime=41.55
/proc/926/stat : 926 (minisat_static) R 920 920 549 0 -1 4194304 7766 0 0 0 4149 6 0 0 25 0 1 0 304786665 33116160 7715 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/926/statm: 8085 7715 77 171 0 7912 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 37696
[startup+102.307 s]
/proc/loadavg: 1.00 1.00 0.98 2/69 926
/proc/meminfo: memFree=1807872/2055920 swapFree=4177268/4192956
[pid=920] ppid=918 vsize=5356 CPUtime=9.49
/proc/920/stat : 920 (SatELiteGTI) S 918 920 549 0 -1 4194304 336 53742 0 0 0 0 913 36 16 0 1 0 304785712 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/920/statm: 1339 239 197 169 0 50 0
[pid=926] ppid=920 vsize=39928 CPUtime=92.73
/proc/926/stat : 926 (minisat_static) R 920 920 549 0 -1 4194304 9644 0 0 0 9265 8 0 0 25 0 1 0 304786665 40886272 9593 1992294400 134512640 135215339 4294956256 18446744073709551615 134525081 0 0 4096 3 0 0 0 17 0 0 0
/proc/926/statm: 9982 9593 77 171 0 9809 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 45284
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/69 926
/proc/meminfo: memFree=1798912/2055920 swapFree=4177268/4192956
[pid=920] ppid=918 vsize=5356 CPUtime=9.49
/proc/920/stat : 920 (SatELiteGTI) S 918 920 549 0 -1 4194304 336 53742 0 0 0 0 913 36 16 0 1 0 304785712 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/920/statm: 1339 239 197 169 0 50 0
[pid=926] ppid=920 vsize=48936 CPUtime=152.69
/proc/926/stat : 926 (minisat_static) R 920 920 549 0 -1 4194304 11896 0 0 0 15259 10 0 0 25 0 1 0 304786665 50110464 11845 1992294400 134512640 135215339 4294956256 18446744073709551615 134532687 0 0 4096 3 0 0 0 17 0 0 0
/proc/926/statm: 12234 11845 77 171 0 12061 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 54292
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/69 926
/proc/meminfo: memFree=1790400/2055920 swapFree=4177268/4192956
[pid=920] ppid=918 vsize=5356 CPUtime=9.49
/proc/920/stat : 920 (SatELiteGTI) S 918 920 549 0 -1 4194304 336 53742 0 0 0 0 913 36 16 0 1 0 304785712 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/920/statm: 1339 239 197 169 0 50 0
[pid=926] ppid=920 vsize=57488 CPUtime=212.66
/proc/926/stat : 926 (minisat_static) R 920 920 549 0 -1 4194304 14004 0 0 0 21253 13 0 0 25 0 1 0 304786665 58867712 13953 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/926/statm: 14372 13953 77 171 0 14199 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 62844
[startup+282.303 s]
/proc/loadavg: 1.00 1.00 0.98 2/69 926
/proc/meminfo: memFree=1782976/2055920 swapFree=4177268/4192956
[pid=920] ppid=918 vsize=5356 CPUtime=9.49
/proc/920/stat : 920 (SatELiteGTI) S 918 920 549 0 -1 4194304 336 53742 0 0 0 0 913 36 16 0 1 0 304785712 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/920/statm: 1339 239 197 169 0 50 0
[pid=926] ppid=920 vsize=64908 CPUtime=272.63
/proc/926/stat : 926 (minisat_static) R 920 920 549 0 -1 4194304 15861 0 0 0 27249 14 0 0 25 0 1 0 304786665 66465792 15810 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/926/statm: 16227 15810 77 171 0 16054 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 70264
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/69 926
/proc/meminfo: memFree=1775232/2055920 swapFree=4177268/4192956
[pid=920] ppid=918 vsize=5356 CPUtime=9.49
/proc/920/stat : 920 (SatELiteGTI) S 918 920 549 0 -1 4194304 336 53742 0 0 0 0 913 36 16 0 1 0 304785712 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/920/statm: 1339 239 197 169 0 50 0
[pid=926] ppid=920 vsize=72732 CPUtime=332.6
/proc/926/stat : 926 (minisat_static) R 920 920 549 0 -1 4194304 17742 0 0 0 33244 16 0 0 25 0 1 0 304786665 74477568 17691 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/926/statm: 18183 17691 77 171 0 18010 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 78088
[startup+402.303 s]
/proc/loadavg: 1.00 1.00 0.98 2/69 926
/proc/meminfo: memFree=1768192/2055920 swapFree=4177268/4192956
[pid=920] ppid=918 vsize=5356 CPUtime=9.49
/proc/920/stat : 920 (SatELiteGTI) S 918 920 549 0 -1 4194304 336 53742 0 0 0 0 913 36 16 0 1 0 304785712 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/920/statm: 1339 239 197 169 0 50 0
[pid=926] ppid=920 vsize=79676 CPUtime=392.57
/proc/926/stat : 926 (minisat_static) R 920 920 549 0 -1 4194304 19492 0 0 0 39238 19 0 0 25 0 1 0 304786665 81588224 19441 1992294400 134512640 135215339 4294956256 18446744073709551615 134538556 0 0 4096 3 0 0 0 17 0 0 0
/proc/926/statm: 19919 19441 77 171 0 19746 0
Current children cumulated CPU time (s) 402.06
Current children cumulated vsize (KiB) 85032
[startup+462.303 s]
################
# More data... #
################
/proc/926/statm: 23047 22563 77 171 0 22874 0
Current children cumulated CPU time (s) 522.01
Current children cumulated vsize (KiB) 97544
[startup+582.303 s]
/proc/loadavg: 1.00 1.00 0.98 2/69 926
/proc/meminfo: memFree=1750272/2055920 swapFree=4177268/4192956
[pid=920] ppid=918 vsize=5356 CPUtime=9.49
/proc/920/stat : 920 (SatELiteGTI) S 918 920 549 0 -1 4194304 336 53742 0 0 0 0 913 36 16 0 1 0 304785712 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/920/statm: 1339 239 197 169 0 50 0
[pid=926] ppid=920 vsize=97572 CPUtime=572.5
/proc/926/stat : 926 (minisat_static) R 920 920 549 0 -1 4194304 23856 0 0 0 57226 24 0 0 25 0 1 0 304786665 99913728 23805 1992294400 134512640 135215339 4294956256 18446744073709551615 134538362 0 0 4096 3 0 0 0 17 0 0 0
/proc/926/statm: 24393 23805 77 171 0 24220 0
Current children cumulated CPU time (s) 581.99
Current children cumulated vsize (KiB) 102928
[startup+642.303 s]
/proc/loadavg: 1.00 1.00 0.98 2/69 926
/proc/meminfo: memFree=1745344/2055920 swapFree=4177268/4192956
[pid=920] ppid=918 vsize=5356 CPUtime=9.49
/proc/920/stat : 920 (SatELiteGTI) S 918 920 549 0 -1 4194304 336 53742 0 0 0 0 913 36 16 0 1 0 304785712 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/920/statm: 1339 239 197 169 0 50 0
[pid=926] ppid=920 vsize=102504 CPUtime=632.47
/proc/926/stat : 926 (minisat_static) R 920 920 549 0 -1 4194304 25060 0 0 0 63221 26 0 0 25 0 1 0 304786665 104964096 25009 1992294400 134512640 135215339 4294956256 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/926/statm: 25626 25009 77 171 0 25453 0
Current children cumulated CPU time (s) 641.96
Current children cumulated vsize (KiB) 107860
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/69 926
/proc/meminfo: memFree=1740032/2055920 swapFree=4177268/4192956
[pid=920] ppid=918 vsize=5356 CPUtime=9.49
/proc/920/stat : 920 (SatELiteGTI) S 918 920 549 0 -1 4194304 336 53742 0 0 0 0 913 36 16 0 1 0 304785712 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/920/statm: 1339 239 197 169 0 50 0
[pid=926] ppid=920 vsize=107744 CPUtime=692.44
/proc/926/stat : 926 (minisat_static) R 920 920 549 0 -1 4194304 26373 0 0 0 69217 27 0 0 25 0 1 0 304786665 110329856 26322 1992294400 134512640 135215339 4294956256 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/926/statm: 26936 26322 77 171 0 26763 0
Current children cumulated CPU time (s) 701.93
Current children cumulated vsize (KiB) 113100
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 0.98 2/69 926
/proc/meminfo: memFree=1735168/2055920 swapFree=4177268/4192956
[pid=920] ppid=918 vsize=5356 CPUtime=9.49
/proc/920/stat : 920 (SatELiteGTI) S 918 920 549 0 -1 4194304 336 53742 0 0 0 0 913 36 16 0 1 0 304785712 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/920/statm: 1339 239 197 169 0 50 0
[pid=926] ppid=920 vsize=112384 CPUtime=752.41
/proc/926/stat : 926 (minisat_static) R 920 920 549 0 -1 4194304 27529 0 0 0 75213 28 0 0 25 0 1 0 304786665 115081216 27478 1992294400 134512640 135215339 4294956256 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 0 0 0
/proc/926/statm: 28096 27478 77 171 0 27923 0
Current children cumulated CPU time (s) 761.9
Current children cumulated vsize (KiB) 117740
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/69 926
/proc/meminfo: memFree=1730880/2055920 swapFree=4177268/4192956
[pid=920] ppid=918 vsize=5356 CPUtime=9.49
/proc/920/stat : 920 (SatELiteGTI) S 918 920 549 0 -1 4194304 336 53742 0 0 0 0 913 36 16 0 1 0 304785712 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/920/statm: 1339 239 197 169 0 50 0
[pid=926] ppid=920 vsize=116536 CPUtime=812.39
/proc/926/stat : 926 (minisat_static) R 920 920 549 0 -1 4194304 28606 0 0 0 81210 29 0 0 25 0 1 0 304786665 119332864 28555 1992294400 134512640 135215339 4294956256 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 0 0 0
/proc/926/statm: 29134 28555 77 171 0 28961 0
Current children cumulated CPU time (s) 821.88
Current children cumulated vsize (KiB) 121892
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/69 926
/proc/meminfo: memFree=1726464/2055920 swapFree=4177268/4192956
[pid=920] ppid=918 vsize=5356 CPUtime=9.49
/proc/920/stat : 920 (SatELiteGTI) S 918 920 549 0 -1 4194304 336 53742 0 0 0 0 913 36 16 0 1 0 304785712 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/920/statm: 1339 239 197 169 0 50 0
[pid=926] ppid=920 vsize=120912 CPUtime=872.35
/proc/926/stat : 926 (minisat_static) R 920 920 549 0 -1 4194304 29681 0 0 0 87205 30 0 0 25 0 1 0 304786665 123813888 29630 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/926/statm: 30228 29630 77 171 0 30055 0
Current children cumulated CPU time (s) 881.84
Current children cumulated vsize (KiB) 126268
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/69 926
/proc/meminfo: memFree=1722176/2055920 swapFree=4177268/4192956
[pid=920] ppid=918 vsize=5356 CPUtime=9.49
/proc/920/stat : 920 (SatELiteGTI) S 918 920 549 0 -1 4194304 336 53742 0 0 0 0 913 36 16 0 1 0 304785712 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/920/statm: 1339 239 197 169 0 50 0
[pid=926] ppid=920 vsize=125080 CPUtime=932.33
/proc/926/stat : 926 (minisat_static) R 920 920 549 0 -1 4194304 30741 0 0 0 93202 31 0 0 25 0 1 0 304786665 128081920 30690 1992294400 134512640 135215339 4294956256 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/926/statm: 31270 30690 77 171 0 31097 0
Current children cumulated CPU time (s) 941.82
Current children cumulated vsize (KiB) 130436
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/69 926
/proc/meminfo: memFree=1717760/2055920 swapFree=4177268/4192956
[pid=920] ppid=918 vsize=5356 CPUtime=9.49
/proc/920/stat : 920 (SatELiteGTI) S 918 920 549 0 -1 4194304 336 53742 0 0 0 0 913 36 16 0 1 0 304785712 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/920/statm: 1339 239 197 169 0 50 0
[pid=926] ppid=920 vsize=130148 CPUtime=992.31
/proc/926/stat : 926 (minisat_static) R 920 920 549 0 -1 4194304 31805 0 0 0 99198 33 0 0 25 0 1 0 304786665 133271552 31754 1992294400 134512640 135215339 4294956256 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 0 0 0
/proc/926/statm: 32537 31754 77 171 0 32364 0
Current children cumulated CPU time (s) 1001.8
Current children cumulated vsize (KiB) 135504
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/69 926
/proc/meminfo: memFree=1714048/2055920 swapFree=4177268/4192956
[pid=920] ppid=918 vsize=5356 CPUtime=9.49
/proc/920/stat : 920 (SatELiteGTI) S 918 920 549 0 -1 4194304 336 53742 0 0 0 0 913 36 16 0 1 0 304785712 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/920/statm: 1339 239 197 169 0 50 0
[pid=926] ppid=920 vsize=133704 CPUtime=1052.27
/proc/926/stat : 926 (minisat_static) R 920 920 549 0 -1 4194304 32719 0 0 0 105193 34 0 0 25 0 1 0 304786665 136912896 32668 1992294400 134512640 135215339 4294956256 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/926/statm: 33426 32668 77 171 0 33253 0
Current children cumulated CPU time (s) 1061.76
Current children cumulated vsize (KiB) 139060
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/69 926
/proc/meminfo: memFree=1709504/2055920 swapFree=4177268/4192956
[pid=920] ppid=918 vsize=5356 CPUtime=9.49
/proc/920/stat : 920 (SatELiteGTI) S 918 920 549 0 -1 4194304 336 53742 0 0 0 0 913 36 16 0 1 0 304785712 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/920/statm: 1339 239 197 169 0 50 0
[pid=926] ppid=920 vsize=138284 CPUtime=1112.25
/proc/926/stat : 926 (minisat_static) R 920 920 549 0 -1 4194304 33839 0 0 0 111190 35 0 0 25 0 1 0 304786665 141602816 33788 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/926/statm: 34571 33788 77 171 0 34398 0
Current children cumulated CPU time (s) 1121.74
Current children cumulated vsize (KiB) 143640
[startup+1182.3 s]
/proc/loadavg: 1.07 1.02 0.98 2/69 926
/proc/meminfo: memFree=1705472/2055920 swapFree=4177268/4192956
[pid=920] ppid=918 vsize=5356 CPUtime=9.49
/proc/920/stat : 920 (SatELiteGTI) S 918 920 549 0 -1 4194304 336 53742 0 0 0 0 913 36 16 0 1 0 304785712 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/920/statm: 1339 239 197 169 0 50 0
[pid=926] ppid=920 vsize=142160 CPUtime=1172.22
/proc/926/stat : 926 (minisat_static) R 920 920 549 0 -1 4194304 34826 0 0 0 117186 36 0 0 25 0 1 0 304786665 145571840 34775 1992294400 134512640 135215339 4294956256 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 0 0 0
/proc/926/statm: 35540 34775 77 171 0 35367 0
Current children cumulated CPU time (s) 1181.71
Current children cumulated vsize (KiB) 147516
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.6 s]
/proc/loadavg: 1.05 1.01 0.98 2/69 926
/proc/meminfo: memFree=1704192/2055920 swapFree=4177268/4192956
[pid=920] ppid=918 vsize=5356 CPUtime=9.49
/proc/920/stat : 920 (SatELiteGTI) S 918 920 549 0 -1 4194304 336 53742 0 0 0 0 913 36 16 0 1 0 304785712 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 209560593220 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/920/statm: 1339 239 197 169 0 50 0
[pid=926] ppid=920 vsize=143388 CPUtime=1190.53
/proc/926/stat : 926 (minisat_static) R 920 920 549 0 -1 4194304 35111 0 0 0 119016 37 0 0 25 0 1 0 304786665 146829312 35060 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/926/statm: 35847 35060 77 171 0 35674 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 148744
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 920 and gives
# childrusage.ru_utime.tv_sec=9
# childrusage.ru_utime.tv_usec=132611
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=368943
# CPU time returned by wait4() is 9.50155
# while last known CPU time is 1200.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.61
CPU time (s): 1200.02
CPU user time (s): 1199.29
CPU system time (s): 0.73
CPU usage (%): 99.9506
Max. virtual memory (cumulated for all children) (KiB): 190052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.13261
system time used= 0.368943
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54078
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= 13
involuntary context switches= 56
runsolver used 1.22281 second user time and 3.21151 second system time
The end
Begin job on node68 at 2009-05-19 23:13:16
IDJOB=1832031
IDBENCH=20383
IDSOLVER=671
FILE ID=node68/1832031-1242767594
PBS_JOBID= 9322234
Free space on /tmp= 66168 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= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832031-1242767594/watcher-1832031-1242767594 -o /tmp/evaluation-result-1832031-1242767594/solver-1832031-1242767594 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832031-1242767594.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 9f79c3f75a90db314ed315006ba97d6f
RANDOM SEED=1404787526
node68.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.223
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.223
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1864816 kB
Buffers: 6452 kB
Cached: 145260 kB
SwapCached: 7272 kB
Active: 70404 kB
Inactive: 90124 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1864816 kB
SwapTotal: 4192956 kB
SwapFree: 4177268 kB
Dirty: 23972 kB
Writeback: 0 kB
Mapped: 14672 kB
Slab: 16172 kB
Committed_AS: 899388 kB
PageTables: 1580 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66148 MiB
End job on node68 at 2009-05-19 23:33:18