0.00/0.00 c Parsing...
0.00/0.04 c ==============================================================================
0.00/0.04 c | | ORIGINAL | LEARNT | |
0.00/0.04 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.04 c ==============================================================================
0.00/0.04 c | 0 | 68055 202155 | 20416 0 0 nan | 0.000 % |
0.00/0.48 c | 0 | 67183 284754 | -- 0 -- -- | -- | -872/82599
0.00/0.48 c ==============================================================================
0.00/0.48 c Result : #vars: 763 #clauses: 67183 #literals: 284754
0.00/0.48 c CPU time: 0.467928 s
0.00/0.48 c ==============================================================================
0.00/0.56 c This is MiniSat 2.0 beta
0.00/0.56 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.56 c ============================[ Problem Statistics ]=============================
0.00/0.56 c | |
0.00/0.56 c | Number of variables: 763 |
0.00/0.56 c | Number of clauses: 67183 |
0.55/0.60 c | Parsing time: 0.03 s |
0.55/0.60 c ============================[ Search Statistics ]==============================
0.55/0.60 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.55/0.60 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.55/0.60 c ===============================================================================
0.55/0.60 c | 0 | 763 67183 284754 | 22394 0 nan | 0.000 % |
0.55/0.63 c | 100 | 763 67183 284754 | 22394 100 42 | 0.000 % |
0.55/0.66 c | 201 | 763 67183 284754 | 22394 201 37 | 0.000 % |
0.55/0.69 c | 304 | 763 67183 284754 | 22394 304 33 | 0.000 % |
0.55/0.73 c | 414 | 763 67183 284754 | 22394 414 31 | 0.000 % |
0.55/0.76 c | 515 | 763 67183 284754 | 22394 515 29 | 0.000 % |
0.55/0.79 c | 625 | 763 67183 284754 | 22394 625 31 | 0.000 % |
0.55/0.82 c | 747 | 763 67183 284754 | 22394 747 32 | 0.000 % |
0.55/0.85 c | 847 | 763 67183 284754 | 22394 847 32 | 0.000 % |
0.55/0.87 c | 959 | 763 67183 284754 | 22394 959 32 | 0.000 % |
0.55/0.91 c | 1081 | 763 67183 284754 | 22394 1081 32 | 0.000 % |
0.55/0.94 c | 1216 | 763 67183 284754 | 22394 1216 33 | 0.000 % |
0.55/0.97 c | 1316 | 763 67183 284754 | 22394 1316 33 | 0.000 % |
0.98/1.01 c | 1426 | 763 67183 284754 | 22394 1426 32 | 0.000 % |
0.98/1.04 c | 1547 | 763 67183 284754 | 22394 1547 31 | 0.000 % |
0.98/1.10 c | 1682 | 763 67183 284754 | 22394 1682 33 | 0.000 % |
1.07/1.15 c | 1828 | 763 67183 284754 | 22394 1828 34 | 0.000 % |
1.07/1.17 c | 1928 | 763 67183 284754 | 22394 1928 34 | 0.000 % |
1.17/1.21 c | 2038 | 763 67183 284754 | 22394 2038 34 | 0.000 % |
1.17/1.25 c | 2159 | 763 67183 284754 | 22394 2159 35 | 0.000 % |
1.17/1.29 c | 2293 | 763 67183 284754 | 22394 2293 35 | 0.000 % |
1.27/1.33 c | 2441 | 763 67183 284754 | 22394 2441 35 | 0.000 % |
1.27/1.36 c | 2602 | 763 67183 284754 | 22394 2602 35 | 0.000 % |
1.27/1.39 c | 2703 | 763 67183 284754 | 22394 2703 35 | 0.000 % |
1.37/1.41 c | 2814 | 763 67183 284754 | 22394 2814 35 | 0.000 % |
1.37/1.45 c | 2935 | 763 67183 284754 | 22394 2935 35 | 0.000 % |
1.37/1.48 c | 3069 | 763 67183 284754 | 22394 3069 35 | 0.000 % |
1.47/1.54 c | 3216 | 763 67183 284754 | 22394 3216 35 | 0.000 % |
1.47/1.59 c | 3377 | 763 67183 284754 | 22394 3377 35 | 0.000 % |
1.57/1.65 c | 3556 | 763 67183 284754 | 22394 3556 35 | 0.000 % |
1.57/1.68 c | 3657 | 763 67183 284754 | 22394 3657 36 | 0.000 % |
1.67/1.72 c | 3768 | 763 67183 284754 | 22394 3768 36 | 0.000 % |
1.67/1.76 c | 3890 | 763 67183 284754 | 22394 3890 36 | 0.000 % |
1.77/1.80 c | 4025 | 763 67183 284754 | 22394 4025 36 | 0.000 % |
1.77/1.86 c | 4171 | 763 67183 284754 | 22394 4171 36 | 0.000 % |
1.87/1.91 c | 4331 | 763 67183 284754 | 22394 4331 37 | 0.000 % |
1.87/1.96 c | 4509 | 763 67183 284754 | 22394 4509 37 | 0.000 % |
1.97/2.04 c | 4703 | 763 67183 284754 | 22394 4703 37 | 0.000 % |
1.97/2.07 c | 4804 | 763 67183 284754 | 22394 4804 37 | 0.000 % |
2.07/2.10 c | 4915 | 763 67183 284754 | 22394 4915 37 | 0.000 % |
2.07/2.14 c | 5039 | 763 67183 284754 | 22394 5039 37 | 0.000 % |
2.07/2.19 c | 5172 | 763 67183 284754 | 22394 5172 37 | 0.000 % |
2.17/2.25 c | 5318 | 763 67183 284754 | 22394 5318 37 | 0.000 % |
2.27/2.30 c | 5480 | 763 67183 284754 | 22394 5480 37 | 0.000 % |
2.27/2.37 c | 5657 | 763 67183 284754 | 22394 5657 37 | 0.000 % |
2.37/2.43 c | 5850 | 763 67183 284754 | 22394 5850 37 | 0.000 % |
2.47/2.51 c | 6065 | 763 67183 284754 | 22394 6065 37 | 0.000 % |
2.47/2.56 c | 6165 | 763 67183 284754 | 22394 6165 37 | 0.000 % |
2.56/2.60 c | 6277 | 763 67183 284754 | 22394 6277 37 | 0.000 % |
2.56/2.64 c | 6400 | 763 67183 284754 | 22394 6400 37 | 0.000 % |
2.56/2.69 c | 6535 | 763 67183 284754 | 22394 6535 37 | 0.000 % |
2.66/2.75 c | 6681 | 763 67183 284754 | 22394 6681 37 | 0.000 % |
2.76/2.80 c | 6841 | 763 67183 284754 | 22394 6841 37 | 0.000 % |
2.76/2.87 c | 7018 | 763 67183 284754 | 22394 7018 37 | 0.000 % |
2.86/2.96 c | 7213 | 763 67183 284754 | 22394 7213 38 | 0.000 % |
2.96/3.05 c | 7425 | 763 67183 284754 | 22394 7425 38 | 0.000 % |
3.06/3.14 c | 7660 | 763 67183 284754 | 22394 7660 38 | 0.000 % |
3.06/3.19 c | 7760 | 763 67183 284754 | 22394 7760 38 | 0.000 % |
3.16/3.23 c | 7870 | 763 67183 284754 | 22394 7870 38 | 0.000 % |
3.16/3.28 c | 7991 | 763 67183 284754 | 22394 7991 38 | 0.000 % |
3.26/3.34 c | 8124 | 763 67183 284754 | 22394 8124 38 | 0.000 % |
3.26/3.39 c | 8270 | 763 67183 284754 | 22394 8270 38 | 0.000 % |
3.36/3.46 c | 8431 | 763 67183 284754 | 22394 8431 38 | 0.000 % |
3.47/3.53 c | 8609 | 763 67183 284754 | 22394 8609 38 | 0.000 % |
3.47/3.59 c | 8803 | 763 67183 284754 | 22394 8803 38 | 0.000 % |
3.57/3.66 c | 9016 | 763 67183 284754 | 22394 9016 38 | 0.000 % |
3.67/3.74 c | 9251 | 763 67183 284754 | 22394 9251 38 | 0.000 % |
3.77/3.82 c | 9507 | 763 67183 284754 | 22394 9507 38 | 0.000 % |
3.77/3.88 c | 9607 | 763 67183 284754 | 22394 9607 38 | 0.000 % |
3.87/3.93 c | 9717 | 763 67183 284754 | 22394 9717 38 | 0.000 % |
3.87/3.99 c | 9838 | 763 67183 284754 | 22394 9838 38 | 0.000 % |
3.96/4.06 c | 9971 | 763 67183 284754 | 22394 9971 38 | 0.000 % |
4.06/4.13 c | 10117 | 763 67183 284754 | 2147483647 10117 38 | 0.000 % |
4.16/4.21 c | 10277 | 763 67183 284754 | 2147483647 10277 38 | 0.000 % |
4.16/4.29 c | 10454 | 763 67183 284754 | 2147483647 10454 38 | 0.000 % |
4.27/4.39 c | 10647 | 763 67183 284754 | 2147483647 10647 38 | 0.000 % |
4.37/4.49 c | 10859 | 763 67183 284754 | 2147483647 10859 38 | 0.000 % |
4.46/4.59 c | 11095 | 763 67183 284754 | 2147483647 11095 38 | 0.000 % |
4.66/4.71 c | 11352 | 763 67183 284754 | 2147483647 11352 38 | 0.000 % |
4.76/4.84 c | 11634 | 763 67183 284754 | 2147483647 11634 38 | 0.000 % |
4.76/4.89 c | 11735 | 763 67183 284754 | 2147483647 11735 38 | 0.000 % |
4.85/4.94 c | 11845 | 763 67183 284754 | 2147483647 11845 38 | 0.000 % |
4.95/5.00 c | 11966 | 763 67183 284754 | 2147483647 11966 38 | 0.000 % |
4.95/5.06 c | 12100 | 763 67183 284754 | 2147483647 12100 38 | 0.000 % |
5.05/5.14 c | 12246 | 763 67183 284754 | 2147483647 12246 38 | 0.000 % |
5.15/5.22 c | 12406 | 763 67183 284754 | 2147483647 12406 38 | 0.000 % |
5.25/5.31 c | 12582 | 763 67183 284754 | 2147483647 12582 38 | 0.000 % |
5.36/5.42 c | 12775 | 763 67183 284754 | 2147483647 12775 37 | 0.000 % |
5.46/5.52 c | 12987 | 763 67183 284754 | 2147483647 12987 37 | 0.000 % |
5.55/5.61 c | 13220 | 763 67183 284754 | 2147483647 13220 37 | 0.000 % |
5.65/5.75 c | 13476 | 763 67183 284754 | 2147483647 13476 37 | 0.000 % |
5.86/5.90 c | 13758 | 763 67183 284754 | 2147483647 13758 37 | 0.000 % |
5.96/6.07 c | 14067 | 763 67183 284754 | 2147483647 14067 37 | 0.000 % |
6.06/6.14 c | 14168 | 763 67183 284754 | 2147483647 14168 37 | 0.000 % |
6.16/6.21 c | 14278 | 763 67183 284754 | 2147483647 14278 37 | 0.000 % |
6.26/6.30 c | 14400 | 763 67183 284754 | 2147483647 14400 37 | 0.000 % |
6.26/6.38 c | 14533 | 763 67183 284754 | 2147483647 14533 37 | 0.000 % |
6.36/6.50 c | 14680 | 763 67183 284754 | 2147483647 14680 37 | 0.000 % |
6.47/6.60 c | 14845 | 763 67183 284754 | 2147483647 14845 37 | 0.000 % |
6.66/6.71 c | 15022 | 763 67183 284754 | 2147483647 15022 37 | 0.000 % |
6.76/6.86 c | 15215 | 763 67183 284754 | 2147483647 15215 37 | 0.000 % |
6.96/7.00 c | 15428 | 763 67183 284754 | 2147483647 15428 37 | 0.000 % |
7.06/7.16 c | 15662 | 763 67183 284754 | 2147483647 15662 37 | 0.000 % |
7.26/7.32 c | 15919 | 763 67183 284754 | 2147483647 15919 37 | 0.000 % |
7.46/7.51 c | 16200 | 763 67183 284754 | 2147483647 16200 37 | 0.000 % |
7.56/7.67 c | 16512 | 763 67183 284754 | 2147483647 16512 37 | 0.000 % |
7.76/7.89 c | 16854 | 763 67183 284754 | 2147483647 16854 37 | 0.000 % |
7.86/7.97 c | 16956 | 763 67183 284754 | 2147483647 16956 37 | 0.000 % |
7.96/8.05 c | 17067 | 763 67183 284754 | 2147483647 17067 37 | 0.000 % |
8.06/8.17 c | 17189 | 763 67183 284754 | 2147483647 17189 37 | 0.000 % |
8.16/8.25 c | 17323 | 763 67183 284754 | 2147483647 17323 37 | 0.000 % |
8.26/8.34 c | 17469 | 763 67183 284754 | 2147483647 17469 37 | 0.000 % |
8.36/8.44 c | 17629 | 763 67183 284754 | 2147483647 17629 37 | 0.000 % |
8.46/8.58 c | 17809 | 763 67183 284754 | 2147483647 17809 37 | 0.000 % |
8.66/8.71 c | 18003 | 763 67183 284754 | 2147483647 18003 37 | 0.000 % |
8.76/8.88 c | 18215 | 763 67183 284754 | 2147483647 18215 37 | 0.000 % |
8.96/9.02 c | 18448 | 763 67183 284754 | 2147483647 18448 37 | 0.000 % |
9.16/9.24 c | 18704 | 763 67183 284754 | 2147483647 18704 37 | 0.000 % |
9.36/9.42 c | 18986 | 763 67183 284754 | 2147483647 18986 37 | 0.000 % |
9.56/9.66 c | 19296 | 763 67183 284754 | 2147483647 19296 37 | 0.000 % |
9.86/9.95 c | 19635 | 763 67183 284754 | 2147483647 19635 37 | 0.000 % |
10.15/10.26 c | 20007 | 763 67183 284754 | 2147483647 20007 37 | 0.000 % |
10.25/10.35 c | 20107 | 763 67183 284754 | 2147483647 20107 37 | 0.000 % |
10.35/10.48 c | 20217 | 763 67183 284754 | 2147483647 20217 37 | 0.000 % |
10.55/10.60 c | 20339 | 763 67183 284754 | 2147483647 20339 37 | 0.000 % |
10.65/10.72 c | 20472 | 763 67183 284754 | 2147483647 20472 37 | 0.000 % |
10.75/10.86 c | 20618 | 763 67183 284754 | 2147483647 20618 38 | 0.000 % |
10.95/11.04 c | 20780 | 763 67183 284754 | 2147483647 20780 37 | 0.000 % |
11.15/11.22 c | 20956 | 763 67183 284754 | 2147483647 20956 37 | 0.000 % |
11.25/11.40 c | 21150 | 763 67183 284754 | 2147483647 21150 37 | 0.000 % |
11.55/11.60 c | 21363 | 763 67183 284754 | 2147483647 21363 37 | 0.000 % |
11.75/11.81 c | 21596 | 763 67183 284754 | 2147483647 21596 37 | 0.000 % |
11.95/12.05 c | 21854 | 763 67183 284754 | 2147483647 21854 37 | 0.000 % |
12.25/12.34 c | 22137 | 763 67183 284754 | 2147483647 22137 37 | 0.000 % |
12.45/12.56 c | 22446 | 763 67183 284754 | 2147483647 22446 37 | 0.000 % |
12.75/12.83 c | 22786 | 763 67183 284754 | 2147483647 22786 37 | 0.000 % |
13.05/13.19 c | 23159 | 763 67183 284754 | 2147483647 23159 37 | 0.000 % |
13.45/13.55 c | 23569 | 763 67183 284754 | 2147483647 23569 37 | 0.000 % |
13.55/13.64 c | 23669 | 763 67183 284754 | 2147483647 23669 37 | 0.000 % |
13.65/13.75 c | 23779 | 763 67183 284754 | 2147483647 23779 37 | 0.000 % |
13.75/13.89 c | 23900 | 763 67183 284754 | 2147483647 23900 37 | 0.000 % |
13.95/14.00 c | 24033 | 763 67183 284754 | 2147483647 24033 37 | 0.000 % |
14.05/14.14 c | 24180 | 763 67183 284754 | 2147483647 24180 37 | 0.000 % |
14.25/14.31 c | 24340 | 763 67183 284754 | 2147483647 24340 37 | 0.000 % |
14.44/14.50 c | 24517 | 763 67183 284754 | 2147483647 24517 37 | 0.000 % |
14.54/14.66 c | 24710 | 763 67183 284754 | 2147483647 24710 37 | 0.000 % |
14.75/14.84 c | 24922 | 763 67183 284754 | 2147483647 24922 37 | 0.000 % |
15.05/15.11 c | 25157 | 763 67183 284754 | 2147483647 25157 37 | 0.000 % |
15.26/15.36 c | 25413 | 763 67183 284754 | 2147483647 25413 37 | 0.000 % |
15.55/15.66 c | 25694 | 763 67183 284754 | 2147483647 25694 37 | 0.000 % |
15.85/15.92 c | 26003 | 763 67183 284754 | 2147483647 26003 37 | 0.000 % |
16.15/16.29 c | 26344 | 763 67183 284754 | 2147483647 26344 37 | 0.000 % |
16.55/16.61 c | 26719 | 763 67183 284754 | 2147483647 26719 37 | 0.000 % |
16.85/16.95 c | 27128 | 763 67183 284754 | 2147483647 27128 37 | 0.000 % |
17.05/17.12 c | 27577 | 763 67183 284754 | 2147483647 27577 37 | 0.000 % |
17.25/17.30 c | 27677 | 763 67183 284754 | 2147483647 27677 37 | 0.000 % |
17.25/17.35 c | 27787 | 763 67183 284754 | 2147483647 27787 37 | 0.000 % |
17.45/17.55 c | 27908 | 763 67183 284754 | 2147483647 27908 37 | 0.000 % |
17.65/17.75 c | 28041 | 763 67183 284754 | 2147483647 28041 37 | 0.000 % |
17.85/17.99 c | 28190 | 763 67183 284754 | 2147483647 28190 37 | 0.000 % |
18.15/18.24 c | 28350 | 763 67183 284754 | 2147483647 28350 37 | 0.000 % |
18.35/18.48 c | 28527 | 763 67183 284754 | 2147483647 28527 37 | 0.000 % |
18.65/18.77 c | 28723 | 763 67183 284754 | 2147483647 28723 37 | 0.000 % |
19.05/19.12 c | 28936 | 763 67183 284754 | 2147483647 28936 37 | 0.000 % |
19.35/19.42 c | 29170 | 763 67183 284754 | 2147483647 29170 37 | 0.000 % |
19.45/19.56 c | 29426 | 763 67183 284754 | 2147483647 29426 37 | 0.000 % |
19.85/19.99 c | 29708 | 763 67183 284754 | 2147483647 29708 37 | 0.000 % |
20.35/20.46 c | 30017 | 763 67183 284754 | 2147483647 30017 37 | 0.000 % |
20.75/20.89 c | 30356 | 763 67183 284754 | 2147483647 30356 37 | 0.000 % |
21.35/21.45 c | 30729 | 763 67183 284754 | 2147483647 30729 37 | 0.000 % |
22.05/22.16 c | 31138 | 763 67183 284754 | 2147483647 31138 38 | 0.000 % |
22.75/22.88 c | 31587 | 763 67183 284754 | 2147483647 31587 38 | 0.000 % |
23.65/23.76 c | 32081 | 763 67183 284754 | 2147483647 32081 38 | 0.000 % |
23.85/23.93 c | 32181 | 763 67183 284754 | 2147483647 32181 38 | 0.000 % |
24.05/24.12 c | 32291 | 763 67183 284754 | 2147483647 32291 38 | 0.000 % |
24.15/24.29 c | 32412 | 763 67183 284754 | 2147483647 32412 38 | 0.000 % |
24.44/24.53 c | 32545 | 763 67183 284754 | 2147483647 32545 38 | 0.000 % |
24.74/24.80 c | 32693 | 763 67183 284754 | 2147483647 32693 38 | 0.000 % |
24.94/25.03 c | 32855 | 763 67183 284754 | 2147483647 32855 38 | 0.000 % |
25.25/25.35 c | 33033 | 763 67183 284754 | 2147483647 33033 38 | 0.000 % |
25.54/25.67 c | 33227 | 763 67183 284754 | 2147483647 33227 38 | 0.000 % |
25.84/25.96 c | 33439 | 763 67183 284754 | 2147483647 33439 38 | 0.000 % |
26.25/26.39 c | 33673 | 763 67183 284754 | 2147483647 33673 38 | 0.000 % |
26.74/26.84 c | 33930 | 763 67183 284754 | 2147483647 33930 38 | 0.000 % |
26.84/26.94 c | 34211 | 763 67183 284754 | 2147483647 34211 38 | 0.000 % |
26.94/27.07 c | 34521 | 763 67183 284754 | 2147483647 34521 38 | 0.000 % |
27.64/27.77 c | 34860 | 763 67183 284754 | 2147483647 34860 38 | 0.000 % |
28.14/28.20 c | 35232 | 763 67183 284754 | 2147483647 35232 38 | 0.000 % |
28.34/28.46 c | 35642 | 763 67183 284754 | 2147483647 35642 38 | 0.000 % |
28.64/28.72 c | 36092 | 763 67183 284754 | 2147483647 36092 38 | 0.000 % |
28.84/28.98 c | 36586 | 763 67183 284754 | 2147483647 36586 38 | 0.000 % |
29.14/29.25 c | 37129 | 763 67183 284754 | 2147483647 37129 38 | 0.000 % |
29.24/29.31 c | 37230 | 763 67183 284754 | 2147483647 37230 38 | 0.000 % |
29.24/29.35 c | 37342 | 763 67183 284754 | 2147483647 37342 38 | 0.000 % |
29.34/29.43 c | 37464 | 763 67183 284754 | 2147483647 37464 38 | 0.000 % |
29.45/29.52 c | 37597 | 763 67183 284754 | 2147483647 37597 38 | 0.000 % |
29.55/29.62 c | 37744 | 763 67183 284754 | 2147483647 37744 38 | 0.000 % |
29.74/29.89 c | 37905 | 763 67183 284754 | 2147483647 37905 38 | 0.000 % |
29.94/30.00 c | 38082 | 763 67183 284754 | 2147483647 38082 38 | 0.000 % |
30.04/30.12 c | 38276 | 763 67183 284754 | 2147483647 38276 39 | 0.000 % |
30.14/30.27 c | 38488 | 763 67183 284754 | 2147483647 38488 39 | 0.000 % |
30.34/30.44 c | 38723 | 763 67183 284754 | 2147483647 38723 39 | 0.000 % |
30.54/30.61 c | 38984 | 763 67183 284754 | 2147483647 38984 39 | 0.000 % |
30.65/30.78 c | 39266 | 763 67183 284754 | 2147483647 39266 39 | 0.000 % |
30.84/30.97 c | 39576 | 763 67183 284754 | 2147483647 39576 39 | 0.000 % |
31.14/31.26 c | 39915 | 763 67183 284754 | 2147483647 39915 39 | 0.000 % |
31.54/31.63 c | 40290 | 763 67183 284754 | 2147483647 40290 39 | 0.000 % |
31.74/31.88 c | 40701 | 763 67183 284754 | 2147483647 40701 39 | 0.000 % |
32.84/32.96 c | 41151 | 763 67183 284754 | 2147483647 41151 39 | 0.000 % |
33.24/33.34 c | 41646 | 763 67183 284754 | 2147483647 41646 39 | 0.000 % |
33.64/33.73 c | 42188 | 763 67183 284754 | 2147483647 42188 39 | 0.000 % |
34.04/34.17 c | 42784 | 763 67183 284754 | 2147483647 42784 39 | 0.000 % |
34.14/34.27 c | 42887 | 763 67183 284754 | 2147483647 42887 39 | 0.000 % |
34.24/34.37 c | 42997 | 763 67183 284754 | 2147483647 42997 39 | 0.000 % |
34.34/34.50 c | 43118 | 763 67183 284754 | 2147483647 43118 39 | 0.000 % |
34.54/34.61 c | 43252 | 763 67183 284754 | 2147483647 43252 39 | 0.000 % |
34.64/34.76 c | 43398 | 763 67183 284754 | 2147483647 43398 39 | 0.000 % |
34.84/34.94 c | 43558 | 763 67183 284754 | 2147483647 43558 39 | 0.000 % |
35.04/35.13 c | 43735 | 763 67183 284754 | 2147483647 43735 39 | 0.000 % |
35.24/35.34 c | 43928 | 763 67183 284754 | 2147483647 43928 39 | 0.000 % |
35.44/35.54 c | 44143 | 763 67183 284754 | 2147483647 44143 39 | 0.000 % |
35.64/35.77 c | 44376 | 763 67183 284754 | 2147483647 44376 39 | 0.000 % |
35.93/36.03 c | 44632 | 763 67183 284754 | 2147483647 44632 39 | 0.000 % |
36.24/36.32 c | 44916 | 763 67183 284754 | 2147483647 44916 39 | 0.000 % |
36.53/36.61 c | 45225 | 763 67183 284754 | 2147483647 45225 39 | 0.000 % |
36.83/36.97 c | 45565 | 763 67183 284754 | 2147483647 45565 39 | 0.000 % |
37.34/37.46 c | 45939 | 763 67183 284754 | 2147483647 45939 39 | 0.000 % |
37.83/37.93 c | 46348 | 763 67183 284754 | 2147483647 46348 39 | 0.000 % |
38.34/38.43 c | 46798 | 763 67183 284754 | 2147483647 46798 39 | 0.000 % |
38.83/38.94 c | 47292 | 763 67183 284754 | 2147483647 47292 39 | 0.000 % |
39.33/39.47 c | 47834 | 763 67183 284754 | 2147483647 47834 39 | 0.000 % |
39.93/40.06 c | 48431 | 763 67183 284754 | 2147483647 48431 39 | 0.000 % |
40.63/40.75 c | 49089 | 763 67183 284754 | 2147483647 49089 39 | 0.000 % |
40.73/40.87 c | 49189 | 763 67183 284754 | 2147483647 49189 39 | 0.000 % |
40.83/40.98 c | 49299 | 763 67183 284754 | 2147483647 49299 39 | 0.000 % |
41.04/41.15 c | 49420 | 763 67183 284754 | 2147483647 49420 39 | 0.000 % |
41.14/41.29 c | 49554 | 763 67183 284754 | 2147483647 49554 39 | 0.000 % |
41.34/41.45 c | 49701 | 763 67183 284754 | 2147483647 49701 39 | 0.000 % |
41.54/41.62 c | 49865 | 763 67183 284754 | 2147483647 49865 39 | 0.000 % |
41.74/41.84 c | 50043 | 763 67183 284754 | 2147483647 50043 39 | 0.000 % |
42.04/42.10 c | 50238 | 763 67183 284754 | 2147483647 50238 39 | 0.000 % |
42.34/42.40 c | 50451 | 763 67183 284754 | 2147483647 50451 39 | 0.000 % |
42.54/42.68 c | 50685 | 763 67183 284754 | 2147483647 50685 39 | 0.000 % |
42.84/42.99 c | 50942 | 763 67183 284754 | 2147483647 50942 39 | 0.000 % |
43.23/43.33 c | 51227 | 763 67183 284754 | 2147483647 51227 39 | 0.000 % |
43.63/43.76 c | 51536 | 763 67183 284754 | 2147483647 51536 39 | 0.000 % |
44.03/44.15 c | 51877 | 763 67183 284754 | 2147483647 51877 39 | 0.000 % |
44.53/44.70 c | 52250 | 763 67183 284754 | 2147483647 52250 39 | 0.000 % |
45.13/45.26 c | 52660 | 763 67183 284754 | 2147483647 52660 39 | 0.000 % |
45.73/45.87 c | 53111 | 763 67183 284754 | 2147483647 53111 39 | 0.000 % |
46.43/46.59 c | 53606 | 763 67183 284754 | 2147483647 53606 39 | 0.000 % |
47.33/47.42 c | 54148 | 763 67183 284754 | 2147483647 54148 39 | 0.000 % |
48.13/48.24 c | 54744 | 763 67183 284754 | 2147483647 54744 39 | 0.000 % |
49.23/49.32 c | 55400 | 763 67183 284754 | 2147483647 55400 39 | 0.000 % |
51.33/51.43 c | 56120 | 763 67183 284754 | 2147483647 56120 39 | 0.000 % |
51.63/51.75 c | 56220 | 763 67183 284754 | 2147483647 56220 39 | 0.000 % |
52.13/52.22 c | 56330 | 763 67183 284754 | 2147483647 56330 38 | 0.000 % |
52.43/52.53 c | 56451 | 763 67183 284754 | 2147483647 56451 38 | 0.000 % |
52.93/53.02 c | 56586 | 763 67183 284754 | 2147483647 56586 38 | 0.000 % |
53.33/53.46 c | 56732 | 763 67183 284754 | 2147483647 56732 38 | 0.000 % |
53.83/53.96 c | 56892 | 763 67183 284754 | 2147483647 56892 38 | 0.000 % |
54.32/54.42 c | 57070 | 763 67183 284754 | 2147483647 57070 38 | 0.000 % |
54.72/54.87 c | 57263 | 763 67183 284754 | 2147483647 57263 38 | 0.000 % |
55.52/55.62 c | 57475 | 763 67183 284754 | 2147483647 57475 38 | 0.000 % |
55.82/55.94 c | 57711 | 763 67183 284754 | 2147483647 57711 38 | 0.000 % |
56.52/56.60 c | 57968 | 763 67183 284754 | 2147483647 57968 38 | 0.002 % |
57.62/57.74 c | 58252 | 763 67183 284754 | 2147483647 58252 38 | 0.000 % |
58.42/58.57 c | 58562 | 763 67183 284754 | 2147483647 58562 38 | 0.000 % |
59.12/59.26 c | 58903 | 763 67183 284754 | 2147483647 58903 38 | 0.000 % |
59.82/59.95 c | 59276 | 763 67183 284754 | 2147483647 59276 38 | 0.000 % |
61.02/61.17 c | 59687 | 763 67183 284754 | 2147483647 59687 38 | 0.000 % |
61.92/62.07 c | 60136 | 763 67183 284754 | 2147483647 60136 38 | 0.000 % |
63.83/63.90 c | 60630 | 763 67183 284754 | 2147483647 60630 38 | 0.000 % |
65.13/65.20 c | 61173 | 763 67183 284754 | 2147483647 61173 38 | 0.000 % |
66.33/66.46 c | 61769 | 763 67183 284754 | 2147483647 61769 38 | 0.000 % |
68.72/68.82 c | 62424 | 763 67183 284754 | 2147483647 62424 38 | 0.000 % |
71.33/71.49 c | 63144 | 763 67183 284754 | 2147483647 63144 38 | 0.000 % |
75.02/75.11 c | 63936 | 763 67183 284754 | 2147483647 63936 38 | 0.000 % |
75.22/75.38 c | 64036 | 763 67183 284754 | 2147483647 64036 38 | 0.000 % |
75.52/75.67 c | 64150 | 763 67183 284754 | 2147483647 64150 38 | 0.000 % |
76.22/76.32 c | 64272 | 763 67183 284754 | 2147483647 64272 38 | 0.000 % |
76.62/76.78 c | 64405 | 763 67183 284754 | 2147483647 64405 38 | 0.000 % |
77.22/77.37 c | 64552 | 763 67183 284754 | 2147483647 64552 38 | 0.000 % |
78.02/78.12 c | 64714 | 763 67183 284754 | 2147483647 64714 38 | 0.000 % |
78.62/78.71 c | 64891 | 763 67183 284754 | 2147483647 64891 38 | 0.000 % |
79.32/79.49 c | 65084 | 763 67183 284754 | 2147483647 65084 38 | 0.000 % |
80.32/80.41 c | 65296 | 763 67183 284754 | 2147483647 65296 38 | 0.000 % |
81.22/81.32 c | 65530 | 763 67183 284754 | 2147483647 65530 38 | 0.002 % |
81.32/81.49 c | 65788 | 763 67183 284754 | 2147483647 65788 38 | 0.000 % |
82.42/82.54 c | 66071 | 763 67183 284754 | 2147483647 66071 38 | 0.000 % |
83.22/83.33 c | 66382 | 763 67183 284754 | 2147483647 66382 38 | 0.000 % |
84.21/84.33 c | 66722 | 763 67183 284754 | 2147483647 66722 38 | 0.000 % |
85.62/85.76 c | 67095 | 763 67183 284754 | 2147483647 67095 38 | 0.000 % |
87.01/87.15 c | 67505 | 763 67183 284754 | 2147483647 67505 38 | 0.000 % |
88.01/88.19 c | 67956 | 763 67183 284754 | 2147483647 67956 38 | 0.000 % |
89.31/89.45 c | 68449 | 763 67183 284754 | 2147483647 68449 38 | 0.000 % |
90.51/90.62 c | 68991 | 763 67183 284754 | 2147483647 68991 38 | 0.000 % |
91.31/91.48 c | 69588 | 763 67183 284754 | 2147483647 69588 38 | 0.000 % |
94.41/94.51 c | 70244 | 763 67183 284754 | 2147483647 70244 38 | 0.000 % |
96.71/96.89 c | 70966 | 763 67183 284754 | 2147483647 70966 38 | 0.000 % |
99.61/99.71 c | 71763 | 763 67183 284754 | 2147483647 71763 37 | 0.000 % |
102.41/102.54 c | 72635 | 763 67183 284754 | 2147483647 72635 37 | 0.000 % |
102.51/102.70 c | 72737 | 763 67183 284754 | 2147483647 72737 37 | 0.000 % |
102.81/102.93 c | 72849 | 763 67183 284754 | 2147483647 72849 37 | 0.000 % |
103.11/103.24 c | 72972 | 763 67183 284754 | 2147483647 72972 37 | 0.000 % |
103.50/103.63 c | 73107 | 763 67183 284754 | 2147483647 73107 37 | 0.000 % |
104.00/104.11 c | 73253 | 763 67183 284754 | 2147483647 73253 37 | 0.000 % |
104.50/104.70 c | 73413 | 763 67183 284754 | 2147483647 73413 37 | 0.000 % |
105.10/105.22 c | 73589 | 763 67183 284754 | 2147483647 73589 37 | 0.000 % |
105.90/106.02 c | 73783 | 763 67183 284754 | 2147483647 73783 37 | 0.000 % |
107.30/107.41 c | 73997 | 763 67183 284754 | 2147483647 73997 37 | 0.000 % |
108.10/108.27 c | 74230 | 763 67183 284754 | 2147483647 74230 37 | 0.000 % |
108.50/108.65 c | 74486 | 763 67183 284754 | 2147483647 74486 37 | 0.000 % |
109.70/109.81 c | 74769 | 763 67183 284754 | 2147483647 74769 37 | 0.000 % |
110.81/110.95 c | 75078 | 763 67183 284754 | 2147483647 75078 37 | 0.000 % |
111.51/111.64 c | 75418 | 763 67183 284754 | 2147483647 75418 37 | 0.000 % |
112.81/112.91 c | 75791 | 763 67183 284754 | 2147483647 75791 37 | 0.000 % |
113.51/113.62 c | 76202 | 763 67183 284754 | 2147483647 76202 37 | 0.000 % |
114.81/114.91 c | 76651 | 763 67183 284754 | 2147483647 76651 37 | 0.000 % |
116.21/116.36 c | 77145 | 763 67183 284754 | 2147483647 77145 37 | 0.000 % |
118.11/118.29 c | 77689 | 763 67183 284754 | 2147483647 77689 37 | 0.000 % |
120.11/120.20 c | 78287 | 763 67183 284754 | 2147483647 78287 37 | 0.000 % |
121.91/122.04 c | 78942 | 763 67183 284754 | 2147483647 78942 37 | 0.000 % |
123.70/123.82 c | 79662 | 763 67183 284754 | 2147483647 79662 37 | 0.000 % |
127.30/127.49 c | 80455 | 763 67183 284754 | 80000 64682 37 | 0.000 % |
130.40/130.50 c | 81326 | 763 67183 284754 | 80000 65553 37 | 0.000 % |
132.90/133.07 c | 82286 | 763 67183 284754 | 80000 66513 37 | 0.000 % |
133.10/133.28 c | 82386 | 763 67183 284754 | 80000 66613 37 | 0.000 % |
133.50/133.67 c | 82496 | 763 67183 284754 | 80000 66723 37 | 0.000 % |
133.90/134.07 c | 82618 | 763 67183 284754 | 80000 66845 37 | 0.000 % |
134.20/134.36 c | 82753 | 763 67183 284754 | 80000 66980 37 | 0.000 % |
134.70/134.87 c | 82899 | 763 67183 284754 | 80000 67126 37 | 0.000 % |
135.30/135.46 c | 83061 | 763 67183 284754 | 80000 67288 37 | 0.000 % |
135.80/135.95 c | 83237 | 763 67183 284754 | 80000 67464 37 | 0.000 % |
136.20/136.37 c | 83431 | 763 67183 284754 | 80000 67658 37 | 0.000 % |
136.80/136.94 c | 83643 | 763 67183 284754 | 80000 67870 38 | 0.000 % |
137.40/137.56 c | 83877 | 763 67183 284754 | 80000 68104 38 | 0.000 % |
137.70/137.81 c | 84133 | 763 67183 284754 | 80000 68360 38 | 0.000 % |
138.40/138.50 c | 84414 | 763 67183 284754 | 80000 68641 38 | 0.000 % |
139.30/139.42 c | 84724 | 763 67183 284754 | 80000 68951 38 | 0.000 % |
140.20/140.32 c | 85065 | 763 67183 284754 | 80000 69292 38 | 0.000 % |
141.40/141.50 c | 85439 | 763 67183 284754 | 80000 69666 38 | 0.000 % |
142.80/142.90 c | 85850 | 763 67183 284754 | 80000 70077 38 | 0.000 % |
144.40/144.56 c | 86299 | 763 67183 284754 | 80000 70526 38 | 0.000 % |
145.99/146.16 c | 86794 | 763 67183 284754 | 80000 71021 38 | 0.000 % |
147.79/147.97 c | 87337 | 763 67183 284754 | 80000 71564 38 | 0.000 % |
149.99/150.14 c | 87933 | 763 67183 284754 | 80000 72160 38 | 0.000 % |
152.79/152.92 c | 88588 | 763 67183 284754 | 80000 72815 38 | 0.000 % |
154.49/154.66 c | 89308 | 763 67183 284754 | 80000 73535 38 | 0.000 % |
157.49/157.60 c | 90100 | 763 67183 284754 | 74227 74327 38 | 0.000 % |
159.99/160.15 c | 90971 | 763 67183 284754 | 74227 51145 37 | 0.000 % |
161.69/161.84 c | 91930 | 763 67183 284754 | 74227 52104 37 | 0.000 % |
162.89/163.06 c | 92986 | 763 67183 284754 | 74227 53160 38 | 0.000 % |
163.09/163.23 c | 93087 | 763 67183 284754 | 74227 53261 38 | 0.000 % |
163.19/163.39 c | 93199 | 763 67183 284754 | 74227 53373 38 | 0.000 % |
163.49/163.63 c | 93320 | 763 67183 284754 | 74227 53494 38 | 0.000 % |
163.59/163.76 c | 93456 | 763 67183 284754 | 74227 53630 38 | 0.000 % |
163.89/164.10 c | 93602 | 763 67183 284754 | 74227 53776 38 | 0.000 % |
164.39/164.54 c | 93762 | 763 67183 284754 | 74227 53936 38 | 0.000 % |
164.69/164.90 c | 93939 | 763 67183 284754 | 74227 54113 38 | 0.000 % |
165.18/165.35 c | 94134 | 763 67183 284754 | 74227 54308 38 | 0.000 % |
165.58/165.79 c | 94348 | 763 67183 284754 | 74227 54522 38 | 0.000 % |
166.28/166.43 c | 94582 | 763 67183 284754 | 74227 54756 38 | 0.000 % |
166.99/167.12 c | 94838 | 763 67183 284754 | 74227 55012 38 | 0.000 % |
167.38/167.54 c | 95119 | 763 67183 284754 | 74227 55293 38 | 0.000 % |
168.38/168.58 c | 95428 | 763 67183 284754 | 74227 55602 38 | 0.000 % |
169.38/169.52 c | 95767 | 763 67183 284754 | 74227 55941 38 | 0.000 % |
170.29/170.42 c | 96139 | 763 67183 284754 | 74227 56313 37 | 0.000 % |
170.88/171.06 c | 96549 | 763 67183 284754 | 74227 56723 37 | 0.000 % |
171.88/172.07 c | 97000 | 763 67183 284754 | 74227 57174 38 | 0.000 % |
173.28/173.47 c | 97494 | 763 67183 284754 | 74227 57668 38 | 0.000 % |
175.38/175.54 c | 98036 | 763 67183 284754 | 74227 58210 38 | 0.000 % |
177.68/177.88 c | 98632 | 763 67183 284754 | 74227 58806 38 | 0.000 % |
179.98/180.15 c | 99287 | 763 67183 284754 | 74227 59461 38 | 0.000 % |
182.38/182.53 c | 100009 | 763 67183 284754 | 60176 60183 38 | 0.000 % |
183.88/184.04 c | 100801 | 763 67183 284754 | 60176 49887 38 | 0.000 % |
184.58/184.74 c | 101672 | 763 67183 284754 | 60176 50758 38 | 0.000 % |
186.08/186.26 c | 102630 | 763 67183 284754 | 60176 51716 38 | 0.000 % |
188.38/188.55 c | 103685 | 763 67183 284754 | 60176 52771 37 | 0.000 % |
190.77/190.93 c | 104843 | 763 67183 284754 | 60176 53929 37 | 0.000 % |
190.97/191.11 c | 104943 | 763 67183 284754 | 60176 54029 37 | 0.000 % |
191.18/191.37 c | 105056 | 763 67183 284754 | 60176 54142 37 | 0.000 % |
191.37/191.54 c | 105177 | 763 67183 284754 | 60176 54263 37 | 0.000 % |
191.67/191.87 c | 105310 | 763 67183 284754 | 60176 54396 37 | 0.000 % |
192.07/192.20 c | 105457 | 763 67183 284754 | 60176 54543 37 | 0.000 % |
192.57/192.70 c | 105618 | 763 67183 284754 | 60176 54704 37 | 0.000 % |
192.97/193.19 c | 105794 | 763 67183 284754 | 60176 54880 37 | 0.000 % |
193.57/193.70 c | 105987 | 763 67183 284754 | 60176 55073 37 | 0.000 % |
194.07/194.28 c | 106207 | 763 67183 284754 | 60176 55293 37 | 0.000 % |
194.58/194.79 c | 106440 | 763 67183 284754 | 60176 55526 37 | 0.000 % |
195.27/195.44 c | 106698 | 763 67183 284754 | 60176 55784 37 | 0.000 % |
195.58/195.70 c | 106980 | 763 67183 284754 | 60176 56066 37 | 0.000 % |
196.17/196.36 c | 107289 | 763 67183 284754 | 60176 56375 37 | 0.000 % |
196.97/197.12 c | 107629 | 763 67183 284754 | 60176 56715 37 | 0.000 % |
197.88/198.06 c | 108001 | 763 67183 284754 | 60176 57087 37 | 0.000 % |
198.67/198.88 c | 108412 | 763 67183 284754 | 60176 57498 37 | 0.000 % |
200.07/200.22 c | 108861 | 763 67183 284754 | 60176 57947 37 | 0.000 % |
201.37/201.51 c | 109355 | 763 67183 284754 | 60176 58441 37 | 0.000 % |
202.77/202.94 c | 109897 | 763 67183 284754 | 60176 58983 37 | 0.000 % |
204.27/204.49 c | 110493 | 763 67183 284754 | 2147483647 59579 37 | 0.000 % |
206.77/206.95 c | 111150 | 763 67183 284754 | 2147483647 60236 37 | 0.000 % |
208.96/209.10 c | 111870 | 763 67183 284754 | 2147483647 60956 37 | 0.000 % |
211.16/211.37 c | 112666 | 763 67183 284754 | 2147483647 61752 37 | 0.000 % |
213.46/213.68 c | 113539 | 763 67183 284754 | 2147483647 62625 38 | 0.047 % |
215.37/215.54 c | 114497 | 763 67183 284754 | 2147483647 63583 38 | 0.000 % |
217.96/218.16 c | 115550 | 763 67183 284754 | 2147483647 64636 38 | 0.000 % |
222.06/222.20 c | 116713 | 763 67183 284754 | 2147483647 65799 38 | 0.000 % |
226.76/226.99 c | 117987 | 763 67183 284754 | 2147483647 67073 38 | 0.000 % |
227.26/227.41 c | 118089 | 763 67183 284754 | 2147483647 67175 38 | 0.000 % |
227.66/227.80 c | 118200 | 763 67183 284754 | 2147483647 67286 38 | 0.000 % |
227.96/228.20 c | 118321 | 763 67183 284754 | 2147483647 67407 38 | 0.000 % |
228.16/228.33 c | 118455 | 763 67183 284754 | 2147483647 67541 38 | 0.000 % |
228.26/228.42 c | 118602 | 763 67183 284754 | 2147483647 67688 38 | 0.000 % |
228.46/228.66 c | 118766 | 763 67183 284754 | 2147483647 67852 38 | 0.000 % |
229.06/229.20 c | 118943 | 763 67183 284754 | 2147483647 68029 38 | 0.000 % |
229.55/229.70 c | 119137 | 763 67183 284754 | 2147483647 68223 38 | 0.000 % |
230.05/230.30 c | 119349 | 763 67183 284754 | 2147483647 68435 38 | 0.000 % |
230.86/231.03 c | 119582 | 763 67183 284754 | 2147483647 68668 38 | 0.000 % |
231.86/232.04 c | 119838 | 763 67183 284754 | 2147483647 68924 38 | 0.000 % |
233.06/233.29 c | 120119 | 763 67183 284754 | 69087 69205 38 | 0.000 % |
234.15/234.36 c | 120428 | 763 67183 284754 | 69087 59516 39 | 0.000 % |
235.15/235.34 c | 120767 | 763 67183 284754 | 69087 59855 39 | 0.000 % |
235.95/236.17 c | 121141 | 763 67183 284754 | 69087 60229 39 | 0.000 % |
236.85/237.09 c | 121551 | 763 67183 284754 | 69087 60639 39 | 0.000 % |
238.25/238.41 c | 122000 | 763 67183 284754 | 69087 61088 39 | 0.000 % |
240.15/240.33 c | 122493 | 763 67183 284754 | 69087 61581 39 | 0.000 % |
241.75/241.95 c | 123036 | 763 67183 284754 | 69087 62124 39 | 0.000 % |
243.66/243.83 c | 123633 | 763 67183 284754 | 69087 62721 39 | 0.000 % |
245.65/245.85 c | 124289 | 763 67183 284754 | 69087 63377 39 | 0.000 % |
248.36/248.51 c | 125009 | 763 67183 284754 | 69087 64097 39 | 0.000 % |
250.66/250.83 c | 125801 | 763 67183 284754 | 69087 64889 39 | 0.000 % |
252.95/253.14 c | 126673 | 763 67183 284754 | 69087 65761 39 | 0.000 % |
255.95/256.18 c | 127634 | 763 67183 284754 | 69087 66722 39 | 0.000 % |
258.85/259.07 c | 128688 | 763 67183 284754 | 69087 67776 39 | 0.000 % |
261.85/262.03 c | 129847 | 763 67183 284754 | 69087 68935 39 | 0.000 % |
265.15/265.34 c | 131120 | 763 67183 284754 | 69088 60946 40 | 0.000 % |
269.04/269.27 c | 132522 | 763 67183 284754 | 69088 62348 40 | 0.000 % |
269.44/269.68 c | 132622 | 763 67183 284754 | 69088 62448 40 | 0.000 % |
269.74/269.99 c | 132732 | 763 67183 284754 | 69088 62558 40 | 0.000 % |
270.04/270.28 c | 132853 | 763 67183 284754 | 69088 62679 40 | 0.000 % |
270.24/270.40 c | 132986 | 763 67183 284754 | 69088 62812 40 | 0.000 % |
270.74/270.92 c | 133132 | 763 67183 284754 | 69088 62958 40 | 0.000 % |
271.14/271.35 c | 133293 | 763 67183 284754 | 69088 63119 40 | 0.000 % |
271.74/271.90 c | 133470 | 763 67183 284754 | 69088 63296 40 | 0.000 % |
272.24/272.49 c | 133664 | 763 67183 284754 | 69088 63490 40 | 0.000 % |
272.94/273.14 c | 133878 | 763 67183 284754 | 69088 63704 40 | 0.000 % |
273.34/273.53 c | 134112 | 763 67183 284754 | 69088 63938 40 | 0.000 % |
274.04/274.23 c | 134368 | 763 67183 284754 | 69088 64194 40 | 0.000 % |
274.54/274.79 c | 134654 | 763 67183 284754 | 69088 64480 40 | 0.000 % |
275.54/275.78 c | 134963 | 763 67183 284754 | 69088 64789 41 | 0.000 % |
276.74/276.95 c | 135302 | 763 67183 284754 | 69088 65128 41 | 0.000 % |
277.54/277.75 c | 135674 | 763 67183 284754 | 69088 65500 41 | 0.000 % |
278.94/279.10 c | 136083 | 763 67183 284754 | 69088 65909 41 | 0.000 % |
279.84/280.08 c | 136533 | 763 67183 284754 | 69088 66359 41 | 0.000 % |
282.23/282.45 c | 137027 | 763 67183 284754 | 69088 66853 41 | 0.000 % |
284.64/284.90 c | 137569 | 763 67183 284754 | 69088 67395 41 | 0.000 % |
286.94/287.18 c | 138165 | 763 67183 284754 | 69088 67991 41 | 0.000 % |
289.73/289.95 c | 138822 | 763 67183 284754 | 69088 68648 41 | 0.000 % |
292.33/292.53 c | 139542 | 763 67183 284754 | 69088 58473 41 | 0.000 % |
294.63/294.82 c | 140335 | 763 67183 284754 | 58932 50937 41 | 0.000 % |
295.63/295.80 c | 141206 | 763 67183 284754 | 58932 51808 40 | 0.000 % |
296.63/296.85 c | 142164 | 763 67183 284754 | 58932 52766 40 | 0.000 % |
298.53/298.79 c | 143217 | 763 67183 284754 | 58932 53819 40 | 0.000 % |
300.93/301.11 c | 144375 | 763 67183 284754 | 58932 54977 40 | 0.000 % |
303.44/303.68 c | 145649 | 763 67183 284754 | 58932 56251 40 | 0.000 % |
305.64/305.86 c | 147049 | 763 67183 284754 | 58932 57651 39 | 0.000 % |
307.53/307.72 c | 148589 | 763 67183 284754 | 58932 53285 39 | 0.000 % |
307.63/307.84 c | 148691 | 763 67183 284754 | 58932 53387 39 | 0.000 % |
307.93/308.10 c | 148801 | 763 67183 284754 | 58932 53497 39 | 0.000 % |
308.13/308.35 c | 148923 | 763 67183 284754 | 58932 53619 39 | 0.000 % |
308.43/308.65 c | 149057 | 763 67183 284754 | 58932 53753 39 | 0.000 % |
308.63/308.86 c | 149203 | 763 67183 284754 | 58932 53899 39 | 0.000 % |
308.94/309.16 c | 149363 | 763 67183 284754 | 58932 54059 39 | 0.000 % |
309.23/309.40 c | 149540 | 763 67183 284754 | 58932 54236 39 | 0.000 % |
309.63/309.81 c | 149733 | 763 67183 284754 | 58932 54429 39 | 0.000 % |
309.83/310.10 c | 149945 | 763 67183 284754 | 58932 54641 39 | 0.000 % |
310.23/310.44 c | 150178 | 763 67183 284754 | 2147483647 54874 39 | 0.000 % |
310.53/310.75 c | 150436 | 763 67183 284754 | 2147483647 55132 39 | 0.000 % |
310.93/311.14 c | 150722 | 763 67183 284754 | 2147483647 55418 39 | 0.000 % |
311.33/311.58 c | 151033 | 763 67183 284754 | 2147483647 55729 39 | 0.000 % |
312.03/312.27 c | 151372 | 763 67183 284754 | 2147483647 56068 39 | 0.000 % |
312.73/312.92 c | 151744 | 763 67183 284754 | 2147483647 56440 39 | 0.000 % |
313.53/313.70 c | 152153 | 763 67183 284754 | 2147483647 56849 39 | 0.000 % |
314.23/314.42 c | 152602 | 763 67183 284754 | 2147483647 57298 39 | 0.000 % |
315.03/315.20 c | 153095 | 763 67183 284754 | 2147483647 57791 39 | 0.000 % |
316.03/316.23 c | 153637 | 763 67183 284754 | 2147483647 58333 39 | 0.000 % |
317.03/317.26 c | 154234 | 763 67183 284754 | 2147483647 58930 39 | 0.000 % |
318.03/318.20 c | 154891 | 763 67183 284754 | 2147483647 59587 39 | 0.000 % |
318.83/319.09 c | 155613 | 763 67183 284754 | 2147483647 60309 39 | 0.000 % |
320.03/320.22 c | 156405 | 763 67183 284754 | 2147483647 61101 39 | 0.000 % |
321.73/321.98 c | 157276 | 763 67183 284754 | 2147483647 61972 39 | 0.000 % |
323.23/323.50 c | 158235 | 763 67183 284754 | 2147483647 62931 39 | 0.000 % |
324.92/325.14 c | 159289 | 763 67183 284754 | 2147483647 63985 39 | 0.000 % |
326.62/326.80 c | 160447 | 763 67183 284754 | 2147483647 65143 38 | 0.000 % |
328.42/328.67 c | 161720 | 763 67183 284754 | 2147483647 66416 38 | 0.000 % |
330.52/330.73 c | 163120 | 763 67183 284754 | 2147483647 67816 38 | 0.000 % |
333.32/333.54 c | 164664 | 763 67183 284754 | 2147483647 69360 38 | 0.000 % |
336.12/336.32 c | 166358 | 763 67183 284754 | 2147483647 71054 38 | 0.000 % |
336.32/336.51 c | 166459 | 763 67183 284754 | 2147483647 71155 38 | 0.000 % |
336.52/336.74 c | 166571 | 763 67183 284754 | 2147483647 71267 38 | 0.000 % |
336.82/337.05 c | 166693 | 763 67183 284754 | 2147483647 71389 38 | 0.000 % |
337.12/337.32 c | 166828 | 763 67183 284754 | 2147483647 71524 37 | 0.000 % |
337.32/337.59 c | 166974 | 763 67183 284754 | 2147483647 71670 37 | 0.000 % |
337.52/337.78 c | 167134 | 763 67183 284754 | 2147483647 71830 37 | 0.000 % |
337.72/337.99 c | 167312 | 763 67183 284754 | 2147483647 72008 37 | 0.000 % |
338.02/338.27 c | 167507 | 763 67183 284754 | 2147483647 72203 37 | 0.000 % |
338.62/338.85 c | 167719 | 763 67183 284754 | 2147483647 72415 37 | 0.000 % |
339.02/339.25 c | 167954 | 763 67183 284754 | 2147483647 72650 37 | 0.000 % |
339.32/339.55 c | 168213 | 763 67183 284754 | 2147483647 72909 37 | 0.000 % |
339.72/339.95 c | 168495 | 763 67183 284754 | 2147483647 73191 37 | 0.000 % |
340.02/340.30 c | 168804 | 763 67183 284754 | 2147483647 73500 37 | 0.000 % |
340.52/340.74 c | 169145 | 763 67183 284754 | 2147483647 73841 37 | 0.000 % |
341.32/341.51 c | 169519 | 763 67183 284754 | 2147483647 74215 37 | 0.000 % |
342.12/342.34 c | 169928 | 763 67183 284754 | 2147483647 74624 38 | 0.000 % |
342.92/343.18 c | 170378 | 763 67183 284754 | 2147483647 75074 38 | 0.000 % |
344.02/344.30 c | 170873 | 763 67183 284754 | 2147483647 75569 38 | 0.000 % |
345.12/345.32 c | 171417 | 763 67183 284754 | 2147483647 76113 38 | 0.000 % |
346.11/346.35 c | 172013 | 763 67183 284754 | 2147483647 76709 37 | 0.000 % |
347.11/347.32 c | 172668 | 763 67183 284754 | 2147483647 77364 38 | 0.000 % |
348.32/348.53 c | 173390 | 763 67183 284754 | 2147483647 78086 38 | 0.000 % |
350.11/350.33 c | 174182 | 763 67183 284754 | 2147483647 78878 38 | 0.000 % |
352.01/352.30 c | 175055 | 763 67183 284754 | 2147483647 79751 38 | 0.000 % |
354.01/354.27 c | 176015 | 763 67183 284754 | 2147483647 80711 38 | 0.000 % |
356.51/356.74 c | 177068 | 763 67183 284754 | 2147483647 81764 38 | 0.000 % |
359.01/359.28 c | 178227 | 763 67183 284754 | 2147483647 82923 38 | 0.000 % |
361.91/362.15 c | 179500 | 763 67183 284754 | 2147483647 84196 38 | 0.000 % |
364.91/365.15 c | 180904 | 763 67183 284754 | 2147483647 85600 38 | 0.000 % |
368.11/368.34 c | 182444 | 763 67183 284754 | 2147483647 87140 38 | 0.000 % |
371.31/371.58 c | 184138 | 763 67183 284754 | 2147483647 88834 38 | 0.000 % |
375.21/375.42 c | 186002 | 763 67183 284754 | 2147483647 90698 38 | 0.000 % |
375.41/375.68 c | 186102 | 763 67183 284754 | 2147483647 90798 38 | 0.000 % |
375.70/375.91 c | 186212 | 763 67183 284754 | 2147483647 90908 38 | 0.000 % |
375.91/376.11 c | 186334 | 763 67183 284754 | 2147483647 91030 38 | 0.000 % |
376.10/376.32 c | 186467 | 763 67183 284754 | 2147483647 91163 38 | 0.000 % |
376.30/376.56 c | 186619 | 763 67183 284754 | 2147483647 91315 38 | 0.000 % |
376.50/376.77 c | 186779 | 763 67183 284754 | 2147483647 91475 38 | 0.000 % |
376.80/377.06 c | 186955 | 763 67183 284754 | 2147483647 91651 38 | 0.000 % |
377.11/377.37 c | 187148 | 763 67183 284754 | 2147483647 91844 38 | 0.000 % |
377.50/377.74 c | 187362 | 763 67183 284754 | 2147483647 92058 38 | 0.000 % |
377.90/378.13 c | 187595 | 763 67183 284754 | 2147483647 92291 38 | 0.000 % |
378.40/378.68 c | 187852 | 763 67183 284754 | 2147483647 92548 38 | 0.000 % |
379.21/379.40 c | 188133 | 763 67183 284754 | 2147483647 92829 38 | 0.000 % |
379.70/379.99 c | 188442 | 763 67183 284754 | 2147483647 93138 38 | 0.000 % |
380.50/380.75 c | 188781 | 763 67183 284754 | 2147483647 93477 38 | 0.000 % |
381.30/381.52 c | 189153 | 763 67183 284754 | 2147483647 93849 38 | 0.001 % |
382.30/382.52 c | 189562 | 763 67183 284754 | 2147483647 94258 38 | 0.000 % |
383.30/383.58 c | 190011 | 763 67183 284754 | 2147483647 94707 38 | 0.000 % |
384.20/384.44 c | 190504 | 763 67183 284754 | 2147483647 95200 38 | 0.000 % |
385.40/385.65 c | 191047 | 763 67183 284754 | 2147483647 95743 38 | 0.000 % |
386.80/387.01 c | 191644 | 763 67183 284754 | 2147483647 96340 38 | 0.000 % |
387.60/387.81 c | 192299 | 763 67183 284754 | 2147483647 96995 38 | 0.000 % |
388.70/388.98 c | 193020 | 763 67183 284754 | 2147483647 97716 38 | 0.000 % |
390.60/390.86 c | 193812 | 763 67183 284754 | 2147483647 98508 38 | 0.000 % |
392.30/392.58 c | 194684 | 763 67183 284754 | 2147483647 99380 38 | 0.000 % |
394.50/394.72 c | 195642 | 763 67183 284754 | 2147483647 100338 38 | 0.000 % |
396.09/396.35 c | 196697 | 763 67183 284754 | 2147483647 101393 38 | 0.000 % |
398.50/398.79 c | 197856 | 763 67183 284754 | 2147483647 102552 38 | 0.000 % |
400.80/401.01 c | 199129 | 763 67183 284754 | 2147483647 103825 38 | 0.000 % |
402.50/402.73 c | 200529 | 763 67183 284754 | 2147483647 105225 38 | 0.000 % |
406.30/406.56 c | 202069 | 763 67183 284754 | 2147483647 106765 39 | 0.000 % |
410.19/410.44 c | 203764 | 763 67183 284754 | 2147483647 108460 39 | 0.000 % |
414.69/414.92 c | 205629 | 763 67183 284754 | 2147483647 110325 39 | 0.000 % |
418.80/419.03 c | 207679 | 763 67183 284754 | 2147483647 112375 39 | 0.000 % |
419.10/419.33 c | 207779 | 763 67183 284754 | 2147483647 112475 39 | 0.000 % |
419.40/419.65 c | 207890 | 763 67183 284754 | 2147483647 112586 39 | 0.000 % |
419.70/419.97 c | 208012 | 763 67183 284754 | 2147483647 112708 39 | 0.000 % |
420.20/420.41 c | 208147 | 763 67183 284754 | 2147483647 112843 39 | 0.000 % |
420.50/420.74 c | 208294 | 763 67183 284754 | 2147483647 112990 39 | 0.000 % |
420.90/421.10 c | 208454 | 763 67183 284754 | 2147483647 113150 39 | 0.000 % |
421.40/421.61 c | 208630 | 763 67183 284754 | 2147483647 113326 39 | 0.000 % |
421.79/422.09 c | 208824 | 763 67183 284754 | 2147483647 113520 39 | 0.000 % |
422.49/422.71 c | 209037 | 763 67183 284754 | 2147483647 113733 39 | 0.000 % |
423.09/423.37 c | 209271 | 763 67183 284754 | 2147483647 113967 39 | 0.000 % |
423.69/423.95 c | 209527 | 763 67183 284754 | 2147483647 114223 39 | 0.000 % |
424.49/424.75 c | 209808 | 763 67183 284754 | 2147483647 114504 39 | 0.000 % |
425.29/425.52 c | 210118 | 763 67183 284754 | 2147483647 114814 39 | 0.001 % |
425.89/426.14 c | 210460 | 763 67183 284754 | 2147483647 115156 39 | 0.000 % |
426.69/426.96 c | 210833 | 763 67183 284754 | 2147483647 115529 39 | 0.000 % |
427.60/427.83 c | 211243 | 763 67183 284754 | 2147483647 115939 39 | 0.000 % |
428.19/428.47 c | 211694 | 763 67183 284754 | 2147483647 116390 39 | 0.000 % |
429.19/429.44 c | 212188 | 763 67183 284754 | 2147483647 116884 39 | 0.000 % |
430.59/430.89 c | 212730 | 763 67183 284754 | 2147483647 117426 39 | 0.000 % |
432.09/432.36 c | 213328 | 763 67183 284754 | 2147483647 118024 39 | 0.000 % |
433.89/434.11 c | 213984 | 763 67183 284754 | 2147483647 118680 39 | 0.000 % |
435.59/435.89 c | 214704 | 763 67183 284754 | 2147483647 119400 39 | 0.000 % |
437.29/437.58 c | 215496 | 763 67183 284754 | 2147483647 120192 39 | 0.000 % |
438.89/439.16 c | 216367 | 763 67183 284754 | 2147483647 121063 39 | 0.000 % |
440.39/440.63 c | 217326 | 763 67183 284754 | 2147483647 122022 39 | 0.000 % |
442.09/442.34 c | 218384 | 763 67183 284754 | 2147483647 123080 39 | 0.000 % |
443.49/443.75 c | 219545 | 763 67183 284754 | 2147483647 124241 39 | 0.000 % |
447.18/447.46 c | 220818 | 763 67183 284754 | 2147483647 125514 39 | 0.000 % |
450.08/450.38 c | 222221 | 763 67183 284754 | 2147483647 126917 39 | 0.000 % |
453.78/454.00 c | 223761 | 763 67183 284754 | 2147483647 128457 39 | 0.000 % |
457.88/458.15 c | 225458 | 763 67183 284754 | 2147483647 130154 39 | 0.000 % |
462.58/462.87 c | 227321 | 763 67183 284754 | 2147483647 132017 39 | 0.000 % |
465.57/465.88 c | 229370 | 763 67183 284754 | 2147483647 134066 38 | 0.000 % |
470.27/470.58 c | 231629 | 763 67183 284754 | 2147483647 136325 39 | 0.000 % |
470.58/470.84 c | 231729 | 763 67183 284754 | 2147483647 136425 39 | 0.000 % |
470.78/471.05 c | 231839 | 763 67183 284754 | 2147483647 136535 39 | 0.000 % |
470.98/471.29 c | 231960 | 763 67183 284754 | 2147483647 136656 38 | 0.000 % |
471.28/471.54 c | 232093 | 763 67183 284754 | 2147483647 136789 38 | 0.000 % |
471.68/471.96 c | 232239 | 763 67183 284754 | 2147483647 136935 38 | 0.000 % |
472.08/472.32 c | 232400 | 763 67183 284754 | 2147483647 137096 39 | 0.000 % |
472.58/472.87 c | 232577 | 763 67183 284754 | 2147483647 137273 39 | 0.000 % |
473.18/473.46 c | 232771 | 763 67183 284754 | 2147483647 137467 39 | 0.000 % |
473.78/474.05 c | 232985 | 763 67183 284754 | 2147483647 137681 39 | 0.000 % |
474.58/474.84 c | 233218 | 763 67183 284754 | 2147483647 137914 39 | 0.000 % |
475.38/475.60 c | 233476 | 763 67183 284754 | 2147483647 138172 39 | 0.000 % |
476.08/476.31 c | 233759 | 763 67183 284754 | 2147483647 138455 39 | 0.000 % |
476.88/477.18 c | 234068 | 763 67183 284754 | 2147483647 138764 39 | 0.000 % |
477.98/478.29 c | 234409 | 763 67183 284754 | 2147483647 139105 39 | 0.000 % |
478.87/479.15 c | 234781 | 763 67183 284754 | 2147483647 139477 39 | 0.000 % |
480.07/480.34 c | 235192 | 763 67183 284754 | 2147483647 139888 39 | 0.000 % |
480.97/481.20 c | 235647 | 763 67183 284754 | 2147483647 140343 39 | 0.000 % |
481.97/482.26 c | 236141 | 763 67183 284754 | 2147483647 140837 38 | 0.000 % |
482.97/483.24 c | 236684 | 763 67183 284754 | 2147483647 141380 38 | 0.000 % |
483.97/484.24 c | 237284 | 763 67183 284754 | 2147483647 141980 38 | 0.000 % |
485.07/485.36 c | 237940 | 763 67183 284754 | 2147483647 142636 38 | 0.000 % |
486.47/486.75 c | 238660 | 763 67183 284754 | 2147483647 143356 38 | 0.000 % |
487.47/487.78 c | 239452 | 763 67183 284754 | 2147483647 144148 38 | 0.000 % |
489.47/489.75 c | 240323 | 763 67183 284754 | 2147483647 145019 38 | 0.000 % |
491.07/491.33 c | 241283 | 763 67183 284754 | 2147483647 145979 38 | 0.000 % |
492.37/492.61 c | 242336 | 763 67183 284754 | 2147483647 147032 38 | 0.000 % |
494.17/494.49 c | 243496 | 763 67183 284754 | 2147483647 148192 38 | 0.000 % |
495.77/496.09 c | 244769 | 763 67183 284754 | 2147483647 149465 38 | 0.000 % |
497.77/498.08 c | 246169 | 763 67183 284754 | 2147483647 150865 38 | 0.000 % |
500.17/500.43 c | 247710 | 763 67183 284754 | 2147483647 152406 38 | 0.000 % |
502.97/503.29 c | 249404 | 763 67183 284754 | 2147483647 154100 38 | 0.000 % |
506.27/506.52 c | 251268 | 763 67183 284754 | 2147483647 155964 37 | 0.000 % |
510.46/510.70 c | 253317 | 763 67183 284754 | 2147483647 158013 37 | 0.000 % |
516.16/516.44 c | 255570 | 763 67183 284754 | 2147483647 160266 37 | 0.000 % |
522.36/522.65 c | 258051 | 763 67183 284754 | 2147483647 162747 37 | 0.000 % |
522.66/522.99 c | 258152 | 763 67183 284754 | 2147483647 162848 37 | 0.000 % |
522.96/523.27 c | 258263 | 763 67183 284754 | 2147483647 162959 37 | 0.000 % |
523.36/523.61 c | 258384 | 763 67183 284754 | 2147483647 163080 37 | 0.000 % |
523.66/523.91 c | 258519 | 763 67183 284754 | 2147483647 163215 37 | 0.000 % |
524.15/524.48 c | 258665 | 763 67183 284754 | 2147483647 163361 37 | 0.000 % |
524.65/524.93 c | 258828 | 763 67183 284754 | 2147483647 163524 37 | 0.000 % |
525.05/525.33 c | 259004 | 763 67183 284754 | 2147483647 163700 37 | 0.000 % |
525.85/526.11 c | 259198 | 763 67183 284754 | 2147483647 163894 37 | 0.000 % |
526.56/526.87 c | 259410 | 763 67183 284754 | 2147483647 164106 37 | 0.000 % |
527.35/527.61 c | 259643 | 763 67183 284754 | 2147483647 164339 37 | 0.000 % |
527.85/528.10 c | 259899 | 763 67183 284754 | 2147483647 164595 37 | 0.000 % |
528.45/528.76 c | 260181 | 763 67183 284754 | 2147483647 164877 37 | 0.000 % |
529.15/529.45 c | 260492 | 763 67183 284754 | 2147483647 165188 37 | 0.000 % |
529.75/530.08 c | 260832 | 763 67183 284754 | 2147483647 165528 37 | 0.000 % |
530.35/530.67 c | 261205 | 763 67183 284754 | 2147483647 165901 37 | 0.000 % |
531.25/531.58 c | 261614 | 763 67183 284754 | 2147483647 166310 37 | 0.000 % |
532.05/532.31 c | 262064 | 763 67183 284754 | 2147483647 166760 37 | 0.000 % |
533.15/533.40 c | 262558 | 763 67183 284754 | 2147483647 167254 37 | 0.000 % |
534.55/534.81 c | 263102 | 763 67183 284754 | 2147483647 167798 37 | 0.000 % |
536.15/536.43 c | 263699 | 763 67183 284754 | 2147483647 168395 37 | 0.000 % |
537.55/537.82 c | 264355 | 763 67183 284754 | 2147483647 169051 37 | 0.000 % |
538.95/539.26 c | 265076 | 763 67183 284754 | 2147483647 169772 37 | 0.000 % |
541.15/541.40 c | 265870 | 763 67183 284754 | 2147483647 170566 37 | 0.000 % |
543.64/543.97 c | 266741 | 763 67183 284754 | 2147483647 171437 37 | 0.000 % |
545.74/546.07 c | 267699 | 763 67183 284754 | 2147483647 172395 37 | 0.000 % |
548.65/548.96 c | 268752 | 763 67183 284754 | 2147483647 173448 37 | 0.000 % |
552.24/552.51 c | 269911 | 763 67183 284754 | 2147483647 174607 37 | 0.000 % |
555.84/556.18 c | 271185 | 763 67183 284754 | 174697 149426 37 | 0.000 % |
559.24/559.50 c | 272588 | 763 67183 284754 | 174697 150829 37 | 0.000 % |
562.74/563.08 c | 274131 | 763 67183 284754 | 174697 152372 37 | 0.000 % |
565.54/565.87 c | 275828 | 763 67183 284754 | 174697 154069 37 | 0.000 % |
568.54/568.83 c | 277693 | 763 67183 284754 | 174697 155934 37 | 0.000 % |
572.24/572.56 c | 279744 | 763 67183 284754 | 174697 157985 37 | 0.000 % |
575.23/575.58 c | 281998 | 763 67183 284754 | 158244 129992 37 | 0.000 % |
578.24/578.55 c | 284477 | 763 67183 284754 | 158244 132471 38 | 0.000 % |
581.93/582.29 c | 287204 | 763 67183 284754 | 158244 135198 38 | 0.000 % |
582.13/582.42 c | 287308 | 763 67183 284754 | 158244 135302 38 | 0.000 % |
582.33/582.63 c | 287419 | 763 67183 284754 | 158244 135413 38 | 0.000 % |
582.53/582.89 c | 287540 | 763 67183 284754 | 158244 135534 38 | 0.000 % |
582.93/583.24 c | 287674 | 763 67183 284754 | 158244 135668 38 | 0.000 % |
583.13/583.48 c | 287821 | 763 67183 284754 | 158244 135815 38 | 0.000 % |
583.53/583.81 c | 287981 | 763 67183 284754 | 158244 135975 38 | 0.000 % |
583.73/584.05 c | 288160 | 763 67183 284754 | 158244 136154 38 | 0.000 % |
584.03/584.37 c | 288355 | 763 67183 284754 | 158244 136349 38 | 0.000 % |
584.43/584.72 c | 288567 | 763 67183 284754 | 158244 136561 38 | 0.000 % |
584.84/585.19 c | 288800 | 763 67183 284754 | 158244 136794 38 | 0.000 % |
585.44/585.74 c | 289056 | 763 67183 284754 | 158244 137050 38 | 0.000 % |
586.14/586.47 c | 289339 | 763 67183 284754 | 158244 137333 38 | 0.000 % |
586.84/587.12 c | 289649 | 763 67183 284754 | 158244 137643 38 | 0.000 % |
587.44/587.76 c | 289989 | 763 67183 284754 | 158244 137983 38 | 0.000 % |
588.44/588.72 c | 290363 | 763 67183 284754 | 137995 117019 38 | 0.000 % |
589.24/589.55 c | 290774 | 763 67183 284754 | 137995 117430 38 | 0.000 % |
590.24/590.54 c | 291223 | 763 67183 284754 | 137995 117879 38 | 0.000 % |
591.04/591.37 c | 291717 | 763 67183 284754 | 137995 118373 38 | 0.000 % |
592.14/592.40 c | 292260 | 763 67183 284754 | 137995 118916 38 | 0.000 % |
593.14/593.49 c | 292859 | 763 67183 284754 | 137995 119515 38 | 0.000 % |
594.04/594.35 c | 293517 | 763 67183 284754 | 137995 120173 38 | 0.000 % |
595.64/596.00 c | 294237 | 763 67183 284754 | 137995 120893 38 | 0.000 % |
597.04/597.31 c | 295031 | 763 67183 284754 | 137995 121687 38 | 0.000 % |
598.73/599.06 c | 295902 | 763 67183 284754 | 137995 122558 38 | 0.000 % |
600.73/601.02 c | 296863 | 763 67183 284754 | 137995 123519 38 | 0.000 % |
602.43/602.79 c | 297917 | 763 67183 284754 | 137995 124573 38 | 0.000 % |
604.43/604.71 c | 299076 | 763 67183 284754 | 137995 125732 38 | 0.000 % |
607.13/607.48 c | 300351 | 763 67183 284754 | 2147483647 127007 38 | 0.000 % |
609.33/609.67 c | 301751 | 763 67183 284754 | 2147483647 128407 38 | 0.000 % |
611.93/612.23 c | 303292 | 763 67183 284754 | 2147483647 129948 38 | 0.000 % |
615.13/615.44 c | 304987 | 763 67183 284754 | 2147483647 131643 38 | 0.000 % |
618.33/618.62 c | 306850 | 763 67183 284754 | 2147483647 133506 37 | 0.000 % |
622.02/622.32 c | 308899 | 763 67183 284754 | 2147483647 135555 37 | 0.000 % |
626.02/626.36 c | 311153 | 763 67183 284754 | 2147483647 137809 37 | 0.000 % |
630.02/630.33 c | 313632 | 763 67183 284754 | 2147483647 140288 37 | 0.000 % |
634.22/634.54 c | 316359 | 763 67183 284754 | 2147483647 143015 37 | 0.000 % |
638.82/639.11 c | 319356 | 763 67183 284754 | 2147483647 146012 37 | 0.000 % |
639.02/639.30 c | 319458 | 763 67183 284754 | 2147483647 146114 37 | 0.000 % |
639.12/639.49 c | 319569 | 763 67183 284754 | 2147483647 146225 37 | 0.000 % |
639.42/639.79 c | 319691 | 763 67183 284754 | 2147483647 146347 37 | 0.000 % |
639.72/640.08 c | 319824 | 763 67183 284754 | 2147483647 146480 37 | 0.000 % |
640.12/640.44 c | 319970 | 763 67183 284754 | 2147483647 146626 37 | 0.000 % |
640.52/640.86 c | 320131 | 763 67183 284754 | 2147483647 146787 37 | 0.000 % |
640.92/641.22 c | 320308 | 763 67183 284754 | 2147483647 146964 37 | 0.000 % |
641.31/641.69 c | 320502 | 763 67183 284754 | 2147483647 147158 37 | 0.000 % |
641.91/642.25 c | 320718 | 763 67183 284754 | 2147483647 147374 37 | 0.000 % |
642.31/642.67 c | 320952 | 763 67183 284754 | 2147483647 147608 37 | 0.000 % |
642.81/643.13 c | 321208 | 763 67183 284754 | 2147483647 147864 37 | 0.000 % |
643.22/643.56 c | 321490 | 763 67183 284754 | 2147483647 148146 37 | 0.000 % |
643.71/644.06 c | 321799 | 763 67183 284754 | 2147483647 148455 37 | 0.000 % |
644.41/644.70 c | 322138 | 763 67183 284754 | 2147483647 148794 37 | 0.000 % |
645.11/645.41 c | 322511 | 763 67183 284754 | 2147483647 149167 37 | 0.000 % |
646.11/646.42 c | 322920 | 763 67183 284754 | 2147483647 149576 37 | 0.000 % |
646.81/647.18 c | 323369 | 763 67183 284754 | 2147483647 150025 37 | 0.000 % |
647.71/648.06 c | 323862 | 763 67183 284754 | 2147483647 150518 37 | 0.000 % |
648.91/649.27 c | 324406 | 763 67183 284754 | 2147483647 151062 37 | 0.000 % |
650.11/650.47 c | 325002 | 763 67183 284754 | 2147483647 151658 37 | 0.000 % |
651.71/652.08 c | 325657 | 763 67183 284754 | 2147483647 152313 37 | 0.000 % |
653.71/654.06 c | 326378 | 763 67183 284754 | 2147483647 153034 37 | 0.000 % |
655.71/656.04 c | 327170 | 763 67183 284754 | 2147483647 153826 37 | 0.000 % |
657.71/658.08 c | 328042 | 763 67183 284754 | 2147483647 154698 37 | 0.000 % |
659.71/660.02 c | 329000 | 763 67183 284754 | 2147483647 155656 37 | 0.000 % |
662.31/662.69 c | 330056 | 763 67183 284754 | 2147483647 156712 37 | 0.000 % |
665.01/665.35 c | 331215 | 763 67183 284754 | 2147483647 157871 37 | 0.000 % |
667.90/668.29 c | 332488 | 763 67183 284754 | 2147483647 159144 37 | 0.003 % |
670.71/671.02 c | 333889 | 763 67183 284754 | 2147483647 160545 37 | 0.000 % |
674.70/675.09 c | 335430 | 763 67183 284754 | 2147483647 162086 37 | 0.000 % |
678.30/678.67 c | 337124 | 763 67183 284754 | 2147483647 163780 37 | 0.000 % |
681.60/681.98 c | 338987 | 763 67183 284754 | 2147483647 165643 37 | 0.000 % |
684.50/684.86 c | 341038 | 763 67183 284754 | 2147483647 167694 37 | 0.000 % |
690.50/690.86 c | 343295 | 763 67183 284754 | 2147483647 169951 37 | 0.000 % |
696.79/697.12 c | 345775 | 763 67183 284754 | 2147483647 172431 37 | 0.000 % |
702.60/702.99 c | 348503 | 763 67183 284754 | 2147483647 175159 37 | 0.000 % |
710.70/711.10 c | 351506 | 763 67183 284754 | 2147483647 178162 38 | 0.000 % |
719.79/720.10 c | 354804 | 763 67183 284754 | 2147483647 181460 38 | 0.000 % |
720.09/720.46 c | 354904 | 763 67183 284754 | 2147483647 181560 38 | 0.000 % |
720.39/720.77 c | 355015 | 763 67183 284754 | 2147483647 181671 38 | 0.000 % |
720.89/721.27 c | 355137 | 763 67183 284754 | 2147483647 181793 38 | 0.000 % |
721.29/721.64 c | 355271 | 763 67183 284754 | 2147483647 181927 38 | 0.000 % |
721.69/722.07 c | 355417 | 763 67183 284754 | 2147483647 182073 38 | 0.000 % |
722.09/722.48 c | 355577 | 763 67183 284754 | 2147483647 182233 38 | 0.000 % |
722.59/722.94 c | 355753 | 763 67183 284754 | 2147483647 182409 38 | 0.000 % |
723.09/723.43 c | 355948 | 763 67183 284754 | 2147483647 182604 38 | 0.000 % |
723.69/724.02 c | 356160 | 763 67183 284754 | 2147483647 182816 38 | 0.000 % |
724.29/724.65 c | 356394 | 763 67183 284754 | 2147483647 183050 38 | 0.000 % |
724.79/725.15 c | 356650 | 763 67183 284754 | 2147483647 183306 38 | 0.000 % |
725.49/725.84 c | 356933 | 763 67183 284754 | 2147483647 183589 38 | 0.000 % |
726.19/726.55 c | 357242 | 763 67183 284754 | 2147483647 183898 38 | 0.000 % |
726.89/727.21 c | 357582 | 763 67183 284754 | 2147483647 184238 38 | 0.000 % |
728.09/728.49 c | 357956 | 763 67183 284754 | 2147483647 184612 38 | 0.000 % |
729.38/729.72 c | 358366 | 763 67183 284754 | 2147483647 185022 38 | 0.000 % |
730.28/730.64 c | 358815 | 763 67183 284754 | 2147483647 185471 38 | 0.000 % |
731.58/731.98 c | 359309 | 763 67183 284754 | 2147483647 185965 38 | 0.000 % |
732.98/733.35 c | 359853 | 763 67183 284754 | 2147483647 186509 38 | 0.000 % |
734.68/735.03 c | 360450 | 763 67183 284754 | 186656 157720 37 | 0.000 % |
736.38/736.74 c | 361105 | 763 67183 284754 | 186656 158375 37 | 0.000 % |
737.98/738.36 c | 361827 | 763 67183 284754 | 186656 159097 37 | 0.000 % |
739.38/739.71 c | 362619 | 763 67183 284754 | 186656 159889 37 | 0.000 % |
740.78/741.11 c | 363490 | 763 67183 284754 | 186656 160760 37 | 0.000 % |
742.68/743.04 c | 364448 | 763 67183 284754 | 186656 161718 37 | 0.000 % |
745.18/745.59 c | 365503 | 763 67183 284754 | 186656 162773 38 | 0.000 % |
748.18/748.52 c | 366662 | 763 67183 284754 | 186656 163932 38 | 0.000 % |
750.89/751.27 c | 367935 | 763 67183 284754 | 186656 165205 38 | 0.000 % |
754.19/754.54 c | 369335 | 763 67183 284754 | 186656 166605 38 | 0.000 % |
758.18/758.57 c | 370875 | 763 67183 284754 | 167271 136513 39 | 0.000 % |
761.48/761.88 c | 372569 | 763 67183 284754 | 167271 138207 38 | 0.000 % |
766.78/767.19 c | 374432 | 763 67183 284754 | 167271 140070 39 | 0.000 % |
771.48/771.86 c | 376483 | 763 67183 284754 | 167271 142121 39 | 0.000 % |
776.38/776.72 c | 378738 | 763 67183 284754 | 167271 144376 39 | 0.000 % |
780.58/780.99 c | 381218 | 763 67183 284754 | 2147483647 146856 39 | 0.000 % |
785.27/785.62 c | 383943 | 763 67183 284754 | 2147483647 149581 38 | 0.000 % |
790.87/791.23 c | 386941 | 763 67183 284754 | 2147483647 152579 38 | 0.000 % |
796.47/796.88 c | 390240 | 763 67183 284754 | 2147483647 155878 38 | 0.000 % |
802.57/802.97 c | 393867 | 763 67183 284754 | 2147483647 159505 38 | 0.000 % |
802.76/803.15 c | 393967 | 763 67183 284754 | 2147483647 159605 38 | 0.000 % |
802.96/803.39 c | 394086 | 763 67183 284754 | 2147483647 159724 38 | 0.000 % |
803.46/803.81 c | 394208 | 763 67183 284754 | 2147483647 159846 38 | 0.000 % |
803.77/804.16 c | 394342 | 763 67183 284754 | 2147483647 159980 38 | 0.000 % |
804.06/804.48 c | 394490 | 763 67183 284754 | 2147483647 160128 38 | 0.000 % |
804.36/804.78 c | 394650 | 763 67183 284754 | 2147483647 160288 38 | 0.000 % |
804.87/805.21 c | 394829 | 763 67183 284754 | 2147483647 160467 38 | 0.000 % |
805.26/805.65 c | 395022 | 763 67183 284754 | 2147483647 160660 38 | 0.000 % |
805.97/806.33 c | 395238 | 763 67183 284754 | 2147483647 160876 38 | 0.000 % |
806.46/806.88 c | 395471 | 763 67183 284754 | 2147483647 161109 38 | 0.000 % |
807.26/807.68 c | 395727 | 763 67183 284754 | 2147483647 161365 38 | 0.000 % |
808.16/808.51 c | 396009 | 763 67183 284754 | 2147483647 161647 38 | 0.000 % |
809.16/809.56 c | 396319 | 763 67183 284754 | 2147483647 161957 38 | 0.000 % |
810.16/810.52 c | 396658 | 763 67183 284754 | 2147483647 162296 38 | 0.000 % |
811.06/811.42 c | 397030 | 763 67183 284754 | 2147483647 162668 38 | 0.000 % |
812.46/812.88 c | 397441 | 763 67183 284754 | 2147483647 163079 38 | 0.000 % |
813.76/814.11 c | 397892 | 763 67183 284754 | 2147483647 163530 38 | 0.000 % |
814.96/815.38 c | 398386 | 763 67183 284754 | 2147483647 164024 38 | 0.000 % |
816.06/816.47 c | 398928 | 763 67183 284754 | 2147483647 164566 38 | 0.000 % |
817.46/817.87 c | 399526 | 763 67183 284754 | 2147483647 165164 38 | 0.000 % |
819.46/819.84 c | 400183 | 763 67183 284754 | 2147483647 165821 38 | 0.000 % |
820.86/821.22 c | 400904 | 763 67183 284754 | 2147483647 166542 38 | 0.000 % |
822.56/822.92 c | 401696 | 763 67183 284754 | 2147483647 167334 38 | 0.000 % |
825.15/825.55 c | 402567 | 763 67183 284754 | 2147483647 168205 38 | 0.000 % |
828.15/828.59 c | 403525 | 763 67183 284754 | 2147483647 169163 38 | 0.000 % |
831.25/831.62 c | 404579 | 763 67183 284754 | 2147483647 170217 38 | 0.000 % |
835.05/835.44 c | 405742 | 763 67183 284754 | 2147483647 171380 39 | 0.000 % |
838.15/838.52 c | 407016 | 763 67183 284754 | 2147483647 172654 39 | 0.000 % |
841.85/842.27 c | 408417 | 763 67183 284754 | 2147483647 174055 39 | 0.000 % |
845.85/846.24 c | 409962 | 763 67183 284754 | 2147483647 175600 39 | 0.000 % |
850.34/850.77 c | 411657 | 763 67183 284754 | 175638 152254 39 | 0.000 % |
854.84/855.29 c | 413524 | 763 67183 284754 | 175638 154121 39 | 0.000 % |
859.54/859.91 c | 415573 | 763 67183 284754 | 175638 156170 39 | 0.000 % |
865.74/866.19 c | 417828 | 763 67183 284754 | 175638 158425 39 | 0.000 % |
873.04/873.48 c | 420306 | 763 67183 284754 | 160597 142217 38 | 0.000 % |
879.24/879.70 c | 423032 | 763 67183 284754 | 160597 144943 38 | 0.000 % |
886.63/887.01 c | 426029 | 763 67183 284754 | 160597 147940 39 | 0.000 % |
895.04/895.48 c | 429326 | 763 67183 284754 | 160597 151237 39 | 0.000 % |
904.03/904.50 c | 432953 | 763 67183 284754 | 151912 129248 40 | 0.000 % |
914.23/914.67 c | 436941 | 763 67183 284754 | 151912 133236 40 | 0.000 % |
914.63/915.02 c | 437042 | 763 67183 284754 | 151912 133337 40 | 0.000 % |
915.02/915.43 c | 437153 | 763 67183 284754 | 151912 133448 40 | 0.000 % |
915.32/915.75 c | 437275 | 763 67183 284754 | 151912 133570 40 | 0.000 % |
915.62/916.09 c | 437409 | 763 67183 284754 | 151912 133704 40 | 0.000 % |
916.22/916.62 c | 437556 | 763 67183 284754 | 151912 133851 40 | 0.000 % |
916.72/917.13 c | 437717 | 763 67183 284754 | 151912 134012 40 | 0.000 % |
917.22/917.69 c | 437893 | 763 67183 284754 | 151912 134188 40 | 0.000 % |
917.72/918.11 c | 438087 | 763 67183 284754 | 151912 134382 40 | 0.000 % |
918.03/918.48 c | 438300 | 763 67183 284754 | 151912 134595 40 | 0.000 % |
918.82/919.20 c | 438533 | 763 67183 284754 | 151912 134828 40 | 0.000 % |
919.42/919.85 c | 438789 | 763 67183 284754 | 151912 135084 40 | 0.000 % |
920.23/920.63 c | 439070 | 763 67183 284754 | 151912 135365 40 | 0.000 % |
921.33/921.78 c | 439380 | 763 67183 284754 | 151912 135675 40 | 0.000 % |
922.22/922.61 c | 439719 | 763 67183 284754 | 151912 136014 40 | 0.000 % |
922.92/923.38 c | 440092 | 763 67183 284754 | 136295 136387 40 | 0.000 % |
924.12/924.58 c | 440502 | 763 67183 284754 | 136295 104395 39 | 0.000 % |
925.52/925.90 c | 440951 | 763 67183 284754 | 136295 104844 39 | 0.000 % |
926.42/926.89 c | 441444 | 763 67183 284754 | 136295 105337 39 | 0.000 % |
927.72/928.15 c | 441986 | 763 67183 284754 | 136295 105879 39 | 0.000 % |
928.82/929.22 c | 442583 | 763 67183 284754 | 136295 106476 39 | 0.000 % |
930.72/931.18 c | 443239 | 763 67183 284754 | 136295 107132 39 | 0.000 % |
932.02/932.44 c | 443960 | 763 67183 284754 | 136295 107853 39 | 0.000 % |
933.32/933.73 c | 444753 | 763 67183 284754 | 136295 108646 40 | 0.000 % |
935.32/935.72 c | 445627 | 763 67183 284754 | 136295 109520 40 | 0.000 % |
937.82/938.29 c | 446585 | 763 67183 284754 | 136295 110478 40 | 0.000 % |
940.42/940.83 c | 447638 | 763 67183 284754 | 136295 111531 40 | 0.000 % |
942.41/942.83 c | 448796 | 763 67183 284754 | 136295 112689 40 | 0.000 % |
944.52/944.96 c | 450069 | 763 67183 284754 | 2147483647 113962 40 | 0.000 % |
948.61/949.07 c | 451469 | 763 67183 284754 | 2147483647 115362 40 | 0.000 % |
953.41/953.87 c | 453009 | 763 67183 284754 | 2147483647 116902 40 | 0.000 % |
956.71/957.18 c | 454705 | 763 67183 284754 | 2147483647 118598 40 | 0.000 % |
961.82/962.24 c | 456568 | 763 67183 284754 | 2147483647 120461 40 | 0.000 % |
968.22/968.62 c | 458618 | 763 67183 284754 | 2147483647 122511 40 | 0.000 % |
973.81/974.25 c | 460872 | 763 67183 284754 | 123893 106622 40 | 0.000 % |
977.91/978.35 c | 463350 | 763 67183 284754 | 123893 109100 40 | 0.000 % |
981.92/982.34 c | 466075 | 763 67183 284754 | 123893 111825 39 | 0.000 % |
990.61/991.10 c | 469075 | 763 67183 284754 | 123893 114825 40 | 0.000 % |
998.51/998.98 c | 472371 | 763 67183 284754 | 2147483647 118121 40 | 0.000 % |
1007.40/1007.85 c | 475997 | 763 67183 284754 | 2147483647 121747 40 | 0.000 % |
1016.80/1017.27 c | 479985 | 763 67183 284754 | 2147483647 125735 40 | 0.000 % |
1027.30/1027.74 c | 484374 | 763 67183 284754 | 2147483647 130124 40 | 0.000 % |
1027.50/1027.98 c | 484474 | 763 67183 284754 | 2147483647 130224 40 | 0.000 % |
1027.80/1028.21 c | 484586 | 763 67183 284754 | 2147483647 130336 40 | 0.000 % |
1028.30/1028.78 c | 484708 | 763 67183 284754 | 2147483647 130458 40 | 0.000 % |
1028.80/1029.28 c | 484844 | 763 67183 284754 | 2147483647 130594 40 | 0.000 % |
1029.20/1029.66 c | 484992 | 763 67183 284754 | 2147483647 130742 40 | 0.000 % |
1029.70/1030.13 c | 485153 | 763 67183 284754 | 2147483647 130903 40 | 0.000 % |
1030.40/1030.83 c | 485329 | 763 67183 284754 | 2147483647 131079 40 | 0.000 % |
1030.90/1031.32 c | 485523 | 763 67183 284754 | 2147483647 131273 40 | 0.000 % |
1031.80/1032.25 c | 485735 | 763 67183 284754 | 2147483647 131485 40 | 0.000 % |
1032.80/1033.21 c | 485968 | 763 67183 284754 | 2147483647 131718 40 | 0.000 % |
1033.80/1034.23 c | 486225 | 763 67183 284754 | 2147483647 131975 40 | 0.000 % |
1034.90/1035.31 c | 486508 | 763 67183 284754 | 2147483647 132258 40 | 0.000 % |
1035.90/1036.39 c | 486818 | 763 67183 284754 | 2147483647 132568 40 | 0.000 % |
1036.99/1037.49 c | 487157 | 763 67183 284754 | 2147483647 132907 40 | 0.000 % |
1038.29/1038.78 c | 487530 | 763 67183 284754 | 2147483647 133280 40 | 0.000 % |
1039.69/1040.10 c | 487940 | 763 67183 284754 | 2147483647 133690 40 | 0.000 % |
1040.79/1041.29 c | 488389 | 763 67183 284754 | 2147483647 134139 40 | 0.000 % |
1042.59/1043.05 c | 488882 | 763 67183 284754 | 2147483647 134632 40 | 0.000 % |
1044.39/1044.81 c | 489428 | 763 67183 284754 | 2147483647 135178 40 | 0.000 % |
1046.49/1046.97 c | 490025 | 763 67183 284754 | 135750 135775 40 | 0.000 % |
1048.99/1049.43 c | 490680 | 763 67183 284754 | 135750 122582 41 | 0.000 % |
1050.99/1051.43 c | 491401 | 763 67183 284754 | 135750 123303 41 | 0.000 % |
1054.09/1054.59 c | 492193 | 763 67183 284754 | 135750 124095 41 | 0.000 % |
1057.49/1057.97 c | 493066 | 763 67183 284754 | 135750 124968 41 | 0.000 % |
1060.79/1061.22 c | 494025 | 763 67183 284754 | 135750 125927 41 | 0.000 % |
1063.89/1064.35 c | 495079 | 763 67183 284754 | 135750 126981 41 | 0.000 % |
1068.28/1068.72 c | 496239 | 763 67183 284754 | 135750 128141 41 | 0.000 % |
1072.58/1073.07 c | 497513 | 763 67183 284754 | 135750 129415 41 | 0.001 % |
1076.98/1077.45 c | 498914 | 763 67183 284754 | 135750 130816 41 | 0.000 % |
1080.68/1081.12 c | 500454 | 763 67183 284754 | 131903 110163 41 | 0.000 % |
1083.58/1084.00 c | 502148 | 763 67183 284754 | 131903 111857 41 | 0.001 % |
1087.88/1088.33 c | 504011 | 763 67183 284754 | 131903 113720 41 | 0.000 % |
1094.17/1094.63 c | 506063 | 763 67183 284754 | 131903 115772 41 | 0.000 % |
1101.07/1101.59 c | 508317 | 763 67183 284754 | 131903 118026 42 | 0.000 % |
1108.37/1108.88 c | 510796 | 763 67183 284754 | 119709 104603 41 | 0.000 % |
1115.07/1115.56 c | 513521 | 763 67183 284754 | 119709 107328 41 | 0.000 % |
1121.47/1121.95 c | 516520 | 763 67183 284754 | 119709 110327 42 | 0.000 % |
1129.46/1129.99 c | 519817 | 763 67183 284754 | 119709 113624 41 | 0.000 % |
1139.16/1139.66 c | 523443 | 763 67183 284754 | 2147483647 117250 42 | 0.000 % |
1149.35/1149.86 c | 527432 | 763 67183 284754 | 2147483647 121239 41 | 0.000 % |
1160.15/1160.67 c | 531817 | 763 67183 284754 | 2147483647 125624 41 | 0.000 % |
1172.45/1172.92 c | 536641 | 763 67183 284754 | 2147483647 130448 41 | 0.000 % |
1172.65/1173.18 c | 536743 | 763 67183 284754 | 2147483647 130550 41 | 0.000 % |
1172.95/1173.43 c | 536853 | 763 67183 284754 | 2147483647 130660 41 | 0.000 % |
1173.35/1173.82 c | 536974 | 763 67183 284754 | 2147483647 130781 41 | 0.000 % |
1173.85/1174.30 c | 537107 | 763 67183 284754 | 2147483647 130914 41 | 0.000 % |
1174.35/1174.81 c | 537255 | 763 67183 284754 | 2147483647 131062 41 | 0.000 % |
1174.65/1175.10 c | 537415 | 763 67183 284754 | 2147483647 131222 41 | 0.000 % |
1175.05/1175.53 c | 537592 | 763 67183 284754 | 2147483647 131399 41 | 0.000 % |
1176.05/1176.53 c | 537785 | 763 67183 284754 | 2147483647 131592 41 | 0.000 % |
1177.05/1177.57 c | 537997 | 763 67183 284754 | 2147483647 131804 41 | 0.000 % |
1178.05/1178.54 c | 538230 | 763 67183 284754 | 2147483647 132037 41 | 0.000 % |
1179.05/1179.54 c | 538486 | 763 67183 284754 | 2147483647 132293 41 | 0.000 % |
1179.85/1180.34 c | 538767 | 763 67183 284754 | 2147483647 132574 41 | 0.000 % |
1180.85/1181.38 c | 539076 | 763 67183 284754 | 2147483647 132883 41 | 0.000 % |
1182.35/1182.89 c | 539415 | 763 67183 284754 | 2147483647 133222 41 | 0.000 % |
1183.74/1184.27 c | 539788 | 763 67183 284754 | 2147483647 133595 41 | 0.000 % |
1185.54/1186.01 c | 540198 | 763 67183 284754 | 2147483647 134005 41 | 0.000 % |
1187.04/1187.53 c | 540650 | 763 67183 284754 | 2147483647 134457 41 | 0.000 % |
1189.04/1189.59 c | 541145 | 763 67183 284754 | 2147483647 134952 41 | 0.000 % |
1190.44/1190.94 c | 541687 | 763 67183 284754 | 2147483647 135494 41 | 0.000 % |
1192.64/1193.13 c | 542284 | 763 67183 284754 | 2147483647 136091 41 | 0.000 % |
1195.04/1195.53 c | 542941 | 763 67183 284754 | 2147483647 136748 41 | 0.000 % |
1197.04/1197.52 c | 543661 | 763 67183 284754 | 2147483647 137468 41 | 0.000 % |
1199.34/1199.83 c | 544454 | 763 67183 284754 | 2147483647 138261 41 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833933-1242826264/watcher-1833933-1242826264 -o /tmp/evaluation-result-1833933-1242826264/solver-1833933-1242826264 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833933-1242826264.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 25322
/proc/meminfo: memFree=1920592/2055920 swapFree=4159356/4192956
[pid=25322] ppid=25320 vsize=5356 CPUtime=0
/proc/25322/stat : 25322 (SatELiteGTI) S 25320 25322 24979 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310653798 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25322/statm: 1339 237 197 169 0 50 0
[startup+0.0808921 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 25322
/proc/meminfo: memFree=1920592/2055920 swapFree=4159356/4192956
[pid=25322] ppid=25320 vsize=5356 CPUtime=0
/proc/25322/stat : 25322 (SatELiteGTI) S 25320 25322 24979 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310653798 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25322/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101893 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 25322
/proc/meminfo: memFree=1920592/2055920 swapFree=4159356/4192956
[pid=25322] ppid=25320 vsize=5356 CPUtime=0
/proc/25322/stat : 25322 (SatELiteGTI) S 25320 25322 24979 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310653798 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25322/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301911 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 25322
/proc/meminfo: memFree=1920592/2055920 swapFree=4159356/4192956
[pid=25322] ppid=25320 vsize=5356 CPUtime=0
/proc/25322/stat : 25322 (SatELiteGTI) S 25320 25322 24979 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310653798 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25322/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701957 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 25322
/proc/meminfo: memFree=1920592/2055920 swapFree=4159356/4192956
[pid=25322] ppid=25320 vsize=5356 CPUtime=0.55
/proc/25322/stat : 25322 (SatELiteGTI) S 25320 25322 24979 0 -1 4194304 336 2083 0 0 0 0 54 1 16 0 1 0 310653798 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25322/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 5356
[startup+1.50202 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25328
/proc/meminfo: memFree=1913856/2055920 swapFree=4159356/4192956
[pid=25322] ppid=25320 vsize=5356 CPUtime=0.55
/proc/25322/stat : 25322 (SatELiteGTI) S 25320 25322 24979 0 -1 4194304 336 2083 0 0 0 0 54 1 16 0 1 0 310653798 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25322/statm: 1339 239 197 169 0 50 0
[pid=25328] ppid=25322 vsize=5884 CPUtime=0.92
/proc/25328/stat : 25328 (minisat_static) R 25322 25322 24979 0 -1 4194304 1355 0 0 0 92 0 0 0 25 0 1 0 310653855 6025216 1341 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/25328/statm: 1471 1341 77 171 0 1298 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 11240
[startup+3.10116 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25328
/proc/meminfo: memFree=1913088/2055920 swapFree=4159356/4192956
[pid=25322] ppid=25320 vsize=5356 CPUtime=0.55
/proc/25322/stat : 25322 (SatELiteGTI) S 25320 25322 24979 0 -1 4194304 336 2083 0 0 0 0 54 1 16 0 1 0 310653798 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25322/statm: 1339 239 197 169 0 50 0
[pid=25328] ppid=25322 vsize=6808 CPUtime=2.51
/proc/25328/stat : 25328 (minisat_static) R 25322 25322 24979 0 -1 4194304 1572 0 0 0 251 0 0 0 25 0 1 0 310653855 6971392 1558 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25328/statm: 1702 1558 77 171 0 1529 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 12164
[startup+6.30245 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25328
/proc/meminfo: memFree=1911360/2055920 swapFree=4159356/4192956
[pid=25322] ppid=25320 vsize=5356 CPUtime=0.55
/proc/25322/stat : 25322 (SatELiteGTI) S 25320 25322 24979 0 -1 4194304 336 2083 0 0 0 0 54 1 16 0 1 0 310653798 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25322/statm: 1339 239 197 169 0 50 0
[pid=25328] ppid=25322 vsize=8136 CPUtime=5.71
/proc/25328/stat : 25328 (minisat_static) R 25322 25322 24979 0 -1 4194304 1916 0 0 0 569 2 0 0 25 0 1 0 310653855 8331264 1902 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25328/statm: 2034 1902 77 171 0 1861 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 13492
[startup+12.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25328
/proc/meminfo: memFree=1909504/2055920 swapFree=4159356/4192956
[pid=25322] ppid=25320 vsize=5356 CPUtime=0.55
/proc/25322/stat : 25322 (SatELiteGTI) S 25320 25322 24979 0 -1 4194304 336 2083 0 0 0 0 54 1 16 0 1 0 310653798 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25322/statm: 1339 239 197 169 0 50 0
[pid=25328] ppid=25322 vsize=9888 CPUtime=12.1
/proc/25328/stat : 25328 (minisat_static) R 25322 25322 24979 0 -1 4194304 2323 0 0 0 1208 2 0 0 25 0 1 0 310653855 10125312 2309 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/25328/statm: 2472 2309 77 171 0 2299 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 15244
[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25328
/proc/meminfo: memFree=1906816/2055920 swapFree=4159356/4192956
[pid=25322] ppid=25320 vsize=5356 CPUtime=0.55
/proc/25322/stat : 25322 (SatELiteGTI) S 25320 25322 24979 0 -1 4194304 336 2083 0 0 0 0 54 1 16 0 1 0 310653798 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25322/statm: 1339 239 197 169 0 50 0
[pid=25328] ppid=25322 vsize=12424 CPUtime=24.89
/proc/25328/stat : 25328 (minisat_static) R 25322 25322 24979 0 -1 4194304 2952 0 0 0 2486 3 0 0 25 0 1 0 310653855 12722176 2938 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25328/statm: 3106 2938 77 171 0 2933 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 17780
[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25328
/proc/meminfo: memFree=1901184/2055920 swapFree=4159356/4192956
[pid=25322] ppid=25320 vsize=5356 CPUtime=0.55
/proc/25322/stat : 25322 (SatELiteGTI) S 25320 25322 24979 0 -1 4194304 336 2083 0 0 0 0 54 1 16 0 1 0 310653798 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25322/statm: 1339 239 197 169 0 50 0
[pid=25328] ppid=25322 vsize=18344 CPUtime=50.48
/proc/25328/stat : 25328 (minisat_static) R 25322 25322 24979 0 -1 4194304 4366 0 0 0 5043 5 0 0 25 0 1 0 310653855 18784256 4352 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25328/statm: 4586 4352 77 171 0 4413 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 23700
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25328
/proc/meminfo: memFree=1898048/2055920 swapFree=4159356/4192956
[pid=25322] ppid=25320 vsize=5356 CPUtime=0.55
/proc/25322/stat : 25322 (SatELiteGTI) S 25320 25322 24979 0 -1 4194304 336 2083 0 0 0 0 54 1 16 0 1 0 310653798 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25322/statm: 1339 239 197 169 0 50 0
[pid=25328] ppid=25322 vsize=21636 CPUtime=101.66
/proc/25328/stat : 25328 (minisat_static) R 25322 25322 24979 0 -1 4194304 5127 0 0 0 10160 6 0 0 25 0 1 0 310653855 22155264 5113 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25328/statm: 5409 5113 77 171 0 5236 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 26992
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25328
/proc/meminfo: memFree=1896512/2055920 swapFree=4159356/4192956
[pid=25322] ppid=25320 vsize=5356 CPUtime=0.55
/proc/25322/stat : 25322 (SatELiteGTI) S 25320 25322 24979 0 -1 4194304 336 2083 0 0 0 0 54 1 16 0 1 0 310653798 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25322/statm: 1339 239 197 169 0 50 0
[pid=25328] ppid=25322 vsize=22960 CPUtime=161.64
/proc/25328/stat : 25328 (minisat_static) R 25322 25322 24979 0 -1 4194304 5504 0 0 0 16157 7 0 0 25 0 1 0 310653855 23511040 5490 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25328/statm: 5740 5490 77 171 0 5567 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 28316
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25328
/proc/meminfo: memFree=1895488/2055920 swapFree=4159356/4192956
[pid=25322] ppid=25320 vsize=5356 CPUtime=0.55
/proc/25322/stat : 25322 (SatELiteGTI) S 25320 25322 24979 0 -1 4194304 336 2083 0 0 0 0 54 1 16 0 1 0 310653798 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25322/statm: 1339 239 197 169 0 50 0
[pid=25328] ppid=25322 vsize=23900 CPUtime=221.61
/proc/25328/stat : 25328 (minisat_static) R 25322 25322 24979 0 -1 4194304 5714 0 0 0 22154 7 0 0 25 0 1 0 310653855 24473600 5700 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25328/statm: 5975 5700 77 171 0 5802 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 29256
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25328
/proc/meminfo: memFree=1895168/2055920 swapFree=4159356/4192956
[pid=25322] ppid=25320 vsize=5356 CPUtime=0.55
/proc/25322/stat : 25322 (SatELiteGTI) S 25320 25322 24979 0 -1 4194304 336 2083 0 0 0 0 54 1 16 0 1 0 310653798 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25322/statm: 1339 239 197 169 0 50 0
[pid=25328] ppid=25322 vsize=24220 CPUtime=281.58
/proc/25328/stat : 25328 (minisat_static) R 25322 25322 24979 0 -1 4194304 5767 0 0 0 28150 8 0 0 25 0 1 0 310653855 24801280 5753 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/25328/statm: 6055 5753 77 171 0 5882 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 29576
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25328
/proc/meminfo: memFree=1894784/2055920 swapFree=4159356/4192956
[pid=25322] ppid=25320 vsize=5356 CPUtime=0.55
/proc/25322/stat : 25322 (SatELiteGTI) S 25320 25322 24979 0 -1 4194304 336 2083 0 0 0 0 54 1 16 0 1 0 310653798 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25322/statm: 1339 239 197 169 0 50 0
[pid=25328] ppid=25322 vsize=24528 CPUtime=341.57
/proc/25328/stat : 25328 (minisat_static) R 25322 25322 24979 0 -1 4194304 5841 0 0 0 34148 9 0 0 25 0 1 0 310653855 25116672 5827 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/25328/statm: 6132 5827 77 171 0 5959 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 29884
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25328
/proc/meminfo: memFree=1889408/2055920 swapFree=4159356/4192956
[pid=25322] ppid=25320 vsize=5356 CPUtime=0.55
/proc/25322/stat : 25322 (SatELiteGTI) S 25320 25322 24979 0 -1 4194304 336 2083 0 0 0 0 54 1 16 0 1 0 310653798 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25322/statm: 1339 239 197 169 0 50 0
[pid=25328] ppid=25322 vsize=30016 CPUtime=401.55
/proc/25328/stat : 25328 (minisat_static) R 25322 25322 24979 0 -1 4194304 7185 0 0 0 40144 11 0 0 25 0 1 0 310653855 30736384 7171 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 1 0 0
/proc/25328/statm: 7504 7171 77 171 0 7331 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 35372
[startup+462.302 s]
################
# More data... #
################
/proc/25328/statm: 10780 10378 77 171 0 10607 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 48476
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25328
/proc/meminfo: memFree=1875392/2055920 swapFree=4159356/4192956
[pid=25322] ppid=25320 vsize=5356 CPUtime=0.55
/proc/25322/stat : 25322 (SatELiteGTI) S 25320 25322 24979 0 -1 4194304 336 2083 0 0 0 0 54 1 16 0 1 0 310653798 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25322/statm: 1339 239 197 169 0 50 0
[pid=25328] ppid=25322 vsize=43944 CPUtime=641.47
/proc/25328/stat : 25328 (minisat_static) R 25322 25322 24979 0 -1 4194304 10583 0 0 0 64132 15 0 0 25 0 1 0 310653855 44998656 10569 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25328/statm: 10986 10569 77 171 0 10813 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 49300
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25328
/proc/meminfo: memFree=1874752/2055920 swapFree=4159356/4192956
[pid=25322] ppid=25320 vsize=5356 CPUtime=0.55
/proc/25322/stat : 25322 (SatELiteGTI) S 25320 25322 24979 0 -1 4194304 336 2083 0 0 0 0 54 1 16 0 1 0 310653798 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25322/statm: 1339 239 197 169 0 50 0
[pid=25328] ppid=25322 vsize=44324 CPUtime=701.44
/proc/25328/stat : 25328 (minisat_static) R 25322 25322 24979 0 -1 4194304 10700 0 0 0 70129 15 0 0 25 0 1 0 310653855 45387776 10686 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25328/statm: 11081 10686 77 171 0 10908 0
Current children cumulated CPU time (s) 701.99
Current children cumulated vsize (KiB) 49680
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25330
/proc/meminfo: memFree=1872192/2055920 swapFree=4159356/4192956
[pid=25322] ppid=25320 vsize=5356 CPUtime=0.55
/proc/25322/stat : 25322 (SatELiteGTI) S 25320 25322 24979 0 -1 4194304 336 2083 0 0 0 0 54 1 16 0 1 0 310653798 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25322/statm: 1339 239 197 169 0 50 0
[pid=25328] ppid=25322 vsize=46788 CPUtime=761.43
/proc/25328/stat : 25328 (minisat_static) R 25322 25322 24979 0 -1 4194304 11298 0 0 0 76126 17 0 0 25 0 1 0 310653855 47910912 11284 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25328/statm: 11697 11284 77 171 0 11524 0
Current children cumulated CPU time (s) 761.98
Current children cumulated vsize (KiB) 52144
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25330
/proc/meminfo: memFree=1871744/2055920 swapFree=4159356/4192956
[pid=25322] ppid=25320 vsize=5356 CPUtime=0.55
/proc/25322/stat : 25322 (SatELiteGTI) S 25320 25322 24979 0 -1 4194304 336 2083 0 0 0 0 54 1 16 0 1 0 310653798 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25322/statm: 1339 239 197 169 0 50 0
[pid=25328] ppid=25322 vsize=47320 CPUtime=821.41
/proc/25328/stat : 25328 (minisat_static) R 25322 25322 24979 0 -1 4194304 11409 0 0 0 82124 17 0 0 25 0 1 0 310653855 48455680 11395 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25328/statm: 11830 11395 77 171 0 11657 0
Current children cumulated CPU time (s) 821.96
Current children cumulated vsize (KiB) 52676
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25330
/proc/meminfo: memFree=1871360/2055920 swapFree=4159356/4192956
[pid=25322] ppid=25320 vsize=5356 CPUtime=0.55
/proc/25322/stat : 25322 (SatELiteGTI) S 25320 25322 24979 0 -1 4194304 336 2083 0 0 0 0 54 1 16 0 1 0 310653798 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25322/statm: 1339 239 197 169 0 50 0
[pid=25328] ppid=25322 vsize=47496 CPUtime=881.39
/proc/25328/stat : 25328 (minisat_static) R 25322 25322 24979 0 -1 4194304 11490 0 0 0 88122 17 0 0 25 0 1 0 310653855 48635904 11476 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25328/statm: 11874 11476 77 171 0 11701 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 52852
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25330
/proc/meminfo: memFree=1871040/2055920 swapFree=4159356/4192956
[pid=25322] ppid=25320 vsize=5356 CPUtime=0.55
/proc/25322/stat : 25322 (SatELiteGTI) S 25320 25322 24979 0 -1 4194304 336 2083 0 0 0 0 54 1 16 0 1 0 310653798 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25322/statm: 1339 239 197 169 0 50 0
[pid=25328] ppid=25322 vsize=47712 CPUtime=941.36
/proc/25328/stat : 25328 (minisat_static) R 25322 25322 24979 0 -1 4194304 11539 0 0 0 94119 17 0 0 25 0 1 0 310653855 48857088 11525 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/25328/statm: 11928 11525 77 171 0 11755 0
Current children cumulated CPU time (s) 941.91
Current children cumulated vsize (KiB) 53068
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25330
/proc/meminfo: memFree=1870848/2055920 swapFree=4159356/4192956
[pid=25322] ppid=25320 vsize=5356 CPUtime=0.55
/proc/25322/stat : 25322 (SatELiteGTI) S 25320 25322 24979 0 -1 4194304 336 2083 0 0 0 0 54 1 16 0 1 0 310653798 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25322/statm: 1339 239 197 169 0 50 0
[pid=25328] ppid=25322 vsize=47888 CPUtime=1001.36
/proc/25328/stat : 25328 (minisat_static) R 25322 25322 24979 0 -1 4194304 11575 0 0 0 100118 18 0 0 25 0 1 0 310653855 49037312 11561 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25328/statm: 11972 11561 77 171 0 11799 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 53244
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25330
/proc/meminfo: memFree=1870656/2055920 swapFree=4159356/4192956
[pid=25322] ppid=25320 vsize=5356 CPUtime=0.55
/proc/25322/stat : 25322 (SatELiteGTI) S 25320 25322 24979 0 -1 4194304 336 2083 0 0 0 0 54 1 16 0 1 0 310653798 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25322/statm: 1339 239 197 169 0 50 0
[pid=25328] ppid=25322 vsize=48104 CPUtime=1061.34
/proc/25328/stat : 25328 (minisat_static) R 25322 25322 24979 0 -1 4194304 11601 0 0 0 106116 18 0 0 25 0 1 0 310653855 49258496 11587 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25328/statm: 12026 11587 77 171 0 11853 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 53460
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25330
/proc/meminfo: memFree=1870336/2055920 swapFree=4159356/4192956
[pid=25322] ppid=25320 vsize=5356 CPUtime=0.55
/proc/25322/stat : 25322 (SatELiteGTI) S 25320 25322 24979 0 -1 4194304 336 2083 0 0 0 0 54 1 16 0 1 0 310653798 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25322/statm: 1339 239 197 169 0 50 0
[pid=25328] ppid=25322 vsize=48268 CPUtime=1121.31
/proc/25328/stat : 25328 (minisat_static) R 25322 25322 24979 0 -1 4194304 11665 0 0 0 112113 18 0 0 25 0 1 0 310653855 49426432 11651 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25328/statm: 12067 11651 77 171 0 11894 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 53624
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25330
/proc/meminfo: memFree=1869440/2055920 swapFree=4159356/4192956
[pid=25322] ppid=25320 vsize=5356 CPUtime=0.55
/proc/25322/stat : 25322 (SatELiteGTI) S 25320 25322 24979 0 -1 4194304 336 2083 0 0 0 0 54 1 16 0 1 0 310653798 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25322/statm: 1339 239 197 169 0 50 0
[pid=25328] ppid=25322 vsize=49136 CPUtime=1181.3
/proc/25328/stat : 25328 (minisat_static) R 25322 25322 24979 0 -1 4194304 11855 0 0 0 118112 18 0 0 25 0 1 0 310653855 50315264 11841 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25328/statm: 12284 11841 77 171 0 12111 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 54492
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25330
/proc/meminfo: memFree=1869248/2055920 swapFree=4159356/4192956
[pid=25322] ppid=25320 vsize=5356 CPUtime=0.55
/proc/25322/stat : 25322 (SatELiteGTI) S 25320 25322 24979 0 -1 4194304 336 2083 0 0 0 0 54 1 16 0 1 0 310653798 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25322/statm: 1339 239 197 169 0 50 0
[pid=25328] ppid=25322 vsize=49300 CPUtime=1199.49
/proc/25328/stat : 25328 (minisat_static) R 25322 25322 24979 0 -1 4194304 11905 0 0 0 119931 18 0 0 25 0 1 0 310653855 50483200 11891 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25328/statm: 12325 11891 77 171 0 12152 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 54656
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 25330
/proc/meminfo: memFree=1869248/2055920 swapFree=4159356/4192956
[pid=25322] ppid=25320 vsize=5356 CPUtime=0.55
/proc/25322/stat : 25322 (SatELiteGTI) S 25320 25322 24979 0 -1 4194304 336 2083 0 0 0 0 54 1 16 0 1 0 310653798 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 248761606980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25322/statm: 1339 239 197 169 0 50 0
[pid=25328] ppid=25322 vsize=49300 CPUtime=1199.49
/proc/25328/stat : 25328 (minisat_static) R 25322 25322 24979 0 -1 4194304 11905 0 0 0 119931 18 0 0 25 0 1 0 310653855 50483200 11891 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/25328/statm: 12325 11891 77 171 0 12152 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 54656
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25322 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=549916
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=13997
# CPU time returned by wait4() is 0.563913
# while last known CPU time is 1200.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.04
CPU user time (s): 1199.85
CPU system time (s): 0.19
CPU usage (%): 99.9607
Max. virtual memory (cumulated for all children) (KiB): 54656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.549916
system time used= 0.013997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2419
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 21
runsolver used 1.3118 second user time and 3.16952 second system time
The end
Begin job on node55 at 2009-05-20 15:31:04
IDJOB=1833933
IDBENCH=71078
IDSOLVER=671
FILE ID=node55/1833933-1242826264
PBS_JOBID= 9322484
Free space on /tmp= 66248 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_08_UNSAT.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833933-1242826264/watcher-1833933-1242826264 -o /tmp/evaluation-result-1833933-1242826264/solver-1833933-1242826264 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833933-1242826264.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 66aa2e18c32a02f55a810347a9702c7f
RANDOM SEED=470328703
node55.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: 1921136 kB
Buffers: 20696 kB
Cached: 53740 kB
SwapCached: 27768 kB
Active: 36248 kB
Inactive: 67704 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1921136 kB
SwapTotal: 4192956 kB
SwapFree: 4159356 kB
Dirty: 2608 kB
Writeback: 0 kB
Mapped: 15488 kB
Slab: 16948 kB
Committed_AS: 942896 kB
PageTables: 1368 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= 66244 MiB
End job on node55 at 2009-05-20 15:51:07