0.00/0.00 c Parsing...
0.00/0.02 c ==============================================================================
0.00/0.02 c | | ORIGINAL | LEARNT | |
0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.02 c ==============================================================================
0.00/0.02 c | 0 | 13600 95200 | 4079 0 0 nan | 0.000 % |
0.00/0.02 c ==============================================================================
0.00/0.02 c Result : #vars: 160 #clauses: 13600 #literals: 95200
0.00/0.02 c CPU time: 0.015997 s
0.00/0.02 c ==============================================================================
0.00/0.05 c This is MiniSat 2.0 beta
0.00/0.05 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05 c ============================[ Problem Statistics ]=============================
0.00/0.05 c | |
0.00/0.05 c | Number of variables: 160 |
0.00/0.05 c | Number of clauses: 13600 |
0.00/0.06 c | Parsing time: 0.01 s |
0.00/0.06 c ============================[ Search Statistics ]==============================
0.00/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.06 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.06 c ===============================================================================
0.00/0.06 c | 0 | 160 13600 95200 | 4533 0 nan | 0.000 % |
0.00/0.08 c | 100 | 160 13600 95200 | 4533 100 52 | 0.004 % |
0.00/0.08 c | 200 | 160 13600 95200 | 4533 200 48 | 0.004 % |
0.00/0.09 c | 300 | 160 13600 95200 | 4533 300 48 | 0.004 % |
0.04/0.10 c | 411 | 160 13600 95200 | 4533 411 49 | 0.004 % |
0.04/0.11 c | 511 | 160 13600 95200 | 4533 511 49 | 0.004 % |
0.04/0.12 c | 622 | 160 13600 95200 | 4533 622 48 | 0.004 % |
0.04/0.13 c | 746 | 160 13600 95200 | 4533 746 48 | 0.004 % |
0.04/0.14 c | 847 | 160 13600 95200 | 4533 847 48 | 0.004 % |
0.04/0.14 c | 957 | 160 13600 95200 | 4533 957 48 | 0.004 % |
0.04/0.15 c | 1079 | 160 13600 95200 | 4533 1079 48 | 0.004 % |
0.04/0.16 c | 1212 | 160 13600 95200 | 4533 1212 48 | 0.004 % |
0.04/0.17 c | 1312 | 160 13600 95200 | 4533 1312 48 | 0.004 % |
0.04/0.18 c | 1424 | 160 13600 95200 | 4533 1424 48 | 0.004 % |
0.04/0.19 c | 1545 | 160 13600 95200 | 4533 1545 48 | 0.004 % |
0.04/0.20 c | 1679 | 160 13600 95200 | 4533 1679 48 | 0.004 % |
0.04/0.21 c | 1825 | 160 13600 95200 | 4533 1825 48 | 0.004 % |
0.04/0.22 c | 1925 | 160 13600 95200 | 4533 1925 48 | 0.004 % |
0.04/0.23 c | 2036 | 160 13600 95200 | 4533 2036 48 | 0.004 % |
0.04/0.24 c | 2160 | 160 13600 95200 | 4533 2160 49 | 0.004 % |
0.04/0.25 c | 2293 | 160 13600 95200 | 4533 2293 49 | 0.004 % |
0.04/0.26 c | 2440 | 160 13600 95200 | 4533 2440 49 | 0.004 % |
0.04/0.27 c | 2600 | 160 13600 95200 | 4533 2600 49 | 0.004 % |
0.04/0.28 c | 2700 | 160 13600 95200 | 4533 2700 49 | 0.004 % |
0.04/0.29 c | 2811 | 160 13600 95200 | 4533 2811 49 | 0.004 % |
0.04/0.30 c | 2932 | 160 13600 95200 | 4533 2932 49 | 0.004 % |
0.04/0.31 c | 3065 | 160 13600 95200 | 4533 3065 48 | 0.004 % |
0.04/0.33 c | 3212 | 160 13600 95200 | 4533 3212 49 | 0.004 % |
0.04/0.34 c | 3374 | 160 13600 95200 | 4533 3374 49 | 0.004 % |
0.04/0.35 c | 3552 | 160 13600 95200 | 4533 3552 49 | 0.004 % |
0.04/0.36 c | 3652 | 160 13600 95200 | 4533 3652 49 | 0.004 % |
0.04/0.37 c | 3762 | 160 13600 95200 | 4533 3762 49 | 0.004 % |
0.04/0.38 c | 3883 | 160 13600 95200 | 4533 3883 49 | 0.004 % |
0.04/0.39 c | 4017 | 160 13600 95200 | 4533 4017 49 | 0.004 % |
0.04/0.41 c | 4164 | 160 13600 95200 | 4533 4164 49 | 0.004 % |
0.04/0.42 c | 4324 | 160 13600 95200 | 4533 4324 49 | 0.004 % |
0.04/0.44 c | 4501 | 160 13600 95200 | 4533 4501 49 | 0.004 % |
0.04/0.46 c | 4695 | 160 13600 95200 | 4533 4234 48 | 0.004 % |
0.04/0.47 c | 4797 | 160 13600 95200 | 4533 4336 48 | 0.004 % |
0.04/0.48 c | 4907 | 160 13600 95200 | 4533 4446 48 | 0.004 % |
0.04/0.49 c | 5028 | 160 13600 95200 | 4533 4567 48 | 0.004 % |
0.04/0.51 c | 5162 | 160 13600 95200 | 4533 4245 48 | 0.004 % |
0.04/0.52 c | 5308 | 160 13600 95200 | 4533 4391 48 | 0.004 % |
0.04/0.54 c | 5469 | 160 13600 95200 | 4533 4552 48 | 0.004 % |
0.04/0.55 c | 5647 | 160 13600 95200 | 4533 4275 48 | 0.004 % |
0.04/0.57 c | 5840 | 160 13600 95200 | 4533 4468 48 | 0.004 % |
0.04/0.59 c | 6052 | 160 13600 95200 | 4533 4219 48 | 0.004 % |
0.04/0.60 c | 6152 | 160 13600 95200 | 4533 4319 48 | 0.004 % |
0.04/0.61 c | 6263 | 160 13600 95200 | 4533 4430 48 | 0.004 % |
0.04/0.62 c | 6384 | 160 13600 95200 | 4533 4551 48 | 0.004 % |
0.04/0.64 c | 6518 | 160 13600 95200 | 4533 4230 48 | 0.004 % |
0.04/0.65 c | 6665 | 160 13600 95200 | 4533 4377 48 | 0.004 % |
0.04/0.67 c | 6826 | 160 13600 95200 | 4533 4538 48 | 0.004 % |
0.04/0.68 c | 7002 | 160 13600 95200 | 4533 4261 48 | 0.004 % |
0.04/0.70 c | 7196 | 160 13600 95200 | 4533 4455 48 | 0.004 % |
0.04/0.72 c | 7409 | 160 13600 95200 | 4533 4207 48 | 0.004 % |
0.04/0.74 c | 7643 | 160 13600 95200 | 4533 4441 48 | 0.004 % |
0.04/0.75 c | 7743 | 160 13600 95200 | 4533 4541 48 | 0.004 % |
0.04/0.76 c | 7854 | 160 13600 95200 | 4533 4198 48 | 0.004 % |
0.04/0.78 c | 7976 | 160 13600 95200 | 4533 4320 48 | 0.004 % |
0.04/0.79 c | 8111 | 160 13600 95200 | 4533 4455 48 | 0.004 % |
0.04/0.80 c | 8261 | 160 13600 95200 | 4533 4605 48 | 0.004 % |
0.04/0.82 c | 8423 | 160 13600 95200 | 4533 4307 47 | 0.004 % |
0.04/0.83 c | 8599 | 160 13600 95200 | 4533 4483 47 | 0.004 % |
0.04/0.86 c | 8793 | 160 13600 95200 | 4533 4217 47 | 0.004 % |
0.04/0.87 c | 9005 | 160 13600 95200 | 4533 4429 48 | 0.004 % |
0.04/0.90 c | 9238 | 160 13600 95200 | 4533 4201 48 | 0.004 % |
0.04/0.92 c | 9494 | 160 13600 95200 | 4533 4457 48 | 0.004 % |
0.04/0.93 c | 9595 | 160 13600 95200 | 4533 4558 48 | 0.004 % |
0.04/0.94 c | 9706 | 160 13600 95200 | 4533 4214 48 | 0.004 % |
0.04/0.95 c | 9828 | 160 13600 95200 | 4533 4336 48 | 0.004 % |
0.04/0.97 c | 9962 | 160 13600 95200 | 4533 4470 48 | 0.004 % |
0.04/0.98 c | 10108 | 160 13600 95200 | 2147483647 4616 48 | 0.004 % |
0.04/0.99 c | 10268 | 160 13600 95200 | 2147483647 4776 48 | 0.004 % |
0.04/1.01 c | 10447 | 160 13600 95200 | 2147483647 4955 48 | 0.004 % |
0.04/1.03 c | 10640 | 160 13600 95200 | 2147483647 5148 48 | 0.004 % |
0.04/1.05 c | 10852 | 160 13600 95200 | 2147483647 5360 48 | 0.004 % |
0.04/1.08 c | 11085 | 160 13600 95200 | 2147483647 5593 48 | 0.004 % |
1.08/1.11 c | 11341 | 160 13600 95200 | 2147483647 5849 48 | 0.004 % |
1.08/1.14 c | 11622 | 160 13600 95200 | 2147483647 6130 48 | 0.004 % |
1.08/1.15 c | 11722 | 160 13600 95200 | 2147483647 6230 48 | 0.004 % |
1.08/1.16 c | 11833 | 160 13600 95200 | 2147483647 6341 48 | 0.004 % |
1.08/1.18 c | 11955 | 160 13600 95200 | 2147483647 6463 48 | 0.004 % |
1.08/1.19 c | 12089 | 160 13600 95200 | 2147483647 6597 48 | 0.004 % |
1.18/1.21 c | 12235 | 160 13600 95200 | 2147483647 6743 48 | 0.004 % |
1.18/1.23 c | 12397 | 160 13600 95200 | 2147483647 6905 48 | 0.004 % |
1.18/1.25 c | 12573 | 160 13600 95200 | 2147483647 7081 48 | 0.004 % |
1.18/1.27 c | 12766 | 160 13600 95200 | 2147483647 7274 48 | 0.004 % |
1.18/1.30 c | 12978 | 160 13600 95200 | 2147483647 7486 48 | 0.004 % |
1.27/1.33 c | 13212 | 160 13600 95200 | 2147483647 7720 48 | 0.004 % |
1.27/1.36 c | 13468 | 160 13600 95200 | 2147483647 7976 48 | 0.004 % |
1.27/1.39 c | 13749 | 160 13600 95200 | 2147483647 8257 48 | 0.004 % |
1.37/1.43 c | 14058 | 160 13600 95200 | 2147483647 8566 48 | 0.004 % |
1.37/1.45 c | 14158 | 160 13600 95200 | 2147483647 8666 48 | 0.004 % |
1.37/1.46 c | 14268 | 160 13600 95200 | 2147483647 8776 48 | 0.004 % |
1.37/1.48 c | 14389 | 160 13600 95200 | 2147483647 8897 48 | 0.004 % |
1.37/1.49 c | 14522 | 160 13600 95200 | 2147483647 9030 48 | 0.004 % |
1.47/1.52 c | 14671 | 160 13600 95200 | 2147483647 9179 48 | 0.004 % |
1.47/1.54 c | 14831 | 160 13600 95200 | 2147483647 9339 48 | 0.004 % |
1.47/1.56 c | 15007 | 160 13600 95200 | 2147483647 9515 48 | 0.004 % |
1.47/1.59 c | 15202 | 160 13600 95200 | 2147483647 9710 48 | 0.004 % |
1.57/1.62 c | 15416 | 160 13600 95200 | 2147483647 9924 48 | 0.004 % |
1.57/1.66 c | 15650 | 160 13600 95200 | 2147483647 10158 48 | 0.004 % |
1.57/1.69 c | 15906 | 160 13600 95200 | 2147483647 10414 48 | 0.004 % |
1.67/1.73 c | 16190 | 160 13600 95200 | 2147483647 10698 48 | 0.004 % |
1.67/1.77 c | 16501 | 160 13600 95200 | 2147483647 11009 48 | 0.004 % |
1.77/1.82 c | 16840 | 160 13600 95200 | 2147483647 11348 48 | 0.004 % |
1.77/1.83 c | 16941 | 160 13600 95200 | 2147483647 11449 48 | 0.004 % |
1.77/1.85 c | 17051 | 160 13600 95200 | 2147483647 11559 48 | 0.004 % |
1.77/1.87 c | 17172 | 160 13600 95200 | 2147483647 11680 48 | 0.004 % |
1.77/1.90 c | 17305 | 160 13600 95200 | 2147483647 11813 48 | 0.004 % |
1.87/1.92 c | 17451 | 160 13600 95200 | 2147483647 11959 48 | 0.004 % |
1.87/1.95 c | 17613 | 160 13600 95200 | 2147483647 12121 48 | 0.004 % |
1.87/1.98 c | 17790 | 160 13600 95200 | 2147483647 12298 48 | 0.004 % |
1.97/2.01 c | 17983 | 160 13600 95200 | 2147483647 12491 48 | 0.004 % |
1.97/2.04 c | 18195 | 160 13600 95200 | 2147483647 12703 48 | 0.004 % |
1.97/2.09 c | 18429 | 160 13600 95200 | 2147483647 12937 48 | 0.004 % |
2.07/2.13 c | 18686 | 160 13600 95200 | 2147483647 13194 48 | 0.004 % |
2.07/2.17 c | 18968 | 160 13600 95200 | 2147483647 13476 48 | 0.004 % |
2.17/2.22 c | 19278 | 160 13600 95200 | 2147483647 13786 48 | 0.004 % |
2.17/2.28 c | 19620 | 160 13600 95200 | 2147483647 14128 48 | 0.004 % |
2.27/2.35 c | 19992 | 160 13600 95200 | 2147483647 14500 48 | 0.004 % |
2.27/2.37 c | 20092 | 160 13600 95200 | 2147483647 14600 48 | 0.004 % |
2.27/2.39 c | 20203 | 160 13600 95200 | 2147483647 14711 48 | 0.004 % |
2.37/2.42 c | 20327 | 160 13600 95200 | 2147483647 14835 48 | 0.004 % |
2.37/2.44 c | 20460 | 160 13600 95200 | 2147483647 14968 48 | 0.004 % |
2.37/2.47 c | 20608 | 160 13600 95200 | 2147483647 15116 48 | 0.004 % |
2.47/2.50 c | 20768 | 160 13600 95200 | 2147483647 15276 48 | 0.004 % |
2.47/2.54 c | 20944 | 160 13600 95200 | 2147483647 15452 48 | 0.004 % |
2.47/2.58 c | 21137 | 160 13600 95200 | 2147483647 15645 48 | 0.004 % |
2.56/2.62 c | 21350 | 160 13600 95200 | 2147483647 15858 48 | 0.004 % |
2.56/2.67 c | 21583 | 160 13600 95200 | 2147483647 16091 48 | 0.004 % |
2.67/2.72 c | 21839 | 160 13600 95200 | 2147483647 16347 48 | 0.004 % |
2.67/2.77 c | 22121 | 160 13600 95200 | 2147483647 16629 48 | 0.004 % |
2.77/2.83 c | 22432 | 160 13600 95200 | 2147483647 16940 48 | 0.004 % |
2.87/2.90 c | 22771 | 160 13600 95200 | 2147483647 17279 48 | 0.004 % |
2.87/2.97 c | 23144 | 160 13600 95200 | 2147483647 17652 48 | 0.004 % |
2.97/3.05 c | 23553 | 160 13600 95200 | 2147483647 18061 48 | 0.004 % |
2.97/3.08 c | 23653 | 160 13600 95200 | 2147483647 18161 48 | 0.004 % |
3.07/3.11 c | 23763 | 160 13600 95200 | 2147483647 18271 48 | 0.004 % |
3.07/3.14 c | 23884 | 160 13600 95200 | 2147483647 18392 48 | 0.004 % |
3.07/3.17 c | 24017 | 160 13600 95200 | 2147483647 18525 48 | 0.004 % |
3.17/3.21 c | 24163 | 160 13600 95200 | 2147483647 18671 48 | 0.004 % |
3.17/3.25 c | 24323 | 160 13600 95200 | 2147483647 18831 48 | 0.004 % |
3.17/3.29 c | 24500 | 160 13600 95200 | 2147483647 19008 48 | 0.004 % |
3.28/3.34 c | 24694 | 160 13600 95200 | 2147483647 19202 48 | 0.004 % |
3.28/3.40 c | 24906 | 160 13600 95200 | 2147483647 19414 48 | 0.004 % |
3.37/3.46 c | 25139 | 160 13600 95200 | 2147483647 19647 48 | 0.004 % |
3.47/3.53 c | 25395 | 160 13600 95200 | 2147483647 19903 48 | 0.004 % |
3.47/3.59 c | 25677 | 160 13600 95200 | 2147483647 20185 48 | 0.004 % |
3.57/3.66 c | 25986 | 160 13600 95200 | 2147483647 20494 48 | 0.004 % |
3.67/3.74 c | 26325 | 160 13600 95200 | 2147483647 20833 49 | 0.004 % |
3.77/3.84 c | 26698 | 160 13600 95200 | 2147483647 21206 49 | 0.004 % |
3.87/3.94 c | 27107 | 160 13600 95200 | 2147483647 21615 49 | 0.004 % |
3.97/4.05 c | 27558 | 160 13600 95200 | 2147483647 22066 49 | 0.004 % |
3.97/4.08 c | 27658 | 160 13600 95200 | 2147483647 22166 49 | 0.004 % |
4.07/4.12 c | 27769 | 160 13600 95200 | 2147483647 22277 49 | 0.004 % |
4.07/4.16 c | 27891 | 160 13600 95200 | 2147483647 22399 49 | 0.004 % |
4.07/4.19 c | 28024 | 160 13600 95200 | 2147483647 22532 49 | 0.004 % |
4.17/4.25 c | 28170 | 160 13600 95200 | 2147483647 22678 49 | 0.004 % |
4.17/4.29 c | 28331 | 160 13600 95200 | 2147483647 22839 49 | 0.004 % |
4.27/4.34 c | 28508 | 160 13600 95200 | 2147483647 23016 49 | 0.004 % |
4.37/4.40 c | 28703 | 160 13600 95200 | 2147483647 23211 49 | 0.004 % |
4.37/4.47 c | 28917 | 160 13600 95200 | 2147483647 23425 49 | 0.004 % |
4.47/4.53 c | 29151 | 160 13600 95200 | 2147483647 23659 49 | 0.004 % |
4.57/4.60 c | 29407 | 160 13600 95200 | 2147483647 23915 49 | 0.004 % |
4.57/4.67 c | 29688 | 160 13600 95200 | 2147483647 24196 49 | 0.004 % |
4.67/4.75 c | 29997 | 160 13600 95200 | 2147483647 24505 48 | 0.004 % |
4.76/4.84 c | 30337 | 160 13600 95200 | 2147483647 24845 49 | 0.004 % |
4.87/4.96 c | 30711 | 160 13600 95200 | 2147483647 25219 49 | 0.004 % |
4.97/5.07 c | 31121 | 160 13600 95200 | 2147483647 25629 48 | 0.004 % |
5.17/5.22 c | 31574 | 160 13600 95200 | 2147483647 26082 48 | 0.004 % |
5.27/5.38 c | 32069 | 160 13600 95200 | 2147483647 26577 48 | 0.004 % |
5.37/5.42 c | 32170 | 160 13600 95200 | 2147483647 26678 48 | 0.004 % |
5.37/5.45 c | 32281 | 160 13600 95200 | 2147483647 26789 49 | 0.004 % |
5.37/5.49 c | 32404 | 160 13600 95200 | 2147483647 26912 48 | 0.004 % |
5.48/5.54 c | 32539 | 160 13600 95200 | 2147483647 27047 48 | 0.004 % |
5.48/5.60 c | 32686 | 160 13600 95200 | 2147483647 27194 48 | 0.004 % |
5.58/5.65 c | 32847 | 160 13600 95200 | 2147483647 27355 48 | 0.004 % |
5.67/5.72 c | 33025 | 160 13600 95200 | 2147483647 27533 48 | 0.004 % |
5.67/5.79 c | 33218 | 160 13600 95200 | 2147483647 27726 48 | 0.004 % |
5.77/5.86 c | 33431 | 160 13600 95200 | 2147483647 27939 48 | 0.004 % |
5.87/5.94 c | 33664 | 160 13600 95200 | 2147483647 28172 48 | 0.004 % |
5.97/6.02 c | 33921 | 160 13600 95200 | 2147483647 28429 48 | 0.004 % |
6.07/6.12 c | 34204 | 160 13600 95200 | 2147483647 28712 48 | 0.004 % |
6.17/6.22 c | 34513 | 160 13600 95200 | 2147483647 29021 48 | 0.004 % |
6.27/6.36 c | 34853 | 160 13600 95200 | 2147483647 29361 48 | 0.004 % |
6.47/6.51 c | 35225 | 160 13600 95200 | 2147483647 29733 48 | 0.004 % |
6.57/6.66 c | 35636 | 160 13600 95200 | 2147483647 30144 48 | 0.004 % |
6.77/6.81 c | 36085 | 160 13600 95200 | 2147483647 30593 48 | 0.004 % |
6.97/7.02 c | 36580 | 160 13600 95200 | 2147483647 31088 49 | 0.004 % |
7.16/7.23 c | 37122 | 160 13600 95200 | 2147483647 31630 48 | 0.004 % |
7.16/7.27 c | 37224 | 160 13600 95200 | 2147483647 31732 49 | 0.004 % |
7.26/7.31 c | 37334 | 160 13600 95200 | 2147483647 31842 49 | 0.004 % |
7.26/7.36 c | 37456 | 160 13600 95200 | 2147483647 31964 49 | 0.004 % |
7.36/7.41 c | 37589 | 160 13600 95200 | 2147483647 32097 48 | 0.004 % |
7.36/7.48 c | 37736 | 160 13600 95200 | 2147483647 32244 49 | 0.004 % |
7.46/7.54 c | 37898 | 160 13600 95200 | 2147483647 32406 48 | 0.004 % |
7.56/7.61 c | 38075 | 160 13600 95200 | 2147483647 32583 48 | 0.004 % |
7.56/7.70 c | 38268 | 160 13600 95200 | 2147483647 32776 49 | 0.004 % |
7.67/7.79 c | 38480 | 160 13600 95200 | 2147483647 32988 49 | 0.004 % |
7.77/7.88 c | 38713 | 160 13600 95200 | 2147483647 33221 49 | 0.004 % |
7.86/7.99 c | 38970 | 160 13600 95200 | 2147483647 33478 48 | 0.004 % |
8.06/8.11 c | 39251 | 160 13600 95200 | 2147483647 33759 48 | 0.004 % |
8.16/8.24 c | 39560 | 160 13600 95200 | 2147483647 34068 48 | 0.004 % |
8.26/8.39 c | 39900 | 160 13600 95200 | 2147483647 34408 48 | 0.004 % |
8.46/8.55 c | 40273 | 160 13600 95200 | 2147483647 34781 48 | 0.004 % |
8.66/8.70 c | 40683 | 160 13600 95200 | 2147483647 35191 49 | 0.004 % |
8.77/8.88 c | 41133 | 160 13600 95200 | 2147483647 35641 49 | 0.004 % |
8.97/9.07 c | 41626 | 160 13600 95200 | 2147483647 36134 49 | 0.004 % |
9.17/9.29 c | 42168 | 160 13600 95200 | 2147483647 36676 48 | 0.004 % |
9.47/9.57 c | 42765 | 160 13600 95200 | 2147483647 37273 49 | 0.004 % |
9.57/9.61 c | 42867 | 160 13600 95200 | 2147483647 37375 49 | 0.004 % |
9.57/9.66 c | 42977 | 160 13600 95200 | 2147483647 37485 49 | 0.004 % |
9.67/9.72 c | 43098 | 160 13600 95200 | 2147483647 37606 49 | 0.004 % |
9.77/9.81 c | 43233 | 160 13600 95200 | 2147483647 37741 49 | 0.004 % |
9.77/9.89 c | 43379 | 160 13600 95200 | 2147483647 37887 49 | 0.004 % |
9.87/9.97 c | 43539 | 160 13600 95200 | 2147483647 38047 49 | 0.004 % |
9.97/10.07 c | 43715 | 160 13600 95200 | 2147483647 38223 49 | 0.004 % |
10.07/10.16 c | 43908 | 160 13600 95200 | 2147483647 38416 49 | 0.004 % |
10.17/10.26 c | 44123 | 160 13600 95200 | 2147483647 38631 49 | 0.004 % |
10.27/10.36 c | 44358 | 160 13600 95200 | 2147483647 38866 49 | 0.004 % |
10.37/10.47 c | 44617 | 160 13600 95200 | 2147483647 39125 49 | 0.004 % |
10.56/10.60 c | 44898 | 160 13600 95200 | 2147483647 39406 49 | 0.004 % |
10.66/10.74 c | 45208 | 160 13600 95200 | 2147483647 39716 49 | 0.004 % |
10.76/10.89 c | 45548 | 160 13600 95200 | 2147483647 40056 49 | 0.004 % |
10.97/11.10 c | 45922 | 160 13600 95200 | 2147483647 40430 49 | 0.004 % |
11.26/11.32 c | 46332 | 160 13600 95200 | 2147483647 40840 49 | 0.004 % |
11.46/11.52 c | 46781 | 160 13600 95200 | 2147483647 41289 49 | 0.004 % |
11.66/11.76 c | 47274 | 160 13600 95200 | 2147483647 41782 49 | 0.004 % |
11.96/12.04 c | 47816 | 160 13600 95200 | 2147483647 42324 49 | 0.004 % |
12.17/12.29 c | 48415 | 160 13600 95200 | 2147483647 42923 49 | 0.004 % |
12.46/12.58 c | 49070 | 160 13600 95200 | 2147483647 43578 49 | 0.004 % |
12.56/12.64 c | 49173 | 160 13600 95200 | 2147483647 43681 49 | 0.004 % |
12.66/12.71 c | 49283 | 160 13600 95200 | 2147483647 43791 49 | 0.004 % |
12.66/12.78 c | 49404 | 160 13600 95200 | 2147483647 43912 49 | 0.004 % |
12.76/12.85 c | 49537 | 160 13600 95200 | 2147483647 44045 48 | 0.004 % |
12.86/12.95 c | 49683 | 160 13600 95200 | 2147483647 44191 48 | 0.004 % |
12.96/13.05 c | 49844 | 160 13600 95200 | 2147483647 44352 48 | 0.004 % |
13.06/13.15 c | 50020 | 160 13600 95200 | 2147483647 44528 48 | 0.004 % |
13.17/13.28 c | 50213 | 160 13600 95200 | 2147483647 44721 48 | 0.004 % |
13.26/13.38 c | 50426 | 160 13600 95200 | 2147483647 44934 48 | 0.004 % |
13.46/13.51 c | 50659 | 160 13600 95200 | 2147483647 45167 48 | 0.004 % |
13.56/13.64 c | 50915 | 160 13600 95200 | 2147483647 45423 48 | 0.004 % |
13.66/13.79 c | 51196 | 160 13600 95200 | 2147483647 45704 48 | 0.004 % |
13.86/13.96 c | 51505 | 160 13600 95200 | 2147483647 46013 48 | 0.004 % |
14.16/14.21 c | 51844 | 160 13600 95200 | 2147483647 46352 48 | 0.004 % |
14.36/14.42 c | 52217 | 160 13600 95200 | 2147483647 46725 48 | 0.004 % |
14.56/14.63 c | 52626 | 160 13600 95200 | 2147483647 47134 48 | 0.004 % |
14.76/14.87 c | 53075 | 160 13600 95200 | 2147483647 47583 48 | 0.004 % |
15.07/15.17 c | 53568 | 160 13600 95200 | 2147483647 48076 48 | 0.004 % |
15.37/15.49 c | 54110 | 160 13600 95200 | 2147483647 48618 48 | 0.004 % |
15.77/15.84 c | 54706 | 160 13600 95200 | 2147483647 49214 48 | 0.004 % |
16.17/16.22 c | 55364 | 160 13600 95200 | 2147483647 49872 48 | 0.004 % |
16.57/16.61 c | 56085 | 160 13600 95200 | 2147483647 50593 48 | 0.004 % |
16.57/16.69 c | 56186 | 160 13600 95200 | 2147483647 50694 48 | 0.004 % |
16.67/16.78 c | 56297 | 160 13600 95200 | 2147483647 50805 48 | 0.004 % |
16.77/16.85 c | 56419 | 160 13600 95200 | 2147483647 50927 48 | 0.004 % |
16.87/16.94 c | 56553 | 160 13600 95200 | 2147483647 51061 48 | 0.004 % |
16.96/17.05 c | 56699 | 160 13600 95200 | 2147483647 51207 48 | 0.004 % |
17.06/17.14 c | 56859 | 160 13600 95200 | 2147483647 51367 48 | 0.004 % |
17.16/17.26 c | 57035 | 160 13600 95200 | 2147483647 51543 48 | 0.004 % |
17.26/17.39 c | 57228 | 160 13600 95200 | 2147483647 51736 48 | 0.004 % |
17.46/17.54 c | 57440 | 160 13600 95200 | 2147483647 51948 48 | 0.004 % |
17.57/17.69 c | 57673 | 160 13600 95200 | 2147483647 52181 48 | 0.004 % |
17.76/17.85 c | 57929 | 160 13600 95200 | 2147483647 52437 48 | 0.004 % |
17.97/18.01 c | 58210 | 160 13600 95200 | 2147483647 52718 48 | 0.004 % |
18.07/18.20 c | 58520 | 160 13600 95200 | 2147483647 53028 48 | 0.004 % |
18.37/18.45 c | 58859 | 160 13600 95200 | 2147483647 53367 48 | 0.004 % |
18.56/18.69 c | 59231 | 160 13600 95200 | 2147483647 53739 48 | 0.004 % |
18.86/18.96 c | 59640 | 160 13600 95200 | 2147483647 54148 48 | 0.004 % |
19.16/19.27 c | 60089 | 160 13600 95200 | 2147483647 54597 48 | 0.004 % |
19.56/19.61 c | 60583 | 160 13600 95200 | 2147483647 55091 48 | 0.004 % |
19.87/19.99 c | 61125 | 160 13600 95200 | 2147483647 55633 48 | 0.004 % |
20.36/20.42 c | 61722 | 160 13600 95200 | 2147483647 56230 48 | 0.004 % |
20.76/20.86 c | 62378 | 160 13600 95200 | 2147483647 56886 48 | 0.004 % |
21.26/21.35 c | 63098 | 160 13600 95200 | 2147483647 57606 48 | 0.004 % |
21.86/21.93 c | 63890 | 160 13600 95200 | 2147483647 58398 49 | 0.004 % |
21.96/22.00 c | 63992 | 160 13600 95200 | 2147483647 58500 49 | 0.004 % |
21.96/22.08 c | 64103 | 160 13600 95200 | 2147483647 58611 49 | 0.004 % |
22.06/22.17 c | 64225 | 160 13600 95200 | 2147483647 58733 49 | 0.004 % |
22.16/22.27 c | 64359 | 160 13600 95200 | 2147483647 58867 49 | 0.004 % |
22.26/22.37 c | 64508 | 160 13600 95200 | 2147483647 59016 49 | 0.004 % |
22.46/22.54 c | 64669 | 160 13600 95200 | 2147483647 59177 49 | 0.004 % |
22.56/22.68 c | 64846 | 160 13600 95200 | 2147483647 59354 49 | 0.004 % |
22.76/22.83 c | 65040 | 160 13600 95200 | 2147483647 59548 49 | 0.004 % |
22.96/23.01 c | 65253 | 160 13600 95200 | 2147483647 59761 49 | 0.004 % |
23.06/23.19 c | 65487 | 160 13600 95200 | 2147483647 59995 49 | 0.004 % |
23.27/23.39 c | 65743 | 160 13600 95200 | 2147483647 60251 49 | 0.004 % |
23.57/23.61 c | 66024 | 160 13600 95200 | 2147483647 60532 49 | 0.004 % |
23.77/23.87 c | 66334 | 160 13600 95200 | 2147483647 60842 49 | 0.004 % |
24.06/24.14 c | 66673 | 160 13600 95200 | 2147483647 61181 49 | 0.004 % |
24.36/24.41 c | 67045 | 160 13600 95200 | 2147483647 61553 49 | 0.004 % |
24.66/24.76 c | 67454 | 160 13600 95200 | 2147483647 61962 49 | 0.004 % |
25.06/25.10 c | 67903 | 160 13600 95200 | 2147483647 62411 49 | 0.004 % |
25.37/25.49 c | 68397 | 160 13600 95200 | 2147483647 62905 49 | 0.004 % |
25.86/25.90 c | 68940 | 160 13600 95200 | 2147483647 63448 49 | 0.004 % |
26.26/26.31 c | 69537 | 160 13600 95200 | 2147483647 64045 49 | 0.004 % |
26.76/26.88 c | 70195 | 160 13600 95200 | 64509 56688 49 | 0.004 % |
27.26/27.33 c | 70915 | 160 13600 95200 | 64509 57408 49 | 0.004 % |
27.76/27.80 c | 71707 | 160 13600 95200 | 64509 58200 49 | 0.004 % |
28.26/28.37 c | 72578 | 160 13600 95200 | 64509 59071 49 | 0.004 % |
28.36/28.47 c | 72678 | 160 13600 95200 | 64509 59171 49 | 0.004 % |
28.46/28.55 c | 72789 | 160 13600 95200 | 64509 59282 49 | 0.004 % |
28.56/28.65 c | 72912 | 160 13600 95200 | 64509 59405 49 | 0.004 % |
28.66/28.77 c | 73046 | 160 13600 95200 | 64509 59539 49 | 0.004 % |
28.86/28.91 c | 73192 | 160 13600 95200 | 64509 59685 49 | 0.004 % |
28.96/29.06 c | 73352 | 160 13600 95200 | 64509 59845 49 | 0.004 % |
29.16/29.20 c | 73528 | 160 13600 95200 | 64509 60021 49 | 0.004 % |
29.26/29.39 c | 73723 | 160 13600 95200 | 64509 60216 49 | 0.004 % |
29.46/29.58 c | 73936 | 160 13600 95200 | 64509 60429 49 | 0.004 % |
29.66/29.76 c | 74169 | 160 13600 95200 | 64509 60662 49 | 0.004 % |
29.86/29.94 c | 74426 | 160 13600 95200 | 64509 60919 49 | 0.004 % |
30.06/30.17 c | 74707 | 160 13600 95200 | 64509 61200 49 | 0.004 % |
30.26/30.39 c | 75017 | 160 13600 95200 | 64509 61510 49 | 0.004 % |
30.56/30.68 c | 75358 | 160 13600 95200 | 64509 61851 49 | 0.004 % |
30.86/30.98 c | 75731 | 160 13600 95200 | 64509 62224 49 | 0.004 % |
31.16/31.29 c | 76140 | 160 13600 95200 | 64509 62633 49 | 0.004 % |
31.46/31.59 c | 76592 | 160 13600 95200 | 64509 63085 49 | 0.004 % |
31.86/31.99 c | 77086 | 160 13600 95200 | 64509 63579 49 | 0.004 % |
32.36/32.44 c | 77628 | 160 13600 95200 | 64509 64121 49 | 0.004 % |
32.86/32.96 c | 78226 | 160 13600 95200 | 64509 55436 48 | 0.004 % |
33.36/33.45 c | 78885 | 160 13600 95200 | 64509 56095 48 | 0.004 % |
33.85/33.93 c | 79605 | 160 13600 95200 | 64509 56815 48 | 0.004 % |
34.35/34.40 c | 80397 | 160 13600 95200 | 57210 49719 48 | 0.004 % |
34.75/34.89 c | 81268 | 160 13600 95200 | 57210 50590 48 | 0.004 % |
35.35/35.42 c | 82227 | 160 13600 95200 | 57210 51549 48 | 0.004 % |
35.35/35.48 c | 82327 | 160 13600 95200 | 57210 51649 48 | 0.004 % |
35.45/35.55 c | 82438 | 160 13600 95200 | 57210 51760 48 | 0.004 % |
35.55/35.63 c | 82559 | 160 13600 95200 | 57210 51881 48 | 0.004 % |
35.65/35.73 c | 82692 | 160 13600 95200 | 57210 52014 48 | 0.004 % |
35.75/35.85 c | 82840 | 160 13600 95200 | 57210 52162 48 | 0.004 % |
35.85/35.94 c | 83001 | 160 13600 95200 | 57210 52323 48 | 0.004 % |
35.95/36.07 c | 83177 | 160 13600 95200 | 57210 52499 48 | 0.004 % |
36.15/36.20 c | 83372 | 160 13600 95200 | 57210 52694 48 | 0.004 % |
36.26/36.34 c | 83584 | 160 13600 95200 | 57210 52906 48 | 0.004 % |
36.45/36.52 c | 83818 | 160 13600 95200 | 57210 53140 48 | 0.004 % |
36.65/36.71 c | 84075 | 160 13600 95200 | 57210 53397 48 | 0.004 % |
36.85/36.92 c | 84356 | 160 13600 95200 | 57210 53678 48 | 0.004 % |
37.05/37.12 c | 84665 | 160 13600 95200 | 57210 53987 48 | 0.004 % |
37.25/37.35 c | 85006 | 160 13600 95200 | 57210 54328 48 | 0.004 % |
37.55/37.62 c | 85379 | 160 13600 95200 | 57210 54701 48 | 0.004 % |
37.75/37.88 c | 85789 | 160 13600 95200 | 57210 55111 48 | 0.004 % |
38.05/38.14 c | 86239 | 160 13600 95200 | 57210 55561 48 | 0.004 % |
38.35/38.41 c | 86732 | 160 13600 95200 | 57210 56054 48 | 0.004 % |
38.65/38.70 c | 87274 | 160 13600 95200 | 57210 56596 48 | 0.004 % |
38.95/39.08 c | 87870 | 160 13600 95200 | 57210 57192 48 | 0.004 % |
39.45/39.53 c | 88526 | 160 13600 95200 | 57210 51711 48 | 0.004 % |
39.95/40.08 c | 89246 | 160 13600 95200 | 57210 52431 48 | 0.004 % |
40.55/40.63 c | 90040 | 160 13600 95200 | 53186 53225 48 | 0.004 % |
41.15/41.21 c | 90911 | 160 13600 95200 | 53186 48374 48 | 0.004 % |
41.65/41.76 c | 91870 | 160 13600 95200 | 53186 49333 48 | 0.004 % |
42.25/42.33 c | 92923 | 160 13600 95200 | 53186 50386 48 | 0.004 % |
42.25/42.38 c | 93023 | 160 13600 95200 | 53186 50486 48 | 0.004 % |
42.35/42.47 c | 93133 | 160 13600 95200 | 53186 50596 48 | 0.004 % |
42.45/42.55 c | 93254 | 160 13600 95200 | 53186 50717 48 | 0.004 % |
42.55/42.65 c | 93389 | 160 13600 95200 | 53186 50852 48 | 0.004 % |
42.66/42.75 c | 93536 | 160 13600 95200 | 53186 50999 48 | 0.004 % |
42.76/42.88 c | 93696 | 160 13600 95200 | 53186 51159 48 | 0.004 % |
42.96/43.00 c | 93873 | 160 13600 95200 | 53186 51336 48 | 0.004 % |
43.06/43.12 c | 94066 | 160 13600 95200 | 53186 51529 48 | 0.004 % |
43.16/43.28 c | 94278 | 160 13600 95200 | 53186 51741 48 | 0.004 % |
43.36/43.45 c | 94512 | 160 13600 95200 | 53186 51975 48 | 0.004 % |
43.56/43.65 c | 94770 | 160 13600 95200 | 53186 52233 48 | 0.004 % |
43.76/43.82 c | 95051 | 160 13600 95200 | 53186 52514 48 | 0.004 % |
43.96/44.06 c | 95361 | 160 13600 95200 | 53186 52824 48 | 0.004 % |
44.26/44.30 c | 95700 | 160 13600 95200 | 53186 53163 48 | 0.004 % |
44.46/44.56 c | 96074 | 160 13600 95200 | 53186 48211 48 | 0.004 % |
44.76/44.80 c | 96484 | 160 13600 95200 | 53186 48621 48 | 0.004 % |
44.96/45.05 c | 96933 | 160 13600 95200 | 53186 49070 48 | 0.004 % |
45.26/45.37 c | 97426 | 160 13600 95200 | 53186 49563 48 | 0.004 % |
45.56/45.68 c | 97968 | 160 13600 95200 | 53186 50105 48 | 0.004 % |
45.96/46.01 c | 98565 | 160 13600 95200 | 53186 50702 48 | 0.004 % |
46.36/46.46 c | 99222 | 160 13600 95200 | 53186 51359 48 | 0.004 % |
46.86/46.92 c | 99943 | 160 13600 95200 | 53186 52080 48 | 0.004 % |
47.36/47.42 c | 100736 | 160 13600 95200 | 2147483647 52873 48 | 0.004 % |
47.76/47.89 c | 101608 | 160 13600 95200 | 2147483647 53745 48 | 0.004 % |
48.36/48.49 c | 102566 | 160 13600 95200 | 2147483647 54703 48 | 0.004 % |
49.16/49.28 c | 103621 | 160 13600 95200 | 2147483647 55758 48 | 0.004 % |
49.96/50.07 c | 104780 | 160 13600 95200 | 2147483647 56917 48 | 0.004 % |
50.06/50.14 c | 104880 | 160 13600 95200 | 2147483647 57017 48 | 0.004 % |
50.16/50.22 c | 104992 | 160 13600 95200 | 2147483647 57129 48 | 0.004 % |
50.26/50.32 c | 105115 | 160 13600 95200 | 2147483647 57252 48 | 0.004 % |
50.36/50.42 c | 105248 | 160 13600 95200 | 2147483647 57385 48 | 0.004 % |
50.46/50.52 c | 105395 | 160 13600 95200 | 2147483647 57532 48 | 0.004 % |
50.56/50.63 c | 105556 | 160 13600 95200 | 2147483647 57693 48 | 0.004 % |
50.66/50.78 c | 105732 | 160 13600 95200 | 2147483647 57869 48 | 0.004 % |
50.86/50.92 c | 105925 | 160 13600 95200 | 2147483647 58062 48 | 0.004 % |
50.96/51.07 c | 106138 | 160 13600 95200 | 2147483647 58275 48 | 0.004 % |
51.16/51.23 c | 106371 | 160 13600 95200 | 2147483647 58508 48 | 0.004 % |
51.26/51.39 c | 106629 | 160 13600 95200 | 2147483647 58766 48 | 0.004 % |
51.46/51.57 c | 106910 | 160 13600 95200 | 2147483647 59047 48 | 0.004 % |
51.66/51.80 c | 107220 | 160 13600 95200 | 2147483647 59357 48 | 0.004 % |
51.96/52.02 c | 107559 | 160 13600 95200 | 2147483647 59696 48 | 0.004 % |
52.26/52.33 c | 107931 | 160 13600 95200 | 2147483647 60068 48 | 0.004 % |
52.56/52.63 c | 108341 | 160 13600 95200 | 2147483647 60478 48 | 0.004 % |
52.86/52.99 c | 108790 | 160 13600 95200 | 2147483647 60927 48 | 0.004 % |
53.26/53.34 c | 109283 | 160 13600 95200 | 2147483647 61420 48 | 0.004 % |
53.66/53.76 c | 109825 | 160 13600 95200 | 2147483647 61962 48 | 0.004 % |
54.16/54.23 c | 110422 | 160 13600 95200 | 62137 55433 48 | 0.004 % |
54.55/54.63 c | 111077 | 160 13600 95200 | 62137 56088 48 | 0.004 % |
55.15/55.20 c | 111800 | 160 13600 95200 | 62137 56811 48 | 0.004 % |
55.65/55.72 c | 112594 | 160 13600 95200 | 62137 57605 48 | 0.004 % |
56.25/56.36 c | 113465 | 160 13600 95200 | 62137 58476 49 | 0.004 % |
56.95/57.03 c | 114424 | 160 13600 95200 | 62137 59435 49 | 0.004 % |
57.65/57.74 c | 115478 | 160 13600 95200 | 62137 60489 49 | 0.004 % |
58.46/58.54 c | 116636 | 160 13600 95200 | 62137 61647 48 | 0.004 % |
59.36/59.42 c | 117909 | 160 13600 95200 | 62137 55520 48 | 0.004 % |
59.36/59.48 c | 118010 | 160 13600 95200 | 62137 55621 48 | 0.004 % |
59.46/59.58 c | 118121 | 160 13600 95200 | 62137 55732 48 | 0.004 % |
59.55/59.68 c | 118242 | 160 13600 95200 | 62137 55853 48 | 0.004 % |
59.65/59.78 c | 118376 | 160 13600 95200 | 62137 55987 48 | 0.004 % |
59.85/59.91 c | 118522 | 160 13600 95200 | 62137 56133 48 | 0.004 % |
59.95/60.05 c | 118684 | 160 13600 95200 | 62137 56295 48 | 0.004 % |
60.15/60.20 c | 118861 | 160 13600 95200 | 62137 56472 48 | 0.004 % |
60.25/60.35 c | 119055 | 160 13600 95200 | 62137 56666 48 | 0.004 % |
60.46/60.53 c | 119267 | 160 13600 95200 | 62137 56878 48 | 0.004 % |
60.56/60.70 c | 119500 | 160 13600 95200 | 62137 57111 48 | 0.004 % |
60.85/60.90 c | 119757 | 160 13600 95200 | 62137 57368 48 | 0.004 % |
61.05/61.11 c | 120038 | 160 13600 95200 | 57612 57649 48 | 0.004 % |
61.25/61.36 c | 120349 | 160 13600 95200 | 57612 50920 48 | 0.004 % |
61.45/61.59 c | 120689 | 160 13600 95200 | 57612 51260 48 | 0.004 % |
61.75/61.84 c | 121061 | 160 13600 95200 | 57612 51632 48 | 0.004 % |
62.05/62.13 c | 121470 | 160 13600 95200 | 57612 52041 48 | 0.004 % |
62.25/62.40 c | 121920 | 160 13600 95200 | 57612 52491 48 | 0.004 % |
62.66/62.71 c | 122414 | 160 13600 95200 | 57612 52985 48 | 0.004 % |
62.95/63.05 c | 122956 | 160 13600 95200 | 57612 53527 48 | 0.004 % |
63.35/63.42 c | 123552 | 160 13600 95200 | 57612 54123 48 | 0.004 % |
63.86/63.92 c | 124211 | 160 13600 95200 | 57612 54782 48 | 0.004 % |
64.35/64.41 c | 124931 | 160 13600 95200 | 57612 55502 48 | 0.004 % |
64.86/64.94 c | 125724 | 160 13600 95200 | 57612 56295 48 | 0.004 % |
65.35/65.48 c | 126596 | 160 13600 95200 | 57612 57167 48 | 0.004 % |
66.05/66.17 c | 127554 | 160 13600 95200 | 57612 51714 48 | 0.004 % |
66.75/66.86 c | 128607 | 160 13600 95200 | 57612 52767 48 | 0.004 % |
67.45/67.55 c | 129767 | 160 13600 95200 | 57612 53927 48 | 0.004 % |
68.15/68.24 c | 131041 | 160 13600 95200 | 54163 49433 48 | 0.004 % |
69.05/69.11 c | 132443 | 160 13600 95200 | 54163 50835 48 | 0.004 % |
69.05/69.18 c | 132543 | 160 13600 95200 | 54163 50935 48 | 0.004 % |
69.15/69.26 c | 132653 | 160 13600 95200 | 54163 51045 49 | 0.004 % |
69.25/69.35 c | 132774 | 160 13600 95200 | 54163 51166 48 | 0.004 % |
69.35/69.44 c | 132907 | 160 13600 95200 | 54163 51299 48 | 0.004 % |
69.45/69.54 c | 133053 | 160 13600 95200 | 54163 51445 48 | 0.004 % |
69.55/69.68 c | 133215 | 160 13600 95200 | 54163 51607 48 | 0.004 % |
69.75/69.80 c | 133391 | 160 13600 95200 | 54163 51783 48 | 0.004 % |
69.85/69.93 c | 133584 | 160 13600 95200 | 54163 51976 48 | 0.004 % |
70.05/70.10 c | 133797 | 160 13600 95200 | 54163 52189 49 | 0.004 % |
70.15/70.26 c | 134030 | 160 13600 95200 | 54163 52422 49 | 0.004 % |
70.35/70.43 c | 134286 | 160 13600 95200 | 54163 52678 49 | 0.004 % |
70.55/70.62 c | 134568 | 160 13600 95200 | 54163 52960 49 | 0.004 % |
70.75/70.83 c | 134877 | 160 13600 95200 | 54163 53269 49 | 0.004 % |
70.95/71.08 c | 135219 | 160 13600 95200 | 54163 53611 49 | 0.004 % |
71.25/71.33 c | 135592 | 160 13600 95200 | 54163 53984 49 | 0.004 % |
71.55/71.67 c | 136003 | 160 13600 95200 | 54163 48947 48 | 0.004 % |
71.85/71.96 c | 136454 | 160 13600 95200 | 54163 49398 48 | 0.004 % |
72.15/72.26 c | 136948 | 160 13600 95200 | 54163 49892 49 | 0.004 % |
72.45/72.56 c | 137491 | 160 13600 95200 | 54163 50435 49 | 0.004 % |
72.85/72.93 c | 138088 | 160 13600 95200 | 54163 51032 49 | 0.004 % |
73.35/73.44 c | 138743 | 160 13600 95200 | 54163 51687 49 | 0.004 % |
73.85/73.93 c | 139465 | 160 13600 95200 | 54163 52409 49 | 0.004 % |
74.35/74.44 c | 140257 | 160 13600 95200 | 2147483647 53201 49 | 0.004 % |
74.85/74.97 c | 141129 | 160 13600 95200 | 2147483647 54073 49 | 0.004 % |
75.45/75.55 c | 142088 | 160 13600 95200 | 2147483647 55032 49 | 0.004 % |
76.25/76.31 c | 143141 | 160 13600 95200 | 2147483647 56085 49 | 0.004 % |
77.05/77.14 c | 144301 | 160 13600 95200 | 2147483647 57245 49 | 0.004 % |
77.85/77.98 c | 145574 | 160 13600 95200 | 2147483647 58518 49 | 0.004 % |
78.95/79.02 c | 146976 | 160 13600 95200 | 2147483647 59920 49 | 0.004 % |
79.94/80.06 c | 148517 | 160 13600 95200 | 2147483647 61461 49 | 0.004 % |
80.04/80.16 c | 148617 | 160 13600 95200 | 2147483647 61561 49 | 0.004 % |
80.14/80.25 c | 148727 | 160 13600 95200 | 2147483647 61671 49 | 0.004 % |
80.25/80.33 c | 148848 | 160 13600 95200 | 2147483647 61792 49 | 0.004 % |
80.35/80.42 c | 148981 | 160 13600 95200 | 2147483647 61925 49 | 0.004 % |
80.44/80.54 c | 149128 | 160 13600 95200 | 2147483647 62072 49 | 0.004 % |
80.54/80.66 c | 149288 | 160 13600 95200 | 2147483647 62232 49 | 0.004 % |
80.74/80.80 c | 149464 | 160 13600 95200 | 2147483647 62408 49 | 0.004 % |
80.84/80.95 c | 149658 | 160 13600 95200 | 2147483647 62602 49 | 0.004 % |
81.04/81.11 c | 149870 | 160 13600 95200 | 2147483647 62814 49 | 0.004 % |
81.24/81.33 c | 150104 | 160 13600 95200 | 62945 55560 49 | 0.004 % |
81.35/81.49 c | 150361 | 160 13600 95200 | 62945 55817 49 | 0.004 % |
81.54/81.67 c | 150642 | 160 13600 95200 | 62945 56098 49 | 0.004 % |
81.74/81.87 c | 150952 | 160 13600 95200 | 62945 56408 49 | 0.004 % |
81.94/82.08 c | 151291 | 160 13600 95200 | 62945 56747 49 | 0.004 % |
82.24/82.30 c | 151663 | 160 13600 95200 | 62945 57119 49 | 0.004 % |
82.45/82.55 c | 152072 | 160 13600 95200 | 62945 57528 49 | 0.004 % |
82.84/82.91 c | 152521 | 160 13600 95200 | 62945 57977 49 | 0.004 % |
83.14/83.24 c | 153014 | 160 13600 95200 | 62945 58470 49 | 0.004 % |
83.55/83.69 c | 153557 | 160 13600 95200 | 62945 59013 49 | 0.004 % |
84.04/84.12 c | 154153 | 160 13600 95200 | 62945 59609 49 | 0.004 % |
84.54/84.60 c | 154810 | 160 13600 95200 | 62945 60266 49 | 0.004 % |
84.94/85.07 c | 155530 | 160 13600 95200 | 62945 60986 49 | 0.004 % |
85.54/85.67 c | 156322 | 160 13600 95200 | 62945 61778 49 | 0.004 % |
86.24/86.32 c | 157193 | 160 13600 95200 | 62945 62649 49 | 0.004 % |
86.95/87.00 c | 158154 | 160 13600 95200 | 62945 55376 49 | 0.004 % |
87.54/87.69 c | 159207 | 160 13600 95200 | 62945 56429 48 | 0.004 % |
88.34/88.41 c | 160365 | 160 13600 95200 | 57222 50461 48 | 0.004 % |
88.94/89.09 c | 161639 | 160 13600 95200 | 57222 51735 48 | 0.004 % |
89.74/89.87 c | 163039 | 160 13600 95200 | 57222 53135 48 | 0.004 % |
90.94/91.07 c | 164579 | 160 13600 95200 | 57222 54675 49 | 0.004 % |
92.14/92.25 c | 166274 | 160 13600 95200 | 57222 56370 48 | 0.004 % |
92.24/92.32 c | 166375 | 160 13600 95200 | 57222 56471 48 | 0.004 % |
92.24/92.39 c | 166487 | 160 13600 95200 | 57222 56583 48 | 0.004 % |
92.34/92.47 c | 166608 | 160 13600 95200 | 57222 56704 48 | 0.004 % |
92.44/92.55 c | 166742 | 160 13600 95200 | 57222 56838 48 | 0.004 % |
92.54/92.65 c | 166889 | 160 13600 95200 | 57222 56985 48 | 0.004 % |
92.64/92.74 c | 167050 | 160 13600 95200 | 57222 57146 48 | 0.004 % |
92.84/92.95 c | 167226 | 160 13600 95200 | 57222 51372 48 | 0.004 % |
93.04/93.10 c | 167420 | 160 13600 95200 | 57222 51566 48 | 0.004 % |
93.14/93.24 c | 167632 | 160 13600 95200 | 57222 51778 48 | 0.004 % |
93.34/93.40 c | 167866 | 160 13600 95200 | 57222 52012 48 | 0.004 % |
93.44/93.56 c | 168124 | 160 13600 95200 | 57222 52270 48 | 0.004 % |
93.64/93.71 c | 168406 | 160 13600 95200 | 57222 52552 48 | 0.004 % |
93.74/93.89 c | 168717 | 160 13600 95200 | 57222 52863 48 | 0.004 % |
93.94/94.08 c | 169057 | 160 13600 95200 | 57222 53203 48 | 0.004 % |
94.24/94.33 c | 169429 | 160 13600 95200 | 57222 53575 48 | 0.004 % |
94.54/94.64 c | 169838 | 160 13600 95200 | 57222 53984 48 | 0.004 % |
94.84/94.93 c | 170287 | 160 13600 95200 | 54147 48967 48 | 0.004 % |
95.14/95.20 c | 170780 | 160 13600 95200 | 54147 49460 48 | 0.004 % |
95.34/95.49 c | 171323 | 160 13600 95200 | 54147 50003 48 | 0.004 % |
95.74/95.86 c | 171920 | 160 13600 95200 | 54147 50600 48 | 0.004 % |
96.14/96.23 c | 172577 | 160 13600 95200 | 54147 51257 48 | 0.004 % |
96.64/96.71 c | 173300 | 160 13600 95200 | 54147 51980 48 | 0.004 % |
97.14/97.27 c | 174094 | 160 13600 95200 | 54147 52774 48 | 0.004 % |
97.74/97.81 c | 174966 | 160 13600 95200 | 54147 53646 48 | 0.004 % |
98.34/98.43 c | 175925 | 160 13600 95200 | 54147 49183 48 | 0.004 % |
98.94/99.03 c | 176979 | 160 13600 95200 | 54147 50237 48 | 0.004 % |
99.54/99.62 c | 178137 | 160 13600 95200 | 54147 51395 48 | 0.004 % |
100.24/100.31 c | 179410 | 160 13600 95200 | 54147 52668 48 | 0.004 % |
101.04/101.11 c | 180812 | 160 13600 95200 | 2147483647 54070 48 | 0.004 % |
101.94/102.05 c | 182352 | 160 13600 95200 | 2147483647 55610 48 | 0.004 % |
102.94/103.09 c | 184046 | 160 13600 95200 | 2147483647 57304 48 | 0.004 % |
104.24/104.35 c | 185909 | 160 13600 95200 | 2147483647 59167 49 | 0.004 % |
104.34/104.42 c | 186009 | 160 13600 95200 | 2147483647 59267 49 | 0.004 % |
104.44/104.53 c | 186120 | 160 13600 95200 | 2147483647 59378 49 | 0.004 % |
104.54/104.62 c | 186241 | 160 13600 95200 | 2147483647 59499 49 | 0.004 % |
104.64/104.72 c | 186375 | 160 13600 95200 | 2147483647 59633 48 | 0.004 % |
104.74/104.83 c | 186521 | 160 13600 95200 | 2147483647 59779 48 | 0.004 % |
104.84/104.98 c | 186681 | 160 13600 95200 | 2147483647 59939 48 | 0.004 % |
105.04/105.13 c | 186857 | 160 13600 95200 | 2147483647 60115 48 | 0.004 % |
105.14/105.28 c | 187050 | 160 13600 95200 | 2147483647 60308 48 | 0.004 % |
105.34/105.48 c | 187262 | 160 13600 95200 | 2147483647 60520 49 | 0.004 % |
105.54/105.66 c | 187495 | 160 13600 95200 | 2147483647 60753 48 | 0.004 % |
105.73/105.89 c | 187751 | 160 13600 95200 | 2147483647 61009 48 | 0.004 % |
106.03/106.10 c | 188033 | 160 13600 95200 | 2147483647 61291 48 | 0.004 % |
106.23/106.37 c | 188343 | 160 13600 95200 | 2147483647 61601 48 | 0.004 % |
106.53/106.65 c | 188682 | 160 13600 95200 | 2147483647 61940 48 | 0.004 % |
106.83/106.92 c | 189055 | 160 13600 95200 | 2147483647 62313 48 | 0.004 % |
107.13/107.29 c | 189464 | 160 13600 95200 | 2147483647 62722 48 | 0.004 % |
107.53/107.66 c | 189915 | 160 13600 95200 | 2147483647 63173 48 | 0.004 % |
107.93/108.07 c | 190408 | 160 13600 95200 | 63260 56182 48 | 0.004 % |
108.23/108.39 c | 190951 | 160 13600 95200 | 63260 56725 48 | 0.004 % |
108.63/108.77 c | 191547 | 160 13600 95200 | 63260 57321 48 | 0.004 % |
109.13/109.25 c | 192202 | 160 13600 95200 | 63260 57976 48 | 0.004 % |
109.63/109.78 c | 192925 | 160 13600 95200 | 63260 58699 48 | 0.004 % |
110.23/110.32 c | 193717 | 160 13600 95200 | 63260 59491 48 | 0.004 % |
110.73/110.89 c | 194588 | 160 13600 95200 | 63260 60362 48 | 0.004 % |
111.53/111.61 c | 195547 | 160 13600 95200 | 63260 61321 48 | 0.004 % |
112.33/112.44 c | 196600 | 160 13600 95200 | 63260 62374 49 | 0.004 % |
113.23/113.32 c | 197760 | 160 13600 95200 | 63260 55013 48 | 0.004 % |
113.93/114.07 c | 199033 | 160 13600 95200 | 63260 56286 48 | 0.004 % |
114.83/114.99 c | 200434 | 160 13600 95200 | 57254 50417 48 | 0.004 % |
115.73/115.89 c | 201974 | 160 13600 95200 | 57254 51957 48 | 0.004 % |
116.83/116.93 c | 203668 | 160 13600 95200 | 57254 53651 48 | 0.004 % |
117.93/118.07 c | 205532 | 160 13600 95200 | 57254 55515 48 | 0.004 % |
119.33/119.40 c | 207581 | 160 13600 95200 | 57254 51832 48 | 0.004 % |
119.33/119.47 c | 207682 | 160 13600 95200 | 57254 51933 48 | 0.004 % |
119.43/119.55 c | 207792 | 160 13600 95200 | 57254 52043 48 | 0.004 % |
119.53/119.62 c | 207913 | 160 13600 95200 | 57254 52164 48 | 0.004 % |
119.63/119.71 c | 208047 | 160 13600 95200 | 57254 52298 48 | 0.004 % |
119.73/119.82 c | 208193 | 160 13600 95200 | 57254 52444 48 | 0.004 % |
119.83/119.94 c | 208354 | 160 13600 95200 | 57254 52605 48 | 0.004 % |
119.93/120.05 c | 208531 | 160 13600 95200 | 57254 52782 48 | 0.004 % |
120.13/120.21 c | 208725 | 160 13600 95200 | 57254 52976 48 | 0.004 % |
120.23/120.35 c | 208938 | 160 13600 95200 | 57254 53189 48 | 0.004 % |
120.43/120.51 c | 209171 | 160 13600 95200 | 57254 53422 48 | 0.004 % |
120.53/120.68 c | 209427 | 160 13600 95200 | 57254 53678 48 | 0.004 % |
120.73/120.88 c | 209708 | 160 13600 95200 | 57254 53959 48 | 0.004 % |
120.93/121.08 c | 210017 | 160 13600 95200 | 2147483647 54268 48 | 0.004 % |
121.23/121.32 c | 210356 | 160 13600 95200 | 2147483647 54607 48 | 0.004 % |
121.43/121.57 c | 210729 | 160 13600 95200 | 2147483647 54980 48 | 0.004 % |
121.73/121.84 c | 211138 | 160 13600 95200 | 2147483647 55389 48 | 0.004 % |
122.03/122.12 c | 211587 | 160 13600 95200 | 2147483647 55838 48 | 0.004 % |
122.33/122.50 c | 212081 | 160 13600 95200 | 2147483647 56332 49 | 0.004 % |
122.73/122.88 c | 212624 | 160 13600 95200 | 2147483647 56875 49 | 0.004 % |
123.13/123.25 c | 213222 | 160 13600 95200 | 2147483647 57473 49 | 0.004 % |
123.53/123.65 c | 213879 | 160 13600 95200 | 2147483647 58130 49 | 0.004 % |
124.03/124.14 c | 214599 | 160 13600 95200 | 2147483647 58850 49 | 0.004 % |
124.63/124.73 c | 215391 | 160 13600 95200 | 2147483647 59642 49 | 0.004 % |
125.22/125.34 c | 216262 | 160 13600 95200 | 2147483647 60513 49 | 0.004 % |
125.82/125.98 c | 217220 | 160 13600 95200 | 2147483647 61471 49 | 0.004 % |
126.62/126.72 c | 218274 | 160 13600 95200 | 2147483647 62525 49 | 0.004 % |
127.42/127.50 c | 219433 | 160 13600 95200 | 2147483647 63684 49 | 0.004 % |
128.22/128.36 c | 220708 | 160 13600 95200 | 64251 57135 49 | 0.004 % |
129.02/129.19 c | 222108 | 160 13600 95200 | 64251 58535 49 | 0.004 % |
130.02/130.16 c | 223648 | 160 13600 95200 | 64251 60075 49 | 0.004 % |
131.02/131.17 c | 225343 | 160 13600 95200 | 64251 61770 49 | 0.004 % |
132.12/132.29 c | 227207 | 160 13600 95200 | 64251 63634 49 | 0.004 % |
133.52/133.60 c | 229257 | 160 13600 95200 | 64251 58484 49 | 0.004 % |
134.72/134.84 c | 231511 | 160 13600 95200 | 59228 54197 49 | 0.004 % |
134.82/134.93 c | 231611 | 160 13600 95200 | 59228 54297 49 | 0.004 % |
134.92/135.00 c | 231721 | 160 13600 95200 | 59228 54407 49 | 0.004 % |
134.92/135.08 c | 231842 | 160 13600 95200 | 59228 54528 49 | 0.004 % |
135.02/135.15 c | 231976 | 160 13600 95200 | 59228 54662 49 | 0.004 % |
135.12/135.24 c | 232123 | 160 13600 95200 | 59228 54809 49 | 0.004 % |
135.23/135.34 c | 232284 | 160 13600 95200 | 59228 54970 49 | 0.004 % |
135.33/135.46 c | 232460 | 160 13600 95200 | 59228 55146 49 | 0.004 % |
135.42/135.59 c | 232653 | 160 13600 95200 | 59228 55339 49 | 0.004 % |
135.62/135.73 c | 232865 | 160 13600 95200 | 59228 55551 49 | 0.004 % |
135.72/135.88 c | 233098 | 160 13600 95200 | 59228 55784 49 | 0.004 % |
136.02/136.12 c | 233356 | 160 13600 95200 | 59228 56042 49 | 0.004 % |
136.22/136.33 c | 233637 | 160 13600 95200 | 59228 56323 49 | 0.004 % |
136.42/136.55 c | 233946 | 160 13600 95200 | 59228 56632 49 | 0.004 % |
136.62/136.79 c | 234287 | 160 13600 95200 | 59228 56973 49 | 0.004 % |
136.92/137.03 c | 234659 | 160 13600 95200 | 59228 57345 49 | 0.004 % |
137.22/137.32 c | 235071 | 160 13600 95200 | 59228 57757 49 | 0.004 % |
137.52/137.66 c | 235520 | 160 13600 95200 | 59228 58206 49 | 0.004 % |
137.92/138.03 c | 236014 | 160 13600 95200 | 59228 58700 49 | 0.004 % |
138.32/138.45 c | 236556 | 160 13600 95200 | 59228 59242 49 | 0.004 % |
138.72/138.89 c | 237153 | 160 13600 95200 | 59228 53242 49 | 0.004 % |
139.12/139.28 c | 237808 | 160 13600 95200 | 59228 53897 49 | 0.004 % |
139.62/139.74 c | 238529 | 160 13600 95200 | 59228 54618 49 | 0.004 % |
140.22/140.33 c | 239325 | 160 13600 95200 | 59228 55414 49 | 0.004 % |
140.82/140.92 c | 240197 | 160 13600 95200 | 56090 50135 49 | 0.004 % |
141.32/141.49 c | 241155 | 160 13600 95200 | 56090 51093 49 | 0.004 % |
141.92/142.08 c | 242208 | 160 13600 95200 | 56090 52146 49 | 0.004 % |
142.62/142.70 c | 243366 | 160 13600 95200 | 56090 53304 49 | 0.004 % |
143.22/143.39 c | 244639 | 160 13600 95200 | 56090 54577 49 | 0.004 % |
144.02/144.14 c | 246039 | 160 13600 95200 | 56090 55977 49 | 0.004 % |
145.02/145.15 c | 247579 | 160 13600 95200 | 56090 51901 49 | 0.004 % |
146.02/146.16 c | 249273 | 160 13600 95200 | 56090 53595 49 | 0.004 % |
147.12/147.25 c | 251136 | 160 13600 95200 | 2147483647 55458 49 | 0.004 % |
148.32/148.45 c | 253187 | 160 13600 95200 | 2147483647 57509 49 | 0.004 % |
149.72/149.87 c | 255440 | 160 13600 95200 | 2147483647 59762 49 | 0.004 % |
151.41/151.52 c | 257919 | 160 13600 95200 | 2147483647 62241 49 | 0.004 % |
151.51/151.60 c | 258019 | 160 13600 95200 | 2147483647 62341 49 | 0.004 % |
151.61/151.70 c | 258130 | 160 13600 95200 | 2147483647 62452 49 | 0.004 % |
151.72/151.81 c | 258251 | 160 13600 95200 | 2147483647 62573 49 | 0.004 % |
151.82/151.92 c | 258384 | 160 13600 95200 | 2147483647 62706 49 | 0.004 % |
151.91/152.04 c | 258530 | 160 13600 95200 | 2147483647 62852 49 | 0.004 % |
152.01/152.20 c | 258691 | 160 13600 95200 | 2147483647 63013 49 | 0.004 % |
152.21/152.34 c | 258867 | 160 13600 95200 | 2147483647 63189 49 | 0.004 % |
152.31/152.49 c | 259060 | 160 13600 95200 | 2147483647 63382 49 | 0.004 % |
152.61/152.70 c | 259274 | 160 13600 95200 | 2147483647 63596 49 | 0.004 % |
152.72/152.88 c | 259507 | 160 13600 95200 | 2147483647 63829 49 | 0.004 % |
153.02/153.11 c | 259763 | 160 13600 95200 | 2147483647 64085 49 | 0.004 % |
153.22/153.37 c | 260044 | 160 13600 95200 | 64322 64366 49 | 0.004 % |
153.52/153.66 c | 260353 | 160 13600 95200 | 64322 57294 49 | 0.004 % |
153.82/153.90 c | 260692 | 160 13600 95200 | 64322 57633 49 | 0.004 % |
154.03/154.19 c | 261066 | 160 13600 95200 | 64322 58007 49 | 0.004 % |
154.42/154.52 c | 261475 | 160 13600 95200 | 64322 58416 49 | 0.004 % |
154.72/154.83 c | 261926 | 160 13600 95200 | 64322 58867 49 | 0.004 % |
155.03/155.20 c | 262420 | 160 13600 95200 | 64322 59361 49 | 0.004 % |
155.42/155.58 c | 262964 | 160 13600 95200 | 64322 59905 49 | 0.004 % |
155.82/155.97 c | 263562 | 160 13600 95200 | 64322 60503 49 | 0.004 % |
156.32/156.45 c | 264218 | 160 13600 95200 | 64322 61159 49 | 0.004 % |
156.92/157.01 c | 264940 | 160 13600 95200 | 64322 61881 49 | 0.004 % |
157.42/157.54 c | 265732 | 160 13600 95200 | 64322 62673 49 | 0.004 % |
158.02/158.14 c | 266603 | 160 13600 95200 | 64322 63544 49 | 0.004 % |
158.72/158.83 c | 267562 | 160 13600 95200 | 64322 56126 49 | 0.004 % |
159.53/159.61 c | 268618 | 160 13600 95200 | 64322 57182 49 | 0.004 % |
160.22/160.36 c | 269776 | 160 13600 95200 | 64322 58340 49 | 0.004 % |
161.02/161.19 c | 271049 | 160 13600 95200 | 58564 52224 49 | 0.004 % |
161.92/162.03 c | 272449 | 160 13600 95200 | 58564 53624 49 | 0.004 % |
162.82/162.97 c | 273991 | 160 13600 95200 | 58564 55166 49 | 0.004 % |
163.82/163.98 c | 275686 | 160 13600 95200 | 58564 56861 49 | 0.004 % |
165.02/165.18 c | 277551 | 160 13600 95200 | 58564 52473 49 | 0.004 % |
166.42/166.60 c | 279601 | 160 13600 95200 | 58564 54523 49 | 0.004 % |
167.81/167.97 c | 281856 | 160 13600 95200 | 54924 51014 49 | 0.004 % |
169.21/169.38 c | 284334 | 160 13600 95200 | 54924 53492 49 | 0.004 % |
170.81/170.92 c | 287060 | 160 13600 95200 | 54924 50719 49 | 0.004 % |
170.91/171.01 c | 287160 | 160 13600 95200 | 54924 50819 49 | 0.004 % |
170.91/171.09 c | 287270 | 160 13600 95200 | 54924 50929 49 | 0.004 % |
171.01/171.17 c | 287391 | 160 13600 95200 | 54924 51050 49 | 0.004 % |
171.11/171.27 c | 287526 | 160 13600 95200 | 54924 51185 49 | 0.004 % |
171.21/171.39 c | 287673 | 160 13600 95200 | 54924 51332 49 | 0.004 % |
171.41/171.51 c | 287834 | 160 13600 95200 | 54924 51493 49 | 0.004 % |
171.52/171.64 c | 288010 | 160 13600 95200 | 54924 51669 49 | 0.004 % |
171.62/171.80 c | 288203 | 160 13600 95200 | 54924 51862 49 | 0.004 % |
171.81/171.93 c | 288416 | 160 13600 95200 | 54924 52075 49 | 0.004 % |
171.91/172.08 c | 288649 | 160 13600 95200 | 54924 52308 49 | 0.004 % |
172.11/172.24 c | 288906 | 160 13600 95200 | 54924 52565 49 | 0.004 % |
172.31/172.41 c | 289189 | 160 13600 95200 | 54924 52848 49 | 0.004 % |
172.41/172.58 c | 289498 | 160 13600 95200 | 54924 53157 49 | 0.004 % |
172.72/172.81 c | 289837 | 160 13600 95200 | 54924 53496 49 | 0.004 % |
172.91/173.04 c | 290210 | 160 13600 95200 | 2147483647 53869 49 | 0.004 % |
173.11/173.30 c | 290619 | 160 13600 95200 | 2147483647 54278 49 | 0.004 % |
173.41/173.59 c | 291068 | 160 13600 95200 | 2147483647 54727 49 | 0.004 % |
173.82/173.97 c | 291562 | 160 13600 95200 | 2147483647 55221 49 | 0.004 % |
174.21/174.37 c | 292106 | 160 13600 95200 | 2147483647 55765 49 | 0.004 % |
174.61/174.76 c | 292703 | 160 13600 95200 | 2147483647 56362 49 | 0.004 % |
175.01/175.17 c | 293358 | 160 13600 95200 | 2147483647 57017 49 | 0.004 % |
175.51/175.65 c | 294080 | 160 13600 95200 | 2147483647 57739 49 | 0.004 % |
176.11/176.27 c | 294873 | 160 13600 95200 | 2147483647 58532 49 | 0.004 % |
176.71/176.88 c | 295744 | 160 13600 95200 | 2147483647 59403 49 | 0.004 % |
177.41/177.51 c | 296704 | 160 13600 95200 | 2147483647 60363 49 | 0.004 % |
178.01/178.17 c | 297758 | 160 13600 95200 | 2147483647 61417 49 | 0.004 % |
178.91/179.01 c | 298917 | 160 13600 95200 | 2147483647 62576 49 | 0.004 % |
179.81/179.94 c | 300190 | 160 13600 95200 | 63659 56319 49 | 0.004 % |
180.61/180.78 c | 301591 | 160 13600 95200 | 63659 57720 49 | 0.004 % |
181.71/181.82 c | 303131 | 160 13600 95200 | 63659 59260 49 | 0.004 % |
182.71/182.87 c | 304826 | 160 13600 95200 | 63659 60955 49 | 0.004 % |
184.01/184.13 c | 306689 | 160 13600 95200 | 63659 62818 49 | 0.004 % |
185.41/185.53 c | 308741 | 160 13600 95200 | 63659 57142 49 | 0.004 % |
186.71/186.86 c | 310994 | 160 13600 95200 | 58401 52641 49 | 0.004 % |
188.11/188.21 c | 313473 | 160 13600 95200 | 58401 55120 49 | 0.004 % |
189.61/189.79 c | 316200 | 160 13600 95200 | 58401 57847 49 | 0.004 % |
191.31/191.45 c | 319197 | 160 13600 95200 | 58401 54997 49 | 0.004 % |
191.41/191.51 c | 319298 | 160 13600 95200 | 58401 55098 49 | 0.004 % |
191.41/191.59 c | 319408 | 160 13600 95200 | 58401 55208 49 | 0.004 % |
191.50/191.68 c | 319531 | 160 13600 95200 | 58401 55331 49 | 0.004 % |
191.70/191.81 c | 319665 | 160 13600 95200 | 58401 55465 49 | 0.004 % |
191.80/191.92 c | 319811 | 160 13600 95200 | 58401 55611 49 | 0.004 % |
191.90/192.05 c | 319971 | 160 13600 95200 | 58401 55771 49 | 0.004 % |
192.00/192.17 c | 320147 | 160 13600 95200 | 2147483647 55947 49 | 0.004 % |
192.20/192.31 c | 320341 | 160 13600 95200 | 2147483647 56141 49 | 0.004 % |
192.30/192.45 c | 320554 | 160 13600 95200 | 2147483647 56354 49 | 0.004 % |
192.51/192.67 c | 320788 | 160 13600 95200 | 2147483647 56588 49 | 0.004 % |
192.70/192.86 c | 321045 | 160 13600 95200 | 2147483647 56845 49 | 0.004 % |
192.90/193.08 c | 321326 | 160 13600 95200 | 2147483647 57126 49 | 0.004 % |
193.20/193.30 c | 321636 | 160 13600 95200 | 2147483647 57436 49 | 0.004 % |
193.40/193.53 c | 321977 | 160 13600 95200 | 2147483647 57777 49 | 0.004 % |
193.61/193.77 c | 322349 | 160 13600 95200 | 2147483647 58149 49 | 0.004 % |
193.90/194.03 c | 322760 | 160 13600 95200 | 2147483647 58560 49 | 0.004 % |
194.20/194.34 c | 323211 | 160 13600 95200 | 2147483647 59011 49 | 0.004 % |
194.50/194.65 c | 323704 | 160 13600 95200 | 2147483647 59504 49 | 0.004 % |
194.90/195.00 c | 324248 | 160 13600 95200 | 2147483647 60048 49 | 0.004 % |
195.30/195.40 c | 324844 | 160 13600 95200 | 2147483647 60644 49 | 0.004 % |
195.71/195.81 c | 325499 | 160 13600 95200 | 2147483647 61299 49 | 0.004 % |
196.10/196.26 c | 326221 | 160 13600 95200 | 2147483647 62021 49 | 0.004 % |
196.60/196.77 c | 327014 | 160 13600 95200 | 2147483647 62814 49 | 0.004 % |
197.30/197.47 c | 327885 | 160 13600 95200 | 2147483647 63685 49 | 0.004 % |
198.10/198.21 c | 328844 | 160 13600 95200 | 2147483647 64644 49 | 0.004 % |
198.80/198.96 c | 329897 | 160 13600 95200 | 2147483647 65697 49 | 0.004 % |
199.50/199.68 c | 331055 | 160 13600 95200 | 65800 58527 49 | 0.004 % |
200.40/200.55 c | 332328 | 160 13600 95200 | 65800 59800 49 | 0.004 % |
201.31/201.47 c | 333729 | 160 13600 95200 | 65800 61201 49 | 0.004 % |
202.30/202.47 c | 335270 | 160 13600 95200 | 65800 62742 49 | 0.004 % |
203.40/203.57 c | 336964 | 160 13600 95200 | 65800 64436 49 | 0.004 % |
204.70/204.88 c | 338830 | 160 13600 95200 | 65800 57701 49 | 0.004 % |
206.00/206.15 c | 340879 | 160 13600 95200 | 58871 52322 49 | 0.004 % |
207.20/207.38 c | 343133 | 160 13600 95200 | 58871 54576 49 | 0.004 % |
208.80/208.90 c | 345611 | 160 13600 95200 | 58871 57054 49 | 0.004 % |
210.50/210.61 c | 348336 | 160 13600 95200 | 58871 53885 49 | 0.004 % |
212.20/212.38 c | 351333 | 160 13600 95200 | 2147483647 56882 49 | 0.004 % |
214.29/214.40 c | 354629 | 160 13600 95200 | 2147483647 60178 49 | 0.004 % |
214.29/214.46 c | 354730 | 160 13600 95200 | 2147483647 60279 49 | 0.004 % |
214.40/214.54 c | 354840 | 160 13600 95200 | 2147483647 60389 49 | 0.004 % |
214.50/214.63 c | 354963 | 160 13600 95200 | 2147483647 60512 49 | 0.004 % |
214.59/214.72 c | 355096 | 160 13600 95200 | 2147483647 60645 49 | 0.004 % |
214.69/214.85 c | 355242 | 160 13600 95200 | 2147483647 60791 49 | 0.004 % |
214.79/214.99 c | 355403 | 160 13600 95200 | 2147483647 60952 49 | 0.004 % |
214.99/215.12 c | 355580 | 160 13600 95200 | 2147483647 61129 49 | 0.004 % |
215.09/215.27 c | 355773 | 160 13600 95200 | 2147483647 61322 49 | 0.004 % |
215.29/215.41 c | 355987 | 160 13600 95200 | 2147483647 61536 49 | 0.004 % |
215.39/215.57 c | 356221 | 160 13600 95200 | 2147483647 61770 49 | 0.004 % |
215.60/215.76 c | 356477 | 160 13600 95200 | 2147483647 62026 49 | 0.004 % |
215.79/215.97 c | 356760 | 160 13600 95200 | 2147483647 62309 49 | 0.004 % |
216.10/216.22 c | 357069 | 160 13600 95200 | 2147483647 62618 49 | 0.004 % |
216.40/216.52 c | 357408 | 160 13600 95200 | 2147483647 62957 49 | 0.004 % |
216.71/216.82 c | 357780 | 160 13600 95200 | 2147483647 63329 49 | 0.004 % |
217.00/217.12 c | 358190 | 160 13600 95200 | 2147483647 63739 49 | 0.004 % |
217.30/217.44 c | 358639 | 160 13600 95200 | 2147483647 64188 49 | 0.004 % |
217.60/217.76 c | 359132 | 160 13600 95200 | 2147483647 64681 49 | 0.004 % |
218.00/218.16 c | 359676 | 160 13600 95200 | 2147483647 65225 49 | 0.004 % |
218.50/218.65 c | 360276 | 160 13600 95200 | 65549 57995 49 | 0.004 % |
218.91/219.06 c | 360931 | 160 13600 95200 | 65549 58650 49 | 0.004 % |
219.30/219.49 c | 361652 | 160 13600 95200 | 65549 59371 49 | 0.004 % |
219.80/219.96 c | 362445 | 160 13600 95200 | 65549 60164 49 | 0.004 % |
220.40/220.50 c | 363317 | 160 13600 95200 | 65549 61036 49 | 0.004 % |
221.00/221.16 c | 364276 | 160 13600 95200 | 65549 61995 49 | 0.004 % |
221.70/221.89 c | 365330 | 160 13600 95200 | 65549 63049 49 | 0.004 % |
222.50/222.68 c | 366488 | 160 13600 95200 | 65549 64207 49 | 0.004 % |
223.40/223.58 c | 367761 | 160 13600 95200 | 65549 65480 49 | 0.004 % |
224.30/224.48 c | 369163 | 160 13600 95200 | 65549 59034 49 | 0.004 % |
225.30/225.42 c | 370703 | 160 13600 95200 | 59872 53603 49 | 0.004 % |
226.20/226.36 c | 372399 | 160 13600 95200 | 59872 55299 49 | 0.004 % |
227.30/227.43 c | 374262 | 160 13600 95200 | 59872 57162 49 | 0.004 % |
228.50/228.67 c | 376311 | 160 13600 95200 | 59872 59211 49 | 0.004 % |
229.90/230.01 c | 378565 | 160 13600 95200 | 59872 55470 48 | 0.004 % |
231.40/231.50 c | 381044 | 160 13600 95200 | 2147483647 57949 49 | 0.004 % |
233.10/233.29 c | 383770 | 160 13600 95200 | 2147483647 60675 49 | 0.004 % |
234.90/235.09 c | 386767 | 160 13600 95200 | 2147483647 63672 49 | 0.004 % |
237.09/237.27 c | 390065 | 160 13600 95200 | 66907 66970 49 | 0.004 % |
239.49/239.69 c | 393690 | 160 13600 95200 | 66907 62511 49 | 0.004 % |
239.59/239.75 c | 393791 | 160 13600 95200 | 66907 62612 49 | 0.004 % |
239.70/239.83 c | 393902 | 160 13600 95200 | 66907 62723 49 | 0.004 % |
239.80/239.92 c | 394023 | 160 13600 95200 | 66907 62844 49 | 0.004 % |
239.89/240.05 c | 394156 | 160 13600 95200 | 66907 62977 49 | 0.004 % |
239.99/240.15 c | 394302 | 160 13600 95200 | 66907 63123 49 | 0.004 % |
240.09/240.27 c | 394462 | 160 13600 95200 | 66907 63283 49 | 0.004 % |
240.19/240.40 c | 394638 | 160 13600 95200 | 66907 63459 49 | 0.004 % |
240.39/240.52 c | 394831 | 160 13600 95200 | 66907 63652 49 | 0.004 % |
240.49/240.69 c | 395046 | 160 13600 95200 | 66907 63867 49 | 0.004 % |
240.69/240.88 c | 395279 | 160 13600 95200 | 66907 64100 49 | 0.004 % |
240.90/241.07 c | 395536 | 160 13600 95200 | 66907 64357 49 | 0.004 % |
241.09/241.29 c | 395818 | 160 13600 95200 | 66907 64639 49 | 0.004 % |
241.39/241.53 c | 396127 | 160 13600 95200 | 66907 64948 49 | 0.004 % |
241.69/241.80 c | 396468 | 160 13600 95200 | 66907 65289 49 | 0.004 % |
241.90/242.07 c | 396840 | 160 13600 95200 | 66907 65661 49 | 0.004 % |
242.19/242.36 c | 397250 | 160 13600 95200 | 66907 66071 49 | 0.004 % |
242.59/242.72 c | 397700 | 160 13600 95200 | 66907 66521 49 | 0.004 % |
243.00/243.15 c | 398194 | 160 13600 95200 | 66907 57671 49 | 0.004 % |
243.29/243.49 c | 398737 | 160 13600 95200 | 66907 58214 49 | 0.004 % |
243.69/243.87 c | 399334 | 160 13600 95200 | 66907 58811 49 | 0.004 % |
244.19/244.32 c | 399989 | 160 13600 95200 | 66907 59466 49 | 0.004 % |
244.69/244.82 c | 400709 | 160 13600 95200 | 59477 51996 49 | 0.004 % |
245.09/245.23 c | 401502 | 160 13600 95200 | 59477 52789 49 | 0.004 % |
245.69/245.81 c | 402375 | 160 13600 95200 | 59477 53662 49 | 0.004 % |
246.19/246.39 c | 403333 | 160 13600 95200 | 59477 54620 49 | 0.004 % |
246.89/247.04 c | 404387 | 160 13600 95200 | 59477 55674 49 | 0.004 % |
247.59/247.78 c | 405545 | 160 13600 95200 | 59477 56832 49 | 0.004 % |
248.49/248.62 c | 406818 | 160 13600 95200 | 59477 58105 49 | 0.004 % |
249.39/249.55 c | 408218 | 160 13600 95200 | 59477 59505 49 | 0.004 % |
250.39/250.50 c | 409761 | 160 13600 95200 | 59477 54330 49 | 0.004 % |
251.29/251.44 c | 411456 | 160 13600 95200 | 54570 50113 49 | 0.004 % |
252.29/252.44 c | 413319 | 160 13600 95200 | 54570 51976 49 | 0.004 % |
253.49/253.64 c | 415368 | 160 13600 95200 | 54570 54025 49 | 0.004 % |
254.79/254.92 c | 417622 | 160 13600 95200 | 54570 50814 49 | 0.004 % |
256.09/256.22 c | 420100 | 160 13600 95200 | 2147483647 53292 49 | 0.004 % |
257.58/257.79 c | 422826 | 160 13600 95200 | 2147483647 56018 49 | 0.004 % |
259.28/259.45 c | 425825 | 160 13600 95200 | 2147483647 59017 49 | 0.004 % |
261.38/261.51 c | 429122 | 160 13600 95200 | 2147483647 62314 49 | 0.004 % |
263.68/263.82 c | 432749 | 160 13600 95200 | 2147483647 65941 49 | 0.004 % |
266.28/266.42 c | 436737 | 160 13600 95200 | 2147483647 69929 49 | 0.004 % |
266.38/266.50 c | 436837 | 160 13600 95200 | 2147483647 70029 49 | 0.004 % |
266.48/266.60 c | 436949 | 160 13600 95200 | 2147483647 70141 49 | 0.004 % |
266.58/266.71 c | 437072 | 160 13600 95200 | 2147483647 70264 49 | 0.004 % |
266.68/266.85 c | 437206 | 160 13600 95200 | 2147483647 70398 49 | 0.004 % |
266.78/266.97 c | 437352 | 160 13600 95200 | 2147483647 70544 49 | 0.004 % |
266.98/267.11 c | 437512 | 160 13600 95200 | 2147483647 70704 49 | 0.004 % |
267.08/267.28 c | 437689 | 160 13600 95200 | 2147483647 70881 49 | 0.004 % |
267.28/267.45 c | 437882 | 160 13600 95200 | 2147483647 71074 49 | 0.004 % |
267.48/267.62 c | 438094 | 160 13600 95200 | 2147483647 71286 49 | 0.004 % |
267.69/267.84 c | 438328 | 160 13600 95200 | 2147483647 71520 49 | 0.004 % |
267.89/268.09 c | 438584 | 160 13600 95200 | 2147483647 71776 49 | 0.004 % |
268.19/268.37 c | 438865 | 160 13600 95200 | 2147483647 72057 49 | 0.004 % |
268.49/268.66 c | 439176 | 160 13600 95200 | 2147483647 72368 49 | 0.004 % |
268.79/268.98 c | 439516 | 160 13600 95200 | 2147483647 72708 49 | 0.004 % |
269.19/269.33 c | 439889 | 160 13600 95200 | 2147483647 73081 49 | 0.004 % |
269.59/269.73 c | 440301 | 160 13600 95200 | 73192 62614 49 | 0.004 % |
269.88/270.04 c | 440751 | 160 13600 95200 | 73192 63064 49 | 0.004 % |
270.18/270.36 c | 441246 | 160 13600 95200 | 73192 63559 49 | 0.004 % |
270.59/270.76 c | 441790 | 160 13600 95200 | 73192 64103 49 | 0.004 % |
270.98/271.17 c | 442386 | 160 13600 95200 | 73192 64699 49 | 0.004 % |
271.38/271.59 c | 443042 | 160 13600 95200 | 73192 65355 49 | 0.004 % |
272.08/272.20 c | 443762 | 160 13600 95200 | 73192 66075 49 | 0.004 % |
272.69/272.81 c | 444554 | 160 13600 95200 | 73192 66867 49 | 0.004 % |
273.38/273.51 c | 445425 | 160 13600 95200 | 73192 67738 49 | 0.004 % |
274.08/274.25 c | 446384 | 160 13600 95200 | 73192 68697 49 | 0.004 % |
274.78/274.98 c | 447437 | 160 13600 95200 | 73192 69750 49 | 0.004 % |
275.68/275.81 c | 448596 | 160 13600 95200 | 73192 70909 49 | 0.004 % |
276.78/276.90 c | 449871 | 160 13600 95200 | 73192 72184 49 | 0.004 % |
277.68/277.88 c | 451272 | 160 13600 95200 | 72313 61884 49 | 0.004 % |
278.68/278.83 c | 452812 | 160 13600 95200 | 72313 63424 49 | 0.004 % |
279.78/279.97 c | 454506 | 160 13600 95200 | 72313 65118 49 | 0.004 % |
281.18/281.38 c | 456370 | 160 13600 95200 | 72313 66982 49 | 0.004 % |
282.68/282.86 c | 458419 | 160 13600 95200 | 72313 69031 49 | 0.004 % |
284.38/284.54 c | 460672 | 160 13600 95200 | 70612 60253 49 | 0.004 % |
285.88/286.00 c | 463151 | 160 13600 95200 | 70612 62732 49 | 0.004 % |
287.58/287.78 c | 465878 | 160 13600 95200 | 70612 65459 49 | 0.004 % |
289.68/289.89 c | 468875 | 160 13600 95200 | 70612 68456 49 | 0.004 % |
291.98/292.18 c | 472173 | 160 13600 95200 | 69582 61843 49 | 0.004 % |
294.47/294.60 c | 475799 | 160 13600 95200 | 69582 65469 49 | 0.004 % |
297.17/297.30 c | 479786 | 160 13600 95200 | 69582 69456 49 | 0.004 % |
299.77/299.93 c | 484171 | 160 13600 95200 | 59915 55709 49 | 0.004 % |
299.77/299.99 c | 484272 | 160 13600 95200 | 59915 55810 49 | 0.004 % |
299.87/300.06 c | 484382 | 160 13600 95200 | 59915 55920 49 | 0.004 % |
299.97/300.13 c | 484504 | 160 13600 95200 | 59915 56042 49 | 0.004 % |
300.07/300.24 c | 484638 | 160 13600 95200 | 59915 56176 49 | 0.004 % |
300.18/300.32 c | 484785 | 160 13600 95200 | 59915 56323 49 | 0.004 % |
300.28/300.43 c | 484947 | 160 13600 95200 | 59915 56485 49 | 0.004 % |
300.37/300.56 c | 485124 | 160 13600 95200 | 59915 56662 49 | 0.004 % |
300.47/300.68 c | 485318 | 160 13600 95200 | 59915 56856 49 | 0.004 % |
300.67/300.82 c | 485532 | 160 13600 95200 | 59915 57070 49 | 0.004 % |
300.87/301.00 c | 485767 | 160 13600 95200 | 59915 57305 49 | 0.004 % |
300.97/301.17 c | 486023 | 160 13600 95200 | 59915 57561 49 | 0.004 % |
301.17/301.37 c | 486304 | 160 13600 95200 | 59915 57842 49 | 0.004 % |
301.38/301.57 c | 486613 | 160 13600 95200 | 59915 58151 49 | 0.004 % |
301.57/301.76 c | 486952 | 160 13600 95200 | 59915 58490 49 | 0.004 % |
301.87/302.01 c | 487325 | 160 13600 95200 | 59915 58863 49 | 0.004 % |
302.07/302.27 c | 487735 | 160 13600 95200 | 59915 59273 49 | 0.004 % |
302.38/302.55 c | 488186 | 160 13600 95200 | 59915 59724 49 | 0.004 % |
302.67/302.89 c | 488680 | 160 13600 95200 | 59915 53846 49 | 0.004 % |
303.07/303.21 c | 489223 | 160 13600 95200 | 59915 54389 49 | 0.004 % |
303.37/303.53 c | 489819 | 160 13600 95200 | 59915 54985 49 | 0.004 % |
303.77/303.94 c | 490476 | 160 13600 95200 | 55166 49904 49 | 0.004 % |
304.17/304.31 c | 491199 | 160 13600 95200 | 55166 50627 49 | 0.004 % |
304.57/304.73 c | 491991 | 160 13600 95200 | 55166 51419 49 | 0.004 % |
305.07/305.24 c | 492866 | 160 13600 95200 | 55166 52294 49 | 0.004 % |
305.57/305.79 c | 493824 | 160 13600 95200 | 55166 53252 49 | 0.004 % |
306.17/306.34 c | 494877 | 160 13600 95200 | 55166 54305 49 | 0.004 % |
306.87/307.05 c | 496035 | 160 13600 95200 | 55166 49939 49 | 0.004 % |
307.67/307.83 c | 497309 | 160 13600 95200 | 55166 51213 49 | 0.004 % |
308.47/308.63 c | 498711 | 160 13600 95200 | 55166 52615 49 | 0.004 % |
309.37/309.53 c | 500251 | 160 13600 95200 | 2147483647 54155 49 | 0.004 % |
310.37/310.51 c | 501945 | 160 13600 95200 | 2147483647 55849 49 | 0.004 % |
311.37/311.59 c | 503809 | 160 13600 95200 | 2147483647 57713 49 | 0.004 % |
312.77/312.92 c | 505858 | 160 13600 95200 | 2147483647 59762 49 | 0.004 % |
314.27/314.47 c | 508114 | 160 13600 95200 | 2147483647 62018 49 | 0.004 % |
316.07/316.26 c | 510593 | 160 13600 95200 | 2147483647 64497 49 | 0.004 % |
318.17/318.37 c | 513318 | 160 13600 95200 | 2147483647 67222 49 | 0.004 % |
320.36/320.58 c | 516316 | 160 13600 95200 | 2147483647 70220 49 | 0.004 % |
322.76/322.99 c | 519612 | 160 13600 95200 | 2147483647 73516 49 | 0.004 % |
325.36/325.55 c | 523238 | 160 13600 95200 | 73904 64966 49 | 0.004 % |
328.16/328.33 c | 527226 | 160 13600 95200 | 73904 68954 49 | 0.004 % |
331.36/331.56 c | 531611 | 160 13600 95200 | 71729 62192 49 | 0.004 % |
334.56/334.78 c | 536437 | 160 13600 95200 | 71729 67018 49 | 0.004 % |
334.66/334.86 c | 536538 | 160 13600 95200 | 71729 67119 49 | 0.004 % |
334.76/334.97 c | 536651 | 160 13600 95200 | 71729 67232 49 | 0.004 % |
334.86/335.08 c | 536772 | 160 13600 95200 | 71729 67353 49 | 0.004 % |
334.96/335.19 c | 536905 | 160 13600 95200 | 71729 67486 49 | 0.004 % |
335.16/335.32 c | 537051 | 160 13600 95200 | 71729 67632 49 | 0.004 % |
335.26/335.46 c | 537212 | 160 13600 95200 | 71729 67793 49 | 0.004 % |
335.46/335.61 c | 537389 | 160 13600 95200 | 71729 67970 49 | 0.004 % |
335.56/335.75 c | 537582 | 160 13600 95200 | 71729 68163 49 | 0.004 % |
335.76/335.94 c | 537798 | 160 13600 95200 | 71729 68379 49 | 0.004 % |
335.96/336.14 c | 538031 | 160 13600 95200 | 71729 68612 49 | 0.004 % |
336.16/336.36 c | 538287 | 160 13600 95200 | 71729 68868 49 | 0.004 % |
336.36/336.59 c | 538569 | 160 13600 95200 | 71729 69150 49 | 0.004 % |
336.66/336.89 c | 538879 | 160 13600 95200 | 71729 69460 49 | 0.004 % |
336.96/337.16 c | 539219 | 160 13600 95200 | 71729 69800 49 | 0.004 % |
337.26/337.46 c | 539591 | 160 13600 95200 | 71729 70172 49 | 0.004 % |
337.56/337.80 c | 540001 | 160 13600 95200 | 71729 70582 49 | 0.004 % |
337.96/338.19 c | 540450 | 160 13600 95200 | 70582 60129 49 | 0.004 % |
338.36/338.55 c | 540944 | 160 13600 95200 | 70582 60623 49 | 0.004 % |
338.76/338.94 c | 541488 | 160 13600 95200 | 70582 61167 49 | 0.004 % |
339.15/339.35 c | 542084 | 160 13600 95200 | 70582 61763 49 | 0.004 % |
339.65/339.83 c | 542740 | 160 13600 95200 | 70582 62419 49 | 0.004 % |
340.15/340.38 c | 543463 | 160 13600 95200 | 70582 63142 49 | 0.004 % |
340.75/340.99 c | 544256 | 160 13600 95200 | 70582 63935 49 | 0.004 % |
341.45/341.61 c | 545128 | 160 13600 95200 | 70582 64807 49 | 0.004 % |
342.15/342.32 c | 546087 | 160 13600 95200 | 70582 65766 49 | 0.004 % |
342.96/343.13 c | 547141 | 160 13600 95200 | 70582 66820 49 | 0.004 % |
343.76/343.99 c | 548300 | 160 13600 95200 | 70582 67979 49 | 0.004 % |
344.76/344.98 c | 549573 | 160 13600 95200 | 70582 69252 49 | 0.004 % |
345.96/346.14 c | 550975 | 160 13600 95200 | 69679 59199 49 | 0.004 % |
347.06/347.25 c | 552515 | 160 13600 95200 | 69679 60739 49 | 0.004 % |
348.26/348.44 c | 554209 | 160 13600 95200 | 69679 62433 49 | 0.004 % |
349.56/349.70 c | 556073 | 160 13600 95200 | 69679 64297 49 | 0.004 % |
350.96/351.15 c | 558123 | 160 13600 95200 | 69679 66347 49 | 0.004 % |
352.66/352.86 c | 560376 | 160 13600 95200 | 68225 57626 49 | 0.004 % |
354.26/354.41 c | 562855 | 160 13600 95200 | 68225 60105 49 | 0.004 % |
355.96/356.12 c | 565580 | 160 13600 95200 | 68225 62830 49 | 0.004 % |
358.16/358.34 c | 568578 | 160 13600 95200 | 68225 65828 49 | 0.004 % |
360.66/360.85 c | 571876 | 160 13600 95200 | 67252 58745 49 | 0.004 % |
362.86/363.04 c | 575501 | 160 13600 95200 | 67252 62370 49 | 0.004 % |
365.75/365.93 c | 579488 | 160 13600 95200 | 67252 66357 49 | 0.004 % |
368.55/368.70 c | 583875 | 160 13600 95200 | 66869 61036 49 | 0.004 % |
371.85/372.02 c | 588700 | 160 13600 95200 | 66869 65861 49 | 0.004 % |
374.95/375.18 c | 594007 | 160 13600 95200 | 58386 54776 50 | 0.004 % |
375.05/375.27 c | 594109 | 160 13600 95200 | 58386 54878 50 | 0.004 % |
375.15/375.34 c | 594219 | 160 13600 95200 | 58386 54988 50 | 0.004 % |
375.25/375.44 c | 594341 | 160 13600 95200 | 58386 55110 50 | 0.004 % |
375.35/375.54 c | 594474 | 160 13600 95200 | 58386 55243 50 | 0.004 % |
375.45/375.65 c | 594625 | 160 13600 95200 | 58386 55394 50 | 0.004 % |
375.55/375.77 c | 594787 | 160 13600 95200 | 58386 55556 50 | 0.004 % |
375.65/375.89 c | 594965 | 160 13600 95200 | 58386 55734 50 | 0.004 % |
375.85/376.01 c | 595160 | 160 13600 95200 | 58386 55929 50 | 0.004 % |
375.95/376.14 c | 595374 | 160 13600 95200 | 58386 56143 50 | 0.004 % |
376.05/376.29 c | 595607 | 160 13600 95200 | 58386 56376 50 | 0.004 % |
376.25/376.46 c | 595863 | 160 13600 95200 | 58386 56632 50 | 0.004 % |
376.45/376.63 c | 596144 | 160 13600 95200 | 58386 56913 50 | 0.004 % |
376.65/376.82 c | 596454 | 160 13600 95200 | 58386 57223 50 | 0.004 % |
376.85/377.06 c | 596793 | 160 13600 95200 | 58386 57562 50 | 0.004 % |
377.05/377.27 c | 597166 | 160 13600 95200 | 58386 57935 50 | 0.004 % |
377.35/377.51 c | 597577 | 160 13600 95200 | 58386 58346 50 | 0.004 % |
377.75/377.93 c | 598026 | 160 13600 95200 | 58386 52950 50 | 0.004 % |
378.15/378.31 c | 598524 | 160 13600 95200 | 58386 53448 50 | 0.004 % |
378.55/378.73 c | 599067 | 160 13600 95200 | 58386 53991 50 | 0.004 % |
378.95/379.18 c | 599664 | 160 13600 95200 | 58386 54588 50 | 0.004 % |
379.55/379.71 c | 600320 | 160 13600 95200 | 54924 49456 50 | 0.004 % |
379.95/380.11 c | 601041 | 160 13600 95200 | 54924 50177 50 | 0.004 % |
380.45/380.67 c | 601834 | 160 13600 95200 | 54924 50970 50 | 0.004 % |
381.05/381.23 c | 602706 | 160 13600 95200 | 54924 51842 50 | 0.004 % |
381.65/381.83 c | 603666 | 160 13600 95200 | 54924 52802 50 | 0.004 % |
382.24/382.47 c | 604721 | 160 13600 95200 | 54924 53857 50 | 0.004 % |
382.94/383.16 c | 605880 | 160 13600 95200 | 54924 49516 50 | 0.004 % |
383.64/383.85 c | 607153 | 160 13600 95200 | 54924 50789 50 | 0.004 % |
384.44/384.61 c | 608553 | 160 13600 95200 | 54924 52189 50 | 0.004 % |
385.44/385.64 c | 610093 | 160 13600 95200 | 2147483647 53729 50 | 0.004 % |
386.54/386.78 c | 611788 | 160 13600 95200 | 2147483647 55424 50 | 0.004 % |
387.64/387.84 c | 613651 | 160 13600 95200 | 2147483647 57287 50 | 0.004 % |
388.84/389.07 c | 615701 | 160 13600 95200 | 2147483647 59337 50 | 0.004 % |
390.24/390.46 c | 617955 | 160 13600 95200 | 2147483647 61591 50 | 0.004 % |
391.74/391.95 c | 620434 | 160 13600 95200 | 2147483647 64070 49 | 0.004 % |
393.54/393.72 c | 623159 | 160 13600 95200 | 2147483647 66795 49 | 0.004 % |
395.64/395.87 c | 626157 | 160 13600 95200 | 2147483647 69793 49 | 0.004 % |
398.14/398.30 c | 629453 | 160 13600 95200 | 2147483647 73089 49 | 0.004 % |
400.54/400.74 c | 633079 | 160 13600 95200 | 73636 66336 49 | 0.004 % |
403.74/404.00 c | 637066 | 160 13600 95200 | 73636 70323 49 | 0.004 % |
407.33/407.51 c | 641451 | 160 13600 95200 | 73259 61989 49 | 0.004 % |
410.53/410.72 c | 646278 | 160 13600 95200 | 73259 66816 49 | 0.004 % |
414.33/414.54 c | 651584 | 160 13600 95200 | 70540 61259 49 | 0.004 % |
418.43/418.65 c | 657419 | 160 13600 95200 | 70540 67094 49 | 0.004 % |
418.53/418.73 c | 657521 | 160 13600 95200 | 70540 67196 49 | 0.004 % |
418.63/418.83 c | 657631 | 160 13600 95200 | 70540 67306 49 | 0.004 % |
418.73/418.94 c | 657753 | 160 13600 95200 | 70540 67428 49 | 0.004 % |
418.83/419.05 c | 657887 | 160 13600 95200 | 70540 67562 49 | 0.004 % |
418.94/419.17 c | 658033 | 160 13600 95200 | 70540 67708 49 | 0.004 % |
419.13/419.32 c | 658194 | 160 13600 95200 | 70540 67869 49 | 0.004 % |
419.23/419.46 c | 658370 | 160 13600 95200 | 70540 68045 49 | 0.004 % |
419.43/419.62 c | 658563 | 160 13600 95200 | 70540 68238 49 | 0.004 % |
419.63/419.84 c | 658776 | 160 13600 95200 | 70540 68451 49 | 0.004 % |
419.83/420.08 c | 659010 | 160 13600 95200 | 70540 68685 49 | 0.004 % |
420.13/420.32 c | 659267 | 160 13600 95200 | 70540 68942 49 | 0.004 % |
420.33/420.56 c | 659548 | 160 13600 95200 | 70540 69223 49 | 0.004 % |
420.63/420.84 c | 659857 | 160 13600 95200 | 70540 69532 49 | 0.004 % |
420.93/421.19 c | 660200 | 160 13600 95200 | 69675 58355 49 | 0.004 % |
421.23/421.44 c | 660573 | 160 13600 95200 | 69675 58728 49 | 0.004 % |
421.53/421.76 c | 660983 | 160 13600 95200 | 69675 59138 49 | 0.004 % |
421.83/422.05 c | 661433 | 160 13600 95200 | 69675 59588 49 | 0.004 % |
422.13/422.33 c | 661929 | 160 13600 95200 | 69675 60084 49 | 0.004 % |
422.43/422.68 c | 662471 | 160 13600 95200 | 69675 60626 49 | 0.004 % |
422.83/423.09 c | 663067 | 160 13600 95200 | 69675 61222 49 | 0.004 % |
423.43/423.61 c | 663724 | 160 13600 95200 | 69675 61879 49 | 0.004 % |
423.93/424.15 c | 664445 | 160 13600 95200 | 69675 62600 49 | 0.004 % |
424.53/424.76 c | 665237 | 160 13600 95200 | 69675 63392 49 | 0.004 % |
425.23/425.46 c | 666109 | 160 13600 95200 | 69675 64264 49 | 0.004 % |
425.93/426.16 c | 667069 | 160 13600 95200 | 69675 65224 49 | 0.004 % |
426.83/427.01 c | 668123 | 160 13600 95200 | 69675 66278 49 | 0.004 % |
427.73/427.98 c | 669282 | 160 13600 95200 | 69675 67437 49 | 0.004 % |
428.73/428.92 c | 670555 | 160 13600 95200 | 68156 57894 49 | 0.004 % |
429.63/429.89 c | 671959 | 160 13600 95200 | 68156 59298 49 | 0.004 % |
430.62/430.88 c | 673501 | 160 13600 95200 | 68156 60840 49 | 0.004 % |
432.02/432.27 c | 675198 | 160 13600 95200 | 68156 62537 49 | 0.004 % |
433.33/433.54 c | 677061 | 160 13600 95200 | 68156 64400 49 | 0.004 % |
434.82/435.08 c | 679110 | 160 13600 95200 | 68156 66449 49 | 0.004 % |
436.53/436.73 c | 681364 | 160 13600 95200 | 67339 58533 49 | 0.004 % |
438.02/438.24 c | 683842 | 160 13600 95200 | 67339 61011 49 | 0.004 % |
439.62/439.89 c | 686567 | 160 13600 95200 | 67339 63736 49 | 0.004 % |
442.03/442.22 c | 689564 | 160 13600 95200 | 67339 66733 49 | 0.004 % |
444.63/444.89 c | 692860 | 160 13600 95200 | 67170 60206 49 | 0.004 % |
447.23/447.48 c | 696486 | 160 13600 95200 | 67170 63832 49 | 0.004 % |
450.33/450.53 c | 700473 | 160 13600 95200 | 56996 48749 49 | 0.004 % |
452.93/453.16 c | 704860 | 160 13600 95200 | 56996 53136 49 | 0.004 % |
456.02/456.21 c | 709684 | 160 13600 95200 | 56996 52253 49 | 0.004 % |
459.42/459.62 c | 714990 | 160 13600 95200 | 2147483647 57559 49 | 0.004 % |
463.32/463.53 c | 720827 | 160 13600 95200 | 62569 57031 49 | 0.004 % |
467.72/467.96 c | 727246 | 160 13600 95200 | 62569 56079 49 | 0.004 % |
467.82/468.03 c | 727346 | 160 13600 95200 | 62569 56179 49 | 0.004 % |
467.92/468.10 c | 727456 | 160 13600 95200 | 62569 56289 49 | 0.004 % |
467.92/468.19 c | 727578 | 160 13600 95200 | 62569 56411 49 | 0.004 % |
468.12/468.30 c | 727711 | 160 13600 95200 | 62569 56544 49 | 0.004 % |
468.22/468.40 c | 727860 | 160 13600 95200 | 62569 56693 49 | 0.004 % |
468.32/468.52 c | 728020 | 160 13600 95200 | 62569 56853 49 | 0.004 % |
468.42/468.67 c | 728197 | 160 13600 95200 | 62569 57030 49 | 0.004 % |
468.62/468.83 c | 728390 | 160 13600 95200 | 62569 57223 49 | 0.004 % |
468.72/468.98 c | 728602 | 160 13600 95200 | 62569 57435 49 | 0.004 % |
468.92/469.17 c | 728837 | 160 13600 95200 | 62569 57670 49 | 0.004 % |
469.12/469.36 c | 729094 | 160 13600 95200 | 62569 57927 49 | 0.004 % |
469.32/469.58 c | 729378 | 160 13600 95200 | 62569 58211 49 | 0.004 % |
469.62/469.84 c | 729688 | 160 13600 95200 | 62569 58521 49 | 0.004 % |
469.82/470.08 c | 730028 | 160 13600 95200 | 58833 58861 49 | 0.004 % |
470.22/470.42 c | 730402 | 160 13600 95200 | 58833 52009 49 | 0.004 % |
470.52/470.71 c | 730812 | 160 13600 95200 | 58833 52419 49 | 0.004 % |
470.72/470.99 c | 731261 | 160 13600 95200 | 58833 52868 49 | 0.004 % |
471.02/471.28 c | 731755 | 160 13600 95200 | 58833 53362 49 | 0.004 % |
471.32/471.59 c | 732297 | 160 13600 95200 | 58833 53904 49 | 0.004 % |
471.72/471.93 c | 732894 | 160 13600 95200 | 58833 54501 49 | 0.004 % |
472.12/472.36 c | 733550 | 160 13600 95200 | 58833 55157 49 | 0.004 % |
472.72/472.91 c | 734273 | 160 13600 95200 | 58833 55880 49 | 0.004 % |
473.22/473.40 c | 735066 | 160 13600 95200 | 58833 56673 49 | 0.004 % |
473.82/474.02 c | 735940 | 160 13600 95200 | 58833 57547 49 | 0.004 % |
474.42/474.61 c | 736898 | 160 13600 95200 | 58833 58505 49 | 0.004 % |
475.02/475.29 c | 737954 | 160 13600 95200 | 58833 52931 49 | 0.004 % |
475.72/475.98 c | 739112 | 160 13600 95200 | 58833 54089 49 | 0.004 % |
476.42/476.67 c | 740386 | 160 13600 95200 | 54978 49660 49 | 0.004 % |
477.12/477.40 c | 741789 | 160 13600 95200 | 54978 51063 49 | 0.004 % |
478.02/478.28 c | 743329 | 160 13600 95200 | 54978 52603 49 | 0.004 % |
479.11/479.33 c | 745023 | 160 13600 95200 | 54978 54297 49 | 0.004 % |
480.32/480.54 c | 746888 | 160 13600 95200 | 54978 50658 49 | 0.004 % |
481.41/481.65 c | 748937 | 160 13600 95200 | 54978 52707 49 | 0.004 % |
482.61/482.90 c | 751190 | 160 13600 95200 | 2147483647 54960 49 | 0.004 % |
484.11/484.30 c | 753670 | 160 13600 95200 | 2147483647 57440 49 | 0.004 % |
485.71/485.92 c | 756396 | 160 13600 95200 | 2147483647 60166 49 | 0.004 % |
487.51/487.78 c | 759393 | 160 13600 95200 | 2147483647 63163 49 | 0.004 % |
489.71/489.99 c | 762689 | 160 13600 95200 | 2147483647 66459 49 | 0.004 % |
492.41/492.62 c | 766314 | 160 13600 95200 | 2147483647 70084 49 | 0.004 % |
495.31/495.54 c | 770302 | 160 13600 95200 | 73770 63470 49 | 0.004 % |
498.11/498.37 c | 774687 | 160 13600 95200 | 73770 67855 49 | 0.004 % |
501.60/501.81 c | 779513 | 160 13600 95200 | 73770 72681 49 | 0.004 % |
505.30/505.54 c | 784819 | 160 13600 95200 | 73169 67154 49 | 0.004 % |
509.40/509.66 c | 790656 | 160 13600 95200 | 72335 61018 49 | 0.004 % |
513.60/513.84 c | 797075 | 160 13600 95200 | 72335 67437 49 | 0.004 % |
518.50/518.74 c | 804134 | 160 13600 95200 | 70363 63516 50 | 0.004 % |
518.60/518.81 c | 804234 | 160 13600 95200 | 70363 63616 50 | 0.004 % |
518.60/518.88 c | 804345 | 160 13600 95200 | 70363 63727 50 | 0.004 % |
518.70/518.99 c | 804466 | 160 13600 95200 | 70363 63848 50 | 0.004 % |
518.80/519.08 c | 804599 | 160 13600 95200 | 70363 63981 50 | 0.004 % |
519.00/519.21 c | 804746 | 160 13600 95200 | 70363 64128 50 | 0.004 % |
519.10/519.32 c | 804907 | 160 13600 95200 | 70363 64289 50 | 0.004 % |
519.20/519.45 c | 805083 | 160 13600 95200 | 70363 64465 50 | 0.004 % |
519.40/519.62 c | 805276 | 160 13600 95200 | 70363 64658 50 | 0.004 % |
519.50/519.78 c | 805491 | 160 13600 95200 | 70363 64873 49 | 0.004 % |
519.70/519.99 c | 805726 | 160 13600 95200 | 70363 65108 49 | 0.004 % |
519.90/520.18 c | 805982 | 160 13600 95200 | 70363 65364 49 | 0.004 % |
520.20/520.41 c | 806266 | 160 13600 95200 | 70363 65648 49 | 0.004 % |
520.40/520.62 c | 806575 | 160 13600 95200 | 70363 65957 49 | 0.004 % |
520.70/520.94 c | 806916 | 160 13600 95200 | 70363 66298 49 | 0.004 % |
521.00/521.23 c | 807290 | 160 13600 95200 | 70363 66672 49 | 0.004 % |
521.30/521.53 c | 807699 | 160 13600 95200 | 70363 67081 49 | 0.004 % |
521.60/521.85 c | 808148 | 160 13600 95200 | 70363 67530 49 | 0.004 % |
521.99/522.24 c | 808643 | 160 13600 95200 | 70363 68025 49 | 0.004 % |
522.49/522.70 c | 809185 | 160 13600 95200 | 70363 68567 49 | 0.004 % |
522.89/523.18 c | 809781 | 160 13600 95200 | 70363 69163 49 | 0.004 % |
523.50/523.71 c | 810437 | 160 13600 95200 | 69383 58538 49 | 0.004 % |
523.89/524.18 c | 811157 | 160 13600 95200 | 69383 59258 49 | 0.004 % |
524.39/524.67 c | 811949 | 160 13600 95200 | 69383 60050 49 | 0.004 % |
524.99/525.25 c | 812821 | 160 13600 95200 | 69383 60922 49 | 0.004 % |
525.60/525.85 c | 813779 | 160 13600 95200 | 69383 61880 49 | 0.004 % |
526.29/526.53 c | 814832 | 160 13600 95200 | 69383 62933 49 | 0.004 % |
527.09/527.34 c | 815991 | 160 13600 95200 | 69383 64092 49 | 0.004 % |
527.99/528.26 c | 817267 | 160 13600 95200 | 69383 65368 49 | 0.004 % |
528.99/529.24 c | 818667 | 160 13600 95200 | 69383 66768 49 | 0.004 % |
530.09/530.37 c | 820207 | 160 13600 95200 | 68102 58514 49 | 0.004 % |
531.09/531.37 c | 821902 | 160 13600 95200 | 68102 60209 49 | 0.004 % |
532.29/532.51 c | 823765 | 160 13600 95200 | 68102 62072 49 | 0.004 % |
533.49/533.78 c | 825814 | 160 13600 95200 | 68102 64121 49 | 0.004 % |
534.99/535.23 c | 828067 | 160 13600 95200 | 68102 66374 49 | 0.004 % |
536.89/537.16 c | 830545 | 160 13600 95200 | 59306 51963 49 | 0.004 % |
538.59/538.83 c | 833271 | 160 13600 95200 | 59306 54689 49 | 0.004 % |
540.48/540.77 c | 836268 | 160 13600 95200 | 59306 57686 49 | 0.004 % |
542.48/542.73 c | 839564 | 160 13600 95200 | 59306 54104 49 | 0.004 % |
544.58/544.80 c | 843190 | 160 13600 95200 | 54540 51716 49 | 0.004 % |
546.68/546.94 c | 847177 | 160 13600 95200 | 54540 50243 49 | 0.004 % |
549.08/549.35 c | 851565 | 160 13600 95200 | 2147483647 54631 49 | 0.004 % |
551.99/552.29 c | 856390 | 160 13600 95200 | 2147483647 59456 49 | 0.004 % |
555.38/555.62 c | 861695 | 160 13600 95200 | 2147483647 64761 49 | 0.004 % |
559.38/559.61 c | 867531 | 160 13600 95200 | 2147483647 70597 49 | 0.004 % |
564.28/564.55 c | 873952 | 160 13600 95200 | 73066 66349 49 | 0.004 % |
569.07/569.31 c | 881011 | 160 13600 95200 | 72400 62300 50 | 0.004 % |
574.67/574.94 c | 888775 | 160 13600 95200 | 72400 70064 50 | 0.004 % |
574.77/575.02 c | 888875 | 160 13600 95200 | 72400 70164 50 | 0.004 % |
574.87/575.12 c | 888985 | 160 13600 95200 | 72400 70274 50 | 0.004 % |
574.97/575.23 c | 889107 | 160 13600 95200 | 72400 70396 50 | 0.004 % |
575.07/575.34 c | 889240 | 160 13600 95200 | 72400 70529 50 | 0.004 % |
575.17/575.47 c | 889387 | 160 13600 95200 | 72400 70676 50 | 0.004 % |
575.37/575.61 c | 889548 | 160 13600 95200 | 72400 70837 50 | 0.004 % |
575.57/575.83 c | 889724 | 160 13600 95200 | 72400 71013 50 | 0.004 % |
575.77/576.03 c | 889919 | 160 13600 95200 | 72400 71208 50 | 0.004 % |
575.97/576.29 c | 890131 | 160 13600 95200 | 71290 59714 50 | 0.004 % |
576.17/576.45 c | 890364 | 160 13600 95200 | 71290 59947 50 | 0.004 % |
576.37/576.65 c | 890621 | 160 13600 95200 | 71290 60204 50 | 0.004 % |
576.57/576.84 c | 890902 | 160 13600 95200 | 71290 60485 50 | 0.004 % |
576.77/577.06 c | 891214 | 160 13600 95200 | 71290 60797 50 | 0.004 % |
576.97/577.26 c | 891556 | 160 13600 95200 | 71290 61139 50 | 0.004 % |
577.37/577.63 c | 891929 | 160 13600 95200 | 71290 61512 50 | 0.004 % |
577.67/577.98 c | 892339 | 160 13600 95200 | 71290 61922 50 | 0.004 % |
578.07/578.32 c | 892788 | 160 13600 95200 | 71290 62371 50 | 0.004 % |
578.37/578.66 c | 893281 | 160 13600 95200 | 71290 62864 50 | 0.004 % |
578.77/579.05 c | 893824 | 160 13600 95200 | 71290 63407 50 | 0.004 % |
579.27/579.53 c | 894422 | 160 13600 95200 | 71290 64005 50 | 0.004 % |
579.67/579.98 c | 895078 | 160 13600 95200 | 71290 64661 50 | 0.004 % |
580.37/580.64 c | 895799 | 160 13600 95200 | 71290 65382 50 | 0.004 % |
581.07/581.31 c | 896592 | 160 13600 95200 | 71290 66175 50 | 0.004 % |
581.77/582.08 c | 897463 | 160 13600 95200 | 71290 67046 50 | 0.004 % |
582.57/582.88 c | 898423 | 160 13600 95200 | 71290 68006 50 | 0.004 % |
583.47/583.73 c | 899476 | 160 13600 95200 | 71290 69059 50 | 0.004 % |
584.37/584.63 c | 900635 | 160 13600 95200 | 69584 58831 49 | 0.004 % |
585.16/585.47 c | 901908 | 160 13600 95200 | 69584 60104 49 | 0.004 % |
586.07/586.38 c | 903309 | 160 13600 95200 | 69584 61505 49 | 0.004 % |
586.96/587.28 c | 904849 | 160 13600 95200 | 69584 63045 49 | 0.004 % |
588.16/588.45 c | 906544 | 160 13600 95200 | 69584 64740 49 | 0.004 % |
589.86/590.12 c | 908407 | 160 13600 95200 | 69584 66603 49 | 0.004 % |
591.56/591.84 c | 910458 | 160 13600 95200 | 68197 58346 49 | 0.004 % |
593.07/593.36 c | 912712 | 160 13600 95200 | 68197 60600 49 | 0.004 % |
594.87/595.12 c | 915192 | 160 13600 95200 | 68197 63080 49 | 0.004 % |
596.87/597.14 c | 917918 | 160 13600 95200 | 68197 65806 49 | 0.004 % |
598.87/599.13 c | 920917 | 160 13600 95200 | 67888 59161 49 | 0.004 % |
600.87/601.13 c | 924213 | 160 13600 95200 | 67888 62457 49 | 0.004 % |
603.16/603.42 c | 927840 | 160 13600 95200 | 67888 66084 49 | 0.004 % |
605.56/605.84 c | 931827 | 160 13600 95200 | 59582 53826 49 | 0.004 % |
608.17/608.48 c | 936212 | 160 13600 95200 | 59582 58211 49 | 0.004 % |
611.26/611.52 c | 941035 | 160 13600 95200 | 2147483647 57068 49 | 0.004 % |
614.86/615.10 c | 946340 | 160 13600 95200 | 2147483647 62373 49 | 0.004 % |
618.56/618.83 c | 952177 | 160 13600 95200 | 66033 60166 49 | 0.004 % |
622.56/622.82 c | 958597 | 160 13600 95200 | 66033 58932 49 | 0.004 % |
626.36/626.64 c | 965656 | 160 13600 95200 | 60335 59033 49 | 0.004 % |
630.85/631.10 c | 973422 | 160 13600 95200 | 2147483647 60523 49 | 0.004 % |
636.15/636.49 c | 981964 | 160 13600 95200 | 67102 61652 49 | 0.004 % |
636.25/636.56 c | 982064 | 160 13600 95200 | 67102 61752 49 | 0.004 % |
636.35/636.66 c | 982174 | 160 13600 95200 | 67102 61862 49 | 0.004 % |
636.45/636.76 c | 982295 | 160 13600 95200 | 67102 61983 49 | 0.004 % |
636.55/636.86 c | 982430 | 160 13600 95200 | 67102 62118 49 | 0.004 % |
636.66/636.98 c | 982578 | 160 13600 95200 | 67102 62266 49 | 0.004 % |
636.85/637.12 c | 982740 | 160 13600 95200 | 67102 62428 49 | 0.004 % |
636.95/637.25 c | 982917 | 160 13600 95200 | 67102 62605 49 | 0.004 % |
637.05/637.39 c | 983114 | 160 13600 95200 | 67102 62802 49 | 0.004 % |
637.25/637.54 c | 983327 | 160 13600 95200 | 67102 63015 49 | 0.004 % |
637.45/637.71 c | 983561 | 160 13600 95200 | 67102 63249 49 | 0.004 % |
637.65/637.93 c | 983817 | 160 13600 95200 | 67102 63505 49 | 0.004 % |
637.86/638.12 c | 984098 | 160 13600 95200 | 67102 63786 49 | 0.004 % |
638.05/638.36 c | 984407 | 160 13600 95200 | 67102 64095 49 | 0.004 % |
638.35/638.61 c | 984747 | 160 13600 95200 | 67102 64435 49 | 0.004 % |
638.55/638.86 c | 985119 | 160 13600 95200 | 67102 64807 49 | 0.004 % |
638.85/639.14 c | 985528 | 160 13600 95200 | 67102 65216 49 | 0.004 % |
639.25/639.54 c | 985977 | 160 13600 95200 | 67102 65665 49 | 0.004 % |
639.65/639.92 c | 986472 | 160 13600 95200 | 67102 66160 49 | 0.004 % |
640.05/640.35 c | 987014 | 160 13600 95200 | 67102 66702 49 | 0.004 % |
640.65/640.91 c | 987611 | 160 13600 95200 | 67102 58047 49 | 0.004 % |
641.05/641.33 c | 988267 | 160 13600 95200 | 67102 58703 49 | 0.004 % |
641.45/641.78 c | 988987 | 160 13600 95200 | 67102 59423 49 | 0.004 % |
642.05/642.34 c | 989780 | 160 13600 95200 | 67102 60216 49 | 0.004 % |
642.65/642.93 c | 990651 | 160 13600 95200 | 60440 52955 49 | 0.004 % |
643.15/643.47 c | 991610 | 160 13600 95200 | 60440 53914 49 | 0.004 % |
643.85/644.15 c | 992663 | 160 13600 95200 | 60440 54967 49 | 0.004 % |
644.55/644.85 c | 993824 | 160 13600 95200 | 60440 56128 49 | 0.004 % |
645.45/645.71 c | 995097 | 160 13600 95200 | 60440 57401 49 | 0.004 % |
646.45/646.77 c | 996497 | 160 13600 95200 | 60440 58801 49 | 0.004 % |
647.54/647.87 c | 998040 | 160 13600 95200 | 60440 60344 49 | 0.004 % |
648.85/649.11 c | 999734 | 160 13600 95200 | 60440 54895 49 | 0.004 % |
649.95/650.22 c | 1001598 | 160 13600 95200 | 55161 50306 49 | 0.004 % |
651.24/651.50 c | 1003647 | 160 13600 95200 | 55161 52355 49 | 0.004 % |
652.64/652.90 c | 1005901 | 160 13600 95200 | 55161 54609 49 | 0.004 % |
653.94/654.27 c | 1008381 | 160 13600 95200 | 55161 51566 49 | 0.004 % |
655.45/655.78 c | 1011106 | 160 13600 95200 | 2147483647 54291 49 | 0.004 % |
657.04/657.33 c | 1014103 | 160 13600 95200 | 2147483647 57288 49 | 0.004 % |
658.84/659.18 c | 1017399 | 160 13600 95200 | 2147483647 60584 49 | 0.004 % |
661.14/661.47 c | 1021026 | 160 13600 95200 | 2147483647 64211 49 | 0.004 % |
664.44/664.77 c | 1025014 | 160 13600 95200 | 2147483647 68199 49 | 0.004 % |
668.14/668.41 c | 1029400 | 160 13600 95200 | 2147483647 72585 49 | 0.004 % |
671.43/671.72 c | 1034223 | 160 13600 95200 | 73187 64908 49 | 0.004 % |
675.14/675.42 c | 1039530 | 160 13600 95200 | 73187 70215 49 | 0.004 % |
679.33/679.67 c | 1045365 | 160 13600 95200 | 70687 65341 49 | 0.004 % |
683.93/684.21 c | 1051783 | 160 13600 95200 | 69976 61304 49 | 0.004 % |
688.53/688.85 c | 1058842 | 160 13600 95200 | 69976 68363 49 | 0.004 % |
693.73/694.04 c | 1066606 | 160 13600 95200 | 69523 66324 49 | 0.004 % |
699.33/699.63 c | 1075147 | 160 13600 95200 | 60134 57061 49 | 0.004 % |
705.42/705.75 c | 1084542 | 160 13600 95200 | 2147483647 60201 49 | 0.004 % |
705.52/705.85 c | 1084642 | 160 13600 95200 | 2147483647 60301 49 | 0.004 % |
705.62/705.93 c | 1084753 | 160 13600 95200 | 2147483647 60412 49 | 0.004 % |
705.72/706.01 c | 1084874 | 160 13600 95200 | 2147483647 60533 49 | 0.004 % |
705.82/706.10 c | 1085008 | 160 13600 95200 | 2147483647 60667 49 | 0.004 % |
705.92/706.23 c | 1085154 | 160 13600 95200 | 2147483647 60813 49 | 0.004 % |
706.02/706.35 c | 1085315 | 160 13600 95200 | 2147483647 60974 49 | 0.004 % |
706.12/706.47 c | 1085493 | 160 13600 95200 | 2147483647 61152 49 | 0.004 % |
706.32/706.63 c | 1085689 | 160 13600 95200 | 2147483647 61348 49 | 0.004 % |
706.42/706.79 c | 1085902 | 160 13600 95200 | 2147483647 61561 49 | 0.004 % |
706.62/706.94 c | 1086135 | 160 13600 95200 | 2147483647 61794 49 | 0.004 % |
706.82/707.11 c | 1086391 | 160 13600 95200 | 2147483647 62050 49 | 0.004 % |
707.02/707.32 c | 1086672 | 160 13600 95200 | 2147483647 62331 49 | 0.004 % |
707.22/707.53 c | 1086982 | 160 13600 95200 | 2147483647 62641 49 | 0.004 % |
707.42/707.78 c | 1087321 | 160 13600 95200 | 2147483647 62980 49 | 0.004 % |
707.72/708.03 c | 1087693 | 160 13600 95200 | 2147483647 63352 49 | 0.004 % |
708.02/708.33 c | 1088105 | 160 13600 95200 | 2147483647 63764 49 | 0.004 % |
708.32/708.65 c | 1088554 | 160 13600 95200 | 2147483647 64213 49 | 0.004 % |
708.82/709.10 c | 1089048 | 160 13600 95200 | 2147483647 64707 49 | 0.004 % |
709.22/709.55 c | 1089590 | 160 13600 95200 | 2147483647 65249 49 | 0.004 % |
709.71/710.06 c | 1090186 | 160 13600 95200 | 65659 57538 49 | 0.004 % |
710.21/710.50 c | 1090843 | 160 13600 95200 | 65659 58195 49 | 0.004 % |
710.61/710.95 c | 1091565 | 160 13600 95200 | 65659 58917 49 | 0.004 % |
711.21/711.53 c | 1092358 | 160 13600 95200 | 65659 59710 49 | 0.004 % |
711.81/712.17 c | 1093230 | 160 13600 95200 | 65659 60582 49 | 0.004 % |
712.52/712.90 c | 1094188 | 160 13600 95200 | 65659 61540 49 | 0.004 % |
713.31/713.69 c | 1095241 | 160 13600 95200 | 65659 62593 49 | 0.004 % |
714.21/714.51 c | 1096399 | 160 13600 95200 | 65659 63751 49 | 0.004 % |
715.11/715.42 c | 1097672 | 160 13600 95200 | 65659 65024 49 | 0.004 % |
716.01/716.33 c | 1099073 | 160 13600 95200 | 65659 57507 49 | 0.004 % |
717.11/717.41 c | 1100614 | 160 13600 95200 | 58437 51267 48 | 0.004 % |
718.01/718.35 c | 1102308 | 160 13600 95200 | 58437 52961 49 | 0.004 % |
719.11/719.43 c | 1104173 | 160 13600 95200 | 58437 54826 48 | 0.004 % |
720.31/720.68 c | 1106223 | 160 13600 95200 | 58437 56876 48 | 0.004 % |
721.71/722.07 c | 1108476 | 160 13600 95200 | 58437 53272 49 | 0.004 % |
723.21/723.57 c | 1110954 | 160 13600 95200 | 2147483647 55750 49 | 0.004 % |
724.91/725.26 c | 1113680 | 160 13600 95200 | 2147483647 58476 49 | 0.004 % |
726.81/727.19 c | 1116677 | 160 13600 95200 | 2147483647 61473 49 | 0.004 % |
729.11/729.47 c | 1119977 | 160 13600 95200 | 2147483647 64773 49 | 0.004 % |
731.60/731.96 c | 1123602 | 160 13600 95200 | 64798 61686 49 | 0.004 % |
734.30/734.63 c | 1127590 | 160 13600 95200 | 64798 58272 49 | 0.004 % |
736.90/737.27 c | 1131976 | 160 13600 95200 | 60683 55346 49 | 0.004 % |
739.80/740.11 c | 1136800 | 160 13600 95200 | 60683 60170 49 | 0.004 % |
742.70/743.03 c | 1142106 | 160 13600 95200 | 56655 52960 49 | 0.004 % |
745.90/746.20 c | 1147941 | 160 13600 95200 | 56655 53122 49 | 0.004 % |
749.60/749.94 c | 1154359 | 160 13600 95200 | 2147483647 59540 49 | 0.004 % |
754.20/754.55 c | 1161419 | 160 13600 95200 | 2147483647 66600 49 | 0.004 % |
759.80/760.19 c | 1169185 | 160 13600 95200 | 2147483647 74366 49 | 0.004 % |
765.99/766.39 c | 1177727 | 160 13600 95200 | 75181 71484 50 | 0.004 % |
772.49/772.83 c | 1187121 | 160 13600 95200 | 73758 69354 50 | 0.004 % |
779.69/780.03 c | 1197455 | 160 13600 95200 | 72237 69055 50 | 0.004 % |
779.79/780.12 c | 1197555 | 160 13600 95200 | 72237 69155 50 | 0.004 % |
779.89/780.22 c | 1197667 | 160 13600 95200 | 72237 69267 50 | 0.004 % |
779.99/780.32 c | 1197788 | 160 13600 95200 | 72237 69388 50 | 0.004 % |
780.09/780.43 c | 1197921 | 160 13600 95200 | 72237 69521 50 | 0.004 % |
780.19/780.55 c | 1198067 | 160 13600 95200 | 72237 69667 50 | 0.004 % |
780.29/780.66 c | 1198227 | 160 13600 95200 | 72237 69827 50 | 0.004 % |
780.39/780.79 c | 1198405 | 160 13600 95200 | 72237 70005 50 | 0.004 % |
780.59/780.96 c | 1198598 | 160 13600 95200 | 72237 70198 50 | 0.004 % |
780.79/781.13 c | 1198811 | 160 13600 95200 | 72237 70411 50 | 0.004 % |
780.99/781.32 c | 1199044 | 160 13600 95200 | 72237 70644 50 | 0.004 % |
781.19/781.57 c | 1199302 | 160 13600 95200 | 72237 70902 50 | 0.004 % |
781.39/781.80 c | 1199583 | 160 13600 95200 | 72237 71183 50 | 0.004 % |
781.69/782.06 c | 1199892 | 160 13600 95200 | 72237 71492 50 | 0.004 % |
782.09/782.43 c | 1200231 | 160 13600 95200 | 71600 60852 50 | 0.004 % |
782.29/782.67 c | 1200603 | 160 13600 95200 | 71600 61224 50 | 0.004 % |
782.59/782.93 c | 1201013 | 160 13600 95200 | 71600 61634 50 | 0.004 % |
782.90/783.28 c | 1201462 | 160 13600 95200 | 71600 62083 50 | 0.004 % |
783.29/783.68 c | 1201955 | 160 13600 95200 | 71600 62576 50 | 0.004 % |
783.69/784.09 c | 1202497 | 160 13600 95200 | 71600 63118 50 | 0.004 % |
784.19/784.51 c | 1203093 | 160 13600 95200 | 71600 63714 50 | 0.004 % |
784.69/785.01 c | 1203748 | 160 13600 95200 | 71600 64369 50 | 0.004 % |
785.10/785.49 c | 1204471 | 160 13600 95200 | 71600 65092 50 | 0.004 % |
785.69/786.02 c | 1205263 | 160 13600 95200 | 71600 65884 50 | 0.004 % |
786.29/786.63 c | 1206135 | 160 13600 95200 | 71600 66756 50 | 0.004 % |
786.89/787.29 c | 1207093 | 160 13600 95200 | 71600 67714 50 | 0.004 % |
787.69/788.07 c | 1208146 | 160 13600 95200 | 71600 68767 50 | 0.004 % |
788.59/788.91 c | 1209305 | 160 13600 95200 | 71600 69926 50 | 0.004 % |
789.49/789.85 c | 1210578 | 160 13600 95200 | 70621 60038 49 | 0.004 % |
790.49/790.86 c | 1211980 | 160 13600 95200 | 70621 61440 49 | 0.004 % |
791.49/791.81 c | 1213520 | 160 13600 95200 | 70621 62980 49 | 0.004 % |
792.69/793.05 c | 1215215 | 160 13600 95200 | 70621 64675 49 | 0.004 % |
794.09/794.42 c | 1217078 | 160 13600 95200 | 70621 66538 49 | 0.004 % |
795.69/796.00 c | 1219127 | 160 13600 95200 | 70621 68587 49 | 0.004 % |
797.19/797.56 c | 1221381 | 160 13600 95200 | 69462 60321 49 | 0.004 % |
798.79/799.17 c | 1223859 | 160 13600 95200 | 69462 62799 49 | 0.004 % |
800.69/801.01 c | 1226585 | 160 13600 95200 | 69462 65525 49 | 0.004 % |
802.79/803.14 c | 1229584 | 160 13600 95200 | 69462 68524 49 | 0.004 % |
804.89/805.20 c | 1232880 | 160 13600 95200 | 68940 61445 49 | 0.004 % |
807.09/807.45 c | 1236506 | 160 13600 95200 | 68940 65071 49 | 0.004 % |
809.88/810.20 c | 1240495 | 160 13600 95200 | 68565 59507 49 | 0.004 % |
812.58/812.95 c | 1244881 | 160 13600 95200 | 68565 63893 49 | 0.004 % |
815.98/816.30 c | 1249705 | 160 13600 95200 | 68565 59300 49 | 0.004 % |
819.38/819.76 c | 1255010 | 160 13600 95200 | 59595 56441 49 | 0.004 % |
823.07/823.49 c | 1260845 | 160 13600 95200 | 54707 49617 49 | 0.004 % |
826.57/826.96 c | 1267263 | 160 13600 95200 | 54707 50557 49 | 0.004 % |
830.27/830.68 c | 1274322 | 160 13600 95200 | 2147483647 57616 50 | 0.004 % |
834.97/835.34 c | 1282086 | 160 13600 95200 | 2147483647 65380 50 | 0.004 % |
841.37/841.75 c | 1290626 | 160 13600 95200 | 73294 62538 50 | 0.004 % |
848.56/848.97 c | 1300020 | 160 13600 95200 | 71912 71932 50 | 0.004 % |
856.36/856.73 c | 1310356 | 160 13600 95200 | 69608 58615 50 | 0.004 % |
863.66/864.02 c | 1321722 | 160 13600 95200 | 68262 60099 50 | 0.004 % |
863.66/864.09 c | 1321824 | 160 13600 95200 | 68262 60201 50 | 0.004 % |
863.76/864.17 c | 1321935 | 160 13600 95200 | 68262 60312 50 | 0.004 % |
863.86/864.24 c | 1322057 | 160 13600 95200 | 68262 60434 50 | 0.004 % |
863.96/864.38 c | 1322191 | 160 13600 95200 | 68262 60568 50 | 0.004 % |
864.06/864.49 c | 1322337 | 160 13600 95200 | 68262 60714 50 | 0.004 % |
864.26/864.62 c | 1322497 | 160 13600 95200 | 68262 60874 50 | 0.004 % |
864.36/864.74 c | 1322674 | 160 13600 95200 | 68262 61051 50 | 0.004 % |
864.46/864.88 c | 1322868 | 160 13600 95200 | 68262 61245 50 | 0.004 % |
864.66/865.06 c | 1323080 | 160 13600 95200 | 68262 61457 50 | 0.004 % |
864.86/865.29 c | 1323314 | 160 13600 95200 | 68262 61691 50 | 0.004 % |
865.06/865.49 c | 1323570 | 160 13600 95200 | 68262 61947 50 | 0.004 % |
865.36/865.71 c | 1323852 | 160 13600 95200 | 68262 62229 50 | 0.004 % |
865.56/865.99 c | 1324161 | 160 13600 95200 | 68262 62538 50 | 0.004 % |
865.86/866.28 c | 1324501 | 160 13600 95200 | 68262 62878 50 | 0.004 % |
866.26/866.69 c | 1324873 | 160 13600 95200 | 68262 63250 50 | 0.004 % |
866.66/867.05 c | 1325283 | 160 13600 95200 | 68262 63660 50 | 0.004 % |
867.06/867.40 c | 1325733 | 160 13600 95200 | 68262 64110 50 | 0.004 % |
867.36/867.79 c | 1326226 | 160 13600 95200 | 68262 64603 50 | 0.004 % |
867.76/868.16 c | 1326768 | 160 13600 95200 | 68262 65145 50 | 0.004 % |
868.16/868.55 c | 1327364 | 160 13600 95200 | 68262 65741 50 | 0.004 % |
868.56/868.94 c | 1328019 | 160 13600 95200 | 68262 66396 50 | 0.004 % |
869.16/869.58 c | 1328739 | 160 13600 95200 | 68262 67116 50 | 0.004 % |
869.86/870.21 c | 1329533 | 160 13600 95200 | 68262 67910 50 | 0.004 % |
870.65/871.01 c | 1330404 | 160 13600 95200 | 57944 49526 50 | 0.004 % |
871.16/871.59 c | 1331364 | 160 13600 95200 | 57944 50486 50 | 0.004 % |
871.75/872.18 c | 1332417 | 160 13600 95200 | 57944 51539 50 | 0.004 % |
872.45/872.82 c | 1333576 | 160 13600 95200 | 57944 52698 50 | 0.004 % |
873.45/873.81 c | 1334852 | 160 13600 95200 | 57944 53974 50 | 0.004 % |
874.35/874.71 c | 1336253 | 160 13600 95200 | 57944 55375 50 | 0.004 % |
875.36/875.73 c | 1337794 | 160 13600 95200 | 57944 56916 50 | 0.004 % |
876.36/876.73 c | 1339488 | 160 13600 95200 | 57944 52378 49 | 0.004 % |
877.25/877.68 c | 1341352 | 160 13600 95200 | 52890 48806 49 | 0.004 % |
878.25/878.63 c | 1343401 | 160 13600 95200 | 52890 50855 49 | 0.004 % |
879.35/879.73 c | 1345654 | 160 13600 95200 | 52890 47813 49 | 0.004 % |
880.55/880.92 c | 1348134 | 160 13600 95200 | 52890 50293 49 | 0.004 % |
882.05/882.42 c | 1350860 | 160 13600 95200 | 2147483647 53019 49 | 0.004 % |
883.75/884.10 c | 1353857 | 160 13600 95200 | 2147483647 56016 49 | 0.004 % |
885.95/886.30 c | 1357153 | 160 13600 95200 | 2147483647 59312 49 | 0.004 % |
888.45/888.85 c | 1360781 | 160 13600 95200 | 2147483647 62940 49 | 0.004 % |
891.15/891.57 c | 1364769 | 160 13600 95200 | 2147483647 66928 49 | 0.004 % |
894.25/894.66 c | 1369156 | 160 13600 95200 | 2147483647 71315 49 | 0.004 % |
897.55/897.90 c | 1373982 | 160 13600 95200 | 72160 66749 49 | 0.004 % |
901.54/901.92 c | 1379287 | 160 13600 95200 | 72160 72054 49 | 0.004 % |
905.34/905.72 c | 1385122 | 160 13600 95200 | 62400 58631 49 | 0.004 % |
909.64/910.00 c | 1391542 | 160 13600 95200 | 56181 51143 49 | 0.004 % |
913.14/913.54 c | 1398601 | 160 13600 95200 | 56181 52578 49 | 0.004 % |
917.24/917.69 c | 1406366 | 160 13600 95200 | 2147483647 60343 49 | 0.004 % |
922.64/923.04 c | 1414907 | 160 13600 95200 | 2147483647 68884 49 | 0.004 % |
928.93/929.38 c | 1424302 | 160 13600 95200 | 73977 67896 49 | 0.004 % |
935.83/936.29 c | 1434635 | 160 13600 95200 | 73594 67424 50 | 0.004 % |
943.33/943.76 c | 1446002 | 160 13600 95200 | 72789 68427 50 | 0.004 % |
951.42/951.86 c | 1458505 | 160 13600 95200 | 72425 69663 50 | 0.004 % |
951.52/951.94 c | 1458605 | 160 13600 95200 | 72425 69763 50 | 0.004 % |
951.62/952.05 c | 1458716 | 160 13600 95200 | 72425 69874 50 | 0.004 % |
951.72/952.16 c | 1458837 | 160 13600 95200 | 72425 69995 50 | 0.004 % |
951.82/952.27 c | 1458970 | 160 13600 95200 | 72425 70128 50 | 0.004 % |
952.02/952.42 c | 1459116 | 160 13600 95200 | 72425 70274 50 | 0.004 % |
952.12/952.54 c | 1459276 | 160 13600 95200 | 72425 70434 50 | 0.004 % |
952.23/952.67 c | 1459454 | 160 13600 95200 | 72425 70612 50 | 0.004 % |
952.42/952.81 c | 1459649 | 160 13600 95200 | 72425 70807 50 | 0.004 % |
952.52/952.97 c | 1459863 | 160 13600 95200 | 72425 71021 50 | 0.004 % |
952.82/953.25 c | 1460096 | 160 13600 95200 | 71159 59693 50 | 0.004 % |
953.02/953.47 c | 1460353 | 160 13600 95200 | 71159 59950 50 | 0.004 % |
953.22/953.69 c | 1460634 | 160 13600 95200 | 71159 60231 50 | 0.004 % |
953.52/953.90 c | 1460944 | 160 13600 95200 | 71159 60541 50 | 0.004 % |
953.72/954.14 c | 1461284 | 160 13600 95200 | 71159 60881 50 | 0.004 % |
953.92/954.39 c | 1461658 | 160 13600 95200 | 71159 61255 50 | 0.004 % |
954.22/954.64 c | 1462069 | 160 13600 95200 | 71159 61666 50 | 0.004 % |
954.52/954.98 c | 1462518 | 160 13600 95200 | 71159 62115 50 | 0.004 % |
954.92/955.31 c | 1463011 | 160 13600 95200 | 71159 62608 50 | 0.004 % |
955.32/955.70 c | 1463554 | 160 13600 95200 | 71159 63151 50 | 0.004 % |
955.72/956.15 c | 1464152 | 160 13600 95200 | 71159 63749 50 | 0.004 % |
956.12/956.57 c | 1464808 | 160 13600 95200 | 71159 64405 50 | 0.004 % |
956.62/957.06 c | 1465531 | 160 13600 95200 | 71159 65128 50 | 0.004 % |
957.22/957.66 c | 1466324 | 160 13600 95200 | 71159 65921 50 | 0.004 % |
957.82/958.27 c | 1467196 | 160 13600 95200 | 71159 66793 50 | 0.004 % |
958.52/958.95 c | 1468157 | 160 13600 95200 | 71159 67754 50 | 0.004 % |
959.32/959.78 c | 1469210 | 160 13600 95200 | 71159 68807 50 | 0.004 % |
960.32/960.72 c | 1470369 | 160 13600 95200 | 69598 58924 49 | 0.004 % |
961.12/961.57 c | 1471643 | 160 13600 95200 | 69598 60198 49 | 0.004 % |
962.12/962.50 c | 1473045 | 160 13600 95200 | 69598 61600 49 | 0.004 % |
963.22/963.64 c | 1474585 | 160 13600 95200 | 69598 63140 49 | 0.004 % |
964.52/964.92 c | 1476279 | 160 13600 95200 | 69598 64834 49 | 0.004 % |
965.82/966.22 c | 1478142 | 160 13600 95200 | 69598 66697 49 | 0.004 % |
967.41/967.84 c | 1480192 | 160 13600 95200 | 68555 58093 49 | 0.004 % |
968.82/969.28 c | 1482445 | 160 13600 95200 | 68555 60346 49 | 0.004 % |
970.51/970.92 c | 1484924 | 160 13600 95200 | 68555 62825 49 | 0.004 % |
972.61/973.06 c | 1487649 | 160 13600 95200 | 68555 65550 49 | 0.004 % |
974.91/975.35 c | 1490646 | 160 13600 95200 | 67901 58417 49 | 0.004 % |
977.01/977.46 c | 1493942 | 160 13600 95200 | 67901 61713 49 | 0.004 % |
979.42/979.88 c | 1497568 | 160 13600 95200 | 67901 65339 49 | 0.004 % |
982.52/982.97 c | 1501555 | 160 13600 95200 | 67771 59240 49 | 0.004 % |
985.32/985.75 c | 1505940 | 160 13600 95200 | 67771 63625 49 | 0.004 % |
988.41/988.88 c | 1510763 | 160 13600 95200 | 67686 58917 49 | 0.004 % |
991.61/992.09 c | 1516068 | 160 13600 95200 | 67686 64222 49 | 0.004 % |
995.31/995.71 c | 1521906 | 160 13600 95200 | 58867 52823 49 | 0.004 % |
998.91/999.38 c | 1528325 | 160 13600 95200 | 58867 53348 49 | 0.004 % |
1003.11/1003.58 c | 1535384 | 160 13600 95200 | 2147483647 60407 49 | 0.004 % |
1008.41/1008.83 c | 1543149 | 160 13600 95200 | 2147483647 68172 49 | 0.004 % |
1014.70/1015.19 c | 1551690 | 160 13600 95200 | 75024 65319 49 | 0.004 % |
1022.20/1022.68 c | 1561084 | 160 13600 95200 | 73629 62314 49 | 0.004 % |
1029.30/1029.76 c | 1571417 | 160 13600 95200 | 71230 60535 49 | 0.004 % |
1036.49/1036.99 c | 1582783 | 160 13600 95200 | 69118 61873 49 | 0.004 % |
1044.60/1045.05 c | 1595286 | 160 13600 95200 | 69090 64847 49 | 0.004 % |
1053.19/1053.62 c | 1609040 | 160 13600 95200 | 60341 55323 49 | 0.004 % |
1053.29/1053.70 c | 1609141 | 160 13600 95200 | 60341 55424 49 | 0.004 % |
1053.29/1053.76 c | 1609251 | 160 13600 95200 | 60341 55534 49 | 0.004 % |
1053.39/1053.83 c | 1609372 | 160 13600 95200 | 60341 55655 49 | 0.004 % |
1053.49/1053.92 c | 1609505 | 160 13600 95200 | 60341 55788 49 | 0.004 % |
1053.59/1054.02 c | 1609651 | 160 13600 95200 | 60341 55934 49 | 0.004 % |
1053.69/1054.12 c | 1609811 | 160 13600 95200 | 60341 56094 49 | 0.004 % |
1053.79/1054.25 c | 1609988 | 160 13600 95200 | 60341 56271 49 | 0.004 % |
1053.89/1054.37 c | 1610181 | 160 13600 95200 | 2147483647 56464 49 | 0.004 % |
1054.09/1054.52 c | 1610394 | 160 13600 95200 | 2147483647 56677 49 | 0.004 % |
1054.19/1054.68 c | 1610628 | 160 13600 95200 | 2147483647 56911 49 | 0.004 % |
1054.39/1054.84 c | 1610887 | 160 13600 95200 | 2147483647 57170 49 | 0.004 % |
1054.59/1055.02 c | 1611168 | 160 13600 95200 | 2147483647 57451 49 | 0.004 % |
1054.79/1055.22 c | 1611478 | 160 13600 95200 | 2147483647 57761 49 | 0.004 % |
1054.99/1055.47 c | 1611819 | 160 13600 95200 | 2147483647 58102 49 | 0.004 % |
1055.19/1055.69 c | 1612191 | 160 13600 95200 | 2147483647 58474 49 | 0.004 % |
1055.49/1055.98 c | 1612601 | 160 13600 95200 | 2147483647 58884 49 | 0.004 % |
1055.79/1056.27 c | 1613055 | 160 13600 95200 | 2147483647 59338 49 | 0.004 % |
1056.19/1056.62 c | 1613549 | 160 13600 95200 | 2147483647 59832 49 | 0.004 % |
1056.59/1057.01 c | 1614091 | 160 13600 95200 | 2147483647 60374 49 | 0.004 % |
1056.99/1057.44 c | 1614690 | 160 13600 95200 | 2147483647 60973 49 | 0.004 % |
1057.39/1057.87 c | 1615345 | 160 13600 95200 | 2147483647 61628 49 | 0.004 % |
1057.89/1058.30 c | 1616065 | 160 13600 95200 | 2147483647 62348 49 | 0.004 % |
1058.39/1058.87 c | 1616857 | 160 13600 95200 | 2147483647 63140 49 | 0.004 % |
1058.99/1059.47 c | 1617729 | 160 13600 95200 | 2147483647 64012 49 | 0.004 % |
1059.68/1060.18 c | 1618687 | 160 13600 95200 | 2147483647 64970 49 | 0.004 % |
1060.38/1060.88 c | 1619740 | 160 13600 95200 | 2147483647 66023 49 | 0.004 % |
1061.09/1061.58 c | 1620898 | 160 13600 95200 | 66283 58623 50 | 0.004 % |
1061.88/1062.32 c | 1622171 | 160 13600 95200 | 66283 59896 50 | 0.004 % |
1062.58/1063.10 c | 1623572 | 160 13600 95200 | 66283 61297 50 | 0.004 % |
1063.68/1064.12 c | 1625114 | 160 13600 95200 | 66283 62839 50 | 0.004 % |
1064.78/1065.26 c | 1626808 | 160 13600 95200 | 66283 64533 50 | 0.004 % |
1066.08/1066.51 c | 1628671 | 160 13600 95200 | 66283 58156 50 | 0.004 % |
1067.38/1067.83 c | 1630720 | 160 13600 95200 | 59485 52896 50 | 0.004 % |
1068.68/1069.17 c | 1632974 | 160 13600 95200 | 59485 55150 50 | 0.004 % |
1070.18/1070.61 c | 1635452 | 160 13600 95200 | 59485 57628 50 | 0.004 % |
1071.78/1072.23 c | 1638178 | 160 13600 95200 | 59485 54398 50 | 0.004 % |
1073.38/1073.87 c | 1641175 | 160 13600 95200 | 2147483647 57395 50 | 0.004 % |
1075.28/1075.75 c | 1644471 | 160 13600 95200 | 2147483647 60691 50 | 0.004 % |
1077.68/1078.16 c | 1648098 | 160 13600 95200 | 2147483647 64318 50 | 0.004 % |
1080.38/1080.82 c | 1652086 | 160 13600 95200 | 66221 60711 50 | 0.004 % |
1083.27/1083.74 c | 1656471 | 160 13600 95200 | 66221 65096 50 | 0.004 % |
1086.17/1086.69 c | 1661294 | 160 13600 95200 | 59611 53125 50 | 0.004 % |
1089.17/1089.65 c | 1666601 | 160 13600 95200 | 59611 58432 50 | 0.004 % |
1092.47/1092.95 c | 1672439 | 160 13600 95200 | 2147483647 58303 50 | 0.004 % |
1096.37/1096.88 c | 1678859 | 160 13600 95200 | 2147483647 64723 50 | 0.004 % |
1101.07/1101.52 c | 1685919 | 160 13600 95200 | 65865 64735 50 | 0.004 % |
1106.56/1107.07 c | 1693685 | 160 13600 95200 | 61099 57554 50 | 0.004 % |
1112.16/1112.62 c | 1702225 | 160 13600 95200 | 57303 53633 50 | 0.004 % |
1118.46/1118.97 c | 1711623 | 160 13600 95200 | 2147483647 57294 49 | 0.004 % |
1125.46/1125.95 c | 1721956 | 160 13600 95200 | 65673 60239 49 | 0.004 % |
1133.66/1134.10 c | 1733322 | 160 13600 95200 | 59830 55379 49 | 0.004 % |
1141.15/1141.69 c | 1745826 | 160 13600 95200 | 55641 50169 50 | 0.004 % |
1149.25/1149.75 c | 1759579 | 160 13600 95200 | 2147483647 63922 50 | 0.004 % |
1158.05/1158.53 c | 1774707 | 160 13600 95200 | 74344 67958 50 | 0.004 % |
1158.15/1158.61 c | 1774807 | 160 13600 95200 | 74344 68058 50 | 0.004 % |
1158.15/1158.69 c | 1774918 | 160 13600 95200 | 74344 68169 50 | 0.004 % |
1158.24/1158.77 c | 1775040 | 160 13600 95200 | 74344 68291 50 | 0.004 % |
1158.34/1158.88 c | 1775173 | 160 13600 95200 | 74344 68424 50 | 0.004 % |
1158.54/1159.00 c | 1775320 | 160 13600 95200 | 74344 68571 50 | 0.004 % |
1158.64/1159.13 c | 1775481 | 160 13600 95200 | 74344 68732 50 | 0.004 % |
1158.74/1159.24 c | 1775657 | 160 13600 95200 | 74344 68908 50 | 0.004 % |
1158.84/1159.39 c | 1775851 | 160 13600 95200 | 74344 69102 50 | 0.004 % |
1159.05/1159.53 c | 1776063 | 160 13600 95200 | 74344 69314 50 | 0.004 % |
1159.24/1159.75 c | 1776297 | 160 13600 95200 | 74344 69548 50 | 0.004 % |
1159.44/1159.95 c | 1776553 | 160 13600 95200 | 74344 69804 50 | 0.004 % |
1159.74/1160.20 c | 1776835 | 160 13600 95200 | 74344 70086 50 | 0.004 % |
1159.94/1160.44 c | 1777144 | 160 13600 95200 | 74344 70395 50 | 0.004 % |
1160.24/1160.72 c | 1777484 | 160 13600 95200 | 74344 70735 50 | 0.004 % |
1160.54/1161.05 c | 1777856 | 160 13600 95200 | 74344 71107 50 | 0.004 % |
1160.84/1161.37 c | 1778265 | 160 13600 95200 | 74344 71516 50 | 0.004 % |
1161.25/1161.73 c | 1778715 | 160 13600 95200 | 74344 71966 50 | 0.004 % |
1161.64/1162.14 c | 1779208 | 160 13600 95200 | 74344 72459 50 | 0.004 % |
1162.04/1162.52 c | 1779751 | 160 13600 95200 | 74344 73002 50 | 0.004 % |
1162.54/1163.08 c | 1780347 | 160 13600 95200 | 73251 61641 50 | 0.004 % |
1163.04/1163.51 c | 1781004 | 160 13600 95200 | 73251 62298 50 | 0.004 % |
1163.54/1164.09 c | 1781724 | 160 13600 95200 | 73251 63018 50 | 0.004 % |
1164.14/1164.64 c | 1782516 | 160 13600 95200 | 73251 63810 50 | 0.004 % |
1164.84/1165.39 c | 1783387 | 160 13600 95200 | 73251 64681 50 | 0.004 % |
1165.64/1166.13 c | 1784345 | 160 13600 95200 | 73251 65639 50 | 0.004 % |
1166.34/1166.88 c | 1785398 | 160 13600 95200 | 73251 66692 50 | 0.004 % |
1167.14/1167.68 c | 1786557 | 160 13600 95200 | 73251 67851 50 | 0.004 % |
1168.24/1168.76 c | 1787830 | 160 13600 95200 | 73251 69124 50 | 0.004 % |
1169.34/1169.86 c | 1789231 | 160 13600 95200 | 73251 70525 50 | 0.004 % |
1170.54/1171.07 c | 1790771 | 160 13600 95200 | 71295 60065 50 | 0.004 % |
1171.54/1172.07 c | 1792465 | 160 13600 95200 | 71295 61759 50 | 0.004 % |
1172.73/1173.28 c | 1794330 | 160 13600 95200 | 71295 63624 50 | 0.004 % |
1174.03/1174.58 c | 1796379 | 160 13600 95200 | 71295 65673 50 | 0.004 % |
1175.54/1176.07 c | 1798632 | 160 13600 95200 | 71295 67926 50 | 0.004 % |
1177.33/1177.90 c | 1801111 | 160 13600 95200 | 69296 60897 49 | 0.004 % |
1179.13/1179.67 c | 1803836 | 160 13600 95200 | 69296 63622 49 | 0.004 % |
1181.04/1181.53 c | 1806833 | 160 13600 95200 | 69296 66619 49 | 0.004 % |
1183.33/1183.83 c | 1810129 | 160 13600 95200 | 60493 52613 49 | 0.004 % |
1185.33/1185.81 c | 1813758 | 160 13600 95200 | 60493 56242 49 | 0.004 % |
1187.43/1187.94 c | 1817745 | 160 13600 95200 | 60493 60229 49 | 0.004 % |
1189.83/1190.38 c | 1822132 | 160 13600 95200 | 2147483647 58560 49 | 0.004 % |
1192.83/1193.38 c | 1826956 | 160 13600 95200 | 2147483647 63384 49 | 0.004 % |
1196.23/1196.73 c | 1832261 | 160 13600 95200 | 66429 61597 49 | 0.004 % |
1199.92/1200.41 c | 1838099 | 160 13600 95200 | 66429 59843 49 | 0.004 % |
1200.03/1200.51 HOME/SatELiteGTI: line 36: 11134 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832609-1242785072/watcher-1832609-1242785072 -o /tmp/evaluation-result-1832609-1242785072/solver-1832609-1242785072 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832609-1242785072.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.03 1.04 0.99 3/64 11128
/proc/meminfo: memFree=1660736/2055920 swapFree=4180152/4192956
[pid=11128] ppid=11126 vsize=5356 CPUtime=0
/proc/11128/stat : 11128 (SatELiteGTI) R 11126 11128 10551 0 -1 4194304 291 249 0 0 0 0 0 0 18 0 1 0 306541216 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 259912821235 0 0 4100 65536 0 0 0 17 0 0 0
/proc/11128/statm: 1339 237 197 169 0 50 0
[startup+0.10252 s]
/proc/loadavg: 1.03 1.04 0.99 3/64 11128
/proc/meminfo: memFree=1660736/2055920 swapFree=4180152/4192956
[pid=11128] ppid=11126 vsize=5356 CPUtime=0.04
/proc/11128/stat : 11128 (SatELiteGTI) S 11126 11128 10551 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306541216 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11128/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.201536 s]
/proc/loadavg: 1.03 1.04 0.99 3/64 11128
/proc/meminfo: memFree=1660736/2055920 swapFree=4180152/4192956
[pid=11128] ppid=11126 vsize=5356 CPUtime=0.04
/proc/11128/stat : 11128 (SatELiteGTI) S 11126 11128 10551 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306541216 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11128/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.301554 s]
/proc/loadavg: 1.03 1.04 0.99 3/64 11128
/proc/meminfo: memFree=1660736/2055920 swapFree=4180152/4192956
[pid=11128] ppid=11126 vsize=5356 CPUtime=0.04
/proc/11128/stat : 11128 (SatELiteGTI) S 11126 11128 10551 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306541216 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11128/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.701625 s]
/proc/loadavg: 1.03 1.04 0.99 3/64 11128
/proc/meminfo: memFree=1660736/2055920 swapFree=4180152/4192956
[pid=11128] ppid=11126 vsize=5356 CPUtime=0.04
/proc/11128/stat : 11128 (SatELiteGTI) S 11126 11128 10551 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306541216 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11128/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+1.50176 s]
/proc/loadavg: 1.03 1.04 0.99 2/66 11134
/proc/meminfo: memFree=1657328/2055920 swapFree=4180152/4192956
[pid=11128] ppid=11126 vsize=5356 CPUtime=0.04
/proc/11128/stat : 11128 (SatELiteGTI) S 11126 11128 10551 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306541216 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11128/statm: 1339 239 197 169 0 50 0
[pid=11134] ppid=11128 vsize=4824 CPUtime=1.43
/proc/11134/stat : 11134 (minisat_static) R 11128 11128 10551 0 -1 4194304 937 0 0 0 143 0 0 0 25 0 1 0 306541221 4939776 923 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/11134/statm: 1206 923 76 171 0 1033 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10180
[startup+3.10204 s]
/proc/loadavg: 1.02 1.04 0.99 2/66 11134
/proc/meminfo: memFree=1655344/2055920 swapFree=4180152/4192956
[pid=11128] ppid=11126 vsize=5356 CPUtime=0.04
/proc/11128/stat : 11128 (SatELiteGTI) S 11126 11128 10551 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306541216 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11128/statm: 1339 239 197 169 0 50 0
[pid=11134] ppid=11128 vsize=6956 CPUtime=3.03
/proc/11134/stat : 11134 (minisat_static) R 11128 11128 10551 0 -1 4194304 1483 0 0 0 302 1 0 0 25 0 1 0 306541221 7122944 1469 1992294400 134512640 135215339 4294956240 18446744073709551615 134528714 0 0 4096 3 0 0 0 17 1 0 0
/proc/11134/statm: 1739 1469 76 171 0 1566 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 12312
[startup+6.3016 s]
/proc/loadavg: 1.02 1.04 0.99 2/66 11134
/proc/meminfo: memFree=1652208/2055920 swapFree=4180152/4192956
[pid=11128] ppid=11126 vsize=5356 CPUtime=0.04
/proc/11128/stat : 11128 (SatELiteGTI) S 11126 11128 10551 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306541216 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11128/statm: 1339 239 197 169 0 50 0
[pid=11134] ppid=11128 vsize=9500 CPUtime=6.23
/proc/11134/stat : 11134 (minisat_static) R 11128 11128 10551 0 -1 4194304 2105 0 0 0 621 2 0 0 25 0 1 0 306541221 9728000 2091 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11134/statm: 2375 2091 76 171 0 2202 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 14856
[startup+12.7017 s]
/proc/loadavg: 1.02 1.03 0.99 2/66 11134
/proc/meminfo: memFree=1648496/2055920 swapFree=4180152/4192956
[pid=11128] ppid=11126 vsize=5356 CPUtime=0.04
/proc/11128/stat : 11128 (SatELiteGTI) S 11126 11128 10551 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306541216 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11128/statm: 1339 239 197 169 0 50 0
[pid=11134] ppid=11128 vsize=12884 CPUtime=12.62
/proc/11134/stat : 11134 (minisat_static) R 11128 11128 10551 0 -1 4194304 2951 0 0 0 1259 3 0 0 25 0 1 0 306541221 13193216 2937 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/11134/statm: 3221 2937 76 171 0 3048 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 18240
[startup+25.502 s]
/proc/loadavg: 1.02 1.03 0.99 2/66 11134
/proc/meminfo: memFree=1643760/2055920 swapFree=4180152/4192956
[pid=11128] ppid=11126 vsize=5356 CPUtime=0.04
/proc/11128/stat : 11128 (SatELiteGTI) S 11126 11128 10551 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306541216 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11128/statm: 1339 239 197 169 0 50 0
[pid=11134] ppid=11128 vsize=17500 CPUtime=25.42
/proc/11134/stat : 11134 (minisat_static) R 11128 11128 10551 0 -1 4194304 4070 0 0 0 2537 5 0 0 25 0 1 0 306541221 17920000 4056 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11134/statm: 4375 4056 76 171 0 4202 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 22856
[startup+51.1015 s]
/proc/loadavg: 1.01 1.03 0.99 2/66 11134
/proc/meminfo: memFree=1643184/2055920 swapFree=4180152/4192956
[pid=11128] ppid=11126 vsize=5356 CPUtime=0.04
/proc/11128/stat : 11128 (SatELiteGTI) S 11126 11128 10551 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306541216 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11128/statm: 1339 239 197 169 0 50 0
[pid=11134] ppid=11128 vsize=17908 CPUtime=51.02
/proc/11134/stat : 11134 (minisat_static) R 11128 11128 10551 0 -1 4194304 4200 0 0 0 5096 6 0 0 25 0 1 0 306541221 18337792 4186 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11134/statm: 4477 4186 76 171 0 4304 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 23264
[startup+102.301 s]
/proc/loadavg: 1.00 1.02 0.99 2/66 11134
/proc/meminfo: memFree=1642992/2055920 swapFree=4180152/4192956
[pid=11128] ppid=11126 vsize=5356 CPUtime=0.04
/proc/11128/stat : 11128 (SatELiteGTI) S 11126 11128 10551 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306541216 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11128/statm: 1339 239 197 169 0 50 0
[pid=11134] ppid=11128 vsize=18040 CPUtime=102.2
/proc/11134/stat : 11134 (minisat_static) R 11128 11128 10551 0 -1 4194304 4225 0 0 0 10214 6 0 0 25 0 1 0 306541221 18472960 4211 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11134/statm: 4510 4211 76 171 0 4337 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 23396
[startup+162.302 s]
/proc/loadavg: 1.00 1.02 0.99 2/66 11134
/proc/meminfo: memFree=1642160/2055920 swapFree=4180152/4192956
[pid=11128] ppid=11126 vsize=5356 CPUtime=0.04
/proc/11128/stat : 11128 (SatELiteGTI) S 11126 11128 10551 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306541216 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11128/statm: 1339 239 197 169 0 50 0
[pid=11134] ppid=11128 vsize=18700 CPUtime=162.18
/proc/11134/stat : 11134 (minisat_static) R 11128 11128 10551 0 -1 4194304 4389 0 0 0 16211 7 0 0 25 0 1 0 306541221 19148800 4375 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/11134/statm: 4675 4375 76 171 0 4502 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 24056
[startup+222.305 s]
/proc/loadavg: 1.00 1.01 0.99 2/66 11134
/proc/meminfo: memFree=1641520/2055920 swapFree=4180152/4192956
[pid=11128] ppid=11126 vsize=5356 CPUtime=0.04
/proc/11128/stat : 11128 (SatELiteGTI) S 11126 11128 10551 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306541216 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11128/statm: 1339 239 197 169 0 50 0
[pid=11134] ppid=11128 vsize=19364 CPUtime=222.16
/proc/11134/stat : 11134 (minisat_static) R 11128 11128 10551 0 -1 4194304 4536 0 0 0 22208 8 0 0 25 0 1 0 306541221 19828736 4522 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11134/statm: 4841 4522 76 171 0 4668 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 24720
[startup+282.303 s]
/proc/loadavg: 1.06 1.02 1.00 2/66 11134
/proc/meminfo: memFree=1639664/2055920 swapFree=4180152/4192956
[pid=11128] ppid=11126 vsize=5356 CPUtime=0.04
/proc/11128/stat : 11128 (SatELiteGTI) S 11126 11128 10551 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306541216 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11128/statm: 1339 239 197 169 0 50 0
[pid=11134] ppid=11128 vsize=20952 CPUtime=282.14
/proc/11134/stat : 11134 (minisat_static) R 11128 11128 10551 0 -1 4194304 4968 0 0 0 28205 9 0 0 25 0 1 0 306541221 21454848 4954 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11134/statm: 5238 4954 76 171 0 5065 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 26308
[startup+342.302 s]
/proc/loadavg: 1.02 1.02 1.00 2/66 11134
/proc/meminfo: memFree=1639152/2055920 swapFree=4180152/4192956
[pid=11128] ppid=11126 vsize=5356 CPUtime=0.04
/proc/11128/stat : 11128 (SatELiteGTI) S 11126 11128 10551 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306541216 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11128/statm: 1339 239 197 169 0 50 0
[pid=11134] ppid=11128 vsize=21484 CPUtime=342.11
/proc/11134/stat : 11134 (minisat_static) R 11128 11128 10551 0 -1 4194304 5072 0 0 0 34202 9 0 0 25 0 1 0 306541221 21999616 5058 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11134/statm: 5371 5058 76 171 0 5198 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 26840
[startup+402.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 11134
/proc/meminfo: memFree=1638896/2055920 swapFree=4180152/4192956
[pid=11128] ppid=11126 vsize=5356 CPUtime=0.04
/proc/11128/stat : 11128 (SatELiteGTI) S 11126 11128 10551 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306541216 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11128/statm: 1339 239 197 169 0 50 0
[pid=11134] ppid=11128 vsize=21616 CPUtime=402.1
/proc/11134/stat : 11134 (minisat_static) R 11128 11128 10551 0 -1 4194304 5125 0 0 0 40200 10 0 0 25 0 1 0 306541221 22134784 5111 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 1 0 0
/proc/11134/statm: 5404 5111 76 171 0 5231 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 26972
[startup+462.302 s]
################
# More data... #
################
[pid=11134] ppid=11128 vsize=21616 CPUtime=462.08
/proc/11134/stat : 11134 (minisat_static) R 11128 11128 10551 0 -1 4194304 5129 0 0 0 46197 11 0 0 25 0 1 0 306541221 22134784 5115 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/11134/statm: 5404 5115 76 171 0 5231 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 26972
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11134
/proc/meminfo: memFree=1638512/2055920 swapFree=4180152/4192956
[pid=11128] ppid=11126 vsize=5356 CPUtime=0.04
/proc/11128/stat : 11128 (SatELiteGTI) S 11126 11128 10551 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306541216 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11128/statm: 1339 239 197 169 0 50 0
[pid=11134] ppid=11128 vsize=21756 CPUtime=522.05
/proc/11134/stat : 11134 (minisat_static) R 11128 11128 10551 0 -1 4194304 5160 0 0 0 52194 11 0 0 25 0 1 0 306541221 22278144 5146 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11134/statm: 5439 5146 76 171 0 5266 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 27112
[startup+582.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11134
/proc/meminfo: memFree=1638256/2055920 swapFree=4180152/4192956
[pid=11128] ppid=11126 vsize=5356 CPUtime=0.04
/proc/11128/stat : 11128 (SatELiteGTI) S 11126 11128 10551 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306541216 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11128/statm: 1339 239 197 169 0 50 0
[pid=11134] ppid=11128 vsize=21896 CPUtime=582.03
/proc/11134/stat : 11134 (minisat_static) R 11128 11128 10551 0 -1 4194304 5198 0 0 0 58192 11 0 0 25 0 1 0 306541221 22421504 5184 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11134/statm: 5474 5184 76 171 0 5301 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 27252
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11134
/proc/meminfo: memFree=1638128/2055920 swapFree=4180152/4192956
[pid=11128] ppid=11126 vsize=5356 CPUtime=0.04
/proc/11128/stat : 11128 (SatELiteGTI) S 11126 11128 10551 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306541216 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11128/statm: 1339 239 197 169 0 50 0
[pid=11134] ppid=11128 vsize=22028 CPUtime=642.01
/proc/11134/stat : 11134 (minisat_static) R 11128 11128 10551 0 -1 4194304 5209 0 0 0 64189 12 0 0 25 0 1 0 306541221 22556672 5195 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11134/statm: 5507 5195 76 171 0 5334 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 27384
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11134
/proc/meminfo: memFree=1638000/2055920 swapFree=4180152/4192956
[pid=11128] ppid=11126 vsize=5356 CPUtime=0.04
/proc/11128/stat : 11128 (SatELiteGTI) S 11126 11128 10551 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306541216 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11128/statm: 1339 239 197 169 0 50 0
[pid=11134] ppid=11128 vsize=22028 CPUtime=701.98
/proc/11134/stat : 11134 (minisat_static) R 11128 11128 10551 0 -1 4194304 5220 0 0 0 70186 12 0 0 25 0 1 0 306541221 22556672 5206 1992294400 134512640 135215339 4294956240 18446744073709551615 134528858 0 0 4096 3 0 0 0 17 1 0 0
/proc/11134/statm: 5507 5206 76 171 0 5334 0
Current children cumulated CPU time (s) 702.02
Current children cumulated vsize (KiB) 27384
[startup+762.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11134
/proc/meminfo: memFree=1637296/2055920 swapFree=4180152/4192956
[pid=11128] ppid=11126 vsize=5356 CPUtime=0.04
/proc/11128/stat : 11128 (SatELiteGTI) S 11126 11128 10551 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306541216 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11128/statm: 1339 239 197 169 0 50 0
[pid=11134] ppid=11128 vsize=22568 CPUtime=761.96
/proc/11134/stat : 11134 (minisat_static) R 11128 11128 10551 0 -1 4194304 5369 0 0 0 76184 12 0 0 25 0 1 0 306541221 23109632 5355 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11134/statm: 5642 5355 76 171 0 5469 0
Current children cumulated CPU time (s) 762
Current children cumulated vsize (KiB) 27924
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11134
/proc/meminfo: memFree=1636976/2055920 swapFree=4180152/4192956
[pid=11128] ppid=11126 vsize=5356 CPUtime=0.04
/proc/11128/stat : 11128 (SatELiteGTI) S 11126 11128 10551 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306541216 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11128/statm: 1339 239 197 169 0 50 0
[pid=11134] ppid=11128 vsize=22996 CPUtime=821.94
/proc/11134/stat : 11134 (minisat_static) R 11128 11128 10551 0 -1 4194304 5440 0 0 0 82181 13 0 0 25 0 1 0 306541221 23547904 5426 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11134/statm: 5749 5426 76 171 0 5576 0
Current children cumulated CPU time (s) 821.98
Current children cumulated vsize (KiB) 28352
[startup+882.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11134
/proc/meminfo: memFree=1636848/2055920 swapFree=4180152/4192956
[pid=11128] ppid=11126 vsize=5356 CPUtime=0.04
/proc/11128/stat : 11128 (SatELiteGTI) S 11126 11128 10551 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306541216 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11128/statm: 1339 239 197 169 0 50 0
[pid=11134] ppid=11128 vsize=22996 CPUtime=881.91
/proc/11134/stat : 11134 (minisat_static) R 11128 11128 10551 0 -1 4194304 5440 0 0 0 88178 13 0 0 25 0 1 0 306541221 23547904 5426 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/11134/statm: 5749 5426 76 171 0 5576 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 28352
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11134
/proc/meminfo: memFree=1636720/2055920 swapFree=4180152/4192956
[pid=11128] ppid=11126 vsize=5356 CPUtime=0.04
/proc/11128/stat : 11128 (SatELiteGTI) S 11126 11128 10551 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306541216 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11128/statm: 1339 239 197 169 0 50 0
[pid=11134] ppid=11128 vsize=22996 CPUtime=941.89
/proc/11134/stat : 11134 (minisat_static) R 11128 11128 10551 0 -1 4194304 5441 0 0 0 94176 13 0 0 25 0 1 0 306541221 23547904 5427 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11134/statm: 5749 5427 76 171 0 5576 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 28352
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11134
/proc/meminfo: memFree=1636656/2055920 swapFree=4180152/4192956
[pid=11128] ppid=11126 vsize=5356 CPUtime=0.04
/proc/11128/stat : 11128 (SatELiteGTI) S 11126 11128 10551 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306541216 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11128/statm: 1339 239 197 169 0 50 0
[pid=11134] ppid=11128 vsize=22996 CPUtime=1001.87
/proc/11134/stat : 11134 (minisat_static) R 11128 11128 10551 0 -1 4194304 5441 0 0 0 100173 14 0 0 25 0 1 0 306541221 23547904 5427 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/11134/statm: 5749 5427 76 171 0 5576 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 28352
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11134
/proc/meminfo: memFree=1636464/2055920 swapFree=4180152/4192956
[pid=11128] ppid=11126 vsize=5356 CPUtime=0.04
/proc/11128/stat : 11128 (SatELiteGTI) S 11126 11128 10551 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306541216 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11128/statm: 1339 239 197 169 0 50 0
[pid=11134] ppid=11128 vsize=22996 CPUtime=1061.84
/proc/11134/stat : 11134 (minisat_static) R 11128 11128 10551 0 -1 4194304 5467 0 0 0 106170 14 0 0 25 0 1 0 306541221 23547904 5453 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11134/statm: 5749 5453 76 171 0 5576 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 28352
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11134
/proc/meminfo: memFree=1636400/2055920 swapFree=4180152/4192956
[pid=11128] ppid=11126 vsize=5356 CPUtime=0.04
/proc/11128/stat : 11128 (SatELiteGTI) S 11126 11128 10551 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306541216 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11128/statm: 1339 239 197 169 0 50 0
[pid=11134] ppid=11128 vsize=22996 CPUtime=1121.82
/proc/11134/stat : 11134 (minisat_static) R 11128 11128 10551 0 -1 4194304 5467 0 0 0 112168 14 0 0 25 0 1 0 306541221 23547904 5453 1992294400 134512640 135215339 4294956240 18446744073709551615 134528881 0 0 4096 3 0 0 0 17 1 0 0
/proc/11134/statm: 5749 5453 76 171 0 5576 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 28352
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11134
/proc/meminfo: memFree=1635824/2055920 swapFree=4180152/4192956
[pid=11128] ppid=11126 vsize=5356 CPUtime=0.04
/proc/11128/stat : 11128 (SatELiteGTI) S 11126 11128 10551 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306541216 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11128/statm: 1339 239 197 169 0 50 0
[pid=11134] ppid=11128 vsize=23556 CPUtime=1181.79
/proc/11134/stat : 11134 (minisat_static) R 11128 11128 10551 0 -1 4194304 5592 0 0 0 118165 14 0 0 25 0 1 0 306541221 24121344 5578 1992294400 134512640 135215339 4294956240 18446744073709551615 134528881 0 0 4096 3 0 0 0 17 1 0 0
/proc/11134/statm: 5889 5578 76 171 0 5716 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 28912
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11134
/proc/meminfo: memFree=1635696/2055920 swapFree=4180152/4192956
[pid=11128] ppid=11126 vsize=5356 CPUtime=0.04
/proc/11128/stat : 11128 (SatELiteGTI) S 11126 11128 10551 0 -1 4194304 336 669 0 0 0 0 4 0 16 0 1 0 306541216 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11128/statm: 1339 239 197 169 0 50 0
[pid=11134] ppid=11128 vsize=23556 CPUtime=1199.99
/proc/11134/stat : 11134 (minisat_static) R 11128 11128 10551 0 -1 4194304 5592 0 0 0 119985 14 0 0 25 0 1 0 306541221 24121344 5578 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11134/statm: 5889 5578 76 171 0 5716 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 28912
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)
Real time (s): 1200.51
CPU time (s): 1200.06
CPU user time (s): 1199.9
CPU system time (s): 0.164974
CPU usage (%): 99.9624
Max. virtual memory (cumulated for all children) (KiB): 28912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.9
system time used= 0.164974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6606
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= 24
involuntary context switches= 2932
runsolver used 1.52077 second user time and 2.95755 second system time
The end
Begin job on node4 at 2009-05-20 04:04:32
IDJOB=1832609
IDBENCH=70268
IDSOLVER=671
FILE ID=node4/1832609-1242785072
PBS_JOBID= 9322354
Free space on /tmp= 66096 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/7SAT/UNKNOWN/160/unif-k7-r85-v160-c13600-S1864473452-037.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832609-1242785072/watcher-1832609-1242785072 -o /tmp/evaluation-result-1832609-1242785072/solver-1832609-1242785072 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832609-1242785072.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= db4e49ea1628a563e13565b21c6502ef
RANDOM SEED=983824923
node4.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.265
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.265
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: 1661216 kB
Buffers: 29148 kB
Cached: 293588 kB
SwapCached: 7132 kB
Active: 196732 kB
Inactive: 134528 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1661216 kB
SwapTotal: 4192956 kB
SwapFree: 4180152 kB
Dirty: 1956 kB
Writeback: 0 kB
Mapped: 13552 kB
Slab: 49404 kB
Committed_AS: 1180220 kB
PageTables: 1472 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66096 MiB
End job on node4 at 2009-05-20 04:24:35