0.00/0.00 c Parsing...
0.00/0.13 c ==============================================================================
0.00/0.13 c | | ORIGINAL | LEARNT | |
0.00/0.13 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.13 c ==============================================================================
0.00/0.13 c | 0 | 153982 505834 | 46194 0 0 nan | 0.000 % |
0.00/0.50 c | 0 | 142296 477026 | -- 0 -- -- | -- | -11686/-28808
0.00/0.50 c ==============================================================================
0.00/0.50 c Result : #vars: 10375 #clauses: 142296 #literals: 477026
0.00/0.50 c CPU time: 0.473927 s
0.00/0.50 c ==============================================================================
0.00/0.66 c This is MiniSat 2.0 beta
0.00/0.66 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.67 c ============================[ Problem Statistics ]=============================
0.00/0.67 c | |
0.00/0.67 c | Number of variables: 10375 |
0.00/0.67 c | Number of clauses: 142296 |
0.65/0.75 c | Parsing time: 0.07 s |
0.65/0.76 c ============================[ Search Statistics ]==============================
0.65/0.76 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.65/0.76 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.65/0.76 c ===============================================================================
0.65/0.76 c | 0 | 10375 142296 477026 | 47432 0 nan | 0.000 % |
0.65/0.78 c | 101 | 10374 142296 477026 | 47432 100 10 | 0.010 % |
0.65/0.80 c | 201 | 10374 142296 477026 | 47432 200 11 | 0.010 % |
0.65/0.83 c | 301 | 10374 142296 477026 | 47432 300 12 | 0.010 % |
0.65/0.86 c | 411 | 10374 142296 477026 | 47432 410 12 | 0.010 % |
0.65/0.87 c | 511 | 10374 142296 477026 | 47432 510 12 | 0.010 % |
0.65/0.89 c | 624 | 10374 142296 477026 | 47432 623 12 | 0.010 % |
0.65/0.95 c | 746 | 10374 142296 477026 | 47432 745 12 | 0.010 % |
0.65/0.97 c | 846 | 10374 142296 477026 | 47432 845 12 | 0.010 % |
0.65/0.99 c | 957 | 10374 142296 477026 | 47432 956 14 | 0.010 % |
0.98/1.01 c | 1079 | 10374 142296 477026 | 47432 1078 13 | 0.011 % |
0.98/1.04 c | 1212 | 10374 142296 477026 | 47432 1211 14 | 0.010 % |
0.98/1.06 c | 1313 | 10374 142296 477026 | 47432 1312 14 | 0.010 % |
0.98/1.08 c | 1424 | 10374 142296 477026 | 47432 1423 15 | 0.010 % |
0.98/1.10 c | 1545 | 10374 142296 477026 | 47432 1544 15 | 0.010 % |
1.08/1.12 c | 1679 | 10374 142296 477026 | 47432 1678 16 | 0.010 % |
1.08/1.16 c | 1825 | 10374 142289 477005 | 47432 1816 16 | 0.010 % |
1.08/1.17 c | 1926 | 10374 142289 477005 | 47432 1917 16 | 0.010 % |
1.08/1.19 c | 2036 | 10374 142289 477005 | 47432 2027 16 | 0.010 % |
1.17/1.22 c | 2157 | 10374 142289 477005 | 47432 2148 16 | 0.010 % |
1.17/1.24 c | 2292 | 10374 142289 477005 | 47432 2283 16 | 0.010 % |
1.17/1.27 c | 2439 | 10374 142289 477005 | 47432 2430 17 | 0.010 % |
1.27/1.30 c | 2599 | 10374 142289 477005 | 47432 2590 17 | 0.010 % |
1.27/1.32 c | 2699 | 10374 142289 477005 | 47432 2690 17 | 0.010 % |
1.27/1.33 c | 2810 | 10374 142289 477005 | 47432 2801 17 | 0.010 % |
1.27/1.36 c | 2933 | 10374 142289 477005 | 47432 2924 17 | 0.010 % |
1.27/1.38 c | 3066 | 10374 142289 477005 | 47432 3057 17 | 0.010 % |
1.37/1.41 c | 3212 | 10374 142289 477005 | 47432 3203 17 | 0.010 % |
1.37/1.43 c | 3376 | 10374 142289 477005 | 47432 3367 18 | 0.010 % |
1.37/1.46 c | 3552 | 10374 142289 477005 | 47432 3543 18 | 0.010 % |
1.37/1.48 c | 3652 | 10374 142289 477005 | 47432 3643 18 | 0.010 % |
1.47/1.50 c | 3763 | 10374 142289 477005 | 47432 3754 19 | 0.010 % |
1.47/1.52 c | 3885 | 10374 142289 477005 | 47432 3876 19 | 0.010 % |
1.47/1.55 c | 4018 | 10374 142289 477005 | 47432 4009 19 | 0.010 % |
1.47/1.58 c | 4164 | 10374 142289 477005 | 47432 4155 20 | 0.010 % |
1.57/1.61 c | 4325 | 10374 142289 477005 | 47432 4316 20 | 0.010 % |
1.57/1.64 c | 4502 | 10374 142289 477005 | 47432 4493 20 | 0.010 % |
1.57/1.68 c | 4695 | 10374 142289 477005 | 47432 4686 20 | 0.010 % |
1.67/1.70 c | 4798 | 10374 142289 477005 | 47432 4789 20 | 0.012 % |
1.67/1.71 c | 4908 | 10374 142289 477005 | 47432 4899 20 | 0.012 % |
1.67/1.74 c | 5030 | 10374 142289 477005 | 47432 5021 21 | 0.010 % |
1.67/1.76 c | 5163 | 10374 142289 477005 | 47432 5154 21 | 0.010 % |
1.67/1.79 c | 5309 | 10374 142289 477005 | 47432 5300 21 | 0.010 % |
1.77/1.82 c | 5469 | 10374 142289 477005 | 47432 5460 21 | 0.010 % |
1.77/1.86 c | 5645 | 10374 142289 477005 | 47432 5636 21 | 0.012 % |
1.87/1.91 c | 5838 | 10374 142289 477005 | 47432 5829 22 | 0.010 % |
1.87/1.96 c | 6052 | 10374 142289 477005 | 47432 6043 22 | 0.010 % |
1.87/1.99 c | 6153 | 10374 142289 477005 | 47432 6144 22 | 0.010 % |
1.96/2.02 c | 6263 | 10374 142289 477005 | 47432 6254 22 | 0.010 % |
1.96/2.04 c | 6387 | 10374 142289 477005 | 47432 6378 22 | 0.011 % |
1.96/2.08 c | 6521 | 10374 142289 477005 | 47432 6512 22 | 0.010 % |
2.07/2.10 c | 6667 | 10374 142289 477005 | 47432 6658 22 | 0.010 % |
2.07/2.12 c | 6831 | 10374 142289 477005 | 47432 6822 22 | 0.011 % |
2.07/2.15 c | 7007 | 10374 142289 477005 | 47432 6998 22 | 0.010 % |
2.17/2.21 c | 7200 | 10374 142289 477005 | 47432 7191 22 | 0.010 % |
2.17/2.27 c | 7412 | 10374 142289 477005 | 47432 7403 22 | 0.010 % |
2.26/2.32 c | 7646 | 10374 142289 477005 | 47432 7637 22 | 0.010 % |
2.26/2.34 c | 7746 | 10374 142289 477005 | 47432 7737 22 | 0.010 % |
2.26/2.36 c | 7858 | 10374 142289 477005 | 47432 7849 22 | 0.010 % |
2.26/2.39 c | 7979 | 10374 142289 477005 | 47432 7970 22 | 0.010 % |
2.36/2.42 c | 8112 | 10374 142289 477005 | 47432 8103 22 | 0.010 % |
2.36/2.45 c | 8259 | 10374 142289 477005 | 47432 8250 22 | 0.010 % |
2.36/2.48 c | 8420 | 10374 142289 477005 | 47432 8411 22 | 0.011 % |
2.46/2.53 c | 8597 | 10374 142289 477005 | 47432 8588 22 | 0.010 % |
2.46/2.57 c | 8790 | 10374 142289 477005 | 47432 8781 22 | 0.011 % |
2.56/2.63 c | 9002 | 10374 142289 477005 | 47432 8993 22 | 0.010 % |
2.56/2.68 c | 9235 | 10374 142289 477005 | 47432 9226 22 | 0.010 % |
2.67/2.74 c | 9492 | 10374 142289 477005 | 47432 9483 23 | 0.010 % |
2.67/2.76 c | 9592 | 10374 142289 477005 | 47432 9583 23 | 0.010 % |
2.67/2.78 c | 9702 | 10374 142289 477005 | 47432 9693 23 | 0.010 % |
2.77/2.81 c | 9823 | 10374 142289 477005 | 47432 9814 23 | 0.010 % |
2.77/2.83 c | 9957 | 10374 142289 477005 | 47432 9948 23 | 0.010 % |
2.77/2.86 c | 10105 | 10374 142289 477005 | 2147483647 10096 23 | 0.010 % |
2.77/2.89 c | 10266 | 10374 142289 477005 | 2147483647 10257 23 | 0.010 % |
2.87/2.92 c | 10442 | 10374 142289 477005 | 2147483647 10433 24 | 0.010 % |
2.87/2.96 c | 10635 | 10374 142289 477005 | 2147483647 10626 24 | 0.010 % |
2.97/3.02 c | 10847 | 10374 142289 477005 | 2147483647 10838 24 | 0.012 % |
2.97/3.06 c | 11081 | 10374 142289 477005 | 2147483647 11072 24 | 0.010 % |
3.07/3.12 c | 11340 | 10374 142289 477005 | 2147483647 11331 25 | 0.010 % |
3.07/3.18 c | 11621 | 10374 142289 477005 | 2147483647 11612 25 | 0.010 % |
3.07/3.20 c | 11722 | 10374 142289 477005 | 2147483647 11713 25 | 0.010 % |
3.17/3.23 c | 11832 | 10374 142289 477005 | 2147483647 11823 25 | 0.010 % |
3.17/3.25 c | 11953 | 10374 142289 477005 | 2147483647 11944 25 | 0.010 % |
3.17/3.28 c | 12086 | 10374 142289 477005 | 2147483647 12077 25 | 0.010 % |
3.27/3.31 c | 12232 | 10374 142289 477005 | 2147483647 12223 25 | 0.010 % |
3.27/3.36 c | 12394 | 10374 142289 477005 | 2147483647 12385 25 | 0.010 % |
3.37/3.42 c | 12570 | 10374 142289 477005 | 2147483647 12561 25 | 0.010 % |
3.37/3.47 c | 12763 | 10374 142289 477005 | 2147483647 12754 25 | 0.010 % |
3.47/3.50 c | 12975 | 10374 142289 477005 | 2147483647 12966 25 | 0.010 % |
3.47/3.55 c | 13208 | 10374 142289 477005 | 2147483647 13199 25 | 0.010 % |
3.57/3.61 c | 13464 | 10374 142289 477005 | 2147483647 13455 25 | 0.010 % |
3.57/3.67 c | 13745 | 10374 142289 477005 | 2147483647 13736 25 | 0.010 % |
3.67/3.71 c | 14054 | 10374 142289 477005 | 2147483647 14045 25 | 0.010 % |
3.67/3.74 c | 14156 | 10374 142289 477005 | 2147483647 14147 25 | 0.010 % |
3.67/3.77 c | 14266 | 10374 142289 477005 | 2147483647 14257 25 | 0.010 % |
3.76/3.80 c | 14388 | 10374 142289 477005 | 2147483647 14379 25 | 0.010 % |
3.76/3.82 c | 14523 | 10374 142289 477005 | 2147483647 14514 25 | 0.010 % |
3.76/3.86 c | 14669 | 10374 142289 477005 | 2147483647 14660 25 | 0.010 % |
3.86/3.90 c | 14830 | 10374 142289 477005 | 2147483647 14821 25 | 0.010 % |
3.86/3.94 c | 15006 | 10374 142289 477005 | 2147483647 14997 25 | 0.010 % |
3.86/3.98 c | 15199 | 10374 142289 477005 | 2147483647 15190 25 | 0.010 % |
3.96/4.03 c | 15414 | 10374 142289 477005 | 2147483647 15405 25 | 0.012 % |
4.06/4.12 c | 15647 | 10374 142289 477005 | 2147483647 15638 25 | 0.010 % |
4.06/4.19 c | 15905 | 10374 142289 477005 | 2147483647 15896 25 | 0.010 % |
4.16/4.27 c | 16186 | 10374 142289 477005 | 2147483647 16177 26 | 0.010 % |
4.27/4.36 c | 16496 | 10374 142289 477005 | 2147483647 16487 26 | 0.010 % |
4.37/4.46 c | 16838 | 10374 142289 477005 | 2147483647 16829 26 | 0.010 % |
4.37/4.48 c | 16939 | 10374 142289 477005 | 2147483647 16930 26 | 0.011 % |
4.46/4.51 c | 17051 | 10374 142289 477005 | 2147483647 17042 26 | 0.011 % |
4.46/4.55 c | 17172 | 10374 142289 477005 | 2147483647 17163 26 | 0.011 % |
4.56/4.60 c | 17307 | 10374 142289 477005 | 2147483647 17298 27 | 0.010 % |
4.56/4.63 c | 17453 | 10374 142289 477005 | 2147483647 17444 27 | 0.010 % |
4.56/4.68 c | 17615 | 10374 142289 477005 | 2147483647 17606 27 | 0.010 % |
4.66/4.72 c | 17792 | 10374 142289 477005 | 2147483647 17783 27 | 0.010 % |
4.76/4.80 c | 17985 | 10374 142289 477005 | 2147483647 17976 27 | 0.010 % |
4.76/4.87 c | 18197 | 10374 142289 477005 | 2147483647 18188 27 | 0.010 % |
4.86/4.93 c | 18432 | 10374 142289 477005 | 2147483647 18423 27 | 0.011 % |
4.86/4.99 c | 18689 | 10374 142289 477005 | 2147483647 18680 27 | 0.010 % |
5.06/5.11 c | 18971 | 10374 142289 477005 | 2147483647 18962 28 | 0.010 % |
5.06/5.16 c | 19280 | 10374 142289 477005 | 2147483647 19271 28 | 0.010 % |
5.16/5.26 c | 19619 | 10374 142289 477005 | 2147483647 19610 28 | 0.010 % |
5.26/5.38 c | 19994 | 10374 142289 477005 | 2147483647 19985 28 | 0.010 % |
5.37/5.41 c | 20096 | 10374 142289 477005 | 2147483647 20087 28 | 0.010 % |
5.37/5.44 c | 20208 | 10374 142289 477005 | 2147483647 20199 28 | 0.010 % |
5.37/5.46 c | 20329 | 10374 142289 477005 | 2147483647 20320 28 | 0.010 % |
5.47/5.51 c | 20462 | 10374 142289 477005 | 2147483647 20453 28 | 0.010 % |
5.47/5.54 c | 20609 | 10374 142289 477005 | 2147483647 20600 28 | 0.010 % |
5.47/5.60 c | 20769 | 10374 142289 477005 | 2147483647 20760 28 | 0.010 % |
5.56/5.64 c | 20945 | 10374 142289 477005 | 2147483647 20936 28 | 0.010 % |
5.56/5.68 c | 21138 | 10374 142289 477005 | 2147483647 21129 28 | 0.010 % |
5.66/5.73 c | 21350 | 10374 142289 477005 | 2147483647 21341 28 | 0.010 % |
5.76/5.80 c | 21583 | 10374 142289 477005 | 2147483647 21574 28 | 0.010 % |
5.76/5.88 c | 21841 | 10374 142289 477005 | 2147483647 21832 28 | 0.010 % |
5.86/5.94 c | 22127 | 10374 142289 477005 | 2147483647 22118 28 | 0.010 % |
5.86/5.99 c | 22436 | 10374 142289 477005 | 2147483647 22427 28 | 0.010 % |
5.96/6.10 c | 22776 | 10374 142289 477005 | 2147483647 22767 28 | 0.010 % |
6.16/6.25 c | 23148 | 10374 142289 477005 | 2147483647 23139 28 | 0.010 % |
6.26/6.39 c | 23557 | 10374 142289 477005 | 2147483647 23548 29 | 0.010 % |
6.36/6.43 c | 23659 | 10374 142289 477005 | 2147483647 23650 29 | 0.010 % |
6.36/6.46 c | 23770 | 10374 142289 477005 | 2147483647 23761 29 | 0.010 % |
6.46/6.50 c | 23891 | 10374 142289 477005 | 2147483647 23882 29 | 0.010 % |
6.46/6.53 c | 24025 | 10374 142289 477005 | 2147483647 24016 29 | 0.010 % |
6.46/6.58 c | 24172 | 10374 142289 477005 | 2147483647 24163 29 | 0.010 % |
6.56/6.62 c | 24332 | 10374 142289 477005 | 2147483647 24323 29 | 0.010 % |
6.56/6.66 c | 24508 | 10374 142289 477005 | 2147483647 24499 29 | 0.010 % |
6.66/6.71 c | 24702 | 10374 142289 477005 | 2147483647 24693 29 | 0.010 % |
6.75/6.80 c | 24917 | 10374 142289 477005 | 2147483647 24908 29 | 0.010 % |
6.75/6.85 c | 25151 | 10374 142289 477005 | 2147483647 25142 29 | 0.010 % |
6.85/6.92 c | 25407 | 10374 142289 477005 | 2147483647 25398 29 | 0.010 % |
6.85/7.00 c | 25689 | 10374 142289 477005 | 2147483647 25680 30 | 0.010 % |
6.95/7.08 c | 25998 | 10374 142289 477005 | 2147483647 25989 30 | 0.010 % |
7.05/7.19 c | 26338 | 10374 142289 477005 | 2147483647 26329 30 | 0.010 % |
7.16/7.28 c | 26711 | 10374 142289 477005 | 2147483647 26702 30 | 0.010 % |
7.36/7.43 c | 27120 | 10374 142289 477005 | 2147483647 27111 30 | 0.010 % |
7.46/7.59 c | 27572 | 10374 142289 477005 | 2147483647 27563 31 | 0.010 % |
7.56/7.63 c | 27672 | 10374 142289 477005 | 2147483647 27663 31 | 0.010 % |
7.56/7.66 c | 27782 | 10374 142289 477005 | 2147483647 27773 31 | 0.010 % |
7.66/7.70 c | 27903 | 10374 142289 477005 | 2147483647 27894 31 | 0.012 % |
7.66/7.77 c | 28040 | 10374 142289 477005 | 2147483647 28031 31 | 0.010 % |
7.76/7.81 c | 28189 | 10374 142289 477005 | 2147483647 28180 31 | 0.010 % |
7.76/7.88 c | 28349 | 10374 142289 477005 | 2147483647 28340 31 | 0.010 % |
7.86/7.93 c | 28528 | 10374 142289 477005 | 2147483647 28519 31 | 0.010 % |
7.96/8.01 c | 28721 | 10374 142289 477005 | 2147483647 28712 31 | 0.011 % |
7.96/8.08 c | 28933 | 10374 142289 477005 | 2147483647 28924 31 | 0.010 % |
8.06/8.15 c | 29168 | 10374 142289 477005 | 2147483647 29159 31 | 0.010 % |
8.16/8.21 c | 29424 | 10374 142289 477005 | 2147483647 29415 31 | 0.010 % |
8.26/8.30 c | 29706 | 10374 142289 477005 | 2147483647 29697 31 | 0.010 % |
8.26/8.38 c | 30015 | 10374 142289 477005 | 2147483647 30006 31 | 0.010 % |
8.36/8.46 c | 30355 | 10374 142289 477005 | 2147483647 30346 31 | 0.012 % |
8.46/8.57 c | 30727 | 10374 142289 477005 | 2147483647 30718 31 | 0.010 % |
8.66/8.71 c | 31139 | 10374 142289 477005 | 2147483647 31130 31 | 0.010 % |
8.76/8.88 c | 31588 | 10374 142289 477005 | 2147483647 31579 32 | 0.010 % |
8.96/9.04 c | 32081 | 10374 142289 477005 | 2147483647 32072 32 | 0.010 % |
8.96/9.08 c | 32182 | 10374 142289 477005 | 2147483647 32173 32 | 0.010 % |
9.06/9.14 c | 32292 | 10374 142289 477005 | 2147483647 32283 32 | 0.010 % |
9.06/9.18 c | 32413 | 10374 142289 477005 | 2147483647 32404 32 | 0.010 % |
9.16/9.22 c | 32547 | 10374 142289 477005 | 2147483647 32538 32 | 0.010 % |
9.16/9.29 c | 32695 | 10374 142289 477005 | 2147483647 32686 32 | 0.010 % |
9.26/9.35 c | 32856 | 10374 142289 477005 | 2147483647 32847 32 | 0.010 % |
9.36/9.41 c | 33033 | 10374 142289 477005 | 2147483647 33024 32 | 0.010 % |
9.36/9.48 c | 33226 | 10374 142289 477005 | 2147483647 33217 32 | 0.010 % |
9.46/9.54 c | 33439 | 10374 142289 477005 | 2147483647 33430 32 | 0.010 % |
9.56/9.63 c | 33672 | 10374 142289 477005 | 2147483647 33663 33 | 0.010 % |
9.56/9.70 c | 33928 | 10374 142289 477005 | 2147483647 33919 33 | 0.010 % |
9.66/9.78 c | 34210 | 10374 142289 477005 | 2147483647 34201 33 | 0.010 % |
9.86/9.90 c | 34519 | 10374 142289 477005 | 2147483647 34510 33 | 0.010 % |
9.96/10.02 c | 34861 | 10374 142289 477005 | 2147483647 34852 33 | 0.010 % |
10.16/10.22 c | 35233 | 10374 142289 477005 | 2147483647 35224 33 | 0.010 % |
10.36/10.41 c | 35642 | 10374 142289 477005 | 2147483647 35633 33 | 0.010 % |
10.56/10.61 c | 36092 | 10374 142289 477005 | 2147483647 36083 34 | 0.010 % |
10.75/10.80 c | 36587 | 10374 142289 477005 | 2147483647 36578 34 | 0.010 % |
10.96/11.01 c | 37129 | 10374 142289 477005 | 2147483647 37120 34 | 0.010 % |
10.96/11.05 c | 37230 | 10374 142289 477005 | 2147483647 37221 34 | 0.010 % |
10.96/11.09 c | 37341 | 10374 142289 477005 | 2147483647 37332 34 | 0.010 % |
11.05/11.15 c | 37462 | 10374 142289 477005 | 2147483647 37453 34 | 0.010 % |
11.15/11.23 c | 37596 | 10374 142289 477005 | 2147483647 37587 35 | 0.012 % |
11.25/11.33 c | 37742 | 10374 142289 477005 | 2147483647 37733 35 | 0.012 % |
11.35/11.41 c | 37902 | 10374 142289 477005 | 2147483647 37893 35 | 0.010 % |
11.35/11.49 c | 38078 | 10374 142289 477005 | 2147483647 38069 35 | 0.010 % |
11.45/11.57 c | 38271 | 10374 142289 477005 | 2147483647 38262 35 | 0.010 % |
11.55/11.66 c | 38483 | 10374 142289 477005 | 2147483647 38474 35 | 0.010 % |
11.65/11.78 c | 38717 | 10374 142289 477005 | 2147483647 38708 35 | 0.010 % |
11.75/11.87 c | 38973 | 10374 142289 477005 | 2147483647 38964 35 | 0.010 % |
11.85/11.96 c | 39254 | 10374 142289 477005 | 2147483647 39245 35 | 0.010 % |
11.95/12.04 c | 39563 | 10374 142289 477005 | 2147483647 39554 35 | 0.010 % |
12.05/12.11 c | 39905 | 10374 142289 477005 | 2147483647 39896 35 | 0.010 % |
12.05/12.18 c | 40277 | 10374 142289 477005 | 2147483647 40268 34 | 0.010 % |
12.26/12.32 c | 40688 | 10374 142289 477005 | 2147483647 40679 34 | 0.010 % |
12.36/12.48 c | 41137 | 10374 142289 477005 | 2147483647 41128 34 | 0.010 % |
12.56/12.62 c | 41630 | 10374 142289 477005 | 2147483647 41621 34 | 0.010 % |
12.76/12.81 c | 42172 | 10374 142289 477005 | 2147483647 42163 34 | 0.014 % |
12.86/12.99 c | 42768 | 10374 142289 477005 | 2147483647 42759 34 | 0.010 % |
12.96/13.02 c | 42870 | 10374 142289 477005 | 2147483647 42861 34 | 0.010 % |
12.96/13.06 c | 42980 | 10374 142289 477005 | 2147483647 42971 34 | 0.010 % |
13.06/13.10 c | 43101 | 10374 142289 477005 | 2147483647 43092 34 | 0.010 % |
13.06/13.16 c | 43234 | 10374 142289 477005 | 2147483647 43225 34 | 0.010 % |
13.16/13.21 c | 43380 | 10374 142289 477005 | 2147483647 43371 34 | 0.010 % |
13.16/13.26 c | 43540 | 10374 142289 477005 | 2147483647 43531 34 | 0.010 % |
13.26/13.32 c | 43716 | 10374 142289 477005 | 2147483647 43707 34 | 0.010 % |
13.26/13.38 c | 43910 | 10374 142289 477005 | 2147483647 43901 34 | 0.014 % |
13.36/13.47 c | 44122 | 10374 142289 477005 | 2147483647 44113 34 | 0.010 % |
13.46/13.55 c | 44355 | 10374 142289 477005 | 2147483647 44346 34 | 0.010 % |
13.56/13.68 c | 44614 | 10374 142289 477005 | 2147483647 44605 34 | 0.010 % |
13.76/13.82 c | 44895 | 10374 142289 477005 | 2147483647 44886 34 | 0.010 % |
13.85/13.96 c | 45205 | 10374 142289 477005 | 2147483647 45196 34 | 0.010 % |
13.95/14.09 c | 45544 | 10374 142289 477005 | 2147483647 45535 34 | 0.010 % |
14.16/14.26 c | 45918 | 10374 142289 477005 | 2147483647 45909 34 | 0.010 % |
14.36/14.43 c | 46329 | 10374 142289 477005 | 2147483647 46320 35 | 0.010 % |
14.56/14.60 c | 46778 | 10374 142289 477005 | 2147483647 46769 35 | 0.010 % |
14.75/14.82 c | 47273 | 10374 142289 477005 | 2147483647 47264 35 | 0.010 % |
14.95/15.05 c | 47815 | 10374 142289 477005 | 2147483647 47806 35 | 0.010 % |
15.26/15.35 c | 48413 | 10374 142289 477005 | 2147483647 48404 35 | 0.010 % |
15.75/15.85 c | 49068 | 10374 142289 477005 | 2147483647 49059 35 | 0.010 % |
15.85/15.93 c | 49168 | 10374 142289 477005 | 2147483647 49159 35 | 0.010 % |
15.95/16.01 c | 49279 | 10374 142289 477005 | 2147483647 49270 35 | 0.010 % |
15.95/16.09 c | 49402 | 10374 142289 477005 | 2147483647 49393 35 | 0.010 % |
16.05/16.13 c | 49535 | 10374 142289 477005 | 2147483647 49526 35 | 0.010 % |
16.05/16.19 c | 49681 | 10374 142289 477005 | 2147483647 49672 36 | 0.010 % |
16.15/16.24 c | 49842 | 10374 142289 477005 | 2147483647 49833 36 | 0.010 % |
16.15/16.29 c | 50023 | 10374 142289 477005 | 2147483647 50014 36 | 0.010 % |
16.25/16.37 c | 50216 | 10374 142289 477005 | 2147483647 50207 36 | 0.010 % |
16.35/16.48 c | 50428 | 10374 142289 477005 | 2147483647 50419 36 | 0.010 % |
16.55/16.60 c | 50661 | 10374 142289 477005 | 2147483647 50652 36 | 0.010 % |
16.65/16.71 c | 50917 | 10374 142289 477005 | 2147483647 50908 36 | 0.010 % |
16.75/16.83 c | 51200 | 10374 142289 477005 | 2147483647 51191 36 | 0.010 % |
16.85/16.96 c | 51510 | 10374 142289 477005 | 2147483647 51501 36 | 0.010 % |
17.05/17.12 c | 51850 | 10374 142289 477005 | 2147483647 51841 36 | 0.010 % |
17.15/17.28 c | 52222 | 10374 142289 477005 | 2147483647 52213 36 | 0.010 % |
17.35/17.44 c | 52632 | 10374 142289 477005 | 2147483647 52623 36 | 0.010 % |
17.55/17.63 c | 53081 | 10374 142289 477005 | 2147483647 53072 36 | 0.010 % |
17.85/17.91 c | 53575 | 10374 142289 477005 | 2147483647 53566 36 | 0.010 % |
18.15/18.23 c | 54117 | 10374 142289 477005 | 2147483647 54108 36 | 0.010 % |
18.45/18.56 c | 54713 | 10374 142289 477005 | 2147483647 54704 37 | 0.010 % |
18.85/18.98 c | 55368 | 10374 142289 477005 | 2147483647 55359 37 | 0.010 % |
19.35/19.46 c | 56089 | 10374 142289 477005 | 2147483647 56080 37 | 0.010 % |
19.45/19.52 c | 56189 | 10374 142289 477005 | 2147483647 56180 37 | 0.010 % |
19.55/19.61 c | 56300 | 10374 142289 477005 | 2147483647 56291 37 | 0.010 % |
19.55/19.67 c | 56422 | 10374 142289 477005 | 2147483647 56413 37 | 0.010 % |
19.65/19.79 c | 56556 | 10374 142289 477005 | 2147483647 56547 37 | 0.010 % |
19.75/19.86 c | 56703 | 10374 142289 477005 | 2147483647 56694 37 | 0.010 % |
19.85/19.92 c | 56863 | 10374 142289 477005 | 2147483647 56854 37 | 0.010 % |
19.95/20.03 c | 57040 | 10374 142289 477005 | 2147483647 57031 37 | 0.010 % |
20.05/20.13 c | 57234 | 10374 142289 477005 | 2147483647 57225 37 | 0.010 % |
20.15/20.21 c | 57447 | 10374 142289 477005 | 2147483647 57438 37 | 0.011 % |
20.25/20.31 c | 57680 | 10374 142289 477005 | 2147483647 57671 37 | 0.010 % |
20.35/20.41 c | 57936 | 10374 142289 477005 | 2147483647 57927 37 | 0.010 % |
20.45/20.54 c | 58217 | 10374 142289 477005 | 2147483647 58208 37 | 0.010 % |
20.55/20.67 c | 58526 | 10374 142289 477005 | 2147483647 58517 37 | 0.010 % |
20.65/20.78 c | 58865 | 10374 142289 477005 | 2147483647 58856 37 | 0.010 % |
20.85/20.95 c | 59238 | 10374 142289 477005 | 2147483647 59229 37 | 0.010 % |
21.05/21.15 c | 59649 | 10374 142289 477005 | 2147483647 59640 37 | 0.010 % |
21.25/21.38 c | 60098 | 10374 142289 477005 | 2147483647 60089 37 | 0.011 % |
21.75/21.81 c | 60592 | 10374 142289 477005 | 2147483647 60583 37 | 0.010 % |
21.95/22.09 c | 61135 | 10374 142289 477005 | 2147483647 61126 37 | 0.010 % |
22.24/22.32 c | 61732 | 10374 142289 477005 | 2147483647 61723 37 | 0.010 % |
22.54/22.64 c | 62387 | 10374 142289 477005 | 2147483647 62378 37 | 0.010 % |
22.95/23.01 c | 63107 | 10374 142289 477005 | 2147483647 63098 37 | 0.010 % |
23.45/23.53 c | 63900 | 10374 142289 477005 | 2147483647 63891 38 | 0.012 % |
23.55/23.60 c | 64000 | 10374 142289 477005 | 2147483647 63991 38 | 0.010 % |
23.55/23.67 c | 64114 | 10374 142289 477005 | 2147483647 64105 38 | 0.010 % |
23.65/23.74 c | 64235 | 10374 142289 477005 | 2147483647 64226 38 | 0.010 % |
23.75/23.82 c | 64368 | 10374 142289 477005 | 2147483647 64359 38 | 0.012 % |
23.75/23.89 c | 64518 | 10374 142289 477005 | 2147483647 64509 38 | 0.010 % |
23.95/24.06 c | 64679 | 10374 142289 477005 | 2147483647 64670 38 | 0.010 % |
24.05/24.13 c | 64856 | 10374 142289 477005 | 2147483647 64847 38 | 0.010 % |
24.15/24.24 c | 65052 | 10374 142289 477005 | 2147483647 65043 38 | 0.012 % |
24.25/24.38 c | 65264 | 10374 142289 477005 | 2147483647 65255 38 | 0.010 % |
24.45/24.52 c | 65498 | 10374 142289 477005 | 2147483647 65489 38 | 0.010 % |
24.55/24.63 c | 65756 | 10374 142289 477005 | 2147483647 65747 38 | 0.010 % |
24.75/24.81 c | 66038 | 10374 142289 477005 | 2147483647 66029 38 | 0.010 % |
24.85/24.91 c | 66348 | 10374 142289 477005 | 2147483647 66339 38 | 0.010 % |
24.95/25.09 c | 66690 | 10374 142289 477005 | 2147483647 66681 38 | 0.010 % |
25.15/25.24 c | 67065 | 10374 142289 477005 | 2147483647 67056 38 | 0.010 % |
25.35/25.41 c | 67474 | 10374 142289 477005 | 2147483647 67465 38 | 0.010 % |
25.65/25.78 c | 67924 | 10374 142289 477005 | 2147483647 67915 39 | 0.010 % |
25.95/26.01 c | 68418 | 10374 142289 477005 | 2147483647 68409 39 | 0.010 % |
26.15/26.29 c | 68960 | 10374 142289 477005 | 2147483647 68951 39 | 0.010 % |
26.45/26.59 c | 69557 | 10374 142289 477005 | 2147483647 69548 39 | 0.010 % |
26.85/26.93 c | 70213 | 10374 142289 477005 | 2147483647 70204 39 | 0.010 % |
27.14/27.28 c | 70933 | 10374 142289 477005 | 2147483647 70924 39 | 0.010 % |
27.54/27.66 c | 71725 | 10374 142289 477005 | 2147483647 71716 39 | 0.011 % |
28.04/28.17 c | 72597 | 10374 142289 477005 | 2147483647 72588 39 | 0.010 % |
28.14/28.22 c | 72697 | 10374 142289 477005 | 2147483647 72688 39 | 0.010 % |
28.14/28.29 c | 72807 | 10374 142289 477005 | 2147483647 72798 39 | 0.010 % |
28.24/28.34 c | 72928 | 10374 142289 477005 | 2147483647 72919 39 | 0.010 % |
28.34/28.41 c | 73062 | 10374 142289 477005 | 2147483647 73053 39 | 0.010 % |
28.34/28.49 c | 73209 | 10374 142289 477005 | 2147483647 73200 39 | 0.010 % |
28.44/28.59 c | 73371 | 10374 142289 477005 | 2147483647 73362 39 | 0.010 % |
28.54/28.67 c | 73547 | 10374 142289 477005 | 2147483647 73538 39 | 0.010 % |
28.64/28.78 c | 73741 | 10373 142282 476984 | 2147483647 73725 39 | 0.019 % |
28.84/28.94 c | 73954 | 10373 142282 476984 | 2147483647 73938 39 | 0.019 % |
29.04/29.10 c | 74189 | 10373 142282 476984 | 2147483647 74173 39 | 0.019 % |
29.14/29.27 c | 74446 | 10373 142282 476984 | 2147483647 74430 39 | 0.019 % |
29.44/29.58 c | 74728 | 10373 142282 476984 | 2147483647 74712 40 | 0.019 % |
29.64/29.80 c | 75038 | 10373 142282 476984 | 2147483647 75022 40 | 0.019 % |
29.94/30.02 c | 75377 | 10373 142282 476984 | 2147483647 75361 40 | 0.019 % |
30.14/30.28 c | 75749 | 10373 142282 476984 | 2147483647 75733 40 | 0.019 % |
30.44/30.54 c | 76158 | 10373 142282 476984 | 2147483647 76142 40 | 0.019 % |
30.74/30.83 c | 76609 | 10373 142282 476984 | 2147483647 76593 40 | 0.019 % |
31.03/31.14 c | 77103 | 10373 142282 476984 | 2147483647 77087 40 | 0.019 % |
31.33/31.44 c | 77648 | 10373 142282 476984 | 2147483647 77632 40 | 0.019 % |
31.85/31.94 c | 78246 | 10373 142282 476984 | 2147483647 78230 41 | 0.019 % |
32.24/32.39 c | 78901 | 10373 142282 476984 | 2147483647 78885 41 | 0.019 % |
32.84/32.90 c | 79622 | 10373 142282 476984 | 2147483647 79606 41 | 0.019 % |
33.33/33.40 c | 80417 | 10373 142282 476984 | 2147483647 80401 41 | 0.019 % |
33.83/33.94 c | 81288 | 10373 142282 476984 | 2147483647 81272 41 | 0.019 % |
34.43/34.51 c | 82247 | 10373 142282 476984 | 2147483647 82231 41 | 0.019 % |
34.43/34.58 c | 82348 | 10373 142282 476984 | 2147483647 82332 41 | 0.019 % |
34.53/34.65 c | 82458 | 10373 142282 476984 | 2147483647 82442 41 | 0.019 % |
34.63/34.71 c | 82579 | 10373 142282 476984 | 2147483647 82563 41 | 0.019 % |
34.63/34.79 c | 82713 | 10373 142282 476984 | 2147483647 82697 41 | 0.019 % |
34.73/34.88 c | 82859 | 10373 142282 476984 | 2147483647 82843 41 | 0.019 % |
34.83/34.98 c | 83020 | 10373 142282 476984 | 2147483647 83004 41 | 0.019 % |
35.04/35.13 c | 83198 | 10373 142282 476984 | 2147483647 83182 41 | 0.019 % |
35.14/35.21 c | 83391 | 10373 142282 476984 | 2147483647 83375 41 | 0.019 % |
35.23/35.37 c | 83604 | 10373 142282 476984 | 2147483647 83588 41 | 0.019 % |
35.33/35.48 c | 83837 | 10373 142282 476984 | 2147483647 83821 41 | 0.019 % |
35.53/35.63 c | 84093 | 10373 142282 476984 | 2147483647 84077 41 | 0.019 % |
35.73/35.80 c | 84374 | 10373 142282 476984 | 2147483647 84358 41 | 0.019 % |
35.93/36.09 c | 84684 | 10373 142282 476984 | 2147483647 84668 41 | 0.019 % |
36.23/36.33 c | 85024 | 10373 142282 476984 | 2147483647 85008 41 | 0.019 % |
36.53/36.67 c | 85397 | 10373 142282 476984 | 2147483647 85381 42 | 0.019 % |
36.83/36.94 c | 85806 | 10373 142282 476984 | 2147483647 85790 42 | 0.019 % |
37.13/37.20 c | 86257 | 10373 142282 476984 | 2147483647 86241 42 | 0.019 % |
37.42/37.55 c | 86751 | 10373 142282 476984 | 2147483647 86735 42 | 0.019 % |
37.82/37.92 c | 87293 | 10373 142282 476984 | 2147483647 87277 42 | 0.019 % |
38.12/38.30 c | 87889 | 10373 142282 476984 | 2147483647 87873 42 | 0.019 % |
38.62/38.73 c | 88545 | 10373 142282 476984 | 2147483647 88529 42 | 0.019 % |
38.92/39.05 c | 89267 | 10373 142282 476984 | 2147483647 89251 42 | 0.019 % |
39.42/39.55 c | 90060 | 10373 142282 476984 | 2147483647 90044 42 | 0.019 % |
39.92/40.06 c | 90932 | 10372 142228 476804 | 2147483647 90904 42 | 0.029 % |
40.53/40.61 c | 91892 | 10372 142228 476804 | 2147483647 91864 42 | 0.029 % |
41.12/41.28 c | 92945 | 10372 142228 476804 | 2147483647 92917 42 | 0.031 % |
41.22/41.34 c | 93045 | 10372 142228 476804 | 2147483647 93017 42 | 0.029 % |
41.42/41.51 c | 93156 | 10372 142228 476804 | 2147483647 93128 42 | 0.029 % |
41.52/41.62 c | 93277 | 10372 142228 476804 | 2147483647 93249 42 | 0.029 % |
41.63/41.71 c | 93411 | 10372 142228 476804 | 2147483647 93383 42 | 0.029 % |
41.73/41.81 c | 93558 | 10372 142228 476804 | 2147483647 93530 42 | 0.029 % |
41.82/41.91 c | 93718 | 10372 142228 476804 | 2147483647 93690 42 | 0.029 % |
41.92/42.02 c | 93894 | 10372 142228 476804 | 2147483647 93866 42 | 0.031 % |
42.02/42.14 c | 94087 | 10372 142228 476804 | 2147483647 94059 42 | 0.029 % |
42.12/42.29 c | 94299 | 10372 142228 476804 | 2147483647 94271 42 | 0.029 % |
42.32/42.47 c | 94534 | 10372 142228 476804 | 2147483647 94506 42 | 0.029 % |
42.62/42.70 c | 94791 | 10372 142228 476804 | 2147483647 94763 43 | 0.029 % |
42.82/42.96 c | 95072 | 10372 142228 476804 | 2147483647 95044 43 | 0.029 % |
43.12/43.25 c | 95383 | 10372 142228 476804 | 2147483647 95355 43 | 0.029 % |
43.42/43.54 c | 95722 | 10372 142228 476804 | 2147483647 95694 43 | 0.029 % |
43.72/43.82 c | 96096 | 10372 142228 476804 | 2147483647 96068 43 | 0.029 % |
44.02/44.17 c | 96505 | 10372 142228 476804 | 2147483647 96477 43 | 0.029 % |
44.62/44.74 c | 96956 | 10372 142228 476804 | 2147483647 96928 43 | 0.029 % |
45.02/45.14 c | 97449 | 10372 142228 476804 | 2147483647 97421 43 | 0.029 % |
45.42/45.59 c | 97993 | 10372 142228 476804 | 2147483647 97965 43 | 0.029 % |
45.82/45.98 c | 98589 | 10372 142228 476804 | 2147483647 98561 43 | 0.029 % |
46.41/46.51 c | 99245 | 10372 142228 476804 | 2147483647 99217 43 | 0.029 % |
47.22/47.39 c | 99965 | 10372 142228 476804 | 2147483647 99937 43 | 0.029 % |
47.81/48.00 c | 100759 | 10372 142228 476804 | 2147483647 100731 43 | 0.029 % |
48.51/48.64 c | 101631 | 10372 142228 476804 | 2147483647 101603 44 | 0.029 % |
49.21/49.37 c | 102593 | 10372 142228 476804 | 2147483647 102565 44 | 0.029 % |
50.11/50.23 c | 103647 | 10372 142228 476804 | 2147483647 103619 44 | 0.029 % |
51.21/51.33 c | 104806 | 10372 142228 476804 | 2147483647 104778 44 | 0.029 % |
51.31/51.43 c | 104906 | 10372 142228 476804 | 2147483647 104878 44 | 0.029 % |
51.41/51.50 c | 105017 | 10372 142228 476804 | 2147483647 104989 44 | 0.029 % |
51.41/51.59 c | 105141 | 10372 142228 476804 | 2147483647 105113 44 | 0.029 % |
51.62/51.70 c | 105276 | 10372 142228 476804 | 2147483647 105248 44 | 0.029 % |
51.71/51.89 c | 105422 | 10372 142228 476804 | 2147483647 105394 44 | 0.029 % |
51.91/52.00 c | 105582 | 10372 142228 476804 | 2147483647 105554 44 | 0.029 % |
52.01/52.17 c | 105758 | 10372 142228 476804 | 2147483647 105730 44 | 0.029 % |
52.21/52.31 c | 105952 | 10372 142228 476804 | 2147483647 105924 44 | 0.029 % |
52.31/52.49 c | 106164 | 10372 142228 476804 | 2147483647 106136 44 | 0.029 % |
52.51/52.68 c | 106397 | 10372 142228 476804 | 2147483647 106369 44 | 0.029 % |
52.81/52.92 c | 106654 | 10372 142228 476804 | 2147483647 106626 44 | 0.029 % |
53.01/53.16 c | 106935 | 10372 142228 476804 | 2147483647 106907 44 | 0.029 % |
53.42/53.50 c | 107244 | 10372 142228 476804 | 2147483647 107216 44 | 0.029 % |
53.72/53.82 c | 107583 | 10372 142228 476804 | 2147483647 107555 44 | 0.029 % |
53.92/54.06 c | 107957 | 10372 142228 476804 | 2147483647 107929 45 | 0.029 % |
54.22/54.35 c | 108366 | 10372 142228 476804 | 2147483647 108338 45 | 0.029 % |
54.72/54.81 c | 108815 | 10372 142228 476804 | 2147483647 108787 45 | 0.031 % |
55.22/55.39 c | 109314 | 10372 142228 476804 | 2147483647 109286 45 | 0.031 % |
55.72/55.88 c | 109859 | 10372 142228 476804 | 2147483647 109831 45 | 0.029 % |
56.32/56.47 c | 110455 | 10372 142228 476804 | 2147483647 110427 45 | 0.029 % |
57.02/57.13 c | 111110 | 10372 142228 476804 | 2147483647 111082 45 | 0.029 % |
57.62/57.78 c | 111830 | 10372 142228 476804 | 2147483647 111802 45 | 0.029 % |
58.22/58.35 c | 112622 | 10372 142228 476804 | 2147483647 112594 45 | 0.029 % |
58.91/59.03 c | 113495 | 10372 142228 476804 | 2147483647 113467 45 | 0.031 % |
59.71/59.81 c | 114453 | 10372 142228 476804 | 2147483647 114425 45 | 0.031 % |
60.51/60.61 c | 115507 | 10372 142228 476804 | 2147483647 115479 45 | 0.029 % |
61.72/61.83 c | 116665 | 10372 142228 476804 | 2147483647 116637 45 | 0.029 % |
62.82/62.92 c | 117939 | 10372 142228 476804 | 2147483647 117911 45 | 0.031 % |
62.91/63.00 c | 118039 | 10372 142228 476804 | 2147483647 118011 45 | 0.029 % |
63.01/63.12 c | 118149 | 10372 142228 476804 | 2147483647 118121 45 | 0.029 % |
63.11/63.21 c | 118271 | 10372 142228 476804 | 2147483647 118243 45 | 0.029 % |
63.11/63.27 c | 118405 | 10372 142228 476804 | 2147483647 118377 45 | 0.029 % |
63.31/63.40 c | 118552 | 10372 142228 476804 | 2147483647 118524 45 | 0.029 % |
63.41/63.57 c | 118712 | 10372 142228 476804 | 2147483647 118684 45 | 0.029 % |
63.62/63.76 c | 118888 | 10372 142228 476804 | 2147483647 118860 45 | 0.029 % |
63.81/63.94 c | 119084 | 10372 142228 476804 | 2147483647 119056 45 | 0.029 % |
64.01/64.11 c | 119296 | 10372 142228 476804 | 2147483647 119268 46 | 0.029 % |
64.31/64.47 c | 119530 | 10372 142228 476804 | 2147483647 119502 46 | 0.029 % |
64.51/64.66 c | 119786 | 10372 142228 476804 | 2147483647 119758 46 | 0.029 % |
64.81/64.92 c | 120067 | 10372 142228 476804 | 2147483647 120039 46 | 0.029 % |
65.11/65.21 c | 120377 | 10372 142228 476804 | 2147483647 120349 46 | 0.029 % |
65.31/65.45 c | 120719 | 10372 142228 476804 | 2147483647 120691 46 | 0.029 % |
65.71/65.84 c | 121091 | 10372 142228 476804 | 2147483647 121063 46 | 0.029 % |
66.11/66.26 c | 121502 | 10372 142228 476804 | 2147483647 121474 46 | 0.029 % |
66.61/66.72 c | 121952 | 10372 142228 476804 | 2147483647 121924 46 | 0.029 % |
67.11/67.29 c | 122445 | 10372 142228 476804 | 2147483647 122417 46 | 0.029 % |
67.71/67.82 c | 122989 | 10372 142228 476804 | 2147483647 122961 46 | 0.031 % |
68.31/68.46 c | 123585 | 10372 142228 476804 | 2147483647 123557 46 | 0.029 % |
69.11/69.24 c | 124240 | 10372 142228 476804 | 2147483647 124212 46 | 0.029 % |
69.90/70.04 c | 124962 | 10372 142228 476804 | 2147483647 124934 46 | 0.029 % |
70.60/70.76 c | 125755 | 10372 142228 476804 | 2147483647 125727 46 | 0.029 % |
71.60/71.77 c | 126627 | 10372 142228 476804 | 2147483647 126599 46 | 0.029 % |
72.51/72.63 c | 127585 | 10372 142228 476804 | 2147483647 127557 46 | 0.029 % |
73.51/73.61 c | 128638 | 10372 142228 476804 | 2147483647 128610 46 | 0.029 % |
74.90/75.06 c | 129799 | 10372 142228 476804 | 2147483647 129771 47 | 0.029 % |
76.31/76.44 c | 131073 | 10372 142228 476804 | 2147483647 131045 47 | 0.029 % |
77.41/77.54 c | 132473 | 10372 142228 476804 | 2147483647 132445 47 | 0.029 % |
77.51/77.62 c | 132574 | 10372 142228 476804 | 2147483647 132546 47 | 0.029 % |
77.61/77.77 c | 132684 | 10372 142228 476804 | 2147483647 132656 47 | 0.029 % |
77.81/77.91 c | 132805 | 10372 142228 476804 | 2147483647 132777 47 | 0.029 % |
77.91/78.04 c | 132939 | 10372 142228 476804 | 2147483647 132911 47 | 0.029 % |
78.01/78.19 c | 133085 | 10372 142228 476804 | 2147483647 133057 47 | 0.029 % |
78.31/78.46 c | 133249 | 10372 142228 476804 | 2147483647 133221 47 | 0.029 % |
78.51/78.63 c | 133427 | 10372 142228 476804 | 2147483647 133399 47 | 0.029 % |
78.71/78.84 c | 133620 | 10372 142228 476804 | 2147483647 133592 47 | 0.029 % |
78.91/79.07 c | 133834 | 10372 142228 476804 | 2147483647 133806 47 | 0.029 % |
79.21/79.32 c | 134067 | 10372 142228 476804 | 2147483647 134039 47 | 0.029 % |
79.41/79.58 c | 134323 | 10372 142228 476804 | 2147483647 134295 47 | 0.029 % |
79.71/79.87 c | 134604 | 10372 142228 476804 | 2147483647 134576 47 | 0.029 % |
80.01/80.12 c | 134913 | 10372 142228 476804 | 2147483647 134885 47 | 0.029 % |
80.21/80.38 c | 135253 | 10372 142228 476804 | 2147483647 135225 47 | 0.029 % |
80.50/80.68 c | 135628 | 10372 142228 476804 | 2147483647 135600 47 | 0.029 % |
81.00/81.18 c | 136038 | 10372 142228 476804 | 2147483647 136010 47 | 0.029 % |
81.60/81.70 c | 136494 | 10372 142228 476804 | 2147483647 136466 47 | 0.029 % |
81.90/82.09 c | 136987 | 10372 142228 476804 | 2147483647 136959 47 | 0.031 % |
82.50/82.62 c | 137531 | 10372 142228 476804 | 2147483647 137503 47 | 0.029 % |
83.10/83.20 c | 138128 | 10372 142228 476804 | 2147483647 138100 47 | 0.029 % |
83.69/83.88 c | 138784 | 10372 142228 476804 | 2147483647 138756 47 | 0.029 % |
84.50/84.62 c | 139505 | 10372 142228 476804 | 2147483647 139477 47 | 0.029 % |
85.29/85.44 c | 140300 | 10372 142228 476804 | 2147483647 140272 47 | 0.029 % |
86.19/86.34 c | 141171 | 10372 142228 476804 | 2147483647 141143 48 | 0.029 % |
87.10/87.21 c | 142129 | 10372 142228 476804 | 2147483647 142101 48 | 0.029 % |
87.90/88.09 c | 143185 | 10372 142228 476804 | 2147483647 143157 48 | 0.029 % |
89.00/89.18 c | 144343 | 10372 142228 476804 | 2147483647 144315 48 | 0.031 % |
90.40/90.56 c | 145617 | 10372 142228 476804 | 2147483647 145589 48 | 0.029 % |
92.20/92.31 c | 147017 | 10372 142228 476804 | 2147483647 146989 48 | 0.029 % |
94.39/94.58 c | 148561 | 10372 142228 476804 | 2147483647 148533 48 | 0.029 % |
94.49/94.70 c | 148663 | 10372 142228 476804 | 2147483647 148635 48 | 0.029 % |
94.69/94.80 c | 148773 | 10372 142228 476804 | 2147483647 148745 48 | 0.029 % |
94.79/94.95 c | 148894 | 10372 142228 476804 | 2147483647 148866 48 | 0.029 % |
94.89/95.08 c | 149027 | 10372 142228 476804 | 2147483647 148999 48 | 0.029 % |
95.09/95.21 c | 149173 | 10372 142228 476804 | 2147483647 149145 48 | 0.029 % |
95.19/95.37 c | 149333 | 10372 142228 476804 | 2147483647 149305 48 | 0.029 % |
95.39/95.51 c | 149509 | 10372 142228 476804 | 2147483647 149481 48 | 0.029 % |
95.59/95.78 c | 149703 | 10372 142228 476804 | 2147483647 149675 48 | 0.029 % |
95.89/96.03 c | 149915 | 10372 142228 476804 | 2147483647 149887 48 | 0.029 % |
96.19/96.39 c | 150150 | 10372 142228 476804 | 2147483647 150122 48 | 0.029 % |
96.49/96.66 c | 150408 | 10372 142228 476804 | 2147483647 150380 48 | 0.029 % |
96.89/97.05 c | 150689 | 10372 142228 476804 | 2147483647 150661 48 | 0.029 % |
97.29/97.44 c | 150998 | 10372 142228 476804 | 2147483647 150970 48 | 0.029 % |
97.58/97.79 c | 151338 | 10372 142228 476804 | 2147483647 151310 48 | 0.029 % |
97.88/98.08 c | 151710 | 10372 142228 476804 | 2147483647 151682 48 | 0.029 % |
98.28/98.47 c | 152119 | 10372 142228 476804 | 2147483647 152091 48 | 0.029 % |
98.80/98.95 c | 152568 | 10372 142228 476804 | 2147483647 152540 48 | 0.029 % |
99.39/99.58 c | 153063 | 10372 142228 476804 | 2147483647 153035 48 | 0.029 % |
100.19/100.33 c | 153610 | 10372 142228 476804 | 2147483647 153582 48 | 0.031 % |
101.19/101.33 c | 154208 | 10372 142228 476804 | 2147483647 154180 48 | 0.029 % |
101.88/102.06 c | 154865 | 10372 142228 476804 | 2147483647 154837 48 | 0.029 % |
102.78/102.98 c | 155586 | 10372 142228 476804 | 2147483647 155558 49 | 0.029 % |
103.98/104.17 c | 156378 | 10372 142228 476804 | 2147483647 156350 49 | 0.029 % |
105.28/105.45 c | 157249 | 10372 142228 476804 | 2147483647 157221 49 | 0.029 % |
106.38/106.54 c | 158207 | 10372 142228 476804 | 2147483647 158179 49 | 0.029 % |
107.88/108.06 c | 159260 | 10372 142228 476804 | 2147483647 159232 49 | 0.029 % |
109.38/109.51 c | 160418 | 10372 142228 476804 | 2147483647 160390 49 | 0.029 % |
110.99/111.18 c | 161691 | 10372 142228 476804 | 2147483647 161663 49 | 0.029 % |
112.39/112.57 c | 163091 | 10372 142228 476804 | 2147483647 163063 49 | 0.029 % |
114.38/114.52 c | 164632 | 10372 142228 476804 | 2147483647 164604 49 | 0.029 % |
116.28/116.46 c | 166326 | 10372 142228 476804 | 2147483647 166298 49 | 0.029 % |
116.39/116.53 c | 166427 | 10372 142228 476804 | 2147483647 166399 49 | 0.029 % |
116.49/116.65 c | 166541 | 10372 142228 476804 | 2147483647 166513 49 | 0.029 % |
116.68/116.84 c | 166665 | 10372 142228 476804 | 2147483647 166637 49 | 0.029 % |
116.88/117.02 c | 166800 | 10372 142228 476804 | 2147483647 166772 49 | 0.029 % |
116.98/117.17 c | 166946 | 10372 142228 476804 | 2147483647 166918 49 | 0.029 % |
117.18/117.40 c | 167107 | 10372 142228 476804 | 2147483647 167079 49 | 0.029 % |
117.49/117.68 c | 167283 | 10372 142228 476804 | 2147483647 167255 49 | 0.029 % |
117.68/117.83 c | 167476 | 10372 142228 476804 | 2147483647 167448 49 | 0.029 % |
117.88/118.01 c | 167688 | 10372 142228 476804 | 2147483647 167660 49 | 0.029 % |
118.08/118.23 c | 167921 | 10372 142228 476804 | 2147483647 167893 49 | 0.029 % |
118.38/118.59 c | 168177 | 10372 142228 476804 | 2147483647 168149 49 | 0.029 % |
118.68/118.88 c | 168459 | 10372 142228 476804 | 2147483647 168431 49 | 0.029 % |
119.08/119.28 c | 168768 | 10372 142228 476804 | 2147483647 168740 49 | 0.029 % |
119.58/119.78 c | 169110 | 10372 142228 476804 | 2147483647 169082 49 | 0.029 % |
119.98/120.13 c | 169483 | 10372 142228 476804 | 2147483647 169455 49 | 0.029 % |
120.38/120.55 c | 169892 | 10372 142228 476804 | 2147483647 169864 49 | 0.029 % |
120.88/121.04 c | 170342 | 10372 142228 476804 | 2147483647 170314 50 | 0.029 % |
121.47/121.61 c | 170837 | 10372 142228 476804 | 2147483647 170809 50 | 0.029 % |
122.27/122.41 c | 171379 | 10372 142228 476804 | 2147483647 171351 50 | 0.029 % |
123.08/123.23 c | 171975 | 10372 142228 476804 | 2147483647 171947 50 | 0.029 % |
123.77/123.99 c | 172632 | 10372 142228 476804 | 2147483647 172604 50 | 0.029 % |
124.37/124.56 c | 173352 | 10372 142228 476804 | 2147483647 173324 50 | 0.029 % |
125.28/125.46 c | 174144 | 10372 142228 476804 | 2147483647 174116 50 | 0.029 % |
126.27/126.46 c | 175015 | 10372 142228 476804 | 2147483647 174987 50 | 0.029 % |
127.87/128.02 c | 175973 | 10372 142228 476804 | 2147483647 175945 50 | 0.029 % |
129.57/129.74 c | 177027 | 10372 142228 476804 | 2147483647 176999 50 | 0.029 % |
131.37/131.52 c | 178187 | 10372 142228 476804 | 2147483647 178159 50 | 0.029 % |
133.46/133.60 c | 179461 | 10372 142228 476804 | 2147483647 179433 50 | 0.029 % |
135.66/135.87 c | 180862 | 10372 142228 476804 | 2147483647 180834 50 | 0.029 % |
138.06/138.24 c | 182402 | 10372 142228 476804 | 2147483647 182374 50 | 0.029 % |
140.96/141.13 c | 184098 | 10372 142228 476804 | 2147483647 184070 50 | 0.029 % |
143.46/143.64 c | 185964 | 10372 142228 476804 | 2147483647 185936 50 | 0.029 % |
143.66/143.87 c | 186064 | 10372 142228 476804 | 2147483647 186036 50 | 0.029 % |
143.86/144.05 c | 186174 | 10372 142228 476804 | 2147483647 186146 50 | 0.029 % |
144.06/144.23 c | 186295 | 10372 142228 476804 | 2147483647 186267 50 | 0.029 % |
144.26/144.45 c | 186429 | 10372 142228 476804 | 2147483647 186401 50 | 0.031 % |
144.46/144.60 c | 186575 | 10372 142228 476804 | 2147483647 186547 50 | 0.029 % |
144.56/144.72 c | 186735 | 10372 142228 476804 | 2147483647 186707 50 | 0.029 % |
144.76/144.93 c | 186911 | 10372 142228 476804 | 2147483647 186883 50 | 0.029 % |
145.06/145.24 c | 187105 | 10372 142228 476804 | 2147483647 187077 50 | 0.029 % |
145.26/145.47 c | 187318 | 10372 142228 476804 | 2147483647 187290 50 | 0.029 % |
145.56/145.76 c | 187552 | 10372 142228 476804 | 2147483647 187524 50 | 0.029 % |
145.96/146.12 c | 187808 | 10372 142228 476804 | 2147483647 187780 50 | 0.029 % |
146.26/146.44 c | 188089 | 10372 142228 476804 | 2147483647 188061 50 | 0.029 % |
146.76/147.00 c | 188399 | 10372 142228 476804 | 2147483647 188371 50 | 0.029 % |
147.46/147.67 c | 188738 | 10372 142228 476804 | 2147483647 188710 50 | 0.029 % |
147.96/148.17 c | 189110 | 10372 142228 476804 | 2147483647 189082 50 | 0.029 % |
148.56/148.75 c | 189519 | 10372 142228 476804 | 2147483647 189491 50 | 0.029 % |
148.96/149.19 c | 189972 | 10372 142228 476804 | 2147483647 189944 50 | 0.029 % |
149.46/149.67 c | 190466 | 10372 142228 476804 | 2147483647 190438 50 | 0.029 % |
150.26/150.46 c | 191009 | 10372 142228 476804 | 2147483647 190981 50 | 0.029 % |
150.86/151.07 c | 191605 | 10372 142228 476804 | 2147483647 191577 50 | 0.029 % |
151.76/151.93 c | 192260 | 10372 142228 476804 | 2147483647 192232 50 | 0.029 % |
152.66/152.81 c | 192982 | 10372 142228 476804 | 2147483647 192954 50 | 0.029 % |
153.45/153.62 c | 193775 | 10372 142228 476804 | 2147483647 193747 50 | 0.029 % |
154.65/154.81 c | 194646 | 10372 142228 476804 | 2147483647 194618 50 | 0.029 % |
155.75/155.93 c | 195604 | 10372 142228 476804 | 2147483647 195576 51 | 0.029 % |
156.86/157.00 c | 196658 | 10372 142228 476804 | 2147483647 196630 51 | 0.029 % |
158.36/158.55 c | 197817 | 10372 142228 476804 | 2147483647 197789 51 | 0.029 % |
160.06/160.20 c | 199090 | 10372 142228 476804 | 2147483647 199062 51 | 0.029 % |
162.66/162.85 c | 200491 | 10372 142228 476804 | 2147483647 200463 51 | 0.029 % |
165.05/165.25 c | 202031 | 10372 142228 476804 | 2147483647 202003 51 | 0.029 % |
167.55/167.76 c | 203725 | 10372 142228 476804 | 2147483647 203697 51 | 0.029 % |
170.35/170.53 c | 205588 | 10372 142228 476804 | 2147483647 205560 51 | 0.029 % |
173.84/174.09 c | 207638 | 10372 142228 476804 | 2147483647 207610 52 | 0.029 % |
174.14/174.30 c | 207738 | 10372 142228 476804 | 2147483647 207710 52 | 0.029 % |
174.34/174.50 c | 207850 | 10372 142228 476804 | 2147483647 207822 52 | 0.029 % |
174.44/174.65 c | 207973 | 10372 142228 476804 | 2147483647 207945 52 | 0.029 % |
174.65/174.85 c | 208106 | 10372 142228 476804 | 2147483647 208078 52 | 0.029 % |
174.84/175.02 c | 208254 | 10372 142228 476804 | 2147483647 208226 52 | 0.029 % |
175.04/175.21 c | 208414 | 10372 142228 476804 | 2147483647 208386 52 | 0.031 % |
175.34/175.52 c | 208590 | 10372 142228 476804 | 2147483647 208562 52 | 0.029 % |
175.75/175.93 c | 208785 | 10372 142228 476804 | 2147483647 208757 52 | 0.029 % |
176.04/176.27 c | 208997 | 10372 142228 476804 | 2147483647 208969 52 | 0.029 % |
176.44/176.60 c | 209230 | 10372 142228 476804 | 2147483647 209202 52 | 0.029 % |
176.74/176.91 c | 209486 | 10372 142228 476804 | 2147483647 209458 52 | 0.029 % |
177.14/177.35 c | 209767 | 10372 142228 476804 | 2147483647 209739 52 | 0.029 % |
177.95/178.11 c | 210078 | 10372 142228 476804 | 2147483647 210050 52 | 0.029 % |
178.44/178.69 c | 210418 | 10372 142228 476804 | 2147483647 210390 52 | 0.029 % |
179.14/179.31 c | 210791 | 10372 142228 476804 | 2147483647 210763 52 | 0.029 % |
179.84/180.02 c | 211203 | 10372 142228 476804 | 2147483647 211175 52 | 0.029 % |
180.54/180.77 c | 211653 | 10372 142228 476804 | 2147483647 211625 52 | 0.029 % |
181.34/181.52 c | 212147 | 10372 142228 476804 | 2147483647 212119 52 | 0.029 % |
182.44/182.67 c | 212689 | 10372 142228 476804 | 2147483647 212661 52 | 0.029 % |
183.44/183.70 c | 213286 | 10372 142228 476804 | 2147483647 213258 52 | 0.029 % |
184.54/184.72 c | 213943 | 10372 142228 476804 | 2147483647 213915 52 | 0.029 % |
185.84/186.04 c | 214665 | 10372 142228 476804 | 2147483647 214637 52 | 0.029 % |
187.04/187.22 c | 215459 | 10372 142228 476804 | 2147483647 215431 52 | 0.029 % |
188.44/188.64 c | 216330 | 10372 142228 476804 | 2147483647 216302 52 | 0.029 % |
190.04/190.29 c | 217289 | 10372 142228 476804 | 2147483647 217261 52 | 0.029 % |
191.93/192.13 c | 218342 | 10372 142228 476804 | 2147483647 218314 52 | 0.029 % |
193.63/193.86 c | 219500 | 10372 142228 476804 | 2147483647 219472 52 | 0.029 % |
196.03/196.27 c | 220775 | 10372 142228 476804 | 2147483647 220747 52 | 0.029 % |
198.73/198.98 c | 222177 | 10372 142228 476804 | 2147483647 222149 52 | 0.029 % |
200.94/201.10 c | 223717 | 10372 142228 476804 | 2147483647 223689 52 | 0.029 % |
203.53/203.76 c | 225412 | 10372 142228 476804 | 2147483647 225384 52 | 0.029 % |
206.43/206.70 c | 227276 | 10372 142228 476804 | 2147483647 227248 52 | 0.029 % |
209.73/209.92 c | 229325 | 10372 142228 476804 | 2147483647 229297 52 | 0.029 % |
213.92/214.15 c | 231579 | 10372 142228 476804 | 2147483647 231551 52 | 0.029 % |
214.12/214.34 c | 231681 | 10372 142228 476804 | 2147483647 231653 52 | 0.029 % |
214.33/214.53 c | 231791 | 10372 142228 476804 | 2147483647 231763 52 | 0.029 % |
214.52/214.77 c | 231914 | 10372 142228 476804 | 2147483647 231886 52 | 0.029 % |
214.72/214.99 c | 232047 | 10372 142228 476804 | 2147483647 232019 52 | 0.029 % |
215.12/215.32 c | 232194 | 10372 142228 476804 | 2147483647 232166 52 | 0.029 % |
215.52/215.72 c | 232354 | 10372 142228 476804 | 2147483647 232326 52 | 0.029 % |
215.82/216.01 c | 232530 | 10372 142228 476804 | 2147483647 232502 52 | 0.029 % |
216.22/216.41 c | 232723 | 10372 142228 476804 | 2147483647 232695 52 | 0.029 % |
216.42/216.68 c | 232935 | 10372 142228 476804 | 2147483647 232907 52 | 0.029 % |
216.81/217.08 c | 233169 | 10372 142228 476804 | 2147483647 233141 52 | 0.029 % |
217.21/217.47 c | 233428 | 10372 142228 476804 | 2147483647 233400 52 | 0.029 % |
217.71/217.95 c | 233712 | 10372 142228 476804 | 2147483647 233684 52 | 0.029 % |
218.11/218.35 c | 234022 | 10372 142228 476804 | 2147483647 233994 52 | 0.029 % |
218.81/219.04 c | 234361 | 10372 142228 476804 | 2147483647 234333 52 | 0.029 % |
219.51/219.77 c | 234733 | 10372 142228 476804 | 2147483647 234705 52 | 0.029 % |
220.21/220.42 c | 235143 | 10372 142228 476804 | 2147483647 235115 52 | 0.029 % |
220.61/220.84 c | 235592 | 10372 142228 476804 | 2147483647 235564 52 | 0.029 % |
221.51/221.70 c | 236086 | 10372 142228 476804 | 2147483647 236058 52 | 0.029 % |
222.42/222.65 c | 236629 | 10372 142228 476804 | 2147483647 236601 52 | 0.029 % |
223.42/223.63 c | 237225 | 10372 142228 476804 | 2147483647 237197 52 | 0.029 % |
224.42/224.66 c | 237880 | 10372 142228 476804 | 2147483647 237852 52 | 0.029 % |
225.62/225.86 c | 238600 | 10372 142228 476804 | 2147483647 238572 52 | 0.029 % |
226.82/227.05 c | 239392 | 10372 142228 476804 | 2147483647 239364 52 | 0.029 % |
228.62/228.85 c | 240264 | 10372 142228 476804 | 239973 240236 53 | 0.029 % |
230.92/231.11 c | 241222 | 10372 142228 476804 | 239973 213862 51 | 0.029 % |
232.41/232.63 c | 242277 | 10372 142228 476804 | 239973 214917 51 | 0.029 % |
234.21/234.50 c | 243435 | 10372 142228 476804 | 239973 216075 51 | 0.029 % |
235.91/236.16 c | 244711 | 10372 142228 476804 | 239973 217351 51 | 0.029 % |
237.71/237.96 c | 246113 | 10372 142228 476804 | 239973 218753 51 | 0.029 % |
240.41/240.65 c | 247653 | 10372 142228 476804 | 239973 220293 51 | 0.029 % |
243.31/243.56 c | 249349 | 10372 142228 476804 | 239973 221989 52 | 0.029 % |
246.51/246.77 c | 251213 | 10372 142228 476804 | 2147483647 223853 52 | 0.029 % |
249.81/250.07 c | 253262 | 10372 142228 476804 | 2147483647 225902 52 | 0.029 % |
254.31/254.51 c | 255516 | 10372 142228 476804 | 2147483647 228156 52 | 0.029 % |
259.80/260.06 c | 257995 | 10372 142228 476804 | 2147483647 230635 52 | 0.029 % |
260.00/260.27 c | 258095 | 10372 142228 476804 | 2147483647 230735 52 | 0.029 % |
260.20/260.45 c | 258205 | 10372 142228 476804 | 2147483647 230845 52 | 0.029 % |
260.41/260.69 c | 258326 | 10372 142228 476804 | 2147483647 230966 52 | 0.029 % |
260.70/260.95 c | 258459 | 10372 142228 476804 | 2147483647 231099 52 | 0.029 % |
261.10/261.31 c | 258605 | 10372 142228 476804 | 2147483647 231245 52 | 0.029 % |
261.30/261.56 c | 258765 | 10372 142228 476804 | 2147483647 231405 52 | 0.029 % |
261.60/261.89 c | 258942 | 10372 142228 476804 | 2147483647 231582 52 | 0.029 % |
262.00/262.20 c | 259136 | 10372 142228 476804 | 2147483647 231776 52 | 0.029 % |
262.30/262.54 c | 259348 | 10372 142228 476804 | 2147483647 231988 52 | 0.029 % |
262.70/262.91 c | 259581 | 10372 142228 476804 | 2147483647 232221 52 | 0.029 % |
263.00/263.26 c | 259839 | 10372 142228 476804 | 2147483647 232479 52 | 0.029 % |
263.40/263.65 c | 260124 | 10372 142228 476804 | 2147483647 232764 52 | 0.029 % |
263.90/264.12 c | 260435 | 10372 142228 476804 | 2147483647 233075 52 | 0.029 % |
264.50/264.76 c | 260775 | 10372 142228 476804 | 2147483647 233415 52 | 0.029 % |
265.10/265.35 c | 261147 | 10372 142228 476804 | 2147483647 233787 52 | 0.029 % |
265.70/265.96 c | 261558 | 10372 142228 476804 | 2147483647 234198 52 | 0.029 % |
266.20/266.47 c | 262007 | 10372 142228 476804 | 2147483647 234647 52 | 0.029 % |
266.90/267.13 c | 262500 | 10372 142228 476804 | 2147483647 235140 52 | 0.029 % |
268.00/268.24 c | 263045 | 10372 142228 476804 | 2147483647 235685 52 | 0.029 % |
268.90/269.16 c | 263641 | 10372 142228 476804 | 2147483647 236281 52 | 0.029 % |
270.00/270.29 c | 264296 | 10372 142228 476804 | 2147483647 236936 52 | 0.029 % |
271.10/271.37 c | 265018 | 10372 142228 476804 | 2147483647 237658 53 | 0.029 % |
272.30/272.57 c | 265812 | 10372 142228 476804 | 2147483647 238452 53 | 0.029 % |
273.70/273.99 c | 266684 | 10372 142228 476804 | 2147483647 239324 53 | 0.029 % |
275.10/275.36 c | 267645 | 10372 142228 476804 | 2147483647 240285 53 | 0.029 % |
277.00/277.23 c | 268702 | 10372 142228 476804 | 2147483647 241342 53 | 0.029 % |
279.20/279.46 c | 269860 | 10372 142228 476804 | 2147483647 242500 53 | 0.029 % |
281.40/281.69 c | 271134 | 10372 142228 476804 | 242640 243774 53 | 0.029 % |
283.60/283.85 c | 272534 | 10372 142228 476804 | 242640 218610 53 | 0.029 % |
286.30/286.59 c | 274076 | 10372 142228 476804 | 242640 220152 53 | 0.029 % |
289.20/289.43 c | 275772 | 10372 142228 476804 | 242640 221848 53 | 0.029 % |
291.99/292.23 c | 277637 | 10372 142228 476804 | 242640 223713 54 | 0.029 % |
295.39/295.61 c | 279687 | 10372 142228 476804 | 242640 225763 54 | 0.029 % |
299.29/299.52 c | 281940 | 10372 142228 476804 | 226076 202865 52 | 0.029 % |
302.89/303.11 c | 284418 | 10372 142228 476804 | 226076 205343 52 | 0.029 % |
306.99/307.29 c | 287144 | 10372 142228 476804 | 226076 208069 52 | 0.029 % |
307.19/307.47 c | 287244 | 10372 142228 476804 | 226076 208169 52 | 0.029 % |
307.39/307.61 c | 287354 | 10372 142228 476804 | 226076 208279 52 | 0.029 % |
307.59/307.80 c | 287476 | 10372 142228 476804 | 226076 208401 52 | 0.029 % |
307.79/308.02 c | 287613 | 10372 142228 476804 | 226076 208538 52 | 0.029 % |
308.09/308.33 c | 287759 | 10372 142228 476804 | 226076 208684 52 | 0.029 % |
308.29/308.56 c | 287921 | 10372 142228 476804 | 226076 208846 52 | 0.029 % |
308.69/308.90 c | 288097 | 10372 142228 476804 | 226076 209022 52 | 0.031 % |
309.09/309.33 c | 288291 | 10372 142228 476804 | 226076 209216 52 | 0.029 % |
309.39/309.62 c | 288503 | 10372 142228 476804 | 226076 209428 52 | 0.029 % |
309.78/310.05 c | 288737 | 10372 142228 476804 | 226076 209662 52 | 0.029 % |
309.99/310.22 c | 288993 | 10372 142228 476804 | 226076 209918 52 | 0.029 % |
310.58/310.81 c | 289277 | 10372 142228 476804 | 226076 210202 52 | 0.029 % |
311.09/311.33 c | 289586 | 10372 142228 476804 | 226076 210511 52 | 0.029 % |
311.58/311.85 c | 289928 | 10371 142221 476783 | 226076 210843 52 | 0.039 % |
312.09/312.31 c | 290301 | 10371 142221 476783 | 2147483647 211216 52 | 0.039 % |
312.58/312.87 c | 290710 | 10371 142221 476783 | 2147483647 211625 52 | 0.039 % |
313.48/313.77 c | 291159 | 10371 142221 476783 | 2147483647 212074 52 | 0.039 % |
314.48/314.74 c | 291653 | 10371 142221 476783 | 2147483647 212568 53 | 0.039 % |
315.18/315.43 c | 292195 | 10371 142221 476783 | 2147483647 213110 53 | 0.039 % |
315.88/316.11 c | 292791 | 10371 142221 476783 | 2147483647 213706 53 | 0.039 % |
316.59/316.89 c | 293449 | 10371 142221 476783 | 2147483647 214364 53 | 0.039 % |
317.38/317.63 c | 294169 | 10371 142221 476783 | 2147483647 215084 53 | 0.039 % |
318.28/318.53 c | 294961 | 10371 142221 476783 | 2147483647 215876 53 | 0.039 % |
319.48/319.75 c | 295832 | 10371 142221 476783 | 2147483647 216747 53 | 0.039 % |
321.08/321.36 c | 296792 | 10371 142221 476783 | 2147483647 217707 53 | 0.039 % |
322.48/322.72 c | 297845 | 10371 142221 476783 | 2147483647 218760 53 | 0.039 % |
324.58/324.83 c | 299003 | 10371 142221 476783 | 2147483647 219918 53 | 0.039 % |
327.18/327.42 c | 300278 | 10371 142221 476783 | 2147483647 221193 53 | 0.039 % |
329.78/330.08 c | 301679 | 10371 142221 476783 | 2147483647 222594 53 | 0.039 % |
332.37/332.63 c | 303220 | 10371 142221 476783 | 2147483647 224135 53 | 0.039 % |
335.37/335.66 c | 304916 | 10371 142221 476783 | 2147483647 225831 53 | 0.039 % |
338.87/339.15 c | 306780 | 10371 142221 476783 | 2147483647 227695 53 | 0.039 % |
342.88/343.17 c | 308831 | 10371 142221 476783 | 2147483647 229746 53 | 0.039 % |
346.17/346.50 c | 311084 | 10371 142221 476783 | 230915 231999 53 | 0.039 % |
350.67/350.97 c | 313562 | 10371 142221 476783 | 230915 211278 52 | 0.039 % |
355.26/355.52 c | 316291 | 10371 142221 476783 | 230915 214007 52 | 0.039 % |
360.06/360.37 c | 319288 | 10371 142221 476783 | 230915 217004 52 | 0.039 % |
360.26/360.55 c | 319392 | 10371 142221 476783 | 230915 217108 52 | 0.039 % |
360.46/360.78 c | 319505 | 10371 142221 476783 | 230915 217221 52 | 0.039 % |
360.96/361.26 c | 319627 | 10371 142221 476783 | 230915 217343 52 | 0.039 % |
361.46/361.75 c | 319760 | 10371 142221 476783 | 230915 217476 52 | 0.039 % |
361.66/361.99 c | 319906 | 10371 142221 476783 | 230915 217622 52 | 0.039 % |
361.96/362.28 c | 320066 | 10371 142221 476783 | 2147483647 217782 52 | 0.039 % |
362.56/362.84 c | 320244 | 10371 142221 476783 | 2147483647 217960 52 | 0.039 % |
363.06/363.35 c | 320438 | 10371 142221 476783 | 2147483647 218154 52 | 0.039 % |
363.36/363.66 c | 320650 | 10371 142221 476783 | 2147483647 218366 52 | 0.039 % |
363.86/364.14 c | 320883 | 10371 142221 476783 | 2147483647 218599 52 | 0.039 % |
364.36/364.62 c | 321139 | 10371 142221 476783 | 2147483647 218855 52 | 0.039 % |
364.86/365.17 c | 321420 | 10371 142221 476783 | 2147483647 219136 52 | 0.039 % |
365.46/365.70 c | 321729 | 10371 142221 476783 | 2147483647 219445 52 | 0.039 % |
365.86/366.13 c | 322070 | 10371 142221 476783 | 2147483647 219786 52 | 0.039 % |
366.66/366.95 c | 322442 | 10371 142221 476783 | 2147483647 220158 52 | 0.039 % |
367.46/367.74 c | 322852 | 10371 142221 476783 | 2147483647 220568 52 | 0.039 % |
368.06/368.38 c | 323301 | 10371 142221 476783 | 2147483647 221017 53 | 0.039 % |
368.95/369.21 c | 323796 | 10371 142221 476783 | 2147483647 221512 53 | 0.039 % |
369.85/370.11 c | 324339 | 10371 142221 476783 | 2147483647 222055 53 | 0.039 % |
370.85/371.10 c | 324937 | 10371 142221 476783 | 2147483647 222653 53 | 0.039 % |
372.05/372.32 c | 325592 | 10371 142221 476783 | 2147483647 223308 53 | 0.039 % |
373.45/373.71 c | 326315 | 10371 142221 476783 | 2147483647 224031 53 | 0.039 % |
374.95/375.26 c | 327110 | 10371 142221 476783 | 2147483647 224826 53 | 0.039 % |
376.45/376.75 c | 327981 | 10371 142221 476783 | 2147483647 225697 53 | 0.039 % |
378.15/378.49 c | 328939 | 10371 142221 476783 | 2147483647 226655 53 | 0.039 % |
380.15/380.42 c | 329995 | 10371 142221 476783 | 2147483647 227711 53 | 0.039 % |
382.35/382.62 c | 331153 | 10371 142221 476783 | 227718 205381 51 | 0.039 % |
384.15/384.47 c | 332427 | 10371 142221 476783 | 227718 206655 51 | 0.039 % |
386.55/386.81 c | 333828 | 10371 142221 476783 | 227718 208056 52 | 0.039 % |
388.85/389.12 c | 335370 | 10371 142221 476783 | 227718 209598 52 | 0.039 % |
391.45/391.78 c | 337065 | 10371 142221 476783 | 227718 211293 52 | 0.039 % |
394.65/394.91 c | 338929 | 10371 142221 476783 | 227718 213157 52 | 0.039 % |
398.84/399.16 c | 340980 | 10371 142221 476783 | 2147483647 215208 53 | 0.039 % |
403.24/403.54 c | 343233 | 10371 142221 476783 | 2147483647 217461 53 | 0.039 % |
408.34/408.67 c | 345711 | 10371 142221 476783 | 2147483647 219939 53 | 0.039 % |
413.43/413.74 c | 348440 | 10371 142221 476783 | 2147483647 222668 53 | 0.039 % |
419.03/419.35 c | 351438 | 10371 142221 476783 | 224228 225666 53 | 0.039 % |
425.53/425.80 c | 354734 | 10371 142221 476783 | 224228 206396 52 | 0.039 % |
425.63/425.97 c | 354834 | 10371 142221 476783 | 224228 206496 52 | 0.039 % |
425.83/426.19 c | 354944 | 10371 142221 476783 | 224228 206606 52 | 0.039 % |
426.13/426.46 c | 355065 | 10371 142221 476783 | 224228 206727 53 | 0.039 % |
426.33/426.68 c | 355199 | 10371 142221 476783 | 224228 206861 53 | 0.039 % |
426.63/426.96 c | 355345 | 10371 142221 476783 | 224228 207007 53 | 0.039 % |
426.93/427.23 c | 355505 | 10371 142221 476783 | 224228 207167 53 | 0.039 % |
427.33/427.60 c | 355681 | 10371 142221 476783 | 224228 207343 53 | 0.039 % |
427.53/427.89 c | 355874 | 10371 142221 476783 | 224228 207536 53 | 0.039 % |
427.83/428.20 c | 356086 | 10371 142221 476783 | 224228 207748 53 | 0.041 % |
428.33/428.61 c | 356321 | 10371 142221 476783 | 224228 207983 53 | 0.039 % |
428.63/428.95 c | 356578 | 10371 142221 476783 | 224228 208240 53 | 0.039 % |
428.93/429.26 c | 356859 | 10371 142221 476783 | 224228 208521 53 | 0.039 % |
429.23/429.56 c | 357170 | 10371 142221 476783 | 224228 208832 53 | 0.039 % |
429.73/430.08 c | 357513 | 10371 142221 476783 | 224228 209175 53 | 0.039 % |
430.33/430.61 c | 357886 | 10371 142221 476783 | 224228 209548 53 | 0.039 % |
430.63/430.93 c | 358295 | 10371 142221 476783 | 224228 209957 53 | 0.039 % |
430.93/431.25 c | 358747 | 10371 142221 476783 | 224228 210409 53 | 0.039 % |
431.43/431.77 c | 359240 | 10371 142221 476783 | 224228 210902 53 | 0.039 % |
432.03/432.33 c | 359784 | 10371 142221 476783 | 224228 211446 53 | 0.039 % |
432.73/433.04 c | 360385 | 10371 142221 476783 | 2147483647 212047 53 | 0.039 % |
433.53/433.89 c | 361042 | 10371 142221 476783 | 2147483647 212704 53 | 0.039 % |
435.23/435.51 c | 361765 | 10370 142167 476603 | 2147483647 213418 53 | 0.048 % |
436.52/436.82 c | 362557 | 10370 142167 476603 | 2147483647 214210 53 | 0.048 % |
438.02/438.37 c | 363430 | 10370 142167 476603 | 2147483647 215083 53 | 0.048 % |
439.52/439.90 c | 364389 | 10370 142167 476603 | 2147483647 216042 53 | 0.048 % |
441.42/441.73 c | 365442 | 10370 142167 476603 | 2147483647 217095 53 | 0.048 % |
443.52/443.80 c | 366601 | 10370 142167 476603 | 2147483647 218254 53 | 0.048 % |
445.42/445.77 c | 367876 | 10370 142167 476603 | 2147483647 219529 53 | 0.048 % |
447.21/447.57 c | 369276 | 10370 142167 476603 | 2147483647 220929 53 | 0.048 % |
449.31/449.61 c | 370817 | 10370 142167 476603 | 2147483647 222470 53 | 0.048 % |
451.11/451.44 c | 372511 | 10370 142167 476603 | 2147483647 224164 53 | 0.048 % |
454.91/455.21 c | 374374 | 10370 142167 476603 | 2147483647 226027 54 | 0.048 % |
458.91/459.21 c | 376425 | 10370 142167 476603 | 2147483647 228078 54 | 0.048 % |
462.91/463.21 c | 378679 | 10370 142167 476603 | 2147483647 230332 54 | 0.048 % |
469.50/469.83 c | 381157 | 10370 142167 476603 | 231653 207226 53 | 0.048 % |
474.40/474.72 c | 383882 | 10370 142167 476603 | 231653 209951 53 | 0.048 % |
480.00/480.31 c | 386881 | 10370 142167 476603 | 231653 212950 53 | 0.048 % |
485.30/485.68 c | 390177 | 10370 142167 476603 | 2147483647 216246 53 | 0.048 % |
491.30/491.62 c | 393803 | 10370 142167 476603 | 2147483647 219872 53 | 0.048 % |
491.40/491.77 c | 393904 | 10370 142167 476603 | 2147483647 219973 53 | 0.048 % |
491.59/491.98 c | 394017 | 10370 142167 476603 | 2147483647 220086 53 | 0.048 % |
491.99/492.30 c | 394142 | 10370 142167 476603 | 2147483647 220211 53 | 0.048 % |
492.29/492.62 c | 394275 | 10370 142167 476603 | 2147483647 220344 53 | 0.048 % |
492.50/492.87 c | 394421 | 10370 142167 476603 | 2147483647 220490 53 | 0.048 % |
492.79/493.17 c | 394581 | 10370 142167 476603 | 2147483647 220650 53 | 0.048 % |
493.19/493.52 c | 394757 | 10370 142167 476603 | 2147483647 220826 53 | 0.048 % |
493.50/493.82 c | 394951 | 10370 142167 476603 | 2147483647 221020 53 | 0.048 % |
493.89/494.22 c | 395166 | 10370 142167 476603 | 2147483647 221235 53 | 0.048 % |
494.29/494.66 c | 395399 | 10370 142167 476603 | 2147483647 221468 53 | 0.048 % |
494.79/495.15 c | 395656 | 10370 142167 476603 | 2147483647 221725 53 | 0.048 % |
495.19/495.55 c | 395937 | 10370 142167 476603 | 2147483647 222006 53 | 0.048 % |
495.69/496.07 c | 396246 | 10370 142167 476603 | 2147483647 222315 53 | 0.048 % |
496.19/496.53 c | 396586 | 10370 142167 476603 | 2147483647 222655 53 | 0.050 % |
496.59/496.93 c | 396958 | 10370 142167 476603 | 2147483647 223027 53 | 0.048 % |
497.09/497.48 c | 397367 | 10370 142167 476603 | 2147483647 223436 53 | 0.048 % |
497.79/498.12 c | 397818 | 10370 142167 476603 | 2147483647 223887 53 | 0.048 % |
498.89/499.20 c | 398311 | 10370 142167 476603 | 2147483647 224380 53 | 0.050 % |
499.79/500.13 c | 398853 | 10370 142167 476603 | 2147483647 224922 54 | 0.048 % |
500.79/501.14 c | 399450 | 10370 142167 476603 | 2147483647 225519 54 | 0.048 % |
501.79/502.19 c | 400108 | 10370 142167 476603 | 226069 226177 54 | 0.048 % |
503.59/503.90 c | 400829 | 10370 142167 476603 | 226069 203923 52 | 0.048 % |
504.89/505.26 c | 401622 | 10370 142167 476603 | 226069 204716 52 | 0.048 % |
506.29/506.67 c | 402493 | 10370 142167 476603 | 226069 205587 53 | 0.048 % |
508.18/508.52 c | 403453 | 10370 142167 476603 | 226069 206547 53 | 0.048 % |
509.78/510.15 c | 404506 | 10370 142167 476603 | 226069 207600 53 | 0.048 % |
511.68/512.03 c | 405665 | 10370 142167 476603 | 226069 208759 53 | 0.048 % |
513.78/514.11 c | 406938 | 10370 142167 476603 | 226069 210032 53 | 0.048 % |
516.08/516.46 c | 408341 | 10370 142167 476603 | 226069 211435 53 | 0.048 % |
519.18/519.57 c | 409881 | 10370 142167 476603 | 226069 212975 53 | 0.048 % |
522.78/523.14 c | 411575 | 10370 142167 476603 | 2147483647 214669 53 | 0.048 % |
526.68/527.01 c | 413438 | 10370 142167 476603 | 2147483647 216532 53 | 0.048 % |
529.88/530.22 c | 415487 | 10370 142167 476603 | 2147483647 218581 53 | 0.048 % |
535.17/535.58 c | 417740 | 10370 142167 476603 | 2147483647 220834 53 | 0.048 % |
539.17/539.53 c | 420219 | 10370 142167 476603 | 223094 223313 54 | 0.048 % |
543.37/543.74 c | 422944 | 10370 142167 476603 | 223094 199190 53 | 0.048 % |
547.86/548.25 c | 425944 | 10370 142167 476603 | 223094 202190 53 | 0.048 % |
552.76/553.16 c | 429241 | 10370 142167 476603 | 223094 205487 53 | 0.048 % |
557.16/557.55 c | 432866 | 10370 142167 476603 | 2147483647 209112 53 | 0.048 % |
564.36/564.72 c | 436853 | 10370 142167 476603 | 2147483647 213099 53 | 0.048 % |
564.56/564.94 c | 436955 | 10370 142167 476603 | 2147483647 213201 53 | 0.048 % |
564.76/565.17 c | 437068 | 10370 142167 476603 | 2147483647 213314 53 | 0.048 % |
565.06/565.44 c | 437189 | 10370 142167 476603 | 2147483647 213435 53 | 0.048 % |
565.36/565.75 c | 437322 | 10370 142167 476603 | 2147483647 213568 53 | 0.048 % |
565.66/566.08 c | 437469 | 10370 142167 476603 | 2147483647 213715 53 | 0.048 % |
566.06/566.46 c | 437629 | 10370 142167 476603 | 2147483647 213875 53 | 0.048 % |
566.46/566.80 c | 437805 | 10370 142167 476603 | 2147483647 214051 53 | 0.050 % |
566.76/567.16 c | 437998 | 10370 142167 476603 | 2147483647 214244 53 | 0.048 % |
567.16/567.58 c | 438211 | 10370 142167 476603 | 2147483647 214457 53 | 0.048 % |
567.66/568.00 c | 438445 | 10370 142167 476603 | 2147483647 214691 54 | 0.048 % |
568.36/568.72 c | 438701 | 10370 142167 476603 | 2147483647 214947 54 | 0.048 % |
568.86/569.20 c | 438984 | 10370 142167 476603 | 2147483647 215230 54 | 0.048 % |
569.46/569.83 c | 439294 | 10370 142167 476603 | 2147483647 215540 54 | 0.048 % |
570.06/570.43 c | 439634 | 10370 142167 476603 | 2147483647 215880 54 | 0.048 % |
570.96/571.31 c | 440007 | 10370 142167 476603 | 2147483647 216253 54 | 0.048 % |
572.06/572.43 c | 440416 | 10370 142167 476603 | 2147483647 216662 54 | 0.048 % |
572.95/573.37 c | 440865 | 10370 142167 476603 | 2147483647 217111 54 | 0.048 % |
574.25/574.61 c | 441358 | 10370 142167 476603 | 2147483647 217604 54 | 0.048 % |
575.25/575.62 c | 441902 | 10370 142167 476603 | 2147483647 218148 54 | 0.048 % |
576.45/576.81 c | 442499 | 10370 142167 476603 | 2147483647 218745 54 | 0.048 % |
577.65/578.03 c | 443155 | 10370 142167 476603 | 2147483647 219401 54 | 0.048 % |
578.85/579.21 c | 443875 | 10370 142167 476603 | 2147483647 220121 54 | 0.048 % |
581.65/582.08 c | 444670 | 10370 142167 476603 | 2147483647 220916 54 | 0.048 % |
583.45/583.82 c | 445543 | 10370 142167 476603 | 2147483647 221789 54 | 0.048 % |
585.15/585.50 c | 446501 | 10370 142167 476603 | 2147483647 222747 54 | 0.048 % |
586.64/587.03 c | 447554 | 10370 142167 476603 | 2147483647 223800 54 | 0.048 % |
589.44/589.82 c | 448714 | 10370 142167 476603 | 2147483647 224960 54 | 0.048 % |
592.04/592.48 c | 449990 | 10370 142167 476603 | 2147483647 226236 54 | 0.048 % |
594.65/595.10 c | 451392 | 10370 142167 476603 | 226247 227638 54 | 0.048 % |
597.74/598.14 c | 452934 | 10370 142167 476603 | 226247 203400 52 | 0.048 % |
600.74/601.17 c | 454628 | 10370 142167 476603 | 226247 205094 52 | 0.048 % |
603.54/603.93 c | 456491 | 10370 142167 476603 | 226247 206957 52 | 0.048 % |
606.74/607.11 c | 458540 | 10370 142167 476603 | 226247 209006 52 | 0.048 % |
611.04/611.40 c | 460794 | 10370 142167 476603 | 210469 211260 52 | 0.048 % |
615.73/616.14 c | 463272 | 10370 142167 476603 | 210469 192080 51 | 0.048 % |
620.33/620.71 c | 465997 | 10370 142167 476603 | 210469 194805 51 | 0.048 % |
624.73/625.13 c | 468995 | 10370 142167 476603 | 210469 197803 52 | 0.048 % |
630.33/630.78 c | 472291 | 10370 142167 476603 | 2147483647 201099 52 | 0.048 % |
636.53/636.91 c | 475917 | 10370 142167 476603 | 2147483647 204725 52 | 0.048 % |
643.32/643.71 c | 479904 | 10370 142167 476603 | 2147483647 208712 53 | 0.048 % |
651.62/652.00 c | 484290 | 10370 142167 476603 | 2147483647 213098 53 | 0.048 % |
651.72/652.17 c | 484390 | 10370 142167 476603 | 2147483647 213198 53 | 0.048 % |
652.02/652.42 c | 484504 | 10370 142167 476603 | 2147483647 213312 53 | 0.048 % |
652.22/652.69 c | 484626 | 10370 142167 476603 | 2147483647 213434 53 | 0.048 % |
652.52/652.96 c | 484760 | 10370 142167 476603 | 2147483647 213568 53 | 0.048 % |
652.82/653.27 c | 484906 | 10370 142167 476603 | 2147483647 213714 53 | 0.048 % |
653.22/653.60 c | 485068 | 10370 142167 476603 | 2147483647 213876 53 | 0.048 % |
653.52/653.99 c | 485245 | 10370 142167 476603 | 2147483647 214053 53 | 0.048 % |
654.02/654.41 c | 485443 | 10370 142167 476603 | 2147483647 214251 53 | 0.048 % |
654.31/654.77 c | 485656 | 10370 142167 476603 | 2147483647 214464 53 | 0.048 % |
654.71/655.19 c | 485892 | 10370 142167 476603 | 2147483647 214700 53 | 0.048 % |
655.22/655.65 c | 486148 | 10370 142167 476603 | 2147483647 214956 53 | 0.048 % |
655.61/656.09 c | 486429 | 10370 142167 476603 | 2147483647 215237 53 | 0.048 % |
656.32/656.72 c | 486739 | 10370 142167 476603 | 2147483647 215547 53 | 0.048 % |
657.01/657.45 c | 487081 | 10370 142167 476603 | 2147483647 215889 53 | 0.048 % |
657.51/657.99 c | 487453 | 10370 142167 476603 | 2147483647 216261 53 | 0.048 % |
658.42/658.83 c | 487866 | 10370 142167 476603 | 2147483647 216674 53 | 0.048 % |
659.31/659.70 c | 488317 | 10370 142167 476603 | 2147483647 217125 53 | 0.048 % |
660.21/660.69 c | 488812 | 10370 142167 476603 | 2147483647 217620 53 | 0.048 % |
661.31/661.75 c | 489357 | 10370 142167 476603 | 2147483647 218165 53 | 0.048 % |
662.51/662.97 c | 489953 | 10370 142167 476603 | 2147483647 218761 53 | 0.048 % |
663.91/664.37 c | 490608 | 10370 142167 476603 | 218808 219416 53 | 0.048 % |
665.61/666.09 c | 491329 | 10370 142167 476603 | 218808 196416 51 | 0.048 % |
667.30/667.77 c | 492122 | 10370 142167 476603 | 218808 197209 51 | 0.050 % |
668.90/669.37 c | 492993 | 10370 142167 476603 | 218808 198080 51 | 0.048 % |
670.69/671.17 c | 493954 | 10370 142167 476603 | 218808 199041 51 | 0.048 % |
672.59/673.01 c | 495010 | 10370 142167 476603 | 218808 200097 51 | 0.048 % |
675.00/675.46 c | 496169 | 10370 142167 476603 | 218808 201256 52 | 0.048 % |
677.49/677.95 c | 497442 | 10370 142167 476603 | 218808 202529 52 | 0.048 % |
679.99/680.43 c | 498843 | 10370 142167 476603 | 218808 203930 52 | 0.048 % |
682.59/683.00 c | 500384 | 10370 142167 476603 | 2147483647 205471 52 | 0.048 % |
684.99/685.49 c | 502079 | 10370 142167 476603 | 2147483647 207166 52 | 0.048 % |
687.59/688.06 c | 503942 | 10370 142167 476603 | 2147483647 209029 52 | 0.048 % |
690.89/691.40 c | 505991 | 10370 142167 476603 | 2147483647 211078 52 | 0.048 % |
694.48/694.91 c | 508245 | 10370 142167 476603 | 2147483647 213332 53 | 0.048 % |
698.48/698.95 c | 510724 | 10370 142167 476603 | 2147483647 215811 53 | 0.048 % |
702.49/702.91 c | 513450 | 10370 142167 476603 | 2147483647 218537 53 | 0.048 % |
707.28/707.71 c | 516447 | 10370 142167 476603 | 2147483647 221534 53 | 0.050 % |
712.67/713.19 c | 519743 | 10370 142167 476603 | 2147483647 224830 53 | 0.048 % |
718.17/718.65 c | 523368 | 10370 142167 476603 | 2147483647 228455 54 | 0.048 % |
723.57/724.08 c | 527356 | 10370 142167 476603 | 2147483647 232443 54 | 0.048 % |
732.66/733.16 c | 531741 | 10370 142167 476603 | 235087 236828 55 | 0.048 % |
740.56/741.07 c | 536564 | 10370 142167 476603 | 235087 215532 53 | 0.048 % |
740.86/741.31 c | 536666 | 10370 142167 476603 | 235087 215634 53 | 0.048 % |
741.06/741.58 c | 536776 | 10370 142167 476603 | 235087 215744 53 | 0.048 % |
741.36/741.84 c | 536898 | 10370 142167 476603 | 235087 215866 53 | 0.048 % |
741.76/742.21 c | 537033 | 10370 142167 476603 | 235087 216001 53 | 0.048 % |
742.06/742.50 c | 537179 | 10370 142167 476603 | 235087 216147 53 | 0.048 % |
742.36/742.87 c | 537340 | 10370 142167 476603 | 235087 216308 53 | 0.048 % |
742.76/743.21 c | 537519 | 10370 142167 476603 | 235087 216487 53 | 0.048 % |
743.35/743.81 c | 537718 | 10370 142167 476603 | 235087 216686 53 | 0.048 % |
743.65/744.20 c | 537931 | 10370 142167 476603 | 235087 216899 53 | 0.048 % |
744.16/744.61 c | 538166 | 10370 142167 476603 | 235087 217134 53 | 0.048 % |
744.65/745.10 c | 538424 | 10370 142167 476603 | 235087 217392 53 | 0.048 % |
745.15/745.67 c | 538706 | 10370 142167 476603 | 235087 217674 53 | 0.048 % |
745.75/746.23 c | 539017 | 10370 142167 476603 | 235087 217985 53 | 0.048 % |
746.46/746.98 c | 539358 | 10370 142167 476603 | 235087 218326 53 | 0.048 % |
747.25/747.73 c | 539730 | 10370 142167 476603 | 235087 218698 53 | 0.048 % |
747.95/748.41 c | 540140 | 10370 142167 476603 | 218968 219108 53 | 0.048 % |
749.15/749.64 c | 540590 | 10370 142167 476603 | 218968 194653 51 | 0.048 % |
750.05/750.55 c | 541083 | 10370 142167 476603 | 218968 195146 51 | 0.048 % |
750.95/751.40 c | 541627 | 10370 142167 476603 | 218968 195690 51 | 0.048 % |
751.95/752.47 c | 542223 | 10370 142167 476603 | 218968 196286 51 | 0.050 % |
752.95/753.41 c | 542878 | 10370 142167 476603 | 218968 196941 51 | 0.048 % |
754.05/754.53 c | 543599 | 10370 142167 476603 | 218968 197662 51 | 0.048 % |
757.14/757.61 c | 544394 | 10370 142167 476603 | 218968 198457 51 | 0.048 % |
758.64/759.13 c | 545265 | 10370 142167 476603 | 218968 199328 51 | 0.048 % |
760.54/761.08 c | 546225 | 10370 142167 476603 | 218968 200288 52 | 0.048 % |
762.64/763.17 c | 547279 | 10370 142167 476603 | 218968 201342 52 | 0.048 % |
765.64/766.10 c | 548437 | 10370 142167 476603 | 218968 202500 52 | 0.048 % |
768.24/768.76 c | 549711 | 10370 142167 476603 | 218968 203774 52 | 0.048 % |
770.94/771.40 c | 551114 | 10370 142167 476603 | 2147483647 205177 52 | 0.048 % |
773.74/774.28 c | 552654 | 10370 142167 476603 | 2147483647 206717 52 | 0.048 % |
776.74/777.27 c | 554350 | 10370 142167 476603 | 2147483647 208413 52 | 0.048 % |
780.23/780.78 c | 556214 | 10370 142167 476603 | 2147483647 210277 52 | 0.048 % |
784.63/785.19 c | 558263 | 10370 142167 476603 | 2147483647 212326 53 | 0.048 % |
788.73/789.29 c | 560516 | 10370 142167 476603 | 214064 214579 53 | 0.048 % |
793.73/794.24 c | 562994 | 10370 142167 476603 | 214064 194713 52 | 0.048 % |
799.03/799.53 c | 565719 | 10370 142167 476603 | 214064 197438 52 | 0.048 % |
805.02/805.55 c | 568716 | 10370 142167 476603 | 214064 200435 53 | 0.048 % |
811.81/812.39 c | 572014 | 10370 142167 476603 | 2147483647 203733 53 | 0.048 % |
818.71/819.22 c | 575642 | 10370 142167 476603 | 2147483647 207361 54 | 0.048 % |
825.21/825.75 c | 579629 | 10370 142167 476603 | 2147483647 211348 54 | 0.048 % |
833.71/834.24 c | 584014 | 10370 142167 476603 | 211723 193718 53 | 0.048 % |
842.61/843.13 c | 588838 | 10370 142167 476603 | 211723 198542 53 | 0.048 % |
852.90/853.42 c | 594144 | 10370 142167 476603 | 2147483647 203848 54 | 0.048 % |
853.10/853.67 c | 594246 | 10370 142167 476603 | 2147483647 203950 54 | 0.048 % |
853.60/854.10 c | 594356 | 10370 142167 476603 | 2147483647 204060 54 | 0.048 % |
853.80/854.33 c | 594479 | 10370 142167 476603 | 2147483647 204183 54 | 0.048 % |
854.00/854.57 c | 594613 | 10370 142167 476603 | 2147483647 204317 54 | 0.048 % |
854.30/854.87 c | 594759 | 10370 142167 476603 | 2147483647 204463 54 | 0.048 % |
854.70/855.24 c | 594919 | 10370 142167 476603 | 2147483647 204623 54 | 0.048 % |
855.10/855.60 c | 595095 | 10370 142167 476603 | 2147483647 204799 54 | 0.048 % |
855.50/856.03 c | 595291 | 10370 142167 476603 | 2147483647 204995 54 | 0.048 % |
856.09/856.61 c | 595510 | 10370 142167 476603 | 2147483647 205214 54 | 0.048 % |
856.59/857.17 c | 595743 | 10370 142167 476603 | 2147483647 205447 54 | 0.048 % |
857.19/857.79 c | 595999 | 10370 142167 476603 | 2147483647 205703 54 | 0.048 % |
857.69/858.28 c | 596282 | 10370 142167 476603 | 2147483647 205986 54 | 0.048 % |
858.60/859.14 c | 596591 | 10370 142167 476603 | 2147483647 206295 54 | 0.048 % |
859.29/859.87 c | 596930 | 10370 142167 476603 | 2147483647 206634 54 | 0.048 % |
859.99/860.58 c | 597304 | 10370 142167 476603 | 2147483647 207008 54 | 0.048 % |
860.90/861.40 c | 597714 | 10370 142167 476603 | 2147483647 207418 54 | 0.048 % |
861.69/862.21 c | 598163 | 10370 142167 476603 | 2147483647 207867 54 | 0.048 % |
862.60/863.12 c | 598657 | 10370 142167 476603 | 2147483647 208361 54 | 0.048 % |
864.10/864.60 c | 599202 | 10370 142167 476603 | 2147483647 208906 54 | 0.048 % |
865.30/865.85 c | 599799 | 10370 142167 476603 | 2147483647 209503 55 | 0.048 % |
867.70/868.26 c | 600456 | 10370 142167 476603 | 209705 188999 53 | 0.048 % |
869.00/869.58 c | 601177 | 10370 142167 476603 | 209705 189720 53 | 0.048 % |
870.70/871.26 c | 601969 | 10370 142167 476603 | 209705 190512 53 | 0.048 % |
872.60/873.16 c | 602840 | 10370 142167 476603 | 209705 191383 53 | 0.048 % |
874.39/874.96 c | 603802 | 10370 142167 476603 | 209705 192345 53 | 0.048 % |
876.39/876.93 c | 604855 | 10370 142167 476603 | 209705 193398 53 | 0.048 % |
878.49/879.09 c | 606013 | 10370 142167 476603 | 209705 194556 54 | 0.048 % |
880.89/881.44 c | 607286 | 10370 142167 476603 | 209705 195829 54 | 0.048 % |
883.19/883.79 c | 608686 | 10370 142167 476603 | 209705 197229 54 | 0.048 % |
885.89/886.49 c | 610227 | 10370 142167 476603 | 2147483647 198770 54 | 0.048 % |
888.89/889.48 c | 611924 | 10370 142167 476603 | 2147483647 200467 54 | 0.048 % |
892.69/893.29 c | 613787 | 10370 142167 476603 | 2147483647 202330 54 | 0.048 % |
897.58/898.12 c | 615836 | 10370 142167 476603 | 2147483647 204379 55 | 0.048 % |
901.49/902.05 c | 618089 | 10370 142167 476603 | 2147483647 206632 55 | 0.048 % |
907.18/907.78 c | 620568 | 10370 142167 476603 | 208546 209111 56 | 0.048 % |
911.38/911.95 c | 623293 | 10370 142167 476603 | 208546 185933 55 | 0.048 % |
916.08/916.65 c | 626290 | 10370 142167 476603 | 208546 188930 55 | 0.048 % |
921.58/922.10 c | 629586 | 10370 142167 476603 | 208546 192226 56 | 0.048 % |
927.88/928.46 c | 633213 | 10370 142167 476603 | 192643 170599 53 | 0.050 % |
933.57/934.15 c | 637201 | 10370 142167 476603 | 192643 174587 53 | 0.048 % |
940.06/940.61 c | 641587 | 10370 142167 476603 | 2147483647 178973 54 | 0.048 % |
949.56/950.12 c | 646413 | 10370 142167 476603 | 2147483647 183799 55 | 0.048 % |
959.95/960.58 c | 651718 | 10370 142167 476603 | 2147483647 189104 56 | 0.048 % |
969.95/970.58 c | 657553 | 10370 142167 476603 | 2147483647 194939 56 | 0.048 % |
970.15/970.79 c | 657653 | 10370 142167 476603 | 2147483647 195039 56 | 0.048 % |
970.35/970.97 c | 657763 | 10370 142167 476603 | 2147483647 195149 57 | 0.048 % |
970.65/971.21 c | 657884 | 10370 142167 476603 | 2147483647 195270 57 | 0.048 % |
970.85/971.44 c | 658017 | 10370 142167 476603 | 2147483647 195403 57 | 0.048 % |
971.15/971.78 c | 658164 | 10370 142167 476603 | 2147483647 195550 57 | 0.048 % |
971.45/972.07 c | 658328 | 10370 142167 476603 | 2147483647 195714 57 | 0.048 % |
971.75/972.35 c | 658508 | 10370 142167 476603 | 2147483647 195894 57 | 0.048 % |
972.35/972.93 c | 658703 | 10370 142167 476603 | 2147483647 196089 57 | 0.048 % |
972.75/973.32 c | 658915 | 10370 142167 476603 | 2147483647 196301 57 | 0.048 % |
973.35/973.92 c | 659148 | 10370 142167 476603 | 2147483647 196534 57 | 0.048 % |
973.95/974.53 c | 659405 | 10370 142167 476603 | 2147483647 196791 57 | 0.048 % |
974.35/974.90 c | 659688 | 10370 142167 476603 | 2147483647 197074 57 | 0.048 % |
975.05/975.62 c | 659998 | 10370 142167 476603 | 2147483647 197384 57 | 0.048 % |
975.65/976.20 c | 660337 | 10370 142167 476603 | 2147483647 197723 57 | 0.048 % |
976.15/976.73 c | 660710 | 10370 142167 476603 | 2147483647 198096 57 | 0.048 % |
977.05/977.62 c | 661119 | 10370 142167 476603 | 2147483647 198505 57 | 0.048 % |
977.85/978.47 c | 661570 | 10370 142167 476603 | 2147483647 198956 57 | 0.048 % |
979.15/979.75 c | 662063 | 10370 142167 476603 | 2147483647 199449 57 | 0.048 % |
980.45/981.04 c | 662606 | 10370 142167 476603 | 2147483647 199992 57 | 0.048 % |
981.84/982.40 c | 663202 | 10370 142167 476603 | 2147483647 200588 57 | 0.048 % |
983.04/983.61 c | 663860 | 10370 142167 476603 | 2147483647 201246 57 | 0.048 % |
984.54/985.18 c | 664581 | 10370 142167 476603 | 2147483647 201967 57 | 0.048 % |
985.54/986.15 c | 665377 | 10370 142167 476603 | 2147483647 202763 57 | 0.048 % |
986.54/987.13 c | 666248 | 10370 142167 476603 | 2147483647 203634 57 | 0.048 % |
988.64/989.25 c | 667207 | 10370 142167 476603 | 2147483647 204593 57 | 0.048 % |
991.44/992.03 c | 668263 | 10370 142167 476603 | 2147483647 205649 57 | 0.048 % |
993.04/993.66 c | 669421 | 10370 142167 476603 | 2147483647 206807 57 | 0.048 % |
995.04/995.68 c | 670694 | 10370 142167 476603 | 2147483647 208080 57 | 0.048 % |
997.34/997.95 c | 672095 | 10370 142167 476603 | 2147483647 209481 57 | 0.048 % |
999.64/1000.28 c | 673636 | 10370 142167 476603 | 2147483647 211022 57 | 0.048 % |
1002.23/1002.89 c | 675331 | 10370 142167 476603 | 2147483647 212717 57 | 0.048 % |
1005.53/1006.17 c | 677194 | 10370 142167 476603 | 2147483647 214580 57 | 0.048 % |
1008.93/1009.50 c | 679245 | 10370 142167 476603 | 2147483647 216631 58 | 0.048 % |
1012.73/1013.36 c | 681498 | 10370 142167 476603 | 2147483647 218884 58 | 0.048 % |
1016.73/1017.30 c | 683977 | 10370 142167 476603 | 2147483647 221363 58 | 0.048 % |
1021.43/1022.01 c | 686707 | 10370 142167 476603 | 2147483647 224093 58 | 0.048 % |
1026.43/1027.06 c | 689705 | 10370 142167 476603 | 2147483647 227091 58 | 0.048 % |
1032.92/1033.52 c | 693001 | 10370 142167 476603 | 2147483647 230387 58 | 0.048 % |
1041.21/1041.81 c | 696630 | 10370 142167 476603 | 2147483647 234016 58 | 0.048 % |
1049.41/1050.02 c | 700617 | 10370 142167 476603 | 237387 208899 56 | 0.048 % |
1058.01/1058.61 c | 705002 | 10370 142167 476603 | 237387 213284 56 | 0.048 % |
1067.90/1068.51 c | 709826 | 10370 142167 476603 | 237387 218108 57 | 0.048 % |
1080.80/1081.47 c | 715134 | 10370 142167 476603 | 218283 195007 55 | 0.048 % |
1091.19/1091.84 c | 720970 | 10370 142167 476603 | 2147483647 200843 55 | 0.048 % |
1104.79/1105.40 c | 727390 | 10370 142167 476603 | 2147483647 207263 55 | 0.048 % |
1104.99/1105.64 c | 727491 | 10370 142167 476603 | 2147483647 207364 55 | 0.048 % |
1105.19/1105.87 c | 727602 | 10370 142167 476603 | 2147483647 207475 55 | 0.048 % |
1105.49/1106.17 c | 727723 | 10370 142167 476603 | 2147483647 207596 55 | 0.048 % |
1105.99/1106.64 c | 727857 | 10370 142167 476603 | 2147483647 207730 55 | 0.048 % |
1106.29/1106.99 c | 728003 | 10370 142167 476603 | 2147483647 207876 55 | 0.048 % |
1106.69/1107.36 c | 728165 | 10370 142167 476603 | 2147483647 208038 55 | 0.048 % |
1107.49/1108.15 c | 728344 | 10370 142167 476603 | 2147483647 208217 55 | 0.048 % |
1107.99/1108.63 c | 728539 | 10370 142167 476603 | 2147483647 208412 55 | 0.048 % |
1108.59/1109.26 c | 728752 | 10369 142113 476423 | 2147483647 208623 56 | 0.058 % |
1109.19/1109.80 c | 728985 | 10369 142113 476423 | 2147483647 208856 56 | 0.058 % |
1109.69/1110.32 c | 729243 | 10369 142113 476423 | 2147483647 209114 56 | 0.058 % |
1110.18/1110.89 c | 729525 | 10369 142113 476423 | 2147483647 209396 56 | 0.058 % |
1111.39/1112.06 c | 729835 | 10369 142113 476423 | 2147483647 209706 56 | 0.058 % |
1111.98/1112.63 c | 730174 | 10369 142113 476423 | 2147483647 210045 56 | 0.058 % |
1112.78/1113.41 c | 730548 | 10369 142113 476423 | 2147483647 210419 56 | 0.058 % |
1113.59/1114.23 c | 730957 | 10369 142113 476423 | 2147483647 210828 56 | 0.058 % |
1114.58/1115.23 c | 731406 | 10369 142113 476423 | 2147483647 211277 56 | 0.058 % |
1115.58/1116.20 c | 731899 | 10369 142113 476423 | 2147483647 211770 56 | 0.058 % |
1116.58/1117.27 c | 732441 | 10369 142113 476423 | 2147483647 212312 56 | 0.058 % |
1117.78/1118.48 c | 733037 | 10369 142113 476423 | 2147483647 212908 56 | 0.058 % |
1119.48/1120.17 c | 733694 | 10369 142113 476423 | 2147483647 213565 56 | 0.058 % |
1121.18/1121.84 c | 734416 | 10369 142113 476423 | 2147483647 214287 56 | 0.058 % |
1123.18/1123.81 c | 735209 | 10369 142113 476423 | 2147483647 215080 56 | 0.058 % |
1125.18/1125.80 c | 736080 | 10369 142113 476423 | 2147483647 215951 56 | 0.058 % |
1127.57/1128.29 c | 737039 | 10369 142113 476423 | 2147483647 216910 56 | 0.058 % |
1130.18/1130.84 c | 738095 | 10369 142113 476423 | 2147483647 217966 56 | 0.058 % |
1132.77/1133.41 c | 739253 | 10369 142113 476423 | 2147483647 219124 56 | 0.058 % |
1135.67/1136.34 c | 740530 | 10369 142113 476423 | 219871 220401 56 | 0.058 % |
1138.57/1139.22 c | 741931 | 10369 142113 476423 | 219871 194791 54 | 0.058 % |
1141.47/1142.13 c | 743471 | 10369 142113 476423 | 219871 196331 54 | 0.058 % |
1144.27/1144.96 c | 745165 | 10369 142113 476423 | 219871 198025 54 | 0.058 % |
1147.77/1148.48 c | 747028 | 10369 142113 476423 | 219871 199888 55 | 0.058 % |
1151.77/1152.44 c | 749082 | 10369 142113 476423 | 219871 201942 55 | 0.058 % |
1156.47/1157.14 c | 751336 | 10369 142113 476423 | 202860 204196 55 | 0.058 % |
1162.46/1163.11 c | 753814 | 10369 142113 476423 | 202860 182545 53 | 0.058 % |
1167.95/1168.68 c | 756539 | 10369 142113 476423 | 202860 185270 53 | 0.058 % |
1174.15/1174.86 c | 759536 | 10369 142113 476423 | 202860 188267 54 | 0.058 % |
1180.95/1181.66 c | 762832 | 10369 142113 476423 | 2147483647 191563 54 | 0.058 % |
1187.65/1188.32 c | 766459 | 10369 142113 476423 | 2147483647 195190 54 | 0.058 % |
1194.95/1195.66 c | 770449 | 10369 142113 476423 | 2147483647 199180 55 | 0.058 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834147-1242828457/watcher-1834147-1242828457 -o /tmp/evaluation-result-1834147-1242828457/solver-1834147-1242828457 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834147-1242828457.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: 0.92 0.98 0.99 3/64 9111
/proc/meminfo: memFree=1721712/2055920 swapFree=4179712/4192956
[pid=9111] ppid=9109 vsize=5356 CPUtime=0
/proc/9111/stat : 9111 (SatELiteGTI) R 9109 9111 8350 0 -1 4194304 291 249 0 0 0 0 0 0 18 0 1 0 310879466 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 215418595827 0 0 4100 65536 0 0 0 17 0 0 0
/proc/9111/statm: 1339 237 197 169 0 50 0
[startup+0.0919579 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 9111
/proc/meminfo: memFree=1721712/2055920 swapFree=4179712/4192956
[pid=9111] ppid=9109 vsize=5356 CPUtime=0
/proc/9111/stat : 9111 (SatELiteGTI) S 9109 9111 8350 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310879466 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9111/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101951 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 9111
/proc/meminfo: memFree=1721712/2055920 swapFree=4179712/4192956
[pid=9111] ppid=9109 vsize=5356 CPUtime=0
/proc/9111/stat : 9111 (SatELiteGTI) S 9109 9111 8350 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310879466 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9111/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.30198 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 9111
/proc/meminfo: memFree=1721712/2055920 swapFree=4179712/4192956
[pid=9111] ppid=9109 vsize=5356 CPUtime=0
/proc/9111/stat : 9111 (SatELiteGTI) S 9109 9111 8350 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310879466 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9111/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.70202 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 9111
/proc/meminfo: memFree=1721712/2055920 swapFree=4179712/4192956
[pid=9111] ppid=9109 vsize=5356 CPUtime=0.65
/proc/9111/stat : 9111 (SatELiteGTI) S 9109 9111 8350 0 -1 4194304 336 4684 0 0 0 0 61 4 16 0 1 0 310879466 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9111/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 5356
[startup+1.5011 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 9117
/proc/meminfo: memFree=1709856/2055920 swapFree=4179712/4192956
[pid=9111] ppid=9109 vsize=5356 CPUtime=0.65
/proc/9111/stat : 9111 (SatELiteGTI) S 9109 9111 8350 0 -1 4194304 336 4684 0 0 0 0 61 4 16 0 1 0 310879466 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9111/statm: 1339 239 197 169 0 50 0
[pid=9117] ppid=9111 vsize=9908 CPUtime=0.82
/proc/9117/stat : 9117 (minisat_static) R 9111 9111 8350 0 -1 4194304 2284 0 0 0 81 1 0 0 25 0 1 0 310879533 10145792 2270 1992294400 134512640 135215339 4294956256 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/9117/statm: 2477 2270 77 171 0 2304 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 15264
[startup+3.10128 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 9117
/proc/meminfo: memFree=1708576/2055920 swapFree=4179712/4192956
[pid=9111] ppid=9109 vsize=5356 CPUtime=0.65
/proc/9111/stat : 9111 (SatELiteGTI) S 9109 9111 8350 0 -1 4194304 336 4684 0 0 0 0 61 4 16 0 1 0 310879466 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9111/statm: 1339 239 197 169 0 50 0
[pid=9117] ppid=9111 vsize=10984 CPUtime=2.42
/proc/9117/stat : 9117 (minisat_static) R 9111 9111 8350 0 -1 4194304 2550 0 0 0 240 2 0 0 25 0 1 0 310879533 11247616 2536 1992294400 134512640 135215339 4294956256 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/9117/statm: 2746 2536 77 171 0 2573 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 16340
[startup+6.30264 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 9117
/proc/meminfo: memFree=1706464/2055920 swapFree=4179712/4192956
[pid=9111] ppid=9109 vsize=5356 CPUtime=0.65
/proc/9111/stat : 9111 (SatELiteGTI) S 9109 9111 8350 0 -1 4194304 336 4684 0 0 0 0 61 4 16 0 1 0 310879466 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9111/statm: 1339 239 197 169 0 50 0
[pid=9117] ppid=9111 vsize=12888 CPUtime=5.61
/proc/9117/stat : 9117 (minisat_static) R 9111 9111 8350 0 -1 4194304 3041 0 0 0 559 2 0 0 25 0 1 0 310879533 13197312 3027 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9117/statm: 3222 3027 77 171 0 3049 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 18244
[startup+12.7014 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 9117
/proc/meminfo: memFree=1702752/2055920 swapFree=4179712/4192956
[pid=9111] ppid=9109 vsize=5356 CPUtime=0.65
/proc/9111/stat : 9111 (SatELiteGTI) S 9109 9111 8350 0 -1 4194304 336 4684 0 0 0 0 61 4 16 0 1 0 310879466 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9111/statm: 1339 239 197 169 0 50 0
[pid=9117] ppid=9111 vsize=16700 CPUtime=12.01
/proc/9117/stat : 9117 (minisat_static) R 9111 9111 8350 0 -1 4194304 3965 0 0 0 1197 4 0 0 25 0 1 0 310879533 17100800 3951 1992294400 134512640 135215339 4294956256 18446744073709551615 134532921 0 0 4096 3 0 0 0 17 0 0 0
/proc/9117/statm: 4175 3951 77 171 0 4002 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 22056
[startup+25.5018 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 9117
/proc/meminfo: memFree=1697056/2055920 swapFree=4179712/4192956
[pid=9111] ppid=9109 vsize=5356 CPUtime=0.65
/proc/9111/stat : 9111 (SatELiteGTI) S 9109 9111 8350 0 -1 4194304 336 4684 0 0 0 0 61 4 16 0 1 0 310879466 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9111/statm: 1339 239 197 169 0 50 0
[pid=9117] ppid=9111 vsize=22364 CPUtime=24.8
/proc/9117/stat : 9117 (minisat_static) R 9111 9111 8350 0 -1 4194304 5361 0 0 0 2474 6 0 0 25 0 1 0 310879533 22900736 5347 1992294400 134512640 135215339 4294956256 18446744073709551615 134528589 0 0 4096 3 0 0 0 17 0 0 0
/proc/9117/statm: 5591 5347 77 171 0 5418 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 27720
[startup+51.1016 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 9117
/proc/meminfo: memFree=1687904/2055920 swapFree=4179712/4192956
[pid=9111] ppid=9109 vsize=5356 CPUtime=0.65
/proc/9111/stat : 9111 (SatELiteGTI) S 9109 9111 8350 0 -1 4194304 336 4684 0 0 0 0 61 4 16 0 1 0 310879466 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9111/statm: 1339 239 197 169 0 50 0
[pid=9117] ppid=9111 vsize=31656 CPUtime=50.36
/proc/9117/stat : 9117 (minisat_static) R 9111 9111 8350 0 -1 4194304 7695 0 0 0 5028 8 0 0 25 0 1 0 310879533 32415744 7681 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9117/statm: 7914 7681 77 171 0 7741 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 37012
[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 9117
/proc/meminfo: memFree=1674080/2055920 swapFree=4179712/4192956
[pid=9111] ppid=9109 vsize=5356 CPUtime=0.65
/proc/9111/stat : 9111 (SatELiteGTI) S 9109 9111 8350 0 -1 4194304 336 4684 0 0 0 0 61 4 16 0 1 0 310879466 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9111/statm: 1339 239 197 169 0 50 0
[pid=9117] ppid=9111 vsize=45204 CPUtime=101.54
/proc/9117/stat : 9117 (minisat_static) R 9111 9111 8350 0 -1 4194304 11057 0 0 0 10141 13 0 0 25 0 1 0 310879533 46288896 11043 1992294400 134512640 135215339 4294956256 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/9117/statm: 11301 11043 77 171 0 11128 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 50560
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9117
/proc/meminfo: memFree=1661856/2055920 swapFree=4179712/4192956
[pid=9111] ppid=9109 vsize=5356 CPUtime=0.65
/proc/9111/stat : 9111 (SatELiteGTI) S 9109 9111 8350 0 -1 4194304 336 4684 0 0 0 0 61 4 16 0 1 0 310879466 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9111/statm: 1339 239 197 169 0 50 0
[pid=9117] ppid=9111 vsize=57416 CPUtime=161.5
/proc/9117/stat : 9117 (minisat_static) R 9111 9111 8350 0 -1 4194304 14155 0 0 0 16134 16 0 0 25 0 1 0 310879533 58793984 14141 1992294400 134512640 135215339 4294956256 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/9117/statm: 14354 14141 77 171 0 14181 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 62772
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9117
/proc/meminfo: memFree=1652000/2055920 swapFree=4179712/4192956
[pid=9111] ppid=9109 vsize=5356 CPUtime=0.65
/proc/9111/stat : 9111 (SatELiteGTI) S 9109 9111 8350 0 -1 4194304 336 4684 0 0 0 0 61 4 16 0 1 0 310879466 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9111/statm: 1339 239 197 169 0 50 0
[pid=9117] ppid=9111 vsize=67336 CPUtime=221.47
/proc/9117/stat : 9117 (minisat_static) R 9111 9111 8350 0 -1 4194304 16567 0 0 0 22128 19 0 0 25 0 1 0 310879533 68952064 16553 1992294400 134512640 135215339 4294956256 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/9117/statm: 16834 16553 77 171 0 16661 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 72692
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9117
/proc/meminfo: memFree=1649312/2055920 swapFree=4179712/4192956
[pid=9111] ppid=9109 vsize=5356 CPUtime=0.65
/proc/9111/stat : 9111 (SatELiteGTI) S 9109 9111 8350 0 -1 4194304 336 4684 0 0 0 0 61 4 16 0 1 0 310879466 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9111/statm: 1339 239 197 169 0 50 0
[pid=9117] ppid=9111 vsize=69976 CPUtime=281.45
/proc/9117/stat : 9117 (minisat_static) R 9111 9111 8350 0 -1 4194304 17229 0 0 0 28125 20 0 0 25 0 1 0 310879533 71655424 17215 1992294400 134512640 135215339 4294956256 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/9117/statm: 17494 17215 77 171 0 17321 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 75332
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9117
/proc/meminfo: memFree=1648992/2055920 swapFree=4179712/4192956
[pid=9111] ppid=9109 vsize=5356 CPUtime=0.65
/proc/9111/stat : 9111 (SatELiteGTI) S 9109 9111 8350 0 -1 4194304 336 4684 0 0 0 0 61 4 16 0 1 0 310879466 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9111/statm: 1339 239 197 169 0 50 0
[pid=9117] ppid=9111 vsize=70140 CPUtime=341.42
/proc/9117/stat : 9117 (minisat_static) R 9111 9111 8350 0 -1 4194304 17275 0 0 0 34122 20 0 0 25 0 1 0 310879533 71823360 17261 1992294400 134512640 135215339 4294956256 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/9117/statm: 17535 17261 77 171 0 17362 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 75496
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9117
/proc/meminfo: memFree=1648864/2055920 swapFree=4179712/4192956
[pid=9111] ppid=9109 vsize=5356 CPUtime=0.65
/proc/9111/stat : 9111 (SatELiteGTI) S 9109 9111 8350 0 -1 4194304 336 4684 0 0 0 0 61 4 16 0 1 0 310879466 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9111/statm: 1339 239 197 169 0 50 0
[pid=9117] ppid=9111 vsize=70272 CPUtime=401.39
/proc/9117/stat : 9117 (minisat_static) R 9111 9111 8350 0 -1 4194304 17298 0 0 0 40119 20 0 0 25 0 1 0 310879533 71958528 17284 1992294400 134512640 135215339 4294956256 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/9117/statm: 17568 17284 77 171 0 17395 0
Current children cumulated CPU time (s) 402.04
Current children cumulated vsize (KiB) 75628
[startup+462.301 s]
################
# More data... #
################
/proc/9117/statm: 17654 17344 77 171 0 17481 0
Current children cumulated CPU time (s) 581.95
Current children cumulated vsize (KiB) 75972
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9117
/proc/meminfo: memFree=1648480/2055920 swapFree=4179712/4192956
[pid=9111] ppid=9109 vsize=5356 CPUtime=0.65
/proc/9111/stat : 9111 (SatELiteGTI) S 9109 9111 8350 0 -1 4194304 336 4684 0 0 0 0 61 4 16 0 1 0 310879466 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9111/statm: 1339 239 197 169 0 50 0
[pid=9117] ppid=9111 vsize=70616 CPUtime=641.28
/proc/9117/stat : 9117 (minisat_static) R 9111 9111 8350 0 -1 4194304 17361 0 0 0 64107 21 0 0 25 0 1 0 310879533 72310784 17347 1992294400 134512640 135215339 4294956256 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/9117/statm: 17654 17347 77 171 0 17481 0
Current children cumulated CPU time (s) 641.93
Current children cumulated vsize (KiB) 75972
[startup+702.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9117
/proc/meminfo: memFree=1648352/2055920 swapFree=4179712/4192956
[pid=9111] ppid=9109 vsize=5356 CPUtime=0.65
/proc/9111/stat : 9111 (SatELiteGTI) S 9109 9111 8350 0 -1 4194304 336 4684 0 0 0 0 61 4 16 0 1 0 310879466 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9111/statm: 1339 239 197 169 0 50 0
[pid=9117] ppid=9111 vsize=70616 CPUtime=701.23
/proc/9117/stat : 9117 (minisat_static) R 9111 9111 8350 0 -1 4194304 17382 0 0 0 70102 21 0 0 25 0 1 0 310879533 72310784 17368 1992294400 134512640 135215339 4294956256 18446744073709551615 134528613 0 0 4096 3 0 0 0 17 0 0 0
/proc/9117/statm: 17654 17368 77 171 0 17481 0
Current children cumulated CPU time (s) 701.88
Current children cumulated vsize (KiB) 75972
[startup+762.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9117
/proc/meminfo: memFree=1647072/2055920 swapFree=4179712/4192956
[pid=9111] ppid=9109 vsize=5356 CPUtime=0.65
/proc/9111/stat : 9111 (SatELiteGTI) S 9109 9111 8350 0 -1 4194304 336 4684 0 0 0 0 61 4 16 0 1 0 310879466 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9111/statm: 1339 239 197 169 0 50 0
[pid=9117] ppid=9111 vsize=71964 CPUtime=761.2
/proc/9117/stat : 9117 (minisat_static) R 9111 9111 8350 0 -1 4194304 17694 0 0 0 76099 21 0 0 25 0 1 0 310879533 73691136 17680 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9117/statm: 17991 17680 77 171 0 17818 0
Current children cumulated CPU time (s) 761.85
Current children cumulated vsize (KiB) 77320
[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9117
/proc/meminfo: memFree=1647008/2055920 swapFree=4179712/4192956
[pid=9111] ppid=9109 vsize=5356 CPUtime=0.65
/proc/9111/stat : 9111 (SatELiteGTI) S 9109 9111 8350 0 -1 4194304 336 4684 0 0 0 0 61 4 16 0 1 0 310879466 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9111/statm: 1339 239 197 169 0 50 0
[pid=9117] ppid=9111 vsize=71964 CPUtime=821.16
/proc/9117/stat : 9117 (minisat_static) R 9111 9111 8350 0 -1 4194304 17717 0 0 0 82095 21 0 0 25 0 1 0 310879533 73691136 17703 1992294400 134512640 135215339 4294956256 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/9117/statm: 17991 17703 77 171 0 17818 0
Current children cumulated CPU time (s) 821.81
Current children cumulated vsize (KiB) 77320
[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9117
/proc/meminfo: memFree=1646880/2055920 swapFree=4179712/4192956
[pid=9111] ppid=9109 vsize=5356 CPUtime=0.65
/proc/9111/stat : 9111 (SatELiteGTI) S 9109 9111 8350 0 -1 4194304 336 4684 0 0 0 0 61 4 16 0 1 0 310879466 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9111/statm: 1339 239 197 169 0 50 0
[pid=9117] ppid=9111 vsize=72100 CPUtime=881.14
/proc/9117/stat : 9117 (minisat_static) R 9111 9111 8350 0 -1 4194304 17733 0 0 0 88092 22 0 0 25 0 1 0 310879533 73830400 17719 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9117/statm: 18025 17719 77 171 0 17852 0
Current children cumulated CPU time (s) 881.79
Current children cumulated vsize (KiB) 77456
[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9117
/proc/meminfo: memFree=1646752/2055920 swapFree=4179712/4192956
[pid=9111] ppid=9109 vsize=5356 CPUtime=0.65
/proc/9111/stat : 9111 (SatELiteGTI) S 9109 9111 8350 0 -1 4194304 336 4684 0 0 0 0 61 4 16 0 1 0 310879466 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9111/statm: 1339 239 197 169 0 50 0
[pid=9117] ppid=9111 vsize=72236 CPUtime=941.11
/proc/9117/stat : 9117 (minisat_static) R 9111 9111 8350 0 -1 4194304 17755 0 0 0 94089 22 0 0 25 0 1 0 310879533 73969664 17741 1992294400 134512640 135215339 4294956256 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 0 0 0
/proc/9117/statm: 18059 17741 77 171 0 17886 0
Current children cumulated CPU time (s) 941.76
Current children cumulated vsize (KiB) 77592
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9117
/proc/meminfo: memFree=1646432/2055920 swapFree=4179712/4192956
[pid=9111] ppid=9109 vsize=5356 CPUtime=0.65
/proc/9111/stat : 9111 (SatELiteGTI) S 9109 9111 8350 0 -1 4194304 336 4684 0 0 0 0 61 4 16 0 1 0 310879466 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9111/statm: 1339 239 197 169 0 50 0
[pid=9117] ppid=9111 vsize=72480 CPUtime=1001.08
/proc/9117/stat : 9117 (minisat_static) R 9111 9111 8350 0 -1 4194304 17824 0 0 0 100086 22 0 0 25 0 1 0 310879533 74219520 17810 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9117/statm: 18120 17810 77 171 0 17947 0
Current children cumulated CPU time (s) 1001.73
Current children cumulated vsize (KiB) 77836
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9117
/proc/meminfo: memFree=1642400/2055920 swapFree=4179712/4192956
[pid=9111] ppid=9109 vsize=5356 CPUtime=0.65
/proc/9111/stat : 9111 (SatELiteGTI) S 9109 9111 8350 0 -1 4194304 336 4684 0 0 0 0 61 4 16 0 1 0 310879466 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9111/statm: 1339 239 197 169 0 50 0
[pid=9117] ppid=9111 vsize=76572 CPUtime=1061.06
/proc/9117/stat : 9117 (minisat_static) R 9111 9111 8350 0 -1 4194304 18831 0 0 0 106082 24 0 0 25 0 1 0 310879533 78409728 18817 1992294400 134512640 135215339 4294956256 18446744073709551615 134539375 0 0 4096 3 0 0 0 17 0 0 0
/proc/9117/statm: 19143 18817 77 171 0 18970 0
Current children cumulated CPU time (s) 1061.71
Current children cumulated vsize (KiB) 81928
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9117
/proc/meminfo: memFree=1642272/2055920 swapFree=4179712/4192956
[pid=9111] ppid=9109 vsize=5356 CPUtime=0.65
/proc/9111/stat : 9111 (SatELiteGTI) S 9109 9111 8350 0 -1 4194304 336 4684 0 0 0 0 61 4 16 0 1 0 310879466 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9111/statm: 1339 239 197 169 0 50 0
[pid=9117] ppid=9111 vsize=76572 CPUtime=1121.03
/proc/9117/stat : 9117 (minisat_static) R 9111 9111 8350 0 -1 4194304 18851 0 0 0 112079 24 0 0 25 0 1 0 310879533 78409728 18837 1992294400 134512640 135215339 4294956256 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 0 0 0
/proc/9117/statm: 19143 18837 77 171 0 18970 0
Current children cumulated CPU time (s) 1121.68
Current children cumulated vsize (KiB) 81928
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9117
/proc/meminfo: memFree=1642144/2055920 swapFree=4179712/4192956
[pid=9111] ppid=9109 vsize=5356 CPUtime=0.65
/proc/9111/stat : 9111 (SatELiteGTI) S 9109 9111 8350 0 -1 4194304 336 4684 0 0 0 0 61 4 16 0 1 0 310879466 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9111/statm: 1339 239 197 169 0 50 0
[pid=9117] ppid=9111 vsize=76744 CPUtime=1181
/proc/9117/stat : 9117 (minisat_static) R 9111 9111 8350 0 -1 4194304 18869 0 0 0 118076 24 0 0 25 0 1 0 310879533 78585856 18855 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/9117/statm: 19186 18855 77 171 0 19013 0
Current children cumulated CPU time (s) 1181.65
Current children cumulated vsize (KiB) 82100
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9117
/proc/meminfo: memFree=1642144/2055920 swapFree=4179712/4192956
[pid=9111] ppid=9109 vsize=5356 CPUtime=0.65
/proc/9111/stat : 9111 (SatELiteGTI) S 9109 9111 8350 0 -1 4194304 336 4684 0 0 0 0 61 4 16 0 1 0 310879466 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9111/statm: 1339 239 197 169 0 50 0
[pid=9117] ppid=9111 vsize=76744 CPUtime=1199.4
/proc/9117/stat : 9117 (minisat_static) R 9111 9111 8350 0 -1 4194304 18870 0 0 0 119916 24 0 0 25 0 1 0 310879533 78585856 18856 1992294400 134512640 135215339 4294956256 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/9117/statm: 19186 18856 77 171 0 19013 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 82100
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 9117
/proc/meminfo: memFree=1642144/2055920 swapFree=4179712/4192956
[pid=9111] ppid=9109 vsize=5356 CPUtime=0.65
/proc/9111/stat : 9111 (SatELiteGTI) S 9109 9111 8350 0 -1 4194304 336 4684 0 0 0 0 61 4 16 0 1 0 310879466 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9111/statm: 1339 239 197 169 0 50 0
[pid=9117] ppid=9111 vsize=76744 CPUtime=1199.4
/proc/9117/stat : 9117 (minisat_static) R 9111 9111 8350 0 -1 4194304 18870 0 0 0 119916 24 0 0 25 0 1 0 310879533 78585856 18856 1992294400 134512640 135215339 4294956256 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/9117/statm: 19186 18856 77 171 0 19013 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 82100
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9111 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=615906
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=41993
# CPU time returned by wait4() is 0.657899
# while last known CPU time is 1200.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.71
CPU time (s): 1200.05
CPU user time (s): 1199.77
CPU system time (s): 0.28
CPU usage (%): 99.9448
Max. virtual memory (cumulated for all children) (KiB): 82100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.615906
system time used= 0.041993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5020
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= 13
involuntary context switches= 14
runsolver used 0.943856 second user time and 3.52846 second system time
The end
Begin job on node9 at 2009-05-20 16:07:37
IDJOB=1834147
IDBENCH=71621
IDSOLVER=671
FILE ID=node9/1834147-1242828457
PBS_JOBID= 9322551
Free space on /tmp= 66388 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/parity-games/instance_n7_i8_pp_ci_ce.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834147-1242828457/watcher-1834147-1242828457 -o /tmp/evaluation-result-1834147-1242828457/solver-1834147-1242828457 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834147-1242828457.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 545e53eb1c10ff91f4e2e16d7a8c9f9f
RANDOM SEED=1879415043
node9.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.240
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.240
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: 1722256 kB
Buffers: 50564 kB
Cached: 231492 kB
SwapCached: 7828 kB
Active: 166068 kB
Inactive: 125212 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1722256 kB
SwapTotal: 4192956 kB
SwapFree: 4179712 kB
Dirty: 4712 kB
Writeback: 0 kB
Mapped: 14064 kB
Slab: 28476 kB
Committed_AS: 985124 kB
PageTables: 1400 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66384 MiB
End job on node9 at 2009-05-20 16:27:40