0.00/0.01 c Parsing...
0.00/0.77 c ==============================================================================
0.00/0.77 c | | ORIGINAL | LEARNT | |
0.00/0.77 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.77 c ==============================================================================
0.00/0.77 c | 0 | 990219 2297722 | 297065 0 0 nan | 0.000 % |
7.06/7.18 c | 0 | 427478 1139975 | -- 0 -- -- | -- | -342939/-661157
7.06/7.19 c ==============================================================================
7.06/7.19 c Result : #vars: 72951 #clauses: 427478 #literals: 1139975
7.06/7.19 c CPU time: 6.92295 s
7.06/7.19 c ==============================================================================
7.56/8.12 c This is MiniSat 2.0 beta
7.56/8.12 c WARNING: for repeatability, setting FPU to use double precision
7.56/8.12 c ============================[ Problem Statistics ]=============================
7.56/8.12 c | |
7.56/8.12 c | Number of variables: 72951 |
7.56/8.12 c | Number of clauses: 427478 |
7.58/8.38 c | Parsing time: 0.23 s |
7.58/8.39 c ============================[ Search Statistics ]==============================
7.58/8.39 c | Conflicts | ORIGINAL | LEARNT | Progress |
7.58/8.39 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
7.58/8.39 c ===============================================================================
7.58/8.39 c | 0 | 72951 427478 1139975 | 142492 0 nan | 0.000 % |
7.58/8.61 c | 101 | 72499 427478 1139975 | 142492 90 100 | 11.282 % |
7.58/8.69 c | 202 | 72496 427478 1139975 | 142492 189 62 | 11.301 % |
8.24/8.81 c | 303 | 72491 427478 1139975 | 142492 287 69 | 11.402 % |
8.64/9.21 c | 413 | 59355 340491 930443 | 142492 383 70 | 18.637 % |
8.94/9.51 c | 513 | 58826 340491 930443 | 142492 471 69 | 28.311 % |
9.04/9.64 c | 624 | 58826 340491 930443 | 142492 580 60 | 28.806 % |
9.14/9.76 c | 745 | 58824 340491 930443 | 142492 700 63 | 28.819 % |
9.34/9.96 c | 846 | 51927 292652 813460 | 142492 797 61 | 28.819 % |
9.64/10.26 c | 957 | 51800 292652 813460 | 142492 903 59 | 30.374 % |
9.94/10.56 c | 1078 | 51800 292652 813460 | 142492 1023 71 | 31.126 % |
10.24/10.86 c | 1212 | 50077 281789 784892 | 142492 1133 70 | 33.967 % |
10.44/11.08 c | 1312 | 50077 281789 784892 | 142492 1233 88 | 33.967 % |
10.64/11.27 c | 1422 | 48162 268733 750105 | 142492 1323 90 | 33.980 % |
10.93/11.55 c | 1543 | 48132 268733 750105 | 142492 1437 86 | 39.195 % |
11.13/11.76 c | 1677 | 48120 268733 750105 | 142492 1569 81 | 39.247 % |
11.44/12.06 c | 1824 | 44320 243192 683357 | 142492 1701 87 | 39.247 % |
11.83/12.43 c | 1926 | 44300 243192 683357 | 142492 1801 89 | 40.260 % |
12.23/12.83 c | 2036 | 43580 239040 672718 | 142492 1889 89 | 40.291 % |
12.33/12.93 c | 2157 | 43580 239040 672718 | 142492 2010 86 | 40.291 % |
12.54/13.13 c | 2295 | 43115 238402 671139 | 142492 2134 85 | 43.065 % |
12.83/13.46 c | 2441 | 43060 238402 671139 | 142492 2279 85 | 44.099 % |
13.33/13.95 c | 2604 | 43060 238402 671139 | 142492 2441 86 | 44.338 % |
13.74/14.33 c | 2705 | 40606 217579 617249 | 142492 2518 91 | 44.415 % |
14.03/14.64 c | 2817 | 40606 217579 617249 | 142492 2630 91 | 44.415 % |
14.33/14.93 c | 2938 | 40550 217302 616618 | 142492 2751 93 | 44.415 % |
14.74/15.35 c | 3073 | 40549 217302 616618 | 142492 2885 94 | 44.427 % |
15.03/15.66 c | 3220 | 40539 217231 616439 | 142492 3029 94 | 44.553 % |
15.53/16.15 c | 3380 | 40518 217231 616439 | 142492 3182 95 | 44.659 % |
16.03/16.64 c | 3557 | 40368 216039 613435 | 142492 3344 99 | 44.672 % |
16.23/16.80 c | 3657 | 40368 216039 613435 | 142492 3444 99 | 44.673 % |
16.33/16.99 c | 3769 | 40368 216039 613435 | 142492 3556 97 | 44.672 % |
16.63/17.27 c | 3894 | 40362 215963 613244 | 142492 3681 98 | 44.672 % |
16.94/17.55 c | 4027 | 40359 215963 613244 | 142492 3812 98 | 44.698 % |
17.24/17.82 c | 4173 | 40358 215963 613244 | 142492 3957 102 | 45.022 % |
17.64/18.27 c | 4333 | 40107 211826 601663 | 142492 4114 108 | 45.022 % |
18.04/18.64 c | 4510 | 40107 211826 601663 | 142492 4291 112 | 45.022 % |
18.44/19.07 c | 4703 | 40079 211749 601461 | 142492 4473 110 | 45.288 % |
18.64/19.29 c | 4803 | 40076 211749 601461 | 142492 4572 109 | 45.400 % |
18.84/19.49 c | 4913 | 40076 211749 601461 | 142492 4682 108 | 45.400 % |
19.04/19.70 c | 5039 | 39441 207479 590506 | 142492 4801 107 | 46.269 % |
19.24/19.88 c | 5172 | 39441 207479 590506 | 142492 4934 106 | 46.269 % |
19.64/20.23 c | 5320 | 39441 207479 590506 | 142492 5082 108 | 46.269 % |
19.94/20.53 c | 5483 | 39441 207479 590506 | 142492 5245 110 | 46.269 % |
20.34/20.93 c | 5661 | 39441 207479 590506 | 142492 5423 120 | 46.269 % |
20.73/21.36 c | 5856 | 39197 203354 578896 | 142492 5618 124 | 46.269 % |
21.34/21.93 c | 6070 | 39197 203354 578896 | 142492 5831 131 | 46.438 % |
21.44/22.07 c | 6170 | 39194 203354 578896 | 142492 5931 130 | 46.438 % |
21.63/22.24 c | 6281 | 39074 202491 576839 | 142492 6042 129 | 46.438 % |
22.03/22.63 c | 6403 | 39074 202491 576839 | 142492 6164 129 | 46.438 % |
22.33/22.92 c | 6536 | 39074 202491 576839 | 142492 6297 128 | 46.438 % |
22.53/23.19 c | 6682 | 39071 202491 576839 | 142492 6440 127 | 46.934 % |
22.93/23.50 c | 6842 | 38712 200356 570889 | 142492 6572 130 | 46.934 % |
23.13/23.75 c | 7019 | 38712 200356 570889 | 142492 6749 129 | 46.934 % |
23.53/24.16 c | 7213 | 38703 200356 570889 | 142492 6934 127 | 47.425 % |
23.93/24.55 c | 7425 | 38674 200356 570889 | 142492 7139 127 | 47.668 % |
24.54/25.11 c | 7659 | 38175 196892 561955 | 142492 7366 126 | 47.687 % |
24.74/25.37 c | 7762 | 38175 196892 561955 | 142492 7469 128 | 47.687 % |
24.94/25.54 c | 7872 | 38174 196892 561955 | 142492 7578 128 | 47.688 % |
25.04/25.65 c | 7993 | 38174 196892 561955 | 142492 7699 127 | 47.688 % |
25.44/26.01 c | 8129 | 38151 196708 561469 | 142492 7833 127 | 47.705 % |
25.64/26.22 c | 8275 | 38121 196708 561469 | 142492 7977 127 | 51.637 % |
25.84/26.44 c | 8435 | 38121 196708 561469 | 142492 8137 128 | 51.637 % |
26.23/26.82 c | 8611 | 38120 196708 561469 | 142492 8312 128 | 51.654 % |
26.53/27.15 c | 8806 | 38119 196708 561469 | 142492 8507 128 | 51.654 % |
27.03/27.61 c | 9018 | 35269 179170 513099 | 142492 8679 128 | 51.654 % |
27.43/28.07 c | 9252 | 35263 179170 513099 | 142492 8912 128 | 51.680 % |
28.04/28.65 c | 9509 | 35263 179170 513099 | 142492 9169 126 | 51.680 % |
28.13/28.75 c | 9612 | 35250 179013 512722 | 142492 9271 126 | 51.680 % |
28.33/28.96 c | 9723 | 35249 179013 512722 | 142492 9381 126 | 51.695 % |
28.53/29.17 c | 9845 | 35249 179013 512722 | 142492 9503 126 | 51.695 % |
28.93/29.53 c | 9979 | 35248 179013 512722 | 142492 9636 126 | 51.707 % |
29.23/29.80 c | 10128 | 35248 179013 512722 | 2147483647 9785 128 | 51.707 % |
29.53/30.17 c | 10289 | 35248 179013 512722 | 2147483647 9946 129 | 51.707 % |
29.93/30.58 c | 10465 | 35230 178858 512348 | 2147483647 10121 131 | 51.707 % |
30.43/31.01 c | 10658 | 35230 178858 512348 | 2147483647 10314 131 | 51.707 % |
30.73/31.36 c | 10870 | 35230 178858 512348 | 2147483647 10526 132 | 51.707 % |
31.23/31.84 c | 11107 | 35230 178858 512348 | 2147483647 10763 132 | 51.707 % |
32.13/32.72 c | 11364 | 35220 178786 512171 | 2147483647 11018 130 | 51.721 % |
32.73/33.32 c | 11646 | 35220 178786 512171 | 2147483647 11300 129 | 51.721 % |
32.93/33.55 c | 11747 | 35219 178786 512171 | 2147483647 11400 128 | 51.733 % |
33.23/33.84 c | 11860 | 35219 178786 512171 | 2147483647 11513 128 | 51.733 % |
33.63/34.27 c | 11982 | 35211 178717 511996 | 2147483647 11635 127 | 51.733 % |
34.03/34.61 c | 12116 | 35211 178717 511996 | 2147483647 11769 127 | 51.733 % |
34.23/34.86 c | 12262 | 35211 178717 511996 | 2147483647 11915 126 | 51.734 % |
34.63/35.28 c | 12422 | 35211 178717 511996 | 2147483647 12075 125 | 51.733 % |
35.13/35.75 c | 12598 | 35210 178717 511996 | 2147483647 12250 124 | 51.748 % |
35.53/36.11 c | 12791 | 35200 178642 511797 | 2147483647 12443 125 | 51.748 % |
36.12/36.75 c | 13004 | 35198 178642 511797 | 2147483647 12654 127 | 51.773 % |
36.52/37.16 c | 13237 | 35196 178642 511797 | 2147483647 12886 127 | 51.784 % |
36.92/37.58 c | 13495 | 35124 178642 511797 | 2147483647 13141 127 | 53.311 % |
37.52/38.16 c | 13776 | 35124 178642 511797 | 2147483647 13422 128 | 53.311 % |
38.22/38.85 c | 14086 | 34060 171622 492384 | 2147483647 13684 129 | 53.311 % |
38.32/39.00 c | 14186 | 34055 171622 492384 | 2147483647 13782 128 | 53.336 % |
38.62/39.28 c | 14297 | 34055 171622 492384 | 2147483647 13893 128 | 53.336 % |
38.93/39.51 c | 14418 | 34055 171622 492384 | 2147483647 14014 128 | 53.336 % |
39.22/39.81 c | 14553 | 34055 171622 492384 | 2147483647 14149 128 | 53.336 % |
39.42/40.07 c | 14699 | 34054 171622 492384 | 2147483647 14294 129 | 53.350 % |
39.82/40.49 c | 14860 | 34054 171622 492384 | 2147483647 14455 128 | 53.350 % |
40.32/40.93 c | 15036 | 34032 171418 491882 | 2147483647 14630 129 | 53.350 % |
40.62/41.29 c | 15229 | 34032 171418 491882 | 2147483647 14823 129 | 53.350 % |
41.12/41.71 c | 15445 | 34032 171418 491882 | 2147483647 15039 129 | 53.350 % |
41.52/42.16 c | 15678 | 34032 171418 491882 | 2147483647 15272 129 | 53.350 % |
42.22/42.84 c | 15935 | 34013 171277 491532 | 2147483647 15523 129 | 53.376 % |
42.92/43.52 c | 16226 | 34013 171277 491532 | 2147483647 15814 129 | 53.376 % |
43.62/44.26 c | 16535 | 34013 171277 491532 | 2147483647 16122 130 | 53.391 % |
44.31/44.94 c | 16874 | 34004 171277 491532 | 2147483647 16460 131 | 54.426 % |
44.52/45.16 c | 16974 | 34004 171277 491532 | 2147483647 16560 130 | 54.426 % |
44.82/45.44 c | 17084 | 33246 167065 479604 | 2147483647 16606 131 | 54.483 % |
45.12/45.78 c | 17206 | 33246 167065 479604 | 2147483647 16728 131 | 54.483 % |
45.42/46.07 c | 17340 | 33246 167065 479604 | 2147483647 16862 131 | 54.483 % |
45.82/46.49 c | 17486 | 33246 167065 479604 | 2147483647 17008 132 | 54.483 % |
46.22/46.87 c | 17648 | 33246 167065 479604 | 2147483647 17170 132 | 54.483 % |
46.72/47.36 c | 17824 | 33246 167065 479604 | 2147483647 17345 132 | 54.604 % |
47.22/47.88 c | 18017 | 33246 167065 479604 | 2147483647 17538 133 | 54.604 % |
47.62/48.20 c | 18229 | 32949 166443 477782 | 2147483647 17745 132 | 61.669 % |
48.02/48.63 c | 18466 | 32949 166443 477782 | 2147483647 17982 132 | 61.669 % |
48.52/49.13 c | 18722 | 32949 166443 477782 | 2147483647 18238 131 | 61.669 % |
49.12/49.73 c | 19006 | 32949 166443 477782 | 2147483647 18522 131 | 61.669 % |
49.62/50.29 c | 19315 | 32949 166443 477782 | 2147483647 18831 132 | 61.669 % |
50.42/51.07 c | 19654 | 32949 166443 477782 | 2147483647 19170 132 | 61.669 % |
51.22/51.84 c | 20026 | 27963 134515 387352 | 2147483647 18756 135 | 61.669 % |
51.42/52.04 c | 20126 | 27963 134515 387352 | 2147483647 18856 135 | 61.669 % |
51.72/52.33 c | 20237 | 27963 134515 387352 | 2147483647 18967 135 | 61.669 % |
52.01/52.60 c | 20358 | 27963 134515 387352 | 2147483647 19088 135 | 61.669 % |
52.41/53.05 c | 20491 | 27962 134515 387352 | 2147483647 19220 135 | 61.683 % |
52.71/53.37 c | 20637 | 27962 134515 387352 | 2147483647 19366 135 | 61.683 % |
52.91/53.58 c | 20797 | 27962 134515 387352 | 2147483647 19526 135 | 61.683 % |
53.32/53.99 c | 20973 | 27962 134515 387352 | 2147483647 19702 135 | 61.683 % |
53.71/54.37 c | 21168 | 27953 134447 387169 | 2147483647 19897 135 | 61.683 % |
54.21/54.85 c | 21382 | 27953 134447 387169 | 2147483647 20111 135 | 61.683 % |
54.61/55.29 c | 21617 | 27953 134447 387169 | 2147483647 20346 135 | 61.683 % |
55.11/55.72 c | 21873 | 27953 134447 387169 | 2147483647 20602 134 | 61.683 % |
55.71/56.36 c | 22155 | 27953 134447 387169 | 2147483647 20884 134 | 61.683 % |
56.31/56.95 c | 22464 | 27953 134447 387169 | 2147483647 21192 134 | 61.685 % |
56.91/57.59 c | 22805 | 27951 134440 387141 | 2147483647 21527 134 | 61.685 % |
57.71/58.35 c | 23181 | 27951 134440 387141 | 2147483647 21903 133 | 61.685 % |
58.51/59.13 c | 23591 | 27951 134440 387141 | 2147483647 22313 133 | 61.685 % |
58.71/59.34 c | 23691 | 27951 134440 387141 | 2147483647 22413 133 | 61.685 % |
58.91/59.58 c | 23804 | 27951 134440 387141 | 2147483647 22526 132 | 61.685 % |
59.21/59.81 c | 23925 | 27951 134440 387141 | 2147483647 22647 132 | 61.685 % |
59.61/60.21 c | 24061 | 27951 134440 387141 | 2147483647 22783 132 | 61.685 % |
59.81/60.47 c | 24207 | 27951 134440 387141 | 2147483647 22929 132 | 61.685 % |
60.31/60.97 c | 24377 | 27951 134440 387141 | 2147483647 23099 133 | 61.685 % |
60.71/61.37 c | 24555 | 27951 134440 387141 | 2147483647 23277 133 | 61.685 % |
61.11/61.72 c | 24749 | 27951 134440 387141 | 2147483647 23471 133 | 61.685 % |
61.61/62.22 c | 24961 | 27951 134440 387141 | 2147483647 23683 133 | 61.685 % |
62.01/62.68 c | 25194 | 27951 134440 387141 | 2147483647 23916 133 | 61.685 % |
62.61/63.23 c | 25450 | 27939 134366 386935 | 2147483647 24171 133 | 61.702 % |
63.01/63.70 c | 25733 | 27939 134366 386935 | 2147483647 24454 134 | 61.702 % |
63.71/64.34 c | 26044 | 27939 134366 386935 | 2147483647 24765 133 | 61.702 % |
64.40/65.08 c | 26383 | 27938 134366 386935 | 2147483647 25103 133 | 61.703 % |
65.20/65.87 c | 26758 | 27938 134366 386935 | 2147483647 25477 132 | 61.704 % |
66.10/66.76 c | 27168 | 27938 134366 386935 | 2147483647 25886 132 | 61.721 % |
66.80/67.45 c | 27617 | 27925 134293 386734 | 2147483647 26334 132 | 61.721 % |
67.00/67.63 c | 27717 | 27925 134293 386734 | 2147483647 26434 131 | 61.721 % |
67.30/67.94 c | 27830 | 27925 134293 386734 | 2147483647 26547 131 | 61.721 % |
67.61/68.27 c | 27955 | 27925 134293 386734 | 2147483647 26672 131 | 61.721 % |
68.10/68.70 c | 28091 | 27925 134293 386734 | 2147483647 26808 131 | 61.721 % |
68.30/68.97 c | 28240 | 27925 134293 386734 | 2147483647 26957 131 | 61.721 % |
68.80/69.40 c | 28400 | 27925 134293 386734 | 2147483647 27117 131 | 61.721 % |
69.20/69.83 c | 28576 | 27925 134293 386734 | 2147483647 27293 131 | 61.721 % |
69.60/70.24 c | 28772 | 27925 134293 386734 | 2147483647 27489 130 | 61.721 % |
70.10/70.74 c | 28985 | 27925 134293 386734 | 2147483647 27702 130 | 61.721 % |
70.60/71.21 c | 29219 | 27925 134293 386734 | 2147483647 27936 130 | 61.721 % |
71.20/71.87 c | 29476 | 27925 134293 386734 | 2147483647 28193 130 | 61.721 % |
71.70/72.39 c | 29757 | 27925 134293 386734 | 2147483647 28474 130 | 61.721 % |
72.30/72.91 c | 30066 | 27925 134293 386734 | 2147483647 28783 130 | 61.721 % |
73.10/73.76 c | 30405 | 27925 134293 386734 | 2147483647 29122 130 | 61.721 % |
73.90/74.59 c | 30778 | 27925 134293 386734 | 2147483647 29495 129 | 61.721 % |
75.00/75.68 c | 31187 | 27925 134293 386734 | 2147483647 29904 129 | 61.721 % |
76.10/76.71 c | 31636 | 27925 134293 386734 | 2147483647 30353 128 | 61.721 % |
77.00/77.61 c | 32130 | 27925 134293 386734 | 2147483647 30847 128 | 61.721 % |
77.20/77.82 c | 32230 | 27925 134293 386734 | 2147483647 30947 128 | 61.721 % |
77.40/78.07 c | 32347 | 27925 134293 386734 | 2147483647 31064 128 | 61.721 % |
77.70/78.30 c | 32469 | 27925 134293 386734 | 2147483647 31186 128 | 61.721 % |
78.00/78.61 c | 32605 | 27925 134293 386734 | 2147483647 31322 128 | 61.721 % |
78.40/79.00 c | 32753 | 27925 134293 386734 | 2147483647 31470 128 | 61.721 % |
78.80/79.40 c | 32913 | 27925 134293 386734 | 2147483647 31630 128 | 61.721 % |
79.19/79.84 c | 33089 | 27925 134293 386734 | 2147483647 31806 128 | 61.721 % |
79.60/80.25 c | 33284 | 27925 134293 386734 | 2147483647 32001 127 | 61.721 % |
80.19/80.84 c | 33498 | 27925 134293 386734 | 2147483647 32215 127 | 61.721 % |
80.70/81.35 c | 33733 | 27925 134293 386734 | 2147483647 32450 127 | 61.721 % |
81.29/81.91 c | 33990 | 27925 134293 386734 | 2147483647 32707 127 | 61.721 % |
81.99/82.66 c | 34274 | 27925 134293 386734 | 2147483647 32991 126 | 61.721 % |
82.69/83.36 c | 34584 | 27925 134293 386734 | 2147483647 33301 126 | 61.721 % |
83.50/84.12 c | 34926 | 27925 134293 386734 | 2147483647 33643 126 | 61.721 % |
84.29/84.97 c | 35301 | 27925 134293 386734 | 2147483647 34018 126 | 61.721 % |
84.99/85.69 c | 35710 | 27925 134293 386734 | 2147483647 34427 126 | 61.721 % |
85.89/86.57 c | 36160 | 27925 134293 386734 | 2147483647 34877 126 | 61.721 % |
87.19/87.81 c | 36657 | 27925 134293 386734 | 2147483647 35374 127 | 61.721 % |
88.49/89.12 c | 37199 | 27780 133573 384624 | 2147483647 35851 127 | 61.920 % |
88.69/89.38 c | 37303 | 27780 133573 384624 | 2147483647 35955 127 | 61.920 % |
88.99/89.66 c | 37415 | 27780 133573 384624 | 2147483647 36067 127 | 61.920 % |
89.29/89.98 c | 37540 | 27780 133573 384624 | 2147483647 36192 127 | 61.920 % |
89.69/90.33 c | 37675 | 27780 133573 384624 | 2147483647 36327 127 | 61.920 % |
90.09/90.77 c | 37821 | 27780 133573 384624 | 2147483647 36473 127 | 61.920 % |
90.49/91.11 c | 37983 | 27780 133573 384624 | 2147483647 36635 126 | 61.920 % |
90.99/91.62 c | 38159 | 27778 133573 384624 | 2147483647 36810 126 | 63.053 % |
91.59/92.25 c | 38352 | 27778 133573 384624 | 2147483647 37003 126 | 63.053 % |
92.18/92.80 c | 38564 | 27778 133573 384624 | 2147483647 37215 126 | 63.053 % |
92.58/93.25 c | 38798 | 27778 133573 384624 | 2147483647 37449 126 | 63.053 % |
93.08/93.78 c | 39054 | 27778 133573 384624 | 2147483647 37705 126 | 63.053 % |
93.68/94.38 c | 39336 | 27778 133573 384624 | 2147483647 37987 126 | 63.053 % |
94.48/95.19 c | 39645 | 26953 129797 372725 | 2147483647 37964 125 | 63.053 % |
95.78/96.49 c | 39985 | 26953 129797 372725 | 2147483647 38304 125 | 63.053 % |
96.79/97.43 c | 40358 | 26953 129797 372725 | 2147483647 38677 126 | 63.053 % |
97.69/98.34 c | 40767 | 26950 129797 372725 | 2147483647 39085 126 | 63.125 % |
98.79/99.40 c | 41216 | 26950 129797 372725 | 2147483647 39534 125 | 63.125 % |
100.08/100.79 c | 41709 | 26950 129797 372725 | 2147483647 40027 124 | 63.125 % |
101.69/102.31 c | 42252 | 26901 129474 371843 | 2147483647 40570 124 | 63.125 % |
103.68/104.30 c | 42849 | 26901 129474 371843 | 2147483647 41167 123 | 63.125 % |
103.89/104.58 c | 42949 | 26901 129474 371843 | 2147483647 41267 123 | 63.125 % |
104.18/104.82 c | 43060 | 26901 129474 371843 | 2147483647 41378 123 | 63.125 % |
104.48/105.11 c | 43181 | 26901 129474 371843 | 2147483647 41499 123 | 63.125 % |
104.78/105.47 c | 43315 | 26901 129474 371843 | 2147483647 41633 123 | 63.125 % |
105.18/105.85 c | 43462 | 26901 129474 371843 | 2147483647 41780 123 | 63.125 % |
105.58/106.28 c | 43622 | 26901 129474 371843 | 2147483647 41940 123 | 63.125 % |
105.99/106.61 c | 43799 | 26901 129474 371843 | 2147483647 42117 123 | 63.125 % |
106.38/107.06 c | 43992 | 26901 129474 371843 | 2147483647 42310 123 | 63.125 % |
106.78/107.43 c | 44204 | 26901 129474 371843 | 2147483647 42522 123 | 63.125 % |
107.38/108.01 c | 44441 | 26901 129474 371843 | 2147483647 42759 123 | 63.125 % |
107.98/108.60 c | 44697 | 26901 129474 371843 | 2147483647 43015 123 | 63.125 % |
108.48/109.19 c | 44979 | 26901 129474 371843 | 2147483647 43297 123 | 63.125 % |
109.08/109.80 c | 45290 | 26901 129474 371843 | 2147483647 43608 123 | 63.125 % |
109.88/110.54 c | 45630 | 26896 129426 371716 | 2147483647 43947 123 | 63.132 % |
110.97/111.64 c | 46004 | 26896 129426 371716 | 2147483647 44321 123 | 63.132 % |
112.17/112.83 c | 46413 | 26896 129426 371716 | 2147483647 44730 123 | 63.132 % |
113.47/114.16 c | 46865 | 26896 129426 371716 | 2147483647 45182 122 | 63.131 % |
115.47/116.12 c | 47358 | 26896 129426 371716 | 2147483647 45675 121 | 63.131 % |
117.17/117.88 c | 47902 | 26896 129426 371716 | 2147483647 46219 120 | 63.131 % |
119.27/119.91 c | 48498 | 26896 129426 371716 | 2147483647 46815 119 | 63.131 % |
121.17/121.82 c | 49153 | 26886 129363 371558 | 2147483647 47452 119 | 63.145 % |
121.38/122.07 c | 49255 | 26886 129363 371558 | 2147483647 47554 119 | 63.145 % |
121.68/122.36 c | 49367 | 26886 129363 371558 | 2147483647 47665 119 | 63.160 % |
121.97/122.62 c | 49488 | 26885 129363 371558 | 2147483647 47786 119 | 63.160 % |
122.37/123.00 c | 49622 | 26885 129363 371558 | 2147483647 47920 119 | 63.160 % |
122.67/123.36 c | 49770 | 26885 129363 371558 | 2147483647 48068 119 | 63.160 % |
123.17/123.83 c | 49930 | 26885 129363 371558 | 2147483647 48228 119 | 63.160 % |
123.47/124.19 c | 50106 | 26885 129363 371558 | 2147483647 48404 119 | 63.160 % |
123.97/124.62 c | 50299 | 26885 129363 371558 | 2147483647 48597 119 | 63.160 % |
124.47/125.18 c | 50511 | 26885 129363 371558 | 2147483647 48809 119 | 63.160 % |
125.07/125.71 c | 50748 | 26885 129363 371558 | 2147483647 49046 119 | 63.160 % |
125.57/126.23 c | 51004 | 26885 129363 371558 | 2147483647 49302 119 | 63.160 % |
126.27/126.95 c | 51286 | 26885 129363 371558 | 2147483647 49583 119 | 63.174 % |
127.37/128.05 c | 51596 | 26885 129363 371558 | 2147483647 49893 118 | 63.174 % |
128.16/128.89 c | 51935 | 26885 129363 371558 | 2147483647 50232 118 | 63.174 % |
129.46/130.16 c | 52308 | 26865 129212 371163 | 2147483647 50587 118 | 63.174 % |
130.55/131.25 c | 52718 | 26865 129212 371163 | 2147483647 50997 118 | 63.174 % |
131.65/132.40 c | 53168 | 26865 129212 371163 | 2147483647 51447 118 | 63.174 % |
133.05/133.73 c | 53665 | 26865 129212 371163 | 2147483647 51944 118 | 63.174 % |
134.25/134.94 c | 54207 | 26865 129212 371163 | 2147483647 52486 118 | 63.174 % |
135.65/136.35 c | 54805 | 26865 129212 371163 | 2147483647 53084 118 | 63.174 % |
137.55/138.23 c | 55463 | 26865 129212 371163 | 2147483647 53742 118 | 63.174 % |
139.45/140.18 c | 56183 | 26865 129212 371163 | 2147483647 54462 118 | 63.174 % |
139.75/140.46 c | 56287 | 26865 129212 371163 | 2147483647 54566 118 | 63.174 % |
139.95/140.68 c | 56397 | 26865 129212 371163 | 2147483647 54676 118 | 63.174 % |
140.35/141.06 c | 56518 | 26865 129212 371163 | 2147483647 54797 118 | 63.174 % |
140.75/141.42 c | 56651 | 26865 129212 371163 | 2147483647 54930 118 | 63.174 % |
141.05/141.71 c | 56797 | 26865 129212 371163 | 2147483647 55076 118 | 63.174 % |
141.45/142.19 c | 56957 | 26865 129212 371163 | 2147483647 55236 118 | 63.174 % |
141.95/142.60 c | 57133 | 26865 129212 371163 | 2147483647 55412 118 | 63.174 % |
142.25/143.00 c | 57326 | 26865 129212 371163 | 2147483647 55605 118 | 63.174 % |
142.95/143.63 c | 57538 | 26865 129212 371163 | 2147483647 55817 118 | 63.174 % |
143.65/144.33 c | 57771 | 26865 129212 371163 | 2147483647 56050 118 | 63.174 % |
144.45/145.14 c | 58029 | 26865 129212 371163 | 2147483647 56308 118 | 63.174 % |
145.04/145.70 c | 58310 | 26865 129212 371163 | 2147483647 56589 118 | 63.174 % |
145.85/146.55 c | 58621 | 26865 129212 371163 | 2147483647 56900 118 | 63.174 % |
146.65/147.32 c | 58960 | 26865 129212 371163 | 2147483647 57239 118 | 63.174 % |
147.35/148.09 c | 59332 | 26865 129212 371163 | 2147483647 57611 118 | 63.174 % |
148.45/149.20 c | 59741 | 26865 129212 371163 | 2147483647 58020 118 | 63.174 % |
149.75/150.41 c | 60190 | 26865 129212 371163 | 2147483647 58469 118 | 63.174 % |
150.85/151.55 c | 60684 | 26865 129212 371163 | 2147483647 58963 117 | 63.174 % |
152.15/152.82 c | 61228 | 26865 129212 371163 | 2147483647 59507 117 | 63.174 % |
153.44/154.18 c | 61824 | 26865 129212 371163 | 2147483647 60103 117 | 63.174 % |
155.04/155.77 c | 62480 | 26865 129212 371163 | 2147483647 60759 116 | 63.174 % |
156.65/157.34 c | 63200 | 26865 129212 371163 | 2147483647 61479 116 | 63.174 % |
158.34/159.06 c | 63992 | 26865 129212 371163 | 2147483647 62271 115 | 63.174 % |
158.54/159.26 c | 64092 | 26865 129212 371163 | 2147483647 62371 115 | 63.174 % |
158.85/159.55 c | 64202 | 26865 129212 371163 | 2147483647 62481 115 | 63.174 % |
159.14/159.86 c | 64323 | 26865 129212 371163 | 2147483647 62602 115 | 63.174 % |
159.54/160.26 c | 64457 | 26865 129212 371163 | 2147483647 62736 115 | 63.174 % |
160.04/160.71 c | 64604 | 26865 129212 371163 | 2147483647 62883 115 | 63.174 % |
160.44/161.14 c | 64764 | 26865 129212 371163 | 2147483647 63043 115 | 63.174 % |
160.94/161.64 c | 64940 | 26865 129212 371163 | 2147483647 63219 115 | 63.174 % |
161.54/162.21 c | 65136 | 26865 129212 371163 | 2147483647 63415 115 | 63.174 % |
161.94/162.68 c | 65348 | 26865 129212 371163 | 2147483647 63627 115 | 63.174 % |
162.44/163.16 c | 65581 | 26865 129212 371163 | 2147483647 63860 115 | 63.174 % |
163.15/163.86 c | 65838 | 26865 129212 371163 | 2147483647 64117 115 | 63.174 % |
164.14/164.83 c | 66119 | 26857 129180 370994 | 2147483647 64377 115 | 63.185 % |
165.14/165.84 c | 66428 | 26857 129180 370994 | 2147483647 64686 115 | 63.185 % |
166.14/166.89 c | 66767 | 26857 129180 370994 | 2147483647 65025 115 | 63.185 % |
167.34/168.06 c | 67139 | 26857 129180 370994 | 2147483647 65397 115 | 63.185 % |
168.84/169.57 c | 67548 | 26857 129180 370994 | 2147483647 65806 115 | 63.185 % |
170.04/170.78 c | 67998 | 26857 129180 370994 | 2147483647 66256 115 | 63.185 % |
171.84/172.52 c | 68492 | 26857 129180 370994 | 2147483647 66750 114 | 63.185 % |
173.14/173.88 c | 69036 | 26857 129180 370994 | 2147483647 67294 114 | 63.185 % |
174.53/175.22 c | 69636 | 26857 129180 370994 | 2147483647 67894 114 | 63.185 % |
176.13/176.89 c | 70292 | 26845 129103 370790 | 2147483647 68531 114 | 63.201 % |
178.54/179.21 c | 71015 | 26845 129103 370790 | 2147483647 69254 115 | 63.201 % |
180.83/181.57 c | 71808 | 26845 129103 370790 | 2147483647 70046 115 | 63.319 % |
183.93/184.64 c | 72683 | 26845 129103 370790 | 2147483647 70921 114 | 63.319 % |
184.13/184.86 c | 72783 | 26845 129103 370790 | 2147483647 71021 114 | 63.319 % |
184.43/185.17 c | 72893 | 26845 129103 370790 | 2147483647 71131 114 | 63.319 % |
184.73/185.41 c | 73016 | 26845 129103 370790 | 2147483647 71254 114 | 63.319 % |
185.03/185.71 c | 73150 | 26845 129103 370790 | 2147483647 71388 114 | 63.319 % |
185.33/186.07 c | 73296 | 26845 129103 370790 | 2147483647 71534 114 | 63.319 % |
185.73/186.47 c | 73456 | 26845 129103 370790 | 2147483647 71694 114 | 63.319 % |
186.23/186.98 c | 73634 | 26845 129103 370790 | 2147483647 71872 114 | 63.319 % |
186.83/187.52 c | 73827 | 26845 129103 370790 | 2147483647 72065 114 | 63.319 % |
187.22/187.99 c | 74040 | 26845 129103 370790 | 2147483647 72278 114 | 63.319 % |
188.03/188.75 c | 74274 | 26845 129103 370790 | 2147483647 72512 114 | 63.319 % |
188.92/189.61 c | 74530 | 26759 128512 369353 | 2147483647 72768 114 | 63.319 % |
189.53/190.28 c | 74811 | 26759 128512 369353 | 2147483647 73049 114 | 63.319 % |
190.32/191.04 c | 75121 | 26759 128512 369353 | 2147483647 73359 114 | 63.319 % |
191.32/192.01 c | 75460 | 26759 128512 369353 | 2147483647 73698 114 | 63.319 % |
192.12/192.82 c | 75833 | 26759 128512 369353 | 2147483647 74071 114 | 63.319 % |
193.02/193.75 c | 76243 | 26759 128512 369353 | 2147483647 74481 114 | 63.319 % |
194.12/194.87 c | 76692 | 26759 128512 369353 | 2147483647 74930 114 | 63.319 % |
194.92/195.70 c | 77186 | 26759 128512 369353 | 2147483647 75424 113 | 63.319 % |
196.32/197.08 c | 77729 | 26759 128512 369353 | 2147483647 75967 114 | 63.319 % |
198.22/198.91 c | 78325 | 26759 128512 369353 | 2147483647 76563 114 | 63.319 % |
199.72/200.44 c | 78982 | 26759 128512 369353 | 2147483647 77220 114 | 63.319 % |
201.41/202.19 c | 79702 | 26759 128512 369353 | 2147483647 77940 114 | 63.319 % |
203.82/204.56 c | 80494 | 26759 128512 369353 | 2147483647 78732 115 | 63.319 % |
205.82/206.56 c | 81365 | 26759 128512 369353 | 2147483647 79603 115 | 63.319 % |
208.52/209.23 c | 82325 | 26719 128433 369150 | 2147483647 80549 115 | 64.187 % |
208.82/209.53 c | 82426 | 26719 128433 369150 | 2147483647 80650 115 | 64.187 % |
209.12/209.83 c | 82536 | 26719 128433 369150 | 2147483647 80760 115 | 64.187 % |
209.42/210.15 c | 82657 | 26719 128433 369150 | 2147483647 80881 115 | 64.187 % |
209.72/210.48 c | 82793 | 26719 128433 369150 | 2147483647 81017 115 | 64.187 % |
210.21/210.96 c | 82940 | 26719 128433 369150 | 2147483647 81164 115 | 64.187 % |
210.71/211.44 c | 83102 | 26719 128433 369150 | 2147483647 81326 115 | 64.187 % |
211.31/212.03 c | 83278 | 26719 128433 369150 | 2147483647 81502 115 | 64.187 % |
211.91/212.61 c | 83472 | 26719 128433 369150 | 2147483647 81696 115 | 64.187 % |
212.41/213.16 c | 83684 | 26719 128433 369150 | 2147483647 81908 115 | 64.187 % |
213.11/213.88 c | 83919 | 26719 128433 369150 | 2147483647 82143 115 | 64.187 % |
213.81/214.54 c | 84175 | 26719 128433 369150 | 2147483647 82399 115 | 64.187 % |
214.71/215.48 c | 84461 | 26719 128433 369150 | 2147483647 82685 115 | 64.187 % |
215.71/216.43 c | 84770 | 26719 128433 369150 | 2147483647 82994 115 | 64.187 % |
216.60/217.32 c | 85109 | 26719 128433 369150 | 2147483647 83333 115 | 64.187 % |
217.70/218.48 c | 85484 | 26719 128433 369150 | 2147483647 83707 115 | 64.205 % |
218.91/219.62 c | 85895 | 26719 128433 369150 | 2147483647 84118 115 | 64.205 % |
220.10/220.84 c | 86344 | 26719 128433 369150 | 2147483647 84566 115 | 64.220 % |
221.60/222.31 c | 86838 | 26719 128433 369150 | 2147483647 85060 115 | 64.220 % |
223.40/224.10 c | 87380 | 26101 125007 359116 | 2147483647 85453 115 | 64.235 % |
225.00/225.74 c | 87978 | 26101 125007 359116 | 2147483647 86051 115 | 64.235 % |
226.90/227.68 c | 88633 | 26101 125007 359116 | 2147483647 86706 115 | 64.235 % |
228.80/229.59 c | 89354 | 26101 125007 359116 | 2147483647 87427 115 | 64.235 % |
231.10/231.86 c | 90148 | 26101 125007 359116 | 2147483647 88221 115 | 64.235 % |
232.99/233.74 c | 91021 | 26101 125007 359116 | 2147483647 89094 114 | 64.235 % |
235.99/236.72 c | 91980 | 26101 125007 359116 | 2147483647 90053 114 | 64.235 % |
239.49/240.23 c | 93033 | 26101 125007 359116 | 2147483647 91106 114 | 64.235 % |
239.79/240.51 c | 93136 | 26101 125007 359116 | 2147483647 91208 114 | 64.236 % |
240.09/240.81 c | 93248 | 26101 125007 359116 | 2147483647 91320 114 | 64.236 % |
240.39/241.15 c | 93370 | 26090 124926 358896 | 2147483647 91421 114 | 64.236 % |
240.89/241.61 c | 93505 | 26090 124926 358896 | 2147483647 91556 114 | 64.236 % |
241.39/242.16 c | 93652 | 26090 124926 358896 | 2147483647 91703 114 | 64.236 % |
241.89/242.61 c | 93813 | 26090 124926 358896 | 2147483647 91864 114 | 64.236 % |
242.49/243.24 c | 93989 | 26090 124926 358896 | 2147483647 92040 114 | 64.236 % |
243.29/244.07 c | 94184 | 26090 124926 358896 | 2147483647 92235 113 | 64.236 % |
244.09/244.90 c | 94396 | 26090 124926 358896 | 2147483647 92447 113 | 64.236 % |
244.99/245.71 c | 94630 | 26090 124926 358896 | 2147483647 92681 113 | 64.236 % |
245.99/246.72 c | 94890 | 26090 124926 358896 | 2147483647 92941 113 | 64.236 % |
246.89/247.60 c | 95172 | 26090 124926 358896 | 2147483647 93223 113 | 64.236 % |
247.79/248.52 c | 95481 | 26090 124926 358896 | 2147483647 93532 113 | 64.236 % |
248.89/249.62 c | 95820 | 26090 124926 358896 | 2147483647 93871 113 | 64.236 % |
249.89/250.68 c | 96192 | 26090 124926 358896 | 2147483647 94243 112 | 64.236 % |
251.48/252.22 c | 96602 | 26090 124926 358896 | 2147483647 94653 112 | 64.236 % |
252.68/253.43 c | 97058 | 26090 124926 358896 | 2147483647 95109 112 | 64.236 % |
253.98/254.70 c | 97552 | 26090 124926 358896 | 2147483647 95603 112 | 64.236 % |
255.98/256.75 c | 98094 | 26090 124926 358896 | 2147483647 96145 112 | 64.236 % |
257.98/258.78 c | 98690 | 26090 124926 358896 | 2147483647 96741 112 | 64.236 % |
260.28/261.07 c | 99345 | 26090 124926 358896 | 2147483647 97395 112 | 64.253 % |
262.38/263.17 c | 100066 | 26078 124857 358704 | 2147483647 98114 112 | 64.253 % |
264.27/265.08 c | 100858 | 26078 124857 358704 | 2147483647 98906 112 | 64.253 % |
266.47/267.29 c | 101729 | 26078 124857 358704 | 2147483647 99777 112 | 64.253 % |
269.06/269.88 c | 102690 | 26078 124857 358704 | 2147483647 100738 111 | 64.253 % |
272.16/272.96 c | 103745 | 26078 124857 358704 | 2147483647 101793 111 | 64.253 % |
275.46/276.28 c | 104906 | 26078 124857 358704 | 2147483647 102954 110 | 64.253 % |
275.76/276.57 c | 105006 | 26078 124857 358704 | 2147483647 103054 110 | 64.253 % |
276.06/276.83 c | 105116 | 26078 124857 358704 | 2147483647 103164 110 | 64.253 % |
276.46/277.28 c | 105240 | 26078 124857 358704 | 2147483647 103288 111 | 64.253 % |
276.96/277.78 c | 105373 | 26078 124857 358704 | 2147483647 103421 111 | 64.253 % |
277.36/278.19 c | 105521 | 26078 124857 358704 | 2147483647 103569 111 | 64.253 % |
277.95/278.74 c | 105681 | 26078 124857 358704 | 2147483647 103729 111 | 64.253 % |
278.56/279.40 c | 105858 | 26078 124857 358704 | 2147483647 103906 111 | 64.253 % |
279.36/280.16 c | 106052 | 26078 124857 358704 | 2147483647 104100 111 | 64.253 % |
279.95/280.78 c | 106264 | 26078 124857 358704 | 2147483647 104312 111 | 64.253 % |
280.77/281.59 c | 106497 | 26078 124857 358704 | 2147483647 104545 110 | 64.253 % |
281.56/282.32 c | 106753 | 26078 124857 358704 | 2147483647 104801 110 | 64.253 % |
282.46/283.25 c | 107035 | 26078 124857 358704 | 2147483647 105083 110 | 64.253 % |
283.16/283.90 c | 107344 | 26078 124857 358704 | 2147483647 105392 110 | 64.253 % |
284.36/285.14 c | 107685 | 26078 124857 358704 | 2147483647 105733 110 | 64.253 % |
285.36/286.19 c | 108058 | 26078 124857 358704 | 2147483647 106106 110 | 64.253 % |
287.06/287.80 c | 108468 | 26078 124857 358704 | 2147483647 106516 110 | 64.253 % |
288.86/289.64 c | 108917 | 26078 124857 358704 | 2147483647 106965 110 | 64.253 % |
290.76/291.58 c | 109411 | 26078 124857 358704 | 2147483647 107459 110 | 64.253 % |
292.05/292.88 c | 109954 | 26078 124857 358704 | 2147483647 108002 110 | 64.253 % |
293.85/294.68 c | 110552 | 26078 124857 358704 | 2147483647 108600 110 | 64.253 % |
295.75/296.60 c | 111207 | 26078 124857 358704 | 2147483647 109255 109 | 64.253 % |
298.15/298.91 c | 111927 | 26078 124857 358704 | 2147483647 109975 109 | 64.253 % |
300.55/301.34 c | 112719 | 26060 124743 358419 | 2147483647 110726 109 | 64.277 % |
303.64/304.41 c | 113591 | 26060 124743 358419 | 2147483647 111598 109 | 64.277 % |
306.84/307.68 c | 114549 | 26060 124743 358419 | 2147483647 112556 109 | 64.277 % |
310.03/310.83 c | 115602 | 26060 124743 358419 | 2147483647 113609 109 | 64.277 % |
313.63/314.47 c | 116762 | 26060 124743 358419 | 2147483647 114769 109 | 64.277 % |
317.93/318.70 c | 118039 | 26060 124743 358419 | 2147483647 116046 109 | 64.277 % |
318.33/319.17 c | 118139 | 26060 124743 358419 | 2147483647 116146 109 | 64.277 % |
318.83/319.63 c | 118250 | 26060 124743 358419 | 2147483647 116257 108 | 64.278 % |
319.33/320.16 c | 118371 | 26060 124743 358419 | 2147483647 116378 108 | 64.277 % |
319.93/320.75 c | 118506 | 26060 124743 358419 | 2147483647 116513 108 | 64.278 % |
320.43/321.27 c | 118652 | 26060 124743 358419 | 2147483647 116659 108 | 64.278 % |
321.02/321.89 c | 118812 | 26060 124743 358419 | 2147483647 116819 108 | 64.278 % |
321.62/322.44 c | 118988 | 26060 124743 358419 | 2147483647 116995 108 | 64.277 % |
322.32/323.18 c | 119181 | 26060 124743 358419 | 2147483647 117188 108 | 64.277 % |
323.02/323.86 c | 119396 | 26060 124743 358419 | 2147483647 117403 108 | 64.277 % |
323.73/324.59 c | 119629 | 26060 124743 358419 | 2147483647 117636 109 | 64.278 % |
324.52/325.36 c | 119887 | 26060 124743 358419 | 2147483647 117894 109 | 64.277 % |
325.62/326.43 c | 120168 | 26060 124743 358419 | 2147483647 118175 109 | 64.278 % |
326.62/327.43 c | 120478 | 26060 124743 358419 | 2147483647 118485 109 | 64.278 % |
327.52/328.37 c | 120817 | 26060 124743 358419 | 2147483647 118824 109 | 64.277 % |
328.52/329.40 c | 121190 | 26060 124743 358419 | 2147483647 119197 109 | 64.278 % |
330.02/330.86 c | 121603 | 26060 124743 358419 | 2147483647 119610 109 | 64.278 % |
331.22/332.07 c | 122052 | 26060 124743 358419 | 2147483647 120059 109 | 64.278 % |
332.92/333.71 c | 122551 | 26060 124743 358419 | 2147483647 120558 109 | 64.277 % |
334.73/335.53 c | 123095 | 26060 124743 358419 | 2147483647 121102 109 | 64.278 % |
336.52/337.34 c | 123692 | 20007 91951 265994 | 2147483647 119974 110 | 72.575 % |
338.22/339.05 c | 124349 | 20007 91951 265994 | 2147483647 120631 110 | 72.575 % |
340.62/341.42 c | 125070 | 20007 91951 265994 | 2147483647 121351 110 | 72.591 % |
342.92/343.78 c | 125865 | 20007 91951 265994 | 2147483647 122146 110 | 72.591 % |
345.32/346.16 c | 126736 | 20007 91951 265994 | 2147483647 123017 110 | 72.591 % |
348.41/349.24 c | 127696 | 20007 91951 265994 | 2147483647 123977 110 | 72.591 % |
351.81/352.64 c | 128749 | 20007 91951 265994 | 2147483647 125030 110 | 72.591 % |
355.61/356.41 c | 129908 | 20007 91951 265994 | 2147483647 126189 110 | 72.591 % |
359.40/360.25 c | 131181 | 20007 91951 265994 | 2147483647 127462 110 | 72.591 % |
363.50/364.36 c | 132581 | 19995 91874 265788 | 2147483647 128842 110 | 72.591 % |
363.89/364.77 c | 132681 | 19995 91874 265788 | 2147483647 128942 110 | 72.591 % |
364.40/365.25 c | 132796 | 19995 91874 265788 | 2147483647 129057 110 | 72.591 % |
364.89/365.70 c | 132920 | 19995 91874 265788 | 2147483647 129181 110 | 72.591 % |
365.30/366.14 c | 133053 | 19995 91874 265788 | 2147483647 129314 110 | 72.591 % |
365.80/366.60 c | 133202 | 19995 91874 265788 | 2147483647 129463 110 | 72.591 % |
366.29/367.12 c | 133365 | 19995 91874 265788 | 2147483647 129626 110 | 72.591 % |
366.99/367.80 c | 133542 | 19995 91874 265788 | 2147483647 129802 110 | 72.609 % |
367.60/368.42 c | 133735 | 19986 91874 265788 | 2147483647 129994 110 | 73.745 % |
368.20/369.05 c | 133949 | 19986 91874 265788 | 2147483647 130208 110 | 73.745 % |
368.80/369.69 c | 134184 | 19986 91874 265788 | 2147483647 130443 110 | 73.745 % |
369.90/370.72 c | 134442 | 19986 91874 265788 | 2147483647 130701 110 | 73.745 % |
371.00/371.85 c | 134727 | 19986 91874 265788 | 2147483647 130986 110 | 73.745 % |
371.80/372.68 c | 135036 | 19986 91874 265788 | 2147483647 131295 110 | 73.745 % |
373.20/374.07 c | 135376 | 19986 91874 265788 | 2147483647 131635 110 | 73.745 % |
375.00/375.85 c | 135749 | 19986 91874 265788 | 2147483647 132008 110 | 73.745 % |
376.29/377.18 c | 136161 | 19986 91874 265788 | 2147483647 132420 110 | 73.745 % |
377.99/378.81 c | 136610 | 19986 91874 265788 | 2147483647 132869 110 | 73.745 % |
380.39/381.26 c | 137105 | 19986 91874 265788 | 2147483647 133364 110 | 73.745 % |
382.39/383.26 c | 137649 | 19986 91874 265788 | 2147483647 133908 110 | 73.745 % |
384.39/385.29 c | 138246 | 19986 91874 265788 | 2147483647 134505 110 | 73.745 % |
386.59/387.41 c | 138901 | 19986 91874 265788 | 2147483647 135160 110 | 73.745 % |
388.98/389.87 c | 139621 | 19986 91874 265788 | 2147483647 135880 110 | 73.745 % |
391.69/392.53 c | 140413 | 19153 87784 253427 | 2147483647 136524 110 | 73.745 % |
394.69/395.54 c | 141284 | 19153 87784 253427 | 2147483647 137395 110 | 73.745 % |
397.88/398.77 c | 142244 | 19153 87784 253427 | 2147483647 138355 110 | 73.745 % |
401.57/402.41 c | 143298 | 19153 87784 253427 | 2147483647 139409 110 | 73.745 % |
405.77/406.60 c | 144460 | 19153 87784 253427 | 2147483647 140570 110 | 73.851 % |
410.27/411.13 c | 145734 | 19145 87784 253427 | 2147483647 141842 110 | 73.882 % |
415.47/416.37 c | 147135 | 19145 87784 253427 | 2147483647 143243 110 | 73.882 % |
420.77/421.68 c | 148675 | 19145 87784 253427 | 2147483647 144783 110 | 73.882 % |
421.07/422.00 c | 148775 | 19053 86350 249410 | 2147483647 144811 110 | 73.882 % |
421.57/422.43 c | 148890 | 19053 86350 249410 | 2147483647 144926 110 | 73.882 % |
422.07/422.93 c | 149012 | 19053 86350 249410 | 2147483647 145048 110 | 73.882 % |
422.47/423.38 c | 149145 | 19053 86350 249410 | 2147483647 145181 110 | 73.882 % |
423.07/423.93 c | 149291 | 19053 86350 249410 | 2147483647 145327 110 | 73.882 % |
423.77/424.67 c | 149451 | 19053 86350 249410 | 2147483647 145487 110 | 73.882 % |
424.37/425.27 c | 149627 | 19053 86350 249410 | 2147483647 145663 110 | 73.882 % |
425.07/425.98 c | 149826 | 19053 86350 249410 | 2147483647 145862 110 | 73.882 % |
426.07/426.95 c | 150038 | 19053 86350 249410 | 2147483647 146074 110 | 73.882 % |
426.97/427.89 c | 150272 | 19053 86350 249410 | 2147483647 146308 110 | 73.882 % |
428.07/428.92 c | 150528 | 19053 86350 249410 | 2147483647 146564 110 | 73.882 % |
428.97/429.82 c | 150809 | 19053 86350 249410 | 2147483647 146845 110 | 73.882 % |
430.27/431.15 c | 151119 | 19053 86350 249410 | 2147483647 147155 110 | 73.882 % |
431.37/432.29 c | 151458 | 19053 86350 249410 | 2147483647 147494 110 | 73.882 % |
432.47/433.34 c | 151832 | 19053 86350 249410 | 2147483647 147868 110 | 73.882 % |
433.76/434.66 c | 152243 | 19053 86350 249410 | 2147483647 148279 110 | 73.882 % |
435.16/436.03 c | 152692 | 19053 86350 249410 | 2147483647 148728 110 | 73.882 % |
437.06/437.90 c | 153186 | 19053 86350 249410 | 2147483647 149222 110 | 73.882 % |
439.26/440.18 c | 153733 | 19051 86350 249410 | 2147483647 149767 110 | 73.895 % |
441.56/442.48 c | 154332 | 19051 86350 249410 | 2147483647 150366 110 | 73.895 % |
443.65/444.59 c | 154988 | 19051 86350 249410 | 2147483647 151022 110 | 73.895 % |
445.95/446.87 c | 155708 | 19051 86350 249410 | 2147483647 151742 110 | 73.895 % |
448.65/449.53 c | 156500 | 19051 86350 249410 | 2147483647 152534 110 | 73.895 % |
451.45/452.37 c | 157372 | 19051 86350 249410 | 2147483647 153406 110 | 73.895 % |
455.44/456.34 c | 158332 | 19051 86350 249410 | 2147483647 154366 110 | 73.895 % |
459.44/460.38 c | 159385 | 19051 86350 249410 | 2147483647 155419 110 | 73.895 % |
463.34/464.23 c | 160549 | 19044 86286 249240 | 2147483647 156580 110 | 73.895 % |
469.34/470.23 c | 161822 | 19044 86286 249240 | 2147483647 157853 110 | 73.895 % |
475.83/476.71 c | 163222 | 19044 86286 249240 | 2147483647 159253 109 | 73.895 % |
483.03/483.96 c | 164765 | 19044 86286 249240 | 2147483647 160796 109 | 73.895 % |
491.23/492.18 c | 166461 | 19041 86286 249240 | 2147483647 162491 108 | 73.987 % |
491.63/492.59 c | 166561 | 19041 86286 249240 | 2147483647 162591 108 | 73.987 % |
492.13/493.01 c | 166671 | 19041 86286 249240 | 2147483647 162701 108 | 73.987 % |
492.73/493.65 c | 166793 | 19041 86286 249240 | 2147483647 162823 108 | 73.987 % |
493.43/494.31 c | 166928 | 19041 86286 249240 | 2147483647 162958 108 | 73.987 % |
493.93/494.85 c | 167075 | 19041 86286 249240 | 2147483647 163105 108 | 73.987 % |
494.43/495.31 c | 167235 | 19041 86286 249240 | 2147483647 163265 108 | 73.987 % |
495.03/495.90 c | 167412 | 19041 86286 249240 | 2147483647 163442 108 | 73.987 % |
495.82/496.76 c | 167606 | 19041 86286 249240 | 2147483647 163636 108 | 73.987 % |
496.62/497.53 c | 167818 | 19041 86286 249240 | 2147483647 163848 108 | 73.987 % |
497.43/498.34 c | 168052 | 19041 86286 249240 | 2147483647 164082 108 | 73.987 % |
498.32/499.26 c | 168309 | 19041 86286 249240 | 2147483647 164339 108 | 73.987 % |
499.63/500.57 c | 168591 | 18977 85952 248424 | 2147483647 164552 108 | 73.987 % |
501.02/501.92 c | 168901 | 18977 85952 248424 | 2147483647 164862 108 | 73.987 % |
502.82/503.73 c | 169241 | 18977 85952 248424 | 2147483647 165202 108 | 73.987 % |
505.12/506.03 c | 169613 | 18977 85952 248424 | 2147483647 165574 108 | 73.987 % |
507.02/507.94 c | 170025 | 18977 85952 248424 | 2147483647 165986 108 | 73.987 % |
508.72/509.63 c | 170474 | 18977 85952 248424 | 2147483647 166435 108 | 73.987 % |
511.12/512.06 c | 170972 | 18977 85952 248424 | 2147483647 166933 108 | 73.987 % |
513.82/514.75 c | 171514 | 18977 85952 248424 | 2147483647 167475 108 | 73.987 % |
517.01/517.97 c | 172110 | 18977 85952 248424 | 2147483647 168071 108 | 73.987 % |
519.71/520.64 c | 172765 | 18977 85952 248424 | 2147483647 168726 108 | 73.987 % |
522.91/523.86 c | 173486 | 18977 85952 248424 | 2147483647 169447 108 | 73.987 % |
525.41/526.39 c | 174278 | 18977 85952 248424 | 2147483647 170239 108 | 73.987 % |
528.01/528.98 c | 175151 | 18977 85952 248424 | 2147483647 171112 108 | 73.987 % |
532.00/532.95 c | 176110 | 18977 85952 248424 | 2147483647 172071 108 | 73.987 % |
535.80/536.71 c | 177163 | 18976 85952 248424 | 2147483647 173123 108 | 74.002 % |
540.20/541.19 c | 178322 | 18976 85952 248424 | 2147483647 174282 108 | 74.002 % |
545.10/546.07 c | 179595 | 18966 85881 248235 | 2147483647 175538 108 | 74.002 % |
551.09/552.06 c | 180995 | 18966 85881 248235 | 2147483647 176938 108 | 74.002 % |
557.69/558.68 c | 182536 | 18966 85881 248235 | 2147483647 178479 108 | 74.002 % |
563.09/564.07 c | 184233 | 18966 85881 248235 | 2147483647 180176 108 | 74.002 % |
570.89/571.88 c | 186097 | 18966 85881 248235 | 2147483647 182040 108 | 74.002 % |
571.39/572.31 c | 186199 | 18966 85881 248235 | 2147483647 182142 108 | 74.002 % |
571.79/572.79 c | 186309 | 18966 85881 248235 | 2147483647 182252 108 | 74.002 % |
572.29/573.26 c | 186431 | 18966 85881 248235 | 2147483647 182374 108 | 74.002 % |
572.79/573.75 c | 186567 | 18966 85881 248235 | 2147483647 182510 108 | 74.002 % |
573.49/574.40 c | 186715 | 18966 85881 248235 | 2147483647 182658 108 | 74.002 % |
574.39/575.38 c | 186875 | 18966 85881 248235 | 2147483647 182818 108 | 74.002 % |
575.39/576.31 c | 187051 | 18966 85881 248235 | 2147483647 182994 107 | 74.002 % |
576.28/577.20 c | 187244 | 18966 85881 248235 | 2147483647 183187 107 | 74.002 % |
577.18/578.11 c | 187458 | 18966 85881 248235 | 2147483647 183401 107 | 74.002 % |
578.28/579.27 c | 187692 | 18966 85881 248235 | 2147483647 183635 107 | 74.002 % |
579.48/580.43 c | 187949 | 18966 85881 248235 | 2147483647 183892 107 | 74.002 % |
580.77/581.70 c | 188234 | 18966 85881 248235 | 2147483647 184177 107 | 74.002 % |
581.57/582.57 c | 188547 | 18966 85881 248235 | 2147483647 184490 108 | 74.002 % |
582.97/583.91 c | 188889 | 18966 85881 248235 | 2147483647 184832 108 | 74.002 % |
584.97/585.96 c | 189261 | 18966 85881 248235 | 2147483647 185204 108 | 74.002 % |
586.87/587.81 c | 189672 | 18966 85881 248235 | 2147483647 185615 108 | 74.002 % |
588.97/589.98 c | 190127 | 18966 85881 248235 | 2147483647 186070 107 | 74.002 % |
591.67/592.64 c | 190621 | 18966 85881 248235 | 2147483647 186564 107 | 74.002 % |
593.57/594.55 c | 191165 | 18966 85881 248235 | 2147483647 187108 107 | 74.002 % |
595.87/596.84 c | 191762 | 18966 85881 248235 | 2147483647 187705 107 | 74.002 % |
598.57/599.51 c | 192417 | 18966 85881 248235 | 2147483647 188360 107 | 74.002 % |
601.96/602.91 c | 193137 | 18966 85881 248235 | 2147483647 189080 107 | 74.002 % |
605.26/606.28 c | 193932 | 18966 85881 248235 | 2147483647 189875 107 | 74.002 % |
610.06/611.03 c | 194803 | 18966 85881 248235 | 2147483647 190746 106 | 74.002 % |
615.26/616.20 c | 195761 | 18966 85881 248235 | 2147483647 191704 106 | 74.002 % |
621.35/622.35 c | 196814 | 18966 85881 248235 | 2147483647 192757 106 | 74.002 % |
627.54/628.54 c | 197973 | 18814 85220 246088 | 2147483647 193901 106 | 74.210 % |
633.44/634.43 c | 199249 | 18814 85220 246088 | 2147483647 195177 105 | 74.210 % |
640.43/641.45 c | 200649 | 18814 85220 246088 | 2147483647 196577 105 | 74.210 % |
648.33/649.39 c | 202189 | 18814 85220 246088 | 2147483647 198117 105 | 74.210 % |
656.54/657.57 c | 203886 | 18814 85220 246088 | 2147483647 199814 104 | 74.210 % |
665.33/666.30 c | 205750 | 18814 85220 246088 | 2147483647 201678 104 | 74.210 % |
674.92/675.90 c | 207800 | 18814 85220 246088 | 2147483647 203728 103 | 74.210 % |
675.43/676.44 c | 207902 | 18814 85220 246088 | 2147483647 203830 103 | 74.210 % |
675.72/676.78 c | 208013 | 18814 85220 246088 | 2147483647 203941 103 | 74.210 % |
676.52/677.51 c | 208134 | 18814 85220 246088 | 2147483647 204062 103 | 74.210 % |
677.12/678.19 c | 208268 | 18814 85220 246088 | 2147483647 204196 103 | 74.210 % |
677.92/678.97 c | 208414 | 18814 85220 246088 | 2147483647 204342 103 | 74.210 % |
678.42/679.43 c | 208576 | 18814 85220 246088 | 2147483647 204504 103 | 74.210 % |
679.42/680.40 c | 208753 | 18814 85220 246088 | 2147483647 204681 103 | 74.210 % |
680.02/681.09 c | 208948 | 18814 85220 246088 | 2147483647 204876 103 | 74.210 % |
681.12/682.14 c | 209160 | 18797 85216 246079 | 2147483647 205086 103 | 74.621 % |
682.52/683.56 c | 209393 | 18797 85216 246079 | 2147483647 205319 103 | 74.621 % |
683.72/684.78 c | 209651 | 18797 85216 246079 | 2147483647 205577 103 | 74.621 % |
684.71/685.77 c | 209932 | 18797 85216 246079 | 2147483647 205858 103 | 74.621 % |
685.81/686.86 c | 210244 | 18797 85216 246079 | 2147483647 206170 103 | 74.621 % |
687.01/688.07 c | 210583 | 18797 85216 246079 | 2147483647 206509 103 | 74.621 % |
688.31/689.37 c | 210955 | 18796 85216 246079 | 2147483647 206880 103 | 74.636 % |
690.21/691.28 c | 211364 | 18796 85216 246079 | 2147483647 207289 103 | 74.636 % |
691.91/692.93 c | 211820 | 18795 85216 246079 | 2147483647 207744 103 | 74.649 % |
694.71/695.71 c | 212314 | 18795 85216 246079 | 2147483647 208238 103 | 74.649 % |
697.71/698.72 c | 212857 | 18795 85216 246079 | 2147483647 208781 103 | 74.649 % |
700.71/701.77 c | 213454 | 18795 85216 246079 | 2147483647 209378 103 | 74.649 % |
703.90/704.95 c | 214111 | 18795 85216 246079 | 2147483647 210035 103 | 74.649 % |
707.10/708.13 c | 214832 | 18795 85216 246079 | 2147483647 210756 103 | 74.649 % |
710.60/711.68 c | 215627 | 18795 85216 246079 | 2147483647 211551 102 | 74.649 % |
714.59/715.61 c | 216498 | 18795 85216 246079 | 2147483647 212422 102 | 74.649 % |
718.59/719.64 c | 217456 | 18795 85216 246079 | 2147483647 213380 102 | 74.649 % |
723.79/724.85 c | 218509 | 18795 85216 246079 | 2147483647 214433 102 | 74.649 % |
729.30/730.36 c | 219668 | 18795 85216 246079 | 2147483647 215592 102 | 74.649 % |
735.49/736.54 c | 220943 | 18795 85216 246079 | 2147483647 216867 102 | 74.649 % |
740.89/741.96 c | 222343 | 18795 85216 246079 | 2147483647 218267 102 | 74.649 % |
746.59/747.69 c | 223883 | 18494 83268 241152 | 2147483647 219790 102 | 74.649 % |
753.98/755.09 c | 225579 | 18494 83268 241152 | 2147483647 221486 102 | 74.649 % |
765.17/766.27 c | 227442 | 18494 83268 241152 | 2147483647 223349 102 | 74.649 % |
774.27/775.33 c | 229491 | 18493 83268 241152 | 2147483647 225397 102 | 74.805 % |
783.67/784.77 c | 231744 | 18491 83268 241152 | 2147483647 227649 102 | 74.868 % |
784.07/785.16 c | 231844 | 18491 83268 241152 | 2147483647 227749 102 | 74.868 % |
784.56/785.60 c | 231958 | 18491 83268 241152 | 2147483647 227863 102 | 74.868 % |
785.06/786.17 c | 232079 | 18491 83268 241152 | 2147483647 227984 102 | 74.868 % |
785.76/786.82 c | 232213 | 18491 83268 241152 | 2147483647 228118 102 | 74.868 % |
786.66/787.77 c | 232360 | 18491 83268 241152 | 2147483647 228265 102 | 74.868 % |
787.46/788.54 c | 232521 | 18491 83268 241152 | 2147483647 228426 102 | 74.868 % |
788.36/789.49 c | 232697 | 18491 83268 241152 | 2147483647 228602 102 | 74.868 % |
789.36/790.47 c | 232890 | 18491 83268 241152 | 2147483647 228795 102 | 74.868 % |
790.36/791.41 c | 233104 | 18491 83268 241152 | 2147483647 229009 102 | 74.868 % |
791.96/793.04 c | 233340 | 18491 83268 241152 | 2147483647 229245 102 | 74.868 % |
793.66/794.78 c | 233596 | 18491 83268 241152 | 2147483647 229501 102 | 74.868 % |
794.86/795.98 c | 233877 | 18491 83268 241152 | 2147483647 229782 102 | 74.868 % |
796.36/797.41 c | 234187 | 18491 83268 241152 | 2147483647 230092 102 | 74.868 % |
797.85/798.98 c | 234528 | 18491 83268 241152 | 2147483647 230433 102 | 74.868 % |
799.86/800.90 c | 234900 | 18491 83268 241152 | 2147483647 230805 102 | 74.868 % |
801.87/802.94 c | 235309 | 18491 83268 241152 | 2147483647 231214 102 | 74.868 % |
803.66/804.72 c | 235759 | 18491 83268 241152 | 2147483647 231664 102 | 74.868 % |
805.65/806.79 c | 236252 | 18491 83268 241152 | 2147483647 232157 102 | 74.868 % |
808.45/809.53 c | 236794 | 18491 83268 241152 | 2147483647 232699 102 | 74.868 % |
810.65/811.74 c | 237391 | 18491 83268 241152 | 2147483647 233296 102 | 74.868 % |
814.55/815.64 c | 238047 | 18334 82437 238919 | 2147483647 233901 102 | 74.868 % |
818.45/819.51 c | 238767 | 18334 82437 238919 | 2147483647 234621 102 | 74.868 % |
823.04/824.13 c | 239559 | 18334 82437 238919 | 2147483647 235413 102 | 74.868 % |
827.74/828.90 c | 240432 | 18334 82437 238919 | 2147483647 236286 102 | 74.868 % |
833.14/834.24 c | 241394 | 18334 82437 238919 | 2147483647 237248 102 | 74.868 % |
838.25/839.38 c | 242448 | 18332 82437 238919 | 2147483647 238301 102 | 74.883 % |
843.84/844.97 c | 243606 | 18332 82437 238919 | 2147483647 239458 102 | 74.900 % |
849.63/850.78 c | 244882 | 18332 82437 238919 | 2147483647 240734 102 | 74.900 % |
855.53/856.64 c | 246283 | 18332 82437 238919 | 2147483647 242135 102 | 74.900 % |
862.92/864.01 c | 247823 | 18331 82437 238919 | 2147483647 243674 102 | 74.913 % |
870.03/871.10 c | 249519 | 18331 82437 238919 | 2147483647 245370 102 | 74.913 % |
878.22/879.39 c | 251384 | 18331 82437 238919 | 2147483647 247235 102 | 74.913 % |
887.51/888.62 c | 253433 | 18331 82437 238919 | 2147483647 249284 103 | 74.913 % |
895.81/896.99 c | 255687 | 18301 82233 238355 | 2147483647 251521 103 | 74.913 % |
907.21/908.33 c | 258167 | 18301 82233 238355 | 2147483647 254001 103 | 74.913 % |
907.91/909.01 c | 258267 | 18301 82233 238355 | 2147483647 254101 103 | 74.913 % |
908.51/909.68 c | 258377 | 18301 82233 238355 | 2147483647 254211 103 | 74.913 % |
909.41/910.55 c | 258498 | 18301 82233 238355 | 2147483647 254332 103 | 74.913 % |
910.31/911.43 c | 258631 | 18301 82233 238355 | 2147483647 254465 103 | 74.913 % |
911.01/912.15 c | 258780 | 18301 82233 238355 | 2147483647 254614 103 | 74.913 % |
911.81/912.98 c | 258940 | 18301 82233 238355 | 2147483647 254774 103 | 74.913 % |
912.60/913.77 c | 259116 | 18301 82233 238355 | 2147483647 254950 103 | 74.913 % |
913.60/914.76 c | 259309 | 18301 82233 238355 | 2147483647 255143 103 | 74.913 % |
915.00/916.13 c | 259521 | 18301 82233 238355 | 2147483647 255355 103 | 74.913 % |
916.31/917.48 c | 259754 | 18301 82233 238355 | 2147483647 255588 103 | 74.913 % |
918.20/919.38 c | 260010 | 18301 82233 238355 | 2147483647 255844 103 | 74.913 % |
919.40/920.59 c | 260292 | 18301 82233 238355 | 2147483647 256126 103 | 74.913 % |
920.80/921.95 c | 260602 | 18301 82233 238355 | 2147483647 256436 103 | 74.913 % |
922.10/923.26 c | 260942 | 18301 82233 238355 | 2147483647 256776 103 | 74.913 % |
923.60/924.76 c | 261314 | 18301 82233 238355 | 2147483647 257148 103 | 74.913 % |
925.39/926.51 c | 261725 | 18301 82233 238355 | 2147483647 257559 103 | 74.913 % |
928.40/929.56 c | 262174 | 18301 82233 238355 | 2147483647 258008 103 | 74.913 % |
930.79/931.98 c | 262671 | 18301 82233 238355 | 2147483647 258505 103 | 74.913 % |
933.49/934.66 c | 263214 | 18301 82233 238355 | 2147483647 259048 103 | 74.913 % |
936.09/937.23 c | 263810 | 18301 82233 238355 | 2147483647 259644 103 | 74.913 % |
938.38/939.54 c | 264465 | 18301 82233 238355 | 2147483647 260299 103 | 74.913 % |
941.67/942.85 c | 265186 | 18301 82233 238355 | 2147483647 261020 103 | 74.913 % |
944.77/945.96 c | 265981 | 18301 82233 238355 | 2147483647 261815 103 | 74.913 % |
947.87/949.06 c | 266852 | 18301 82233 238355 | 2147483647 262686 103 | 74.913 % |
952.98/954.17 c | 267810 | 18301 82233 238355 | 2147483647 263644 103 | 74.913 % |
957.37/958.59 c | 268868 | 18301 82233 238355 | 2147483647 264702 103 | 74.913 % |
962.77/963.94 c | 270027 | 18301 82233 238355 | 2147483647 265861 103 | 74.913 % |
967.16/968.31 c | 271300 | 18301 82233 238355 | 2147483647 267134 103 | 74.913 % |
974.96/976.17 c | 272700 | 18301 82233 238355 | 2147483647 268534 104 | 74.913 % |
982.45/983.60 c | 274243 | 18301 82233 238355 | 2147483647 270077 104 | 74.913 % |
990.16/991.36 c | 275939 | 18301 82233 238355 | 2147483647 271773 104 | 74.913 % |
1000.45/1001.65 c | 277804 | 18301 82233 238355 | 2147483647 273638 104 | 74.913 % |
1009.74/1010.95 c | 279854 | 18301 82233 238355 | 2147483647 275688 104 | 74.913 % |
1021.04/1022.26 c | 282107 | 18301 82233 238355 | 2147483647 277941 104 | 74.913 % |
1032.82/1034.03 c | 284585 | 18301 82233 238355 | 2147483647 280419 104 | 74.913 % |
1045.72/1046.97 c | 287310 | 18301 82233 238355 | 2147483647 283144 103 | 74.913 % |
1046.12/1047.35 c | 287410 | 18301 82233 238355 | 2147483647 283244 103 | 74.913 % |
1046.72/1047.97 c | 287521 | 18301 82233 238355 | 2147483647 283355 103 | 74.913 % |
1047.42/1048.63 c | 287642 | 18301 82233 238355 | 2147483647 283476 103 | 74.913 % |
1048.12/1049.32 c | 287776 | 18301 82233 238355 | 2147483647 283610 103 | 74.913 % |
1048.81/1050.01 c | 287925 | 18301 82233 238355 | 2147483647 283759 103 | 74.913 % |
1049.41/1050.67 c | 288087 | 18301 82233 238355 | 2147483647 283921 103 | 74.913 % |
1050.32/1051.52 c | 288263 | 18301 82233 238355 | 2147483647 284097 103 | 74.913 % |
1051.42/1052.68 c | 288460 | 18301 82233 238355 | 2147483647 284294 103 | 74.913 % |
1052.71/1053.91 c | 288674 | 18301 82233 238355 | 2147483647 284508 103 | 74.913 % |
1053.91/1055.16 c | 288907 | 18301 82233 238355 | 2147483647 284741 103 | 74.913 % |
1055.21/1056.48 c | 289164 | 18301 82233 238355 | 2147483647 284998 103 | 74.913 % |
1056.71/1057.92 c | 289446 | 18301 82233 238355 | 2147483647 285280 103 | 74.913 % |
1058.41/1059.61 c | 289756 | 18301 82233 238355 | 2147483647 285590 104 | 74.913 % |
1060.21/1061.49 c | 290096 | 18301 82233 238355 | 2147483647 285930 104 | 74.913 % |
1061.91/1063.13 c | 290471 | 18301 82233 238355 | 2147483647 286305 104 | 74.913 % |
1064.01/1065.25 c | 290881 | 18301 82233 238355 | 2147483647 286715 104 | 74.913 % |
1065.51/1066.74 c | 291330 | 18301 82233 238355 | 2147483647 287164 104 | 74.913 % |
1067.30/1068.58 c | 291824 | 18301 82233 238355 | 2147483647 287658 104 | 74.913 % |
1069.90/1071.17 c | 292368 | 18301 82233 238355 | 2147483647 288202 104 | 74.913 % |
1072.80/1074.02 c | 292964 | 18301 82233 238355 | 2147483647 288798 104 | 74.913 % |
1076.20/1077.48 c | 293619 | 18301 82233 238355 | 2147483647 289453 104 | 74.913 % |
1079.30/1080.50 c | 294339 | 18301 82233 238355 | 2147483647 290173 104 | 74.913 % |
1083.80/1085.09 c | 295131 | 18301 82233 238355 | 2147483647 290965 104 | 74.913 % |
1088.50/1089.73 c | 296002 | 18301 82233 238355 | 2147483647 291836 104 | 74.913 % |
1094.59/1095.86 c | 296961 | 18301 82233 238355 | 2147483647 292795 104 | 74.913 % |
1099.09/1100.38 c | 298014 | 18301 82233 238355 | 2147483647 293848 104 | 74.913 % |
1105.39/1106.68 c | 299173 | 18301 82233 238355 | 2147483647 295007 104 | 74.913 % |
1112.08/1113.31 c | 300447 | 18301 82233 238355 | 2147483647 296281 104 | 74.913 % |
1119.27/1120.53 c | 301847 | 18289 82143 238108 | 2147483647 297674 103 | 74.930 % |
1125.97/1127.21 c | 303390 | 18289 82143 238108 | 2147483647 299217 103 | 74.930 % |
1133.37/1134.62 c | 305084 | 18289 82143 238108 | 2147483647 300911 103 | 74.930 % |
1144.87/1146.17 c | 306947 | 18289 82143 238108 | 2147483647 302774 103 | 74.930 % |
1158.36/1159.65 c | 308996 | 18289 82143 238108 | 2147483647 304823 103 | 74.930 % |
1174.35/1175.65 c | 311252 | 18289 82143 238108 | 2147483647 307079 103 | 74.930 % |
1185.54/1186.89 c | 313733 | 18289 82143 238108 | 2147483647 309560 103 | 74.930 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832015-1242766243/watcher-1832015-1242766243 -o /tmp/evaluation-result-1832015-1242766243/solver-1832015-1242766243 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832015-1242766243.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.91 3/65 28496
/proc/meminfo: memFree=1920192/2055920 swapFree=4177008/4192956
[pid=28496] ppid=28494 vsize=5356 CPUtime=0
/proc/28496/stat : 28496 (SatELiteGTI) S 28494 28496 28415 0 -1 4194304 276 0 0 0 0 0 0 0 19 0 1 0 304654801 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 228044013650 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/28496/statm: 1339 235 195 169 0 50 0
[pid=28497] ppid=28496 vsize=5356 CPUtime=0
/proc/28497/stat : 28497 (SatELiteGTI) S 28496 28496 28415 0 -1 4194368 51 25 0 0 0 0 0 0 21 0 1 0 304654801 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/28497/statm: 1339 238 198 169 0 50 0
[pid=28499] ppid=28497 vsize=0 CPUtime=0
/proc/28499/stat : 28499 (sed) R 28497 28496 28415 0 -1 4194308 163 0 0 0 0 0 0 0 22 0 1 0 304654801 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/28499/statm: 0 0 0 0 0 0 0
[startup+0.0294009 s]
/proc/loadavg: 1.00 1.00 0.91 3/65 28496
/proc/meminfo: memFree=1920192/2055920 swapFree=4177008/4192956
[pid=28496] ppid=28494 vsize=5356 CPUtime=0
/proc/28496/stat : 28496 (SatELiteGTI) S 28494 28496 28415 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 304654801 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28496/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102412 s]
/proc/loadavg: 1.00 1.00 0.91 3/65 28496
/proc/meminfo: memFree=1920192/2055920 swapFree=4177008/4192956
[pid=28496] ppid=28494 vsize=5356 CPUtime=0
/proc/28496/stat : 28496 (SatELiteGTI) S 28494 28496 28415 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 304654801 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28496/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.30145 s]
/proc/loadavg: 1.00 1.00 0.91 3/65 28496
/proc/meminfo: memFree=1920192/2055920 swapFree=4177008/4192956
[pid=28496] ppid=28494 vsize=5356 CPUtime=0
/proc/28496/stat : 28496 (SatELiteGTI) S 28494 28496 28415 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 304654801 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28496/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.702529 s]
/proc/loadavg: 1.00 1.00 0.91 3/65 28496
/proc/meminfo: memFree=1920192/2055920 swapFree=4177008/4192956
[pid=28496] ppid=28494 vsize=5356 CPUtime=0
/proc/28496/stat : 28496 (SatELiteGTI) S 28494 28496 28415 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 304654801 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28496/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.5017 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 28501
/proc/meminfo: memFree=1818224/2055920 swapFree=4177008/4192956
[pid=28496] ppid=28494 vsize=5356 CPUtime=0
/proc/28496/stat : 28496 (SatELiteGTI) S 28494 28496 28415 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 304654801 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28496/statm: 1339 237 197 169 0 50 0
[pid=28501] ppid=28496 vsize=107652 CPUtime=1.48
/proc/28501/stat : 28501 (SatELite_releas) R 28496 28496 28415 0 -1 4194304 27385 0 0 0 133 15 0 0 25 0 1 0 304654802 110235648 25131 1992294400 134512640 135223648 4294956128 18446744073709551615 134587072 0 0 4096 3 0 0 0 17 1 0 0
/proc/28501/statm: 26913 25131 76 173 0 26738 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 113008
[startup+3.10201 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 28501
/proc/meminfo: memFree=1812400/2055920 swapFree=4177008/4192956
[pid=28496] ppid=28494 vsize=5356 CPUtime=0
/proc/28496/stat : 28496 (SatELiteGTI) S 28494 28496 28415 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 304654801 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28496/statm: 1339 237 197 169 0 50 0
[pid=28501] ppid=28496 vsize=112644 CPUtime=3.07
/proc/28501/stat : 28501 (SatELite_releas) R 28496 28496 28415 0 -1 4194304 28845 0 0 0 292 15 0 0 25 0 1 0 304654802 115347456 26423 1992294400 134512640 135223648 4294956128 18446744073709551615 134586689 0 0 4096 3 0 0 0 17 1 0 0
/proc/28501/statm: 28161 26423 76 173 0 27986 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 118000
[startup+6.30163 s]
/proc/loadavg: 1.16 1.03 0.93 2/67 28501
/proc/meminfo: memFree=1805616/2055920 swapFree=4177008/4192956
[pid=28496] ppid=28494 vsize=5356 CPUtime=0
/proc/28496/stat : 28496 (SatELiteGTI) S 28494 28496 28415 0 -1 4194304 310 249 0 0 0 0 0 0 20 0 1 0 304654801 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28496/statm: 1339 237 197 169 0 50 0
[pid=28501] ppid=28496 vsize=122916 CPUtime=6.26
/proc/28501/stat : 28501 (SatELite_releas) R 28496 28496 28415 0 -1 4194304 33811 0 0 0 607 19 0 0 25 0 1 0 304654802 125865984 27203 1992294400 134512640 135223648 4294956128 18446744073709551615 134595980 0 0 4096 3 0 0 0 17 0 0 0
/proc/28501/statm: 30729 27203 76 173 0 30554 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 128272
[startup+12.7019 s]
/proc/loadavg: 1.31 1.07 0.94 2/67 28502
/proc/meminfo: memFree=1880688/2055920 swapFree=4177008/4192956
[pid=28496] ppid=28494 vsize=5356 CPUtime=7.58
/proc/28496/stat : 28496 (SatELiteGTI) S 28494 28496 28415 0 -1 4194304 336 42189 0 0 0 0 729 29 16 0 1 0 304654801 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28496/statm: 1339 239 197 169 0 50 0
[pid=28502] ppid=28496 vsize=25892 CPUtime=4.55
/proc/28502/stat : 28502 (minisat_static) R 28496 28496 28415 0 -1 4194304 6006 0 0 0 453 2 0 0 25 0 1 0 304655614 26513408 5975 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/28502/statm: 6473 5975 77 171 0 6300 0
Current children cumulated CPU time (s) 12.13
Current children cumulated vsize (KiB) 31248
[startup+25.5014 s]
/proc/loadavg: 1.46 1.11 0.95 2/67 28502
/proc/meminfo: memFree=1878896/2055920 swapFree=4177008/4192956
[pid=28496] ppid=28494 vsize=5356 CPUtime=7.58
/proc/28496/stat : 28496 (SatELiteGTI) S 28494 28496 28415 0 -1 4194304 336 42189 0 0 0 0 729 29 16 0 1 0 304654801 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28496/statm: 1339 239 197 169 0 50 0
[pid=28502] ppid=28496 vsize=28136 CPUtime=17.36
/proc/28502/stat : 28502 (minisat_static) R 28496 28496 28415 0 -1 4194304 6554 0 0 0 1732 4 0 0 25 0 1 0 304655614 28811264 6523 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/28502/statm: 7034 6523 77 171 0 6861 0
Current children cumulated CPU time (s) 24.94
Current children cumulated vsize (KiB) 33492
[startup+51.1014 s]
/proc/loadavg: 1.69 1.20 0.98 2/67 28502
/proc/meminfo: memFree=1873712/2055920 swapFree=4177008/4192956
[pid=28496] ppid=28494 vsize=5356 CPUtime=7.58
/proc/28496/stat : 28496 (SatELiteGTI) S 28494 28496 28415 0 -1 4194304 336 42189 0 0 0 0 729 29 16 0 1 0 304654801 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28496/statm: 1339 239 197 169 0 50 0
[pid=28502] ppid=28496 vsize=34032 CPUtime=42.94
/proc/28502/stat : 28502 (minisat_static) R 28496 28496 28415 0 -1 4194304 8041 0 0 0 4288 6 0 0 25 0 1 0 304655614 34848768 8010 1992294400 134512640 135215339 4294956240 18446744073709551615 134526258 0 0 4096 3 0 0 0 17 0 0 0
/proc/28502/statm: 8508 8010 77 171 0 8335 0
Current children cumulated CPU time (s) 50.52
Current children cumulated vsize (KiB) 39388
[startup+102.307 s]
/proc/loadavg: 1.30 1.16 0.98 2/67 28502
/proc/meminfo: memFree=1863408/2055920 swapFree=4177008/4192956
[pid=28496] ppid=28494 vsize=5356 CPUtime=7.58
/proc/28496/stat : 28496 (SatELiteGTI) S 28494 28496 28415 0 -1 4194304 336 42189 0 0 0 0 729 29 16 0 1 0 304654801 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28496/statm: 1339 239 197 169 0 50 0
[pid=28502] ppid=28496 vsize=44240 CPUtime=94.11
/proc/28502/stat : 28502 (minisat_static) R 28496 28496 28415 0 -1 4194304 10593 0 0 0 9402 9 0 0 25 0 1 0 304655614 45301760 10562 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28502/statm: 11060 10562 77 171 0 10887 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 49596
[startup+162.301 s]
/proc/loadavg: 1.11 1.13 0.98 2/67 28502
/proc/meminfo: memFree=1853808/2055920 swapFree=4177008/4192956
[pid=28496] ppid=28494 vsize=5356 CPUtime=7.58
/proc/28496/stat : 28496 (SatELiteGTI) S 28494 28496 28415 0 -1 4194304 336 42189 0 0 0 0 729 29 16 0 1 0 304654801 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28496/statm: 1339 239 197 169 0 50 0
[pid=28502] ppid=28496 vsize=54104 CPUtime=154.06
/proc/28502/stat : 28502 (minisat_static) R 28496 28496 28415 0 -1 4194304 13016 0 0 0 15394 12 0 0 25 0 1 0 304655614 55402496 12985 1992294400 134512640 135215339 4294956240 18446744073709551615 134532704 0 0 4096 3 0 0 0 17 0 0 0
/proc/28502/statm: 13526 12985 77 171 0 13353 0
Current children cumulated CPU time (s) 161.64
Current children cumulated vsize (KiB) 59460
[startup+222.301 s]
/proc/loadavg: 1.30 1.17 1.01 2/67 28502
/proc/meminfo: memFree=1842800/2055920 swapFree=4177008/4192956
[pid=28496] ppid=28494 vsize=5356 CPUtime=7.58
/proc/28496/stat : 28496 (SatELiteGTI) S 28494 28496 28415 0 -1 4194304 336 42189 0 0 0 0 729 29 16 0 1 0 304654801 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28496/statm: 1339 239 197 169 0 50 0
[pid=28502] ppid=28496 vsize=64836 CPUtime=214.02
/proc/28502/stat : 28502 (minisat_static) R 28496 28496 28415 0 -1 4194304 15710 0 0 0 21385 17 0 0 25 0 1 0 304655614 66392064 15679 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/28502/statm: 16209 15679 77 171 0 16036 0
Current children cumulated CPU time (s) 221.6
Current children cumulated vsize (KiB) 70192
[startup+282.302 s]
/proc/loadavg: 1.18 1.15 1.00 2/67 28502
/proc/meminfo: memFree=1834864/2055920 swapFree=4177008/4192956
[pid=28496] ppid=28494 vsize=5356 CPUtime=7.58
/proc/28496/stat : 28496 (SatELiteGTI) S 28494 28496 28415 0 -1 4194304 336 42189 0 0 0 0 729 29 16 0 1 0 304654801 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28496/statm: 1339 239 197 169 0 50 0
[pid=28502] ppid=28496 vsize=72708 CPUtime=273.98
/proc/28502/stat : 28502 (minisat_static) R 28496 28496 28415 0 -1 4194304 17664 0 0 0 27379 19 0 0 25 0 1 0 304655614 74452992 17633 1992294400 134512640 135215339 4294956240 18446744073709551615 134538574 0 0 4096 3 0 0 0 17 0 0 0
/proc/28502/statm: 18177 17633 77 171 0 18004 0
Current children cumulated CPU time (s) 281.56
Current children cumulated vsize (KiB) 78064
[startup+342.302 s]
/proc/loadavg: 1.06 1.12 1.00 2/67 28502
/proc/meminfo: memFree=1827120/2055920 swapFree=4177008/4192956
[pid=28496] ppid=28494 vsize=5356 CPUtime=7.58
/proc/28496/stat : 28496 (SatELiteGTI) S 28494 28496 28415 0 -1 4194304 336 42189 0 0 0 0 729 29 16 0 1 0 304654801 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28496/statm: 1339 239 197 169 0 50 0
[pid=28502] ppid=28496 vsize=80312 CPUtime=333.94
/proc/28502/stat : 28502 (minisat_static) R 28496 28496 28415 0 -1 4194304 19566 0 0 0 33373 21 0 0 25 0 1 0 304655614 82239488 19535 1992294400 134512640 135215339 4294956240 18446744073709551615 134532687 0 0 4096 3 0 0 0 17 0 0 0
/proc/28502/statm: 20078 19535 77 171 0 19905 0
Current children cumulated CPU time (s) 341.52
Current children cumulated vsize (KiB) 85668
[startup+402.301 s]
/proc/loadavg: 1.02 1.10 1.00 2/67 28502
/proc/meminfo: memFree=1818736/2055920 swapFree=4177008/4192956
[pid=28496] ppid=28494 vsize=5356 CPUtime=7.58
/proc/28496/stat : 28496 (SatELiteGTI) S 28494 28496 28415 0 -1 4194304 336 42189 0 0 0 0 729 29 16 0 1 0 304654801 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28496/statm: 1339 239 197 169 0 50 0
[pid=28502] ppid=28496 vsize=88872 CPUtime=393.9
################
# More data... #
################
/proc/28502/statm: 27260 26663 77 171 0 27087 0
Current children cumulated CPU time (s) 581.37
Current children cumulated vsize (KiB) 114396
[startup+642.302 s]
/proc/loadavg: 1.05 1.08 1.01 2/67 28508
/proc/meminfo: memFree=1794352/2055920 swapFree=4177008/4192956
[pid=28496] ppid=28494 vsize=5356 CPUtime=7.58
/proc/28496/stat : 28496 (SatELiteGTI) S 28494 28496 28415 0 -1 4194304 336 42189 0 0 0 0 729 29 16 0 1 0 304654801 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28496/statm: 1339 239 197 169 0 50 0
[pid=28502] ppid=28496 vsize=112588 CPUtime=633.76
/proc/28502/stat : 28502 (minisat_static) R 28496 28496 28415 0 -1 4194304 27584 0 0 0 63348 28 0 0 25 0 1 0 304655614 115290112 27553 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/28502/statm: 28147 27553 77 171 0 27974 0
Current children cumulated CPU time (s) 641.34
Current children cumulated vsize (KiB) 117944
[startup+702.301 s]
/proc/loadavg: 1.02 1.06 1.00 2/67 28508
/proc/meminfo: memFree=1789872/2055920 swapFree=4177008/4192956
[pid=28496] ppid=28494 vsize=5356 CPUtime=7.58
/proc/28496/stat : 28496 (SatELiteGTI) S 28494 28496 28415 0 -1 4194304 336 42189 0 0 0 0 729 29 16 0 1 0 304654801 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28496/statm: 1339 239 197 169 0 50 0
[pid=28502] ppid=28496 vsize=117648 CPUtime=693.72
/proc/28502/stat : 28502 (minisat_static) R 28496 28496 28415 0 -1 4194304 28709 0 0 0 69343 29 0 0 25 0 1 0 304655614 120471552 28678 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28502/statm: 29412 28678 77 171 0 29239 0
Current children cumulated CPU time (s) 701.3
Current children cumulated vsize (KiB) 123004
[startup+762.306 s]
/proc/loadavg: 1.00 1.05 1.00 2/67 28508
/proc/meminfo: memFree=1784944/2055920 swapFree=4177008/4192956
[pid=28496] ppid=28494 vsize=5356 CPUtime=7.58
/proc/28496/stat : 28496 (SatELiteGTI) S 28494 28496 28415 0 -1 4194304 336 42189 0 0 0 0 729 29 16 0 1 0 304654801 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28496/statm: 1339 239 197 169 0 50 0
[pid=28502] ppid=28496 vsize=122388 CPUtime=753.69
/proc/28502/stat : 28502 (minisat_static) R 28496 28496 28415 0 -1 4194304 29910 0 0 0 75339 30 0 0 25 0 1 0 304655614 125325312 29879 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28502/statm: 30597 29879 77 171 0 30424 0
Current children cumulated CPU time (s) 761.27
Current children cumulated vsize (KiB) 127744
[startup+822.301 s]
/proc/loadavg: 1.00 1.04 1.00 2/67 28508
/proc/meminfo: memFree=1778928/2055920 swapFree=4177008/4192956
[pid=28496] ppid=28494 vsize=5356 CPUtime=7.58
/proc/28496/stat : 28496 (SatELiteGTI) S 28494 28496 28415 0 -1 4194304 336 42189 0 0 0 0 729 29 16 0 1 0 304654801 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28496/statm: 1339 239 197 169 0 50 0
[pid=28502] ppid=28496 vsize=128276 CPUtime=813.66
/proc/28502/stat : 28502 (minisat_static) R 28496 28496 28415 0 -1 4194304 31399 0 0 0 81334 32 0 0 25 0 1 0 304655614 131354624 31368 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28502/statm: 32069 31368 77 171 0 31896 0
Current children cumulated CPU time (s) 821.24
Current children cumulated vsize (KiB) 133632
[startup+882.302 s]
/proc/loadavg: 1.16 1.07 1.01 2/67 28508
/proc/meminfo: memFree=1772592/2055920 swapFree=4177008/4192956
[pid=28496] ppid=28494 vsize=5356 CPUtime=7.58
/proc/28496/stat : 28496 (SatELiteGTI) S 28494 28496 28415 0 -1 4194304 336 42189 0 0 0 0 729 29 16 0 1 0 304654801 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28496/statm: 1339 239 197 169 0 50 0
[pid=28502] ppid=28496 vsize=134536 CPUtime=873.64
/proc/28502/stat : 28502 (minisat_static) R 28496 28496 28415 0 -1 4194304 32948 0 0 0 87330 34 0 0 25 0 1 0 304655614 137764864 32917 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 0 0 0
/proc/28502/statm: 33634 32917 77 171 0 33461 0
Current children cumulated CPU time (s) 881.22
Current children cumulated vsize (KiB) 139892
[startup+942.302 s]
/proc/loadavg: 1.06 1.06 1.01 2/67 28508
/proc/meminfo: memFree=1765616/2055920 swapFree=4177008/4192956
[pid=28496] ppid=28494 vsize=5356 CPUtime=7.58
/proc/28496/stat : 28496 (SatELiteGTI) S 28494 28496 28415 0 -1 4194304 336 42189 0 0 0 0 729 29 16 0 1 0 304654801 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28496/statm: 1339 239 197 169 0 50 0
[pid=28502] ppid=28496 vsize=141560 CPUtime=933.59
/proc/28502/stat : 28502 (minisat_static) R 28496 28496 28415 0 -1 4194304 34679 0 0 0 93324 35 0 0 25 0 1 0 304655614 144957440 34648 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28502/statm: 35390 34648 77 171 0 35217 0
Current children cumulated CPU time (s) 941.17
Current children cumulated vsize (KiB) 146916
[startup+1002.3 s]
/proc/loadavg: 1.02 1.04 1.00 2/67 28508
/proc/meminfo: memFree=1759024/2055920 swapFree=4177008/4192956
[pid=28496] ppid=28494 vsize=5356 CPUtime=7.58
/proc/28496/stat : 28496 (SatELiteGTI) S 28494 28496 28415 0 -1 4194304 336 42189 0 0 0 0 729 29 16 0 1 0 304654801 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28496/statm: 1339 239 197 169 0 50 0
[pid=28502] ppid=28496 vsize=148032 CPUtime=993.57
/proc/28502/stat : 28502 (minisat_static) R 28496 28496 28415 0 -1 4194304 36297 0 0 0 99320 37 0 0 25 0 1 0 304655614 151584768 36266 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28502/statm: 37008 36266 77 171 0 36835 0
Current children cumulated CPU time (s) 1001.15
Current children cumulated vsize (KiB) 153388
[startup+1062.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/67 28508
/proc/meminfo: memFree=1753648/2055920 swapFree=4177008/4192956
[pid=28496] ppid=28494 vsize=5356 CPUtime=7.58
/proc/28496/stat : 28496 (SatELiteGTI) S 28494 28496 28415 0 -1 4194304 336 42189 0 0 0 0 729 29 16 0 1 0 304654801 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28496/statm: 1339 239 197 169 0 50 0
[pid=28502] ppid=28496 vsize=153340 CPUtime=1053.53
/proc/28502/stat : 28502 (minisat_static) R 28496 28496 28415 0 -1 4194304 37635 0 0 0 105315 38 0 0 25 0 1 0 304655614 157020160 37604 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/28502/statm: 38335 37604 77 171 0 38162 0
Current children cumulated CPU time (s) 1061.11
Current children cumulated vsize (KiB) 158696
[startup+1122.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/67 28508
/proc/meminfo: memFree=1747952/2055920 swapFree=4177008/4192956
[pid=28496] ppid=28494 vsize=5356 CPUtime=7.58
/proc/28496/stat : 28496 (SatELiteGTI) S 28494 28496 28415 0 -1 4194304 336 42189 0 0 0 0 729 29 16 0 1 0 304654801 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28496/statm: 1339 239 197 169 0 50 0
[pid=28502] ppid=28496 vsize=158600 CPUtime=1113.49
/proc/28502/stat : 28502 (minisat_static) R 28496 28496 28415 0 -1 4194304 38994 0 0 0 111310 39 0 0 25 0 1 0 304655614 162406400 38963 1992294400 134512640 135215339 4294956240 18446744073709551615 134528784 0 0 4096 3 0 0 0 17 0 0 0
/proc/28502/statm: 39650 38963 77 171 0 39477 0
Current children cumulated CPU time (s) 1121.07
Current children cumulated vsize (KiB) 163956
[startup+1182.3 s]
/proc/loadavg: 1.16 1.06 1.01 2/67 28508
/proc/meminfo: memFree=1743536/2055920 swapFree=4177008/4192956
[pid=28496] ppid=28494 vsize=5356 CPUtime=7.58
/proc/28496/stat : 28496 (SatELiteGTI) S 28494 28496 28415 0 -1 4194304 336 42189 0 0 0 0 729 29 16 0 1 0 304654801 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28496/statm: 1339 239 197 169 0 50 0
[pid=28502] ppid=28496 vsize=163216 CPUtime=1173.46
/proc/28502/stat : 28502 (minisat_static) R 28496 28496 28415 0 -1 4194304 40114 0 0 0 117306 40 0 0 25 0 1 0 304655614 167133184 40083 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/28502/statm: 40804 40083 77 171 0 40631 0
Current children cumulated CPU time (s) 1181.04
Current children cumulated vsize (KiB) 168572
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1201.3 s]
/proc/loadavg: 1.12 1.06 1.01 2/67 28508
/proc/meminfo: memFree=1741680/2055920 swapFree=4177008/4192956
[pid=28496] ppid=28494 vsize=5356 CPUtime=7.58
/proc/28496/stat : 28496 (SatELiteGTI) S 28494 28496 28415 0 -1 4194304 336 42189 0 0 0 0 729 29 16 0 1 0 304654801 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28496/statm: 1339 239 197 169 0 50 0
[pid=28502] ppid=28496 vsize=165600 CPUtime=1192.46
/proc/28502/stat : 28502 (minisat_static) R 28496 28496 28415 0 -1 4194304 40549 0 0 0 119205 41 0 0 25 0 1 0 304655614 169574400 40518 1992294400 134512640 135215339 4294956240 18446744073709551615 134528866 0 0 4096 3 0 0 0 17 0 0 0
/proc/28502/statm: 41400 40518 77 171 0 41227 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 170956
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1201.3 s]
/proc/loadavg: 1.12 1.06 1.01 2/67 28508
/proc/meminfo: memFree=1741680/2055920 swapFree=4177008/4192956
[pid=28496] ppid=28494 vsize=5356 CPUtime=7.58
/proc/28496/stat : 28496 (SatELiteGTI) S 28494 28496 28415 0 -1 4194304 336 42189 0 0 0 0 729 29 16 0 1 0 304654801 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28496/statm: 1339 239 197 169 0 50 0
[pid=28502] ppid=28496 vsize=165600 CPUtime=1192.46
/proc/28502/stat : 28502 (minisat_static) R 28496 28496 28415 0 -1 4194304 40549 0 0 0 119205 41 0 0 25 0 1 0 304655614 169574400 40518 1992294400 134512640 135215339 4294956240 18446744073709551615 134528866 0 0 4096 3 0 0 0 17 0 0 0
/proc/28502/statm: 41400 40518 77 171 0 41227 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 170956
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28496 and gives
# childrusage.ru_utime.tv_sec=7
# childrusage.ru_utime.tv_usec=297890
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=298954
# CPU time returned by wait4() is 7.59684
# while last known CPU time is 1200.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1201.31
CPU time (s): 1200.04
CPU user time (s): 1199.34
CPU system time (s): 0.7
CPU usage (%): 99.8941
Max. virtual memory (cumulated for all children) (KiB): 170956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.29789
system time used= 0.298954
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42525
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= 18
involuntary context switches= 75
runsolver used 1.10083 second user time and 3.34449 second system time
The end
Begin job on node77 at 2009-05-19 22:50:44
IDJOB=1832015
IDBENCH=20368
IDSOLVER=671
FILE ID=node77/1832015-1242766243
PBS_JOBID= 9322226
Free space on /tmp= 66224 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= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832015-1242766243/watcher-1832015-1242766243 -o /tmp/evaluation-result-1832015-1242766243/solver-1832015-1242766243 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832015-1242766243.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= c438ce1eb243ac0a49869eda1166f28f
RANDOM SEED=759765750
node77.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.270
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.270
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1920736 kB
Buffers: 7468 kB
Cached: 88888 kB
SwapCached: 10200 kB
Active: 30272 kB
Inactive: 77964 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1920736 kB
SwapTotal: 4192956 kB
SwapFree: 4177008 kB
Dirty: 19572 kB
Writeback: 0 kB
Mapped: 17012 kB
Slab: 12972 kB
Committed_AS: 1062216 kB
PageTables: 1384 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66208 MiB
End job on node77 at 2009-05-19 23:10:48