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.00/0.18 c | 0 | 19097 53996 | -- 0 -- -- | -- | -6383/-5457
0.00/0.18 c ==============================================================================
0.00/0.18 c Result : #vars: 4641 #clauses: 19097 #literals: 53996
0.00/0.18 c CPU time: 0.145977 s
0.00/0.18 c ==============================================================================
0.00/0.20 c This is MiniSat 2.0 beta
0.00/0.20 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.20 c ============================[ Problem Statistics ]=============================
0.00/0.20 c | |
0.17/0.20 c | Number of variables: 4641 |
0.17/0.20 c | Number of clauses: 19097 |
0.17/0.21 c | Parsing time: 0.01 s |
0.17/0.21 c ============================[ Search Statistics ]==============================
0.17/0.21 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.17/0.21 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.17/0.21 c ===============================================================================
0.17/0.21 c | 0 | 4641 19097 53996 | 6365 0 nan | 0.000 % |
0.17/0.25 c | 100 | 4641 19097 53996 | 6365 100 55 | 0.000 % |
0.17/0.37 c | 200 | 4641 19097 53996 | 6365 200 42 | 0.000 % |
0.17/0.48 c | 300 | 4641 19097 53996 | 6365 300 37 | 0.000 % |
0.17/0.54 c | 410 | 4641 19097 53996 | 6365 410 35 | 0.000 % |
0.17/0.60 c | 511 | 4641 19097 53996 | 6365 511 35 | 0.000 % |
0.17/0.69 c | 621 | 4641 19097 53996 | 6365 621 36 | 0.000 % |
0.17/0.83 c | 743 | 4641 19097 53996 | 6365 743 35 | 0.000 % |
0.17/0.95 c | 844 | 4641 19097 53996 | 6365 844 34 | 0.000 % |
0.96/1.08 c | 954 | 4641 19097 53996 | 6365 954 33 | 0.000 % |
1.16/1.20 c | 1075 | 4641 19097 53996 | 6365 1075 33 | 0.000 % |
1.26/1.30 c | 1209 | 4641 19097 53996 | 6365 1209 33 | 0.000 % |
1.26/1.31 c | 1309 | 4641 19097 53996 | 6365 1309 33 | 0.000 % |
1.26/1.35 c | 1420 | 4641 19097 53996 | 6365 1420 32 | 0.000 % |
1.36/1.48 c | 1542 | 4641 19097 53996 | 6365 1542 32 | 0.000 % |
1.46/1.58 c | 1676 | 4641 19097 53996 | 6365 1676 32 | 0.000 % |
1.56/1.66 c | 1822 | 4641 19097 53996 | 6365 1822 32 | 0.000 % |
1.56/1.68 c | 1922 | 4641 19097 53996 | 6365 1922 32 | 0.000 % |
1.66/1.76 c | 2032 | 4641 19097 53996 | 6365 2032 32 | 0.000 % |
1.76/1.85 c | 2153 | 4641 19097 53996 | 6365 2153 32 | 0.000 % |
1.96/2.01 c | 2287 | 4641 19097 53996 | 6365 2287 32 | 0.000 % |
2.06/2.19 c | 2434 | 4641 19097 53996 | 6365 2434 32 | 0.000 % |
2.36/2.40 c | 2594 | 4641 19097 53996 | 6365 2594 32 | 0.000 % |
2.36/2.48 c | 2695 | 4641 19097 53996 | 6365 2695 32 | 0.000 % |
2.46/2.58 c | 2805 | 4641 19097 53996 | 6365 2805 32 | 0.000 % |
2.66/2.73 c | 2926 | 4641 19097 53996 | 6365 2926 32 | 0.000 % |
2.76/2.82 c | 3060 | 4641 19097 53996 | 6365 3060 32 | 0.000 % |
2.86/2.97 c | 3207 | 4641 19097 53996 | 6365 3207 32 | 0.000 % |
3.06/3.15 c | 3367 | 4641 19097 53996 | 6365 3367 32 | 0.000 % |
3.26/3.39 c | 3544 | 4641 19097 53996 | 6365 3544 33 | 0.000 % |
3.36/3.46 c | 3645 | 4641 19097 53996 | 6365 3645 33 | 0.000 % |
3.46/3.50 c | 3755 | 4641 19097 53996 | 6365 3755 33 | 0.000 % |
3.56/3.61 c | 3878 | 4641 19097 53996 | 6365 3878 33 | 0.000 % |
3.66/3.79 c | 4011 | 4641 19097 53996 | 6365 4011 33 | 0.000 % |
3.76/3.87 c | 4159 | 4641 19097 53996 | 6365 4159 33 | 0.000 % |
3.96/4.00 c | 4320 | 4641 19097 53996 | 6365 4320 33 | 0.000 % |
4.16/4.20 c | 4496 | 4641 19097 53996 | 6365 4496 33 | 0.000 % |
4.36/4.47 c | 4689 | 4641 19097 53996 | 6365 4689 33 | 0.000 % |
4.56/4.62 c | 4789 | 4641 19097 53996 | 6365 4789 33 | 0.000 % |
4.66/4.77 c | 4899 | 4641 19097 53996 | 6365 4899 32 | 0.000 % |
4.76/4.88 c | 5020 | 4641 19097 53996 | 6365 5020 32 | 0.000 % |
4.96/5.02 c | 5153 | 4641 19097 53996 | 6365 5153 33 | 0.000 % |
5.06/5.18 c | 5299 | 4641 19097 53996 | 6365 5299 32 | 0.000 % |
5.25/5.35 c | 5459 | 4641 19097 53996 | 6365 5459 32 | 0.000 % |
5.46/5.56 c | 5635 | 4641 19097 53996 | 6365 5635 33 | 0.000 % |
5.65/5.76 c | 5829 | 4641 19097 53996 | 6365 5829 33 | 0.000 % |
5.85/5.97 c | 6041 | 4641 19097 53996 | 6365 6041 33 | 0.000 % |
5.95/6.09 c | 6141 | 4641 19097 53996 | 6365 6141 33 | 0.000 % |
6.15/6.23 c | 6252 | 4641 19097 53996 | 6365 6252 33 | 0.000 % |
6.25/6.39 c | 6374 | 4641 19097 53996 | 6365 6374 33 | 0.000 % |
6.46/6.57 c | 6508 | 4641 19097 53996 | 6365 5871 32 | 0.000 % |
6.56/6.66 c | 6656 | 4641 19097 53996 | 6365 6019 32 | 0.000 % |
6.75/6.85 c | 6816 | 4641 19097 53996 | 6365 6179 33 | 0.000 % |
6.95/7.07 c | 6993 | 4641 19097 53996 | 6365 6356 33 | 0.000 % |
7.05/7.12 c | 7186 | 4641 19097 53996 | 6365 6549 33 | 0.000 % |
7.25/7.37 c | 7399 | 4641 19097 53996 | 6365 6108 33 | 0.000 % |
7.35/7.43 c | 7632 | 4641 19097 53996 | 6365 6341 33 | 0.000 % |
7.45/7.54 c | 7732 | 4641 19097 53996 | 6365 6441 34 | 0.000 % |
7.56/7.63 c | 7843 | 4641 19097 53996 | 6365 5908 33 | 0.000 % |
7.56/7.66 c | 7965 | 4641 19097 53996 | 6365 6030 33 | 0.000 % |
7.75/7.83 c | 8098 | 4641 19097 53996 | 6365 6163 34 | 0.000 % |
7.85/7.98 c | 8244 | 4641 19097 53996 | 6365 6309 33 | 0.000 % |
7.95/8.06 c | 8407 | 4641 19097 53996 | 6365 6472 34 | 0.000 % |
8.05/8.15 c | 8585 | 4641 19097 53996 | 6365 6003 34 | 0.000 % |
8.25/8.39 c | 8778 | 4641 19097 53996 | 6365 6196 33 | 0.000 % |
8.55/8.64 c | 8992 | 4641 19097 53996 | 6365 6410 33 | 0.000 % |
8.85/8.92 c | 9226 | 4641 19097 53996 | 6365 6003 33 | 0.000 % |
9.05/9.19 c | 9482 | 4641 19097 53996 | 6365 6259 32 | 0.000 % |
9.15/9.23 c | 9582 | 4641 19097 53996 | 6365 6359 32 | 0.000 % |
9.25/9.35 c | 9693 | 4641 19097 53996 | 6365 6470 32 | 0.000 % |
9.35/9.46 c | 9814 | 4641 19097 53996 | 6365 5944 32 | 0.000 % |
9.55/9.66 c | 9948 | 4641 19097 53996 | 6365 6078 32 | 0.000 % |
9.75/9.84 c | 10095 | 4641 19097 53996 | 2147483647 6225 32 | 0.000 % |
9.95/10.00 c | 10255 | 4641 19097 53996 | 2147483647 6385 32 | 0.000 % |
10.15/10.22 c | 10431 | 4641 19097 53996 | 2147483647 6561 32 | 0.000 % |
10.25/10.39 c | 10625 | 4641 19097 53996 | 2147483647 6755 32 | 0.000 % |
10.55/10.65 c | 10837 | 4641 19097 53996 | 2147483647 6967 32 | 0.000 % |
10.75/10.87 c | 11071 | 4641 19097 53996 | 2147483647 7201 32 | 0.000 % |
11.05/11.17 c | 11327 | 4641 19097 53996 | 2147483647 7457 32 | 0.000 % |
11.35/11.42 c | 11608 | 4641 19097 53996 | 2147483647 7738 32 | 0.000 % |
11.45/11.56 c | 11708 | 4641 19097 53996 | 2147483647 7838 32 | 0.000 % |
11.55/11.64 c | 11819 | 4641 19097 53996 | 2147483647 7949 32 | 0.000 % |
11.65/11.76 c | 11940 | 4641 19097 53996 | 2147483647 8070 32 | 0.000 % |
11.85/11.96 c | 12074 | 4641 19097 53996 | 2147483647 8204 32 | 0.000 % |
12.05/12.11 c | 12220 | 4641 19097 53996 | 2147483647 8350 32 | 0.000 % |
12.15/12.21 c | 12382 | 4641 19097 53996 | 2147483647 8512 32 | 0.000 % |
12.35/12.43 c | 12560 | 4641 19097 53996 | 2147483647 8690 32 | 0.000 % |
12.45/12.60 c | 12753 | 4641 19097 53996 | 2147483647 8883 32 | 0.000 % |
12.75/12.89 c | 12965 | 4641 19097 53996 | 2147483647 9095 32 | 0.000 % |
13.05/13.17 c | 13199 | 4641 19097 53996 | 2147483647 9329 32 | 0.000 % |
13.15/13.28 c | 13458 | 4641 19097 53996 | 2147483647 9588 32 | 0.000 % |
13.45/13.54 c | 13739 | 4641 19097 53996 | 2147483647 9869 32 | 0.000 % |
13.74/13.83 c | 14049 | 4641 19097 53996 | 2147483647 10179 32 | 0.000 % |
13.84/13.92 c | 14149 | 4641 19097 53996 | 2147483647 10279 32 | 0.000 % |
13.84/13.97 c | 14260 | 4641 19097 53996 | 2147483647 10390 32 | 0.000 % |
13.94/14.07 c | 14381 | 4641 19097 53996 | 2147483647 10511 32 | 0.000 % |
14.15/14.23 c | 14514 | 4641 19097 53996 | 2147483647 10644 32 | 0.000 % |
14.34/14.42 c | 14661 | 4641 19097 53996 | 2147483647 10791 32 | 0.000 % |
14.44/14.53 c | 14821 | 4641 19097 53996 | 2147483647 10951 32 | 0.000 % |
14.64/14.79 c | 14997 | 4641 19097 53996 | 2147483647 11127 32 | 0.000 % |
14.84/14.93 c | 15190 | 4641 19097 53996 | 2147483647 11320 32 | 0.000 % |
15.04/15.15 c | 15403 | 4641 19097 53996 | 2147483647 11533 32 | 0.000 % |
15.35/15.46 c | 15636 | 4641 19097 53996 | 2147483647 11766 32 | 0.000 % |
15.64/15.80 c | 15893 | 4641 19097 53996 | 2147483647 12023 32 | 0.000 % |
15.94/16.09 c | 16175 | 4641 19097 53996 | 2147483647 12305 32 | 0.000 % |
16.14/16.29 c | 16484 | 4641 19097 53996 | 2147483647 12614 32 | 0.000 % |
16.54/16.63 c | 16824 | 4641 19097 53996 | 2147483647 12954 32 | 0.000 % |
16.74/16.80 c | 16924 | 4641 19097 53996 | 2147483647 13054 32 | 0.000 % |
16.84/16.94 c | 17034 | 4641 19097 53996 | 2147483647 13164 32 | 0.000 % |
16.94/17.07 c | 17155 | 4641 19097 53996 | 2147483647 13285 32 | 0.000 % |
17.14/17.29 c | 17289 | 4641 19097 53996 | 2147483647 13419 32 | 0.000 % |
17.45/17.51 c | 17436 | 4641 19097 53996 | 2147483647 13566 32 | 0.000 % |
17.64/17.73 c | 17597 | 4641 19097 53996 | 2147483647 13727 32 | 0.000 % |
17.84/17.99 c | 17773 | 4641 19097 53996 | 2147483647 13903 32 | 0.000 % |
18.14/18.24 c | 17967 | 4641 19097 53996 | 2147483647 14097 32 | 0.000 % |
18.44/18.53 c | 18179 | 4641 19097 53996 | 2147483647 14309 32 | 0.000 % |
18.64/18.80 c | 18412 | 4641 19097 53996 | 2147483647 14542 32 | 0.000 % |
18.94/19.07 c | 18668 | 4641 19097 53996 | 2147483647 14798 32 | 0.000 % |
19.34/19.48 c | 18950 | 4641 19097 53996 | 2147483647 15080 32 | 0.000 % |
19.94/20.02 c | 19260 | 4641 19097 53996 | 2147483647 15390 32 | 0.000 % |
20.35/20.43 c | 19599 | 4641 19097 53996 | 2147483647 15729 32 | 0.000 % |
20.85/20.93 c | 19971 | 4641 19097 53996 | 2147483647 16101 32 | 0.000 % |
20.95/21.05 c | 20072 | 4641 19097 53996 | 2147483647 16202 32 | 0.000 % |
21.05/21.20 c | 20183 | 4641 19097 53996 | 2147483647 16313 32 | 0.000 % |
21.25/21.30 c | 20304 | 4641 19097 53996 | 2147483647 16434 32 | 0.000 % |
21.35/21.48 c | 20438 | 4641 19097 53996 | 2147483647 16568 32 | 0.000 % |
21.65/21.71 c | 20584 | 4641 19097 53996 | 2147483647 16714 32 | 0.000 % |
21.85/21.91 c | 20745 | 4641 19097 53996 | 2147483647 16875 32 | 0.000 % |
22.05/22.12 c | 20923 | 4641 19097 53996 | 2147483647 17053 32 | 0.000 % |
22.24/22.36 c | 21116 | 4641 19097 53996 | 2147483647 17246 32 | 0.000 % |
22.64/22.72 c | 21328 | 4641 19097 53996 | 2147483647 17458 32 | 0.000 % |
22.84/22.90 c | 21561 | 4641 19097 53996 | 2147483647 17691 32 | 0.000 % |
22.95/23.10 c | 21817 | 4641 19097 53996 | 2147483647 17947 32 | 0.000 % |
23.44/23.54 c | 22098 | 4641 19097 53996 | 2147483647 18228 32 | 0.000 % |
23.84/23.95 c | 22407 | 4641 19097 53996 | 2147483647 18537 32 | 0.000 % |
24.24/24.38 c | 22746 | 4641 19097 53996 | 2147483647 18876 32 | 0.000 % |
24.84/24.97 c | 23119 | 4641 19097 53996 | 2147483647 19249 32 | 0.000 % |
25.54/25.67 c | 23528 | 4641 19097 53996 | 2147483647 19658 32 | 0.000 % |
25.64/25.77 c | 23628 | 4641 19097 53996 | 2147483647 19758 32 | 0.000 % |
25.74/25.87 c | 23739 | 4641 19097 53996 | 2147483647 19869 32 | 0.000 % |
25.84/25.99 c | 23861 | 4641 19097 53996 | 2147483647 19991 32 | 0.000 % |
25.94/26.09 c | 23994 | 4641 19097 53996 | 2147483647 20124 32 | 0.000 % |
26.04/26.19 c | 24140 | 4641 19097 53996 | 2147483647 20270 32 | 0.000 % |
26.24/26.33 c | 24300 | 4641 19097 53996 | 2147483647 20430 32 | 0.000 % |
26.54/26.63 c | 24477 | 4641 19097 53996 | 2147483647 20607 32 | 0.000 % |
26.94/27.02 c | 24670 | 4641 19097 53996 | 2147483647 20800 32 | 0.000 % |
27.34/27.47 c | 24882 | 4641 19097 53996 | 2147483647 21012 32 | 0.000 % |
27.83/27.95 c | 25116 | 4641 19097 53996 | 2147483647 21246 32 | 0.000 % |
28.33/28.43 c | 25373 | 4641 19097 53996 | 2147483647 21503 32 | 0.000 % |
28.83/28.91 c | 25654 | 4641 19097 53996 | 2147483647 21784 32 | 0.000 % |
29.33/29.48 c | 25964 | 4641 19097 53996 | 2147483647 22094 32 | 0.000 % |
29.73/29.81 c | 26304 | 4641 19097 53996 | 2147483647 22434 32 | 0.000 % |
30.13/30.22 c | 26676 | 4641 19097 53996 | 2147483647 22806 32 | 0.000 % |
30.93/31.03 c | 27086 | 4641 19097 53996 | 2147483647 23216 32 | 0.000 % |
31.63/31.75 c | 27535 | 4641 19097 53996 | 2147483647 23665 32 | 0.000 % |
31.74/31.83 c | 27636 | 4641 19097 53996 | 2147483647 23766 32 | 0.000 % |
31.93/32.01 c | 27746 | 4641 19097 53996 | 2147483647 23876 32 | 0.000 % |
31.93/32.04 c | 27869 | 4641 19097 53996 | 2147483647 23999 32 | 0.000 % |
32.13/32.20 c | 28002 | 4641 19097 53996 | 2147483647 24132 32 | 0.000 % |
32.33/32.45 c | 28149 | 4641 19097 53996 | 2147483647 24279 32 | 0.000 % |
32.53/32.69 c | 28310 | 4641 19097 53996 | 2147483647 24440 32 | 0.000 % |
32.63/32.75 c | 28486 | 4641 19097 53996 | 2147483647 24616 32 | 0.000 % |
32.94/33.03 c | 28680 | 4641 19097 53996 | 2147483647 24810 32 | 0.000 % |
33.33/33.44 c | 28892 | 4641 19097 53996 | 2147483647 25022 32 | 0.000 % |
33.53/33.60 c | 29125 | 4641 19097 53996 | 2147483647 25255 32 | 0.000 % |
33.93/34.07 c | 29382 | 4641 19097 53996 | 2147483647 25512 32 | 0.000 % |
34.43/34.50 c | 29664 | 4641 19097 53996 | 2147483647 25794 32 | 0.000 % |
34.93/35.07 c | 29973 | 4641 19097 53996 | 2147483647 26103 32 | 0.000 % |
35.83/35.92 c | 30313 | 4641 19097 53996 | 2147483647 26443 32 | 0.000 % |
36.33/36.43 c | 30686 | 4641 19097 53996 | 2147483647 26816 32 | 0.000 % |
36.73/36.88 c | 31096 | 4641 19097 53996 | 2147483647 27226 32 | 0.000 % |
37.43/37.54 c | 31545 | 4641 19097 53996 | 2147483647 27675 32 | 0.000 % |
38.23/38.39 c | 32038 | 4641 19097 53996 | 2147483647 28168 32 | 0.000 % |
38.43/38.53 c | 32138 | 4641 19097 53996 | 2147483647 28268 32 | 0.000 % |
38.63/38.76 c | 32249 | 4641 19097 53996 | 2147483647 28379 32 | 0.000 % |
38.93/39.01 c | 32370 | 4641 19097 53996 | 2147483647 28500 32 | 0.000 % |
39.13/39.28 c | 32503 | 4641 19097 53996 | 2147483647 28633 32 | 0.000 % |
39.43/39.56 c | 32649 | 4641 19097 53996 | 2147483647 28779 32 | 0.000 % |
39.73/39.83 c | 32810 | 4641 19097 53996 | 2147483647 28940 32 | 0.000 % |
39.93/40.08 c | 32986 | 4641 19097 53996 | 2147483647 29116 32 | 0.000 % |
40.23/40.39 c | 33181 | 4641 19097 53996 | 2147483647 29311 32 | 0.000 % |
40.63/40.75 c | 33393 | 4641 19097 53996 | 2147483647 29523 32 | 0.000 % |
41.13/41.26 c | 33626 | 4641 19097 53996 | 2147483647 29756 32 | 0.000 % |
41.33/41.46 c | 33882 | 4641 19097 53996 | 2147483647 30012 32 | 0.000 % |
41.63/41.79 c | 34164 | 4641 19097 53996 | 2147483647 30294 32 | 0.000 % |
42.33/42.47 c | 34473 | 4641 19097 53996 | 2147483647 30603 32 | 0.000 % |
43.03/43.16 c | 34812 | 4641 19097 53996 | 2147483647 30942 32 | 0.000 % |
43.73/43.86 c | 35185 | 4641 19097 53996 | 2147483647 31315 32 | 0.000 % |
44.43/44.55 c | 35594 | 4641 19097 53996 | 2147483647 31724 32 | 0.000 % |
45.22/45.37 c | 36043 | 4641 19097 53996 | 2147483647 32173 32 | 0.000 % |
46.22/46.32 c | 36536 | 4641 19097 53996 | 2147483647 32666 32 | 0.000 % |
46.92/47.03 c | 37078 | 4641 19097 53996 | 2147483647 33208 32 | 0.000 % |
47.02/47.18 c | 37179 | 4641 19097 53996 | 2147483647 33309 32 | 0.000 % |
47.13/47.26 c | 37290 | 4641 19097 53996 | 2147483647 33420 32 | 0.000 % |
47.42/47.51 c | 37412 | 4641 19097 53996 | 2147483647 33542 32 | 0.000 % |
47.62/47.79 c | 37545 | 4641 19097 53996 | 2147483647 33675 32 | 0.000 % |
47.92/48.06 c | 37691 | 4641 19097 53996 | 2147483647 33821 32 | 0.000 % |
48.23/48.38 c | 37851 | 4641 19097 53996 | 2147483647 33981 32 | 0.000 % |
48.62/48.73 c | 38027 | 4641 19097 53996 | 2147483647 34157 32 | 0.000 % |
48.72/48.86 c | 38221 | 4641 19097 53996 | 2147483647 34351 32 | 0.000 % |
49.12/49.21 c | 38433 | 4641 19097 53996 | 2147483647 34563 32 | 0.000 % |
49.42/49.50 c | 38666 | 4641 19097 53996 | 2147483647 34796 32 | 0.000 % |
49.52/49.64 c | 38926 | 4641 19097 53996 | 2147483647 35056 32 | 0.000 % |
49.92/50.09 c | 39207 | 4641 19097 53996 | 2147483647 35337 32 | 0.000 % |
50.52/50.68 c | 39516 | 4641 19097 53996 | 2147483647 35646 32 | 0.000 % |
51.22/51.32 c | 39856 | 4641 19097 53996 | 2147483647 35986 32 | 0.000 % |
51.82/51.96 c | 40228 | 4641 19097 53996 | 2147483647 36358 32 | 0.000 % |
52.62/52.79 c | 40637 | 4641 19097 53996 | 2147483647 36767 32 | 0.000 % |
53.62/53.79 c | 41086 | 4641 19097 53996 | 2147483647 37216 32 | 0.000 % |
54.62/54.70 c | 41579 | 4641 19097 53996 | 2147483647 37709 32 | 0.000 % |
55.62/55.70 c | 42121 | 4641 19097 53996 | 2147483647 38251 32 | 0.000 % |
56.82/56.93 c | 42717 | 4641 19097 53996 | 2147483647 38847 32 | 0.000 % |
57.02/57.13 c | 42817 | 4641 19097 53996 | 2147483647 38947 32 | 0.000 % |
57.22/57.33 c | 42927 | 4641 19097 53996 | 2147483647 39057 32 | 0.000 % |
57.32/57.48 c | 43048 | 4641 19097 53996 | 2147483647 39178 32 | 0.000 % |
57.62/57.74 c | 43181 | 4641 19097 53996 | 2147483647 39311 32 | 0.000 % |
57.92/58.03 c | 43328 | 4641 19097 53996 | 2147483647 39458 32 | 0.000 % |
58.12/58.26 c | 43488 | 4641 19097 53996 | 2147483647 39618 32 | 0.000 % |
58.62/58.70 c | 43664 | 4641 19097 53996 | 2147483647 39794 32 | 0.000 % |
59.02/59.11 c | 43858 | 4641 19097 53996 | 2147483647 39988 32 | 0.000 % |
59.41/59.55 c | 44070 | 4641 19097 53996 | 2147483647 40200 32 | 0.000 % |
59.91/60.04 c | 44304 | 4641 19097 53996 | 2147483647 40434 32 | 0.000 % |
60.21/60.40 c | 44561 | 4641 19097 53996 | 2147483647 40691 32 | 0.000 % |
60.81/60.94 c | 44843 | 4641 19097 53996 | 2147483647 40973 32 | 0.000 % |
61.43/61.56 c | 45152 | 4641 19097 53996 | 2147483647 41282 32 | 0.000 % |
61.72/61.83 c | 45493 | 4641 19097 53996 | 2147483647 41623 32 | 0.000 % |
62.22/62.35 c | 45866 | 4641 19097 53996 | 2147483647 41996 32 | 0.000 % |
62.63/62.76 c | 46275 | 4641 19097 53996 | 2147483647 42405 32 | 0.000 % |
63.52/63.65 c | 46725 | 4641 19097 53996 | 2147483647 42855 32 | 0.000 % |
64.32/64.48 c | 47220 | 4641 19097 53996 | 2147483647 43350 32 | 0.000 % |
64.92/65.08 c | 47762 | 4641 19097 53996 | 2147483647 43892 32 | 0.000 % |
65.92/66.10 c | 48358 | 4641 19097 53996 | 2147483647 44488 32 | 0.000 % |
67.61/67.74 c | 49014 | 4641 19097 53996 | 2147483647 45144 32 | 0.000 % |
67.81/67.93 c | 49114 | 4641 19097 53996 | 2147483647 45244 32 | 0.000 % |
68.02/68.11 c | 49224 | 4641 19097 53996 | 2147483647 45354 32 | 0.000 % |
68.21/68.33 c | 49345 | 4641 19097 53996 | 2147483647 45475 32 | 0.000 % |
68.31/68.46 c | 49478 | 4641 19097 53996 | 2147483647 45608 32 | 0.000 % |
68.61/68.75 c | 49625 | 4641 19097 53996 | 2147483647 45755 32 | 0.000 % |
69.01/69.18 c | 49785 | 4641 19097 53996 | 2147483647 45915 32 | 0.000 % |
69.51/69.62 c | 49961 | 4641 19097 53996 | 2147483647 46091 32 | 0.000 % |
69.91/70.04 c | 50154 | 4641 19097 53996 | 2147483647 46284 32 | 0.000 % |
70.41/70.50 c | 50367 | 4641 19097 53996 | 2147483647 46497 32 | 0.000 % |
70.81/70.97 c | 50601 | 4641 19097 53996 | 2147483647 46731 32 | 0.000 % |
71.42/71.54 c | 50858 | 4641 19097 53996 | 2147483647 46988 32 | 0.000 % |
71.71/71.85 c | 51139 | 4641 19097 53996 | 2147483647 47269 32 | 0.000 % |
72.41/72.58 c | 51449 | 4641 19097 53996 | 2147483647 47579 32 | 0.000 % |
73.20/73.30 c | 51788 | 4641 19097 53996 | 2147483647 47918 32 | 0.000 % |
73.51/73.65 c | 52160 | 4641 19097 53996 | 2147483647 48290 32 | 0.000 % |
74.40/74.50 c | 52570 | 4641 19097 53996 | 2147483647 48700 32 | 0.000 % |
75.00/75.14 c | 53020 | 4641 19097 53996 | 2147483647 49150 32 | 0.000 % |
76.20/76.38 c | 53513 | 4641 19097 53996 | 2147483647 49643 32 | 0.000 % |
76.70/76.82 c | 54056 | 4641 19097 53996 | 2147483647 50186 32 | 0.000 % |
77.80/77.93 c | 54652 | 4641 19097 53996 | 2147483647 50782 32 | 0.000 % |
79.20/79.34 c | 55308 | 4641 19097 53996 | 2147483647 51438 32 | 0.000 % |
81.20/81.38 c | 56028 | 4641 19097 53996 | 2147483647 52158 32 | 0.000 % |
81.50/81.65 c | 56129 | 4641 19097 53996 | 2147483647 52259 32 | 0.000 % |
81.70/81.83 c | 56239 | 4641 19097 53996 | 2147483647 52369 32 | 0.000 % |
82.00/82.11 c | 56361 | 4641 19097 53996 | 2147483647 52491 32 | 0.000 % |
82.20/82.35 c | 56495 | 4641 19097 53996 | 2147483647 52625 32 | 0.000 % |
82.60/82.74 c | 56642 | 4641 19097 53996 | 2147483647 52772 32 | 0.000 % |
83.00/83.12 c | 56802 | 4641 19097 53996 | 2147483647 52932 32 | 0.000 % |
83.40/83.54 c | 56979 | 4641 19097 53996 | 2147483647 53109 32 | 0.000 % |
83.80/83.93 c | 57172 | 4641 19097 53996 | 2147483647 53302 32 | 0.000 % |
84.00/84.13 c | 57384 | 4641 19097 53996 | 2147483647 53514 32 | 0.000 % |
84.30/84.48 c | 57618 | 4641 19097 53996 | 2147483647 53748 32 | 0.000 % |
84.79/84.90 c | 57875 | 4641 19097 53996 | 2147483647 54005 32 | 0.000 % |
85.49/85.62 c | 58156 | 4641 19097 53996 | 2147483647 54286 32 | 0.000 % |
86.19/86.31 c | 58466 | 4641 19097 53996 | 2147483647 54596 32 | 0.000 % |
86.89/87.09 c | 58805 | 4641 19097 53996 | 2147483647 54935 32 | 0.000 % |
87.81/87.97 c | 59177 | 4641 19097 53996 | 2147483647 55307 32 | 0.000 % |
88.80/88.96 c | 59587 | 4641 19097 53996 | 2147483647 55717 31 | 0.000 % |
89.90/90.07 c | 60037 | 4641 19097 53996 | 2147483647 56167 32 | 0.000 % |
90.80/90.95 c | 60530 | 4641 19097 53996 | 2147483647 56660 32 | 0.000 % |
92.10/92.27 c | 61072 | 4641 19097 53996 | 2147483647 57202 31 | 0.000 % |
93.50/93.60 c | 61670 | 4641 19097 53996 | 2147483647 57800 31 | 0.000 % |
95.20/95.39 c | 62325 | 4641 19097 53996 | 2147483647 58455 31 | 0.000 % |
97.00/97.15 c | 63046 | 4641 19097 53996 | 2147483647 59176 31 | 0.000 % |
99.00/99.10 c | 63839 | 4641 19097 53996 | 2147483647 59969 31 | 0.000 % |
99.19/99.32 c | 63939 | 4641 19097 53996 | 2147483647 60069 31 | 0.000 % |
99.29/99.42 c | 64051 | 4641 19097 53996 | 2147483647 60181 31 | 0.000 % |
99.49/99.68 c | 64173 | 4641 19097 53996 | 2147483647 60303 31 | 0.000 % |
99.90/100.03 c | 64306 | 4641 19097 53996 | 2147483647 60436 31 | 0.000 % |
100.19/100.39 c | 64454 | 4641 19097 53996 | 2147483647 60584 31 | 0.000 % |
100.59/100.72 c | 64614 | 4641 19097 53996 | 2147483647 60744 31 | 0.000 % |
101.10/101.25 c | 64790 | 4611 18918 53360 | 2147483647 60918 31 | 0.646 % |
101.59/101.74 c | 64983 | 4611 18918 53360 | 2147483647 61111 31 | 0.646 % |
101.89/102.06 c | 65196 | 4611 18918 53360 | 2147483647 61324 31 | 0.647 % |
102.39/102.56 c | 65429 | 4611 18918 53360 | 2147483647 61557 31 | 0.646 % |
103.19/103.36 c | 65686 | 4611 18918 53360 | 2147483647 61814 31 | 0.646 % |
103.59/103.72 c | 65967 | 4611 18918 53360 | 2147483647 62095 31 | 0.646 % |
104.49/104.61 c | 66276 | 4611 18918 53360 | 2147483647 62404 31 | 0.646 % |
105.29/105.45 c | 66616 | 4611 18918 53360 | 2147483647 62744 31 | 0.647 % |
105.79/105.94 c | 66989 | 4611 18918 53360 | 2147483647 63117 31 | 0.646 % |
106.59/106.70 c | 67398 | 4611 18918 53360 | 2147483647 63526 31 | 0.646 % |
107.79/107.97 c | 67848 | 4611 18918 53360 | 2147483647 63976 31 | 0.646 % |
109.39/109.58 c | 68341 | 4611 18918 53360 | 2147483647 64469 31 | 0.646 % |
110.79/111.00 c | 68885 | 4611 18918 53360 | 2147483647 65013 31 | 0.646 % |
112.29/112.40 c | 69481 | 4611 18918 53360 | 2147483647 65609 31 | 0.646 % |
113.29/113.40 c | 70137 | 4611 18918 53360 | 2147483647 66265 31 | 0.646 % |
114.09/114.30 c | 70858 | 4611 18918 53360 | 2147483647 66986 31 | 0.646 % |
116.58/116.74 c | 71650 | 4611 18918 53360 | 2147483647 67778 31 | 0.646 % |
118.97/119.11 c | 72521 | 4611 18918 53360 | 2147483647 68649 31 | 0.646 % |
119.27/119.40 c | 72622 | 4611 18918 53360 | 2147483647 68750 31 | 0.647 % |
119.57/119.72 c | 72732 | 4611 18918 53360 | 2147483647 68860 31 | 0.647 % |
119.97/120.12 c | 72854 | 4611 18918 53360 | 2147483647 68982 31 | 0.646 % |
120.17/120.31 c | 72989 | 4611 18918 53360 | 2147483647 69117 31 | 0.646 % |
120.37/120.58 c | 73135 | 4611 18918 53360 | 2147483647 69263 31 | 0.647 % |
120.88/121.08 c | 73295 | 4611 18918 53360 | 2147483647 69423 31 | 0.647 % |
121.47/121.64 c | 73472 | 4611 18918 53360 | 2147483647 69600 31 | 0.646 % |
121.98/122.18 c | 73665 | 4611 18918 53360 | 2147483647 69793 31 | 0.647 % |
122.27/122.50 c | 73877 | 4611 18918 53360 | 2147483647 70005 31 | 0.646 % |
123.07/123.22 c | 74111 | 4611 18918 53360 | 2147483647 70239 31 | 0.646 % |
123.97/124.19 c | 74367 | 4611 18918 53360 | 2147483647 70495 31 | 0.646 % |
124.97/125.17 c | 74649 | 4611 18918 53360 | 2147483647 70777 31 | 0.646 % |
126.07/126.25 c | 74959 | 4611 18918 53360 | 2147483647 71087 31 | 0.646 % |
127.07/127.23 c | 75299 | 4611 18918 53360 | 2147483647 71427 31 | 0.646 % |
127.47/127.64 c | 75671 | 4611 18918 53360 | 2147483647 71799 31 | 0.646 % |
128.47/128.68 c | 76080 | 4611 18918 53360 | 2147483647 72208 31 | 0.646 % |
129.57/129.75 c | 76530 | 4611 18918 53360 | 2147483647 72658 31 | 0.647 % |
131.06/131.20 c | 77023 | 4611 18918 53360 | 2147483647 73151 31 | 0.647 % |
132.56/132.73 c | 77565 | 4611 18918 53360 | 2147483647 73693 31 | 0.647 % |
134.07/134.26 c | 78162 | 4611 18918 53360 | 2147483647 74290 31 | 0.647 % |
136.17/136.34 c | 78817 | 4611 18918 53360 | 2147483647 74945 31 | 0.647 % |
138.17/138.39 c | 79537 | 4611 18918 53360 | 2147483647 75665 31 | 0.646 % |
140.67/140.83 c | 80330 | 4611 18918 53360 | 2147483647 76458 31 | 0.647 % |
143.17/143.30 c | 81202 | 4611 18918 53360 | 2147483647 77330 31 | 0.647 % |
146.56/146.79 c | 82161 | 4611 18918 53360 | 2147483647 78289 31 | 0.646 % |
146.96/147.12 c | 82261 | 4611 18918 53360 | 2147483647 78389 31 | 0.646 % |
147.27/147.48 c | 82372 | 4611 18918 53360 | 2147483647 78500 31 | 0.646 % |
147.66/147.86 c | 82494 | 4611 18918 53360 | 2147483647 78622 31 | 0.647 % |
148.16/148.36 c | 82628 | 4611 18918 53360 | 2147483647 78756 31 | 0.647 % |
148.76/148.91 c | 82775 | 4611 18918 53360 | 2147483647 78903 31 | 0.647 % |
149.16/149.36 c | 82936 | 4611 18918 53360 | 2147483647 79064 31 | 0.647 % |
149.56/149.79 c | 83112 | 4611 18918 53360 | 2147483647 79240 31 | 0.646 % |
150.26/150.44 c | 83306 | 4611 18918 53360 | 2147483647 79434 31 | 0.646 % |
150.76/150.95 c | 83519 | 4611 18918 53360 | 2147483647 79647 31 | 0.646 % |
151.56/151.76 c | 83753 | 4611 18918 53360 | 2147483647 79881 31 | 0.647 % |
152.16/152.34 c | 84010 | 4611 18918 53360 | 2147483647 80138 31 | 0.647 % |
153.06/153.26 c | 84291 | 4611 18918 53360 | 2147483647 80419 31 | 0.647 % |
154.06/154.22 c | 84601 | 4611 18918 53360 | 2147483647 80729 31 | 0.647 % |
154.66/154.86 c | 84940 | 4611 18918 53360 | 2147483647 81068 31 | 0.646 % |
155.76/155.97 c | 85312 | 4611 18918 53360 | 2147483647 81440 31 | 0.646 % |
157.06/157.26 c | 85721 | 4611 18918 53360 | 2147483647 81849 31 | 0.646 % |
158.36/158.60 c | 86171 | 4611 18918 53360 | 2147483647 82299 31 | 0.646 % |
159.75/159.93 c | 86664 | 4611 18918 53360 | 2147483647 82792 31 | 0.646 % |
160.55/160.78 c | 87206 | 4611 18918 53360 | 2147483647 83334 31 | 0.646 % |
162.55/162.71 c | 87803 | 4611 18918 53360 | 2147483647 83931 31 | 0.646 % |
164.35/164.51 c | 88459 | 4611 18918 53360 | 2147483647 84587 31 | 0.646 % |
166.35/166.58 c | 89180 | 4505 18479 52043 | 2147483647 85300 32 | 6.292 % |
169.05/169.25 c | 89972 | 4505 18479 52043 | 2147483647 86092 32 | 6.292 % |
171.95/172.19 c | 90843 | 4349 17688 49675 | 2147483647 86949 32 | 6.292 % |
175.45/175.66 c | 91802 | 4349 17688 49675 | 2147483647 87908 32 | 6.292 % |
179.15/179.35 c | 92855 | 4349 17688 49675 | 2147483647 88961 32 | 6.292 % |
179.34/179.55 c | 92957 | 4349 17688 49675 | 2147483647 89063 32 | 6.292 % |
179.74/179.97 c | 93068 | 4349 17688 49675 | 2147483647 89174 32 | 6.292 % |
180.15/180.40 c | 93190 | 4349 17688 49675 | 2147483647 89296 32 | 6.292 % |
180.64/180.86 c | 93323 | 4349 17688 49675 | 2147483647 89429 32 | 6.292 % |
181.14/181.35 c | 93469 | 4349 17688 49675 | 2147483647 89575 32 | 6.292 % |
181.64/181.89 c | 93630 | 4349 17688 49675 | 2147483647 89736 32 | 6.292 % |
182.14/182.36 c | 93806 | 4349 17688 49675 | 2147483647 89912 32 | 6.292 % |
182.74/182.97 c | 94000 | 4349 17688 49675 | 2147483647 90106 32 | 6.292 % |
183.45/183.62 c | 94212 | 4349 17688 49675 | 2147483647 90318 32 | 6.292 % |
183.94/184.14 c | 94445 | 4349 17688 49675 | 2147483647 90551 32 | 6.292 % |
184.24/184.44 c | 94701 | 4349 17688 49675 | 2147483647 90807 32 | 6.292 % |
185.14/185.37 c | 94983 | 4349 17688 49675 | 2147483647 91089 32 | 6.292 % |
186.24/186.40 c | 95293 | 4349 17688 49675 | 2147483647 91399 32 | 6.292 % |
187.04/187.26 c | 95633 | 4349 17688 49675 | 2147483647 91739 32 | 6.292 % |
188.04/188.24 c | 96005 | 4349 17688 49675 | 2147483647 92111 32 | 6.292 % |
189.24/189.43 c | 96414 | 4349 17688 49675 | 2147483647 92520 32 | 6.292 % |
190.54/190.78 c | 96863 | 4349 17688 49675 | 2147483647 92969 31 | 6.292 % |
192.34/192.54 c | 97357 | 4349 17688 49675 | 2147483647 93463 31 | 6.292 % |
193.74/193.94 c | 97900 | 4349 17688 49675 | 2147483647 94006 31 | 6.292 % |
195.74/195.92 c | 98496 | 4349 17688 49675 | 2147483647 94602 31 | 6.292 % |
198.33/198.52 c | 99152 | 4349 17688 49675 | 2147483647 95258 31 | 6.292 % |
200.94/201.12 c | 99873 | 4349 17688 49675 | 2147483647 95979 31 | 6.292 % |
203.63/203.89 c | 100667 | 4349 17688 49675 | 2147483647 96773 31 | 6.292 % |
206.33/206.55 c | 101538 | 4349 17688 49675 | 2147483647 97644 31 | 6.292 % |
209.33/209.57 c | 102497 | 4349 17688 49675 | 2147483647 98603 31 | 6.292 % |
212.72/212.91 c | 103551 | 4349 17688 49675 | 2147483647 99657 31 | 6.292 % |
216.52/216.73 c | 104709 | 4349 17688 49675 | 2147483647 100815 31 | 6.292 % |
216.82/217.06 c | 104810 | 4349 17688 49675 | 2147483647 100916 31 | 6.292 % |
217.12/217.36 c | 104921 | 4349 17688 49675 | 2147483647 101027 31 | 6.292 % |
217.42/217.62 c | 105043 | 4349 17688 49675 | 2147483647 101149 31 | 6.292 % |
217.82/218.09 c | 105177 | 4349 17688 49675 | 2147483647 101283 31 | 6.292 % |
218.32/218.56 c | 105324 | 4349 17688 49675 | 2147483647 101430 31 | 6.292 % |
218.82/219.05 c | 105484 | 4349 17688 49675 | 2147483647 101590 31 | 6.292 % |
219.52/219.74 c | 105661 | 4349 17688 49675 | 2147483647 101767 31 | 6.292 % |
220.32/220.54 c | 105855 | 4349 17688 49675 | 2147483647 101961 31 | 6.292 % |
221.22/221.45 c | 106067 | 4349 17688 49675 | 2147483647 102173 31 | 6.292 % |
222.12/222.34 c | 106301 | 4349 17688 49675 | 2147483647 102407 31 | 6.292 % |
222.92/223.19 c | 106558 | 4349 17688 49675 | 2147483647 102664 31 | 6.292 % |
223.92/224.18 c | 106840 | 4349 17688 49675 | 2147483647 102946 31 | 6.292 % |
225.13/225.31 c | 107149 | 4349 17688 49675 | 2147483647 103255 31 | 6.292 % |
226.43/226.63 c | 107489 | 4349 17688 49675 | 2147483647 103595 31 | 6.292 % |
227.53/227.78 c | 107861 | 4349 17688 49675 | 2147483647 103967 31 | 6.292 % |
229.12/229.31 c | 108270 | 4349 17688 49675 | 2147483647 104376 31 | 6.292 % |
230.42/230.67 c | 108720 | 4349 17688 49675 | 2147483647 104826 31 | 6.292 % |
231.83/232.04 c | 109213 | 4349 17688 49675 | 2147483647 105319 31 | 6.292 % |
233.42/233.69 c | 109755 | 4349 17688 49675 | 2147483647 105861 31 | 6.292 % |
235.02/235.27 c | 110351 | 4349 17688 49675 | 2147483647 106457 31 | 6.292 % |
237.42/237.66 c | 111007 | 4349 17688 49675 | 2147483647 107113 31 | 6.292 % |
239.92/240.17 c | 111727 | 4349 17688 49675 | 2147483647 107833 31 | 6.292 % |
242.42/242.65 c | 112520 | 4349 17688 49675 | 2147483647 108626 31 | 6.292 % |
245.72/245.93 c | 113391 | 4349 17688 49675 | 2147483647 109497 31 | 6.292 % |
249.02/249.28 c | 114349 | 4349 17688 49675 | 2147483647 110455 31 | 6.292 % |
252.41/252.63 c | 115402 | 4349 17688 49675 | 2147483647 111508 31 | 6.292 % |
256.31/256.56 c | 116561 | 4349 17688 49675 | 2147483647 112667 31 | 6.292 % |
260.71/260.97 c | 117834 | 4349 17688 49675 | 2147483647 113940 31 | 6.292 % |
261.11/261.38 c | 117934 | 4349 17688 49675 | 2147483647 114040 31 | 6.292 % |
261.30/261.60 c | 118044 | 4349 17688 49675 | 2147483647 114150 31 | 6.292 % |
261.80/262.06 c | 118166 | 4349 17688 49675 | 2147483647 114272 31 | 6.292 % |
262.30/262.56 c | 118299 | 4349 17688 49675 | 2147483647 114405 31 | 6.292 % |
262.50/262.79 c | 118446 | 4349 17688 49675 | 2147483647 114552 31 | 6.292 % |
262.71/262.99 c | 118606 | 4349 17688 49675 | 2147483647 114712 31 | 6.292 % |
263.30/263.52 c | 118782 | 4349 17688 49675 | 2147483647 114888 31 | 6.292 % |
264.00/264.22 c | 118975 | 4349 17688 49675 | 2147483647 115081 31 | 6.292 % |
264.70/264.91 c | 119188 | 4349 17688 49675 | 2147483647 115294 31 | 6.292 % |
265.30/265.58 c | 119422 | 4349 17688 49675 | 2147483647 115528 31 | 6.292 % |
266.30/266.58 c | 119678 | 4349 17688 49675 | 2147483647 115784 31 | 6.292 % |
267.50/267.77 c | 119959 | 4349 17688 49675 | 2147483647 116065 31 | 6.292 % |
268.90/269.10 c | 120268 | 4349 17688 49675 | 2147483647 116374 31 | 6.292 % |
270.30/270.59 c | 120607 | 4349 17688 49675 | 2147483647 116713 31 | 6.292 % |
271.60/271.89 c | 120979 | 4349 17688 49675 | 2147483647 117085 31 | 6.292 % |
272.90/273.15 c | 121389 | 4349 17688 49675 | 2147483647 117495 31 | 6.292 % |
274.80/275.03 c | 121838 | 4349 17688 49675 | 2147483647 117944 31 | 6.292 % |
276.00/276.30 c | 122332 | 4349 17688 49675 | 2147483647 118438 31 | 6.292 % |
277.10/277.39 c | 122874 | 4349 17688 49675 | 2147483647 118980 31 | 6.292 % |
279.00/279.22 c | 123471 | 4349 17688 49675 | 2147483647 119577 31 | 6.292 % |
280.49/280.74 c | 124127 | 4349 17688 49675 | 2147483647 120233 31 | 6.292 % |
282.89/283.15 c | 124847 | 4349 17688 49675 | 2147483647 120953 31 | 6.292 % |
285.70/285.91 c | 125639 | 4341 17679 49648 | 2147483647 121739 31 | 7.714 % |
288.70/288.94 c | 126512 | 4341 17679 49648 | 2147483647 122612 31 | 7.714 % |
292.40/292.70 c | 127471 | 4341 17679 49648 | 2147483647 123571 31 | 7.714 % |
296.59/296.82 c | 128525 | 4283 17385 48765 | 2147483647 124582 31 | 7.714 % |
300.78/301.04 c | 129683 | 4283 17385 48765 | 2147483647 125740 31 | 7.714 % |
305.16/305.45 c | 130956 | 4283 17385 48765 | 2147483647 127013 31 | 7.714 % |
309.16/309.45 c | 132357 | 4283 17385 48765 | 2147483647 128414 31 | 7.714 % |
309.66/309.93 c | 132457 | 4283 17385 48765 | 2147483647 128514 31 | 7.714 % |
310.06/310.33 c | 132568 | 4283 17385 48765 | 2147483647 128625 31 | 7.714 % |
310.56/310.89 c | 132689 | 4283 17385 48765 | 2147483647 128746 31 | 7.714 % |
311.16/311.44 c | 132824 | 4283 17385 48765 | 2147483647 128881 31 | 7.714 % |
311.76/312.07 c | 132970 | 4283 17385 48765 | 2147483647 129027 31 | 7.714 % |
312.46/312.73 c | 133131 | 4283 17385 48765 | 2147483647 129188 31 | 7.714 % |
313.06/313.39 c | 133308 | 4283 17385 48765 | 2147483647 129365 31 | 7.714 % |
313.56/313.81 c | 133501 | 4283 17385 48765 | 2147483647 129558 31 | 7.714 % |
314.46/314.79 c | 133714 | 4283 17385 48765 | 2147483647 129771 31 | 7.714 % |
315.16/315.41 c | 133948 | 4283 17385 48765 | 2147483647 130005 31 | 7.714 % |
316.05/316.35 c | 134204 | 4283 17385 48765 | 2147483647 130261 31 | 7.714 % |
316.95/317.22 c | 134485 | 4283 17385 48765 | 2147483647 130542 31 | 7.714 % |
317.95/318.27 c | 134795 | 4283 17385 48765 | 2147483647 130852 31 | 7.714 % |
318.55/318.90 c | 135134 | 4283 17385 48765 | 2147483647 131191 31 | 7.714 % |
319.25/319.57 c | 135507 | 4283 17385 48765 | 2147483647 131564 31 | 7.714 % |
320.96/321.22 c | 135917 | 4283 17385 48765 | 2147483647 131974 31 | 7.714 % |
322.65/322.99 c | 136366 | 4283 17385 48765 | 2147483647 132423 31 | 7.714 % |
324.75/325.05 c | 136859 | 4283 17385 48765 | 2147483647 132916 31 | 7.714 % |
326.95/327.29 c | 137402 | 4283 17385 48765 | 2147483647 133459 31 | 7.714 % |
328.95/329.28 c | 137998 | 4283 17385 48765 | 2147483647 134055 31 | 7.714 % |
331.15/331.41 c | 138653 | 4283 17385 48765 | 2147483647 134710 31 | 7.714 % |
333.05/333.32 c | 139374 | 4283 17385 48765 | 2147483647 135431 31 | 7.714 % |
336.05/336.36 c | 140167 | 4283 17385 48765 | 2147483647 136224 31 | 7.714 % |
339.84/340.11 c | 141038 | 4283 17385 48765 | 2147483647 137095 31 | 7.714 % |
343.73/344.01 c | 141996 | 4283 17385 48765 | 2147483647 138053 31 | 7.714 % |
347.73/348.08 c | 143050 | 4283 17385 48765 | 2147483647 139107 31 | 7.714 % |
351.63/351.96 c | 144208 | 4283 17385 48765 | 2147483647 140265 31 | 7.714 % |
357.23/357.50 c | 145481 | 4283 17385 48765 | 2147483647 141538 31 | 7.714 % |
361.83/362.10 c | 146881 | 4283 17385 48765 | 2147483647 142938 31 | 7.714 % |
364.93/365.25 c | 148421 | 4283 17385 48765 | 2147483647 144478 31 | 7.714 % |
365.23/365.54 c | 148521 | 4283 17385 48765 | 2147483647 144578 31 | 7.714 % |
365.63/365.92 c | 148632 | 4283 17385 48765 | 2147483647 144689 31 | 7.714 % |
366.12/366.43 c | 148754 | 4283 17385 48765 | 2147483647 144811 31 | 7.714 % |
366.62/366.97 c | 148888 | 4283 17385 48765 | 2147483647 144945 31 | 7.714 % |
367.03/367.35 c | 149036 | 4283 17385 48765 | 2147483647 145093 31 | 7.714 % |
367.62/367.93 c | 149196 | 4283 17385 48765 | 2147483647 145253 31 | 7.714 % |
368.42/368.72 c | 149373 | 4283 17385 48765 | 2147483647 145430 31 | 7.714 % |
369.33/369.65 c | 149567 | 4283 17385 48765 | 2147483647 145624 31 | 7.714 % |
370.33/370.62 c | 149779 | 4283 17385 48765 | 2147483647 145836 31 | 7.714 % |
371.32/371.69 c | 150013 | 4283 17385 48765 | 2147483647 146070 31 | 7.714 % |
372.63/372.97 c | 150270 | 4283 17385 48765 | 2147483647 146327 31 | 7.714 % |
373.73/374.02 c | 150551 | 4283 17385 48765 | 2147483647 146608 31 | 7.714 % |
374.73/375.06 c | 150861 | 4283 17385 48765 | 2147483647 146918 31 | 7.714 % |
375.62/375.97 c | 151200 | 4283 17385 48765 | 2147483647 147257 31 | 7.714 % |
376.42/376.74 c | 151572 | 4283 17385 48765 | 2147483647 147629 31 | 7.714 % |
377.82/378.13 c | 151982 | 4283 17385 48765 | 2147483647 148039 31 | 7.714 % |
379.62/379.93 c | 152431 | 4283 17385 48765 | 2147483647 148488 31 | 7.714 % |
381.42/381.79 c | 152924 | 4283 17385 48765 | 2147483647 148981 31 | 7.714 % |
383.92/384.20 c | 153466 | 4283 17385 48765 | 2147483647 149523 31 | 7.714 % |
386.31/386.61 c | 154062 | 4283 17385 48765 | 2147483647 150119 31 | 7.714 % |
388.92/389.23 c | 154717 | 4283 17385 48765 | 2147483647 150774 31 | 7.714 % |
391.42/391.72 c | 155437 | 4283 17385 48765 | 2147483647 151494 31 | 7.714 % |
394.92/395.24 c | 156229 | 4283 17385 48765 | 2147483647 152286 31 | 7.714 % |
399.02/399.36 c | 157100 | 4283 17385 48765 | 2147483647 153157 31 | 7.714 % |
403.21/403.57 c | 158058 | 4283 17385 48765 | 2147483647 154115 31 | 7.714 % |
407.61/407.96 c | 159111 | 4283 17385 48765 | 2147483647 155168 31 | 7.714 % |
412.31/412.68 c | 160269 | 4283 17385 48765 | 2147483647 156326 31 | 7.714 % |
418.61/418.94 c | 161543 | 4283 17385 48765 | 2147483647 157600 31 | 7.714 % |
425.10/425.44 c | 162944 | 4283 17385 48765 | 2147483647 159001 31 | 7.714 % |
428.60/428.94 c | 164486 | 4283 17385 48765 | 2147483647 160543 31 | 7.714 % |
436.79/437.17 c | 166181 | 4283 17385 48765 | 2147483647 162238 31 | 7.714 % |
437.49/437.81 c | 166282 | 4283 17385 48765 | 2147483647 162339 31 | 7.714 % |
437.99/438.32 c | 166392 | 4283 17385 48765 | 2147483647 162449 31 | 7.714 % |
438.39/438.74 c | 166513 | 4283 17385 48765 | 2147483647 162570 31 | 7.714 % |
438.99/439.32 c | 166646 | 4283 17385 48765 | 2147483647 162703 31 | 7.714 % |
439.69/440.04 c | 166792 | 4283 17385 48765 | 2147483647 162849 31 | 7.714 % |
440.29/440.64 c | 166954 | 4283 17385 48765 | 2147483647 163011 31 | 7.714 % |
440.69/441.04 c | 167130 | 4283 17385 48765 | 2147483647 163187 31 | 7.714 % |
441.69/442.01 c | 167324 | 4283 17385 48765 | 2147483647 163381 31 | 7.714 % |
442.29/442.68 c | 167536 | 4283 17385 48765 | 2147483647 163593 31 | 7.714 % |
443.09/443.43 c | 167769 | 4283 17385 48765 | 2147483647 163826 31 | 7.714 % |
444.19/444.56 c | 168025 | 4283 17385 48765 | 2147483647 164082 31 | 7.714 % |
445.39/445.76 c | 168307 | 4283 17385 48765 | 2147483647 164364 31 | 7.714 % |
446.79/447.15 c | 168617 | 4283 17385 48765 | 2147483647 164674 31 | 7.714 % |
447.89/448.21 c | 168956 | 4283 17385 48765 | 2147483647 165013 31 | 7.714 % |
449.69/450.01 c | 169328 | 4283 17385 48765 | 2147483647 165385 31 | 7.714 % |
450.29/450.68 c | 169739 | 4283 17385 48765 | 2147483647 165796 31 | 7.714 % |
451.89/452.25 c | 170189 | 4283 17385 48765 | 2147483647 166246 31 | 7.714 % |
453.49/453.84 c | 170682 | 4283 17385 48765 | 2147483647 166739 31 | 7.714 % |
455.59/455.95 c | 171225 | 4283 17385 48765 | 2147483647 167282 31 | 7.714 % |
458.29/458.67 c | 171822 | 4283 17385 48765 | 2147483647 167879 31 | 7.714 % |
459.59/459.98 c | 172479 | 4283 17385 48765 | 2147483647 168536 31 | 7.714 % |
461.49/461.86 c | 173199 | 4283 17385 48765 | 2147483647 169256 31 | 7.714 % |
465.08/465.43 c | 173991 | 4283 17385 48765 | 2147483647 170048 31 | 7.714 % |
469.39/469.79 c | 174862 | 4283 17385 48765 | 2147483647 170919 31 | 7.714 % |
472.59/472.91 c | 175821 | 4283 17385 48765 | 2147483647 171878 31 | 7.714 % |
475.58/475.95 c | 176875 | 4283 17385 48765 | 2147483647 172932 31 | 7.714 % |
481.27/481.65 c | 178034 | 4283 17385 48765 | 2147483647 174091 31 | 7.714 % |
486.77/487.18 c | 179307 | 4283 17385 48765 | 2147483647 175364 31 | 7.714 % |
493.47/493.83 c | 180707 | 4283 17385 48765 | 2147483647 176764 31 | 7.714 % |
499.07/499.49 c | 182247 | 4283 17385 48765 | 2147483647 178304 31 | 7.714 % |
506.96/507.35 c | 183942 | 4283 17385 48765 | 2147483647 179999 31 | 7.714 % |
516.46/516.83 c | 185805 | 4283 17385 48765 | 2147483647 181862 31 | 7.714 % |
516.96/517.32 c | 185905 | 4283 17385 48765 | 2147483647 181962 31 | 7.714 % |
517.56/517.99 c | 186016 | 4283 17385 48765 | 2147483647 182073 31 | 7.714 % |
518.16/518.55 c | 186137 | 4283 17385 48765 | 2147483647 182194 31 | 7.714 % |
518.86/519.25 c | 186271 | 4283 17385 48765 | 2147483647 182328 31 | 7.714 % |
519.46/519.87 c | 186417 | 4283 17385 48765 | 2147483647 182474 31 | 7.714 % |
519.76/520.12 c | 186577 | 4283 17385 48765 | 2147483647 182634 31 | 7.714 % |
520.46/520.80 c | 186753 | 4283 17385 48765 | 2147483647 182810 31 | 7.714 % |
521.26/521.67 c | 186946 | 4283 17385 48765 | 2147483647 183003 31 | 7.714 % |
522.25/522.67 c | 187158 | 4283 17385 48765 | 2147483647 183215 31 | 7.714 % |
523.35/523.76 c | 187392 | 4283 17385 48765 | 2147483647 183449 31 | 7.714 % |
524.75/525.10 c | 187648 | 4283 17385 48765 | 2147483647 183705 31 | 7.714 % |
526.25/526.61 c | 187930 | 4283 17385 48765 | 2147483647 183987 31 | 7.714 % |
527.55/527.98 c | 188240 | 4283 17385 48765 | 2147483647 184297 31 | 7.714 % |
529.25/529.68 c | 188579 | 4283 17385 48765 | 2147483647 184636 31 | 7.714 % |
531.15/531.52 c | 188952 | 4283 17385 48765 | 2147483647 185009 31 | 7.714 % |
533.05/533.46 c | 189361 | 4283 17385 48765 | 2147483647 185418 31 | 7.714 % |
535.45/535.81 c | 189810 | 4283 17385 48765 | 2147483647 185867 31 | 7.714 % |
537.85/538.29 c | 190303 | 4283 17385 48765 | 2147483647 186360 31 | 7.714 % |
540.64/541.01 c | 190846 | 4283 17385 48765 | 2147483647 186903 31 | 7.714 % |
543.64/544.07 c | 191443 | 4283 17385 48765 | 2147483647 187500 31 | 7.714 % |
546.84/547.27 c | 192099 | 4283 17385 48765 | 2147483647 188156 31 | 7.714 % |
550.54/550.91 c | 192819 | 4283 17385 48765 | 2147483647 188876 31 | 7.714 % |
553.94/554.36 c | 193611 | 4283 17385 48765 | 2147483647 189668 31 | 7.714 % |
558.04/558.48 c | 194483 | 4283 17385 48765 | 2147483647 190540 31 | 7.714 % |
563.44/563.80 c | 195442 | 4283 17385 48765 | 2147483647 191499 31 | 7.714 % |
568.63/569.07 c | 196496 | 4283 17385 48765 | 2147483647 192553 31 | 7.714 % |
574.14/574.56 c | 197655 | 4275 17349 48658 | 2147483647 193699 31 | 7.886 % |
580.73/581.15 c | 198928 | 4275 17349 48658 | 2147483647 194972 31 | 7.886 % |
587.73/588.13 c | 200330 | 4275 17349 48658 | 2147483647 196373 31 | 8.059 % |
594.83/595.22 c | 201870 | 4267 17314 48551 | 2147483647 197905 31 | 8.059 % |
603.03/603.44 c | 203565 | 4266 17314 48551 | 2147483647 199599 31 | 8.339 % |
612.12/612.51 c | 205428 | 4254 17243 48343 | 2147483647 201456 31 | 8.339 % |
622.81/623.28 c | 207477 | 4254 17243 48343 | 2147483647 203505 31 | 8.339 % |
623.32/623.79 c | 207577 | 4254 17243 48343 | 2147483647 203605 31 | 8.339 % |
623.61/624.07 c | 207687 | 4254 17243 48343 | 2147483647 203715 31 | 8.339 % |
624.11/624.55 c | 207808 | 4254 17243 48343 | 2147483647 203836 31 | 8.339 % |
624.71/625.15 c | 207942 | 4254 17243 48343 | 2147483647 203970 31 | 8.339 % |
625.61/626.02 c | 208088 | 4254 17243 48343 | 2147483647 204116 31 | 8.339 % |
626.41/626.81 c | 208249 | 4254 17243 48343 | 2147483647 204277 31 | 8.339 % |
627.31/627.72 c | 208425 | 4254 17243 48343 | 2147483647 204453 31 | 8.339 % |
628.31/628.78 c | 208619 | 4254 17243 48343 | 2147483647 204647 31 | 8.339 % |
629.61/630.05 c | 208831 | 4254 17243 48343 | 2147483647 204859 31 | 8.339 % |
630.71/631.12 c | 209064 | 4254 17243 48343 | 2147483647 205092 31 | 8.339 % |
632.21/632.63 c | 209320 | 4254 17243 48343 | 2147483647 205348 31 | 8.339 % |
633.31/633.79 c | 209602 | 4254 17243 48343 | 2147483647 205630 31 | 8.339 % |
635.11/635.53 c | 209912 | 4254 17243 48343 | 2147483647 205940 31 | 8.339 % |
635.61/636.06 c | 210252 | 4254 17243 48343 | 2147483647 206280 31 | 8.339 % |
636.91/637.37 c | 210624 | 4254 17243 48343 | 2147483647 206652 31 | 8.339 % |
638.20/638.64 c | 211034 | 4254 17243 48343 | 2147483647 207062 31 | 8.339 % |
640.70/641.16 c | 211483 | 4254 17243 48343 | 2147483647 207511 31 | 8.339 % |
642.90/643.33 c | 211976 | 4254 17243 48343 | 2147483647 208004 31 | 8.339 % |
645.70/646.14 c | 212518 | 4254 17243 48343 | 2147483647 208546 31 | 8.339 % |
648.70/649.11 c | 213114 | 4254 17243 48343 | 2147483647 209142 31 | 8.339 % |
652.30/652.76 c | 213770 | 4254 17243 48343 | 2147483647 209798 31 | 8.339 % |
656.29/656.73 c | 214491 | 4254 17243 48343 | 2147483647 210519 31 | 8.339 % |
659.58/660.05 c | 215284 | 4254 17243 48343 | 2147483647 211312 31 | 8.339 % |
662.88/663.33 c | 216157 | 4254 17243 48343 | 2147483647 212185 31 | 8.339 % |
667.57/668.08 c | 217116 | 4254 17243 48343 | 2147483647 213144 31 | 8.339 % |
673.37/673.81 c | 218169 | 4254 17243 48343 | 2147483647 214197 31 | 8.339 % |
677.97/678.49 c | 219327 | 4254 17243 48343 | 2147483647 215355 31 | 8.339 % |
683.47/683.92 c | 220602 | 4254 17243 48343 | 2147483647 216630 31 | 8.339 % |
690.77/691.27 c | 222002 | 4254 17243 48343 | 2147483647 218030 31 | 8.339 % |
699.07/699.60 c | 223542 | 4254 17243 48343 | 2147483647 219570 31 | 8.339 % |
707.66/708.10 c | 225236 | 4254 17243 48343 | 2147483647 221264 31 | 8.339 % |
717.46/717.96 c | 227099 | 4254 17243 48343 | 2147483647 223127 31 | 8.339 % |
728.16/728.64 c | 229149 | 4254 17243 48343 | 2147483647 225177 31 | 8.339 % |
737.15/737.63 c | 231402 | 4254 17243 48343 | 226029 196488 31 | 8.339 % |
737.66/738.14 c | 231502 | 4254 17243 48343 | 226029 196588 31 | 8.339 % |
738.35/738.81 c | 231612 | 4254 17243 48343 | 226029 196698 31 | 8.339 % |
738.95/739.42 c | 231733 | 4254 17243 48343 | 226029 196819 31 | 8.339 % |
739.45/739.94 c | 231867 | 4254 17243 48343 | 226029 196953 31 | 8.339 % |
740.15/740.67 c | 232013 | 4254 17243 48343 | 226029 197099 31 | 8.339 % |
741.15/741.69 c | 232174 | 4254 17243 48343 | 226029 197260 31 | 8.339 % |
742.06/742.54 c | 232351 | 4254 17243 48343 | 226029 197437 31 | 8.339 % |
742.45/742.94 c | 232545 | 4254 17243 48343 | 226029 197631 31 | 8.339 % |
743.35/743.80 c | 232758 | 4254 17243 48343 | 226029 197844 31 | 8.339 % |
744.65/745.20 c | 232992 | 4254 17243 48343 | 226029 198078 31 | 8.339 % |
745.75/746.29 c | 233250 | 4254 17243 48343 | 226029 198336 31 | 8.339 % |
747.24/747.73 c | 233531 | 4254 17243 48343 | 226029 198617 31 | 8.339 % |
748.94/749.41 c | 233840 | 4254 17243 48343 | 226029 198926 31 | 8.339 % |
750.54/751.07 c | 234179 | 4254 17243 48343 | 226029 199265 31 | 8.339 % |
752.34/752.84 c | 234552 | 4254 17243 48343 | 226029 199638 31 | 8.339 % |
754.84/755.31 c | 234961 | 4254 17243 48343 | 226029 200047 31 | 8.339 % |
756.64/757.16 c | 235410 | 4254 17243 48343 | 226029 200496 31 | 8.339 % |
758.34/758.89 c | 235903 | 4254 17243 48343 | 226029 200989 31 | 8.339 % |
760.64/761.16 c | 236446 | 4254 17243 48343 | 226029 201532 31 | 8.339 % |
764.14/764.66 c | 237043 | 4254 17243 48343 | 226029 202129 31 | 8.339 % |
767.54/768.00 c | 237698 | 4254 17243 48343 | 226029 202784 31 | 8.339 % |
771.13/771.65 c | 238419 | 4254 17243 48343 | 226029 203505 31 | 8.339 % |
775.23/775.71 c | 239212 | 4254 17243 48343 | 226029 204298 31 | 8.339 % |
779.63/780.11 c | 240083 | 4254 17243 48343 | 205087 205169 31 | 8.339 % |
784.13/784.61 c | 241042 | 4254 17243 48343 | 205087 206128 31 | 8.339 % |
789.62/790.10 c | 242095 | 4254 17243 48343 | 205087 186569 31 | 8.339 % |
795.32/795.80 c | 243253 | 4254 17243 48343 | 205087 187727 31 | 8.339 % |
801.42/801.93 c | 244527 | 4254 17243 48343 | 205087 189001 31 | 8.339 % |
807.82/808.31 c | 245928 | 4254 17243 48343 | 205087 190402 31 | 8.339 % |
815.01/815.58 c | 247468 | 4254 17243 48343 | 205087 191942 31 | 8.339 % |
824.61/825.13 c | 249162 | 4254 17243 48343 | 205087 193636 31 | 8.339 % |
833.51/834.07 c | 251026 | 4254 17243 48343 | 2147483647 195500 31 | 8.339 % |
843.80/844.33 c | 253076 | 4254 17243 48343 | 2147483647 197550 31 | 8.339 % |
852.70/853.24 c | 255329 | 4254 17243 48343 | 2147483647 199803 31 | 8.339 % |
864.00/864.50 c | 257807 | 4254 17243 48343 | 2147483647 202281 31 | 8.339 % |
864.29/864.85 c | 257909 | 4254 17243 48343 | 2147483647 202383 31 | 8.339 % |
864.79/865.39 c | 258019 | 4254 17243 48343 | 2147483647 202493 31 | 8.339 % |
865.59/866.14 c | 258140 | 4254 17243 48343 | 2147483647 202614 31 | 8.339 % |
866.09/866.68 c | 258273 | 4254 17243 48343 | 2147483647 202747 31 | 8.339 % |
866.79/867.39 c | 258419 | 4254 17243 48343 | 2147483647 202893 31 | 8.339 % |
867.69/868.28 c | 258579 | 4254 17243 48343 | 2147483647 203053 31 | 8.339 % |
868.69/869.27 c | 258756 | 4254 17243 48343 | 2147483647 203230 31 | 8.339 % |
869.79/870.34 c | 258949 | 4254 17243 48343 | 2147483647 203423 31 | 8.339 % |
870.89/871.49 c | 259162 | 4254 17243 48343 | 2147483647 203636 31 | 8.339 % |
871.49/872.08 c | 259395 | 4254 17243 48343 | 2147483647 203869 31 | 8.339 % |
872.79/873.39 c | 259652 | 4254 17243 48343 | 2147483647 204126 31 | 8.339 % |
874.39/874.94 c | 259934 | 4254 17243 48343 | 2147483647 204408 31 | 8.339 % |
875.89/876.46 c | 260244 | 4254 17243 48343 | 2147483647 204718 31 | 8.339 % |
877.99/878.57 c | 260584 | 4254 17243 48343 | 2147483647 205058 31 | 8.339 % |
880.29/880.82 c | 260957 | 4254 17243 48343 | 2147483647 205431 31 | 8.339 % |
882.28/882.81 c | 261366 | 4254 17243 48343 | 2147483647 205840 31 | 8.339 % |
883.78/884.30 c | 261816 | 4254 17243 48343 | 2147483647 206290 31 | 8.339 % |
886.08/886.68 c | 262309 | 4254 17243 48343 | 2147483647 206783 31 | 8.339 % |
889.38/889.91 c | 262851 | 4254 17243 48343 | 2147483647 207325 31 | 8.339 % |
892.78/893.39 c | 263447 | 4254 17243 48343 | 2147483647 207921 31 | 8.339 % |
896.37/896.94 c | 264103 | 4254 17243 48343 | 2147483647 208577 31 | 8.339 % |
900.17/900.76 c | 264823 | 4254 17243 48343 | 2147483647 209297 31 | 8.339 % |
904.37/904.94 c | 265616 | 4254 17243 48343 | 2147483647 210090 31 | 8.339 % |
908.97/909.53 c | 266488 | 4254 17243 48343 | 2147483647 210962 31 | 8.339 % |
913.97/914.59 c | 267446 | 4254 17243 48343 | 2147483647 211920 31 | 8.339 % |
919.47/920.09 c | 268499 | 4254 17243 48343 | 2147483647 212973 31 | 8.339 % |
926.06/926.65 c | 269657 | 4254 17243 48343 | 2147483647 214131 31 | 8.339 % |
933.16/933.77 c | 270931 | 4254 17243 48343 | 2147483647 215405 31 | 8.339 % |
941.45/942.04 c | 272332 | 4254 17243 48343 | 2147483647 216806 31 | 8.339 % |
948.15/948.76 c | 273873 | 4254 17243 48343 | 2147483647 218347 31 | 8.339 % |
958.05/958.60 c | 275567 | 4254 17243 48343 | 2147483647 220041 31 | 8.339 % |
968.55/969.15 c | 277430 | 4254 17243 48343 | 2147483647 221904 31 | 8.339 % |
977.34/977.93 c | 279481 | 4254 17243 48343 | 2147483647 223955 31 | 8.339 % |
987.53/988.15 c | 281735 | 4254 17243 48343 | 2147483647 226209 31 | 8.339 % |
999.93/1000.51 c | 284214 | 4254 17243 48343 | 2147483647 228688 31 | 8.339 % |
1016.22/1016.89 c | 286940 | 4254 17243 48343 | 2147483647 231414 31 | 8.339 % |
1016.82/1017.47 c | 287041 | 4254 17243 48343 | 2147483647 231515 31 | 8.339 % |
1017.62/1018.25 c | 287152 | 4254 17243 48343 | 2147483647 231626 31 | 8.339 % |
1018.32/1018.97 c | 287273 | 4254 17243 48343 | 2147483647 231747 31 | 8.339 % |
1019.12/1019.78 c | 287407 | 4254 17243 48343 | 2147483647 231881 31 | 8.339 % |
1020.02/1020.69 c | 287553 | 4254 17243 48343 | 2147483647 232027 31 | 8.339 % |
1020.92/1021.57 c | 287713 | 4254 17243 48343 | 2147483647 232187 31 | 8.339 % |
1022.02/1022.68 c | 287889 | 4254 17243 48343 | 2147483647 232363 31 | 8.339 % |
1023.32/1023.95 c | 288082 | 4254 17243 48343 | 2147483647 232556 31 | 8.339 % |
1024.52/1025.20 c | 288295 | 4254 17243 48343 | 2147483647 232769 31 | 8.339 % |
1025.41/1026.04 c | 288528 | 4254 17243 48343 | 2147483647 233002 31 | 8.339 % |
1026.72/1027.38 c | 288784 | 4254 17243 48343 | 2147483647 233258 31 | 8.339 % |
1028.51/1029.15 c | 289065 | 4254 17243 48343 | 2147483647 233539 31 | 8.339 % |
1030.02/1030.63 c | 289374 | 4254 17243 48343 | 2147483647 233848 31 | 8.339 % |
1031.61/1032.21 c | 289714 | 4254 17243 48343 | 2147483647 234188 31 | 8.339 % |
1033.71/1034.38 c | 290086 | 4254 17243 48343 | 234474 234560 31 | 8.339 % |
1035.71/1036.34 c | 290495 | 4254 17243 48343 | 234474 234969 31 | 8.339 % |
1038.61/1039.26 c | 290946 | 4254 17243 48343 | 234474 207085 31 | 8.339 % |
1040.11/1040.71 c | 291439 | 4254 17243 48343 | 234474 207578 31 | 8.339 % |
1042.11/1042.75 c | 291982 | 4254 17243 48343 | 234474 208121 31 | 8.339 % |
1045.31/1045.94 c | 292579 | 4254 17243 48343 | 234474 208718 31 | 8.339 % |
1048.91/1049.58 c | 293235 | 4254 17243 48343 | 234474 209374 31 | 8.339 % |
1051.51/1052.13 c | 293956 | 4254 17243 48343 | 234474 210095 31 | 8.339 % |
1056.01/1056.61 c | 294748 | 4254 17243 48343 | 234474 210887 31 | 8.339 % |
1060.10/1060.77 c | 295620 | 4254 17243 48343 | 234474 211759 31 | 8.339 % |
1064.79/1065.46 c | 296578 | 4254 17243 48343 | 234474 212717 31 | 8.339 % |
1070.39/1071.03 c | 297631 | 4254 17243 48343 | 234474 213770 31 | 8.339 % |
1075.99/1076.63 c | 298790 | 4254 17243 48343 | 234474 214929 31 | 8.339 % |
1082.99/1083.63 c | 300063 | 4254 17243 48343 | 216140 216202 31 | 8.339 % |
1088.79/1089.48 c | 301465 | 4254 17243 48343 | 216140 217604 31 | 8.339 % |
1093.69/1094.31 c | 303005 | 4254 17243 48343 | 216140 191110 30 | 8.339 % |
1101.98/1102.68 c | 304700 | 4254 17243 48343 | 216140 192805 30 | 8.339 % |
1111.18/1111.86 c | 306564 | 4254 17243 48343 | 216140 194669 30 | 8.339 % |
1121.28/1121.97 c | 308614 | 4254 17243 48343 | 216140 196719 30 | 8.339 % |
1133.58/1134.24 c | 310867 | 4254 17243 48343 | 198106 198972 30 | 8.339 % |
1147.68/1148.37 c | 313346 | 4254 17243 48343 | 198106 180593 30 | 8.339 % |
1163.16/1163.84 c | 316072 | 4254 17243 48343 | 198106 183319 30 | 8.339 % |
1174.66/1175.36 c | 319070 | 4254 17243 48343 | 198106 186317 30 | 8.339 % |
1174.96/1175.66 c | 319170 | 4254 17243 48343 | 198106 186417 30 | 8.339 % |
1175.26/1175.96 c | 319283 | 4254 17243 48343 | 198106 186530 30 | 8.339 % |
1175.76/1176.45 c | 319405 | 4254 17243 48343 | 198106 186652 30 | 8.339 % |
1176.26/1176.91 c | 319538 | 4254 17243 48343 | 198106 186785 30 | 8.339 % |
1177.16/1177.85 c | 319685 | 4254 17243 48343 | 198106 186932 30 | 8.339 % |
1177.95/1178.61 c | 319845 | 4254 17243 48343 | 198106 187092 30 | 8.339 % |
1178.35/1179.09 c | 320021 | 4254 17243 48343 | 2147483647 187268 30 | 8.339 % |
1179.45/1180.18 c | 320214 | 4254 17243 48343 | 2147483647 187461 30 | 8.339 % |
1180.55/1181.24 c | 320427 | 4254 17243 48343 | 2147483647 187674 30 | 8.339 % |
1181.65/1182.37 c | 320661 | 4254 17243 48343 | 2147483647 187908 30 | 8.339 % |
1182.95/1183.69 c | 320918 | 4254 17243 48343 | 2147483647 188165 30 | 8.339 % |
1184.15/1184.89 c | 321200 | 4254 17243 48343 | 2147483647 188447 30 | 8.339 % |
1185.95/1186.65 c | 321510 | 4254 17243 48343 | 2147483647 188757 30 | 8.339 % |
1187.75/1188.43 c | 321849 | 4254 17243 48343 | 2147483647 189096 30 | 8.339 % |
1189.55/1190.20 c | 322222 | 4254 17243 48343 | 2147483647 189469 30 | 8.339 % |
1191.35/1192.06 c | 322631 | 4254 17243 48343 | 2147483647 189878 30 | 8.339 % |
1193.65/1194.34 c | 323080 | 4254 17243 48343 | 2147483647 190327 30 | 8.339 % |
1196.44/1197.18 c | 323573 | 4254 17243 48343 | 2147483647 190820 30 | 8.339 % |
1199.53/1200.21 c | 324116 | 4254 17243 48343 | 2147483647 191363 30 | 8.339 % |
1200.03/1200.71 HOME/SatELiteGTI: line 36: 15855 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833601-1242823807/watcher-1833601-1242823807 -o /tmp/evaluation-result-1833601-1242823807/solver-1833601-1242823807 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833601-1242823807.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 1.04 3/65 15849
/proc/meminfo: memFree=1974496/2055920 swapFree=4175960/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15743 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310409718 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 251601322066 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/15849/statm: 1339 235 195 169 0 50 0
[pid=15850] ppid=15849 vsize=5356 CPUtime=0
/proc/15850/stat : 15850 (SatELiteGTI) S 15849 15849 15743 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 310409718 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/15850/statm: 1339 238 198 169 0 50 0
[pid=15852] ppid=15850 vsize=184 CPUtime=0
/proc/15852/stat : 15852 (sed) R 15850 15849 15743 0 -1 4194304 30 0 0 0 0 0 0 0 21 0 1 0 310409718 188416 11 1992294400 4194304 4240196 548682069056 18446744073709551615 251598529105 0 0 4096 0 0 0 0 17 0 0 0
/proc/15852/statm: 48 20 13 11 0 11 0
[startup+0.0430279 s]
/proc/loadavg: 0.92 0.98 1.04 3/65 15849
/proc/meminfo: memFree=1974496/2055920 swapFree=4175960/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15743 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310409718 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101028 s]
/proc/loadavg: 0.92 0.98 1.04 3/65 15849
/proc/meminfo: memFree=1974496/2055920 swapFree=4175960/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15743 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310409718 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301056 s]
/proc/loadavg: 0.92 0.98 1.04 3/65 15849
/proc/meminfo: memFree=1974496/2055920 swapFree=4175960/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0.17
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15743 0 -1 4194304 336 1509 0 0 0 0 16 1 15 0 1 0 310409718 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 5356
[startup+0.701097 s]
/proc/loadavg: 0.92 0.98 1.04 3/65 15849
/proc/meminfo: memFree=1974496/2055920 swapFree=4175960/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0.17
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15743 0 -1 4194304 336 1509 0 0 0 0 16 1 15 0 1 0 310409718 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 5356
[startup+1.50118 s]
/proc/loadavg: 0.92 0.98 1.04 2/67 15855
/proc/meminfo: memFree=1971664/2055920 swapFree=4175960/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0.17
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15743 0 -1 4194304 336 1509 0 0 0 0 16 1 15 0 1 0 310409718 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 239 197 169 0 50 0
[pid=15855] ppid=15849 vsize=3328 CPUtime=1.29
/proc/15855/stat : 15855 (minisat_static) R 15849 15849 15743 0 -1 4194304 540 0 0 0 129 0 0 0 25 0 1 0 310409738 3407872 526 1992294400 134512640 135215339 4294956240 18446744073709551615 134528905 0 0 4096 3 0 0 0 17 0 0 0
/proc/15855/statm: 832 526 76 171 0 659 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 8684
[startup+3.10136 s]
/proc/loadavg: 0.92 0.98 1.04 2/67 15855
/proc/meminfo: memFree=1971280/2055920 swapFree=4175960/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0.17
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15743 0 -1 4194304 336 1509 0 0 0 0 16 1 15 0 1 0 310409718 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 239 197 169 0 50 0
[pid=15855] ppid=15849 vsize=3592 CPUtime=2.89
/proc/15855/stat : 15855 (minisat_static) R 15849 15849 15743 0 -1 4194304 616 0 0 0 289 0 0 0 25 0 1 0 310409738 3678208 602 1992294400 134512640 135215339 4294956240 18446744073709551615 134537869 0 0 4096 3 0 0 0 17 0 0 0
/proc/15855/statm: 898 602 76 171 0 725 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 8948
[startup+6.30172 s]
/proc/loadavg: 0.93 0.98 1.04 2/67 15855
/proc/meminfo: memFree=1970704/2055920 swapFree=4175960/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0.17
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15743 0 -1 4194304 336 1509 0 0 0 0 16 1 15 0 1 0 310409718 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 239 197 169 0 50 0
[pid=15855] ppid=15849 vsize=4120 CPUtime=6.08
/proc/15855/stat : 15855 (minisat_static) R 15849 15849 15743 0 -1 4194304 744 0 0 0 608 0 0 0 25 0 1 0 310409738 4218880 730 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/15855/statm: 1030 730 76 171 0 857 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 9476
[startup+12.7024 s]
/proc/loadavg: 0.93 0.98 1.04 2/67 15855
/proc/meminfo: memFree=1970208/2055920 swapFree=4175960/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0.17
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15743 0 -1 4194304 336 1509 0 0 0 0 16 1 15 0 1 0 310409718 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 239 197 169 0 50 0
[pid=15855] ppid=15849 vsize=4648 CPUtime=12.48
/proc/15855/stat : 15855 (minisat_static) R 15849 15849 15743 0 -1 4194304 861 0 0 0 1248 0 0 0 25 0 1 0 310409738 4759552 847 1992294400 134512640 135215339 4294956240 18446744073709551615 134529112 0 0 4096 3 0 0 0 17 0 0 0
/proc/15855/statm: 1162 847 76 171 0 989 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 10004
[startup+25.5018 s]
/proc/loadavg: 0.95 0.98 1.04 2/67 15855
/proc/meminfo: memFree=1968480/2055920 swapFree=4175960/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0.17
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15743 0 -1 4194304 336 1509 0 0 0 0 16 1 15 0 1 0 310409718 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 239 197 169 0 50 0
[pid=15855] ppid=15849 vsize=6372 CPUtime=25.27
/proc/15855/stat : 15855 (minisat_static) R 15849 15849 15743 0 -1 4194304 1307 0 0 0 2526 1 0 0 25 0 1 0 310409738 6524928 1293 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/15855/statm: 1593 1293 76 171 0 1420 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 11728
[startup+51.1017 s]
/proc/loadavg: 0.96 0.98 1.03 2/67 15855
/proc/meminfo: memFree=1965728/2055920 swapFree=4175960/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0.17
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15743 0 -1 4194304 336 1509 0 0 0 0 16 1 15 0 1 0 310409718 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 239 197 169 0 50 0
[pid=15855] ppid=15849 vsize=9240 CPUtime=50.85
/proc/15855/stat : 15855 (minisat_static) R 15849 15849 15743 0 -1 4194304 1987 0 0 0 5084 1 0 0 25 0 1 0 310409738 9461760 1973 1992294400 134512640 135215339 4294956240 18446744073709551615 134538543 0 0 4096 3 0 0 0 17 0 0 0
/proc/15855/statm: 2310 1973 76 171 0 2137 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 14596
[startup+102.305 s]
/proc/loadavg: 0.98 0.98 1.03 2/67 15855
/proc/meminfo: memFree=1961376/2055920 swapFree=4175960/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0.17
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15743 0 -1 4194304 336 1509 0 0 0 0 16 1 15 0 1 0 310409718 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 239 197 169 0 50 0
[pid=15855] ppid=15849 vsize=13372 CPUtime=102.03
/proc/15855/stat : 15855 (minisat_static) R 15849 15849 15743 0 -1 4194304 3014 0 0 0 10200 3 0 0 25 0 1 0 310409738 13692928 3000 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/15855/statm: 3343 3000 76 171 0 3170 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 18728
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 1.02 2/67 15855
/proc/meminfo: memFree=1957664/2055920 swapFree=4175960/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0.17
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15743 0 -1 4194304 336 1509 0 0 0 0 16 1 15 0 1 0 310409718 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 239 197 169 0 50 0
[pid=15855] ppid=15849 vsize=16968 CPUtime=161.98
/proc/15855/stat : 15855 (minisat_static) R 15849 15849 15743 0 -1 4194304 3917 0 0 0 16194 4 0 0 25 0 1 0 310409738 17375232 3903 1992294400 134512640 135215339 4294956240 18446744073709551615 134529069 0 0 4096 3 0 0 0 17 0 0 0
/proc/15855/statm: 4242 3903 76 171 0 4069 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 22324
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 1.02 2/67 15855
/proc/meminfo: memFree=1954464/2055920 swapFree=4175960/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0.17
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15743 0 -1 4194304 336 1509 0 0 0 0 16 1 15 0 1 0 310409718 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 239 197 169 0 50 0
[pid=15855] ppid=15849 vsize=20292 CPUtime=221.95
/proc/15855/stat : 15855 (minisat_static) R 15849 15849 15743 0 -1 4194304 4676 0 0 0 22191 4 0 0 25 0 1 0 310409738 20779008 4662 1992294400 134512640 135215339 4294956240 18446744073709551615 134537869 0 0 4096 3 0 0 0 17 0 0 0
/proc/15855/statm: 5073 4662 76 171 0 4900 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 25648
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 1.01 2/67 15855
/proc/meminfo: memFree=1951648/2055920 swapFree=4175960/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0.17
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15743 0 -1 4194304 336 1509 0 0 0 0 16 1 15 0 1 0 310409718 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 239 197 169 0 50 0
[pid=15855] ppid=15849 vsize=23148 CPUtime=281.92
/proc/15855/stat : 15855 (minisat_static) R 15849 15849 15743 0 -1 4194304 5377 0 0 0 28187 5 0 0 25 0 1 0 310409738 23703552 5363 1992294400 134512640 135215339 4294956240 18446744073709551615 134539381 0 0 4096 3 0 0 0 17 0 0 0
/proc/15855/statm: 5787 5363 76 171 0 5614 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 28504
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/67 15855
/proc/meminfo: memFree=1948704/2055920 swapFree=4175960/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0.17
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15743 0 -1 4194304 336 1509 0 0 0 0 16 1 15 0 1 0 310409718 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 239 197 169 0 50 0
[pid=15855] ppid=15849 vsize=25908 CPUtime=341.87
/proc/15855/stat : 15855 (minisat_static) R 15849 15849 15743 0 -1 4194304 6081 0 0 0 34181 6 0 0 25 0 1 0 310409738 26529792 6067 1992294400 134512640 135215339 4294956240 18446744073709551615 134537869 0 0 4096 3 0 0 0 17 0 0 0
/proc/15855/statm: 6477 6067 76 171 0 6304 0
Current children cumulated CPU time (s) 342.04
Current children cumulated vsize (KiB) 31264
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/67 15855
/proc/meminfo: memFree=1946080/2055920 swapFree=4175960/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0.17
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15743 0 -1 4194304 336 1509 0 0 0 0 16 1 15 0 1 0 310409718 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 239 197 169 0 50 0
[pid=15855] ppid=15849 vsize=28668 CPUtime=401.84
################
# More data... #
################
[pid=15855] ppid=15849 vsize=33692 CPUtime=521.79
/proc/15855/stat : 15855 (minisat_static) R 15849 15849 15743 0 -1 4194304 7945 0 0 0 52171 8 0 0 25 0 1 0 310409738 34500608 7931 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15855/statm: 8423 7931 76 171 0 8250 0
Current children cumulated CPU time (s) 521.96
Current children cumulated vsize (KiB) 39048
[startup+582.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/67 15855
/proc/meminfo: memFree=1938976/2055920 swapFree=4175960/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0.17
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15743 0 -1 4194304 336 1509 0 0 0 0 16 1 15 0 1 0 310409718 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 239 197 169 0 50 0
[pid=15855] ppid=15849 vsize=35648 CPUtime=581.76
/proc/15855/stat : 15855 (minisat_static) R 15849 15849 15743 0 -1 4194304 8420 0 0 0 58167 9 0 0 25 0 1 0 310409738 36503552 8406 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/15855/statm: 8912 8406 76 171 0 8739 0
Current children cumulated CPU time (s) 581.93
Current children cumulated vsize (KiB) 41004
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/67 15855
/proc/meminfo: memFree=1936800/2055920 swapFree=4175960/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0.17
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15743 0 -1 4194304 336 1509 0 0 0 0 16 1 15 0 1 0 310409718 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 239 197 169 0 50 0
[pid=15855] ppid=15849 vsize=37956 CPUtime=641.74
/proc/15855/stat : 15855 (minisat_static) R 15849 15849 15743 0 -1 4194304 8930 0 0 0 64165 9 0 0 25 0 1 0 310409738 38866944 8916 1992294400 134512640 135215339 4294956240 18446744073709551615 134538384 0 0 4096 3 0 0 0 17 0 0 0
/proc/15855/statm: 9489 8916 76 171 0 9316 0
Current children cumulated CPU time (s) 641.91
Current children cumulated vsize (KiB) 43312
[startup+702.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/67 15861
/proc/meminfo: memFree=1934624/2055920 swapFree=4175960/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0.17
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15743 0 -1 4194304 336 1509 0 0 0 0 16 1 15 0 1 0 310409718 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 239 197 169 0 50 0
[pid=15855] ppid=15849 vsize=40036 CPUtime=701.69
/proc/15855/stat : 15855 (minisat_static) R 15849 15849 15743 0 -1 4194304 9436 0 0 0 70160 9 0 0 25 0 1 0 310409738 40996864 9422 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/15855/statm: 10009 9422 76 171 0 9836 0
Current children cumulated CPU time (s) 701.86
Current children cumulated vsize (KiB) 45392
[startup+762.306 s]
/proc/loadavg: 0.99 0.98 1.00 2/67 15861
/proc/meminfo: memFree=1933344/2055920 swapFree=4175960/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0.17
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15743 0 -1 4194304 336 1509 0 0 0 0 16 1 15 0 1 0 310409718 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 239 197 169 0 50 0
[pid=15855] ppid=15849 vsize=41344 CPUtime=761.67
/proc/15855/stat : 15855 (minisat_static) R 15849 15849 15743 0 -1 4194304 9733 0 0 0 76157 10 0 0 25 0 1 0 310409738 42336256 9719 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/15855/statm: 10336 9719 76 171 0 10163 0
Current children cumulated CPU time (s) 761.84
Current children cumulated vsize (KiB) 46700
[startup+822.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/67 15861
/proc/meminfo: memFree=1933024/2055920 swapFree=4175960/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0.17
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15743 0 -1 4194304 336 1509 0 0 0 0 16 1 15 0 1 0 310409718 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 239 197 169 0 50 0
[pid=15855] ppid=15849 vsize=41668 CPUtime=821.64
/proc/15855/stat : 15855 (minisat_static) R 15849 15849 15743 0 -1 4194304 9804 0 0 0 82154 10 0 0 25 0 1 0 310409738 42668032 9790 1992294400 134512640 135215339 4294956240 18446744073709551615 134537877 0 0 4096 3 0 0 0 17 0 0 0
/proc/15855/statm: 10417 9790 76 171 0 10244 0
Current children cumulated CPU time (s) 821.81
Current children cumulated vsize (KiB) 47024
[startup+882.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/67 15861
/proc/meminfo: memFree=1932704/2055920 swapFree=4175960/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0.17
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15743 0 -1 4194304 336 1509 0 0 0 0 16 1 15 0 1 0 310409718 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 239 197 169 0 50 0
[pid=15855] ppid=15849 vsize=41988 CPUtime=881.61
/proc/15855/stat : 15855 (minisat_static) R 15849 15849 15743 0 -1 4194304 9872 0 0 0 88151 10 0 0 25 0 1 0 310409738 42995712 9858 1992294400 134512640 135215339 4294956240 18446744073709551615 134528700 0 0 4096 3 0 0 0 17 0 0 0
/proc/15855/statm: 10497 9858 76 171 0 10324 0
Current children cumulated CPU time (s) 881.78
Current children cumulated vsize (KiB) 47344
[startup+942.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/67 15861
/proc/meminfo: memFree=1932320/2055920 swapFree=4175960/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0.17
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15743 0 -1 4194304 336 1509 0 0 0 0 16 1 15 0 1 0 310409718 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 239 197 169 0 50 0
[pid=15855] ppid=15849 vsize=42152 CPUtime=941.58
/proc/15855/stat : 15855 (minisat_static) R 15849 15849 15743 0 -1 4194304 9942 0 0 0 94148 10 0 0 25 0 1 0 310409738 43163648 9928 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/15855/statm: 10538 9928 76 171 0 10365 0
Current children cumulated CPU time (s) 941.75
Current children cumulated vsize (KiB) 47508
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/67 15861
/proc/meminfo: memFree=1932192/2055920 swapFree=4175960/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0.17
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15743 0 -1 4194304 336 1509 0 0 0 0 16 1 15 0 1 0 310409718 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 239 197 169 0 50 0
[pid=15855] ppid=15849 vsize=42152 CPUtime=1001.56
/proc/15855/stat : 15855 (minisat_static) R 15849 15849 15743 0 -1 4194304 9952 0 0 0 100146 10 0 0 25 0 1 0 310409738 43163648 9938 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/15855/statm: 10538 9938 76 171 0 10365 0
Current children cumulated CPU time (s) 1001.73
Current children cumulated vsize (KiB) 47508
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/67 15861
/proc/meminfo: memFree=1931744/2055920 swapFree=4175960/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0.17
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15743 0 -1 4194304 336 1509 0 0 0 0 16 1 15 0 1 0 310409718 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 239 197 169 0 50 0
[pid=15855] ppid=15849 vsize=42560 CPUtime=1061.53
/proc/15855/stat : 15855 (minisat_static) R 15849 15849 15743 0 -1 4194304 10048 0 0 0 106143 10 0 0 25 0 1 0 310409738 43581440 10034 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/15855/statm: 10640 10034 76 171 0 10467 0
Current children cumulated CPU time (s) 1061.7
Current children cumulated vsize (KiB) 47916
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/67 15861
/proc/meminfo: memFree=1931616/2055920 swapFree=4175960/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0.17
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15743 0 -1 4194304 336 1509 0 0 0 0 16 1 15 0 1 0 310409718 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 239 197 169 0 50 0
[pid=15855] ppid=15849 vsize=42560 CPUtime=1121.51
/proc/15855/stat : 15855 (minisat_static) R 15849 15849 15743 0 -1 4194304 10052 0 0 0 112140 11 0 0 25 0 1 0 310409738 43581440 10038 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/15855/statm: 10640 10038 76 171 0 10467 0
Current children cumulated CPU time (s) 1121.68
Current children cumulated vsize (KiB) 47916
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/67 15861
/proc/meminfo: memFree=1931552/2055920 swapFree=4175960/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0.17
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15743 0 -1 4194304 336 1509 0 0 0 0 16 1 15 0 1 0 310409718 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 239 197 169 0 50 0
[pid=15855] ppid=15849 vsize=42560 CPUtime=1181.48
/proc/15855/stat : 15855 (minisat_static) R 15849 15849 15743 0 -1 4194304 10054 0 0 0 118137 11 0 0 25 0 1 0 310409738 43581440 10040 1992294400 134512640 135215339 4294956240 18446744073709551615 134537869 0 0 4096 3 0 0 0 17 0 0 0
/proc/15855/statm: 10640 10040 76 171 0 10467 0
Current children cumulated CPU time (s) 1181.65
Current children cumulated vsize (KiB) 47916
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 0.99 0.98 1.00 2/67 15861
/proc/meminfo: memFree=1931552/2055920 swapFree=4175960/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0.17
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15743 0 -1 4194304 336 1509 0 0 0 0 16 1 15 0 1 0 310409718 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 239 197 169 0 50 0
[pid=15855] ppid=15849 vsize=42560 CPUtime=1199.86
/proc/15855/stat : 15855 (minisat_static) R 15849 15849 15743 0 -1 4194304 10054 0 0 0 119975 11 0 0 25 0 1 0 310409738 43581440 10040 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/15855/statm: 10640 10040 76 171 0 10467 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 47916
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.7 s]
/proc/loadavg: 0.99 0.98 1.00 2/67 15861
/proc/meminfo: memFree=1931552/2055920 swapFree=4175960/4192956
[pid=15849] ppid=15847 vsize=5356 CPUtime=0.17
/proc/15849/stat : 15849 (SatELiteGTI) S 15847 15849 15743 0 -1 4194304 336 1509 0 0 0 0 16 1 15 0 1 0 310409718 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15849/statm: 1339 239 197 169 0 50 0
[pid=15855] ppid=15849 vsize=42560 CPUtime=1199.86
/proc/15855/stat : 15855 (minisat_static) R 15849 15849 15743 0 -1 4194304 10054 0 0 0 119975 11 0 0 25 0 1 0 310409738 43581440 10040 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/15855/statm: 10640 10040 76 171 0 10467 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 47916
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.71
CPU time (s): 1200.05
CPU user time (s): 1199.92
CPU system time (s): 0.13098
CPU usage (%): 99.9451
Max. virtual memory (cumulated for all children) (KiB): 47916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.92
system time used= 0.13098
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11906
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= 17
involuntary context switches= 6342
runsolver used 1.11783 second user time and 3.32249 second system time
The end
Begin job on node91 at 2009-05-20 14:50:07
IDJOB=1833601
IDBENCH=70775
IDSOLVER=671
FILE ID=node91/1833601-1242823807
PBS_JOBID= 9322493
Free space on /tmp= 66324 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bitverif/countbitsrotate/countbitsrotate032.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833601-1242823807/watcher-1833601-1242823807 -o /tmp/evaluation-result-1833601-1242823807/solver-1833601-1242823807 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833601-1242823807.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 8d76aa747359ea8ccf15726792949452
RANDOM SEED=2081202119
node91.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.241
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.241
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1974976 kB
Buffers: 14900 kB
Cached: 27232 kB
SwapCached: 10568 kB
Active: 17024 kB
Inactive: 37032 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1974976 kB
SwapTotal: 4192956 kB
SwapFree: 4175960 kB
Dirty: 1940 kB
Writeback: 0 kB
Mapped: 17136 kB
Slab: 12764 kB
Committed_AS: 928008 kB
PageTables: 1368 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66320 MiB
End job on node91 at 2009-05-20 15:10:10