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.07 c | 100 | 160 13600 95200 | 4533 100 47 | 0.004 % |
0.00/0.08 c | 200 | 160 13600 95200 | 4533 200 49 | 0.004 % |
0.00/0.09 c | 300 | 160 13600 95200 | 4533 300 49 | 0.004 % |
0.04/0.10 c | 410 | 160 13600 95200 | 4533 410 49 | 0.004 % |
0.04/0.11 c | 512 | 160 13600 95200 | 4533 512 49 | 0.004 % |
0.04/0.12 c | 624 | 160 13600 95200 | 4533 624 49 | 0.004 % |
0.04/0.13 c | 746 | 160 13600 95200 | 4533 746 49 | 0.004 % |
0.04/0.13 c | 846 | 160 13600 95200 | 4533 846 48 | 0.004 % |
0.04/0.14 c | 957 | 160 13600 95200 | 4533 957 49 | 0.004 % |
0.04/0.15 c | 1081 | 160 13600 95200 | 4533 1081 48 | 0.004 % |
0.04/0.16 c | 1218 | 160 13600 95200 | 4533 1218 49 | 0.004 % |
0.04/0.17 c | 1320 | 160 13600 95200 | 4533 1320 48 | 0.004 % |
0.04/0.18 c | 1430 | 160 13600 95200 | 4533 1430 49 | 0.004 % |
0.04/0.18 c | 1551 | 160 13600 95200 | 4533 1551 48 | 0.004 % |
0.04/0.19 c | 1688 | 160 13600 95200 | 4533 1688 48 | 0.004 % |
0.04/0.21 c | 1834 | 160 13600 95200 | 4533 1834 48 | 0.004 % |
0.04/0.21 c | 1935 | 160 13600 95200 | 4533 1935 48 | 0.004 % |
0.04/0.22 c | 2046 | 160 13600 95200 | 4533 2046 48 | 0.004 % |
0.04/0.23 c | 2167 | 160 13600 95200 | 4533 2167 48 | 0.004 % |
0.04/0.24 c | 2301 | 160 13600 95200 | 4533 2301 48 | 0.004 % |
0.04/0.26 c | 2449 | 160 13600 95200 | 4533 2449 48 | 0.004 % |
0.04/0.27 c | 2610 | 160 13600 95200 | 4533 2610 48 | 0.004 % |
0.04/0.28 c | 2711 | 160 13600 95200 | 4533 2711 48 | 0.004 % |
0.04/0.29 c | 2823 | 160 13600 95200 | 4533 2823 48 | 0.004 % |
0.04/0.30 c | 2946 | 160 13600 95200 | 4533 2946 48 | 0.004 % |
0.04/0.31 c | 3080 | 160 13600 95200 | 4533 3080 48 | 0.004 % |
0.04/0.32 c | 3228 | 160 13600 95200 | 4533 3228 48 | 0.004 % |
0.04/0.34 c | 3388 | 160 13600 95200 | 4533 3388 48 | 0.004 % |
0.04/0.35 c | 3565 | 160 13600 95200 | 4533 3565 48 | 0.004 % |
0.04/0.36 c | 3665 | 160 13600 95200 | 4533 3665 48 | 0.004 % |
0.04/0.37 c | 3778 | 160 13600 95200 | 4533 3778 48 | 0.004 % |
0.04/0.39 c | 3899 | 160 13600 95200 | 4533 3899 48 | 0.004 % |
0.04/0.40 c | 4032 | 160 13600 95200 | 4533 4032 48 | 0.004 % |
0.04/0.41 c | 4178 | 160 13600 95200 | 4533 4178 48 | 0.004 % |
0.04/0.43 c | 4338 | 160 13600 95200 | 4533 4338 48 | 0.004 % |
0.04/0.44 c | 4514 | 160 13600 95200 | 4533 4514 48 | 0.004 % |
0.04/0.46 c | 4707 | 160 13600 95200 | 4533 4247 47 | 0.004 % |
0.04/0.47 c | 4807 | 160 13600 95200 | 4533 4347 47 | 0.004 % |
0.04/0.48 c | 4917 | 160 13600 95200 | 4533 4457 47 | 0.004 % |
0.04/0.50 c | 5038 | 160 13600 95200 | 4533 4578 47 | 0.004 % |
0.04/0.51 c | 5172 | 160 13600 95200 | 4533 4255 47 | 0.004 % |
0.04/0.53 c | 5319 | 160 13600 95200 | 4533 4402 47 | 0.004 % |
0.04/0.54 c | 5479 | 160 13600 95200 | 4533 4562 47 | 0.004 % |
0.04/0.56 c | 5655 | 160 13600 95200 | 4533 4282 47 | 0.004 % |
0.04/0.58 c | 5849 | 160 13600 95200 | 4533 4476 47 | 0.004 % |
0.04/0.60 c | 6062 | 160 13600 95200 | 4533 4229 47 | 0.004 % |
0.04/0.61 c | 6163 | 160 13600 95200 | 4533 4330 47 | 0.004 % |
0.04/0.62 c | 6274 | 160 13600 95200 | 4533 4441 47 | 0.004 % |
0.04/0.64 c | 6396 | 160 13600 95200 | 4533 4563 47 | 0.004 % |
0.04/0.65 c | 6529 | 160 13600 95200 | 4533 4240 47 | 0.004 % |
0.04/0.67 c | 6678 | 160 13600 95200 | 4533 4389 47 | 0.004 % |
0.04/0.68 c | 6838 | 160 13600 95200 | 4533 4549 47 | 0.004 % |
0.04/0.70 c | 7015 | 160 13600 95200 | 4533 4272 47 | 0.004 % |
0.04/0.72 c | 7210 | 160 13600 95200 | 4533 4467 47 | 0.004 % |
0.04/0.74 c | 7422 | 160 13600 95200 | 4533 4218 47 | 0.004 % |
0.04/0.76 c | 7655 | 160 13600 95200 | 4533 4451 47 | 0.004 % |
0.04/0.77 c | 7756 | 160 13600 95200 | 4533 4552 47 | 0.004 % |
0.04/0.79 c | 7867 | 160 13600 95200 | 4533 4208 47 | 0.004 % |
0.04/0.80 c | 7989 | 160 13600 95200 | 4533 4330 47 | 0.004 % |
0.04/0.81 c | 8123 | 160 13600 95200 | 4533 4464 47 | 0.004 % |
0.04/0.83 c | 8269 | 160 13600 95200 | 4533 4151 47 | 0.004 % |
0.04/0.84 c | 8432 | 160 13600 95200 | 4533 4314 47 | 0.004 % |
0.04/0.86 c | 8608 | 160 13600 95200 | 4533 4490 47 | 0.004 % |
0.04/0.88 c | 8801 | 160 13600 95200 | 4533 4223 47 | 0.004 % |
0.04/0.90 c | 9015 | 160 13600 95200 | 4533 4437 47 | 0.004 % |
0.04/0.92 c | 9250 | 160 13600 95200 | 4533 4212 47 | 0.004 % |
0.04/0.95 c | 9506 | 160 13600 95200 | 4533 4468 47 | 0.004 % |
0.04/0.96 c | 9607 | 160 13600 95200 | 4533 4569 47 | 0.004 % |
0.04/0.97 c | 9717 | 160 13600 95200 | 4533 4223 47 | 0.004 % |
0.04/0.98 c | 9839 | 160 13600 95200 | 4533 4345 47 | 0.004 % |
0.04/0.99 c | 9973 | 160 13600 95200 | 4533 4479 47 | 0.004 % |
0.98/1.01 c | 10120 | 160 13600 95200 | 2147483647 4626 47 | 0.004 % |
0.98/1.03 c | 10280 | 160 13600 95200 | 2147483647 4786 47 | 0.004 % |
0.98/1.05 c | 10456 | 160 13600 95200 | 2147483647 4962 47 | 0.004 % |
0.98/1.07 c | 10649 | 160 13600 95200 | 2147483647 5155 47 | 0.004 % |
0.98/1.09 c | 10861 | 160 13600 95200 | 2147483647 5367 47 | 0.004 % |
1.08/1.12 c | 11095 | 160 13600 95200 | 2147483647 5601 47 | 0.004 % |
1.08/1.14 c | 11352 | 160 13600 95200 | 2147483647 5858 47 | 0.004 % |
1.08/1.17 c | 11635 | 160 13600 95200 | 2147483647 6141 47 | 0.004 % |
1.08/1.18 c | 11736 | 160 13600 95200 | 2147483647 6242 47 | 0.004 % |
1.17/1.20 c | 11846 | 160 13600 95200 | 2147483647 6352 47 | 0.004 % |
1.17/1.21 c | 11968 | 160 13600 95200 | 2147483647 6474 47 | 0.004 % |
1.17/1.23 c | 12101 | 160 13600 95200 | 2147483647 6607 47 | 0.004 % |
1.17/1.25 c | 12247 | 160 13600 95200 | 2147483647 6753 48 | 0.004 % |
1.17/1.27 c | 12407 | 160 13600 95200 | 2147483647 6913 48 | 0.004 % |
1.17/1.29 c | 12584 | 160 13600 95200 | 2147483647 7090 48 | 0.004 % |
1.27/1.31 c | 12777 | 160 13600 95200 | 2147483647 7283 48 | 0.004 % |
1.27/1.33 c | 12991 | 160 13600 95200 | 2147483647 7497 48 | 0.004 % |
1.27/1.36 c | 13224 | 160 13600 95200 | 2147483647 7730 48 | 0.004 % |
1.27/1.39 c | 13483 | 160 13600 95200 | 2147483647 7989 48 | 0.004 % |
1.37/1.43 c | 13765 | 160 13600 95200 | 2147483647 8271 48 | 0.004 % |
1.37/1.47 c | 14074 | 160 13600 95200 | 2147483647 8580 48 | 0.004 % |
1.37/1.48 c | 14175 | 160 13600 95200 | 2147483647 8681 48 | 0.004 % |
1.47/1.50 c | 14285 | 160 13600 95200 | 2147483647 8791 48 | 0.004 % |
1.47/1.52 c | 14406 | 160 13600 95200 | 2147483647 8912 48 | 0.004 % |
1.47/1.54 c | 14539 | 160 13600 95200 | 2147483647 9045 48 | 0.004 % |
1.47/1.56 c | 14685 | 160 13600 95200 | 2147483647 9191 48 | 0.004 % |
1.47/1.58 c | 14847 | 160 13600 95200 | 2147483647 9353 48 | 0.004 % |
1.57/1.61 c | 15024 | 160 13600 95200 | 2147483647 9530 48 | 0.004 % |
1.57/1.64 c | 15217 | 160 13600 95200 | 2147483647 9723 48 | 0.004 % |
1.57/1.67 c | 15432 | 160 13600 95200 | 2147483647 9938 48 | 0.004 % |
1.67/1.70 c | 15665 | 160 13600 95200 | 2147483647 10171 48 | 0.004 % |
1.67/1.74 c | 15921 | 160 13600 95200 | 2147483647 10427 48 | 0.004 % |
1.67/1.78 c | 16203 | 160 13600 95200 | 2147483647 10709 48 | 0.004 % |
1.77/1.82 c | 16514 | 160 13600 95200 | 2147483647 11020 48 | 0.004 % |
1.77/1.88 c | 16854 | 160 13600 95200 | 2147483647 11360 48 | 0.004 % |
1.77/1.90 c | 16954 | 160 13600 95200 | 2147483647 11460 48 | 0.004 % |
1.87/1.92 c | 17065 | 160 13600 95200 | 2147483647 11571 48 | 0.004 % |
1.87/1.94 c | 17188 | 160 13600 95200 | 2147483647 11694 48 | 0.004 % |
1.87/1.96 c | 17323 | 160 13600 95200 | 2147483647 11829 48 | 0.004 % |
1.87/1.99 c | 17470 | 160 13600 95200 | 2147483647 11976 48 | 0.004 % |
1.97/2.02 c | 17630 | 160 13600 95200 | 2147483647 12136 48 | 0.004 % |
1.97/2.05 c | 17806 | 160 13600 95200 | 2147483647 12312 48 | 0.004 % |
2.08/2.16 c | 17999 | 160 13600 95200 | 2147483647 12505 48 | 0.004 % |
2.08/2.16 c | 18214 | 160 13600 95200 | 2147483647 12720 48 | 0.004 % |
2.08/2.16 c | 18447 | 160 13600 95200 | 2147483647 12953 48 | 0.004 % |
2.08/2.20 c | 18705 | 160 13600 95200 | 2147483647 13211 48 | 0.004 % |
2.18/2.25 c | 18986 | 160 13600 95200 | 2147483647 13492 48 | 0.004 % |
2.27/2.30 c | 19295 | 160 13600 95200 | 2147483647 13801 48 | 0.004 % |
2.27/2.36 c | 19636 | 160 13600 95200 | 2147483647 14142 48 | 0.004 % |
2.37/2.43 c | 20010 | 160 13600 95200 | 2147483647 14516 48 | 0.004 % |
2.37/2.46 c | 20111 | 160 13600 95200 | 2147483647 14617 48 | 0.004 % |
2.37/2.48 c | 20224 | 160 13600 95200 | 2147483647 14730 48 | 0.004 % |
2.47/2.50 c | 20347 | 160 13600 95200 | 2147483647 14853 48 | 0.004 % |
2.47/2.53 c | 20481 | 160 13600 95200 | 2147483647 14987 48 | 0.004 % |
2.47/2.56 c | 20627 | 160 13600 95200 | 2147483647 15133 48 | 0.004 % |
2.47/2.59 c | 20787 | 160 13600 95200 | 2147483647 15293 48 | 0.004 % |
2.57/2.63 c | 20963 | 160 13600 95200 | 2147483647 15469 48 | 0.004 % |
2.57/2.67 c | 21158 | 160 13600 95200 | 2147483647 15664 48 | 0.004 % |
2.67/2.71 c | 21372 | 160 13600 95200 | 2147483647 15878 48 | 0.004 % |
2.67/2.76 c | 21607 | 160 13600 95200 | 2147483647 16113 48 | 0.004 % |
2.77/2.82 c | 21863 | 160 13600 95200 | 2147483647 16369 48 | 0.004 % |
2.77/2.87 c | 22145 | 160 13600 95200 | 2147483647 16651 48 | 0.004 % |
2.87/2.94 c | 22456 | 160 13600 95200 | 2147483647 16962 48 | 0.004 % |
2.97/3.01 c | 22796 | 160 13600 95200 | 2147483647 17302 48 | 0.004 % |
2.97/3.09 c | 23169 | 160 13600 95200 | 2147483647 17675 48 | 0.004 % |
3.07/3.18 c | 23580 | 160 13600 95200 | 2147483647 18086 48 | 0.004 % |
3.17/3.21 c | 23680 | 160 13600 95200 | 2147483647 18186 48 | 0.004 % |
3.17/3.23 c | 23790 | 160 13600 95200 | 2147483647 18296 48 | 0.004 % |
3.17/3.26 c | 23912 | 160 13600 95200 | 2147483647 18418 48 | 0.004 % |
3.17/3.30 c | 24046 | 160 13600 95200 | 2147483647 18552 48 | 0.004 % |
3.27/3.33 c | 24192 | 160 13600 95200 | 2147483647 18698 48 | 0.004 % |
3.27/3.37 c | 24354 | 160 13600 95200 | 2147483647 18860 48 | 0.004 % |
3.37/3.41 c | 24531 | 160 13600 95200 | 2147483647 19037 48 | 0.004 % |
3.37/3.46 c | 24724 | 160 13600 95200 | 2147483647 19230 48 | 0.004 % |
3.47/3.51 c | 24938 | 160 13600 95200 | 2147483647 19444 48 | 0.004 % |
3.47/3.56 c | 25173 | 160 13600 95200 | 2147483647 19679 48 | 0.004 % |
3.57/3.62 c | 25433 | 160 13600 95200 | 2147483647 19939 48 | 0.004 % |
3.57/3.69 c | 25714 | 160 13600 95200 | 2147483647 20220 48 | 0.004 % |
3.67/3.76 c | 26023 | 160 13600 95200 | 2147483647 20529 48 | 0.004 % |
3.77/3.85 c | 26362 | 160 13600 95200 | 2147483647 20868 48 | 0.004 % |
3.87/3.94 c | 26736 | 160 13600 95200 | 2147483647 21242 48 | 0.004 % |
3.97/4.03 c | 27149 | 160 13600 95200 | 2147483647 21655 48 | 0.004 % |
4.07/4.14 c | 27598 | 160 13600 95200 | 2147483647 22104 48 | 0.004 % |
4.07/4.17 c | 27699 | 160 13600 95200 | 2147483647 22205 48 | 0.004 % |
4.17/4.21 c | 27809 | 160 13600 95200 | 2147483647 22315 48 | 0.004 % |
4.17/4.25 c | 27931 | 160 13600 95200 | 2147483647 22437 48 | 0.004 % |
4.17/4.29 c | 28064 | 160 13600 95200 | 2147483647 22570 48 | 0.004 % |
4.28/4.33 c | 28212 | 160 13600 95200 | 2147483647 22718 48 | 0.004 % |
4.28/4.38 c | 28372 | 160 13600 95200 | 2147483647 22878 48 | 0.004 % |
4.38/4.42 c | 28550 | 160 13600 95200 | 2147483647 23056 48 | 0.004 % |
4.38/4.49 c | 28743 | 160 13600 95200 | 2147483647 23249 48 | 0.004 % |
4.47/4.55 c | 28956 | 160 13600 95200 | 2147483647 23462 48 | 0.004 % |
4.57/4.61 c | 29189 | 160 13600 95200 | 2147483647 23695 48 | 0.004 % |
4.57/4.68 c | 29445 | 160 13600 95200 | 2147483647 23951 48 | 0.004 % |
4.67/4.77 c | 29726 | 160 13600 95200 | 2147483647 24232 48 | 0.004 % |
4.77/4.86 c | 30035 | 160 13600 95200 | 2147483647 24541 48 | 0.004 % |
4.87/4.97 c | 30374 | 160 13600 95200 | 2147483647 24880 48 | 0.004 % |
4.97/5.07 c | 30747 | 160 13600 95200 | 2147483647 25253 48 | 0.004 % |
5.07/5.18 c | 31156 | 160 13600 95200 | 2147483647 25662 48 | 0.004 % |
5.27/5.31 c | 31605 | 160 13600 95200 | 2147483647 26111 48 | 0.004 % |
5.38/5.46 c | 32098 | 160 13600 95200 | 2147483647 26604 48 | 0.004 % |
5.38/5.50 c | 32199 | 160 13600 95200 | 2147483647 26705 48 | 0.004 % |
5.48/5.53 c | 32309 | 160 13600 95200 | 2147483647 26815 48 | 0.004 % |
5.48/5.57 c | 32430 | 160 13600 95200 | 2147483647 26936 48 | 0.004 % |
5.57/5.61 c | 32564 | 160 13600 95200 | 2147483647 27070 48 | 0.004 % |
5.57/5.66 c | 32710 | 160 13600 95200 | 2147483647 27216 48 | 0.004 % |
5.67/5.73 c | 32870 | 160 13600 95200 | 2147483647 27376 48 | 0.004 % |
5.67/5.79 c | 33046 | 160 13600 95200 | 2147483647 27552 48 | 0.004 % |
5.77/5.87 c | 33240 | 160 13600 95200 | 2147483647 27746 48 | 0.004 % |
5.87/5.94 c | 33452 | 160 13600 95200 | 2147483647 27958 48 | 0.004 % |
5.97/6.03 c | 33685 | 160 13600 95200 | 2147483647 28191 48 | 0.004 % |
6.07/6.12 c | 33942 | 160 13600 95200 | 2147483647 28448 48 | 0.004 % |
6.17/6.22 c | 34224 | 160 13600 95200 | 2147483647 28730 48 | 0.004 % |
6.27/6.33 c | 34533 | 160 13600 95200 | 2147483647 29039 48 | 0.004 % |
6.37/6.46 c | 34872 | 160 13600 95200 | 2147483647 29378 48 | 0.004 % |
6.48/6.60 c | 35247 | 160 13600 95200 | 2147483647 29753 48 | 0.004 % |
6.67/6.74 c | 35657 | 160 13600 95200 | 2147483647 30163 48 | 0.004 % |
6.77/6.87 c | 36108 | 160 13600 95200 | 2147483647 30614 48 | 0.004 % |
6.97/7.03 c | 36601 | 160 13600 95200 | 2147483647 31107 48 | 0.004 % |
7.17/7.22 c | 37144 | 160 13600 95200 | 2147483647 31650 48 | 0.004 % |
7.17/7.26 c | 37246 | 160 13600 95200 | 2147483647 31752 48 | 0.004 % |
7.27/7.31 c | 37357 | 160 13600 95200 | 2147483647 31863 48 | 0.004 % |
7.27/7.35 c | 37480 | 160 13600 95200 | 2147483647 31986 48 | 0.004 % |
7.37/7.40 c | 37614 | 160 13600 95200 | 2147483647 32120 48 | 0.004 % |
7.37/7.45 c | 37760 | 160 13600 95200 | 2147483647 32266 48 | 0.004 % |
7.47/7.51 c | 37920 | 160 13600 95200 | 2147483647 32426 48 | 0.004 % |
7.47/7.58 c | 38096 | 160 13600 95200 | 2147483647 32602 48 | 0.004 % |
7.57/7.67 c | 38291 | 160 13600 95200 | 2147483647 32797 48 | 0.004 % |
7.67/7.75 c | 38505 | 160 13600 95200 | 2147483647 33011 48 | 0.004 % |
7.77/7.86 c | 38740 | 160 13600 95200 | 2147483647 33246 48 | 0.004 % |
7.87/7.96 c | 38997 | 160 13600 95200 | 2147483647 33503 48 | 0.004 % |
7.97/8.07 c | 39278 | 160 13600 95200 | 2147483647 33784 48 | 0.004 % |
8.07/8.19 c | 39589 | 160 13600 95200 | 2147483647 34095 48 | 0.004 % |
8.27/8.35 c | 39928 | 160 13600 95200 | 2147483647 34434 48 | 0.004 % |
8.47/8.51 c | 40301 | 160 13600 95200 | 2147483647 34807 48 | 0.004 % |
8.57/8.67 c | 40713 | 160 13600 95200 | 2147483647 35219 48 | 0.004 % |
8.77/8.84 c | 41162 | 160 13600 95200 | 2147483647 35668 48 | 0.004 % |
8.97/9.03 c | 41655 | 160 13600 95200 | 2147483647 36161 48 | 0.004 % |
9.16/9.25 c | 42199 | 160 13600 95200 | 2147483647 36705 48 | 0.004 % |
9.46/9.52 c | 42796 | 160 13600 95200 | 2147483647 37302 48 | 0.004 % |
9.46/9.57 c | 42896 | 160 13600 95200 | 2147483647 37402 48 | 0.004 % |
9.56/9.62 c | 43007 | 160 13600 95200 | 2147483647 37513 48 | 0.004 % |
9.56/9.69 c | 43128 | 160 13600 95200 | 2147483647 37634 48 | 0.004 % |
9.67/9.75 c | 43261 | 160 13600 95200 | 2147483647 37767 48 | 0.004 % |
9.78/9.82 c | 43408 | 160 13600 95200 | 2147483647 37914 48 | 0.004 % |
9.78/9.89 c | 43569 | 160 13600 95200 | 2147483647 38075 48 | 0.004 % |
9.88/9.98 c | 43746 | 160 13600 95200 | 2147483647 38252 48 | 0.004 % |
9.97/10.07 c | 43940 | 160 13600 95200 | 2147483647 38446 48 | 0.004 % |
10.07/10.17 c | 44155 | 160 13600 95200 | 2147483647 38661 48 | 0.004 % |
10.17/10.28 c | 44388 | 160 13600 95200 | 2147483647 38894 48 | 0.004 % |
10.27/10.39 c | 44644 | 160 13600 95200 | 2147483647 39150 48 | 0.004 % |
10.47/10.52 c | 44926 | 160 13600 95200 | 2147483647 39432 48 | 0.004 % |
10.57/10.65 c | 45236 | 160 13600 95200 | 2147483647 39742 48 | 0.004 % |
10.77/10.81 c | 45575 | 160 13600 95200 | 2147483647 40081 48 | 0.004 % |
10.98/11.01 c | 45947 | 160 13600 95200 | 2147483647 40453 48 | 0.004 % |
11.17/11.21 c | 46357 | 160 13600 95200 | 2147483647 40863 48 | 0.004 % |
11.37/11.43 c | 46807 | 160 13600 95200 | 2147483647 41313 48 | 0.004 % |
11.57/11.64 c | 47300 | 160 13600 95200 | 2147483647 41806 48 | 0.004 % |
11.77/11.88 c | 47843 | 160 13600 95200 | 2147483647 42349 48 | 0.004 % |
12.07/12.14 c | 48439 | 160 13600 95200 | 2147483647 42945 48 | 0.004 % |
12.37/12.48 c | 49098 | 160 13600 95200 | 2147483647 43604 48 | 0.004 % |
12.47/12.55 c | 49198 | 160 13600 95200 | 2147483647 43704 48 | 0.004 % |
12.57/12.61 c | 49308 | 160 13600 95200 | 2147483647 43814 48 | 0.004 % |
12.57/12.67 c | 49429 | 160 13600 95200 | 2147483647 43935 48 | 0.004 % |
12.67/12.75 c | 49562 | 160 13600 95200 | 2147483647 44068 48 | 0.004 % |
12.77/12.86 c | 49708 | 160 13600 95200 | 2147483647 44214 48 | 0.004 % |
12.87/12.96 c | 49868 | 160 13600 95200 | 2147483647 44374 48 | 0.004 % |
12.97/13.06 c | 50045 | 160 13600 95200 | 2147483647 44551 48 | 0.004 % |
13.07/13.17 c | 50238 | 160 13600 95200 | 2147483647 44744 48 | 0.004 % |
13.17/13.29 c | 50451 | 160 13600 95200 | 2147483647 44957 48 | 0.004 % |
13.37/13.43 c | 50684 | 160 13600 95200 | 2147483647 45190 48 | 0.004 % |
13.47/13.58 c | 50941 | 160 13600 95200 | 2147483647 45447 48 | 0.004 % |
13.67/13.74 c | 51222 | 160 13600 95200 | 2147483647 45728 48 | 0.004 % |
13.87/13.92 c | 51532 | 160 13600 95200 | 2147483647 46038 48 | 0.004 % |
14.07/14.13 c | 51875 | 160 13600 95200 | 2147483647 46381 48 | 0.004 % |
14.27/14.34 c | 52248 | 160 13600 95200 | 2147483647 46754 48 | 0.004 % |
14.47/14.56 c | 52658 | 160 13600 95200 | 2147483647 47164 48 | 0.004 % |
14.67/14.77 c | 53107 | 160 13600 95200 | 2147483647 47613 48 | 0.004 % |
14.96/15.01 c | 53602 | 160 13600 95200 | 2147483647 48108 48 | 0.004 % |
15.27/15.30 c | 54144 | 160 13600 95200 | 2147483647 48650 48 | 0.004 % |
15.56/15.64 c | 54742 | 160 13600 95200 | 2147483647 49248 48 | 0.004 % |
15.86/15.97 c | 55398 | 160 13600 95200 | 2147483647 49904 48 | 0.004 % |
16.27/16.34 c | 56118 | 160 13600 95200 | 2147483647 50624 48 | 0.004 % |
16.38/16.40 c | 56220 | 160 13600 95200 | 2147483647 50726 48 | 0.004 % |
16.38/16.47 c | 56331 | 160 13600 95200 | 2147483647 50837 48 | 0.004 % |
16.47/16.54 c | 56452 | 160 13600 95200 | 2147483647 50958 48 | 0.004 % |
16.57/16.62 c | 56585 | 160 13600 95200 | 2147483647 51091 48 | 0.004 % |
16.67/16.75 c | 56732 | 160 13600 95200 | 2147483647 51238 48 | 0.004 % |
16.77/16.86 c | 56893 | 160 13600 95200 | 2147483647 51399 48 | 0.004 % |
16.87/16.96 c | 57070 | 160 13600 95200 | 2147483647 51576 48 | 0.004 % |
16.97/17.09 c | 57264 | 160 13600 95200 | 2147483647 51770 48 | 0.004 % |
17.17/17.23 c | 57476 | 160 13600 95200 | 2147483647 51982 48 | 0.004 % |
17.27/17.38 c | 57709 | 160 13600 95200 | 2147483647 52215 48 | 0.004 % |
17.48/17.54 c | 57965 | 160 13600 95200 | 2147483647 52471 48 | 0.004 % |
17.67/17.73 c | 58246 | 160 13600 95200 | 2147483647 52752 48 | 0.004 % |
17.87/17.92 c | 58556 | 160 13600 95200 | 2147483647 53062 48 | 0.004 % |
18.07/18.15 c | 58895 | 160 13600 95200 | 2147483647 53401 48 | 0.004 % |
18.27/18.37 c | 59267 | 160 13600 95200 | 2147483647 53773 48 | 0.004 % |
18.57/18.61 c | 59677 | 160 13600 95200 | 2147483647 54183 48 | 0.004 % |
18.77/18.89 c | 60127 | 160 13600 95200 | 2147483647 54633 48 | 0.004 % |
19.07/19.19 c | 60621 | 160 13600 95200 | 2147483647 55127 48 | 0.004 % |
19.47/19.51 c | 61163 | 160 13600 95200 | 2147483647 55669 48 | 0.004 % |
19.87/19.90 c | 61759 | 160 13600 95200 | 2147483647 56265 48 | 0.004 % |
20.17/20.27 c | 62414 | 160 13600 95200 | 2147483647 56920 48 | 0.004 % |
20.67/20.73 c | 63138 | 160 13600 95200 | 2147483647 57644 48 | 0.004 % |
21.17/21.22 c | 63931 | 160 13600 95200 | 2147483647 58437 48 | 0.004 % |
21.17/21.28 c | 64032 | 160 13600 95200 | 2147483647 58538 48 | 0.004 % |
21.27/21.39 c | 64142 | 160 13600 95200 | 2147483647 58648 48 | 0.004 % |
21.37/21.49 c | 64264 | 160 13600 95200 | 2147483647 58770 48 | 0.004 % |
21.57/21.61 c | 64397 | 160 13600 95200 | 2147483647 58903 48 | 0.004 % |
21.67/21.71 c | 64544 | 160 13600 95200 | 2147483647 59050 48 | 0.004 % |
21.77/21.84 c | 64705 | 160 13600 95200 | 2147483647 59211 48 | 0.004 % |
21.87/21.98 c | 64881 | 160 13600 95200 | 2147483647 59387 48 | 0.004 % |
22.07/22.11 c | 65075 | 160 13600 95200 | 2147483647 59581 48 | 0.004 % |
22.17/22.29 c | 65290 | 160 13600 95200 | 2147483647 59796 48 | 0.004 % |
22.36/22.48 c | 65523 | 160 13600 95200 | 2147483647 60029 48 | 0.004 % |
22.56/22.68 c | 65779 | 160 13600 95200 | 2147483647 60285 48 | 0.004 % |
22.76/22.88 c | 66060 | 160 13600 95200 | 2147483647 60566 48 | 0.004 % |
23.07/23.14 c | 66369 | 160 13600 95200 | 2147483647 60875 48 | 0.004 % |
23.26/23.39 c | 66710 | 160 13600 95200 | 2147483647 61216 48 | 0.004 % |
23.56/23.65 c | 67085 | 160 13600 95200 | 2147483647 61591 48 | 0.004 % |
23.86/23.93 c | 67495 | 160 13600 95200 | 2147483647 62001 48 | 0.004 % |
24.16/24.27 c | 67945 | 160 13600 95200 | 2147483647 62451 48 | 0.004 % |
24.46/24.58 c | 68440 | 160 13600 95200 | 2147483647 62946 48 | 0.004 % |
24.86/24.97 c | 68983 | 160 13600 95200 | 2147483647 63489 48 | 0.004 % |
25.27/25.39 c | 69579 | 160 13600 95200 | 2147483647 64085 48 | 0.004 % |
25.87/25.93 c | 70235 | 160 13600 95200 | 64506 57776 48 | 0.004 % |
26.27/26.38 c | 70955 | 160 13600 95200 | 64506 58496 48 | 0.004 % |
26.87/26.93 c | 71747 | 160 13600 95200 | 64506 59288 48 | 0.004 % |
27.47/27.57 c | 72619 | 160 13600 95200 | 64506 60160 48 | 0.004 % |
27.57/27.64 c | 72721 | 160 13600 95200 | 64506 60262 48 | 0.004 % |
27.67/27.72 c | 72832 | 160 13600 95200 | 64506 60373 48 | 0.004 % |
27.77/27.80 c | 72953 | 160 13600 95200 | 64506 60494 48 | 0.004 % |
27.77/27.89 c | 73086 | 160 13600 95200 | 64506 60627 48 | 0.004 % |
27.97/28.01 c | 73233 | 160 13600 95200 | 64506 60774 48 | 0.004 % |
28.07/28.13 c | 73394 | 160 13600 95200 | 64506 60935 48 | 0.004 % |
28.17/28.26 c | 73570 | 160 13600 95200 | 64506 61111 48 | 0.004 % |
28.37/28.42 c | 73765 | 160 13600 95200 | 64506 61306 48 | 0.004 % |
28.47/28.58 c | 73977 | 160 13600 95200 | 64506 61518 48 | 0.004 % |
28.67/28.75 c | 74211 | 160 13600 95200 | 64506 61752 48 | 0.004 % |
28.87/28.95 c | 74469 | 160 13600 95200 | 64506 62010 48 | 0.004 % |
29.07/29.14 c | 74750 | 160 13600 95200 | 64506 62291 48 | 0.004 % |
29.27/29.33 c | 75061 | 160 13600 95200 | 64506 62602 48 | 0.004 % |
29.57/29.61 c | 75400 | 160 13600 95200 | 64506 62941 48 | 0.004 % |
29.87/29.90 c | 75772 | 160 13600 95200 | 64506 63313 48 | 0.004 % |
30.07/30.19 c | 76181 | 160 13600 95200 | 64506 63722 48 | 0.004 % |
30.47/30.52 c | 76630 | 160 13600 95200 | 64506 64171 48 | 0.004 % |
30.86/30.94 c | 77123 | 160 13600 95200 | 64506 56076 48 | 0.004 % |
31.16/31.26 c | 77666 | 160 13600 95200 | 64506 56619 48 | 0.004 % |
31.56/31.66 c | 78262 | 160 13600 95200 | 64506 57215 48 | 0.004 % |
31.96/32.07 c | 78918 | 160 13600 95200 | 64506 57871 48 | 0.004 % |
32.46/32.51 c | 79638 | 160 13600 95200 | 64506 58591 48 | 0.004 % |
32.97/33.03 c | 80430 | 160 13600 95200 | 58953 51964 48 | 0.004 % |
33.36/33.49 c | 81303 | 160 13600 95200 | 58953 52837 48 | 0.004 % |
33.97/34.01 c | 82261 | 160 13600 95200 | 58953 53795 48 | 0.004 % |
33.97/34.07 c | 82362 | 160 13600 95200 | 58953 53896 48 | 0.004 % |
34.07/34.13 c | 82474 | 160 13600 95200 | 58953 54008 48 | 0.004 % |
34.16/34.21 c | 82595 | 160 13600 95200 | 58953 54129 48 | 0.004 % |
34.26/34.34 c | 82728 | 160 13600 95200 | 58953 54262 48 | 0.004 % |
34.36/34.45 c | 82874 | 160 13600 95200 | 58953 54408 48 | 0.004 % |
34.46/34.57 c | 83034 | 160 13600 95200 | 58953 54568 48 | 0.004 % |
34.66/34.71 c | 83211 | 160 13600 95200 | 58953 54745 48 | 0.004 % |
34.76/34.87 c | 83404 | 160 13600 95200 | 58953 54938 48 | 0.004 % |
34.96/35.01 c | 83616 | 160 13600 95200 | 58953 55150 48 | 0.004 % |
35.07/35.18 c | 83850 | 160 13600 95200 | 58953 55384 48 | 0.004 % |
35.26/35.36 c | 84108 | 160 13600 95200 | 58953 55642 48 | 0.004 % |
35.46/35.53 c | 84389 | 160 13600 95200 | 58953 55923 48 | 0.004 % |
35.66/35.72 c | 84699 | 160 13600 95200 | 58953 56233 48 | 0.004 % |
35.86/35.95 c | 85038 | 160 13600 95200 | 58953 56572 48 | 0.004 % |
36.17/36.23 c | 85415 | 160 13600 95200 | 58953 56949 48 | 0.004 % |
36.46/36.52 c | 85825 | 160 13600 95200 | 58953 57359 48 | 0.004 % |
36.76/36.81 c | 86274 | 160 13600 95200 | 58953 57808 48 | 0.004 % |
37.06/37.14 c | 86767 | 160 13600 95200 | 58953 58301 48 | 0.004 % |
37.37/37.47 c | 87310 | 160 13600 95200 | 58953 58844 48 | 0.004 % |
37.86/37.90 c | 87906 | 160 13600 95200 | 58953 53032 48 | 0.004 % |
38.16/38.28 c | 88561 | 160 13600 95200 | 58953 53687 48 | 0.004 % |
38.66/38.76 c | 89284 | 160 13600 95200 | 58953 54410 48 | 0.004 % |
39.16/39.27 c | 90076 | 160 13600 95200 | 55126 49403 48 | 0.004 % |
39.76/39.84 c | 90949 | 160 13600 95200 | 55126 50276 48 | 0.004 % |
40.26/40.39 c | 91907 | 160 13600 95200 | 55126 51234 48 | 0.004 % |
40.86/40.97 c | 92961 | 160 13600 95200 | 55126 52288 48 | 0.004 % |
40.96/41.03 c | 93061 | 160 13600 95200 | 55126 52388 48 | 0.004 % |
41.06/41.12 c | 93173 | 160 13600 95200 | 55126 52500 48 | 0.004 % |
41.06/41.19 c | 93295 | 160 13600 95200 | 55126 52622 48 | 0.004 % |
41.16/41.27 c | 93428 | 160 13600 95200 | 55126 52755 48 | 0.004 % |
41.26/41.36 c | 93574 | 160 13600 95200 | 55126 52901 48 | 0.004 % |
41.36/41.48 c | 93735 | 160 13600 95200 | 55126 53062 48 | 0.004 % |
41.46/41.60 c | 93912 | 160 13600 95200 | 55126 53239 48 | 0.004 % |
41.66/41.73 c | 94106 | 160 13600 95200 | 55126 53433 48 | 0.004 % |
41.76/41.86 c | 94322 | 160 13600 95200 | 55126 53649 48 | 0.004 % |
41.96/42.02 c | 94557 | 160 13600 95200 | 55126 53884 48 | 0.004 % |
42.16/42.23 c | 94815 | 160 13600 95200 | 55126 54142 48 | 0.004 % |
42.36/42.40 c | 95096 | 160 13600 95200 | 55126 54423 48 | 0.004 % |
42.56/42.61 c | 95406 | 160 13600 95200 | 55126 54733 48 | 0.004 % |
42.76/42.82 c | 95746 | 160 13600 95200 | 55126 55073 48 | 0.004 % |
42.96/43.08 c | 96119 | 160 13600 95200 | 55126 49926 48 | 0.004 % |
43.26/43.33 c | 96529 | 160 13600 95200 | 55126 50336 48 | 0.004 % |
43.56/43.63 c | 96978 | 160 13600 95200 | 55126 50785 48 | 0.004 % |
43.86/43.94 c | 97473 | 160 13600 95200 | 55126 51280 48 | 0.004 % |
44.16/44.29 c | 98015 | 160 13600 95200 | 55126 51822 48 | 0.004 % |
44.56/44.70 c | 98613 | 160 13600 95200 | 55126 52420 48 | 0.004 % |
45.06/45.10 c | 99269 | 160 13600 95200 | 55126 53076 48 | 0.004 % |
45.46/45.58 c | 99990 | 160 13600 95200 | 55126 53797 48 | 0.004 % |
45.96/46.03 c | 100783 | 160 13600 95200 | 2147483647 54590 48 | 0.004 % |
46.46/46.50 c | 101655 | 160 13600 95200 | 2147483647 55462 48 | 0.004 % |
46.96/47.06 c | 102614 | 160 13600 95200 | 2147483647 56421 48 | 0.004 % |
47.66/47.72 c | 103668 | 160 13600 95200 | 2147483647 57475 48 | 0.004 % |
48.26/48.38 c | 104827 | 160 13600 95200 | 2147483647 58634 48 | 0.004 % |
48.36/48.44 c | 104928 | 160 13600 95200 | 2147483647 58735 48 | 0.004 % |
48.46/48.52 c | 105038 | 160 13600 95200 | 2147483647 58845 48 | 0.004 % |
48.56/48.61 c | 105162 | 160 13600 95200 | 2147483647 58969 48 | 0.004 % |
48.66/48.71 c | 105295 | 160 13600 95200 | 2147483647 59102 48 | 0.004 % |
48.76/48.81 c | 105443 | 160 13600 95200 | 2147483647 59250 48 | 0.004 % |
48.86/48.93 c | 105603 | 160 13600 95200 | 2147483647 59410 48 | 0.004 % |
48.96/49.05 c | 105779 | 160 13600 95200 | 2147483647 59586 48 | 0.004 % |
49.16/49.20 c | 105972 | 160 13600 95200 | 2147483647 59779 48 | 0.004 % |
49.26/49.34 c | 106184 | 160 13600 95200 | 2147483647 59991 48 | 0.004 % |
49.36/49.49 c | 106418 | 160 13600 95200 | 2147483647 60225 48 | 0.004 % |
49.56/49.67 c | 106675 | 160 13600 95200 | 2147483647 60482 48 | 0.004 % |
49.76/49.84 c | 106959 | 160 13600 95200 | 2147483647 60766 48 | 0.004 % |
49.96/50.04 c | 107268 | 160 13600 95200 | 2147483647 61075 48 | 0.004 % |
50.16/50.25 c | 107609 | 160 13600 95200 | 2147483647 61416 48 | 0.004 % |
50.36/50.49 c | 107982 | 160 13600 95200 | 2147483647 61789 48 | 0.004 % |
50.66/50.79 c | 108392 | 160 13600 95200 | 2147483647 62199 48 | 0.004 % |
50.96/51.08 c | 108842 | 160 13600 95200 | 2147483647 62649 48 | 0.004 % |
51.36/51.43 c | 109337 | 160 13600 95200 | 2147483647 63144 48 | 0.004 % |
51.66/51.78 c | 109879 | 160 13600 95200 | 2147483647 63686 48 | 0.004 % |
52.16/52.20 c | 110475 | 160 13600 95200 | 63807 57234 48 | 0.004 % |
52.56/52.66 c | 111130 | 160 13600 95200 | 63807 57889 48 | 0.004 % |
53.06/53.18 c | 111853 | 160 13600 95200 | 63807 58612 48 | 0.004 % |
53.66/53.77 c | 112645 | 160 13600 95200 | 63807 59404 48 | 0.004 % |
54.26/54.35 c | 113516 | 160 13600 95200 | 63807 60275 48 | 0.004 % |
55.05/55.13 c | 114474 | 160 13600 95200 | 63807 61233 48 | 0.004 % |
55.75/55.89 c | 115528 | 160 13600 95200 | 63807 62287 48 | 0.004 % |
56.65/56.76 c | 116686 | 160 13600 95200 | 63807 63445 48 | 0.004 % |
57.55/57.67 c | 117960 | 160 13600 95200 | 63807 56528 48 | 0.004 % |
57.65/57.74 c | 118061 | 160 13600 95200 | 63807 56629 48 | 0.004 % |
57.75/57.85 c | 118171 | 160 13600 95200 | 63807 56739 48 | 0.004 % |
57.85/57.94 c | 118292 | 160 13600 95200 | 63807 56860 48 | 0.004 % |
57.95/58.04 c | 118428 | 160 13600 95200 | 63807 56996 48 | 0.004 % |
58.05/58.15 c | 118575 | 160 13600 95200 | 63807 57143 48 | 0.004 % |
58.16/58.29 c | 118735 | 160 13600 95200 | 63807 57303 48 | 0.004 % |
58.35/58.42 c | 118911 | 160 13600 95200 | 63807 57479 48 | 0.004 % |
58.45/58.57 c | 119105 | 160 13600 95200 | 63807 57673 48 | 0.004 % |
58.65/58.70 c | 119317 | 160 13600 95200 | 63807 57885 48 | 0.004 % |
58.75/58.87 c | 119550 | 160 13600 95200 | 63807 58118 48 | 0.004 % |
58.95/59.07 c | 119807 | 160 13600 95200 | 63807 58375 48 | 0.004 % |
59.26/59.31 c | 120089 | 160 13600 95200 | 58569 51186 48 | 0.004 % |
59.45/59.53 c | 120398 | 160 13600 95200 | 58569 51495 48 | 0.004 % |
59.65/59.75 c | 120738 | 160 13600 95200 | 58569 51835 48 | 0.004 % |
59.85/59.96 c | 121111 | 160 13600 95200 | 58569 52208 48 | 0.004 % |
60.15/60.23 c | 121521 | 160 13600 95200 | 58569 52618 48 | 0.004 % |
60.46/60.51 c | 121971 | 160 13600 95200 | 58569 53068 48 | 0.004 % |
60.75/60.86 c | 122466 | 160 13600 95200 | 58569 53563 48 | 0.004 % |
61.15/61.22 c | 123008 | 160 13600 95200 | 58569 54105 48 | 0.004 % |
61.56/61.61 c | 123604 | 160 13600 95200 | 58569 54701 48 | 0.004 % |
61.95/62.02 c | 124259 | 160 13600 95200 | 58569 55356 48 | 0.004 % |
62.45/62.50 c | 124979 | 160 13600 95200 | 58569 56076 48 | 0.004 % |
62.95/63.00 c | 125771 | 160 13600 95200 | 58569 56868 48 | 0.004 % |
63.45/63.56 c | 126642 | 160 13600 95200 | 58569 57739 48 | 0.004 % |
64.05/64.19 c | 127600 | 160 13600 95200 | 58569 52359 48 | 0.004 % |
64.65/64.75 c | 128653 | 160 13600 95200 | 58569 53412 48 | 0.004 % |
65.35/65.40 c | 129812 | 160 13600 95200 | 58569 54571 48 | 0.004 % |
65.95/66.08 c | 131085 | 160 13600 95200 | 54759 50183 48 | 0.004 % |
66.85/66.90 c | 132485 | 160 13600 95200 | 54759 51583 48 | 0.004 % |
66.85/66.97 c | 132585 | 160 13600 95200 | 54759 51683 48 | 0.004 % |
66.95/67.04 c | 132698 | 160 13600 95200 | 54759 51796 48 | 0.004 % |
67.05/67.12 c | 132821 | 160 13600 95200 | 54759 51919 48 | 0.004 % |
67.15/67.20 c | 132954 | 160 13600 95200 | 54759 52052 48 | 0.004 % |
67.25/67.31 c | 133101 | 160 13600 95200 | 54759 52199 48 | 0.004 % |
67.35/67.41 c | 133261 | 160 13600 95200 | 54759 52359 48 | 0.004 % |
67.45/67.52 c | 133438 | 160 13600 95200 | 54759 52536 48 | 0.004 % |
67.55/67.65 c | 133632 | 160 13600 95200 | 54759 52730 48 | 0.004 % |
67.65/67.78 c | 133845 | 160 13600 95200 | 54759 52943 48 | 0.004 % |
67.85/67.93 c | 134080 | 160 13600 95200 | 54759 53178 48 | 0.004 % |
68.05/68.13 c | 134337 | 160 13600 95200 | 54759 53435 48 | 0.004 % |
68.25/68.31 c | 134620 | 160 13600 95200 | 54759 53718 48 | 0.004 % |
68.35/68.48 c | 134931 | 160 13600 95200 | 54759 54029 48 | 0.004 % |
68.65/68.70 c | 135270 | 160 13600 95200 | 54759 54368 48 | 0.004 % |
68.85/68.93 c | 135642 | 160 13600 95200 | 54759 54740 48 | 0.004 % |
69.05/69.19 c | 136051 | 160 13600 95200 | 54759 49667 48 | 0.004 % |
69.45/69.50 c | 136501 | 160 13600 95200 | 54759 50117 48 | 0.004 % |
69.75/69.80 c | 136995 | 160 13600 95200 | 54759 50611 48 | 0.004 % |
70.05/70.10 c | 137537 | 160 13600 95200 | 54759 51153 48 | 0.004 % |
70.35/70.50 c | 138134 | 160 13600 95200 | 54759 51750 48 | 0.004 % |
70.75/70.88 c | 138789 | 160 13600 95200 | 54759 52405 48 | 0.004 % |
71.25/71.30 c | 139509 | 160 13600 95200 | 54759 53125 48 | 0.004 % |
71.75/71.82 c | 140302 | 160 13600 95200 | 2147483647 53918 48 | 0.004 % |
72.25/72.36 c | 141173 | 160 13600 95200 | 2147483647 54789 48 | 0.004 % |
72.85/72.92 c | 142131 | 160 13600 95200 | 2147483647 55747 48 | 0.004 % |
73.45/73.59 c | 143186 | 160 13600 95200 | 2147483647 56802 48 | 0.004 % |
74.25/74.36 c | 144345 | 160 13600 95200 | 2147483647 57961 48 | 0.004 % |
75.05/75.17 c | 145619 | 160 13600 95200 | 2147483647 59235 48 | 0.004 % |
75.95/76.03 c | 147020 | 160 13600 95200 | 2147483647 60636 48 | 0.004 % |
77.05/77.15 c | 148562 | 160 13600 95200 | 2147483647 62178 48 | 0.004 % |
77.15/77.23 c | 148663 | 160 13600 95200 | 2147483647 62279 48 | 0.004 % |
77.25/77.33 c | 148774 | 160 13600 95200 | 2147483647 62390 48 | 0.004 % |
77.35/77.43 c | 148895 | 160 13600 95200 | 2147483647 62511 48 | 0.004 % |
77.45/77.54 c | 149028 | 160 13600 95200 | 2147483647 62644 48 | 0.004 % |
77.55/77.68 c | 149177 | 160 13600 95200 | 2147483647 62793 48 | 0.004 % |
77.75/77.82 c | 149338 | 160 13600 95200 | 2147483647 62954 48 | 0.004 % |
77.85/77.96 c | 149514 | 160 13600 95200 | 2147483647 63130 48 | 0.004 % |
78.05/78.13 c | 149707 | 160 13600 95200 | 2147483647 63323 48 | 0.004 % |
78.14/78.29 c | 149920 | 160 13600 95200 | 2147483647 63536 48 | 0.004 % |
78.44/78.50 c | 150153 | 160 13600 95200 | 63616 56693 48 | 0.004 % |
78.54/78.67 c | 150409 | 160 13600 95200 | 63616 56949 48 | 0.004 % |
78.74/78.84 c | 150690 | 160 13600 95200 | 63616 57230 48 | 0.004 % |
78.95/79.03 c | 151000 | 160 13600 95200 | 63616 57540 48 | 0.004 % |
79.15/79.28 c | 151340 | 160 13600 95200 | 63616 57880 48 | 0.004 % |
79.44/79.52 c | 151712 | 160 13600 95200 | 63616 58252 48 | 0.004 % |
79.74/79.82 c | 152123 | 160 13600 95200 | 63616 58663 48 | 0.004 % |
80.04/80.13 c | 152573 | 160 13600 95200 | 63616 59113 48 | 0.004 % |
80.34/80.48 c | 153066 | 160 13600 95200 | 63616 59606 48 | 0.004 % |
80.74/80.85 c | 153611 | 160 13600 95200 | 63616 60151 48 | 0.004 % |
81.14/81.27 c | 154210 | 160 13600 95200 | 63616 60750 48 | 0.004 % |
81.64/81.72 c | 154865 | 160 13600 95200 | 63616 61405 48 | 0.004 % |
82.14/82.21 c | 155587 | 160 13600 95200 | 63616 62127 48 | 0.004 % |
82.74/82.84 c | 156379 | 160 13600 95200 | 63616 62919 48 | 0.004 % |
83.45/83.56 c | 157251 | 160 13600 95200 | 63616 55628 48 | 0.004 % |
84.04/84.16 c | 158211 | 160 13600 95200 | 63616 56588 48 | 0.004 % |
84.75/84.82 c | 159265 | 160 13600 95200 | 63616 57642 48 | 0.004 % |
85.45/85.56 c | 160424 | 160 13600 95200 | 58377 51865 48 | 0.004 % |
86.25/86.32 c | 161698 | 160 13600 95200 | 58377 53139 48 | 0.004 % |
86.95/87.07 c | 163099 | 160 13600 95200 | 58377 54540 48 | 0.004 % |
88.05/88.10 c | 164641 | 160 13600 95200 | 58377 56082 48 | 0.004 % |
89.05/89.18 c | 166336 | 160 13600 95200 | 58377 57777 48 | 0.004 % |
89.15/89.25 c | 166436 | 160 13600 95200 | 58377 57877 48 | 0.004 % |
89.25/89.34 c | 166546 | 160 13600 95200 | 58377 57987 48 | 0.004 % |
89.35/89.45 c | 166667 | 160 13600 95200 | 58377 58108 48 | 0.004 % |
89.45/89.56 c | 166802 | 160 13600 95200 | 58377 58243 48 | 0.004 % |
89.55/89.68 c | 166948 | 160 13600 95200 | 58377 58389 48 | 0.004 % |
89.75/89.84 c | 167111 | 160 13600 95200 | 58377 52589 48 | 0.004 % |
89.85/89.97 c | 167287 | 160 13600 95200 | 58377 52765 48 | 0.004 % |
89.95/90.08 c | 167480 | 160 13600 95200 | 58377 52958 48 | 0.004 % |
90.15/90.22 c | 167693 | 160 13600 95200 | 58377 53171 48 | 0.004 % |
90.25/90.36 c | 167927 | 160 13600 95200 | 58377 53405 48 | 0.004 % |
90.45/90.53 c | 168183 | 160 13600 95200 | 58377 53661 48 | 0.004 % |
90.65/90.70 c | 168464 | 160 13600 95200 | 58377 53942 48 | 0.004 % |
90.75/90.89 c | 168774 | 160 13600 95200 | 58377 54252 48 | 0.004 % |
90.95/91.09 c | 169114 | 160 13600 95200 | 58377 54592 48 | 0.004 % |
91.25/91.32 c | 169487 | 160 13600 95200 | 58377 54965 48 | 0.004 % |
91.45/91.55 c | 169896 | 160 13600 95200 | 58377 55374 48 | 0.004 % |
91.75/91.82 c | 170346 | 160 13600 95200 | 2147483647 55824 48 | 0.004 % |
92.05/92.12 c | 170844 | 160 13600 95200 | 2147483647 56322 48 | 0.004 % |
92.35/92.49 c | 171387 | 160 13600 95200 | 2147483647 56865 48 | 0.004 % |
92.75/92.85 c | 171983 | 160 13600 95200 | 2147483647 57461 48 | 0.004 % |
93.15/93.26 c | 172638 | 160 13600 95200 | 2147483647 58116 48 | 0.004 % |
93.55/93.69 c | 173358 | 160 13600 95200 | 2147483647 58836 48 | 0.004 % |
94.05/94.17 c | 174150 | 160 13600 95200 | 2147483647 59628 48 | 0.004 % |
94.65/94.70 c | 175021 | 160 13600 95200 | 2147483647 60499 48 | 0.004 % |
95.35/95.50 c | 175980 | 160 13600 95200 | 2147483647 61458 48 | 0.004 % |
96.25/96.30 c | 177034 | 160 13600 95200 | 2147483647 62512 48 | 0.004 % |
97.05/97.17 c | 178192 | 160 13600 95200 | 2147483647 63670 48 | 0.004 % |
98.05/98.14 c | 179468 | 160 13600 95200 | 2147483647 64946 48 | 0.004 % |
99.15/99.20 c | 180868 | 160 13600 95200 | 65480 58251 48 | 0.004 % |
100.15/100.22 c | 182408 | 160 13600 95200 | 65480 59791 48 | 0.004 % |
101.25/101.37 c | 184104 | 160 13600 95200 | 65480 61487 48 | 0.004 % |
102.55/102.60 c | 185968 | 160 13600 95200 | 65480 63351 48 | 0.004 % |
102.55/102.67 c | 186069 | 160 13600 95200 | 65480 63452 48 | 0.004 % |
102.65/102.79 c | 186179 | 160 13600 95200 | 65480 63562 48 | 0.004 % |
102.75/102.90 c | 186300 | 160 13600 95200 | 65480 63683 48 | 0.004 % |
102.85/103.00 c | 186435 | 160 13600 95200 | 65480 63818 48 | 0.004 % |
103.05/103.12 c | 186581 | 160 13600 95200 | 65480 63964 48 | 0.004 % |
103.15/103.26 c | 186741 | 160 13600 95200 | 65480 64124 48 | 0.004 % |
103.35/103.41 c | 186917 | 160 13600 95200 | 65480 64300 48 | 0.004 % |
103.45/103.57 c | 187111 | 160 13600 95200 | 65480 64494 48 | 0.004 % |
103.65/103.74 c | 187323 | 160 13600 95200 | 65480 64706 48 | 0.004 % |
103.85/103.93 c | 187556 | 160 13600 95200 | 65480 64939 48 | 0.004 % |
104.05/104.16 c | 187812 | 160 13600 95200 | 65480 65195 48 | 0.004 % |
104.24/104.38 c | 188094 | 160 13600 95200 | 65480 65477 48 | 0.004 % |
104.55/104.68 c | 188403 | 160 13600 95200 | 65480 57053 48 | 0.004 % |
104.85/104.91 c | 188743 | 160 13600 95200 | 65480 57393 48 | 0.004 % |
105.05/105.16 c | 189116 | 160 13600 95200 | 65480 57766 48 | 0.004 % |
105.34/105.43 c | 189525 | 160 13600 95200 | 65480 58175 48 | 0.004 % |
105.64/105.79 c | 189974 | 160 13600 95200 | 65480 58624 48 | 0.004 % |
106.04/106.14 c | 190468 | 160 13600 95200 | 58651 51296 48 | 0.004 % |
106.34/106.49 c | 191011 | 160 13600 95200 | 58651 51839 48 | 0.004 % |
106.84/106.90 c | 191609 | 160 13600 95200 | 58651 52437 48 | 0.004 % |
107.24/107.31 c | 192265 | 160 13600 95200 | 58651 53093 48 | 0.004 % |
107.65/107.74 c | 192985 | 160 13600 95200 | 58651 53813 48 | 0.004 % |
108.14/108.27 c | 193780 | 160 13600 95200 | 58651 54608 48 | 0.004 % |
108.75/108.83 c | 194651 | 160 13600 95200 | 58651 55479 48 | 0.004 % |
109.34/109.46 c | 195609 | 160 13600 95200 | 58651 56437 48 | 0.004 % |
110.04/110.11 c | 196662 | 160 13600 95200 | 58651 57490 48 | 0.004 % |
110.84/110.94 c | 197820 | 160 13600 95200 | 58651 58648 48 | 0.004 % |
111.64/111.72 c | 199093 | 160 13600 95200 | 58651 53452 48 | 0.004 % |
112.64/112.70 c | 200495 | 160 13600 95200 | 54360 49012 48 | 0.004 % |
113.44/113.55 c | 202036 | 160 13600 95200 | 54360 50553 48 | 0.004 % |
114.54/114.60 c | 203731 | 160 13600 95200 | 54360 52248 48 | 0.004 % |
115.54/115.61 c | 205594 | 160 13600 95200 | 54360 54111 48 | 0.004 % |
116.74/116.83 c | 207643 | 160 13600 95200 | 54360 50717 48 | 0.004 % |
116.74/116.90 c | 207745 | 160 13600 95200 | 54360 50819 48 | 0.004 % |
116.84/116.96 c | 207856 | 160 13600 95200 | 54360 50930 48 | 0.004 % |
116.94/117.04 c | 207977 | 160 13600 95200 | 54360 51051 48 | 0.004 % |
117.04/117.13 c | 208111 | 160 13600 95200 | 54360 51185 48 | 0.004 % |
117.14/117.22 c | 208257 | 160 13600 95200 | 54360 51331 48 | 0.004 % |
117.24/117.32 c | 208417 | 160 13600 95200 | 54360 51491 48 | 0.004 % |
117.34/117.42 c | 208594 | 160 13600 95200 | 54360 51668 48 | 0.004 % |
117.44/117.56 c | 208788 | 160 13600 95200 | 54360 51862 48 | 0.004 % |
117.64/117.71 c | 209000 | 160 13600 95200 | 54360 52074 48 | 0.004 % |
117.74/117.87 c | 209234 | 160 13600 95200 | 54360 52308 48 | 0.004 % |
117.94/118.02 c | 209492 | 160 13600 95200 | 54360 52566 48 | 0.004 % |
118.04/118.19 c | 209774 | 160 13600 95200 | 54360 52848 48 | 0.004 % |
118.24/118.38 c | 210083 | 160 13600 95200 | 2147483647 53157 48 | 0.004 % |
118.54/118.60 c | 210423 | 160 13600 95200 | 2147483647 53497 48 | 0.004 % |
118.74/118.85 c | 210797 | 160 13600 95200 | 2147483647 53871 48 | 0.004 % |
118.94/119.09 c | 211207 | 160 13600 95200 | 2147483647 54281 48 | 0.004 % |
119.24/119.36 c | 211657 | 160 13600 95200 | 2147483647 54731 48 | 0.004 % |
119.54/119.66 c | 212152 | 160 13600 95200 | 2147483647 55226 48 | 0.004 % |
119.94/120.00 c | 212694 | 160 13600 95200 | 2147483647 55768 48 | 0.004 % |
120.24/120.39 c | 213290 | 160 13600 95200 | 2147483647 56364 48 | 0.004 % |
120.74/120.83 c | 213946 | 160 13600 95200 | 2147483647 57020 48 | 0.004 % |
121.24/121.32 c | 214668 | 160 13600 95200 | 2147483647 57742 48 | 0.004 % |
121.74/121.82 c | 215460 | 160 13600 95200 | 2147483647 58534 48 | 0.004 % |
122.24/122.39 c | 216331 | 160 13600 95200 | 2147483647 59405 48 | 0.004 % |
122.94/123.02 c | 217290 | 160 13600 95200 | 2147483647 60364 48 | 0.004 % |
123.54/123.67 c | 218343 | 160 13600 95200 | 2147483647 61417 48 | 0.004 % |
124.34/124.40 c | 219501 | 160 13600 95200 | 2147483647 62575 48 | 0.004 % |
125.13/125.29 c | 220775 | 160 13600 95200 | 63074 57309 48 | 0.004 % |
126.03/126.17 c | 222176 | 160 13600 95200 | 63074 58710 48 | 0.004 % |
126.93/127.05 c | 223717 | 160 13600 95200 | 63074 60251 48 | 0.004 % |
127.93/128.08 c | 225412 | 160 13600 95200 | 63074 61946 48 | 0.004 % |
129.23/129.37 c | 227276 | 160 13600 95200 | 63074 56866 48 | 0.004 % |
130.43/130.58 c | 229325 | 160 13600 95200 | 63074 58915 48 | 0.004 % |
131.84/132.00 c | 231580 | 160 13600 95200 | 59590 54853 48 | 0.004 % |
131.94/132.09 c | 231681 | 160 13600 95200 | 59590 54954 48 | 0.004 % |
132.03/132.16 c | 231791 | 160 13600 95200 | 59590 55064 48 | 0.004 % |
132.13/132.25 c | 231912 | 160 13600 95200 | 59590 55185 48 | 0.004 % |
132.23/132.35 c | 232046 | 160 13600 95200 | 59590 55319 48 | 0.004 % |
132.33/132.48 c | 232193 | 160 13600 95200 | 59590 55466 48 | 0.004 % |
132.53/132.61 c | 232353 | 160 13600 95200 | 59590 55626 48 | 0.004 % |
132.63/132.74 c | 232529 | 160 13600 95200 | 59590 55802 48 | 0.004 % |
132.73/132.90 c | 232724 | 160 13600 95200 | 59590 55997 48 | 0.004 % |
132.94/133.03 c | 232939 | 160 13600 95200 | 59590 56212 48 | 0.004 % |
133.13/133.20 c | 233172 | 160 13600 95200 | 59590 56445 48 | 0.004 % |
133.23/133.38 c | 233430 | 160 13600 95200 | 59590 56703 48 | 0.004 % |
133.43/133.56 c | 233713 | 160 13600 95200 | 59590 56986 48 | 0.004 % |
133.63/133.79 c | 234022 | 160 13600 95200 | 59590 57295 48 | 0.004 % |
133.93/134.07 c | 234361 | 160 13600 95200 | 59590 57634 48 | 0.004 % |
134.23/134.33 c | 234733 | 160 13600 95200 | 59590 58006 48 | 0.004 % |
134.43/134.59 c | 235143 | 160 13600 95200 | 59590 58416 48 | 0.004 % |
134.73/134.86 c | 235592 | 160 13600 95200 | 59590 58865 48 | 0.004 % |
135.14/135.22 c | 236085 | 160 13600 95200 | 59590 59358 48 | 0.004 % |
135.53/135.63 c | 236627 | 160 13600 95200 | 59590 53223 48 | 0.004 % |
135.93/136.00 c | 237224 | 160 13600 95200 | 59590 53820 48 | 0.004 % |
136.24/136.40 c | 237881 | 160 13600 95200 | 59590 54477 48 | 0.004 % |
136.73/136.81 c | 238602 | 160 13600 95200 | 59590 55198 48 | 0.004 % |
137.13/137.30 c | 239394 | 160 13600 95200 | 59590 55990 48 | 0.004 % |
137.73/137.88 c | 240265 | 160 13600 95200 | 56597 50920 48 | 0.004 % |
138.33/138.43 c | 241223 | 160 13600 95200 | 56597 51878 48 | 0.004 % |
138.93/139.01 c | 242276 | 160 13600 95200 | 56597 52931 48 | 0.004 % |
139.54/139.65 c | 243434 | 160 13600 95200 | 56597 54089 48 | 0.004 % |
140.23/140.34 c | 244709 | 160 13600 95200 | 56597 55364 48 | 0.004 % |
141.03/141.15 c | 246110 | 160 13600 95200 | 56597 51099 48 | 0.004 % |
141.83/141.95 c | 247650 | 160 13600 95200 | 56597 52639 48 | 0.004 % |
142.73/142.88 c | 249344 | 160 13600 95200 | 56597 54333 48 | 0.004 % |
143.83/143.90 c | 251208 | 160 13600 95200 | 2147483647 56197 48 | 0.004 % |
145.03/145.13 c | 253257 | 160 13600 95200 | 2147483647 58246 48 | 0.004 % |
146.33/146.42 c | 255510 | 160 13600 95200 | 2147483647 60499 48 | 0.004 % |
148.03/148.11 c | 257988 | 160 13600 95200 | 2147483647 62977 48 | 0.004 % |
148.03/148.18 c | 258089 | 160 13600 95200 | 2147483647 63078 48 | 0.004 % |
148.13/148.29 c | 258200 | 160 13600 95200 | 2147483647 63189 48 | 0.004 % |
148.23/148.38 c | 258321 | 160 13600 95200 | 2147483647 63310 48 | 0.004 % |
148.43/148.50 c | 258455 | 160 13600 95200 | 2147483647 63444 48 | 0.004 % |
148.53/148.62 c | 258601 | 160 13600 95200 | 2147483647 63590 48 | 0.004 % |
148.63/148.75 c | 258764 | 160 13600 95200 | 2147483647 63753 48 | 0.004 % |
148.73/148.88 c | 258940 | 160 13600 95200 | 2147483647 63929 48 | 0.004 % |
148.92/149.03 c | 259137 | 160 13600 95200 | 2147483647 64126 48 | 0.004 % |
149.02/149.19 c | 259350 | 160 13600 95200 | 2147483647 64339 48 | 0.004 % |
149.22/149.34 c | 259584 | 160 13600 95200 | 2147483647 64573 48 | 0.004 % |
149.44/149.55 c | 259841 | 160 13600 95200 | 2147483647 64830 48 | 0.004 % |
149.73/149.82 c | 260123 | 160 13600 95200 | 64990 57778 48 | 0.004 % |
149.93/150.02 c | 260432 | 160 13600 95200 | 64990 58087 48 | 0.004 % |
150.13/150.24 c | 260771 | 160 13600 95200 | 64990 58426 48 | 0.004 % |
150.43/150.50 c | 261143 | 160 13600 95200 | 64990 58798 48 | 0.004 % |
150.64/150.77 c | 261552 | 160 13600 95200 | 64990 59207 48 | 0.004 % |
151.03/151.11 c | 262001 | 160 13600 95200 | 64990 59656 48 | 0.004 % |
151.33/151.47 c | 262494 | 160 13600 95200 | 64990 60149 48 | 0.004 % |
151.74/151.85 c | 263037 | 160 13600 95200 | 64990 60692 48 | 0.004 % |
152.13/152.27 c | 263635 | 160 13600 95200 | 64990 61290 48 | 0.004 % |
152.53/152.68 c | 264290 | 160 13600 95200 | 64990 61945 48 | 0.004 % |
153.03/153.15 c | 265010 | 160 13600 95200 | 64990 62665 48 | 0.004 % |
153.63/153.74 c | 265802 | 160 13600 95200 | 64990 63457 48 | 0.004 % |
154.13/154.28 c | 266673 | 160 13600 95200 | 64990 64328 48 | 0.004 % |
154.83/154.99 c | 267632 | 160 13600 95200 | 64990 57084 48 | 0.004 % |
155.43/155.60 c | 268685 | 160 13600 95200 | 64990 58137 48 | 0.004 % |
156.14/156.29 c | 269845 | 160 13600 95200 | 64990 59297 48 | 0.004 % |
156.93/157.04 c | 271118 | 160 13600 95200 | 59452 53561 49 | 0.004 % |
157.63/157.78 c | 272519 | 160 13600 95200 | 59452 54962 49 | 0.004 % |
158.63/158.74 c | 274059 | 160 13600 95200 | 59452 56502 49 | 0.004 % |
159.63/159.79 c | 275753 | 160 13600 95200 | 59452 58196 49 | 0.004 % |
160.93/161.08 c | 277616 | 160 13600 95200 | 59452 54107 49 | 0.004 % |
162.33/162.43 c | 279665 | 160 13600 95200 | 59452 56156 49 | 0.004 % |
163.74/163.83 c | 281919 | 160 13600 95200 | 2147483647 58410 49 | 0.004 % |
165.33/165.40 c | 284400 | 160 13600 95200 | 2147483647 60891 49 | 0.004 % |
166.93/167.10 c | 287125 | 160 13600 95200 | 2147483647 63616 49 | 0.004 % |
167.03/167.17 c | 287226 | 160 13600 95200 | 2147483647 63717 49 | 0.004 % |
167.13/167.25 c | 287336 | 160 13600 95200 | 2147483647 63827 49 | 0.004 % |
167.23/167.33 c | 287458 | 160 13600 95200 | 2147483647 63949 49 | 0.004 % |
167.33/167.43 c | 287591 | 160 13600 95200 | 2147483647 64082 49 | 0.004 % |
167.43/167.58 c | 287738 | 160 13600 95200 | 2147483647 64229 49 | 0.004 % |
167.63/167.71 c | 287898 | 160 13600 95200 | 2147483647 64389 49 | 0.004 % |
167.73/167.86 c | 288074 | 160 13600 95200 | 2147483647 64565 49 | 0.004 % |
167.93/168.03 c | 288267 | 160 13600 95200 | 2147483647 64758 49 | 0.004 % |
168.03/168.19 c | 288481 | 160 13600 95200 | 2147483647 64972 49 | 0.004 % |
168.33/168.41 c | 288715 | 160 13600 95200 | 2147483647 65206 49 | 0.004 % |
168.53/168.61 c | 288973 | 160 13600 95200 | 2147483647 65464 49 | 0.004 % |
168.73/168.82 c | 289254 | 160 13600 95200 | 2147483647 65745 49 | 0.004 % |
168.93/169.07 c | 289565 | 160 13600 95200 | 2147483647 66056 49 | 0.004 % |
169.23/169.35 c | 289904 | 160 13600 95200 | 2147483647 66395 49 | 0.004 % |
169.53/169.66 c | 290276 | 160 13600 95200 | 66491 58450 49 | 0.004 % |
169.83/169.95 c | 290686 | 160 13600 95200 | 66491 58860 49 | 0.004 % |
170.13/170.25 c | 291135 | 160 13600 95200 | 66491 59309 49 | 0.004 % |
170.43/170.57 c | 291628 | 160 13600 95200 | 66491 59802 49 | 0.004 % |
170.83/170.99 c | 292170 | 160 13600 95200 | 66491 60344 49 | 0.004 % |
171.33/171.41 c | 292766 | 160 13600 95200 | 66491 60940 49 | 0.004 % |
171.73/171.87 c | 293424 | 160 13600 95200 | 66491 61598 49 | 0.004 % |
172.23/172.39 c | 294145 | 160 13600 95200 | 66491 62319 49 | 0.004 % |
172.83/172.93 c | 294938 | 160 13600 95200 | 66491 63112 49 | 0.004 % |
173.43/173.50 c | 295809 | 160 13600 95200 | 66491 63983 49 | 0.004 % |
174.03/174.14 c | 296768 | 160 13600 95200 | 66491 64942 49 | 0.004 % |
174.73/174.82 c | 297823 | 160 13600 95200 | 66491 65997 49 | 0.004 % |
175.53/175.65 c | 298983 | 160 13600 95200 | 66491 58586 49 | 0.004 % |
176.33/176.46 c | 300257 | 160 13600 95200 | 59606 52574 49 | 0.004 % |
177.13/177.23 c | 301657 | 160 13600 95200 | 59606 53974 49 | 0.004 % |
177.92/178.01 c | 303198 | 160 13600 95200 | 59606 55515 49 | 0.004 % |
178.92/179.03 c | 304893 | 160 13600 95200 | 59606 57210 49 | 0.004 % |
180.02/180.14 c | 306756 | 160 13600 95200 | 59606 59073 49 | 0.004 % |
181.22/181.38 c | 308807 | 160 13600 95200 | 59606 55157 49 | 0.004 % |
182.53/182.67 c | 311061 | 160 13600 95200 | 2147483647 57411 49 | 0.004 % |
184.32/184.40 c | 313540 | 160 13600 95200 | 2147483647 59890 49 | 0.004 % |
186.02/186.18 c | 316268 | 160 13600 95200 | 2147483647 62618 49 | 0.004 % |
188.03/188.18 c | 319267 | 160 13600 95200 | 2147483647 65617 49 | 0.004 % |
188.12/188.25 c | 319367 | 160 13600 95200 | 2147483647 65717 49 | 0.004 % |
188.22/188.34 c | 319478 | 160 13600 95200 | 2147483647 65828 49 | 0.004 % |
188.32/188.43 c | 319599 | 160 13600 95200 | 2147483647 65949 49 | 0.004 % |
188.42/188.58 c | 319732 | 160 13600 95200 | 2147483647 66082 49 | 0.004 % |
188.62/188.71 c | 319879 | 160 13600 95200 | 2147483647 66229 49 | 0.004 % |
188.72/188.84 c | 320041 | 160 13600 95200 | 66350 66391 49 | 0.004 % |
188.92/189.04 c | 320219 | 160 13600 95200 | 66350 58218 49 | 0.004 % |
189.02/189.19 c | 320413 | 160 13600 95200 | 66350 58412 49 | 0.004 % |
189.22/189.33 c | 320627 | 160 13600 95200 | 66350 58626 49 | 0.004 % |
189.32/189.50 c | 320861 | 160 13600 95200 | 66350 58860 49 | 0.004 % |
189.52/189.68 c | 321118 | 160 13600 95200 | 66350 59117 49 | 0.004 % |
189.72/189.88 c | 321399 | 160 13600 95200 | 66350 59398 49 | 0.004 % |
190.02/190.11 c | 321711 | 160 13600 95200 | 66350 59710 49 | 0.004 % |
190.22/190.35 c | 322053 | 160 13600 95200 | 66350 60052 49 | 0.004 % |
190.52/190.64 c | 322426 | 160 13600 95200 | 66350 60425 49 | 0.004 % |
190.82/190.97 c | 322837 | 160 13600 95200 | 66350 60836 49 | 0.004 % |
191.12/191.28 c | 323287 | 160 13600 95200 | 66350 61286 49 | 0.004 % |
191.52/191.62 c | 323780 | 160 13600 95200 | 66350 61779 49 | 0.004 % |
191.82/191.97 c | 324322 | 160 13600 95200 | 66350 62321 49 | 0.004 % |
192.22/192.39 c | 324919 | 160 13600 95200 | 66350 62918 49 | 0.004 % |
192.71/192.88 c | 325575 | 160 13600 95200 | 66350 63574 49 | 0.004 % |
193.42/193.52 c | 326295 | 160 13600 95200 | 66350 64294 49 | 0.004 % |
194.01/194.14 c | 327087 | 160 13600 95200 | 66350 65086 49 | 0.004 % |
194.71/194.89 c | 327960 | 160 13600 95200 | 66350 65959 49 | 0.004 % |
195.51/195.62 c | 328919 | 160 13600 95200 | 66350 57236 49 | 0.004 % |
196.11/196.24 c | 329973 | 160 13600 95200 | 66350 58290 49 | 0.004 % |
196.82/196.93 c | 331131 | 160 13600 95200 | 58318 51327 48 | 0.004 % |
197.51/197.62 c | 332404 | 160 13600 95200 | 58318 52600 49 | 0.004 % |
198.31/198.42 c | 333804 | 160 13600 95200 | 58318 54000 49 | 0.004 % |
199.21/199.31 c | 335344 | 160 13600 95200 | 58318 55540 49 | 0.004 % |
200.12/200.28 c | 337038 | 160 13600 95200 | 58318 57234 49 | 0.004 % |
201.41/201.52 c | 338901 | 160 13600 95200 | 58318 53258 49 | 0.004 % |
202.51/202.62 c | 340951 | 160 13600 95200 | 2147483647 55308 49 | 0.004 % |
203.71/203.88 c | 343206 | 160 13600 95200 | 2147483647 57563 49 | 0.004 % |
205.21/205.39 c | 345685 | 160 13600 95200 | 2147483647 60042 49 | 0.004 % |
207.11/207.21 c | 348410 | 160 13600 95200 | 2147483647 62767 49 | 0.004 % |
209.01/209.11 c | 351408 | 160 13600 95200 | 2147483647 65765 49 | 0.004 % |
211.21/211.35 c | 354705 | 160 13600 95200 | 2147483647 69062 49 | 0.004 % |
211.30/211.43 c | 354805 | 160 13600 95200 | 2147483647 69162 49 | 0.004 % |
211.40/211.52 c | 354916 | 160 13600 95200 | 2147483647 69273 49 | 0.004 % |
211.50/211.61 c | 355037 | 160 13600 95200 | 2147483647 69394 49 | 0.004 % |
211.60/211.75 c | 355171 | 160 13600 95200 | 2147483647 69528 49 | 0.004 % |
211.70/211.87 c | 355317 | 160 13600 95200 | 2147483647 69674 49 | 0.004 % |
211.90/212.02 c | 355477 | 160 13600 95200 | 2147483647 69834 49 | 0.004 % |
212.00/212.17 c | 355653 | 160 13600 95200 | 2147483647 70010 49 | 0.004 % |
212.20/212.32 c | 355846 | 160 13600 95200 | 2147483647 70203 49 | 0.004 % |
212.40/212.51 c | 356058 | 160 13600 95200 | 2147483647 70415 49 | 0.004 % |
212.60/212.74 c | 356291 | 160 13600 95200 | 2147483647 70648 49 | 0.004 % |
212.80/212.99 c | 356548 | 160 13600 95200 | 2147483647 70905 49 | 0.004 % |
213.10/213.25 c | 356829 | 160 13600 95200 | 2147483647 71186 49 | 0.004 % |
213.40/213.51 c | 357139 | 160 13600 95200 | 2147483647 71496 49 | 0.004 % |
213.60/213.76 c | 357478 | 160 13600 95200 | 2147483647 71835 49 | 0.004 % |
213.90/214.05 c | 357853 | 160 13600 95200 | 2147483647 72210 49 | 0.004 % |
214.21/214.39 c | 358262 | 160 13600 95200 | 2147483647 72619 49 | 0.004 % |
214.61/214.74 c | 358714 | 160 13600 95200 | 2147483647 73071 49 | 0.004 % |
215.01/215.14 c | 359208 | 160 13600 95200 | 2147483647 73565 49 | 0.004 % |
215.41/215.55 c | 359751 | 160 13600 95200 | 2147483647 74108 49 | 0.004 % |
215.91/216.08 c | 360348 | 160 13600 95200 | 74360 63167 49 | 0.004 % |
216.40/216.53 c | 361004 | 160 13600 95200 | 74360 63823 49 | 0.004 % |
217.00/217.12 c | 361724 | 160 13600 95200 | 74360 64543 49 | 0.004 % |
217.61/217.75 c | 362517 | 160 13600 95200 | 74360 65336 49 | 0.004 % |
218.40/218.51 c | 363388 | 160 13600 95200 | 74360 66207 49 | 0.004 % |
219.10/219.24 c | 364346 | 160 13600 95200 | 74360 67165 49 | 0.004 % |
219.81/219.99 c | 365400 | 160 13600 95200 | 74360 68219 49 | 0.004 % |
220.60/220.76 c | 366558 | 160 13600 95200 | 74360 69377 49 | 0.004 % |
221.60/221.78 c | 367832 | 160 13600 95200 | 74360 70651 49 | 0.004 % |
222.80/222.91 c | 369233 | 160 13600 95200 | 74360 72052 49 | 0.004 % |
223.90/224.08 c | 370775 | 160 13600 95200 | 72819 61160 49 | 0.004 % |
225.10/225.22 c | 372469 | 160 13600 95200 | 72819 62854 49 | 0.004 % |
226.30/226.42 c | 374333 | 160 13600 95200 | 72819 64718 49 | 0.004 % |
227.70/227.83 c | 376383 | 160 13600 95200 | 72819 66768 49 | 0.004 % |
229.30/229.47 c | 378639 | 160 13600 95200 | 72819 69024 49 | 0.004 % |
231.10/231.20 c | 381117 | 160 13600 95200 | 70385 60627 49 | 0.004 % |
232.90/233.08 c | 383843 | 160 13600 95200 | 70385 63353 49 | 0.004 % |
234.90/235.01 c | 386841 | 160 13600 95200 | 70385 66351 49 | 0.004 % |
237.29/237.46 c | 390137 | 160 13600 95200 | 69510 59863 49 | 0.004 % |
239.60/239.79 c | 393762 | 160 13600 95200 | 69510 63488 49 | 0.004 % |
239.70/239.87 c | 393864 | 160 13600 95200 | 69510 63590 49 | 0.004 % |
239.79/239.94 c | 393975 | 160 13600 95200 | 69510 63701 49 | 0.004 % |
239.89/240.04 c | 394097 | 160 13600 95200 | 69510 63823 49 | 0.004 % |
239.99/240.16 c | 394230 | 160 13600 95200 | 69510 63956 49 | 0.004 % |
240.09/240.27 c | 394378 | 160 13600 95200 | 69510 64104 49 | 0.004 % |
240.29/240.40 c | 394538 | 160 13600 95200 | 69510 64264 49 | 0.004 % |
240.39/240.55 c | 394717 | 160 13600 95200 | 69510 64443 49 | 0.004 % |
240.59/240.70 c | 394911 | 160 13600 95200 | 69510 64637 49 | 0.004 % |
240.70/240.86 c | 395123 | 160 13600 95200 | 69510 64849 49 | 0.004 % |
240.89/241.04 c | 395357 | 160 13600 95200 | 69510 65083 49 | 0.004 % |
241.09/241.26 c | 395614 | 160 13600 95200 | 69510 65340 49 | 0.004 % |
241.29/241.48 c | 395897 | 160 13600 95200 | 69510 65623 49 | 0.004 % |
241.59/241.73 c | 396206 | 160 13600 95200 | 69510 65932 49 | 0.004 % |
241.80/241.97 c | 396546 | 160 13600 95200 | 69510 66272 49 | 0.004 % |
242.09/242.27 c | 396918 | 160 13600 95200 | 69510 66644 49 | 0.004 % |
242.49/242.61 c | 397328 | 160 13600 95200 | 69510 67054 49 | 0.004 % |
242.79/242.93 c | 397777 | 160 13600 95200 | 69510 67503 49 | 0.004 % |
243.09/243.29 c | 398270 | 160 13600 95200 | 69510 67996 49 | 0.004 % |
243.49/243.67 c | 398813 | 160 13600 95200 | 69510 68539 49 | 0.004 % |
243.89/244.09 c | 399411 | 160 13600 95200 | 69510 69137 49 | 0.004 % |
244.49/244.65 c | 400067 | 160 13600 95200 | 59343 59408 49 | 0.004 % |
244.99/245.13 c | 400787 | 160 13600 95200 | 59343 51310 49 | 0.004 % |
245.39/245.58 c | 401579 | 160 13600 95200 | 59343 52102 49 | 0.004 % |
245.89/246.09 c | 402451 | 160 13600 95200 | 59343 52974 49 | 0.004 % |
246.49/246.65 c | 403409 | 160 13600 95200 | 59343 53932 49 | 0.004 % |
247.09/247.26 c | 404464 | 160 13600 95200 | 59343 54987 49 | 0.004 % |
247.79/247.93 c | 405624 | 160 13600 95200 | 59343 56147 49 | 0.004 % |
248.49/248.63 c | 406897 | 160 13600 95200 | 59343 57420 49 | 0.004 % |
249.28/249.48 c | 408297 | 160 13600 95200 | 59343 58820 49 | 0.004 % |
250.18/250.37 c | 409840 | 160 13600 95200 | 59343 53867 49 | 0.004 % |
251.18/251.36 c | 411535 | 160 13600 95200 | 54027 49785 49 | 0.004 % |
252.28/252.41 c | 413399 | 160 13600 95200 | 54027 51649 49 | 0.004 % |
253.38/253.59 c | 415448 | 160 13600 95200 | 54027 53698 49 | 0.004 % |
254.58/254.75 c | 417702 | 160 13600 95200 | 54027 50541 49 | 0.004 % |
255.78/255.96 c | 420184 | 160 13600 95200 | 2147483647 53023 49 | 0.004 % |
257.19/257.30 c | 422910 | 160 13600 95200 | 2147483647 55749 49 | 0.004 % |
258.78/258.92 c | 425908 | 160 13600 95200 | 2147483647 58747 49 | 0.004 % |
260.78/260.97 c | 429206 | 160 13600 95200 | 2147483647 62045 49 | 0.004 % |
263.08/263.25 c | 432831 | 160 13600 95200 | 2147483647 65670 49 | 0.004 % |
265.78/265.95 c | 436820 | 160 13600 95200 | 2147483647 69659 49 | 0.004 % |
265.88/266.03 c | 436921 | 160 13600 95200 | 2147483647 69760 49 | 0.004 % |
265.98/266.12 c | 437031 | 160 13600 95200 | 2147483647 69870 49 | 0.004 % |
266.08/266.24 c | 437152 | 160 13600 95200 | 2147483647 69991 49 | 0.004 % |
266.18/266.36 c | 437286 | 160 13600 95200 | 2147483647 70125 49 | 0.004 % |
266.28/266.47 c | 437432 | 160 13600 95200 | 2147483647 70271 49 | 0.004 % |
266.48/266.60 c | 437592 | 160 13600 95200 | 2147483647 70431 49 | 0.004 % |
266.58/266.78 c | 437769 | 160 13600 95200 | 2147483647 70608 49 | 0.004 % |
266.78/266.93 c | 437963 | 160 13600 95200 | 2147483647 70802 49 | 0.004 % |
266.98/267.12 c | 438175 | 160 13600 95200 | 2147483647 71014 49 | 0.004 % |
267.18/267.32 c | 438408 | 160 13600 95200 | 2147483647 71247 49 | 0.004 % |
267.28/267.50 c | 438664 | 160 13600 95200 | 2147483647 71503 49 | 0.004 % |
267.58/267.71 c | 438945 | 160 13600 95200 | 2147483647 71784 49 | 0.004 % |
267.78/267.96 c | 439254 | 160 13600 95200 | 2147483647 72093 49 | 0.004 % |
268.08/268.23 c | 439593 | 160 13600 95200 | 2147483647 72432 49 | 0.004 % |
268.48/268.62 c | 439965 | 160 13600 95200 | 2147483647 72804 49 | 0.004 % |
268.88/269.04 c | 440374 | 160 13600 95200 | 72840 62876 49 | 0.004 % |
269.18/269.38 c | 440824 | 160 13600 95200 | 72840 63326 49 | 0.004 % |
269.58/269.74 c | 441319 | 160 13600 95200 | 72840 63821 49 | 0.004 % |
269.98/270.17 c | 441861 | 160 13600 95200 | 72840 64363 49 | 0.004 % |
270.48/270.64 c | 442459 | 160 13600 95200 | 72840 64961 49 | 0.004 % |
270.97/271.14 c | 443116 | 160 13600 95200 | 72840 65618 49 | 0.004 % |
271.48/271.68 c | 443836 | 160 13600 95200 | 72840 66338 49 | 0.004 % |
272.07/272.27 c | 444630 | 160 13600 95200 | 72840 67132 49 | 0.004 % |
272.68/272.89 c | 445501 | 160 13600 95200 | 72840 68003 49 | 0.004 % |
273.47/273.68 c | 446459 | 160 13600 95200 | 72840 68961 49 | 0.004 % |
274.37/274.51 c | 447513 | 160 13600 95200 | 72840 70015 49 | 0.004 % |
275.17/275.39 c | 448671 | 160 13600 95200 | 72840 71173 49 | 0.004 % |
276.17/276.35 c | 449944 | 160 13600 95200 | 72840 72446 49 | 0.004 % |
277.17/277.39 c | 451345 | 160 13600 95200 | 72502 61984 49 | 0.004 % |
278.18/278.39 c | 452885 | 160 13600 95200 | 72502 63524 49 | 0.004 % |
279.47/279.65 c | 454579 | 160 13600 95200 | 72502 65218 49 | 0.004 % |
280.97/281.12 c | 456442 | 160 13600 95200 | 72502 67081 49 | 0.004 % |
282.48/282.67 c | 458491 | 160 13600 95200 | 72502 69130 49 | 0.004 % |
284.17/284.35 c | 460746 | 160 13600 95200 | 70641 59948 49 | 0.004 % |
285.67/285.87 c | 463225 | 160 13600 95200 | 70641 62427 49 | 0.004 % |
287.47/287.67 c | 465951 | 160 13600 95200 | 70641 65153 49 | 0.004 % |
289.56/289.70 c | 468948 | 160 13600 95200 | 70641 68150 49 | 0.004 % |
291.66/291.85 c | 472246 | 160 13600 95200 | 69203 61745 49 | 0.004 % |
293.96/294.11 c | 475871 | 160 13600 95200 | 69203 65370 49 | 0.004 % |
296.76/296.99 c | 479860 | 160 13600 95200 | 69203 60485 49 | 0.004 % |
299.26/299.48 c | 484245 | 160 13600 95200 | 60625 57073 49 | 0.004 % |
299.36/299.54 c | 484345 | 160 13600 95200 | 60625 57173 49 | 0.004 % |
299.46/299.61 c | 484457 | 160 13600 95200 | 60625 57285 49 | 0.004 % |
299.56/299.71 c | 484579 | 160 13600 95200 | 60625 57407 49 | 0.004 % |
299.66/299.82 c | 484713 | 160 13600 95200 | 60625 57541 49 | 0.004 % |
299.76/299.95 c | 484863 | 160 13600 95200 | 60625 57691 49 | 0.004 % |
299.86/300.07 c | 485026 | 160 13600 95200 | 60625 57854 49 | 0.004 % |
300.06/300.22 c | 485205 | 160 13600 95200 | 60625 58033 49 | 0.004 % |
300.16/300.38 c | 485399 | 160 13600 95200 | 60625 58227 49 | 0.004 % |
300.36/300.54 c | 485611 | 160 13600 95200 | 60625 58439 49 | 0.004 % |
300.56/300.71 c | 485845 | 160 13600 95200 | 60625 58673 49 | 0.004 % |
300.76/300.90 c | 486101 | 160 13600 95200 | 60625 58929 49 | 0.004 % |
300.96/301.10 c | 486382 | 160 13600 95200 | 60625 59210 49 | 0.004 % |
301.16/301.33 c | 486691 | 160 13600 95200 | 60625 59519 49 | 0.004 % |
301.36/301.56 c | 487031 | 160 13600 95200 | 60625 59859 49 | 0.004 % |
301.66/301.83 c | 487403 | 160 13600 95200 | 60625 60231 49 | 0.004 % |
301.96/302.13 c | 487813 | 160 13600 95200 | 60625 60641 49 | 0.004 % |
302.26/302.44 c | 488264 | 160 13600 95200 | 60625 54202 48 | 0.004 % |
302.55/302.75 c | 488758 | 160 13600 95200 | 60625 54696 48 | 0.004 % |
302.85/303.08 c | 489300 | 160 13600 95200 | 60625 55238 48 | 0.004 % |
303.25/303.44 c | 489896 | 160 13600 95200 | 60625 55834 48 | 0.004 % |
303.65/303.85 c | 490551 | 160 13600 95200 | 55938 50401 48 | 0.004 % |
304.05/304.27 c | 491272 | 160 13600 95200 | 55938 51122 48 | 0.004 % |
304.56/304.72 c | 492064 | 160 13600 95200 | 55938 51914 48 | 0.004 % |
305.05/305.21 c | 492935 | 160 13600 95200 | 55938 52785 48 | 0.004 % |
305.66/305.85 c | 493893 | 160 13600 95200 | 55938 53743 48 | 0.004 % |
306.25/306.48 c | 494946 | 160 13600 95200 | 55938 54796 48 | 0.004 % |
307.05/307.21 c | 496108 | 160 13600 95200 | 55938 55958 48 | 0.004 % |
307.76/307.93 c | 497382 | 160 13600 95200 | 55938 51637 48 | 0.004 % |
308.55/308.76 c | 498782 | 160 13600 95200 | 55938 53037 48 | 0.004 % |
309.45/309.67 c | 500323 | 160 13600 95200 | 2147483647 54578 49 | 0.004 % |
310.55/310.72 c | 502017 | 160 13600 95200 | 2147483647 56272 49 | 0.004 % |
311.75/311.94 c | 503881 | 160 13600 95200 | 2147483647 58136 49 | 0.004 % |
312.95/313.18 c | 505931 | 160 13600 95200 | 2147483647 60186 49 | 0.004 % |
314.35/314.54 c | 508186 | 160 13600 95200 | 2147483647 62441 49 | 0.004 % |
316.05/316.26 c | 510664 | 160 13600 95200 | 64255 57673 49 | 0.004 % |
317.75/317.93 c | 513389 | 160 13600 95200 | 64255 60398 49 | 0.004 % |
319.75/319.91 c | 516387 | 160 13600 95200 | 64255 63396 49 | 0.004 % |
321.75/321.92 c | 519683 | 160 13600 95200 | 64255 59270 49 | 0.004 % |
323.75/323.99 c | 523308 | 160 13600 95200 | 59587 56331 49 | 0.004 % |
326.25/326.48 c | 527295 | 160 13600 95200 | 59587 54351 49 | 0.004 % |
328.65/328.90 c | 531680 | 160 13600 95200 | 2147483647 58736 49 | 0.004 % |
331.54/331.74 c | 536503 | 160 13600 95200 | 2147483647 63559 49 | 0.004 % |
331.64/331.82 c | 536603 | 160 13600 95200 | 2147483647 63659 49 | 0.004 % |
331.74/331.90 c | 536713 | 160 13600 95200 | 2147483647 63769 49 | 0.004 % |
331.74/331.99 c | 536835 | 160 13600 95200 | 2147483647 63891 49 | 0.004 % |
331.84/332.10 c | 536968 | 160 13600 95200 | 2147483647 64024 49 | 0.004 % |
332.05/332.22 c | 537116 | 160 13600 95200 | 2147483647 64172 49 | 0.004 % |
332.14/332.34 c | 537277 | 160 13600 95200 | 2147483647 64333 49 | 0.004 % |
332.24/332.47 c | 537454 | 160 13600 95200 | 2147483647 64510 49 | 0.004 % |
332.44/332.62 c | 537647 | 160 13600 95200 | 2147483647 64703 49 | 0.004 % |
332.54/332.77 c | 537859 | 160 13600 95200 | 2147483647 64915 49 | 0.004 % |
332.74/332.93 c | 538092 | 160 13600 95200 | 2147483647 65148 49 | 0.004 % |
332.94/333.14 c | 538348 | 160 13600 95200 | 2147483647 65404 49 | 0.004 % |
333.15/333.34 c | 538630 | 160 13600 95200 | 2147483647 65686 49 | 0.004 % |
333.34/333.56 c | 538940 | 160 13600 95200 | 2147483647 65996 49 | 0.004 % |
333.64/333.86 c | 539279 | 160 13600 95200 | 2147483647 66335 49 | 0.004 % |
333.94/334.13 c | 539651 | 160 13600 95200 | 2147483647 66707 49 | 0.004 % |
334.25/334.46 c | 540061 | 160 13600 95200 | 67057 67117 49 | 0.004 % |
334.64/334.87 c | 540510 | 160 13600 95200 | 67057 59751 49 | 0.004 % |
335.04/335.24 c | 541005 | 160 13600 95200 | 67057 60246 49 | 0.004 % |
335.44/335.64 c | 541547 | 160 13600 95200 | 67057 60788 49 | 0.004 % |
335.84/336.07 c | 542145 | 160 13600 95200 | 67057 61386 49 | 0.004 % |
336.35/336.53 c | 542800 | 160 13600 95200 | 67057 62041 49 | 0.004 % |
336.84/337.04 c | 543520 | 160 13600 95200 | 67057 62761 49 | 0.004 % |
337.44/337.62 c | 544312 | 160 13600 95200 | 67057 63553 49 | 0.004 % |
337.94/338.18 c | 545183 | 160 13600 95200 | 67057 64424 49 | 0.004 % |
338.64/338.82 c | 546143 | 160 13600 95200 | 67057 65384 49 | 0.004 % |
339.34/339.54 c | 547197 | 160 13600 95200 | 67057 66438 49 | 0.004 % |
340.14/340.39 c | 548355 | 160 13600 95200 | 67057 58286 49 | 0.004 % |
341.04/341.20 c | 549628 | 160 13600 95200 | 67057 59559 49 | 0.004 % |
341.74/341.99 c | 551028 | 160 13600 95200 | 59931 52963 49 | 0.004 % |
342.74/342.91 c | 552568 | 160 13600 95200 | 59931 54503 49 | 0.004 % |
343.74/343.96 c | 554262 | 160 13600 95200 | 59931 56197 49 | 0.004 % |
344.84/345.05 c | 556127 | 160 13600 95200 | 59931 58062 49 | 0.004 % |
346.04/346.28 c | 558177 | 160 13600 95200 | 59931 53928 49 | 0.004 % |
347.34/347.52 c | 560430 | 160 13600 95200 | 2147483647 56181 49 | 0.004 % |
348.83/349.03 c | 562908 | 160 13600 95200 | 2147483647 58659 49 | 0.004 % |
350.53/350.71 c | 565633 | 160 13600 95200 | 2147483647 61384 49 | 0.004 % |
352.43/352.61 c | 568631 | 160 13600 95200 | 2147483647 64382 49 | 0.004 % |
354.53/354.71 c | 571929 | 160 13600 95200 | 65751 60364 49 | 0.004 % |
356.83/357.03 c | 575554 | 160 13600 95200 | 65751 63989 49 | 0.004 % |
359.44/359.62 c | 579542 | 160 13600 95200 | 65751 60280 49 | 0.004 % |
362.03/362.27 c | 583927 | 160 13600 95200 | 60740 57619 49 | 0.004 % |
364.93/365.16 c | 588753 | 160 13600 95200 | 60740 56364 49 | 0.004 % |
368.04/368.23 c | 594058 | 160 13600 95200 | 2147483647 61669 49 | 0.004 % |
368.14/368.33 c | 594159 | 160 13600 95200 | 2147483647 61770 49 | 0.004 % |
368.24/368.41 c | 594269 | 160 13600 95200 | 2147483647 61880 49 | 0.004 % |
368.24/368.50 c | 594390 | 160 13600 95200 | 2147483647 62001 49 | 0.004 % |
368.34/368.59 c | 594523 | 160 13600 95200 | 2147483647 62134 49 | 0.004 % |
368.54/368.72 c | 594670 | 160 13600 95200 | 2147483647 62281 49 | 0.004 % |
368.64/368.85 c | 594831 | 160 13600 95200 | 2147483647 62442 49 | 0.004 % |
368.74/368.98 c | 595008 | 160 13600 95200 | 2147483647 62619 49 | 0.004 % |
368.94/369.14 c | 595201 | 160 13600 95200 | 2147483647 62812 49 | 0.004 % |
369.14/369.32 c | 595414 | 160 13600 95200 | 2147483647 63025 49 | 0.004 % |
369.34/369.52 c | 595649 | 160 13600 95200 | 2147483647 63260 49 | 0.004 % |
369.54/369.74 c | 595906 | 160 13600 95200 | 2147483647 63517 49 | 0.004 % |
369.74/369.94 c | 596187 | 160 13600 95200 | 2147483647 63798 49 | 0.004 % |
369.94/370.15 c | 596496 | 160 13600 95200 | 2147483647 64107 49 | 0.004 % |
370.14/370.38 c | 596835 | 160 13600 95200 | 2147483647 64446 49 | 0.004 % |
370.44/370.62 c | 597209 | 160 13600 95200 | 2147483647 64820 49 | 0.004 % |
370.73/370.92 c | 597618 | 160 13600 95200 | 2147483647 65229 49 | 0.004 % |
371.03/371.21 c | 598067 | 160 13600 95200 | 2147483647 65678 49 | 0.004 % |
371.43/371.61 c | 598561 | 160 13600 95200 | 2147483647 66172 49 | 0.004 % |
371.83/372.02 c | 599106 | 160 13600 95200 | 2147483647 66717 49 | 0.004 % |
372.23/372.47 c | 599703 | 160 13600 95200 | 2147483647 67314 49 | 0.004 % |
372.74/372.96 c | 600359 | 160 13600 95200 | 67613 59336 49 | 0.004 % |
373.33/373.51 c | 601079 | 160 13600 95200 | 67613 60056 49 | 0.004 % |
373.84/374.08 c | 601871 | 160 13600 95200 | 67613 60848 49 | 0.004 % |
374.53/374.71 c | 602743 | 160 13600 95200 | 67613 61720 49 | 0.004 % |
375.23/375.41 c | 603702 | 160 13600 95200 | 67613 62679 49 | 0.004 % |
375.83/376.08 c | 604756 | 160 13600 95200 | 67613 63733 49 | 0.004 % |
376.73/376.95 c | 605916 | 160 13600 95200 | 67613 64893 49 | 0.004 % |
377.63/377.85 c | 607190 | 160 13600 95200 | 67613 66167 49 | 0.004 % |
378.63/378.87 c | 608591 | 160 13600 95200 | 67613 67568 49 | 0.004 % |
379.83/380.04 c | 610131 | 160 13600 95200 | 59398 51311 49 | 0.004 % |
380.73/380.94 c | 611826 | 160 13600 95200 | 59398 53006 49 | 0.004 % |
381.73/381.94 c | 613691 | 160 13600 95200 | 59398 54871 49 | 0.004 % |
383.03/383.22 c | 615740 | 160 13600 95200 | 59398 56920 49 | 0.004 % |
384.43/384.65 c | 617993 | 160 13600 95200 | 59398 59173 49 | 0.004 % |
386.03/386.21 c | 620471 | 160 13600 95200 | 55050 49813 49 | 0.004 % |
387.43/387.62 c | 623196 | 160 13600 95200 | 55050 52538 49 | 0.004 % |
389.23/389.45 c | 626193 | 160 13600 95200 | 55050 50022 49 | 0.004 % |
391.03/391.25 c | 629489 | 160 13600 95200 | 55050 53318 49 | 0.004 % |
393.23/393.43 c | 633116 | 160 13600 95200 | 2147483647 56945 49 | 0.004 % |
395.73/395.93 c | 637104 | 160 13600 95200 | 2147483647 60933 49 | 0.004 % |
398.62/398.83 c | 641491 | 160 13600 95200 | 2147483647 65320 49 | 0.004 % |
401.72/401.97 c | 646314 | 160 13600 95200 | 2147483647 70143 49 | 0.004 % |
405.32/405.55 c | 651619 | 160 13600 95200 | 73829 64559 49 | 0.004 % |
409.22/409.43 c | 657456 | 160 13600 95200 | 73829 70396 49 | 0.004 % |
409.32/409.51 c | 657557 | 160 13600 95200 | 73829 70497 49 | 0.004 % |
409.42/409.62 c | 657668 | 160 13600 95200 | 73829 70608 49 | 0.004 % |
409.52/409.72 c | 657790 | 160 13600 95200 | 73829 70730 49 | 0.004 % |
409.62/409.83 c | 657923 | 160 13600 95200 | 73829 70863 49 | 0.004 % |
409.72/409.95 c | 658069 | 160 13600 95200 | 73829 71009 49 | 0.004 % |
409.92/410.13 c | 658230 | 160 13600 95200 | 73829 71170 49 | 0.004 % |
410.02/410.28 c | 658407 | 160 13600 95200 | 73829 71347 49 | 0.004 % |
410.22/410.48 c | 658601 | 160 13600 95200 | 73829 71541 49 | 0.004 % |
410.42/410.65 c | 658814 | 160 13600 95200 | 73829 71754 49 | 0.004 % |
410.62/410.87 c | 659047 | 160 13600 95200 | 73829 71987 49 | 0.004 % |
410.92/411.12 c | 659303 | 160 13600 95200 | 73829 72243 49 | 0.004 % |
411.12/411.40 c | 659584 | 160 13600 95200 | 73829 72524 49 | 0.004 % |
411.42/411.67 c | 659893 | 160 13600 95200 | 73829 72833 49 | 0.004 % |
411.82/412.03 c | 660232 | 160 13600 95200 | 72940 61586 49 | 0.004 % |
412.12/412.30 c | 660605 | 160 13600 95200 | 72940 61959 49 | 0.004 % |
412.32/412.59 c | 661014 | 160 13600 95200 | 72940 62368 49 | 0.004 % |
412.72/412.97 c | 661464 | 160 13600 95200 | 72940 62818 49 | 0.004 % |
413.12/413.35 c | 661958 | 160 13600 95200 | 72940 63312 49 | 0.004 % |
413.52/413.71 c | 662500 | 160 13600 95200 | 72940 63854 49 | 0.004 % |
413.92/414.16 c | 663098 | 160 13600 95200 | 72940 64452 49 | 0.004 % |
414.42/414.65 c | 663753 | 160 13600 95200 | 72940 65107 49 | 0.004 % |
415.01/415.20 c | 664473 | 160 13600 95200 | 72940 65827 49 | 0.004 % |
415.52/415.79 c | 665267 | 160 13600 95200 | 72940 66621 49 | 0.004 % |
416.21/416.49 c | 666140 | 160 13600 95200 | 72940 67494 49 | 0.004 % |
417.01/417.23 c | 667098 | 160 13600 95200 | 72940 68452 49 | 0.004 % |
417.91/418.11 c | 668155 | 160 13600 95200 | 72940 69509 49 | 0.004 % |
418.71/418.99 c | 669316 | 160 13600 95200 | 72940 70670 49 | 0.004 % |
419.81/420.02 c | 670591 | 160 13600 95200 | 71355 59964 49 | 0.004 % |
420.81/421.01 c | 671991 | 160 13600 95200 | 71355 61364 49 | 0.004 % |
421.71/421.98 c | 673532 | 160 13600 95200 | 71355 62905 49 | 0.004 % |
423.01/423.20 c | 675226 | 160 13600 95200 | 71355 64599 49 | 0.004 % |
424.21/424.45 c | 677089 | 160 13600 95200 | 71355 66462 49 | 0.004 % |
425.61/425.87 c | 679138 | 160 13600 95200 | 71355 68511 49 | 0.004 % |
427.21/427.40 c | 681395 | 160 13600 95200 | 69374 60337 49 | 0.004 % |
428.81/429.06 c | 683873 | 160 13600 95200 | 69374 62815 49 | 0.004 % |
430.80/431.04 c | 686598 | 160 13600 95200 | 69374 65540 49 | 0.004 % |
432.90/433.20 c | 689595 | 160 13600 95200 | 69374 68537 49 | 0.004 % |
435.50/435.70 c | 692894 | 160 13600 95200 | 68943 61558 49 | 0.004 % |
438.00/438.22 c | 696519 | 160 13600 95200 | 68943 65183 49 | 0.004 % |
441.00/441.20 c | 700506 | 160 13600 95200 | 68667 59320 49 | 0.004 % |
443.70/443.94 c | 704891 | 160 13600 95200 | 68667 63705 49 | 0.004 % |
447.20/447.45 c | 709714 | 160 13600 95200 | 68667 68528 49 | 0.004 % |
450.60/450.89 c | 715019 | 160 13600 95200 | 59445 56357 48 | 0.004 % |
454.30/454.59 c | 720854 | 160 13600 95200 | 54993 50219 49 | 0.004 % |
458.20/458.45 c | 727278 | 160 13600 95200 | 54993 51138 49 | 0.004 % |
458.30/458.52 c | 727380 | 160 13600 95200 | 54993 51240 49 | 0.004 % |
458.30/458.58 c | 727491 | 160 13600 95200 | 54993 51351 49 | 0.004 % |
458.40/458.66 c | 727613 | 160 13600 95200 | 54993 51473 49 | 0.004 % |
458.50/458.73 c | 727747 | 160 13600 95200 | 54993 51607 49 | 0.004 % |
458.60/458.81 c | 727894 | 160 13600 95200 | 54993 51754 49 | 0.004 % |
458.70/458.92 c | 728054 | 160 13600 95200 | 54993 51914 49 | 0.004 % |
458.80/459.06 c | 728232 | 160 13600 95200 | 54993 52092 49 | 0.004 % |
459.00/459.20 c | 728426 | 160 13600 95200 | 54993 52286 49 | 0.004 % |
459.10/459.36 c | 728638 | 160 13600 95200 | 54993 52498 49 | 0.004 % |
459.30/459.51 c | 728873 | 160 13600 95200 | 54993 52733 49 | 0.004 % |
459.40/459.64 c | 729130 | 160 13600 95200 | 54993 52990 49 | 0.004 % |
459.50/459.79 c | 729412 | 160 13600 95200 | 54993 53272 49 | 0.004 % |
459.69/460.00 c | 729721 | 160 13600 95200 | 54993 53581 49 | 0.004 % |
459.89/460.19 c | 730060 | 160 13600 95200 | 2147483647 53920 49 | 0.004 % |
460.19/460.48 c | 730433 | 160 13600 95200 | 2147483647 54293 49 | 0.004 % |
460.49/460.78 c | 730842 | 160 13600 95200 | 2147483647 54702 49 | 0.004 % |
460.79/461.07 c | 731291 | 160 13600 95200 | 2147483647 55151 49 | 0.004 % |
461.09/461.37 c | 731784 | 160 13600 95200 | 2147483647 55644 49 | 0.004 % |
461.49/461.71 c | 732327 | 160 13600 95200 | 2147483647 56187 49 | 0.004 % |
461.80/462.10 c | 732923 | 160 13600 95200 | 2147483647 56783 49 | 0.004 % |
462.30/462.54 c | 733580 | 160 13600 95200 | 2147483647 57440 49 | 0.004 % |
462.81/463.02 c | 734300 | 160 13600 95200 | 2147483647 58160 49 | 0.004 % |
463.40/463.60 c | 735092 | 160 13600 95200 | 2147483647 58952 49 | 0.004 % |
464.01/464.29 c | 735964 | 160 13600 95200 | 2147483647 59824 49 | 0.004 % |
464.70/464.94 c | 736923 | 160 13600 95200 | 2147483647 60783 49 | 0.004 % |
465.40/465.61 c | 737977 | 160 13600 95200 | 2147483647 61837 49 | 0.004 % |
466.00/466.27 c | 739136 | 160 13600 95200 | 2147483647 62996 49 | 0.004 % |
466.80/467.06 c | 740409 | 160 13600 95200 | 63860 57204 48 | 0.004 % |
467.60/467.88 c | 741811 | 160 13600 95200 | 63860 58606 48 | 0.004 % |
468.60/468.83 c | 743354 | 160 13600 95200 | 63860 60149 48 | 0.004 % |
469.60/469.83 c | 745050 | 160 13600 95200 | 63860 61845 49 | 0.004 % |
471.10/471.33 c | 746913 | 160 13600 95200 | 63860 63708 49 | 0.004 % |
472.50/472.75 c | 748962 | 160 13600 95200 | 63860 57938 49 | 0.004 % |
474.10/474.32 c | 751217 | 160 13600 95200 | 58977 53134 49 | 0.004 % |
475.50/475.78 c | 753695 | 160 13600 95200 | 58977 55612 49 | 0.004 % |
477.20/477.45 c | 756422 | 160 13600 95200 | 58977 58339 49 | 0.004 % |
479.10/479.31 c | 759422 | 160 13600 95200 | 58977 55433 49 | 0.004 % |
480.99/481.28 c | 762719 | 160 13600 95200 | 2147483647 58730 49 | 0.004 % |
483.29/483.55 c | 766345 | 160 13600 95200 | 2147483647 62356 49 | 0.004 % |
486.00/486.21 c | 770332 | 160 13600 95200 | 2147483647 66343 49 | 0.004 % |
488.99/489.29 c | 774718 | 160 13600 95200 | 2147483647 70729 49 | 0.004 % |
492.39/492.68 c | 779541 | 160 13600 95200 | 2147483647 75552 49 | 0.004 % |
496.49/496.70 c | 784847 | 160 13600 95200 | 76012 69923 49 | 0.004 % |
500.59/500.81 c | 790682 | 160 13600 95200 | 75076 63336 49 | 0.004 % |
504.69/504.97 c | 797100 | 160 13600 95200 | 75076 69754 49 | 0.004 % |
509.48/509.78 c | 804160 | 160 13600 95200 | 72656 65313 49 | 0.004 % |
509.58/509.86 c | 804263 | 160 13600 95200 | 72656 65416 49 | 0.004 % |
509.68/509.94 c | 804373 | 160 13600 95200 | 72656 65526 49 | 0.004 % |
509.78/510.04 c | 804495 | 160 13600 95200 | 72656 65648 49 | 0.004 % |
509.88/510.14 c | 804628 | 160 13600 95200 | 72656 65781 49 | 0.004 % |
509.98/510.26 c | 804774 | 160 13600 95200 | 72656 65927 49 | 0.004 % |
510.09/510.39 c | 804936 | 160 13600 95200 | 72656 66089 49 | 0.004 % |
510.28/510.52 c | 805114 | 160 13600 95200 | 72656 66267 49 | 0.004 % |
510.38/510.69 c | 805308 | 160 13600 95200 | 72656 66461 49 | 0.004 % |
510.58/510.84 c | 805521 | 160 13600 95200 | 72656 66674 49 | 0.004 % |
510.78/511.05 c | 805755 | 160 13600 95200 | 72656 66908 49 | 0.004 % |
510.98/511.26 c | 806011 | 160 13600 95200 | 72656 67164 49 | 0.004 % |
511.28/511.52 c | 806292 | 160 13600 95200 | 72656 67445 49 | 0.004 % |
511.48/511.77 c | 806602 | 160 13600 95200 | 72656 67755 49 | 0.004 % |
511.78/512.07 c | 806941 | 160 13600 95200 | 72656 68094 49 | 0.004 % |
512.08/512.34 c | 807313 | 160 13600 95200 | 72656 68466 49 | 0.004 % |
512.38/512.66 c | 807723 | 160 13600 95200 | 72656 68876 49 | 0.004 % |
512.78/513.02 c | 808172 | 160 13600 95200 | 72656 69325 49 | 0.004 % |
513.18/513.44 c | 808670 | 160 13600 95200 | 72656 69823 49 | 0.004 % |
513.58/513.82 c | 809213 | 160 13600 95200 | 72656 70366 49 | 0.004 % |
513.98/514.27 c | 809811 | 160 13600 95200 | 72656 70964 49 | 0.004 % |
514.58/514.83 c | 810468 | 160 13600 95200 | 71153 59990 49 | 0.004 % |
515.08/515.37 c | 811188 | 160 13600 95200 | 71153 60710 49 | 0.004 % |
515.58/515.90 c | 811980 | 160 13600 95200 | 71153 61502 49 | 0.004 % |
516.18/516.42 c | 812851 | 160 13600 95200 | 71153 62373 49 | 0.004 % |
516.78/517.03 c | 813809 | 160 13600 95200 | 71153 63331 49 | 0.004 % |
517.48/517.71 c | 814862 | 160 13600 95200 | 71153 64384 49 | 0.004 % |
518.28/518.53 c | 816020 | 160 13600 95200 | 71153 65542 49 | 0.004 % |
519.28/519.59 c | 817294 | 160 13600 95200 | 71153 66816 49 | 0.004 % |
520.37/520.60 c | 818696 | 160 13600 95200 | 71153 68218 49 | 0.004 % |
521.37/521.68 c | 820238 | 160 13600 95200 | 69522 59042 49 | 0.004 % |
522.37/522.61 c | 821932 | 160 13600 95200 | 69522 60736 49 | 0.004 % |
523.57/523.83 c | 823797 | 160 13600 95200 | 69522 62601 49 | 0.004 % |
524.97/525.22 c | 825847 | 160 13600 95200 | 69522 64651 49 | 0.004 % |
526.47/526.71 c | 828102 | 160 13600 95200 | 69522 66906 49 | 0.004 % |
528.07/528.38 c | 830581 | 160 13600 95200 | 68804 60488 49 | 0.004 % |
530.07/530.40 c | 833306 | 160 13600 95200 | 68804 63213 49 | 0.004 % |
532.18/532.49 c | 836304 | 160 13600 95200 | 68804 66211 49 | 0.004 % |
534.57/534.89 c | 839602 | 160 13600 95200 | 68804 58909 49 | 0.004 % |
536.67/536.96 c | 843227 | 160 13600 95200 | 59308 53526 49 | 0.004 % |
538.97/539.26 c | 847215 | 160 13600 95200 | 59308 57514 49 | 0.004 % |
541.77/542.08 c | 851601 | 160 13600 95200 | 2147483647 55963 49 | 0.004 % |
544.76/545.01 c | 856425 | 160 13600 95200 | 2147483647 60787 49 | 0.004 % |
548.06/548.33 c | 861731 | 160 13600 95200 | 64362 58829 49 | 0.004 % |
551.66/551.96 c | 867567 | 160 13600 95200 | 64362 57767 49 | 0.004 % |
555.56/555.80 c | 873986 | 160 13600 95200 | 60200 57510 49 | 0.004 % |
559.86/560.13 c | 881046 | 160 13600 95200 | 2147483647 58349 49 | 0.004 % |
565.16/565.44 c | 888812 | 160 13600 95200 | 2147483647 66115 49 | 0.004 % |
565.26/565.51 c | 888912 | 160 13600 95200 | 2147483647 66215 49 | 0.004 % |
565.26/565.58 c | 889023 | 160 13600 95200 | 2147483647 66326 49 | 0.004 % |
565.46/565.70 c | 889144 | 160 13600 95200 | 2147483647 66447 49 | 0.004 % |
565.56/565.81 c | 889277 | 160 13600 95200 | 2147483647 66580 49 | 0.004 % |
565.66/565.92 c | 889423 | 160 13600 95200 | 2147483647 66726 49 | 0.004 % |
565.76/566.05 c | 889583 | 160 13600 95200 | 2147483647 66886 49 | 0.004 % |
565.86/566.20 c | 889759 | 160 13600 95200 | 2147483647 67062 49 | 0.004 % |
566.06/566.34 c | 889953 | 160 13600 95200 | 2147483647 67256 49 | 0.004 % |
566.26/566.58 c | 890166 | 160 13600 95200 | 67304 58154 49 | 0.004 % |
566.46/566.75 c | 890399 | 160 13600 95200 | 67304 58387 49 | 0.004 % |
566.66/566.92 c | 890655 | 160 13600 95200 | 67304 58643 49 | 0.004 % |
566.76/567.09 c | 890939 | 160 13600 95200 | 67304 58927 49 | 0.004 % |
567.06/567.31 c | 891248 | 160 13600 95200 | 67304 59236 49 | 0.004 % |
567.26/567.55 c | 891588 | 160 13600 95200 | 67304 59576 49 | 0.004 % |
567.56/567.81 c | 891963 | 160 13600 95200 | 67304 59951 49 | 0.004 % |
567.86/568.12 c | 892372 | 160 13600 95200 | 67304 60360 49 | 0.004 % |
568.16/568.43 c | 892822 | 160 13600 95200 | 67304 60810 49 | 0.004 % |
568.46/568.76 c | 893317 | 160 13600 95200 | 67304 61305 49 | 0.004 % |
568.85/569.11 c | 893860 | 160 13600 95200 | 67304 61848 49 | 0.004 % |
569.25/569.50 c | 894456 | 160 13600 95200 | 67304 62444 49 | 0.004 % |
569.65/569.95 c | 895111 | 160 13600 95200 | 67304 63099 49 | 0.004 % |
570.15/570.41 c | 895832 | 160 13600 95200 | 67304 63820 49 | 0.004 % |
570.66/570.96 c | 896625 | 160 13600 95200 | 67304 64613 49 | 0.004 % |
571.25/571.56 c | 897496 | 160 13600 95200 | 67304 65484 49 | 0.004 % |
571.85/572.18 c | 898454 | 160 13600 95200 | 67304 66442 49 | 0.004 % |
572.65/572.90 c | 899507 | 160 13600 95200 | 67304 58614 49 | 0.004 % |
573.45/573.80 c | 900666 | 160 13600 95200 | 59108 51833 49 | 0.004 % |
574.25/574.58 c | 901941 | 160 13600 95200 | 59108 53108 49 | 0.004 % |
575.15/575.45 c | 903342 | 160 13600 95200 | 59108 54509 49 | 0.004 % |
576.06/576.39 c | 904882 | 160 13600 95200 | 59108 56049 49 | 0.004 % |
577.16/577.42 c | 906576 | 160 13600 95200 | 59108 57743 49 | 0.004 % |
578.45/578.72 c | 908439 | 160 13600 95200 | 59108 52926 49 | 0.004 % |
579.65/580.00 c | 910490 | 160 13600 95200 | 54488 48888 49 | 0.004 % |
580.95/581.23 c | 912743 | 160 13600 95200 | 54488 51141 49 | 0.004 % |
582.35/582.60 c | 915222 | 160 13600 95200 | 54488 53620 49 | 0.004 % |
583.75/584.01 c | 917948 | 160 13600 95200 | 54488 50890 49 | 0.004 % |
585.35/585.61 c | 920945 | 160 13600 95200 | 2147483647 53887 49 | 0.004 % |
587.25/587.56 c | 924241 | 160 13600 95200 | 2147483647 57183 49 | 0.004 % |
589.45/589.75 c | 927866 | 160 13600 95200 | 2147483647 60808 49 | 0.004 % |
591.94/592.28 c | 931853 | 160 13600 95200 | 2147483647 64795 49 | 0.004 % |
594.85/595.10 c | 936238 | 160 13600 95200 | 2147483647 69180 49 | 0.004 % |
598.05/598.35 c | 941061 | 160 13600 95200 | 72943 64436 49 | 0.004 % |
601.74/602.03 c | 946370 | 160 13600 95200 | 72943 69745 49 | 0.004 % |
605.54/605.82 c | 952205 | 160 13600 95200 | 62010 54664 49 | 0.004 % |
609.25/609.53 c | 958623 | 160 13600 95200 | 62010 61082 49 | 0.004 % |
613.25/613.54 c | 965683 | 160 13600 95200 | 55718 55444 49 | 0.004 % |
617.65/617.94 c | 973450 | 160 13600 95200 | 2147483647 57632 49 | 0.004 % |
622.94/623.25 c | 981991 | 160 13600 95200 | 2147483647 66173 49 | 0.004 % |
623.04/623.32 c | 982092 | 160 13600 95200 | 2147483647 66274 49 | 0.004 % |
623.14/623.41 c | 982203 | 160 13600 95200 | 2147483647 66385 49 | 0.004 % |
623.24/623.51 c | 982324 | 160 13600 95200 | 2147483647 66506 49 | 0.004 % |
623.35/623.62 c | 982457 | 160 13600 95200 | 2147483647 66639 49 | 0.004 % |
623.45/623.73 c | 982604 | 160 13600 95200 | 2147483647 66786 49 | 0.004 % |
623.54/623.84 c | 982764 | 160 13600 95200 | 2147483647 66946 49 | 0.004 % |
623.64/623.98 c | 982940 | 160 13600 95200 | 2147483647 67122 49 | 0.004 % |
623.84/624.14 c | 983135 | 160 13600 95200 | 2147483647 67317 49 | 0.004 % |
623.94/624.29 c | 983347 | 160 13600 95200 | 2147483647 67529 49 | 0.004 % |
624.14/624.47 c | 983580 | 160 13600 95200 | 2147483647 67762 49 | 0.004 % |
624.34/624.69 c | 983837 | 160 13600 95200 | 2147483647 68019 49 | 0.004 % |
624.64/624.92 c | 984118 | 160 13600 95200 | 2147483647 68300 49 | 0.004 % |
624.84/625.15 c | 984429 | 160 13600 95200 | 2147483647 68611 49 | 0.004 % |
625.14/625.44 c | 984769 | 160 13600 95200 | 2147483647 68951 49 | 0.004 % |
625.44/625.76 c | 985141 | 160 13600 95200 | 2147483647 69323 49 | 0.004 % |
625.84/626.12 c | 985552 | 160 13600 95200 | 2147483647 69734 49 | 0.004 % |
626.14/626.49 c | 986002 | 160 13600 95200 | 2147483647 70184 49 | 0.004 % |
626.54/626.87 c | 986495 | 160 13600 95200 | 2147483647 70677 49 | 0.004 % |
626.94/627.25 c | 987037 | 160 13600 95200 | 2147483647 71219 49 | 0.004 % |
627.44/627.73 c | 987636 | 160 13600 95200 | 2147483647 71818 49 | 0.004 % |
628.04/628.31 c | 988293 | 160 13600 95200 | 2147483647 72475 49 | 0.004 % |
628.64/628.92 c | 989014 | 160 13600 95200 | 2147483647 73196 49 | 0.004 % |
629.34/629.67 c | 989806 | 160 13600 95200 | 2147483647 73988 49 | 0.004 % |
630.14/630.48 c | 990678 | 160 13600 95200 | 74182 62545 49 | 0.004 % |
630.84/631.14 c | 991636 | 160 13600 95200 | 74182 63503 49 | 0.004 % |
631.54/631.87 c | 992690 | 160 13600 95200 | 74182 64557 49 | 0.004 % |
632.34/632.66 c | 993848 | 160 13600 95200 | 74182 65715 49 | 0.004 % |
633.24/633.54 c | 995124 | 160 13600 95200 | 74182 66991 49 | 0.004 % |
634.24/634.54 c | 996525 | 160 13600 95200 | 74182 68392 49 | 0.004 % |
635.44/635.76 c | 998065 | 160 13600 95200 | 74182 69932 49 | 0.004 % |
636.84/637.12 c | 999759 | 160 13600 95200 | 74182 71626 49 | 0.004 % |
638.24/638.59 c | 1001622 | 160 13600 95200 | 71867 62228 49 | 0.004 % |
639.74/640.02 c | 1003671 | 160 13600 95200 | 71867 64277 49 | 0.004 % |
641.24/641.55 c | 1005925 | 160 13600 95200 | 71867 66531 49 | 0.004 % |
642.94/643.23 c | 1008403 | 160 13600 95200 | 71867 69009 49 | 0.004 % |
644.74/645.03 c | 1011129 | 160 13600 95200 | 70606 60761 49 | 0.004 % |
646.73/647.09 c | 1014126 | 160 13600 95200 | 70606 63758 49 | 0.004 % |
648.93/649.23 c | 1017422 | 160 13600 95200 | 70606 67054 49 | 0.004 % |
651.63/651.90 c | 1021048 | 160 13600 95200 | 69632 60897 49 | 0.004 % |
654.43/654.76 c | 1025035 | 160 13600 95200 | 69632 64884 49 | 0.004 % |
657.53/657.84 c | 1029421 | 160 13600 95200 | 69632 69270 49 | 0.004 % |
660.23/660.58 c | 1034246 | 160 13600 95200 | 59599 55156 48 | 0.004 % |
663.13/663.47 c | 1039551 | 160 13600 95200 | 59599 54493 49 | 0.004 % |
666.83/667.16 c | 1045386 | 160 13600 95200 | 2147483647 60328 49 | 0.004 % |
670.92/671.22 c | 1051804 | 160 13600 95200 | 64943 59307 49 | 0.004 % |
675.52/675.88 c | 1058864 | 160 13600 95200 | 64943 58517 49 | 0.004 % |
680.72/681.03 c | 1066628 | 160 13600 95200 | 59653 59157 49 | 0.004 % |
685.92/686.29 c | 1075169 | 160 13600 95200 | 2147483647 61602 50 | 0.004 % |
692.02/692.30 c | 1084563 | 160 13600 95200 | 66433 63451 50 | 0.004 % |
692.12/692.41 c | 1084664 | 160 13600 95200 | 66433 63552 50 | 0.004 % |
692.12/692.50 c | 1084774 | 160 13600 95200 | 66433 63662 50 | 0.004 % |
692.22/692.59 c | 1084895 | 160 13600 95200 | 66433 63783 50 | 0.004 % |
692.31/692.67 c | 1085028 | 160 13600 95200 | 66433 63916 50 | 0.004 % |
692.51/692.83 c | 1085174 | 160 13600 95200 | 66433 64062 50 | 0.004 % |
692.62/692.96 c | 1085334 | 160 13600 95200 | 66433 64222 50 | 0.004 % |
692.81/693.10 c | 1085510 | 160 13600 95200 | 66433 64398 50 | 0.004 % |
692.91/693.27 c | 1085705 | 160 13600 95200 | 66433 64593 50 | 0.004 % |
693.11/693.47 c | 1085921 | 160 13600 95200 | 66433 64809 50 | 0.004 % |
693.31/693.67 c | 1086154 | 160 13600 95200 | 66433 65042 50 | 0.004 % |
693.51/693.86 c | 1086410 | 160 13600 95200 | 66433 65298 50 | 0.004 % |
693.72/694.10 c | 1086691 | 160 13600 95200 | 66433 65579 50 | 0.004 % |
694.01/694.33 c | 1087001 | 160 13600 95200 | 66433 65889 50 | 0.004 % |
694.31/694.67 c | 1087340 | 160 13600 95200 | 66433 66228 50 | 0.004 % |
694.71/695.02 c | 1087713 | 160 13600 95200 | 66433 57591 50 | 0.004 % |
694.92/695.25 c | 1088123 | 160 13600 95200 | 66433 58001 50 | 0.004 % |
695.21/695.52 c | 1088574 | 160 13600 95200 | 66433 58452 50 | 0.004 % |
695.51/695.87 c | 1089069 | 160 13600 95200 | 66433 58947 50 | 0.004 % |
695.92/696.28 c | 1089611 | 160 13600 95200 | 66433 59489 50 | 0.004 % |
696.41/696.72 c | 1090210 | 160 13600 95200 | 59878 52080 50 | 0.004 % |
696.71/697.07 c | 1090867 | 160 13600 95200 | 59878 52737 50 | 0.004 % |
697.12/697.47 c | 1091588 | 160 13600 95200 | 59878 53458 50 | 0.004 % |
697.61/698.00 c | 1092382 | 160 13600 95200 | 59878 54252 50 | 0.004 % |
698.22/698.55 c | 1093253 | 160 13600 95200 | 59878 55123 50 | 0.004 % |
698.81/699.17 c | 1094211 | 160 13600 95200 | 59878 56081 50 | 0.004 % |
699.51/699.82 c | 1095264 | 160 13600 95200 | 59878 57134 50 | 0.004 % |
700.21/700.50 c | 1096422 | 160 13600 95200 | 59878 58292 50 | 0.004 % |
701.01/701.31 c | 1097695 | 160 13600 95200 | 59878 59565 50 | 0.004 % |
701.81/702.17 c | 1099095 | 160 13600 95200 | 59878 54641 49 | 0.004 % |
702.91/703.21 c | 1100636 | 160 13600 95200 | 55548 50458 49 | 0.004 % |
703.81/704.12 c | 1102330 | 160 13600 95200 | 55548 52152 49 | 0.004 % |
704.81/705.11 c | 1104195 | 160 13600 95200 | 55548 54017 49 | 0.004 % |
705.91/706.25 c | 1106244 | 160 13600 95200 | 55548 50503 49 | 0.004 % |
707.11/707.41 c | 1108498 | 160 13600 95200 | 55548 52757 49 | 0.004 % |
708.31/708.67 c | 1110978 | 160 13600 95200 | 2147483647 55237 49 | 0.004 % |
709.91/710.23 c | 1113703 | 160 13600 95200 | 2147483647 57962 49 | 0.004 % |
711.61/711.92 c | 1116700 | 160 13600 95200 | 2147483647 60959 49 | 0.004 % |
713.71/714.02 c | 1119996 | 160 13600 95200 | 2147483647 64255 49 | 0.004 % |
716.01/716.39 c | 1123623 | 160 13600 95200 | 2147483647 67882 49 | 0.004 % |
718.90/719.29 c | 1127612 | 160 13600 95200 | 2147483647 71871 49 | 0.004 % |
722.10/722.48 c | 1131998 | 160 13600 95200 | 74259 65576 49 | 0.004 % |
725.40/725.79 c | 1136823 | 160 13600 95200 | 74259 70401 49 | 0.004 % |
729.30/729.68 c | 1142130 | 160 13600 95200 | 73580 64169 49 | 0.004 % |
733.19/733.57 c | 1147965 | 160 13600 95200 | 73580 70004 49 | 0.004 % |
737.59/737.99 c | 1154383 | 160 13600 95200 | 72039 65692 49 | 0.004 % |
742.79/743.11 c | 1161442 | 160 13600 95200 | 71309 62499 49 | 0.004 % |
748.49/748.83 c | 1169206 | 160 13600 95200 | 71309 70263 49 | 0.004 % |
754.30/754.60 c | 1177746 | 160 13600 95200 | 71057 68269 49 | 0.004 % |
760.80/761.13 c | 1187140 | 160 13600 95200 | 70523 67425 49 | 0.004 % |
767.79/768.16 c | 1197474 | 160 13600 95200 | 70286 68184 49 | 0.004 % |
767.89/768.27 c | 1197576 | 160 13600 95200 | 70286 68286 49 | 0.004 % |
767.99/768.35 c | 1197687 | 160 13600 95200 | 70286 68397 49 | 0.004 % |
768.09/768.46 c | 1197808 | 160 13600 95200 | 70286 68518 49 | 0.004 % |
768.19/768.55 c | 1197941 | 160 13600 95200 | 70286 68651 49 | 0.004 % |
768.29/768.66 c | 1198087 | 160 13600 95200 | 70286 68797 49 | 0.004 % |
768.50/768.81 c | 1198250 | 160 13600 95200 | 70286 68960 49 | 0.004 % |
768.60/768.97 c | 1198426 | 160 13600 95200 | 70286 69136 49 | 0.004 % |
768.79/769.12 c | 1198619 | 160 13600 95200 | 70286 69329 49 | 0.004 % |
768.89/769.29 c | 1198832 | 160 13600 95200 | 70286 69542 49 | 0.004 % |
769.09/769.47 c | 1199065 | 160 13600 95200 | 70286 69775 49 | 0.004 % |
769.29/769.67 c | 1199323 | 160 13600 95200 | 70286 70033 49 | 0.004 % |
769.49/769.89 c | 1199606 | 160 13600 95200 | 70286 70316 49 | 0.004 % |
769.79/770.14 c | 1199915 | 160 13600 95200 | 70286 60633 49 | 0.004 % |
770.09/770.42 c | 1200254 | 160 13600 95200 | 60718 52363 49 | 0.004 % |
770.19/770.58 c | 1200626 | 160 13600 95200 | 60718 52735 49 | 0.004 % |
770.49/770.80 c | 1201035 | 160 13600 95200 | 60718 53144 49 | 0.004 % |
770.69/771.09 c | 1201485 | 160 13600 95200 | 60718 53594 49 | 0.004 % |
770.99/771.39 c | 1201979 | 160 13600 95200 | 60718 54088 49 | 0.004 % |
771.29/771.67 c | 1202521 | 160 13600 95200 | 60718 54630 49 | 0.004 % |
771.69/772.01 c | 1203117 | 160 13600 95200 | 60718 55226 49 | 0.004 % |
771.99/772.31 c | 1203773 | 160 13600 95200 | 60718 55882 49 | 0.004 % |
772.29/772.70 c | 1204493 | 160 13600 95200 | 60718 56602 49 | 0.004 % |
772.79/773.18 c | 1205285 | 160 13600 95200 | 60718 57394 49 | 0.004 % |
773.19/773.59 c | 1206156 | 160 13600 95200 | 60718 58265 49 | 0.004 % |
773.79/774.15 c | 1207117 | 160 13600 95200 | 60718 59226 49 | 0.004 % |
774.39/774.72 c | 1208170 | 160 13600 95200 | 60718 60279 49 | 0.004 % |
775.09/775.50 c | 1209328 | 160 13600 95200 | 60718 55358 49 | 0.004 % |
775.79/776.19 c | 1210604 | 160 13600 95200 | 2147483647 56634 49 | 0.004 % |
776.69/777.02 c | 1212004 | 160 13600 95200 | 2147483647 58034 49 | 0.004 % |
777.59/777.92 c | 1213545 | 160 13600 95200 | 2147483647 59575 49 | 0.004 % |
778.59/778.97 c | 1215239 | 160 13600 95200 | 2147483647 61269 49 | 0.004 % |
779.78/780.10 c | 1217103 | 160 13600 95200 | 2147483647 63133 49 | 0.004 % |
780.99/781.39 c | 1219153 | 160 13600 95200 | 2147483647 65183 49 | 0.004 % |
782.38/782.74 c | 1221408 | 160 13600 95200 | 66030 60472 49 | 0.004 % |
783.99/784.32 c | 1223886 | 160 13600 95200 | 66030 62950 49 | 0.004 % |
785.78/786.17 c | 1226611 | 160 13600 95200 | 66030 65675 49 | 0.004 % |
787.78/788.12 c | 1229609 | 160 13600 95200 | 66030 60899 49 | 0.004 % |
789.88/790.24 c | 1232905 | 160 13600 95200 | 61291 56866 49 | 0.004 % |
792.08/792.40 c | 1236530 | 160 13600 95200 | 61291 60491 49 | 0.004 % |
794.48/794.84 c | 1240519 | 160 13600 95200 | 2147483647 58344 49 | 0.004 % |
797.08/797.44 c | 1244905 | 160 13600 95200 | 2147483647 62730 49 | 0.004 % |
800.28/800.68 c | 1249730 | 160 13600 95200 | 2147483647 67555 49 | 0.004 % |
803.87/804.23 c | 1255035 | 160 13600 95200 | 67828 65250 49 | 0.004 % |
807.77/808.15 c | 1260870 | 160 13600 95200 | 61112 54050 49 | 0.004 % |
811.67/812.03 c | 1267291 | 160 13600 95200 | 61112 60471 49 | 0.004 % |
815.67/816.00 c | 1274351 | 160 13600 95200 | 2147483647 61359 49 | 0.004 % |
820.77/821.17 c | 1282116 | 160 13600 95200 | 67008 61744 49 | 0.004 % |
826.47/826.89 c | 1290657 | 160 13600 95200 | 61569 54897 49 | 0.004 % |
832.17/832.57 c | 1300052 | 160 13600 95200 | 2147483647 58128 49 | 0.004 % |
839.16/839.59 c | 1310386 | 160 13600 95200 | 68078 59024 49 | 0.004 % |
846.76/847.12 c | 1321752 | 160 13600 95200 | 59478 53345 49 | 0.004 % |
846.76/847.17 c | 1321853 | 160 13600 95200 | 59478 53446 49 | 0.004 % |
846.86/847.23 c | 1321963 | 160 13600 95200 | 59478 53556 49 | 0.004 % |
846.86/847.30 c | 1322084 | 160 13600 95200 | 59478 53677 49 | 0.004 % |
847.06/847.41 c | 1322218 | 160 13600 95200 | 59478 53811 49 | 0.004 % |
847.16/847.52 c | 1322364 | 160 13600 95200 | 59478 53957 49 | 0.004 % |
847.26/847.63 c | 1322525 | 160 13600 95200 | 59478 54118 49 | 0.004 % |
847.36/847.76 c | 1322702 | 160 13600 95200 | 59478 54295 49 | 0.004 % |
847.46/847.89 c | 1322897 | 160 13600 95200 | 59478 54490 49 | 0.004 % |
847.66/848.06 c | 1323109 | 160 13600 95200 | 59478 54702 49 | 0.004 % |
847.86/848.22 c | 1323343 | 160 13600 95200 | 59478 54936 49 | 0.004 % |
847.96/848.38 c | 1323599 | 160 13600 95200 | 59478 55192 49 | 0.004 % |
848.16/848.57 c | 1323880 | 160 13600 95200 | 59478 55473 49 | 0.004 % |
848.36/848.75 c | 1324190 | 160 13600 95200 | 59478 55783 49 | 0.004 % |
848.56/848.95 c | 1324529 | 160 13600 95200 | 59478 56122 49 | 0.004 % |
848.76/849.18 c | 1324902 | 160 13600 95200 | 59478 56495 49 | 0.004 % |
849.06/849.43 c | 1325313 | 160 13600 95200 | 59478 56906 49 | 0.004 % |
849.36/849.74 c | 1325762 | 160 13600 95200 | 59478 57355 49 | 0.004 % |
849.66/850.09 c | 1326256 | 160 13600 95200 | 59478 57849 49 | 0.004 % |
850.05/850.42 c | 1326799 | 160 13600 95200 | 59478 58392 49 | 0.004 % |
850.35/850.79 c | 1327395 | 160 13600 95200 | 59478 58988 49 | 0.004 % |
850.96/851.31 c | 1328051 | 160 13600 95200 | 59478 53396 49 | 0.004 % |
851.45/851.86 c | 1328771 | 160 13600 95200 | 59478 54116 49 | 0.004 % |
851.95/852.36 c | 1329563 | 160 13600 95200 | 59478 54908 49 | 0.004 % |
852.55/852.99 c | 1330434 | 160 13600 95200 | 55346 50042 49 | 0.004 % |
853.16/853.57 c | 1331392 | 160 13600 95200 | 55346 51000 49 | 0.004 % |
853.85/854.25 c | 1332445 | 160 13600 95200 | 55346 52053 49 | 0.004 % |
854.55/854.93 c | 1333605 | 160 13600 95200 | 55346 53213 49 | 0.004 % |
855.25/855.66 c | 1334878 | 160 13600 95200 | 55346 54486 49 | 0.004 % |
856.05/856.47 c | 1336280 | 160 13600 95200 | 55346 50345 49 | 0.004 % |
856.95/857.35 c | 1337821 | 160 13600 95200 | 55346 51886 49 | 0.004 % |
858.05/858.42 c | 1339515 | 160 13600 95200 | 55346 53580 49 | 0.004 % |
859.35/859.70 c | 1341378 | 160 13600 95200 | 2147483647 55443 49 | 0.004 % |
860.55/860.92 c | 1343430 | 160 13600 95200 | 2147483647 57495 49 | 0.004 % |
861.75/862.18 c | 1345683 | 160 13600 95200 | 2147483647 59748 49 | 0.004 % |
863.35/863.72 c | 1348161 | 160 13600 95200 | 2147483647 62226 49 | 0.004 % |
865.05/865.43 c | 1350888 | 160 13600 95200 | 64065 57789 49 | 0.004 % |
866.65/867.09 c | 1353885 | 160 13600 95200 | 64065 60786 49 | 0.004 % |
868.85/869.20 c | 1357181 | 160 13600 95200 | 64065 64082 49 | 0.004 % |
870.95/871.30 c | 1360806 | 160 13600 95200 | 59708 54235 49 | 0.004 % |
872.95/873.31 c | 1364793 | 160 13600 95200 | 59708 58222 49 | 0.004 % |
875.35/875.75 c | 1369178 | 160 13600 95200 | 59708 56629 49 | 0.004 % |
878.25/878.62 c | 1374001 | 160 13600 95200 | 2147483647 61452 49 | 0.004 % |
881.94/882.39 c | 1379307 | 160 13600 95200 | 2147483647 66758 49 | 0.004 % |
885.84/886.21 c | 1385142 | 160 13600 95200 | 67452 64715 49 | 0.004 % |
890.15/890.51 c | 1391562 | 160 13600 95200 | 61061 55169 49 | 0.004 % |
894.05/894.44 c | 1398622 | 160 13600 95200 | 61061 56116 49 | 0.004 % |
898.95/899.32 c | 1406387 | 160 13600 95200 | 2147483647 63881 49 | 0.004 % |
904.74/905.10 c | 1414929 | 160 13600 95200 | 67495 64655 49 | 0.004 % |
910.54/910.93 c | 1424323 | 160 13600 95200 | 61491 58567 49 | 0.004 % |
917.24/917.69 c | 1434658 | 160 13600 95200 | 2147483647 62738 49 | 0.004 % |
925.44/925.84 c | 1446026 | 160 13600 95200 | 68081 65181 49 | 0.004 % |
932.24/932.64 c | 1458528 | 160 13600 95200 | 59638 54037 49 | 0.004 % |
932.34/932.73 c | 1458629 | 160 13600 95200 | 59638 54138 49 | 0.004 % |
932.44/932.81 c | 1458740 | 160 13600 95200 | 59638 54249 49 | 0.004 % |
932.44/932.89 c | 1458862 | 160 13600 95200 | 59638 54371 49 | 0.004 % |
932.53/932.97 c | 1458996 | 160 13600 95200 | 59638 54505 49 | 0.004 % |
932.63/933.07 c | 1459143 | 160 13600 95200 | 59638 54652 49 | 0.004 % |
932.73/933.18 c | 1459304 | 160 13600 95200 | 59638 54813 49 | 0.004 % |
932.93/933.30 c | 1459480 | 160 13600 95200 | 59638 54989 49 | 0.004 % |
933.03/933.44 c | 1459674 | 160 13600 95200 | 59638 55183 49 | 0.004 % |
933.13/933.58 c | 1459887 | 160 13600 95200 | 59638 55396 49 | 0.004 % |
933.33/933.74 c | 1460121 | 160 13600 95200 | 2147483647 55630 49 | 0.004 % |
933.44/933.89 c | 1460377 | 160 13600 95200 | 2147483647 55886 49 | 0.004 % |
933.63/934.07 c | 1460660 | 160 13600 95200 | 2147483647 56169 49 | 0.004 % |
933.83/934.25 c | 1460969 | 160 13600 95200 | 2147483647 56478 49 | 0.004 % |
934.03/934.47 c | 1461308 | 160 13600 95200 | 2147483647 56817 49 | 0.004 % |
934.33/934.70 c | 1461682 | 160 13600 95200 | 2147483647 57191 49 | 0.004 % |
934.54/934.93 c | 1462091 | 160 13600 95200 | 2147483647 57600 49 | 0.004 % |
934.83/935.21 c | 1462541 | 160 13600 95200 | 2147483647 58050 49 | 0.004 % |
935.03/935.48 c | 1463034 | 160 13600 95200 | 2147483647 58543 49 | 0.004 % |
935.43/935.87 c | 1463576 | 160 13600 95200 | 2147483647 59085 49 | 0.004 % |
935.93/936.32 c | 1464173 | 160 13600 95200 | 2147483647 59682 49 | 0.004 % |
936.43/936.80 c | 1464829 | 160 13600 95200 | 2147483647 60338 49 | 0.004 % |
936.83/937.29 c | 1465549 | 160 13600 95200 | 2147483647 61058 49 | 0.004 % |
937.53/937.93 c | 1466341 | 160 13600 95200 | 2147483647 61850 49 | 0.004 % |
938.13/938.52 c | 1467212 | 160 13600 95200 | 2147483647 62721 49 | 0.004 % |
938.73/939.19 c | 1468170 | 160 13600 95200 | 2147483647 63679 49 | 0.004 % |
939.53/939.94 c | 1469223 | 160 13600 95200 | 2147483647 64732 49 | 0.004 % |
940.43/940.84 c | 1470383 | 160 13600 95200 | 65509 57830 49 | 0.004 % |
941.23/941.66 c | 1471656 | 160 13600 95200 | 65509 59103 49 | 0.004 % |
942.13/942.50 c | 1473056 | 160 13600 95200 | 65509 60503 49 | 0.004 % |
943.13/943.60 c | 1474597 | 160 13600 95200 | 65509 62044 49 | 0.004 % |
944.43/944.83 c | 1476292 | 160 13600 95200 | 65509 63739 49 | 0.004 % |
945.82/946.23 c | 1478155 | 160 13600 95200 | 65509 56911 49 | 0.004 % |
947.12/947.55 c | 1480205 | 160 13600 95200 | 58756 51388 49 | 0.004 % |
948.22/948.69 c | 1482458 | 160 13600 95200 | 58756 53641 49 | 0.004 % |
949.72/950.15 c | 1484941 | 160 13600 95200 | 58756 56124 49 | 0.004 % |
951.42/951.89 c | 1487671 | 160 13600 95200 | 58756 52970 49 | 0.004 % |
953.23/953.64 c | 1490668 | 160 13600 95200 | 2147483647 55967 49 | 0.004 % |
955.22/955.69 c | 1493964 | 160 13600 95200 | 2147483647 59263 49 | 0.004 % |
957.73/958.17 c | 1497590 | 160 13600 95200 | 2147483647 62889 49 | 0.004 % |
960.62/961.10 c | 1501578 | 160 13600 95200 | 65299 59080 49 | 0.004 % |
963.52/963.95 c | 1505964 | 160 13600 95200 | 65299 63466 49 | 0.004 % |
966.62/967.00 c | 1510789 | 160 13600 95200 | 59321 52963 49 | 0.004 % |
969.82/970.25 c | 1516094 | 160 13600 95200 | 59321 58268 49 | 0.004 % |
973.31/973.77 c | 1521929 | 160 13600 95200 | 2147483647 58164 49 | 0.004 % |
977.71/978.11 c | 1528347 | 160 13600 95200 | 2147483647 64582 49 | 0.004 % |
982.21/982.69 c | 1535407 | 160 13600 95200 | 66237 63851 49 | 0.004 % |
987.11/987.51 c | 1543171 | 160 13600 95200 | 60542 56763 49 | 0.004 % |
992.61/993.07 c | 1551712 | 160 13600 95200 | 57281 53097 49 | 0.004 % |
998.21/998.70 c | 1561108 | 160 13600 95200 | 2147483647 56757 49 | 0.004 % |
1004.60/1005.08 c | 1571441 | 160 13600 95200 | 65649 60469 49 | 0.004 % |
1012.00/1012.41 c | 1582808 | 160 13600 95200 | 61700 57557 49 | 0.004 % |
1019.30/1019.72 c | 1595311 | 160 13600 95200 | 2147483647 63608 49 | 0.004 % |
1028.30/1028.72 c | 1609063 | 160 13600 95200 | 68298 60235 50 | 0.004 % |
1028.30/1028.79 c | 1609163 | 160 13600 95200 | 68298 60335 50 | 0.004 % |
1028.40/1028.86 c | 1609276 | 160 13600 95200 | 68298 60448 50 | 0.004 % |
1028.50/1028.92 c | 1609398 | 160 13600 95200 | 68298 60570 50 | 0.004 % |
1028.60/1029.01 c | 1609532 | 160 13600 95200 | 68298 60704 50 | 0.004 % |
1028.70/1029.11 c | 1609680 | 160 13600 95200 | 68298 60852 50 | 0.004 % |
1028.80/1029.21 c | 1609840 | 160 13600 95200 | 68298 61012 50 | 0.004 % |
1028.90/1029.35 c | 1610016 | 160 13600 95200 | 61174 61188 50 | 0.004 % |
1029.10/1029.52 c | 1610210 | 160 13600 95200 | 61174 53516 50 | 0.004 % |
1029.20/1029.64 c | 1610424 | 160 13600 95200 | 61174 53730 50 | 0.004 % |
1029.29/1029.78 c | 1610658 | 160 13600 95200 | 61174 53964 50 | 0.004 % |
1029.49/1029.92 c | 1610914 | 160 13600 95200 | 61174 54220 50 | 0.004 % |
1029.59/1030.09 c | 1611196 | 160 13600 95200 | 61174 54502 50 | 0.004 % |
1029.79/1030.27 c | 1611505 | 160 13600 95200 | 61174 54811 50 | 0.004 % |
1030.09/1030.51 c | 1611844 | 160 13600 95200 | 61174 55150 50 | 0.004 % |
1030.30/1030.76 c | 1612216 | 160 13600 95200 | 61174 55522 50 | 0.004 % |
1030.59/1031.05 c | 1612625 | 160 13600 95200 | 61174 55931 50 | 0.004 % |
1030.89/1031.35 c | 1613074 | 160 13600 95200 | 61174 56380 50 | 0.004 % |
1031.19/1031.67 c | 1613567 | 160 13600 95200 | 61174 56873 50 | 0.004 % |
1031.59/1032.01 c | 1614109 | 160 13600 95200 | 61174 57415 50 | 0.004 % |
1031.89/1032.32 c | 1614706 | 160 13600 95200 | 61174 58012 50 | 0.004 % |
1032.29/1032.74 c | 1615361 | 160 13600 95200 | 61174 58667 50 | 0.004 % |
1032.79/1033.25 c | 1616081 | 160 13600 95200 | 61174 59387 50 | 0.004 % |
1033.39/1033.80 c | 1616875 | 160 13600 95200 | 61174 60181 50 | 0.004 % |
1033.99/1034.43 c | 1617747 | 160 13600 95200 | 61174 61053 50 | 0.004 % |
1034.59/1035.08 c | 1618705 | 160 13600 95200 | 61174 54795 50 | 0.004 % |
1035.29/1035.75 c | 1619758 | 160 13600 95200 | 61174 55848 50 | 0.004 % |
1036.09/1036.51 c | 1620916 | 160 13600 95200 | 56090 50481 50 | 0.004 % |
1036.80/1037.23 c | 1622192 | 160 13600 95200 | 56090 51757 50 | 0.004 % |
1037.69/1038.18 c | 1623594 | 160 13600 95200 | 56090 53159 50 | 0.004 % |
1038.69/1039.14 c | 1625134 | 160 13600 95200 | 56090 54699 50 | 0.004 % |
1039.89/1040.32 c | 1626828 | 160 13600 95200 | 56090 50777 50 | 0.004 % |
1040.89/1041.35 c | 1628691 | 160 13600 95200 | 56090 52640 49 | 0.004 % |
1042.09/1042.57 c | 1630740 | 160 13600 95200 | 2147483647 54689 49 | 0.004 % |
1043.29/1043.79 c | 1632993 | 160 13600 95200 | 2147483647 56942 49 | 0.004 % |
1044.89/1045.34 c | 1635471 | 160 13600 95200 | 2147483647 59420 49 | 0.004 % |
1046.59/1047.03 c | 1638196 | 160 13600 95200 | 2147483647 62145 49 | 0.004 % |
1048.39/1048.89 c | 1641193 | 160 13600 95200 | 63949 58101 49 | 0.004 % |
1050.39/1050.86 c | 1644490 | 160 13600 95200 | 63949 61398 49 | 0.004 % |
1052.69/1053.15 c | 1648115 | 160 13600 95200 | 63949 57870 49 | 0.004 % |
1054.99/1055.49 c | 1652104 | 160 13600 95200 | 59755 55338 49 | 0.004 % |
1057.59/1058.01 c | 1656491 | 160 13600 95200 | 59755 59725 49 | 0.004 % |
1060.49/1060.96 c | 1661317 | 160 13600 95200 | 2147483647 58570 49 | 0.004 % |
1063.79/1064.24 c | 1666622 | 160 13600 95200 | 2147483647 63875 49 | 0.004 % |
1067.39/1067.83 c | 1672457 | 160 13600 95200 | 67253 62780 49 | 0.004 % |
1071.49/1071.94 c | 1678875 | 160 13600 95200 | 67253 61098 49 | 0.004 % |
1075.48/1075.98 c | 1685935 | 160 13600 95200 | 62223 60826 49 | 0.004 % |
1079.88/1080.37 c | 1693700 | 160 13600 95200 | 2147483647 62361 49 | 0.004 % |
1085.58/1086.01 c | 1702240 | 160 13600 95200 | 68661 63469 49 | 0.004 % |
1091.58/1092.08 c | 1711634 | 160 13600 95200 | 62781 56747 49 | 0.004 % |
1098.08/1098.50 c | 1721967 | 160 13600 95200 | 57969 53557 49 | 0.004 % |
1104.87/1105.38 c | 1733334 | 160 13600 95200 | 2147483647 59120 49 | 0.004 % |
1113.67/1114.17 c | 1745836 | 160 13600 95200 | 65786 63645 49 | 0.004 % |
1122.37/1122.82 c | 1759588 | 160 13600 95200 | 59814 56194 50 | 0.004 % |
1130.06/1130.50 c | 1774717 | 160 13600 95200 | 2147483647 59944 50 | 0.004 % |
1130.06/1130.57 c | 1774820 | 160 13600 95200 | 2147483647 60047 50 | 0.004 % |
1130.16/1130.63 c | 1774930 | 160 13600 95200 | 2147483647 60157 50 | 0.004 % |
1130.27/1130.70 c | 1775052 | 160 13600 95200 | 2147483647 60279 50 | 0.004 % |
1130.27/1130.80 c | 1775186 | 160 13600 95200 | 2147483647 60413 50 | 0.004 % |
1130.46/1130.90 c | 1775332 | 160 13600 95200 | 2147483647 60559 50 | 0.004 % |
1130.46/1130.99 c | 1775492 | 160 13600 95200 | 2147483647 60719 50 | 0.004 % |
1130.66/1131.10 c | 1775668 | 160 13600 95200 | 2147483647 60895 50 | 0.004 % |
1130.76/1131.23 c | 1775862 | 160 13600 95200 | 2147483647 61089 50 | 0.004 % |
1130.86/1131.38 c | 1776075 | 160 13600 95200 | 2147483647 61302 50 | 0.004 % |
1131.06/1131.52 c | 1776308 | 160 13600 95200 | 2147483647 61535 50 | 0.004 % |
1131.16/1131.70 c | 1776564 | 160 13600 95200 | 2147483647 61791 50 | 0.004 % |
1131.37/1131.90 c | 1776845 | 160 13600 95200 | 2147483647 62072 50 | 0.004 % |
1131.66/1132.14 c | 1777154 | 160 13600 95200 | 2147483647 62381 50 | 0.004 % |
1131.86/1132.39 c | 1777494 | 160 13600 95200 | 2147483647 62721 50 | 0.004 % |
1132.16/1132.62 c | 1777866 | 160 13600 95200 | 2147483647 63093 50 | 0.004 % |
1132.47/1132.91 c | 1778275 | 160 13600 95200 | 2147483647 63502 50 | 0.004 % |
1132.76/1133.24 c | 1778724 | 160 13600 95200 | 2147483647 63951 50 | 0.004 % |
1133.06/1133.57 c | 1779218 | 160 13600 95200 | 2147483647 64445 50 | 0.004 % |
1133.46/1133.93 c | 1779762 | 160 13600 95200 | 2147483647 64989 50 | 0.004 % |
1133.96/1134.45 c | 1780359 | 160 13600 95200 | 65227 57687 50 | 0.004 % |
1134.36/1134.83 c | 1781016 | 160 13600 95200 | 65227 58344 50 | 0.004 % |
1134.86/1135.30 c | 1781736 | 160 13600 95200 | 65227 59064 50 | 0.004 % |
1135.26/1135.79 c | 1782528 | 160 13600 95200 | 65227 59856 50 | 0.004 % |
1135.87/1136.40 c | 1783399 | 160 13600 95200 | 65227 60727 50 | 0.004 % |
1136.56/1137.09 c | 1784357 | 160 13600 95200 | 65227 61685 50 | 0.004 % |
1137.26/1137.79 c | 1785410 | 160 13600 95200 | 65227 62738 50 | 0.004 % |
1138.07/1138.51 c | 1786568 | 160 13600 95200 | 65227 63896 50 | 0.004 % |
1138.86/1139.39 c | 1787841 | 160 13600 95200 | 65227 65169 50 | 0.004 % |
1139.76/1140.29 c | 1789244 | 160 13600 95200 | 65227 58153 49 | 0.004 % |
1140.76/1141.21 c | 1790785 | 160 13600 95200 | 58910 52420 49 | 0.004 % |
1141.76/1142.20 c | 1792480 | 160 13600 95200 | 58910 54115 49 | 0.004 % |
1142.76/1143.30 c | 1794344 | 160 13600 95200 | 58910 55979 49 | 0.004 % |
1144.15/1144.62 c | 1796393 | 160 13600 95200 | 58910 58028 49 | 0.004 % |
1145.55/1146.04 c | 1798647 | 160 13600 95200 | 58910 54172 49 | 0.004 % |
1147.15/1147.66 c | 1801127 | 160 13600 95200 | 2147483647 56652 49 | 0.004 % |
1148.96/1149.40 c | 1803853 | 160 13600 95200 | 2147483647 59378 49 | 0.004 % |
1150.85/1151.38 c | 1806851 | 160 13600 95200 | 2147483647 62376 49 | 0.004 % |
1153.15/1153.60 c | 1810148 | 160 13600 95200 | 65527 58475 49 | 0.004 % |
1155.35/1155.86 c | 1813773 | 160 13600 95200 | 65527 62100 49 | 0.004 % |
1158.15/1158.64 c | 1817760 | 160 13600 95200 | 65527 58321 49 | 0.004 % |
1160.75/1161.25 c | 1822146 | 160 13600 95200 | 60561 55872 49 | 0.004 % |
1163.65/1164.17 c | 1826973 | 160 13600 95200 | 60561 54636 49 | 0.004 % |
1167.05/1167.58 c | 1832278 | 160 13600 95200 | 2147483647 59941 49 | 0.004 % |
1170.85/1171.37 c | 1838113 | 160 13600 95200 | 2147483647 65776 49 | 0.004 % |
1175.24/1175.74 c | 1844531 | 160 13600 95200 | 67665 64427 49 | 0.004 % |
1179.64/1180.19 c | 1851592 | 160 13600 95200 | 61176 54972 50 | 0.004 % |
1184.05/1184.55 c | 1859356 | 160 13600 95200 | 61176 56378 50 | 0.004 % |
1188.75/1189.29 c | 1867897 | 160 13600 95200 | 57022 53426 50 | 0.004 % |
1194.35/1194.84 c | 1877292 | 160 13600 95200 | 2147483647 62821 50 | 0.004 % |
1200.05/1200.51 HOME/SatELiteGTI: line 36: 18815 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-1832607-1242785063/watcher-1832607-1242785063 -o /tmp/evaluation-result-1832607-1242785063/solver-1832607-1242785063 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832607-1242785063.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.02 1.03 1.00 3/65 18809
/proc/meminfo: memFree=1771512/2055920 swapFree=4178880/4192956
[pid=18809] ppid=18807 vsize=5356 CPUtime=0
/proc/18809/stat : 18809 (SatELiteGTI) S 18807 18809 18244 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306534671 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18809/statm: 1339 237 197 169 0 50 0
[startup+0.0521481 s]
/proc/loadavg: 1.02 1.03 1.00 3/65 18809
/proc/meminfo: memFree=1771512/2055920 swapFree=4178880/4192956
[pid=18809] ppid=18807 vsize=5356 CPUtime=0
/proc/18809/stat : 18809 (SatELiteGTI) S 18807 18809 18244 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306534671 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18809/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101157 s]
/proc/loadavg: 1.02 1.03 1.00 3/65 18809
/proc/meminfo: memFree=1771512/2055920 swapFree=4178880/4192956
[pid=18809] ppid=18807 vsize=5356 CPUtime=0.04
/proc/18809/stat : 18809 (SatELiteGTI) S 18807 18809 18244 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306534671 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18809/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.301182 s]
/proc/loadavg: 1.02 1.03 1.00 3/65 18809
/proc/meminfo: memFree=1771512/2055920 swapFree=4178880/4192956
[pid=18809] ppid=18807 vsize=5356 CPUtime=0.04
/proc/18809/stat : 18809 (SatELiteGTI) S 18807 18809 18244 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306534671 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18809/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.701233 s]
/proc/loadavg: 1.02 1.03 1.00 3/65 18809
/proc/meminfo: memFree=1771512/2055920 swapFree=4178880/4192956
[pid=18809] ppid=18807 vsize=5356 CPUtime=0.04
/proc/18809/stat : 18809 (SatELiteGTI) S 18807 18809 18244 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306534671 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18809/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+1.50133 s]
/proc/loadavg: 1.02 1.03 1.00 2/67 18815
/proc/meminfo: memFree=1768360/2055920 swapFree=4178880/4192956
[pid=18809] ppid=18807 vsize=5356 CPUtime=0.04
/proc/18809/stat : 18809 (SatELiteGTI) S 18807 18809 18244 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306534671 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18809/statm: 1339 239 197 169 0 50 0
[pid=18815] ppid=18809 vsize=4696 CPUtime=1.43
/proc/18815/stat : 18815 (minisat_static) R 18809 18809 18244 0 -1 4194304 922 0 0 0 143 0 0 0 25 0 1 0 306534676 4808704 908 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/18815/statm: 1174 908 76 171 0 1001 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10052
[startup+3.10153 s]
/proc/loadavg: 1.02 1.03 1.00 2/67 18815
/proc/meminfo: memFree=1766376/2055920 swapFree=4178880/4192956
[pid=18809] ppid=18807 vsize=5356 CPUtime=0.04
/proc/18809/stat : 18809 (SatELiteGTI) S 18807 18809 18244 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306534671 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18809/statm: 1339 239 197 169 0 50 0
[pid=18815] ppid=18809 vsize=6820 CPUtime=3.03
/proc/18815/stat : 18815 (minisat_static) R 18809 18809 18244 0 -1 4194304 1427 0 0 0 303 0 0 0 25 0 1 0 306534676 6983680 1413 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/18815/statm: 1705 1414 76 171 0 1532 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 12176
[startup+6.30194 s]
/proc/loadavg: 1.02 1.03 1.00 2/67 18815
/proc/meminfo: memFree=1763112/2055920 swapFree=4178880/4192956
[pid=18809] ppid=18807 vsize=5356 CPUtime=0.04
/proc/18809/stat : 18809 (SatELiteGTI) S 18807 18809 18244 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306534671 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18809/statm: 1339 239 197 169 0 50 0
[pid=18815] ppid=18809 vsize=9496 CPUtime=6.23
/proc/18815/stat : 18815 (minisat_static) R 18809 18809 18244 0 -1 4194304 2084 0 0 0 622 1 0 0 25 0 1 0 306534676 9723904 2070 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/18815/statm: 2374 2070 76 171 0 2201 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 14852
[startup+12.7017 s]
/proc/loadavg: 1.02 1.02 1.00 2/67 18815
/proc/meminfo: memFree=1759208/2055920 swapFree=4178880/4192956
[pid=18809] ppid=18807 vsize=5356 CPUtime=0.04
/proc/18809/stat : 18809 (SatELiteGTI) S 18807 18809 18244 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306534671 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18809/statm: 1339 239 197 169 0 50 0
[pid=18815] ppid=18809 vsize=12884 CPUtime=12.63
/proc/18815/stat : 18815 (minisat_static) R 18809 18809 18244 0 -1 4194304 2954 0 0 0 1261 2 0 0 25 0 1 0 306534676 13193216 2940 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18815/statm: 3221 2940 76 171 0 3048 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 18240
[startup+25.5014 s]
/proc/loadavg: 1.01 1.02 1.00 2/67 18815
/proc/meminfo: memFree=1754280/2055920 swapFree=4178880/4192956
[pid=18809] ppid=18807 vsize=5356 CPUtime=0.04
/proc/18809/stat : 18809 (SatELiteGTI) S 18807 18809 18244 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306534671 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18809/statm: 1339 239 197 169 0 50 0
[pid=18815] ppid=18809 vsize=17772 CPUtime=25.43
/proc/18815/stat : 18815 (minisat_static) R 18809 18809 18244 0 -1 4194304 4135 0 0 0 2539 4 0 0 25 0 1 0 306534676 18198528 4121 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/18815/statm: 4443 4121 76 171 0 4270 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 23128
[startup+51.1016 s]
/proc/loadavg: 1.01 1.02 1.00 2/67 18815
/proc/meminfo: memFree=1753960/2055920 swapFree=4178880/4192956
[pid=18809] ppid=18807 vsize=5356 CPUtime=0.04
/proc/18809/stat : 18809 (SatELiteGTI) S 18807 18809 18244 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306534671 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18809/statm: 1339 239 197 169 0 50 0
[pid=18815] ppid=18809 vsize=17904 CPUtime=51.02
/proc/18815/stat : 18815 (minisat_static) R 18809 18809 18244 0 -1 4194304 4187 0 0 0 5098 4 0 0 25 0 1 0 306534676 18333696 4173 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18815/statm: 4476 4173 76 171 0 4303 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 23260
[startup+102.305 s]
/proc/loadavg: 1.00 1.02 1.00 2/67 18815
/proc/meminfo: memFree=1753192/2055920 swapFree=4178880/4192956
[pid=18809] ppid=18807 vsize=5356 CPUtime=0.04
/proc/18809/stat : 18809 (SatELiteGTI) S 18807 18809 18244 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306534671 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18809/statm: 1339 239 197 169 0 50 0
[pid=18815] ppid=18809 vsize=18564 CPUtime=102.21
/proc/18815/stat : 18815 (minisat_static) R 18809 18809 18244 0 -1 4194304 4353 0 0 0 10216 5 0 0 25 0 1 0 306534676 19009536 4339 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18815/statm: 4641 4339 76 171 0 4468 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 23920
[startup+162.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 18815
/proc/meminfo: memFree=1752872/2055920 swapFree=4178880/4192956
[pid=18809] ppid=18807 vsize=5356 CPUtime=0.04
/proc/18809/stat : 18809 (SatELiteGTI) S 18807 18809 18244 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306534671 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18809/statm: 1339 239 197 169 0 50 0
[pid=18815] ppid=18809 vsize=18828 CPUtime=162.19
/proc/18815/stat : 18815 (minisat_static) R 18809 18809 18244 0 -1 4194304 4406 0 0 0 16213 6 0 0 25 0 1 0 306534676 19279872 4392 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/18815/statm: 4707 4392 76 171 0 4534 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 24184
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 18815
/proc/meminfo: memFree=1750568/2055920 swapFree=4178880/4192956
[pid=18809] ppid=18807 vsize=5356 CPUtime=0.04
/proc/18809/stat : 18809 (SatELiteGTI) S 18807 18809 18244 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306534671 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18809/statm: 1339 239 197 169 0 50 0
[pid=18815] ppid=18809 vsize=20956 CPUtime=222.16
/proc/18815/stat : 18815 (minisat_static) R 18809 18809 18244 0 -1 4194304 4963 0 0 0 22209 7 0 0 25 0 1 0 306534676 21458944 4949 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18815/statm: 5239 4949 76 171 0 5066 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 26312
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 18815
/proc/meminfo: memFree=1750376/2055920 swapFree=4178880/4192956
[pid=18809] ppid=18807 vsize=5356 CPUtime=0.04
/proc/18809/stat : 18809 (SatELiteGTI) S 18807 18809 18244 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306534671 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18809/statm: 1339 239 197 169 0 50 0
[pid=18815] ppid=18809 vsize=20956 CPUtime=282.13
/proc/18815/stat : 18815 (minisat_static) R 18809 18809 18244 0 -1 4194304 4964 0 0 0 28206 7 0 0 25 0 1 0 306534676 21458944 4950 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18815/statm: 5239 4950 76 171 0 5066 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 26312
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 18815
/proc/meminfo: memFree=1750312/2055920 swapFree=4178880/4192956
[pid=18809] ppid=18807 vsize=5356 CPUtime=0.04
/proc/18809/stat : 18809 (SatELiteGTI) S 18807 18809 18244 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306534671 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18809/statm: 1339 239 197 169 0 50 0
[pid=18815] ppid=18809 vsize=20956 CPUtime=342.1
/proc/18815/stat : 18815 (minisat_static) R 18809 18809 18244 0 -1 4194304 4964 0 0 0 34203 7 0 0 25 0 1 0 306534676 21458944 4950 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/18815/statm: 5239 4950 76 171 0 5066 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 26312
[startup+402.301 s]
/proc/loadavg: 1.11 1.03 1.01 2/67 18815
/proc/meminfo: memFree=1750184/2055920 swapFree=4178880/4192956
[pid=18809] ppid=18807 vsize=5356 CPUtime=0.04
/proc/18809/stat : 18809 (SatELiteGTI) S 18807 18809 18244 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306534671 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18809/statm: 1339 239 197 169 0 50 0
[pid=18815] ppid=18809 vsize=20956 CPUtime=402.08
/proc/18815/stat : 18815 (minisat_static) R 18809 18809 18244 0 -1 4194304 4965 0 0 0 40200 8 0 0 25 0 1 0 306534676 21458944 4951 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18815/statm: 5239 4951 76 171 0 5066 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 26312
[startup+462.302 s]
################
# More data... #
################
[pid=18815] ppid=18809 vsize=22432 CPUtime=522.03
/proc/18815/stat : 18815 (minisat_static) R 18809 18809 18244 0 -1 4194304 5305 0 0 0 52194 9 0 0 25 0 1 0 306534676 22970368 5291 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/18815/statm: 5608 5291 76 171 0 5435 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 27788
[startup+582.302 s]
/proc/loadavg: 1.13 1.07 1.02 2/67 18815
/proc/meminfo: memFree=1748520/2055920 swapFree=4178880/4192956
[pid=18809] ppid=18807 vsize=5356 CPUtime=0.04
/proc/18809/stat : 18809 (SatELiteGTI) S 18807 18809 18244 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306534671 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18809/statm: 1339 239 197 169 0 50 0
[pid=18815] ppid=18809 vsize=22432 CPUtime=582.01
/proc/18815/stat : 18815 (minisat_static) R 18809 18809 18244 0 -1 4194304 5310 0 0 0 58192 9 0 0 25 0 1 0 306534676 22970368 5296 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18815/statm: 5608 5296 76 171 0 5435 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 27788
[startup+642.302 s]
/proc/loadavg: 1.11 1.07 1.02 2/67 18815
/proc/meminfo: memFree=1748392/2055920 swapFree=4178880/4192956
[pid=18809] ppid=18807 vsize=5356 CPUtime=0.04
/proc/18809/stat : 18809 (SatELiteGTI) S 18807 18809 18244 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306534671 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18809/statm: 1339 239 197 169 0 50 0
[pid=18815] ppid=18809 vsize=22432 CPUtime=642
/proc/18815/stat : 18815 (minisat_static) R 18809 18809 18244 0 -1 4194304 5310 0 0 0 64190 10 0 0 25 0 1 0 306534676 22970368 5296 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/18815/statm: 5608 5296 76 171 0 5435 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 27788
[startup+702.301 s]
/proc/loadavg: 1.10 1.07 1.01 2/67 18815
/proc/meminfo: memFree=1748328/2055920 swapFree=4178880/4192956
[pid=18809] ppid=18807 vsize=5356 CPUtime=0.04
/proc/18809/stat : 18809 (SatELiteGTI) S 18807 18809 18244 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306534671 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18809/statm: 1339 239 197 169 0 50 0
[pid=18815] ppid=18809 vsize=22432 CPUtime=701.97
/proc/18815/stat : 18815 (minisat_static) R 18809 18809 18244 0 -1 4194304 5310 0 0 0 70187 10 0 0 25 0 1 0 306534676 22970368 5296 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18815/statm: 5608 5296 76 171 0 5435 0
Current children cumulated CPU time (s) 702.01
Current children cumulated vsize (KiB) 27788
[startup+762.307 s]
/proc/loadavg: 1.04 1.05 1.01 2/67 18815
/proc/meminfo: memFree=1747944/2055920 swapFree=4178880/4192956
[pid=18809] ppid=18807 vsize=5356 CPUtime=0.04
/proc/18809/stat : 18809 (SatELiteGTI) S 18807 18809 18244 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306534671 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18809/statm: 1339 239 197 169 0 50 0
[pid=18815] ppid=18809 vsize=22700 CPUtime=761.96
/proc/18815/stat : 18815 (minisat_static) R 18809 18809 18244 0 -1 4194304 5372 0 0 0 76185 11 0 0 25 0 1 0 306534676 23244800 5358 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18815/statm: 5675 5358 76 171 0 5502 0
Current children cumulated CPU time (s) 762
Current children cumulated vsize (KiB) 28056
[startup+822.301 s]
/proc/loadavg: 1.07 1.06 1.01 2/67 18815
/proc/meminfo: memFree=1747816/2055920 swapFree=4178880/4192956
[pid=18809] ppid=18807 vsize=5356 CPUtime=0.04
/proc/18809/stat : 18809 (SatELiteGTI) S 18807 18809 18244 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306534671 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18809/statm: 1339 239 197 169 0 50 0
[pid=18815] ppid=18809 vsize=22700 CPUtime=821.93
/proc/18815/stat : 18815 (minisat_static) R 18809 18809 18244 0 -1 4194304 5380 0 0 0 82182 11 0 0 25 0 1 0 306534676 23244800 5366 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18815/statm: 5675 5366 76 171 0 5502 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 28056
[startup+882.301 s]
/proc/loadavg: 1.02 1.05 1.00 2/67 18815
/proc/meminfo: memFree=1747688/2055920 swapFree=4178880/4192956
[pid=18809] ppid=18807 vsize=5356 CPUtime=0.04
/proc/18809/stat : 18809 (SatELiteGTI) S 18807 18809 18244 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306534671 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18809/statm: 1339 239 197 169 0 50 0
[pid=18815] ppid=18809 vsize=22700 CPUtime=881.9
/proc/18815/stat : 18815 (minisat_static) R 18809 18809 18244 0 -1 4194304 5380 0 0 0 88179 11 0 0 25 0 1 0 306534676 23244800 5366 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18815/statm: 5675 5366 76 171 0 5502 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 28056
[startup+942.302 s]
/proc/loadavg: 1.01 1.03 1.00 2/67 18815
/proc/meminfo: memFree=1747624/2055920 swapFree=4178880/4192956
[pid=18809] ppid=18807 vsize=5356 CPUtime=0.04
/proc/18809/stat : 18809 (SatELiteGTI) S 18807 18809 18244 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306534671 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18809/statm: 1339 239 197 169 0 50 0
[pid=18815] ppid=18809 vsize=22700 CPUtime=941.89
/proc/18815/stat : 18815 (minisat_static) R 18809 18809 18244 0 -1 4194304 5380 0 0 0 94177 12 0 0 25 0 1 0 306534676 23244800 5366 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18815/statm: 5675 5366 76 171 0 5502 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 28056
[startup+1002.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/67 18815
/proc/meminfo: memFree=1747496/2055920 swapFree=4178880/4192956
[pid=18809] ppid=18807 vsize=5356 CPUtime=0.04
/proc/18809/stat : 18809 (SatELiteGTI) S 18807 18809 18244 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306534671 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18809/statm: 1339 239 197 169 0 50 0
[pid=18815] ppid=18809 vsize=22700 CPUtime=1001.87
/proc/18815/stat : 18815 (minisat_static) R 18809 18809 18244 0 -1 4194304 5380 0 0 0 100175 12 0 0 25 0 1 0 306534676 23244800 5366 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18815/statm: 5675 5366 76 171 0 5502 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 28056
[startup+1062.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/67 18815
/proc/meminfo: memFree=1747368/2055920 swapFree=4178880/4192956
[pid=18809] ppid=18807 vsize=5356 CPUtime=0.04
/proc/18809/stat : 18809 (SatELiteGTI) S 18807 18809 18244 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306534671 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18809/statm: 1339 239 197 169 0 50 0
[pid=18815] ppid=18809 vsize=22700 CPUtime=1061.85
/proc/18815/stat : 18815 (minisat_static) R 18809 18809 18244 0 -1 4194304 5381 0 0 0 106172 13 0 0 25 0 1 0 306534676 23244800 5367 1992294400 134512640 135215339 4294956240 18446744073709551615 134528875 0 0 4096 3 0 0 0 17 1 0 0
/proc/18815/statm: 5675 5367 76 171 0 5502 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 28056
[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 18815
/proc/meminfo: memFree=1747304/2055920 swapFree=4178880/4192956
[pid=18809] ppid=18807 vsize=5356 CPUtime=0.04
/proc/18809/stat : 18809 (SatELiteGTI) S 18807 18809 18244 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306534671 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18809/statm: 1339 239 197 169 0 50 0
[pid=18815] ppid=18809 vsize=22700 CPUtime=1121.83
/proc/18815/stat : 18815 (minisat_static) R 18809 18809 18244 0 -1 4194304 5381 0 0 0 112170 13 0 0 25 0 1 0 306534676 23244800 5367 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18815/statm: 5675 5367 76 171 0 5502 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 28056
[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 18815
/proc/meminfo: memFree=1747240/2055920 swapFree=4178880/4192956
[pid=18809] ppid=18807 vsize=5356 CPUtime=0.04
/proc/18809/stat : 18809 (SatELiteGTI) S 18807 18809 18244 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306534671 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18809/statm: 1339 239 197 169 0 50 0
[pid=18815] ppid=18809 vsize=22700 CPUtime=1181.8
/proc/18815/stat : 18815 (minisat_static) R 18809 18809 18244 0 -1 4194304 5381 0 0 0 118167 13 0 0 25 0 1 0 306534676 23244800 5367 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18815/statm: 5675 5367 76 171 0 5502 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 28056
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 18815
/proc/meminfo: memFree=1747176/2055920 swapFree=4178880/4192956
[pid=18809] ppid=18807 vsize=5356 CPUtime=0.04
/proc/18809/stat : 18809 (SatELiteGTI) S 18807 18809 18244 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306534671 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18809/statm: 1339 239 197 169 0 50 0
[pid=18815] ppid=18809 vsize=22700 CPUtime=1200.01
/proc/18815/stat : 18815 (minisat_static) R 18809 18809 18244 0 -1 4194304 5381 0 0 0 119987 14 0 0 25 0 1 0 306534676 23244800 5367 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18815/statm: 5675 5367 76 171 0 5502 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 28056
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 18815
/proc/meminfo: memFree=1747176/2055920 swapFree=4178880/4192956
[pid=18809] ppid=18807 vsize=5356 CPUtime=0.04
/proc/18809/stat : 18809 (SatELiteGTI) S 18807 18809 18244 0 -1 4194304 336 670 0 0 0 0 4 0 16 0 1 0 306534671 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18809/statm: 1339 239 197 169 0 50 0
[pid=18815] ppid=18809 vsize=22700 CPUtime=1200.01
/proc/18815/stat : 18815 (minisat_static) R 18809 18809 18244 0 -1 4194304 5381 0 0 0 119987 14 0 0 25 0 1 0 306534676 23244800 5367 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18815/statm: 5675 5367 76 171 0 5502 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 28056
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.51
CPU time (s): 1200.08
CPU user time (s): 1199.92
CPU system time (s): 0.156976
CPU usage (%): 99.9636
Max. virtual memory (cumulated for all children) (KiB): 28056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.92
system time used= 0.156976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6397
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= 31
involuntary context switches= 4219
runsolver used 1.09883 second user time and 3.40848 second system time
The end
Begin job on node54 at 2009-05-20 04:04:23
IDJOB=1832607
IDBENCH=70267
IDSOLVER=671
FILE ID=node54/1832607-1242785063
PBS_JOBID= 9322353
Free space on /tmp= 65968 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/7SAT/UNKNOWN/160/unif-k7-r85-v160-c13600-S432776913-077.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832607-1242785063/watcher-1832607-1242785063 -o /tmp/evaluation-result-1832607-1242785063/solver-1832607-1242785063 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832607-1242785063.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 7added98d83a731c0c62b4e7cbaf3442
RANDOM SEED=513499297
node54.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.234
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.234
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: 1771992 kB
Buffers: 23516 kB
Cached: 213164 kB
SwapCached: 7712 kB
Active: 31152 kB
Inactive: 214756 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1771992 kB
SwapTotal: 4192956 kB
SwapFree: 4178880 kB
Dirty: 1960 kB
Writeback: 0 kB
Mapped: 14292 kB
Slab: 24020 kB
Committed_AS: 991504 kB
PageTables: 1372 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 65968 MiB
End job on node54 at 2009-05-20 04:24:26