0.00/0.00 c Parsing...
0.00/0.15 c ==============================================================================
0.00/0.15 c | | ORIGINAL | LEARNT | |
0.00/0.15 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.15 c ==============================================================================
0.00/0.15 c | 0 | 181871 470932 | 54561 0 0 nan | 0.000 % |
1.49/1.53 c | 0 | 98030 321620 | -- 0 -- -- | -- | -83841/-149312
1.49/1.53 c ==============================================================================
1.49/1.53 c Result : #vars: 17506 #clauses: 98030 #literals: 321620
1.49/1.53 c CPU time: 1.46978 s
1.49/1.53 c ==============================================================================
1.57/1.65 c This is MiniSat 2.0 beta
1.57/1.65 c WARNING: for repeatability, setting FPU to use double precision
1.57/1.65 c ============================[ Problem Statistics ]=============================
1.57/1.65 c | |
1.57/1.65 c | Number of variables: 17506 |
1.57/1.65 c | Number of clauses: 98030 |
1.63/1.72 c | Parsing time: 0.06 s |
1.63/1.72 c ============================[ Search Statistics ]==============================
1.63/1.72 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.63/1.72 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.63/1.72 c ===============================================================================
1.63/1.72 c | 0 | 17506 98030 321620 | 32676 0 nan | 0.000 % |
1.63/1.76 c | 100 | 17506 98030 321620 | 32676 100 16 | 0.001 % |
1.63/1.88 c | 202 | 17506 98030 321620 | 32676 202 38 | 0.000 % |
1.63/1.90 c | 302 | 17506 98030 321620 | 32676 302 39 | 0.000 % |
1.63/2.00 c | 413 | 17506 98030 321620 | 32676 413 35 | 0.000 % |
1.63/2.04 c | 513 | 17505 97517 320527 | 32676 511 32 | 0.006 % |
1.63/2.06 c | 626 | 17505 97517 320527 | 32676 624 32 | 0.006 % |
2.06/2.16 c | 747 | 17505 97517 320527 | 32676 745 30 | 0.006 % |
2.26/2.31 c | 849 | 17505 97517 320527 | 32676 847 36 | 0.006 % |
2.36/2.47 c | 959 | 17505 97517 320527 | 32676 957 37 | 0.006 % |
2.46/2.55 c | 1081 | 17505 97517 320527 | 32676 1079 35 | 0.006 % |
2.46/2.58 c | 1214 | 17505 97517 320527 | 32676 1212 36 | 0.006 % |
2.56/2.67 c | 1314 | 17505 97517 320527 | 32676 1312 36 | 0.006 % |
2.56/2.69 c | 1424 | 17505 97517 320527 | 32676 1422 34 | 0.006 % |
2.66/2.75 c | 1546 | 17505 97517 320527 | 32676 1544 36 | 0.006 % |
2.66/2.77 c | 1679 | 17505 97517 320527 | 32676 1677 38 | 0.006 % |
2.86/2.95 c | 1825 | 17505 97517 320527 | 32676 1823 40 | 0.006 % |
2.96/3.03 c | 1925 | 17505 97517 320527 | 32676 1923 39 | 0.006 % |
2.96/3.05 c | 2038 | 17505 97517 320527 | 32676 2036 39 | 0.006 % |
3.06/3.19 c | 2160 | 17505 97517 320527 | 32676 2158 39 | 0.006 % |
3.26/3.35 c | 2294 | 17505 97517 320527 | 32676 2292 40 | 0.006 % |
3.36/3.49 c | 2440 | 17505 97517 320527 | 32676 2438 39 | 0.006 % |
3.56/3.63 c | 2603 | 17505 97517 320527 | 32676 2601 39 | 0.006 % |
3.56/3.66 c | 2703 | 17505 97517 320527 | 32676 2701 38 | 0.007 % |
3.66/3.75 c | 2813 | 17505 97517 320527 | 32676 2811 39 | 0.006 % |
3.66/3.80 c | 2937 | 17505 97517 320527 | 32676 2935 38 | 0.006 % |
3.86/3.98 c | 3071 | 17505 97517 320527 | 32676 3069 39 | 0.006 % |
3.95/4.00 c | 3222 | 17505 97517 320527 | 32676 3220 41 | 0.006 % |
4.05/4.13 c | 3382 | 17505 97517 320527 | 32676 3380 40 | 0.006 % |
4.05/4.18 c | 3560 | 17505 97517 320527 | 32676 3558 40 | 0.006 % |
4.15/4.21 c | 3662 | 17505 97517 320527 | 32676 3660 40 | 0.006 % |
4.36/4.41 c | 3772 | 17505 97517 320527 | 32676 3770 41 | 0.006 % |
4.36/4.49 c | 3894 | 17505 97517 320527 | 32676 3892 41 | 0.006 % |
4.45/4.58 c | 4027 | 17505 97517 320527 | 32676 4025 40 | 0.006 % |
4.55/4.64 c | 4173 | 17505 97517 320527 | 32676 4171 40 | 0.007 % |
4.66/4.73 c | 4336 | 17505 97517 320527 | 32676 4334 40 | 0.006 % |
4.66/4.78 c | 4512 | 17505 97517 320527 | 32676 4510 41 | 0.006 % |
4.76/4.86 c | 4705 | 17505 97517 320527 | 32676 4703 40 | 0.006 % |
4.85/4.95 c | 4805 | 17505 97517 320527 | 32676 4803 40 | 0.006 % |
4.85/4.97 c | 4915 | 17505 97517 320527 | 32676 4913 40 | 0.006 % |
5.05/5.12 c | 5039 | 17505 97517 320527 | 32676 5037 43 | 0.006 % |
5.05/5.18 c | 5172 | 17505 97517 320527 | 32676 5170 44 | 0.007 % |
5.15/5.25 c | 5318 | 17505 97517 320527 | 32676 5316 44 | 0.006 % |
5.25/5.31 c | 5478 | 17505 97517 320527 | 32676 5476 45 | 0.006 % |
5.36/5.44 c | 5655 | 17505 97517 320527 | 32676 5653 44 | 0.006 % |
5.46/5.50 c | 5848 | 17505 97517 320527 | 32676 5846 45 | 0.006 % |
5.55/5.60 c | 6061 | 17505 97517 320527 | 32676 6059 46 | 0.006 % |
5.55/5.67 c | 6162 | 17505 97517 320527 | 32676 6160 46 | 0.006 % |
5.65/5.76 c | 6276 | 17505 97517 320527 | 32676 6274 45 | 0.007 % |
5.75/5.83 c | 6398 | 17505 97517 320527 | 32676 6396 46 | 0.006 % |
5.95/6.07 c | 6531 | 17505 97517 320527 | 32676 6529 46 | 0.006 % |
6.05/6.10 c | 6677 | 17505 97517 320527 | 32676 6675 46 | 0.007 % |
6.25/6.30 c | 6837 | 17505 97517 320527 | 32676 6835 47 | 0.006 % |
6.25/6.39 c | 7014 | 17505 97517 320527 | 32676 7012 47 | 0.006 % |
6.45/6.56 c | 7207 | 17505 97517 320527 | 32676 7205 48 | 0.006 % |
6.65/6.79 c | 7419 | 17505 97517 320527 | 32676 7417 48 | 0.006 % |
6.85/6.93 c | 7654 | 17505 97517 320527 | 32676 7652 47 | 0.006 % |
6.95/7.00 c | 7754 | 17505 97517 320527 | 32676 7752 47 | 0.006 % |
6.95/7.03 c | 7864 | 17505 97517 320527 | 32676 7862 47 | 0.006 % |
7.15/7.23 c | 7986 | 17505 97517 320527 | 32676 7984 47 | 0.007 % |
7.15/7.28 c | 8120 | 17505 97517 320527 | 32676 8118 48 | 0.006 % |
7.35/7.41 c | 8266 | 17505 97517 320527 | 32676 8264 48 | 0.006 % |
7.45/7.52 c | 8427 | 17505 97517 320527 | 32676 8425 48 | 0.006 % |
7.66/7.79 c | 8604 | 17505 97517 320527 | 32676 8602 50 | 0.006 % |
7.95/8.05 c | 8797 | 17505 97517 320527 | 32676 8795 51 | 0.006 % |
8.05/8.16 c | 9014 | 17505 97517 320527 | 32676 9012 51 | 0.006 % |
8.15/8.27 c | 9247 | 17505 97517 320527 | 32676 9245 51 | 0.006 % |
8.65/8.71 c | 9504 | 17505 97517 320527 | 32676 9502 52 | 0.006 % |
8.65/8.74 c | 9606 | 17505 97517 320527 | 32676 9604 52 | 0.006 % |
8.75/8.86 c | 9716 | 17505 97517 320527 | 32676 9714 51 | 0.006 % |
8.75/8.89 c | 9837 | 17505 97517 320527 | 32676 9835 51 | 0.006 % |
8.85/8.98 c | 9970 | 17505 97517 320527 | 32676 9968 51 | 0.006 % |
9.15/9.23 c | 10116 | 17505 97517 320527 | 2147483647 10114 51 | 0.006 % |
9.35/9.47 c | 10276 | 17505 97517 320527 | 2147483647 10274 51 | 0.006 % |
9.45/9.53 c | 10453 | 17505 97517 320527 | 2147483647 10451 50 | 0.006 % |
9.65/9.77 c | 10647 | 17505 97517 320527 | 2147483647 10645 50 | 0.006 % |
9.75/9.87 c | 10859 | 17505 97517 320527 | 2147483647 10857 50 | 0.006 % |
9.95/10.03 c | 11093 | 17505 97517 320527 | 2147483647 11091 49 | 0.006 % |
10.15/10.22 c | 11351 | 17505 97517 320527 | 2147483647 11349 50 | 0.007 % |
10.45/10.52 c | 11632 | 17505 97517 320527 | 2147483647 11630 49 | 0.006 % |
10.65/10.72 c | 11733 | 17505 97517 320527 | 2147483647 11731 49 | 0.006 % |
10.65/10.77 c | 11843 | 17505 97517 320527 | 2147483647 11841 49 | 0.006 % |
10.75/10.86 c | 11964 | 17505 97517 320527 | 2147483647 11962 49 | 0.006 % |
10.75/10.88 c | 12097 | 17505 97517 320527 | 2147483647 12095 49 | 0.006 % |
10.85/10.99 c | 12243 | 17505 97517 320527 | 2147483647 12241 49 | 0.006 % |
11.15/11.25 c | 12404 | 17505 97517 320527 | 2147483647 12402 50 | 0.006 % |
11.25/11.30 c | 12582 | 17505 97517 320527 | 2147483647 12580 50 | 0.007 % |
11.25/11.38 c | 12775 | 17505 97517 320527 | 2147483647 12773 50 | 0.006 % |
11.35/11.48 c | 12987 | 17505 97517 320527 | 2147483647 12985 51 | 0.006 % |
11.65/11.78 c | 13222 | 17505 97517 320527 | 2147483647 13220 51 | 0.006 % |
11.95/12.00 c | 13479 | 17505 97517 320527 | 2147483647 13477 52 | 0.006 % |
12.25/12.32 c | 13760 | 17505 97517 320527 | 2147483647 13758 52 | 0.006 % |
12.45/12.59 c | 14069 | 17505 97517 320527 | 2147483647 14067 54 | 0.006 % |
12.55/12.69 c | 14169 | 17505 97517 320527 | 2147483647 14167 54 | 0.006 % |
12.65/12.76 c | 14279 | 17505 97517 320527 | 2147483647 14277 54 | 0.007 % |
12.75/12.88 c | 14401 | 17505 97517 320527 | 2147483647 14399 54 | 0.007 % |
12.85/12.96 c | 14534 | 17505 97517 320527 | 2147483647 14532 54 | 0.007 % |
13.15/13.22 c | 14681 | 17505 97517 320527 | 2147483647 14679 54 | 0.006 % |
13.15/13.29 c | 14841 | 17505 97517 320527 | 2147483647 14839 54 | 0.007 % |
13.55/13.64 c | 15018 | 17505 97517 320527 | 2147483647 15016 54 | 0.006 % |
13.65/13.73 c | 15211 | 17505 97517 320527 | 2147483647 15209 54 | 0.007 % |
13.65/13.78 c | 15424 | 17505 97517 320527 | 2147483647 15422 54 | 0.006 % |
13.94/14.03 c | 15657 | 17505 97517 320527 | 2147483647 15655 54 | 0.006 % |
14.15/14.23 c | 15913 | 17505 97517 320527 | 2147483647 15911 54 | 0.006 % |
14.54/14.65 c | 16194 | 17505 97517 320527 | 2147483647 16192 54 | 0.006 % |
14.94/15.01 c | 16504 | 17505 97517 320527 | 2147483647 16502 54 | 0.006 % |
15.25/15.38 c | 16844 | 17505 97517 320527 | 2147483647 16842 55 | 0.006 % |
15.35/15.48 c | 16945 | 17505 97517 320527 | 2147483647 16943 55 | 0.006 % |
15.64/15.72 c | 17055 | 17505 97517 320527 | 2147483647 17053 55 | 0.006 % |
15.64/15.77 c | 17177 | 17505 97517 320527 | 2147483647 17175 55 | 0.006 % |
15.74/15.81 c | 17310 | 17505 97517 320527 | 2147483647 17308 55 | 0.006 % |
15.84/15.99 c | 17457 | 17505 97517 320527 | 2147483647 17455 55 | 0.006 % |
16.04/16.13 c | 17617 | 17505 97517 320527 | 2147483647 17615 55 | 0.006 % |
16.14/16.27 c | 17795 | 17505 97517 320527 | 2147483647 17793 55 | 0.006 % |
16.34/16.47 c | 17988 | 17505 97517 320527 | 2147483647 17986 55 | 0.006 % |
16.54/16.66 c | 18200 | 17505 97517 320527 | 2147483647 18198 54 | 0.006 % |
17.04/17.14 c | 18436 | 17502 97501 320489 | 2147483647 18428 54 | 0.023 % |
17.24/17.36 c | 18693 | 17502 97501 320489 | 2147483647 18685 54 | 0.023 % |
17.44/17.52 c | 18976 | 17502 97501 320489 | 2147483647 18968 55 | 0.023 % |
17.84/17.95 c | 19285 | 17502 97501 320489 | 2147483647 19277 55 | 0.023 % |
18.14/18.29 c | 19626 | 17502 97501 320489 | 2147483647 19618 55 | 0.023 % |
18.44/18.54 c | 19998 | 17502 97501 320489 | 2147483647 19990 55 | 0.023 % |
18.64/18.74 c | 20098 | 17502 97501 320489 | 2147483647 20090 56 | 0.023 % |
18.64/18.79 c | 20208 | 17502 97501 320489 | 2147483647 20200 56 | 0.024 % |
18.94/19.10 c | 20331 | 17502 97501 320489 | 2147483647 20323 56 | 0.023 % |
19.14/19.20 c | 20466 | 17502 97501 320489 | 2147483647 20458 56 | 0.023 % |
19.14/19.28 c | 20612 | 17502 97501 320489 | 2147483647 20604 56 | 0.023 % |
19.34/19.42 c | 20772 | 17502 97501 320489 | 2147483647 20764 55 | 0.023 % |
19.44/19.59 c | 20948 | 17502 97501 320489 | 2147483647 20940 55 | 0.023 % |
19.54/19.66 c | 21142 | 17502 97501 320489 | 2147483647 21134 55 | 0.023 % |
19.74/19.88 c | 21355 | 17502 97501 320489 | 2147483647 21347 55 | 0.023 % |
20.04/20.14 c | 21589 | 17502 97501 320489 | 2147483647 21581 55 | 0.023 % |
20.44/20.58 c | 21846 | 17502 97501 320489 | 2147483647 21838 55 | 0.023 % |
20.64/20.72 c | 22128 | 17502 97501 320489 | 2147483647 22120 56 | 0.023 % |
20.94/21.04 c | 22437 | 17502 97501 320489 | 2147483647 22429 55 | 0.023 % |
21.44/21.56 c | 22777 | 17502 97501 320489 | 2147483647 22769 55 | 0.024 % |
21.74/21.86 c | 23150 | 17502 97501 320489 | 2147483647 23142 55 | 0.023 % |
22.14/22.29 c | 23560 | 17502 97501 320489 | 2147483647 23552 55 | 0.023 % |
22.34/22.47 c | 23661 | 17502 97501 320489 | 2147483647 23653 55 | 0.023 % |
22.54/22.61 c | 23771 | 17502 97501 320489 | 2147483647 23763 55 | 0.023 % |
22.74/22.82 c | 23893 | 17502 97501 320489 | 2147483647 23885 55 | 0.023 % |
22.84/22.95 c | 24028 | 17502 97501 320489 | 2147483647 24020 55 | 0.023 % |
22.84/22.99 c | 24174 | 17502 97501 320489 | 2147483647 24166 55 | 0.023 % |
23.05/23.11 c | 24334 | 17502 97501 320489 | 2147483647 24326 55 | 0.023 % |
23.24/23.39 c | 24511 | 17502 97501 320489 | 2147483647 24503 55 | 0.023 % |
23.44/23.50 c | 24706 | 17502 97501 320489 | 2147483647 24698 55 | 0.024 % |
23.64/23.70 c | 24920 | 17502 97501 320489 | 2147483647 24912 55 | 0.023 % |
23.84/23.98 c | 25153 | 17502 97501 320489 | 2147483647 25145 55 | 0.024 % |
24.24/24.32 c | 25409 | 17502 97501 320489 | 2147483647 25401 55 | 0.023 % |
24.44/24.56 c | 25691 | 17502 97501 320489 | 2147483647 25683 56 | 0.023 % |
24.64/24.77 c | 26000 | 17502 97501 320489 | 2147483647 25992 56 | 0.023 % |
25.04/25.13 c | 26339 | 17502 97501 320489 | 2147483647 26331 56 | 0.023 % |
25.34/25.48 c | 26711 | 17502 97501 320489 | 2147483647 26703 55 | 0.023 % |
25.54/25.69 c | 27120 | 17502 97501 320489 | 2147483647 27112 56 | 0.023 % |
26.34/26.49 c | 27569 | 17502 97501 320489 | 2147483647 27561 56 | 0.023 % |
26.53/26.69 c | 27669 | 17502 97501 320489 | 2147483647 27661 56 | 0.023 % |
26.63/26.73 c | 27781 | 17502 97501 320489 | 2147483647 27773 56 | 0.023 % |
26.83/26.99 c | 27902 | 17502 97501 320489 | 2147483647 27894 56 | 0.023 % |
27.23/27.35 c | 28036 | 17502 97501 320489 | 2147483647 28028 56 | 0.023 % |
27.34/27.43 c | 28182 | 17502 97501 320489 | 2147483647 28174 56 | 0.023 % |
27.44/27.56 c | 28342 | 17502 97501 320489 | 2147483647 28334 56 | 0.023 % |
27.73/27.83 c | 28518 | 17502 97501 320489 | 2147483647 28510 56 | 0.023 % |
27.83/27.98 c | 28711 | 17502 97501 320489 | 2147483647 28703 56 | 0.023 % |
28.03/28.11 c | 28923 | 17502 97501 320489 | 2147483647 28915 56 | 0.024 % |
28.23/28.35 c | 29156 | 17502 97501 320489 | 2147483647 29148 56 | 0.023 % |
28.54/28.64 c | 29413 | 17502 97501 320489 | 2147483647 29405 57 | 0.023 % |
28.93/29.00 c | 29695 | 17502 97501 320489 | 2147483647 29687 57 | 0.023 % |
29.03/29.15 c | 30004 | 17502 97501 320489 | 2147483647 29996 57 | 0.023 % |
29.54/29.67 c | 30343 | 17502 97501 320489 | 2147483647 30335 57 | 0.023 % |
29.94/30.04 c | 30715 | 17502 97501 320489 | 2147483647 30707 58 | 0.023 % |
30.54/30.61 c | 31124 | 17502 97501 320489 | 2147483647 31116 58 | 0.023 % |
31.14/31.22 c | 31575 | 17502 97501 320489 | 2147483647 31567 59 | 0.023 % |
31.94/32.06 c | 32068 | 17502 97501 320489 | 2147483647 32060 60 | 0.023 % |
32.14/32.25 c | 32168 | 17502 97501 320489 | 2147483647 32160 60 | 0.023 % |
32.24/32.36 c | 32279 | 17502 97501 320489 | 2147483647 32271 60 | 0.023 % |
32.44/32.56 c | 32400 | 17502 97501 320489 | 2147483647 32392 59 | 0.023 % |
32.54/32.63 c | 32533 | 17502 97501 320489 | 2147483647 32525 59 | 0.023 % |
32.64/32.78 c | 32679 | 17502 97501 320489 | 2147483647 32671 59 | 0.023 % |
32.74/32.90 c | 32840 | 17502 97501 320489 | 2147483647 32832 59 | 0.023 % |
32.84/32.99 c | 33017 | 17502 97501 320489 | 2147483647 33009 59 | 0.023 % |
33.04/33.17 c | 33214 | 17502 97501 320489 | 2147483647 33206 60 | 0.023 % |
33.44/33.54 c | 33427 | 17502 97501 320489 | 2147483647 33419 60 | 0.023 % |
33.84/33.99 c | 33660 | 17502 97501 320489 | 2147483647 33652 60 | 0.023 % |
34.04/34.17 c | 33916 | 17502 97501 320489 | 2147483647 33908 60 | 0.023 % |
34.24/34.39 c | 34197 | 17502 97501 320489 | 2147483647 34189 61 | 0.023 % |
34.44/34.54 c | 34506 | 17502 97501 320489 | 2147483647 34498 61 | 0.023 % |
34.74/34.90 c | 34845 | 17502 97501 320489 | 2147483647 34837 61 | 0.023 % |
35.24/35.32 c | 35218 | 17502 97501 320489 | 2147483647 35210 62 | 0.023 % |
35.44/35.60 c | 35627 | 17502 97501 320489 | 2147483647 35619 62 | 0.023 % |
35.94/36.06 c | 36076 | 17502 97501 320489 | 2147483647 36068 62 | 0.023 % |
36.73/36.84 c | 36570 | 17502 97501 320489 | 2147483647 36562 62 | 0.023 % |
37.43/37.55 c | 37113 | 17502 97501 320489 | 2147483647 37105 62 | 0.023 % |
37.53/37.64 c | 37214 | 17502 97501 320489 | 2147483647 37206 62 | 0.023 % |
37.73/37.84 c | 37324 | 17502 97501 320489 | 2147483647 37316 62 | 0.023 % |
37.93/38.07 c | 37448 | 17502 97501 320489 | 2147483647 37440 62 | 0.023 % |
38.03/38.14 c | 37582 | 17502 97501 320489 | 2147483647 37574 62 | 0.023 % |
38.23/38.39 c | 37730 | 17502 97501 320489 | 2147483647 37722 62 | 0.023 % |
38.44/38.55 c | 37890 | 17502 97501 320489 | 2147483647 37882 62 | 0.023 % |
38.53/38.67 c | 38068 | 17502 97501 320489 | 2147483647 38060 62 | 0.023 % |
38.83/38.97 c | 38261 | 17502 97501 320489 | 2147483647 38253 62 | 0.023 % |
39.03/39.11 c | 38474 | 17502 97501 320489 | 2147483647 38466 62 | 0.023 % |
39.23/39.39 c | 38709 | 17502 97501 320489 | 2147483647 38701 62 | 0.023 % |
39.43/39.57 c | 38965 | 17502 97501 320489 | 2147483647 38957 62 | 0.023 % |
39.83/39.96 c | 39246 | 17502 97501 320489 | 2147483647 39238 62 | 0.023 % |
40.03/40.20 c | 39555 | 17502 97501 320489 | 2147483647 39547 62 | 0.023 % |
40.83/41.00 c | 39894 | 17502 97501 320489 | 2147483647 39886 62 | 0.023 % |
41.23/41.32 c | 40267 | 17502 97501 320489 | 2147483647 40259 62 | 0.023 % |
41.82/41.99 c | 40676 | 17502 97501 320489 | 2147483647 40668 62 | 0.023 % |
42.22/42.39 c | 41128 | 17502 97501 320489 | 2147483647 41120 63 | 0.023 % |
43.12/43.24 c | 41622 | 17502 97501 320489 | 2147483647 41614 63 | 0.023 % |
43.43/43.57 c | 42164 | 17502 97501 320489 | 2147483647 42156 64 | 0.023 % |
44.33/44.41 c | 42761 | 17502 97501 320489 | 2147483647 42753 64 | 0.023 % |
44.53/44.67 c | 42862 | 17502 97501 320489 | 2147483647 42854 64 | 0.023 % |
44.73/44.83 c | 42972 | 17502 97501 320489 | 2147483647 42964 64 | 0.023 % |
44.94/45.03 c | 43095 | 17502 97501 320489 | 2147483647 43087 64 | 0.023 % |
45.13/45.24 c | 43229 | 17502 97501 320489 | 2147483647 43221 64 | 0.023 % |
45.53/45.63 c | 43378 | 17502 97501 320489 | 2147483647 43370 64 | 0.023 % |
45.93/46.00 c | 43539 | 17502 97501 320489 | 2147483647 43531 64 | 0.023 % |
46.04/46.19 c | 43715 | 17502 97501 320489 | 2147483647 43707 64 | 0.024 % |
46.23/46.33 c | 43908 | 17502 97501 320489 | 2147483647 43900 64 | 0.024 % |
46.33/46.48 c | 44121 | 17502 97501 320489 | 2147483647 44113 65 | 0.023 % |
46.73/46.82 c | 44357 | 17502 97501 320489 | 2147483647 44349 65 | 0.023 % |
46.93/47.07 c | 44613 | 17502 97501 320489 | 2147483647 44605 65 | 0.023 % |
47.33/47.44 c | 44895 | 17502 97501 320489 | 2147483647 44887 65 | 0.023 % |
47.63/47.75 c | 45207 | 17502 97501 320489 | 2147483647 45199 65 | 0.023 % |
47.93/48.06 c | 45547 | 17502 97501 320489 | 2147483647 45539 64 | 0.023 % |
48.73/48.89 c | 45923 | 17502 97501 320489 | 2147483647 45915 64 | 0.024 % |
49.43/49.53 c | 46335 | 17502 97501 320489 | 2147483647 46327 64 | 0.023 % |
50.13/50.21 c | 46785 | 17502 97501 320489 | 2147483647 46777 64 | 0.023 % |
50.33/50.46 c | 47279 | 17502 97501 320489 | 2147483647 47271 65 | 0.023 % |
51.03/51.14 c | 47827 | 17502 97501 320489 | 2147483647 47819 65 | 0.023 % |
51.82/51.94 c | 48423 | 17502 97501 320489 | 2147483647 48415 65 | 0.023 % |
52.42/52.51 c | 49078 | 17502 97501 320489 | 2147483647 49070 65 | 0.023 % |
52.52/52.66 c | 49178 | 17502 97501 320489 | 2147483647 49170 65 | 0.023 % |
52.73/52.87 c | 49289 | 17502 97501 320489 | 2147483647 49281 65 | 0.023 % |
53.02/53.12 c | 49411 | 17502 97501 320489 | 2147483647 49403 65 | 0.023 % |
53.12/53.22 c | 49544 | 17502 97501 320489 | 2147483647 49536 65 | 0.023 % |
53.42/53.56 c | 49691 | 17502 97501 320489 | 2147483647 49683 65 | 0.023 % |
53.62/53.72 c | 49852 | 17502 97501 320489 | 2147483647 49844 65 | 0.023 % |
53.92/54.01 c | 50031 | 17502 97501 320489 | 2147483647 50023 65 | 0.023 % |
54.32/54.47 c | 50224 | 17502 97501 320489 | 2147483647 50216 65 | 0.023 % |
54.62/54.78 c | 50436 | 17502 97501 320489 | 2147483647 50428 65 | 0.023 % |
55.12/55.20 c | 50669 | 17502 97501 320489 | 2147483647 50661 65 | 0.023 % |
55.32/55.43 c | 50925 | 17502 97501 320489 | 2147483647 50917 65 | 0.023 % |
55.72/55.88 c | 51208 | 17502 97501 320489 | 2147483647 51200 65 | 0.023 % |
56.42/56.55 c | 51520 | 17502 97501 320489 | 2147483647 51512 65 | 0.023 % |
57.22/57.38 c | 51859 | 17502 97501 320489 | 2147483647 51851 65 | 0.023 % |
57.62/57.77 c | 52233 | 17502 97501 320489 | 2147483647 52225 65 | 0.023 % |
58.13/58.27 c | 52642 | 17502 97501 320489 | 2147483647 52634 65 | 0.023 % |
59.13/59.26 c | 53091 | 17502 97501 320489 | 2147483647 53083 65 | 0.023 % |
59.83/59.93 c | 53585 | 17502 97501 320489 | 2147483647 53577 65 | 0.023 % |
60.73/60.80 c | 54127 | 17502 97501 320489 | 2147483647 54119 65 | 0.023 % |
62.12/62.25 c | 54723 | 17502 97501 320489 | 2147483647 54715 65 | 0.023 % |
62.72/62.86 c | 55378 | 17502 97501 320489 | 2147483647 55370 65 | 0.023 % |
63.32/63.45 c | 56099 | 17502 97501 320489 | 2147483647 56091 64 | 0.023 % |
63.52/63.67 c | 56201 | 17502 97501 320489 | 2147483647 56193 64 | 0.024 % |
63.73/63.88 c | 56312 | 17502 97501 320489 | 2147483647 56304 64 | 0.024 % |
63.92/64.07 c | 56433 | 17502 97501 320489 | 2147483647 56425 64 | 0.023 % |
64.02/64.15 c | 56566 | 17502 97501 320489 | 2147483647 56558 64 | 0.023 % |
64.32/64.49 c | 56713 | 17502 97501 320489 | 2147483647 56705 65 | 0.023 % |
64.62/64.73 c | 56873 | 17502 97501 320489 | 2147483647 56865 65 | 0.023 % |
65.02/65.11 c | 57049 | 17502 97501 320489 | 2147483647 57041 65 | 0.023 % |
65.52/65.64 c | 57242 | 17502 97501 320489 | 2147483647 57234 65 | 0.023 % |
65.83/65.99 c | 57454 | 17502 97501 320489 | 2147483647 57446 65 | 0.024 % |
66.02/66.17 c | 57687 | 17502 97501 320489 | 2147483647 57679 65 | 0.023 % |
66.42/66.54 c | 57943 | 17502 97501 320489 | 2147483647 57935 65 | 0.023 % |
66.72/66.85 c | 58224 | 17502 97501 320489 | 2147483647 58216 64 | 0.023 % |
67.03/67.14 c | 58534 | 17502 97501 320489 | 2147483647 58526 65 | 0.023 % |
67.52/67.63 c | 58875 | 17501 97431 320326 | 2147483647 58743 65 | 0.029 % |
67.82/67.97 c | 59249 | 17501 97431 320326 | 2147483647 59117 65 | 0.029 % |
68.52/68.67 c | 59658 | 17501 97431 320326 | 2147483647 59526 65 | 0.029 % |
68.92/69.07 c | 60107 | 17501 97431 320326 | 2147483647 59975 65 | 0.029 % |
69.32/69.49 c | 60603 | 17501 97431 320326 | 2147483647 60471 65 | 0.029 % |
70.12/70.26 c | 61145 | 17501 97431 320326 | 2147483647 61013 65 | 0.029 % |
70.81/70.97 c | 61743 | 17501 97431 320326 | 2147483647 61611 65 | 0.029 % |
71.51/71.64 c | 62399 | 17501 97431 320326 | 2147483647 62267 65 | 0.029 % |
72.42/72.51 c | 63120 | 17501 97431 320326 | 2147483647 62988 65 | 0.029 % |
73.21/73.35 c | 63913 | 17501 97431 320326 | 2147483647 63781 65 | 0.029 % |
73.52/73.63 c | 64013 | 17501 97431 320326 | 2147483647 63881 65 | 0.029 % |
73.62/73.79 c | 64125 | 17501 97431 320326 | 2147483647 63993 65 | 0.029 % |
73.81/73.92 c | 64247 | 17501 97431 320326 | 2147483647 64115 65 | 0.029 % |
73.91/74.09 c | 64380 | 17501 97431 320326 | 2147483647 64248 65 | 0.029 % |
74.41/74.51 c | 64528 | 17501 97431 320326 | 2147483647 64396 65 | 0.029 % |
74.62/74.72 c | 64692 | 17501 97431 320326 | 2147483647 64560 65 | 0.030 % |
74.81/74.91 c | 64872 | 17501 97431 320326 | 2147483647 64740 65 | 0.029 % |
75.01/75.13 c | 65066 | 17501 97431 320326 | 2147483647 64934 65 | 0.029 % |
75.51/75.61 c | 65279 | 17501 97431 320326 | 2147483647 65147 65 | 0.029 % |
75.82/75.94 c | 65512 | 17501 97431 320326 | 2147483647 65380 65 | 0.029 % |
76.31/76.42 c | 65769 | 17501 97431 320326 | 2147483647 65637 65 | 0.029 % |
76.71/76.83 c | 66052 | 17501 97431 320326 | 2147483647 65920 65 | 0.029 % |
77.21/77.31 c | 66361 | 17501 97431 320326 | 2147483647 66229 65 | 0.029 % |
77.51/77.61 c | 66700 | 17501 97431 320326 | 2147483647 66568 65 | 0.029 % |
78.01/78.12 c | 67073 | 17501 97431 320326 | 2147483647 66941 65 | 0.029 % |
78.61/78.76 c | 67482 | 17501 97431 320326 | 2147483647 67350 65 | 0.029 % |
79.51/79.62 c | 67933 | 17501 97431 320326 | 2147483647 67801 65 | 0.029 % |
80.01/80.15 c | 68426 | 17501 97431 320326 | 2147483647 68294 65 | 0.029 % |
80.71/80.84 c | 68969 | 17501 97431 320326 | 2147483647 68837 65 | 0.029 % |
81.51/81.67 c | 69567 | 17501 97431 320326 | 2147483647 69435 65 | 0.029 % |
82.81/82.93 c | 70223 | 17501 97431 320326 | 2147483647 70091 66 | 0.029 % |
84.01/84.16 c | 70943 | 17501 97431 320326 | 2147483647 70811 66 | 0.029 % |
85.01/85.18 c | 71737 | 17501 97431 320326 | 2147483647 71605 66 | 0.029 % |
86.12/86.27 c | 72610 | 17501 97431 320326 | 2147483647 72478 66 | 0.029 % |
86.42/86.50 c | 72712 | 17501 97431 320326 | 2147483647 72580 66 | 0.029 % |
86.52/86.65 c | 72822 | 17501 97431 320326 | 2147483647 72690 66 | 0.029 % |
86.72/86.86 c | 72945 | 17501 97431 320326 | 2147483647 72813 66 | 0.029 % |
86.92/87.06 c | 73078 | 17501 97431 320326 | 2147483647 72946 66 | 0.029 % |
87.11/87.20 c | 73225 | 17501 97431 320326 | 2147483647 73093 66 | 0.030 % |
87.41/87.50 c | 73386 | 17501 97431 320326 | 2147483647 73254 66 | 0.029 % |
87.61/87.73 c | 73564 | 17501 97431 320326 | 2147483647 73432 66 | 0.030 % |
87.82/87.91 c | 73757 | 17501 97431 320326 | 2147483647 73625 66 | 0.030 % |
88.21/88.32 c | 73970 | 17501 97431 320326 | 2147483647 73838 66 | 0.029 % |
88.71/88.89 c | 74206 | 17501 97431 320326 | 2147483647 74074 66 | 0.029 % |
89.21/89.31 c | 74462 | 17501 97431 320326 | 2147483647 74330 66 | 0.029 % |
89.91/90.05 c | 74743 | 17501 97431 320326 | 2147483647 74611 66 | 0.029 % |
90.31/90.42 c | 75052 | 17501 97431 320326 | 2147483647 74920 66 | 0.029 % |
90.71/90.86 c | 75391 | 17501 97431 320326 | 2147483647 75259 66 | 0.029 % |
91.21/91.34 c | 75764 | 17501 97431 320326 | 2147483647 75632 66 | 0.029 % |
91.81/91.93 c | 76173 | 17501 97431 320326 | 2147483647 76041 66 | 0.029 % |
92.31/92.47 c | 76623 | 17501 97431 320326 | 2147483647 76491 66 | 0.029 % |
93.11/93.23 c | 77116 | 17501 97431 320326 | 2147483647 76984 66 | 0.029 % |
93.90/94.06 c | 77658 | 17501 97431 320326 | 2147483647 77526 66 | 0.029 % |
94.60/94.72 c | 78255 | 17501 97431 320326 | 2147483647 78123 66 | 0.029 % |
95.80/95.99 c | 78910 | 17501 97431 320326 | 2147483647 78778 66 | 0.029 % |
96.90/97.02 c | 79631 | 17501 97431 320326 | 2147483647 79499 66 | 0.029 % |
97.90/98.02 c | 80423 | 17501 97431 320326 | 2147483647 80291 66 | 0.029 % |
99.00/99.15 c | 81296 | 17501 97431 320326 | 2147483647 81164 66 | 0.029 % |
100.50/100.65 c | 82255 | 17501 97431 320326 | 2147483647 82123 66 | 0.029 % |
100.80/100.94 c | 82357 | 17501 97431 320326 | 2147483647 82225 66 | 0.029 % |
101.00/101.12 c | 82468 | 17501 97431 320326 | 2147483647 82336 66 | 0.029 % |
101.30/101.46 c | 82595 | 17501 97431 320326 | 2147483647 82463 66 | 0.029 % |
101.50/101.65 c | 82728 | 17501 97431 320326 | 2147483647 82596 66 | 0.029 % |
101.80/101.99 c | 82875 | 17501 97431 320326 | 2147483647 82743 66 | 0.029 % |
102.10/102.26 c | 83035 | 17501 97431 320326 | 2147483647 82903 66 | 0.029 % |
102.50/102.66 c | 83214 | 17501 97431 320326 | 2147483647 83082 66 | 0.029 % |
102.81/102.96 c | 83407 | 17501 97431 320326 | 2147483647 83275 66 | 0.029 % |
103.21/103.33 c | 83621 | 17501 97431 320326 | 2147483647 83489 66 | 0.029 % |
103.61/103.75 c | 83855 | 17501 97431 320326 | 2147483647 83723 66 | 0.029 % |
103.81/103.97 c | 84112 | 17501 97431 320326 | 2147483647 83980 66 | 0.029 % |
104.11/104.20 c | 84395 | 17501 97431 320326 | 2147483647 84263 66 | 0.029 % |
104.71/104.88 c | 84704 | 17501 97431 320326 | 2147483647 84572 66 | 0.029 % |
105.21/105.39 c | 85043 | 17501 97431 320326 | 2147483647 84911 66 | 0.029 % |
105.61/105.79 c | 85415 | 17501 97431 320326 | 2147483647 85283 66 | 0.029 % |
106.31/106.47 c | 85824 | 17501 97431 320326 | 2147483647 85692 66 | 0.029 % |
107.10/107.27 c | 86273 | 17501 97431 320326 | 2147483647 86141 66 | 0.029 % |
107.90/108.01 c | 86767 | 17501 97431 320326 | 2147483647 86635 66 | 0.029 % |
108.90/109.10 c | 87309 | 17501 97431 320326 | 2147483647 87177 66 | 0.029 % |
109.60/109.70 c | 87905 | 17501 97431 320326 | 2147483647 87773 67 | 0.029 % |
110.50/110.64 c | 88561 | 17501 97431 320326 | 2147483647 88429 67 | 0.029 % |
111.80/111.91 c | 89283 | 17501 97431 320326 | 2147483647 89151 67 | 0.029 % |
113.40/113.54 c | 90076 | 17501 97431 320326 | 2147483647 89944 67 | 0.029 % |
114.50/114.63 c | 90947 | 17501 97431 320326 | 2147483647 90815 67 | 0.029 % |
116.20/116.31 c | 91905 | 17501 97431 320326 | 2147483647 91773 67 | 0.029 % |
117.20/117.38 c | 92958 | 17501 97431 320326 | 2147483647 92826 67 | 0.029 % |
117.40/117.53 c | 93059 | 17501 97431 320326 | 2147483647 92927 67 | 0.029 % |
117.50/117.68 c | 93172 | 17501 97431 320326 | 2147483647 93040 67 | 0.029 % |
117.80/117.91 c | 93293 | 17501 97431 320326 | 2147483647 93161 67 | 0.029 % |
117.90/118.09 c | 93426 | 17501 97431 320326 | 2147483647 93294 67 | 0.029 % |
118.10/118.29 c | 93574 | 17501 97431 320326 | 2147483647 93442 67 | 0.029 % |
118.50/118.63 c | 93737 | 17501 97431 320326 | 2147483647 93605 67 | 0.029 % |
118.90/119.01 c | 93913 | 17501 97431 320326 | 2147483647 93781 67 | 0.029 % |
119.40/119.59 c | 94107 | 17501 97431 320326 | 2147483647 93975 67 | 0.029 % |
119.70/119.89 c | 94319 | 17501 97431 320326 | 2147483647 94187 67 | 0.029 % |
120.10/120.20 c | 94552 | 17501 97431 320326 | 2147483647 94420 67 | 0.029 % |
120.60/120.74 c | 94808 | 17501 97431 320326 | 2147483647 94676 67 | 0.029 % |
121.00/121.13 c | 95092 | 17501 97431 320326 | 2147483647 94960 67 | 0.029 % |
121.60/121.79 c | 95403 | 17501 97431 320326 | 2147483647 95271 67 | 0.029 % |
122.30/122.47 c | 95742 | 17501 97431 320326 | 2147483647 95610 67 | 0.029 % |
123.00/123.14 c | 96116 | 17501 97431 320326 | 2147483647 95984 67 | 0.029 % |
124.00/124.17 c | 96529 | 17501 97431 320326 | 2147483647 96397 67 | 0.029 % |
124.79/124.95 c | 96979 | 17501 97431 320326 | 2147483647 96847 67 | 0.029 % |
125.59/125.77 c | 97473 | 17501 97431 320326 | 2147483647 97341 67 | 0.029 % |
126.40/126.56 c | 98016 | 17501 97431 320326 | 2147483647 97884 67 | 0.029 % |
127.50/127.63 c | 98612 | 17501 97431 320326 | 2147483647 98480 67 | 0.029 % |
128.80/128.90 c | 99268 | 17501 97431 320326 | 2147483647 99136 67 | 0.029 % |
130.20/130.36 c | 99989 | 17501 97431 320326 | 2147483647 99857 66 | 0.029 % |
131.40/131.59 c | 100782 | 17501 97431 320326 | 2147483647 100650 66 | 0.029 % |
132.80/132.96 c | 101653 | 17501 97431 320326 | 2147483647 101521 66 | 0.029 % |
133.90/134.04 c | 102612 | 17501 97431 320326 | 2147483647 102480 66 | 0.029 % |
134.90/135.07 c | 103666 | 17501 97431 320326 | 2147483647 103534 66 | 0.029 % |
136.69/136.86 c | 104824 | 17501 97431 320326 | 2147483647 104692 67 | 0.029 % |
136.89/137.05 c | 104926 | 17501 97431 320326 | 2147483647 104794 67 | 0.029 % |
137.09/137.23 c | 105039 | 17501 97431 320326 | 2147483647 104907 67 | 0.029 % |
137.59/137.78 c | 105161 | 17347 95126 314009 | 2147483647 93399 69 | 0.908 % |
137.89/138.06 c | 105295 | 17347 95126 314009 | 2147483647 93533 69 | 0.908 % |
138.19/138.32 c | 105441 | 17347 95126 314009 | 2147483647 93679 69 | 0.908 % |
138.49/138.64 c | 105602 | 17347 95126 314009 | 2147483647 93840 69 | 0.908 % |
138.79/138.93 c | 105778 | 17347 95126 314009 | 2147483647 94016 69 | 0.908 % |
139.09/139.28 c | 105971 | 17347 95126 314009 | 2147483647 94209 69 | 0.908 % |
139.49/139.68 c | 106184 | 17347 95126 314009 | 2147483647 94422 69 | 0.908 % |
139.89/140.07 c | 106417 | 17347 95126 314009 | 2147483647 94655 69 | 0.908 % |
140.29/140.48 c | 106673 | 17347 95126 314009 | 2147483647 94911 69 | 0.908 % |
140.79/140.90 c | 106955 | 17347 95126 314009 | 2147483647 95193 69 | 0.908 % |
141.39/141.59 c | 107264 | 17347 95126 314009 | 2147483647 95502 68 | 0.908 % |
142.19/142.36 c | 107607 | 17347 95126 314009 | 2147483647 95845 68 | 0.908 % |
142.89/143.01 c | 107980 | 17347 95126 314009 | 2147483647 96218 68 | 0.908 % |
143.39/143.57 c | 108389 | 17347 95126 314009 | 2147483647 96626 69 | 0.914 % |
144.19/144.34 c | 108838 | 17347 95126 314009 | 2147483647 97075 69 | 0.914 % |
144.89/145.01 c | 109333 | 17347 95126 314009 | 2147483647 97570 69 | 0.914 % |
145.69/145.81 c | 109875 | 17347 95126 314009 | 2147483647 98112 69 | 0.914 % |
146.59/146.78 c | 110472 | 17347 95126 314009 | 2147483647 98709 69 | 0.914 % |
147.69/147.81 c | 111128 | 17347 95126 314009 | 2147483647 99365 69 | 0.914 % |
148.98/149.19 c | 111848 | 17347 95126 314009 | 2147483647 100085 68 | 0.914 % |
149.98/150.15 c | 112641 | 17347 95126 314009 | 2147483647 100878 68 | 0.914 % |
151.78/151.92 c | 113514 | 17347 95126 314009 | 2147483647 101751 69 | 0.914 % |
153.58/153.78 c | 114472 | 17347 95126 314009 | 2147483647 102709 69 | 0.914 % |
155.68/155.83 c | 115527 | 17346 95118 313983 | 2147483647 103764 69 | 0.914 % |
158.08/158.22 c | 116686 | 17346 95118 313983 | 2147483647 104923 69 | 0.914 % |
160.98/161.18 c | 117959 | 17346 95118 313983 | 2147483647 106196 69 | 0.914 % |
161.18/161.37 c | 118060 | 17346 95118 313983 | 2147483647 106297 69 | 0.914 % |
161.38/161.57 c | 118172 | 17346 95118 313983 | 2147483647 106409 69 | 0.914 % |
161.78/161.97 c | 118293 | 17346 95118 313983 | 2147483647 106530 69 | 0.914 % |
162.08/162.27 c | 118426 | 17346 95118 313983 | 2147483647 106663 69 | 0.914 % |
162.48/162.68 c | 118572 | 17346 95118 313983 | 2147483647 106809 69 | 0.914 % |
162.88/163.01 c | 118732 | 17346 95118 313983 | 2147483647 106969 69 | 0.914 % |
163.18/163.34 c | 118909 | 17346 95118 313983 | 2147483647 107146 69 | 0.914 % |
163.68/163.85 c | 119102 | 17346 95118 313983 | 2147483647 107339 69 | 0.914 % |
164.08/164.25 c | 119314 | 17346 95118 313983 | 2147483647 107551 69 | 0.914 % |
164.48/164.64 c | 119547 | 17346 95118 313983 | 2147483647 107784 69 | 0.914 % |
165.08/165.24 c | 119803 | 17346 95118 313983 | 2147483647 108040 69 | 0.914 % |
165.58/165.73 c | 120084 | 17346 95118 313983 | 2147483647 108321 69 | 0.914 % |
166.28/166.41 c | 120394 | 17346 95118 313983 | 2147483647 108631 69 | 0.914 % |
167.08/167.20 c | 120735 | 17346 95118 313983 | 2147483647 108972 69 | 0.914 % |
167.68/167.88 c | 121110 | 17346 95118 313983 | 2147483647 109347 69 | 0.914 % |
168.88/169.08 c | 121519 | 17346 95118 313983 | 2147483647 109756 69 | 0.914 % |
169.98/170.12 c | 121968 | 17346 95118 313983 | 2147483647 110205 69 | 0.914 % |
171.08/171.27 c | 122464 | 17346 95118 313983 | 2147483647 110701 69 | 0.914 % |
171.78/171.97 c | 123008 | 17346 95118 313983 | 2147483647 111245 69 | 0.914 % |
173.47/173.66 c | 123605 | 17346 95118 313983 | 2147483647 111842 69 | 0.914 % |
174.68/174.82 c | 124260 | 17346 95118 313983 | 2147483647 112497 69 | 0.914 % |
176.47/176.68 c | 124980 | 17346 95118 313983 | 2147483647 113217 69 | 0.914 % |
177.87/178.08 c | 125772 | 17346 95118 313983 | 2147483647 114009 69 | 0.914 % |
180.07/180.29 c | 126644 | 17346 95118 313983 | 2147483647 114881 69 | 0.914 % |
181.77/181.96 c | 127603 | 17346 95118 313983 | 2147483647 115840 69 | 0.914 % |
183.77/183.97 c | 128657 | 17346 95118 313983 | 2147483647 116894 69 | 0.914 % |
185.77/185.93 c | 129815 | 17346 95118 313983 | 2147483647 118052 69 | 0.914 % |
188.57/188.74 c | 131090 | 17346 95118 313983 | 2147483647 119327 70 | 0.914 % |
191.28/191.43 c | 132491 | 17346 95118 313983 | 2147483647 120728 70 | 0.914 % |
191.47/191.60 c | 132593 | 17346 95118 313983 | 2147483647 120830 69 | 0.914 % |
191.77/191.93 c | 132703 | 17346 95118 313983 | 2147483647 120940 69 | 0.914 % |
191.97/192.15 c | 132824 | 17346 95118 313983 | 2147483647 121061 69 | 0.914 % |
192.17/192.35 c | 132958 | 17346 95118 313983 | 2147483647 121195 69 | 0.914 % |
192.47/192.64 c | 133105 | 17346 95118 313983 | 2147483647 121342 69 | 0.914 % |
192.87/193.03 c | 133266 | 17346 95118 313983 | 2147483647 121503 69 | 0.914 % |
193.17/193.36 c | 133442 | 17346 95118 313983 | 2147483647 121679 69 | 0.914 % |
193.57/193.71 c | 133635 | 17346 95118 313983 | 2147483647 121872 69 | 0.914 % |
193.87/194.07 c | 133848 | 17346 95118 313983 | 2147483647 122085 69 | 0.914 % |
194.48/194.61 c | 134082 | 17346 95118 313983 | 2147483647 122319 69 | 0.914 % |
195.17/195.34 c | 134338 | 17346 95118 313983 | 2147483647 122575 69 | 0.914 % |
195.67/195.89 c | 134620 | 17346 95118 313983 | 2147483647 122857 69 | 0.914 % |
196.37/196.59 c | 134929 | 17346 95118 313983 | 2147483647 123166 69 | 0.914 % |
197.27/197.46 c | 135268 | 17346 95118 313983 | 2147483647 123505 69 | 0.914 % |
198.17/198.31 c | 135641 | 17346 95118 313983 | 2147483647 123878 69 | 0.914 % |
199.07/199.29 c | 136050 | 17346 95118 313983 | 2147483647 124287 69 | 0.914 % |
200.27/200.44 c | 136499 | 17346 95118 313983 | 2147483647 124736 69 | 0.914 % |
201.67/201.80 c | 136994 | 17346 95118 313983 | 2147483647 125231 69 | 0.914 % |
203.07/203.27 c | 137536 | 17346 95118 313983 | 2147483647 125773 69 | 0.914 % |
204.97/205.16 c | 138132 | 17346 95118 313983 | 2147483647 126369 69 | 0.914 % |
206.57/206.79 c | 138788 | 17346 95118 313983 | 2147483647 127025 69 | 0.914 % |
208.46/208.60 c | 139509 | 17346 95118 313983 | 2147483647 127746 69 | 0.914 % |
210.36/210.59 c | 140301 | 17346 95118 313983 | 2147483647 128538 69 | 0.914 % |
212.07/212.22 c | 141173 | 17346 95118 313983 | 2147483647 129410 69 | 0.914 % |
214.46/214.64 c | 142131 | 17346 95118 313983 | 2147483647 130368 69 | 0.914 % |
216.56/216.71 c | 143185 | 17346 95118 313983 | 2147483647 131422 69 | 0.914 % |
218.56/218.78 c | 144343 | 17346 95118 313983 | 2147483647 132580 69 | 0.914 % |
221.26/221.42 c | 145617 | 17346 95118 313983 | 2147483647 133854 69 | 0.914 % |
224.36/224.58 c | 147021 | 17346 95118 313983 | 2147483647 135258 69 | 0.914 % |
227.96/228.14 c | 148561 | 17346 95118 313983 | 2147483647 136798 69 | 0.914 % |
228.26/228.48 c | 148662 | 17346 95118 313983 | 2147483647 136899 69 | 0.914 % |
228.46/228.69 c | 148772 | 17346 95118 313983 | 2147483647 137009 69 | 0.914 % |
228.76/228.90 c | 148894 | 17346 95118 313983 | 2147483647 137131 69 | 0.914 % |
229.06/229.28 c | 149028 | 17346 95118 313983 | 2147483647 137265 69 | 0.914 % |
229.66/229.84 c | 149174 | 17346 95118 313983 | 2147483647 137411 69 | 0.914 % |
230.06/230.25 c | 149335 | 17346 95118 313983 | 2147483647 137572 69 | 0.914 % |
230.56/230.73 c | 149513 | 17346 95118 313983 | 2147483647 137750 69 | 0.914 % |
230.96/231.19 c | 149707 | 17346 95118 313983 | 2147483647 137944 69 | 0.914 % |
231.56/231.72 c | 149921 | 17346 95118 313983 | 2147483647 138158 69 | 0.914 % |
231.96/232.16 c | 150154 | 17346 95118 313983 | 138237 138391 69 | 0.914 % |
232.56/232.78 c | 150411 | 17346 95118 313983 | 138237 138648 68 | 0.914 % |
234.06/234.22 c | 150695 | 17346 95118 313983 | 138237 116341 65 | 0.914 % |
234.86/235.05 c | 151004 | 17346 95118 313983 | 138237 116650 65 | 0.914 % |
235.56/235.78 c | 151343 | 17346 95118 313983 | 138237 116989 65 | 0.914 % |
236.46/236.63 c | 151715 | 17346 95118 313983 | 138237 117361 65 | 0.914 % |
237.26/237.43 c | 152124 | 17346 95118 313983 | 138237 117770 65 | 0.914 % |
238.16/238.38 c | 152573 | 17346 95118 313983 | 138237 118219 65 | 0.914 % |
239.56/239.72 c | 153066 | 17346 95118 313983 | 138237 118712 65 | 0.914 % |
240.55/240.78 c | 153610 | 17346 95118 313983 | 138237 119256 65 | 0.914 % |
242.45/242.68 c | 154207 | 17346 95118 313983 | 138237 119853 65 | 0.914 % |
243.96/244.12 c | 154863 | 17346 95118 313983 | 138237 120509 65 | 0.914 % |
245.65/245.84 c | 155583 | 17346 95118 313983 | 138237 121229 65 | 0.914 % |
247.75/247.99 c | 156376 | 17346 95118 313983 | 138237 122022 65 | 0.914 % |
249.45/249.67 c | 157249 | 17346 95118 313983 | 138237 122895 65 | 0.914 % |
251.85/252.01 c | 158212 | 17346 95118 313983 | 138237 123858 65 | 0.914 % |
254.15/254.37 c | 159265 | 17346 95118 313983 | 138237 124911 64 | 0.914 % |
256.95/257.11 c | 160424 | 17346 95118 313983 | 125646 126070 64 | 0.914 % |
260.05/260.26 c | 161697 | 17346 95118 313983 | 125646 110932 63 | 0.914 % |
263.35/263.58 c | 163098 | 17346 95118 313983 | 125646 112333 63 | 0.914 % |
265.84/266.06 c | 164639 | 17346 95118 313983 | 125646 113874 63 | 0.914 % |
269.35/269.55 c | 166335 | 17346 95118 313983 | 125646 115570 63 | 0.914 % |
269.54/269.77 c | 166435 | 17346 95118 313983 | 125646 115670 63 | 0.914 % |
269.84/270.03 c | 166545 | 17346 95118 313983 | 125646 115780 63 | 0.914 % |
270.24/270.41 c | 166666 | 17346 95118 313983 | 125646 115901 63 | 0.914 % |
270.54/270.71 c | 166802 | 17346 95118 313983 | 125646 116037 63 | 0.914 % |
270.74/271.00 c | 166950 | 17346 95118 313983 | 125646 116185 63 | 0.914 % |
271.14/271.31 c | 167110 | 17346 95118 313983 | 125646 116345 63 | 0.914 % |
271.55/271.76 c | 167288 | 17346 95118 313983 | 125646 116523 63 | 0.914 % |
271.94/272.16 c | 167482 | 17346 95118 313983 | 125646 116717 63 | 0.914 % |
272.44/272.66 c | 167696 | 17346 95118 313983 | 125646 116931 63 | 0.914 % |
272.84/273.09 c | 167931 | 17346 95118 313983 | 125646 117166 63 | 0.914 % |
273.54/273.71 c | 168188 | 17346 95118 313983 | 125646 117423 63 | 0.914 % |
274.04/274.21 c | 168469 | 17346 95118 313983 | 125646 117704 63 | 0.914 % |
274.64/274.88 c | 168779 | 17346 95118 313983 | 125646 118014 63 | 0.914 % |
275.34/275.57 c | 169120 | 17346 95118 313983 | 125646 118355 63 | 0.914 % |
276.14/276.30 c | 169492 | 17346 95118 313983 | 125646 118727 63 | 0.914 % |
276.95/277.17 c | 169903 | 17346 95118 313983 | 125646 119138 62 | 0.914 % |
277.94/278.20 c | 170352 | 17346 95118 313983 | 119236 119587 62 | 0.914 % |
279.54/279.75 c | 170848 | 17346 95118 313983 | 119236 95869 60 | 0.914 % |
280.84/281.03 c | 171391 | 17346 95118 313983 | 119236 96412 60 | 0.914 % |
282.24/282.46 c | 171989 | 17346 95118 313983 | 119236 97010 60 | 0.914 % |
283.64/283.85 c | 172644 | 17346 95118 313983 | 119236 97665 60 | 0.914 % |
284.94/285.15 c | 173366 | 17346 95118 313983 | 119236 98387 60 | 0.914 % |
286.54/286.72 c | 174158 | 17346 95118 313983 | 119236 99179 60 | 0.914 % |
288.04/288.21 c | 175029 | 17346 95118 313983 | 119236 100050 60 | 0.914 % |
289.64/289.83 c | 175987 | 17346 95118 313983 | 119236 101008 60 | 0.914 % |
291.64/291.84 c | 177040 | 17346 95118 313983 | 119236 102061 60 | 0.914 % |
293.94/294.15 c | 178198 | 17346 95118 313983 | 119236 103219 60 | 0.914 % |
296.54/296.80 c | 179472 | 17346 95118 313983 | 119236 104493 60 | 0.914 % |
298.94/299.20 c | 180873 | 17346 95118 313983 | 105021 105894 60 | 0.914 % |
302.63/302.80 c | 182415 | 17346 95118 313983 | 105021 84051 56 | 0.914 % |
306.23/306.46 c | 184110 | 17346 95118 313983 | 105021 85746 56 | 0.914 % |
310.33/310.53 c | 185975 | 17346 95118 313983 | 105021 87611 56 | 0.914 % |
310.53/310.74 c | 186075 | 17346 95118 313983 | 105021 87711 56 | 0.914 % |
310.83/311.00 c | 186190 | 17346 95118 313983 | 105021 87826 56 | 0.914 % |
311.04/311.26 c | 186316 | 17346 95118 313983 | 105021 87952 56 | 0.914 % |
311.43/311.60 c | 186449 | 17346 95118 313983 | 105021 88085 56 | 0.914 % |
311.63/311.88 c | 186597 | 17346 95118 313983 | 105021 88233 56 | 0.914 % |
311.93/312.16 c | 186757 | 17346 95118 313983 | 105021 88393 56 | 0.914 % |
312.43/312.65 c | 186934 | 17346 95118 313983 | 105021 88570 56 | 0.914 % |
312.93/313.12 c | 187127 | 17346 95118 313983 | 105021 88763 55 | 0.914 % |
313.34/313.58 c | 187342 | 17346 95118 313983 | 105021 88978 56 | 0.914 % |
313.73/313.94 c | 187577 | 17346 95118 313983 | 105021 89213 56 | 0.914 % |
314.44/314.63 c | 187833 | 17346 95118 313983 | 105021 89469 56 | 0.914 % |
315.03/315.30 c | 188114 | 17346 95118 313983 | 105021 89750 56 | 0.914 % |
315.83/316.03 c | 188423 | 17346 95118 313983 | 105021 90059 56 | 0.914 % |
316.33/316.57 c | 188765 | 17346 95118 313983 | 105021 90401 56 | 0.914 % |
316.93/317.18 c | 189137 | 17346 95118 313983 | 105021 90773 55 | 0.914 % |
317.93/318.15 c | 189549 | 17346 95118 313983 | 105021 91185 56 | 0.914 % |
318.73/318.94 c | 189998 | 17346 95118 313983 | 105021 91634 56 | 0.914 % |
319.53/319.75 c | 190492 | 17346 95118 313983 | 2147483647 92128 55 | 0.914 % |
320.63/320.90 c | 191034 | 17346 95118 313983 | 2147483647 92670 55 | 0.914 % |
321.73/321.98 c | 191630 | 17346 95118 313983 | 2147483647 93266 55 | 0.914 % |
323.03/323.30 c | 192287 | 17346 95118 313983 | 2147483647 93923 55 | 0.914 % |
324.43/324.66 c | 193008 | 17346 95118 313983 | 2147483647 94644 56 | 0.914 % |
325.83/326.05 c | 193801 | 17346 95118 313983 | 2147483647 95437 55 | 0.914 % |
327.53/327.76 c | 194673 | 17346 95118 313983 | 2147483647 96309 55 | 0.914 % |
330.03/330.20 c | 195631 | 17346 95118 313983 | 2147483647 97267 55 | 0.914 % |
332.42/332.60 c | 196686 | 17346 95118 313983 | 2147483647 98322 55 | 0.914 % |
336.43/336.65 c | 197846 | 17345 94521 312732 | 2147483647 58515 57 | 0.920 % |
338.32/338.58 c | 199120 | 17345 94521 312732 | 2147483647 59789 57 | 0.920 % |
340.32/340.52 c | 200520 | 17345 94521 312732 | 2147483647 61189 57 | 0.920 % |
342.12/342.31 c | 202061 | 17345 94521 312732 | 2147483647 62730 57 | 0.920 % |
344.82/345.04 c | 203756 | 17345 94521 312732 | 2147483647 64425 57 | 0.920 % |
348.32/348.59 c | 205620 | 17345 94521 312732 | 2147483647 66289 58 | 0.920 % |
351.62/351.81 c | 207669 | 17345 94521 312732 | 2147483647 68338 58 | 0.920 % |
351.72/351.96 c | 207771 | 17345 94521 312732 | 2147483647 68440 58 | 0.920 % |
351.92/352.15 c | 207881 | 17345 94521 312732 | 2147483647 68550 58 | 0.920 % |
352.12/352.34 c | 208003 | 17345 94521 312732 | 2147483647 68672 58 | 0.920 % |
352.52/352.71 c | 208139 | 17345 94521 312732 | 2147483647 68808 58 | 0.920 % |
352.62/352.88 c | 208285 | 17345 94521 312732 | 2147483647 68954 58 | 0.920 % |
353.12/353.34 c | 208448 | 17345 94521 312732 | 2147483647 69117 58 | 0.920 % |
353.32/353.58 c | 208625 | 17345 94521 312732 | 2147483647 69294 58 | 0.920 % |
353.72/353.90 c | 208818 | 17345 94521 312732 | 2147483647 69487 58 | 0.920 % |
354.02/354.27 c | 209030 | 17345 94521 312732 | 2147483647 69699 58 | 0.920 % |
354.52/354.71 c | 209264 | 17345 94521 312732 | 2147483647 69933 58 | 0.920 % |
354.92/355.18 c | 209522 | 17345 94521 312732 | 2147483647 70191 58 | 0.920 % |
355.52/355.72 c | 209804 | 17345 94521 312732 | 2147483647 70473 58 | 0.920 % |
356.22/356.46 c | 210113 | 17345 94521 312732 | 2147483647 70782 58 | 0.920 % |
356.92/357.15 c | 210453 | 17345 94521 312732 | 2147483647 71122 58 | 0.920 % |
357.42/357.64 c | 210827 | 17345 94521 312732 | 2147483647 71496 58 | 0.920 % |
358.02/358.23 c | 211236 | 17345 94521 312732 | 2147483647 71905 58 | 0.920 % |
358.62/358.86 c | 211685 | 17345 94521 312732 | 2147483647 72354 58 | 0.920 % |
359.22/359.45 c | 212178 | 17345 94521 312732 | 2147483647 72847 58 | 0.921 % |
359.92/360.18 c | 212720 | 17345 94521 312732 | 2147483647 73389 58 | 0.920 % |
360.72/360.98 c | 213316 | 17345 94521 312732 | 2147483647 73985 58 | 0.920 % |
362.12/362.39 c | 213971 | 17345 94521 312732 | 2147483647 74640 58 | 0.920 % |
363.52/363.73 c | 214693 | 17345 94521 312732 | 2147483647 75362 58 | 0.920 % |
364.71/364.96 c | 215485 | 17345 94521 312732 | 2147483647 76154 58 | 0.920 % |
366.41/366.68 c | 216356 | 17345 94521 312732 | 2147483647 77025 59 | 0.920 % |
368.32/368.57 c | 217318 | 17345 94521 312732 | 2147483647 77987 59 | 0.920 % |
370.71/370.99 c | 218372 | 17345 94521 312732 | 2147483647 79041 59 | 0.920 % |
373.11/373.33 c | 219530 | 17345 94521 312732 | 2147483647 80199 59 | 0.920 % |
376.02/376.21 c | 220807 | 17345 94521 312732 | 2147483647 81476 59 | 0.920 % |
378.51/378.72 c | 222207 | 17345 94521 312732 | 2147483647 82876 59 | 0.920 % |
381.81/382.03 c | 223748 | 17345 94521 312732 | 2147483647 84417 59 | 0.920 % |
384.41/384.68 c | 225443 | 17345 94521 312732 | 2147483647 86112 59 | 0.920 % |
388.31/388.56 c | 227307 | 17345 94521 312732 | 2147483647 87976 59 | 0.920 % |
391.91/392.19 c | 229357 | 17345 94521 312732 | 2147483647 90026 60 | 0.920 % |
395.71/395.97 c | 231610 | 17345 94521 312732 | 2147483647 92279 60 | 0.920 % |
395.91/396.15 c | 231712 | 17345 94521 312732 | 2147483647 92381 60 | 0.920 % |
396.11/396.34 c | 231824 | 17345 94521 312732 | 2147483647 92493 60 | 0.920 % |
396.31/396.53 c | 231946 | 17345 94521 312732 | 2147483647 92615 60 | 0.920 % |
396.60/396.80 c | 232079 | 17345 94521 312732 | 2147483647 92748 60 | 0.920 % |
396.91/397.17 c | 232225 | 17345 94521 312732 | 2147483647 92894 60 | 0.920 % |
397.30/397.50 c | 232385 | 17345 94521 312732 | 2147483647 93054 60 | 0.920 % |
397.70/397.98 c | 232561 | 17345 94521 312732 | 2147483647 93230 60 | 0.920 % |
398.40/398.64 c | 232754 | 17345 94521 312732 | 2147483647 93423 60 | 0.920 % |
398.90/399.14 c | 232967 | 17345 94521 312732 | 2147483647 93636 60 | 0.920 % |
399.51/399.80 c | 233203 | 17345 94521 312732 | 2147483647 93872 60 | 0.920 % |
400.21/400.45 c | 233459 | 17345 94521 312732 | 2147483647 94128 60 | 0.920 % |
400.80/401.07 c | 233742 | 17345 94521 312732 | 2147483647 94411 60 | 0.920 % |
401.40/401.67 c | 234051 | 17345 94521 312732 | 2147483647 94720 60 | 0.920 % |
402.20/402.46 c | 234391 | 17345 94521 312732 | 2147483647 95060 60 | 0.920 % |
403.00/403.26 c | 234763 | 17345 94521 312732 | 2147483647 95432 60 | 0.920 % |
403.70/403.92 c | 235172 | 17345 94521 312732 | 2147483647 95841 60 | 0.920 % |
404.70/404.96 c | 235621 | 17345 94521 312732 | 2147483647 96290 60 | 0.920 % |
405.90/406.13 c | 236114 | 17345 94521 312732 | 2147483647 96783 60 | 0.920 % |
407.10/407.34 c | 236656 | 17345 94521 312732 | 2147483647 97325 59 | 0.920 % |
408.50/408.75 c | 237253 | 17345 94521 312732 | 2147483647 97922 59 | 0.920 % |
409.80/410.02 c | 237908 | 17345 94521 312732 | 2147483647 98577 59 | 0.920 % |
411.31/411.51 c | 238628 | 17345 94521 312732 | 2147483647 99297 59 | 0.920 % |
412.91/413.17 c | 239420 | 17345 94521 312732 | 2147483647 100089 60 | 0.920 % |
414.71/414.92 c | 240291 | 17345 94521 312732 | 100669 100960 60 | 0.920 % |
416.61/416.87 c | 241249 | 17345 94521 312732 | 100669 86967 58 | 0.920 % |
418.91/419.15 c | 242302 | 17345 94521 312732 | 100669 88020 58 | 0.920 % |
420.51/420.78 c | 243460 | 17345 94521 312732 | 100669 89178 58 | 0.920 % |
422.81/423.09 c | 244733 | 17345 94521 312732 | 100669 90451 58 | 0.920 % |
425.31/425.51 c | 246134 | 17345 94521 312732 | 100669 91852 58 | 0.920 % |
428.30/428.51 c | 247674 | 17345 94521 312732 | 100669 93392 58 | 0.920 % |
432.20/432.43 c | 249368 | 17345 94521 312732 | 100669 95086 58 | 0.920 % |
436.40/436.64 c | 251233 | 17345 94521 312732 | 95719 96951 58 | 0.920 % |
440.40/440.65 c | 253283 | 17345 94521 312732 | 95719 78860 56 | 0.920 % |
444.40/444.63 c | 255537 | 17345 94521 312732 | 95719 81114 56 | 0.920 % |
448.70/448.97 c | 258016 | 17345 94521 312732 | 95719 83593 56 | 0.920 % |
448.90/449.15 c | 258116 | 17345 94521 312732 | 95719 83693 56 | 0.920 % |
449.00/449.29 c | 258228 | 17345 94521 312732 | 95719 83805 56 | 0.920 % |
449.20/449.49 c | 258349 | 17345 94521 312732 | 95719 83926 56 | 0.920 % |
449.60/449.87 c | 258485 | 17345 94521 312732 | 95719 84062 56 | 0.920 % |
449.90/450.16 c | 258631 | 17345 94521 312732 | 95719 84208 56 | 0.920 % |
450.30/450.54 c | 258793 | 17345 94521 312732 | 95719 84370 56 | 0.920 % |
450.70/450.91 c | 258969 | 17345 94521 312732 | 95719 84546 56 | 0.920 % |
451.10/451.39 c | 259162 | 17345 94521 312732 | 95719 84739 56 | 0.920 % |
451.70/452.00 c | 259375 | 17345 94521 312732 | 95719 84952 56 | 0.920 % |
452.40/452.69 c | 259608 | 17345 94521 312732 | 95719 85185 56 | 0.920 % |
453.00/453.25 c | 259864 | 17345 94521 312732 | 95719 85441 56 | 0.920 % |
453.60/453.86 c | 260146 | 17345 94521 312732 | 85578 85723 56 | 0.920 % |
454.10/454.38 c | 260456 | 17345 94521 312732 | 85578 86033 56 | 0.920 % |
455.10/455.36 c | 260797 | 17345 94521 312732 | 85578 71628 54 | 0.920 % |
455.99/456.27 c | 261173 | 17345 94521 312732 | 85578 72004 54 | 0.920 % |
456.59/456.89 c | 261582 | 17345 94521 312732 | 85578 72413 54 | 0.920 % |
457.40/457.69 c | 262031 | 17345 94521 312732 | 85578 72862 54 | 0.920 % |
458.40/458.69 c | 262524 | 17345 94521 312732 | 85578 73355 54 | 0.920 % |
459.50/459.72 c | 263066 | 17345 94521 312732 | 85578 73897 54 | 0.920 % |
460.70/460.91 c | 263662 | 17345 94521 312732 | 85578 74493 54 | 0.920 % |
461.80/462.02 c | 264319 | 17345 94521 312732 | 85578 75150 54 | 0.920 % |
463.29/463.55 c | 265039 | 17345 94521 312732 | 85578 75870 54 | 0.920 % |
464.39/464.60 c | 265831 | 17345 94521 312732 | 85578 76662 54 | 0.920 % |
465.79/466.06 c | 266703 | 17345 94521 312732 | 85578 77534 54 | 0.920 % |
467.39/467.64 c | 267661 | 17345 94521 312732 | 85578 78492 54 | 0.920 % |
469.19/469.40 c | 268714 | 17345 94521 312732 | 85578 79545 54 | 0.920 % |
471.09/471.35 c | 269874 | 17345 94521 312732 | 85578 80705 54 | 0.920 % |
473.49/473.70 c | 271149 | 17345 94521 312732 | 80831 81980 55 | 0.920 % |
476.09/476.36 c | 272549 | 17345 94521 312732 | 80831 75182 53 | 0.920 % |
479.09/479.31 c | 274089 | 17345 94521 312732 | 80831 76722 53 | 0.920 % |
482.08/482.38 c | 275784 | 17345 94521 312732 | 80831 78417 53 | 0.920 % |
485.78/486.03 c | 277649 | 17345 94521 312732 | 80831 80282 53 | 0.920 % |
489.78/490.06 c | 279698 | 17345 94521 312732 | 80831 82331 54 | 0.920 % |
493.88/494.18 c | 281953 | 17345 94521 312732 | 66059 68011 51 | 0.920 % |
498.48/498.79 c | 284432 | 17345 94521 312732 | 66059 58152 50 | 0.920 % |
502.88/503.16 c | 287158 | 17345 94521 312732 | 66059 60878 50 | 0.920 % |
503.08/503.32 c | 287260 | 17345 94521 312732 | 66059 60980 50 | 0.920 % |
503.28/503.50 c | 287371 | 17345 94521 312732 | 66059 61091 50 | 0.920 % |
503.48/503.74 c | 287494 | 17345 94521 312732 | 66059 61214 50 | 0.920 % |
503.68/503.93 c | 287627 | 17345 94521 312732 | 66059 61347 50 | 0.920 % |
503.88/504.15 c | 287774 | 17345 94521 312732 | 66059 61494 50 | 0.920 % |
504.08/504.39 c | 287935 | 17345 94521 312732 | 66059 61655 50 | 0.920 % |
504.48/504.73 c | 288114 | 17345 94521 312732 | 66059 61834 50 | 0.920 % |
504.78/505.06 c | 288308 | 17345 94521 312732 | 66059 62028 50 | 0.920 % |
505.08/505.31 c | 288520 | 17345 94521 312732 | 66059 62240 50 | 0.920 % |
505.68/505.92 c | 288753 | 17345 94521 312732 | 66059 62473 50 | 0.920 % |
506.08/506.31 c | 289010 | 17345 94521 312732 | 66059 62730 50 | 0.920 % |
506.48/506.76 c | 289292 | 17345 94521 312732 | 66059 63012 50 | 0.920 % |
507.07/507.39 c | 289601 | 17345 94521 312732 | 66059 63321 50 | 0.920 % |
507.88/508.11 c | 289940 | 17345 94521 312732 | 66059 63660 50 | 0.920 % |
508.27/508.57 c | 290314 | 17345 94521 312732 | 2147483647 64034 50 | 0.920 % |
509.27/509.50 c | 290723 | 17345 94521 312732 | 2147483647 64443 50 | 0.920 % |
510.08/510.31 c | 291175 | 17345 94521 312732 | 2147483647 64895 50 | 0.920 % |
511.07/511.33 c | 291668 | 17345 94521 312732 | 2147483647 65388 50 | 0.920 % |
511.97/512.22 c | 292212 | 17345 94521 312732 | 2147483647 65932 50 | 0.920 % |
513.27/513.58 c | 292808 | 17345 94521 312732 | 2147483647 66528 50 | 0.920 % |
514.37/514.64 c | 293463 | 17345 94521 312732 | 2147483647 67183 50 | 0.920 % |
515.58/515.89 c | 294184 | 17345 94521 312732 | 2147483647 67904 50 | 0.920 % |
516.87/517.12 c | 294977 | 17345 94521 312732 | 2147483647 68697 50 | 0.920 % |
518.47/518.73 c | 295849 | 17345 94521 312732 | 2147483647 69569 50 | 0.920 % |
520.27/520.57 c | 296808 | 17345 94521 312732 | 2147483647 70528 50 | 0.920 % |
521.97/522.26 c | 297861 | 17345 94521 312732 | 2147483647 71581 50 | 0.920 % |
523.87/524.10 c | 299021 | 17345 94521 312732 | 2147483647 72741 50 | 0.920 % |
526.57/526.83 c | 300295 | 17345 94521 312732 | 2147483647 74015 50 | 0.920 % |
529.57/529.87 c | 301695 | 17345 94521 312732 | 2147483647 75415 50 | 0.920 % |
531.87/532.10 c | 303236 | 17345 94521 312732 | 2147483647 76956 50 | 0.920 % |
534.57/534.80 c | 304930 | 17345 94521 312732 | 2147483647 78650 51 | 0.920 % |
537.26/537.52 c | 306794 | 17345 94521 312732 | 2147483647 80514 52 | 0.920 % |
540.97/541.21 c | 308845 | 17345 94521 312732 | 2147483647 82565 52 | 0.920 % |
544.96/545.25 c | 311098 | 17345 94521 312732 | 2147483647 84818 52 | 0.920 % |
549.06/549.37 c | 313577 | 17345 94521 312732 | 2147483647 87297 52 | 0.920 % |
554.17/554.47 c | 316302 | 17345 94521 312732 | 2147483647 90022 52 | 0.920 % |
559.56/559.90 c | 319301 | 17345 94521 312732 | 2147483647 93021 52 | 0.920 % |
559.86/560.10 c | 319401 | 17345 94521 312732 | 2147483647 93121 52 | 0.920 % |
560.06/560.36 c | 319513 | 17345 94521 312732 | 2147483647 93233 52 | 0.920 % |
560.36/560.62 c | 319634 | 17345 94521 312732 | 2147483647 93354 52 | 0.920 % |
560.76/561.01 c | 319768 | 17345 94521 312732 | 2147483647 93488 52 | 0.920 % |
560.96/561.26 c | 319914 | 17345 94521 312732 | 2147483647 93634 52 | 0.920 % |
561.46/561.71 c | 320075 | 17345 94521 312732 | 93723 93795 52 | 0.920 % |
561.96/562.20 c | 320254 | 17345 94521 312732 | 93723 93974 52 | 0.920 % |
562.66/562.98 c | 320448 | 17345 94521 312732 | 93723 84224 52 | 0.920 % |
563.06/563.37 c | 320660 | 17345 94521 312732 | 93723 84436 52 | 0.920 % |
563.46/563.78 c | 320894 | 17345 94521 312732 | 93723 84670 52 | 0.920 % |
563.96/564.20 c | 321152 | 17345 94521 312732 | 93723 84928 52 | 0.920 % |
564.46/564.76 c | 321436 | 17345 94521 312732 | 93723 85212 52 | 0.920 % |
565.16/565.42 c | 321745 | 17345 94521 312732 | 93723 85521 52 | 0.920 % |
565.76/566.09 c | 322085 | 17345 94521 312732 | 93723 85861 52 | 0.920 % |
566.96/567.29 c | 322458 | 17344 94472 312611 | 93723 51246 54 | 0.926 % |
567.76/568.08 c | 322867 | 17344 94472 312611 | 93723 51655 54 | 0.925 % |
568.55/568.89 c | 323317 | 17344 94472 312611 | 93723 52105 54 | 0.926 % |
569.46/569.76 c | 323810 | 17344 94472 312611 | 93723 52598 54 | 0.926 % |
570.36/570.66 c | 324352 | 17344 94472 312611 | 93723 53140 54 | 0.926 % |
571.26/571.52 c | 324948 | 17344 94472 312611 | 93723 53736 54 | 0.925 % |
571.95/572.28 c | 325604 | 17344 94472 312611 | 93723 54392 54 | 0.926 % |
573.05/573.34 c | 326324 | 17344 94472 312611 | 93723 55112 54 | 0.925 % |
574.15/574.46 c | 327118 | 17344 94472 312611 | 93723 55906 54 | 0.926 % |
575.65/575.90 c | 327989 | 17344 94472 312611 | 93723 56777 54 | 0.926 % |
576.85/577.19 c | 328951 | 17344 94472 312611 | 93723 57739 54 | 0.926 % |
578.95/579.22 c | 330006 | 17344 94472 312611 | 2147483647 58794 54 | 0.926 % |
581.05/581.39 c | 331164 | 17344 94472 312611 | 2147483647 59952 54 | 0.926 % |
583.15/583.47 c | 332438 | 17344 94472 312611 | 2147483647 61226 54 | 0.925 % |
585.15/585.46 c | 333840 | 17344 94472 312611 | 2147483647 62628 54 | 0.926 % |
587.55/587.86 c | 335380 | 17344 94472 312611 | 2147483647 64168 55 | 0.926 % |
589.95/590.29 c | 337074 | 17344 94472 312611 | 2147483647 65862 54 | 0.926 % |
592.85/593.11 c | 338941 | 17344 94472 312611 | 2147483647 67729 54 | 0.926 % |
596.55/596.85 c | 340990 | 17344 94472 312611 | 68789 69778 54 | 0.925 % |
600.04/600.30 c | 343245 | 17344 94472 312611 | 68789 57127 52 | 0.925 % |
603.94/604.20 c | 345723 | 17344 94472 312611 | 68789 59605 52 | 0.926 % |
608.34/608.64 c | 348448 | 17344 94472 312611 | 68789 62330 52 | 0.926 % |
613.54/613.89 c | 351445 | 17344 94472 312611 | 63883 65327 52 | 0.925 % |
618.94/619.23 c | 354741 | 17344 94472 312611 | 63883 56808 50 | 0.926 % |
619.04/619.35 c | 354841 | 17344 94472 312611 | 63883 56908 50 | 0.926 % |
619.34/619.69 c | 354953 | 17344 94472 312611 | 63883 57020 50 | 0.925 % |
619.54/619.86 c | 355075 | 17344 94472 312611 | 63883 57142 50 | 0.925 % |
619.84/620.17 c | 355208 | 17344 94472 312611 | 63883 57275 50 | 0.925 % |
620.14/620.46 c | 355357 | 17344 94472 312611 | 63883 57424 50 | 0.926 % |
620.43/620.71 c | 355518 | 17344 94472 312611 | 63883 57585 50 | 0.926 % |
620.63/620.92 c | 355696 | 17344 94472 312611 | 63883 57763 50 | 0.926 % |
620.93/621.30 c | 355889 | 17344 94472 312611 | 63883 57956 50 | 0.926 % |
621.33/621.65 c | 356101 | 17344 94472 312611 | 63883 58168 50 | 0.926 % |
621.73/622.04 c | 356336 | 17344 94472 312611 | 63883 58403 50 | 0.926 % |
622.34/622.62 c | 356594 | 17344 94472 312611 | 63883 58661 50 | 0.926 % |
622.73/623.08 c | 356877 | 17344 94472 312611 | 63883 58944 50 | 0.926 % |
623.23/623.58 c | 357186 | 17344 94472 312611 | 63883 59253 50 | 0.926 % |
623.73/624.03 c | 357526 | 17344 94472 312611 | 63883 59593 50 | 0.926 % |
624.44/624.70 c | 357898 | 17344 94472 312611 | 63883 59965 50 | 0.926 % |
625.03/625.39 c | 358308 | 17344 94472 312611 | 63883 60375 50 | 0.926 % |
625.93/626.20 c | 358758 | 17344 94472 312611 | 63883 60825 50 | 0.926 % |
626.64/626.99 c | 359251 | 17344 94472 312611 | 63883 61318 50 | 0.925 % |
627.53/627.90 c | 359793 | 17344 94472 312611 | 63883 61860 50 | 0.926 % |
628.73/629.05 c | 360389 | 17344 94472 312611 | 2147483647 62456 50 | 0.926 % |
629.94/630.21 c | 361046 | 17344 94472 312611 | 2147483647 63113 50 | 0.926 % |
631.14/631.50 c | 361770 | 17344 94472 312611 | 2147483647 63837 51 | 0.926 % |
632.73/633.02 c | 362563 | 16783 90221 298709 | 2147483647 62117 50 | 7.752 % |
634.13/634.43 c | 363435 | 16684 90221 298709 | 2147483647 62989 51 | 7.752 % |
635.73/636.08 c | 364393 | 16683 90221 298709 | 2147483647 63945 51 | 8.014 % |
637.43/637.72 c ===============================================================================
637.43/637.72 c restarts : 768
637.43/637.72 c conflicts : 365139 (574 /sec)
637.43/637.72 c decisions : 479415 (0.33 % random) (754 /sec)
637.43/637.72 c propagations : 291760728 (458960 /sec)
637.43/637.72 c conflict literals : 22251214 (74.09 % deleted)
637.43/637.72 c Memory used : 51.06 MB
637.43/637.72 c CPU time : 635.7 s
637.43/637.72 c
637.43/637.72 s UNSATISFIABLE
637.43/637.73 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837080-1242857020/watcher-1837080-1242857020 -o /tmp/evaluation-result-1837080-1242857020/solver-1837080-1242857020 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837080-1242857020.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 14909
/proc/meminfo: memFree=1751056/2055920 swapFree=4178272/4192956
[pid=14909] ppid=14907 vsize=5356 CPUtime=0
/proc/14909/stat : 14909 (SatELiteGTI) S 14907 14909 14872 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 313728969 5484544 235 1992294400 4194304 4889804 548682068816 18446744073709551615 251255291986 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/14909/statm: 1339 235 195 169 0 50 0
[pid=14910] ppid=14909 vsize=5356 CPUtime=0
/proc/14910/stat : 14910 (SatELiteGTI) S 14909 14909 14872 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 313728969 5484544 238 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/14910/statm: 1339 238 198 169 0 50 0
[pid=14912] ppid=14910 vsize=0 CPUtime=0
/proc/14912/stat : 14912 (sed) R 14910 14909 14872 0 -1 4194308 163 0 0 0 0 0 0 0 18 0 1 0 313728969 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/14912/statm: 0 0 0 0 0 0 0
[startup+0.0974891 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 14909
/proc/meminfo: memFree=1751056/2055920 swapFree=4178272/4192956
[pid=14909] ppid=14907 vsize=5356 CPUtime=0
/proc/14909/stat : 14909 (SatELiteGTI) S 14907 14909 14872 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313728969 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14909/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101482 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 14909
/proc/meminfo: memFree=1751056/2055920 swapFree=4178272/4192956
[pid=14909] ppid=14907 vsize=5356 CPUtime=0
/proc/14909/stat : 14909 (SatELiteGTI) S 14907 14909 14872 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313728969 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14909/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301513 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 14909
/proc/meminfo: memFree=1751056/2055920 swapFree=4178272/4192956
[pid=14909] ppid=14907 vsize=5356 CPUtime=0
/proc/14909/stat : 14909 (SatELiteGTI) S 14907 14909 14872 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313728969 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14909/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701553 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 14909
/proc/meminfo: memFree=1751056/2055920 swapFree=4178272/4192956
[pid=14909] ppid=14907 vsize=5356 CPUtime=0
/proc/14909/stat : 14909 (SatELiteGTI) S 14907 14909 14872 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313728969 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14909/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50163 s]
/proc/loadavg: 0.00 0.00 0.00 2/66 14914
/proc/meminfo: memFree=1719104/2055920 swapFree=4178272/4192956
[pid=14909] ppid=14907 vsize=5356 CPUtime=0
/proc/14909/stat : 14909 (SatELiteGTI) S 14907 14909 14872 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313728969 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14909/statm: 1339 237 197 169 0 50 0
[pid=14914] ppid=14909 vsize=35504 CPUtime=1.49
/proc/14914/stat : 14914 (SatELite_releas) R 14909 14909 14872 0 -1 4194304 8558 0 0 0 144 5 0 0 25 0 1 0 313728969 36356096 7997 1992294400 134512640 135223648 4294956128 18446744073709551615 134611921 0 0 4096 3 0 0 0 17 0 0 0
/proc/14914/statm: 8876 7997 76 173 0 8701 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 40860
[startup+3.1018 s]
/proc/loadavg: 0.00 0.00 0.00 2/66 14915
/proc/meminfo: memFree=1738816/2055920 swapFree=4178272/4192956
[pid=14909] ppid=14907 vsize=5356 CPUtime=1.63
/proc/14909/stat : 14909 (SatELiteGTI) S 14907 14909 14872 0 -1 4194304 336 9132 0 0 0 0 156 7 16 0 1 0 313728969 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14909/statm: 1339 239 197 169 0 50 0
[pid=14915] ppid=14909 vsize=8200 CPUtime=1.43
/proc/14915/stat : 14915 (minisat_static) R 14909 14909 14872 0 -1 4194304 1894 0 0 0 143 0 0 0 25 0 1 0 313729135 8396800 1880 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14915/statm: 2050 1880 77 171 0 1877 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 13556
[startup+6.30215 s]
/proc/loadavg: 0.08 0.02 0.01 2/66 14915
/proc/meminfo: memFree=1737472/2055920 swapFree=4178272/4192956
[pid=14909] ppid=14907 vsize=5356 CPUtime=1.63
/proc/14909/stat : 14909 (SatELiteGTI) S 14907 14909 14872 0 -1 4194304 336 9132 0 0 0 0 156 7 16 0 1 0 313728969 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14909/statm: 1339 239 197 169 0 50 0
[pid=14915] ppid=14909 vsize=9416 CPUtime=4.62
/proc/14915/stat : 14915 (minisat_static) R 14909 14909 14872 0 -1 4194304 2199 0 0 0 461 1 0 0 25 0 1 0 313729135 9641984 2185 1992294400 134512640 135215339 4294956240 18446744073709551615 134527218 0 0 4096 3 0 0 0 17 0 0 0
/proc/14915/statm: 2354 2185 77 171 0 2181 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 14772
[startup+12.7018 s]
/proc/loadavg: 0.15 0.03 0.01 2/66 14915
/proc/meminfo: memFree=1735296/2055920 swapFree=4178272/4192956
[pid=14909] ppid=14907 vsize=5356 CPUtime=1.63
/proc/14909/stat : 14909 (SatELiteGTI) S 14907 14909 14872 0 -1 4194304 336 9132 0 0 0 0 156 7 16 0 1 0 313728969 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14909/statm: 1339 239 197 169 0 50 0
[pid=14915] ppid=14909 vsize=11596 CPUtime=11.02
/proc/14915/stat : 14915 (minisat_static) R 14909 14909 14872 0 -1 4194304 2728 0 0 0 1100 2 0 0 25 0 1 0 313729135 11874304 2714 1992294400 134512640 135215339 4294956240 18446744073709551615 134528884 0 0 4096 3 0 0 0 17 0 0 0
/proc/14915/statm: 2899 2714 77 171 0 2726 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 16952
[startup+25.5012 s]
/proc/loadavg: 0.34 0.08 0.02 2/66 14915
/proc/meminfo: memFree=1731904/2055920 swapFree=4178272/4192956
[pid=14909] ppid=14907 vsize=5356 CPUtime=1.63
/proc/14909/stat : 14909 (SatELiteGTI) S 14907 14909 14872 0 -1 4194304 336 9132 0 0 0 0 156 7 16 0 1 0 313728969 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14909/statm: 1339 239 197 169 0 50 0
[pid=14915] ppid=14909 vsize=14900 CPUtime=23.81
/proc/14915/stat : 14915 (minisat_static) R 14909 14909 14872 0 -1 4194304 3560 0 0 0 2378 3 0 0 25 0 1 0 313729135 15257600 3546 1992294400 134512640 135215339 4294956240 18446744073709551615 134525704 0 0 4096 3 0 0 0 17 0 0 0
/proc/14915/statm: 3725 3546 77 171 0 3552 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 20256
[startup+51.102 s]
/proc/loadavg: 0.56 0.15 0.05 2/66 14915
/proc/meminfo: memFree=1724736/2055920 swapFree=4178272/4192956
[pid=14909] ppid=14907 vsize=5356 CPUtime=1.63
/proc/14909/stat : 14909 (SatELiteGTI) S 14907 14909 14872 0 -1 4194304 336 9132 0 0 0 0 156 7 16 0 1 0 313728969 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14909/statm: 1339 239 197 169 0 50 0
[pid=14915] ppid=14909 vsize=22116 CPUtime=49.4
/proc/14915/stat : 14915 (minisat_static) R 14909 14909 14872 0 -1 4194304 5345 0 0 0 4935 5 0 0 25 0 1 0 313729135 22646784 5331 1992294400 134512640 135215339 4294956240 18446744073709551615 134529157 0 0 4096 3 0 0 0 17 0 0 0
/proc/14915/statm: 5529 5331 77 171 0 5356 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 27472
[startup+102.305 s]
/proc/loadavg: 0.81 0.28 0.10 2/66 14915
/proc/meminfo: memFree=1713792/2055920 swapFree=4178272/4192956
[pid=14909] ppid=14907 vsize=5356 CPUtime=1.63
/proc/14909/stat : 14909 (SatELiteGTI) S 14907 14909 14872 0 -1 4194304 336 9132 0 0 0 0 156 7 16 0 1 0 313728969 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14909/statm: 1339 239 197 169 0 50 0
[pid=14915] ppid=14909 vsize=32812 CPUtime=100.57
/proc/14915/stat : 14915 (minisat_static) R 14909 14909 14872 0 -1 4194304 8023 0 0 0 10050 7 0 0 25 0 1 0 313729135 33599488 8009 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14915/statm: 8203 8009 77 171 0 8030 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 38168
[startup+162.302 s]
/proc/loadavg: 0.93 0.41 0.15 2/66 14915
/proc/meminfo: memFree=1705152/2055920 swapFree=4178272/4192956
[pid=14909] ppid=14907 vsize=5356 CPUtime=1.63
/proc/14909/stat : 14909 (SatELiteGTI) S 14907 14909 14872 0 -1 4194304 336 9132 0 0 0 0 156 7 16 0 1 0 313728969 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14909/statm: 1339 239 197 169 0 50 0
[pid=14915] ppid=14909 vsize=41776 CPUtime=160.55
/proc/14915/stat : 14915 (minisat_static) R 14909 14909 14872 0 -1 4194304 10192 0 0 0 16046 9 0 0 25 0 1 0 313729135 42778624 10178 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/14915/statm: 10444 10178 77 171 0 10271 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 47132
[startup+222.301 s]
/proc/loadavg: 0.97 0.51 0.20 2/66 14915
/proc/meminfo: memFree=1696576/2055920 swapFree=4178272/4192956
[pid=14909] ppid=14907 vsize=5356 CPUtime=1.63
/proc/14909/stat : 14909 (SatELiteGTI) S 14907 14909 14872 0 -1 4194304 336 9132 0 0 0 0 156 7 16 0 1 0 313728969 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14909/statm: 1339 239 197 169 0 50 0
[pid=14915] ppid=14909 vsize=50136 CPUtime=220.54
/proc/14915/stat : 14915 (minisat_static) R 14909 14909 14872 0 -1 4194304 12282 0 0 0 22042 12 0 0 25 0 1 0 313729135 51339264 12268 1992294400 134512640 135215339 4294956240 18446744073709551615 134538107 0 0 4096 3 0 0 0 17 0 0 0
/proc/14915/statm: 12534 12268 77 171 0 12361 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 55492
[startup+282.302 s]
/proc/loadavg: 0.99 0.60 0.25 2/66 14915
/proc/meminfo: memFree=1694976/2055920 swapFree=4178272/4192956
[pid=14909] ppid=14907 vsize=5356 CPUtime=1.63
/proc/14909/stat : 14909 (SatELiteGTI) S 14907 14909 14872 0 -1 4194304 336 9132 0 0 0 0 156 7 16 0 1 0 313728969 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14909/statm: 1339 239 197 169 0 50 0
[pid=14915] ppid=14909 vsize=51852 CPUtime=280.51
/proc/14915/stat : 14915 (minisat_static) R 14909 14909 14872 0 -1 4194304 12669 0 0 0 28039 12 0 0 25 0 1 0 313729135 53096448 12655 1992294400 134512640 135215339 4294956240 18446744073709551615 134532938 0 0 4096 3 0 0 0 17 0 0 0
/proc/14915/statm: 12963 12655 77 171 0 12790 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 57208
[startup+342.301 s]
/proc/loadavg: 1.03 0.68 0.30 2/66 14915
/proc/meminfo: memFree=1694912/2055920 swapFree=4178272/4192956
[pid=14909] ppid=14907 vsize=5356 CPUtime=1.63
/proc/14909/stat : 14909 (SatELiteGTI) S 14907 14909 14872 0 -1 4194304 336 9132 0 0 0 0 156 7 16 0 1 0 313728969 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14909/statm: 1339 239 197 169 0 50 0
[pid=14915] ppid=14909 vsize=51852 CPUtime=340.49
/proc/14915/stat : 14915 (minisat_static) R 14909 14909 14872 0 -1 4194304 12670 0 0 0 34037 12 0 0 25 0 1 0 313729135 53096448 12656 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/14915/statm: 12963 12656 77 171 0 12790 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 57208
[startup+402.302 s]
/proc/loadavg: 1.01 0.74 0.34 2/66 14915
/proc/meminfo: memFree=1694784/2055920 swapFree=4178272/4192956
[pid=14909] ppid=14907 vsize=5356 CPUtime=1.63
/proc/14909/stat : 14909 (SatELiteGTI) S 14907 14909 14872 0 -1 4194304 336 9132 0 0 0 0 156 7 16 0 1 0 313728969 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14909/statm: 1339 239 197 169 0 50 0
[pid=14915] ppid=14909 vsize=52068 CPUtime=400.47
/proc/14915/stat : 14915 (minisat_static) R 14909 14909 14872 0 -1 4194304 12693 0 0 0 40035 12 0 0 25 0 1 0 313729135 53317632 12679 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14915/statm: 13017 12679 77 171 0 12844 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 57424
[startup+462.301 s]
/proc/loadavg: 1.06 0.80 0.38 2/66 14915
/proc/meminfo: memFree=1694528/2055920 swapFree=4178272/4192956
[pid=14909] ppid=14907 vsize=5356 CPUtime=1.63
/proc/14909/stat : 14909 (SatELiteGTI) S 14907 14909 14872 0 -1 4194304 336 9132 0 0 0 0 156 7 16 0 1 0 313728969 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14909/statm: 1339 239 197 169 0 50 0
[pid=14915] ppid=14909 vsize=52280 CPUtime=460.46
/proc/14915/stat : 14915 (minisat_static) R 14909 14909 14872 0 -1 4194304 12736 0 0 0 46033 13 0 0 25 0 1 0 313729135 53534720 12722 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/14915/statm: 13070 12722 77 171 0 12897 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 57636
[startup+522.302 s]
/proc/loadavg: 1.08 0.85 0.42 2/66 14915
/proc/meminfo: memFree=1694464/2055920 swapFree=4178272/4192956
[pid=14909] ppid=14907 vsize=5356 CPUtime=1.63
/proc/14909/stat : 14909 (SatELiteGTI) S 14907 14909 14872 0 -1 4194304 336 9132 0 0 0 0 156 7 16 0 1 0 313728969 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14909/statm: 1339 239 197 169 0 50 0
[pid=14915] ppid=14909 vsize=52280 CPUtime=520.44
/proc/14915/stat : 14915 (minisat_static) R 14909 14909 14872 0 -1 4194304 12739 0 0 0 52031 13 0 0 25 0 1 0 313729135 53534720 12725 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14915/statm: 13070 12725 77 171 0 12897 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 57636
[startup+582.301 s]
/proc/loadavg: 1.08 0.89 0.46 2/66 14915
/proc/meminfo: memFree=1694400/2055920 swapFree=4178272/4192956
[pid=14909] ppid=14907 vsize=5356 CPUtime=1.63
/proc/14909/stat : 14909 (SatELiteGTI) S 14907 14909 14872 0 -1 4194304 336 9132 0 0 0 0 156 7 16 0 1 0 313728969 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14909/statm: 1339 239 197 169 0 50 0
[pid=14915] ppid=14909 vsize=52280 CPUtime=580.42
/proc/14915/stat : 14915 (minisat_static) R 14909 14909 14872 0 -1 4194304 12740 0 0 0 58029 13 0 0 25 0 1 0 313729135 53534720 12726 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14915/statm: 13070 12726 77 171 0 12897 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 57636
Solver just ended. Dumping a history of the last processes samples
[startup+588.703 s]
/proc/loadavg: 1.07 0.89 0.47 2/66 14915
/proc/meminfo: memFree=1694400/2055920 swapFree=4178272/4192956
[pid=14909] ppid=14907 vsize=5356 CPUtime=1.63
/proc/14909/stat : 14909 (SatELiteGTI) S 14907 14909 14872 0 -1 4194304 336 9132 0 0 0 0 156 7 16 0 1 0 313728969 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14909/statm: 1339 239 197 169 0 50 0
[pid=14915] ppid=14909 vsize=52280 CPUtime=586.82
/proc/14915/stat : 14915 (minisat_static) R 14909 14909 14872 0 -1 4194304 12740 0 0 0 58669 13 0 0 25 0 1 0 313729135 53534720 12726 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14915/statm: 13070 12726 77 171 0 12897 0
Current children cumulated CPU time (s) 588.45
Current children cumulated vsize (KiB) 57636
[startup+614.303 s]
/proc/loadavg: 1.12 0.91 0.48 2/66 14915
/proc/meminfo: memFree=1694336/2055920 swapFree=4178272/4192956
[pid=14909] ppid=14907 vsize=5356 CPUtime=1.63
/proc/14909/stat : 14909 (SatELiteGTI) S 14907 14909 14872 0 -1 4194304 336 9132 0 0 0 0 156 7 16 0 1 0 313728969 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14909/statm: 1339 239 197 169 0 50 0
[pid=14915] ppid=14909 vsize=52280 CPUtime=612.41
/proc/14915/stat : 14915 (minisat_static) R 14909 14909 14872 0 -1 4194304 12740 0 0 0 61228 13 0 0 25 0 1 0 313729135 53534720 12726 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/14915/statm: 13070 12726 77 171 0 12897 0
Current children cumulated CPU time (s) 614.04
Current children cumulated vsize (KiB) 57636
[startup+627.102 s]
/proc/loadavg: 1.10 0.92 0.49 2/66 14915
/proc/meminfo: memFree=1694336/2055920 swapFree=4178272/4192956
[pid=14909] ppid=14907 vsize=5356 CPUtime=1.63
/proc/14909/stat : 14909 (SatELiteGTI) S 14907 14909 14872 0 -1 4194304 336 9132 0 0 0 0 156 7 16 0 1 0 313728969 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14909/statm: 1339 239 197 169 0 50 0
[pid=14915] ppid=14909 vsize=52280 CPUtime=625.2
/proc/14915/stat : 14915 (minisat_static) R 14909 14909 14872 0 -1 4194304 12740 0 0 0 62507 13 0 0 25 0 1 0 313729135 53534720 12726 1992294400 134512640 135215339 4294956240 18446744073709551615 134532950 0 0 4096 3 0 0 0 17 0 0 0
/proc/14915/statm: 13070 12726 77 171 0 12897 0
Current children cumulated CPU time (s) 626.83
Current children cumulated vsize (KiB) 57636
[startup+633.502 s]
/proc/loadavg: 1.08 0.92 0.49 2/66 14915
/proc/meminfo: memFree=1694336/2055920 swapFree=4178272/4192956
[pid=14909] ppid=14907 vsize=5356 CPUtime=1.63
/proc/14909/stat : 14909 (SatELiteGTI) S 14907 14909 14872 0 -1 4194304 336 9132 0 0 0 0 156 7 16 0 1 0 313728969 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14909/statm: 1339 239 197 169 0 50 0
[pid=14915] ppid=14909 vsize=52280 CPUtime=631.61
/proc/14915/stat : 14915 (minisat_static) R 14909 14909 14872 0 -1 4194304 12741 0 0 0 63148 13 0 0 25 0 1 0 313729135 53534720 12727 1992294400 134512640 135215339 4294956240 18446744073709551615 134532784 0 0 4096 3 0 0 0 17 0 0 0
/proc/14915/statm: 13070 12727 77 171 0 12897 0
Current children cumulated CPU time (s) 633.24
Current children cumulated vsize (KiB) 57636
[startup+635.102 s]
/proc/loadavg: 1.08 0.92 0.49 2/66 14915
/proc/meminfo: memFree=1694336/2055920 swapFree=4178272/4192956
[pid=14909] ppid=14907 vsize=5356 CPUtime=1.63
/proc/14909/stat : 14909 (SatELiteGTI) S 14907 14909 14872 0 -1 4194304 336 9132 0 0 0 0 156 7 16 0 1 0 313728969 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14909/statm: 1339 239 197 169 0 50 0
[pid=14915] ppid=14909 vsize=52280 CPUtime=633.2
/proc/14915/stat : 14915 (minisat_static) R 14909 14909 14872 0 -1 4194304 12741 0 0 0 63307 13 0 0 25 0 1 0 313729135 53534720 12727 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 0 0 0
/proc/14915/statm: 13070 12727 77 171 0 12897 0
Current children cumulated CPU time (s) 634.83
Current children cumulated vsize (KiB) 57636
[startup+636.702 s]
/proc/loadavg: 1.08 0.92 0.49 2/66 14915
/proc/meminfo: memFree=1694272/2055920 swapFree=4178272/4192956
[pid=14909] ppid=14907 vsize=5356 CPUtime=1.63
/proc/14909/stat : 14909 (SatELiteGTI) S 14907 14909 14872 0 -1 4194304 336 9132 0 0 0 0 156 7 16 0 1 0 313728969 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14909/statm: 1339 239 197 169 0 50 0
[pid=14915] ppid=14909 vsize=52280 CPUtime=634.8
/proc/14915/stat : 14915 (minisat_static) R 14909 14909 14872 0 -1 4194304 12763 0 0 0 63467 13 0 0 25 0 1 0 313729135 53534720 12749 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14915/statm: 13070 12749 77 171 0 12897 0
Current children cumulated CPU time (s) 636.43
Current children cumulated vsize (KiB) 57636
[startup+637.501 s]
/proc/loadavg: 1.08 0.92 0.49 2/66 14915
/proc/meminfo: memFree=1694272/2055920 swapFree=4178272/4192956
[pid=14909] ppid=14907 vsize=5356 CPUtime=1.63
/proc/14909/stat : 14909 (SatELiteGTI) S 14907 14909 14872 0 -1 4194304 336 9132 0 0 0 0 156 7 16 0 1 0 313728969 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14909/statm: 1339 239 197 169 0 50 0
[pid=14915] ppid=14909 vsize=52280 CPUtime=635.6
/proc/14915/stat : 14915 (minisat_static) R 14909 14909 14872 0 -1 4194304 12764 0 0 0 63547 13 0 0 25 0 1 0 313729135 53534720 12750 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/14915/statm: 13070 12750 77 171 0 12897 0
Current children cumulated CPU time (s) 637.23
Current children cumulated vsize (KiB) 57636
[startup+637.701 s]
/proc/loadavg: 1.08 0.92 0.49 2/66 14915
/proc/meminfo: memFree=1694272/2055920 swapFree=4178272/4192956
[pid=14909] ppid=14907 vsize=5356 CPUtime=1.63
/proc/14909/stat : 14909 (SatELiteGTI) S 14907 14909 14872 0 -1 4194304 336 9132 0 0 0 0 156 7 16 0 1 0 313728969 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14909/statm: 1339 239 197 169 0 50 0
[pid=14915] ppid=14909 vsize=52280 CPUtime=635.8
/proc/14915/stat : 14915 (minisat_static) R 14909 14909 14872 0 -1 4194304 12764 0 0 0 63567 13 0 0 25 0 1 0 313729135 53534720 12750 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/14915/statm: 13070 12750 77 171 0 12897 0
Current children cumulated CPU time (s) 637.43
Current children cumulated vsize (KiB) 57636
Child status: 20
Real time (s): 637.745
CPU time (s): 637.491
CPU user time (s): 637.268
CPU system time (s): 0.222966
CPU usage (%): 99.9602
Max. virtual memory (cumulated for all children) (KiB): 57636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 637.268
system time used= 0.222966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22393
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= 50
involuntary context switches= 2263
runsolver used 0.603908 second user time and 1.77973 second system time
The end
Begin job on node64 at 2009-05-21 00:03:41
IDJOB=1837080
IDBENCH=20398
IDSOLVER=674
FILE ID=node64/1837080-1242857020
PBS_JOBID= 9328453
Free space on /tmp= 66304 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/fuhs/medium/AProVE07-16.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837080-1242857020/watcher-1837080-1242857020 -o /tmp/evaluation-result-1837080-1242857020/solver-1837080-1242857020 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837080-1242857020.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 65057bcebbeecf6a7f3bc3fcfb2de009
RANDOM SEED=639663243
node64.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.218
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.218
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: 1751600 kB
Buffers: 34224 kB
Cached: 231536 kB
SwapCached: 8076 kB
Active: 126644 kB
Inactive: 148516 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1751600 kB
SwapTotal: 4192956 kB
SwapFree: 4178272 kB
Dirty: 5032 kB
Writeback: 0 kB
Mapped: 14576 kB
Slab: 14968 kB
Committed_AS: 922140 kB
PageTables: 1396 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66304 MiB
End job on node64 at 2009-05-21 00:14:18