0.00/0.00 c Parsing...
0.12/0.16 c ==============================================================================
0.12/0.16 c | | ORIGINAL | LEARNT | |
0.12/0.16 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.12/0.16 c ==============================================================================
0.12/0.16 c | 0 | 181871 470932 | 54561 0 0 nan | 0.000 % |
1.32/1.36 c | 0 | 98030 321620 | -- 0 -- -- | -- | -83841/-149312
1.32/1.36 c ==============================================================================
1.32/1.36 c Result : #vars: 17506 #clauses: 98030 #literals: 321620
1.32/1.36 c CPU time: 1.33 s
1.32/1.36 c ==============================================================================
1.42/1.48 c This is MiniSat 2.0 beta
1.42/1.48 c WARNING: for repeatability, setting FPU to use double precision
1.42/1.48 c ============================[ Problem Statistics ]=============================
1.42/1.48 c | |
1.42/1.48 c | Number of variables: 17506 |
1.42/1.48 c | Number of clauses: 98030 |
1.49/1.55 c | Parsing time: 0.06 s |
1.49/1.55 c ============================[ Search Statistics ]==============================
1.49/1.55 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.49/1.55 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.49/1.55 c ===============================================================================
1.49/1.55 c | 0 | 17506 98030 321620 | 32676 0 nan | 0.000 % |
1.49/1.59 c | 100 | 17506 98030 321620 | 32676 100 16 | 0.001 % |
1.49/1.71 c | 202 | 17506 98030 321620 | 32676 202 38 | 0.000 % |
1.49/1.73 c | 302 | 17506 98030 321620 | 32676 302 39 | 0.000 % |
1.49/1.83 c | 413 | 17506 98030 321620 | 32676 413 35 | 0.000 % |
1.49/1.88 c | 513 | 17505 97517 320527 | 32676 511 32 | 0.006 % |
1.49/1.89 c | 626 | 17505 97517 320527 | 32676 624 32 | 0.006 % |
1.49/1.99 c | 747 | 17505 97517 320527 | 32676 745 30 | 0.006 % |
2.12/2.15 c | 849 | 17505 97517 320527 | 32676 847 36 | 0.006 % |
2.32/2.32 c | 959 | 17505 97517 320527 | 32676 957 37 | 0.006 % |
2.32/2.40 c | 1081 | 17505 97517 320527 | 32676 1079 35 | 0.006 % |
2.42/2.43 c | 1214 | 17505 97517 320527 | 32676 1212 36 | 0.006 % |
2.52/2.53 c | 1314 | 17505 97517 320527 | 32676 1312 36 | 0.006 % |
2.52/2.55 c | 1424 | 17505 97517 320527 | 32676 1422 34 | 0.006 % |
2.62/2.61 c | 1546 | 17505 97517 320527 | 32676 1544 36 | 0.006 % |
2.62/2.64 c | 1679 | 17505 97517 320527 | 32676 1677 38 | 0.006 % |
2.82/2.82 c | 1825 | 17505 97517 320527 | 32676 1823 40 | 0.006 % |
2.82/2.90 c | 1925 | 17505 97517 320527 | 32676 1923 39 | 0.006 % |
2.92/2.93 c | 2038 | 17505 97517 320527 | 32676 2036 39 | 0.006 % |
3.02/3.08 c | 2160 | 17505 97517 320527 | 32676 2158 39 | 0.006 % |
3.22/3.24 c | 2294 | 17505 97517 320527 | 32676 2292 40 | 0.006 % |
3.32/3.39 c | 2440 | 17505 97517 320527 | 32676 2438 39 | 0.006 % |
3.52/3.54 c | 2603 | 17505 97517 320527 | 32676 2601 39 | 0.006 % |
3.52/3.57 c | 2703 | 17505 97517 320527 | 32676 2701 38 | 0.007 % |
3.62/3.66 c | 2813 | 17505 97517 320527 | 32676 2811 39 | 0.006 % |
3.72/3.71 c | 2937 | 17505 97517 320527 | 32676 2935 38 | 0.006 % |
3.92/3.91 c | 3071 | 17505 97517 320527 | 32676 3069 39 | 0.006 % |
3.92/3.93 c | 3222 | 17505 97517 320527 | 32676 3220 41 | 0.006 % |
4.02/4.06 c | 3382 | 17505 97517 320527 | 32676 3380 40 | 0.006 % |
4.12/4.12 c | 3560 | 17505 97517 320527 | 32676 3558 40 | 0.006 % |
4.12/4.14 c | 3662 | 17505 97517 320527 | 32676 3660 40 | 0.006 % |
4.32/4.36 c | 3772 | 17505 97517 320527 | 32676 3770 41 | 0.006 % |
4.42/4.44 c | 3894 | 17505 97517 320527 | 32676 3892 41 | 0.006 % |
4.52/4.53 c | 4027 | 17505 97517 320527 | 32676 4025 40 | 0.006 % |
4.52/4.60 c | 4173 | 17505 97517 320527 | 32676 4171 40 | 0.007 % |
4.62/4.68 c | 4336 | 17505 97517 320527 | 32676 4334 40 | 0.006 % |
4.72/4.74 c | 4512 | 17505 97517 320527 | 32676 4510 41 | 0.006 % |
4.82/4.82 c | 4705 | 17505 97517 320527 | 32676 4703 40 | 0.006 % |
4.82/4.91 c | 4805 | 17505 97517 320527 | 32676 4803 40 | 0.006 % |
4.92/4.93 c | 4915 | 17505 97517 320527 | 32676 4913 40 | 0.006 % |
5.02/5.09 c | 5039 | 17505 97517 320527 | 32676 5037 43 | 0.006 % |
5.12/5.16 c | 5172 | 17505 97517 320527 | 32676 5170 44 | 0.007 % |
5.22/5.22 c | 5318 | 17505 97517 320527 | 32676 5316 44 | 0.006 % |
5.22/5.29 c | 5478 | 17505 97517 320527 | 32676 5476 45 | 0.006 % |
5.42/5.42 c | 5655 | 17505 97517 320527 | 32676 5653 44 | 0.006 % |
5.42/5.49 c | 5848 | 17505 97517 320527 | 32676 5846 45 | 0.006 % |
5.52/5.60 c | 6061 | 17505 97517 320527 | 32676 6059 46 | 0.006 % |
5.62/5.67 c | 6162 | 17505 97517 320527 | 32676 6160 46 | 0.006 % |
5.72/5.76 c | 6276 | 17505 97517 320527 | 32676 6274 45 | 0.007 % |
5.82/5.84 c | 6398 | 17505 97517 320527 | 32676 6396 46 | 0.006 % |
6.02/6.08 c | 6531 | 17505 97517 320527 | 32676 6529 46 | 0.006 % |
6.02/6.11 c | 6677 | 17505 97517 320527 | 32676 6675 46 | 0.007 % |
6.32/6.32 c | 6837 | 17505 97517 320527 | 32676 6835 47 | 0.006 % |
6.32/6.41 c | 7014 | 17505 97517 320527 | 32676 7012 47 | 0.006 % |
6.52/6.58 c | 7207 | 17505 97517 320527 | 32676 7205 48 | 0.006 % |
6.82/6.82 c | 7419 | 17505 97517 320527 | 32676 7417 48 | 0.006 % |
6.92/6.97 c | 7654 | 17505 97517 320527 | 32676 7652 47 | 0.006 % |
7.02/7.04 c | 7754 | 17505 97517 320527 | 32676 7752 47 | 0.006 % |
7.02/7.07 c | 7864 | 17505 97517 320527 | 32676 7862 47 | 0.006 % |
7.22/7.28 c | 7986 | 17505 97517 320527 | 32676 7984 47 | 0.007 % |
7.32/7.32 c | 8120 | 17505 97517 320527 | 32676 8118 48 | 0.006 % |
7.42/7.45 c | 8266 | 17505 97517 320527 | 32676 8264 48 | 0.006 % |
7.52/7.57 c | 8427 | 17505 97517 320527 | 32676 8425 48 | 0.006 % |
7.82/7.85 c | 8604 | 17505 97517 320527 | 32676 8602 50 | 0.006 % |
8.12/8.11 c | 8797 | 17505 97517 320527 | 32676 8795 51 | 0.006 % |
8.22/8.23 c | 9014 | 17505 97517 320527 | 32676 9012 51 | 0.006 % |
8.32/8.34 c | 9247 | 17505 97517 320527 | 32676 9245 51 | 0.006 % |
8.72/8.79 c | 9504 | 17505 97517 320527 | 32676 9502 52 | 0.006 % |
8.83/8.82 c | 9606 | 17505 97517 320527 | 32676 9604 52 | 0.006 % |
8.92/8.94 c | 9716 | 17505 97517 320527 | 32676 9714 51 | 0.006 % |
8.92/8.97 c | 9837 | 17505 97517 320527 | 32676 9835 51 | 0.006 % |
9.02/9.06 c | 9970 | 17505 97517 320527 | 32676 9968 51 | 0.006 % |
9.32/9.31 c | 10116 | 17505 97517 320527 | 2147483647 10114 51 | 0.006 % |
9.52/9.55 c | 10276 | 17505 97517 320527 | 2147483647 10274 51 | 0.006 % |
9.62/9.61 c | 10453 | 17505 97517 320527 | 2147483647 10451 50 | 0.006 % |
9.82/9.85 c | 10647 | 17505 97517 320527 | 2147483647 10645 50 | 0.006 % |
9.93/9.95 c | 10859 | 17505 97517 320527 | 2147483647 10857 50 | 0.006 % |
10.12/10.11 c | 11093 | 17505 97517 320527 | 2147483647 11091 49 | 0.006 % |
10.32/10.32 c | 11351 | 17505 97517 320527 | 2147483647 11349 50 | 0.007 % |
10.62/10.63 c | 11632 | 17505 97517 320527 | 2147483647 11630 49 | 0.006 % |
10.82/10.83 c | 11733 | 17505 97517 320527 | 2147483647 11731 49 | 0.006 % |
10.82/10.89 c | 11843 | 17505 97517 320527 | 2147483647 11841 49 | 0.006 % |
10.92/10.97 c | 11964 | 17505 97517 320527 | 2147483647 11962 49 | 0.006 % |
10.92/10.99 c | 12097 | 17505 97517 320527 | 2147483647 12095 49 | 0.006 % |
11.03/11.11 c | 12243 | 17505 97517 320527 | 2147483647 12241 49 | 0.006 % |
11.32/11.37 c | 12404 | 17505 97517 320527 | 2147483647 12402 50 | 0.006 % |
11.42/11.43 c | 12582 | 17505 97517 320527 | 2147483647 12580 50 | 0.007 % |
11.42/11.51 c | 12775 | 17505 97517 320527 | 2147483647 12773 50 | 0.006 % |
11.62/11.61 c | 12987 | 17505 97517 320527 | 2147483647 12985 51 | 0.006 % |
11.92/11.92 c | 13222 | 17505 97517 320527 | 2147483647 13220 51 | 0.006 % |
12.13/12.14 c | 13479 | 17505 97517 320527 | 2147483647 13477 52 | 0.006 % |
12.42/12.47 c | 13760 | 17505 97517 320527 | 2147483647 13758 52 | 0.006 % |
12.72/12.75 c | 14069 | 17505 97517 320527 | 2147483647 14067 54 | 0.006 % |
12.82/12.85 c | 14169 | 17505 97517 320527 | 2147483647 14167 54 | 0.006 % |
12.92/12.92 c | 14279 | 17505 97517 320527 | 2147483647 14277 54 | 0.007 % |
13.02/13.04 c | 14401 | 17505 97517 320527 | 2147483647 14399 54 | 0.007 % |
13.12/13.12 c | 14534 | 17505 97517 320527 | 2147483647 14532 54 | 0.007 % |
13.32/13.39 c | 14681 | 17505 97517 320527 | 2147483647 14679 54 | 0.006 % |
13.42/13.46 c | 14841 | 17505 97517 320527 | 2147483647 14839 54 | 0.007 % |
13.82/13.81 c | 15018 | 17505 97517 320527 | 2147483647 15016 54 | 0.006 % |
13.82/13.91 c | 15211 | 17505 97517 320527 | 2147483647 15209 54 | 0.007 % |
13.92/13.97 c | 15424 | 17505 97517 320527 | 2147483647 15422 54 | 0.006 % |
14.22/14.22 c | 15657 | 17505 97517 320527 | 2147483647 15655 54 | 0.006 % |
14.42/14.42 c | 15913 | 17505 97517 320527 | 2147483647 15911 54 | 0.006 % |
14.82/14.85 c | 16194 | 17505 97517 320527 | 2147483647 16192 54 | 0.006 % |
15.22/15.21 c | 16504 | 17505 97517 320527 | 2147483647 16502 54 | 0.006 % |
15.52/15.59 c | 16844 | 17505 97517 320527 | 2147483647 16842 55 | 0.006 % |
15.62/15.70 c | 16945 | 17505 97517 320527 | 2147483647 16943 55 | 0.006 % |
15.92/15.94 c | 17055 | 17505 97517 320527 | 2147483647 17053 55 | 0.006 % |
15.92/15.98 c | 17177 | 17505 97517 320527 | 2147483647 17175 55 | 0.006 % |
16.02/16.03 c | 17310 | 17505 97517 320527 | 2147483647 17308 55 | 0.006 % |
16.22/16.21 c | 17457 | 17505 97517 320527 | 2147483647 17455 55 | 0.006 % |
16.32/16.35 c | 17617 | 17505 97517 320527 | 2147483647 17615 55 | 0.006 % |
16.42/16.48 c | 17795 | 17505 97517 320527 | 2147483647 17793 55 | 0.006 % |
16.62/16.69 c | 17988 | 17505 97517 320527 | 2147483647 17986 55 | 0.006 % |
16.82/16.89 c | 18200 | 17505 97517 320527 | 2147483647 18198 54 | 0.006 % |
17.32/17.37 c | 18436 | 17502 97501 320489 | 2147483647 18428 54 | 0.023 % |
17.52/17.60 c | 18693 | 17502 97501 320489 | 2147483647 18685 54 | 0.023 % |
17.72/17.75 c | 18976 | 17502 97501 320489 | 2147483647 18968 55 | 0.023 % |
18.12/18.19 c | 19285 | 17502 97501 320489 | 2147483647 19277 55 | 0.023 % |
18.52/18.54 c | 19626 | 17502 97501 320489 | 2147483647 19618 55 | 0.023 % |
18.73/18.78 c | 19998 | 17502 97501 320489 | 2147483647 19990 55 | 0.023 % |
18.92/18.99 c | 20098 | 17502 97501 320489 | 2147483647 20090 56 | 0.023 % |
19.02/19.05 c | 20208 | 17502 97501 320489 | 2147483647 20200 56 | 0.024 % |
19.32/19.35 c | 20331 | 17502 97501 320489 | 2147483647 20323 56 | 0.023 % |
19.42/19.45 c | 20466 | 17502 97501 320489 | 2147483647 20458 56 | 0.023 % |
19.52/19.54 c | 20612 | 17502 97501 320489 | 2147483647 20604 56 | 0.023 % |
19.62/19.67 c | 20772 | 17502 97501 320489 | 2147483647 20764 55 | 0.023 % |
19.83/19.85 c | 20948 | 17502 97501 320489 | 2147483647 20940 55 | 0.023 % |
19.92/19.92 c | 21142 | 17502 97501 320489 | 2147483647 21134 55 | 0.023 % |
20.12/20.14 c | 21355 | 17502 97501 320489 | 2147483647 21347 55 | 0.023 % |
20.32/20.40 c | 21589 | 17502 97501 320489 | 2147483647 21581 55 | 0.023 % |
20.82/20.86 c | 21846 | 17502 97501 320489 | 2147483647 21838 55 | 0.023 % |
21.02/21.01 c | 22128 | 17502 97501 320489 | 2147483647 22120 56 | 0.023 % |
21.32/21.34 c | 22437 | 17502 97501 320489 | 2147483647 22429 55 | 0.023 % |
21.82/21.87 c | 22777 | 17502 97501 320489 | 2147483647 22769 55 | 0.024 % |
22.12/22.18 c | 23150 | 17502 97501 320489 | 2147483647 23142 55 | 0.023 % |
22.62/22.61 c | 23560 | 17502 97501 320489 | 2147483647 23552 55 | 0.023 % |
22.82/22.81 c | 23661 | 17502 97501 320489 | 2147483647 23653 55 | 0.023 % |
22.92/22.94 c | 23771 | 17502 97501 320489 | 2147483647 23763 55 | 0.023 % |
23.13/23.15 c | 23893 | 17502 97501 320489 | 2147483647 23885 55 | 0.023 % |
23.22/23.29 c | 24028 | 17502 97501 320489 | 2147483647 24020 55 | 0.023 % |
23.32/23.33 c | 24174 | 17502 97501 320489 | 2147483647 24166 55 | 0.023 % |
23.42/23.45 c | 24334 | 17502 97501 320489 | 2147483647 24326 55 | 0.023 % |
23.72/23.74 c | 24511 | 17502 97501 320489 | 2147483647 24503 55 | 0.023 % |
23.82/23.84 c | 24706 | 17502 97501 320489 | 2147483647 24698 55 | 0.024 % |
24.02/24.05 c | 24920 | 17502 97501 320489 | 2147483647 24912 55 | 0.023 % |
24.32/24.33 c | 25153 | 17502 97501 320489 | 2147483647 25145 55 | 0.024 % |
24.62/24.68 c | 25409 | 17502 97501 320489 | 2147483647 25401 55 | 0.023 % |
24.92/24.92 c | 25691 | 17502 97501 320489 | 2147483647 25683 56 | 0.023 % |
25.12/25.13 c | 26000 | 17502 97501 320489 | 2147483647 25992 56 | 0.023 % |
25.42/25.50 c | 26339 | 17502 97501 320489 | 2147483647 26331 56 | 0.023 % |
25.82/25.87 c | 26711 | 17502 97501 320489 | 2147483647 26703 55 | 0.023 % |
26.02/26.07 c | 27120 | 17502 97501 320489 | 2147483647 27112 56 | 0.023 % |
26.82/26.88 c | 27569 | 17502 97501 320489 | 2147483647 27561 56 | 0.023 % |
27.02/27.08 c | 27669 | 17502 97501 320489 | 2147483647 27661 56 | 0.023 % |
27.12/27.12 c | 27781 | 17502 97501 320489 | 2147483647 27773 56 | 0.023 % |
27.32/27.38 c | 27902 | 17502 97501 320489 | 2147483647 27894 56 | 0.023 % |
27.72/27.74 c | 28036 | 17502 97501 320489 | 2147483647 28028 56 | 0.023 % |
27.82/27.82 c | 28182 | 17502 97501 320489 | 2147483647 28174 56 | 0.023 % |
27.92/27.94 c | 28342 | 17502 97501 320489 | 2147483647 28334 56 | 0.023 % |
28.22/28.21 c | 28518 | 17502 97501 320489 | 2147483647 28510 56 | 0.023 % |
28.32/28.36 c | 28711 | 17502 97501 320489 | 2147483647 28703 56 | 0.023 % |
28.42/28.49 c | 28923 | 17502 97501 320489 | 2147483647 28915 56 | 0.024 % |
28.72/28.72 c | 29156 | 17502 97501 320489 | 2147483647 29148 56 | 0.023 % |
29.02/29.02 c | 29413 | 17502 97501 320489 | 2147483647 29405 57 | 0.023 % |
29.32/29.38 c | 29695 | 17502 97501 320489 | 2147483647 29687 57 | 0.023 % |
29.52/29.53 c | 30004 | 17502 97501 320489 | 2147483647 29996 57 | 0.023 % |
30.02/30.06 c | 30343 | 17502 97501 320489 | 2147483647 30335 57 | 0.023 % |
30.42/30.43 c | 30715 | 17502 97501 320489 | 2147483647 30707 58 | 0.023 % |
30.92/31.00 c | 31124 | 17502 97501 320489 | 2147483647 31116 58 | 0.023 % |
31.62/31.62 c | 31575 | 17502 97501 320489 | 2147483647 31567 59 | 0.023 % |
32.42/32.47 c | 32068 | 17502 97501 320489 | 2147483647 32060 60 | 0.023 % |
32.62/32.67 c | 32168 | 17502 97501 320489 | 2147483647 32160 60 | 0.023 % |
32.72/32.77 c | 32279 | 17502 97501 320489 | 2147483647 32271 60 | 0.023 % |
32.92/32.98 c | 32400 | 17502 97501 320489 | 2147483647 32392 59 | 0.023 % |
33.03/33.04 c | 32533 | 17502 97501 320489 | 2147483647 32525 59 | 0.023 % |
33.12/33.20 c | 32679 | 17502 97501 320489 | 2147483647 32671 59 | 0.023 % |
33.32/33.32 c | 32840 | 17502 97501 320489 | 2147483647 32832 59 | 0.023 % |
33.42/33.42 c | 33017 | 17502 97501 320489 | 2147483647 33009 59 | 0.023 % |
33.52/33.60 c | 33214 | 17502 97501 320489 | 2147483647 33206 60 | 0.023 % |
33.92/33.98 c | 33427 | 17502 97501 320489 | 2147483647 33419 60 | 0.023 % |
34.42/34.43 c | 33660 | 17502 97501 320489 | 2147483647 33652 60 | 0.023 % |
34.62/34.61 c | 33916 | 17502 97501 320489 | 2147483647 33908 60 | 0.023 % |
34.82/34.84 c | 34197 | 17502 97501 320489 | 2147483647 34189 61 | 0.023 % |
34.92/34.98 c | 34506 | 17502 97501 320489 | 2147483647 34498 61 | 0.023 % |
35.32/35.36 c | 34845 | 17502 97501 320489 | 2147483647 34837 61 | 0.023 % |
35.72/35.78 c | 35218 | 17502 97501 320489 | 2147483647 35210 62 | 0.023 % |
36.02/36.06 c | 35627 | 17502 97501 320489 | 2147483647 35619 62 | 0.023 % |
36.52/36.55 c | 36076 | 17502 97501 320489 | 2147483647 36068 62 | 0.023 % |
37.32/37.34 c | 36570 | 17502 97501 320489 | 2147483647 36562 62 | 0.023 % |
38.02/38.06 c | 37113 | 17502 97501 320489 | 2147483647 37105 62 | 0.023 % |
38.12/38.16 c | 37214 | 17502 97501 320489 | 2147483647 37206 62 | 0.023 % |
38.32/38.36 c | 37324 | 17502 97501 320489 | 2147483647 37316 62 | 0.023 % |
38.53/38.59 c | 37448 | 17502 97501 320489 | 2147483647 37440 62 | 0.023 % |
38.62/38.66 c | 37582 | 17502 97501 320489 | 2147483647 37574 62 | 0.023 % |
38.92/38.91 c | 37730 | 17502 97501 320489 | 2147483647 37722 62 | 0.023 % |
39.02/39.07 c | 37890 | 17502 97501 320489 | 2147483647 37882 62 | 0.023 % |
39.12/39.20 c | 38068 | 17502 97501 320489 | 2147483647 38060 62 | 0.023 % |
39.42/39.50 c | 38261 | 17502 97501 320489 | 2147483647 38253 62 | 0.023 % |
39.63/39.65 c | 38474 | 17502 97501 320489 | 2147483647 38466 62 | 0.023 % |
39.92/39.93 c | 38709 | 17502 97501 320489 | 2147483647 38701 62 | 0.023 % |
40.12/40.11 c | 38965 | 17502 97501 320489 | 2147483647 38957 62 | 0.023 % |
40.52/40.51 c | 39246 | 17502 97501 320489 | 2147483647 39238 62 | 0.023 % |
40.73/40.76 c | 39555 | 17502 97501 320489 | 2147483647 39547 62 | 0.023 % |
41.52/41.57 c | 39894 | 17502 97501 320489 | 2147483647 39886 62 | 0.023 % |
41.83/41.91 c | 40267 | 17502 97501 320489 | 2147483647 40259 62 | 0.023 % |
42.52/42.57 c | 40676 | 17502 97501 320489 | 2147483647 40668 62 | 0.023 % |
42.93/42.98 c | 41128 | 17502 97501 320489 | 2147483647 41120 63 | 0.023 % |
43.82/43.84 c | 41622 | 17502 97501 320489 | 2147483647 41614 63 | 0.023 % |
44.12/44.18 c | 42164 | 17502 97501 320489 | 2147483647 42156 64 | 0.023 % |
45.02/45.05 c | 42761 | 17502 97501 320489 | 2147483647 42753 64 | 0.023 % |
45.32/45.31 c | 42862 | 17502 97501 320489 | 2147483647 42854 64 | 0.023 % |
45.42/45.48 c | 42972 | 17502 97501 320489 | 2147483647 42964 64 | 0.023 % |
45.62/45.68 c | 43095 | 17502 97501 320489 | 2147483647 43087 64 | 0.023 % |
45.82/45.90 c | 43229 | 17502 97501 320489 | 2147483647 43221 64 | 0.023 % |
46.23/46.29 c | 43378 | 17502 97501 320489 | 2147483647 43370 64 | 0.023 % |
46.62/46.66 c | 43539 | 17502 97501 320489 | 2147483647 43531 64 | 0.023 % |
46.82/46.85 c | 43715 | 17502 97501 320489 | 2147483647 43707 64 | 0.024 % |
46.92/46.99 c | 43908 | 17502 97501 320489 | 2147483647 43900 64 | 0.024 % |
47.12/47.15 c | 44121 | 17502 97501 320489 | 2147483647 44113 65 | 0.023 % |
47.42/47.50 c | 44357 | 17502 97501 320489 | 2147483647 44349 65 | 0.023 % |
47.72/47.75 c | 44613 | 17502 97501 320489 | 2147483647 44605 65 | 0.023 % |
48.12/48.12 c | 44895 | 17502 97501 320489 | 2147483647 44887 65 | 0.023 % |
48.43/48.44 c | 45207 | 17502 97501 320489 | 2147483647 45199 65 | 0.023 % |
48.72/48.76 c | 45547 | 17502 97501 320489 | 2147483647 45539 64 | 0.023 % |
49.53/49.59 c | 45923 | 17502 97501 320489 | 2147483647 45915 64 | 0.024 % |
50.22/50.21 c | 46335 | 17502 97501 320489 | 2147483647 46327 64 | 0.023 % |
50.82/50.89 c | 46785 | 17502 97501 320489 | 2147483647 46777 64 | 0.023 % |
51.12/51.15 c | 47279 | 17502 97501 320489 | 2147483647 47271 65 | 0.023 % |
51.82/51.85 c | 47827 | 17502 97501 320489 | 2147483647 47819 65 | 0.023 % |
52.62/52.66 c | 48423 | 17502 97501 320489 | 2147483647 48415 65 | 0.023 % |
53.22/53.25 c | 49078 | 17502 97501 320489 | 2147483647 49070 65 | 0.023 % |
53.42/53.41 c | 49178 | 17502 97501 320489 | 2147483647 49170 65 | 0.023 % |
53.62/53.62 c | 49289 | 17502 97501 320489 | 2147483647 49281 65 | 0.023 % |
53.82/53.86 c | 49411 | 17502 97501 320489 | 2147483647 49403 65 | 0.023 % |
53.93/53.96 c | 49544 | 17502 97501 320489 | 2147483647 49536 65 | 0.023 % |
54.22/54.31 c | 49691 | 17502 97501 320489 | 2147483647 49683 65 | 0.023 % |
54.42/54.47 c | 49852 | 17502 97501 320489 | 2147483647 49844 65 | 0.023 % |
54.72/54.75 c | 50031 | 17502 97501 320489 | 2147483647 50023 65 | 0.023 % |
55.22/55.21 c | 50224 | 17502 97501 320489 | 2147483647 50216 65 | 0.023 % |
55.52/55.52 c | 50436 | 17502 97501 320489 | 2147483647 50428 65 | 0.023 % |
55.92/55.94 c | 50669 | 17502 97501 320489 | 2147483647 50661 65 | 0.023 % |
56.13/56.18 c | 50925 | 17502 97501 320489 | 2147483647 50917 65 | 0.023 % |
56.62/56.63 c | 51208 | 17502 97501 320489 | 2147483647 51200 65 | 0.023 % |
57.32/57.31 c | 51520 | 17502 97501 320489 | 2147483647 51512 65 | 0.023 % |
58.12/58.14 c | 51859 | 17502 97501 320489 | 2147483647 51851 65 | 0.023 % |
58.52/58.54 c | 52233 | 17502 97501 320489 | 2147483647 52225 65 | 0.023 % |
59.03/59.04 c | 52642 | 17502 97501 320489 | 2147483647 52634 65 | 0.023 % |
60.03/60.03 c | 53091 | 17502 97501 320489 | 2147483647 53083 65 | 0.023 % |
60.73/60.72 c | 53585 | 17502 97501 320489 | 2147483647 53577 65 | 0.023 % |
61.53/61.61 c | 54127 | 17502 97501 320489 | 2147483647 54119 65 | 0.023 % |
63.03/63.04 c | 54723 | 17502 97501 320489 | 2147483647 54715 65 | 0.023 % |
63.63/63.65 c | 55378 | 17502 97501 320489 | 2147483647 55370 65 | 0.023 % |
64.23/64.26 c | 56099 | 17502 97501 320489 | 2147483647 56091 64 | 0.023 % |
64.43/64.48 c | 56201 | 17502 97501 320489 | 2147483647 56193 64 | 0.024 % |
64.63/64.70 c | 56312 | 17502 97501 320489 | 2147483647 56304 64 | 0.024 % |
64.83/64.89 c | 56433 | 17502 97501 320489 | 2147483647 56425 64 | 0.023 % |
64.93/64.97 c | 56566 | 17502 97501 320489 | 2147483647 56558 64 | 0.023 % |
65.33/65.32 c | 56713 | 17502 97501 320489 | 2147483647 56705 65 | 0.023 % |
65.53/65.56 c | 56873 | 17502 97501 320489 | 2147483647 56865 65 | 0.023 % |
65.93/65.95 c | 57049 | 17502 97501 320489 | 2147483647 57041 65 | 0.023 % |
66.43/66.47 c | 57242 | 17502 97501 320489 | 2147483647 57234 65 | 0.023 % |
66.83/66.83 c | 57454 | 17502 97501 320489 | 2147483647 57446 65 | 0.024 % |
66.93/67.01 c | 57687 | 17502 97501 320489 | 2147483647 57679 65 | 0.023 % |
67.33/67.39 c | 57943 | 17502 97501 320489 | 2147483647 57935 65 | 0.023 % |
67.63/67.70 c | 58224 | 17502 97501 320489 | 2147483647 58216 64 | 0.023 % |
67.93/67.99 c | 58534 | 17502 97501 320489 | 2147483647 58526 65 | 0.023 % |
68.43/68.50 c | 58875 | 17501 97431 320326 | 2147483647 58743 65 | 0.029 % |
68.83/68.84 c | 59249 | 17501 97431 320326 | 2147483647 59117 65 | 0.029 % |
69.53/69.57 c | 59658 | 17501 97431 320326 | 2147483647 59526 65 | 0.029 % |
69.93/69.99 c | 60107 | 17501 97431 320326 | 2147483647 59975 65 | 0.029 % |
70.43/70.43 c | 60603 | 17501 97431 320326 | 2147483647 60471 65 | 0.029 % |
71.23/71.22 c | 61145 | 17501 97431 320326 | 2147483647 61013 65 | 0.029 % |
71.93/71.96 c | 61743 | 17501 97431 320326 | 2147483647 61611 65 | 0.029 % |
72.63/72.67 c | 62399 | 17501 97431 320326 | 2147483647 62267 65 | 0.029 % |
73.53/73.60 c | 63120 | 17501 97431 320326 | 2147483647 62988 65 | 0.029 % |
74.43/74.49 c | 63913 | 17501 97431 320326 | 2147483647 63781 65 | 0.029 % |
74.73/74.77 c | 64013 | 17501 97431 320326 | 2147483647 63881 65 | 0.029 % |
74.93/74.94 c | 64125 | 17501 97431 320326 | 2147483647 63993 65 | 0.029 % |
75.03/75.07 c | 64247 | 17501 97431 320326 | 2147483647 64115 65 | 0.029 % |
75.23/75.26 c | 64380 | 17501 97431 320326 | 2147483647 64248 65 | 0.029 % |
75.63/75.68 c | 64528 | 17501 97431 320326 | 2147483647 64396 65 | 0.029 % |
75.83/75.89 c | 64692 | 17501 97431 320326 | 2147483647 64560 65 | 0.030 % |
76.03/76.09 c | 64872 | 17501 97431 320326 | 2147483647 64740 65 | 0.029 % |
76.23/76.31 c | 65066 | 17501 97431 320326 | 2147483647 64934 65 | 0.029 % |
76.73/76.79 c | 65279 | 17501 97431 320326 | 2147483647 65147 65 | 0.029 % |
77.13/77.13 c | 65512 | 17501 97431 320326 | 2147483647 65380 65 | 0.029 % |
77.63/77.63 c | 65769 | 17501 97431 320326 | 2147483647 65637 65 | 0.029 % |
78.03/78.05 c | 66052 | 17501 97431 320326 | 2147483647 65920 65 | 0.029 % |
78.53/78.55 c | 66361 | 17501 97431 320326 | 2147483647 66229 65 | 0.029 % |
78.83/78.88 c | 66700 | 17501 97431 320326 | 2147483647 66568 65 | 0.029 % |
79.33/79.41 c | 67073 | 17501 97431 320326 | 2147483647 66941 65 | 0.029 % |
80.03/80.08 c | 67482 | 17501 97431 320326 | 2147483647 67350 65 | 0.029 % |
80.93/80.97 c | 67933 | 17501 97431 320326 | 2147483647 67801 65 | 0.029 % |
81.53/81.53 c | 68426 | 17501 97431 320326 | 2147483647 68294 65 | 0.029 % |
82.23/82.27 c | 68969 | 17501 97431 320326 | 2147483647 68837 65 | 0.029 % |
83.13/83.15 c | 69567 | 17501 97431 320326 | 2147483647 69435 65 | 0.029 % |
84.43/84.45 c | 70223 | 17501 97431 320326 | 2147483647 70091 66 | 0.029 % |
85.73/85.72 c | 70943 | 17501 97431 320326 | 2147483647 70811 66 | 0.029 % |
86.73/86.78 c | 71737 | 17501 97431 320326 | 2147483647 71605 66 | 0.029 % |
87.93/87.94 c | 72610 | 17501 97431 320326 | 2147483647 72478 66 | 0.029 % |
88.13/88.17 c | 72712 | 17501 97431 320326 | 2147483647 72580 66 | 0.029 % |
88.33/88.33 c | 72822 | 17501 97431 320326 | 2147483647 72690 66 | 0.029 % |
88.53/88.55 c | 72945 | 17501 97431 320326 | 2147483647 72813 66 | 0.029 % |
88.73/88.75 c | 73078 | 17501 97431 320326 | 2147483647 72946 66 | 0.029 % |
88.83/88.90 c | 73225 | 17501 97431 320326 | 2147483647 73093 66 | 0.030 % |
89.13/89.20 c | 73386 | 17501 97431 320326 | 2147483647 73254 66 | 0.029 % |
89.43/89.44 c | 73564 | 17501 97431 320326 | 2147483647 73432 66 | 0.030 % |
89.63/89.62 c | 73757 | 17501 97431 320326 | 2147483647 73625 66 | 0.030 % |
89.93/90.00 c | 73970 | 17501 97431 320326 | 2147483647 73838 66 | 0.029 % |
90.53/90.56 c | 74206 | 17501 97431 320326 | 2147483647 74074 66 | 0.029 % |
90.93/91.00 c | 74462 | 17501 97431 320326 | 2147483647 74330 66 | 0.029 % |
91.73/91.74 c | 74743 | 17501 97431 320326 | 2147483647 74611 66 | 0.029 % |
92.13/92.12 c | 75052 | 17501 97431 320326 | 2147483647 74920 66 | 0.029 % |
92.53/92.57 c | 75391 | 17501 97431 320326 | 2147483647 75259 66 | 0.029 % |
93.03/93.07 c | 75764 | 17501 97431 320326 | 2147483647 75632 66 | 0.029 % |
93.63/93.68 c | 76173 | 17501 97431 320326 | 2147483647 76041 66 | 0.029 % |
94.23/94.26 c | 76623 | 17501 97431 320326 | 2147483647 76491 66 | 0.029 % |
95.03/95.06 c | 77116 | 17501 97431 320326 | 2147483647 76984 66 | 0.029 % |
95.93/95.94 c | 77658 | 17501 97431 320326 | 2147483647 77526 66 | 0.029 % |
96.63/96.64 c | 78255 | 17501 97431 320326 | 2147483647 78123 66 | 0.029 % |
97.93/97.95 c | 78910 | 17501 97431 320326 | 2147483647 78778 66 | 0.029 % |
99.03/99.06 c | 79631 | 17501 97431 320326 | 2147483647 79499 66 | 0.029 % |
100.13/100.12 c | 80423 | 17501 97431 320326 | 2147483647 80291 66 | 0.029 % |
101.33/101.33 c | 81296 | 17501 97431 320326 | 2147483647 81164 66 | 0.029 % |
102.83/102.87 c | 82255 | 17501 97431 320326 | 2147483647 82123 66 | 0.029 % |
103.13/103.15 c | 82357 | 17501 97431 320326 | 2147483647 82225 66 | 0.029 % |
103.33/103.34 c | 82468 | 17501 97431 320326 | 2147483647 82336 66 | 0.029 % |
103.63/103.68 c | 82595 | 17501 97431 320326 | 2147483647 82463 66 | 0.029 % |
103.83/103.87 c | 82728 | 17501 97431 320326 | 2147483647 82596 66 | 0.029 % |
104.23/104.22 c | 82875 | 17501 97431 320326 | 2147483647 82743 66 | 0.029 % |
104.43/104.50 c | 83035 | 17501 97431 320326 | 2147483647 82903 66 | 0.029 % |
104.93/104.92 c | 83214 | 17501 97431 320326 | 2147483647 83082 66 | 0.029 % |
105.23/105.22 c | 83407 | 17501 97431 320326 | 2147483647 83275 66 | 0.029 % |
105.53/105.60 c | 83621 | 17501 97431 320326 | 2147483647 83489 66 | 0.029 % |
106.03/106.03 c | 83855 | 17501 97431 320326 | 2147483647 83723 66 | 0.029 % |
106.23/106.25 c | 84112 | 17501 97431 320326 | 2147483647 83980 66 | 0.029 % |
106.43/106.51 c | 84395 | 17501 97431 320326 | 2147483647 84263 66 | 0.029 % |
107.13/107.21 c | 84704 | 17501 97431 320326 | 2147483647 84572 66 | 0.029 % |
107.73/107.74 c | 85043 | 17501 97431 320326 | 2147483647 84911 66 | 0.029 % |
108.13/108.18 c | 85415 | 17501 97431 320326 | 2147483647 85283 66 | 0.029 % |
108.83/108.90 c | 85824 | 17501 97431 320326 | 2147483647 85692 66 | 0.029 % |
109.73/109.72 c | 86273 | 17501 97431 320326 | 2147483647 86141 66 | 0.029 % |
110.43/110.50 c | 86767 | 17501 97431 320326 | 2147483647 86635 66 | 0.029 % |
111.63/111.63 c | 87309 | 17501 97431 320326 | 2147483647 87177 66 | 0.029 % |
112.23/112.28 c | 87905 | 17501 97431 320326 | 2147483647 87773 67 | 0.029 % |
113.23/113.29 c | 88561 | 17501 97431 320326 | 2147483647 88429 67 | 0.029 % |
114.63/114.66 c | 89283 | 17501 97431 320326 | 2147483647 89151 67 | 0.029 % |
116.33/116.33 c | 90076 | 17501 97431 320326 | 2147483647 89944 67 | 0.029 % |
117.33/117.41 c | 90947 | 17501 97431 320326 | 2147483647 90815 67 | 0.029 % |
119.13/119.14 c | 91905 | 17501 97431 320326 | 2147483647 91773 67 | 0.029 % |
120.23/120.31 c | 92958 | 17501 97431 320326 | 2147483647 92826 67 | 0.029 % |
120.43/120.46 c | 93059 | 17501 97431 320326 | 2147483647 92927 67 | 0.029 % |
120.63/120.62 c | 93172 | 17501 97431 320326 | 2147483647 93040 67 | 0.029 % |
120.83/120.86 c | 93293 | 17501 97431 320326 | 2147483647 93161 67 | 0.029 % |
121.03/121.06 c | 93426 | 17501 97431 320326 | 2147483647 93294 67 | 0.029 % |
121.23/121.28 c | 93574 | 17501 97431 320326 | 2147483647 93442 67 | 0.029 % |
121.63/121.64 c | 93737 | 17501 97431 320326 | 2147483647 93605 67 | 0.029 % |
121.93/122.00 c | 93913 | 17501 97431 320326 | 2147483647 93781 67 | 0.029 % |
122.53/122.60 c | 94107 | 17501 97431 320326 | 2147483647 93975 67 | 0.029 % |
122.93/122.91 c | 94319 | 17501 97431 320326 | 2147483647 94187 67 | 0.029 % |
123.23/123.26 c | 94552 | 17501 97431 320326 | 2147483647 94420 67 | 0.029 % |
123.83/123.82 c | 94808 | 17501 97431 320326 | 2147483647 94676 67 | 0.029 % |
124.23/124.24 c | 95092 | 17501 97431 320326 | 2147483647 94960 67 | 0.029 % |
124.93/124.93 c | 95403 | 17501 97431 320326 | 2147483647 95271 67 | 0.029 % |
125.63/125.66 c | 95742 | 17501 97431 320326 | 2147483647 95610 67 | 0.029 % |
126.33/126.38 c | 96116 | 17501 97431 320326 | 2147483647 95984 67 | 0.029 % |
127.43/127.43 c | 96529 | 17501 97431 320326 | 2147483647 96397 67 | 0.029 % |
128.23/128.28 c | 96979 | 17501 97431 320326 | 2147483647 96847 67 | 0.029 % |
129.13/129.17 c | 97473 | 17501 97431 320326 | 2147483647 97341 67 | 0.029 % |
130.03/130.05 c | 98016 | 17501 97431 320326 | 2147483647 97884 67 | 0.029 % |
131.23/131.22 c | 98612 | 17501 97431 320326 | 2147483647 98480 67 | 0.029 % |
132.53/132.60 c | 99268 | 17501 97431 320326 | 2147483647 99136 67 | 0.029 % |
134.03/134.02 c | 99989 | 17501 97431 320326 | 2147483647 99857 66 | 0.029 % |
135.23/135.23 c | 100782 | 17501 97431 320326 | 2147483647 100650 66 | 0.029 % |
136.63/136.66 c | 101653 | 17501 97431 320326 | 2147483647 101521 66 | 0.029 % |
137.83/137.82 c | 102612 | 17501 97431 320326 | 2147483647 102480 66 | 0.029 % |
138.93/138.94 c | 103666 | 17501 97431 320326 | 2147483647 103534 66 | 0.029 % |
140.84/140.85 c | 104824 | 17501 97431 320326 | 2147483647 104692 67 | 0.029 % |
141.03/141.06 c | 104926 | 17501 97431 320326 | 2147483647 104794 67 | 0.029 % |
141.23/141.26 c | 105039 | 17501 97431 320326 | 2147483647 104907 67 | 0.029 % |
141.83/141.86 c | 105161 | 17347 95126 314009 | 2147483647 93399 69 | 0.908 % |
142.13/142.15 c | 105295 | 17347 95126 314009 | 2147483647 93533 69 | 0.908 % |
142.43/142.43 c | 105441 | 17347 95126 314009 | 2147483647 93679 69 | 0.908 % |
142.73/142.76 c | 105602 | 17347 95126 314009 | 2147483647 93840 69 | 0.908 % |
143.04/143.08 c | 105778 | 17347 95126 314009 | 2147483647 94016 69 | 0.908 % |
143.43/143.44 c | 105971 | 17347 95126 314009 | 2147483647 94209 69 | 0.908 % |
143.83/143.86 c | 106184 | 17347 95126 314009 | 2147483647 94422 69 | 0.908 % |
144.23/144.29 c | 106417 | 17347 95126 314009 | 2147483647 94655 69 | 0.908 % |
144.73/144.72 c | 106673 | 17347 95126 314009 | 2147483647 94911 69 | 0.908 % |
145.13/145.17 c | 106955 | 17347 95126 314009 | 2147483647 95193 69 | 0.908 % |
145.83/145.88 c | 107264 | 17347 95126 314009 | 2147483647 95502 68 | 0.908 % |
146.63/146.68 c | 107607 | 17347 95126 314009 | 2147483647 95845 68 | 0.908 % |
147.33/147.34 c | 107980 | 17347 95126 314009 | 2147483647 96218 68 | 0.908 % |
147.93/147.94 c | 108389 | 17347 95126 314009 | 2147483647 96626 69 | 0.914 % |
148.73/148.75 c | 108838 | 17347 95126 314009 | 2147483647 97075 69 | 0.914 % |
149.43/149.50 c | 109333 | 17347 95126 314009 | 2147483647 97570 69 | 0.914 % |
150.33/150.37 c | 109875 | 17347 95126 314009 | 2147483647 98112 69 | 0.914 % |
151.43/151.43 c | 110472 | 17347 95126 314009 | 2147483647 98709 69 | 0.914 % |
152.53/152.54 c | 111128 | 17347 95126 314009 | 2147483647 99365 69 | 0.914 % |
153.93/153.96 c | 111848 | 17347 95126 314009 | 2147483647 100085 68 | 0.914 % |
155.03/155.02 c | 112641 | 17347 95126 314009 | 2147483647 100878 68 | 0.914 % |
156.83/156.88 c | 113514 | 17347 95126 314009 | 2147483647 101751 69 | 0.914 % |
158.83/158.83 c | 114472 | 17347 95126 314009 | 2147483647 102709 69 | 0.914 % |
161.13/161.11 c | 115527 | 17346 95118 313983 | 2147483647 103764 69 | 0.914 % |
163.63/163.66 c | 116686 | 17346 95118 313983 | 2147483647 104923 69 | 0.914 % |
166.73/166.78 c | 117959 | 17346 95118 313983 | 2147483647 106196 69 | 0.914 % |
166.93/166.99 c | 118060 | 17346 95118 313983 | 2147483647 106297 69 | 0.914 % |
167.13/167.20 c | 118172 | 17346 95118 313983 | 2147483647 106409 69 | 0.914 % |
167.53/167.61 c | 118293 | 17346 95118 313983 | 2147483647 106530 69 | 0.914 % |
167.93/167.92 c | 118426 | 17346 95118 313983 | 2147483647 106663 69 | 0.914 % |
168.34/168.36 c | 118572 | 17346 95118 313983 | 2147483647 106809 69 | 0.914 % |
168.63/168.71 c | 118732 | 17346 95118 313983 | 2147483647 106969 69 | 0.914 % |
169.03/169.07 c | 118909 | 17346 95118 313983 | 2147483647 107146 69 | 0.914 % |
169.63/169.61 c | 119102 | 17346 95118 313983 | 2147483647 107339 69 | 0.914 % |
170.03/170.05 c | 119314 | 17346 95118 313983 | 2147483647 107551 69 | 0.914 % |
170.43/170.46 c | 119547 | 17346 95118 313983 | 2147483647 107784 69 | 0.914 % |
171.03/171.11 c | 119803 | 17346 95118 313983 | 2147483647 108040 69 | 0.914 % |
171.64/171.64 c | 120084 | 17346 95118 313983 | 2147483647 108321 69 | 0.914 % |
172.33/172.39 c | 120394 | 17346 95118 313983 | 2147483647 108631 69 | 0.914 % |
173.23/173.25 c | 120735 | 17346 95118 313983 | 2147483647 108972 69 | 0.914 % |
173.93/173.98 c | 121110 | 17346 95118 313983 | 2147483647 109347 69 | 0.914 % |
175.23/175.23 c | 121519 | 17346 95118 313983 | 2147483647 109756 69 | 0.914 % |
176.23/176.31 c | 121968 | 17346 95118 313983 | 2147483647 110205 69 | 0.914 % |
177.43/177.48 c | 122464 | 17346 95118 313983 | 2147483647 110701 69 | 0.914 % |
178.24/178.23 c | 123008 | 17346 95118 313983 | 2147483647 111245 69 | 0.914 % |
179.93/180.00 c | 123605 | 17346 95118 313983 | 2147483647 111842 69 | 0.914 % |
181.23/181.27 c | 124260 | 17346 95118 313983 | 2147483647 112497 69 | 0.914 % |
183.13/183.17 c | 124980 | 17346 95118 313983 | 2147483647 113217 69 | 0.914 % |
184.63/184.65 c | 125772 | 17346 95118 313983 | 2147483647 114009 69 | 0.914 % |
186.94/186.92 c | 126644 | 17346 95118 313983 | 2147483647 114881 69 | 0.914 % |
188.64/188.67 c | 127603 | 17346 95118 313983 | 2147483647 115840 69 | 0.914 % |
190.74/190.81 c | 128657 | 17346 95118 313983 | 2147483647 116894 69 | 0.914 % |
192.94/193.01 c | 129815 | 17346 95118 313983 | 2147483647 118052 69 | 0.914 % |
195.94/195.93 c | 131090 | 17346 95118 313983 | 2147483647 119327 70 | 0.914 % |
198.84/198.84 c | 132491 | 17346 95118 313983 | 2147483647 120728 70 | 0.914 % |
199.04/199.03 c | 132593 | 17346 95118 313983 | 2147483647 120830 69 | 0.914 % |
199.34/199.35 c | 132703 | 17346 95118 313983 | 2147483647 120940 69 | 0.914 % |
199.54/199.59 c | 132824 | 17346 95118 313983 | 2147483647 121061 69 | 0.914 % |
199.74/199.82 c | 132958 | 17346 95118 313983 | 2147483647 121195 69 | 0.914 % |
200.14/200.13 c | 133105 | 17346 95118 313983 | 2147483647 121342 69 | 0.914 % |
200.54/200.55 c | 133266 | 17346 95118 313983 | 2147483647 121503 69 | 0.914 % |
200.84/200.92 c | 133442 | 17346 95118 313983 | 2147483647 121679 69 | 0.914 % |
201.24/201.30 c | 133635 | 17346 95118 313983 | 2147483647 121872 69 | 0.914 % |
201.64/201.69 c | 133848 | 17346 95118 313983 | 2147483647 122085 69 | 0.914 % |
202.24/202.27 c | 134082 | 17346 95118 313983 | 2147483647 122319 69 | 0.914 % |
203.04/203.03 c | 134338 | 17346 95118 313983 | 2147483647 122575 69 | 0.914 % |
203.54/203.61 c | 134620 | 17346 95118 313983 | 2147483647 122857 69 | 0.914 % |
204.34/204.35 c | 134929 | 17346 95118 313983 | 2147483647 123166 69 | 0.914 % |
205.24/205.27 c | 135268 | 17346 95118 313983 | 2147483647 123505 69 | 0.914 % |
206.14/206.18 c | 135641 | 17346 95118 313983 | 2147483647 123878 69 | 0.914 % |
207.24/207.26 c | 136050 | 17346 95118 313983 | 2147483647 124287 69 | 0.914 % |
208.44/208.51 c | 136499 | 17346 95118 313983 | 2147483647 124736 69 | 0.914 % |
209.84/209.88 c | 136994 | 17346 95118 313983 | 2147483647 125231 69 | 0.914 % |
211.44/211.44 c | 137536 | 17346 95118 313983 | 2147483647 125773 69 | 0.914 % |
213.34/213.40 c | 138132 | 17346 95118 313983 | 2147483647 126369 69 | 0.914 % |
215.14/215.14 c | 138788 | 17346 95118 313983 | 2147483647 127025 69 | 0.914 % |
217.04/217.09 c | 139509 | 17346 95118 313983 | 2147483647 127746 69 | 0.914 % |
219.14/219.17 c | 140301 | 17346 95118 313983 | 2147483647 128538 69 | 0.914 % |
220.94/220.98 c | 141173 | 17346 95118 313983 | 2147483647 129410 69 | 0.914 % |
223.54/223.55 c | 142131 | 17346 95118 313983 | 2147483647 130368 69 | 0.914 % |
225.74/225.81 c | 143185 | 17346 95118 313983 | 2147483647 131422 69 | 0.914 % |
228.14/228.17 c | 144343 | 17346 95118 313983 | 2147483647 132580 69 | 0.914 % |
231.04/231.04 c | 145617 | 17346 95118 313983 | 2147483647 133854 69 | 0.914 % |
234.54/234.52 c | 147021 | 17346 95118 313983 | 2147483647 135258 69 | 0.914 % |
238.44/238.46 c | 148561 | 17346 95118 313983 | 2147483647 136798 69 | 0.914 % |
238.74/238.81 c | 148662 | 17346 95118 313983 | 2147483647 136899 69 | 0.914 % |
239.04/239.04 c | 148772 | 17346 95118 313983 | 2147483647 137009 69 | 0.914 % |
239.24/239.28 c | 148894 | 17346 95118 313983 | 2147483647 137131 69 | 0.914 % |
239.64/239.68 c | 149028 | 17346 95118 313983 | 2147483647 137265 69 | 0.914 % |
240.24/240.23 c | 149174 | 17346 95118 313983 | 2147483647 137411 69 | 0.914 % |
240.64/240.67 c | 149335 | 17346 95118 313983 | 2147483647 137572 69 | 0.914 % |
241.14/241.19 c | 149513 | 17346 95118 313983 | 2147483647 137750 69 | 0.914 % |
241.64/241.70 c | 149707 | 17346 95118 313983 | 2147483647 137944 69 | 0.914 % |
242.24/242.27 c | 149921 | 17346 95118 313983 | 2147483647 138158 69 | 0.914 % |
242.74/242.77 c | 150154 | 17346 95118 313983 | 138237 138391 69 | 0.914 % |
243.44/243.43 c | 150411 | 17346 95118 313983 | 138237 138648 68 | 0.914 % |
245.04/245.03 c | 150695 | 17346 95118 313983 | 138237 116341 65 | 0.914 % |
245.84/245.89 c | 151004 | 17346 95118 313983 | 138237 116650 65 | 0.914 % |
246.64/246.69 c | 151343 | 17346 95118 313983 | 138237 116989 65 | 0.914 % |
247.54/247.60 c | 151715 | 17346 95118 313983 | 138237 117361 65 | 0.914 % |
248.44/248.46 c | 152124 | 17346 95118 313983 | 138237 117770 65 | 0.914 % |
249.44/249.51 c | 152573 | 17346 95118 313983 | 138237 118219 65 | 0.914 % |
250.94/250.93 c | 153066 | 17346 95118 313983 | 138237 118712 65 | 0.914 % |
252.04/252.10 c | 153610 | 17346 95118 313983 | 138237 119256 65 | 0.914 % |
254.04/254.05 c | 154207 | 17346 95118 313983 | 138237 119853 65 | 0.914 % |
255.54/255.61 c | 154863 | 17346 95118 313983 | 138237 120509 65 | 0.914 % |
257.44/257.45 c | 155583 | 17346 95118 313983 | 138237 121229 65 | 0.914 % |
259.74/259.76 c | 156376 | 17346 95118 313983 | 138237 122022 65 | 0.914 % |
261.64/261.64 c | 157249 | 17346 95118 313983 | 138237 122895 65 | 0.914 % |
264.14/264.13 c | 158212 | 17346 95118 313983 | 138237 123858 65 | 0.914 % |
266.64/266.70 c | 159265 | 17346 95118 313983 | 138237 124911 64 | 0.914 % |
269.64/269.69 c | 160424 | 17346 95118 313983 | 125646 126070 64 | 0.914 % |
273.24/273.23 c | 161697 | 17346 95118 313983 | 125646 110932 63 | 0.914 % |
276.74/276.78 c | 163098 | 17346 95118 313983 | 125646 112333 63 | 0.914 % |
279.54/279.59 c | 164639 | 17346 95118 313983 | 125646 113874 63 | 0.914 % |
283.44/283.42 c | 166335 | 17346 95118 313983 | 125646 115570 63 | 0.914 % |
283.64/283.66 c | 166435 | 17346 95118 313983 | 125646 115670 63 | 0.914 % |
283.94/283.95 c | 166545 | 17346 95118 313983 | 125646 115780 63 | 0.914 % |
284.34/284.33 c | 166666 | 17346 95118 313983 | 125646 115901 63 | 0.914 % |
284.64/284.66 c | 166802 | 17346 95118 313983 | 125646 116037 63 | 0.914 % |
284.95/284.97 c | 166950 | 17346 95118 313983 | 125646 116185 63 | 0.914 % |
285.34/285.32 c | 167110 | 17346 95118 313983 | 125646 116345 63 | 0.914 % |
285.74/285.80 c | 167288 | 17346 95118 313983 | 125646 116523 63 | 0.914 % |
286.24/286.24 c | 167482 | 17346 95118 313983 | 125646 116717 63 | 0.914 % |
286.74/286.79 c | 167696 | 17346 95118 313983 | 125646 116931 63 | 0.914 % |
287.24/287.27 c | 167931 | 17346 95118 313983 | 125646 117166 63 | 0.914 % |
287.94/287.91 c | 168188 | 17346 95118 313983 | 125646 117423 63 | 0.914 % |
288.44/288.46 c | 168469 | 17346 95118 313983 | 125646 117704 63 | 0.914 % |
289.14/289.19 c | 168779 | 17346 95118 313983 | 125646 118014 63 | 0.914 % |
289.94/289.94 c | 169120 | 17346 95118 313983 | 125646 118355 63 | 0.914 % |
290.74/290.75 c | 169492 | 17346 95118 313983 | 125646 118727 63 | 0.914 % |
291.64/291.71 c | 169903 | 17346 95118 313983 | 125646 119138 62 | 0.914 % |
292.84/292.84 c | 170352 | 17346 95118 313983 | 119236 119587 62 | 0.914 % |
294.64/294.62 c | 170848 | 17346 95118 313983 | 119236 95869 60 | 0.914 % |
295.95/296.01 c | 171391 | 17346 95118 313983 | 119236 96412 60 | 0.914 % |
297.54/297.58 c | 171989 | 17346 95118 313983 | 119236 97010 60 | 0.914 % |
299.04/299.07 c | 172644 | 17346 95118 313983 | 119236 97665 60 | 0.914 % |
300.44/300.45 c | 173366 | 17346 95118 313983 | 119236 98387 60 | 0.914 % |
302.14/302.16 c | 174158 | 17346 95118 313983 | 119236 99179 60 | 0.914 % |
303.74/303.76 c | 175029 | 17346 95118 313983 | 119236 100050 60 | 0.914 % |
305.54/305.52 c | 175987 | 17346 95118 313983 | 119236 101008 60 | 0.914 % |
307.74/307.73 c | 177040 | 17346 95118 313983 | 119236 102061 60 | 0.914 % |
310.14/310.16 c | 178198 | 17346 95118 313983 | 119236 103219 60 | 0.914 % |
313.04/313.05 c | 179472 | 17346 95118 313983 | 119236 104493 60 | 0.914 % |
315.74/315.71 c | 180873 | 17346 95118 313983 | 105021 105894 60 | 0.914 % |
319.74/319.75 c | 182415 | 17346 95118 313983 | 105021 84051 56 | 0.914 % |
323.64/323.65 c | 184110 | 17346 95118 313983 | 105021 85746 56 | 0.914 % |
327.94/327.95 c | 185975 | 17346 95118 313983 | 105021 87611 56 | 0.914 % |
328.14/328.18 c | 186075 | 17346 95118 313983 | 105021 87711 56 | 0.914 % |
328.44/328.45 c | 186190 | 17346 95118 313983 | 105021 87826 56 | 0.914 % |
328.74/328.73 c | 186316 | 17346 95118 313983 | 105021 87952 56 | 0.914 % |
329.04/329.06 c | 186449 | 17346 95118 313983 | 105021 88085 56 | 0.914 % |
329.34/329.36 c | 186597 | 17346 95118 313983 | 105021 88233 56 | 0.914 % |
329.64/329.65 c | 186757 | 17346 95118 313983 | 105021 88393 56 | 0.914 % |
330.14/330.16 c | 186934 | 17346 95118 313983 | 105021 88570 56 | 0.914 % |
330.64/330.64 c | 187127 | 17346 95118 313983 | 105021 88763 55 | 0.914 % |
331.14/331.14 c | 187342 | 17346 95118 313983 | 105021 88978 56 | 0.914 % |
331.54/331.54 c | 187577 | 17346 95118 313983 | 105021 89213 56 | 0.914 % |
332.24/332.21 c | 187833 | 17346 95118 313983 | 105021 89469 56 | 0.914 % |
332.84/332.90 c | 188114 | 17346 95118 313983 | 105021 89750 56 | 0.914 % |
333.64/333.67 c | 188423 | 17346 95118 313983 | 105021 90059 56 | 0.914 % |
334.24/334.24 c | 188765 | 17346 95118 313983 | 105021 90401 56 | 0.914 % |
334.84/334.91 c | 189137 | 17346 95118 313983 | 105021 90773 55 | 0.914 % |
335.84/335.90 c | 189549 | 17346 95118 313983 | 105021 91185 56 | 0.914 % |
336.74/336.77 c | 189998 | 17346 95118 313983 | 105021 91634 56 | 0.914 % |
337.64/337.65 c | 190492 | 17346 95118 313983 | 2147483647 92128 55 | 0.914 % |
338.84/338.88 c | 191034 | 17346 95118 313983 | 2147483647 92670 55 | 0.914 % |
340.04/340.03 c | 191630 | 17346 95118 313983 | 2147483647 93266 55 | 0.914 % |
341.34/341.41 c | 192287 | 17346 95118 313983 | 2147483647 93923 55 | 0.914 % |
342.84/342.85 c | 193008 | 17346 95118 313983 | 2147483647 94644 56 | 0.914 % |
344.34/344.37 c | 193801 | 17346 95118 313983 | 2147483647 95437 55 | 0.914 % |
346.24/346.23 c | 194673 | 17346 95118 313983 | 2147483647 96309 55 | 0.914 % |
348.84/348.84 c | 195631 | 17346 95118 313983 | 2147483647 97267 55 | 0.914 % |
351.34/351.40 c | 196686 | 17346 95118 313983 | 2147483647 98322 55 | 0.914 % |
355.74/355.71 c | 197846 | 17345 94521 312732 | 2147483647 58515 57 | 0.920 % |
357.74/357.73 c | 199120 | 17345 94521 312732 | 2147483647 59789 57 | 0.920 % |
359.74/359.77 c | 200520 | 17345 94521 312732 | 2147483647 61189 57 | 0.920 % |
361.64/361.64 c | 202061 | 17345 94521 312732 | 2147483647 62730 57 | 0.920 % |
364.44/364.50 c | 203756 | 17345 94521 312732 | 2147483647 64425 57 | 0.920 % |
368.14/368.17 c | 205620 | 17345 94521 312732 | 2147483647 66289 58 | 0.920 % |
371.54/371.59 c | 207669 | 17345 94521 312732 | 2147483647 68338 58 | 0.920 % |
371.74/371.75 c | 207771 | 17345 94521 312732 | 2147483647 68440 58 | 0.920 % |
371.94/371.95 c | 207881 | 17345 94521 312732 | 2147483647 68550 58 | 0.920 % |
372.14/372.15 c | 208003 | 17345 94521 312732 | 2147483647 68672 58 | 0.920 % |
372.54/372.51 c | 208139 | 17345 94521 312732 | 2147483647 68808 58 | 0.920 % |
372.64/372.69 c | 208285 | 17345 94521 312732 | 2147483647 68954 58 | 0.920 % |
373.14/373.14 c | 208448 | 17345 94521 312732 | 2147483647 69117 58 | 0.920 % |
373.34/373.40 c | 208625 | 17345 94521 312732 | 2147483647 69294 58 | 0.920 % |
373.74/373.73 c | 208818 | 17345 94521 312732 | 2147483647 69487 58 | 0.920 % |
374.14/374.12 c | 209030 | 17345 94521 312732 | 2147483647 69699 58 | 0.920 % |
374.54/374.59 c | 209264 | 17345 94521 312732 | 2147483647 69933 58 | 0.920 % |
375.04/375.09 c | 209522 | 17345 94521 312732 | 2147483647 70191 58 | 0.920 % |
375.64/375.65 c | 209804 | 17345 94521 312732 | 2147483647 70473 58 | 0.920 % |
376.34/376.39 c | 210113 | 17345 94521 312732 | 2147483647 70782 58 | 0.920 % |
377.04/377.10 c | 210453 | 17345 94521 312732 | 2147483647 71122 58 | 0.920 % |
377.64/377.63 c | 210827 | 17345 94521 312732 | 2147483647 71496 58 | 0.920 % |
378.24/378.25 c | 211236 | 17345 94521 312732 | 2147483647 71905 58 | 0.920 % |
378.84/378.90 c | 211685 | 17345 94521 312732 | 2147483647 72354 58 | 0.920 % |
379.54/379.51 c | 212178 | 17345 94521 312732 | 2147483647 72847 58 | 0.921 % |
380.24/380.30 c | 212720 | 17345 94521 312732 | 2147483647 73389 58 | 0.920 % |
381.14/381.17 c | 213316 | 17345 94521 312732 | 2147483647 73985 58 | 0.920 % |
382.64/382.62 c | 213971 | 17345 94521 312732 | 2147483647 74640 58 | 0.920 % |
384.04/384.03 c | 214693 | 17345 94521 312732 | 2147483647 75362 58 | 0.920 % |
385.34/385.31 c | 215485 | 17345 94521 312732 | 2147483647 76154 58 | 0.920 % |
387.24/387.22 c | 216356 | 17345 94521 312732 | 2147483647 77025 59 | 0.920 % |
389.14/389.19 c | 217318 | 17345 94521 312732 | 2147483647 77987 59 | 0.920 % |
391.65/391.67 c | 218372 | 17345 94521 312732 | 2147483647 79041 59 | 0.920 % |
394.14/394.14 c | 219530 | 17345 94521 312732 | 2147483647 80199 59 | 0.920 % |
397.04/397.10 c | 220807 | 17345 94521 312732 | 2147483647 81476 59 | 0.920 % |
399.84/399.86 c | 222207 | 17345 94521 312732 | 2147483647 82876 59 | 0.920 % |
403.34/403.36 c | 223748 | 17345 94521 312732 | 2147483647 84417 59 | 0.920 % |
406.14/406.20 c | 225443 | 17345 94521 312732 | 2147483647 86112 59 | 0.920 % |
410.24/410.22 c | 227307 | 17345 94521 312732 | 2147483647 87976 59 | 0.920 % |
414.04/414.09 c | 229357 | 17345 94521 312732 | 2147483647 90026 60 | 0.920 % |
418.24/418.22 c | 231610 | 17345 94521 312732 | 2147483647 92279 60 | 0.920 % |
418.34/418.40 c | 231712 | 17345 94521 312732 | 2147483647 92381 60 | 0.920 % |
418.54/418.60 c | 231824 | 17345 94521 312732 | 2147483647 92493 60 | 0.920 % |
418.74/418.80 c | 231946 | 17345 94521 312732 | 2147483647 92615 60 | 0.920 % |
419.04/419.08 c | 232079 | 17345 94521 312732 | 2147483647 92748 60 | 0.920 % |
419.44/419.46 c | 232225 | 17345 94521 312732 | 2147483647 92894 60 | 0.920 % |
419.84/419.82 c | 232385 | 17345 94521 312732 | 2147483647 93054 60 | 0.920 % |
420.34/420.31 c | 232561 | 17345 94521 312732 | 2147483647 93230 60 | 0.920 % |
420.94/420.96 c | 232754 | 17345 94521 312732 | 2147483647 93423 60 | 0.920 % |
421.44/421.50 c | 232967 | 17345 94521 312732 | 2147483647 93636 60 | 0.920 % |
422.14/422.19 c | 233203 | 17345 94521 312732 | 2147483647 93872 60 | 0.920 % |
422.84/422.87 c | 233459 | 17345 94521 312732 | 2147483647 94128 60 | 0.920 % |
423.55/423.52 c | 233742 | 17345 94521 312732 | 2147483647 94411 60 | 0.920 % |
424.14/424.18 c | 234051 | 17345 94521 312732 | 2147483647 94720 60 | 0.920 % |
425.04/425.01 c | 234391 | 17345 94521 312732 | 2147483647 95060 60 | 0.920 % |
425.84/425.84 c | 234763 | 17345 94521 312732 | 2147483647 95432 60 | 0.920 % |
426.54/426.57 c | 235172 | 17345 94521 312732 | 2147483647 95841 60 | 0.920 % |
427.64/427.65 c | 235621 | 17345 94521 312732 | 2147483647 96290 60 | 0.920 % |
428.84/428.90 c | 236114 | 17345 94521 312732 | 2147483647 96783 60 | 0.920 % |
430.15/430.19 c | 236656 | 17345 94521 312732 | 2147483647 97325 59 | 0.920 % |
431.64/431.70 c | 237253 | 17345 94521 312732 | 2147483647 97922 59 | 0.920 % |
433.04/433.08 c | 237908 | 17345 94521 312732 | 2147483647 98577 59 | 0.920 % |
434.64/434.62 c | 238628 | 17345 94521 312732 | 2147483647 99297 59 | 0.920 % |
436.34/436.37 c | 239420 | 17345 94521 312732 | 2147483647 100089 60 | 0.920 % |
438.24/438.26 c | 240291 | 17345 94521 312732 | 100669 100960 60 | 0.920 % |
440.35/440.32 c | 241249 | 17345 94521 312732 | 100669 86967 58 | 0.920 % |
442.65/442.71 c | 242302 | 17345 94521 312732 | 100669 88020 58 | 0.920 % |
444.45/444.50 c | 243460 | 17345 94521 312732 | 100669 89178 58 | 0.920 % |
446.95/446.96 c | 244733 | 17345 94521 312732 | 100669 90451 58 | 0.920 % |
449.65/449.62 c | 246134 | 17345 94521 312732 | 100669 91852 58 | 0.920 % |
452.85/452.83 c | 247674 | 17345 94521 312732 | 100669 93392 58 | 0.920 % |
456.95/456.94 c | 249368 | 17345 94521 312732 | 100669 95086 58 | 0.920 % |
461.55/461.52 c | 251233 | 17345 94521 312732 | 95719 96951 58 | 0.920 % |
465.85/465.90 c | 253283 | 17345 94521 312732 | 95719 78860 56 | 0.920 % |
470.15/470.17 c | 255537 | 17345 94521 312732 | 95719 81114 56 | 0.920 % |
474.85/474.84 c | 258016 | 17345 94521 312732 | 95719 83593 56 | 0.920 % |
475.05/475.03 c | 258116 | 17345 94521 312732 | 95719 83693 56 | 0.920 % |
475.15/475.19 c | 258228 | 17345 94521 312732 | 95719 83805 56 | 0.920 % |
475.35/475.39 c | 258349 | 17345 94521 312732 | 95719 83926 56 | 0.920 % |
475.75/475.78 c | 258485 | 17345 94521 312732 | 95719 84062 56 | 0.920 % |
476.05/476.09 c | 258631 | 17345 94521 312732 | 95719 84208 56 | 0.920 % |
476.45/476.48 c | 258793 | 17345 94521 312732 | 95719 84370 56 | 0.920 % |
476.85/476.86 c | 258969 | 17345 94521 312732 | 95719 84546 56 | 0.920 % |
477.35/477.36 c | 259162 | 17345 94521 312732 | 95719 84739 56 | 0.920 % |
477.95/477.99 c | 259375 | 17345 94521 312732 | 95719 84952 56 | 0.920 % |
478.65/478.66 c | 259608 | 17345 94521 312732 | 95719 85185 56 | 0.920 % |
479.25/479.26 c | 259864 | 17345 94521 312732 | 95719 85441 56 | 0.920 % |
479.85/479.90 c | 260146 | 17345 94521 312732 | 85578 85723 56 | 0.920 % |
480.45/480.46 c | 260456 | 17345 94521 312732 | 85578 86033 56 | 0.920 % |
481.45/481.47 c | 260797 | 17345 94521 312732 | 85578 71628 54 | 0.920 % |
482.35/482.40 c | 261173 | 17345 94521 312732 | 85578 72004 54 | 0.920 % |
483.05/483.06 c | 261582 | 17345 94521 312732 | 85578 72413 54 | 0.920 % |
483.85/483.89 c | 262031 | 17345 94521 312732 | 85578 72862 54 | 0.920 % |
484.95/484.95 c | 262524 | 17345 94521 312732 | 85578 73355 54 | 0.920 % |
486.05/486.04 c | 263066 | 17345 94521 312732 | 85578 73897 54 | 0.920 % |
487.25/487.27 c | 263662 | 17345 94521 312732 | 85578 74493 54 | 0.920 % |
488.45/488.48 c | 264319 | 17345 94521 312732 | 85578 75150 54 | 0.920 % |
490.15/490.15 c | 265039 | 17345 94521 312732 | 85578 75870 54 | 0.920 % |
491.25/491.26 c | 265831 | 17345 94521 312732 | 85578 76662 54 | 0.920 % |
492.85/492.82 c | 266703 | 17345 94521 312732 | 85578 77534 54 | 0.920 % |
494.45/494.49 c | 267661 | 17345 94521 312732 | 85578 78492 54 | 0.920 % |
496.35/496.34 c | 268714 | 17345 94521 312732 | 85578 79545 54 | 0.920 % |
498.35/498.39 c | 269874 | 17345 94521 312732 | 85578 80705 54 | 0.920 % |
500.85/500.87 c | 271149 | 17345 94521 312732 | 80831 81980 55 | 0.920 % |
503.75/503.71 c | 272549 | 17345 94521 312732 | 80831 75182 53 | 0.920 % |
506.85/506.85 c | 274089 | 17345 94521 312732 | 80831 76722 53 | 0.920 % |
510.15/510.16 c | 275784 | 17345 94521 312732 | 80831 78417 53 | 0.920 % |
514.15/514.15 c | 277649 | 17345 94521 312732 | 80831 80282 53 | 0.920 % |
518.45/518.48 c | 279698 | 17345 94521 312732 | 80831 82331 54 | 0.920 % |
522.85/522.84 c | 281953 | 17345 94521 312732 | 66059 68011 51 | 0.920 % |
527.65/527.64 c | 284432 | 17345 94521 312732 | 66059 58152 50 | 0.920 % |
532.15/532.15 c | 287158 | 17345 94521 312732 | 66059 60878 50 | 0.920 % |
532.35/532.32 c | 287260 | 17345 94521 312732 | 66059 60980 50 | 0.920 % |
532.55/532.51 c | 287371 | 17345 94521 312732 | 66059 61091 50 | 0.920 % |
532.75/532.76 c | 287494 | 17345 94521 312732 | 66059 61214 50 | 0.920 % |
532.95/532.96 c | 287627 | 17345 94521 312732 | 66059 61347 50 | 0.920 % |
533.15/533.19 c | 287774 | 17345 94521 312732 | 66059 61494 50 | 0.920 % |
533.45/533.45 c | 287935 | 17345 94521 312732 | 66059 61655 50 | 0.920 % |
533.75/533.80 c | 288114 | 17345 94521 312732 | 66059 61834 50 | 0.920 % |
534.15/534.16 c | 288308 | 17345 94521 312732 | 66059 62028 50 | 0.920 % |
534.45/534.42 c | 288520 | 17345 94521 312732 | 66059 62240 50 | 0.920 % |
535.05/535.05 c | 288753 | 17345 94521 312732 | 66059 62473 50 | 0.920 % |
535.45/535.45 c | 289010 | 17345 94521 312732 | 66059 62730 50 | 0.920 % |
535.95/535.93 c | 289292 | 17345 94521 312732 | 66059 63012 50 | 0.920 % |
536.55/536.58 c | 289601 | 17345 94521 312732 | 66059 63321 50 | 0.920 % |
537.25/537.31 c | 289940 | 17345 94521 312732 | 66059 63660 50 | 0.920 % |
537.75/537.81 c | 290314 | 17345 94521 312732 | 2147483647 64034 50 | 0.920 % |
538.75/538.74 c | 290723 | 17345 94521 312732 | 2147483647 64443 50 | 0.920 % |
539.65/539.61 c | 291175 | 17345 94521 312732 | 2147483647 64895 50 | 0.920 % |
540.65/540.68 c | 291668 | 17345 94521 312732 | 2147483647 65388 50 | 0.920 % |
541.65/541.61 c | 292212 | 17345 94521 312732 | 2147483647 65932 50 | 0.920 % |
542.95/542.96 c | 292808 | 17345 94521 312732 | 2147483647 66528 50 | 0.920 % |
544.15/544.11 c | 293463 | 17345 94521 312732 | 2147483647 67183 50 | 0.920 % |
545.45/545.42 c | 294184 | 17345 94521 312732 | 2147483647 67904 50 | 0.920 % |
546.76/546.76 c | 294977 | 17345 94521 312732 | 2147483647 68697 50 | 0.920 % |
548.45/548.47 c | 295849 | 17345 94521 312732 | 2147483647 69569 50 | 0.920 % |
550.45/550.42 c | 296808 | 17345 94521 312732 | 2147483647 70528 50 | 0.920 % |
552.26/552.25 c | 297861 | 17345 94521 312732 | 2147483647 71581 50 | 0.920 % |
554.25/554.22 c | 299021 | 17345 94521 312732 | 2147483647 72741 50 | 0.920 % |
557.05/557.09 c | 300295 | 17345 94521 312732 | 2147483647 74015 50 | 0.920 % |
560.25/560.26 c | 301695 | 17345 94521 312732 | 2147483647 75415 50 | 0.920 % |
562.65/562.63 c | 303236 | 17345 94521 312732 | 2147483647 76956 50 | 0.920 % |
565.46/565.51 c | 304930 | 17345 94521 312732 | 2147483647 78650 51 | 0.920 % |
568.46/568.43 c | 306794 | 17345 94521 312732 | 2147483647 80514 52 | 0.920 % |
572.46/572.43 c | 308845 | 17345 94521 312732 | 2147483647 82565 52 | 0.920 % |
576.86/576.82 c | 311098 | 17345 94521 312732 | 2147483647 84818 52 | 0.920 % |
581.26/581.31 c | 313577 | 17345 94521 312732 | 2147483647 87297 52 | 0.920 % |
586.76/586.80 c | 316302 | 17345 94521 312732 | 2147483647 90022 52 | 0.920 % |
592.66/592.64 c | 319301 | 17345 94521 312732 | 2147483647 93021 52 | 0.920 % |
592.86/592.86 c | 319401 | 17345 94521 312732 | 2147483647 93121 52 | 0.920 % |
593.16/593.13 c | 319513 | 17345 94521 312732 | 2147483647 93233 52 | 0.920 % |
593.36/593.40 c | 319634 | 17345 94521 312732 | 2147483647 93354 52 | 0.920 % |
593.76/593.81 c | 319768 | 17345 94521 312732 | 2147483647 93488 52 | 0.920 % |
594.06/594.09 c | 319914 | 17345 94521 312732 | 2147483647 93634 52 | 0.920 % |
594.56/594.54 c | 320075 | 17345 94521 312732 | 93723 93795 52 | 0.920 % |
595.06/595.05 c | 320254 | 17345 94521 312732 | 93723 93974 52 | 0.920 % |
595.96/595.94 c | 320448 | 17345 94521 312732 | 93723 84224 52 | 0.920 % |
596.36/596.38 c | 320660 | 17345 94521 312732 | 93723 84436 52 | 0.920 % |
596.86/596.84 c | 320894 | 17345 94521 312732 | 93723 84670 52 | 0.920 % |
597.26/597.30 c | 321152 | 17345 94521 312732 | 93723 84928 52 | 0.920 % |
597.86/597.89 c | 321436 | 17345 94521 312732 | 93723 85212 52 | 0.920 % |
598.56/598.59 c | 321745 | 17345 94521 312732 | 93723 85521 52 | 0.920 % |
599.26/599.31 c | 322085 | 17345 94521 312732 | 93723 85861 52 | 0.920 % |
600.56/600.58 c | 322458 | 17344 94472 312611 | 93723 51246 54 | 0.926 % |
601.36/601.39 c | 322867 | 17344 94472 312611 | 93723 51655 54 | 0.925 % |
602.26/602.22 c | 323317 | 17344 94472 312611 | 93723 52105 54 | 0.926 % |
603.06/603.11 c | 323810 | 17344 94472 312611 | 93723 52598 54 | 0.926 % |
604.06/604.04 c | 324352 | 17344 94472 312611 | 93723 53140 54 | 0.926 % |
604.96/604.94 c | 324948 | 17344 94472 312611 | 93723 53736 54 | 0.925 % |
605.76/605.73 c | 325604 | 17344 94472 312611 | 93723 54392 54 | 0.926 % |
606.76/606.80 c | 326324 | 17344 94472 312611 | 93723 55112 54 | 0.925 % |
607.96/608.00 c | 327118 | 17344 94472 312611 | 93723 55906 54 | 0.926 % |
609.56/609.54 c | 327989 | 17344 94472 312611 | 93723 56777 54 | 0.926 % |
610.86/610.82 c | 328951 | 17344 94472 312611 | 93723 57739 54 | 0.926 % |
612.96/612.95 c | 330006 | 17344 94472 312611 | 2147483647 58794 54 | 0.926 % |
615.26/615.23 c | 331164 | 17344 94472 312611 | 2147483647 59952 54 | 0.926 % |
617.36/617.39 c | 332438 | 17344 94472 312611 | 2147483647 61226 54 | 0.925 % |
619.46/619.51 c | 333840 | 17344 94472 312611 | 2147483647 62628 54 | 0.926 % |
622.06/622.02 c | 335380 | 17344 94472 312611 | 2147483647 64168 55 | 0.926 % |
624.56/624.58 c | 337074 | 17344 94472 312611 | 2147483647 65862 54 | 0.926 % |
627.56/627.61 c | 338941 | 17344 94472 312611 | 2147483647 67729 54 | 0.926 % |
631.56/631.56 c | 340990 | 17344 94472 312611 | 68789 69778 54 | 0.925 % |
635.16/635.17 c | 343245 | 17344 94472 312611 | 68789 57127 52 | 0.925 % |
639.26/639.29 c | 345723 | 17344 94472 312611 | 68789 59605 52 | 0.926 % |
643.96/644.00 c | 348448 | 17344 94472 312611 | 68789 62330 52 | 0.926 % |
649.56/649.53 c | 351445 | 17344 94472 312611 | 63883 65327 52 | 0.925 % |
655.16/655.14 c | 354741 | 17344 94472 312611 | 63883 56808 50 | 0.926 % |
655.26/655.26 c | 354841 | 17344 94472 312611 | 63883 56908 50 | 0.926 % |
655.56/655.60 c | 354953 | 17344 94472 312611 | 63883 57020 50 | 0.925 % |
655.76/655.78 c | 355075 | 17344 94472 312611 | 63883 57142 50 | 0.925 % |
656.06/656.08 c | 355208 | 17344 94472 312611 | 63883 57275 50 | 0.925 % |
656.36/656.38 c | 355357 | 17344 94472 312611 | 63883 57424 50 | 0.926 % |
656.66/656.64 c | 355518 | 17344 94472 312611 | 63883 57585 50 | 0.926 % |
656.86/656.86 c | 355696 | 17344 94472 312611 | 63883 57763 50 | 0.926 % |
657.26/657.25 c | 355889 | 17344 94472 312611 | 63883 57956 50 | 0.926 % |
657.66/657.62 c | 356101 | 17344 94472 312611 | 63883 58168 50 | 0.926 % |
658.06/658.02 c | 356336 | 17344 94472 312611 | 63883 58403 50 | 0.926 % |
658.56/658.60 c | 356594 | 17344 94472 312611 | 63883 58661 50 | 0.926 % |
659.06/659.09 c | 356877 | 17344 94472 312611 | 63883 58944 50 | 0.926 % |
659.66/659.61 c | 357186 | 17344 94472 312611 | 63883 59253 50 | 0.926 % |
660.07/660.09 c | 357526 | 17344 94472 312611 | 63883 59593 50 | 0.926 % |
660.76/660.78 c | 357898 | 17344 94472 312611 | 63883 59965 50 | 0.926 % |
661.46/661.51 c | 358308 | 17344 94472 312611 | 63883 60375 50 | 0.926 % |
662.36/662.34 c | 358758 | 17344 94472 312611 | 63883 60825 50 | 0.926 % |
663.16/663.18 c | 359251 | 17344 94472 312611 | 63883 61318 50 | 0.925 % |
664.16/664.14 c | 359793 | 17344 94472 312611 | 63883 61860 50 | 0.926 % |
665.36/665.35 c | 360389 | 17344 94472 312611 | 2147483647 62456 50 | 0.926 % |
666.56/666.56 c | 361046 | 17344 94472 312611 | 2147483647 63113 50 | 0.926 % |
667.86/667.88 c | 361770 | 17344 94472 312611 | 2147483647 63837 51 | 0.926 % |
669.46/669.46 c | 362563 | 16783 90221 298709 | 2147483647 62117 50 | 7.752 % |
670.95/670.92 c | 363435 | 16684 90221 298709 | 2147483647 62989 51 | 7.752 % |
672.65/672.64 c | 364393 | 16683 90221 298709 | 2147483647 63945 51 | 8.014 % |
674.36/674.32 c ===============================================================================
674.36/674.32 c restarts : 768
674.36/674.32 c conflicts : 365139 (543 /sec)
674.36/674.32 c decisions : 479415 (0.33 % random) (713 /sec)
674.36/674.32 c propagations : 291760728 (433729 /sec)
674.36/674.32 c conflict literals : 22251214 (74.09 % deleted)
674.36/674.32 c Memory used : 51.06 MB
674.36/674.32 c CPU time : 672.68 s
674.36/674.32 c
674.36/674.32 s UNSATISFIABLE
674.36/674.32 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820404-1242439437/watcher-1820404-1242439437 -o /tmp/evaluation-result-1820404-1242439437/solver-1820404-1242439437 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820404-1242439437.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: 8192 KiB
[startup+0 s]
/proc/loadavg: 0.99 1.01 1.00 2/96 5445
/proc/meminfo: memFree=1558576/2074464 swapFree=1950760/1959888
[pid=5445] ppid=5443 vsize=2416 CPUtime=0.01
/proc/5445/stat : 5445 (SatELiteGTI) S 5443 5445 11066 0 -1 4194304 366 645 0 0 0 0 0 1 18 0 1 0 1008441999 2473984 276 4294967295 134512640 135169312 3220538016 3220536552 3085410030 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/5445/statm: 604 276 235 161 0 43 0
[pid=5449] ppid=5445 vsize=956 CPUtime=0
/proc/5449/stat : 5449 (SatELite_releas) R 5445 5445 11066 0 -1 4202496 119 0 0 0 0 0 0 0 20 0 1 0 1008442000 978944 55 4294967295 134512640 135223648 3218169936 3218168868 134737406 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5449/statm: 239 57 45 174 0 64 0
[startup+0.063087 s]
/proc/loadavg: 0.99 1.01 1.00 2/96 5445
/proc/meminfo: memFree=1558576/2074464 swapFree=1950760/1959888
[pid=5445] ppid=5443 vsize=2416 CPUtime=0.01
/proc/5445/stat : 5445 (SatELiteGTI) S 5443 5445 11066 0 -1 4194304 366 645 0 0 0 0 0 1 18 0 1 0 1008441999 2473984 276 4294967295 134512640 135169312 3220538016 3220536552 3085410030 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/5445/statm: 604 276 235 161 0 43 0
[pid=5449] ppid=5445 vsize=11272 CPUtime=0.06
/proc/5449/stat : 5449 (SatELite_releas) R 5445 5445 11066 0 -1 4202496 2500 0 0 0 5 1 0 0 21 0 1 0 1008442000 11542528 2389 4294967295 134512640 135223648 3218169936 3218168888 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5449/statm: 2818 2390 47 174 0 2643 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13688
[startup+0.113084 s]
/proc/loadavg: 0.99 1.01 1.00 2/96 5445
/proc/meminfo: memFree=1558576/2074464 swapFree=1950760/1959888
[pid=5445] ppid=5443 vsize=2416 CPUtime=0.01
/proc/5445/stat : 5445 (SatELiteGTI) S 5443 5445 11066 0 -1 4194304 366 645 0 0 0 0 0 1 18 0 1 0 1008441999 2473984 276 4294967295 134512640 135169312 3220538016 3220536552 3085410030 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/5445/statm: 604 276 235 161 0 43 0
[pid=5449] ppid=5445 vsize=16924 CPUtime=0.11
/proc/5449/stat : 5449 (SatELite_releas) R 5445 5445 11066 0 -1 4202496 3807 0 0 0 10 1 0 0 21 0 1 0 1008442000 17330176 3696 4294967295 134512640 135223648 3218169936 3218168888 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5449/statm: 4231 3697 47 174 0 4056 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 19340
[startup+0.313073 s]
/proc/loadavg: 0.99 1.01 1.00 2/96 5445
/proc/meminfo: memFree=1558576/2074464 swapFree=1950760/1959888
[pid=5445] ppid=5443 vsize=2416 CPUtime=0.01
/proc/5445/stat : 5445 (SatELiteGTI) S 5443 5445 11066 0 -1 4194304 366 645 0 0 0 0 0 1 18 0 1 0 1008441999 2473984 276 4294967295 134512640 135169312 3220538016 3220536552 3085410030 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/5445/statm: 604 276 235 161 0 43 0
[pid=5449] ppid=5445 vsize=28216 CPUtime=0.31
/proc/5449/stat : 5449 (SatELite_releas) R 5445 5445 11066 0 -1 4202496 6547 0 0 0 29 2 0 0 21 0 1 0 1008442000 28893184 6333 4294967295 134512640 135223648 3218169936 3218167952 134586924 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5449/statm: 7054 6334 73 174 0 6879 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 30632
[startup+0.713051 s]
/proc/loadavg: 0.99 1.01 1.00 2/96 5445
/proc/meminfo: memFree=1558576/2074464 swapFree=1950760/1959888
[pid=5445] ppid=5443 vsize=2416 CPUtime=0.01
/proc/5445/stat : 5445 (SatELiteGTI) S 5443 5445 11066 0 -1 4194304 366 645 0 0 0 0 0 1 18 0 1 0 1008441999 2473984 276 4294967295 134512640 135169312 3220538016 3220536552 3085410030 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/5445/statm: 604 276 235 161 0 43 0
[pid=5449] ppid=5445 vsize=32332 CPUtime=0.71
/proc/5449/stat : 5449 (SatELite_releas) R 5445 5445 11066 0 -1 4202496 7604 0 0 0 69 2 0 0 22 0 1 0 1008442000 33107968 7339 4294967295 134512640 135223648 3218169936 3218167952 134586872 0 0 0 3 0 0 0 17 2 0 0 0
/proc/5449/statm: 8083 7339 73 174 0 7908 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 34748
[startup+1.51301 s]
/proc/loadavg: 0.99 1.01 1.00 2/98 5450
/proc/meminfo: memFree=1525684/2074464 swapFree=1950760/1959888
[pid=5445] ppid=5443 vsize=2420 CPUtime=1.49
/proc/5445/stat : 5445 (SatELiteGTI) S 5443 5445 11066 0 -1 4194304 385 9576 0 0 0 0 143 6 18 0 1 0 1008441999 2478080 277 4294967295 134512640 135169312 3220538016 3220534232 3085410030 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5445/statm: 605 277 235 161 0 44 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 2420
[startup+3.11292 s]
/proc/loadavg: 0.99 1.01 1.00 3/98 5452
/proc/meminfo: memFree=1546764/2074464 swapFree=1950760/1959888
[pid=5445] ppid=5443 vsize=2420 CPUtime=1.49
/proc/5445/stat : 5445 (SatELiteGTI) S 5443 5445 11066 0 -1 4194304 385 9576 0 0 0 0 143 6 18 0 1 0 1008441999 2478080 277 4294967295 134512640 135169312 3220538016 3220534232 3085410030 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5445/statm: 605 277 235 161 0 44 0
[pid=5451] ppid=5445 vsize=8204 CPUtime=1.63
/proc/5451/stat : 5451 (minisat_static) R 5445 5445 11066 0 -1 4202496 1950 0 0 0 163 0 0 0 25 0 1 0 1008442148 8400896 1885 4294967295 134512640 135215339 3215427088 3215425376 134528881 0 0 0 3 0 0 0 17 3 0 0 0
/proc/5451/statm: 2051 1885 73 172 0 1878 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 10624
[startup+6.31274 s]
/proc/loadavg: 0.99 1.01 1.00 3/98 5452
/proc/meminfo: memFree=1545524/2074464 swapFree=1950760/1959888
[pid=5445] ppid=5443 vsize=2420 CPUtime=1.49
/proc/5445/stat : 5445 (SatELiteGTI) S 5443 5445 11066 0 -1 4194304 385 9576 0 0 0 0 143 6 18 0 1 0 1008441999 2478080 277 4294967295 134512640 135169312 3220538016 3220534232 3085410030 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5445/statm: 605 277 235 161 0 44 0
[pid=5451] ppid=5445 vsize=9424 CPUtime=4.83
/proc/5451/stat : 5451 (minisat_static) R 5445 5445 11066 0 -1 4202496 2246 0 0 0 483 0 0 0 25 0 1 0 1008442148 9650176 2181 4294967295 134512640 135215339 3215427088 3215425376 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/5451/statm: 2356 2181 73 172 0 2183 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 11844
[startup+12.7124 s]
/proc/loadavg: 0.99 1.01 1.00 3/98 5641
/proc/meminfo: memFree=1543236/2074464 swapFree=1950760/1959888
[pid=5445] ppid=5443 vsize=2420 CPUtime=1.49
/proc/5445/stat : 5445 (SatELiteGTI) S 5443 5445 11066 0 -1 4194304 385 9576 0 0 0 0 143 6 18 0 1 0 1008441999 2478080 277 4294967295 134512640 135169312 3220538016 3220534232 3085410030 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5445/statm: 605 277 235 161 0 44 0
[pid=5451] ppid=5445 vsize=11468 CPUtime=11.23
/proc/5451/stat : 5451 (minisat_static) R 5445 5445 11066 0 -1 4202496 2751 0 0 0 1123 0 0 0 25 0 1 0 1008442148 11743232 2686 4294967295 134512640 135215339 3215427088 3215425376 134528863 0 0 0 3 0 0 0 17 3 0 0 0
/proc/5451/statm: 2867 2686 73 172 0 2694 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 13888
[startup+25.5117 s]
/proc/loadavg: 0.99 1.01 1.00 3/98 5642
/proc/meminfo: memFree=1539716/2074464 swapFree=1950760/1959888
[pid=5445] ppid=5443 vsize=2420 CPUtime=1.49
/proc/5445/stat : 5445 (SatELiteGTI) S 5443 5445 11066 0 -1 4194304 385 9576 0 0 0 0 143 6 18 0 1 0 1008441999 2478080 277 4294967295 134512640 135169312 3220538016 3220534232 3085410030 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5445/statm: 605 277 235 161 0 44 0
[pid=5451] ppid=5445 vsize=14792 CPUtime=24.03
/proc/5451/stat : 5451 (minisat_static) R 5445 5445 11066 0 -1 4202496 3590 0 0 0 2402 1 0 0 25 0 1 0 1008442148 15147008 3525 4294967295 134512640 135215339 3215427088 3215425088 134532626 0 0 0 3 0 0 0 17 3 0 0 0
/proc/5451/statm: 3698 3525 73 172 0 3525 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 17212
[startup+51.1103 s]
/proc/loadavg: 0.99 1.01 1.00 3/98 5642
/proc/meminfo: memFree=1532836/2074464 swapFree=1950760/1959888
[pid=5445] ppid=5443 vsize=2420 CPUtime=1.49
/proc/5445/stat : 5445 (SatELiteGTI) S 5443 5445 11066 0 -1 4194304 385 9576 0 0 0 0 143 6 18 0 1 0 1008441999 2478080 277 4294967295 134512640 135169312 3220538016 3220534232 3085410030 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5445/statm: 605 277 235 161 0 44 0
[pid=5451] ppid=5445 vsize=21856 CPUtime=49.63
/proc/5451/stat : 5451 (minisat_static) R 5445 5445 11066 0 -1 4202496 5342 0 0 0 4961 2 0 0 25 0 1 0 1008442148 22380544 5277 4294967295 134512640 135215339 3215427088 3215425376 134528748 0 0 0 3 0 0 0 17 3 0 0 0
/proc/5451/statm: 5464 5277 73 172 0 5291 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 24276
[startup+102.317 s]
/proc/loadavg: 0.99 1.00 1.00 3/98 5831
/proc/meminfo: memFree=1522296/2074464 swapFree=1950760/1959888
[pid=5445] ppid=5443 vsize=2420 CPUtime=1.49
/proc/5445/stat : 5445 (SatELiteGTI) S 5443 5445 11066 0 -1 4194304 385 9576 0 0 0 0 143 6 18 0 1 0 1008441999 2478080 277 4294967295 134512640 135169312 3220538016 3220534232 3085410030 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5445/statm: 605 277 235 161 0 44 0
[pid=5451] ppid=5445 vsize=32404 CPUtime=100.84
/proc/5451/stat : 5451 (minisat_static) R 5445 5445 11066 0 -1 4202496 7952 0 0 0 10080 4 0 0 25 0 1 0 1008442148 33181696 7887 4294967295 134512640 135215339 3215427088 3215425376 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/5451/statm: 8101 7887 73 172 0 7928 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 34824
[startup+162.314 s]
/proc/loadavg: 0.99 1.00 1.00 3/98 6019
/proc/meminfo: memFree=1513864/2074464 swapFree=1950760/1959888
[pid=5445] ppid=5443 vsize=2420 CPUtime=1.49
/proc/5445/stat : 5445 (SatELiteGTI) S 5443 5445 11066 0 -1 4194304 385 9576 0 0 0 0 143 6 18 0 1 0 1008441999 2478080 277 4294967295 134512640 135169312 3220538016 3220534232 3085410030 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5445/statm: 605 277 235 161 0 44 0
[pid=5451] ppid=5445 vsize=40832 CPUtime=160.84
/proc/5451/stat : 5451 (minisat_static) R 5445 5445 11066 0 -1 4202496 10029 0 0 0 16078 6 0 0 25 0 1 0 1008442148 41811968 9964 4294967295 134512640 135215339 3215427088 3215425376 134528691 0 0 0 3 0 0 0 17 3 0 0 0
/proc/5451/statm: 10208 9964 73 172 0 10035 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 43252
[startup+222.321 s]
/proc/loadavg: 0.99 1.00 1.00 3/98 6203
/proc/meminfo: memFree=1505936/2074464 swapFree=1950760/1959888
[pid=5445] ppid=5443 vsize=2420 CPUtime=1.49
/proc/5445/stat : 5445 (SatELiteGTI) S 5443 5445 11066 0 -1 4194304 385 9576 0 0 0 0 143 6 18 0 1 0 1008441999 2478080 277 4294967295 134512640 135169312 3220538016 3220534232 3085410030 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5445/statm: 605 277 235 161 0 44 0
[pid=5451] ppid=5445 vsize=48708 CPUtime=220.85
/proc/5451/stat : 5451 (minisat_static) R 5445 5445 11066 0 -1 4202496 11995 0 0 0 22075 10 0 0 25 0 1 0 1008442148 49876992 11930 4294967295 134512640 135215339 3215427088 3215425376 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/5451/statm: 12177 11930 73 172 0 12004 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 51128
[startup+282.318 s]
/proc/loadavg: 1.04 1.01 1.00 4/98 6392
/proc/meminfo: memFree=1503084/2074464 swapFree=1950760/1959888
[pid=5445] ppid=5443 vsize=2420 CPUtime=1.49
/proc/5445/stat : 5445 (SatELiteGTI) S 5443 5445 11066 0 -1 4194304 385 9576 0 0 0 0 143 6 18 0 1 0 1008441999 2478080 277 4294967295 134512640 135169312 3220538016 3220534232 3085410030 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5445/statm: 605 277 235 161 0 44 0
[pid=5451] ppid=5445 vsize=51860 CPUtime=280.85
/proc/5451/stat : 5451 (minisat_static) R 5445 5445 11066 0 -1 4202496 12716 0 0 0 28075 10 0 0 25 0 1 0 1008442148 53104640 12651 4294967295 134512640 135215339 3215427088 3215425376 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/5451/statm: 12965 12651 73 172 0 12792 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 54280
[startup+342.314 s]
/proc/loadavg: 1.12 1.05 1.01 3/98 6583
/proc/meminfo: memFree=1503208/2074464 swapFree=1950760/1959888
[pid=5445] ppid=5443 vsize=2420 CPUtime=1.49
/proc/5445/stat : 5445 (SatELiteGTI) S 5443 5445 11066 0 -1 4194304 385 9576 0 0 0 0 143 6 18 0 1 0 1008441999 2478080 277 4294967295 134512640 135169312 3220538016 3220534232 3085410030 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5445/statm: 605 277 235 161 0 44 0
[pid=5451] ppid=5445 vsize=51860 CPUtime=340.85
/proc/5451/stat : 5451 (minisat_static) R 5445 5445 11066 0 -1 4202496 12719 0 0 0 34075 10 0 0 25 0 1 0 1008442148 53104640 12654 4294967295 134512640 135215339 3215427088 3215425376 134528724 0 0 0 3 0 0 0 17 3 0 0 0
/proc/5451/statm: 12965 12654 73 172 0 12792 0
Current children cumulated CPU time (s) 342.34
Current children cumulated vsize (KiB) 54280
[startup+402.311 s]
/proc/loadavg: 1.04 1.04 1.01 3/98 6776
/proc/meminfo: memFree=1503324/2074464 swapFree=1950760/1959888
[pid=5445] ppid=5443 vsize=2420 CPUtime=1.49
/proc/5445/stat : 5445 (SatELiteGTI) S 5443 5445 11066 0 -1 4194304 385 9576 0 0 0 0 143 6 18 0 1 0 1008441999 2478080 277 4294967295 134512640 135169312 3220538016 3220534232 3085410030 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5445/statm: 605 277 235 161 0 44 0
[pid=5451] ppid=5445 vsize=51860 CPUtime=400.85
/proc/5451/stat : 5451 (minisat_static) R 5445 5445 11066 0 -1 4202496 12723 0 0 0 40075 10 0 0 25 0 1 0 1008442148 53104640 12658 4294967295 134512640 135215339 3215427088 3215425376 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/5451/statm: 12965 12658 73 172 0 12792 0
Current children cumulated CPU time (s) 402.34
Current children cumulated vsize (KiB) 54280
[startup+462.318 s]
/proc/loadavg: 1.01 1.03 1.00 3/98 6964
/proc/meminfo: memFree=1503068/2074464 swapFree=1950760/1959888
[pid=5445] ppid=5443 vsize=2420 CPUtime=1.49
/proc/5445/stat : 5445 (SatELiteGTI) S 5443 5445 11066 0 -1 4194304 385 9576 0 0 0 0 143 6 18 0 1 0 1008441999 2478080 277 4294967295 134512640 135169312 3220538016 3220534232 3085410030 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5445/statm: 605 277 235 161 0 44 0
[pid=5451] ppid=5445 vsize=52072 CPUtime=460.86
/proc/5451/stat : 5451 (minisat_static) R 5445 5445 11066 0 -1 4202496 12763 0 0 0 46075 11 0 0 25 0 1 0 1008442148 53321728 12698 4294967295 134512640 135215339 3215427088 3215425376 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/5451/statm: 13018 12698 73 172 0 12845 0
Current children cumulated CPU time (s) 462.35
Current children cumulated vsize (KiB) 54492
[startup+522.314 s]
/proc/loadavg: 1.00 1.02 1.00 3/98 7148
/proc/meminfo: memFree=1502960/2074464 swapFree=1950760/1959888
[pid=5445] ppid=5443 vsize=2420 CPUtime=1.49
/proc/5445/stat : 5445 (SatELiteGTI) S 5443 5445 11066 0 -1 4194304 385 9576 0 0 0 0 143 6 18 0 1 0 1008441999 2478080 277 4294967295 134512640 135169312 3220538016 3220534232 3085410030 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5445/statm: 605 277 235 161 0 44 0
[pid=5451] ppid=5445 vsize=52284 CPUtime=520.86
/proc/5451/stat : 5451 (minisat_static) R 5445 5445 11066 0 -1 4202496 12786 0 0 0 52075 11 0 0 25 0 1 0 1008442148 53538816 12721 4294967295 134512640 135215339 3215427088 3215425376 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/5451/statm: 13071 12721 73 172 0 12898 0
Current children cumulated CPU time (s) 522.35
Current children cumulated vsize (KiB) 54704
[startup+582.321 s]
/proc/loadavg: 1.00 1.02 1.00 3/98 7337
/proc/meminfo: memFree=1503084/2074464 swapFree=1950760/1959888
[pid=5445] ppid=5443 vsize=2420 CPUtime=1.49
/proc/5445/stat : 5445 (SatELiteGTI) S 5443 5445 11066 0 -1 4194304 385 9576 0 0 0 0 143 6 18 0 1 0 1008441999 2478080 277 4294967295 134512640 135169312 3220538016 3220534232 3085410030 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5445/statm: 605 277 235 161 0 44 0
[pid=5451] ppid=5445 vsize=52284 CPUtime=580.87
/proc/5451/stat : 5451 (minisat_static) R 5445 5445 11066 0 -1 4202496 12789 0 0 0 58076 11 0 0 25 0 1 0 1008442148 53538816 12724 4294967295 134512640 135215339 3215427088 3215425376 134528666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/5451/statm: 13071 12724 73 172 0 12898 0
Current children cumulated CPU time (s) 582.36
Current children cumulated vsize (KiB) 54704
[startup+642.318 s]
/proc/loadavg: 1.00 1.01 1.00 2/98 7526
/proc/meminfo: memFree=1502952/2074464 swapFree=1950760/1959888
[pid=5445] ppid=5443 vsize=2420 CPUtime=1.49
/proc/5445/stat : 5445 (SatELiteGTI) S 5443 5445 11066 0 -1 4194304 385 9576 0 0 0 0 143 6 18 0 1 0 1008441999 2478080 277 4294967295 134512640 135169312 3220538016 3220534232 3085410030 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5445/statm: 605 277 235 161 0 44 0
[pid=5451] ppid=5445 vsize=52284 CPUtime=640.87
/proc/5451/stat : 5451 (minisat_static) R 5445 5445 11066 0 -1 4202496 12789 0 0 0 64072 15 0 0 25 0 1 0 1008442148 53538816 12724 4294967295 134512640 135215339 3215427088 3215425376 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/5451/statm: 13071 12724 73 172 0 12898 0
Current children cumulated CPU time (s) 642.36
Current children cumulated vsize (KiB) 54704
Solver just ended. Dumping a history of the last processes samples
[startup+652.717 s]
/proc/loadavg: 1.00 1.01 1.00 2/98 7526
/proc/meminfo: memFree=1502836/2074464 swapFree=1950760/1959888
[pid=5445] ppid=5443 vsize=2420 CPUtime=1.49
/proc/5445/stat : 5445 (SatELiteGTI) S 5443 5445 11066 0 -1 4194304 385 9576 0 0 0 0 143 6 18 0 1 0 1008441999 2478080 277 4294967295 134512640 135169312 3220538016 3220534232 3085410030 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5445/statm: 605 277 235 161 0 44 0
[pid=5451] ppid=5445 vsize=52284 CPUtime=651.27
/proc/5451/stat : 5451 (minisat_static) R 5445 5445 11066 0 -1 4202496 12789 0 0 0 65112 15 0 0 25 0 1 0 1008442148 53538816 12724 4294967295 134512640 135215339 3215427088 3215425376 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/5451/statm: 13071 12724 73 172 0 12898 0
Current children cumulated CPU time (s) 652.76
Current children cumulated vsize (KiB) 54704
[startup+665.526 s]
/proc/loadavg: 1.00 1.01 1.00 2/98 7526
/proc/meminfo: memFree=1502712/2074464 swapFree=1950760/1959888
[pid=5445] ppid=5443 vsize=2420 CPUtime=1.49
/proc/5445/stat : 5445 (SatELiteGTI) S 5443 5445 11066 0 -1 4194304 385 9576 0 0 0 0 143 6 18 0 1 0 1008441999 2478080 277 4294967295 134512640 135169312 3220538016 3220534232 3085410030 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5445/statm: 605 277 235 161 0 44 0
[pid=5451] ppid=5445 vsize=52284 CPUtime=664.08
/proc/5451/stat : 5451 (minisat_static) R 5445 5445 11066 0 -1 4202496 12790 0 0 0 66392 16 0 0 25 0 1 0 1008442148 53538816 12725 4294967295 134512640 135215339 3215427088 3215425376 134528849 0 0 0 3 0 0 0 17 3 0 0 0
/proc/5451/statm: 13071 12725 73 172 0 12898 0
Current children cumulated CPU time (s) 665.57
Current children cumulated vsize (KiB) 54704
[startup+668.716 s]
/proc/loadavg: 1.00 1.01 1.00 2/98 7526
/proc/meminfo: memFree=1502712/2074464 swapFree=1950760/1959888
[pid=5445] ppid=5443 vsize=2420 CPUtime=1.49
/proc/5445/stat : 5445 (SatELiteGTI) S 5443 5445 11066 0 -1 4194304 385 9576 0 0 0 0 143 6 18 0 1 0 1008441999 2478080 277 4294967295 134512640 135169312 3220538016 3220534232 3085410030 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5445/statm: 605 277 235 161 0 44 0
[pid=5451] ppid=5445 vsize=52284 CPUtime=667.27
/proc/5451/stat : 5451 (minisat_static) R 5445 5445 11066 0 -1 4202496 12790 0 0 0 66708 19 0 0 25 0 1 0 1008442148 53538816 12725 4294967295 134512640 135215339 3215427088 3215425376 134528694 0 0 0 3 0 0 0 17 3 0 0 0
/proc/5451/statm: 13071 12725 73 172 0 12898 0
Current children cumulated CPU time (s) 668.76
Current children cumulated vsize (KiB) 54704
[startup+671.906 s]
/proc/loadavg: 1.00 1.01 1.00 3/98 7709
/proc/meminfo: memFree=1502300/2074464 swapFree=1950760/1959888
[pid=5445] ppid=5443 vsize=2420 CPUtime=1.49
/proc/5445/stat : 5445 (SatELiteGTI) S 5443 5445 11066 0 -1 4194304 385 9576 0 0 0 0 143 6 18 0 1 0 1008441999 2478080 277 4294967295 134512640 135169312 3220538016 3220534232 3085410030 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5445/statm: 605 277 235 161 0 44 0
[pid=5451] ppid=5445 vsize=52284 CPUtime=670.46
/proc/5451/stat : 5451 (minisat_static) R 5445 5445 11066 0 -1 4202496 12810 0 0 0 67027 19 0 0 25 0 1 0 1008442148 53538816 12745 4294967295 134512640 135215339 3215427088 3215425376 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/5451/statm: 13071 12745 73 172 0 12898 0
Current children cumulated CPU time (s) 671.95
Current children cumulated vsize (KiB) 54704
[startup+673.506 s]
/proc/loadavg: 1.00 1.01 1.00 3/98 7709
/proc/meminfo: memFree=1502316/2074464 swapFree=1950760/1959888
[pid=5445] ppid=5443 vsize=2420 CPUtime=1.49
/proc/5445/stat : 5445 (SatELiteGTI) S 5443 5445 11066 0 -1 4194304 385 9576 0 0 0 0 143 6 18 0 1 0 1008441999 2478080 277 4294967295 134512640 135169312 3220538016 3220534232 3085410030 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5445/statm: 605 277 235 161 0 44 0
[pid=5451] ppid=5445 vsize=52284 CPUtime=672.06
/proc/5451/stat : 5451 (minisat_static) R 5445 5445 11066 0 -1 4202496 12812 0 0 0 67187 19 0 0 25 0 1 0 1008442148 53538816 12747 4294967295 134512640 135215339 3215427088 3215425088 134532626 0 0 0 3 0 0 0 17 3 0 0 0
/proc/5451/statm: 13071 12747 73 172 0 12898 0
Current children cumulated CPU time (s) 673.55
Current children cumulated vsize (KiB) 54704
[startup+673.906 s]
/proc/loadavg: 1.00 1.01 1.00 3/98 7709
/proc/meminfo: memFree=1502316/2074464 swapFree=1950760/1959888
[pid=5445] ppid=5443 vsize=2420 CPUtime=1.49
/proc/5445/stat : 5445 (SatELiteGTI) S 5443 5445 11066 0 -1 4194304 385 9576 0 0 0 0 143 6 18 0 1 0 1008441999 2478080 277 4294967295 134512640 135169312 3220538016 3220534232 3085410030 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5445/statm: 605 277 235 161 0 44 0
[pid=5451] ppid=5445 vsize=52284 CPUtime=672.46
/proc/5451/stat : 5451 (minisat_static) R 5445 5445 11066 0 -1 4202496 12812 0 0 0 67227 19 0 0 25 0 1 0 1008442148 53538816 12747 4294967295 134512640 135215339 3215427088 3215425376 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/5451/statm: 13071 12747 73 172 0 12898 0
Current children cumulated CPU time (s) 673.95
Current children cumulated vsize (KiB) 54704
[startup+674.316 s]
/proc/loadavg: 1.00 1.01 1.00 3/98 7711
/proc/meminfo: memFree=1502348/2074464 swapFree=1950760/1959888
[pid=5445] ppid=5443 vsize=2420 CPUtime=1.49
/proc/5445/stat : 5445 (SatELiteGTI) S 5443 5445 11066 0 -1 4194304 385 9576 0 0 0 0 143 6 18 0 1 0 1008441999 2478080 277 4294967295 134512640 135169312 3220538016 3220534232 3085410030 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/5445/statm: 605 277 235 161 0 44 0
[pid=5451] ppid=5445 vsize=52284 CPUtime=672.87
/proc/5451/stat : 5451 (minisat_static) R 5445 5445 11066 0 -1 4202496 12812 0 0 0 67268 19 0 0 25 0 1 0 1008442148 53538816 12747 4294967295 134512640 135215339 3215427088 3215425376 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/5451/statm: 13071 12747 73 172 0 12898 0
Current children cumulated CPU time (s) 674.36
Current children cumulated vsize (KiB) 54704
Child status: 20
Real time (s): 674.331
CPU time (s): 674.37
CPU user time (s): 674.11
CPU system time (s): 0.26
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 54704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 674.11
system time used= 0.26
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23055
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24
involuntary context switches= 434
runsolver used 0.01 second user time and 0.07 second system time
The end
Begin job on tipi23 at 2009-05-16 04:03:57
IDJOB=1820404
IDBENCH=20398
IDSOLVER=657
FILE ID=tipi23/1820404-1242439437
PBS_JOBID=
Free space on /tmp= 9955 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= runsolver --timestamp -w /tmp/evaluation-result-1820404-1242439437/watcher-1820404-1242439437 -o /tmp/evaluation-result-1820404-1242439437/solver-1820404-1242439437 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820404-1242439437.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 65057bcebbeecf6a7f3bc3fcfb2de009
RANDOM SEED= 1780178765
Linux tipi23 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.38
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.79
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 1558592 kB
Buffers: 25728 kB
Cached: 402824 kB
SwapCached: 3700 kB
Active: 290916 kB
Inactive: 149624 kB
HighTotal: 1178688 kB
HighFree: 769776 kB
LowTotal: 895776 kB
LowFree: 788816 kB
SwapTotal: 1959888 kB
SwapFree: 1950760 kB
Dirty: 4640 kB
Writeback: 0 kB
AnonPages: 11020 kB
Mapped: 4440 kB
Slab: 66512 kB
PageTables: 676 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 96896 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 9955 MiB
End job on tipi23 at 2009-05-16 04:15:12