0.00/0.00 c Parsing...
0.91/0.95 c ==============================================================================
0.91/0.95 c | | ORIGINAL | LEARNT | |
0.91/0.95 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.91/0.95 c ==============================================================================
0.91/0.95 c | 0 | 990219 2297722 | 297065 0 0 nan | 0.000 % |
7.11/7.11 c | 0 | 427478 1139975 | -- 0 -- -- | -- | -342939/-661157
7.11/7.11 c ==============================================================================
7.11/7.11 c Result : #vars: 72951 #clauses: 427478 #literals: 1139975
7.11/7.11 c CPU time: 6.86 s
7.11/7.11 c ==============================================================================
7.50/7.60 c This is MiniSat 2.0 beta
7.50/7.60 c WARNING: for repeatability, setting FPU to use double precision
7.50/7.60 c ============================[ Problem Statistics ]=============================
7.50/7.60 c | |
7.50/7.60 c | Number of variables: 72951 |
7.50/7.60 c | Number of clauses: 427478 |
7.89/7.91 c | Parsing time: 0.25 s |
7.89/7.93 c ============================[ Search Statistics ]==============================
7.89/7.93 c | Conflicts | ORIGINAL | LEARNT | Progress |
7.89/7.93 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
7.89/7.93 c ===============================================================================
7.89/7.93 c | 0 | 72951 427478 1139975 | 142492 0 nan | 0.000 % |
8.09/8.19 c | 101 | 72499 427478 1139975 | 142492 90 100 | 11.282 % |
8.19/8.28 c | 202 | 72496 427478 1139975 | 142492 189 62 | 11.301 % |
8.39/8.41 c | 303 | 72491 427478 1139975 | 142492 287 69 | 11.402 % |
8.80/8.88 c | 413 | 59355 340491 930443 | 142492 383 70 | 18.637 % |
9.19/9.24 c | 513 | 58826 340491 930443 | 142492 471 69 | 28.311 % |
9.29/9.38 c | 624 | 58826 340491 930443 | 142492 580 60 | 28.806 % |
9.49/9.53 c | 745 | 58824 340491 930443 | 142492 700 63 | 28.819 % |
9.69/9.76 c | 846 | 51927 292652 813460 | 142492 797 61 | 28.819 % |
10.09/10.11 c | 957 | 51800 292652 813460 | 142492 903 59 | 30.374 % |
10.39/10.46 c | 1078 | 51800 292652 813460 | 142492 1023 71 | 31.126 % |
10.79/10.81 c | 1212 | 50077 281789 784892 | 142492 1133 70 | 33.967 % |
11.00/11.06 c | 1312 | 50077 281789 784892 | 142492 1233 88 | 33.967 % |
11.19/11.27 c | 1422 | 48162 268733 750105 | 142492 1323 90 | 33.980 % |
11.49/11.60 c | 1543 | 48132 268733 750105 | 142492 1437 86 | 39.195 % |
11.79/11.84 c | 1677 | 48120 268733 750105 | 142492 1569 81 | 39.247 % |
12.10/12.20 c | 1824 | 44320 243192 683357 | 142492 1701 87 | 39.247 % |
12.59/12.63 c | 1926 | 44300 243192 683357 | 142492 1801 89 | 40.260 % |
12.99/13.09 c | 2036 | 43580 239040 672718 | 142492 1889 89 | 40.291 % |
13.09/13.21 c | 2157 | 43580 239040 672718 | 142492 2010 86 | 40.291 % |
13.39/13.44 c | 2295 | 43115 238402 671139 | 142492 2134 85 | 43.065 % |
13.79/13.82 c | 2441 | 43060 238402 671139 | 142492 2279 85 | 44.099 % |
14.30/14.40 c | 2604 | 43060 238402 671139 | 142492 2441 86 | 44.338 % |
14.79/14.83 c | 2705 | 40606 217579 617249 | 142492 2518 91 | 44.415 % |
15.09/15.18 c | 2817 | 40606 217579 617249 | 142492 2630 91 | 44.415 % |
15.49/15.52 c | 2938 | 40550 217302 616618 | 142492 2751 93 | 44.415 % |
15.89/15.99 c | 3073 | 40549 217302 616618 | 142492 2885 94 | 44.427 % |
16.29/16.36 c | 3220 | 40539 217231 616439 | 142492 3029 94 | 44.553 % |
16.89/16.93 c | 3380 | 40518 217231 616439 | 142492 3182 95 | 44.659 % |
17.39/17.50 c | 3557 | 40368 216039 613435 | 142492 3344 99 | 44.672 % |
17.60/17.69 c | 3657 | 40368 216039 613435 | 142492 3444 99 | 44.673 % |
17.89/17.91 c | 3769 | 40368 216039 613435 | 142492 3556 97 | 44.672 % |
18.19/18.23 c | 3894 | 40362 215963 613244 | 142492 3681 98 | 44.672 % |
18.49/18.56 c | 4027 | 40359 215963 613244 | 142492 3812 98 | 44.698 % |
18.79/18.88 c | 4173 | 40358 215963 613244 | 142492 3957 102 | 45.022 % |
19.29/19.39 c | 4333 | 40107 211826 601663 | 142492 4114 108 | 45.022 % |
19.80/19.83 c | 4510 | 40107 211826 601663 | 142492 4291 112 | 45.022 % |
20.29/20.32 c | 4703 | 40079 211749 601461 | 142492 4473 110 | 45.288 % |
20.49/20.59 c | 4803 | 40076 211749 601461 | 142492 4572 109 | 45.400 % |
20.79/20.82 c | 4913 | 40076 211749 601461 | 142492 4682 108 | 45.400 % |
20.99/21.06 c | 5039 | 39441 207479 590506 | 142492 4801 107 | 46.269 % |
21.19/21.27 c | 5172 | 39441 207479 590506 | 142492 4934 106 | 46.269 % |
21.59/21.66 c | 5320 | 39441 207479 590506 | 142492 5082 108 | 46.269 % |
22.00/22.02 c | 5483 | 39441 207479 590506 | 142492 5245 110 | 46.269 % |
22.39/22.49 c | 5661 | 39441 207479 590506 | 142492 5423 120 | 46.269 % |
22.89/22.99 c | 5856 | 39197 203354 578896 | 142492 5618 124 | 46.269 % |
23.59/23.65 c | 6070 | 39197 203354 578896 | 142492 5831 131 | 46.438 % |
23.79/23.81 c | 6170 | 39194 203354 578896 | 142492 5931 130 | 46.438 % |
23.99/24.01 c | 6281 | 39074 202491 576839 | 142492 6042 129 | 46.438 % |
24.39/24.46 c | 6403 | 39074 202491 576839 | 142492 6164 129 | 46.438 % |
24.69/24.79 c | 6536 | 39074 202491 576839 | 142492 6297 128 | 46.438 % |
25.09/25.11 c | 6682 | 39071 202491 576839 | 142492 6440 127 | 46.934 % |
25.39/25.47 c | 6842 | 38712 200356 570889 | 142492 6572 130 | 46.934 % |
25.69/25.76 c | 7019 | 38712 200356 570889 | 142492 6749 129 | 46.934 % |
26.19/26.22 c | 7213 | 38703 200356 570889 | 142492 6934 127 | 47.425 % |
26.59/26.69 c | 7425 | 38674 200356 570889 | 142492 7139 127 | 47.668 % |
27.29/27.33 c | 7659 | 38175 196892 561955 | 142492 7366 126 | 47.687 % |
27.59/27.63 c | 7762 | 38175 196892 561955 | 142492 7469 128 | 47.687 % |
27.79/27.82 c | 7872 | 38174 196892 561955 | 142492 7578 128 | 47.688 % |
27.89/27.96 c | 7993 | 38174 196892 561955 | 142492 7699 127 | 47.688 % |
28.29/28.37 c | 8129 | 38151 196708 561469 | 142492 7833 127 | 47.705 % |
28.49/28.60 c | 8275 | 38121 196708 561469 | 142492 7977 127 | 51.637 % |
28.79/28.86 c | 8435 | 38121 196708 561469 | 142492 8137 128 | 51.637 % |
29.29/29.30 c | 8611 | 38120 196708 561469 | 142492 8312 128 | 51.654 % |
29.59/29.69 c | 8806 | 38119 196708 561469 | 142492 8507 128 | 51.654 % |
30.19/30.22 c | 9018 | 35269 179170 513099 | 142492 8679 128 | 51.654 % |
30.69/30.75 c | 9252 | 35263 179170 513099 | 142492 8912 128 | 51.680 % |
31.39/31.41 c | 9509 | 35263 179170 513099 | 142492 9169 126 | 51.680 % |
31.49/31.53 c | 9612 | 35250 179013 512722 | 142492 9271 126 | 51.680 % |
31.69/31.77 c | 9723 | 35249 179013 512722 | 142492 9381 126 | 51.695 % |
31.99/32.01 c | 9845 | 35249 179013 512722 | 142492 9503 126 | 51.695 % |
32.39/32.42 c | 9979 | 35248 179013 512722 | 142492 9636 126 | 51.707 % |
32.69/32.73 c | 10128 | 35248 179013 512722 | 2147483647 9785 128 | 51.707 % |
33.09/33.16 c | 10289 | 35248 179013 512722 | 2147483647 9946 129 | 51.707 % |
33.59/33.64 c | 10465 | 35230 178858 512348 | 2147483647 10121 131 | 51.707 % |
34.10/34.12 c | 10658 | 35230 178858 512348 | 2147483647 10314 131 | 51.707 % |
34.49/34.51 c | 10870 | 35230 178858 512348 | 2147483647 10526 132 | 51.707 % |
34.99/35.06 c | 11107 | 35230 178858 512348 | 2147483647 10763 132 | 51.707 % |
35.99/36.06 c | 11364 | 35220 178786 512171 | 2147483647 11018 130 | 51.721 % |
36.69/36.75 c | 11646 | 35220 178786 512171 | 2147483647 11300 129 | 51.721 % |
36.99/37.00 c | 11747 | 35219 178786 512171 | 2147483647 11400 128 | 51.733 % |
37.29/37.34 c | 11860 | 35219 178786 512171 | 2147483647 11513 128 | 51.733 % |
37.79/37.83 c | 11982 | 35211 178717 511996 | 2147483647 11635 127 | 51.733 % |
38.19/38.23 c | 12116 | 35211 178717 511996 | 2147483647 11769 127 | 51.733 % |
38.50/38.51 c | 12262 | 35211 178717 511996 | 2147483647 11915 126 | 51.734 % |
38.89/39.00 c | 12422 | 35211 178717 511996 | 2147483647 12075 125 | 51.733 % |
39.49/39.53 c | 12598 | 35210 178717 511996 | 2147483647 12250 124 | 51.748 % |
39.90/39.95 c | 12791 | 35200 178642 511797 | 2147483647 12443 125 | 51.748 % |
40.60/40.67 c | 13004 | 35198 178642 511797 | 2147483647 12654 127 | 51.773 % |
41.10/41.14 c | 13237 | 35196 178642 511797 | 2147483647 12886 127 | 51.784 % |
41.60/41.62 c | 13495 | 35124 178642 511797 | 2147483647 13141 127 | 53.311 % |
42.20/42.29 c | 13776 | 35124 178642 511797 | 2147483647 13422 128 | 53.311 % |
43.00/43.10 c | 14086 | 34060 171622 492384 | 2147483647 13684 129 | 53.311 % |
43.20/43.27 c | 14186 | 34055 171622 492384 | 2147483647 13782 128 | 53.336 % |
43.50/43.59 c | 14297 | 34055 171622 492384 | 2147483647 13893 128 | 53.336 % |
43.80/43.86 c | 14418 | 34055 171622 492384 | 2147483647 14014 128 | 53.336 % |
44.10/44.20 c | 14553 | 34055 171622 492384 | 2147483647 14149 128 | 53.336 % |
44.40/44.50 c | 14699 | 34054 171622 492384 | 2147483647 14294 129 | 53.350 % |
44.90/44.98 c | 14860 | 34054 171622 492384 | 2147483647 14455 128 | 53.350 % |
45.40/45.48 c | 15036 | 34032 171418 491882 | 2147483647 14630 129 | 53.350 % |
45.80/45.89 c | 15229 | 34032 171418 491882 | 2147483647 14823 129 | 53.350 % |
46.30/46.38 c | 15445 | 34032 171418 491882 | 2147483647 15039 129 | 53.350 % |
46.80/46.90 c | 15678 | 34032 171418 491882 | 2147483647 15272 129 | 53.350 % |
47.60/47.68 c | 15935 | 34013 171277 491532 | 2147483647 15523 129 | 53.376 % |
48.40/48.47 c | 16226 | 34013 171277 491532 | 2147483647 15814 129 | 53.376 % |
49.30/49.32 c | 16535 | 34013 171277 491532 | 2147483647 16122 130 | 53.391 % |
50.00/50.09 c | 16874 | 34004 171277 491532 | 2147483647 16460 131 | 54.426 % |
50.30/50.35 c | 16974 | 34004 171277 491532 | 2147483647 16560 130 | 54.426 % |
50.60/50.68 c | 17084 | 33246 167065 479604 | 2147483647 16606 131 | 54.483 % |
51.00/51.07 c | 17206 | 33246 167065 479604 | 2147483647 16728 131 | 54.483 % |
51.30/51.39 c | 17340 | 33246 167065 479604 | 2147483647 16862 131 | 54.483 % |
51.80/51.88 c | 17486 | 33246 167065 479604 | 2147483647 17008 132 | 54.483 % |
52.30/52.32 c | 17648 | 33246 167065 479604 | 2147483647 17170 132 | 54.483 % |
52.80/52.90 c | 17824 | 33246 167065 479604 | 2147483647 17345 132 | 54.604 % |
53.40/53.48 c | 18017 | 33246 167065 479604 | 2147483647 17538 133 | 54.604 % |
53.80/53.87 c | 18229 | 32949 166443 477782 | 2147483647 17745 132 | 61.669 % |
54.30/54.37 c | 18466 | 32949 166443 477782 | 2147483647 17982 132 | 61.669 % |
54.90/54.95 c | 18722 | 32949 166443 477782 | 2147483647 18238 131 | 61.669 % |
55.60/55.63 c | 19006 | 32949 166443 477782 | 2147483647 18522 131 | 61.669 % |
56.20/56.28 c | 19315 | 32949 166443 477782 | 2147483647 18831 132 | 61.669 % |
57.10/57.18 c | 19654 | 32949 166443 477782 | 2147483647 19170 132 | 61.669 % |
58.00/58.07 c | 20026 | 27963 134515 387352 | 2147483647 18756 135 | 61.669 % |
58.20/58.30 c | 20126 | 27963 134515 387352 | 2147483647 18856 135 | 61.669 % |
58.60/58.63 c | 20237 | 27963 134515 387352 | 2147483647 18967 135 | 61.669 % |
58.90/58.93 c | 20358 | 27963 134515 387352 | 2147483647 19088 135 | 61.669 % |
59.40/59.43 c | 20491 | 27962 134515 387352 | 2147483647 19220 135 | 61.683 % |
59.80/59.81 c | 20637 | 27962 134515 387352 | 2147483647 19366 135 | 61.683 % |
60.00/60.05 c | 20797 | 27962 134515 387352 | 2147483647 19526 135 | 61.683 % |
60.50/60.51 c | 20973 | 27962 134515 387352 | 2147483647 19702 135 | 61.683 % |
60.90/60.95 c | 21168 | 27953 134447 387169 | 2147483647 19897 135 | 61.683 % |
61.40/61.49 c | 21382 | 27953 134447 387169 | 2147483647 20111 135 | 61.683 % |
61.90/62.01 c | 21617 | 27953 134447 387169 | 2147483647 20346 135 | 61.683 % |
62.40/62.50 c | 21873 | 27953 134447 387169 | 2147483647 20602 134 | 61.683 % |
63.20/63.23 c | 22155 | 27953 134447 387169 | 2147483647 20884 134 | 61.683 % |
63.80/63.90 c | 22464 | 27953 134447 387169 | 2147483647 21192 134 | 61.685 % |
64.60/64.64 c | 22805 | 27951 134440 387141 | 2147483647 21527 134 | 61.685 % |
65.50/65.51 c | 23181 | 27951 134440 387141 | 2147483647 21903 133 | 61.685 % |
66.40/66.42 c | 23591 | 27951 134440 387141 | 2147483647 22313 133 | 61.685 % |
66.60/66.66 c | 23691 | 27951 134440 387141 | 2147483647 22413 133 | 61.685 % |
66.90/66.93 c | 23804 | 27951 134440 387141 | 2147483647 22526 132 | 61.685 % |
67.10/67.19 c | 23925 | 27951 134440 387141 | 2147483647 22647 132 | 61.685 % |
67.60/67.65 c | 24061 | 27951 134440 387141 | 2147483647 22783 132 | 61.685 % |
67.90/67.95 c | 24207 | 27951 134440 387141 | 2147483647 22929 132 | 61.685 % |
68.50/68.52 c | 24377 | 27951 134440 387141 | 2147483647 23099 133 | 61.685 % |
68.90/68.97 c | 24555 | 27951 134440 387141 | 2147483647 23277 133 | 61.685 % |
69.30/69.39 c | 24749 | 27951 134440 387141 | 2147483647 23471 133 | 61.685 % |
69.90/69.95 c | 24961 | 27951 134440 387141 | 2147483647 23683 133 | 61.685 % |
70.40/70.49 c | 25194 | 27951 134440 387141 | 2147483647 23916 133 | 61.685 % |
71.10/71.13 c | 25450 | 27939 134366 386935 | 2147483647 24171 133 | 61.702 % |
71.60/71.69 c | 25733 | 27939 134366 386935 | 2147483647 24454 134 | 61.702 % |
72.40/72.45 c | 26044 | 27939 134366 386935 | 2147483647 24765 133 | 61.702 % |
73.20/73.29 c | 26383 | 27938 134366 386935 | 2147483647 25103 133 | 61.703 % |
74.10/74.20 c | 26758 | 27938 134366 386935 | 2147483647 25477 132 | 61.704 % |
75.20/75.23 c | 27168 | 27938 134366 386935 | 2147483647 25886 132 | 61.721 % |
76.00/76.04 c | 27617 | 27925 134293 386734 | 2147483647 26334 132 | 61.721 % |
76.20/76.24 c | 27717 | 27925 134293 386734 | 2147483647 26434 131 | 61.721 % |
76.50/76.59 c | 27830 | 27925 134293 386734 | 2147483647 26547 131 | 61.721 % |
76.90/76.96 c | 27955 | 27925 134293 386734 | 2147483647 26672 131 | 61.721 % |
77.40/77.45 c | 28091 | 27925 134293 386734 | 2147483647 26808 131 | 61.721 % |
77.70/77.76 c | 28240 | 27925 134293 386734 | 2147483647 26957 131 | 61.721 % |
78.20/78.25 c | 28400 | 27925 134293 386734 | 2147483647 27117 131 | 61.721 % |
78.70/78.74 c | 28576 | 27925 134293 386734 | 2147483647 27293 131 | 61.721 % |
79.10/79.20 c | 28772 | 27925 134293 386734 | 2147483647 27489 130 | 61.721 % |
79.70/79.78 c | 28985 | 27925 134293 386734 | 2147483647 27702 130 | 61.721 % |
80.20/80.31 c | 29219 | 27925 134293 386734 | 2147483647 27936 130 | 61.721 % |
81.00/81.05 c | 29476 | 27925 134293 386734 | 2147483647 28193 130 | 61.721 % |
81.60/81.65 c | 29757 | 27925 134293 386734 | 2147483647 28474 130 | 61.721 % |
82.20/82.25 c | 30066 | 27925 134293 386734 | 2147483647 28783 130 | 61.721 % |
83.20/83.21 c | 30405 | 27925 134293 386734 | 2147483647 29122 130 | 61.721 % |
84.10/84.16 c | 30778 | 27925 134293 386734 | 2147483647 29495 129 | 61.721 % |
85.30/85.39 c | 31187 | 27925 134293 386734 | 2147483647 29904 129 | 61.721 % |
86.50/86.56 c | 31636 | 27925 134293 386734 | 2147483647 30353 128 | 61.721 % |
87.50/87.60 c | 32130 | 27925 134293 386734 | 2147483647 30847 128 | 61.721 % |
87.80/87.83 c | 32230 | 27925 134293 386734 | 2147483647 30947 128 | 61.721 % |
88.10/88.12 c | 32347 | 27925 134293 386734 | 2147483647 31064 128 | 61.721 % |
88.30/88.39 c | 32469 | 27925 134293 386734 | 2147483647 31186 128 | 61.721 % |
88.70/88.74 c | 32605 | 27925 134293 386734 | 2147483647 31322 128 | 61.721 % |
89.11/89.19 c | 32753 | 27925 134293 386734 | 2147483647 31470 128 | 61.721 % |
89.60/89.65 c | 32913 | 27925 134293 386734 | 2147483647 31630 128 | 61.721 % |
90.10/90.15 c | 33089 | 27925 134293 386734 | 2147483647 31806 128 | 61.721 % |
90.60/90.63 c | 33284 | 27925 134293 386734 | 2147483647 32001 127 | 61.721 % |
91.20/91.30 c | 33498 | 27925 134293 386734 | 2147483647 32215 127 | 61.721 % |
91.80/91.89 c | 33733 | 27925 134293 386734 | 2147483647 32450 127 | 61.721 % |
92.50/92.54 c | 33990 | 27925 134293 386734 | 2147483647 32707 127 | 61.721 % |
93.40/93.42 c | 34274 | 27925 134293 386734 | 2147483647 32991 126 | 61.721 % |
94.20/94.23 c | 34584 | 27925 134293 386734 | 2147483647 33301 126 | 61.721 % |
95.10/95.10 c | 34926 | 27925 134293 386734 | 2147483647 33643 126 | 61.721 % |
96.00/96.09 c | 35301 | 27925 134293 386734 | 2147483647 34018 126 | 61.721 % |
96.90/96.93 c | 35710 | 27925 134293 386734 | 2147483647 34427 126 | 61.721 % |
97.91/97.97 c | 36160 | 27925 134293 386734 | 2147483647 34877 126 | 61.721 % |
99.30/99.37 c | 36657 | 27925 134293 386734 | 2147483647 35374 127 | 61.721 % |
100.80/100.88 c | 37199 | 27780 133573 384624 | 2147483647 35851 127 | 61.920 % |
101.10/101.17 c | 37303 | 27780 133573 384624 | 2147483647 35955 127 | 61.920 % |
101.40/101.50 c | 37415 | 27780 133573 384624 | 2147483647 36067 127 | 61.920 % |
101.80/101.86 c | 37540 | 27780 133573 384624 | 2147483647 36192 127 | 61.920 % |
102.20/102.27 c | 37675 | 27780 133573 384624 | 2147483647 36327 127 | 61.920 % |
102.70/102.75 c | 37821 | 27780 133573 384624 | 2147483647 36473 127 | 61.920 % |
103.10/103.14 c | 37983 | 27780 133573 384624 | 2147483647 36635 126 | 61.920 % |
103.70/103.71 c | 38159 | 27778 133573 384624 | 2147483647 36810 126 | 63.053 % |
104.40/104.43 c | 38352 | 27778 133573 384624 | 2147483647 37003 126 | 63.053 % |
105.00/105.06 c | 38564 | 27778 133573 384624 | 2147483647 37215 126 | 63.053 % |
105.50/105.58 c | 38798 | 27778 133573 384624 | 2147483647 37449 126 | 63.053 % |
106.10/106.19 c | 39054 | 27778 133573 384624 | 2147483647 37705 126 | 63.053 % |
106.80/106.89 c | 39336 | 27778 133573 384624 | 2147483647 37987 126 | 63.053 % |
107.70/107.81 c | 39645 | 26953 129797 372725 | 2147483647 37964 125 | 63.053 % |
109.20/109.27 c | 39985 | 26953 129797 372725 | 2147483647 38304 125 | 63.053 % |
110.30/110.36 c | 40358 | 26953 129797 372725 | 2147483647 38677 126 | 63.053 % |
111.40/111.41 c | 40767 | 26950 129797 372725 | 2147483647 39085 126 | 63.125 % |
112.60/112.66 c | 41216 | 26950 129797 372725 | 2147483647 39534 125 | 63.125 % |
114.20/114.27 c | 41709 | 26950 129797 372725 | 2147483647 40027 124 | 63.125 % |
116.00/116.03 c | 42252 | 26901 129474 371843 | 2147483647 40570 124 | 63.125 % |
118.21/118.30 c | 42849 | 26901 129474 371843 | 2147483647 41167 123 | 63.125 % |
118.61/118.63 c | 42949 | 26901 129474 371843 | 2147483647 41267 123 | 63.125 % |
118.82/118.90 c | 43060 | 26901 129474 371843 | 2147483647 41378 123 | 63.125 % |
119.21/119.24 c | 43181 | 26901 129474 371843 | 2147483647 41499 123 | 63.125 % |
119.61/119.66 c | 43315 | 26901 129474 371843 | 2147483647 41633 123 | 63.125 % |
120.01/120.09 c | 43462 | 26901 129474 371843 | 2147483647 41780 123 | 63.125 % |
120.51/120.59 c | 43622 | 26901 129474 371843 | 2147483647 41940 123 | 63.125 % |
120.91/120.98 c | 43799 | 26901 129474 371843 | 2147483647 42117 123 | 63.125 % |
121.41/121.50 c | 43992 | 26901 129474 371843 | 2147483647 42310 123 | 63.125 % |
121.92/121.94 c | 44204 | 26901 129474 371843 | 2147483647 42522 123 | 63.125 % |
122.52/122.61 c | 44441 | 26901 129474 371843 | 2147483647 42759 123 | 63.125 % |
123.22/123.29 c | 44697 | 26901 129474 371843 | 2147483647 43015 123 | 63.125 % |
123.92/123.97 c | 44979 | 26901 129474 371843 | 2147483647 43297 123 | 63.125 % |
124.62/124.67 c | 45290 | 26901 129474 371843 | 2147483647 43608 123 | 63.125 % |
125.52/125.54 c | 45630 | 26896 129426 371716 | 2147483647 43947 123 | 63.132 % |
126.72/126.79 c | 46004 | 26896 129426 371716 | 2147483647 44321 123 | 63.132 % |
128.12/128.16 c | 46413 | 26896 129426 371716 | 2147483647 44730 123 | 63.132 % |
129.62/129.67 c | 46865 | 26896 129426 371716 | 2147483647 45182 122 | 63.131 % |
131.82/131.90 c | 47358 | 26896 129426 371716 | 2147483647 45675 121 | 63.131 % |
133.82/133.92 c | 47902 | 26896 129426 371716 | 2147483647 46219 120 | 63.131 % |
136.22/136.26 c | 48498 | 26896 129426 371716 | 2147483647 46815 119 | 63.131 % |
138.42/138.48 c | 49153 | 26886 129363 371558 | 2147483647 47452 119 | 63.145 % |
138.72/138.77 c | 49255 | 26886 129363 371558 | 2147483647 47554 119 | 63.145 % |
139.02/139.11 c | 49367 | 26886 129363 371558 | 2147483647 47665 119 | 63.160 % |
139.32/139.41 c | 49488 | 26885 129363 371558 | 2147483647 47786 119 | 63.160 % |
139.82/139.86 c | 49622 | 26885 129363 371558 | 2147483647 47920 119 | 63.160 % |
140.22/140.28 c | 49770 | 26885 129363 371558 | 2147483647 48068 119 | 63.160 % |
140.72/140.81 c | 49930 | 26885 129363 371558 | 2147483647 48228 119 | 63.160 % |
141.22/141.24 c | 50106 | 26885 129363 371558 | 2147483647 48404 119 | 63.160 % |
141.72/141.73 c | 50299 | 26885 129363 371558 | 2147483647 48597 119 | 63.160 % |
142.32/142.39 c | 50511 | 26885 129363 371558 | 2147483647 48809 119 | 63.160 % |
142.92/143.02 c | 50748 | 26885 129363 371558 | 2147483647 49046 119 | 63.160 % |
143.52/143.62 c | 51004 | 26885 129363 371558 | 2147483647 49302 119 | 63.160 % |
144.42/144.46 c | 51286 | 26885 129363 371558 | 2147483647 49583 119 | 63.174 % |
145.62/145.72 c | 51596 | 26885 129363 371558 | 2147483647 49893 118 | 63.174 % |
146.62/146.70 c | 51935 | 26885 129363 371558 | 2147483647 50232 118 | 63.174 % |
148.12/148.16 c | 52308 | 26865 129212 371163 | 2147483647 50587 118 | 63.174 % |
149.32/149.42 c | 52718 | 26865 129212 371163 | 2147483647 50997 118 | 63.174 % |
150.72/150.74 c | 53168 | 26865 129212 371163 | 2147483647 51447 118 | 63.174 % |
152.22/152.30 c | 53665 | 26865 129212 371163 | 2147483647 51944 118 | 63.174 % |
153.62/153.71 c | 54207 | 26865 129212 371163 | 2147483647 52486 118 | 63.174 % |
155.32/155.37 c | 54805 | 26865 129212 371163 | 2147483647 53084 118 | 63.174 % |
157.52/157.58 c | 55463 | 26865 129212 371163 | 2147483647 53742 118 | 63.174 % |
159.82/159.86 c | 56183 | 26865 129212 371163 | 2147483647 54462 118 | 63.174 % |
160.12/160.18 c | 56287 | 26865 129212 371163 | 2147483647 54566 118 | 63.174 % |
160.42/160.45 c | 56397 | 26865 129212 371163 | 2147483647 54676 118 | 63.174 % |
160.82/160.88 c | 56518 | 26865 129212 371163 | 2147483647 54797 118 | 63.174 % |
161.22/161.29 c | 56651 | 26865 129212 371163 | 2147483647 54930 118 | 63.174 % |
161.62/161.63 c | 56797 | 26865 129212 371163 | 2147483647 55076 118 | 63.174 % |
162.12/162.20 c | 56957 | 26865 129212 371163 | 2147483647 55236 118 | 63.174 % |
162.62/162.68 c | 57133 | 26865 129212 371163 | 2147483647 55412 118 | 63.174 % |
163.12/163.15 c | 57326 | 26865 129212 371163 | 2147483647 55605 118 | 63.174 % |
163.82/163.89 c | 57538 | 26865 129212 371163 | 2147483647 55817 118 | 63.174 % |
164.62/164.70 c | 57771 | 26865 129212 371163 | 2147483647 56050 118 | 63.174 % |
165.62/165.65 c | 58029 | 26865 129212 371163 | 2147483647 56308 118 | 63.174 % |
166.22/166.30 c | 58310 | 26865 129212 371163 | 2147483647 56589 118 | 63.174 % |
167.22/167.28 c | 58621 | 26865 129212 371163 | 2147483647 56900 118 | 63.174 % |
168.12/168.18 c | 58960 | 26865 129212 371163 | 2147483647 57239 118 | 63.174 % |
169.02/169.07 c | 59332 | 26865 129212 371163 | 2147483647 57611 118 | 63.174 % |
170.32/170.35 c | 59741 | 26865 129212 371163 | 2147483647 58020 118 | 63.174 % |
171.72/171.75 c | 60190 | 26865 129212 371163 | 2147483647 58469 118 | 63.174 % |
173.02/173.09 c | 60684 | 26865 129212 371163 | 2147483647 58963 117 | 63.174 % |
174.52/174.57 c | 61228 | 26865 129212 371163 | 2147483647 59507 117 | 63.174 % |
176.12/176.15 c | 61824 | 26865 129212 371163 | 2147483647 60103 117 | 63.174 % |
177.92/178.00 c | 62480 | 26865 129212 371163 | 2147483647 60759 116 | 63.174 % |
179.72/179.82 c | 63200 | 26865 129212 371163 | 2147483647 61479 116 | 63.174 % |
181.82/181.83 c | 63992 | 26865 129212 371163 | 2147483647 62271 115 | 63.174 % |
182.02/182.06 c | 64092 | 26865 129212 371163 | 2147483647 62371 115 | 63.174 % |
182.32/182.41 c | 64202 | 26865 129212 371163 | 2147483647 62481 115 | 63.174 % |
182.72/182.77 c | 64323 | 26865 129212 371163 | 2147483647 62602 115 | 63.174 % |
183.22/183.23 c | 64457 | 26865 129212 371163 | 2147483647 62736 115 | 63.174 % |
183.73/183.74 c | 64604 | 26865 129212 371163 | 2147483647 62883 115 | 63.174 % |
184.22/184.25 c | 64764 | 26865 129212 371163 | 2147483647 63043 115 | 63.174 % |
184.83/184.83 c | 64940 | 26865 129212 371163 | 2147483647 63219 115 | 63.174 % |
185.42/185.50 c | 65136 | 26865 129212 371163 | 2147483647 63415 115 | 63.174 % |
186.02/186.05 c | 65348 | 26865 129212 371163 | 2147483647 63627 115 | 63.174 % |
186.52/186.62 c | 65581 | 26865 129212 371163 | 2147483647 63860 115 | 63.174 % |
187.42/187.44 c | 65838 | 26865 129212 371163 | 2147483647 64117 115 | 63.174 % |
188.52/188.58 c | 66119 | 26857 129180 370994 | 2147483647 64377 115 | 63.185 % |
189.72/189.75 c | 66428 | 26857 129180 370994 | 2147483647 64686 115 | 63.185 % |
190.92/190.98 c | 66767 | 26857 129180 370994 | 2147483647 65025 115 | 63.185 % |
192.32/192.34 c | 67139 | 26857 129180 370994 | 2147483647 65397 115 | 63.185 % |
194.02/194.08 c | 67548 | 26857 129180 370994 | 2147483647 65806 115 | 63.185 % |
195.42/195.50 c | 67998 | 26857 129180 370994 | 2147483647 66256 115 | 63.185 % |
197.52/197.52 c | 68492 | 26857 129180 370994 | 2147483647 66750 114 | 63.185 % |
199.02/199.11 c | 69036 | 26857 129180 370994 | 2147483647 67294 114 | 63.185 % |
200.62/200.71 c | 69636 | 26857 129180 370994 | 2147483647 67894 114 | 63.185 % |
202.62/202.67 c | 70292 | 26845 129103 370790 | 2147483647 68531 114 | 63.201 % |
205.33/205.38 c | 71015 | 26845 129103 370790 | 2147483647 69254 115 | 63.201 % |
208.13/208.15 c | 71808 | 26845 129103 370790 | 2147483647 70046 115 | 63.319 % |
211.63/211.72 c | 72683 | 26845 129103 370790 | 2147483647 70921 114 | 63.319 % |
211.93/211.98 c | 72783 | 26845 129103 370790 | 2147483647 71021 114 | 63.319 % |
212.33/212.34 c | 72893 | 26845 129103 370790 | 2147483647 71131 114 | 63.319 % |
212.63/212.63 c | 73016 | 26845 129103 370790 | 2147483647 71254 114 | 63.319 % |
212.93/212.98 c | 73150 | 26845 129103 370790 | 2147483647 71388 114 | 63.319 % |
213.33/213.40 c | 73296 | 26845 129103 370790 | 2147483647 71534 114 | 63.319 % |
213.83/213.87 c | 73456 | 26845 129103 370790 | 2147483647 71694 114 | 63.319 % |
214.43/214.46 c | 73634 | 26845 129103 370790 | 2147483647 71872 114 | 63.319 % |
215.03/215.11 c | 73827 | 26845 129103 370790 | 2147483647 72065 114 | 63.319 % |
215.63/215.66 c | 74040 | 26845 129103 370790 | 2147483647 72278 114 | 63.319 % |
216.53/216.53 c | 74274 | 26845 129103 370790 | 2147483647 72512 114 | 63.319 % |
217.53/217.54 c | 74530 | 26759 128512 369353 | 2147483647 72768 114 | 63.319 % |
218.33/218.34 c | 74811 | 26759 128512 369353 | 2147483647 73049 114 | 63.319 % |
219.23/219.25 c | 75121 | 26759 128512 369353 | 2147483647 73359 114 | 63.319 % |
220.33/220.38 c | 75460 | 26759 128512 369353 | 2147483647 73698 114 | 63.319 % |
221.23/221.31 c | 75833 | 26759 128512 369353 | 2147483647 74071 114 | 63.319 % |
222.33/222.41 c | 76243 | 26759 128512 369353 | 2147483647 74481 114 | 63.319 % |
223.63/223.72 c | 76692 | 26759 128512 369353 | 2147483647 74930 114 | 63.319 % |
224.63/224.69 c | 77186 | 26759 128512 369353 | 2147483647 75424 113 | 63.319 % |
226.23/226.32 c | 77729 | 26759 128512 369353 | 2147483647 75967 114 | 63.319 % |
228.43/228.43 c | 78325 | 26759 128512 369353 | 2147483647 76563 114 | 63.319 % |
230.23/230.25 c | 78982 | 26759 128512 369353 | 2147483647 77220 114 | 63.319 % |
232.23/232.32 c | 79702 | 26759 128512 369353 | 2147483647 77940 114 | 63.319 % |
235.03/235.09 c | 80494 | 26759 128512 369353 | 2147483647 78732 115 | 63.319 % |
237.43/237.45 c | 81365 | 26759 128512 369353 | 2147483647 79603 115 | 63.319 % |
240.52/240.59 c | 82325 | 26719 128433 369150 | 2147483647 80549 115 | 64.187 % |
240.92/240.93 c | 82426 | 26719 128433 369150 | 2147483647 80650 115 | 64.187 % |
241.22/241.28 c | 82536 | 26719 128433 369150 | 2147483647 80760 115 | 64.187 % |
241.62/241.65 c | 82657 | 26719 128433 369150 | 2147483647 80881 115 | 64.187 % |
242.02/242.03 c | 82793 | 26719 128433 369150 | 2147483647 81017 115 | 64.187 % |
242.52/242.60 c | 82940 | 26719 128433 369150 | 2147483647 81164 115 | 64.187 % |
243.12/243.15 c | 83102 | 26719 128433 369150 | 2147483647 81326 115 | 64.187 % |
243.82/243.85 c | 83278 | 26719 128433 369150 | 2147483647 81502 115 | 64.187 % |
244.42/244.50 c | 83472 | 26719 128433 369150 | 2147483647 81696 115 | 64.187 % |
245.12/245.15 c | 83684 | 26719 128433 369150 | 2147483647 81908 115 | 64.187 % |
245.92/246.00 c | 83919 | 26719 128433 369150 | 2147483647 82143 115 | 64.187 % |
246.72/246.77 c | 84175 | 26719 128433 369150 | 2147483647 82399 115 | 64.187 % |
247.82/247.87 c | 84461 | 26719 128433 369150 | 2147483647 82685 115 | 64.187 % |
248.92/248.97 c | 84770 | 26719 128433 369150 | 2147483647 82994 115 | 64.187 % |
250.02/250.01 c | 85109 | 26719 128433 369150 | 2147483647 83333 115 | 64.187 % |
251.32/251.33 c | 85484 | 26719 128433 369150 | 2147483647 83707 115 | 64.205 % |
252.72/252.72 c | 85895 | 26719 128433 369150 | 2147483647 84118 115 | 64.205 % |
254.13/254.14 c | 86344 | 26719 128433 369150 | 2147483647 84566 115 | 64.220 % |
255.82/255.86 c | 86838 | 26719 128433 369150 | 2147483647 85060 115 | 64.220 % |
258.02/258.01 c | 87380 | 26101 125007 359116 | 2147483647 85453 115 | 64.235 % |
259.92/259.98 c | 87978 | 26101 125007 359116 | 2147483647 86051 115 | 64.235 % |
262.22/262.28 c | 88633 | 26101 125007 359116 | 2147483647 86706 115 | 64.235 % |
264.52/264.57 c | 89354 | 26101 125007 359116 | 2147483647 87427 115 | 64.235 % |
267.22/267.29 c | 90148 | 26101 125007 359116 | 2147483647 88221 115 | 64.235 % |
269.42/269.47 c | 91021 | 26101 125007 359116 | 2147483647 89094 114 | 64.235 % |
272.92/273.00 c | 91980 | 26101 125007 359116 | 2147483647 90053 114 | 64.235 % |
277.02/277.09 c | 93033 | 26101 125007 359116 | 2147483647 91106 114 | 64.235 % |
277.42/277.43 c | 93136 | 26101 125007 359116 | 2147483647 91208 114 | 64.236 % |
277.72/277.78 c | 93248 | 26101 125007 359116 | 2147483647 91320 114 | 64.236 % |
278.12/278.20 c | 93370 | 26090 124926 358896 | 2147483647 91421 114 | 64.236 % |
278.72/278.74 c | 93505 | 26090 124926 358896 | 2147483647 91556 114 | 64.236 % |
279.32/279.39 c | 93652 | 26090 124926 358896 | 2147483647 91703 114 | 64.236 % |
279.92/279.93 c | 93813 | 26090 124926 358896 | 2147483647 91864 114 | 64.236 % |
280.62/280.67 c | 93989 | 26090 124926 358896 | 2147483647 92040 114 | 64.236 % |
281.63/281.64 c | 94184 | 26090 124926 358896 | 2147483647 92235 113 | 64.236 % |
282.62/282.62 c | 94396 | 26090 124926 358896 | 2147483647 92447 113 | 64.236 % |
283.52/283.57 c | 94630 | 26090 124926 358896 | 2147483647 92681 113 | 64.236 % |
284.72/284.74 c | 94890 | 26090 124926 358896 | 2147483647 92941 113 | 64.236 % |
285.72/285.79 c | 95172 | 26090 124926 358896 | 2147483647 93223 113 | 64.236 % |
286.83/286.89 c | 95481 | 26090 124926 358896 | 2147483647 93532 113 | 64.236 % |
288.13/288.19 c | 95820 | 26090 124926 358896 | 2147483647 93871 113 | 64.236 % |
289.43/289.43 c | 96192 | 26090 124926 358896 | 2147483647 94243 112 | 64.236 % |
291.23/291.22 c | 96602 | 26090 124926 358896 | 2147483647 94653 112 | 64.236 % |
292.63/292.64 c | 97058 | 26090 124926 358896 | 2147483647 95109 112 | 64.236 % |
294.13/294.14 c | 97552 | 26090 124926 358896 | 2147483647 95603 112 | 64.236 % |
296.53/296.52 c | 98094 | 26090 124926 358896 | 2147483647 96145 112 | 64.236 % |
298.93/298.93 c | 98690 | 26090 124926 358896 | 2147483647 96741 112 | 64.236 % |
301.63/301.70 c | 99345 | 26090 124926 358896 | 2147483647 97395 112 | 64.253 % |
304.13/304.18 c | 100066 | 26078 124857 358704 | 2147483647 98114 112 | 64.253 % |
306.43/306.43 c | 100858 | 26078 124857 358704 | 2147483647 98906 112 | 64.253 % |
309.03/309.09 c | 101729 | 26078 124857 358704 | 2147483647 99777 112 | 64.253 % |
312.13/312.17 c | 102690 | 26078 124857 358704 | 2147483647 100738 111 | 64.253 % |
315.83/315.85 c | 103745 | 26078 124857 358704 | 2147483647 101793 111 | 64.253 % |
319.73/319.81 c | 104906 | 26078 124857 358704 | 2147483647 102954 110 | 64.253 % |
320.13/320.15 c | 105006 | 26078 124857 358704 | 2147483647 103054 110 | 64.253 % |
320.43/320.45 c | 105116 | 26078 124857 358704 | 2147483647 103164 110 | 64.253 % |
320.93/320.99 c | 105240 | 26078 124857 358704 | 2147483647 103288 111 | 64.253 % |
321.53/321.58 c | 105373 | 26078 124857 358704 | 2147483647 103421 111 | 64.253 % |
322.03/322.06 c | 105521 | 26078 124857 358704 | 2147483647 103569 111 | 64.253 % |
322.73/322.71 c | 105681 | 26078 124857 358704 | 2147483647 103729 111 | 64.253 % |
323.43/323.49 c | 105858 | 26078 124857 358704 | 2147483647 103906 111 | 64.253 % |
324.33/324.37 c | 106052 | 26078 124857 358704 | 2147483647 104100 111 | 64.253 % |
325.13/325.13 c | 106264 | 26078 124857 358704 | 2147483647 104312 111 | 64.253 % |
326.03/326.05 c | 106497 | 26078 124857 358704 | 2147483647 104545 110 | 64.253 % |
326.83/326.90 c | 106753 | 26078 124857 358704 | 2147483647 104801 110 | 64.253 % |
327.93/327.97 c | 107035 | 26078 124857 358704 | 2147483647 105083 110 | 64.253 % |
328.73/328.76 c | 107344 | 26078 124857 358704 | 2147483647 105392 110 | 64.253 % |
330.13/330.20 c | 107685 | 26078 124857 358704 | 2147483647 105733 110 | 64.253 % |
331.43/331.45 c | 108058 | 26078 124857 358704 | 2147483647 106106 110 | 64.253 % |
333.33/333.36 c | 108468 | 26078 124857 358704 | 2147483647 106516 110 | 64.253 % |
335.43/335.50 c | 108917 | 26078 124857 358704 | 2147483647 106965 110 | 64.253 % |
337.74/337.76 c | 109411 | 26078 124857 358704 | 2147483647 107459 110 | 64.253 % |
339.33/339.38 c | 109954 | 26078 124857 358704 | 2147483647 108002 110 | 64.253 % |
341.43/341.51 c | 110552 | 26078 124857 358704 | 2147483647 108600 110 | 64.253 % |
343.73/343.81 c | 111207 | 26078 124857 358704 | 2147483647 109255 109 | 64.253 % |
346.54/346.56 c | 111927 | 26078 124857 358704 | 2147483647 109975 109 | 64.253 % |
349.43/349.50 c | 112719 | 26060 124743 358419 | 2147483647 110726 109 | 64.277 % |
353.23/353.27 c | 113591 | 26060 124743 358419 | 2147483647 111598 109 | 64.277 % |
357.23/357.28 c | 114549 | 26060 124743 358419 | 2147483647 112556 109 | 64.277 % |
360.93/360.98 c | 115602 | 26060 124743 358419 | 2147483647 113609 109 | 64.277 % |
365.24/365.28 c | 116762 | 26060 124743 358419 | 2147483647 114769 109 | 64.277 % |
370.24/370.30 c | 118039 | 26060 124743 358419 | 2147483647 116046 109 | 64.277 % |
370.84/370.84 c | 118139 | 26060 124743 358419 | 2147483647 116146 109 | 64.277 % |
371.34/371.38 c | 118250 | 26060 124743 358419 | 2147483647 116257 108 | 64.278 % |
371.94/372.01 c | 118371 | 26060 124743 358419 | 2147483647 116378 108 | 64.277 % |
372.64/372.70 c | 118506 | 26060 124743 358419 | 2147483647 116513 108 | 64.278 % |
373.34/373.32 c | 118652 | 26060 124743 358419 | 2147483647 116659 108 | 64.278 % |
374.04/374.06 c | 118812 | 26060 124743 358419 | 2147483647 116819 108 | 64.278 % |
374.64/374.71 c | 118988 | 26060 124743 358419 | 2147483647 116995 108 | 64.277 % |
375.54/375.58 c | 119181 | 26060 124743 358419 | 2147483647 117188 108 | 64.277 % |
376.34/376.38 c | 119396 | 26060 124743 358419 | 2147483647 117403 108 | 64.277 % |
377.24/377.24 c | 119629 | 26060 124743 358419 | 2147483647 117636 109 | 64.278 % |
378.14/378.14 c | 119887 | 26060 124743 358419 | 2147483647 117894 109 | 64.277 % |
379.34/379.40 c | 120168 | 26060 124743 358419 | 2147483647 118175 109 | 64.278 % |
380.54/380.55 c | 120478 | 26060 124743 358419 | 2147483647 118485 109 | 64.278 % |
381.64/381.65 c | 120817 | 26060 124743 358419 | 2147483647 118824 109 | 64.277 % |
382.84/382.84 c | 121190 | 26060 124743 358419 | 2147483647 119197 109 | 64.278 % |
384.54/384.58 c | 121603 | 26060 124743 358419 | 2147483647 119610 109 | 64.278 % |
385.94/385.99 c | 122052 | 26060 124743 358419 | 2147483647 120059 109 | 64.278 % |
387.84/387.90 c | 122551 | 26060 124743 358419 | 2147483647 120558 109 | 64.277 % |
389.94/390.01 c | 123095 | 26060 124743 358419 | 2147483647 121102 109 | 64.278 % |
392.14/392.15 c | 123692 | 20007 91951 265994 | 2147483647 119974 110 | 72.575 % |
394.14/394.16 c | 124349 | 20007 91951 265994 | 2147483647 120631 110 | 72.575 % |
396.94/396.96 c | 125070 | 20007 91951 265994 | 2147483647 121351 110 | 72.591 % |
399.74/399.74 c | 125865 | 20007 91951 265994 | 2147483647 122146 110 | 72.591 % |
402.54/402.61 c | 126736 | 20007 91951 265994 | 2147483647 123017 110 | 72.591 % |
406.24/406.23 c | 127696 | 20007 91951 265994 | 2147483647 123977 110 | 72.591 % |
410.24/410.31 c | 128749 | 20007 91951 265994 | 2147483647 125030 110 | 72.591 % |
414.64/414.67 c | 129908 | 20007 91951 265994 | 2147483647 126189 110 | 72.591 % |
419.24/419.22 c | 131181 | 20007 91951 265994 | 2147483647 127462 110 | 72.591 % |
424.04/424.08 c | 132581 | 19995 91874 265788 | 2147483647 128842 110 | 72.591 % |
424.54/424.57 c | 132681 | 19995 91874 265788 | 2147483647 128942 110 | 72.591 % |
425.14/425.12 c | 132796 | 19995 91874 265788 | 2147483647 129057 110 | 72.591 % |
425.64/425.65 c | 132920 | 19995 91874 265788 | 2147483647 129181 110 | 72.591 % |
426.14/426.15 c | 133053 | 19995 91874 265788 | 2147483647 129314 110 | 72.591 % |
426.64/426.70 c | 133202 | 19995 91874 265788 | 2147483647 129463 110 | 72.591 % |
427.34/427.32 c | 133365 | 19995 91874 265788 | 2147483647 129626 110 | 72.591 % |
428.04/428.11 c | 133542 | 19995 91874 265788 | 2147483647 129802 110 | 72.609 % |
428.84/428.84 c | 133735 | 19986 91874 265788 | 2147483647 129994 110 | 73.745 % |
429.54/429.59 c | 133949 | 19986 91874 265788 | 2147483647 130208 110 | 73.745 % |
430.34/430.33 c | 134184 | 19986 91874 265788 | 2147483647 130443 110 | 73.745 % |
431.54/431.52 c | 134442 | 19986 91874 265788 | 2147483647 130701 110 | 73.745 % |
432.84/432.83 c | 134727 | 19986 91874 265788 | 2147483647 130986 110 | 73.745 % |
433.84/433.82 c | 135036 | 19986 91874 265788 | 2147483647 131295 110 | 73.745 % |
435.44/435.44 c | 135376 | 19986 91874 265788 | 2147483647 131635 110 | 73.745 % |
437.44/437.46 c | 135749 | 19986 91874 265788 | 2147483647 132008 110 | 73.745 % |
439.04/439.04 c | 136161 | 19986 91874 265788 | 2147483647 132420 110 | 73.745 % |
440.94/440.99 c | 136610 | 19986 91874 265788 | 2147483647 132869 110 | 73.745 % |
443.84/443.87 c | 137105 | 19986 91874 265788 | 2147483647 133364 110 | 73.745 % |
446.24/446.26 c | 137649 | 19986 91874 265788 | 2147483647 133908 110 | 73.745 % |
448.64/448.67 c | 138246 | 19986 91874 265788 | 2147483647 134505 110 | 73.745 % |
451.15/451.15 c | 138901 | 19986 91874 265788 | 2147483647 135160 110 | 73.745 % |
453.95/454.01 c | 139621 | 19986 91874 265788 | 2147483647 135880 110 | 73.745 % |
457.15/457.13 c | 140413 | 19153 87784 253427 | 2147483647 136524 110 | 73.745 % |
460.65/460.63 c | 141284 | 19153 87784 253427 | 2147483647 137395 110 | 73.745 % |
464.35/464.41 c | 142244 | 19153 87784 253427 | 2147483647 138355 110 | 73.745 % |
468.75/468.74 c | 143298 | 19153 87784 253427 | 2147483647 139409 110 | 73.745 % |
473.65/473.71 c | 144460 | 19153 87784 253427 | 2147483647 140570 110 | 73.851 % |
479.15/479.13 c | 145734 | 19145 87784 253427 | 2147483647 141842 110 | 73.882 % |
485.35/485.38 c | 147135 | 19145 87784 253427 | 2147483647 143243 110 | 73.882 % |
491.75/491.73 c | 148675 | 19145 87784 253427 | 2147483647 144783 110 | 73.882 % |
492.15/492.13 c | 148775 | 19053 86350 249410 | 2147483647 144811 110 | 73.882 % |
492.65/492.65 c | 148890 | 19053 86350 249410 | 2147483647 144926 110 | 73.882 % |
493.25/493.25 c | 149012 | 19053 86350 249410 | 2147483647 145048 110 | 73.882 % |
493.75/493.81 c | 149145 | 19053 86350 249410 | 2147483647 145181 110 | 73.882 % |
494.45/494.47 c | 149291 | 19053 86350 249410 | 2147483647 145327 110 | 73.882 % |
495.35/495.36 c | 149451 | 19053 86350 249410 | 2147483647 145487 110 | 73.882 % |
496.05/496.08 c | 149627 | 19053 86350 249410 | 2147483647 145663 110 | 73.882 % |
496.95/496.93 c | 149826 | 19053 86350 249410 | 2147483647 145862 110 | 73.882 % |
498.05/498.07 c | 150038 | 19053 86350 249410 | 2147483647 146074 110 | 73.882 % |
499.15/499.16 c | 150272 | 19053 86350 249410 | 2147483647 146308 110 | 73.882 % |
500.35/500.36 c | 150528 | 19053 86350 249410 | 2147483647 146564 110 | 73.882 % |
501.45/501.46 c | 150809 | 19053 86350 249410 | 2147483647 146845 110 | 73.882 % |
503.05/503.02 c | 151119 | 19053 86350 249410 | 2147483647 147155 110 | 73.882 % |
504.35/504.38 c | 151458 | 19053 86350 249410 | 2147483647 147494 110 | 73.882 % |
505.65/505.67 c | 151832 | 19053 86350 249410 | 2147483647 147868 110 | 73.882 % |
507.25/507.25 c | 152243 | 19053 86350 249410 | 2147483647 148279 110 | 73.882 % |
508.85/508.85 c | 152692 | 19053 86350 249410 | 2147483647 148728 110 | 73.882 % |
511.15/511.14 c | 153186 | 19053 86350 249410 | 2147483647 149222 110 | 73.882 % |
513.85/513.84 c | 153733 | 19051 86350 249410 | 2147483647 149767 110 | 73.895 % |
516.55/516.56 c | 154332 | 19051 86350 249410 | 2147483647 150366 110 | 73.895 % |
519.15/519.14 c | 154988 | 19051 86350 249410 | 2147483647 151022 110 | 73.895 % |
521.95/521.94 c | 155708 | 19051 86350 249410 | 2147483647 151742 110 | 73.895 % |
525.15/525.17 c | 156500 | 19051 86350 249410 | 2147483647 152534 110 | 73.895 % |
528.65/528.66 c | 157372 | 19051 86350 249410 | 2147483647 153406 110 | 73.895 % |
533.26/533.25 c | 158332 | 19051 86350 249410 | 2147483647 154366 110 | 73.895 % |
538.06/538.03 c | 159385 | 19051 86350 249410 | 2147483647 155419 110 | 73.895 % |
542.56/542.61 c | 160549 | 19044 86286 249240 | 2147483647 156580 110 | 73.895 % |
549.96/549.97 c | 161822 | 19044 86286 249240 | 2147483647 157853 110 | 73.895 % |
557.86/557.82 c | 163222 | 19044 86286 249240 | 2147483647 159253 109 | 73.895 % |
566.66/566.70 c | 164765 | 19044 86286 249240 | 2147483647 160796 109 | 73.895 % |
576.46/576.43 c | 166461 | 19041 86286 249240 | 2147483647 162491 108 | 73.987 % |
576.96/576.94 c | 166561 | 19041 86286 249240 | 2147483647 162591 108 | 73.987 % |
577.46/577.45 c | 166671 | 19041 86286 249240 | 2147483647 162701 108 | 73.987 % |
578.16/578.19 c | 166793 | 19041 86286 249240 | 2147483647 162823 108 | 73.987 % |
578.96/578.97 c | 166928 | 19041 86286 249240 | 2147483647 162958 108 | 73.987 % |
579.56/579.62 c | 167075 | 19041 86286 249240 | 2147483647 163105 108 | 73.987 % |
580.16/580.17 c | 167235 | 19041 86286 249240 | 2147483647 163265 108 | 73.987 % |
580.87/580.88 c | 167412 | 19041 86286 249240 | 2147483647 163442 108 | 73.987 % |
581.86/581.89 c | 167606 | 19041 86286 249240 | 2147483647 163636 108 | 73.987 % |
582.76/582.81 c | 167818 | 19041 86286 249240 | 2147483647 163848 108 | 73.987 % |
583.76/583.78 c | 168052 | 19041 86286 249240 | 2147483647 164082 108 | 73.987 % |
584.86/584.87 c | 168309 | 19041 86286 249240 | 2147483647 164339 108 | 73.987 % |
586.46/586.50 c | 168591 | 18977 85952 248424 | 2147483647 164552 108 | 73.987 % |
588.16/588.15 c | 168901 | 18977 85952 248424 | 2147483647 164862 108 | 73.987 % |
590.26/590.26 c | 169241 | 18977 85952 248424 | 2147483647 165202 108 | 73.987 % |
592.97/592.96 c | 169613 | 18977 85952 248424 | 2147483647 165574 108 | 73.987 % |
595.26/595.25 c | 170025 | 18977 85952 248424 | 2147483647 165986 108 | 73.987 % |
597.25/597.24 c | 170474 | 18977 85952 248424 | 2147483647 166435 108 | 73.987 % |
600.15/600.13 c | 170972 | 18977 85952 248424 | 2147483647 166933 108 | 73.987 % |
603.25/603.25 c | 171514 | 18977 85952 248424 | 2147483647 167475 108 | 73.987 % |
607.15/607.13 c | 172110 | 18977 85952 248424 | 2147483647 168071 108 | 73.987 % |
610.45/610.47 c | 172765 | 18977 85952 248424 | 2147483647 168726 108 | 73.987 % |
614.26/614.29 c | 173486 | 18977 85952 248424 | 2147483647 169447 108 | 73.987 % |
617.36/617.37 c | 174278 | 18977 85952 248424 | 2147483647 170239 108 | 73.987 % |
620.56/620.54 c | 175151 | 18977 85952 248424 | 2147483647 171112 108 | 73.987 % |
625.26/625.29 c | 176110 | 18977 85952 248424 | 2147483647 172071 108 | 73.987 % |
629.86/629.83 c | 177163 | 18976 85952 248424 | 2147483647 173123 108 | 74.002 % |
635.16/635.20 c | 178322 | 18976 85952 248424 | 2147483647 174282 108 | 74.002 % |
641.06/641.09 c | 179595 | 18966 85881 248235 | 2147483647 175538 108 | 74.002 % |
648.16/648.17 c | 180995 | 18966 85881 248235 | 2147483647 176938 108 | 74.002 % |
655.96/655.99 c | 182536 | 18966 85881 248235 | 2147483647 178479 108 | 74.002 % |
662.46/662.45 c | 184233 | 18966 85881 248235 | 2147483647 180176 108 | 74.002 % |
671.66/671.66 c | 186097 | 18966 85881 248235 | 2147483647 182040 108 | 74.002 % |
672.17/672.17 c | 186199 | 18966 85881 248235 | 2147483647 182142 108 | 74.002 % |
672.76/672.73 c | 186309 | 18966 85881 248235 | 2147483647 182252 108 | 74.002 % |
673.27/673.28 c | 186431 | 18966 85881 248235 | 2147483647 182374 108 | 74.002 % |
673.86/673.86 c | 186567 | 18966 85881 248235 | 2147483647 182510 108 | 74.002 % |
674.66/674.65 c | 186715 | 18966 85881 248235 | 2147483647 182658 108 | 74.002 % |
675.86/675.82 c | 186875 | 18966 85881 248235 | 2147483647 182818 108 | 74.002 % |
676.96/676.98 c | 187051 | 18966 85881 248235 | 2147483647 182994 107 | 74.002 % |
678.06/678.06 c | 187244 | 18966 85881 248235 | 2147483647 183187 107 | 74.002 % |
679.16/679.15 c | 187458 | 18966 85881 248235 | 2147483647 183401 107 | 74.002 % |
680.56/680.51 c | 187692 | 18966 85881 248235 | 2147483647 183635 107 | 74.002 % |
681.96/681.97 c | 187949 | 18966 85881 248235 | 2147483647 183892 107 | 74.002 % |
683.46/683.50 c | 188234 | 18966 85881 248235 | 2147483647 184177 107 | 74.002 % |
684.56/684.57 c | 188547 | 18966 85881 248235 | 2147483647 184490 108 | 74.002 % |
686.16/686.19 c | 188889 | 18966 85881 248235 | 2147483647 184832 108 | 74.002 % |
688.56/688.60 c | 189261 | 18966 85881 248235 | 2147483647 185204 108 | 74.002 % |
690.76/690.79 c | 189672 | 18966 85881 248235 | 2147483647 185615 108 | 74.002 % |
693.36/693.33 c | 190127 | 18966 85881 248235 | 2147483647 186070 107 | 74.002 % |
696.57/696.59 c | 190621 | 18966 85881 248235 | 2147483647 186564 107 | 74.002 % |
698.87/698.87 c | 191165 | 18966 85881 248235 | 2147483647 187108 107 | 74.002 % |
701.67/701.62 c | 191762 | 18966 85881 248235 | 2147483647 187705 107 | 74.002 % |
704.87/704.84 c | 192417 | 18966 85881 248235 | 2147483647 188360 107 | 74.002 % |
708.97/708.99 c | 193137 | 18966 85881 248235 | 2147483647 189080 107 | 74.002 % |
713.07/713.06 c | 193932 | 18966 85881 248235 | 2147483647 189875 107 | 74.002 % |
718.67/718.70 c | 194803 | 18966 85881 248235 | 2147483647 190746 106 | 74.002 % |
724.87/724.91 c | 195761 | 18966 85881 248235 | 2147483647 191704 106 | 74.002 % |
732.27/732.22 c | 196814 | 18966 85881 248235 | 2147483647 192757 106 | 74.002 % |
739.77/739.73 c | 197973 | 18814 85220 246088 | 2147483647 193901 106 | 74.210 % |
746.87/746.82 c | 199249 | 18814 85220 246088 | 2147483647 195177 105 | 74.210 % |
755.27/755.30 c | 200649 | 18814 85220 246088 | 2147483647 196577 105 | 74.210 % |
764.97/764.98 c | 202189 | 18814 85220 246088 | 2147483647 198117 105 | 74.210 % |
774.77/774.77 c | 203886 | 18814 85220 246088 | 2147483647 199814 104 | 74.210 % |
785.38/785.39 c | 205750 | 18814 85220 246088 | 2147483647 201678 104 | 74.210 % |
796.88/796.91 c | 207800 | 18814 85220 246088 | 2147483647 203728 103 | 74.210 % |
797.58/797.55 c | 207902 | 18814 85220 246088 | 2147483647 203830 103 | 74.210 % |
797.98/797.96 c | 208013 | 18814 85220 246088 | 2147483647 203941 103 | 74.210 % |
798.78/798.80 c | 208134 | 18814 85220 246088 | 2147483647 204062 103 | 74.210 % |
799.68/799.65 c | 208268 | 18814 85220 246088 | 2147483647 204196 103 | 74.210 % |
800.58/800.60 c | 208414 | 18814 85220 246088 | 2147483647 204342 103 | 74.210 % |
801.18/801.18 c | 208576 | 18814 85220 246088 | 2147483647 204504 103 | 74.210 % |
802.38/802.36 c | 208753 | 18814 85220 246088 | 2147483647 204681 103 | 74.210 % |
803.18/803.19 c | 208948 | 18814 85220 246088 | 2147483647 204876 103 | 74.210 % |
804.58/804.52 c | 209160 | 18797 85216 246079 | 2147483647 205086 103 | 74.621 % |
806.28/806.24 c | 209393 | 18797 85216 246079 | 2147483647 205319 103 | 74.621 % |
807.78/807.77 c | 209651 | 18797 85216 246079 | 2147483647 205577 103 | 74.621 % |
808.98/808.98 c | 209932 | 18797 85216 246079 | 2147483647 205858 103 | 74.621 % |
810.38/810.32 c | 210244 | 18797 85216 246079 | 2147483647 206170 103 | 74.621 % |
811.78/811.77 c | 210583 | 18797 85216 246079 | 2147483647 206509 103 | 74.621 % |
813.28/813.31 c | 210955 | 18796 85216 246079 | 2147483647 206880 103 | 74.636 % |
815.58/815.55 c | 211364 | 18796 85216 246079 | 2147483647 207289 103 | 74.636 % |
817.48/817.50 c | 211820 | 18795 85216 246079 | 2147483647 207744 103 | 74.649 % |
820.98/820.95 c | 212314 | 18795 85216 246079 | 2147483647 208238 103 | 74.649 % |
824.58/824.55 c | 212857 | 18795 85216 246079 | 2147483647 208781 103 | 74.649 % |
828.28/828.30 c | 213454 | 18795 85216 246079 | 2147483647 209378 103 | 74.649 % |
832.18/832.20 c | 214111 | 18795 85216 246079 | 2147483647 210035 103 | 74.649 % |
836.09/836.09 c | 214832 | 18795 85216 246079 | 2147483647 210756 103 | 74.649 % |
840.49/840.43 c | 215627 | 18795 85216 246079 | 2147483647 211551 102 | 74.649 % |
845.18/845.17 c | 216498 | 18795 85216 246079 | 2147483647 212422 102 | 74.649 % |
850.18/850.12 c | 217456 | 18795 85216 246079 | 2147483647 213380 102 | 74.649 % |
856.48/856.46 c | 218509 | 18795 85216 246079 | 2147483647 214433 102 | 74.649 % |
863.19/863.21 c | 219668 | 18795 85216 246079 | 2147483647 215592 102 | 74.649 % |
870.59/870.55 c | 220943 | 18795 85216 246079 | 2147483647 216867 102 | 74.649 % |
877.19/877.13 c | 222343 | 18795 85216 246079 | 2147483647 218267 102 | 74.649 % |
884.49/884.48 c | 223883 | 18494 83268 241152 | 2147483647 219790 102 | 74.649 % |
893.59/893.53 c | 225579 | 18494 83268 241152 | 2147483647 221486 102 | 74.649 % |
907.39/907.37 c | 227442 | 18494 83268 241152 | 2147483647 223349 102 | 74.649 % |
918.49/918.46 c | 229491 | 18493 83268 241152 | 2147483647 225397 102 | 74.805 % |
929.89/929.90 c | 231744 | 18491 83268 241152 | 2147483647 227649 102 | 74.868 % |
930.39/930.38 c | 231844 | 18491 83268 241152 | 2147483647 227749 102 | 74.868 % |
930.89/930.89 c | 231958 | 18491 83268 241152 | 2147483647 227863 102 | 74.868 % |
931.59/931.57 c | 232079 | 18491 83268 241152 | 2147483647 227984 102 | 74.868 % |
932.39/932.34 c | 232213 | 18491 83268 241152 | 2147483647 228118 102 | 74.868 % |
933.49/933.47 c | 232360 | 18491 83268 241152 | 2147483647 228265 102 | 74.868 % |
934.39/934.40 c | 232521 | 18491 83268 241152 | 2147483647 228426 102 | 74.868 % |
935.59/935.56 c | 232697 | 18491 83268 241152 | 2147483647 228602 102 | 74.868 % |
936.79/936.73 c | 232890 | 18491 83268 241152 | 2147483647 228795 102 | 74.868 % |
937.89/937.90 c | 233104 | 18491 83268 241152 | 2147483647 229009 102 | 74.868 % |
939.89/939.81 c | 233340 | 18491 83268 241152 | 2147483647 229245 102 | 74.868 % |
941.89/941.87 c | 233596 | 18491 83268 241152 | 2147483647 229501 102 | 74.868 % |
943.40/943.38 c | 233877 | 18491 83268 241152 | 2147483647 229782 102 | 74.868 % |
945.20/945.13 c | 234187 | 18491 83268 241152 | 2147483647 230092 102 | 74.868 % |
947.10/947.11 c | 234528 | 18491 83268 241152 | 2147483647 230433 102 | 74.868 % |
949.40/949.40 c | 234900 | 18491 83268 241152 | 2147483647 230805 102 | 74.868 % |
951.80/951.82 c | 235309 | 18491 83268 241152 | 2147483647 231214 102 | 74.868 % |
953.99/953.93 c | 235759 | 18491 83268 241152 | 2147483647 231664 102 | 74.868 % |
956.39/956.41 c | 236252 | 18491 83268 241152 | 2147483647 232157 102 | 74.868 % |
959.69/959.65 c | 236794 | 18491 83268 241152 | 2147483647 232699 102 | 74.868 % |
962.29/962.30 c | 237391 | 18491 83268 241152 | 2147483647 233296 102 | 74.868 % |
966.89/966.88 c | 238047 | 18334 82437 238919 | 2147483647 233901 102 | 74.868 % |
971.39/971.35 c | 238767 | 18334 82437 238919 | 2147483647 234621 102 | 74.868 % |
976.79/976.78 c | 239559 | 18334 82437 238919 | 2147483647 235413 102 | 74.868 % |
982.59/982.55 c | 240432 | 18334 82437 238919 | 2147483647 236286 102 | 74.868 % |
988.89/988.82 c | 241394 | 18334 82437 238919 | 2147483647 237248 102 | 74.868 % |
995.09/995.10 c | 242448 | 18332 82437 238919 | 2147483647 238301 102 | 74.883 % |
1001.89/1001.84 c | 243606 | 18332 82437 238919 | 2147483647 239458 102 | 74.900 % |
1009.09/1009.08 c | 244882 | 18332 82437 238919 | 2147483647 240734 102 | 74.900 % |
1016.39/1016.32 c | 246283 | 18332 82437 238919 | 2147483647 242135 102 | 74.900 % |
1025.50/1025.47 c | 247823 | 18331 82437 238919 | 2147483647 243674 102 | 74.913 % |
1034.30/1034.31 c | 249519 | 18331 82437 238919 | 2147483647 245370 102 | 74.913 % |
1044.80/1044.72 c | 251384 | 18331 82437 238919 | 2147483647 247235 102 | 74.913 % |
1056.20/1056.14 c | 253433 | 18331 82437 238919 | 2147483647 249284 103 | 74.913 % |
1067.00/1066.99 c | 255687 | 18301 82233 238355 | 2147483647 251521 103 | 74.913 % |
1081.10/1081.02 c | 258167 | 18301 82233 238355 | 2147483647 254001 103 | 74.913 % |
1081.80/1081.81 c | 258267 | 18301 82233 238355 | 2147483647 254101 103 | 74.913 % |
1082.70/1082.62 c | 258377 | 18301 82233 238355 | 2147483647 254211 103 | 74.913 % |
1083.70/1083.64 c | 258498 | 18301 82233 238355 | 2147483647 254332 103 | 74.913 % |
1084.71/1084.64 c | 258631 | 18301 82233 238355 | 2147483647 254465 103 | 74.913 % |
1085.60/1085.52 c | 258780 | 18301 82233 238355 | 2147483647 254614 103 | 74.913 % |
1086.60/1086.60 c | 258940 | 18301 82233 238355 | 2147483647 254774 103 | 74.913 % |
1087.60/1087.56 c | 259116 | 18301 82233 238355 | 2147483647 254950 103 | 74.913 % |
1088.80/1088.77 c | 259309 | 18301 82233 238355 | 2147483647 255143 103 | 74.913 % |
1090.50/1090.44 c | 259521 | 18301 82233 238355 | 2147483647 255355 103 | 74.913 % |
1092.10/1092.10 c | 259754 | 18301 82233 238355 | 2147483647 255588 103 | 74.913 % |
1094.40/1094.39 c | 260010 | 18301 82233 238355 | 2147483647 255844 103 | 74.913 % |
1096.00/1095.91 c | 260292 | 18301 82233 238355 | 2147483647 256126 103 | 74.913 % |
1097.70/1097.62 c | 260602 | 18301 82233 238355 | 2147483647 256436 103 | 74.913 % |
1099.30/1099.26 c | 260942 | 18301 82233 238355 | 2147483647 256776 103 | 74.913 % |
1101.21/1101.13 c | 261314 | 18301 82233 238355 | 2147483647 257148 103 | 74.913 % |
1103.30/1103.30 c | 261725 | 18301 82233 238355 | 2147483647 257559 103 | 74.913 % |
1107.11/1107.07 c | 262174 | 18301 82233 238355 | 2147483647 258008 103 | 74.913 % |
1110.21/1110.12 c | 262671 | 18301 82233 238355 | 2147483647 258505 103 | 74.913 % |
1113.41/1113.37 c | 263214 | 18301 82233 238355 | 2147483647 259048 103 | 74.913 % |
1116.61/1116.60 c | 263810 | 18301 82233 238355 | 2147483647 259644 103 | 74.913 % |
1119.61/1119.55 c | 264465 | 18301 82233 238355 | 2147483647 260299 103 | 74.913 % |
1123.71/1123.68 c | 265186 | 18301 82233 238355 | 2147483647 261020 103 | 74.913 % |
1127.71/1127.63 c | 265981 | 18301 82233 238355 | 2147483647 261815 103 | 74.913 % |
1131.51/1131.50 c | 266852 | 18301 82233 238355 | 2147483647 262686 103 | 74.913 % |
1137.81/1137.80 c | 267810 | 18301 82233 238355 | 2147483647 263644 103 | 74.913 % |
1143.31/1143.22 c | 268868 | 18301 82233 238355 | 2147483647 264702 103 | 74.913 % |
1149.81/1149.74 c | 270027 | 18301 82233 238355 | 2147483647 265861 103 | 74.913 % |
1155.31/1155.23 c | 271300 | 18301 82233 238355 | 2147483647 267134 103 | 74.913 % |
1164.91/1164.83 c | 272700 | 18301 82233 238355 | 2147483647 268534 104 | 74.913 % |
1173.91/1173.86 c | 274243 | 18301 82233 238355 | 2147483647 270077 104 | 74.913 % |
1183.72/1183.63 c | 275939 | 18301 82233 238355 | 2147483647 271773 104 | 74.913 % |
1196.52/1196.46 c | 277804 | 18301 82233 238355 | 2147483647 273638 104 | 74.913 % |
1200.02/1199.93 HOME/SatELiteGTI: line 36: 8018 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-1820320-1242426885/watcher-1820320-1242426885 -o /tmp/evaluation-result-1820320-1242426885/solver-1820320-1242426885 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820320-1242426885.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.91 0.97 0.93 3/93 8012
/proc/meminfo: memFree=1561696/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2416 CPUtime=0
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 366 648 0 0 0 0 0 0 25 0 1 0 1007189740 2473984 276 4294967295 134512640 135169312 3216482000 3216480536 3085590254 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8012/statm: 604 276 235 161 0 43 0
[pid=8016] ppid=8012 vsize=952 CPUtime=0
/proc/8016/stat : 8016 (SatELite_releas) R 8012 8012 20977 0 -1 4202496 118 0 0 0 0 0 0 0 25 0 1 0 1007189740 974848 54 4294967295 134512640 135223648 3219161408 3219160300 134737065 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8016/statm: 238 57 46 174 0 63 0
[startup+0.058842 s]
/proc/loadavg: 0.91 0.97 0.93 3/93 8012
/proc/meminfo: memFree=1561696/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2416 CPUtime=0
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 366 648 0 0 0 0 0 0 25 0 1 0 1007189740 2473984 276 4294967295 134512640 135169312 3216482000 3216480536 3085590254 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8012/statm: 604 276 235 161 0 43 0
[pid=8016] ppid=8012 vsize=12248 CPUtime=0.06
/proc/8016/stat : 8016 (SatELite_releas) R 8012 8012 20977 0 -1 4202496 2237 0 0 0 5 1 0 0 25 0 1 0 1007189740 12541952 2173 4294967295 134512640 135223648 3219161408 3219160288 134543095 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8016/statm: 3062 2173 46 174 0 2887 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 14664
[startup+0.108836 s]
/proc/loadavg: 0.91 0.97 0.93 3/93 8012
/proc/meminfo: memFree=1561696/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2416 CPUtime=0
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 366 648 0 0 0 0 0 0 25 0 1 0 1007189740 2473984 276 4294967295 134512640 135169312 3216482000 3216480536 3085590254 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8012/statm: 604 276 235 161 0 43 0
[pid=8016] ppid=8012 vsize=22096 CPUtime=0.11
/proc/8016/stat : 8016 (SatELite_releas) R 8012 8012 20977 0 -1 4202496 4619 0 0 0 9 2 0 0 25 0 1 0 1007189740 22626304 4555 4294967295 134512640 135223648 3219161408 3219160360 134737310 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8016/statm: 5524 4556 46 174 0 5349 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 24512
[startup+0.308816 s]
/proc/loadavg: 0.91 0.97 0.93 3/93 8012
/proc/meminfo: memFree=1561696/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2416 CPUtime=0
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 366 648 0 0 0 0 0 0 25 0 1 0 1007189740 2473984 276 4294967295 134512640 135169312 3216482000 3216480536 3085590254 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8012/statm: 604 276 235 161 0 43 0
[pid=8016] ppid=8012 vsize=51488 CPUtime=0.31
/proc/8016/stat : 8016 (SatELite_releas) R 8012 8012 20977 0 -1 4202496 11129 0 0 0 24 7 0 0 25 0 1 0 1007189740 52723712 11065 4294967295 134512640 135223648 3219161408 3219160360 134737310 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8016/statm: 12872 11066 46 174 0 12697 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 53904
[startup+0.708776 s]
/proc/loadavg: 0.91 0.97 0.93 3/93 8012
/proc/meminfo: memFree=1561696/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2416 CPUtime=0
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 366 648 0 0 0 0 0 0 25 0 1 0 1007189740 2473984 276 4294967295 134512640 135169312 3216482000 3216480536 3085590254 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8012/statm: 604 276 235 161 0 43 0
[pid=8016] ppid=8012 vsize=79148 CPUtime=0.71
/proc/8016/stat : 8016 (SatELite_releas) R 8012 8012 20977 0 -1 4202496 18571 0 0 0 58 13 0 0 25 0 1 0 1007189740 81047552 18507 4294967295 134512640 135223648 3219161408 3219160360 134737310 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8016/statm: 19787 18509 47 174 0 19612 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 81564
[startup+1.5087 s]
/proc/loadavg: 0.92 0.97 0.93 2/95 8017
/proc/meminfo: memFree=1469160/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2416 CPUtime=0
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 366 648 0 0 0 0 0 0 25 0 1 0 1007189740 2473984 276 4294967295 134512640 135169312 3216482000 3216480536 3085590254 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8012/statm: 604 276 235 161 0 43 0
[pid=8016] ppid=8012 vsize=106692 CPUtime=1.51
/proc/8016/stat : 8016 (SatELite_releas) R 8012 8012 20977 0 -1 4202496 27224 0 0 0 134 17 0 0 25 0 1 0 1007189740 109252608 24920 4294967295 134512640 135223648 3219161408 3219159360 134563693 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8016/statm: 26673 24920 73 174 0 26498 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 109108
[startup+3.10854 s]
/proc/loadavg: 0.92 0.97 0.93 2/95 8017
/proc/meminfo: memFree=1456512/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2416 CPUtime=0
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 366 648 0 0 0 0 0 0 25 0 1 0 1007189740 2473984 276 4294967295 134512640 135169312 3216482000 3216480536 3085590254 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8012/statm: 604 276 235 161 0 43 0
[pid=8016] ppid=8012 vsize=112724 CPUtime=3.11
/proc/8016/stat : 8016 (SatELite_releas) R 8012 8012 20977 0 -1 4202496 28893 0 0 0 291 20 0 0 25 0 1 0 1007189740 115429376 26421 4294967295 134512640 135223648 3219161408 3219159504 134595815 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8016/statm: 28181 26421 73 174 0 28006 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 115140
[startup+6.30823 s]
/proc/loadavg: 0.93 0.97 0.93 2/95 8017
/proc/meminfo: memFree=1449444/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2416 CPUtime=0
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 366 648 0 0 0 0 0 0 25 0 1 0 1007189740 2473984 276 4294967295 134512640 135169312 3216482000 3216480536 3085590254 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/8012/statm: 604 276 235 161 0 43 0
[pid=8016] ppid=8012 vsize=122996 CPUtime=6.31
/proc/8016/stat : 8016 (SatELite_releas) R 8012 8012 20977 0 -1 4202496 33859 0 0 0 609 22 0 0 25 0 1 0 1007189740 125947904 27201 4294967295 134512640 135223648 3219161408 3219159424 134587023 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8016/statm: 30749 27201 73 174 0 30574 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 125412
[startup+12.7076 s]
/proc/loadavg: 0.93 0.97 0.93 3/95 8018
/proc/meminfo: memFree=1524000/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2420 CPUtime=7.59
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 386 42636 0 0 0 0 729 30 18 0 1 0 1007189740 2478080 278 4294967295 134512640 135169312 3216482000 3216478216 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8012/statm: 605 278 235 161 0 44 0
[pid=8018] ppid=8012 vsize=25900 CPUtime=5.1
/proc/8018/stat : 8018 (minisat_static) R 8012 8012 20977 0 -1 4202496 6052 0 0 0 504 6 0 0 25 0 1 0 1007190500 26521600 5969 4294967295 134512640 135215339 3218608416 3218606704 134528624 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8018/statm: 6475 5969 73 172 0 6302 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28320
[startup+25.5063 s]
/proc/loadavg: 0.94 0.97 0.93 3/95 8020
/proc/meminfo: memFree=1522352/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2420 CPUtime=7.59
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 386 42636 0 0 0 0 729 30 18 0 1 0 1007189740 2478080 278 4294967295 134512640 135169312 3216482000 3216478216 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8012/statm: 605 278 235 161 0 44 0
[pid=8018] ppid=8012 vsize=27748 CPUtime=17.9
/proc/8018/stat : 8018 (minisat_static) R 8012 8012 20977 0 -1 4202496 6501 0 0 0 1781 9 0 0 25 0 1 0 1007190500 28413952 6418 4294967295 134512640 135215339 3218608416 3218606704 134528721 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8018/statm: 6937 6418 73 172 0 6764 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 30168
[startup+51.1138 s]
/proc/loadavg: 0.96 0.97 0.93 3/95 8204
/proc/meminfo: memFree=1516552/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2420 CPUtime=7.59
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 386 42636 0 0 0 0 729 30 18 0 1 0 1007189740 2478080 278 4294967295 134512640 135169312 3216482000 3216478216 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8012/statm: 605 278 235 161 0 44 0
[pid=8018] ppid=8012 vsize=32652 CPUtime=43.51
/proc/8018/stat : 8018 (minisat_static) R 8012 8012 20977 0 -1 4202496 7755 0 0 0 4341 10 0 0 25 0 1 0 1007190500 33435648 7672 4294967295 134512640 135215339 3218608416 3218606416 134532626 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8018/statm: 8163 7672 73 172 0 7990 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 35072
[startup+102.319 s]
/proc/loadavg: 0.98 0.97 0.93 2/95 8392
/proc/meminfo: memFree=1506508/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2420 CPUtime=7.59
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 386 42636 0 0 0 0 729 30 18 0 1 0 1007189740 2478080 278 4294967295 134512640 135169312 3216482000 3216478216 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8012/statm: 605 278 235 161 0 44 0
[pid=8018] ppid=8012 vsize=42392 CPUtime=94.72
/proc/8018/stat : 8018 (minisat_static) R 8012 8012 20977 0 -1 4202496 10185 0 0 0 9457 15 0 0 25 0 1 0 1007190500 43409408 10102 4294967295 134512640 135215339 3218608416 3218606704 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8018/statm: 10598 10102 73 172 0 10425 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 44812
[startup+162.323 s]
/proc/loadavg: 0.99 0.97 0.93 2/95 8583
/proc/meminfo: memFree=1498628/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2420 CPUtime=7.59
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 386 42636 0 0 0 0 729 30 18 0 1 0 1007189740 2478080 278 4294967295 134512640 135169312 3216482000 3216478216 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8012/statm: 605 278 235 161 0 44 0
[pid=8018] ppid=8012 vsize=50544 CPUtime=154.73
/proc/8018/stat : 8018 (minisat_static) R 8012 8012 20977 0 -1 4202496 12200 0 0 0 15457 16 0 0 25 0 1 0 1007190500 51757056 12117 4294967295 134512640 135215339 3218608416 3218606480 134538384 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8018/statm: 12636 12117 73 172 0 12463 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 52964
[startup+222.327 s]
/proc/loadavg: 0.99 0.97 0.93 2/95 8772
/proc/meminfo: memFree=1490444/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2420 CPUtime=7.59
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 386 42636 0 0 0 0 729 30 18 0 1 0 1007189740 2478080 278 4294967295 134512640 135169312 3216482000 3216478216 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8012/statm: 605 278 235 161 0 44 0
[pid=8018] ppid=8012 vsize=58872 CPUtime=214.74
/proc/8018/stat : 8018 (minisat_static) R 8012 8012 20977 0 -1 4202496 14286 0 0 0 21455 19 0 0 25 0 1 0 1007190500 60284928 14203 4294967295 134512640 135215339 3218608416 3218606416 134532687 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8018/statm: 14718 14203 73 172 0 14545 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 61292
[startup+282.311 s]
/proc/loadavg: 0.99 0.97 0.93 2/95 8958
/proc/meminfo: memFree=1481632/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2420 CPUtime=7.59
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 386 42636 0 0 0 0 729 30 18 0 1 0 1007189740 2478080 278 4294967295 134512640 135169312 3216482000 3216478216 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8012/statm: 605 278 235 161 0 44 0
[pid=8018] ppid=8012 vsize=67968 CPUtime=274.73
/proc/8018/stat : 8018 (minisat_static) R 8012 8012 20977 0 -1 4202496 16497 0 0 0 27452 21 0 0 25 0 1 0 1007190500 69599232 16414 4294967295 134512640 135215339 3218608416 3218606704 134528624 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8018/statm: 16992 16414 73 172 0 16819 0
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (KiB) 70388
[startup+342.315 s]
/proc/loadavg: 0.99 0.97 0.93 2/95 9149
/proc/meminfo: memFree=1475176/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2420 CPUtime=7.59
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 386 42636 0 0 0 0 729 30 18 0 1 0 1007189740 2478080 278 4294967295 134512640 135169312 3216482000 3216478216 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8012/statm: 605 278 235 161 0 44 0
[pid=8018] ppid=8012 vsize=74408 CPUtime=334.74
/proc/8018/stat : 8018 (minisat_static) R 8012 8012 20977 0 -1 4202496 18112 0 0 0 33453 21 0 0 25 0 1 0 1007190500 76193792 18029 4294967295 134512640 135215339 3218608416 3218606704 134528875 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8018/statm: 18602 18029 73 172 0 18429 0
Current children cumulated CPU time (s) 342.33
################
# More data... #
################
[pid=8018] ppid=8012 vsize=95112 CPUtime=514.76
/proc/8018/stat : 8018 (minisat_static) R 8012 8012 20977 0 -1 4202496 23223 0 0 0 51451 25 0 0 25 0 1 0 1007190500 97394688 23140 4294967295 134512640 135215339 3218608416 3218606704 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8018/statm: 23778 23140 73 172 0 23605 0
Current children cumulated CPU time (s) 522.35
Current children cumulated vsize (KiB) 97532
[startup+582.322 s]
/proc/loadavg: 0.99 0.97 0.93 2/95 9904
/proc/meminfo: memFree=1450376/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2420 CPUtime=7.59
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 386 42636 0 0 0 0 729 30 18 0 1 0 1007189740 2478080 278 4294967295 134512640 135169312 3216482000 3216478216 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8012/statm: 605 278 235 161 0 44 0
[pid=8018] ppid=8012 vsize=99756 CPUtime=574.77
/proc/8018/stat : 8018 (minisat_static) R 8012 8012 20977 0 -1 4202496 24422 0 0 0 57450 27 0 0 25 0 1 0 1007190500 102150144 24339 4294967295 134512640 135215339 3218608416 3218606704 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8018/statm: 24939 24339 73 172 0 24766 0
Current children cumulated CPU time (s) 582.36
Current children cumulated vsize (KiB) 102176
[startup+642.316 s]
/proc/loadavg: 1.14 1.00 0.94 2/95 10093
/proc/meminfo: memFree=1444524/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2420 CPUtime=7.59
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 386 42636 0 0 0 0 729 30 18 0 1 0 1007189740 2478080 278 4294967295 134512640 135169312 3216482000 3216478216 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8012/statm: 605 278 235 161 0 44 0
[pid=8018] ppid=8012 vsize=105512 CPUtime=634.77
/proc/8018/stat : 8018 (minisat_static) R 8012 8012 20977 0 -1 4202496 25849 0 0 0 63447 30 0 0 25 0 1 0 1007190500 108044288 25766 4294967295 134512640 135215339 3218608416 3218606704 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8018/statm: 26378 25766 73 172 0 26205 0
Current children cumulated CPU time (s) 642.36
Current children cumulated vsize (KiB) 107932
[startup+702.32 s]
/proc/loadavg: 1.05 1.00 0.94 3/95 10281
/proc/meminfo: memFree=1439144/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2420 CPUtime=7.59
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 386 42636 0 0 0 0 729 30 18 0 1 0 1007189740 2478080 278 4294967295 134512640 135169312 3216482000 3216478216 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8012/statm: 605 278 235 161 0 44 0
[pid=8018] ppid=8012 vsize=110464 CPUtime=694.78
/proc/8018/stat : 8018 (minisat_static) R 8012 8012 20977 0 -1 4202496 27089 0 0 0 69445 33 0 0 25 0 1 0 1007190500 113115136 27006 4294967295 134512640 135215339 3218608416 3218606704 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8018/statm: 27616 27006 73 172 0 27443 0
Current children cumulated CPU time (s) 702.37
Current children cumulated vsize (KiB) 112884
[startup+762.324 s]
/proc/loadavg: 1.02 1.00 0.94 2/95 10468
/proc/meminfo: memFree=1436796/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2420 CPUtime=7.59
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 386 42636 0 0 0 0 729 30 18 0 1 0 1007189740 2478080 278 4294967295 134512640 135169312 3216482000 3216478216 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8012/statm: 605 278 235 161 0 44 0
[pid=8018] ppid=8012 vsize=112856 CPUtime=754.79
/proc/8018/stat : 8018 (minisat_static) R 8012 8012 20977 0 -1 4202496 27687 0 0 0 75444 35 0 0 25 0 1 0 1007190500 115564544 27604 4294967295 134512640 135215339 3218608416 3218606704 134529157 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8018/statm: 28214 27604 73 172 0 28041 0
Current children cumulated CPU time (s) 762.38
Current children cumulated vsize (KiB) 115276
[startup+822.318 s]
/proc/loadavg: 1.00 1.00 0.94 2/95 10661
/proc/meminfo: memFree=1433124/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2420 CPUtime=7.59
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 386 42636 0 0 0 0 729 30 18 0 1 0 1007189740 2478080 278 4294967295 134512640 135169312 3216482000 3216478216 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8012/statm: 605 278 235 161 0 44 0
[pid=8018] ppid=8012 vsize=117252 CPUtime=814.79
/proc/8018/stat : 8018 (minisat_static) R 8012 8012 20977 0 -1 4202496 28671 0 0 0 81441 38 0 0 25 0 1 0 1007190500 120066048 28588 4294967295 134512640 135215339 3218608416 3218606704 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8018/statm: 29313 28588 73 172 0 29140 0
Current children cumulated CPU time (s) 822.38
Current children cumulated vsize (KiB) 119672
[startup+882.322 s]
/proc/loadavg: 1.05 1.01 0.94 3/95 10847
/proc/meminfo: memFree=1429016/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2420 CPUtime=7.59
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 386 42636 0 0 0 0 729 30 18 0 1 0 1007189740 2478080 278 4294967295 134512640 135169312 3216482000 3216478216 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8012/statm: 605 278 235 161 0 44 0
[pid=8018] ppid=8012 vsize=120932 CPUtime=874.8
/proc/8018/stat : 8018 (minisat_static) R 8012 8012 20977 0 -1 4202496 29597 0 0 0 87435 45 0 0 25 0 1 0 1007190500 123834368 29514 4294967295 134512640 135215339 3218608416 3218606704 134528624 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8018/statm: 30233 29514 73 172 0 30060 0
Current children cumulated CPU time (s) 882.39
Current children cumulated vsize (KiB) 123352
[startup+942.326 s]
/proc/loadavg: 1.02 1.01 0.94 2/95 11036
/proc/meminfo: memFree=1424752/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2420 CPUtime=7.59
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 386 42636 0 0 0 0 729 30 18 0 1 0 1007189740 2478080 278 4294967295 134512640 135169312 3216482000 3216478216 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8012/statm: 605 278 235 161 0 44 0
[pid=8018] ppid=8012 vsize=125376 CPUtime=934.81
/proc/8018/stat : 8018 (minisat_static) R 8012 8012 20977 0 -1 4202496 30726 0 0 0 93432 49 0 0 25 0 1 0 1007190500 128385024 30643 4294967295 134512640 135215339 3218608416 3218606704 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8018/statm: 31344 30643 73 172 0 31171 0
Current children cumulated CPU time (s) 942.4
Current children cumulated vsize (KiB) 127796
[startup+1002.31 s]
/proc/loadavg: 1.00 1.00 0.94 2/95 11224
/proc/meminfo: memFree=1419908/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2420 CPUtime=7.59
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 386 42636 0 0 0 0 729 30 18 0 1 0 1007189740 2478080 278 4294967295 134512640 135169312 3216482000 3216478216 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8012/statm: 605 278 235 161 0 44 0
[pid=8018] ppid=8012 vsize=130376 CPUtime=994.8
/proc/8018/stat : 8018 (minisat_static) R 8012 8012 20977 0 -1 4202496 31950 0 0 0 99431 49 0 0 25 0 1 0 1007190500 133505024 31867 4294967295 134512640 135215339 3218608416 3218606704 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8018/statm: 32594 31867 73 172 0 32421 0
Current children cumulated CPU time (s) 1002.39
Current children cumulated vsize (KiB) 132796
[startup+1062.31 s]
/proc/loadavg: 1.04 1.01 0.95 3/95 11411
/proc/meminfo: memFree=1414180/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2420 CPUtime=7.59
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 386 42636 0 0 0 0 729 30 18 0 1 0 1007189740 2478080 278 4294967295 134512640 135169312 3216482000 3216478216 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8012/statm: 605 278 235 161 0 44 0
[pid=8018] ppid=8012 vsize=135968 CPUtime=1054.81
/proc/8018/stat : 8018 (minisat_static) R 8012 8012 20977 0 -1 4202496 33342 0 0 0 105430 51 0 0 25 0 1 0 1007190500 139231232 33259 4294967295 134512640 135215339 3218608416 3218606704 134528624 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8018/statm: 33992 33259 73 172 0 33819 0
Current children cumulated CPU time (s) 1062.4
Current children cumulated vsize (KiB) 138388
[startup+1122.32 s]
/proc/loadavg: 1.10 1.04 0.96 2/95 11600
/proc/meminfo: memFree=1408384/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2420 CPUtime=7.59
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 386 42636 0 0 0 0 729 30 18 0 1 0 1007189740 2478080 278 4294967295 134512640 135169312 3216482000 3216478216 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8012/statm: 605 278 235 161 0 44 0
[pid=8018] ppid=8012 vsize=141432 CPUtime=1114.82
/proc/8018/stat : 8018 (minisat_static) R 8012 8012 20977 0 -1 4202496 34705 0 0 0 111424 58 0 0 25 0 1 0 1007190500 144826368 34622 4294967295 134512640 135215339 3218608416 3218606704 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8018/statm: 35358 34622 73 172 0 35185 0
Current children cumulated CPU time (s) 1122.41
Current children cumulated vsize (KiB) 143852
[startup+1182.31 s]
/proc/loadavg: 1.03 1.03 0.96 3/95 11786
/proc/meminfo: memFree=1403516/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2420 CPUtime=7.59
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 386 42636 0 0 0 0 729 30 18 0 1 0 1007189740 2478080 278 4294967295 134512640 135169312 3216482000 3216478216 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8012/statm: 605 278 235 161 0 44 0
[pid=8018] ppid=8012 vsize=146832 CPUtime=1174.82
/proc/8018/stat : 8018 (minisat_static) R 8012 8012 20977 0 -1 4202496 36065 0 0 0 117422 60 0 0 25 0 1 0 1007190500 150355968 35982 4294967295 134512640 135215339 3218608416 3218606704 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8018/statm: 36708 35982 73 172 0 36535 0
Current children cumulated CPU time (s) 1182.41
Current children cumulated vsize (KiB) 149252
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1199.92 s]
/proc/loadavg: 1.02 1.03 0.96 2/95 11793
/proc/meminfo: memFree=1402360/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2420 CPUtime=7.59
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 386 42636 0 0 0 0 729 30 18 0 1 0 1007189740 2478080 278 4294967295 134512640 135169312 3216482000 3216478216 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8012/statm: 605 278 235 161 0 44 0
[pid=8018] ppid=8012 vsize=148184 CPUtime=1192.43
/proc/8018/stat : 8018 (minisat_static) R 8012 8012 20977 0 -1 4202496 36384 0 0 0 119183 60 0 0 25 0 1 0 1007190500 151740416 36301 4294967295 134512640 135215339 3218608416 3218606704 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8018/statm: 37046 36301 73 172 0 36873 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 150604
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1199.92 s]
/proc/loadavg: 1.02 1.03 0.96 2/95 11793
/proc/meminfo: memFree=1402360/2074464 swapFree=1951868/1959888
[pid=8012] ppid=8010 vsize=2420 CPUtime=7.59
/proc/8012/stat : 8012 (SatELiteGTI) S 8010 8012 20977 0 -1 4194304 386 42636 0 0 0 0 729 30 18 0 1 0 1007189740 2478080 278 4294967295 134512640 135169312 3216482000 3216478216 3085590254 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/8012/statm: 605 278 235 161 0 44 0
[pid=8018] ppid=8012 vsize=148184 CPUtime=1192.43
/proc/8018/stat : 8018 (minisat_static) R 8012 8012 20977 0 -1 4202496 36384 0 0 0 119183 60 0 0 25 0 1 0 1007190500 151740416 36301 4294967295 134512640 135215339 3218608416 3218606704 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/8018/statm: 37046 36301 73 172 0 36873 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 150604
Child status: 143
Real time (s): 1199.94
CPU time (s): 1200.04
CPU user time (s): 1199.12
CPU system time (s): 0.92
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 150604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.12
system time used= 0.92
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79681
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= 26
involuntary context switches= 1443
runsolver used 0 second user time and 0.01 second system time
The end
Begin job on tipi10 at 2009-05-16 00:34:45
IDJOB=1820320
IDBENCH=20368
IDSOLVER=657
FILE ID=tipi10/1820320-1242426885
PBS_JOBID=
Free space on /tmp= 5658 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/total-5-15-u.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820320-1242426885/watcher-1820320-1242426885 -o /tmp/evaluation-result-1820320-1242426885/solver-1820320-1242426885 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820320-1242426885.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= c438ce1eb243ac0a49869eda1166f28f
RANDOM SEED= 166097150
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: 1562068 kB
Buffers: 25048 kB
Cached: 402096 kB
SwapCached: 2896 kB
Active: 348156 kB
Inactive: 89120 kB
HighTotal: 1178688 kB
HighFree: 767792 kB
LowTotal: 895776 kB
LowFree: 794276 kB
SwapTotal: 1959888 kB
SwapFree: 1951868 kB
Dirty: 19896 kB
Writeback: 0 kB
AnonPages: 9360 kB
Mapped: 3332 kB
Slab: 65760 kB
PageTables: 640 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= 5658 MiB
End job on tipi10 at 2009-05-16 00:54:47