0.00/0.00 c Parsing...
0.99/1.05 c ==============================================================================
0.99/1.05 c | | ORIGINAL | LEARNT | |
0.99/1.05 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.99/1.05 c ==============================================================================
0.99/1.05 c | 0 | 1346401 3139386 | 403920 0 0 nan | 0.000 % |
9.88/9.94 c | 0 | 534198 1400252 | -- 0 -- -- | -- | -504732/-1043370
9.88/9.94 c ==============================================================================
9.88/9.94 c Result : #vars: 84762 #clauses: 534198 #literals: 1400252
9.88/9.94 c CPU time: 9.59354 s
9.88/9.94 c ==============================================================================
10.36/10.49 c This is MiniSat 2.0 beta
10.36/10.49 c WARNING: for repeatability, setting FPU to use double precision
10.36/10.49 c ============================[ Problem Statistics ]=============================
10.36/10.49 c | |
10.36/10.49 c | Number of variables: 84762 |
10.36/10.49 c | Number of clauses: 534198 |
10.45/10.84 c | Parsing time: 0.31 s |
10.45/10.86 c ============================[ Search Statistics ]==============================
10.45/10.86 c | Conflicts | ORIGINAL | LEARNT | Progress |
10.45/10.86 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
10.45/10.86 c ===============================================================================
10.45/10.86 c | 0 | 84762 534198 1400252 | 178066 0 nan | 0.000 % |
11.14/11.26 c | 100 | 84586 534198 1400252 | 178066 84 21 | 5.657 % |
11.54/11.67 c | 203 | 84544 534198 1400252 | 178066 184 41 | 6.256 % |
12.24/12.31 c | 303 | 78916 496692 1311024 | 178066 261 44 | 10.507 % |
12.64/12.73 c | 415 | 78908 496692 1311024 | 178066 370 45 | 10.677 % |
12.94/13.00 c | 517 | 75632 475223 1260668 | 178066 467 53 | 11.692 % |
13.24/13.37 c | 627 | 75630 475223 1260668 | 178066 574 59 | 11.805 % |
13.84/13.95 c | 748 | 74066 464131 1234110 | 178066 687 69 | 12.619 % |
14.15/14.23 c | 848 | 74065 464131 1234110 | 178066 786 71 | 12.631 % |
14.75/14.81 c | 958 | 73415 460214 1224659 | 178066 882 66 | 13.445 % |
15.25/15.31 c | 1080 | 73412 460214 1224659 | 178066 999 72 | 13.516 % |
15.65/15.70 c | 1213 | 73412 460214 1224659 | 178066 1132 72 | 13.515 % |
16.15/16.24 c | 1314 | 73306 459266 1222192 | 178066 1230 75 | 13.515 % |
16.45/16.59 c | 1424 | 73306 459266 1222192 | 178066 1340 84 | 13.516 % |
16.95/17.09 c | 1545 | 73306 459266 1222192 | 178066 1461 93 | 13.516 % |
17.45/17.51 c | 1678 | 65821 408891 1098566 | 178066 1568 89 | 26.288 % |
17.55/17.69 c | 1824 | 65821 408891 1098566 | 178066 1714 88 | 26.288 % |
18.15/18.29 c | 1924 | 62108 380659 1027944 | 178066 1749 87 | 26.727 % |
18.75/18.81 c | 2034 | 62106 380659 1027944 | 178066 1856 85 | 26.769 % |
19.05/19.13 c | 2157 | 62106 380659 1027944 | 178066 1979 90 | 26.769 % |
19.65/19.73 c | 2290 | 62106 380659 1027944 | 178066 2112 107 | 26.769 % |
20.25/20.36 c | 2436 | 62072 380401 1027274 | 178066 2248 113 | 26.769 % |
21.04/21.11 c | 2597 | 60275 364857 985336 | 178066 2375 115 | 28.899 % |
21.34/21.40 c | 2697 | 60275 364857 985336 | 178066 2475 115 | 28.899 % |
21.64/21.74 c | 2807 | 60275 364857 985336 | 178066 2585 116 | 28.899 % |
21.94/22.05 c | 2928 | 60188 364857 985336 | 178066 2702 115 | 29.313 % |
22.34/22.42 c | 3061 | 59916 362402 979041 | 178066 2795 116 | 29.313 % |
22.94/23.03 c | 3208 | 59915 362402 979041 | 178066 2941 119 | 29.326 % |
23.34/23.41 c | 3369 | 59915 362402 979041 | 178066 3102 118 | 29.326 % |
24.14/24.21 c | 3546 | 59905 362303 978792 | 178066 3277 120 | 29.326 % |
24.44/24.53 c | 3647 | 59843 362303 978792 | 178066 3373 120 | 39.355 % |
24.64/24.80 c | 3760 | 51404 294878 802768 | 178066 3431 119 | 39.355 % |
25.04/25.13 c | 3882 | 51358 294878 802768 | 178066 3552 121 | 43.338 % |
25.34/25.49 c | 4018 | 51357 294878 802768 | 178066 3687 120 | 43.429 % |
25.94/26.03 c | 4166 | 51357 294878 802768 | 178066 3835 118 | 43.429 % |
26.43/26.52 c | 4328 | 47951 273884 745852 | 178066 3971 121 | 43.429 % |
26.63/26.77 c | 4505 | 47951 273884 745852 | 178066 4148 121 | 43.429 % |
26.93/27.06 c | 4699 | 47905 273884 745852 | 178066 4341 120 | 44.223 % |
27.23/27.37 c | 4799 | 47278 269055 734783 | 178066 4441 119 | 44.223 % |
27.63/27.76 c | 4909 | 47278 269055 734783 | 178066 4550 118 | 44.237 % |
27.93/28.09 c | 5030 | 47278 269055 734783 | 178066 4671 117 | 44.237 % |
28.23/28.39 c | 5164 | 47266 268964 734543 | 178066 4803 117 | 44.237 % |
28.63/28.74 c | 5310 | 47266 268964 734543 | 178066 4949 121 | 44.237 % |
28.93/29.01 c | 5470 | 47266 268964 734543 | 178066 5109 121 | 44.237 % |
29.43/29.53 c | 5648 | 47266 268964 734543 | 178066 5287 120 | 44.237 % |
29.83/29.99 c | 5841 | 47266 268964 734543 | 178066 5480 122 | 44.237 % |
30.23/30.38 c | 6058 | 47266 268964 734543 | 178066 5697 121 | 44.237 % |
30.53/30.68 c | 6158 | 47266 268964 734543 | 178066 5797 122 | 44.237 % |
30.83/30.93 c | 6268 | 47266 268964 734543 | 178066 5907 121 | 44.237 % |
31.23/31.40 c | 6391 | 47258 268892 734379 | 178066 6026 121 | 44.246 % |
31.63/31.79 c | 6525 | 47257 268892 734379 | 178066 6159 120 | 44.256 % |
31.83/31.97 c | 6671 | 47257 268892 734379 | 178066 6305 119 | 44.256 % |
32.33/32.48 c | 6831 | 47257 268892 734379 | 178066 6465 118 | 44.256 % |
32.93/33.05 c | 7008 | 47250 268822 734218 | 178066 6642 116 | 44.256 % |
33.32/33.44 c | 7201 | 47250 268822 734218 | 178066 6835 117 | 44.256 % |
33.82/34.00 c | 7413 | 47247 268822 734218 | 178066 7045 116 | 45.221 % |
34.62/34.73 c | 7646 | 46432 263170 720768 | 178066 7278 115 | 45.221 % |
35.02/35.10 c | 7747 | 46432 263170 720768 | 178066 7379 120 | 45.221 % |
35.21/35.38 c | 7857 | 46432 263170 720768 | 178066 7489 123 | 45.221 % |
35.51/35.69 c | 7978 | 46432 263170 720768 | 178066 7610 126 | 45.221 % |
35.91/36.00 c | 8111 | 46432 263170 720768 | 178066 7743 127 | 45.221 % |
36.32/36.49 c | 8258 | 46432 263170 720768 | 178066 7890 128 | 45.221 % |
36.92/37.04 c | 8418 | 46432 263170 720768 | 178066 8050 128 | 45.221 % |
37.42/37.53 c | 8594 | 46432 263170 720768 | 178066 8226 129 | 45.221 % |
38.02/38.14 c | 8788 | 46432 263170 720768 | 178066 8420 131 | 45.221 % |
38.82/38.93 c | 9000 | 46432 263170 720768 | 178066 8632 132 | 45.221 % |
39.42/39.51 c | 9233 | 46432 263170 720768 | 178066 8865 131 | 45.221 % |
40.42/40.58 c | 9489 | 46432 263170 720768 | 178066 9121 130 | 45.221 % |
40.82/40.96 c | 9591 | 46432 263170 720768 | 178066 9223 129 | 45.221 % |
41.02/41.14 c | 9701 | 46432 263170 720768 | 178066 9333 129 | 45.221 % |
41.32/41.45 c | 9822 | 46432 263170 720768 | 178066 9454 129 | 45.221 % |
41.82/41.95 c | 9955 | 46421 263075 720527 | 178066 9586 130 | 45.234 % |
42.12/42.23 c | 10103 | 46418 263075 720527 | 2147483647 9733 130 | 45.251 % |
42.82/42.91 c | 10263 | 46418 263075 720527 | 2147483647 9893 130 | 45.251 % |
43.12/43.20 c | 10440 | 46418 263075 720527 | 2147483647 10070 130 | 45.251 % |
43.82/43.95 c | 10634 | 46396 262908 720085 | 2147483647 10263 130 | 45.263 % |
44.42/44.56 c | 10846 | 46396 262908 720085 | 2147483647 10475 131 | 45.263 % |
44.81/44.99 c | 11079 | 46396 262908 720085 | 2147483647 10708 131 | 45.263 % |
45.31/45.49 c | 11336 | 46396 262908 720085 | 2147483647 10965 132 | 45.263 % |
46.01/46.12 c | 11617 | 46396 262908 720085 | 2147483647 11246 132 | 45.263 % |
46.31/46.43 c | 11717 | 46396 262908 720085 | 2147483647 11346 134 | 45.263 % |
46.61/46.72 c | 11827 | 46396 262908 720085 | 2147483647 11456 134 | 45.263 % |
46.81/46.98 c | 11949 | 46396 262908 720085 | 2147483647 11578 134 | 45.263 % |
47.21/47.35 c | 12084 | 46396 262908 720085 | 2147483647 11713 136 | 45.263 % |
47.70/47.86 c | 12230 | 46361 262655 719455 | 2147483647 11856 136 | 45.304 % |
48.10/48.23 c | 12390 | 46361 262655 719455 | 2147483647 12016 135 | 45.304 % |
48.51/48.63 c | 12566 | 46361 262655 719455 | 2147483647 12192 134 | 45.304 % |
48.91/49.00 c | 12761 | 46361 262655 719455 | 2147483647 12387 135 | 45.304 % |
49.60/49.71 c | 12976 | 46360 262655 719455 | 2147483647 12601 135 | 45.329 % |
50.00/50.14 c | 13209 | 46340 262490 719051 | 2147483647 12833 134 | 45.329 % |
50.80/50.93 c | 13465 | 46340 262490 719051 | 2147483647 13089 134 | 45.329 % |
51.40/51.57 c | 13749 | 46340 262490 719051 | 2147483647 13373 133 | 45.329 % |
52.10/52.28 c | 14058 | 46340 262490 719051 | 2147483647 13682 132 | 45.329 % |
52.30/52.48 c | 14158 | 46340 262490 719051 | 2147483647 13782 132 | 45.329 % |
52.70/52.83 c | 14268 | 46340 262490 719051 | 2147483647 13892 132 | 45.329 % |
53.00/53.13 c | 14393 | 46340 262490 719051 | 2147483647 14017 133 | 45.329 % |
53.30/53.40 c | 14528 | 46340 262490 719051 | 2147483647 14152 133 | 45.329 % |
53.60/53.75 c | 14676 | 46340 262490 719051 | 2147483647 14300 133 | 45.329 % |
53.90/54.05 c | 14836 | 46340 262490 719051 | 2147483647 14460 134 | 45.329 % |
54.20/54.34 c | 15014 | 46340 262490 719051 | 2147483647 14638 133 | 45.329 % |
54.80/54.96 c | 15209 | 46340 262490 719051 | 2147483647 14833 133 | 45.329 % |
55.40/55.59 c | 15424 | 46182 261381 716308 | 2147483647 15047 132 | 45.516 % |
56.10/56.21 c | 15658 | 46182 261381 716308 | 2147483647 15280 132 | 45.529 % |
56.70/56.85 c | 15914 | 46182 261381 716308 | 2147483647 15536 132 | 45.529 % |
57.30/57.42 c | 16196 | 46182 261381 716308 | 2147483647 15818 131 | 45.529 % |
57.91/58.02 c | 16506 | 46182 261381 716308 | 2147483647 16128 131 | 45.529 % |
58.60/58.72 c | 16845 | 46171 261295 716070 | 2147483647 16467 132 | 45.529 % |
58.80/58.92 c | 16947 | 46171 261295 716070 | 2147483647 16569 132 | 45.529 % |
59.00/59.18 c | 17058 | 46171 261295 716070 | 2147483647 16680 132 | 45.529 % |
59.40/59.55 c | 17179 | 46171 261295 716070 | 2147483647 16801 132 | 45.529 % |
59.80/59.95 c | 17312 | 46171 261295 716070 | 2147483647 16934 132 | 45.529 % |
60.31/60.44 c | 17460 | 46171 261295 716070 | 2147483647 17082 132 | 45.529 % |
60.90/61.08 c | 17621 | 46171 261295 716070 | 2147483647 17243 132 | 45.529 % |
61.30/61.44 c | 17798 | 46171 261295 716070 | 2147483647 17420 132 | 45.529 % |
61.80/61.90 c | 17992 | 46171 261295 716070 | 2147483647 17614 132 | 45.529 % |
62.40/62.56 c | 18204 | 46171 261295 716070 | 2147483647 17826 132 | 45.529 % |
63.00/63.11 c | 18438 | 46171 261295 716070 | 2147483647 18060 133 | 45.529 % |
63.60/63.72 c | 18694 | 46171 261295 716070 | 2147483647 18316 133 | 45.529 % |
64.19/64.38 c | 18975 | 46171 261295 716070 | 2147483647 18597 133 | 45.529 % |
64.89/65.04 c | 19284 | 46171 261295 716070 | 2147483647 18906 134 | 45.529 % |
65.69/65.84 c | 19623 | 46100 260884 714977 | 2147483647 19242 133 | 45.642 % |
66.59/66.76 c | 19996 | 46100 260884 714977 | 2147483647 19615 135 | 45.642 % |
66.79/66.98 c | 20096 | 46100 260884 714977 | 2147483647 19715 135 | 45.642 % |
67.19/67.31 c | 20207 | 46100 260884 714977 | 2147483647 19826 135 | 45.642 % |
67.69/67.86 c | 20328 | 46100 260884 714977 | 2147483647 19946 135 | 45.654 % |
68.09/68.21 c | 20461 | 46100 260884 714977 | 2147483647 20079 135 | 45.654 % |
68.40/68.53 c | 20607 | 46098 260884 714977 | 2147483647 20224 135 | 45.668 % |
68.90/69.05 c | 20767 | 46098 260884 714977 | 2147483647 20384 135 | 45.668 % |
69.40/69.55 c | 20944 | 46053 260499 714000 | 2147483647 20560 135 | 45.668 % |
69.79/69.99 c | 21137 | 46053 260499 714000 | 2147483647 20753 134 | 45.668 % |
70.59/70.79 c | 21350 | 46053 260499 714000 | 2147483647 20965 135 | 45.681 % |
71.19/71.32 c | 21583 | 46053 260499 714000 | 2147483647 21198 135 | 45.681 % |
71.79/71.98 c | 21841 | 46053 260499 714000 | 2147483647 21456 136 | 45.681 % |
72.59/72.71 c | 22122 | 46053 260499 714000 | 2147483647 21736 136 | 45.693 % |
73.49/73.61 c | 22433 | 46053 260499 714000 | 2147483647 22047 135 | 45.693 % |
74.59/74.75 c | 22773 | 46032 260350 713642 | 2147483647 22385 135 | 45.693 % |
75.88/76.04 c | 23146 | 46032 260350 713642 | 2147483647 22758 135 | 45.693 % |
77.08/77.22 c | 23556 | 46032 260350 713642 | 2147483647 23168 134 | 45.693 % |
77.28/77.47 c | 23656 | 46032 260350 713642 | 2147483647 23268 134 | 45.693 % |
77.78/77.95 c | 23766 | 46032 260350 713642 | 2147483647 23378 134 | 45.693 % |
78.38/78.50 c | 23887 | 45821 258927 710164 | 2147483647 23498 135 | 45.942 % |
78.78/78.99 c | 24020 | 45821 258927 710164 | 2147483647 23631 135 | 45.942 % |
79.08/79.27 c | 24166 | 45821 258927 710164 | 2147483647 23777 135 | 45.942 % |
79.48/79.63 c | 24326 | 45821 258927 710164 | 2147483647 23937 135 | 45.942 % |
79.88/80.02 c | 24502 | 45821 258927 710164 | 2147483647 24113 135 | 45.942 % |
80.38/80.53 c | 24695 | 45821 258927 710164 | 2147483647 24306 135 | 45.942 % |
80.88/81.09 c | 24910 | 45821 258927 710164 | 2147483647 24521 135 | 45.942 % |
81.48/81.64 c | 25143 | 45821 258927 710164 | 2147483647 24754 135 | 45.942 % |
82.39/82.57 c | 25401 | 45821 258927 710164 | 2147483647 25012 135 | 45.942 % |
83.08/83.23 c | 25682 | 45821 258927 710164 | 2147483647 25293 135 | 45.942 % |
83.78/83.94 c | 25991 | 45821 258927 710164 | 2147483647 25602 134 | 45.942 % |
84.67/84.82 c | 26332 | 45821 258927 710164 | 2147483647 25943 134 | 45.942 % |
85.58/85.76 c | 26704 | 45810 258852 709977 | 2147483647 26313 134 | 45.955 % |
87.17/87.32 c | 27116 | 45809 258852 709977 | 2147483647 26724 133 | 45.971 % |
88.17/88.36 c | 27565 | 45809 258852 709977 | 2147483647 27173 133 | 45.971 % |
88.47/88.62 c | 27665 | 45809 258852 709977 | 2147483647 27273 133 | 45.971 % |
88.88/89.07 c | 27776 | 45809 258852 709977 | 2147483647 27384 133 | 45.971 % |
89.27/89.46 c | 27897 | 45809 258852 709977 | 2147483647 27505 133 | 45.971 % |
89.57/89.73 c | 28030 | 45805 258852 709977 | 2147483647 27637 133 | 46.071 % |
89.87/90.05 c | 28177 | 45805 258852 709977 | 2147483647 27783 133 | 46.424 % |
90.57/90.72 c | 28337 | 45805 258852 709977 | 2147483647 27943 133 | 46.424 % |
91.27/91.41 c | 28513 | 45412 256327 703469 | 2147483647 28116 133 | 46.424 % |
91.77/91.95 c | 28707 | 45412 256327 703469 | 2147483647 28310 133 | 46.424 % |
92.67/92.89 c | 28921 | 45412 256327 703469 | 2147483647 28524 132 | 46.424 % |
93.37/93.57 c | 29154 | 45412 256327 703469 | 2147483647 28757 133 | 46.424 % |
94.17/94.34 c | 29410 | 45412 256327 703469 | 2147483647 29013 133 | 46.424 % |
94.87/95.01 c | 29693 | 45412 256327 703469 | 2147483647 29296 133 | 46.424 % |
96.07/96.20 c | 30003 | 45412 256327 703469 | 2147483647 29606 134 | 46.424 % |
96.47/96.68 c | 30342 | 45412 256327 703469 | 2147483647 29945 134 | 46.424 % |
97.36/97.58 c | 30714 | 45412 256327 703469 | 2147483647 30317 134 | 46.424 % |
98.66/98.86 c | 31124 | 45412 256327 703469 | 2147483647 30727 134 | 46.424 % |
99.66/99.87 c | 31573 | 45412 256327 703469 | 2147483647 31176 134 | 46.424 % |
101.36/101.55 c | 32066 | 45402 256262 703305 | 2147483647 31667 133 | 46.897 % |
101.66/101.89 c | 32170 | 45402 256262 703305 | 2147483647 31771 134 | 46.897 % |
102.16/102.30 c | 32281 | 45402 256262 703305 | 2147483647 31882 134 | 46.897 % |
102.66/102.86 c | 32402 | 45402 256262 703305 | 2147483647 32003 134 | 46.897 % |
103.46/103.68 c | 32538 | 45401 256262 703305 | 2147483647 32138 134 | 46.911 % |
103.67/103.88 c | 32684 | 45401 256262 703305 | 2147483647 32284 133 | 46.911 % |
104.17/104.34 c | 32844 | 45401 256262 703305 | 2147483647 32444 134 | 46.911 % |
104.57/104.75 c | 33021 | 45401 256262 703305 | 2147483647 32621 134 | 46.911 % |
104.97/105.16 c | 33215 | 45401 256262 703305 | 2147483647 32815 134 | 46.911 % |
105.47/105.64 c | 33429 | 45401 256262 703305 | 2147483647 33029 134 | 46.911 % |
105.86/106.08 c | 33663 | 45401 256262 703305 | 2147483647 33263 135 | 46.911 % |
106.47/106.62 c | 33919 | 44999 253881 697244 | 2147483647 33511 135 | 46.911 % |
106.96/107.16 c | 34200 | 44999 253881 697244 | 2147483647 33792 135 | 46.911 % |
107.57/107.77 c | 34509 | 44999 253881 697244 | 2147483647 34101 135 | 46.911 % |
108.36/108.50 c | 34848 | 44997 253881 697244 | 2147483647 34439 135 | 46.923 % |
109.36/109.55 c | 35221 | 44997 253881 697244 | 2147483647 34812 134 | 46.923 % |
110.66/110.86 c | 35632 | 44997 253881 697244 | 2147483647 35223 134 | 46.923 % |
111.85/112.08 c | 36082 | 44997 253881 697244 | 2147483647 35673 134 | 46.923 % |
112.95/113.12 c | 36576 | 44997 253881 697244 | 2147483647 36167 135 | 46.923 % |
114.15/114.33 c | 37118 | 44983 253796 697040 | 2147483647 36706 136 | 47.301 % |
114.65/114.80 c | 37219 | 44983 253796 697040 | 2147483647 36807 136 | 47.301 % |
114.96/115.18 c | 37329 | 44983 253796 697040 | 2147483647 36917 136 | 47.301 % |
115.46/115.60 c | 37451 | 44983 253796 697040 | 2147483647 37039 136 | 47.301 % |
115.85/116.04 c | 37584 | 44983 253796 697040 | 2147483647 37172 136 | 47.301 % |
116.25/116.45 c | 37730 | 44983 253796 697040 | 2147483647 37318 136 | 47.301 % |
116.65/116.85 c | 37892 | 44983 253796 697040 | 2147483647 37480 136 | 47.301 % |
117.06/117.29 c | 38068 | 44983 253796 697040 | 2147483647 37656 135 | 47.301 % |
117.56/117.74 c | 38262 | 44983 253796 697040 | 2147483647 37850 136 | 47.301 % |
118.05/118.21 c | 38474 | 44983 253796 697040 | 2147483647 38062 136 | 47.301 % |
118.66/118.87 c | 38708 | 44983 253796 697040 | 2147483647 38296 136 | 47.301 % |
119.35/119.59 c | 38965 | 44983 253796 697040 | 2147483647 38553 135 | 47.301 % |
120.05/120.21 c | 39247 | 44983 253796 697040 | 2147483647 38835 135 | 47.301 % |
120.76/120.92 c | 39556 | 44983 253796 697040 | 2147483647 39144 135 | 47.301 % |
121.65/121.84 c | 39896 | 44669 251731 691902 | 2147483647 39479 135 | 47.301 % |
122.95/123.16 c | 40268 | 44669 251731 691902 | 2147483647 39850 135 | 47.312 % |
123.95/124.13 c | 40677 | 44669 251731 691902 | 2147483647 40259 135 | 47.312 % |
125.26/125.47 c | 41130 | 44669 251731 691902 | 2147483647 40712 135 | 47.312 % |
126.75/126.94 c | 41623 | 44666 251731 691902 | 2147483647 41204 135 | 47.347 % |
127.85/128.05 c | 42166 | 44666 251731 691902 | 2147483647 41747 135 | 47.347 % |
128.95/129.10 c | 42763 | 44666 251731 691902 | 2147483647 42344 134 | 47.347 % |
129.25/129.42 c | 42865 | 44666 251731 691902 | 2147483647 42446 133 | 47.347 % |
129.45/129.69 c | 42976 | 44666 251731 691902 | 2147483647 42557 134 | 47.347 % |
129.94/130.11 c | 43106 | 44630 251409 691122 | 2147483647 42675 134 | 47.360 % |
130.14/130.39 c | 43240 | 44630 251409 691122 | 2147483647 42809 134 | 47.360 % |
130.54/130.80 c | 43386 | 44630 251409 691122 | 2147483647 42955 134 | 47.360 % |
130.94/131.18 c | 43547 | 44630 251409 691122 | 2147483647 43116 134 | 47.360 % |
131.54/131.77 c | 43724 | 44629 251409 691122 | 2147483647 43292 134 | 47.361 % |
132.34/132.58 c | 43921 | 44629 251409 691122 | 2147483647 43489 134 | 47.361 % |
132.84/133.10 c | 44134 | 44629 251409 691122 | 2147483647 43702 134 | 47.361 % |
133.45/133.61 c | 44368 | 44629 251409 691122 | 2147483647 43935 135 | 47.362 % |
134.05/134.24 c | 44624 | 44629 251409 691122 | 2147483647 44191 135 | 47.362 % |
134.75/134.95 c | 44909 | 44629 251409 691122 | 2147483647 44476 135 | 47.362 % |
135.54/135.75 c | 45218 | 44629 251409 691122 | 2147483647 44785 135 | 47.362 % |
136.44/136.61 c | 45558 | 44629 251409 691122 | 2147483647 45125 136 | 47.362 % |
137.64/137.84 c | 45930 | 44628 251409 691122 | 2147483647 45495 136 | 47.463 % |
138.64/138.85 c | 46341 | 44627 251409 691122 | 2147483647 45904 137 | 47.488 % |
139.84/140.08 c | 46790 | 44510 250627 689113 | 2147483647 46352 136 | 47.488 % |
140.94/141.10 c | 47284 | 44510 250627 689113 | 2147483647 46846 136 | 47.488 % |
142.13/142.35 c | 47826 | 44510 250627 689113 | 2147483647 47388 135 | 47.488 % |
143.44/143.62 c | 48423 | 44510 250627 689113 | 2147483647 47985 135 | 47.488 % |
144.84/145.03 c | 49079 | 44510 250627 689113 | 2147483647 48641 134 | 47.488 % |
145.14/145.35 c | 49179 | 44510 250627 689113 | 2147483647 48741 134 | 47.488 % |
145.74/145.92 c | 49289 | 44510 250627 689113 | 2147483647 48851 134 | 47.488 % |
146.05/146.22 c | 49410 | 44510 250627 689113 | 2147483647 48972 134 | 47.488 % |
146.34/146.56 c | 49543 | 44510 250627 689113 | 2147483647 49105 134 | 47.488 % |
146.74/146.95 c | 49689 | 44510 250627 689113 | 2147483647 49251 135 | 47.488 % |
147.04/147.24 c | 49852 | 44510 250627 689113 | 2147483647 49414 135 | 47.488 % |
147.54/147.76 c | 50030 | 44509 250627 689113 | 2147483647 49591 134 | 47.492 % |
148.14/148.34 c | 50223 | 44455 250627 689113 | 2147483647 49782 134 | 56.832 % |
148.74/148.98 c | 50435 | 44455 250627 689113 | 2147483647 49994 134 | 56.832 % |
149.64/149.83 c | 50668 | 44455 250627 689113 | 2147483647 50227 134 | 56.832 % |
150.34/150.56 c | 50927 | 36590 194091 540026 | 2147483647 50296 135 | 56.832 % |
151.04/151.24 c | 51209 | 36590 194091 540026 | 2147483647 50577 135 | 57.140 % |
151.94/152.14 c | 51518 | 36590 194091 540026 | 2147483647 50886 134 | 57.140 % |
152.84/153.08 c | 51858 | 36590 194091 540026 | 2147483647 51226 134 | 57.140 % |
153.74/153.98 c | 52230 | 36590 194091 540026 | 2147483647 51598 135 | 57.140 % |
154.94/155.15 c | 52640 | 36590 194091 540026 | 2147483647 52008 135 | 57.140 % |
155.93/156.15 c | 53090 | 36590 194091 540026 | 2147483647 52458 135 | 57.140 % |
157.23/157.45 c | 53583 | 36589 194091 540026 | 2147483647 52950 135 | 57.414 % |
158.43/158.62 c | 54125 | 36589 194091 540026 | 2147483647 53491 135 | 57.457 % |
160.13/160.35 c | 54721 | 36589 194091 540026 | 2147483647 54087 135 | 57.457 % |
161.92/162.13 c | 55377 | 36589 194091 540026 | 2147483647 54743 135 | 57.457 % |
163.52/163.78 c | 56098 | 36060 188376 523875 | 2147483647 55444 134 | 57.457 % |
163.82/164.05 c | 56201 | 36060 188376 523875 | 2147483647 55547 134 | 57.457 % |
164.22/164.44 c | 56313 | 36060 188376 523875 | 2147483647 55658 134 | 57.470 % |
164.53/164.73 c | 56434 | 36060 188376 523875 | 2147483647 55779 134 | 57.470 % |
164.93/165.18 c | 56567 | 36060 188376 523875 | 2147483647 55912 134 | 57.470 % |
165.33/165.56 c | 56713 | 36060 188376 523875 | 2147483647 56058 134 | 57.470 % |
165.73/165.94 c | 56875 | 36060 188376 523875 | 2147483647 56220 134 | 57.470 % |
166.23/166.45 c | 57056 | 36060 188376 523875 | 2147483647 56401 134 | 57.470 % |
166.63/166.81 c | 57249 | 36060 188376 523875 | 2147483647 56594 134 | 57.470 % |
167.13/167.30 c | 57462 | 36060 188376 523875 | 2147483647 56807 134 | 57.470 % |
167.83/168.05 c | 57696 | 36060 188376 523875 | 2147483647 57041 134 | 57.470 % |
168.53/168.70 c | 57953 | 36060 188376 523875 | 2147483647 57298 133 | 57.470 % |
169.13/169.32 c | 58234 | 36060 188376 523875 | 2147483647 57579 133 | 57.470 % |
169.73/169.98 c | 58545 | 36060 188376 523875 | 2147483647 57890 133 | 57.470 % |
170.73/170.96 c | 58885 | 36060 188376 523875 | 2147483647 58230 132 | 57.470 % |
171.72/171.93 c | 59258 | 36060 188376 523875 | 2147483647 58603 132 | 57.470 % |
172.62/172.81 c | 59668 | 36060 188376 523875 | 2147483647 59013 132 | 57.470 % |
173.53/173.78 c | 60117 | 36049 188307 523694 | 2147483647 59461 133 | 57.470 % |
174.52/174.79 c | 60611 | 36049 188307 523694 | 2147483647 59955 133 | 57.470 % |
175.62/175.90 c | 61154 | 36049 188307 523694 | 2147483647 60498 133 | 57.470 % |
177.22/177.49 c | 61755 | 36049 188307 523694 | 2147483647 61098 133 | 57.555 % |
178.73/178.95 c | 62410 | 36049 188307 523694 | 2147483647 61753 133 | 57.555 % |
180.02/180.25 c | 63130 | 36048 188307 523694 | 2147483647 62472 133 | 57.567 % |
181.62/181.88 c | 63922 | 36048 188307 523694 | 2147483647 63264 132 | 57.567 % |
181.92/182.13 c | 64022 | 36048 188307 523694 | 2147483647 63364 132 | 57.567 % |
182.22/182.46 c | 64132 | 36048 188307 523694 | 2147483647 63474 132 | 57.567 % |
182.72/182.94 c | 64256 | 36048 188307 523694 | 2147483647 63598 132 | 57.567 % |
183.12/183.32 c | 64389 | 36048 188307 523694 | 2147483647 63731 132 | 57.567 % |
183.53/183.71 c | 64535 | 36048 188307 523694 | 2147483647 63877 132 | 57.567 % |
183.92/184.11 c | 64695 | 36048 188307 523694 | 2147483647 64037 132 | 57.567 % |
184.42/184.64 c | 64871 | 36048 188307 523694 | 2147483647 64213 132 | 57.567 % |
185.02/185.25 c | 65066 | 35967 187651 522087 | 2147483647 64393 132 | 57.567 % |
185.62/185.84 c | 65279 | 35966 187651 522087 | 2147483647 64605 132 | 57.572 % |
186.32/186.55 c | 65513 | 35966 187651 522087 | 2147483647 64839 132 | 57.572 % |
186.92/187.10 c | 65770 | 35966 187651 522087 | 2147483647 65096 132 | 57.572 % |
187.62/187.83 c | 66051 | 35966 187651 522087 | 2147483647 65377 132 | 57.572 % |
188.62/188.85 c | 66360 | 35966 187651 522087 | 2147483647 65686 132 | 57.572 % |
189.52/189.76 c | 66699 | 35966 187651 522087 | 2147483647 66024 132 | 57.595 % |
190.31/190.53 c | 67071 | 35966 187651 522087 | 2147483647 66396 132 | 57.595 % |
191.41/191.60 c | 67481 | 35966 187651 522087 | 2147483647 66806 132 | 57.595 % |
192.72/192.95 c | 67930 | 35966 187651 522087 | 2147483647 67255 132 | 57.595 % |
194.12/194.37 c | 68423 | 35966 187651 522087 | 2147483647 67747 133 | 57.771 % |
195.42/195.64 c | 68966 | 35966 187651 522087 | 2147483647 68290 134 | 57.771 % |
197.42/197.60 c | 69563 | 35966 187651 522087 | 2147483647 68887 134 | 57.771 % |
199.02/199.28 c | 70220 | 35794 186782 519552 | 2147483647 69535 134 | 57.771 % |
201.21/201.49 c | 70940 | 35794 186782 519552 | 2147483647 70255 134 | 57.771 % |
203.31/203.59 c | 71732 | 35794 186782 519552 | 2147483647 71047 133 | 57.771 % |
205.30/205.58 c | 72604 | 35794 186782 519552 | 2147483647 71919 132 | 57.771 % |
205.60/205.85 c | 72705 | 35794 186782 519552 | 2147483647 72020 132 | 57.771 % |
205.90/206.15 c | 72820 | 35794 186782 519552 | 2147483647 72135 132 | 57.771 % |
206.20/206.47 c | 72941 | 35794 186782 519552 | 2147483647 72256 132 | 57.771 % |
206.61/206.83 c | 73076 | 35794 186782 519552 | 2147483647 72391 132 | 57.771 % |
207.10/207.30 c | 73223 | 35794 186782 519552 | 2147483647 72538 132 | 57.771 % |
207.50/207.71 c | 73384 | 35794 186782 519552 | 2147483647 72699 132 | 57.771 % |
207.81/208.09 c | 73560 | 35794 186782 519552 | 2147483647 72875 132 | 57.771 % |
208.41/208.65 c | 73754 | 35794 186782 519552 | 2147483647 73069 132 | 57.771 % |
208.91/209.11 c | 73966 | 35794 186782 519552 | 2147483647 73281 132 | 57.771 % |
209.41/209.70 c | 74200 | 35794 186782 519552 | 2147483647 73515 132 | 57.771 % |
210.21/210.48 c | 74457 | 35794 186782 519552 | 2147483647 73772 131 | 57.771 % |
210.81/211.03 c | 74738 | 35794 186782 519552 | 2147483647 74053 131 | 57.771 % |
211.41/211.63 c | 75048 | 35794 186782 519552 | 2147483647 74363 131 | 57.771 % |
212.21/212.48 c | 75388 | 35794 186782 519552 | 2147483647 74703 131 | 57.771 % |
213.41/213.69 c | 75761 | 35794 186782 519552 | 2147483647 75076 131 | 57.771 % |
214.60/214.81 c | 76170 | 35794 186782 519552 | 2147483647 75485 130 | 57.771 % |
215.90/216.13 c | 76622 | 35794 186782 519552 | 2147483647 75937 130 | 57.771 % |
217.00/217.27 c | 77115 | 35794 186782 519552 | 2147483647 76430 131 | 57.771 % |
218.80/219.06 c | 77657 | 35794 186782 519552 | 2147483647 76972 131 | 57.771 % |
220.70/220.98 c | 78253 | 35794 186782 519552 | 2147483647 77568 131 | 57.771 % |
222.30/222.59 c | 78908 | 35794 186782 519552 | 2147483647 78223 131 | 57.771 % |
224.20/224.46 c | 79628 | 35794 186782 519552 | 2147483647 78943 130 | 57.771 % |
226.00/226.28 c | 80420 | 35794 186782 519552 | 2147483647 79735 130 | 57.771 % |
228.30/228.51 c | 81291 | 35794 186782 519552 | 2147483647 80606 129 | 57.771 % |
230.70/230.98 c | 82249 | 35793 186777 519537 | 2147483647 81563 130 | 57.772 % |
231.10/231.30 c | 82350 | 35793 186777 519537 | 2147483647 81664 130 | 57.772 % |
231.40/231.67 c | 82460 | 35793 186777 519537 | 2147483647 81774 130 | 57.772 % |
231.80/232.04 c | 82581 | 35793 186777 519537 | 2147483647 81895 130 | 57.772 % |
232.09/232.37 c | 82714 | 35793 186777 519537 | 2147483647 82028 130 | 57.772 % |
232.59/232.88 c | 82864 | 35793 186777 519537 | 2147483647 82178 130 | 57.772 % |
233.19/233.47 c | 83024 | 35793 186777 519537 | 2147483647 82338 130 | 57.772 % |
233.59/233.89 c | 83200 | 35793 186777 519537 | 2147483647 82514 130 | 57.772 % |
234.19/234.45 c | 83395 | 35793 186777 519537 | 2147483647 82709 130 | 57.772 % |
234.89/235.15 c | 83607 | 35793 186777 519537 | 2147483647 82921 129 | 57.772 % |
235.49/235.78 c | 83842 | 35793 186777 519537 | 2147483647 83156 129 | 57.772 % |
236.09/236.38 c | 84100 | 35793 186777 519537 | 2147483647 83414 129 | 57.772 % |
236.79/237.04 c | 84382 | 35793 186777 519537 | 2147483647 83696 129 | 57.772 % |
237.39/237.63 c | 84693 | 35793 186777 519537 | 2147483647 84007 129 | 57.772 % |
238.29/238.54 c | 85036 | 35793 186777 519537 | 2147483647 84350 129 | 57.772 % |
239.29/239.57 c | 85408 | 35793 186777 519537 | 2147483647 84722 129 | 57.772 % |
240.79/241.08 c | 85817 | 35793 186777 519537 | 2147483647 85131 129 | 57.772 % |
242.19/242.49 c | 86266 | 35793 186777 519537 | 2147483647 85580 129 | 57.772 % |
243.69/243.99 c | 86759 | 35793 186777 519537 | 2147483647 86073 129 | 57.772 % |
244.99/245.22 c | 87303 | 35793 186777 519537 | 2147483647 86617 129 | 57.772 % |
247.18/247.42 c | 87899 | 35793 186777 519537 | 2147483647 87213 129 | 57.772 % |
249.18/249.45 c | 88555 | 35793 186777 519537 | 2147483647 87869 129 | 57.772 % |
252.08/252.35 c | 89280 | 35793 186777 519537 | 2147483647 88594 129 | 57.772 % |
254.68/254.98 c | 90072 | 35793 186777 519537 | 2147483647 89386 129 | 57.772 % |
256.78/257.01 c | 90943 | 35793 186777 519537 | 2147483647 90257 129 | 57.772 % |
258.98/259.26 c | 91901 | 35793 186777 519537 | 2147483647 91215 129 | 57.772 % |
261.48/261.74 c | 92954 | 35793 186777 519537 | 2147483647 92268 129 | 57.772 % |
261.78/262.03 c | 93055 | 35793 186777 519537 | 2147483647 92369 129 | 57.772 % |
262.08/262.35 c | 93167 | 35793 186777 519537 | 2147483647 92481 129 | 57.772 % |
262.48/262.71 c | 93288 | 35793 186777 519537 | 2147483647 92602 129 | 57.772 % |
262.98/263.24 c | 93422 | 35793 186777 519537 | 2147483647 92736 129 | 57.772 % |
263.58/263.84 c | 93572 | 35793 186777 519537 | 2147483647 92886 129 | 57.772 % |
264.18/264.43 c | 93733 | 35793 186777 519537 | 2147483647 93047 129 | 57.772 % |
264.68/264.96 c | 93909 | 35793 186777 519537 | 2147483647 93223 128 | 57.772 % |
265.28/265.53 c | 94103 | 35793 186777 519537 | 2147483647 93417 128 | 57.772 % |
265.88/266.13 c | 94315 | 35793 186777 519537 | 2147483647 93629 128 | 57.772 % |
266.58/266.85 c | 94548 | 35793 186777 519537 | 2147483647 93862 128 | 57.772 % |
267.27/267.56 c | 94805 | 35793 186777 519537 | 2147483647 94119 128 | 57.772 % |
268.08/268.39 c | 95087 | 35793 186777 519537 | 2147483647 94401 128 | 57.772 % |
269.37/269.67 c | 95396 | 35698 186117 517944 | 2147483647 94708 128 | 57.884 % |
270.47/270.74 c | 95740 | 35698 186117 517944 | 2147483647 95052 128 | 57.884 % |
271.48/271.78 c | 96115 | 35698 186117 517944 | 2147483647 95427 128 | 57.884 % |
272.78/273.07 c | 96524 | 35698 186117 517944 | 2147483647 95836 128 | 57.884 % |
273.87/274.19 c | 96975 | 35698 186117 517944 | 2147483647 96287 128 | 57.884 % |
275.67/275.91 c | 97468 | 35698 186117 517944 | 2147483647 96780 128 | 57.884 % |
277.07/277.37 c | 98011 | 35698 186117 517944 | 2147483647 97323 128 | 57.884 % |
278.77/279.06 c | 98607 | 35698 186117 517944 | 2147483647 97919 128 | 57.884 % |
280.77/281.05 c | 99264 | 35697 186117 517944 | 2147483647 98575 128 | 57.901 % |
282.87/283.17 c | 99984 | 35697 186117 517944 | 2147483647 99295 128 | 57.901 % |
285.27/285.54 c | 100777 | 35697 186117 517944 | 2147483647 100088 127 | 57.901 % |
287.97/288.29 c | 101648 | 35697 186117 517944 | 2147483647 100959 127 | 57.901 % |
290.66/290.93 c | 102607 | 35697 186117 517944 | 2147483647 101918 127 | 57.901 % |
292.86/293.17 c | 103660 | 35684 186034 517711 | 2147483647 102969 127 | 57.901 % |
295.75/296.09 c | 104818 | 35684 186034 517711 | 2147483647 104127 127 | 57.901 % |
296.05/296.38 c | 104920 | 35684 186034 517711 | 2147483647 104229 127 | 57.901 % |
296.35/296.65 c | 105031 | 35684 186034 517711 | 2147483647 104340 127 | 57.901 % |
296.66/296.95 c | 105153 | 35684 186034 517711 | 2147483647 104462 127 | 57.901 % |
297.15/297.47 c | 105286 | 35684 186034 517711 | 2147483647 104594 127 | 58.024 % |
297.55/297.89 c | 105435 | 35684 186034 517711 | 2147483647 104743 127 | 58.024 % |
298.15/298.43 c | 105595 | 35684 186034 517711 | 2147483647 104903 126 | 58.024 % |
298.65/298.93 c | 105774 | 35684 186034 517711 | 2147483647 105082 126 | 58.024 % |
299.55/299.81 c | 105969 | 35684 186034 517711 | 2147483647 105277 126 | 58.024 % |
300.15/300.47 c | 106182 | 35684 186034 517711 | 2147483647 105490 126 | 58.024 % |
300.85/301.11 c | 106415 | 35684 186034 517711 | 2147483647 105723 126 | 58.024 % |
301.36/301.67 c | 106672 | 35684 186034 517711 | 2147483647 105980 126 | 58.024 % |
302.06/302.33 c | 106955 | 35684 186034 517711 | 2147483647 106263 126 | 58.024 % |
302.86/303.13 c | 107266 | 35684 186034 517711 | 2147483647 106574 126 | 58.024 % |
303.66/303.96 c | 107605 | 35684 186034 517711 | 2147483647 106913 126 | 58.024 % |
304.46/304.79 c | 107978 | 35684 186034 517711 | 2147483647 107286 125 | 58.024 % |
305.95/306.27 c | 108389 | 35684 186034 517711 | 2147483647 107697 125 | 58.024 % |
307.25/307.51 c | 108839 | 35684 186034 517711 | 2147483647 108147 125 | 58.024 % |
308.55/308.87 c | 109332 | 35684 186034 517711 | 2147483647 108640 125 | 58.024 % |
309.96/310.29 c | 109875 | 35684 186034 517711 | 2147483647 109183 125 | 58.024 % |
311.35/311.68 c | 110471 | 35684 186034 517711 | 2147483647 109779 125 | 58.024 % |
312.85/313.12 c | 111126 | 35684 186034 517711 | 2147483647 110434 124 | 58.024 % |
314.55/314.90 c | 111848 | 35684 186034 517711 | 2147483647 111156 124 | 58.024 % |
316.95/317.29 c | 112643 | 35684 186034 517711 | 2147483647 111951 124 | 58.024 % |
319.86/320.18 c | 113515 | 35580 185375 516017 | 2147483647 112822 124 | 58.043 % |
322.65/322.91 c | 114475 | 35580 185375 516017 | 2147483647 113782 124 | 58.043 % |
327.55/327.90 c | 115529 | 35579 185375 516017 | 2147483647 114835 123 | 58.048 % |
331.05/331.39 c | 116688 | 35579 185375 516017 | 2147483647 115993 123 | 58.061 % |
335.34/335.60 c | 117961 | 35579 185375 516017 | 2147483647 117265 123 | 58.071 % |
335.74/336.03 c | 118061 | 35579 185375 516017 | 2147483647 117365 123 | 58.071 % |
336.14/336.45 c | 118172 | 35579 185375 516017 | 2147483647 117476 123 | 58.071 % |
336.54/336.80 c | 118293 | 35579 185375 516017 | 2147483647 117597 123 | 58.071 % |
336.94/337.20 c | 118426 | 35579 185375 516017 | 2147483647 117730 123 | 58.071 % |
337.54/337.87 c | 118572 | 35579 185375 516017 | 2147483647 117876 123 | 58.071 % |
338.14/338.42 c | 118732 | 35579 185375 516017 | 2147483647 118036 123 | 58.071 % |
339.14/339.41 c | 118909 | 35579 185375 516017 | 2147483647 118213 123 | 58.071 % |
339.64/339.96 c | 119103 | 35579 185375 516017 | 2147483647 118407 123 | 58.071 % |
340.34/340.61 c | 119315 | 35579 185375 516017 | 2147483647 118619 123 | 58.071 % |
340.94/341.21 c | 119549 | 35579 185375 516017 | 2147483647 118853 123 | 58.071 % |
341.74/342.06 c | 119805 | 35579 185375 516017 | 2147483647 119109 123 | 58.071 % |
342.63/342.95 c | 120087 | 35579 185375 516017 | 2147483647 119391 123 | 58.071 % |
343.63/343.91 c | 120400 | 35579 185375 516017 | 2147483647 119704 123 | 58.071 % |
344.63/344.91 c | 120740 | 35579 185375 516017 | 2147483647 120044 123 | 58.071 % |
345.73/346.05 c | 121112 | 35579 185375 516017 | 2147483647 120415 123 | 58.301 % |
347.03/347.31 c | 121522 | 35345 184216 512711 | 2147483647 120821 122 | 58.301 % |
348.34/348.64 c | 121971 | 35345 184216 512711 | 2147483647 121270 122 | 58.301 % |
350.03/350.39 c | 122464 | 35345 184216 512711 | 2147483647 121763 122 | 58.301 % |
351.94/352.21 c | 123007 | 35345 184216 512711 | 2147483647 122306 122 | 58.301 % |
353.54/353.85 c | 123605 | 35345 184216 512711 | 2147483647 122904 122 | 58.301 % |
355.34/355.66 c | 124260 | 35344 184216 512711 | 2147483647 123558 122 | 58.313 % |
358.34/358.69 c | 124981 | 35344 184216 512711 | 2147483647 124279 122 | 58.313 % |
361.13/361.42 c | 125775 | 35344 184216 512711 | 2147483647 125073 122 | 58.313 % |
363.63/363.98 c | 126646 | 35344 184216 512711 | 2147483647 125944 122 | 58.313 % |
366.33/366.68 c | 127604 | 35344 184216 512711 | 2147483647 126902 122 | 58.313 % |
369.13/369.40 c | 128657 | 35344 184216 512711 | 2147483647 127955 122 | 58.313 % |
373.52/373.89 c | 129816 | 35344 184216 512711 | 2147483647 129114 122 | 58.313 % |
377.62/377.91 c | 131089 | 35335 184135 512513 | 2147483647 130381 123 | 58.313 % |
382.53/382.80 c | 132490 | 35335 184135 512513 | 2147483647 131780 123 | 58.323 % |
382.93/383.27 c | 132590 | 35335 184135 512513 | 2147483647 131880 123 | 58.323 % |
383.33/383.61 c | 132700 | 35335 184135 512513 | 2147483647 131990 123 | 58.323 % |
383.72/384.04 c | 132822 | 35335 184135 512513 | 2147483647 132112 123 | 58.323 % |
384.12/384.47 c | 132955 | 35335 184135 512513 | 2147483647 132245 123 | 58.323 % |
384.73/385.02 c | 133102 | 35335 184135 512513 | 2147483647 132392 123 | 58.323 % |
385.32/385.60 c | 133263 | 35335 184135 512513 | 2147483647 132553 123 | 58.323 % |
386.32/386.64 c | 133440 | 35335 184135 512513 | 2147483647 132730 123 | 58.323 % |
387.02/387.31 c | 133635 | 35335 184135 512513 | 2147483647 132925 123 | 58.323 % |
387.72/388.07 c | 133847 | 35334 184135 512513 | 2147483647 133136 123 | 58.365 % |
388.52/388.86 c | 134080 | 35334 184135 512513 | 2147483647 133369 123 | 58.365 % |
389.42/389.77 c | 134337 | 35334 184135 512513 | 2147483647 133626 123 | 58.365 % |
390.42/390.78 c | 134618 | 35334 184135 512513 | 2147483647 133907 123 | 58.365 % |
391.42/391.72 c | 134928 | 35334 184135 512513 | 2147483647 134217 123 | 58.365 % |
392.62/392.97 c | 135267 | 35334 184135 512513 | 2147483647 134555 123 | 58.381 % |
394.22/394.59 c | 135639 | 35334 184135 512513 | 2147483647 134927 123 | 58.381 % |
395.81/396.12 c | 136048 | 35334 184135 512513 | 2147483647 135336 124 | 58.381 % |
397.12/397.47 c | 136497 | 35334 184135 512513 | 2147483647 135785 124 | 58.381 % |
398.72/399.07 c | 136992 | 35334 184135 512513 | 2147483647 136280 124 | 58.381 % |
400.72/401.01 c | 137535 | 35334 184135 512513 | 2147483647 136823 124 | 58.381 % |
402.32/402.69 c | 138132 | 35334 184135 512513 | 2147483647 137420 124 | 58.381 % |
405.01/405.36 c | 138787 | 35334 184135 512513 | 2147483647 138075 124 | 58.381 % |
407.31/407.60 c | 139507 | 35334 184135 512513 | 2147483647 138795 124 | 58.381 % |
409.81/410.18 c | 140301 | 35277 183652 511312 | 2147483647 139579 124 | 58.381 % |
412.52/412.86 c | 141172 | 35277 183652 511312 | 2147483647 140450 125 | 58.381 % |
415.31/415.63 c | 142131 | 35277 183652 511312 | 2147483647 141408 125 | 58.382 % |
418.71/419.09 c | 143184 | 35277 183652 511312 | 2147483647 142461 125 | 58.382 % |
422.11/422.43 c | 144342 | 35277 183652 511312 | 2147483647 143619 124 | 58.382 % |
426.80/427.18 c | 145615 | 35277 183652 511312 | 2147483647 144892 124 | 58.382 % |
431.79/432.19 c | 147015 | 35271 183652 511312 | 2147483647 146291 124 | 58.459 % |
437.19/437.59 c | 148557 | 35271 183652 511312 | 2147483647 147833 124 | 58.459 % |
437.59/437.96 c | 148658 | 35271 183652 511312 | 2147483647 147934 124 | 58.459 % |
438.29/438.60 c | 148768 | 35271 183652 511312 | 2147483647 148044 124 | 58.459 % |
438.59/438.99 c | 148891 | 35271 183652 511312 | 2147483647 148167 124 | 58.459 % |
439.09/439.41 c | 149025 | 35271 183652 511312 | 2147483647 148301 124 | 58.459 % |
439.70/440.04 c | 149171 | 35271 183652 511312 | 2147483647 148447 124 | 58.459 % |
440.89/441.22 c | 149332 | 35271 183652 511312 | 2147483647 148608 123 | 58.459 % |
441.39/441.74 c | 149509 | 35271 183652 511312 | 2147483647 148785 124 | 58.459 % |
442.10/442.42 c | 149702 | 35271 183652 511312 | 2147483647 148978 124 | 58.459 % |
443.10/443.41 c | 149914 | 35271 183652 511312 | 2147483647 149190 124 | 58.459 % |
444.10/444.44 c | 150148 | 35271 183652 511312 | 2147483647 149424 124 | 58.459 % |
445.20/445.54 c | 150404 | 35271 183652 511312 | 2147483647 149680 124 | 58.459 % |
446.10/446.43 c | 150685 | 35271 183652 511312 | 2147483647 149961 124 | 58.459 % |
447.10/447.45 c | 150994 | 35271 183652 511312 | 2147483647 150270 124 | 58.459 % |
448.40/448.71 c | 151333 | 35271 183652 511312 | 2147483647 150609 123 | 58.459 % |
449.60/449.90 c | 151705 | 35271 183652 511312 | 2147483647 150981 123 | 58.459 % |
450.80/451.11 c | 152114 | 35211 183129 510057 | 2147483647 151356 123 | 58.459 % |
452.29/452.63 c | 152564 | 35211 183129 510057 | 2147483647 151806 123 | 58.459 % |
454.09/454.41 c | 153058 | 35211 183129 510057 | 2147483647 152300 123 | 58.459 % |
455.99/456.37 c | 153600 | 35182 183129 510057 | 2147483647 152841 123 | 60.185 % |
458.19/458.52 c | 154196 | 35182 183129 510057 | 2147483647 153437 123 | 60.185 % |
460.19/460.56 c | 154851 | 35182 183129 510057 | 2147483647 154092 123 | 60.185 % |
462.39/462.70 c | 155572 | 35182 183129 510057 | 2147483647 154812 123 | 60.196 % |
465.19/465.52 c | 156366 | 35182 183129 510057 | 2147483647 155606 123 | 60.196 % |
467.99/468.39 c | 157238 | 35182 183129 510057 | 2147483647 156477 123 | 60.205 % |
470.68/471.02 c | 158197 | 35182 183129 510057 | 2147483647 157436 122 | 60.205 % |
473.48/473.82 c | 159250 | 35182 183129 510057 | 2147483647 158489 122 | 60.205 % |
477.87/478.29 c | 160408 | 35182 183129 510057 | 2147483647 159646 122 | 60.211 % |
481.98/482.36 c | 161682 | 35182 183129 510057 | 2147483647 160920 122 | 60.211 % |
486.88/487.24 c | 163083 | 35182 183129 510057 | 2147483647 162321 122 | 60.211 % |
492.28/492.69 c | 164624 | 35182 183129 510057 | 2147483647 163862 122 | 60.211 % |
498.18/498.56 c | 166319 | 33726 174453 488416 | 2147483647 165547 121 | 60.211 % |
498.58/498.94 c | 166419 | 33726 174453 488416 | 2147483647 165647 121 | 60.211 % |
498.98/499.31 c | 166532 | 33726 174453 488416 | 2147483647 165760 121 | 60.211 % |
499.38/499.73 c | 166654 | 33726 174453 488416 | 2147483647 165882 121 | 60.211 % |
499.77/500.15 c | 166787 | 33726 174453 488416 | 2147483647 166015 121 | 60.211 % |
500.27/500.62 c | 166934 | 33726 174453 488416 | 2147483647 166162 121 | 60.211 % |
501.18/501.57 c | 167095 | 33726 174453 488416 | 2147483647 166323 121 | 60.211 % |
501.77/502.20 c | 167272 | 33726 174453 488416 | 2147483647 166500 121 | 60.211 % |
502.97/503.33 c | 167465 | 33726 174453 488416 | 2147483647 166693 121 | 60.211 % |
504.07/504.41 c | 167678 | 33726 174453 488416 | 2147483647 166906 121 | 60.211 % |
504.87/505.24 c | 167911 | 33726 174453 488416 | 2147483647 167139 121 | 60.211 % |
505.67/506.08 c | 168171 | 33726 174453 488416 | 2147483647 167399 121 | 60.211 % |
506.57/506.98 c | 168454 | 33726 174453 488416 | 2147483647 167682 121 | 60.211 % |
507.57/507.97 c | 168764 | 33726 174453 488416 | 2147483647 167992 121 | 60.211 % |
508.57/508.95 c | 169104 | 33726 174453 488416 | 2147483647 168332 121 | 60.211 % |
509.47/509.87 c | 169476 | 33726 174453 488416 | 2147483647 168704 120 | 60.211 % |
510.67/511.03 c | 169885 | 33726 174453 488416 | 2147483647 169113 120 | 60.211 % |
512.47/512.89 c | 170334 | 33725 174453 488416 | 2147483647 169561 120 | 60.223 % |
514.17/514.55 c | 170828 | 33725 174453 488416 | 2147483647 170055 120 | 60.223 % |
516.36/516.78 c | 171370 | 33725 174453 488416 | 2147483647 170597 121 | 60.223 % |
518.46/518.80 c | 171971 | 33725 174453 488416 | 2147483647 171198 121 | 60.223 % |
521.26/521.67 c | 172627 | 33725 174453 488416 | 2147483647 171854 121 | 60.223 % |
524.26/524.67 c | 173347 | 33725 174453 488416 | 2147483647 172574 121 | 60.223 % |
527.35/527.70 c | 174140 | 33725 174453 488416 | 2147483647 173367 121 | 60.223 % |
530.56/530.99 c | 175011 | 33725 174453 488416 | 2147483647 174238 121 | 60.223 % |
533.66/534.08 c | 175971 | 33725 174453 488416 | 2147483647 175198 121 | 60.223 % |
538.05/538.42 c | 177025 | 33716 174368 488214 | 2147483647 176250 120 | 60.223 % |
542.35/542.71 c | 178184 | 33716 174368 488214 | 2147483647 177409 120 | 60.223 % |
547.25/547.70 c | 179457 | 33716 174368 488214 | 2147483647 178682 120 | 60.223 % |
551.35/551.79 c | 180857 | 33716 174368 488214 | 2147483647 180082 120 | 60.223 % |
556.34/556.72 c | 182399 | 33716 174368 488214 | 2147483647 181624 120 | 60.223 % |
562.55/562.99 c | 184093 | 33716 174368 488214 | 2147483647 183318 119 | 60.223 % |
568.24/568.65 c | 185956 | 33716 174368 488214 | 2147483647 185181 120 | 60.223 % |
568.64/569.07 c | 186056 | 33716 174368 488214 | 2147483647 185281 120 | 60.223 % |
569.14/569.50 c | 186166 | 33716 174368 488214 | 2147483647 185391 120 | 60.223 % |
569.54/569.94 c | 186287 | 33716 174368 488214 | 2147483647 185512 120 | 60.223 % |
570.04/570.46 c | 186420 | 33716 174368 488214 | 2147483647 185645 120 | 60.223 % |
570.74/571.20 c | 186566 | 33716 174368 488214 | 2147483647 185791 120 | 60.223 % |
571.44/571.81 c | 186726 | 33716 174368 488214 | 2147483647 185951 120 | 60.223 % |
572.14/572.53 c | 186902 | 33716 174368 488214 | 2147483647 186127 119 | 60.223 % |
572.94/573.33 c | 187095 | 33716 174368 488214 | 2147483647 186320 119 | 60.223 % |
573.74/574.16 c | 187307 | 33716 174368 488214 | 2147483647 186532 119 | 60.223 % |
574.84/575.26 c | 187540 | 33716 174368 488214 | 2147483647 186765 119 | 60.223 % |
575.83/576.27 c | 187796 | 33716 174368 488214 | 2147483647 187021 119 | 60.223 % |
577.23/577.63 c | 188077 | 33716 174368 488214 | 2147483647 187302 119 | 60.223 % |
578.63/579.01 c | 188387 | 33716 174368 488214 | 2147483647 187612 119 | 60.223 % |
579.73/580.17 c | 188727 | 33716 174368 488214 | 2147483647 187952 119 | 60.223 % |
580.83/581.29 c | 189103 | 33716 174368 488214 | 2147483647 188328 119 | 60.223 % |
582.43/582.84 c | 189514 | 33716 174368 488214 | 2147483647 188739 119 | 60.223 % |
583.93/584.37 c | 189964 | 33716 174368 488214 | 2147483647 189189 119 | 60.223 % |
586.04/586.48 c | 190458 | 33716 174368 488214 | 2147483647 189683 119 | 60.223 % |
587.94/588.34 c | 191002 | 33716 174368 488214 | 2147483647 190227 119 | 60.223 % |
589.94/590.34 c | 191598 | 33716 174368 488214 | 2147483647 190822 119 | 60.649 % |
592.24/592.63 c | 192254 | 33716 174368 488214 | 2147483647 191478 119 | 60.649 % |
594.74/595.18 c | 192974 | 33716 174368 488214 | 2147483647 192198 119 | 60.649 % |
597.94/598.35 c | 193766 | 33716 174368 488214 | 2147483647 192990 119 | 60.649 % |
601.34/601.77 c | 194639 | 33355 172302 482252 | 2147483647 193860 119 | 60.649 % |
604.63/605.04 c | 195597 | 33355 172302 482252 | 2147483647 194818 119 | 60.649 % |
608.12/608.50 c | 196652 | 33355 172302 482252 | 2147483647 195873 119 | 60.649 % |
612.42/612.85 c | 197812 | 33355 172302 482252 | 2147483647 197033 119 | 60.649 % |
617.12/617.56 c | 199085 | 33355 172302 482252 | 2147483647 198306 119 | 60.649 % |
622.61/623.09 c | 200488 | 33355 172302 482252 | 2147483647 199709 118 | 60.649 % |
628.01/628.46 c | 202029 | 33355 172302 482252 | 2147483647 201250 119 | 60.649 % |
633.81/634.21 c | 203725 | 33355 172302 482252 | 2147483647 202946 119 | 60.649 % |
641.11/641.51 c | 205589 | 33354 172302 482252 | 2147483647 204809 119 | 60.659 % |
647.31/647.75 c | 207638 | 33354 172302 482252 | 2147483647 206858 119 | 60.659 % |
647.71/648.11 c | 207739 | 33354 172302 482252 | 2147483647 206959 119 | 60.659 % |
648.01/648.48 c | 207852 | 33354 172302 482252 | 2147483647 207072 119 | 60.659 % |
648.51/648.98 c | 207973 | 33354 172302 482252 | 2147483647 207193 119 | 60.659 % |
648.90/649.38 c | 208106 | 33354 172302 482252 | 2147483647 207326 119 | 60.659 % |
649.71/650.17 c | 208254 | 33353 172302 482252 | 2147483647 207473 119 | 60.671 % |
650.50/650.92 c | 208417 | 33353 172302 482252 | 2147483647 207636 119 | 60.671 % |
651.30/651.77 c | 208595 | 33353 172302 482252 | 2147483647 207814 119 | 60.671 % |
652.10/652.58 c | 208790 | 33353 172302 482252 | 2147483647 208009 119 | 60.671 % |
652.91/653.34 c | 209002 | 33353 172302 482252 | 2147483647 208221 119 | 60.671 % |
653.91/654.36 c | 209240 | 33353 172302 482252 | 2147483647 208459 119 | 60.671 % |
654.71/655.15 c | 209496 | 33353 172302 482252 | 2147483647 208715 119 | 60.671 % |
655.61/656.00 c | 209777 | 33353 172302 482252 | 2147483647 208996 119 | 60.671 % |
656.81/657.25 c | 210089 | 33353 172302 482252 | 2147483647 209308 119 | 60.671 % |
658.10/658.59 c | 210430 | 33353 172302 482252 | 2147483647 209649 119 | 60.671 % |
659.61/660.02 c | 210803 | 33353 172302 482252 | 2147483647 210022 119 | 60.671 % |
661.10/661.54 c | 211212 | 33353 172302 482252 | 2147483647 210431 119 | 60.671 % |
663.30/663.78 c | 211662 | 33353 172302 482252 | 2147483647 210881 119 | 60.671 % |
665.20/665.66 c | 212155 | 33336 172134 481843 | 2147483647 211363 119 | 60.671 % |
667.40/667.87 c | 212699 | 33336 172134 481843 | 2147483647 211907 119 | 60.671 % |
669.10/669.50 c | 213295 | 33336 172134 481843 | 2147483647 212503 119 | 60.671 % |
671.60/672.06 c | 213950 | 33336 172134 481843 | 2147483647 213158 119 | 60.671 % |
674.70/675.16 c | 214671 | 33336 172134 481843 | 2147483647 213879 119 | 60.671 % |
677.69/678.18 c | 215466 | 33336 172134 481843 | 2147483647 214674 119 | 60.671 % |
681.10/681.50 c | 216337 | 33336 172134 481843 | 2147483647 215545 119 | 60.671 % |
684.80/685.21 c | 217295 | 33336 172134 481843 | 2147483647 216503 119 | 60.671 % |
688.60/689.07 c | 218348 | 33336 172134 481843 | 2147483647 217556 119 | 60.671 % |
693.49/693.90 c | 219506 | 33336 172134 481843 | 2147483647 218714 119 | 60.671 % |
698.49/698.94 c | 220780 | 33336 172134 481843 | 2147483647 219988 119 | 60.671 % |
704.79/705.22 c | 222182 | 33336 172134 481843 | 2147483647 221390 119 | 60.671 % |
711.69/712.10 c | 223722 | 33336 172134 481843 | 2147483647 222929 118 | 60.684 % |
717.79/718.25 c | 225416 | 33336 172134 481843 | 2147483647 224623 118 | 60.684 % |
724.18/724.61 c | 227279 | 33336 172134 481843 | 2147483647 226486 118 | 60.684 % |
731.57/732.07 c | 229328 | 33335 172134 481843 | 2147483647 228534 119 | 60.856 % |
740.57/741.08 c | 231583 | 33179 171120 479051 | 2147483647 230772 119 | 60.856 % |
741.17/741.68 c | 231683 | 33179 171120 479051 | 2147483647 230871 119 | 60.867 % |
741.97/742.41 c | 231793 | 33179 171120 479051 | 2147483647 230981 119 | 60.867 % |
742.57/743.06 c | 231914 | 33179 171120 479051 | 2147483647 231102 119 | 60.867 % |
743.27/743.73 c | 232047 | 33179 171120 479051 | 2147483647 231235 119 | 60.867 % |
743.97/744.45 c | 232197 | 33179 171120 479051 | 2147483647 231385 119 | 60.867 % |
744.67/745.13 c | 232363 | 33179 171120 479051 | 2147483647 231551 119 | 60.867 % |
745.37/745.88 c | 232539 | 33179 171120 479051 | 2147483647 231727 119 | 60.867 % |
746.16/746.66 c | 232733 | 33179 171120 479051 | 2147483647 231921 119 | 60.867 % |
747.06/747.60 c | 232946 | 33179 171120 479051 | 2147483647 232134 119 | 60.867 % |
748.57/749.04 c | 233179 | 33179 171120 479051 | 2147483647 232367 119 | 60.867 % |
749.56/750.10 c | 233435 | 33179 171120 479051 | 2147483647 232623 119 | 60.867 % |
750.77/751.25 c | 233716 | 33179 171120 479051 | 2147483647 232904 119 | 60.867 % |
752.76/753.29 c | 234025 | 33179 171120 479051 | 2147483647 233213 118 | 60.867 % |
754.46/754.90 c | 234366 | 33179 171120 479051 | 2147483647 233554 118 | 60.867 % |
755.96/756.47 c | 234738 | 33179 171120 479051 | 2147483647 233926 118 | 60.867 % |
758.06/758.58 c | 235150 | 33179 171120 479051 | 2147483647 234338 118 | 60.867 % |
760.36/760.89 c | 235601 | 33179 171120 479051 | 2147483647 234789 118 | 60.867 % |
762.56/763.03 c | 236098 | 33179 171120 479051 | 2147483647 235286 118 | 60.867 % |
764.66/765.20 c | 236642 | 33179 171120 479051 | 2147483647 235830 118 | 60.867 % |
767.06/767.51 c | 237238 | 33179 171120 479051 | 2147483647 236426 118 | 60.867 % |
769.35/769.83 c | 237893 | 33179 171120 479051 | 2147483647 237080 118 | 60.944 % |
772.76/773.21 c | 238615 | 33179 171120 479051 | 2147483647 237802 118 | 60.944 % |
776.35/776.80 c | 239410 | 33179 171120 479051 | 2147483647 238597 118 | 60.944 % |
779.55/780.07 c | 240283 | 33178 171120 479051 | 2147483647 239469 118 | 60.957 % |
782.75/783.20 c | 241242 | 33178 171120 479051 | 2147483647 240428 118 | 60.957 % |
787.34/787.83 c | 242297 | 33177 171120 479051 | 2147483647 241482 118 | 60.966 % |
791.34/791.88 c | 243455 | 33177 171120 479051 | 2147483647 242640 118 | 60.966 % |
795.74/796.20 c | 244729 | 33177 171120 479051 | 2147483647 243914 118 | 60.966 % |
800.94/801.40 c | 246129 | 33177 171120 479051 | 2147483647 245314 118 | 60.966 % |
806.63/807.16 c | 247669 | 33177 171120 479051 | 2147483647 246854 117 | 60.966 % |
812.83/813.31 c | 249363 | 33086 170542 477444 | 2147483647 248519 117 | 60.966 % |
819.94/820.41 c | 251228 | 33086 170542 477444 | 2147483647 250384 117 | 60.966 % |
827.93/828.47 c | 253277 | 33086 170542 477444 | 2147483647 252433 117 | 60.966 % |
836.22/836.74 c | 255531 | 33086 170542 477444 | 2147483647 254687 117 | 60.966 % |
846.62/847.12 c | 258009 | 33086 170542 477444 | 2147483647 257165 117 | 60.966 % |
847.12/847.60 c | 258111 | 33086 170542 477444 | 2147483647 257267 117 | 60.966 % |
847.52/848.00 c | 258222 | 33086 170542 477444 | 2147483647 257378 117 | 60.966 % |
847.92/848.48 c | 258343 | 33086 170542 477444 | 2147483647 257499 117 | 60.966 % |
848.42/848.96 c | 258476 | 33086 170542 477444 | 2147483647 257632 117 | 60.966 % |
848.92/849.47 c | 258623 | 33086 170542 477444 | 2147483647 257779 117 | 60.966 % |
849.62/850.17 c | 258783 | 33086 170542 477444 | 2147483647 257939 117 | 60.966 % |
851.02/851.55 c | 258959 | 33086 170542 477444 | 2147483647 258115 117 | 60.966 % |
851.82/852.35 c | 259153 | 33086 170542 477444 | 2147483647 258309 117 | 60.966 % |
853.22/853.71 c | 259365 | 33086 170542 477444 | 2147483647 258521 117 | 60.966 % |
854.52/855.03 c | 259599 | 33086 170542 477444 | 2147483647 258755 117 | 60.966 % |
855.71/856.25 c | 259855 | 33086 170542 477444 | 2147483647 259011 117 | 60.966 % |
857.21/857.76 c | 260136 | 33086 170542 477444 | 2147483647 259292 117 | 60.966 % |
858.91/859.40 c | 260446 | 33086 170542 477444 | 2147483647 259602 117 | 60.966 % |
859.91/860.42 c | 260787 | 33086 170542 477444 | 2147483647 259943 117 | 60.966 % |
861.31/861.84 c | 261159 | 33086 170542 477444 | 2147483647 260315 117 | 60.966 % |
863.22/863.73 c | 261568 | 33086 170542 477444 | 2147483647 260724 117 | 60.966 % |
865.12/865.62 c | 262018 | 33086 170542 477444 | 2147483647 261174 117 | 60.966 % |
867.42/867.90 c | 262512 | 33086 170542 477444 | 2147483647 261668 117 | 60.966 % |
869.62/870.13 c | 263054 | 33086 170542 477444 | 2147483647 262210 117 | 60.966 % |
872.71/873.20 c | 263650 | 33086 170542 477444 | 2147483647 262806 117 | 60.966 % |
875.51/876.01 c | 264305 | 33086 170542 477444 | 2147483647 263461 117 | 60.966 % |
878.71/879.23 c | 265025 | 33086 170542 477444 | 2147483647 264181 117 | 60.966 % |
881.51/882.06 c | 265817 | 33086 170542 477444 | 2147483647 264973 117 | 60.966 % |
885.71/886.24 c | 266688 | 33086 170542 477444 | 2147483647 265844 117 | 60.966 % |
890.41/890.93 c | 267649 | 33086 170542 477444 | 2147483647 266805 117 | 60.966 % |
895.40/895.94 c | 268702 | 33086 170542 477444 | 2147483647 267858 117 | 60.966 % |
900.50/901.04 c | 269860 | 33086 170542 477444 | 2147483647 269016 117 | 60.966 % |
906.20/906.70 c | 271134 | 33086 170542 477444 | 2147483647 270290 117 | 60.966 % |
913.09/913.65 c | 272534 | 33086 170542 477444 | 2147483647 271690 117 | 60.966 % |
920.00/920.54 c | 274074 | 33086 170542 477444 | 2147483647 273230 117 | 60.966 % |
926.99/927.56 c | 275769 | 33086 170542 477444 | 2147483647 274925 118 | 60.966 % |
936.79/937.30 c | 277633 | 33086 170542 477444 | 2147483647 276789 118 | 60.966 % |
946.69/947.24 c | 279682 | 33086 170542 477444 | 2147483647 278838 117 | 60.966 % |
958.59/959.20 c | 281937 | 33086 170542 477444 | 2147483647 281093 117 | 60.966 % |
968.57/969.12 c | 284415 | 33086 170542 477444 | 2147483647 283571 117 | 60.966 % |
979.58/980.13 c | 287140 | 33086 170542 477444 | 2147483647 286296 117 | 60.966 % |
979.97/980.58 c | 287240 | 33086 170542 477444 | 2147483647 286396 117 | 60.966 % |
980.47/981.08 c | 287350 | 33086 170542 477444 | 2147483647 286506 117 | 60.966 % |
980.97/981.54 c | 287471 | 33086 170542 477444 | 2147483647 286627 117 | 60.966 % |
981.37/981.94 c | 287606 | 33086 170542 477444 | 2147483647 286762 116 | 60.966 % |
981.87/982.47 c | 287752 | 33086 170542 477444 | 2147483647 286908 116 | 60.966 % |
982.57/983.11 c | 287913 | 33086 170542 477444 | 2147483647 287069 116 | 60.966 % |
983.17/983.79 c | 288091 | 33086 170542 477444 | 2147483647 287247 116 | 60.966 % |
984.17/984.71 c | 288286 | 33086 170542 477444 | 2147483647 287442 116 | 60.966 % |
985.07/985.63 c | 288498 | 33086 170542 477444 | 2147483647 287654 116 | 60.966 % |
986.77/987.34 c | 288731 | 33086 170542 477444 | 2147483647 287887 116 | 60.966 % |
987.87/988.44 c | 288987 | 33086 170542 477444 | 2147483647 288143 116 | 60.966 % |
988.77/989.30 c | 289271 | 33086 170542 477444 | 2147483647 288427 116 | 60.966 % |
989.97/990.53 c | 289581 | 33086 170542 477444 | 2147483647 288737 116 | 60.966 % |
991.27/991.88 c | 289921 | 33086 170542 477444 | 2147483647 289077 116 | 60.966 % |
993.17/993.70 c | 290295 | 33086 170542 477444 | 2147483647 289451 116 | 60.966 % |
994.77/995.37 c | 290704 | 33086 170542 477444 | 2147483647 289860 116 | 60.966 % |
996.47/997.00 c | 291157 | 33086 170542 477444 | 2147483647 290313 116 | 60.966 % |
998.96/999.53 c | 291650 | 33086 170542 477444 | 2147483647 290806 116 | 60.966 % |
1001.36/1001.92 c | 292192 | 33086 170542 477444 | 2147483647 291348 116 | 60.966 % |
1003.96/1004.54 c | 292788 | 33086 170542 477444 | 2147483647 291944 116 | 60.966 % |
1007.07/1007.61 c | 293444 | 33076 170477 477273 | 2147483647 292599 116 | 60.978 % |
1010.36/1010.93 c | 294164 | 33076 170477 477273 | 2147483647 293319 116 | 60.978 % |
1013.95/1014.59 c | 294957 | 33076 170477 477273 | 2147483647 294112 116 | 60.978 % |
1017.95/1018.58 c | 295828 | 33075 170477 477273 | 2147483647 294982 116 | 60.987 % |
1022.24/1022.86 c | 296786 | 33075 170477 477273 | 2147483647 295940 116 | 60.987 % |
1026.95/1027.59 c | 297839 | 33074 170477 477273 | 2147483647 296992 116 | 60.996 % |
1031.44/1032.08 c | 298997 | 33074 170477 477273 | 2147483647 298150 116 | 60.995 % |
1037.04/1037.61 c | 300270 | 33074 170477 477273 | 299153 299423 116 | 60.995 % |
1043.15/1043.78 c | 301670 | 33074 170477 477273 | 299153 300823 116 | 60.995 % |
1050.95/1051.56 c | 303211 | 33074 170477 477273 | 299153 302363 115 | 61.001 % |
1058.03/1058.70 c | 304907 | 33074 170477 477273 | 299153 304059 115 | 61.001 % |
1065.93/1066.52 c | 306771 | 33074 170477 477273 | 299153 305923 115 | 61.001 % |
1074.53/1075.19 c | 308820 | 33074 170477 477273 | 299153 307972 115 | 61.002 % |
1084.52/1085.12 c | 311074 | 33074 170477 477273 | 2147483647 310226 115 | 61.001 % |
1097.82/1098.47 c | 313554 | 33074 170477 477273 | 2147483647 312706 115 | 61.001 % |
1111.31/1111.98 c | 316281 | 33074 170477 477273 | 2147483647 315433 115 | 61.001 % |
1126.81/1127.44 c | 319278 | 33056 170284 476801 | 2147483647 318377 115 | 61.001 % |
1127.51/1128.10 c | 319378 | 33056 170284 476801 | 2147483647 318477 115 | 61.001 % |
1127.91/1128.59 c | 319489 | 33056 170284 476801 | 2147483647 318588 115 | 61.001 % |
1128.51/1129.17 c | 319610 | 33056 170284 476801 | 2147483647 318709 115 | 61.001 % |
1129.20/1129.81 c | 319743 | 33056 170284 476801 | 2147483647 318842 115 | 61.001 % |
1129.80/1130.49 c | 319889 | 33056 170284 476801 | 2147483647 318988 115 | 61.001 % |
1130.60/1131.28 c | 320050 | 33056 170284 476801 | 2147483647 319149 115 | 61.001 % |
1131.40/1132.07 c | 320226 | 33056 170284 476801 | 2147483647 319325 115 | 61.001 % |
1132.31/1132.92 c | 320419 | 33056 170284 476801 | 2147483647 319518 115 | 61.001 % |
1133.20/1133.82 c | 320632 | 33056 170284 476801 | 2147483647 319731 115 | 61.001 % |
1134.30/1134.99 c | 320865 | 33056 170284 476801 | 2147483647 319964 115 | 61.001 % |
1136.00/1136.68 c | 321123 | 33056 170284 476801 | 2147483647 320222 115 | 61.001 % |
1137.50/1138.13 c | 321404 | 33056 170284 476801 | 2147483647 320503 115 | 61.001 % |
1139.10/1139.74 c | 321715 | 33056 170284 476801 | 2147483647 320814 115 | 61.001 % |
1140.80/1141.44 c | 322058 | 33056 170284 476801 | 2147483647 321157 115 | 61.001 % |
1143.00/1143.69 c | 322430 | 33056 170284 476801 | 2147483647 321529 115 | 61.001 % |
1145.10/1145.75 c | 322840 | 33056 170284 476801 | 2147483647 321939 115 | 61.001 % |
1147.40/1148.08 c | 323289 | 33056 170284 476801 | 2147483647 322388 115 | 61.001 % |
1150.40/1151.00 c | 323783 | 33056 170284 476801 | 2147483647 322882 115 | 61.001 % |
1153.30/1153.97 c | 324327 | 33056 170284 476801 | 2147483647 323426 115 | 61.002 % |
1156.60/1157.25 c | 324923 | 33056 170284 476801 | 2147483647 324022 115 | 61.001 % |
1160.20/1160.87 c | 325579 | 33056 170284 476801 | 2147483647 324678 115 | 61.001 % |
1164.49/1165.17 c | 326301 | 33056 170284 476801 | 2147483647 325400 115 | 61.001 % |
1168.79/1169.42 c | 327094 | 33056 170284 476801 | 2147483647 326193 115 | 61.001 % |
1172.69/1173.34 c | 327968 | 33056 170284 476801 | 2147483647 327067 115 | 61.001 % |
1177.69/1178.35 c | 328926 | 33056 170284 476801 | 2147483647 328024 115 | 61.016 % |
1183.28/1183.92 c | 329982 | 33056 170284 476801 | 2147483647 329080 115 | 61.016 % |
1189.68/1190.36 c | 331140 | 33056 170284 476801 | 329098 330238 115 | 61.016 % |
1196.87/1197.51 c | 332413 | 33056 170284 476801 | 329098 331511 115 | 61.016 % |
1204.38/1205.00 c | 333819 | 33056 170284 476801 | 329098 332917 114 | 61.016 % |
1211.58/1212.28 c | 335360 | 33056 170284 476801 | 329098 334458 114 | 61.016 % |
1218.87/1219.53 c | 337055 | 33056 170284 476801 | 329098 336153 114 | 61.016 % |
1227.57/1228.21 c | 338918 | 33056 170284 476801 | 329098 338016 114 | 61.016 % |
1237.76/1238.45 c | 340968 | 33056 170284 476801 | 339098 340066 114 | 61.016 % |
1250.26/1250.92 c | 343222 | 33056 170284 476801 | 339098 342320 114 | 61.016 % |
1263.95/1264.64 c | 345700 | 33056 170284 476801 | 339098 344798 115 | 61.016 % |
1280.44/1281.17 c | 348427 | 33043 170207 476589 | 339098 347524 114 | 61.017 % |
1299.93/1300.67 c | 351424 | 33041 170207 476589 | 349100 350519 114 | 61.559 % |
1318.53/1319.26 c | 354722 | 33041 170207 476589 | 349100 353817 114 | 61.559 % |
1319.13/1319.84 c | 354822 | 33041 170207 476589 | 349100 353917 115 | 61.559 % |
1319.63/1320.33 c | 354933 | 33041 170207 476589 | 349100 354028 114 | 61.559 % |
1320.33/1321.08 c | 355054 | 33041 170207 476589 | 349100 354149 114 | 61.559 % |
1321.03/1321.75 c | 355189 | 33041 170207 476589 | 349100 354284 114 | 61.559 % |
1321.73/1322.49 c | 355335 | 33041 170207 476589 | 349100 354430 114 | 61.559 % |
1322.53/1323.25 c | 355496 | 33041 170207 476589 | 349100 354591 114 | 61.559 % |
1323.93/1324.66 c | 355672 | 33041 170207 476589 | 349100 354767 114 | 61.559 % |
1325.03/1325.75 c | 355865 | 33041 170207 476589 | 349100 354960 114 | 61.559 % |
1326.23/1326.98 c | 356077 | 33041 170207 476589 | 349100 355172 114 | 61.559 % |
1327.72/1328.44 c | 356311 | 33041 170207 476589 | 349100 355406 114 | 61.559 % |
1329.23/1329.98 c | 356567 | 33041 170207 476589 | 349100 355662 114 | 61.559 % |
1330.92/1331.67 c | 356849 | 33039 170207 476589 | 349100 355943 114 | 61.571 % |
1332.43/1333.18 c | 357158 | 33039 170207 476589 | 349100 356252 114 | 61.571 % |
1335.23/1335.93 c | 357497 | 33039 170207 476589 | 349100 356591 114 | 61.571 % |
1337.53/1338.20 c | 357869 | 33039 170207 476589 | 349100 356963 114 | 61.571 % |
1340.43/1341.10 c | 358278 | 33039 170207 476589 | 349100 357372 114 | 61.571 % |
1343.63/1344.35 c | 358728 | 33039 170207 476589 | 349100 357822 114 | 61.571 % |
1345.93/1346.67 c | 359223 | 33039 170207 476589 | 349100 358317 114 | 61.571 % |
1349.22/1349.92 c | 359765 | 33038 170207 476589 | 349100 358858 114 | 61.583 % |
1352.12/1352.84 c | 360361 | 33038 170207 476589 | 359093 359454 114 | 61.583 % |
1355.22/1355.91 c | 361021 | 33038 170207 476589 | 359093 360114 114 | 61.583 % |
1359.02/1359.70 c | 361743 | 33038 170207 476589 | 359093 360836 114 | 61.583 % |
1363.72/1364.47 c | 362535 | 33038 170207 476589 | 359093 361628 114 | 61.583 % |
1369.02/1369.75 c | 363406 | 33038 170207 476589 | 359093 362499 114 | 61.583 % |
1374.91/1375.65 c | 364364 | 33038 170207 476589 | 359093 363457 114 | 61.583 % |
1380.81/1381.52 c | 365418 | 33038 170207 476589 | 359093 364511 114 | 61.583 % |
1386.70/1387.43 c | 366576 | 33038 170207 476589 | 359093 365669 114 | 61.583 % |
1394.60/1395.34 c | 367850 | 33038 170207 476589 | 359093 366943 114 | 61.583 % |
1401.20/1401.92 c | 369251 | 33038 170207 476589 | 359093 368344 114 | 61.583 % |
1410.90/1411.67 c | 370792 | 33038 170207 476589 | 369093 369885 114 | 61.583 % |
1420.50/1421.29 c | 372488 | 33038 170207 476589 | 369093 371581 114 | 61.583 % |
1428.79/1429.59 c | 374352 | 33038 170207 476589 | 369093 373445 113 | 61.583 % |
1437.09/1437.83 c | 376402 | 33032 170207 476589 | 369093 375491 114 | 61.646 % |
1451.28/1452.02 c | 378655 | 33032 170207 476589 | 369093 377744 114 | 61.646 % |
1463.38/1464.16 c | 381135 | 32510 166858 467708 | 379000 380135 114 | 61.646 % |
1479.47/1480.26 c | 383860 | 32510 166858 467708 | 379000 382860 114 | 61.646 % |
1495.17/1495.99 c | 386858 | 32510 166858 467708 | 379000 385858 114 | 61.646 % |
1514.45/1515.23 c | 390154 | 32510 166858 467708 | 389000 389154 114 | 61.646 % |
1533.04/1533.81 c | 393779 | 32510 166858 467708 | 389000 392779 113 | 61.646 % |
1533.64/1534.40 c | 393880 | 32510 166858 467708 | 389000 392880 113 | 61.646 % |
1534.24/1535.04 c | 393994 | 32510 166858 467708 | 389000 392994 113 | 61.646 % |
1535.04/1535.88 c | 394117 | 32510 166858 467708 | 389000 393117 113 | 61.646 % |
1535.84/1536.62 c | 394251 | 32510 166858 467708 | 389000 393251 113 | 61.646 % |
1536.94/1537.72 c | 394398 | 32510 166858 467708 | 389000 393398 113 | 61.646 % |
1537.84/1538.61 c | 394558 | 32510 166858 467708 | 389000 393558 113 | 61.646 % |
1539.14/1539.92 c | 394734 | 32510 166858 467708 | 389000 393734 113 | 61.646 % |
1540.43/1541.29 c | 394929 | 32510 166858 467708 | 389000 393929 113 | 61.646 % |
1542.14/1542.90 c | 395146 | 32510 166858 467708 | 389000 394146 113 | 61.646 % |
1543.44/1544.22 c | 395380 | 32510 166858 467708 | 389000 394380 113 | 61.646 % |
1545.14/1545.98 c | 395637 | 32510 166858 467708 | 389000 394637 113 | 61.646 % |
1547.34/1548.11 c | 395920 | 32510 166858 467708 | 389000 394920 113 | 61.646 % |
1549.44/1550.20 c | 396230 | 32510 166858 467708 | 389000 395230 113 | 61.646 % |
1551.23/1552.09 c | 396571 | 32510 166858 467708 | 389000 395571 113 | 61.646 % |
1553.54/1554.39 c | 396943 | 32510 166858 467708 | 389000 395943 113 | 61.646 % |
1556.03/1556.86 c | 397355 | 32510 166858 467708 | 389000 396355 113 | 61.646 % |
1559.33/1560.11 c | 397804 | 32510 166858 467708 | 389000 396804 113 | 61.646 % |
1561.63/1562.48 c | 398298 | 32510 166858 467708 | 389000 397298 113 | 61.646 % |
1564.63/1565.42 c | 398840 | 32510 166858 467708 | 389000 397840 113 | 61.646 % |
1567.73/1568.59 c | 399437 | 32510 166858 467708 | 389000 398437 113 | 61.646 % |
1571.72/1572.57 c | 400094 | 32510 166858 467708 | 399003 399094 113 | 61.646 % |
1576.12/1576.97 c | 400817 | 32510 166858 467708 | 399003 399817 113 | 61.646 % |
1581.52/1582.36 c | 401609 | 32510 166858 467708 | 399003 400609 113 | 61.646 % |
1587.12/1587.90 c | 402480 | 32510 166858 467708 | 399003 401480 113 | 61.646 % |
1591.92/1592.79 c | 403439 | 32510 166858 467708 | 399003 402439 113 | 61.646 % |
1598.41/1599.29 c | 404492 | 32510 166858 467708 | 399003 403492 113 | 61.646 % |
1606.21/1607.01 c | 405650 | 32510 166858 467708 | 399003 404650 113 | 61.646 % |
1613.01/1613.82 c | 406924 | 32510 166858 467708 | 399003 405924 113 | 61.646 % |
1620.90/1621.76 c | 408326 | 32510 166858 467708 | 399003 407326 113 | 61.646 % |
1628.40/1629.23 c | 409867 | 32510 166858 467708 | 399003 408867 113 | 61.646 % |
1638.30/1639.11 c | 411561 | 32500 166773 467502 | 409001 410549 113 | 61.657 % |
1650.29/1651.13 c | 413424 | 32500 166773 467502 | 409001 412412 113 | 61.657 % |
1660.98/1661.82 c | 415473 | 32500 166773 467502 | 409001 414461 112 | 61.657 % |
1676.78/1677.62 c | 417728 | 32499 166773 467502 | 409001 416714 113 | 61.695 % |
1692.27/1693.18 c | 420206 | 32499 166773 467502 | 418987 419192 113 | 61.695 % |
1707.47/1708.32 c | 422932 | 32499 166773 467502 | 418987 421918 113 | 61.695 % |
1724.77/1725.67 c | 425930 | 32499 166773 467502 | 418987 424916 112 | 61.695 % |
1743.65/1744.55 c | 429228 | 32499 166773 467502 | 418987 428214 112 | 61.695 % |
1766.14/1767.08 c | 432854 | 32499 166773 467502 | 428986 431840 112 | 61.695 % |
1792.73/1793.67 c | 436842 | 32499 166773 467502 | 428986 435828 111 | 61.695 % |
1793.33/1794.28 c | 436942 | 32499 166773 467502 | 428986 435928 111 | 61.695 % |
1794.13/1795.05 c | 437052 | 32499 166773 467502 | 428986 436038 111 | 61.695 % |
1795.34/1796.28 c | 437176 | 32499 166773 467502 | 428986 436162 111 | 61.695 % |
1796.33/1797.23 c | 437309 | 32499 166773 467502 | 428986 436295 111 | 61.695 % |
1797.13/1798.08 c | 437455 | 32499 166773 467502 | 428986 436441 111 | 61.695 % |
1798.33/1799.22 c | 437616 | 32499 166773 467502 | 428986 436602 111 | 61.695 % |
1799.33/1800.24 c | 437792 | 32499 166773 467502 | 428986 436778 111 | 61.695 % |
1800.43/1801.35 c | 437990 | 32499 166773 467502 | 428986 436976 111 | 61.695 % |
1802.03/1802.92 c | 438203 | 32499 166773 467502 | 428986 437189 111 | 61.695 % |
1803.93/1804.81 c | 438437 | 32499 166773 467502 | 428986 437423 111 | 61.695 % |
1805.33/1806.28 c | 438694 | 32499 166773 467502 | 428986 437680 111 | 61.695 % |
1807.43/1808.34 c | 438975 | 32499 166773 467502 | 428986 437961 111 | 61.695 % |
1809.22/1810.14 c | 439286 | 32499 166773 467502 | 428986 438272 111 | 61.695 % |
1811.22/1812.18 c | 439628 | 32499 166773 467502 | 428986 438614 111 | 61.695 % |
1813.22/1814.13 c | 440000 | 32499 166773 467502 | 428986 438986 111 | 61.695 % |
1816.72/1817.63 c | 440409 | 32499 166773 467502 | 438986 439395 111 | 61.695 % |
1820.31/1821.21 c | 440862 | 32499 166773 467502 | 438986 439848 111 | 61.695 % |
1823.51/1824.44 c | 441356 | 32499 166773 467502 | 438986 440342 111 | 61.695 % |
1826.71/1827.62 c | 441898 | 32499 166773 467502 | 438986 440884 111 | 61.695 % |
1830.62/1831.56 c | 442495 | 32499 166773 467502 | 438986 441481 111 | 61.695 % |
1834.91/1835.87 c | 443152 | 32499 166773 467502 | 438986 442138 111 | 61.695 % |
1839.71/1840.63 c | 443872 | 32499 166773 467502 | 438986 442858 111 | 61.695 % |
1845.01/1845.99 c | 444668 | 32499 166773 467502 | 438986 443654 111 | 61.695 % |
1849.70/1850.67 c | 445539 | 32499 166773 467502 | 438986 444525 111 | 61.695 % |
1855.61/1856.56 c | 446497 | 32499 166773 467502 | 438986 445483 111 | 61.695 % |
1862.61/1863.57 c | 447551 | 32499 166773 467502 | 438986 446537 111 | 61.695 % |
1868.70/1869.63 c | 448709 | 32499 166773 467502 | 438986 447695 111 | 61.695 % |
1877.69/1878.69 c | 449982 | 32499 166773 467502 | 438986 448968 111 | 61.695 % |
1886.29/1887.20 c | 451385 | 32499 166773 467502 | 448988 450371 111 | 61.695 % |
1895.49/1896.50 c | 452926 | 32499 166773 467502 | 448988 451912 111 | 61.695 % |
1905.29/1906.21 c | 454621 | 32468 166543 466932 | 448988 453584 111 | 61.700 % |
1916.97/1917.98 c | 456484 | 32468 166543 466932 | 448988 455447 111 | 61.700 % |
1929.58/1930.59 c | 458533 | 32468 166543 466932 | 448988 457496 111 | 61.700 % |
1943.17/1944.12 c | 460787 | 32468 166543 466932 | 458963 459750 111 | 61.700 % |
1956.86/1957.89 c | 463265 | 32468 166543 466932 | 458963 462228 110 | 61.700 % |
1972.15/1973.14 c | 465990 | 32468 166543 466932 | 458963 464953 110 | 61.700 % |
1992.34/1993.36 c | 468989 | 32468 166543 466932 | 458963 467952 110 | 61.700 % |
2014.94/2015.98 c | 472285 | 32468 166543 466932 | 468963 471248 110 | 61.700 % |
2039.12/2040.16 c | 475913 | 32468 166543 466932 | 468963 474876 109 | 61.700 % |
2062.02/2063.09 c | 479901 | 32467 166543 466932 | 468963 478863 110 | 61.710 % |
2090.41/2091.47 c | 484288 | 32467 166543 466932 | 478965 483250 110 | 61.710 % |
2091.01/2092.04 c | 484390 | 32467 166543 466932 | 478965 483352 110 | 61.710 % |
2091.91/2092.94 c | 484501 | 32467 166543 466932 | 478965 483463 110 | 61.710 % |
2093.01/2094.02 c | 484623 | 32467 166543 466932 | 478965 483585 110 | 61.710 % |
2094.21/2095.27 c | 484756 | 32467 166543 466932 | 478965 483718 110 | 61.710 % |
2095.61/2096.60 c | 484902 | 32467 166543 466932 | 478965 483864 110 | 61.710 % |
2096.71/2097.74 c | 485063 | 32467 166543 466932 | 478965 484025 110 | 61.710 % |
2098.20/2099.28 c | 485239 | 32467 166543 466932 | 478965 484201 110 | 61.710 % |
2099.91/2100.99 c | 485433 | 32467 166543 466932 | 478965 484395 110 | 61.710 % |
2101.50/2102.54 c | 485646 | 32467 166543 466932 | 478965 484608 110 | 61.710 % |
2103.30/2104.34 c | 485881 | 32467 166543 466932 | 478965 484843 110 | 61.710 % |
2106.10/2107.12 c | 486137 | 32467 166543 466932 | 478965 485099 110 | 61.710 % |
2108.70/2109.76 c | 486418 | 32467 166543 466932 | 478965 485380 110 | 61.710 % |
2111.10/2112.13 c | 486728 | 32467 166543 466932 | 478965 485690 109 | 61.710 % |
2113.70/2114.71 c | 487068 | 32467 166543 466932 | 478965 486030 109 | 61.710 % |
2116.80/2117.81 c | 487440 | 32467 166543 466932 | 478965 486402 109 | 61.710 % |
2120.00/2121.07 c | 487849 | 32467 166543 466932 | 478965 486811 109 | 61.710 % |
2124.00/2125.06 c | 488298 | 32467 166543 466932 | 478965 487260 109 | 61.710 % |
2127.80/2128.82 c | 488792 | 32467 166543 466932 | 478965 487754 109 | 61.710 % |
2132.10/2133.14 c | 489334 | 32467 166543 466932 | 478965 488296 109 | 61.710 % |
2136.20/2137.24 c | 489931 | 32467 166543 466932 | 478965 488893 109 | 61.710 % |
2140.59/2141.63 c | 490587 | 32467 166543 466932 | 488962 489549 109 | 61.710 % |
2144.99/2146.03 c | 491307 | 32467 166543 466932 | 488962 490269 109 | 61.710 % |
2150.98/2152.07 c | 492099 | 32467 166543 466932 | 488962 491061 109 | 61.710 % |
2156.88/2157.93 c | 492972 | 32467 166543 466932 | 488962 491934 109 | 61.710 % |
2163.18/2164.29 c | 493930 | 32467 166543 466932 | 488962 492892 109 | 61.710 % |
2170.67/2171.78 c | 494985 | 32467 166543 466932 | 488962 493947 109 | 61.710 % |
2178.47/2179.59 c | 496145 | 32467 166543 466932 | 488962 495107 109 | 61.710 % |
2187.47/2188.59 c | 497419 | 32455 166435 466657 | 488962 496373 109 | 61.710 % |
2196.67/2197.72 c | 498819 | 32455 166435 466657 | 488962 497773 109 | 61.710 % |
2207.36/2208.41 c | 500360 | 32455 166435 466657 | 498954 499314 109 | 61.710 % |
2218.06/2219.18 c | 502054 | 32455 166435 466657 | 498954 501008 109 | 61.710 % |
2230.25/2231.40 c | 503917 | 32455 166435 466657 | 498954 502871 109 | 61.710 % |
2242.35/2243.49 c | 505966 | 32455 166435 466657 | 498954 504919 109 | 61.716 % |
2255.84/2256.96 c | 508220 | 32455 166435 466657 | 498954 507173 109 | 61.716 % |
2269.35/2270.47 c | 510699 | 32455 166435 466657 | 508953 509652 109 | 61.716 % |
2285.43/2286.59 c | 513425 | 32455 166435 466657 | 508953 512378 108 | 61.716 % |
2304.82/2305.91 c | 516423 | 32455 166435 466657 | 508953 515376 108 | 61.716 % |
2325.41/2326.59 c | 519719 | 32455 166435 466657 | 508953 518672 108 | 61.716 % |
2345.21/2346.34 c | 523344 | 32455 166435 466657 | 518954 522297 108 | 61.716 % |
2372.49/2373.68 c | 527332 | 32455 166435 466657 | 518954 526285 108 | 61.716 % |
2398.98/2400.15 c | 531717 | 32455 166435 466657 | 528954 530670 108 | 61.716 % |
2432.56/2433.79 c | 536541 | 32450 166383 466517 | 528954 535493 109 | 61.729 % |
2433.56/2434.74 c | 536642 | 32450 166383 466517 | 528954 535594 109 | 61.729 % |
2434.66/2435.82 c | 536753 | 32450 166383 466517 | 528954 535705 109 | 61.729 % |
2435.76/2436.92 c | 536874 | 32450 166383 466517 | 528954 535826 109 | 61.729 % |
2437.06/2438.21 c | 537007 | 32450 166383 466517 | 528954 535959 109 | 61.729 % |
2438.26/2439.45 c | 537154 | 32450 166383 466517 | 528954 536106 109 | 61.729 % |
2439.46/2440.65 c | 537314 | 32450 166383 466517 | 528954 536266 109 | 61.729 % |
2440.76/2441.96 c | 537490 | 32450 166383 466517 | 528954 536442 109 | 61.729 % |
2442.35/2443.51 c | 537685 | 32450 166383 466517 | 528954 536637 109 | 61.729 % |
2444.16/2445.38 c | 537899 | 32450 166383 466517 | 528954 536851 109 | 61.729 % |
2446.05/2447.21 c | 538132 | 32450 166383 466517 | 528954 537084 109 | 61.729 % |
2448.15/2449.33 c | 538390 | 32450 166383 466517 | 528954 537342 109 | 61.729 % |
2450.35/2451.54 c | 538672 | 32450 166383 466517 | 528954 537624 109 | 61.729 % |
2452.95/2454.16 c | 538982 | 32450 166383 466517 | 528954 537934 109 | 61.729 % |
2455.54/2456.76 c | 539322 | 32450 166383 466517 | 528954 538274 109 | 61.729 % |
2458.54/2459.79 c | 539696 | 32450 166383 466517 | 528954 538648 109 | 61.729 % |
2461.54/2462.70 c | 540107 | 32450 166383 466517 | 538952 539059 108 | 61.729 % |
2464.44/2465.65 c | 540557 | 32450 166383 466517 | 538952 539509 108 | 61.729 % |
2467.45/2468.66 c | 541050 | 32450 166383 466517 | 538952 540002 108 | 61.729 % |
2470.65/2471.88 c | 541592 | 32450 166383 466517 | 538952 540544 108 | 61.729 % |
2476.84/2478.01 c | 542190 | 32450 166383 466517 | 538952 541142 108 | 61.729 % |
2480.64/2481.86 c | 542846 | 32450 166383 466517 | 538952 541798 108 | 61.729 % |
2486.14/2487.32 c | 543566 | 32450 166383 466517 | 538952 542518 108 | 61.729 % |
2491.14/2492.35 c | 544358 | 32450 166383 466517 | 538952 543310 108 | 61.729 % |
2498.04/2499.25 c | 545230 | 32450 166383 466517 | 538952 544182 108 | 61.729 % |
2506.23/2507.47 c | 546188 | 32450 166383 466517 | 538952 545140 108 | 61.729 % |
2513.93/2515.11 c | 547241 | 32450 166383 466517 | 538952 546193 108 | 61.729 % |
2523.33/2524.56 c | 548400 | 32450 166383 466517 | 538952 547352 108 | 61.729 % |
2531.82/2533.02 c | 549674 | 32450 166383 466517 | 538952 548626 108 | 61.729 % |
2539.91/2541.11 c | 551075 | 32450 166383 466517 | 548953 550027 108 | 61.729 % |
2554.01/2555.20 c | 552616 | 32450 166383 466517 | 548953 551568 108 | 61.729 % |
2566.91/2568.13 c | 554312 | 32450 166383 466517 | 548953 553264 108 | 61.729 % |
2580.70/2581.98 c | 556176 | 32450 166383 466517 | 548953 555128 108 | 61.729 % |
2594.90/2596.17 c | 558228 | 32450 166383 466517 | 548953 557180 108 | 61.729 % |
2611.20/2612.41 c | 560481 | 32450 166383 466517 | 558953 559433 107 | 61.729 % |
2628.69/2629.91 c | 562959 | 32450 166383 466517 | 558953 561911 107 | 61.729 % |
2648.97/2650.29 c | 565684 | 32450 166383 466517 | 558953 564636 107 | 61.729 % |
2674.97/2676.24 c | 568682 | 32450 166383 466517 | 558953 567634 107 | 61.729 % |
2702.06/2703.38 c | 571978 | 32450 166383 466517 | 568953 570930 106 | 61.729 % |
2734.04/2735.39 c | 575606 | 32450 166383 466517 | 568953 574558 106 | 61.729 % |
2767.72/2769.07 c | 579593 | 32450 166383 466517 | 568953 578545 106 | 61.729 % |
2804.52/2805.83 c | 583980 | 32450 166383 466517 | 578959 582932 106 | 61.729 % |
2848.60/2849.98 c | 588803 | 32450 166383 466517 | 578959 587755 106 | 61.729 % |
2887.89/2889.22 c | 594109 | 32439 166305 466333 | 588946 593052 107 | 61.729 % |
2888.68/2890.05 c | 594211 | 32439 166305 466333 | 588946 593154 107 | 61.729 % |
2889.58/2890.99 c | 594326 | 32439 166305 466333 | 588946 593269 107 | 61.729 % |
2890.58/2891.98 c | 594448 | 32439 166305 466333 | 588946 593391 107 | 61.729 % |
2891.78/2893.13 c | 594581 | 32439 166305 466333 | 588946 593524 107 | 61.729 % |
2893.08/2894.41 c | 594727 | 32439 166305 466333 | 588946 593670 107 | 61.729 % |
2894.58/2895.90 c | 594888 | 32439 166305 466333 | 588946 593831 107 | 61.729 % |
2895.88/2897.25 c | 595064 | 32439 166305 466333 | 588946 594007 107 | 61.729 % |
2897.58/2898.91 c | 595258 | 32439 166305 466333 | 588946 594201 107 | 61.729 % |
2899.67/2901.07 c | 595470 | 32439 166305 466333 | 588946 594413 107 | 61.729 % |
2901.67/2903.03 c | 595703 | 32439 166305 466333 | 588946 594646 106 | 61.729 % |
2903.77/2905.12 c | 595961 | 32439 166305 466333 | 588946 594904 106 | 61.729 % |
2906.07/2907.48 c | 596242 | 32439 166305 466333 | 588946 595185 106 | 61.729 % |
2908.67/2910.07 c | 596552 | 32439 166305 466333 | 588946 595495 106 | 61.729 % |
2911.47/2912.89 c | 596892 | 32439 166305 466333 | 588946 595835 106 | 61.729 % |
2914.17/2915.58 c | 597264 | 32439 166305 466333 | 588946 596207 106 | 61.729 % |
2917.77/2919.19 c | 597673 | 32439 166305 466333 | 588946 596616 106 | 61.729 % |
2922.66/2924.06 c | 598124 | 32439 166305 466333 | 588946 597067 106 | 61.729 % |
2926.66/2928.03 c | 598617 | 32439 166305 466333 | 588946 597560 106 | 61.729 % |
2932.16/2933.60 c | 599159 | 32438 166305 466333 | 588946 598101 106 | 61.743 % |
2936.96/2938.36 c | 599756 | 32438 166305 466333 | 588946 598698 106 | 61.743 % |
2941.46/2942.87 c | 600411 | 32438 166305 466333 | 598942 599353 106 | 61.743 % |
2947.35/2948.75 c | 601131 | 32438 166305 466333 | 598942 600073 106 | 61.743 % |
2952.35/2953.70 c | 601923 | 32438 166305 466333 | 598942 600865 106 | 61.743 % |
2957.25/2958.63 c | 602794 | 32438 166305 466333 | 598942 601736 106 | 61.743 % |
2963.75/2965.19 c | 603758 | 32438 166305 466333 | 598942 602700 106 | 61.743 % |
2972.04/2973.42 c | 604815 | 32438 166305 466333 | 598942 603757 106 | 61.744 % |
2982.84/2984.25 c | 605973 | 32438 166305 466333 | 598942 604915 106 | 61.743 % |
2996.13/2997.55 c | 607246 | 32438 166305 466333 | 598942 606188 106 | 61.743 % |
3007.22/3008.67 c | 608647 | 32438 166305 466333 | 598942 607589 106 | 61.743 % |
3018.83/3020.25 c | 610188 | 32438 166305 466333 | 608942 609130 106 | 61.743 % |
3031.52/3032.95 c | 611882 | 32438 166305 466333 | 608942 610824 106 | 61.743 % |
3048.31/3049.74 c | 613746 | 32438 166305 466333 | 608942 612688 106 | 61.743 % |
3062.80/3064.22 c | 615795 | 32438 166305 466333 | 608942 614737 106 | 61.743 % |
3079.49/3081.00 c | 618050 | 32438 166305 466333 | 608942 616992 106 | 61.743 % |
3099.59/3101.00 c | 620529 | 32438 166305 466333 | 618942 619471 106 | 61.743 % |
3120.49/3121.93 c | 623254 | 32438 166305 466333 | 618942 622196 107 | 61.743 % |
3145.37/3146.82 c | 626251 | 32438 166305 466333 | 618942 625193 107 | 61.743 % |
3171.76/3173.20 c | 629549 | 32438 166305 466333 | 618942 628490 107 | 61.745 % |
3196.85/3198.39 c | 633177 | 32438 166305 466333 | 628942 632118 107 | 61.745 % |
3231.93/3233.41 c | 637165 | 32426 166204 466072 | 628942 636099 107 | 61.745 % |
3267.92/3269.46 c | 641552 | 32426 166204 466072 | 638934 640486 107 | 61.745 % |
3308.41/3309.97 c | 646375 | 32426 166204 466072 | 638934 645309 107 | 61.745 % |
3348.89/3350.49 c | 651682 | 32426 166204 466072 | 648936 650616 107 | 61.745 % |
3391.68/3393.21 c | 657517 | 32426 166204 466072 | 648936 656451 107 | 61.745 % |
3392.38/3393.96 c | 657617 | 32426 166204 466072 | 648936 656551 107 | 61.745 % |
3393.48/3395.05 c | 657728 | 32426 166204 466072 | 648936 656662 107 | 61.745 % |
3394.77/3396.32 c | 657849 | 32426 166204 466072 | 648936 656783 107 | 61.745 % |
3395.97/3397.55 c | 657982 | 32426 166204 466072 | 648936 656916 107 | 61.745 % |
3397.17/3398.75 c | 658129 | 32426 166204 466072 | 648936 657063 107 | 61.745 % |
3398.37/3399.96 c | 658290 | 32426 166204 466072 | 648936 657224 107 | 61.745 % |
3400.07/3401.63 c | 658470 | 32426 166204 466072 | 648936 657404 107 | 61.745 % |
3401.67/3403.29 c | 658665 | 32426 166204 466072 | 648936 657599 107 | 61.745 % |
3403.37/3404.99 c | 658877 | 32426 166204 466072 | 648936 657811 107 | 61.745 % |
3405.17/3406.77 c | 659110 | 32426 166204 466072 | 648936 658044 107 | 61.745 % |
3407.56/3409.12 c | 659368 | 32426 166204 466072 | 648936 658302 107 | 61.745 % |
3410.06/3411.63 c | 659651 | 32426 166204 466072 | 648936 658585 107 | 61.745 % |
3412.37/3413.98 c | 659960 | 32426 166204 466072 | 648936 658894 107 | 61.745 % |
3415.37/3416.98 c | 660299 | 32426 166204 466072 | 658936 659233 107 | 61.745 % |
3418.47/3420.08 c | 660671 | 32426 166204 466072 | 658936 659605 107 | 61.745 % |
3422.47/3424.09 c | 661081 | 32426 166204 466072 | 658936 660015 107 | 61.745 % |
3426.77/3428.36 c | 661531 | 32426 166204 466072 | 658936 660465 107 | 61.745 % |
3431.57/3433.14 c | 662025 | 32426 166204 466072 | 658936 660959 107 | 61.745 % |
3436.26/3437.87 c | 662567 | 32426 166204 466072 | 658936 661501 107 | 61.745 % |
3442.93/3444.50 c | 663163 | 32426 166204 466072 | 658936 662097 107 | 61.745 % |
3450.33/3451.94 c | 663818 | 32426 166204 466072 | 658936 662752 107 | 61.745 % |
3458.42/3460.01 c | 664542 | 32426 166204 466072 | 658936 663476 107 | 61.745 % |
3464.43/3466.10 c | 665334 | 32426 166204 466072 | 658936 664268 107 | 61.745 % |
3471.82/3473.43 c | 666207 | 32426 166204 466072 | 658936 665141 107 | 61.745 % |
3480.22/3481.80 c | 667166 | 32426 166204 466072 | 658936 666100 107 | 61.745 % |
3488.92/3490.56 c | 668220 | 32426 166204 466072 | 658936 667154 107 | 61.745 % |
3497.81/3499.46 c | 669383 | 32426 166204 466072 | 658936 668317 107 | 61.745 % |
3505.70/3507.35 c | 670656 | 32426 166204 466072 | 668936 669590 107 | 61.745 % |
3518.90/3520.52 c | 672057 | 32426 166204 466072 | 668936 670991 107 | 61.745 % |
3530.59/3532.27 c | 673598 | 32426 166204 466072 | 668936 672532 107 | 61.745 % |
3545.19/3546.83 c | 675292 | 32426 166204 466072 | 668936 674226 107 | 61.745 % |
3561.79/3563.43 c | 677156 | 32426 166204 466072 | 668936 676090 107 | 61.745 % |
3585.38/3587.03 c | 679207 | 32426 166204 466072 | 668936 678141 107 | 61.745 % |
3608.97/3610.63 c | 681461 | 32426 166204 466072 | 678937 680395 107 | 61.745 % |
3633.66/3635.36 c | 683940 | 32426 166204 466072 | 678937 682874 107 | 61.745 % |
3660.85/3662.54 c | 686665 | 32426 166204 466072 | 678937 685599 107 | 61.745 % |
3692.44/3694.12 c | 689662 | 32426 166204 466072 | 678937 688596 107 | 61.745 % |
3721.62/3723.39 c | 692958 | 32425 166199 466059 | 688934 691890 107 | 61.746 % |
3751.22/3752.99 c | 696583 | 32425 166199 466059 | 688934 695514 107 | 61.760 % |
3787.71/3789.42 c | 700572 | 32425 166199 466059 | 698931 699503 107 | 61.760 % |
3823.28/3825.01 c | 704958 | 32425 166199 466059 | 698931 703889 107 | 61.760 % |
3868.76/3870.54 c | 709782 | 32425 166199 466059 | 698931 708713 107 | 61.760 % |
3917.14/3918.90 c | 715090 | 32425 166199 466059 | 708933 714021 107 | 61.760 % |
3967.52/3969.36 c | 720926 | 32425 166199 466059 | 718931 719857 107 | 61.760 % |
4025.29/4027.16 c | 727344 | 32425 166199 466059 | 718931 726275 107 | 61.760 % |
4026.29/4028.14 c | 727444 | 32425 166199 466059 | 718931 726375 107 | 61.760 % |
4027.69/4029.56 c | 727555 | 32425 166199 466059 | 718931 726486 107 | 61.760 % |
4029.79/4031.66 c | 727676 | 32425 166199 466059 | 718931 726607 107 | 61.760 % |
4031.19/4033.08 c | 727809 | 32425 166199 466059 | 718931 726740 107 | 61.760 % |
4032.99/4034.84 c | 727956 | 32425 166199 466059 | 718931 726887 107 | 61.760 % |
4034.69/4036.60 c | 728117 | 32425 166199 466059 | 718931 727048 107 | 61.760 % |
4036.59/4038.41 c | 728297 | 32425 166199 466059 | 718931 727228 107 | 61.760 % |
4038.58/4040.47 c | 728492 | 32425 166199 466059 | 718931 727423 107 | 61.760 % |
4040.48/4042.32 c | 728705 | 32425 166199 466059 | 718931 727636 107 | 61.760 % |
4042.89/4044.77 c | 728939 | 32425 166199 466059 | 718931 727870 107 | 61.760 % |
4045.88/4047.74 c | 729195 | 32425 166199 466059 | 718931 728126 107 | 61.760 % |
4049.19/4051.03 c | 729477 | 32425 166199 466059 | 718931 728408 107 | 61.760 % |
4052.99/4054.81 c | 729787 | 32425 166199 466059 | 718931 728718 107 | 61.760 % |
4056.58/4058.49 c | 730129 | 32425 166199 466059 | 728931 729060 107 | 61.760 % |
4060.39/4062.23 c | 730501 | 32425 166199 466059 | 728931 729432 107 | 61.760 % |
4063.88/4065.76 c | 730911 | 32425 166199 466059 | 728931 729842 107 | 61.760 % |
4068.78/4070.67 c | 731364 | 32425 166199 466059 | 728931 730295 107 | 61.760 % |
4075.07/4076.99 c | 731859 | 32425 166199 466059 | 728931 730790 107 | 61.760 % |
4081.77/4083.61 c | 732402 | 32425 166199 466059 | 728931 731333 107 | 61.760 % |
4088.77/4090.66 c | 732998 | 32425 166199 466059 | 728931 731929 107 | 61.760 % |
4095.97/4097.84 c | 733654 | 32425 166199 466059 | 728931 732585 107 | 61.760 % |
4103.37/4105.28 c | 734378 | 32425 166199 466059 | 728931 733309 107 | 61.760 % |
4112.26/4114.11 c | 735170 | 32425 166199 466059 | 728931 734100 107 | 61.773 % |
4121.15/4123.04 c | 736043 | 32425 166199 466059 | 728931 734973 107 | 61.773 % |
4130.85/4132.78 c | 737001 | 32425 166199 466059 | 728931 735931 107 | 61.773 % |
4141.85/4143.75 c | 738056 | 32425 166199 466059 | 728931 736986 106 | 61.773 % |
4153.84/4155.78 c | 739217 | 32425 166199 466059 | 728931 738147 106 | 61.773 % |
4167.34/4169.23 c | 740490 | 32425 166199 466059 | 738932 739420 106 | 61.773 % |
4179.14/4181.03 c | 741890 | 32425 166199 466059 | 738932 740820 106 | 61.773 % |
4194.32/4196.29 c | 743431 | 32425 166199 466059 | 738932 742361 106 | 61.773 % |
4211.21/4213.11 c | 745125 | 32425 166199 466059 | 738932 744055 106 | 61.773 % |
4228.11/4230.00 c | 746989 | 32425 166199 466059 | 738932 745919 106 | 61.773 % |
4245.60/4247.59 c | 749038 | 32425 166199 466059 | 738932 747968 106 | 61.773 % |
4267.70/4269.64 c | 751293 | 32425 166199 466059 | 748930 750223 106 | 61.773 % |
4291.79/4293.73 c | 753771 | 32425 166199 466059 | 748930 752701 106 | 61.773 % |
4317.78/4319.76 c | 756497 | 32425 166199 466059 | 748930 755426 106 | 61.792 % |
4346.06/4348.06 c | 759495 | 32425 166199 466059 | 748930 758424 106 | 61.792 % |
4381.65/4383.66 c | 762792 | 32425 166199 466059 | 758931 761721 105 | 61.792 % |
4414.63/4416.69 c | 766418 | 32386 165940 465354 | 758931 765334 105 | 61.792 % |
4457.21/4459.28 c | 770406 | 32386 165940 465354 | 768921 769322 105 | 61.792 % |
4498.20/4500.26 c | 774791 | 32386 165940 465354 | 768921 773707 105 | 61.792 % |
4544.57/4546.64 c | 779615 | 32386 165940 465354 | 768921 778531 104 | 61.792 % |
4598.96/4601.06 c | 784920 | 32386 165940 465354 | 778917 783836 104 | 61.792 % |
4660.32/4662.49 c | 790755 | 32386 165940 465354 | 788917 789671 103 | 61.792 % |
4715.21/4717.36 c | 797175 | 32386 165940 465354 | 788917 796091 103 | 61.792 % |
4774.38/4776.51 c | 804234 | 32386 165940 465354 | 798918 803150 102 | 61.792 % |
4775.48/4777.69 c | 804336 | 32386 165940 465354 | 798918 803252 102 | 61.792 % |
4776.78/4778.96 c | 804446 | 32386 165940 465354 | 798918 803362 102 | 61.792 % |
4778.58/4780.73 c | 804567 | 32386 165940 465354 | 798918 803483 102 | 61.792 % |
4780.18/4782.38 c | 804701 | 32386 165940 465354 | 798918 803617 102 | 61.792 % |
4782.08/4784.28 c | 804850 | 32386 165940 465354 | 798918 803766 102 | 61.792 % |
4783.89/4786.09 c | 805010 | 32386 165940 465354 | 798918 803926 102 | 61.792 % |
4786.28/4788.44 c | 805189 | 32386 165940 465354 | 798918 804105 102 | 61.792 % |
4788.68/4790.89 c | 805382 | 32386 165940 465354 | 798918 804298 102 | 61.792 % |
4791.37/4793.50 c | 805595 | 32386 165940 465354 | 798918 804511 102 | 61.792 % |
4793.78/4795.90 c | 805828 | 32386 165940 465354 | 798918 804744 102 | 61.792 % |
4797.47/4799.60 c | 806086 | 32386 165940 465354 | 798918 805002 102 | 61.792 % |
4799.97/4802.15 c | 806367 | 32386 165940 465354 | 798918 805283 102 | 61.792 % |
4804.07/4806.25 c | 806676 | 32386 165940 465354 | 798918 805592 102 | 61.792 % |
4808.86/4811.08 c | 807016 | 32386 165940 465354 | 798918 805932 102 | 61.792 % |
4812.27/4814.46 c | 807389 | 32386 165940 465354 | 798918 806305 102 | 61.792 % |
4816.16/4818.40 c | 807798 | 32386 165940 465354 | 798918 806714 102 | 61.792 % |
4820.86/4823.05 c | 808248 | 32386 165940 465354 | 798918 807164 102 | 61.792 % |
4825.46/4827.67 c | 808741 | 32386 165940 465354 | 798918 807657 102 | 61.792 % |
4830.16/4832.34 c | 809283 | 32386 165940 465354 | 798918 808199 102 | 61.792 % |
4835.85/4838.07 c | 809880 | 32386 165940 465354 | 798918 808796 102 | 61.792 % |
4841.55/4843.73 c | 810538 | 32386 165940 465354 | 808918 809454 102 | 61.792 % |
4848.15/4850.37 c | 811258 | 32386 165940 465354 | 808918 810174 102 | 61.792 % |
4854.74/4856.90 c | 812050 | 32386 165940 465354 | 808918 810966 102 | 61.792 % |
4863.75/4865.92 c | 812924 | 32386 165940 465354 | 808918 811840 102 | 61.792 % |
4874.75/4876.91 c | 813883 | 32386 165940 465354 | 808918 812799 102 | 61.792 % |
4885.64/4887.87 c | 814936 | 32386 165940 465354 | 808918 813852 102 | 61.792 % |
4896.73/4898.99 c | 816094 | 32386 165940 465354 | 808918 815010 102 | 61.792 % |
4909.13/4911.31 c | 817367 | 32386 165940 465354 | 808918 816283 102 | 61.792 % |
4922.82/4925.04 c | 818770 | 32386 165940 465354 | 808918 817686 102 | 61.792 % |
4938.01/4940.23 c | 820311 | 32386 165940 465354 | 818916 819227 102 | 61.792 % |
4951.71/4953.94 c | 822005 | 32386 165940 465354 | 818916 820921 102 | 61.792 % |
4970.90/4973.12 c | 823868 | 32386 165940 465354 | 818916 822784 102 | 61.792 % |
4996.68/4998.90 c | 825917 | 32386 165940 465354 | 818916 824833 102 | 61.792 % |
5020.08/5022.32 c | 828170 | 32386 165940 465354 | 818916 827086 102 | 61.792 % |
5048.17/5050.45 c | 830649 | 32386 165940 465354 | 828918 829565 102 | 61.792 % |
5077.66/5079.99 c | 833374 | 32386 165940 465354 | 828918 832290 102 | 61.792 % |
5102.25/5104.57 c | 836371 | 32386 165940 465354 | 828918 835287 102 | 61.792 % |
5143.44/5145.79 c | 839668 | 32386 165940 465354 | 828918 838584 101 | 61.792 % |
5186.42/5188.78 c | 843293 | 32386 165940 465354 | 838917 842209 101 | 61.792 % |
5221.80/5224.14 c | 847281 | 32386 165940 465354 | 838917 846197 101 | 61.792 % |
5262.09/5264.50 c | 851667 | 32386 165940 465354 | 848919 850583 101 | 61.792 % |
5302.37/5304.71 c | 856491 | 32386 165940 465354 | 848919 855407 101 | 61.792 % |
5361.65/5364.02 c | 861796 | 32386 165940 465354 | 858916 860712 101 | 61.792 % |
5421.01/5423.47 c | 867632 | 32386 165940 465354 | 858916 866548 101 | 61.792 % |
5508.68/5511.11 c | 874051 | 32386 165940 465354 | 868917 872967 101 | 61.792 % |
5579.06/5581.51 c | 881110 | 32386 165940 465354 | 878916 880026 101 | 61.792 % |
5666.93/5669.50 c | 888875 | 32386 165940 465354 | 878916 887791 101 | 61.792 % |
5668.33/5670.81 c | 888975 | 32386 165940 465354 | 878916 887891 101 | 61.792 % |
5669.73/5672.24 c | 889085 | 32386 165940 465354 | 878916 888001 101 | 61.792 % |
5671.23/5673.76 c | 889207 | 32386 165940 465354 | 878916 888123 101 | 61.792 % |
5673.03/5675.60 c | 889340 | 32386 165940 465354 | 878916 888256 101 | 61.792 % |
5675.03/5677.57 c | 889488 | 32386 165940 465354 | 878916 888404 101 | 61.792 % |
5676.92/5679.49 c | 889648 | 32386 165940 465354 | 878916 888564 101 | 61.792 % |
5680.32/5682.86 c | 889824 | 32386 165940 465354 | 878916 888740 101 | 61.792 % |
5682.52/5685.06 c | 890019 | 32386 165940 465354 | 888916 888935 101 | 61.792 % |
5685.02/5687.59 c | 890231 | 32386 165940 465354 | 888916 889147 101 | 61.792 % |
5687.72/5690.27 c | 890465 | 32386 165940 465354 | 888916 889381 101 | 61.792 % |
5690.71/5693.28 c | 890721 | 32386 165940 465354 | 888916 889637 101 | 61.792 % |
5694.42/5696.92 c | 891002 | 32386 165940 465354 | 888916 889918 101 | 61.792 % |
5697.51/5700.07 c | 891312 | 32386 165940 465354 | 888916 890228 101 | 61.792 % |
5702.21/5704.78 c | 891652 | 32386 165940 465354 | 888916 890568 101 | 61.792 % |
5706.61/5709.17 c | 892024 | 32386 165940 465354 | 888916 890940 101 | 61.792 % |
5710.71/5713.27 c | 892434 | 32386 165940 465354 | 888916 891350 101 | 61.792 % |
5714.81/5717.39 c | 892885 | 32386 165940 465354 | 888916 891801 101 | 61.792 % |
5718.41/5720.90 c | 893379 | 32386 165940 465354 | 888916 892295 101 | 61.792 % |
5725.90/5728.49 c | 893922 | 32386 165940 465354 | 888916 892838 101 | 61.792 % |
5732.51/5735.06 c | 894518 | 32386 165940 465354 | 888916 893434 101 | 61.792 % |
5740.40/5742.93 c | 895173 | 32386 165940 465354 | 888916 894089 101 | 61.792 % |
5748.00/5750.59 c | 895894 | 32386 165940 465354 | 888916 894810 101 | 61.792 % |
5756.90/5759.41 c | 896691 | 32386 165940 465354 | 888916 895607 101 | 61.792 % |
5767.19/5769.79 c | 897562 | 32386 165940 465354 | 888916 896478 101 | 61.792 % |
5778.39/5781.00 c | 898522 | 32386 165940 465354 | 888916 897438 101 | 61.792 % |
5790.18/5792.79 c | 899575 | 32386 165940 465354 | 888916 898491 101 | 61.792 % |
5802.47/5805.01 c | 900734 | 32386 165940 465354 | 898916 899650 101 | 61.792 % |
5816.37/5819.00 c | 902007 | 32386 165940 465354 | 898916 900923 101 | 61.792 % |
5832.96/5835.57 c | 903407 | 32386 165940 465354 | 898916 902323 101 | 61.792 % |
5849.46/5852.00 c | 904948 | 32386 165940 465354 | 898916 903864 101 | 61.792 % |
5870.65/5873.25 c | 906644 | 32386 165940 465354 | 898916 905560 101 | 61.792 % |
5891.44/5894.06 c | 908507 | 32386 165940 465354 | 898916 907423 100 | 61.792 % |
5914.02/5916.63 c | 910557 | 32386 165940 465354 | 908916 909473 100 | 61.792 % |
5935.82/5938.40 c | 912811 | 32386 165940 465354 | 908916 911727 100 | 61.792 % |
5961.30/5963.98 c | 915289 | 32386 165940 465354 | 908916 914205 100 | 61.792 % |
5989.80/5992.44 c | 918014 | 32386 165940 465354 | 908916 916930 100 | 61.792 % |
6015.58/6018.20 c | 921011 | 32386 165940 465354 | 918917 919927 100 | 61.792 % |
6048.96/6051.65 c | 924307 | 32386 165940 465354 | 918917 923223 100 | 61.792 % |
6097.15/6099.88 c | 927932 | 32386 165940 465354 | 918917 926848 100 | 61.792 % |
6146.03/6148.70 c | 931919 | 32386 165940 465354 | 928917 930835 100 | 61.792 % |
6200.51/6203.22 c | 936304 | 32386 165940 465354 | 928917 935220 100 | 61.792 % |
6256.09/6258.90 c | 941127 | 32386 165940 465354 | 938916 940043 100 | 61.792 % |
6323.37/6326.16 c | 946432 | 32386 165940 465354 | 938916 945348 100 | 61.792 % |
6391.44/6394.27 c | 952270 | 32386 165940 465354 | 948916 951186 100 | 61.792 % |
6462.51/6465.39 c | 958688 | 32386 165940 465354 | 948916 957604 100 | 61.792 % |
6538.78/6541.62 c | 965748 | 32386 165940 465354 | 958917 964664 100 | 61.792 % |
6625.55/6628.48 c | 973512 | 32386 165940 465354 | 968916 972428 100 | 61.792 % |
6719.21/6722.13 c | 982052 | 32386 165940 465354 | 978916 980968 99 | 61.792 % |
6720.81/6723.70 c | 982152 | 32386 165940 465354 | 978916 981068 99 | 61.792 % |
6722.11/6725.10 c | 982265 | 32386 165940 465354 | 978916 981181 99 | 61.792 % |
6723.60/6726.54 c | 982387 | 32386 165940 465354 | 978916 981303 99 | 61.792 % |
6725.10/6728.08 c | 982521 | 32386 165940 465354 | 978916 981437 99 | 61.792 % |
6726.80/6729.79 c | 982667 | 32386 165940 465354 | 978916 981583 99 | 61.792 % |
6729.00/6731.96 c | 982828 | 32386 165940 465354 | 978916 981744 99 | 61.792 % |
6731.21/6734.10 c | 983006 | 32386 165940 465354 | 978916 981922 99 | 61.792 % |
6734.10/6737.04 c | 983200 | 32386 165940 465354 | 978916 982116 99 | 61.792 % |
6735.90/6738.82 c | 983412 | 32386 165940 465354 | 978916 982328 99 | 61.792 % |
6738.40/6741.35 c | 983646 | 32386 165940 465354 | 978916 982562 99 | 61.792 % |
6741.11/6744.09 c | 983909 | 32386 165940 465354 | 978916 982825 99 | 61.792 % |
6744.80/6747.78 c | 984195 | 32386 165940 465354 | 978916 983111 99 | 61.792 % |
6748.40/6751.39 c | 984504 | 32386 165940 465354 | 978916 983420 99 | 61.792 % |
6753.20/6756.19 c | 984843 | 32386 165940 465354 | 978916 983759 99 | 61.792 % |
6757.89/6760.80 c | 985216 | 32386 165940 465354 | 978916 984132 99 | 61.792 % |
6762.49/6765.49 c | 985627 | 32386 165940 465354 | 978916 984543 99 | 61.792 % |
6768.79/6771.76 c | 986076 | 32386 165940 465354 | 978916 984992 99 | 61.792 % |
6774.89/6777.89 c | 986570 | 32386 165940 465354 | 978916 985486 99 | 61.792 % |
6780.98/6783.92 c | 987112 | 32386 165940 465354 | 978916 986028 99 | 61.792 % |
6787.68/6790.60 c | 987708 | 32386 165940 465354 | 978916 986624 99 | 61.792 % |
6795.08/6798.00 c | 988365 | 32386 165940 465354 | 978916 987281 99 | 61.792 % |
6803.18/6806.18 c | 989085 | 32386 165940 465354 | 978916 988001 99 | 61.792 % |
6811.48/6814.48 c | 989877 | 32386 165940 465354 | 978916 988793 99 | 61.792 % |
6819.86/6822.89 c | 990749 | 32386 165940 465354 | 988917 989665 99 | 61.792 % |
6830.76/6833.77 c | 991708 | 32386 165940 465354 | 988917 990624 99 | 61.792 % |
6841.97/6844.92 c | 992761 | 32386 165940 465354 | 988917 991677 99 | 61.792 % |
6858.25/6861.25 c | 993919 | 32386 165940 465354 | 988917 992835 99 | 61.792 % |
6877.15/6880.17 c | 995193 | 32386 165940 465354 | 988917 994109 99 | 61.792 % |
6893.34/6896.38 c | 996596 | 32386 165940 465354 | 988917 995512 99 | 61.792 % |
6913.03/6916.08 c | 998137 | 32386 165940 465354 | 988917 997053 99 | 61.792 % |
6936.72/6939.77 c | 999833 | 32386 165940 465354 | 988917 998749 99 | 61.792 % |
6959.61/6962.62 c | 1001696 | 32386 165940 465354 | 998916 1000612 99 | 61.792 % |
6981.41/6984.46 c | 1003745 | 32386 165940 465354 | 998916 1002661 99 | 61.792 % |
7013.69/7016.76 c | 1006000 | 32386 165940 465354 | 998916 1004916 99 | 61.792 % |
7046.17/7049.28 c | 1008478 | 32386 165940 465354 | 998916 1007394 99 | 61.792 % |
7080.56/7083.65 c | 1011204 | 32386 165940 465354 | 1008916 1010120 99 | 61.792 % |
7121.34/7124.45 c | 1014202 | 32386 165940 465354 | 1008916 1013118 99 | 61.792 % |
7163.12/7166.22 c | 1017500 | 32386 165940 465354 | 1008916 1016416 99 | 61.792 % |
7206.60/7209.72 c | 1021125 | 32386 165940 465354 | 1018916 1020041 99 | 61.792 % |
7256.70/7259.81 c | 1025114 | 32386 165940 465354 | 1018916 1024030 99 | 61.792 % |
7314.86/7318.00 c | 1029501 | 32386 165940 465354 | 1018916 1028417 98 | 61.792 % |
7373.34/7376.53 c | 1034324 | 32386 165940 465354 | 1028917 1033240 98 | 61.792 % |
7436.52/7439.73 c | 1039629 | 32386 165940 465354 | 1028917 1038545 98 | 61.792 % |
7513.39/7516.69 c | 1045465 | 32386 165940 465354 | 1038917 1044381 98 | 61.792 % |
7610.56/7613.80 c | 1051883 | 32378 165875 465189 | 1048916 1050785 98 | 61.801 % |
7686.83/7690.19 c | 1058943 | 32378 165875 465189 | 1048916 1057845 98 | 61.801 % |
7803.68/7807.07 c | 1066707 | 32378 165875 465189 | 1058904 1065609 98 | 61.801 % |
7918.53/7921.90 c | 1075252 | 32378 165875 465189 | 1068903 1074154 98 | 61.801 % |
8033.38/8036.87 c | 1084646 | 32378 165875 465189 | 1078902 1083548 97 | 61.801 % |
8034.98/8038.46 c | 1084746 | 32378 165875 465189 | 1078902 1083648 97 | 61.801 % |
8036.68/8040.15 c | 1084857 | 32378 165875 465189 | 1078902 1083759 97 | 61.801 % |
8038.78/8042.25 c | 1084979 | 32378 165875 465189 | 1078902 1083881 97 | 61.801 % |
8040.58/8044.05 c | 1085112 | 32378 165875 465189 | 1078902 1084014 97 | 61.801 % |
8042.68/8046.14 c | 1085258 | 32378 165875 465189 | 1078902 1084160 97 | 61.801 % |
8044.58/8048.09 c | 1085419 | 32378 165875 465189 | 1078902 1084321 97 | 61.801 % |
8046.78/8050.26 c | 1085596 | 32378 165875 465189 | 1078902 1084498 97 | 61.801 % |
8049.68/8053.14 c | 1085790 | 32378 165875 465189 | 1078902 1084692 97 | 61.801 % |
8052.08/8055.54 c | 1086003 | 32378 165875 465189 | 1078902 1084905 97 | 61.801 % |
8055.28/8058.71 c | 1086242 | 32378 165875 465189 | 1078902 1085144 97 | 61.801 % |
8059.08/8062.57 c | 1086498 | 32378 165875 465189 | 1078902 1085400 97 | 61.801 % |
8064.27/8067.72 c | 1086782 | 32378 165875 465189 | 1078902 1085684 97 | 61.801 % |
8068.97/8072.42 c | 1087092 | 32378 165875 465189 | 1078902 1085994 97 | 61.801 % |
8073.66/8077.16 c | 1087431 | 32378 165875 465189 | 1078902 1086333 97 | 61.801 % |
8078.46/8081.99 c | 1087804 | 32378 165875 465189 | 1078902 1086706 97 | 61.801 % |
8083.55/8087.05 c | 1088213 | 32378 165875 465189 | 1078902 1087115 97 | 61.801 % |
8089.35/8092.84 c | 1088663 | 32378 165875 465189 | 1078902 1087565 97 | 61.801 % |
8096.65/8100.13 c | 1089157 | 32378 165875 465189 | 1078902 1088059 97 | 61.801 % |
8102.95/8106.47 c | 1089699 | 32378 165875 465189 | 1078902 1088601 97 | 61.801 % |
8111.74/8115.21 c | 1090295 | 32378 165875 465189 | 1088903 1089197 97 | 61.801 % |
8121.04/8124.59 c | 1090951 | 32378 165875 465189 | 1088903 1089853 97 | 61.801 % |
8132.33/8135.85 c | 1091674 | 32378 165875 465189 | 1088903 1090576 97 | 61.801 % |
8143.33/8146.88 c | 1092467 | 32378 165875 465189 | 1088903 1091369 97 | 61.801 % |
8153.93/8157.48 c | 1093338 | 32378 165875 465189 | 1088903 1092240 97 | 61.801 % |
8164.62/8168.18 c | 1094296 | 32378 165875 465189 | 1088903 1093198 97 | 61.801 % |
8179.02/8182.54 c | 1095349 | 32378 165875 465189 | 1088903 1094251 97 | 61.801 % |
8196.41/8199.94 c | 1096507 | 32378 165875 465189 | 1088903 1095409 97 | 61.801 % |
8214.80/8218.36 c | 1097782 | 32378 165875 465189 | 1088903 1096683 97 | 61.869 % |
8234.50/8238.09 c | 1099184 | 32378 165875 465189 | 1088903 1098085 97 | 61.869 % |
8258.59/8262.14 c | 1100725 | 32378 165875 465189 | 1098907 1099626 97 | 61.869 % |
8282.17/8285.76 c | 1102419 | 32378 165875 465189 | 1098907 1101320 97 | 61.869 % |
8305.96/8309.52 c | 1104282 | 32378 165875 465189 | 1098907 1103183 97 | 61.869 % |
8335.65/8339.30 c | 1106332 | 32378 165875 465189 | 1098907 1105233 97 | 61.869 % |
8363.74/8367.32 c | 1108586 | 32378 165875 465189 | 1098907 1107487 97 | 61.869 % |
8391.83/8395.49 c | 1111064 | 32378 165875 465189 | 1108901 1109965 97 | 61.869 % |
8423.72/8427.34 c | 1113790 | 32378 165875 465189 | 1108901 1112691 97 | 61.869 % |
8461.90/8465.51 c | 1116787 | 32378 165875 465189 | 1108901 1115688 97 | 61.869 % |
8508.28/8511.96 c | 1120085 | 32378 165875 465189 | 1118905 1118986 97 | 61.869 % |
8551.76/8555.46 c | 1123715 | 32378 165875 465189 | 1118905 1122616 96 | 61.869 % |
8605.24/8608.91 c | 1127702 | 32378 165875 465189 | 1118905 1126603 96 | 61.869 % |
8658.82/8662.59 c | 1132089 | 32378 165875 465189 | 1128902 1130990 96 | 61.869 % |
8717.39/8721.11 c | 1136915 | 32378 165875 465189 | 1128902 1135816 96 | 61.869 % |
8788.46/8792.24 c | 1142224 | 32378 165875 465189 | 1138903 1141125 96 | 61.869 % |
8866.22/8870.01 c | 1148061 | 32321 165670 464509 | 1138903 1146961 96 | 61.869 % |
8963.58/8967.44 c | 1154480 | 32321 165670 464509 | 1148902 1153380 96 | 61.869 % |
9070.24/9074.16 c | 1161539 | 32321 165670 464509 | 1158901 1160439 95 | 61.869 % |
9175.89/9179.83 c | 1169305 | 32321 165670 464509 | 1158901 1168205 95 | 61.869 % |
9290.84/9294.90 c | 1177847 | 32321 165670 464509 | 1168901 1176747 96 | 61.869 % |
9425.39/9429.42 c | 1187242 | 32321 165670 464509 | 1178901 1186142 96 | 61.869 % |
9557.83/9561.93 c | 1197576 | 32321 165670 464509 | 1188899 1196475 96 | 61.870 % |
9559.83/9563.92 c | 1197677 | 32321 165670 464509 | 1188899 1196576 96 | 61.870 % |
9561.93/9566.03 c | 1197791 | 32321 165670 464509 | 1188899 1196690 96 | 61.870 % |
9564.03/9568.13 c | 1197912 | 32321 165670 464509 | 1188899 1196811 96 | 61.870 % |
9566.13/9570.28 c | 1198046 | 32321 165670 464509 | 1188899 1196945 96 | 61.870 % |
9568.93/9573.02 c | 1198192 | 32321 165670 464509 | 1188899 1197091 96 | 61.870 % |
9571.03/9575.19 c | 1198352 | 32321 165670 464509 | 1188899 1197251 96 | 61.870 % |
9573.73/9577.81 c | 1198529 | 32321 165670 464509 | 1188899 1197428 96 | 61.870 % |
9577.52/9581.63 c | 1198723 | 32321 165670 464509 | 1188899 1197622 96 | 61.870 % |
9581.52/9585.69 c | 1198935 | 32321 165670 464509 | 1188899 1197834 96 | 61.870 % |
9585.92/9590.06 c | 1199168 | 32321 165670 464509 | 1188899 1198067 96 | 61.870 % |
9590.32/9594.47 c | 1199426 | 32321 165670 464509 | 1188899 1198325 96 | 61.870 % |
9594.62/9598.73 c | 1199708 | 32321 165670 464509 | 1188899 1198607 96 | 61.870 % |
9599.51/9603.61 c | 1200018 | 32321 165670 464509 | 1198901 1198917 96 | 61.870 % |
9604.71/9608.85 c | 1200357 | 32321 165670 464509 | 1198901 1199256 96 | 61.870 % |
9610.70/9614.85 c | 1200735 | 32321 165670 464509 | 1198901 1199634 96 | 61.870 % |
9618.40/9622.56 c | 1201145 | 32321 165670 464509 | 1198901 1200044 95 | 61.870 % |
9626.80/9630.98 c | 1201594 | 32321 165670 464509 | 1198901 1200493 96 | 61.870 % |
9637.60/9641.75 c | 1202087 | 32321 165670 464509 | 1198901 1200986 95 | 61.870 % |
9645.01/9649.16 c | 1202630 | 32321 165670 464509 | 1198901 1201529 95 | 61.870 % |
9655.89/9660.02 c | 1203228 | 32321 165670 464509 | 1198901 1202127 95 | 61.870 % |
9667.19/9671.39 c | 1203887 | 32321 165670 464509 | 1198901 1202786 95 | 61.870 % |
9680.48/9684.62 c | 1204608 | 32321 165670 464509 | 1198901 1203507 95 | 61.870 % |
9692.67/9696.88 c | 1205400 | 32321 165670 464509 | 1198901 1204299 95 | 61.870 % |
9705.47/9709.64 c | 1206274 | 32321 165670 464509 | 1198901 1205173 95 | 61.870 % |
9720.46/9724.66 c | 1207232 | 32321 165670 464509 | 1198901 1206131 95 | 61.870 % |
9736.45/9740.64 c | 1208287 | 32321 165670 464509 | 1198901 1207186 95 | 61.870 % |
9754.84/9759.06 c | 1209446 | 32321 165670 464509 | 1198901 1208345 95 | 61.870 % |
9774.44/9778.63 c | 1210719 | 32321 165670 464509 | 1208900 1209618 95 | 61.870 % |
9796.53/9800.75 c | 1212120 | 32321 165670 464509 | 1208900 1211019 95 | 61.870 % |
9820.93/9825.14 c | 1213660 | 32321 165670 464509 | 1208900 1212559 95 | 61.870 % |
9845.62/9849.88 c | 1215360 | 32321 165670 464509 | 1208900 1214259 95 | 61.870 % |
9876.90/9881.13 c | 1217224 | 32321 165670 464509 | 1208900 1216123 95 | 61.870 % |
9908.89/9913.11 c | 1219273 | 32320 165667 464503 | 1208900 1218145 95 | 61.870 % |
9938.48/9942.75 c | 1221527 | 32320 165667 464503 | 1218872 1220399 95 | 61.870 % |
9968.16/9972.41 c | 1224006 | 32320 165667 464503 | 1218872 1222878 95 | 61.870 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837048-1242857017/watcher-1837048-1242857017 -o /tmp/evaluation-result-1837048-1242857017/solver-1837048-1242857017 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837048-1242857017.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 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: 0.08 0.02 0.01 3/65 27203
/proc/meminfo: memFree=1738744/2055912 swapFree=4178808/4192956
[pid=27203] ppid=27201 vsize=5356 CPUtime=0
/proc/27203/stat : 27203 (SatELiteGTI) R 27201 27203 27166 0 -1 4194304 292 249 0 0 0 0 0 0 18 0 1 0 313730912 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 255372880543 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/27203/statm: 1339 237 197 169 0 50 0
[startup+0.0407719 s]
/proc/loadavg: 0.08 0.02 0.01 3/65 27203
/proc/meminfo: memFree=1738744/2055912 swapFree=4178808/4192956
[pid=27203] ppid=27201 vsize=5356 CPUtime=0
/proc/27203/stat : 27203 (SatELiteGTI) S 27201 27203 27166 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313730912 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27203/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101772 s]
/proc/loadavg: 0.08 0.02 0.01 3/65 27203
/proc/meminfo: memFree=1738744/2055912 swapFree=4178808/4192956
[pid=27203] ppid=27201 vsize=5356 CPUtime=0
/proc/27203/stat : 27203 (SatELiteGTI) S 27201 27203 27166 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313730912 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27203/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301792 s]
/proc/loadavg: 0.08 0.02 0.01 3/65 27203
/proc/meminfo: memFree=1738744/2055912 swapFree=4178808/4192956
[pid=27203] ppid=27201 vsize=5356 CPUtime=0
/proc/27203/stat : 27203 (SatELiteGTI) S 27201 27203 27166 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313730912 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27203/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701834 s]
/proc/loadavg: 0.08 0.02 0.01 3/65 27203
/proc/meminfo: memFree=1738744/2055912 swapFree=4178808/4192956
[pid=27203] ppid=27201 vsize=5356 CPUtime=0
/proc/27203/stat : 27203 (SatELiteGTI) S 27201 27203 27166 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313730912 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27203/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50192 s]
/proc/loadavg: 0.08 0.02 0.01 2/67 27208
/proc/meminfo: memFree=1617384/2055912 swapFree=4178808/4192956
[pid=27203] ppid=27201 vsize=5356 CPUtime=0
/proc/27203/stat : 27203 (SatELiteGTI) S 27201 27203 27166 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313730912 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27203/statm: 1339 237 197 169 0 50 0
[pid=27207] ppid=27203 vsize=157992 CPUtime=1.49
/proc/27207/stat : 27207 (SatELite_releas) R 27203 27203 27166 0 -1 4194304 35390 0 0 0 131 18 0 0 25 0 1 0 313730913 161783808 32589 1992294400 134512640 135223648 4294956128 18446744073709551615 134576869 0 0 4096 3 0 0 0 17 0 0 0
/proc/27207/statm: 39498 32589 75 173 0 39323 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 163348
[startup+3.10109 s]
/proc/loadavg: 0.08 0.02 0.01 2/67 27208
/proc/meminfo: memFree=1598184/2055912 swapFree=4178808/4192956
[pid=27203] ppid=27201 vsize=5356 CPUtime=0
/proc/27203/stat : 27203 (SatELiteGTI) S 27201 27203 27166 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313730912 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27203/statm: 1339 237 197 169 0 50 0
[pid=27207] ppid=27203 vsize=174236 CPUtime=3.08
/proc/27207/stat : 27207 (SatELite_releas) R 27203 27203 27166 0 -1 4194304 39199 0 0 0 287 21 0 0 25 0 1 0 313730913 178417664 35824 1992294400 134512640 135223648 4294956128 18446744073709551615 134586854 0 0 4096 3 0 0 0 17 1 0 0
/proc/27207/statm: 43559 35824 76 173 0 43384 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 179592
[startup+6.30241 s]
/proc/loadavg: 0.15 0.03 0.01 2/67 27208
/proc/meminfo: memFree=1579304/2055912 swapFree=4178808/4192956
[pid=27203] ppid=27201 vsize=5356 CPUtime=0
/proc/27203/stat : 27203 (SatELiteGTI) S 27201 27203 27166 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313730912 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27203/statm: 1339 237 197 169 0 50 0
[pid=27207] ppid=27203 vsize=196356 CPUtime=6.28
/proc/27207/stat : 27207 (SatELite_releas) R 27203 27203 27166 0 -1 4194304 43379 0 0 0 604 24 0 0 25 0 1 0 313730913 201068544 39255 1992294400 134512640 135223648 4294956128 18446744073709551615 134724114 0 0 4096 3 0 0 0 17 0 0 0
/proc/27207/statm: 49089 39255 76 173 0 48914 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 201712
[startup+12.7011 s]
/proc/loadavg: 0.22 0.05 0.02 2/67 27209
/proc/meminfo: memFree=1691368/2055912 swapFree=4178808/4192956
[pid=27203] ppid=27201 vsize=5356 CPUtime=10.45
/proc/27203/stat : 27203 (SatELiteGTI) S 27201 27203 27166 0 -1 4194304 336 59847 0 0 0 0 1007 38 16 0 1 0 313730912 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27203/statm: 1339 239 197 169 0 50 0
[pid=27209] ppid=27203 vsize=30568 CPUtime=2.19
/proc/27209/stat : 27209 (minisat_static) R 27203 27203 27166 0 -1 4194304 7208 0 0 0 216 3 0 0 25 0 1 0 313731961 31301632 7186 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/27209/statm: 7642 7186 77 171 0 7469 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 35924
[startup+25.5014 s]
/proc/loadavg: 0.39 0.09 0.03 2/67 27209
/proc/meminfo: memFree=1690600/2055912 swapFree=4178808/4192956
[pid=27203] ppid=27201 vsize=5356 CPUtime=10.45
/proc/27203/stat : 27203 (SatELiteGTI) S 27201 27203 27166 0 -1 4194304 336 59847 0 0 0 0 1007 38 16 0 1 0 313730912 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27203/statm: 1339 239 197 169 0 50 0
[pid=27209] ppid=27203 vsize=31496 CPUtime=14.99
/proc/27209/stat : 27209 (minisat_static) R 27203 27203 27166 0 -1 4194304 7448 0 0 0 1495 4 0 0 25 0 1 0 313731961 32251904 7426 1992294400 134512640 135215339 4294956240 18446744073709551615 134528610 0 0 4096 3 0 0 0 17 0 0 0
/proc/27209/statm: 7874 7426 77 171 0 7701 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 36852
[startup+51.101 s]
/proc/loadavg: 0.60 0.17 0.05 2/67 27209
/proc/meminfo: memFree=1686312/2055912 swapFree=4178808/4192956
[pid=27203] ppid=27201 vsize=5356 CPUtime=10.45
/proc/27203/stat : 27203 (SatELiteGTI) S 27201 27203 27166 0 -1 4194304 336 59847 0 0 0 0 1007 38 16 0 1 0 313730912 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27203/statm: 1339 239 197 169 0 50 0
[pid=27209] ppid=27203 vsize=36020 CPUtime=40.55
/proc/27209/stat : 27209 (minisat_static) R 27203 27203 27166 0 -1 4194304 8553 0 0 0 4050 5 0 0 25 0 1 0 313731961 36884480 8531 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27209/statm: 9005 8531 77 171 0 8832 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 41376
[startup+102.305 s]
/proc/loadavg: 0.82 0.29 0.10 2/67 27209
/proc/meminfo: memFree=1676072/2055912 swapFree=4178808/4192956
[pid=27203] ppid=27201 vsize=5356 CPUtime=10.45
/proc/27203/stat : 27203 (SatELiteGTI) S 27201 27203 27166 0 -1 4194304 336 59847 0 0 0 0 1007 38 16 0 1 0 313730912 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27203/statm: 1339 239 197 169 0 50 0
[pid=27209] ppid=27203 vsize=46000 CPUtime=91.71
/proc/27209/stat : 27209 (minisat_static) R 27203 27203 27166 0 -1 4194304 11071 0 0 0 9163 8 0 0 25 0 1 0 313731961 47104000 11049 1992294400 134512640 135215339 4294956240 18446744073709551615 134532687 0 0 4096 3 0 0 0 17 0 0 0
/proc/27209/statm: 11500 11049 77 171 0 11327 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 51356
[startup+162.302 s]
/proc/loadavg: 0.93 0.42 0.15 2/67 27209
/proc/meminfo: memFree=1663784/2055912 swapFree=4178808/4192956
[pid=27203] ppid=27201 vsize=5356 CPUtime=10.45
/proc/27203/stat : 27203 (SatELiteGTI) S 27201 27203 27166 0 -1 4194304 336 59847 0 0 0 0 1007 38 16 0 1 0 313730912 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27203/statm: 1339 239 197 169 0 50 0
[pid=27209] ppid=27203 vsize=58388 CPUtime=151.67
/proc/27209/stat : 27209 (minisat_static) R 27203 27203 27166 0 -1 4194304 14173 0 0 0 15155 12 0 0 25 0 1 0 313731961 59789312 14151 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/27209/statm: 14597 14151 77 171 0 14424 0
Current children cumulated CPU time (s) 162.12
Current children cumulated vsize (KiB) 63744
[startup+222.302 s]
/proc/loadavg: 0.97 0.52 0.20 2/67 27209
/proc/meminfo: memFree=1652136/2055912 swapFree=4178808/4192956
[pid=27203] ppid=27201 vsize=5356 CPUtime=10.45
/proc/27203/stat : 27203 (SatELiteGTI) S 27201 27203 27166 0 -1 4194304 336 59847 0 0 0 0 1007 38 16 0 1 0 313730912 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27203/statm: 1339 239 197 169 0 50 0
[pid=27209] ppid=27203 vsize=70080 CPUtime=211.65
/proc/27209/stat : 27209 (minisat_static) R 27203 27203 27166 0 -1 4194304 17056 0 0 0 21149 16 0 0 25 0 1 0 313731961 71761920 17034 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27209/statm: 17520 17034 77 171 0 17347 0
Current children cumulated CPU time (s) 222.1
Current children cumulated vsize (KiB) 75436
[startup+282.302 s]
/proc/loadavg: 0.99 0.61 0.25 2/67 27209
/proc/meminfo: memFree=1641704/2055912 swapFree=4178808/4192956
[pid=27203] ppid=27201 vsize=5356 CPUtime=10.45
/proc/27203/stat : 27203 (SatELiteGTI) S 27201 27203 27166 0 -1 4194304 336 59847 0 0 0 0 1007 38 16 0 1 0 313730912 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27203/statm: 1339 239 197 169 0 50 0
[pid=27209] ppid=27203 vsize=80444 CPUtime=271.62
/proc/27209/stat : 27209 (minisat_static) R 27203 27203 27166 0 -1 4194304 19644 0 0 0 27144 18 0 0 25 0 1 0 313731961 82374656 19622 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27209/statm: 20111 19622 77 171 0 19938 0
Current children cumulated CPU time (s) 282.07
Current children cumulated vsize (KiB) 85800
[startup+342.301 s]
/proc/loadavg: 0.99 0.67 0.30 2/67 27209
/proc/meminfo: memFree=1633072/2055912 swapFree=4178808/4192956
[pid=27203] ppid=27201 vsize=5356 CPUtime=10.45
/proc/27203/stat : 27203 (SatELiteGTI) S 27201 27203 27166 0 -1 4194304 336 59847 0 0 0 0 1007 38 16 0 1 0 313730912 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27203/statm: 1339 239 197 169 0 50 0
[pid=27209] ppid=27203 vsize=88988 CPUtime=331.58
/proc/27209/stat : 27209 (minisat_static) R 27203 27203 27166 0 -1 4194304 21766 0 0 0 33138 20 0 0 25 0 1 0 313731961 91123712 21744 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27209/statm: 22247 21744 77 171 0 22074 0
Current children cumulated CPU time (s) 342.03
Current children cumulated vsize (KiB) 94344
[startup+402.301 s]
/proc/loadavg: 0.99 0.73 0.34 2/67 27209
/proc/meminfo: memFree=1622896/2055912 swapFree=4178808/4192956
[pid=27203] ppid=27201 vsize=5356 CPUtime=10.45
/proc/27203/stat : 27203 (SatELiteGTI) S 27201 27203 27166 0 -1 4194304 336 59847 0 0 0 0 1007 38 16 0 1 0 313730912 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27203/statm: 1339 239 197 169 0 50 0
[pid=27209] ppid=27203 vsize=99276 CPUtime=391.57
/proc/27209/stat : 27209 (minisat_static) R 27203 27203 27166 0 -1 4194304 24353 0 0 0 39134 23 0 0 25 0 1 0 313731961 101658624 24331 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/27209/statm: 24819 24331 77 171 0 24646 0
Current children cumulated CPU time (s) 402.02
Current children cumulated vsize (KiB) 104632
[startup+462.302 s]
################
# More data... #
################
/proc/27209/statm: 132914 130582 77 171 0 132741 0
Current children cumulated CPU time (s) 9398.3
Current children cumulated vsize (KiB) 537012
[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 27225
/proc/meminfo: memFree=1190000/2055912 swapFree=4178808/4192956
[pid=27203] ppid=27201 vsize=5356 CPUtime=10.45
/proc/27203/stat : 27203 (SatELiteGTI) S 27201 27203 27166 0 -1 4194304 336 59847 0 0 0 0 1007 38 16 0 1 0 313730912 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27203/statm: 1339 239 197 169 0 50 0
[pid=27209] ppid=27203 vsize=533568 CPUtime=9447.83
/proc/27209/stat : 27209 (minisat_static) R 27203 27203 27166 0 -1 4194304 131093 0 0 0 944639 144 0 0 25 0 1 0 313731961 546373632 131071 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27209/statm: 133392 131071 77 171 0 133219 0
Current children cumulated CPU time (s) 9458.28
Current children cumulated vsize (KiB) 538924
[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 27225
/proc/meminfo: memFree=1188144/2055912 swapFree=4178808/4192956
[pid=27203] ppid=27201 vsize=5356 CPUtime=10.45
/proc/27203/stat : 27203 (SatELiteGTI) S 27201 27203 27166 0 -1 4194304 336 59847 0 0 0 0 1007 38 16 0 1 0 313730912 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27203/statm: 1339 239 197 169 0 50 0
[pid=27209] ppid=27203 vsize=535348 CPUtime=9507.8
/proc/27209/stat : 27209 (minisat_static) R 27203 27203 27166 0 -1 4194304 131561 0 0 0 950635 145 0 0 25 0 1 0 313731961 548196352 131539 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27209/statm: 133837 131539 77 171 0 133664 0
Current children cumulated CPU time (s) 9518.25
Current children cumulated vsize (KiB) 540704
[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 27225
/proc/meminfo: memFree=1185840/2055912 swapFree=4178808/4192956
[pid=27203] ppid=27201 vsize=5356 CPUtime=10.45
/proc/27203/stat : 27203 (SatELiteGTI) S 27201 27203 27166 0 -1 4194304 336 59847 0 0 0 0 1007 38 16 0 1 0 313730912 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27203/statm: 1339 239 197 169 0 50 0
[pid=27209] ppid=27203 vsize=537560 CPUtime=9567.77
/proc/27209/stat : 27209 (minisat_static) R 27203 27203 27166 0 -1 4194304 132118 0 0 0 956632 145 0 0 25 0 1 0 313731961 550461440 132096 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27209/statm: 134390 132096 77 171 0 134217 0
Current children cumulated CPU time (s) 9578.22
Current children cumulated vsize (KiB) 542916
[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 27227
/proc/meminfo: memFree=1184432/2055912 swapFree=4178808/4192956
[pid=27203] ppid=27201 vsize=5356 CPUtime=10.45
/proc/27203/stat : 27203 (SatELiteGTI) S 27201 27203 27166 0 -1 4194304 336 59847 0 0 0 0 1007 38 16 0 1 0 313730912 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27203/statm: 1339 239 197 169 0 50 0
[pid=27209] ppid=27203 vsize=538848 CPUtime=9627.75
/proc/27209/stat : 27209 (minisat_static) R 27203 27203 27166 0 -1 4194304 132461 0 0 0 962629 146 0 0 25 0 1 0 313731961 551780352 132439 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 0 0 0
/proc/27209/statm: 134712 132439 77 171 0 134539 0
Current children cumulated CPU time (s) 9638.2
Current children cumulated vsize (KiB) 544204
[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 27227
/proc/meminfo: memFree=1183216/2055912 swapFree=4178808/4192956
[pid=27203] ppid=27201 vsize=5356 CPUtime=10.45
/proc/27203/stat : 27203 (SatELiteGTI) S 27201 27203 27166 0 -1 4194304 336 59847 0 0 0 0 1007 38 16 0 1 0 313730912 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27203/statm: 1339 239 197 169 0 50 0
[pid=27209] ppid=27203 vsize=540036 CPUtime=9687.72
/proc/27209/stat : 27209 (minisat_static) R 27203 27203 27166 0 -1 4194304 132750 0 0 0 968626 146 0 0 25 0 1 0 313731961 552996864 132728 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27209/statm: 135009 132728 77 171 0 134836 0
Current children cumulated CPU time (s) 9698.17
Current children cumulated vsize (KiB) 545392
[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/67 27227
/proc/meminfo: memFree=1182128/2055912 swapFree=4178808/4192956
[pid=27203] ppid=27201 vsize=5356 CPUtime=10.45
/proc/27203/stat : 27203 (SatELiteGTI) S 27201 27203 27166 0 -1 4194304 336 59847 0 0 0 0 1007 38 16 0 1 0 313730912 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27203/statm: 1339 239 197 169 0 50 0
[pid=27209] ppid=27203 vsize=540960 CPUtime=9747.69
/proc/27209/stat : 27209 (minisat_static) R 27203 27203 27166 0 -1 4194304 132997 0 0 0 974623 146 0 0 25 0 1 0 313731961 553943040 132975 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27209/statm: 135240 132975 77 171 0 135067 0
Current children cumulated CPU time (s) 9758.14
Current children cumulated vsize (KiB) 546316
[startup+9822.3 s]
/proc/loadavg: 1.08 1.02 0.94 2/67 27227
/proc/meminfo: memFree=1180848/2055912 swapFree=4178808/4192956
[pid=27203] ppid=27201 vsize=5356 CPUtime=10.45
/proc/27203/stat : 27203 (SatELiteGTI) S 27201 27203 27166 0 -1 4194304 336 59847 0 0 0 0 1007 38 16 0 1 0 313730912 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27203/statm: 1339 239 197 169 0 50 0
[pid=27209] ppid=27203 vsize=542340 CPUtime=9807.68
/proc/27209/stat : 27209 (minisat_static) R 27203 27203 27166 0 -1 4194304 133324 0 0 0 980621 147 0 0 25 0 1 0 313731961 555356160 133302 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27209/statm: 135585 133302 77 171 0 135412 0
Current children cumulated CPU time (s) 9818.13
Current children cumulated vsize (KiB) 547696
[startup+9882.3 s]
/proc/loadavg: 1.10 1.03 0.94 2/67 27227
/proc/meminfo: memFree=1179568/2055912 swapFree=4178808/4192956
[pid=27203] ppid=27201 vsize=5356 CPUtime=10.45
/proc/27203/stat : 27203 (SatELiteGTI) S 27201 27203 27166 0 -1 4194304 336 59847 0 0 0 0 1007 38 16 0 1 0 313730912 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27203/statm: 1339 239 197 169 0 50 0
[pid=27209] ppid=27203 vsize=543812 CPUtime=9867.65
/proc/27209/stat : 27209 (minisat_static) R 27203 27203 27166 0 -1 4194304 133653 0 0 0 986618 147 0 0 25 0 1 0 313731961 556863488 133631 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27209/statm: 135953 133631 77 171 0 135780 0
Current children cumulated CPU time (s) 9878.1
Current children cumulated vsize (KiB) 549168
[startup+9942.3 s]
/proc/loadavg: 1.10 1.04 0.95 2/67 27227
/proc/meminfo: memFree=1178608/2055912 swapFree=4178808/4192956
[pid=27203] ppid=27201 vsize=5356 CPUtime=10.45
/proc/27203/stat : 27203 (SatELiteGTI) S 27201 27203 27166 0 -1 4194304 336 59847 0 0 0 0 1007 38 16 0 1 0 313730912 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27203/statm: 1339 239 197 169 0 50 0
[pid=27209] ppid=27203 vsize=544732 CPUtime=9927.63
/proc/27209/stat : 27209 (minisat_static) R 27203 27203 27166 0 -1 4194304 133880 0 0 0 992616 147 0 0 25 0 1 0 313731961 557805568 133858 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27209/statm: 136183 133858 77 171 0 136010 0
Current children cumulated CPU time (s) 9938.08
Current children cumulated vsize (KiB) 550088
[startup+10002.3 s]
/proc/loadavg: 1.18 1.06 0.96 2/67 27227
/proc/meminfo: memFree=1177520/2055912 swapFree=4178808/4192956
[pid=27203] ppid=27201 vsize=5356 CPUtime=10.45
/proc/27203/stat : 27203 (SatELiteGTI) S 27201 27203 27166 0 -1 4194304 336 59847 0 0 0 0 1007 38 16 0 1 0 313730912 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27203/statm: 1339 239 197 169 0 50 0
[pid=27209] ppid=27203 vsize=545804 CPUtime=9987.61
/proc/27209/stat : 27209 (minisat_static) R 27203 27203 27166 0 -1 4194304 134159 0 0 0 998614 147 0 0 25 0 1 0 313731961 558903296 134137 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/27209/statm: 136451 134137 77 171 0 136278 0
Current children cumulated CPU time (s) 9998.06
Current children cumulated vsize (KiB) 551160
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10004.3 s]
/proc/loadavg: 1.18 1.06 0.96 2/67 27227
/proc/meminfo: memFree=1177456/2055912 swapFree=4178808/4192956
[pid=27203] ppid=27201 vsize=5356 CPUtime=10.45
/proc/27203/stat : 27203 (SatELiteGTI) S 27201 27203 27166 0 -1 4194304 336 59847 0 0 0 0 1007 38 16 0 1 0 313730912 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27203/statm: 1339 239 197 169 0 50 0
[pid=27209] ppid=27203 vsize=545936 CPUtime=9989.61
/proc/27209/stat : 27209 (minisat_static) R 27203 27203 27166 0 -1 4194304 134166 0 0 0 998814 147 0 0 25 0 1 0 313731961 559038464 134144 1992294400 134512640 135215339 4294956240 18446744073709551615 134528866 0 0 4096 3 0 0 0 17 0 0 0
/proc/27209/statm: 136484 134144 77 171 0 136311 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 551292
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+10004.3 s]
/proc/loadavg: 1.18 1.06 0.96 2/67 27227
/proc/meminfo: memFree=1177456/2055912 swapFree=4178808/4192956
[pid=27203] ppid=27201 vsize=5356 CPUtime=10.45
/proc/27203/stat : 27203 (SatELiteGTI) S 27201 27203 27166 0 -1 4194304 336 59847 0 0 0 0 1007 38 16 0 1 0 313730912 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 255372878660 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27203/statm: 1339 239 197 169 0 50 0
[pid=27209] ppid=27203 vsize=545936 CPUtime=9989.61
/proc/27209/stat : 27209 (minisat_static) R 27203 27203 27166 0 -1 4194304 134166 0 0 0 998814 147 0 0 25 0 1 0 313731961 559038464 134144 1992294400 134512640 135215339 4294956240 18446744073709551615 134528866 0 0 4096 3 0 0 0 17 0 0 0
/proc/27209/statm: 136484 134144 77 171 0 136311 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 551292
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27203 and gives
# childrusage.ru_utime.tv_sec=10
# childrusage.ru_utime.tv_usec=73468
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=392940
# CPU time returned by wait4() is 10.4664
# while last known CPU time is 10000.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 10004.3
CPU time (s): 10000.1
CPU user time (s): 9998.21
CPU system time (s): 1.85
CPU usage (%): 99.9575
Max. virtual memory (cumulated for all children) (KiB): 551292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.0735
system time used= 0.39294
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60183
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= 16
involuntary context switches= 71
runsolver used 9.63654 second user time and 26.8919 second system time
The end
Begin job on node78 at 2009-05-21 00:03:39
IDJOB=1837048
IDBENCH=20365
IDSOLVER=674
FILE ID=node78/1837048-1242857017
PBS_JOBID= 9328441
Free space on /tmp= 126568 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/total-10-17-u.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837048-1242857017/watcher-1837048-1242857017 -o /tmp/evaluation-result-1837048-1242857017/solver-1837048-1242857017 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837048-1242857017.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 9ce7c48a28ddd5790e38607bb893dd38
RANDOM SEED=2016091326
node78.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.243
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.243
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055912 kB
MemFree: 1739160 kB
Buffers: 32652 kB
Cached: 244400 kB
SwapCached: 7460 kB
Active: 133648 kB
Inactive: 152128 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055912 kB
LowFree: 1739160 kB
SwapTotal: 4192956 kB
SwapFree: 4178808 kB
Dirty: 26764 kB
Writeback: 0 kB
Mapped: 13976 kB
Slab: 16776 kB
Committed_AS: 864332 kB
PageTables: 1432 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 126548 MiB
End job on node78 at 2009-05-21 02:50:25