0.00/0.00 c Parsing...
0.00/0.66 c ==============================================================================
0.00/0.66 c | | ORIGINAL | LEARNT | |
0.00/0.66 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.66 c ==============================================================================
0.00/0.66 c | 0 | 819017 1889038 | 245705 0 0 nan | 0.000 % |
5.98/6.04 c | 0 | 472816 1288651 | -- 0 -- -- | -- | -148996/-152766
5.98/6.04 c ==============================================================================
5.98/6.04 c Result : #vars: 86440 #clauses: 472816 #literals: 1288651
5.98/6.04 c CPU time: 5.82711 s
5.98/6.04 c ==============================================================================
6.49/6.53 c This is MiniSat 2.0 beta
6.49/6.53 c WARNING: for repeatability, setting FPU to use double precision
6.49/6.53 c ============================[ Problem Statistics ]=============================
6.49/6.53 c | |
6.49/6.53 c | Number of variables: 86440 |
6.49/6.53 c | Number of clauses: 472816 |
6.52/6.81 c | Parsing time: 0.24 s |
6.52/6.82 c ============================[ Search Statistics ]==============================
6.52/6.82 c | Conflicts | ORIGINAL | LEARNT | Progress |
6.52/6.82 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
6.52/6.82 c ===============================================================================
6.52/6.82 c | 0 | 86440 472816 1288651 | 157605 0 nan | 0.000 % |
6.52/6.95 c | 100 | 86440 472816 1288651 | 157605 100 97 | 0.000 % |
6.52/7.12 c | 200 | 86357 472816 1288651 | 157605 198 78 | 4.323 % |
6.52/7.46 c | 300 | 86226 472816 1288651 | 157605 293 106 | 6.083 % |
7.69/7.75 c | 413 | 81164 441392 1209434 | 157605 403 113 | 6.104 % |
7.88/7.96 c | 515 | 81155 441392 1209434 | 157605 504 100 | 7.205 % |
8.08/8.13 c | 625 | 81155 441392 1209434 | 157605 614 100 | 7.205 % |
8.18/8.25 c | 749 | 81087 441392 1209434 | 157605 737 98 | 8.935 % |
8.28/8.38 c | 849 | 80975 441392 1209434 | 157605 834 92 | 9.910 % |
8.48/8.54 c | 959 | 77166 418266 1150925 | 157605 935 89 | 10.744 % |
8.78/8.82 c | 1084 | 77059 418266 1150925 | 157605 1056 81 | 12.574 % |
8.98/9.02 c | 1217 | 77056 418266 1150925 | 157605 1188 78 | 12.589 % |
9.08/9.15 c | 1317 | 77053 418266 1150925 | 157605 1288 76 | 12.589 % |
9.28/9.35 c | 1429 | 77053 418266 1150925 | 157605 1400 75 | 12.589 % |
9.48/9.55 c | 1550 | 75543 408397 1125374 | 157605 1514 73 | 12.852 % |
9.58/9.61 c | 1683 | 75543 408397 1125374 | 157605 1647 75 | 12.852 % |
9.78/9.84 c | 1829 | 75543 408397 1125374 | 157605 1793 76 | 12.852 % |
9.98/10.04 c | 1929 | 75541 408397 1125374 | 157605 1892 80 | 12.871 % |
10.08/10.11 c | 2041 | 75516 408397 1125374 | 157605 2003 82 | 13.165 % |
10.18/10.25 c | 2163 | 75060 405594 1118609 | 157605 2104 84 | 13.165 % |
10.38/10.46 c | 2296 | 75060 405594 1118609 | 157605 2237 83 | 13.165 % |
10.78/10.84 c | 2443 | 75060 405594 1118609 | 157605 2384 85 | 13.165 % |
11.18/11.21 c | 2603 | 75060 405594 1118609 | 157605 2543 94 | 14.100 % |
11.38/11.40 c | 2703 | 74252 400653 1105539 | 157605 2643 97 | 14.100 % |
11.48/11.59 c | 2813 | 74252 400653 1105539 | 157605 2753 96 | 14.100 % |
11.68/11.76 c | 2934 | 74252 400653 1105539 | 157605 2874 102 | 14.100 % |
11.88/11.97 c | 3069 | 74167 400653 1105539 | 157605 3007 102 | 15.355 % |
12.28/12.38 c | 3217 | 74125 400653 1105539 | 157605 3155 101 | 15.355 % |
12.87/12.97 c | 3382 | 73167 394160 1089020 | 157605 3317 113 | 15.355 % |
13.27/13.39 c | 3558 | 73167 394160 1089020 | 157605 3493 123 | 15.355 % |
13.67/13.70 c | 3658 | 73150 394053 1088733 | 157605 3592 122 | 15.375 % |
13.87/13.99 c | 3768 | 73150 394053 1088733 | 157605 3702 133 | 15.375 % |
14.18/14.29 c | 3889 | 72978 394053 1088733 | 157605 3821 132 | 16.306 % |
14.37/14.48 c | 4024 | 72957 394053 1088733 | 157605 3956 133 | 16.306 % |
14.67/14.70 c | 4174 | 72957 394053 1088733 | 157605 4106 139 | 16.306 % |
15.08/15.12 c | 4334 | 72957 394053 1088733 | 157605 4266 141 | 16.306 % |
15.58/15.62 c | 4513 | 72345 389268 1077092 | 157605 4437 164 | 16.306 % |
15.98/16.00 c | 4706 | 72158 389268 1077092 | 157605 4629 162 | 16.746 % |
16.18/16.22 c | 4806 | 72158 389268 1077092 | 157605 4729 161 | 16.746 % |
16.38/16.47 c | 4916 | 72158 389268 1077092 | 157605 4839 162 | 16.746 % |
16.58/16.68 c | 5038 | 71961 387534 1073624 | 157605 4960 162 | 16.750 % |
16.78/16.87 c | 5172 | 71961 387534 1073624 | 157605 5094 160 | 16.750 % |
17.28/17.34 c | 5318 | 71961 387534 1073624 | 157605 5240 163 | 16.750 % |
17.98/18.01 c | 5481 | 71961 387534 1073624 | 157605 5403 170 | 16.750 % |
18.38/18.49 c | 5657 | 71961 387534 1073624 | 157605 5579 169 | 16.750 % |
18.97/19.07 c | 5853 | 71961 387534 1073624 | 157605 5775 180 | 16.750 % |
19.68/19.73 c | 6065 | 71942 387415 1073312 | 157605 5986 183 | 16.772 % |
19.97/20.01 c | 6165 | 71942 387415 1073312 | 157605 6086 189 | 16.772 % |
20.37/20.40 c | 6275 | 71942 387415 1073312 | 157605 6196 192 | 16.772 % |
20.88/20.91 c | 6397 | 71942 387415 1073312 | 157605 6318 196 | 16.772 % |
21.37/21.46 c | 6530 | 71918 387282 1072952 | 157605 6448 195 | 16.800 % |
21.77/21.85 c | 6677 | 71918 387282 1072952 | 157605 6595 200 | 16.800 % |
22.17/22.20 c | 6842 | 71918 387282 1072952 | 157605 6760 199 | 16.800 % |
22.57/22.66 c | 7018 | 71918 387282 1072952 | 157605 6936 201 | 16.800 % |
22.87/22.90 c | 7211 | 71918 387282 1072952 | 157605 7129 200 | 16.800 % |
23.17/23.30 c | 7423 | 71917 387278 1072944 | 157605 7339 199 | 16.801 % |
23.98/24.07 c | 7658 | 71917 387278 1072944 | 157605 7574 204 | 16.801 % |
24.28/24.34 c | 7758 | 71917 387278 1072944 | 157605 7674 203 | 16.801 % |
24.48/24.56 c | 7868 | 71917 387278 1072944 | 157605 7784 203 | 16.801 % |
24.68/24.73 c | 7990 | 71917 387278 1072944 | 157605 7906 202 | 16.801 % |
24.88/24.91 c | 8123 | 71917 387278 1072944 | 157605 8039 200 | 16.801 % |
25.08/25.14 c | 8269 | 71917 387278 1072944 | 157605 8185 199 | 16.801 % |
25.48/25.52 c | 8432 | 71917 387278 1072944 | 157605 8348 200 | 16.801 % |
26.07/26.12 c | 8610 | 71917 387278 1072944 | 157605 8526 203 | 16.801 % |
26.47/26.58 c | 8803 | 71917 387278 1072944 | 157605 8719 203 | 16.801 % |
27.17/27.28 c | 9015 | 71917 387278 1072944 | 157605 8931 211 | 16.801 % |
27.87/27.98 c | 9249 | 71901 387179 1072674 | 157605 9164 216 | 16.820 % |
28.67/28.73 c | 9506 | 71901 387179 1072674 | 157605 9421 219 | 16.820 % |
28.77/28.82 c | 9608 | 71901 387179 1072674 | 157605 9523 219 | 16.820 % |
28.97/29.04 c | 9718 | 71901 387179 1072674 | 157605 9633 218 | 16.820 % |
29.27/29.30 c | 9839 | 71901 387179 1072674 | 157605 9754 216 | 16.820 % |
29.47/29.53 c | 9972 | 71901 387179 1072674 | 157605 9887 215 | 16.820 % |
29.67/29.78 c | 10119 | 71901 387179 1072674 | 2147483647 10034 216 | 16.820 % |
30.07/30.11 c | 10279 | 71883 387068 1072406 | 2147483647 10193 216 | 16.841 % |
30.37/30.41 c | 10457 | 71883 387068 1072406 | 2147483647 10371 216 | 16.841 % |
30.57/30.68 c | 10650 | 71883 387068 1072406 | 2147483647 10564 216 | 16.841 % |
31.06/31.17 c | 10862 | 71883 387068 1072406 | 2147483647 10776 216 | 16.841 % |
31.56/31.69 c | 11096 | 71883 387068 1072406 | 2147483647 11010 214 | 16.841 % |
32.36/32.40 c | 11356 | 71883 387068 1072406 | 2147483647 11270 218 | 16.841 % |
33.36/33.41 c | 11637 | 71883 387068 1072406 | 2147483647 11551 226 | 16.841 % |
33.56/33.64 c | 11737 | 71883 387068 1072406 | 2147483647 11651 229 | 16.841 % |
33.96/34.07 c | 11847 | 71883 387068 1072406 | 2147483647 11761 232 | 16.841 % |
34.26/34.38 c | 11968 | 71883 387068 1072406 | 2147483647 11882 233 | 16.841 % |
34.66/34.70 c | 12101 | 71883 387068 1072406 | 2147483647 12015 231 | 16.841 % |
34.77/34.85 c | 12248 | 71883 387068 1072406 | 2147483647 12162 231 | 16.841 % |
35.17/35.29 c | 12410 | 71883 387068 1072406 | 2147483647 12324 231 | 16.841 % |
35.86/35.91 c | 12587 | 71883 387068 1072406 | 2147483647 12501 238 | 16.841 % |
36.36/36.42 c | 12780 | 71563 385021 1067658 | 2147483647 12691 240 | 17.217 % |
37.06/37.18 c | 12994 | 71563 385021 1067658 | 2147483647 12905 239 | 17.217 % |
37.76/37.84 c | 13230 | 71563 385021 1067658 | 2147483647 13141 240 | 17.217 % |
38.76/38.85 c | 13486 | 71563 385021 1067658 | 2147483647 13395 253 | 17.254 % |
39.66/39.79 c | 13767 | 71563 385021 1067658 | 2147483647 13676 258 | 17.254 % |
41.15/41.25 c | 14077 | 71563 385021 1067658 | 2147483647 13986 264 | 17.254 % |
41.35/41.48 c | 14177 | 71526 384743 1066937 | 2147483647 14084 263 | 17.254 % |
41.65/41.74 c | 14289 | 71526 384743 1066937 | 2147483647 14196 262 | 17.254 % |
42.15/42.20 c | 14414 | 71526 384743 1066937 | 2147483647 14321 267 | 17.254 % |
42.55/42.62 c | 14548 | 71526 384743 1066937 | 2147483647 14455 268 | 17.254 % |
42.96/43.05 c | 14695 | 71526 384743 1066937 | 2147483647 14602 269 | 17.254 % |
43.46/43.54 c | 14857 | 71526 384743 1066937 | 2147483647 14764 270 | 17.254 % |
43.86/43.97 c | 15033 | 71517 384743 1066937 | 2147483647 14936 268 | 17.623 % |
44.36/44.45 c | 15227 | 71516 384743 1066937 | 2147483647 15130 269 | 17.623 % |
45.45/45.50 c | 15439 | 71516 384743 1066937 | 2147483647 15342 274 | 17.623 % |
46.35/46.40 c | 15672 | 71516 384743 1066937 | 2147483647 15575 276 | 17.623 % |
47.25/47.39 c | 15928 | 71206 382809 1061857 | 2147483647 15826 277 | 17.638 % |
48.35/48.48 c | 16209 | 71206 382809 1061857 | 2147483647 16107 278 | 17.638 % |
49.25/49.31 c | 16519 | 71202 382809 1061857 | 2147483647 16416 279 | 17.756 % |
50.15/50.24 c | 16858 | 71202 382809 1061857 | 2147483647 16755 285 | 17.756 % |
50.45/50.52 c | 16958 | 71202 382809 1061857 | 2147483647 16855 285 | 17.756 % |
50.76/50.83 c | 17068 | 71199 382809 1061857 | 2147483647 16964 285 | 17.781 % |
51.16/51.25 c | 17189 | 71198 382809 1061857 | 2147483647 17084 286 | 17.800 % |
51.66/51.70 c | 17322 | 71045 382029 1060151 | 2147483647 17205 285 | 18.011 % |
52.06/52.18 c | 17472 | 71012 382029 1060151 | 2147483647 17354 285 | 18.454 % |
52.56/52.67 c | 17633 | 71007 382029 1060151 | 2147483647 17514 285 | 18.471 % |
52.85/52.92 c | 17809 | 71004 382029 1060151 | 2147483647 17689 285 | 18.491 % |
53.15/53.23 c | 18002 | 71002 382029 1060151 | 2147483647 17882 284 | 18.491 % |
53.45/53.59 c | 18216 | 71002 382029 1060151 | 2147483647 18096 282 | 18.491 % |
53.95/54.02 c | 18450 | 71002 382029 1060151 | 2147483647 18330 281 | 18.491 % |
54.55/54.66 c | 18712 | 70957 382029 1060151 | 2147483647 18591 282 | 18.843 % |
55.55/55.64 c | 18993 | 70957 382029 1060151 | 2147483647 18872 285 | 18.843 % |
56.35/56.48 c | 19304 | 70957 382029 1060151 | 2147483647 19183 288 | 18.843 % |
57.45/57.52 c | 19643 | 70957 382029 1060151 | 2147483647 19522 290 | 18.843 % |
58.65/58.76 c | 20016 | 70152 376655 1045801 | 2147483647 19885 296 | 18.843 % |
58.85/58.98 c | 20116 | 70152 376655 1045801 | 2147483647 19985 296 | 18.843 % |
59.05/59.17 c | 20226 | 70148 376655 1045801 | 2147483647 20094 295 | 18.948 % |
59.26/59.31 c | 20349 | 70148 376655 1045801 | 2147483647 20217 294 | 18.948 % |
59.36/59.46 c | 20482 | 70134 376655 1045801 | 2147483647 20347 292 | 19.091 % |
59.65/59.75 c | 20629 | 70133 376655 1045801 | 2147483647 20494 291 | 19.091 % |
59.95/60.06 c | 20792 | 70100 376655 1045801 | 2147483647 20656 290 | 19.724 % |
60.25/60.33 c | 20968 | 70100 376655 1045801 | 2147483647 20831 289 | 19.734 % |
60.65/60.77 c | 21161 | 70090 376655 1045801 | 2147483647 21023 287 | 19.752 % |
61.35/61.45 c | 21373 | 70053 376655 1045801 | 2147483647 21235 288 | 19.752 % |
62.05/62.11 c | 21606 | 70053 376655 1045801 | 2147483647 21468 288 | 19.752 % |
62.95/63.09 c | 21863 | 70051 376655 1045801 | 2147483647 21724 288 | 19.771 % |
64.05/64.16 c | 22144 | 70051 376655 1045801 | 2147483647 22005 293 | 19.771 % |
65.15/65.27 c | 22454 | 69350 371732 1033386 | 2147483647 22294 296 | 19.771 % |
66.24/66.38 c | 22793 | 69350 371732 1033386 | 2147483647 22633 299 | 19.771 % |
67.44/67.59 c | 23165 | 69350 371732 1033386 | 2147483647 23005 301 | 19.771 % |
68.74/68.89 c | 23575 | 69350 371732 1033386 | 2147483647 23415 303 | 19.771 % |
68.94/69.03 c | 23677 | 69350 371732 1033386 | 2147483647 23517 302 | 19.771 % |
69.04/69.18 c | 23788 | 69350 371732 1033386 | 2147483647 23628 301 | 19.771 % |
69.24/69.38 c | 23910 | 69350 371732 1033386 | 2147483647 23750 301 | 19.771 % |
69.74/69.86 c | 24043 | 69350 371732 1033386 | 2147483647 23883 301 | 19.771 % |
70.14/70.24 c | 24189 | 69350 371732 1033386 | 2147483647 24029 300 | 19.771 % |
70.54/70.67 c | 24349 | 69350 371732 1033386 | 2147483647 24189 299 | 19.771 % |
71.14/71.23 c | 24527 | 69350 371732 1033386 | 2147483647 24367 299 | 19.771 % |
71.64/71.74 c | 24720 | 69350 371732 1033386 | 2147483647 24560 298 | 19.771 % |
72.14/72.27 c | 24932 | 69350 371732 1033386 | 2147483647 24772 298 | 19.771 % |
72.83/72.90 c | 25169 | 69350 371732 1033386 | 2147483647 25009 297 | 19.771 % |
73.13/73.29 c | 25425 | 69344 371727 1033376 | 2147483647 25261 295 | 20.296 % |
74.04/74.14 c | 25707 | 69125 371727 1033376 | 2147483647 25543 295 | 20.296 % |
75.24/75.32 c | 26016 | 69125 371727 1033376 | 2147483647 25852 297 | 20.296 % |
76.24/76.32 c | 26355 | 69119 371727 1033376 | 2147483647 26190 299 | 20.794 % |
77.43/77.50 c | 26727 | 69119 371727 1033376 | 2147483647 26562 299 | 20.794 % |
78.74/78.84 c | 27136 | 69119 371727 1033376 | 2147483647 26971 301 | 20.794 % |
80.14/80.28 c | 27586 | 69119 371727 1033376 | 2147483647 27420 303 | 20.814 % |
80.54/80.68 c | 27687 | 69117 371727 1033376 | 2147483647 27521 303 | 20.814 % |
80.94/81.03 c | 27799 | 69117 371727 1033376 | 2147483647 27633 303 | 20.814 % |
81.34/81.46 c | 27920 | 69117 371727 1033376 | 2147483647 27754 305 | 20.814 % |
81.64/81.77 c | 28053 | 69107 371727 1033376 | 2147483647 27886 304 | 21.260 % |
81.94/82.07 c | 28201 | 68063 363838 1012549 | 2147483647 28017 303 | 21.260 % |
82.24/82.31 c | 28362 | 68062 363838 1012549 | 2147483647 28177 302 | 21.275 % |
82.74/82.87 c | 28538 | 68060 363838 1012549 | 2147483647 28353 301 | 21.275 % |
83.14/83.28 c | 28738 | 68057 363838 1012549 | 2147483647 28551 299 | 21.301 % |
83.74/83.81 c | 28951 | 68050 363838 1012549 | 2147483647 28764 299 | 21.301 % |
84.33/84.42 c | 29184 | 68050 363838 1012549 | 2147483647 28997 301 | 21.301 % |
84.93/85.08 c | 29441 | 68050 363838 1012549 | 2147483647 29254 302 | 21.301 % |
86.03/86.13 c | 29722 | 68049 363838 1012549 | 2147483647 29534 302 | 21.303 % |
86.83/86.99 c | 30031 | 68049 363838 1012549 | 2147483647 29843 304 | 21.303 % |
87.73/87.88 c | 30370 | 68049 363838 1012549 | 2147483647 30182 304 | 21.303 % |
89.14/89.26 c | 30745 | 68049 363838 1012549 | 2147483647 30557 307 | 21.303 % |
91.14/91.22 c | 31154 | 68049 363838 1012549 | 2147483647 30966 312 | 21.303 % |
93.13/93.28 c | 31603 | 68026 363617 1011995 | 2147483647 31388 317 | 21.303 % |
94.93/95.09 c | 32098 | 68025 363617 1011995 | 2147483647 31882 320 | 21.304 % |
95.33/95.42 c | 32198 | 68024 363617 1011995 | 2147483647 31981 320 | 21.314 % |
95.63/95.76 c | 32312 | 68024 363617 1011995 | 2147483647 32095 320 | 21.314 % |
96.03/96.10 c | 32433 | 68024 363617 1011995 | 2147483647 32216 321 | 21.314 % |
96.43/96.54 c | 32566 | 68024 363617 1011995 | 2147483647 32349 322 | 21.314 % |
96.93/97.06 c | 32712 | 68024 363617 1011995 | 2147483647 32495 322 | 21.314 % |
97.33/97.41 c | 32876 | 68024 363617 1011995 | 2147483647 32659 321 | 21.314 % |
97.73/97.82 c | 33054 | 67920 363617 1011995 | 2147483647 32836 321 | 21.435 % |
98.53/98.63 c | 33247 | 67920 363617 1011995 | 2147483647 33029 323 | 21.435 % |
99.23/99.39 c | 33460 | 67920 363617 1011995 | 2147483647 33242 323 | 21.435 % |
99.83/99.94 c | 33696 | 67920 363617 1011995 | 2147483647 33478 322 | 21.435 % |
100.73/100.83 c | 33953 | 67920 363617 1011995 | 2147483647 33735 322 | 21.435 % |
101.43/101.55 c | 34239 | 67920 363617 1011995 | 2147483647 34021 323 | 21.435 % |
102.63/102.74 c | 34548 | 67920 363617 1011995 | 2147483647 34330 326 | 21.435 % |
103.43/103.59 c | 34887 | 67912 363067 1010873 | 2147483647 34660 327 | 21.435 % |
104.83/104.98 c | 35259 | 67912 363067 1010873 | 2147483647 35032 327 | 21.435 % |
105.73/105.89 c | 35668 | 67912 363067 1010873 | 2147483647 35441 327 | 21.435 % |
107.23/107.33 c | 36117 | 67905 363067 1010873 | 2147483647 35889 326 | 21.454 % |
108.73/108.89 c | 36610 | 67905 363067 1010873 | 2147483647 36382 327 | 21.454 % |
110.82/110.94 c | 37152 | 67905 363067 1010873 | 2147483647 36924 334 | 21.454 % |
111.12/111.26 c | 37252 | 67905 363067 1010873 | 2147483647 37024 333 | 21.454 % |
111.52/111.60 c | 37363 | 67905 363067 1010873 | 2147483647 37135 334 | 21.454 % |
111.92/112.05 c | 37488 | 67905 363067 1010873 | 2147483647 37260 334 | 21.454 % |
112.32/112.48 c | 37621 | 67905 363067 1010873 | 2147483647 37393 333 | 21.454 % |
112.92/113.06 c | 37767 | 67905 363067 1010873 | 2147483647 37539 334 | 21.454 % |
113.52/113.63 c | 37927 | 67905 363067 1010873 | 2147483647 37699 335 | 21.454 % |
114.02/114.14 c | 38103 | 67905 363067 1010873 | 2147483647 37875 335 | 21.454 % |
114.62/114.73 c | 38296 | 67905 363067 1010873 | 2147483647 38068 335 | 21.454 % |
115.62/115.77 c | 38511 | 67905 363067 1010873 | 2147483647 38283 336 | 21.454 % |
116.22/116.36 c | 38745 | 67905 363067 1010873 | 2147483647 38517 337 | 21.454 % |
117.42/117.57 c | 39001 | 67905 363067 1010873 | 2147483647 38773 337 | 21.454 % |
117.92/118.09 c | 39284 | 67895 362954 1010575 | 2147483647 39054 337 | 21.454 % |
118.81/118.92 c | 39593 | 67895 362954 1010575 | 2147483647 39363 337 | 21.454 % |
120.01/120.19 c | 39934 | 67895 362954 1010575 | 2147483647 39704 338 | 21.454 % |
121.32/121.48 c | 40306 | 67893 362954 1010575 | 2147483647 40075 338 | 21.465 % |
122.62/122.71 c | 40717 | 67893 362954 1010575 | 2147483647 40486 339 | 21.465 % |
124.12/124.20 c | 41167 | 67893 362954 1010575 | 2147483647 40936 342 | 21.465 % |
126.22/126.39 c | 41661 | 67893 362954 1010575 | 2147483647 41430 343 | 21.465 % |
128.72/128.85 c | 42204 | 67893 362954 1010575 | 2147483647 41973 347 | 21.465 % |
130.72/130.83 c | 42802 | 67893 362954 1010575 | 2147483647 42571 350 | 21.465 % |
131.11/131.26 c | 42902 | 67893 362954 1010575 | 2147483647 42671 350 | 21.465 % |
131.51/131.61 c | 43012 | 67893 362954 1010575 | 2147483647 42781 350 | 21.465 % |
131.81/131.96 c | 43133 | 67893 362954 1010575 | 2147483647 42902 350 | 21.465 % |
132.31/132.50 c | 43266 | 67893 362954 1010575 | 2147483647 43035 350 | 21.465 % |
132.82/132.97 c | 43412 | 67893 362954 1010575 | 2147483647 43181 351 | 21.465 % |
133.42/133.53 c | 43575 | 67893 362954 1010575 | 2147483647 43344 351 | 21.465 % |
134.02/134.11 c | 43753 | 67893 362954 1010575 | 2147483647 43522 352 | 21.465 % |
134.91/135.07 c | 43947 | 67893 362954 1010575 | 2147483647 43716 354 | 21.465 % |
135.61/135.78 c | 44159 | 67893 362954 1010575 | 2147483647 43928 356 | 21.465 % |
136.82/136.90 c | 44393 | 67886 362875 1010391 | 2147483647 44152 358 | 21.465 % |
137.22/137.40 c | 44649 | 67886 362875 1010391 | 2147483647 44408 358 | 21.465 % |
138.31/138.43 c | 44930 | 67886 362875 1010391 | 2147483647 44689 357 | 21.465 % |
139.41/139.57 c | 45239 | 67877 362875 1010391 | 2147483647 44996 358 | 21.494 % |
140.81/140.97 c | 45578 | 67877 362875 1010391 | 2147483647 45335 360 | 21.494 % |
141.81/141.94 c | 45953 | 67877 362875 1010391 | 2147483647 45710 360 | 21.494 % |
142.91/143.04 c | 46362 | 67866 362875 1010391 | 2147483647 46117 359 | 21.537 % |
144.62/144.76 c | 46811 | 67866 362875 1010391 | 2147483647 46566 361 | 21.537 % |
147.01/147.17 c | 47304 | 67866 362875 1010391 | 2147483647 47059 362 | 21.537 % |
149.42/149.57 c | 47851 | 67866 362875 1010391 | 2147483647 47606 365 | 21.537 % |
151.21/151.32 c | 48447 | 67866 362875 1010391 | 2147483647 48202 366 | 21.538 % |
153.00/153.12 c | 49102 | 67864 362875 1010391 | 2147483647 48855 365 | 21.549 % |
153.30/153.42 c | 49202 | 67793 362875 1010391 | 2147483647 48954 365 | 22.242 % |
153.50/153.67 c | 49313 | 67793 362875 1010391 | 2147483647 49065 365 | 22.242 % |
153.70/153.81 c | 49434 | 67793 362875 1010391 | 2147483647 49186 364 | 22.242 % |
153.91/154.07 c | 49567 | 67793 362875 1010391 | 2147483647 49319 363 | 22.242 % |
154.50/154.64 c | 49717 | 67514 362875 1010391 | 2147483647 49469 363 | 22.242 % |
155.10/155.23 c | 49878 | 67514 362875 1010391 | 2147483647 49630 363 | 22.242 % |
155.80/155.91 c | 50055 | 67514 362875 1010391 | 2147483647 49807 364 | 22.242 % |
156.50/156.67 c | 50248 | 67214 358544 999928 | 2147483647 49929 364 | 22.242 % |
157.11/157.28 c | 50462 | 67214 358544 999928 | 2147483647 50143 364 | 22.242 % |
157.70/157.90 c | 50695 | 67214 358544 999928 | 2147483647 50376 364 | 22.242 % |
158.90/159.08 c | 50951 | 67214 358544 999928 | 2147483647 50632 365 | 22.242 % |
160.01/160.20 c | 51239 | 67214 358544 999928 | 2147483647 50920 367 | 22.242 % |
161.21/161.38 c | 51549 | 67214 358544 999928 | 2147483647 51230 369 | 22.242 % |
162.31/162.49 c | 51888 | 67214 358544 999928 | 2147483647 51569 370 | 22.242 % |
164.10/164.28 c | 52261 | 67214 358544 999928 | 2147483647 51942 374 | 22.242 % |
165.81/165.96 c | 52671 | 67214 358544 999928 | 2147483647 52352 375 | 22.242 % |
167.40/167.54 c | 53122 | 67214 358544 999928 | 2147483647 52803 377 | 22.242 % |
169.90/170.03 c | 53619 | 67214 358544 999928 | 2147483647 53300 377 | 22.242 % |
171.61/171.79 c | 54163 | 67214 358544 999928 | 2147483647 53844 377 | 22.242 % |
174.30/174.43 c | 54760 | 67214 358544 999928 | 2147483647 54441 383 | 22.242 % |
176.40/176.58 c | 55415 | 67214 358544 999928 | 2147483647 55096 384 | 22.242 % |
179.10/179.27 c | 56135 | 67214 358544 999928 | 2147483647 55815 385 | 22.252 % |
179.30/179.48 c | 56237 | 67214 358544 999928 | 2147483647 55917 385 | 22.252 % |
179.50/179.67 c | 56347 | 67214 358544 999928 | 2147483647 56027 384 | 22.252 % |
180.10/180.21 c | 56470 | 67214 358544 999928 | 2147483647 56150 384 | 22.252 % |
180.80/180.92 c | 56607 | 67205 358470 999763 | 2147483647 56282 385 | 22.252 % |
181.50/181.62 c | 56754 | 67205 358470 999763 | 2147483647 56429 385 | 22.252 % |
182.00/182.11 c | 56915 | 67205 358470 999763 | 2147483647 56590 386 | 22.252 % |
182.60/182.74 c | 57092 | 67205 358470 999763 | 2147483647 56767 386 | 22.252 % |
183.10/183.20 c | 57290 | 67205 358470 999763 | 2147483647 56965 385 | 22.252 % |
183.40/183.54 c | 57502 | 67205 358470 999763 | 2147483647 57177 385 | 22.252 % |
183.70/183.88 c | 57737 | 67205 358470 999763 | 2147483647 57412 384 | 22.252 % |
184.79/184.97 c | 57993 | 67205 358470 999763 | 2147483647 57668 385 | 22.252 % |
186.09/186.22 c | 58274 | 67205 358470 999763 | 2147483647 57949 386 | 22.252 % |
187.29/187.44 c | 58584 | 67205 358470 999763 | 2147483647 58259 387 | 22.252 % |
188.50/188.60 c | 58923 | 67205 358470 999763 | 2147483647 58598 386 | 22.252 % |
189.90/190.02 c | 59295 | 67205 358470 999763 | 2147483647 58970 388 | 22.252 % |
191.50/191.64 c | 59704 | 67205 358470 999763 | 2147483647 59379 389 | 22.252 % |
193.79/193.98 c | 60154 | 67205 358470 999763 | 2147483647 59829 392 | 22.252 % |
196.10/196.22 c | 60647 | 67205 358470 999763 | 2147483647 60322 395 | 22.252 % |
197.80/197.99 c | 61191 | 67205 358470 999763 | 2147483647 60866 395 | 22.252 % |
199.59/199.77 c | 61791 | 67204 358470 999763 | 2147483647 61465 394 | 22.292 % |
202.39/202.51 c | 62447 | 67204 358470 999763 | 2147483647 62121 396 | 22.292 % |
205.19/205.36 c | 63169 | 67204 358470 999763 | 2147483647 62843 397 | 22.292 % |
208.99/209.10 c | 63962 | 67204 358470 999763 | 2147483647 63636 402 | 22.292 % |
209.49/209.68 c | 64062 | 67204 358470 999763 | 2147483647 63736 402 | 22.292 % |
209.89/210.00 c | 64175 | 67204 358470 999763 | 2147483647 63849 402 | 22.292 % |
210.29/210.44 c | 64296 | 67204 358470 999763 | 2147483647 63970 402 | 22.292 % |
210.99/211.11 c | 64429 | 67203 358470 999763 | 2147483647 64102 402 | 22.295 % |
211.39/211.53 c | 64575 | 67203 358470 999763 | 2147483647 64248 402 | 22.295 % |
211.89/212.04 c | 64735 | 67168 358294 999264 | 2147483647 64403 402 | 22.295 % |
212.69/212.85 c | 64914 | 67164 358294 999264 | 2147483647 64581 401 | 22.318 % |
213.59/213.71 c | 65108 | 67164 358294 999264 | 2147483647 64775 401 | 22.318 % |
214.19/214.34 c | 65321 | 67164 358294 999264 | 2147483647 64988 401 | 22.318 % |
215.59/215.73 c | 65558 | 67164 358294 999264 | 2147483647 65225 402 | 22.318 % |
216.69/216.87 c | 65817 | 67163 358294 999264 | 2147483647 65483 403 | 22.332 % |
217.89/218.05 c | 66101 | 67162 358294 999264 | 2147483647 65766 403 | 22.333 % |
218.69/218.90 c | 66412 | 67080 358294 999264 | 2147483647 66074 403 | 22.964 % |
220.28/220.47 c | 66755 | 67080 358294 999264 | 2147483647 66417 405 | 22.964 % |
221.68/221.81 c | 67128 | 67080 358294 999264 | 2147483647 66790 407 | 22.964 % |
223.28/223.46 c | 67538 | 67080 358294 999264 | 2147483647 67200 409 | 22.964 % |
225.28/225.42 c | 67987 | 67080 358294 999264 | 2147483647 67649 410 | 22.964 % |
227.28/227.45 c | 68481 | 67080 358294 999264 | 2147483647 68142 412 | 22.965 % |
229.78/229.91 c | 69026 | 67080 358294 999264 | 2147483647 68687 412 | 22.965 % |
232.08/232.20 c | 69622 | 67080 358294 999264 | 2147483647 69283 415 | 22.965 % |
234.78/234.95 c | 70278 | 67080 358294 999264 | 2147483647 69939 416 | 22.965 % |
237.58/237.77 c | 70999 | 67080 358294 999264 | 2147483647 70659 417 | 23.655 % |
239.58/239.78 c | 71793 | 67079 358294 999264 | 2147483647 71452 416 | 23.656 % |
242.38/242.53 c | 72667 | 67079 358294 999264 | 2147483647 72326 415 | 23.656 % |
242.78/242.99 c | 72767 | 67079 358294 999264 | 2147483647 72426 415 | 23.656 % |
243.38/243.59 c | 72877 | 67079 358294 999264 | 2147483647 72536 415 | 23.656 % |
243.88/244.07 c | 72998 | 67079 358294 999264 | 2147483647 72657 415 | 23.656 % |
244.57/244.70 c | 73132 | 67079 358294 999264 | 2147483647 72791 415 | 23.656 % |
245.18/245.38 c | 73279 | 67079 358294 999264 | 2147483647 72938 414 | 23.656 % |
245.87/246.03 c | 73440 | 67079 358294 999264 | 2147483647 73099 415 | 23.656 % |
246.28/246.48 c | 73616 | 67079 358294 999264 | 2147483647 73275 414 | 23.656 % |
246.67/246.86 c | 73809 | 67079 358294 999264 | 2147483647 73467 414 | 23.670 % |
247.67/247.82 c | 74021 | 67072 358294 999264 | 2147483647 73679 414 | 23.670 % |
248.67/248.89 c | 74255 | 67072 358294 999264 | 2147483647 73913 414 | 23.670 % |
249.77/249.94 c | 74511 | 67072 358294 999264 | 2147483647 74169 415 | 23.670 % |
251.07/251.24 c | 74795 | 67071 358294 999264 | 2147483647 74452 416 | 23.671 % |
252.87/253.05 c | 75105 | 65979 351035 980220 | 2147483647 74642 417 | 23.671 % |
254.28/254.48 c | 75444 | 65979 351035 980220 | 2147483647 74981 417 | 23.671 % |
255.68/255.81 c | 75820 | 65973 351035 980220 | 2147483647 75356 416 | 23.689 % |
257.37/257.57 c | 76229 | 65972 351035 980220 | 2147483647 75764 417 | 23.690 % |
258.87/259.04 c | 76684 | 65932 351035 980220 | 2147483647 76218 416 | 23.792 % |
261.68/261.85 c | 77179 | 65932 351035 980220 | 2147483647 76713 419 | 23.792 % |
264.57/264.77 c | 77721 | 65932 351035 980220 | 2147483647 77255 420 | 23.792 % |
267.47/267.64 c | 78319 | 65932 351035 980220 | 2147483647 77852 422 | 23.806 % |
271.47/271.63 c | 78976 | 65932 351035 980220 | 2147483647 78509 422 | 23.806 % |
275.07/275.22 c | 79698 | 65932 351035 980220 | 2147483647 79231 425 | 23.806 % |
278.76/278.91 c | 80490 | 65932 351035 980220 | 2147483647 80023 429 | 23.806 % |
282.27/282.43 c | 81362 | 65929 351035 980220 | 2147483647 80892 430 | 23.835 % |
286.76/286.94 c | 82323 | 65928 351035 980220 | 2147483647 81852 430 | 23.836 % |
286.86/287.07 c | 82423 | 65928 351035 980220 | 2147483647 81952 429 | 23.836 % |
287.56/287.70 c | 82535 | 65928 351035 980220 | 2147483647 82064 429 | 23.836 % |
288.16/288.30 c | 82660 | 65928 351035 980220 | 2147483647 82189 429 | 23.836 % |
288.67/288.85 c | 82793 | 65928 351035 980220 | 2147483647 82322 429 | 23.836 % |
289.36/289.55 c | 82939 | 65928 351035 980220 | 2147483647 82468 430 | 23.836 % |
290.16/290.34 c | 83100 | 65928 351035 980220 | 2147483647 82629 430 | 23.836 % |
290.66/290.84 c | 83276 | 65928 351035 980220 | 2147483647 82805 430 | 23.836 % |
291.36/291.51 c | 83471 | 65928 351035 980220 | 2147483647 83000 430 | 23.836 % |
292.36/292.52 c | 83684 | 65928 351035 980220 | 2147483647 83213 430 | 23.836 % |
292.76/292.92 c | 83917 | 65912 351035 980220 | 2147483647 83444 429 | 24.145 % |
294.05/294.21 c | 84174 | 65876 351035 980220 | 2147483647 83701 429 | 24.145 % |
295.46/295.67 c | 84460 | 65876 351035 980220 | 2147483647 83987 430 | 24.145 % |
297.16/297.33 c | 84770 | 65876 351035 980220 | 2147483647 84297 431 | 24.145 % |
298.85/299.01 c | 85110 | 65876 351035 980220 | 2147483647 84637 432 | 24.145 % |
300.16/300.33 c | 85482 | 65876 351035 980220 | 2147483647 85009 433 | 24.145 % |
302.05/302.20 c | 85892 | 65569 348482 973970 | 2147483647 85362 434 | 24.145 % |
304.06/304.27 c | 86342 | 65568 348482 973970 | 2147483647 85811 434 | 24.146 % |
306.66/306.83 c | 86836 | 65567 348482 973970 | 2147483647 86304 435 | 24.147 % |
308.85/309.10 c | 87378 | 65567 348482 973970 | 2147483647 86846 436 | 24.147 % |
311.25/311.42 c | 87974 | 65567 348482 973970 | 2147483647 87442 437 | 24.147 % |
314.15/314.36 c | 88632 | 65567 348482 973970 | 2147483647 88100 439 | 24.147 % |
317.35/317.50 c | 89353 | 65567 348482 973970 | 2147483647 88821 440 | 24.147 % |
321.14/321.39 c | 90148 | 65566 348482 973970 | 2147483647 89615 440 | 24.152 % |
325.25/325.43 c | 91023 | 65565 348482 973970 | 2147483647 90489 442 | 24.169 % |
328.64/328.86 c | 91981 | 65565 348482 973970 | 2147483647 91447 443 | 24.169 % |
334.35/334.59 c | 93036 | 65537 348482 973970 | 2147483647 92500 443 | 24.344 % |
335.05/335.23 c | 93136 | 65537 348482 973970 | 2147483647 92600 444 | 24.344 % |
335.55/335.70 c | 93246 | 65537 348482 973970 | 2147483647 92710 444 | 24.344 % |
336.04/336.25 c | 93369 | 65537 348482 973970 | 2147483647 92833 443 | 24.344 % |
336.64/336.86 c | 93504 | 65537 348482 973970 | 2147483647 92968 443 | 24.344 % |
337.24/337.41 c | 93650 | 65537 348482 973970 | 2147483647 93114 443 | 24.344 % |
338.04/338.25 c | 93811 | 65537 348482 973970 | 2147483647 93275 443 | 24.344 % |
338.84/339.05 c | 93987 | 65537 348482 973970 | 2147483647 93451 443 | 24.344 % |
339.54/339.78 c | 94180 | 65537 348482 973970 | 2147483647 93644 443 | 24.344 % |
340.74/340.99 c | 94394 | 65537 348482 973970 | 2147483647 93858 443 | 24.344 % |
342.14/342.33 c | 94628 | 65537 348482 973970 | 2147483647 94092 444 | 24.344 % |
343.34/343.58 c | 94885 | 65537 348482 973970 | 2147483647 94349 444 | 24.344 % |
344.64/344.82 c | 95169 | 65537 348482 973970 | 2147483647 94633 444 | 24.344 % |
346.24/346.41 c | 95479 | 65537 348482 973970 | 2147483647 94943 445 | 24.344 % |
347.93/348.11 c | 95818 | 65536 348482 973970 | 2147483647 95281 445 | 24.345 % |
349.74/349.93 c | 96190 | 65536 348482 973970 | 2147483647 95653 446 | 24.345 % |
351.84/352.06 c | 96602 | 65536 348482 973970 | 2147483647 96065 446 | 24.345 % |
353.94/354.14 c | 97051 | 65536 348482 973970 | 2147483647 96514 446 | 24.345 % |
356.23/356.43 c | 97547 | 65536 348482 973970 | 2147483647 97010 447 | 24.345 % |
357.83/358.05 c | 98089 | 65532 348482 973970 | 2147483647 97551 445 | 24.356 % |
361.03/361.26 c | 98686 | 65532 348482 973970 | 2147483647 98148 446 | 24.356 % |
364.03/364.28 c | 99347 | 65532 348482 973970 | 2147483647 98809 445 | 24.356 % |
367.53/367.74 c | 100067 | 65387 347503 971559 | 2147483647 99492 445 | 24.356 % |
371.42/371.66 c | 100860 | 65387 347503 971559 | 2147483647 100285 447 | 24.356 % |
376.43/376.66 c | 101732 | 65387 347503 971559 | 2147483647 101157 451 | 24.356 % |
381.63/381.89 c | 102693 | 65387 347503 971559 | 2147483647 102117 452 | 24.359 % |
386.73/386.95 c | 103746 | 65387 347503 971559 | 2147483647 103170 454 | 24.359 % |
392.02/392.20 c | 104905 | 65387 347503 971559 | 2147483647 104329 456 | 24.359 % |
392.82/393.02 c | 105006 | 65387 347503 971559 | 2147483647 104430 456 | 24.359 % |
393.32/393.54 c | 105116 | 65387 347503 971559 | 2147483647 104540 456 | 24.359 % |
394.22/394.47 c | 105237 | 65386 347503 971559 | 2147483647 104660 456 | 24.379 % |
395.02/395.25 c | 105372 | 65386 347503 971559 | 2147483647 104795 456 | 24.379 % |
395.92/396.18 c | 105519 | 65386 347503 971559 | 2147483647 104942 456 | 24.379 % |
396.62/396.83 c | 105679 | 65386 347503 971559 | 2147483647 105102 456 | 24.379 % |
397.51/397.70 c | 105855 | 65386 347503 971559 | 2147483647 105278 456 | 24.379 % |
398.42/398.60 c | 106050 | 65386 347503 971559 | 2147483647 105473 457 | 24.379 % |
399.52/399.71 c | 106262 | 65386 347503 971559 | 2147483647 105685 457 | 24.379 % |
400.62/400.84 c | 106496 | 65386 347503 971559 | 2147483647 105919 457 | 24.379 % |
402.12/402.30 c | 106753 | 65386 347503 971559 | 2147483647 106176 458 | 24.379 % |
403.61/403.88 c | 107035 | 65386 347503 971559 | 2147483647 106458 457 | 24.379 % |
404.91/405.11 c | 107345 | 65386 347503 971559 | 2147483647 106768 457 | 24.379 % |
406.91/407.10 c | 107687 | 65385 347503 971559 | 2147483647 107109 458 | 24.398 % |
408.52/408.73 c | 108059 | 65385 347503 971559 | 2147483647 107481 459 | 24.398 % |
410.41/410.63 c | 108469 | 65385 347503 971559 | 2147483647 107891 460 | 24.398 % |
412.51/412.78 c | 108920 | 65383 347503 971559 | 2147483647 108340 460 | 24.401 % |
414.81/415.00 c | 109416 | 65383 347503 971559 | 2147483647 108836 460 | 24.401 % |
418.21/418.44 c | 109962 | 65383 347503 971559 | 2147483647 109382 462 | 24.401 % |
420.61/420.90 c | 110558 | 65383 347503 971559 | 2147483647 109978 462 | 24.401 % |
424.01/424.27 c | 111213 | 65375 347503 971559 | 2147483647 110630 463 | 24.435 % |
428.41/428.67 c | 111934 | 65375 347503 971559 | 2147483647 111351 464 | 24.435 % |
432.70/432.93 c | 112727 | 65375 347503 971559 | 2147483647 112144 465 | 24.435 % |
436.61/436.86 c | 113599 | 65375 347503 971559 | 2147483647 113016 467 | 24.435 % |
440.10/440.39 c | 114557 | 65375 347503 971559 | 2147483647 113974 466 | 24.435 % |
445.71/446.00 c | 115610 | 65317 347024 970359 | 2147483647 114978 467 | 24.437 % |
452.10/452.37 c | 116769 | 65317 347024 970359 | 2147483647 116137 470 | 24.437 % |
458.50/458.73 c | 118044 | 65317 347024 970359 | 2147483647 117411 471 | 24.441 % |
459.00/459.22 c | 118146 | 65316 347024 970359 | 2147483647 117513 470 | 24.441 % |
459.50/459.72 c | 118257 | 65316 347024 970359 | 2147483647 117624 470 | 24.441 % |
460.10/460.38 c | 118378 | 65316 347024 970359 | 2147483647 117745 470 | 24.441 % |
460.80/461.03 c | 118511 | 65316 347024 970359 | 2147483647 117878 471 | 24.441 % |
461.30/461.55 c | 118663 | 65315 347024 970359 | 2147483647 118029 470 | 24.442 % |
462.00/462.29 c | 118826 | 65315 347024 970359 | 2147483647 118192 470 | 24.442 % |
463.19/463.40 c | 119004 | 65315 347024 970359 | 2147483647 118370 470 | 24.442 % |
464.00/464.22 c | 119199 | 65315 347024 970359 | 2147483647 118565 470 | 24.442 % |
465.59/465.89 c | 119412 | 65315 347024 970359 | 2147483647 118778 470 | 24.442 % |
467.00/467.20 c | 119645 | 65315 347024 970359 | 2147483647 119011 471 | 24.442 % |
468.40/468.64 c | 119901 | 65315 347024 970359 | 2147483647 119267 471 | 24.442 % |
469.50/469.75 c | 120182 | 65315 347024 970359 | 2147483647 119548 471 | 24.442 % |
470.99/471.23 c | 120491 | 65315 347024 970359 | 2147483647 119857 472 | 24.442 % |
472.59/472.84 c | 120833 | 65315 347024 970359 | 2147483647 120199 472 | 24.442 % |
474.19/474.46 c | 121206 | 65311 347024 970359 | 2147483647 120570 472 | 24.470 % |
476.70/476.95 c | 121619 | 65311 347024 970359 | 2147483647 120983 472 | 24.470 % |
478.69/478.96 c | 122070 | 65311 347024 970359 | 2147483647 121434 472 | 24.470 % |
480.40/480.68 c | 122563 | 65311 347024 970359 | 2147483647 121927 472 | 24.470 % |
482.99/483.26 c | 123109 | 65311 347024 970359 | 2147483647 122473 472 | 24.470 % |
486.19/486.47 c | 123705 | 65311 347024 970359 | 2147483647 123069 472 | 24.470 % |
489.30/489.52 c | 124360 | 65311 347024 970359 | 2147483647 123724 473 | 24.470 % |
492.59/492.87 c | 125081 | 65309 347024 970359 | 2147483647 124443 472 | 24.488 % |
496.48/496.79 c | 125874 | 65309 347024 970359 | 2147483647 125236 474 | 24.488 % |
500.89/501.18 c | 126746 | 65309 347024 970359 | 2147483647 126108 475 | 24.488 % |
506.69/506.92 c | 127706 | 65309 347024 970359 | 2147483647 127068 479 | 24.488 % |
511.29/511.55 c | 128761 | 65309 347024 970359 | 2147483647 128123 479 | 24.488 % |
517.78/518.08 c | 129924 | 65309 347024 970359 | 2147483647 129286 481 | 24.488 % |
522.98/523.29 c | 131199 | 65309 347024 970359 | 2147483647 130561 484 | 24.488 % |
530.87/531.11 c | 132599 | 65309 347024 970359 | 2147483647 131961 486 | 24.488 % |
531.37/531.65 c | 132699 | 65309 347024 970359 | 2147483647 132061 486 | 24.488 % |
531.97/532.21 c | 132815 | 65307 347024 970359 | 2147483647 132176 486 | 24.497 % |
532.68/532.91 c | 132936 | 65307 347024 970359 | 2147483647 132297 486 | 24.497 % |
533.29/533.52 c | 133069 | 65307 347024 970359 | 2147483647 132430 486 | 24.497 % |
534.08/534.38 c | 133216 | 65307 347024 970359 | 2147483647 132577 486 | 24.497 % |
535.28/535.59 c | 133377 | 65307 347024 970359 | 2147483647 132738 487 | 24.497 % |
536.28/536.56 c | 133557 | 65304 347024 970359 | 2147483647 132917 487 | 24.511 % |
537.38/537.62 c | 133750 | 65304 347024 970359 | 2147483647 133110 487 | 24.511 % |
538.38/538.64 c | 133962 | 65304 347024 970359 | 2147483647 133322 487 | 24.511 % |
539.37/539.60 c | 134196 | 65299 347024 970359 | 2147483647 133555 487 | 24.529 % |
541.27/541.53 c | 134453 | 65299 347024 970359 | 2147483647 133812 487 | 24.529 % |
543.07/543.31 c | 134734 | 65299 347024 970359 | 2147483647 134093 487 | 24.529 % |
544.88/545.16 c | 135044 | 65236 346464 968955 | 2147483647 134357 487 | 24.557 % |
546.57/546.85 c | 135383 | 65236 346464 968955 | 2147483647 134696 488 | 24.557 % |
548.77/549.06 c | 135758 | 65236 346464 968955 | 2147483647 135071 488 | 24.557 % |
551.87/552.13 c | 136167 | 65236 346464 968955 | 2147483647 135480 487 | 24.557 % |
554.18/554.49 c | 136617 | 65236 346464 968955 | 2147483647 135930 489 | 24.557 % |
556.67/556.91 c | 137114 | 65236 346464 968955 | 2147483647 136427 489 | 24.557 % |
559.17/559.47 c | 137657 | 65236 346464 968955 | 2147483647 136970 489 | 24.557 % |
562.57/562.81 c | 138253 | 65236 346464 968955 | 2147483647 137566 489 | 24.557 % |
566.07/566.33 c | 138912 | 65234 346464 968955 | 2147483647 138223 489 | 24.581 % |
570.17/570.40 c | 139633 | 65234 346464 968955 | 2147483647 138944 491 | 24.581 % |
574.27/574.58 c | 140432 | 65234 346464 968955 | 2147483647 139743 492 | 24.581 % |
580.06/580.39 c | 141303 | 65234 346464 968955 | 2147483647 140614 493 | 24.581 % |
584.76/585.09 c | 142261 | 65234 346464 968955 | 2147483647 141572 493 | 24.581 % |
589.86/590.10 c | 143314 | 65234 346464 968955 | 2147483647 142625 494 | 24.581 % |
595.36/595.69 c | 144472 | 65234 346464 968955 | 2147483647 143783 494 | 24.581 % |
602.36/602.68 c | 145745 | 65234 346464 968955 | 2147483647 145056 493 | 24.581 % |
612.36/612.60 c | 147145 | 65233 346464 968955 | 2147483647 146455 494 | 24.597 % |
619.75/620.04 c | 148687 | 65233 346464 968955 | 2147483647 147997 494 | 24.597 % |
620.45/620.70 c | 148787 | 65233 346464 968955 | 2147483647 148097 494 | 24.597 % |
620.95/621.25 c | 148897 | 65233 346464 968955 | 2147483647 148207 494 | 24.597 % |
621.35/621.61 c | 149020 | 65233 346464 968955 | 2147483647 148330 493 | 24.597 % |
621.55/621.87 c | 149154 | 65233 346464 968955 | 2147483647 148464 493 | 24.597 % |
622.05/622.33 c | 149301 | 65233 346464 968955 | 2147483647 148610 493 | 24.611 % |
623.05/623.33 c | 149461 | 65226 346464 968955 | 2147483647 148770 493 | 24.611 % |
624.15/624.45 c | 149640 | 65226 346464 968955 | 2147483647 148949 493 | 24.611 % |
625.45/625.75 c | 149833 | 65226 346464 968955 | 2147483647 149142 493 | 24.611 % |
626.65/626.98 c | 150045 | 65225 346464 968955 | 2147483647 149353 493 | 24.612 % |
627.65/627.91 c | 150279 | 65225 346464 968955 | 2147483647 149587 493 | 24.612 % |
629.35/629.61 c | 150536 | 65225 346464 968955 | 2147483647 149844 493 | 24.612 % |
630.94/631.21 c | 150817 | 65225 346464 968955 | 2147483647 150125 494 | 24.612 % |
632.65/632.97 c | 151126 | 65225 346464 968955 | 2147483647 150434 494 | 24.612 % |
634.35/634.68 c | 151465 | 65225 346464 968955 | 2147483647 150773 494 | 24.612 % |
636.84/637.13 c | 151838 | 65225 346464 968955 | 2147483647 151146 494 | 24.612 % |
638.95/639.28 c | 152249 | 65225 346464 968955 | 2147483647 151557 494 | 24.612 % |
641.94/642.20 c | 152698 | 65225 346464 968955 | 2147483647 152006 495 | 24.612 % |
644.64/644.93 c | 153191 | 65225 346464 968955 | 2147483647 152499 495 | 24.612 % |
647.74/648.05 c | 153734 | 65225 346464 968955 | 2147483647 153042 495 | 24.612 % |
650.94/651.25 c | 154331 | 65225 346464 968955 | 2147483647 153639 496 | 24.612 % |
654.34/654.67 c | 154990 | 65222 346464 968955 | 2147483647 154297 496 | 24.616 % |
657.94/658.28 c | 155712 | 65222 346464 968955 | 2147483647 155019 496 | 24.616 % |
662.13/662.42 c | 156504 | 65222 346464 968955 | 2147483647 155811 497 | 24.616 % |
666.94/667.20 c | 157375 | 65162 346003 967779 | 2147483647 156628 497 | 24.616 % |
671.93/672.20 c | 158333 | 65162 346003 967779 | 2147483647 157586 498 | 24.616 % |
678.23/678.51 c | 159386 | 65161 346003 967779 | 2147483647 158638 498 | 24.617 % |
684.13/684.45 c | 160546 | 65161 346003 967779 | 2147483647 159798 499 | 24.617 % |
689.73/690.07 c | 161820 | 65157 346003 967779 | 2147483647 161071 497 | 24.626 % |
696.63/696.99 c | 163220 | 65157 346003 967779 | 2147483647 162471 498 | 24.626 % |
704.83/705.11 c | 164760 | 65157 346003 967779 | 2147483647 164011 500 | 24.626 % |
714.32/714.62 c | 166455 | 65156 346003 967779 | 2147483647 165705 501 | 24.641 % |
714.92/715.22 c | 166557 | 65156 346003 967779 | 2147483647 165807 501 | 24.641 % |
715.42/715.76 c | 166669 | 65156 346003 967779 | 2147483647 165919 501 | 24.641 % |
716.02/716.33 c | 166790 | 65156 346003 967779 | 2147483647 166040 501 | 24.641 % |
716.32/716.69 c | 166923 | 65156 346003 967779 | 2147483647 166173 501 | 24.641 % |
716.82/717.18 c | 167069 | 65155 346003 967779 | 2147483647 166318 500 | 24.643 % |
717.92/718.29 c | 167232 | 65155 346003 967779 | 2147483647 166481 500 | 24.643 % |
719.02/719.38 c | 167408 | 65155 346003 967779 | 2147483647 166657 501 | 24.643 % |
720.61/720.96 c | 167602 | 65155 346003 967779 | 2147483647 166851 501 | 24.643 % |
721.82/722.16 c | 167814 | 65155 346003 967779 | 2147483647 167063 501 | 24.643 % |
723.42/723.77 c | 168047 | 65155 346003 967779 | 2147483647 167296 501 | 24.643 % |
724.82/725.10 c | 168305 | 65155 346003 967779 | 2147483647 167554 501 | 24.643 % |
726.41/726.75 c | 168586 | 65155 346003 967779 | 2147483647 167834 501 | 24.647 % |
728.21/728.58 c | 168897 | 65154 346003 967779 | 2147483647 168145 501 | 24.647 % |
730.41/730.76 c | 169237 | 65154 346003 967779 | 2147483647 168485 501 | 24.647 % |
733.02/733.33 c | 169611 | 65154 346003 967779 | 2147483647 168859 502 | 24.647 % |
735.02/735.36 c | 170020 | 65154 346003 967779 | 2147483647 169268 502 | 24.647 % |
737.41/737.74 c | 170469 | 65154 346003 967779 | 2147483647 169717 502 | 24.647 % |
740.81/741.18 c | 170963 | 65154 346003 967779 | 2147483647 170211 502 | 24.647 % |
745.11/745.41 c | 171505 | 65154 346003 967779 | 2147483647 170753 502 | 24.647 % |
748.21/748.59 c | 172102 | 65154 346003 967779 | 2147483647 171350 503 | 24.647 % |
751.71/752.00 c | 172758 | 65154 346003 967779 | 2147483647 172006 503 | 24.647 % |
756.41/756.76 c | 173479 | 65154 346003 967779 | 2147483647 172727 504 | 24.647 % |
761.41/761.78 c | 174272 | 65154 346003 967779 | 2147483647 173520 504 | 24.647 % |
766.80/767.14 c | 175143 | 65154 346003 967779 | 2147483647 174391 506 | 24.647 % |
771.60/771.91 c | 176101 | 65154 346003 967779 | 2147483647 175349 506 | 24.647 % |
777.20/777.58 c | 177154 | 65154 346003 967779 | 2147483647 176402 507 | 24.647 % |
783.60/783.92 c | 178313 | 65153 346003 967779 | 2147483647 177560 507 | 24.648 % |
792.20/792.55 c | 179587 | 65153 346003 967779 | 2147483647 178834 508 | 24.648 % |
800.20/800.52 c | 180988 | 65153 346003 967779 | 2147483647 180235 509 | 24.648 % |
810.40/810.76 c | 182530 | 65153 346003 967779 | 2147483647 181777 512 | 24.648 % |
820.38/820.72 c | 184226 | 65153 346003 967779 | 2147483647 183473 513 | 24.648 % |
831.98/832.34 c | 186090 | 65153 346003 967779 | 2147483647 185337 515 | 24.648 % |
832.79/833.11 c | 186190 | 65134 345796 967275 | 2147483647 185385 515 | 24.648 % |
833.59/833.95 c | 186300 | 65134 345796 967275 | 2147483647 185495 515 | 24.648 % |
834.39/834.74 c | 186423 | 65134 345796 967275 | 2147483647 185618 515 | 24.648 % |
835.28/835.63 c | 186557 | 65134 345796 967275 | 2147483647 185752 515 | 24.648 % |
836.08/836.46 c | 186705 | 65134 345796 967275 | 2147483647 185900 515 | 24.648 % |
837.08/837.40 c | 186865 | 65134 345796 967275 | 2147483647 186060 515 | 24.648 % |
838.28/838.60 c | 187041 | 65134 345796 967275 | 2147483647 186236 515 | 24.648 % |
839.08/839.46 c | 187234 | 65134 345796 967275 | 2147483647 186429 515 | 24.648 % |
840.48/840.86 c | 187446 | 65134 345796 967275 | 2147483647 186641 515 | 24.648 % |
842.48/842.81 c | 187679 | 65134 345796 967275 | 2147483647 186874 515 | 24.648 % |
843.87/844.25 c | 187935 | 65130 345796 967275 | 2147483647 187129 515 | 24.661 % |
846.18/846.53 c | 188217 | 65130 345796 967275 | 2147483647 187411 515 | 24.661 % |
848.08/848.43 c | 188528 | 65130 345796 967275 | 2147483647 187722 516 | 24.661 % |
849.67/850.09 c | 188867 | 65130 345796 967275 | 2147483647 188061 516 | 24.661 % |
851.57/851.93 c | 189239 | 65130 345796 967275 | 2147483647 188433 516 | 24.661 % |
853.88/854.22 c | 189648 | 65130 345796 967275 | 2147483647 188842 516 | 24.661 % |
856.58/856.94 c | 190097 | 65130 345796 967275 | 2147483647 189291 517 | 24.661 % |
859.27/859.66 c | 190590 | 65130 345796 967275 | 2147483647 189784 517 | 24.661 % |
861.78/862.12 c | 191133 | 65125 345796 967275 | 2147483647 190326 516 | 24.675 % |
866.27/866.63 c | 191729 | 65125 345796 967275 | 2147483647 190922 516 | 24.675 % |
869.47/869.87 c | 192384 | 65124 345796 967275 | 2147483647 191576 516 | 24.676 % |
875.27/875.60 c | 193105 | 65124 345796 967275 | 2147483647 192297 517 | 24.676 % |
881.67/882.04 c | 193900 | 65123 345796 967275 | 2147483647 193091 518 | 24.688 % |
887.17/887.54 c | 194771 | 65122 345796 967275 | 2147483647 193961 519 | 24.689 % |
894.47/894.82 c | 195729 | 65122 345796 967275 | 2147483647 194919 521 | 24.689 % |
901.16/901.54 c | 196782 | 65122 345796 967275 | 2147483647 195972 522 | 24.689 % |
908.26/908.67 c | 197941 | 65122 345796 967275 | 2147483647 197131 523 | 24.689 % |
915.66/916.02 c | 199214 | 65122 345796 967275 | 2147483647 198404 525 | 24.689 % |
925.25/925.68 c | 200616 | 65122 345796 967275 | 2147483647 199806 525 | 24.689 % |
936.25/936.63 c | 202156 | 65121 345796 967275 | 2147483647 201345 528 | 24.690 % |
945.84/946.29 c | 203850 | 65121 345796 967275 | 2147483647 203039 527 | 24.690 % |
956.95/957.31 c | 205714 | 65121 345796 967275 | 2147483647 204903 529 | 24.690 % |
969.24/969.62 c | 207764 | 65121 345796 967275 | 2147483647 206953 529 | 24.690 % |
969.94/970.31 c | 207864 | 65121 345796 967275 | 2147483647 207053 529 | 24.690 % |
970.63/971.05 c | 207974 | 65121 345796 967275 | 2147483647 207163 529 | 24.690 % |
971.44/971.84 c | 208097 | 65121 345796 967275 | 2147483647 207286 529 | 24.690 % |
972.05/972.47 c | 208232 | 65121 345796 967275 | 2147483647 207421 528 | 24.690 % |
972.94/973.39 c | 208379 | 65121 345796 967275 | 2147483647 207568 528 | 24.690 % |
974.24/974.67 c | 208539 | 65121 345796 967275 | 2147483647 207728 528 | 24.690 % |
975.24/975.61 c | 208718 | 65121 345796 967275 | 2147483647 207907 528 | 24.690 % |
976.93/977.38 c | 208911 | 65121 345796 967275 | 2147483647 208100 528 | 24.690 % |
978.43/978.84 c | 209123 | 65121 345796 967275 | 2147483647 208312 528 | 24.690 % |
980.13/980.59 c | 209358 | 65121 345796 967275 | 2147483647 208547 528 | 24.690 % |
982.03/982.48 c | 209620 | 65121 345796 967275 | 2147483647 208809 528 | 24.690 % |
983.43/983.86 c | 209904 | 65119 345796 967275 | 2147483647 209092 528 | 24.703 % |
985.73/986.15 c | 210217 | 65119 345796 967275 | 2147483647 209405 528 | 24.703 % |
988.03/988.47 c | 210557 | 65119 345796 967275 | 2147483647 209744 528 | 24.721 % |
990.13/990.59 c | 210929 | 65119 345796 967275 | 2147483647 210116 528 | 24.721 % |
992.84/993.25 c | 211338 | 65119 345796 967275 | 2147483647 210525 528 | 24.721 % |
995.93/996.32 c | 211789 | 65119 345796 967275 | 2147483647 210976 528 | 24.721 % |
999.33/999.70 c | 212283 | 65119 345796 967275 | 2147483647 211470 529 | 24.721 % |
1002.53/1002.90 c | 212828 | 65119 345796 967275 | 2147483647 212015 529 | 24.721 % |
1005.03/1005.48 c | 213426 | 65119 345796 967275 | 2147483647 212613 529 | 24.721 % |
1009.13/1009.54 c | 214081 | 65119 345796 967275 | 2147483647 213268 529 | 24.721 % |
1013.93/1014.38 c | 214801 | 65119 345796 967275 | 2147483647 213987 529 | 24.732 % |
1017.33/1017.73 c | 215602 | 65113 345796 967275 | 2147483647 214787 528 | 24.773 % |
1023.62/1024.06 c | 216473 | 65113 345796 967275 | 2147483647 215658 530 | 24.773 % |
1030.92/1031.31 c | 217433 | 65113 345796 967275 | 2147483647 216618 531 | 24.773 % |
1037.42/1037.86 c | 218486 | 65113 345796 967275 | 2147483647 217671 533 | 24.773 % |
1043.42/1043.87 c | 219644 | 65113 345796 967275 | 2147483647 218829 534 | 24.773 % |
1052.11/1052.59 c | 220917 | 65113 345796 967275 | 2147483647 220102 536 | 24.773 % |
1061.41/1061.86 c | 222323 | 65018 345075 965555 | 2147483647 221456 537 | 24.783 % |
1070.51/1070.94 c | 223866 | 65011 345075 965555 | 2147483647 222998 537 | 24.795 % |
1083.51/1083.95 c | 225560 | 65011 345075 965555 | 2147483647 224692 537 | 24.795 % |
1096.70/1097.11 c | 227423 | 65011 345075 965555 | 2147483647 226555 540 | 24.795 % |
1108.90/1109.38 c | 229472 | 65011 345075 965555 | 2147483647 228604 540 | 24.795 % |
1124.59/1125.07 c | 231726 | 65011 345075 965555 | 2147483647 230858 543 | 24.795 % |
1125.39/1125.81 c | 231828 | 65011 345075 965555 | 2147483647 230960 543 | 24.795 % |
1126.19/1126.68 c | 231938 | 65010 345075 965555 | 2147483647 231069 543 | 24.811 % |
1126.69/1127.18 c | 232059 | 65010 345075 965555 | 2147483647 231190 543 | 24.811 % |
1127.69/1128.18 c | 232192 | 65010 345075 965555 | 2147483647 231323 543 | 24.811 % |
1129.39/1129.84 c | 232340 | 65010 345075 965555 | 2147483647 231471 543 | 24.811 % |
1130.19/1130.62 c | 232502 | 65010 345075 965555 | 2147483647 231633 543 | 24.811 % |
1130.99/1131.44 c | 232679 | 65010 345075 965555 | 2147483647 231810 543 | 24.811 % |
1132.39/1132.86 c | 232872 | 65010 345075 965555 | 2147483647 232003 543 | 24.811 % |
1134.08/1134.52 c | 233086 | 65010 345075 965555 | 2147483647 232217 543 | 24.811 % |
1135.99/1136.42 c | 233319 | 65010 345075 965555 | 2147483647 232450 543 | 24.811 % |
1138.18/1138.63 c | 233576 | 65010 345075 965555 | 2147483647 232707 543 | 24.811 % |
1139.38/1139.89 c | 233857 | 65010 345075 965555 | 2147483647 232988 543 | 24.811 % |
1141.69/1142.17 c | 234167 | 65010 345075 965555 | 2147483647 233298 543 | 24.811 % |
1144.59/1145.02 c | 234508 | 65010 345075 965555 | 2147483647 233639 543 | 24.811 % |
1147.08/1147.57 c | 234881 | 65010 345075 965555 | 2147483647 234012 543 | 24.811 % |
1149.78/1150.20 c | 235294 | 65010 345075 965555 | 2147483647 234425 543 | 24.811 % |
1152.29/1152.80 c | 235743 | 65010 345075 965555 | 2147483647 234874 543 | 24.811 % |
1156.58/1157.06 c | 236239 | 65010 345075 965555 | 2147483647 235370 544 | 24.811 % |
1160.77/1161.26 c | 236781 | 65010 345075 965555 | 2147483647 235912 544 | 24.812 % |
1164.48/1164.95 c | 237377 | 65010 345075 965555 | 2147483647 236508 544 | 24.811 % |
1168.37/1168.85 c | 238034 | 65010 345075 965555 | 2147483647 237165 544 | 24.811 % |
1170.07/1170.58 c | 238756 | 65010 345075 965555 | 2147483647 237887 543 | 24.811 % |
1174.78/1175.29 c | 239548 | 65010 345075 965555 | 2147483647 238679 543 | 24.811 % |
1180.47/1181.00 c | 240419 | 65010 345075 965555 | 2147483647 239550 543 | 24.811 % |
1188.07/1188.56 c | 241379 | 65010 345075 965555 | 2147483647 240510 543 | 24.811 % |
1194.87/1195.34 c | 242432 | 65010 345075 965555 | 2147483647 241562 544 | 24.826 % |
1203.77/1204.27 c | 243592 | 65009 345075 965555 | 2147483647 242721 544 | 24.828 % |
1214.56/1215.07 c | 244868 | 65009 345075 965555 | 2147483647 243997 545 | 24.828 % |
1224.55/1225.04 c | 246270 | 65009 345075 965555 | 2147483647 245399 546 | 24.828 % |
1234.65/1235.16 c | 247810 | 65009 345075 965555 | 2147483647 246939 547 | 24.828 % |
1252.65/1253.14 c | 249504 | 65009 345075 965555 | 2147483647 248633 547 | 24.828 % |
1264.35/1264.86 c | 251371 | 65009 345075 965555 | 2147483647 250500 548 | 24.828 % |
1278.94/1279.41 c | 253422 | 65009 345075 965555 | 2147483647 252551 549 | 24.828 % |
1294.03/1294.60 c | 255676 | 65009 345075 965555 | 2147483647 254805 552 | 24.828 % |
1313.83/1314.32 c | 258157 | 65009 345075 965555 | 2147483647 257286 553 | 24.828 % |
1314.63/1315.18 c | 258260 | 65009 345075 965555 | 2147483647 257389 553 | 24.828 % |
1314.93/1315.46 c | 258370 | 65009 345075 965555 | 2147483647 257499 553 | 24.828 % |
1316.13/1316.63 c | 258492 | 65008 345075 965555 | 2147483647 257620 553 | 24.829 % |
1317.33/1317.83 c | 258626 | 65008 345075 965555 | 2147483647 257754 553 | 24.829 % |
1318.63/1319.16 c | 258773 | 65008 345075 965555 | 2147483647 257901 553 | 24.829 % |
1319.33/1319.85 c | 258933 | 65008 345075 965555 | 2147483647 258061 553 | 24.829 % |
1320.73/1321.25 c | 259109 | 65008 345075 965555 | 2147483647 258237 553 | 24.829 % |
1322.33/1322.87 c | 259302 | 65008 345075 965555 | 2147483647 258430 553 | 24.829 % |
1324.33/1324.85 c | 259514 | 65008 345075 965555 | 2147483647 258642 553 | 24.829 % |
1326.03/1326.50 c | 259749 | 65008 345075 965555 | 2147483647 258877 553 | 24.829 % |
1326.43/1326.97 c | 260005 | 65008 345075 965555 | 2147483647 259133 552 | 24.829 % |
1327.13/1327.67 c | 260290 | 65008 345075 965555 | 2147483647 259418 552 | 24.829 % |
1329.43/1329.99 c | 260604 | 65008 345075 965555 | 2147483647 259732 552 | 24.829 % |
1332.02/1332.52 c | 260944 | 65008 345075 965555 | 2147483647 260072 552 | 24.829 % |
1334.72/1335.24 c | 261316 | 65008 345075 965555 | 2147483647 260444 552 | 24.829 % |
1336.32/1336.83 c | 261726 | 65004 345075 965555 | 2147483647 260852 552 | 24.929 % |
1339.82/1340.37 c | 262175 | 65004 345075 965555 | 2147483647 261301 552 | 24.929 % |
1341.72/1342.29 c | 262668 | 65004 345075 965555 | 2147483647 261794 551 | 24.929 % |
1345.22/1345.75 c | 263213 | 64869 344306 963561 | 2147483647 262242 551 | 24.965 % |
1349.72/1350.29 c | 263810 | 64869 344306 963561 | 2147483647 262839 551 | 24.965 % |
1354.51/1355.06 c | 264467 | 64866 344306 963561 | 2147483647 263494 551 | 24.992 % |
1359.62/1360.16 c | 265189 | 64851 344306 963561 | 2147483647 264215 550 | 25.005 % |
1366.61/1367.15 c | 265982 | 64851 344306 963561 | 2147483647 265008 551 | 25.005 % |
1372.71/1373.28 c | 266853 | 64851 344306 963561 | 2147483647 265879 551 | 25.005 % |
1379.21/1379.78 c | 267812 | 64851 344306 963561 | 2147483647 266838 552 | 25.005 % |
1386.01/1386.56 c | 268866 | 64849 344306 963561 | 2147483647 267890 553 | 25.007 % |
1393.11/1393.69 c | 270028 | 64849 344306 963561 | 2147483647 269052 554 | 25.007 % |
1402.20/1402.79 c | 271303 | 64849 344306 963561 | 2147483647 270327 554 | 25.007 % |
1413.50/1414.00 c | 272705 | 64849 344306 963561 | 2147483647 271729 555 | 25.007 % |
1422.90/1423.44 c | 274245 | 64849 344306 963561 | 2147483647 273269 556 | 25.007 % |
1436.19/1436.74 c | 275941 | 64849 344306 963561 | 2147483647 274965 557 | 25.007 % |
1452.29/1452.87 c | 277806 | 64849 344306 963561 | 2147483647 276830 558 | 25.007 % |
1466.08/1466.60 c | 279856 | 64849 344306 963561 | 2147483647 278880 560 | 25.007 % |
1481.58/1482.12 c | 282109 | 64849 344306 963561 | 2147483647 281133 562 | 25.007 % |
1496.87/1497.43 c | 284587 | 64849 344306 963561 | 2147483647 283611 564 | 25.007 % |
1515.77/1516.32 c | 287313 | 64843 344306 963561 | 2147483647 286335 563 | 25.030 % |
1516.97/1517.59 c | 287414 | 64843 344306 963561 | 2147483647 286436 563 | 25.030 % |
1517.87/1518.47 c | 287524 | 64843 344306 963561 | 2147483647 286546 563 | 25.030 % |
1518.27/1518.83 c | 287645 | 64841 344306 963561 | 2147483647 286666 563 | 25.042 % |
1518.67/1519.30 c | 287778 | 64841 344306 963561 | 2147483647 286799 563 | 25.042 % |
1520.47/1521.00 c | 287924 | 64840 344306 963561 | 2147483647 286945 563 | 25.042 % |
1521.87/1522.41 c | 288087 | 64840 344306 963561 | 2147483647 287108 563 | 25.042 % |
1523.26/1523.89 c | 288264 | 64840 344306 963561 | 2147483647 287285 563 | 25.042 % |
1524.87/1525.41 c | 288459 | 64840 344306 963561 | 2147483647 287480 563 | 25.042 % |
1526.47/1527.09 c | 288671 | 64840 344306 963561 | 2147483647 287692 563 | 25.042 % |
1528.07/1528.65 c | 288907 | 64840 344306 963561 | 2147483647 287928 563 | 25.042 % |
1530.67/1531.28 c | 289166 | 64840 344306 963561 | 2147483647 288187 563 | 25.042 % |
1533.76/1534.36 c | 289448 | 64840 344306 963561 | 2147483647 288469 563 | 25.042 % |
1536.36/1536.94 c | 289757 | 64840 344306 963561 | 2147483647 288778 563 | 25.042 % |
1539.26/1539.86 c | 290097 | 64840 344306 963561 | 2147483647 289118 563 | 25.042 % |
1541.86/1542.46 c | 290471 | 64840 344306 963561 | 2147483647 289492 563 | 25.042 % |
1545.55/1546.13 c | 290880 | 64840 344306 963561 | 2147483647 289901 563 | 25.042 % |
1548.75/1549.35 c | 291329 | 64840 344306 963561 | 2147483647 290350 563 | 25.042 % |
1552.26/1552.88 c | 291824 | 64840 344306 963561 | 2147483647 290845 564 | 25.042 % |
1556.45/1557.07 c | 292366 | 64840 344306 963561 | 2147483647 291387 564 | 25.042 % |
1561.75/1562.34 c | 292962 | 64840 344306 963561 | 2147483647 291983 565 | 25.042 % |
1566.56/1567.10 c | 293617 | 64840 344306 963561 | 2147483647 292638 565 | 25.042 % |
1572.15/1572.79 c | 294339 | 64840 344306 963561 | 2147483647 293360 565 | 25.042 % |
1578.45/1579.04 c | 295131 | 64840 344306 963561 | 2147483647 294152 565 | 25.042 % |
1584.45/1585.02 c | 296002 | 64840 344306 963561 | 2147483647 295023 565 | 25.042 % |
1592.45/1593.07 c | 296960 | 64839 344306 963561 | 2147483647 295980 567 | 25.043 % |
1601.44/1602.09 c | 298015 | 64839 344306 963561 | 2147483647 297035 568 | 25.043 % |
1608.93/1609.50 c | 299174 | 64839 344306 963561 | 2147483647 298194 568 | 25.043 % |
1618.14/1618.80 c | 300448 | 64839 344306 963561 | 2147483647 299468 567 | 25.043 % |
1630.53/1631.14 c | 301849 | 64839 344306 963561 | 2147483647 300869 568 | 25.043 % |
1643.73/1644.30 c | 303389 | 64839 344306 963561 | 2147483647 302409 568 | 25.043 % |
1656.22/1656.81 c | 305084 | 64839 344306 963561 | 2147483647 304104 569 | 25.043 % |
1672.42/1673.10 c | 306952 | 64769 344306 963561 | 2147483647 305969 570 | 25.329 % |
1691.22/1691.81 c | 309007 | 64769 344306 963561 | 2147483647 308024 572 | 25.329 % |
1709.51/1710.15 c | 311263 | 64701 344306 963561 | 2147483647 310278 574 | 25.464 % |
1730.21/1730.84 c | 313741 | 64701 344306 963561 | 2147483647 312756 577 | 25.464 % |
1748.60/1749.20 c | 316466 | 64701 344306 963561 | 2147483647 315481 578 | 25.464 % |
1768.19/1768.88 c | 319464 | 64701 344306 963561 | 2147483647 318479 579 | 25.464 % |
1769.79/1770.47 c | 319564 | 64429 341330 956364 | 2147483647 317648 581 | 25.464 % |
1770.59/1771.27 c | 319674 | 64429 341330 956364 | 2147483647 317758 581 | 25.464 % |
1771.29/1771.99 c | 319799 | 64428 341330 956364 | 2147483647 317882 580 | 25.475 % |
1772.99/1773.62 c | 319934 | 64425 341330 956364 | 2147483647 318017 580 | 25.475 % |
1774.39/1775.10 c | 320080 | 64425 341330 956364 | 2147483647 318163 580 | 25.475 % |
1775.19/1775.86 c | 320242 | 64425 341330 956364 | 2147483647 318325 580 | 25.475 % |
1777.09/1777.70 c | 320419 | 64425 341330 956364 | 2147483647 318502 580 | 25.475 % |
1779.19/1779.87 c | 320612 | 64425 341330 956364 | 2147483647 318695 580 | 25.475 % |
1781.89/1782.57 c | 320825 | 64425 341330 956364 | 2147483647 318908 581 | 25.475 % |
1783.59/1784.28 c | 321058 | 64425 341330 956364 | 2147483647 319141 581 | 25.475 % |
1784.89/1785.52 c | 321316 | 64425 341330 956364 | 2147483647 319399 580 | 25.475 % |
1787.59/1788.26 c | 321599 | 64425 341330 956364 | 2147483647 319682 581 | 25.475 % |
1790.38/1791.03 c | 321908 | 64421 341330 956364 | 2147483647 319988 581 | 25.509 % |
1792.88/1793.52 c | 322247 | 64421 341330 956364 | 2147483647 320327 581 | 25.509 % |
1795.49/1796.13 c | 322619 | 64421 341330 956364 | 2147483647 320699 581 | 25.509 % |
1798.69/1799.37 c | 323032 | 64420 341330 956364 | 2147483647 321111 581 | 25.510 % |
1802.69/1803.37 c | 323483 | 64420 341330 956364 | 2147483647 321562 581 | 25.510 % |
1805.18/1805.89 c | 323977 | 64399 341330 956364 | 2147483647 322054 580 | 25.555 % |
1806.88/1807.57 c | 324521 | 64399 341330 956364 | 2147483647 322598 580 | 25.555 % |
1812.78/1813.44 c | 325119 | 64391 341330 956364 | 2147483647 323195 580 | 25.569 % |
1817.78/1818.47 c | 325776 | 64391 341330 956364 | 2147483647 323852 581 | 25.569 % |
1823.08/1823.77 c | 326496 | 64391 341330 956364 | 2147483647 324572 581 | 25.569 % |
1829.77/1830.40 c | 327288 | 64391 341330 956364 | 2147483647 325364 581 | 25.569 % |
1838.67/1839.39 c | 328159 | 64391 341330 956364 | 2147483647 326235 581 | 25.569 % |
1848.37/1849.10 c | 329119 | 64391 341330 956364 | 2147483647 327194 581 | 25.570 % |
1856.97/1857.68 c | 330175 | 64391 341330 956364 | 2147483647 328250 581 | 25.570 % |
1868.26/1868.93 c | 331333 | 64390 341330 956364 | 2147483647 329407 582 | 25.571 % |
1880.27/1880.93 c | 332607 | 64390 341330 956364 | 2147483647 330681 582 | 25.571 % |
1891.66/1892.35 c | 334009 | 64390 341330 956364 | 2147483647 332083 582 | 25.571 % |
1907.05/1907.79 c | 335549 | 64389 341330 956364 | 2147483647 333622 583 | 25.573 % |
1921.95/1922.67 c | 337246 | 64389 341330 956364 | 2147483647 335319 583 | 25.573 % |
1935.04/1935.74 c | 339110 | 64389 341330 956364 | 2147483647 337183 583 | 25.573 % |
1953.73/1954.43 c | 341159 | 64389 341330 956364 | 2147483647 339231 583 | 25.585 % |
1974.23/1974.93 c | 343416 | 64388 341330 956364 | 2147483647 341487 584 | 25.602 % |
1995.92/1996.61 c | 345895 | 64388 341330 956364 | 2147483647 343966 585 | 25.602 % |
2018.21/2018.96 c | 348620 | 64388 341330 956364 | 2147483647 346691 587 | 25.602 % |
2041.80/2042.55 c | 351618 | 64388 341330 956364 | 2147483647 349689 589 | 25.602 % |
2069.19/2069.97 c | 354917 | 64388 341330 956364 | 2147483647 352988 590 | 25.602 % |
2070.29/2071.08 c | 355019 | 64388 341330 956364 | 2147483647 353090 590 | 25.602 % |
2071.49/2072.20 c | 355129 | 64388 341330 956364 | 2147483647 353200 590 | 25.602 % |
2072.59/2073.31 c | 355250 | 64388 341330 956364 | 2147483647 353321 590 | 25.602 % |
2073.19/2073.91 c | 355383 | 64388 341330 956364 | 2147483647 353454 590 | 25.602 % |
2073.99/2074.79 c | 355531 | 64388 341330 956364 | 2147483647 353602 590 | 25.602 % |
2075.50/2076.24 c | 355691 | 64388 341330 956364 | 2147483647 353762 590 | 25.602 % |
2077.49/2078.24 c | 355869 | 64388 341330 956364 | 2147483647 353940 590 | 25.602 % |
2079.49/2080.20 c | 356062 | 64388 341330 956364 | 2147483647 354133 590 | 25.602 % |
2080.40/2081.16 c | 356274 | 64388 341330 956364 | 2147483647 354345 589 | 25.602 % |
2081.29/2082.01 c | 356514 | 64385 341330 956364 | 2147483647 354582 589 | 25.624 % |
2083.69/2084.42 c | 356771 | 64379 341330 956364 | 2147483647 354839 589 | 25.624 % |
2086.89/2087.65 c | 357052 | 64379 341330 956364 | 2147483647 355120 589 | 25.624 % |
2089.89/2090.69 c | 357363 | 64379 341330 956364 | 2147483647 355431 589 | 25.624 % |
2093.79/2094.59 c | 357703 | 64379 341330 956364 | 2147483647 355771 590 | 25.624 % |
2097.48/2098.27 c | 358077 | 64379 341330 956364 | 2147483647 356145 590 | 25.624 % |
2099.88/2100.64 c | 358487 | 64379 341330 956364 | 2147483647 356555 590 | 25.624 % |
2103.99/2104.70 c | 358937 | 64379 341330 956364 | 2147483647 357005 589 | 25.624 % |
2108.58/2109.31 c | 359430 | 64379 341330 956364 | 2147483647 357498 589 | 25.624 % |
2113.18/2113.96 c | 359972 | 64379 341330 956364 | 2147483647 358040 589 | 25.624 % |
2118.78/2119.54 c | 360568 | 64379 341330 956364 | 2147483647 358636 589 | 25.624 % |
2121.78/2122.51 c | 361223 | 64379 341330 956364 | 2147483647 359291 588 | 25.624 % |
2128.57/2129.40 c | 361944 | 64379 341330 956364 | 2147483647 360012 588 | 25.624 % |
2136.18/2136.94 c | 362737 | 64379 341330 956364 | 2147483647 360805 588 | 25.624 % |
2142.67/2143.43 c | 363611 | 64378 341330 956364 | 2147483647 361678 588 | 25.625 % |
2153.27/2154.07 c | 364569 | 64378 341330 956364 | 2147483647 362636 589 | 25.625 % |
2162.06/2162.82 c | 365623 | 64378 341330 956364 | 2147483647 363690 590 | 25.625 % |
2173.67/2174.42 c | 366792 | 64378 341330 956364 | 2147483647 364859 590 | 25.625 % |
2185.27/2186.06 c | 368066 | 64378 341330 956364 | 2147483647 366133 592 | 25.625 % |
2197.25/2198.10 c | 369467 | 64378 341330 956364 | 2147483647 367534 592 | 25.625 % |
2213.06/2213.82 c | 371008 | 64378 341330 956364 | 2147483647 369075 592 | 25.625 % |
2230.15/2230.91 c | 372702 | 64378 341330 956364 | 2147483647 370769 593 | 25.625 % |
2246.84/2247.68 c | 374568 | 64372 341330 956364 | 2147483647 372632 594 | 25.650 % |
2264.53/2265.38 c | 376617 | 64372 341330 956364 | 2147483647 374681 594 | 25.650 % |
2285.04/2285.89 c | 378870 | 64372 341330 956364 | 2147483647 376934 595 | 25.650 % |
2305.63/2306.43 c | 381348 | 64372 341330 956364 | 2147483647 379412 595 | 25.650 % |
2329.81/2330.65 c | 384073 | 64372 341330 956364 | 2147483647 382137 595 | 25.650 % |
2355.91/2356.75 c | 387070 | 64372 341330 956364 | 2147483647 385134 597 | 25.650 % |
2387.21/2388.04 c | 390368 | 64268 340217 953616 | 2147483647 388117 597 | 25.655 % |
2422.19/2423.09 c | 393994 | 64268 340217 953616 | 2147483647 391743 598 | 25.655 % |
2422.89/2423.76 c | 394094 | 64268 340217 953616 | 2147483647 391843 598 | 25.655 % |
2424.19/2425.01 c | 394205 | 64268 340217 953616 | 2147483647 391954 598 | 25.655 % |
2425.29/2426.15 c | 394326 | 64268 340217 953616 | 2147483647 392075 598 | 25.655 % |
2427.09/2428.00 c | 394461 | 64268 340217 953616 | 2147483647 392210 598 | 25.655 % |
2428.69/2429.53 c | 394608 | 64268 340217 953616 | 2147483647 392357 598 | 25.655 % |
2429.38/2430.23 c | 394768 | 64268 340217 953616 | 2147483647 392517 598 | 25.655 % |
2431.08/2431.96 c | 394944 | 64268 340217 953616 | 2147483647 392693 598 | 25.655 % |
2433.68/2434.57 c | 395138 | 64268 340217 953616 | 2147483647 392887 598 | 25.655 % |
2435.78/2436.69 c | 395353 | 64268 340217 953616 | 2147483647 393102 598 | 25.655 % |
2438.29/2439.15 c | 395587 | 64268 340217 953616 | 2147483647 393336 598 | 25.655 % |
2440.59/2441.42 c | 395844 | 64268 340217 953616 | 2147483647 393593 598 | 25.655 % |
2443.29/2444.17 c | 396127 | 64268 340217 953616 | 2147483647 393876 597 | 25.655 % |
2447.08/2447.96 c | 396437 | 64268 340217 953616 | 2147483647 394186 598 | 25.655 % |
2450.78/2451.68 c | 396776 | 64268 340217 953616 | 2147483647 394525 598 | 25.655 % |
2454.38/2455.25 c | 397148 | 64268 340217 953616 | 2147483647 394897 598 | 25.655 % |
2455.97/2456.80 c | 397557 | 64268 340217 953616 | 2147483647 395306 597 | 25.655 % |
2461.18/2462.04 c | 398006 | 64268 340217 953616 | 2147483647 395755 598 | 25.655 % |
2466.48/2467.31 c | 398499 | 64268 340217 953616 | 2147483647 396248 598 | 25.655 % |
2472.08/2472.94 c | 399045 | 64268 340217 953616 | 2147483647 396794 598 | 25.655 % |
2476.38/2477.28 c | 399643 | 64268 340217 953616 | 2147483647 397392 597 | 25.655 % |
2482.57/2483.40 c | 400299 | 64268 340217 953616 | 2147483647 398048 598 | 25.655 % |
2489.97/2490.87 c | 401019 | 64268 340217 953616 | 2147483647 398768 598 | 25.655 % |
2496.77/2497.69 c | 401811 | 64268 340217 953616 | 2147483647 399560 598 | 25.655 % |
2505.06/2505.91 c | 402684 | 64268 340217 953616 | 2147483647 400433 598 | 25.655 % |
2514.16/2515.04 c | 403642 | 64268 340217 953616 | 2147483647 401391 598 | 25.655 % |
2523.26/2524.12 c | 404696 | 64268 340217 953616 | 2147483647 402445 599 | 25.655 % |
2533.06/2533.92 c | 405854 | 64268 340217 953616 | 2147483647 403603 599 | 25.655 % |
2544.86/2545.79 c | 407130 | 64268 340217 953616 | 2147483647 404879 600 | 25.655 % |
2559.04/2559.92 c | 408531 | 64268 340217 953616 | 2147483647 406280 600 | 25.655 % |
2575.14/2576.02 c | 410071 | 64268 340217 953616 | 2147483647 407820 600 | 25.655 % |
2591.84/2592.77 c | 411765 | 64261 340217 953616 | 2147483647 409513 601 | 25.668 % |
2609.73/2610.62 c | 413628 | 64261 340217 953616 | 2147483647 411376 601 | 25.668 % |
2630.33/2631.26 c | 415677 | 64260 340217 953616 | 2147483647 413424 600 | 25.669 % |
2654.52/2655.50 c | 417930 | 64260 340217 953616 | 2147483647 415677 600 | 25.669 % |
2675.12/2676.04 c | 420412 | 64260 340217 953616 | 2147483647 418159 600 | 25.669 % |
2695.31/2696.22 c | 423138 | 64260 340217 953616 | 2147483647 420885 600 | 25.669 % |
2725.69/2726.61 c | 426135 | 64255 340217 953616 | 2147483647 423881 601 | 25.826 % |
2757.19/2758.16 c | 429431 | 64252 340217 953616 | 2147483647 427173 602 | 25.845 % |
2794.08/2795.08 c | 433056 | 64252 340217 953616 | 2147483647 430797 604 | 25.865 % |
2837.66/2838.60 c | 437043 | 64252 340217 953616 | 2147483647 434784 608 | 25.865 % |
2838.36/2839.34 c | 437143 | 64252 340217 953616 | 2147483647 434884 608 | 25.865 % |
2839.47/2840.50 c | 437259 | 64252 340217 953616 | 2147483647 435000 608 | 25.865 % |
2840.87/2841.83 c | 437383 | 64252 340217 953616 | 2147483647 435124 608 | 25.865 % |
2842.17/2843.18 c | 437516 | 64252 340217 953616 | 2147483647 435257 608 | 25.865 % |
2843.17/2844.13 c | 437665 | 64252 340217 953616 | 2147483647 435406 608 | 25.865 % |
2843.67/2844.63 c | 437826 | 64252 340217 953616 | 2147483647 435567 608 | 25.865 % |
2844.37/2845.37 c | 438004 | 64252 340217 953616 | 2147483647 435745 608 | 25.865 % |
2845.17/2846.17 c | 438197 | 64252 340217 953616 | 2147483647 435938 607 | 25.865 % |
2847.66/2848.63 c | 438412 | 64252 340217 953616 | 2147483647 436153 607 | 25.865 % |
2850.16/2851.13 c | 438646 | 64252 340217 953616 | 2147483647 436387 607 | 25.865 % |
2853.46/2854.45 c | 438902 | 64251 340217 953616 | 2147483647 436642 607 | 25.866 % |
2855.86/2856.88 c | 439188 | 64251 340217 953616 | 2147483647 436928 607 | 25.866 % |
2858.96/2859.91 c | 439501 | 64251 340217 953616 | 2147483647 437241 607 | 25.866 % |
2863.06/2864.07 c | 439840 | 64251 340217 953616 | 2147483647 437580 607 | 25.866 % |
2867.45/2868.49 c | 440212 | 64251 340217 953616 | 2147483647 437952 607 | 25.866 % |
2871.36/2872.31 c | 440621 | 64251 340217 953616 | 2147483647 438361 607 | 25.866 % |
2876.05/2877.04 c | 441071 | 64251 340217 953616 | 2147483647 438811 607 | 25.866 % |
2881.65/2882.61 c | 441565 | 64251 340217 953616 | 2147483647 439305 607 | 25.866 % |
2886.95/2887.92 c | 442107 | 64251 340217 953616 | 2147483647 439847 607 | 25.866 % |
2892.95/2893.90 c | 442703 | 64251 340217 953616 | 2147483647 440443 607 | 25.866 % |
2899.15/2900.16 c | 443358 | 64250 340217 953616 | 2147483647 441097 607 | 25.919 % |
2906.85/2907.81 c | 444078 | 64250 340217 953616 | 2147483647 441817 607 | 25.919 % |
2913.74/2914.74 c | 444870 | 64250 340217 953616 | 2147483647 442609 607 | 25.919 % |
2922.04/2923.09 c | 445745 | 64250 340217 953616 | 2147483647 443483 607 | 25.920 % |
2931.04/2932.03 c | 446703 | 64247 340217 953616 | 2147483647 444439 607 | 25.949 % |
2942.44/2943.49 c | 447756 | 64247 340217 953616 | 2147483647 445492 607 | 25.949 % |
2953.53/2954.59 c | 448914 | 64243 340217 953616 | 2147483647 446648 607 | 25.969 % |
2967.32/2968.32 c | 450188 | 64243 340217 953616 | 2147483647 447922 607 | 25.969 % |
2982.63/2983.63 c | 451588 | 64243 340217 953616 | 2147483647 449322 608 | 25.969 % |
2995.81/2996.86 c | 453129 | 64243 340217 953616 | 2147483647 450863 609 | 25.969 % |
3013.91/3014.92 c | 454823 | 64243 340217 953616 | 2147483647 452557 609 | 25.969 % |
3031.01/3032.03 c | 456690 | 64243 340217 953616 | 2147483647 454424 610 | 25.969 % |
3049.90/3050.97 c | 458742 | 64243 340217 953616 | 2147483647 456476 610 | 25.969 % |
3070.49/3071.52 c | 461000 | 64242 340217 953616 | 2147483647 458733 609 | 25.971 % |
3090.69/3091.76 c | 463478 | 64242 340217 953616 | 2147483647 461211 610 | 25.971 % |
3119.78/3120.90 c | 466203 | 64242 340217 953616 | 2147483647 463936 611 | 25.971 % |
3144.58/3145.70 c | 469201 | 64242 340217 953616 | 2147483647 466934 612 | 25.971 % |
3172.56/3173.63 c | 472497 | 64242 340217 953616 | 2147483647 470230 613 | 25.971 % |
3205.16/3206.24 c | 476122 | 64242 340217 953616 | 2147483647 473855 614 | 25.971 % |
3243.85/3244.93 c | 480109 | 63991 338557 949648 | 2147483647 477757 615 | 25.971 % |
3291.23/3292.30 c | 484494 | 63989 338557 949648 | 2147483647 482140 617 | 25.973 % |
3292.14/3293.25 c | 484594 | 63989 338557 949648 | 2147483647 482240 617 | 25.973 % |
3293.24/3294.34 c | 484705 | 63989 338557 949648 | 2147483647 482351 617 | 25.973 % |
3295.04/3296.10 c | 484827 | 63989 338557 949648 | 2147483647 482473 617 | 25.973 % |
3296.64/3297.76 c | 484962 | 63989 338557 949648 | 2147483647 482608 617 | 25.973 % |
3298.53/3299.68 c | 485109 | 63989 338557 949648 | 2147483647 482755 617 | 25.973 % |
3299.94/3301.09 c | 485270 | 63989 338557 949648 | 2147483647 482916 617 | 25.973 % |
3302.13/3303.23 c | 485446 | 63989 338557 949648 | 2147483647 483092 617 | 25.973 % |
3304.03/3305.16 c | 485640 | 63989 338557 949648 | 2147483647 483286 617 | 25.973 % |
3306.53/3307.63 c | 485853 | 63989 338557 949648 | 2147483647 483499 617 | 25.973 % |
3309.22/3310.34 c | 486086 | 63989 338557 949648 | 2147483647 483732 617 | 25.973 % |
3312.03/3313.12 c | 486342 | 63989 338557 949648 | 2147483647 483988 617 | 25.973 % |
3315.33/3316.47 c | 486624 | 63989 338557 949648 | 2147483647 484270 617 | 25.973 % |
3317.93/3319.08 c | 486934 | 63989 338557 949648 | 2147483647 484580 617 | 25.973 % |
3321.22/3322.33 c | 487274 | 63988 338557 949648 | 2147483647 484919 616 | 25.974 % |
3326.32/3327.48 c | 487646 | 63988 338557 949648 | 2147483647 485291 616 | 25.974 % |
3330.92/3332.02 c | 488057 | 63988 338557 949648 | 2147483647 485702 616 | 25.974 % |
3336.23/3337.34 c | 488506 | 63986 338557 949648 | 2147483647 486150 616 | 25.988 % |
3341.22/3342.39 c | 489000 | 63986 338557 949648 | 2147483647 486644 616 | 25.988 % |
3345.71/3346.88 c | 489542 | 63980 338557 949648 | 2147483647 487184 616 | 26.018 % |
3352.11/3353.27 c | 490138 | 63980 338557 949648 | 2147483647 487780 616 | 26.018 % |
3359.11/3360.25 c | 490793 | 63980 338557 949648 | 2147483647 488435 616 | 26.018 % |
3365.81/3366.95 c | 491514 | 63980 338557 949648 | 2147483647 489156 616 | 26.018 % |
3374.00/3375.12 c | 492308 | 63980 338557 949648 | 2147483647 489950 617 | 26.018 % |
3383.21/3384.39 c | 493179 | 63980 338557 949648 | 2147483647 490821 617 | 26.018 % |
3391.40/3392.55 c | 494141 | 63980 338557 949648 | 2147483647 491783 617 | 26.018 % |
3399.60/3400.79 c | 495195 | 63980 338557 949648 | 2147483647 492837 617 | 26.018 % |
3409.20/3410.37 c | 496353 | 63980 338557 949648 | 2147483647 493995 617 | 26.018 % |
3421.29/3422.46 c | 497627 | 63980 338557 949648 | 2147483647 495269 617 | 26.018 % |
3438.49/3439.64 c | 499028 | 63979 338557 949648 | 2147483647 496669 617 | 26.034 % |
3454.99/3456.16 c | 500568 | 63969 338557 949648 | 2147483647 498207 618 | 26.055 % |
3474.48/3475.64 c | 502263 | 63969 338557 949648 | 2147483647 499902 619 | 26.055 % |
3496.87/3498.05 c | 504126 | 63969 338557 949648 | 2147483647 501765 619 | 26.055 % |
3518.36/3519.53 c | 506177 | 63969 338557 949648 | 2147483647 503816 619 | 26.055 % |
3542.46/3543.65 c | 508431 | 63969 338557 949648 | 2147483647 506070 620 | 26.055 % |
3572.44/3573.69 c | 510911 | 63969 338557 949648 | 2147483647 508550 620 | 26.055 % |
3603.54/3604.78 c | 513637 | 63967 338557 949648 | 2147483647 511275 620 | 26.068 % |
3631.93/3633.17 c | 516634 | 63967 338557 949648 | 2147483647 514272 621 | 26.068 % |
3662.82/3664.09 c | 519930 | 63967 338557 949648 | 2147483647 517568 623 | 26.068 % |
3699.31/3700.53 c | 523558 | 63967 338557 949648 | 2147483647 521196 624 | 26.068 % |
3739.30/3740.51 c | 527546 | 63967 338557 949648 | 2147483647 525184 626 | 26.068 % |
3781.78/3783.05 c | 531934 | 63967 338557 949648 | 2147483647 529572 628 | 26.068 % |
3833.57/3834.85 c | 536757 | 63966 338557 949648 | 2147483647 534393 629 | 26.094 % |
3834.77/3836.08 c | 536857 | 63966 338557 949648 | 2147483647 534493 629 | 26.094 % |
3836.17/3837.43 c | 536967 | 63966 338557 949648 | 2147483647 534603 629 | 26.094 % |
3837.77/3839.07 c | 537088 | 63966 338557 949648 | 2147483647 534724 629 | 26.094 % |
3838.57/3839.87 c | 537221 | 63966 338557 949648 | 2147483647 534857 629 | 26.094 % |
3839.67/3840.90 c | 537368 | 63966 338557 949648 | 2147483647 535004 629 | 26.094 % |
3841.27/3842.59 c | 537528 | 63966 338557 949648 | 2147483647 535164 629 | 26.094 % |
3842.47/3843.75 c | 537705 | 63966 338557 949648 | 2147483647 535341 629 | 26.094 % |
3845.67/3846.92 c | 537898 | 63966 338557 949648 | 2147483647 535534 628 | 26.094 % |
3847.87/3849.12 c | 538110 | 63966 338557 949648 | 2147483647 535746 628 | 26.094 % |
3850.87/3852.12 c | 538343 | 63966 338557 949648 | 2147483647 535979 628 | 26.094 % |
3854.56/3855.82 c | 538602 | 63966 338557 949648 | 2147483647 536238 628 | 26.094 % |
3858.36/3859.63 c | 538883 | 63965 338557 949648 | 2147483647 536518 628 | 26.109 % |
3861.66/3862.96 c | 539192 | 63965 338557 949648 | 2147483647 536827 628 | 26.109 % |
3865.76/3867.00 c | 539532 | 63965 338557 949648 | 2147483647 537167 629 | 26.109 % |
3870.76/3872.03 c | 539906 | 63965 338557 949648 | 2147483647 537541 629 | 26.109 % |
3876.35/3877.60 c | 540316 | 63965 338557 949648 | 2147483647 537951 629 | 26.109 % |
3881.36/3882.63 c | 540766 | 63965 338557 949648 | 2147483647 538401 629 | 26.109 % |
3887.45/3888.78 c | 541261 | 63965 338557 949648 | 2147483647 538896 629 | 26.109 % |
3894.35/3895.67 c | 541805 | 63965 338557 949648 | 2147483647 539440 629 | 26.109 % |
3901.05/3902.40 c | 542403 | 63965 338557 949648 | 2147483647 540038 629 | 26.109 % |
3909.15/3910.41 c | 543058 | 63964 338557 949648 | 2147483647 540691 629 | 26.135 % |
3916.14/3917.48 c | 543778 | 63961 338557 949648 | 2147483647 541410 629 | 26.146 % |
3926.04/3927.33 c | 544570 | 63961 338557 949648 | 2147483647 542202 629 | 26.146 % |
3933.64/3934.96 c | 545441 | 63961 338557 949648 | 2147483647 543073 629 | 26.146 % |
3944.14/3945.41 c | 546402 | 63961 338557 949648 | 2147483647 544034 629 | 26.146 % |
3955.23/3956.51 c | 547455 | 63961 338557 949648 | 2147483647 545087 629 | 26.146 % |
3966.93/3968.20 c | 548614 | 63961 338557 949648 | 2147483647 546246 628 | 26.146 % |
3981.42/3982.77 c | 549890 | 63961 338557 949648 | 2147483647 547522 628 | 26.146 % |
3995.82/3997.14 c | 551290 | 63961 338557 949648 | 2147483647 548922 628 | 26.146 % |
4014.51/4015.81 c | 552831 | 63960 338557 949648 | 2147483647 550461 628 | 26.161 % |
4034.61/4035.94 c | 554526 | 63960 338557 949648 | 2147483647 552156 628 | 26.161 % |
4050.30/4051.67 c | 556390 | 63959 338557 949648 | 2147483647 554019 628 | 26.163 % |
4072.10/4073.45 c | 558439 | 63959 338557 949648 | 2147483647 556068 628 | 26.163 % |
4095.00/4096.36 c | 560694 | 63959 338557 949648 | 2147483647 558323 628 | 26.163 % |
4120.59/4122.00 c | 563172 | 63959 338557 949648 | 2147483647 560801 628 | 26.163 % |
4153.77/4155.15 c | 565897 | 63959 338557 949648 | 2147483647 563525 628 | 26.167 % |
4191.66/4193.01 c | 568895 | 63959 338557 949648 | 2147483647 566523 628 | 26.167 % |
4228.85/4230.29 c | 572191 | 63959 338557 949648 | 2147483647 569818 628 | 26.172 % |
4276.54/4277.98 c | 575817 | 63959 338557 949648 | 2147483647 573444 629 | 26.172 % |
4323.12/4324.58 c | 579805 | 63959 338557 949648 | 2147483647 577432 630 | 26.172 % |
4367.51/4368.94 c | 584190 | 63959 338557 949648 | 2147483647 581817 630 | 26.172 % |
4421.99/4423.45 c | 589015 | 63959 338557 949648 | 2147483647 586641 630 | 26.177 % |
4483.08/4484.55 c | 594320 | 63813 337321 946494 | 2147483647 591758 631 | 26.177 % |
4484.47/4485.95 c | 594425 | 63813 337321 946494 | 2147483647 591863 631 | 26.177 % |
4485.77/4487.29 c | 594535 | 63813 337321 946494 | 2147483647 591973 631 | 26.177 % |
4487.37/4488.88 c | 594658 | 63813 337321 946494 | 2147483647 592096 631 | 26.177 % |
4489.67/4491.15 c | 594794 | 63813 337321 946494 | 2147483647 592232 631 | 26.177 % |
4491.57/4493.09 c | 594941 | 63813 337321 946494 | 2147483647 592379 631 | 26.177 % |
4493.87/4495.36 c | 595102 | 63813 337321 946494 | 2147483647 592540 631 | 26.177 % |
4496.27/4497.80 c | 595279 | 63813 337321 946494 | 2147483647 592717 631 | 26.177 % |
4498.77/4500.29 c | 595473 | 63813 337321 946494 | 2147483647 592911 631 | 26.177 % |
4501.37/4502.80 c | 595686 | 63813 337321 946494 | 2147483647 593124 631 | 26.177 % |
4504.56/4506.07 c | 595919 | 63813 337321 946494 | 2147483647 593357 631 | 26.177 % |
4507.56/4509.06 c | 596175 | 63813 337321 946494 | 2147483647 593613 631 | 26.177 % |
4509.67/4511.14 c | 596458 | 63812 337321 946494 | 2147483647 593895 631 | 26.180 % |
4511.16/4512.65 c | 596769 | 63811 337321 946494 | 2147483647 594205 631 | 26.181 % |
4514.66/4516.17 c | 597110 | 63808 337321 946494 | 2147483647 594544 631 | 26.215 % |
4518.96/4520.48 c | 597483 | 63807 337321 946494 | 2147483647 594916 631 | 26.223 % |
4523.97/4525.46 c | 597892 | 63807 337321 946494 | 2147483647 595325 631 | 26.223 % |
4529.16/4530.69 c | 598341 | 63807 337321 946494 | 2147483647 595774 631 | 26.223 % |
4536.36/4537.88 c | 598834 | 63807 337321 946494 | 2147483647 596267 631 | 26.223 % |
4542.95/4544.42 c | 599377 | 63806 337321 946494 | 2147483647 596809 631 | 26.224 % |
4548.16/4549.62 c | 599973 | 63806 337321 946494 | 2147483647 597405 631 | 26.224 % |
4556.56/4558.03 c | 600628 | 63806 337321 946494 | 2147483647 598060 631 | 26.224 % |
4563.65/4565.19 c | 601349 | 63806 337321 946494 | 2147483647 598781 631 | 26.224 % |
4573.25/4574.75 c | 602142 | 63806 337321 946494 | 2147483647 599574 631 | 26.224 % |
4583.94/4585.42 c | 603013 | 63806 337321 946494 | 2147483647 600445 631 | 26.224 % |
4602.44/4603.97 c | 603973 | 63799 337321 946494 | 2147483647 601403 631 | 26.258 % |
4615.14/4616.66 c | 605026 | 63799 337321 946494 | 2147483647 602456 631 | 26.258 % |
4629.93/4631.48 c | 606185 | 63799 337321 946494 | 2147483647 603615 631 | 26.258 % |
4646.63/4648.14 c | 607460 | 63799 337321 946494 | 2147483647 604890 631 | 26.258 % |
4655.72/4657.26 c | 608861 | 63796 337321 946494 | 2147483647 606288 631 | 26.280 % |
4679.81/4681.36 c | 610401 | 63796 337321 946494 | 2147483647 607828 631 | 26.280 % |
4699.51/4701.07 c | 612097 | 63796 337321 946494 | 2147483647 609524 631 | 26.280 % |
4727.31/4728.84 c | 613960 | 63796 337321 946494 | 2147483647 611387 631 | 26.280 % |
4757.59/4759.11 c | 616011 | 63796 337321 946494 | 2147483647 613438 631 | 26.280 % |
4781.09/4782.67 c | 618269 | 63796 337321 946494 | 2147483647 615696 632 | 26.280 % |
4812.27/4813.83 c | 620748 | 63796 337321 946494 | 2147483647 618175 633 | 26.280 % |
4847.87/4849.43 c | 623476 | 63796 337321 946494 | 2147483647 620903 634 | 26.280 % |
4886.05/4887.69 c | 626474 | 63796 337321 946494 | 2147483647 623901 634 | 26.280 % |
4927.34/4928.97 c | 629770 | 63796 337321 946494 | 2147483647 627197 635 | 26.280 % |
4969.83/4971.44 c | 633396 | 63613 337321 946494 | 2147483647 630819 635 | 26.708 % |
5022.52/5024.13 c | 637384 | 63613 337321 946494 | 2147483647 634807 636 | 26.708 % |
5082.40/5084.09 c | 641769 | 63611 337321 946494 | 2147483647 639190 636 | 26.710 % |
5134.19/5135.84 c | 646594 | 63611 337321 946494 | 2147483647 644015 635 | 26.710 % |
5203.76/5205.48 c | 651900 | 63593 337321 946494 | 2147483647 649315 636 | 26.761 % |
5290.34/5292.07 c | 657736 | 63592 337321 946494 | 2147483647 655150 636 | 26.765 % |
5292.23/5293.93 c | 657836 | 63592 337321 946494 | 2147483647 655250 636 | 26.765 % |
5294.03/5295.77 c | 657946 | 63592 337321 946494 | 2147483647 655360 636 | 26.765 % |
5296.23/5297.90 c | 658067 | 63592 337321 946494 | 2147483647 655481 636 | 26.765 % |
5298.53/5300.26 c | 658200 | 63592 337321 946494 | 2147483647 655614 636 | 26.765 % |
5300.93/5302.66 c | 658346 | 63592 337321 946494 | 2147483647 655760 636 | 26.765 % |
5302.23/5303.99 c | 658508 | 63592 337321 946494 | 2147483647 655922 636 | 26.765 % |
5305.23/5306.90 c | 658684 | 63592 337321 946494 | 2147483647 656098 636 | 26.765 % |
5308.83/5310.55 c | 658877 | 63592 337321 946494 | 2147483647 656291 636 | 26.765 % |
5312.52/5314.27 c | 659091 | 63592 337321 946494 | 2147483647 656505 636 | 26.765 % |
5316.02/5317.73 c | 659324 | 63592 337321 946494 | 2147483647 656738 636 | 26.765 % |
5319.32/5321.08 c | 659580 | 63592 337321 946494 | 2147483647 656994 636 | 26.765 % |
5323.32/5325.07 c | 659862 | 63592 337321 946494 | 2147483647 657275 636 | 26.778 % |
5329.73/5331.44 c | 660172 | 63592 337321 946494 | 2147483647 657585 636 | 26.778 % |
5333.73/5335.49 c | 660511 | 63592 337321 946494 | 2147483647 657924 636 | 26.778 % |
5339.83/5341.51 c | 660884 | 63592 337321 946494 | 2147483647 658297 637 | 26.778 % |
5345.12/5346.81 c | 661293 | 63592 337321 946494 | 2147483647 658706 637 | 26.778 % |
5350.71/5352.43 c | 661743 | 63592 337321 946494 | 2147483647 659156 637 | 26.778 % |
5356.92/5358.66 c | 662236 | 63592 337321 946494 | 2147483647 659649 637 | 26.778 % |
5363.92/5365.62 c | 662778 | 63592 337321 946494 | 2147483647 660191 637 | 26.778 % |
5371.51/5373.20 c | 663374 | 63592 337321 946494 | 2147483647 660787 637 | 26.778 % |
5378.91/5380.62 c | 664031 | 63592 337321 946494 | 2147483647 661444 638 | 26.778 % |
5389.80/5391.56 c | 664752 | 63592 337321 946494 | 2147483647 662165 638 | 26.778 % |
5401.20/5402.96 c | 665544 | 63592 337321 946494 | 2147483647 662957 638 | 26.778 % |
5414.00/5415.79 c | 666416 | 63592 337321 946494 | 2147483647 663829 638 | 26.778 % |
5428.70/5430.45 c | 667374 | 63592 337321 946494 | 2147483647 664787 639 | 26.778 % |
5442.99/5444.76 c | 668429 | 63592 337321 946494 | 2147483647 665842 639 | 26.778 % |
5457.78/5459.57 c | 669588 | 63592 337321 946494 | 2147483647 667001 639 | 26.778 % |
5470.08/5471.83 c | 670863 | 63592 337321 946494 | 2147483647 668276 639 | 26.778 % |
5487.77/5489.54 c | 672269 | 63592 337321 946494 | 2147483647 669682 639 | 26.778 % |
5508.67/5510.44 c | 673810 | 63592 337321 946494 | 2147483647 671223 639 | 26.778 % |
5530.66/5532.42 c | 675504 | 63592 337321 946494 | 2147483647 672917 639 | 26.778 % |
5554.16/5555.90 c | 677368 | 63591 337321 946494 | 2147483647 674780 639 | 26.791 % |
5579.35/5581.10 c | 679417 | 63591 337321 946494 | 2147483647 676829 639 | 26.791 % |
5612.34/5614.17 c | 681670 | 63591 337321 946494 | 2147483647 679082 640 | 26.791 % |
5643.83/5645.69 c | 684151 | 63591 337321 946494 | 2147483647 681563 642 | 26.791 % |
5677.52/5679.37 c | 686878 | 63590 337321 946494 | 2147483647 684289 643 | 26.792 % |
5714.51/5716.30 c | 689876 | 63589 337321 946494 | 2147483647 687286 643 | 26.805 % |
5755.20/5757.00 c | 693172 | 63585 337321 946494 | 2147483647 690581 643 | 26.821 % |
5795.28/5797.14 c | 696797 | 63585 337321 946494 | 2147483647 694206 644 | 26.821 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837054-1242857018/watcher-1837054-1242857018 -o /tmp/evaluation-result-1837054-1242857018/solver-1837054-1242857018 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837054-1242857018.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.00 0.00 0.00 3/64 20848
/proc/meminfo: memFree=1703056/2055920 swapFree=4179088/4192956
[pid=20848] ppid=20846 vsize=5356 CPUtime=0
/proc/20848/stat : 20848 (SatELiteGTI) S 20846 20848 20811 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 313729453 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20848/statm: 1339 237 197 169 0 50 0
[startup+0.055632 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 20848
/proc/meminfo: memFree=1703056/2055920 swapFree=4179088/4192956
[pid=20848] ppid=20846 vsize=5356 CPUtime=0
/proc/20848/stat : 20848 (SatELiteGTI) S 20846 20848 20811 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 313729453 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20848/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101635 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 20848
/proc/meminfo: memFree=1703056/2055920 swapFree=4179088/4192956
[pid=20848] ppid=20846 vsize=5356 CPUtime=0
/proc/20848/stat : 20848 (SatELiteGTI) S 20846 20848 20811 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 313729453 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20848/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301659 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 20848
/proc/meminfo: memFree=1703056/2055920 swapFree=4179088/4192956
[pid=20848] ppid=20846 vsize=5356 CPUtime=0
/proc/20848/stat : 20848 (SatELiteGTI) S 20846 20848 20811 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 313729453 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20848/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701703 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 20848
/proc/meminfo: memFree=1703056/2055920 swapFree=4179088/4192956
[pid=20848] ppid=20846 vsize=5356 CPUtime=0
/proc/20848/stat : 20848 (SatELiteGTI) S 20846 20848 20811 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 313729453 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20848/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50179 s]
/proc/loadavg: 0.00 0.00 0.00 2/66 20853
/proc/meminfo: memFree=1620992/2055920 swapFree=4179088/4192956
[pid=20848] ppid=20846 vsize=5356 CPUtime=0
/proc/20848/stat : 20848 (SatELiteGTI) S 20846 20848 20811 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 313729453 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20848/statm: 1339 237 197 169 0 50 0
[pid=20852] ppid=20848 vsize=96900 CPUtime=1.48
/proc/20852/stat : 20852 (SatELite_releas) R 20848 20848 20811 0 -1 4194304 23140 0 0 0 135 13 0 0 25 0 1 0 313729453 99225600 21241 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 1 0 0
/proc/20852/statm: 24225 21241 76 173 0 24050 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 102256
[startup+3.10197 s]
/proc/loadavg: 0.00 0.00 0.00 2/66 20853
/proc/meminfo: memFree=1612096/2055920 swapFree=4179088/4192956
[pid=20848] ppid=20846 vsize=5356 CPUtime=0
/proc/20848/stat : 20848 (SatELiteGTI) S 20846 20848 20811 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 313729453 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20848/statm: 1339 237 197 169 0 50 0
[pid=20852] ppid=20848 vsize=103276 CPUtime=3.08
/proc/20852/stat : 20852 (SatELite_releas) R 20848 20848 20811 0 -1 4194304 24077 0 0 0 294 14 0 0 25 0 1 0 313729453 105754624 22040 1992294400 134512640 135223648 4294956128 18446744073709551615 134586890 0 0 4096 3 0 0 0 17 1 0 0
/proc/20852/statm: 25819 22040 76 173 0 25644 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 108632
[startup+6.30233 s]
/proc/loadavg: 0.08 0.02 0.01 2/66 20853
/proc/meminfo: memFree=1602048/2055920 swapFree=4179088/4192956
[pid=20848] ppid=20846 vsize=5356 CPUtime=0
/proc/20848/stat : 20848 (SatELiteGTI) S 20846 20848 20811 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 313729453 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20848/statm: 1339 237 197 169 0 50 0
[pid=20852] ppid=20848 vsize=106084 CPUtime=6.28
/proc/20852/stat : 20852 (SatELite_releas) R 20848 20848 20811 0 -1 4194304 33826 0 0 0 606 22 0 0 25 0 1 0 313729453 108630016 22832 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/20852/statm: 26521 22832 76 173 0 26346 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 111440
[startup+12.7011 s]
/proc/loadavg: 0.15 0.03 0.01 2/66 20854
/proc/meminfo: memFree=1660672/2055920 swapFree=4179088/4192956
[pid=20848] ppid=20846 vsize=5356 CPUtime=6.52
/proc/20848/stat : 20848 (SatELiteGTI) S 20846 20848 20811 0 -1 4194304 336 34077 0 0 0 0 625 27 16 0 1 0 313729453 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20848/statm: 1339 239 197 169 0 50 0
[pid=20854] ppid=20848 vsize=29528 CPUtime=6.15
/proc/20854/stat : 20854 (minisat_static) R 20848 20848 20811 0 -1 4194304 6935 0 0 0 611 4 0 0 25 0 1 0 313730106 30236672 6884 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/20854/statm: 7382 6884 77 171 0 7209 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 34884
[startup+25.5015 s]
/proc/loadavg: 0.34 0.08 0.02 2/66 20854
/proc/meminfo: memFree=1655168/2055920 swapFree=4179088/4192956
[pid=20848] ppid=20846 vsize=5356 CPUtime=6.52
/proc/20848/stat : 20848 (SatELiteGTI) S 20846 20848 20811 0 -1 4194304 336 34077 0 0 0 0 625 27 16 0 1 0 313729453 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20848/statm: 1339 239 197 169 0 50 0
[pid=20854] ppid=20848 vsize=34992 CPUtime=18.96
/proc/20854/stat : 20854 (minisat_static) R 20848 20848 20811 0 -1 4194304 8301 0 0 0 1890 6 0 0 25 0 1 0 313730106 35831808 8250 1992294400 134512640 135215339 4294956240 18446744073709551615 134532704 0 0 4096 3 0 0 0 17 1 0 0
/proc/20854/statm: 8748 8250 77 171 0 8575 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 40348
[startup+51.1014 s]
/proc/loadavg: 0.56 0.15 0.05 2/66 20854
/proc/meminfo: memFree=1641984/2055920 swapFree=4179088/4192956
[pid=20848] ppid=20846 vsize=5356 CPUtime=6.52
/proc/20848/stat : 20848 (SatELiteGTI) S 20846 20848 20811 0 -1 4194304 336 34077 0 0 0 0 625 27 16 0 1 0 313729453 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20848/statm: 1339 239 197 169 0 50 0
[pid=20854] ppid=20848 vsize=48348 CPUtime=44.54
/proc/20854/stat : 20854 (minisat_static) R 20848 20848 20811 0 -1 4194304 11637 0 0 0 4444 10 0 0 25 0 1 0 313730106 49508352 11586 1992294400 134512640 135215339 4294956240 18446744073709551615 134538574 0 0 4096 3 0 0 0 17 1 0 0
/proc/20854/statm: 12087 11586 77 171 0 11914 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 53704
[startup+102.305 s]
/proc/loadavg: 0.81 0.28 0.10 2/66 20854
/proc/meminfo: memFree=1616000/2055920 swapFree=4179088/4192956
[pid=20848] ppid=20846 vsize=5356 CPUtime=6.52
/proc/20848/stat : 20848 (SatELiteGTI) S 20846 20848 20811 0 -1 4194304 336 34077 0 0 0 0 625 27 16 0 1 0 313729453 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20848/statm: 1339 239 197 169 0 50 0
[pid=20854] ppid=20848 vsize=74000 CPUtime=95.71
/proc/20854/stat : 20854 (minisat_static) R 20848 20848 20811 0 -1 4194304 18065 0 0 0 9556 15 0 0 25 0 1 0 313730106 75776000 18014 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/20854/statm: 18500 18014 77 171 0 18327 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 79356
[startup+162.302 s]
/proc/loadavg: 0.93 0.41 0.15 2/66 20854
/proc/meminfo: memFree=1583872/2055920 swapFree=4179088/4192956
[pid=20848] ppid=20846 vsize=5356 CPUtime=6.52
/proc/20848/stat : 20848 (SatELiteGTI) S 20846 20848 20811 0 -1 4194304 336 34077 0 0 0 0 625 27 16 0 1 0 313729453 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20848/statm: 1339 239 197 169 0 50 0
[pid=20854] ppid=20848 vsize=106636 CPUtime=155.69
/proc/20854/stat : 20854 (minisat_static) R 20848 20848 20811 0 -1 4194304 26206 0 0 0 15547 22 0 0 25 0 1 0 313730106 109195264 26155 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/20854/statm: 26659 26156 77 171 0 26486 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 111992
[startup+222.302 s]
/proc/loadavg: 0.97 0.51 0.20 2/66 20854
/proc/meminfo: memFree=1549952/2055920 swapFree=4179088/4192956
[pid=20848] ppid=20846 vsize=5356 CPUtime=6.52
/proc/20848/stat : 20848 (SatELiteGTI) S 20846 20848 20811 0 -1 4194304 336 34077 0 0 0 0 625 27 16 0 1 0 313729453 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20848/statm: 1339 239 197 169 0 50 0
[pid=20854] ppid=20848 vsize=140088 CPUtime=215.67
/proc/20854/stat : 20854 (minisat_static) R 20848 20848 20811 0 -1 4194304 34540 0 0 0 21536 31 0 0 25 0 1 0 313730106 143450112 34489 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20854/statm: 35022 34489 77 171 0 34849 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 145444
[startup+282.301 s]
/proc/loadavg: 0.99 0.60 0.25 2/66 20854
/proc/meminfo: memFree=1519680/2055920 swapFree=4179088/4192956
[pid=20848] ppid=20846 vsize=5356 CPUtime=6.52
/proc/20848/stat : 20848 (SatELiteGTI) S 20846 20848 20811 0 -1 4194304 336 34077 0 0 0 0 625 27 16 0 1 0 313729453 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20848/statm: 1339 239 197 169 0 50 0
[pid=20854] ppid=20848 vsize=170416 CPUtime=275.65
/proc/20854/stat : 20854 (minisat_static) R 20848 20848 20811 0 -1 4194304 42150 0 0 0 27528 37 0 0 25 0 1 0 313730106 174505984 42099 1992294400 134512640 135215339 4294956240 18446744073709551615 134532895 0 0 4096 3 0 0 0 17 1 0 0
/proc/20854/statm: 42604 42099 77 171 0 42431 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 175772
[startup+342.302 s]
/proc/loadavg: 0.99 0.67 0.29 2/66 20854
/proc/meminfo: memFree=1490624/2055920 swapFree=4179088/4192956
[pid=20848] ppid=20846 vsize=5356 CPUtime=6.52
/proc/20848/stat : 20848 (SatELiteGTI) S 20846 20848 20811 0 -1 4194304 336 34077 0 0 0 0 625 27 16 0 1 0 313729453 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20848/statm: 1339 239 197 169 0 50 0
[pid=20854] ppid=20848 vsize=199220 CPUtime=335.62
/proc/20854/stat : 20854 (minisat_static) R 20848 20848 20811 0 -1 4194304 49326 0 0 0 33517 45 0 0 25 0 1 0 313730106 204001280 49275 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20854/statm: 49805 49275 77 171 0 49632 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 204576
[startup+402.302 s]
/proc/loadavg: 0.99 0.73 0.33 2/66 20854
/proc/meminfo: memFree=1463104/2055920 swapFree=4179088/4192956
[pid=20848] ppid=20846 vsize=5356 CPUtime=6.52
/proc/20848/stat : 20848 (SatELiteGTI) S 20846 20848 20811 0 -1 4194304 336 34077 0 0 0 0 625 27 16 0 1 0 313729453 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20848/statm: 1339 239 197 169 0 50 0
[pid=20854] ppid=20848 vsize=226924 CPUtime=395.6
/proc/20854/stat : 20854 (minisat_static) R 20848 20848 20811 0 -1 4194304 56254 0 0 0 39507 53 0 0 25 0 1 0 313730106 232370176 56203 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/20854/statm: 56731 56203 77 171 0 56558 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 232280
[startup+462.301 s]
################
# More data... #
################
/proc/20854/statm: 420797 419854 77 171 0 420624 0
Current children cumulated CPU time (s) 5140.67
Current children cumulated vsize (KiB) 1688544
[startup+5202.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 20862
/proc/meminfo: memFree=15936/2055920 swapFree=4179088/4192956
[pid=20848] ppid=20846 vsize=5356 CPUtime=6.52
/proc/20848/stat : 20848 (SatELiteGTI) S 20846 20848 20811 0 -1 4194304 336 34077 0 0 0 0 625 27 16 0 1 0 313729453 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20848/statm: 1339 239 197 169 0 50 0
[pid=20854] ppid=20848 vsize=1697040 CPUtime=5194.14
/proc/20854/stat : 20854 (minisat_static) R 20848 20848 20811 0 -1 4194304 423370 0 0 0 519022 392 0 0 25 0 1 0 313730106 1737768960 423319 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20854/statm: 424260 423319 77 171 0 424087 0
Current children cumulated CPU time (s) 5200.66
Current children cumulated vsize (KiB) 1702396
[startup+5262.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 20862
/proc/meminfo: memFree=14976/2055920 swapFree=4179088/4192956
[pid=20848] ppid=20846 vsize=5356 CPUtime=6.52
/proc/20848/stat : 20848 (SatELiteGTI) S 20846 20848 20811 0 -1 4194304 336 34077 0 0 0 0 625 27 16 0 1 0 313729453 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20848/statm: 1339 239 197 169 0 50 0
[pid=20854] ppid=20848 vsize=1708532 CPUtime=5254.13
/proc/20854/stat : 20854 (minisat_static) R 20848 20848 20811 0 -1 4194304 426257 0 0 0 525018 395 0 0 25 0 1 0 313730106 1749536768 426206 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20854/statm: 427133 426206 77 171 0 426960 0
Current children cumulated CPU time (s) 5260.65
Current children cumulated vsize (KiB) 1713888
[startup+5322.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 20862
/proc/meminfo: memFree=15488/2055920 swapFree=4179088/4192956
[pid=20848] ppid=20846 vsize=5356 CPUtime=6.52
/proc/20848/stat : 20848 (SatELiteGTI) S 20846 20848 20811 0 -1 4194304 336 34077 0 0 0 0 625 27 16 0 1 0 313729453 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20848/statm: 1339 239 197 169 0 50 0
[pid=20854] ppid=20848 vsize=1718972 CPUtime=5314.1
/proc/20854/stat : 20854 (minisat_static) R 20848 20848 20811 0 -1 4194304 428823 0 0 0 531012 398 0 0 25 0 1 0 313730106 1760227328 428772 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20854/statm: 429743 428772 77 171 0 429570 0
Current children cumulated CPU time (s) 5320.62
Current children cumulated vsize (KiB) 1724328
[startup+5382.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 20862
/proc/meminfo: memFree=15808/2055920 swapFree=4179088/4192956
[pid=20848] ppid=20846 vsize=5356 CPUtime=6.52
/proc/20848/stat : 20848 (SatELiteGTI) S 20846 20848 20811 0 -1 4194304 336 34077 0 0 0 0 625 27 16 0 1 0 313729453 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20848/statm: 1339 239 197 169 0 50 0
[pid=20854] ppid=20848 vsize=1733860 CPUtime=5374.09
/proc/20854/stat : 20854 (minisat_static) R 20848 20848 20811 0 -1 4194304 432552 0 0 0 537007 402 0 0 25 0 1 0 313730106 1775472640 432501 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/20854/statm: 433465 432501 77 171 0 433292 0
Current children cumulated CPU time (s) 5380.61
Current children cumulated vsize (KiB) 1739216
[startup+5442.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 20862
/proc/meminfo: memFree=15360/2055920 swapFree=4179088/4192956
[pid=20848] ppid=20846 vsize=5356 CPUtime=6.52
/proc/20848/stat : 20848 (SatELiteGTI) S 20846 20848 20811 0 -1 4194304 336 34077 0 0 0 0 625 27 16 0 1 0 313729453 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20848/statm: 1339 239 197 169 0 50 0
[pid=20854] ppid=20848 vsize=1746752 CPUtime=5434.06
/proc/20854/stat : 20854 (minisat_static) R 20848 20848 20811 0 -1 4194304 435770 0 0 0 543001 405 0 0 25 0 1 0 313730106 1788674048 435719 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/20854/statm: 436688 435719 77 171 0 436515 0
Current children cumulated CPU time (s) 5440.58
Current children cumulated vsize (KiB) 1752108
[startup+5502.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 20862
/proc/meminfo: memFree=15360/2055920 swapFree=4179088/4192956
[pid=20848] ppid=20846 vsize=5356 CPUtime=6.52
/proc/20848/stat : 20848 (SatELiteGTI) S 20846 20848 20811 0 -1 4194304 336 34077 0 0 0 0 625 27 16 0 1 0 313729453 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20848/statm: 1339 239 197 169 0 50 0
[pid=20854] ppid=20848 vsize=1761844 CPUtime=5494.05
/proc/20854/stat : 20854 (minisat_static) R 20848 20848 20811 0 -1 4194304 439554 0 0 0 548997 408 0 0 25 0 1 0 313730106 1804128256 439503 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20854/statm: 440461 439503 77 171 0 440288 0
Current children cumulated CPU time (s) 5500.57
Current children cumulated vsize (KiB) 1767200
[startup+5562.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 20862
/proc/meminfo: memFree=15552/2055920 swapFree=4179088/4192956
[pid=20848] ppid=20846 vsize=5356 CPUtime=6.52
/proc/20848/stat : 20848 (SatELiteGTI) S 20846 20848 20811 0 -1 4194304 336 34077 0 0 0 0 625 27 16 0 1 0 313729453 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20848/statm: 1339 239 197 169 0 50 0
[pid=20854] ppid=20848 vsize=1774096 CPUtime=5554.03
/proc/20854/stat : 20854 (minisat_static) R 20848 20848 20811 0 -1 4194304 442597 0 0 0 554992 411 0 0 25 0 1 0 313730106 1816674304 442546 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/20854/statm: 443524 442546 77 171 0 443351 0
Current children cumulated CPU time (s) 5560.55
Current children cumulated vsize (KiB) 1779452
[startup+5622.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 20862
/proc/meminfo: memFree=15168/2055920 swapFree=4179088/4192956
[pid=20848] ppid=20846 vsize=5356 CPUtime=6.52
/proc/20848/stat : 20848 (SatELiteGTI) S 20846 20848 20811 0 -1 4194304 336 34077 0 0 0 0 625 27 16 0 1 0 313729453 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20848/statm: 1339 239 197 169 0 50 0
[pid=20854] ppid=20848 vsize=1788156 CPUtime=5614.02
/proc/20854/stat : 20854 (minisat_static) R 20848 20848 20811 0 -1 4194304 446109 0 0 0 560987 415 0 0 25 0 1 0 313730106 1831071744 446058 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/20854/statm: 447039 446058 77 171 0 446866 0
Current children cumulated CPU time (s) 5620.54
Current children cumulated vsize (KiB) 1793512
[startup+5682.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 20862
/proc/meminfo: memFree=15232/2055920 swapFree=4179088/4192956
[pid=20848] ppid=20846 vsize=5356 CPUtime=6.52
/proc/20848/stat : 20848 (SatELiteGTI) S 20846 20848 20811 0 -1 4194304 336 34077 0 0 0 0 625 27 16 0 1 0 313729453 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20848/statm: 1339 239 197 169 0 50 0
[pid=20854] ppid=20848 vsize=1806524 CPUtime=5673.99
/proc/20854/stat : 20854 (minisat_static) R 20848 20848 20811 0 -1 4194304 450704 0 0 0 566980 419 0 0 25 0 1 0 313730106 1849880576 450653 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20854/statm: 451631 450653 77 171 0 451458 0
Current children cumulated CPU time (s) 5680.51
Current children cumulated vsize (KiB) 1811880
[startup+5742.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 20862
/proc/meminfo: memFree=15872/2055920 swapFree=4179088/4192956
[pid=20848] ppid=20846 vsize=5356 CPUtime=6.52
/proc/20848/stat : 20848 (SatELiteGTI) S 20846 20848 20811 0 -1 4194304 336 34077 0 0 0 0 625 27 16 0 1 0 313729453 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20848/statm: 1339 239 197 169 0 50 0
[pid=20854] ppid=20848 vsize=1819640 CPUtime=5733.98
/proc/20854/stat : 20854 (minisat_static) R 20848 20848 20811 0 -1 4194304 453965 0 0 0 572976 422 0 0 25 0 1 0 313730106 1863311360 453914 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/20854/statm: 454910 453915 77 171 0 454737 0
Current children cumulated CPU time (s) 5740.5
Current children cumulated vsize (KiB) 1824996
[startup+5802.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 20862
/proc/meminfo: memFree=15168/2055920 swapFree=4179088/4192956
[pid=20848] ppid=20846 vsize=5356 CPUtime=6.52
/proc/20848/stat : 20848 (SatELiteGTI) S 20846 20848 20811 0 -1 4194304 336 34077 0 0 0 0 625 27 16 0 1 0 313729453 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20848/statm: 1339 239 197 169 0 50 0
[pid=20854] ppid=20848 vsize=1837188 CPUtime=5793.96
/proc/20854/stat : 20854 (minisat_static) R 20848 20848 20811 0 -1 4194304 458372 0 0 0 578970 426 0 0 25 0 1 0 313730106 1881280512 458321 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/20854/statm: 459297 458321 77 171 0 459124 0
Current children cumulated CPU time (s) 5800.48
Current children cumulated vsize (KiB) 1842544
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+5805 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 20862
/proc/meminfo: memFree=15936/2055920 swapFree=4179088/4192956
[pid=20848] ppid=20846 vsize=5356 CPUtime=6.52
/proc/20848/stat : 20848 (SatELiteGTI) S 20846 20848 20811 0 -1 4194304 336 34077 0 0 0 0 625 27 16 0 1 0 313729453 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20848/statm: 1339 239 197 169 0 50 0
[pid=20854] ppid=20848 vsize=1837864 CPUtime=5796.67
/proc/20854/stat : 20854 (minisat_static) R 20848 20848 20811 0 -1 4194304 458512 0 0 0 579241 426 0 0 25 0 1 0 313730106 1881972736 458461 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/20854/statm: 459466 458461 77 171 0 459293 0
Current children cumulated CPU time (s) 5803.19
Current children cumulated vsize (KiB) 1843220
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20848 and gives
# childrusage.ru_utime.tv_sec=6
# childrusage.ru_utime.tv_usec=257048
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=273958
# CPU time returned by wait4() is 6.53101
# while last known CPU time is 5803.19
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 5805.01
CPU time (s): 5803.19
CPU user time (s): 5798.66
CPU system time (s): 4.53
CPU usage (%): 99.9686
Max. virtual memory (cumulated for all children) (KiB): 1843220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.25705
system time used= 0.273958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34413
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= 14
involuntary context switches= 22
runsolver used 6.69498 second user time and 14.5098 second system time
The end
Begin job on node62 at 2009-05-21 00:03:39
IDJOB=1837054
IDBENCH=20370
IDSOLVER=674
FILE ID=node62/1837054-1242857018
PBS_JOBID= 9328455
Free space on /tmp= 66172 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/partial-5-13-u.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837054-1242857018/watcher-1837054-1242857018 -o /tmp/evaluation-result-1837054-1242857018/solver-1837054-1242857018 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837054-1242857018.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 4bb23e70b97827425fcf5759bf0a79a2
RANDOM SEED=639663243
node62.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.220
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.220
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1703544 kB
Buffers: 33416 kB
Cached: 276728 kB
SwapCached: 7416 kB
Active: 122944 kB
Inactive: 196808 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1703544 kB
SwapTotal: 4192956 kB
SwapFree: 4179088 kB
Dirty: 16444 kB
Writeback: 0 kB
Mapped: 14580 kB
Slab: 18388 kB
Committed_AS: 876216 kB
PageTables: 1464 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= 66156 MiB
End job on node62 at 2009-05-21 01:40:26