0.00/0.00 c Parsing...
0.00/0.02 c ==============================================================================
0.00/0.02 c | | ORIGINAL | LEARNT | |
0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.02 c ==============================================================================
0.00/0.02 c | 0 | 25482 59458 | 7644 0 0 nan | 0.000 % |
0.12/0.15 c | 0 | 19097 53996 | -- 0 -- -- | -- | -6383/-5457
0.12/0.15 c ==============================================================================
0.12/0.15 c Result : #vars: 4641 #clauses: 19097 #literals: 53996
0.12/0.15 c CPU time: 0.14 s
0.12/0.15 c ==============================================================================
0.12/0.17 c This is MiniSat 2.0 beta
0.12/0.17 c WARNING: for repeatability, setting FPU to use double precision
0.12/0.17 c ============================[ Problem Statistics ]=============================
0.12/0.17 c | |
0.12/0.17 c | Number of variables: 4641 |
0.12/0.17 c | Number of clauses: 19097 |
0.12/0.18 c | Parsing time: 0.01 s |
0.12/0.18 c ============================[ Search Statistics ]==============================
0.12/0.18 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.12/0.18 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.12/0.18 c ===============================================================================
0.12/0.18 c | 0 | 4641 19097 53996 | 6365 0 nan | 0.000 % |
0.17/0.23 c | 100 | 4641 19097 53996 | 6365 100 55 | 0.000 % |
0.17/0.34 c | 200 | 4641 19097 53996 | 6365 200 42 | 0.000 % |
0.17/0.46 c | 300 | 4641 19097 53996 | 6365 300 37 | 0.000 % |
0.17/0.52 c | 410 | 4641 19097 53996 | 6365 410 35 | 0.000 % |
0.17/0.58 c | 511 | 4641 19097 53996 | 6365 511 35 | 0.000 % |
0.17/0.67 c | 621 | 4641 19097 53996 | 6365 621 36 | 0.000 % |
0.17/0.81 c | 743 | 4641 19097 53996 | 6365 743 35 | 0.000 % |
0.17/0.94 c | 844 | 4641 19097 53996 | 6365 844 34 | 0.000 % |
1.01/1.09 c | 954 | 4641 19097 53996 | 6365 954 33 | 0.000 % |
1.20/1.22 c | 1075 | 4641 19097 53996 | 6365 1075 33 | 0.000 % |
1.30/1.32 c | 1209 | 4641 19097 53996 | 6365 1209 33 | 0.000 % |
1.30/1.33 c | 1309 | 4641 19097 53996 | 6365 1309 33 | 0.000 % |
1.30/1.37 c | 1420 | 4641 19097 53996 | 6365 1420 32 | 0.000 % |
1.40/1.50 c | 1542 | 4641 19097 53996 | 6365 1542 32 | 0.000 % |
1.50/1.61 c | 1676 | 4641 19097 53996 | 6365 1676 32 | 0.000 % |
1.60/1.69 c | 1822 | 4641 19097 53996 | 6365 1822 32 | 0.000 % |
1.60/1.71 c | 1922 | 4641 19097 53996 | 6365 1922 32 | 0.000 % |
1.70/1.80 c | 2032 | 4641 19097 53996 | 6365 2032 32 | 0.000 % |
1.80/1.89 c | 2153 | 4641 19097 53996 | 6365 2153 32 | 0.000 % |
2.00/2.06 c | 2287 | 4641 19097 53996 | 6365 2287 32 | 0.000 % |
2.20/2.25 c | 2434 | 4641 19097 53996 | 6365 2434 32 | 0.000 % |
2.40/2.47 c | 2594 | 4641 19097 53996 | 6365 2594 32 | 0.000 % |
2.50/2.56 c | 2695 | 4641 19097 53996 | 6365 2695 32 | 0.000 % |
2.60/2.67 c | 2805 | 4641 19097 53996 | 6365 2805 32 | 0.000 % |
2.80/2.82 c | 2926 | 4641 19097 53996 | 6365 2926 32 | 0.000 % |
2.90/2.92 c | 3060 | 4641 19097 53996 | 6365 3060 32 | 0.000 % |
3.00/3.09 c | 3207 | 4641 19097 53996 | 6365 3207 32 | 0.000 % |
3.20/3.28 c | 3367 | 4641 19097 53996 | 6365 3367 32 | 0.000 % |
3.50/3.54 c | 3544 | 4641 19097 53996 | 6365 3544 33 | 0.000 % |
3.60/3.62 c | 3645 | 4641 19097 53996 | 6365 3645 33 | 0.000 % |
3.60/3.67 c | 3755 | 4641 19097 53996 | 6365 3755 33 | 0.000 % |
3.70/3.78 c | 3878 | 4641 19097 53996 | 6365 3878 33 | 0.000 % |
3.90/3.99 c | 4011 | 4641 19097 53996 | 6365 4011 33 | 0.000 % |
4.00/4.07 c | 4159 | 4641 19097 53996 | 6365 4159 33 | 0.000 % |
4.20/4.22 c | 4320 | 4641 19097 53996 | 6365 4320 33 | 0.000 % |
4.41/4.44 c | 4496 | 4641 19097 53996 | 6365 4496 33 | 0.000 % |
4.70/4.72 c | 4689 | 4641 19097 53996 | 6365 4689 33 | 0.000 % |
4.80/4.87 c | 4789 | 4641 19097 53996 | 6365 4789 33 | 0.000 % |
5.00/5.04 c | 4899 | 4641 19097 53996 | 6365 4899 32 | 0.000 % |
5.10/5.15 c | 5020 | 4641 19097 53996 | 6365 5020 32 | 0.000 % |
5.20/5.31 c | 5153 | 4641 19097 53996 | 6365 5153 33 | 0.000 % |
5.40/5.49 c | 5299 | 4641 19097 53996 | 6365 5299 32 | 0.000 % |
5.60/5.68 c | 5459 | 4641 19097 53996 | 6365 5459 32 | 0.000 % |
5.80/5.90 c | 5635 | 4641 19097 53996 | 6365 5635 33 | 0.000 % |
6.10/6.12 c | 5829 | 4641 19097 53996 | 6365 5829 33 | 0.000 % |
6.30/6.36 c | 6041 | 4641 19097 53996 | 6365 6041 33 | 0.000 % |
6.40/6.49 c | 6141 | 4641 19097 53996 | 6365 6141 33 | 0.000 % |
6.61/6.65 c | 6252 | 4641 19097 53996 | 6365 6252 33 | 0.000 % |
6.80/6.84 c | 6374 | 4641 19097 53996 | 6365 6374 33 | 0.000 % |
7.00/7.04 c | 6508 | 4641 19097 53996 | 6365 5871 32 | 0.000 % |
7.10/7.14 c | 6656 | 4641 19097 53996 | 6365 6019 32 | 0.000 % |
7.30/7.36 c | 6816 | 4641 19097 53996 | 6365 6179 33 | 0.000 % |
7.50/7.60 c | 6993 | 4641 19097 53996 | 6365 6356 33 | 0.000 % |
7.60/7.66 c | 7186 | 4641 19097 53996 | 6365 6549 33 | 0.000 % |
7.90/7.94 c | 7399 | 4641 19097 53996 | 6365 6108 33 | 0.000 % |
7.90/8.00 c | 7632 | 4641 19097 53996 | 6365 6341 33 | 0.000 % |
8.10/8.13 c | 7732 | 4641 19097 53996 | 6365 6441 34 | 0.000 % |
8.20/8.23 c | 7843 | 4641 19097 53996 | 6365 5908 33 | 0.000 % |
8.20/8.25 c | 7965 | 4641 19097 53996 | 6365 6030 33 | 0.000 % |
8.40/8.44 c | 8098 | 4641 19097 53996 | 6365 6163 34 | 0.000 % |
8.60/8.62 c | 8244 | 4641 19097 53996 | 6365 6309 33 | 0.000 % |
8.60/8.71 c | 8407 | 4641 19097 53996 | 6365 6472 34 | 0.000 % |
8.70/8.81 c | 8585 | 4641 19097 53996 | 6365 6003 34 | 0.000 % |
9.00/9.07 c | 8778 | 4641 19097 53996 | 6365 6196 33 | 0.000 % |
9.30/9.35 c | 8992 | 4641 19097 53996 | 6365 6410 33 | 0.000 % |
9.60/9.67 c | 9226 | 4641 19097 53996 | 6365 6003 33 | 0.000 % |
9.91/9.97 c | 9482 | 4641 19097 53996 | 6365 6259 32 | 0.000 % |
10.00/10.02 c | 9582 | 4641 19097 53996 | 6365 6359 32 | 0.000 % |
10.10/10.15 c | 9693 | 4641 19097 53996 | 6365 6470 32 | 0.000 % |
10.20/10.28 c | 9814 | 4641 19097 53996 | 6365 5944 32 | 0.000 % |
10.40/10.50 c | 9948 | 4641 19097 53996 | 6365 6078 32 | 0.000 % |
10.60/10.71 c | 10095 | 4641 19097 53996 | 2147483647 6225 32 | 0.000 % |
10.80/10.89 c | 10255 | 4641 19097 53996 | 2147483647 6385 32 | 0.000 % |
11.10/11.14 c | 10431 | 4641 19097 53996 | 2147483647 6561 32 | 0.000 % |
11.30/11.33 c | 10625 | 4641 19097 53996 | 2147483647 6755 32 | 0.000 % |
11.60/11.62 c | 10837 | 4641 19097 53996 | 2147483647 6967 32 | 0.000 % |
11.80/11.87 c | 11071 | 4641 19097 53996 | 2147483647 7201 32 | 0.000 % |
12.20/12.22 c | 11327 | 4641 19097 53996 | 2147483647 7457 32 | 0.000 % |
12.40/12.51 c | 11608 | 4641 19097 53996 | 2147483647 7738 32 | 0.000 % |
12.60/12.66 c | 11708 | 4641 19097 53996 | 2147483647 7838 32 | 0.000 % |
12.70/12.75 c | 11819 | 4641 19097 53996 | 2147483647 7949 32 | 0.000 % |
12.80/12.89 c | 11940 | 4641 19097 53996 | 2147483647 8070 32 | 0.000 % |
13.00/13.11 c | 12074 | 4641 19097 53996 | 2147483647 8204 32 | 0.000 % |
13.21/13.28 c | 12220 | 4641 19097 53996 | 2147483647 8350 32 | 0.000 % |
13.30/13.40 c | 12382 | 4641 19097 53996 | 2147483647 8512 32 | 0.000 % |
13.60/13.66 c | 12560 | 4641 19097 53996 | 2147483647 8690 32 | 0.000 % |
13.80/13.85 c | 12753 | 4641 19097 53996 | 2147483647 8883 32 | 0.000 % |
14.10/14.19 c | 12965 | 4641 19097 53996 | 2147483647 9095 32 | 0.000 % |
14.40/14.51 c | 13199 | 4641 19097 53996 | 2147483647 9329 32 | 0.000 % |
14.60/14.64 c | 13458 | 4641 19097 53996 | 2147483647 9588 32 | 0.000 % |
14.90/14.96 c | 13739 | 4641 19097 53996 | 2147483647 9869 32 | 0.000 % |
15.20/15.31 c | 14049 | 4641 19097 53996 | 2147483647 10179 32 | 0.000 % |
15.41/15.43 c | 14149 | 4641 19097 53996 | 2147483647 10279 32 | 0.000 % |
15.41/15.48 c | 14260 | 4641 19097 53996 | 2147483647 10390 32 | 0.000 % |
15.50/15.60 c | 14381 | 4641 19097 53996 | 2147483647 10511 32 | 0.000 % |
15.70/15.79 c | 14514 | 4641 19097 53996 | 2147483647 10644 32 | 0.000 % |
16.00/16.01 c | 14661 | 4641 19097 53996 | 2147483647 10791 32 | 0.000 % |
16.10/16.15 c | 14821 | 4641 19097 53996 | 2147483647 10951 32 | 0.000 % |
16.40/16.47 c | 14997 | 4641 19097 53996 | 2147483647 11127 32 | 0.000 % |
16.60/16.62 c | 15190 | 4641 19097 53996 | 2147483647 11320 32 | 0.000 % |
16.80/16.88 c | 15403 | 4641 19097 53996 | 2147483647 11533 32 | 0.000 % |
17.20/17.26 c | 15636 | 4641 19097 53996 | 2147483647 11766 32 | 0.000 % |
17.61/17.68 c | 15893 | 4641 19097 53996 | 2147483647 12023 32 | 0.000 % |
18.00/18.02 c | 16175 | 4641 19097 53996 | 2147483647 12305 32 | 0.000 % |
18.20/18.26 c | 16484 | 4641 19097 53996 | 2147483647 12614 32 | 0.000 % |
18.60/18.66 c | 16824 | 4641 19097 53996 | 2147483647 12954 32 | 0.000 % |
18.80/18.88 c | 16924 | 4641 19097 53996 | 2147483647 13054 32 | 0.000 % |
19.00/19.05 c | 17034 | 4641 19097 53996 | 2147483647 13164 32 | 0.000 % |
19.20/19.22 c | 17155 | 4641 19097 53996 | 2147483647 13285 32 | 0.000 % |
19.40/19.50 c | 17289 | 4641 19097 53996 | 2147483647 13419 32 | 0.000 % |
19.70/19.78 c | 17436 | 4641 19097 53996 | 2147483647 13566 32 | 0.000 % |
20.00/20.05 c | 17597 | 4641 19097 53996 | 2147483647 13727 32 | 0.000 % |
20.30/20.38 c | 17773 | 4641 19097 53996 | 2147483647 13903 32 | 0.000 % |
20.60/20.70 c | 17967 | 4641 19097 53996 | 2147483647 14097 32 | 0.000 % |
21.00/21.06 c | 18179 | 4641 19097 53996 | 2147483647 14309 32 | 0.000 % |
21.30/21.40 c | 18412 | 4641 19097 53996 | 2147483647 14542 32 | 0.000 % |
21.70/21.75 c | 18668 | 4641 19097 53996 | 2147483647 14798 32 | 0.000 % |
22.20/22.25 c | 18950 | 4641 19097 53996 | 2147483647 15080 32 | 0.000 % |
22.80/22.90 c | 19260 | 4641 19097 53996 | 2147483647 15390 32 | 0.000 % |
23.30/23.40 c | 19599 | 4641 19097 53996 | 2147483647 15729 32 | 0.000 % |
24.00/24.06 c | 19971 | 4641 19097 53996 | 2147483647 16101 32 | 0.000 % |
24.10/24.22 c | 20072 | 4641 19097 53996 | 2147483647 16202 32 | 0.000 % |
24.30/24.40 c | 20183 | 4641 19097 53996 | 2147483647 16313 32 | 0.000 % |
24.50/24.53 c | 20304 | 4641 19097 53996 | 2147483647 16434 32 | 0.000 % |
24.70/24.76 c | 20438 | 4641 19097 53996 | 2147483647 16568 32 | 0.000 % |
25.00/25.05 c | 20584 | 4641 19097 53996 | 2147483647 16714 32 | 0.000 % |
25.20/25.30 c | 20745 | 4641 19097 53996 | 2147483647 16875 32 | 0.000 % |
25.50/25.57 c | 20923 | 4641 19097 53996 | 2147483647 17053 32 | 0.000 % |
25.80/25.88 c | 21116 | 4641 19097 53996 | 2147483647 17246 32 | 0.000 % |
26.30/26.32 c | 21328 | 4641 19097 53996 | 2147483647 17458 32 | 0.000 % |
26.50/26.55 c | 21561 | 4641 19097 53996 | 2147483647 17691 32 | 0.000 % |
26.80/26.82 c | 21817 | 4641 19097 53996 | 2147483647 17947 32 | 0.000 % |
27.30/27.38 c | 22098 | 4641 19097 53996 | 2147483647 18228 32 | 0.000 % |
27.90/27.92 c | 22407 | 4641 19097 53996 | 2147483647 18537 32 | 0.000 % |
28.40/28.47 c | 22746 | 4641 19097 53996 | 2147483647 18876 32 | 0.000 % |
29.20/29.22 c | 23119 | 4641 19097 53996 | 2147483647 19249 32 | 0.000 % |
30.00/30.11 c | 23528 | 4641 19097 53996 | 2147483647 19658 32 | 0.000 % |
30.20/30.24 c | 23628 | 4641 19097 53996 | 2147483647 19758 32 | 0.000 % |
30.30/30.37 c | 23739 | 4641 19097 53996 | 2147483647 19869 32 | 0.000 % |
30.50/30.53 c | 23861 | 4641 19097 53996 | 2147483647 19991 32 | 0.000 % |
30.60/30.66 c | 23994 | 4641 19097 53996 | 2147483647 20124 32 | 0.000 % |
30.70/30.79 c | 24140 | 4641 19097 53996 | 2147483647 20270 32 | 0.000 % |
30.90/30.96 c | 24300 | 4641 19097 53996 | 2147483647 20430 32 | 0.000 % |
31.30/31.33 c | 24477 | 4641 19097 53996 | 2147483647 20607 32 | 0.000 % |
31.80/31.84 c | 24670 | 4641 19097 53996 | 2147483647 20800 32 | 0.000 % |
32.30/32.41 c | 24882 | 4641 19097 53996 | 2147483647 21012 32 | 0.000 % |
33.01/33.03 c | 25116 | 4641 19097 53996 | 2147483647 21246 32 | 0.000 % |
33.60/33.64 c | 25373 | 4641 19097 53996 | 2147483647 21503 32 | 0.000 % |
34.20/34.26 c | 25654 | 4641 19097 53996 | 2147483647 21784 32 | 0.000 % |
34.90/34.99 c | 25964 | 4641 19097 53996 | 2147483647 22094 32 | 0.000 % |
35.40/35.42 c | 26304 | 4641 19097 53996 | 2147483647 22434 32 | 0.000 % |
35.90/35.92 c | 26676 | 4641 19097 53996 | 2147483647 22806 32 | 0.000 % |
36.90/36.96 c | 27086 | 4641 19097 53996 | 2147483647 23216 32 | 0.000 % |
37.90/37.91 c | 27535 | 4641 19097 53996 | 2147483647 23665 32 | 0.000 % |
38.00/38.02 c | 27636 | 4641 19097 53996 | 2147483647 23766 32 | 0.000 % |
38.20/38.26 c | 27746 | 4641 19097 53996 | 2147483647 23876 32 | 0.000 % |
38.20/38.29 c | 27869 | 4641 19097 53996 | 2147483647 23999 32 | 0.000 % |
38.40/38.49 c | 28002 | 4641 19097 53996 | 2147483647 24132 32 | 0.000 % |
38.80/38.82 c | 28149 | 4641 19097 53996 | 2147483647 24279 32 | 0.000 % |
39.10/39.13 c | 28310 | 4641 19097 53996 | 2147483647 24440 32 | 0.000 % |
39.10/39.21 c | 28486 | 4641 19097 53996 | 2147483647 24616 32 | 0.000 % |
39.50/39.58 c | 28680 | 4641 19097 53996 | 2147483647 24810 32 | 0.000 % |
40.10/40.11 c | 28892 | 4641 19097 53996 | 2147483647 25022 32 | 0.000 % |
40.30/40.31 c | 29125 | 4641 19097 53996 | 2147483647 25255 32 | 0.000 % |
40.80/40.90 c | 29382 | 4641 19097 53996 | 2147483647 25512 32 | 0.000 % |
41.40/41.45 c | 29664 | 4641 19097 53996 | 2147483647 25794 32 | 0.000 % |
42.10/42.19 c | 29973 | 4641 19097 53996 | 2147483647 26103 32 | 0.000 % |
43.20/43.30 c | 30313 | 4641 19097 53996 | 2147483647 26443 32 | 0.000 % |
43.90/43.94 c | 30686 | 4641 19097 53996 | 2147483647 26816 32 | 0.000 % |
44.40/44.49 c | 31096 | 4641 19097 53996 | 2147483647 27226 32 | 0.000 % |
45.30/45.38 c | 31545 | 4641 19097 53996 | 2147483647 27675 32 | 0.000 % |
46.50/46.53 c | 32038 | 4641 19097 53996 | 2147483647 28168 32 | 0.000 % |
46.70/46.72 c | 32138 | 4641 19097 53996 | 2147483647 28268 32 | 0.000 % |
47.00/47.03 c | 32249 | 4641 19097 53996 | 2147483647 28379 32 | 0.000 % |
47.31/47.37 c | 32370 | 4641 19097 53996 | 2147483647 28500 32 | 0.000 % |
47.70/47.75 c | 32503 | 4641 19097 53996 | 2147483647 28633 32 | 0.000 % |
48.10/48.13 c | 32649 | 4641 19097 53996 | 2147483647 28779 32 | 0.000 % |
48.41/48.49 c | 32810 | 4641 19097 53996 | 2147483647 28940 32 | 0.000 % |
48.71/48.81 c | 32986 | 4641 19097 53996 | 2147483647 29116 32 | 0.000 % |
49.11/49.21 c | 33181 | 4641 19097 53996 | 2147483647 29311 32 | 0.000 % |
49.61/49.69 c | 33393 | 4641 19097 53996 | 2147483647 29523 32 | 0.000 % |
50.31/50.35 c | 33626 | 4641 19097 53996 | 2147483647 29756 32 | 0.000 % |
50.51/50.59 c | 33882 | 4641 19097 53996 | 2147483647 30012 32 | 0.000 % |
50.91/51.02 c | 34164 | 4641 19097 53996 | 2147483647 30294 32 | 0.000 % |
51.81/51.91 c | 34473 | 4641 19097 53996 | 2147483647 30603 32 | 0.000 % |
52.71/52.81 c | 34812 | 4641 19097 53996 | 2147483647 30942 32 | 0.000 % |
53.61/53.71 c | 35185 | 4641 19097 53996 | 2147483647 31315 32 | 0.000 % |
54.51/54.60 c | 35594 | 4641 19097 53996 | 2147483647 31724 32 | 0.000 % |
55.71/55.72 c | 36043 | 4641 19097 53996 | 2147483647 32173 32 | 0.000 % |
56.91/56.98 c | 36536 | 4641 19097 53996 | 2147483647 32666 32 | 0.000 % |
57.91/57.94 c | 37078 | 4641 19097 53996 | 2147483647 33208 32 | 0.000 % |
58.11/58.14 c | 37179 | 4641 19097 53996 | 2147483647 33309 32 | 0.000 % |
58.21/58.24 c | 37290 | 4641 19097 53996 | 2147483647 33420 32 | 0.000 % |
58.51/58.57 c | 37412 | 4641 19097 53996 | 2147483647 33542 32 | 0.000 % |
58.91/58.94 c | 37545 | 4641 19097 53996 | 2147483647 33675 32 | 0.000 % |
59.21/59.30 c | 37691 | 4641 19097 53996 | 2147483647 33821 32 | 0.000 % |
59.71/59.73 c | 37851 | 4641 19097 53996 | 2147483647 33981 32 | 0.000 % |
60.11/60.18 c | 38027 | 4641 19097 53996 | 2147483647 34157 32 | 0.000 % |
60.31/60.36 c | 38221 | 4641 19097 53996 | 2147483647 34351 32 | 0.000 % |
60.71/60.81 c | 38433 | 4641 19097 53996 | 2147483647 34563 32 | 0.000 % |
61.11/61.19 c | 38666 | 4641 19097 53996 | 2147483647 34796 32 | 0.000 % |
61.31/61.36 c | 38926 | 4641 19097 53996 | 2147483647 35056 32 | 0.000 % |
61.91/61.93 c | 39207 | 4641 19097 53996 | 2147483647 35337 32 | 0.000 % |
62.61/62.71 c | 39516 | 4641 19097 53996 | 2147483647 35646 32 | 0.000 % |
63.51/63.57 c | 39856 | 4641 19097 53996 | 2147483647 35986 32 | 0.000 % |
64.41/64.43 c | 40228 | 4641 19097 53996 | 2147483647 36358 32 | 0.000 % |
65.51/65.53 c | 40637 | 4641 19097 53996 | 2147483647 36767 32 | 0.000 % |
66.81/66.84 c | 41086 | 4641 19097 53996 | 2147483647 37216 32 | 0.000 % |
68.01/68.06 c | 41579 | 4641 19097 53996 | 2147483647 37709 32 | 0.000 % |
69.31/69.40 c | 42121 | 4641 19097 53996 | 2147483647 38251 32 | 0.000 % |
71.01/71.03 c | 42717 | 4641 19097 53996 | 2147483647 38847 32 | 0.000 % |
71.21/71.30 c | 42817 | 4641 19097 53996 | 2147483647 38947 32 | 0.000 % |
71.51/71.55 c | 42927 | 4641 19097 53996 | 2147483647 39057 32 | 0.000 % |
71.71/71.74 c | 43048 | 4641 19097 53996 | 2147483647 39178 32 | 0.000 % |
72.01/72.08 c | 43181 | 4641 19097 53996 | 2147483647 39311 32 | 0.000 % |
72.41/72.48 c | 43328 | 4641 19097 53996 | 2147483647 39458 32 | 0.000 % |
72.71/72.78 c | 43488 | 4641 19097 53996 | 2147483647 39618 32 | 0.000 % |
73.31/73.35 c | 43664 | 4641 19097 53996 | 2147483647 39794 32 | 0.000 % |
73.81/73.88 c | 43858 | 4641 19097 53996 | 2147483647 39988 32 | 0.000 % |
74.41/74.45 c | 44070 | 4641 19097 53996 | 2147483647 40200 32 | 0.000 % |
75.01/75.11 c | 44304 | 4641 19097 53996 | 2147483647 40434 32 | 0.000 % |
75.51/75.57 c | 44561 | 4641 19097 53996 | 2147483647 40691 32 | 0.000 % |
76.21/76.31 c | 44843 | 4641 19097 53996 | 2147483647 40973 32 | 0.000 % |
77.11/77.13 c | 45152 | 4641 19097 53996 | 2147483647 41282 32 | 0.000 % |
77.41/77.47 c | 45493 | 4641 19097 53996 | 2147483647 41623 32 | 0.000 % |
78.11/78.15 c | 45866 | 4641 19097 53996 | 2147483647 41996 32 | 0.000 % |
78.61/78.67 c | 46275 | 4641 19097 53996 | 2147483647 42405 32 | 0.000 % |
79.71/79.82 c | 46725 | 4641 19097 53996 | 2147483647 42855 32 | 0.000 % |
80.81/80.89 c | 47220 | 4641 19097 53996 | 2147483647 43350 32 | 0.000 % |
81.61/81.65 c | 47762 | 4641 19097 53996 | 2147483647 43892 32 | 0.000 % |
82.91/82.96 c | 48358 | 4641 19097 53996 | 2147483647 44488 32 | 0.000 % |
85.01/85.05 c | 49014 | 4641 19097 53996 | 2147483647 45144 32 | 0.000 % |
85.21/85.30 c | 49114 | 4641 19097 53996 | 2147483647 45244 32 | 0.000 % |
85.51/85.53 c | 49224 | 4641 19097 53996 | 2147483647 45354 32 | 0.000 % |
85.81/85.82 c | 49345 | 4641 19097 53996 | 2147483647 45475 32 | 0.000 % |
85.91/85.99 c | 49478 | 4641 19097 53996 | 2147483647 45608 32 | 0.000 % |
86.31/86.35 c | 49625 | 4641 19097 53996 | 2147483647 45755 32 | 0.000 % |
86.81/86.90 c | 49785 | 4641 19097 53996 | 2147483647 45915 32 | 0.000 % |
87.41/87.46 c | 49961 | 4641 19097 53996 | 2147483647 46091 32 | 0.000 % |
87.91/87.99 c | 50154 | 4641 19097 53996 | 2147483647 46284 32 | 0.000 % |
88.51/88.58 c | 50367 | 4641 19097 53996 | 2147483647 46497 32 | 0.000 % |
89.11/89.17 c | 50601 | 4641 19097 53996 | 2147483647 46731 32 | 0.000 % |
89.81/89.89 c | 50858 | 4641 19097 53996 | 2147483647 46988 32 | 0.000 % |
90.21/90.28 c | 51139 | 4641 19097 53996 | 2147483647 47269 32 | 0.000 % |
91.21/91.23 c | 51449 | 4641 19097 53996 | 2147483647 47579 32 | 0.000 % |
92.11/92.14 c | 51788 | 4641 19097 53996 | 2147483647 47918 32 | 0.000 % |
92.51/92.58 c | 52160 | 4641 19097 53996 | 2147483647 48290 32 | 0.000 % |
93.61/93.66 c | 52570 | 4641 19097 53996 | 2147483647 48700 32 | 0.000 % |
94.41/94.50 c | 53020 | 4641 19097 53996 | 2147483647 49150 32 | 0.000 % |
96.11/96.17 c | 53513 | 4641 19097 53996 | 2147483647 49643 32 | 0.000 % |
96.71/96.75 c | 54056 | 4641 19097 53996 | 2147483647 50186 32 | 0.000 % |
98.21/98.23 c | 54652 | 4641 19097 53996 | 2147483647 50782 32 | 0.000 % |
100.11/100.13 c | 55308 | 4641 19097 53996 | 2147483647 51438 32 | 0.000 % |
102.70/102.78 c | 56028 | 4641 19097 53996 | 2147483647 52158 32 | 0.000 % |
103.10/103.14 c | 56129 | 4641 19097 53996 | 2147483647 52259 32 | 0.000 % |
103.30/103.38 c | 56239 | 4641 19097 53996 | 2147483647 52369 32 | 0.000 % |
103.70/103.74 c | 56361 | 4641 19097 53996 | 2147483647 52491 32 | 0.000 % |
104.00/104.07 c | 56495 | 4641 19097 53996 | 2147483647 52625 32 | 0.000 % |
104.50/104.57 c | 56642 | 4641 19097 53996 | 2147483647 52772 32 | 0.000 % |
105.00/105.07 c | 56802 | 4641 19097 53996 | 2147483647 52932 32 | 0.000 % |
105.60/105.62 c | 56979 | 4641 19097 53996 | 2147483647 53109 32 | 0.000 % |
106.10/106.11 c | 57172 | 4641 19097 53996 | 2147483647 53302 32 | 0.000 % |
106.30/106.37 c | 57384 | 4641 19097 53996 | 2147483647 53514 32 | 0.000 % |
106.80/106.81 c | 57618 | 4641 19097 53996 | 2147483647 53748 32 | 0.000 % |
107.30/107.35 c | 57875 | 4641 19097 53996 | 2147483647 54005 32 | 0.000 % |
108.20/108.28 c | 58156 | 4641 19097 53996 | 2147483647 54286 32 | 0.000 % |
109.10/109.16 c | 58466 | 4641 19097 53996 | 2147483647 54596 32 | 0.000 % |
110.10/110.15 c | 58805 | 4641 19097 53996 | 2147483647 54935 32 | 0.000 % |
111.20/111.27 c | 59177 | 4641 19097 53996 | 2147483647 55307 32 | 0.000 % |
112.50/112.52 c | 59587 | 4641 19097 53996 | 2147483647 55717 31 | 0.000 % |
113.90/114.00 c | 60037 | 4641 19097 53996 | 2147483647 56167 32 | 0.000 % |
115.10/115.16 c | 60530 | 4641 19097 53996 | 2147483647 56660 32 | 0.000 % |
116.90/116.91 c | 61072 | 4641 19097 53996 | 2147483647 57202 31 | 0.000 % |
118.60/118.69 c | 61670 | 4641 19097 53996 | 2147483647 57800 31 | 0.000 % |
121.01/121.03 c | 62325 | 4641 19097 53996 | 2147483647 58455 31 | 0.000 % |
123.30/123.31 c | 63046 | 4641 19097 53996 | 2147483647 59176 31 | 0.000 % |
125.90/125.93 c | 63839 | 4641 19097 53996 | 2147483647 59969 31 | 0.000 % |
126.20/126.21 c | 63939 | 4641 19097 53996 | 2147483647 60069 31 | 0.000 % |
126.30/126.34 c | 64051 | 4641 19097 53996 | 2147483647 60181 31 | 0.000 % |
126.60/126.69 c | 64173 | 4641 19097 53996 | 2147483647 60303 31 | 0.000 % |
127.10/127.16 c | 64306 | 4641 19097 53996 | 2147483647 60436 31 | 0.000 % |
127.61/127.64 c | 64454 | 4641 19097 53996 | 2147483647 60584 31 | 0.000 % |
128.00/128.08 c | 64614 | 4641 19097 53996 | 2147483647 60744 31 | 0.000 % |
128.71/128.77 c | 64790 | 4611 18918 53360 | 2147483647 60918 31 | 0.646 % |
129.40/129.41 c | 64983 | 4611 18918 53360 | 2147483647 61111 31 | 0.646 % |
129.81/129.82 c | 65196 | 4611 18918 53360 | 2147483647 61324 31 | 0.647 % |
130.40/130.47 c | 65429 | 4611 18918 53360 | 2147483647 61557 31 | 0.646 % |
131.40/131.49 c | 65686 | 4611 18918 53360 | 2147483647 61814 31 | 0.646 % |
131.90/131.94 c | 65967 | 4611 18918 53360 | 2147483647 62095 31 | 0.646 % |
133.00/133.09 c | 66276 | 4611 18918 53360 | 2147483647 62404 31 | 0.646 % |
134.10/134.15 c | 66616 | 4611 18918 53360 | 2147483647 62744 31 | 0.647 % |
134.70/134.76 c | 66989 | 4611 18918 53360 | 2147483647 63117 31 | 0.646 % |
135.70/135.75 c | 67398 | 4611 18918 53360 | 2147483647 63526 31 | 0.646 % |
137.30/137.37 c | 67848 | 4611 18918 53360 | 2147483647 63976 31 | 0.646 % |
139.40/139.41 c | 68341 | 4611 18918 53360 | 2147483647 64469 31 | 0.646 % |
141.10/141.19 c | 68885 | 4611 18918 53360 | 2147483647 65013 31 | 0.646 % |
142.90/142.96 c | 69481 | 4611 18918 53360 | 2147483647 65609 31 | 0.646 % |
144.20/144.25 c | 70137 | 4611 18918 53360 | 2147483647 66265 31 | 0.646 % |
145.40/145.41 c | 70858 | 4611 18918 53360 | 2147483647 66986 31 | 0.646 % |
148.51/148.53 c | 71650 | 4611 18918 53360 | 2147483647 67778 31 | 0.646 % |
151.50/151.53 c | 72521 | 4611 18918 53360 | 2147483647 68649 31 | 0.646 % |
151.90/151.92 c | 72622 | 4611 18918 53360 | 2147483647 68750 31 | 0.647 % |
152.30/152.34 c | 72732 | 4611 18918 53360 | 2147483647 68860 31 | 0.647 % |
152.80/152.87 c | 72854 | 4611 18918 53360 | 2147483647 68982 31 | 0.646 % |
153.10/153.13 c | 72989 | 4611 18918 53360 | 2147483647 69117 31 | 0.646 % |
153.40/153.49 c | 73135 | 4611 18918 53360 | 2147483647 69263 31 | 0.647 % |
154.10/154.13 c | 73295 | 4611 18918 53360 | 2147483647 69423 31 | 0.647 % |
154.80/154.86 c | 73472 | 4611 18918 53360 | 2147483647 69600 31 | 0.646 % |
155.50/155.56 c | 73665 | 4611 18918 53360 | 2147483647 69793 31 | 0.647 % |
155.90/155.97 c | 73877 | 4611 18918 53360 | 2147483647 70005 31 | 0.646 % |
156.90/156.91 c | 74111 | 4611 18918 53360 | 2147483647 70239 31 | 0.646 % |
158.10/158.14 c | 74367 | 4611 18918 53360 | 2147483647 70495 31 | 0.646 % |
159.30/159.39 c | 74649 | 4611 18918 53360 | 2147483647 70777 31 | 0.646 % |
160.71/160.78 c | 74959 | 4611 18918 53360 | 2147483647 71087 31 | 0.646 % |
162.01/162.02 c | 75299 | 4611 18918 53360 | 2147483647 71427 31 | 0.646 % |
162.51/162.55 c | 75671 | 4611 18918 53360 | 2147483647 71799 31 | 0.646 % |
163.81/163.85 c | 76080 | 4611 18918 53360 | 2147483647 72208 31 | 0.646 % |
165.21/165.27 c | 76530 | 4611 18918 53360 | 2147483647 72658 31 | 0.647 % |
167.11/167.19 c | 77023 | 4611 18918 53360 | 2147483647 73151 31 | 0.647 % |
169.21/169.24 c | 77565 | 4611 18918 53360 | 2147483647 73693 31 | 0.647 % |
171.21/171.30 c | 78162 | 4611 18918 53360 | 2147483647 74290 31 | 0.647 % |
173.91/174.00 c | 78817 | 4611 18918 53360 | 2147483647 74945 31 | 0.647 % |
176.61/176.62 c | 79537 | 4611 18918 53360 | 2147483647 75665 31 | 0.646 % |
179.81/179.90 c | 80330 | 4611 18918 53360 | 2147483647 76458 31 | 0.647 % |
183.11/183.18 c | 81202 | 4611 18918 53360 | 2147483647 77330 31 | 0.647 % |
187.61/187.70 c | 82161 | 4611 18918 53360 | 2147483647 78289 31 | 0.646 % |
188.11/188.13 c | 82261 | 4611 18918 53360 | 2147483647 78389 31 | 0.646 % |
188.51/188.59 c | 82372 | 4611 18918 53360 | 2147483647 78500 31 | 0.646 % |
189.01/189.08 c | 82494 | 4611 18918 53360 | 2147483647 78622 31 | 0.647 % |
189.71/189.72 c | 82628 | 4611 18918 53360 | 2147483647 78756 31 | 0.647 % |
190.41/190.43 c | 82775 | 4611 18918 53360 | 2147483647 78903 31 | 0.647 % |
190.91/191.01 c | 82936 | 4611 18918 53360 | 2147483647 79064 31 | 0.647 % |
191.51/191.56 c | 83112 | 4611 18918 53360 | 2147483647 79240 31 | 0.646 % |
192.31/192.38 c | 83306 | 4611 18918 53360 | 2147483647 79434 31 | 0.646 % |
193.01/193.02 c | 83519 | 4611 18918 53360 | 2147483647 79647 31 | 0.646 % |
193.91/193.97 c | 83753 | 4611 18918 53360 | 2147483647 79881 31 | 0.647 % |
194.51/194.59 c | 84010 | 4611 18918 53360 | 2147483647 80138 31 | 0.647 % |
195.51/195.58 c | 84291 | 4611 18918 53360 | 2147483647 80419 31 | 0.647 % |
196.51/196.60 c | 84601 | 4611 18918 53360 | 2147483647 80729 31 | 0.647 % |
197.21/197.27 c | 84940 | 4611 18918 53360 | 2147483647 81068 31 | 0.646 % |
198.41/198.45 c | 85312 | 4611 18918 53360 | 2147483647 81440 31 | 0.646 % |
199.71/199.77 c | 85721 | 4611 18918 53360 | 2147483647 81849 31 | 0.646 % |
201.11/201.18 c | 86171 | 4611 18918 53360 | 2147483647 82299 31 | 0.646 % |
202.51/202.56 c | 86664 | 4611 18918 53360 | 2147483647 82792 31 | 0.646 % |
203.41/203.44 c | 87206 | 4611 18918 53360 | 2147483647 83334 31 | 0.646 % |
205.41/205.44 c | 87803 | 4611 18918 53360 | 2147483647 83931 31 | 0.646 % |
207.21/207.29 c | 88459 | 4611 18918 53360 | 2147483647 84587 31 | 0.646 % |
209.41/209.47 c | 89180 | 4505 18479 52043 | 2147483647 85300 32 | 6.292 % |
212.21/212.23 c | 89972 | 4505 18479 52043 | 2147483647 86092 32 | 6.292 % |
215.21/215.27 c | 90843 | 4349 17688 49675 | 2147483647 86949 32 | 6.292 % |
218.81/218.85 c | 91802 | 4349 17688 49675 | 2147483647 87908 32 | 6.292 % |
222.61/222.69 c | 92855 | 4349 17688 49675 | 2147483647 88961 32 | 6.292 % |
222.81/222.90 c | 92957 | 4349 17688 49675 | 2147483647 89063 32 | 6.292 % |
223.31/223.34 c | 93068 | 4349 17688 49675 | 2147483647 89174 32 | 6.292 % |
223.71/223.80 c | 93190 | 4349 17688 49675 | 2147483647 89296 32 | 6.292 % |
224.21/224.30 c | 93323 | 4349 17688 49675 | 2147483647 89429 32 | 6.292 % |
224.81/224.84 c | 93469 | 4349 17688 49675 | 2147483647 89575 32 | 6.292 % |
225.41/225.41 c | 93630 | 4349 17688 49675 | 2147483647 89736 32 | 6.292 % |
225.81/225.91 c | 93806 | 4349 17688 49675 | 2147483647 89912 32 | 6.292 % |
226.51/226.54 c | 94000 | 4349 17688 49675 | 2147483647 90106 32 | 6.292 % |
227.21/227.25 c | 94212 | 4349 17688 49675 | 2147483647 90318 32 | 6.292 % |
227.81/227.82 c | 94445 | 4349 17688 49675 | 2147483647 90551 32 | 6.292 % |
228.11/228.14 c | 94701 | 4349 17688 49675 | 2147483647 90807 32 | 6.292 % |
229.11/229.13 c | 94983 | 4349 17688 49675 | 2147483647 91089 32 | 6.292 % |
230.21/230.23 c | 95293 | 4349 17688 49675 | 2147483647 91399 32 | 6.292 % |
231.11/231.14 c | 95633 | 4349 17688 49675 | 2147483647 91739 32 | 6.292 % |
232.12/232.16 c | 96005 | 4349 17688 49675 | 2147483647 92111 32 | 6.292 % |
233.41/233.44 c | 96414 | 4349 17688 49675 | 2147483647 92520 32 | 6.292 % |
234.81/234.87 c | 96863 | 4349 17688 49675 | 2147483647 92969 31 | 6.292 % |
236.71/236.72 c | 97357 | 4349 17688 49675 | 2147483647 93463 31 | 6.292 % |
238.11/238.20 c | 97900 | 4349 17688 49675 | 2147483647 94006 31 | 6.292 % |
240.21/240.25 c | 98496 | 4349 17688 49675 | 2147483647 94602 31 | 6.292 % |
242.91/242.97 c | 99152 | 4349 17688 49675 | 2147483647 95258 31 | 6.292 % |
245.71/245.71 c | 99873 | 4349 17688 49675 | 2147483647 95979 31 | 6.292 % |
248.62/248.63 c | 100667 | 4349 17688 49675 | 2147483647 96773 31 | 6.292 % |
251.41/251.44 c | 101538 | 4349 17688 49675 | 2147483647 97644 31 | 6.292 % |
254.61/254.68 c | 102497 | 4349 17688 49675 | 2147483647 98603 31 | 6.292 % |
258.21/258.26 c | 103551 | 4349 17688 49675 | 2147483647 99657 31 | 6.292 % |
262.31/262.34 c | 104709 | 4349 17688 49675 | 2147483647 100815 31 | 6.292 % |
262.61/262.69 c | 104810 | 4349 17688 49675 | 2147483647 100916 31 | 6.292 % |
262.92/263.00 c | 104921 | 4349 17688 49675 | 2147483647 101027 31 | 6.292 % |
263.21/263.27 c | 105043 | 4349 17688 49675 | 2147483647 101149 31 | 6.292 % |
263.71/263.79 c | 105177 | 4349 17688 49675 | 2147483647 101283 31 | 6.292 % |
264.21/264.28 c | 105324 | 4349 17688 49675 | 2147483647 101430 31 | 6.292 % |
264.81/264.83 c | 105484 | 4349 17688 49675 | 2147483647 101590 31 | 6.292 % |
265.51/265.55 c | 105661 | 4349 17688 49675 | 2147483647 101767 31 | 6.292 % |
266.41/266.41 c | 105855 | 4349 17688 49675 | 2147483647 101961 31 | 6.292 % |
267.32/267.36 c | 106067 | 4349 17688 49675 | 2147483647 102173 31 | 6.292 % |
268.31/268.33 c | 106301 | 4349 17688 49675 | 2147483647 102407 31 | 6.292 % |
269.21/269.23 c | 106558 | 4349 17688 49675 | 2147483647 102664 31 | 6.292 % |
270.31/270.32 c | 106840 | 4349 17688 49675 | 2147483647 102946 31 | 6.292 % |
271.52/271.52 c | 107149 | 4349 17688 49675 | 2147483647 103255 31 | 6.292 % |
272.82/272.91 c | 107489 | 4349 17688 49675 | 2147483647 103595 31 | 6.292 % |
274.12/274.12 c | 107861 | 4349 17688 49675 | 2147483647 103967 31 | 6.292 % |
275.72/275.72 c | 108270 | 4349 17688 49675 | 2147483647 104376 31 | 6.292 % |
277.12/277.16 c | 108720 | 4349 17688 49675 | 2147483647 104826 31 | 6.292 % |
278.62/278.61 c | 109213 | 4349 17688 49675 | 2147483647 105319 31 | 6.292 % |
280.32/280.34 c | 109755 | 4349 17688 49675 | 2147483647 105861 31 | 6.292 % |
281.92/281.98 c | 110351 | 4349 17688 49675 | 2147483647 106457 31 | 6.292 % |
284.42/284.46 c | 111007 | 4349 17688 49675 | 2147483647 107113 31 | 6.292 % |
287.12/287.18 c | 111727 | 4349 17688 49675 | 2147483647 107833 31 | 6.292 % |
289.82/289.85 c | 112520 | 4349 17688 49675 | 2147483647 108626 31 | 6.292 % |
293.42/293.42 c | 113391 | 4349 17688 49675 | 2147483647 109497 31 | 6.292 % |
297.02/297.01 c | 114349 | 4349 17688 49675 | 2147483647 110455 31 | 6.292 % |
300.52/300.56 c | 115402 | 4349 17688 49675 | 2147483647 111508 31 | 6.292 % |
304.72/304.71 c | 116561 | 4349 17688 49675 | 2147483647 112667 31 | 6.292 % |
309.42/309.47 c | 117834 | 4349 17688 49675 | 2147483647 113940 31 | 6.292 % |
309.82/309.90 c | 117934 | 4349 17688 49675 | 2147483647 114040 31 | 6.292 % |
310.12/310.13 c | 118044 | 4349 17688 49675 | 2147483647 114150 31 | 6.292 % |
310.62/310.62 c | 118166 | 4349 17688 49675 | 2147483647 114272 31 | 6.292 % |
311.12/311.16 c | 118299 | 4349 17688 49675 | 2147483647 114405 31 | 6.292 % |
311.42/311.41 c | 118446 | 4349 17688 49675 | 2147483647 114552 31 | 6.292 % |
311.62/311.63 c | 118606 | 4349 17688 49675 | 2147483647 114712 31 | 6.292 % |
312.12/312.18 c | 118782 | 4349 17688 49675 | 2147483647 114888 31 | 6.292 % |
312.92/312.93 c | 118975 | 4349 17688 49675 | 2147483647 115081 31 | 6.292 % |
313.62/313.66 c | 119188 | 4349 17688 49675 | 2147483647 115294 31 | 6.292 % |
314.32/314.38 c | 119422 | 4349 17688 49675 | 2147483647 115528 31 | 6.292 % |
315.42/315.42 c | 119678 | 4349 17688 49675 | 2147483647 115784 31 | 6.292 % |
316.62/316.66 c | 119959 | 4349 17688 49675 | 2147483647 116065 31 | 6.292 % |
318.02/318.03 c | 120268 | 4349 17688 49675 | 2147483647 116374 31 | 6.292 % |
319.52/319.58 c | 120607 | 4349 17688 49675 | 2147483647 116713 31 | 6.292 % |
320.92/320.94 c | 120979 | 4349 17688 49675 | 2147483647 117085 31 | 6.292 % |
322.22/322.26 c | 121389 | 4349 17688 49675 | 2147483647 117495 31 | 6.292 % |
324.22/324.23 c | 121838 | 4349 17688 49675 | 2147483647 117944 31 | 6.292 % |
325.52/325.56 c | 122332 | 4349 17688 49675 | 2147483647 118438 31 | 6.292 % |
326.72/326.72 c | 122874 | 4349 17688 49675 | 2147483647 118980 31 | 6.292 % |
328.62/328.68 c | 123471 | 4349 17688 49675 | 2147483647 119577 31 | 6.292 % |
330.22/330.31 c | 124127 | 4349 17688 49675 | 2147483647 120233 31 | 6.292 % |
332.82/332.83 c | 124847 | 4349 17688 49675 | 2147483647 120953 31 | 6.292 % |
335.72/335.74 c | 125639 | 4341 17679 49648 | 2147483647 121739 31 | 7.714 % |
338.92/338.95 c | 126512 | 4341 17679 49648 | 2147483647 122612 31 | 7.714 % |
343.02/343.01 c | 127471 | 4341 17679 49648 | 2147483647 123571 31 | 7.714 % |
347.42/347.43 c | 128525 | 4283 17385 48765 | 2147483647 124582 31 | 7.714 % |
351.92/351.98 c | 129683 | 4283 17385 48765 | 2147483647 125740 31 | 7.714 % |
356.62/356.69 c | 130956 | 4283 17385 48765 | 2147483647 127013 31 | 7.714 % |
360.92/360.98 c | 132357 | 4283 17385 48765 | 2147483647 128414 31 | 7.714 % |
361.42/361.48 c | 132457 | 4283 17385 48765 | 2147483647 128514 31 | 7.714 % |
361.82/361.90 c | 132568 | 4283 17385 48765 | 2147483647 128625 31 | 7.714 % |
362.42/362.50 c | 132689 | 4283 17385 48765 | 2147483647 128746 31 | 7.714 % |
363.03/363.10 c | 132824 | 4283 17385 48765 | 2147483647 128881 31 | 7.714 % |
363.72/363.77 c | 132970 | 4283 17385 48765 | 2147483647 129027 31 | 7.714 % |
364.42/364.47 c | 133131 | 4283 17385 48765 | 2147483647 129188 31 | 7.714 % |
365.12/365.17 c | 133308 | 4283 17385 48765 | 2147483647 129365 31 | 7.714 % |
365.62/365.63 c | 133501 | 4283 17385 48765 | 2147483647 129558 31 | 7.714 % |
366.62/366.69 c | 133714 | 4283 17385 48765 | 2147483647 129771 31 | 7.714 % |
367.32/367.37 c | 133948 | 4283 17385 48765 | 2147483647 130005 31 | 7.714 % |
368.32/368.38 c | 134204 | 4283 17385 48765 | 2147483647 130261 31 | 7.714 % |
369.22/369.30 c | 134485 | 4283 17385 48765 | 2147483647 130542 31 | 7.714 % |
370.42/370.43 c | 134795 | 4283 17385 48765 | 2147483647 130852 31 | 7.714 % |
371.02/371.10 c | 135134 | 4283 17385 48765 | 2147483647 131191 31 | 7.714 % |
371.83/371.82 c | 135507 | 4283 17385 48765 | 2147483647 131564 31 | 7.714 % |
373.62/373.63 c | 135917 | 4283 17385 48765 | 2147483647 131974 31 | 7.714 % |
375.52/375.56 c | 136366 | 4283 17385 48765 | 2147483647 132423 31 | 7.714 % |
377.72/377.79 c | 136859 | 4283 17385 48765 | 2147483647 132916 31 | 7.714 % |
380.12/380.19 c | 137402 | 4283 17385 48765 | 2147483647 133459 31 | 7.714 % |
382.32/382.31 c | 137998 | 4283 17385 48765 | 2147483647 134055 31 | 7.714 % |
384.53/384.58 c | 138653 | 4283 17385 48765 | 2147483647 134710 31 | 7.714 % |
386.63/386.64 c | 139374 | 4283 17385 48765 | 2147483647 135431 31 | 7.714 % |
389.93/389.92 c | 140167 | 4283 17385 48765 | 2147483647 136224 31 | 7.714 % |
393.93/393.94 c | 141038 | 4283 17385 48765 | 2147483647 137095 31 | 7.714 % |
398.13/398.17 c | 141996 | 4283 17385 48765 | 2147483647 138053 31 | 7.714 % |
402.63/402.65 c | 143050 | 4283 17385 48765 | 2147483647 139107 31 | 7.714 % |
406.94/406.94 c | 144208 | 4283 17385 48765 | 2147483647 140265 31 | 7.714 % |
412.84/412.87 c | 145481 | 4283 17385 48765 | 2147483647 141538 31 | 7.714 % |
417.74/417.82 c | 146881 | 4283 17385 48765 | 2147483647 142938 31 | 7.714 % |
421.24/421.25 c | 148421 | 4283 17385 48765 | 2147483647 144478 31 | 7.714 % |
421.54/421.57 c | 148521 | 4283 17385 48765 | 2147483647 144578 31 | 7.714 % |
421.94/421.97 c | 148632 | 4283 17385 48765 | 2147483647 144689 31 | 7.714 % |
422.54/422.53 c | 148754 | 4283 17385 48765 | 2147483647 144811 31 | 7.714 % |
423.04/423.12 c | 148888 | 4283 17385 48765 | 2147483647 144945 31 | 7.714 % |
423.54/423.53 c | 149036 | 4283 17385 48765 | 2147483647 145093 31 | 7.714 % |
424.14/424.16 c | 149196 | 4283 17385 48765 | 2147483647 145253 31 | 7.714 % |
424.94/425.00 c | 149373 | 4283 17385 48765 | 2147483647 145430 31 | 7.714 % |
425.94/426.01 c | 149567 | 4283 17385 48765 | 2147483647 145624 31 | 7.714 % |
427.04/427.05 c | 149779 | 4283 17385 48765 | 2147483647 145836 31 | 7.714 % |
428.24/428.22 c | 150013 | 4283 17385 48765 | 2147483647 146070 31 | 7.714 % |
429.64/429.62 c | 150270 | 4283 17385 48765 | 2147483647 146327 31 | 7.714 % |
430.74/430.78 c | 150551 | 4283 17385 48765 | 2147483647 146608 31 | 7.714 % |
431.84/431.91 c | 150861 | 4283 17385 48765 | 2147483647 146918 31 | 7.714 % |
432.84/432.90 c | 151200 | 4283 17385 48765 | 2147483647 147257 31 | 7.714 % |
433.74/433.73 c | 151572 | 4283 17385 48765 | 2147483647 147629 31 | 7.714 % |
435.24/435.26 c | 151982 | 4283 17385 48765 | 2147483647 148039 31 | 7.714 % |
437.14/437.20 c | 152431 | 4283 17385 48765 | 2147483647 148488 31 | 7.714 % |
439.14/439.21 c | 152924 | 4283 17385 48765 | 2147483647 148981 31 | 7.714 % |
441.74/441.80 c | 153466 | 4283 17385 48765 | 2147483647 149523 31 | 7.714 % |
444.34/444.36 c | 154062 | 4283 17385 48765 | 2147483647 150119 31 | 7.714 % |
447.14/447.20 c | 154717 | 4283 17385 48765 | 2147483647 150774 31 | 7.714 % |
449.84/449.90 c | 155437 | 4283 17385 48765 | 2147483647 151494 31 | 7.714 % |
453.64/453.70 c | 156229 | 4283 17385 48765 | 2147483647 152286 31 | 7.714 % |
458.14/458.15 c | 157100 | 4283 17385 48765 | 2147483647 153157 31 | 7.714 % |
462.73/462.72 c | 158058 | 4283 17385 48765 | 2147483647 154115 31 | 7.714 % |
467.43/467.51 c | 159111 | 4283 17385 48765 | 2147483647 155168 31 | 7.714 % |
472.53/472.60 c | 160269 | 4283 17385 48765 | 2147483647 156326 31 | 7.714 % |
479.23/479.29 c | 161543 | 4283 17385 48765 | 2147483647 157600 31 | 7.714 % |
486.43/486.49 c | 162944 | 4283 17385 48765 | 2147483647 159001 31 | 7.714 % |
490.33/490.37 c | 164486 | 4283 17385 48765 | 2147483647 160543 31 | 7.714 % |
499.24/499.27 c | 166181 | 4283 17385 48765 | 2147483647 162238 31 | 7.714 % |
499.94/499.97 c | 166282 | 4283 17385 48765 | 2147483647 162339 31 | 7.714 % |
500.54/500.53 c | 166392 | 4283 17385 48765 | 2147483647 162449 31 | 7.714 % |
500.94/500.99 c | 166513 | 4283 17385 48765 | 2147483647 162570 31 | 7.714 % |
501.64/501.64 c | 166646 | 4283 17385 48765 | 2147483647 162703 31 | 7.714 % |
502.44/502.43 c | 166792 | 4283 17385 48765 | 2147483647 162849 31 | 7.714 % |
503.04/503.08 c | 166954 | 4283 17385 48765 | 2147483647 163011 31 | 7.714 % |
503.54/503.52 c | 167130 | 4283 17385 48765 | 2147483647 163187 31 | 7.714 % |
504.54/504.59 c | 167324 | 4283 17385 48765 | 2147483647 163381 31 | 7.714 % |
505.34/505.34 c | 167536 | 4283 17385 48765 | 2147483647 163593 31 | 7.714 % |
506.14/506.16 c | 167769 | 4283 17385 48765 | 2147483647 163826 31 | 7.714 % |
507.44/507.42 c | 168025 | 4283 17385 48765 | 2147483647 164082 31 | 7.714 % |
508.74/508.75 c | 168307 | 4283 17385 48765 | 2147483647 164364 31 | 7.714 % |
510.24/510.29 c | 168617 | 4283 17385 48765 | 2147483647 164674 31 | 7.714 % |
511.44/511.46 c | 168956 | 4283 17385 48765 | 2147483647 165013 31 | 7.714 % |
513.34/513.38 c | 169328 | 4283 17385 48765 | 2147483647 165385 31 | 7.714 % |
514.14/514.17 c | 169739 | 4283 17385 48765 | 2147483647 165796 31 | 7.714 % |
515.84/515.88 c | 170189 | 4283 17385 48765 | 2147483647 166246 31 | 7.714 % |
517.54/517.61 c | 170682 | 4283 17385 48765 | 2147483647 166739 31 | 7.714 % |
519.84/519.89 c | 171225 | 4283 17385 48765 | 2147483647 167282 31 | 7.714 % |
522.74/522.79 c | 171822 | 4283 17385 48765 | 2147483647 167879 31 | 7.714 % |
524.24/524.24 c | 172479 | 4283 17385 48765 | 2147483647 168536 31 | 7.714 % |
526.34/526.36 c | 173199 | 4283 17385 48765 | 2147483647 169256 31 | 7.714 % |
530.24/530.25 c | 173991 | 4283 17385 48765 | 2147483647 170048 31 | 7.714 % |
534.94/535.01 c | 174862 | 4283 17385 48765 | 2147483647 170919 31 | 7.714 % |
538.44/538.43 c | 175821 | 4283 17385 48765 | 2147483647 171878 31 | 7.714 % |
541.74/541.75 c | 176875 | 4283 17385 48765 | 2147483647 172932 31 | 7.714 % |
547.94/547.93 c | 178034 | 4283 17385 48765 | 2147483647 174091 31 | 7.714 % |
554.04/554.08 c | 179307 | 4283 17385 48765 | 2147483647 175364 31 | 7.714 % |
561.34/561.33 c | 180707 | 4283 17385 48765 | 2147483647 176764 31 | 7.714 % |
567.54/567.58 c | 182247 | 4283 17385 48765 | 2147483647 178304 31 | 7.714 % |
576.14/576.14 c | 183942 | 4283 17385 48765 | 2147483647 179999 31 | 7.714 % |
586.44/586.51 c | 185805 | 4283 17385 48765 | 2147483647 181862 31 | 7.714 % |
587.04/587.04 c | 185905 | 4283 17385 48765 | 2147483647 181962 31 | 7.714 % |
587.74/587.77 c | 186016 | 4283 17385 48765 | 2147483647 182073 31 | 7.714 % |
588.34/588.39 c | 186137 | 4283 17385 48765 | 2147483647 182194 31 | 7.714 % |
589.14/589.16 c | 186271 | 4283 17385 48765 | 2147483647 182328 31 | 7.714 % |
589.84/589.86 c | 186417 | 4283 17385 48765 | 2147483647 182474 31 | 7.714 % |
590.14/590.15 c | 186577 | 4283 17385 48765 | 2147483647 182634 31 | 7.714 % |
590.84/590.90 c | 186753 | 4283 17385 48765 | 2147483647 182810 31 | 7.714 % |
591.85/591.87 c | 186946 | 4283 17385 48765 | 2147483647 183003 31 | 7.714 % |
592.95/592.96 c | 187158 | 4283 17385 48765 | 2147483647 183215 31 | 7.714 % |
594.14/594.14 c | 187392 | 4283 17385 48765 | 2147483647 183449 31 | 7.714 % |
595.54/595.60 c | 187648 | 4283 17385 48765 | 2147483647 183705 31 | 7.714 % |
597.24/597.26 c | 187930 | 4283 17385 48765 | 2147483647 183987 31 | 7.714 % |
598.74/598.73 c | 188240 | 4283 17385 48765 | 2147483647 184297 31 | 7.714 % |
600.54/600.56 c | 188579 | 4283 17385 48765 | 2147483647 184636 31 | 7.714 % |
602.54/602.58 c | 188952 | 4283 17385 48765 | 2147483647 185009 31 | 7.714 % |
604.74/604.75 c | 189361 | 4283 17385 48765 | 2147483647 185418 31 | 7.714 % |
607.25/607.28 c | 189810 | 4283 17385 48765 | 2147483647 185867 31 | 7.714 % |
609.95/609.99 c | 190303 | 4283 17385 48765 | 2147483647 186360 31 | 7.714 % |
612.95/612.99 c | 190846 | 4283 17385 48765 | 2147483647 186903 31 | 7.714 % |
616.35/616.39 c | 191443 | 4283 17385 48765 | 2147483647 187500 31 | 7.714 % |
619.85/619.91 c | 192099 | 4283 17385 48765 | 2147483647 188156 31 | 7.714 % |
623.95/623.96 c | 192819 | 4283 17385 48765 | 2147483647 188876 31 | 7.714 % |
627.75/627.76 c | 193611 | 4283 17385 48765 | 2147483647 189668 31 | 7.714 % |
632.25/632.26 c | 194483 | 4283 17385 48765 | 2147483647 190540 31 | 7.714 % |
638.15/638.11 c | 195442 | 4283 17385 48765 | 2147483647 191499 31 | 7.714 % |
643.95/643.94 c | 196496 | 4283 17385 48765 | 2147483647 192553 31 | 7.714 % |
649.85/649.90 c | 197655 | 4275 17349 48658 | 2147483647 193699 31 | 7.886 % |
657.05/657.10 c | 198928 | 4275 17349 48658 | 2147483647 194972 31 | 7.886 % |
664.75/664.75 c | 200330 | 4275 17349 48658 | 2147483647 196373 31 | 8.059 % |
672.45/672.43 c | 201870 | 4267 17314 48551 | 2147483647 197905 31 | 8.059 % |
681.35/681.40 c | 203565 | 4266 17314 48551 | 2147483647 199599 31 | 8.339 % |
691.45/691.48 c | 205428 | 4254 17243 48343 | 2147483647 201456 31 | 8.339 % |
703.55/703.58 c | 207477 | 4254 17243 48343 | 2147483647 203505 31 | 8.339 % |
704.15/704.15 c | 207577 | 4254 17243 48343 | 2147483647 203605 31 | 8.339 % |
704.45/704.45 c | 207687 | 4254 17243 48343 | 2147483647 203715 31 | 8.339 % |
704.95/705.00 c | 207808 | 4254 17243 48343 | 2147483647 203836 31 | 8.339 % |
705.65/705.69 c | 207942 | 4254 17243 48343 | 2147483647 203970 31 | 8.339 % |
706.65/706.66 c | 208088 | 4254 17243 48343 | 2147483647 204116 31 | 8.339 % |
707.55/707.53 c | 208249 | 4254 17243 48343 | 2147483647 204277 31 | 8.339 % |
708.55/708.55 c | 208425 | 4254 17243 48343 | 2147483647 204453 31 | 8.339 % |
709.75/709.72 c | 208619 | 4254 17243 48343 | 2147483647 204647 31 | 8.339 % |
711.15/711.13 c | 208831 | 4254 17243 48343 | 2147483647 204859 31 | 8.339 % |
712.35/712.31 c | 209064 | 4254 17243 48343 | 2147483647 205092 31 | 8.339 % |
713.96/713.99 c | 209320 | 4254 17243 48343 | 2147483647 205348 31 | 8.339 % |
715.25/715.27 c | 209602 | 4254 17243 48343 | 2147483647 205630 31 | 8.339 % |
717.16/717.20 c | 209912 | 4254 17243 48343 | 2147483647 205940 31 | 8.339 % |
717.76/717.80 c | 210252 | 4254 17243 48343 | 2147483647 206280 31 | 8.339 % |
719.26/719.28 c | 210624 | 4254 17243 48343 | 2147483647 206652 31 | 8.339 % |
720.66/720.71 c | 211034 | 4254 17243 48343 | 2147483647 207062 31 | 8.339 % |
723.56/723.52 c | 211483 | 4254 17243 48343 | 2147483647 207511 31 | 8.339 % |
725.96/725.94 c | 211976 | 4254 17243 48343 | 2147483647 208004 31 | 8.339 % |
729.06/729.04 c | 212518 | 4254 17243 48343 | 2147483647 208546 31 | 8.339 % |
732.36/732.34 c | 213114 | 4254 17243 48343 | 2147483647 209142 31 | 8.339 % |
736.36/736.37 c | 213770 | 4254 17243 48343 | 2147483647 209798 31 | 8.339 % |
740.76/740.79 c | 214491 | 4254 17243 48343 | 2147483647 210519 31 | 8.339 % |
744.46/744.45 c | 215284 | 4254 17243 48343 | 2147483647 211312 31 | 8.339 % |
748.16/748.12 c | 216157 | 4254 17243 48343 | 2147483647 212185 31 | 8.339 % |
753.46/753.47 c | 217116 | 4254 17243 48343 | 2147483647 213144 31 | 8.339 % |
759.76/759.81 c | 218169 | 4254 17243 48343 | 2147483647 214197 31 | 8.339 % |
765.06/765.04 c | 219327 | 4254 17243 48343 | 2147483647 215355 31 | 8.339 % |
771.16/771.13 c | 220602 | 4254 17243 48343 | 2147483647 216630 31 | 8.339 % |
779.16/779.20 c | 222002 | 4254 17243 48343 | 2147483647 218030 31 | 8.339 % |
788.56/788.52 c | 223542 | 4254 17243 48343 | 2147483647 219570 31 | 8.339 % |
798.06/798.03 c | 225236 | 4254 17243 48343 | 2147483647 221264 31 | 8.339 % |
808.96/808.92 c | 227099 | 4254 17243 48343 | 2147483647 223127 31 | 8.339 % |
820.95/820.93 c | 229149 | 4254 17243 48343 | 2147483647 225177 31 | 8.339 % |
831.26/831.27 c | 231402 | 4254 17243 48343 | 226029 196488 31 | 8.339 % |
831.86/831.84 c | 231502 | 4254 17243 48343 | 226029 196588 31 | 8.339 % |
832.56/832.57 c | 231612 | 4254 17243 48343 | 226029 196698 31 | 8.339 % |
833.26/833.26 c | 231733 | 4254 17243 48343 | 226029 196819 31 | 8.339 % |
833.86/833.85 c | 231867 | 4254 17243 48343 | 226029 196953 31 | 8.339 % |
834.66/834.68 c | 232013 | 4254 17243 48343 | 226029 197099 31 | 8.339 % |
835.76/835.79 c | 232174 | 4254 17243 48343 | 226029 197260 31 | 8.339 % |
836.76/836.74 c | 232351 | 4254 17243 48343 | 226029 197437 31 | 8.339 % |
837.16/837.19 c | 232545 | 4254 17243 48343 | 226029 197631 31 | 8.339 % |
838.16/838.18 c | 232758 | 4254 17243 48343 | 226029 197844 31 | 8.339 % |
839.76/839.72 c | 232992 | 4254 17243 48343 | 226029 198078 31 | 8.339 % |
840.96/840.92 c | 233250 | 4254 17243 48343 | 226029 198336 31 | 8.339 % |
842.46/842.49 c | 233531 | 4254 17243 48343 | 226029 198617 31 | 8.339 % |
844.36/844.34 c | 233840 | 4254 17243 48343 | 226029 198926 31 | 8.339 % |
846.16/846.18 c | 234179 | 4254 17243 48343 | 226029 199265 31 | 8.339 % |
848.16/848.12 c | 234552 | 4254 17243 48343 | 226029 199638 31 | 8.339 % |
850.86/850.88 c | 234961 | 4254 17243 48343 | 226029 200047 31 | 8.339 % |
852.96/852.91 c | 235410 | 4254 17243 48343 | 226029 200496 31 | 8.339 % |
854.86/854.86 c | 235903 | 4254 17243 48343 | 226029 200989 31 | 8.339 % |
857.36/857.40 c | 236446 | 4254 17243 48343 | 226029 201532 31 | 8.339 % |
861.36/861.33 c | 237043 | 4254 17243 48343 | 226029 202129 31 | 8.339 % |
865.06/865.08 c | 237698 | 4254 17243 48343 | 226029 202784 31 | 8.339 % |
869.06/869.09 c | 238419 | 4254 17243 48343 | 226029 203505 31 | 8.339 % |
873.56/873.52 c | 239212 | 4254 17243 48343 | 226029 204298 31 | 8.339 % |
878.36/878.33 c | 240083 | 4254 17243 48343 | 205087 205169 31 | 8.339 % |
883.36/883.35 c | 241042 | 4254 17243 48343 | 205087 206128 31 | 8.339 % |
889.56/889.54 c | 242095 | 4254 17243 48343 | 205087 186569 31 | 8.339 % |
895.76/895.79 c | 243253 | 4254 17243 48343 | 205087 187727 31 | 8.339 % |
902.47/902.48 c | 244527 | 4254 17243 48343 | 205087 189001 31 | 8.339 % |
909.47/909.49 c | 245928 | 4254 17243 48343 | 205087 190402 31 | 8.339 % |
917.48/917.45 c | 247468 | 4254 17243 48343 | 205087 191942 31 | 8.339 % |
927.87/927.90 c | 249162 | 4254 17243 48343 | 205087 193636 31 | 8.339 % |
937.67/937.71 c | 251026 | 4254 17243 48343 | 2147483647 195500 31 | 8.339 % |
949.18/949.16 c | 253076 | 4254 17243 48343 | 2147483647 197550 31 | 8.339 % |
959.08/959.02 c | 255329 | 4254 17243 48343 | 2147483647 199803 31 | 8.339 % |
971.58/971.55 c | 257807 | 4254 17243 48343 | 2147483647 202281 31 | 8.339 % |
971.98/971.94 c | 257909 | 4254 17243 48343 | 2147483647 202383 31 | 8.339 % |
972.58/972.54 c | 258019 | 4254 17243 48343 | 2147483647 202493 31 | 8.339 % |
973.38/973.38 c | 258140 | 4254 17243 48343 | 2147483647 202614 31 | 8.339 % |
973.98/973.96 c | 258273 | 4254 17243 48343 | 2147483647 202747 31 | 8.339 % |
974.78/974.73 c | 258419 | 4254 17243 48343 | 2147483647 202893 31 | 8.339 % |
975.68/975.69 c | 258579 | 4254 17243 48343 | 2147483647 203053 31 | 8.339 % |
976.78/976.78 c | 258756 | 4254 17243 48343 | 2147483647 203230 31 | 8.339 % |
977.98/977.94 c | 258949 | 4254 17243 48343 | 2147483647 203423 31 | 8.339 % |
979.28/979.21 c | 259162 | 4254 17243 48343 | 2147483647 203636 31 | 8.339 % |
979.88/979.89 c | 259395 | 4254 17243 48343 | 2147483647 203869 31 | 8.339 % |
981.38/981.34 c | 259652 | 4254 17243 48343 | 2147483647 204126 31 | 8.339 % |
983.08/983.06 c | 259934 | 4254 17243 48343 | 2147483647 204408 31 | 8.339 % |
984.78/984.72 c | 260244 | 4254 17243 48343 | 2147483647 204718 31 | 8.339 % |
987.08/987.04 c | 260584 | 4254 17243 48343 | 2147483647 205058 31 | 8.339 % |
989.58/989.53 c | 260957 | 4254 17243 48343 | 2147483647 205431 31 | 8.339 % |
991.78/991.73 c | 261366 | 4254 17243 48343 | 2147483647 205840 31 | 8.339 % |
993.38/993.41 c | 261816 | 4254 17243 48343 | 2147483647 206290 31 | 8.339 % |
996.08/996.02 c | 262309 | 4254 17243 48343 | 2147483647 206783 31 | 8.339 % |
999.58/999.53 c | 262851 | 4254 17243 48343 | 2147483647 207325 31 | 8.339 % |
1003.38/1003.34 c | 263447 | 4254 17243 48343 | 2147483647 207921 31 | 8.339 % |
1007.18/1007.18 c | 264103 | 4254 17243 48343 | 2147483647 208577 31 | 8.339 % |
1011.38/1011.39 c | 264823 | 4254 17243 48343 | 2147483647 209297 31 | 8.339 % |
1015.98/1015.98 c | 265616 | 4254 17243 48343 | 2147483647 210090 31 | 8.339 % |
1021.08/1021.04 c | 266488 | 4254 17243 48343 | 2147483647 210962 31 | 8.339 % |
1026.58/1026.53 c | 267446 | 4254 17243 48343 | 2147483647 211920 31 | 8.339 % |
1032.58/1032.57 c | 268499 | 4254 17243 48343 | 2147483647 212973 31 | 8.339 % |
1039.78/1039.80 c | 269657 | 4254 17243 48343 | 2147483647 214131 31 | 8.339 % |
1047.58/1047.53 c | 270931 | 4254 17243 48343 | 2147483647 215405 31 | 8.339 % |
1056.59/1056.61 c | 272332 | 4254 17243 48343 | 2147483647 216806 31 | 8.339 % |
1064.09/1064.05 c | 273873 | 4254 17243 48343 | 2147483647 218347 31 | 8.339 % |
1074.89/1074.89 c | 275567 | 4254 17243 48343 | 2147483647 220041 31 | 8.339 % |
1086.79/1086.78 c | 277430 | 4254 17243 48343 | 2147483647 221904 31 | 8.339 % |
1096.69/1096.64 c | 279481 | 4254 17243 48343 | 2147483647 223955 31 | 8.339 % |
1108.39/1108.33 c | 281735 | 4254 17243 48343 | 2147483647 226209 31 | 8.339 % |
1122.10/1122.08 c | 284214 | 4254 17243 48343 | 2147483647 228688 31 | 8.339 % |
1140.29/1140.23 c | 286940 | 4254 17243 48343 | 2147483647 231414 31 | 8.339 % |
1140.89/1140.88 c | 287041 | 4254 17243 48343 | 2147483647 231515 31 | 8.339 % |
1141.79/1141.73 c | 287152 | 4254 17243 48343 | 2147483647 231626 31 | 8.339 % |
1142.59/1142.54 c | 287273 | 4254 17243 48343 | 2147483647 231747 31 | 8.339 % |
1143.49/1143.45 c | 287407 | 4254 17243 48343 | 2147483647 231881 31 | 8.339 % |
1144.49/1144.48 c | 287553 | 4254 17243 48343 | 2147483647 232027 31 | 8.339 % |
1145.49/1145.47 c | 287713 | 4254 17243 48343 | 2147483647 232187 31 | 8.339 % |
1146.79/1146.73 c | 287889 | 4254 17243 48343 | 2147483647 232363 31 | 8.339 % |
1148.19/1148.17 c | 288082 | 4254 17243 48343 | 2147483647 232556 31 | 8.339 % |
1149.60/1149.54 c | 288295 | 4254 17243 48343 | 2147483647 232769 31 | 8.339 % |
1150.49/1150.49 c | 288528 | 4254 17243 48343 | 2147483647 233002 31 | 8.339 % |
1151.99/1151.99 c | 288784 | 4254 17243 48343 | 2147483647 233258 31 | 8.339 % |
1154.00/1153.95 c | 289065 | 4254 17243 48343 | 2147483647 233539 31 | 8.339 % |
1155.69/1155.62 c | 289374 | 4254 17243 48343 | 2147483647 233848 31 | 8.339 % |
1157.39/1157.36 c | 289714 | 4254 17243 48343 | 2147483647 234188 31 | 8.339 % |
1159.79/1159.73 c | 290086 | 4254 17243 48343 | 234474 234560 31 | 8.339 % |
1162.00/1161.92 c | 290495 | 4254 17243 48343 | 234474 234969 31 | 8.339 % |
1165.30/1165.30 c | 290946 | 4254 17243 48343 | 234474 207085 31 | 8.339 % |
1167.00/1166.92 c | 291439 | 4254 17243 48343 | 234474 207578 31 | 8.339 % |
1169.20/1169.22 c | 291982 | 4254 17243 48343 | 234474 208121 31 | 8.339 % |
1172.80/1172.73 c | 292579 | 4254 17243 48343 | 234474 208718 31 | 8.339 % |
1176.79/1176.77 c | 293235 | 4254 17243 48343 | 234474 209374 31 | 8.339 % |
1179.69/1179.61 c | 293956 | 4254 17243 48343 | 234474 210095 31 | 8.339 % |
1184.59/1184.54 c | 294748 | 4254 17243 48343 | 234474 210887 31 | 8.339 % |
1189.19/1189.15 c | 295620 | 4254 17243 48343 | 234474 211759 31 | 8.339 % |
1194.29/1194.30 c | 296578 | 4254 17243 48343 | 234474 212717 31 | 8.339 % |
1200.09/1200.02 HOME/SatELiteGTI: line 36: 565 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820926-1242488560/watcher-1820926-1242488560 -o /tmp/evaluation-result-1820926-1242488560/solver-1820926-1242488560 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820926-1242488560.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: 1.15 1.03 1.01 3/93 559
/proc/meminfo: memFree=1473416/2074464 swapFree=1948616/1959888
[pid=559] ppid=557 vsize=2416 CPUtime=0
/proc/559/stat : 559 (SatELiteGTI) S 557 559 10436 0 -1 4194304 367 647 0 0 0 0 0 0 19 0 1 0 1013356527 2473984 277 4294967295 134512640 135169312 3217137520 3217136056 3085745902 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/559/statm: 604 277 235 161 0 43 0
[pid=563] ppid=559 vsize=956 CPUtime=0
/proc/563/stat : 563 (SatELite_releas) R 559 559 10436 0 -1 4202496 126 0 0 0 0 0 0 0 18 0 1 0 1013356527 978944 62 4294967295 134512640 135223648 3220142656 3220141608 134737310 0 0 0 3 0 0 0 17 0 0 0 0
/proc/563/statm: 239 63 46 174 0 64 0
[startup+0.089863 s]
/proc/loadavg: 1.15 1.03 1.01 3/93 559
/proc/meminfo: memFree=1473416/2074464 swapFree=1948616/1959888
[pid=559] ppid=557 vsize=2416 CPUtime=0
/proc/559/stat : 559 (SatELiteGTI) S 557 559 10436 0 -1 4194304 367 647 0 0 0 0 0 0 19 0 1 0 1013356527 2473984 277 4294967295 134512640 135169312 3217137520 3217136056 3085745902 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/559/statm: 604 277 235 161 0 43 0
[pid=563] ppid=559 vsize=6028 CPUtime=0.09
/proc/563/stat : 563 (SatELite_releas) R 559 559 10436 0 -1 4202496 1281 0 0 0 8 1 0 0 18 0 1 0 1013356527 6172672 1195 4294967295 134512640 135223648 3220142656 3220140752 134596424 0 0 0 3 0 0 0 17 0 0 0 0
/proc/563/statm: 1507 1195 73 174 0 1332 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8444
[startup+0.119859 s]
/proc/loadavg: 1.15 1.03 1.01 3/93 559
/proc/meminfo: memFree=1473416/2074464 swapFree=1948616/1959888
[pid=559] ppid=557 vsize=2416 CPUtime=0
/proc/559/stat : 559 (SatELiteGTI) S 557 559 10436 0 -1 4194304 367 647 0 0 0 0 0 0 19 0 1 0 1013356527 2473984 277 4294967295 134512640 135169312 3217137520 3217136056 3085745902 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/559/statm: 604 277 235 161 0 43 0
[pid=563] ppid=559 vsize=6028 CPUtime=0.12
/proc/563/stat : 563 (SatELite_releas) R 559 559 10436 0 -1 4202496 1281 0 0 0 11 1 0 0 18 0 1 0 1013356527 6172672 1195 4294967295 134512640 135223648 3220142656 3220140672 134586640 0 0 0 3 0 0 0 17 0 0 0 0
/proc/563/statm: 1507 1195 73 174 0 1332 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 8444
[startup+0.319843 s]
/proc/loadavg: 1.15 1.03 1.01 3/93 559
/proc/meminfo: memFree=1473416/2074464 swapFree=1948616/1959888
[pid=559] ppid=557 vsize=2420 CPUtime=0.17
/proc/559/stat : 559 (SatELiteGTI) S 557 559 10436 0 -1 4194304 387 1957 0 0 0 0 16 1 19 0 1 0 1013356527 2478080 279 4294967295 134512640 135169312 3217137520 3217133736 3085745902 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/559/statm: 605 279 235 161 0 44 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 2420
[startup+0.71981 s]
/proc/loadavg: 1.15 1.03 1.01 3/93 559
/proc/meminfo: memFree=1473416/2074464 swapFree=1948616/1959888
[pid=559] ppid=557 vsize=2420 CPUtime=0.17
/proc/559/stat : 559 (SatELiteGTI) S 557 559 10436 0 -1 4194304 387 1957 0 0 0 0 16 1 19 0 1 0 1013356527 2478080 279 4294967295 134512640 135169312 3217137520 3217133736 3085745902 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/559/statm: 605 279 235 161 0 44 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 2420
[startup+1.51974 s]
/proc/loadavg: 1.15 1.03 1.01 3/95 565
/proc/meminfo: memFree=1471176/2074464 swapFree=1948616/1959888
[pid=559] ppid=557 vsize=2420 CPUtime=0.17
/proc/559/stat : 559 (SatELiteGTI) S 557 559 10436 0 -1 4194304 387 1957 0 0 0 0 16 1 19 0 1 0 1013356527 2478080 279 4294967295 134512640 135169312 3217137520 3217133736 3085745902 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/559/statm: 605 279 235 161 0 44 0
[pid=565] ppid=559 vsize=3344 CPUtime=1.33
/proc/565/stat : 565 (minisat_static) R 559 559 10436 0 -1 4202496 590 0 0 0 133 0 0 0 20 0 1 0 1013356544 3424256 524 4294967295 134512640 135215339 3213134832 3213133120 134528624 0 0 0 3 0 0 0 17 0 0 0 0
/proc/565/statm: 836 524 72 172 0 663 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 5764
[startup+3.11961 s]
/proc/loadavg: 1.15 1.03 1.01 3/95 565
/proc/meminfo: memFree=1470928/2074464 swapFree=1948616/1959888
[pid=559] ppid=557 vsize=2420 CPUtime=0.17
/proc/559/stat : 559 (SatELiteGTI) S 557 559 10436 0 -1 4194304 387 1957 0 0 0 0 16 1 19 0 1 0 1013356527 2478080 279 4294967295 134512640 135169312 3217137520 3217133736 3085745902 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/559/statm: 605 279 235 161 0 44 0
[pid=565] ppid=559 vsize=3608 CPUtime=2.93
/proc/565/stat : 565 (minisat_static) R 559 559 10436 0 -1 4202496 664 0 0 0 293 0 0 0 25 0 1 0 1013356544 3694592 598 4294967295 134512640 135215339 3213134832 3213133120 134528624 0 0 0 3 0 0 0 17 0 0 0 0
/proc/565/statm: 902 598 72 172 0 729 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 6028
[startup+6.31935 s]
/proc/loadavg: 1.14 1.03 1.01 3/95 565
/proc/meminfo: memFree=1470844/2074464 swapFree=1948616/1959888
[pid=559] ppid=557 vsize=2420 CPUtime=0.17
/proc/559/stat : 559 (SatELiteGTI) S 557 559 10436 0 -1 4194304 387 1957 0 0 0 0 16 1 19 0 1 0 1013356527 2478080 279 4294967295 134512640 135169312 3217137520 3217133736 3085745902 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/559/statm: 605 279 235 161 0 44 0
[pid=565] ppid=559 vsize=4136 CPUtime=6.13
/proc/565/stat : 565 (minisat_static) R 559 559 10436 0 -1 4202496 780 0 0 0 613 0 0 0 25 0 1 0 1013356544 4235264 714 4294967295 134512640 135215339 3213134832 3213132896 134539336 0 0 0 3 0 0 0 17 0 0 0 0
/proc/565/statm: 1034 714 72 172 0 861 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 6556
[startup+12.7188 s]
/proc/loadavg: 1.13 1.03 1.01 3/95 565
/proc/meminfo: memFree=1470460/2074464 swapFree=1948616/1959888
[pid=559] ppid=557 vsize=2420 CPUtime=0.17
/proc/559/stat : 559 (SatELiteGTI) S 557 559 10436 0 -1 4194304 387 1957 0 0 0 0 16 1 19 0 1 0 1013356527 2478080 279 4294967295 134512640 135169312 3217137520 3217133736 3085745902 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/559/statm: 605 279 235 161 0 44 0
[pid=565] ppid=559 vsize=4532 CPUtime=12.53
/proc/565/stat : 565 (minisat_static) R 559 559 10436 0 -1 4202496 869 0 0 0 1253 0 0 0 25 0 1 0 1013356544 4640768 803 4294967295 134512640 135215339 3213134832 3213133120 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/565/statm: 1133 803 72 172 0 960 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 6952
[startup+25.5178 s]
/proc/loadavg: 1.10 1.03 1.01 3/95 567
/proc/meminfo: memFree=1468664/2074464 swapFree=1948616/1959888
[pid=559] ppid=557 vsize=2420 CPUtime=0.17
/proc/559/stat : 559 (SatELiteGTI) S 557 559 10436 0 -1 4194304 387 1957 0 0 0 0 16 1 19 0 1 0 1013356527 2478080 279 4294967295 134512640 135169312 3217137520 3217133736 3085745902 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/559/statm: 605 279 235 161 0 44 0
[pid=565] ppid=559 vsize=5992 CPUtime=25.33
/proc/565/stat : 565 (minisat_static) R 559 559 10436 0 -1 4202496 1245 0 0 0 2530 3 0 0 25 0 1 0 1013356544 6135808 1179 4294967295 134512640 135215339 3213134832 3213132896 134538374 0 0 0 3 0 0 0 17 0 0 0 0
/proc/565/statm: 1498 1179 72 172 0 1325 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 8412
[startup+51.1257 s]
/proc/loadavg: 1.07 1.02 1.00 2/95 751
/proc/meminfo: memFree=1466064/2074464 swapFree=1948616/1959888
[pid=559] ppid=557 vsize=2420 CPUtime=0.17
/proc/559/stat : 559 (SatELiteGTI) S 557 559 10436 0 -1 4194304 387 1957 0 0 0 0 16 1 19 0 1 0 1013356527 2478080 279 4294967295 134512640 135169312 3217137520 3217133736 3085745902 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/559/statm: 605 279 235 161 0 44 0
[pid=565] ppid=559 vsize=8284 CPUtime=50.94
/proc/565/stat : 565 (minisat_static) R 559 559 10436 0 -1 4202496 1803 0 0 0 5091 3 0 0 25 0 1 0 1013356544 8482816 1737 4294967295 134512640 135215339 3213134832 3213132896 134537869 0 0 0 3 0 0 0 17 0 0 0 0
/proc/565/statm: 2071 1737 72 172 0 1898 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 10704
[startup+102.311 s]
/proc/loadavg: 1.03 1.02 1.00 3/95 951
/proc/meminfo: memFree=1461952/2074464 swapFree=1948616/1959888
[pid=559] ppid=557 vsize=2420 CPUtime=0.17
/proc/559/stat : 559 (SatELiteGTI) S 557 559 10436 0 -1 4194304 387 1957 0 0 0 0 16 1 19 0 1 0 1013356527 2478080 279 4294967295 134512640 135169312 3217137520 3217133736 3085745902 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/559/statm: 605 279 235 161 0 44 0
[pid=565] ppid=559 vsize=11756 CPUtime=102.13
/proc/565/stat : 565 (minisat_static) R 559 559 10436 0 -1 4202496 2684 0 0 0 10208 5 0 0 25 0 1 0 1013356544 12038144 2618 4294967295 134512640 135215339 3213134832 3213132896 134537869 0 0 0 3 0 0 0 17 0 0 0 0
/proc/565/statm: 2939 2618 72 172 0 2766 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 14176
[startup+162.317 s]
/proc/loadavg: 1.01 1.01 1.00 2/95 1140
/proc/meminfo: memFree=1458936/2074464 swapFree=1948616/1959888
[pid=559] ppid=557 vsize=2420 CPUtime=0.17
/proc/559/stat : 559 (SatELiteGTI) S 557 559 10436 0 -1 4194304 387 1957 0 0 0 0 16 1 19 0 1 0 1013356527 2478080 279 4294967295 134512640 135169312 3217137520 3217133736 3085745902 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/559/statm: 605 279 235 161 0 44 0
[pid=565] ppid=559 vsize=15064 CPUtime=162.14
/proc/565/stat : 565 (minisat_static) R 559 559 10436 0 -1 4202496 3475 0 0 0 16208 6 0 0 25 0 1 0 1013356544 15425536 3409 4294967295 134512640 135215339 3213134832 3213132896 134538488 0 0 0 3 0 0 0 17 0 0 0 0
/proc/565/statm: 3766 3409 72 172 0 3593 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 17484
[startup+222.312 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 1333
/proc/meminfo: memFree=1455976/2074464 swapFree=1948616/1959888
[pid=559] ppid=557 vsize=2420 CPUtime=0.17
/proc/559/stat : 559 (SatELiteGTI) S 557 559 10436 0 -1 4194304 387 1957 0 0 0 0 16 1 19 0 1 0 1013356527 2478080 279 4294967295 134512640 135169312 3217137520 3217133736 3085745902 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/559/statm: 605 279 235 161 0 44 0
[pid=565] ppid=559 vsize=17824 CPUtime=222.14
/proc/565/stat : 565 (minisat_static) R 559 559 10436 0 -1 4202496 4164 0 0 0 22206 8 0 0 25 0 1 0 1013356544 18251776 4098 4294967295 134512640 135215339 3213134832 3213132896 134539287 0 0 0 3 0 0 0 17 3 0 0 0
/proc/565/statm: 4456 4098 72 172 0 4283 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 20244
[startup+282.317 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 1520
/proc/meminfo: memFree=1453272/2074464 swapFree=1948616/1959888
[pid=559] ppid=557 vsize=2420 CPUtime=0.17
/proc/559/stat : 559 (SatELiteGTI) S 557 559 10436 0 -1 4194304 387 1957 0 0 0 0 16 1 19 0 1 0 1013356527 2478080 279 4294967295 134512640 135169312 3217137520 3217133736 3085745902 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/559/statm: 605 279 235 161 0 44 0
[pid=565] ppid=559 vsize=20848 CPUtime=282.15
/proc/565/stat : 565 (minisat_static) R 559 559 10436 0 -1 4202496 4880 0 0 0 28207 8 0 0 25 0 1 0 1013356544 21348352 4814 4294967295 134512640 135215339 3213134832 3213133120 134529169 0 0 0 3 0 0 0 17 3 0 0 0
/proc/565/statm: 5212 4814 72 172 0 5039 0
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (KiB) 23268
[startup+342.312 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 1710
/proc/meminfo: memFree=1450520/2074464 swapFree=1948616/1959888
[pid=559] ppid=557 vsize=2420 CPUtime=0.17
/proc/559/stat : 559 (SatELiteGTI) S 557 559 10436 0 -1 4194304 387 1957 0 0 0 0 16 1 19 0 1 0 1013356527 2478080 279 4294967295 134512640 135169312 3217137520 3217133736 3085745902 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/559/statm: 605 279 235 161 0 44 0
[pid=565] ppid=559 vsize=23592 CPUtime=342.15
/proc/565/stat : 565 (minisat_static) R 559 559 10436 0 -1 4202496 5548 0 0 0 34207 8 0 0 25 0 1 0 1013356544 24158208 5482 4294967295 134512640 135215339 3213134832 3213133120 134528700 0 0 0 3 0 0 0 17 3 0 0 0
/proc/565/statm: 5898 5482 72 172 0 5725 0
Current children cumulated CPU time (s) 342.32
Current children cumulated vsize (KiB) 26012
[startup+402.317 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 1898
/proc/meminfo: memFree=1448156/2074464 swapFree=1948616/1959888
[pid=559] ppid=557 vsize=2420 CPUtime=0.17
################
# More data... #
################
/proc/559/stat : 559 (SatELiteGTI) S 557 559 10436 0 -1 4194304 387 1957 0 0 0 0 16 1 19 0 1 0 1013356527 2478080 279 4294967295 134512640 135169312 3217137520 3217133736 3085745902 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/559/statm: 605 279 235 161 0 44 0
[pid=565] ppid=559 vsize=28684 CPUtime=462.16
/proc/565/stat : 565 (minisat_static) R 559 559 10436 0 -1 4202496 6771 0 0 0 46207 9 0 0 25 0 1 0 1013356544 29372416 6705 4294967295 134512640 135215339 3213134832 3213133120 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/565/statm: 7171 6705 72 172 0 6998 0
Current children cumulated CPU time (s) 462.33
Current children cumulated vsize (KiB) 31104
[startup+522.317 s]
/proc/loadavg: 1.03 1.01 1.00 2/95 2274
/proc/meminfo: memFree=1443352/2074464 swapFree=1948616/1959888
[pid=559] ppid=557 vsize=2420 CPUtime=0.17
/proc/559/stat : 559 (SatELiteGTI) S 557 559 10436 0 -1 4194304 387 1957 0 0 0 0 16 1 19 0 1 0 1013356527 2478080 279 4294967295 134512640 135169312 3217137520 3217133736 3085745902 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/559/statm: 605 279 235 161 0 44 0
[pid=565] ppid=559 vsize=30984 CPUtime=522.17
/proc/565/stat : 565 (minisat_static) R 559 559 10436 0 -1 4202496 7352 0 0 0 52207 10 0 0 25 0 1 0 1013356544 31727616 7286 4294967295 134512640 135215339 3213134832 3213133120 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/565/statm: 7746 7286 72 172 0 7573 0
Current children cumulated CPU time (s) 522.34
Current children cumulated vsize (KiB) 33404
[startup+582.312 s]
/proc/loadavg: 1.01 1.00 1.00 2/95 2472
/proc/meminfo: memFree=1441112/2074464 swapFree=1948616/1959888
[pid=559] ppid=557 vsize=2420 CPUtime=0.17
/proc/559/stat : 559 (SatELiteGTI) S 557 559 10436 0 -1 4194304 387 1957 0 0 0 0 16 1 19 0 1 0 1013356527 2478080 279 4294967295 134512640 135169312 3217137520 3217133736 3085745902 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/559/statm: 605 279 235 161 0 44 0
[pid=565] ppid=559 vsize=33032 CPUtime=582.17
/proc/565/stat : 565 (minisat_static) R 559 559 10436 0 -1 4202496 7878 0 0 0 58206 11 0 0 25 0 1 0 1013356544 33824768 7812 4294967295 134512640 135215339 3213134832 3213133120 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/565/statm: 8258 7812 72 172 0 8085 0
Current children cumulated CPU time (s) 582.34
Current children cumulated vsize (KiB) 35452
[startup+642.317 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 2667
/proc/meminfo: memFree=1438988/2074464 swapFree=1948616/1959888
[pid=559] ppid=557 vsize=2420 CPUtime=0.17
/proc/559/stat : 559 (SatELiteGTI) S 557 559 10436 0 -1 4194304 387 1957 0 0 0 0 16 1 19 0 1 0 1013356527 2478080 279 4294967295 134512640 135169312 3217137520 3217133736 3085745902 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/559/statm: 605 279 235 161 0 44 0
[pid=565] ppid=559 vsize=35060 CPUtime=642.18
/proc/565/stat : 565 (minisat_static) R 559 559 10436 0 -1 4202496 8337 0 0 0 64206 12 0 0 25 0 1 0 1013356544 35901440 8271 4294967295 134512640 135215339 3213134832 3213133120 134529091 0 0 0 3 0 0 0 17 3 0 0 0
/proc/565/statm: 8765 8271 72 172 0 8592 0
Current children cumulated CPU time (s) 642.35
Current children cumulated vsize (KiB) 37480
[startup+702.312 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 2857
/proc/meminfo: memFree=1437252/2074464 swapFree=1948616/1959888
[pid=559] ppid=557 vsize=2420 CPUtime=0.17
/proc/559/stat : 559 (SatELiteGTI) S 557 559 10436 0 -1 4194304 387 1957 0 0 0 0 16 1 19 0 1 0 1013356527 2478080 279 4294967295 134512640 135169312 3217137520 3217133736 3085745902 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/559/statm: 605 279 235 161 0 44 0
[pid=565] ppid=559 vsize=36900 CPUtime=702.18
/proc/565/stat : 565 (minisat_static) R 559 559 10436 0 -1 4202496 8796 0 0 0 70203 15 0 0 25 0 1 0 1013356544 37785600 8730 4294967295 134512640 135215339 3213134832 3213133120 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/565/statm: 9225 8730 72 172 0 9052 0
Current children cumulated CPU time (s) 702.35
Current children cumulated vsize (KiB) 39320
[startup+762.317 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 3044
/proc/meminfo: memFree=1435308/2074464 swapFree=1948616/1959888
[pid=559] ppid=557 vsize=2420 CPUtime=0.17
/proc/559/stat : 559 (SatELiteGTI) S 557 559 10436 0 -1 4194304 387 1957 0 0 0 0 16 1 19 0 1 0 1013356527 2478080 279 4294967295 134512640 135169312 3217137520 3217133736 3085745902 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/559/statm: 605 279 235 161 0 44 0
[pid=565] ppid=559 vsize=39224 CPUtime=762.19
/proc/565/stat : 565 (minisat_static) R 559 559 10436 0 -1 4202496 9267 0 0 0 76204 15 0 0 25 0 1 0 1013356544 40165376 9201 4294967295 134512640 135215339 3213134832 3213133120 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/565/statm: 9806 9201 72 172 0 9633 0
Current children cumulated CPU time (s) 762.36
Current children cumulated vsize (KiB) 41644
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 3235
/proc/meminfo: memFree=1433880/2074464 swapFree=1948616/1959888
[pid=559] ppid=557 vsize=2420 CPUtime=0.17
/proc/559/stat : 559 (SatELiteGTI) S 557 559 10436 0 -1 4194304 387 1957 0 0 0 0 16 1 19 0 1 0 1013356527 2478080 279 4294967295 134512640 135169312 3217137520 3217133736 3085745902 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/559/statm: 605 279 235 161 0 44 0
[pid=565] ppid=559 vsize=40756 CPUtime=822.18
/proc/565/stat : 565 (minisat_static) R 559 559 10436 0 -1 4202496 9671 0 0 0 82202 16 0 0 25 0 1 0 1013356544 41734144 9605 4294967295 134512640 135215339 3213134832 3213133120 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/565/statm: 10189 9605 72 172 0 10016 0
Current children cumulated CPU time (s) 822.35
Current children cumulated vsize (KiB) 43176
[startup+882.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 3441
/proc/meminfo: memFree=1433284/2074464 swapFree=1948616/1959888
[pid=559] ppid=557 vsize=2420 CPUtime=0.17
/proc/559/stat : 559 (SatELiteGTI) S 557 559 10436 0 -1 4194304 387 1957 0 0 0 0 16 1 19 0 1 0 1013356527 2478080 279 4294967295 134512640 135169312 3217137520 3217133736 3085745902 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/559/statm: 605 279 235 161 0 44 0
[pid=565] ppid=559 vsize=41504 CPUtime=882.19
/proc/565/stat : 565 (minisat_static) R 559 559 10436 0 -1 4202496 9816 0 0 0 88203 16 0 0 25 0 1 0 1013356544 42500096 9750 4294967295 134512640 135215339 3213134832 3213133120 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/565/statm: 10376 9750 72 172 0 10203 0
Current children cumulated CPU time (s) 882.36
Current children cumulated vsize (KiB) 43924
[startup+942.322 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 3641
/proc/meminfo: memFree=1432772/2074464 swapFree=1948616/1959888
[pid=559] ppid=557 vsize=2420 CPUtime=0.17
/proc/559/stat : 559 (SatELiteGTI) S 557 559 10436 0 -1 4194304 387 1957 0 0 0 0 16 1 19 0 1 0 1013356527 2478080 279 4294967295 134512640 135169312 3217137520 3217133736 3085745902 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/559/statm: 605 279 235 161 0 44 0
[pid=565] ppid=559 vsize=41680 CPUtime=942.21
/proc/565/stat : 565 (minisat_static) R 559 559 10436 0 -1 4202496 9856 0 0 0 94205 16 0 0 25 0 1 0 1013356544 42680320 9790 4294967295 134512640 135215339 3213134832 3213133120 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/565/statm: 10420 9790 72 172 0 10247 0
Current children cumulated CPU time (s) 942.38
Current children cumulated vsize (KiB) 44100
[startup+1002.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 3829
/proc/meminfo: memFree=1432680/2074464 swapFree=1948616/1959888
[pid=559] ppid=557 vsize=2420 CPUtime=0.17
/proc/559/stat : 559 (SatELiteGTI) S 557 559 10436 0 -1 4194304 387 1957 0 0 0 0 16 1 19 0 1 0 1013356527 2478080 279 4294967295 134512640 135169312 3217137520 3217133736 3085745902 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/559/statm: 605 279 235 161 0 44 0
[pid=565] ppid=559 vsize=42000 CPUtime=1002.21
/proc/565/stat : 565 (minisat_static) R 559 559 10436 0 -1 4202496 9947 0 0 0 100205 16 0 0 25 0 1 0 1013356544 43008000 9881 4294967295 134512640 135215339 3213134832 3213133120 134528666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/565/statm: 10500 9881 72 172 0 10327 0
Current children cumulated CPU time (s) 1002.38
Current children cumulated vsize (KiB) 44420
[startup+1062.32 s]
/proc/loadavg: 1.00 1.00 1.00 4/96 3907
/proc/meminfo: memFree=1432224/2074464 swapFree=1948616/1959888
[pid=559] ppid=557 vsize=2420 CPUtime=0.17
/proc/559/stat : 559 (SatELiteGTI) S 557 559 10436 0 -1 4194304 387 1957 0 0 0 0 16 1 19 0 1 0 1013356527 2478080 279 4294967295 134512640 135169312 3217137520 3217133736 3085745902 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/559/statm: 605 279 235 161 0 44 0
[pid=565] ppid=559 vsize=42164 CPUtime=1062.22
/proc/565/stat : 565 (minisat_static) R 559 559 10436 0 -1 4202496 9993 0 0 0 106206 16 0 0 25 0 1 0 1013356544 43175936 9927 4294967295 134512640 135215339 3213134832 3213133120 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/565/statm: 10541 9927 72 172 0 10368 0
Current children cumulated CPU time (s) 1062.39
Current children cumulated vsize (KiB) 44584
[startup+1122.32 s]
/proc/loadavg: 1.06 1.03 1.01 2/95 4205
/proc/meminfo: memFree=1432432/2074464 swapFree=1948616/1959888
[pid=559] ppid=557 vsize=2420 CPUtime=0.17
/proc/559/stat : 559 (SatELiteGTI) S 557 559 10436 0 -1 4194304 387 1957 0 0 0 0 16 1 19 0 1 0 1013356527 2478080 279 4294967295 134512640 135169312 3217137520 3217133736 3085745902 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/559/statm: 605 279 235 161 0 44 0
[pid=565] ppid=559 vsize=42164 CPUtime=1122.22
/proc/565/stat : 565 (minisat_static) R 559 559 10436 0 -1 4202496 10003 0 0 0 112206 16 0 0 25 0 1 0 1013356544 43175936 9937 4294967295 134512640 135215339 3213134832 3213132896 134538032 0 0 0 3 0 0 0 17 3 0 0 0
/proc/565/statm: 10541 9937 72 172 0 10368 0
Current children cumulated CPU time (s) 1122.39
Current children cumulated vsize (KiB) 44584
[startup+1182.31 s]
/proc/loadavg: 1.02 1.02 1.00 2/95 4209
/proc/meminfo: memFree=1432456/2074464 swapFree=1948616/1959888
[pid=559] ppid=557 vsize=2420 CPUtime=0.17
/proc/559/stat : 559 (SatELiteGTI) S 557 559 10436 0 -1 4194304 387 1957 0 0 0 0 16 1 19 0 1 0 1013356527 2478080 279 4294967295 134512640 135169312 3217137520 3217133736 3085745902 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/559/statm: 605 279 235 161 0 44 0
[pid=565] ppid=559 vsize=42408 CPUtime=1182.22
/proc/565/stat : 565 (minisat_static) R 559 559 10436 0 -1 4202496 10068 0 0 0 118203 19 0 0 25 0 1 0 1013356544 43425792 10002 4294967295 134512640 135215339 3213134832 3213133120 134528860 0 0 0 3 0 0 0 17 3 0 0 0
/proc/565/statm: 10602 10002 72 172 0 10429 0
Current children cumulated CPU time (s) 1182.39
Current children cumulated vsize (KiB) 44828
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.01 s]
/proc/loadavg: 1.01 1.02 1.00 3/95 4394
/proc/meminfo: memFree=1432268/2074464 swapFree=1948616/1959888
[pid=559] ppid=557 vsize=2420 CPUtime=0.17
/proc/559/stat : 559 (SatELiteGTI) S 557 559 10436 0 -1 4194304 387 1957 0 0 0 0 16 1 19 0 1 0 1013356527 2478080 279 4294967295 134512640 135169312 3217137520 3217133736 3085745902 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/559/statm: 605 279 235 161 0 44 0
[pid=565] ppid=559 vsize=42572 CPUtime=1199.92
/proc/565/stat : 565 (minisat_static) R 559 559 10436 0 -1 4202496 10099 0 0 0 119973 19 0 0 25 0 1 0 1013356544 43593728 10033 4294967295 134512640 135215339 3213134832 3213133120 134529083 0 0 0 3 0 0 0 17 3 0 0 0
/proc/565/statm: 10643 10033 72 172 0 10470 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 44992
Sending SIGTERM to process tree (bottom up)
SSolver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1200.03
CPU time (s): 1200.1
CPU user time (s): 1199.89
CPU system time (s): 0.21
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 44992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.89
system time used= 0.21
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12718
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= 19
involuntary context switches= 1181
runsolver used 0.01 second user time and 0.02 second system time
The end
Begin job on tipi16 at 2009-05-16 17:42:40
IDJOB=1820926
IDBENCH=70775
IDSOLVER=657
FILE ID=tipi16/1820926-1242488560
PBS_JOBID=
Free space on /tmp= 5072 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bitverif/countbitsrotate/countbitsrotate032.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820926-1242488560/watcher-1820926-1242488560 -o /tmp/evaluation-result-1820926-1242488560/solver-1820926-1242488560 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820926-1242488560.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 8d76aa747359ea8ccf15726792949452
RANDOM SEED= 1418563788
Linux tipi16 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.457
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.37
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.457
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.457
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.78
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.457
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: 1473424 kB
Buffers: 34312 kB
Cached: 486916 kB
SwapCached: 5940 kB
Active: 67644 kB
Inactive: 463588 kB
HighTotal: 1178688 kB
HighFree: 728704 kB
LowTotal: 895776 kB
LowFree: 744720 kB
SwapTotal: 1959888 kB
SwapFree: 1948616 kB
Dirty: 2032 kB
Writeback: 0 kB
AnonPages: 9344 kB
Mapped: 3156 kB
Slab: 61260 kB
PageTables: 464 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90760 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 5072 MiB
End job on tipi16 at 2009-05-16 18:02:40