0.00/0.00 c Parsing...
0.00/0.04 c ==============================================================================
0.00/0.04 c | | ORIGINAL | LEARNT | |
0.00/0.04 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.04 c ==============================================================================
0.00/0.04 c | 0 | 57446 170514 | 17233 0 0 nan | 0.000 % |
0.42/0.43 c | 0 | 56659 238983 | -- 0 -- -- | -- | -787/68469
0.42/0.43 c ==============================================================================
0.42/0.43 c Result : #vars: 636 #clauses: 56659 #literals: 238983
0.42/0.43 c CPU time: 0.42 s
0.42/0.43 c ==============================================================================
0.42/0.50 c This is MiniSat 2.0 beta
0.42/0.50 c WARNING: for repeatability, setting FPU to use double precision
0.42/0.50 c ============================[ Problem Statistics ]=============================
0.42/0.50 c | |
0.42/0.51 c | Number of variables: 636 |
0.42/0.51 c | Number of clauses: 56659 |
0.51/0.54 c | Parsing time: 0.03 s |
0.51/0.54 c ============================[ Search Statistics ]==============================
0.51/0.54 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.51/0.54 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.51/0.54 c ===============================================================================
0.51/0.54 c | 0 | 636 56659 238983 | 18886 0 nan | 0.000 % |
0.51/0.57 c | 101 | 636 56659 238983 | 18886 101 33 | 0.000 % |
0.51/0.60 c | 201 | 636 56659 238983 | 18886 201 30 | 0.000 % |
0.51/0.63 c | 301 | 636 56659 238983 | 18886 301 28 | 0.000 % |
0.51/0.68 c | 411 | 636 56659 238983 | 18886 411 27 | 0.000 % |
0.51/0.70 c | 516 | 636 56659 238983 | 18886 516 26 | 0.000 % |
0.51/0.75 c | 627 | 636 56659 238983 | 18886 627 26 | 0.000 % |
0.51/0.79 c | 749 | 636 56659 238983 | 18886 749 27 | 0.000 % |
0.51/0.82 c | 849 | 636 56659 238983 | 18886 849 27 | 0.000 % |
0.51/0.87 c | 960 | 636 56659 238983 | 18886 960 27 | 0.000 % |
0.51/0.92 c | 1081 | 636 56659 238983 | 18886 1081 27 | 0.000 % |
0.51/0.97 c | 1214 | 636 56659 238983 | 18886 1214 27 | 0.000 % |
1.02/1.02 c | 1315 | 636 56659 238983 | 18886 1315 26 | 0.000 % |
1.02/1.06 c | 1428 | 636 56659 238983 | 18886 1428 26 | 0.000 % |
1.02/1.11 c | 1549 | 636 56659 238983 | 18886 1549 25 | 0.000 % |
1.12/1.16 c | 1684 | 636 56659 238983 | 18886 1684 26 | 0.000 % |
1.21/1.22 c | 1832 | 636 56659 238983 | 18886 1832 25 | 0.000 % |
1.21/1.25 c | 1933 | 636 56659 238983 | 18886 1933 25 | 0.000 % |
1.21/1.30 c | 2044 | 636 56659 238983 | 18886 2044 25 | 0.002 % |
1.31/1.35 c | 2165 | 636 56659 238983 | 18886 2165 25 | 0.000 % |
1.31/1.40 c | 2298 | 636 56659 238983 | 18886 2298 25 | 0.000 % |
1.41/1.45 c | 2449 | 636 56659 238983 | 18886 2449 25 | 0.000 % |
1.51/1.51 c | 2611 | 636 56659 238983 | 18886 2611 25 | 0.000 % |
1.51/1.55 c | 2711 | 636 56659 238983 | 18886 2711 24 | 0.000 % |
1.51/1.60 c | 2824 | 636 56659 238983 | 18886 2824 24 | 0.000 % |
1.61/1.64 c | 2946 | 636 56659 238983 | 18886 2946 24 | 0.000 % |
1.61/1.69 c | 3079 | 636 56659 238983 | 18886 3079 24 | 0.000 % |
1.71/1.73 c | 3225 | 636 56659 238983 | 18886 3225 24 | 0.000 % |
1.71/1.79 c | 3386 | 636 56659 238983 | 18886 3386 24 | 0.000 % |
1.81/1.87 c | 3564 | 636 56659 238983 | 18886 3564 24 | 0.000 % |
1.81/1.91 c | 3665 | 636 56659 238983 | 18886 3665 24 | 0.000 % |
1.91/1.95 c | 3777 | 636 56659 238983 | 18886 3777 24 | 0.000 % |
1.91/1.99 c | 3898 | 636 56659 238983 | 18886 3898 24 | 0.000 % |
2.01/2.03 c | 4031 | 636 56659 238983 | 18886 4031 24 | 0.000 % |
2.01/2.08 c | 4178 | 636 56659 238983 | 18886 4178 24 | 0.000 % |
2.11/2.14 c | 4338 | 636 56659 238983 | 18886 4338 24 | 0.000 % |
2.11/2.21 c | 4514 | 636 56659 238983 | 18886 4514 24 | 0.000 % |
2.22/2.28 c | 4709 | 636 56659 238983 | 18886 4709 25 | 0.000 % |
2.31/2.32 c | 4811 | 636 56659 238983 | 18886 4811 25 | 0.000 % |
2.31/2.35 c | 4922 | 636 56659 238983 | 18886 4922 25 | 0.000 % |
2.31/2.38 c | 5044 | 636 56659 238983 | 18886 5044 25 | 0.000 % |
2.41/2.43 c | 5181 | 636 56659 238983 | 18886 5181 26 | 0.000 % |
2.41/2.48 c | 5328 | 636 56659 238983 | 18886 5328 26 | 0.000 % |
2.51/2.55 c | 5488 | 636 56659 238983 | 18886 5488 26 | 0.000 % |
2.61/2.62 c | 5664 | 636 56659 238983 | 18886 5664 26 | 0.000 % |
2.61/2.71 c | 5857 | 636 56659 238983 | 18886 5857 25 | 0.000 % |
2.71/2.81 c | 6070 | 636 56659 238983 | 18886 6070 25 | 0.000 % |
2.81/2.85 c | 6170 | 636 56659 238983 | 18886 6170 25 | 0.000 % |
2.81/2.90 c | 6281 | 636 56659 238983 | 18886 6281 25 | 0.000 % |
2.91/2.95 c | 6403 | 636 56659 238983 | 18886 6403 25 | 0.002 % |
2.91/3.01 c | 6537 | 636 56659 238983 | 18886 6537 25 | 0.000 % |
3.01/3.07 c | 6683 | 636 56659 238983 | 18886 6683 25 | 0.000 % |
3.11/3.13 c | 6844 | 636 56659 238983 | 18886 6844 25 | 0.002 % |
3.11/3.19 c | 7020 | 636 56659 238983 | 18886 7020 25 | 0.000 % |
3.21/3.25 c | 7213 | 636 56659 238983 | 18886 7213 26 | 0.000 % |
3.21/3.32 c | 7428 | 636 56659 238983 | 18886 7428 26 | 0.000 % |
3.32/3.40 c | 7661 | 636 56659 238983 | 18886 7661 26 | 0.000 % |
3.41/3.43 c | 7761 | 636 56659 238983 | 18886 7761 26 | 0.000 % |
3.41/3.46 c | 7874 | 636 56659 238983 | 18886 7874 26 | 0.000 % |
3.41/3.50 c | 7997 | 636 56659 238983 | 18886 7997 26 | 0.000 % |
3.51/3.54 c | 8131 | 636 56659 238983 | 18886 8131 27 | 0.000 % |
3.51/3.58 c | 8277 | 636 56659 238983 | 18886 8277 27 | 0.000 % |
3.61/3.64 c | 8439 | 636 56659 238983 | 18886 8439 27 | 0.000 % |
3.61/3.70 c | 8616 | 636 56659 238983 | 18886 8616 27 | 0.000 % |
3.71/3.76 c | 8810 | 636 56659 238983 | 18886 8810 27 | 0.000 % |
3.81/3.84 c | 9024 | 636 56659 238983 | 18886 9024 27 | 0.000 % |
3.91/3.95 c | 9257 | 636 56659 238983 | 18886 9257 27 | 0.000 % |
4.01/4.04 c | 9513 | 636 56659 238983 | 18886 9513 28 | 0.000 % |
4.01/4.08 c | 9615 | 636 56659 238983 | 18886 9615 28 | 0.000 % |
4.11/4.13 c | 9727 | 636 56659 238983 | 18886 9727 28 | 0.000 % |
4.11/4.20 c | 9848 | 636 56659 238983 | 18886 9848 28 | 0.000 % |
4.21/4.27 c | 9981 | 636 56659 238983 | 18886 9981 28 | 0.000 % |
4.31/4.35 c | 10127 | 636 56659 238983 | 2147483647 10127 28 | 0.000 % |
4.42/4.44 c | 10290 | 636 56659 238983 | 2147483647 10290 28 | 0.000 % |
4.51/4.53 c | 10466 | 636 56659 238983 | 2147483647 10466 28 | 0.000 % |
4.61/4.63 c | 10659 | 636 56659 238983 | 2147483647 10659 28 | 0.000 % |
4.71/4.73 c | 10871 | 636 56659 238983 | 2147483647 10871 28 | 0.000 % |
4.81/4.84 c | 11110 | 636 56659 238983 | 2147483647 11110 28 | 0.000 % |
4.91/4.98 c | 11367 | 636 56659 238983 | 2147483647 11367 27 | 0.000 % |
5.11/5.13 c | 11649 | 636 56659 238983 | 2147483647 11649 27 | 0.000 % |
5.11/5.18 c | 11750 | 636 56659 238983 | 2147483647 11750 27 | 0.000 % |
5.21/5.23 c | 11861 | 636 56659 238983 | 2147483647 11861 27 | 0.000 % |
5.21/5.28 c | 11982 | 636 56659 238983 | 2147483647 11982 27 | 0.000 % |
5.31/5.36 c | 12118 | 636 56659 238983 | 2147483647 12118 27 | 0.000 % |
5.41/5.43 c | 12265 | 636 56659 238983 | 2147483647 12265 27 | 0.000 % |
5.41/5.51 c | 12425 | 636 56659 238983 | 2147483647 12425 27 | 0.000 % |
5.52/5.60 c | 12602 | 636 56659 238983 | 2147483647 12602 27 | 0.000 % |
5.71/5.72 c | 12797 | 636 56659 238983 | 2147483647 12797 27 | 0.000 % |
5.71/5.81 c | 13014 | 636 56659 238983 | 2147483647 13014 27 | 0.000 % |
5.91/5.94 c | 13247 | 636 56659 238983 | 2147483647 13247 27 | 0.000 % |
6.01/6.04 c | 13505 | 636 56659 238983 | 2147483647 13505 27 | 0.000 % |
6.11/6.19 c | 13788 | 636 56659 238983 | 2147483647 13788 27 | 0.000 % |
6.31/6.38 c | 14100 | 636 56659 238983 | 2147483647 14100 27 | 0.000 % |
6.41/6.42 c | 14201 | 636 56659 238983 | 2147483647 14201 27 | 0.000 % |
6.41/6.47 c | 14311 | 636 56659 238983 | 2147483647 14311 27 | 0.000 % |
6.51/6.52 c | 14433 | 636 56659 238983 | 2147483647 14433 27 | 0.000 % |
6.51/6.57 c | 14568 | 636 56659 238983 | 2147483647 14568 27 | 0.000 % |
6.62/6.65 c | 14717 | 636 56659 238983 | 2147483647 14717 27 | 0.000 % |
6.71/6.73 c | 14877 | 636 56659 238983 | 2147483647 14877 27 | 0.000 % |
6.81/6.83 c | 15053 | 636 56659 238983 | 2147483647 15053 27 | 0.000 % |
6.91/6.93 c | 15246 | 636 56659 238983 | 2147483647 15246 27 | 0.000 % |
7.01/7.05 c | 15459 | 636 56659 238983 | 2147483647 15459 27 | 0.000 % |
7.11/7.19 c | 15693 | 636 56659 238983 | 2147483647 15693 27 | 0.000 % |
7.31/7.34 c | 15949 | 636 56659 238983 | 2147483647 15949 27 | 0.000 % |
7.51/7.52 c | 16234 | 636 56659 238983 | 2147483647 16234 27 | 0.000 % |
7.61/7.70 c | 16545 | 636 56659 238983 | 2147483647 16545 27 | 0.000 % |
7.81/7.90 c | 16884 | 636 56659 238983 | 2147483647 16884 27 | 0.000 % |
7.91/7.96 c | 16984 | 636 56659 238983 | 2147483647 16984 27 | 0.000 % |
8.01/8.04 c | 17096 | 636 56659 238983 | 2147483647 17096 27 | 0.000 % |
8.11/8.12 c | 17219 | 636 56659 238983 | 2147483647 17219 27 | 0.000 % |
8.11/8.21 c | 17352 | 636 56659 238983 | 2147483647 17352 27 | 0.000 % |
8.31/8.31 c | 17502 | 636 56659 238983 | 2147483647 17502 27 | 0.000 % |
8.41/8.41 c | 17662 | 636 56659 238983 | 2147483647 17662 27 | 0.000 % |
8.41/8.50 c | 17838 | 636 56659 238983 | 2147483647 17838 27 | 0.000 % |
8.51/8.59 c | 18031 | 636 56659 238983 | 2147483647 18031 27 | 0.000 % |
8.61/8.71 c | 18244 | 636 56659 238983 | 2147483647 18244 28 | 0.000 % |
8.82/8.84 c | 18478 | 636 56659 238983 | 2147483647 18478 28 | 0.000 % |
8.91/8.98 c | 18734 | 636 56659 238983 | 2147483647 18734 28 | 0.000 % |
9.11/9.17 c | 19019 | 636 56659 238983 | 2147483647 19019 28 | 0.000 % |
9.31/9.35 c | 19328 | 636 56659 238983 | 2147483647 19328 28 | 0.000 % |
9.51/9.56 c | 19667 | 636 56659 238983 | 2147483647 19667 28 | 0.000 % |
9.71/9.80 c | 20040 | 636 56659 238983 | 2147483647 20040 28 | 0.000 % |
9.81/9.86 c | 20140 | 636 56659 238983 | 2147483647 20140 28 | 0.000 % |
9.92/9.92 c | 20250 | 636 56659 238983 | 2147483647 20250 28 | 0.000 % |
9.92/10.01 c | 20371 | 636 56659 238983 | 2147483647 20371 28 | 0.000 % |
10.01/10.08 c | 20504 | 636 56659 238983 | 2147483647 20504 28 | 0.000 % |
10.11/10.20 c | 20650 | 636 56659 238983 | 2147483647 20650 28 | 0.000 % |
10.21/10.28 c | 20810 | 636 56659 238983 | 2147483647 20810 28 | 0.000 % |
10.31/10.38 c | 20986 | 636 56659 238983 | 2147483647 20986 28 | 0.000 % |
10.41/10.48 c | 21183 | 636 56659 238983 | 2147483647 21183 27 | 0.000 % |
10.51/10.60 c | 21397 | 636 56659 238983 | 2147483647 21397 27 | 0.000 % |
10.71/10.78 c | 21630 | 636 56659 238983 | 2147483647 21630 27 | 0.000 % |
10.91/10.95 c | 21887 | 636 56659 238983 | 2147483647 21887 27 | 0.000 % |
11.11/11.15 c | 22168 | 636 56659 238983 | 2147483647 22168 27 | 0.000 % |
11.31/11.31 c | 22478 | 636 56659 238983 | 2147483647 22478 27 | 0.000 % |
11.41/11.47 c | 22818 | 636 56659 238983 | 2147483647 22818 27 | 0.000 % |
11.61/11.68 c | 23193 | 636 56659 238983 | 2147483647 23193 27 | 0.000 % |
11.81/11.87 c | 23603 | 636 56659 238983 | 2147483647 23603 27 | 0.000 % |
11.91/11.92 c | 23703 | 636 56659 238983 | 2147483647 23703 28 | 0.000 % |
11.91/11.97 c | 23813 | 636 56659 238983 | 2147483647 23813 28 | 0.000 % |
12.01/12.02 c | 23934 | 636 56659 238983 | 2147483647 23934 28 | 0.000 % |
12.01/12.07 c | 24067 | 636 56659 238983 | 2147483647 24067 28 | 0.000 % |
12.12/12.18 c | 24213 | 636 56659 238983 | 2147483647 24213 28 | 0.000 % |
12.21/12.27 c | 24373 | 636 56659 238983 | 2147483647 24373 28 | 0.000 % |
12.31/12.37 c | 24551 | 636 56659 238983 | 2147483647 24551 28 | 0.000 % |
12.41/12.50 c | 24747 | 636 56659 238983 | 2147483647 24747 28 | 0.000 % |
12.61/12.67 c | 24961 | 636 56659 238983 | 2147483647 24961 28 | 0.000 % |
12.81/12.87 c | 25194 | 636 56659 238983 | 2147483647 25194 28 | 0.000 % |
13.01/13.05 c | 25450 | 636 56659 238983 | 2147483647 25450 28 | 0.000 % |
13.22/13.25 c | 25731 | 636 56659 238983 | 2147483647 25731 28 | 0.000 % |
13.41/13.45 c | 26040 | 636 56659 238983 | 2147483647 26040 27 | 0.000 % |
13.71/13.74 c | 26380 | 636 56659 238983 | 2147483647 26380 28 | 0.000 % |
13.91/14.00 c | 26753 | 636 56659 238983 | 2147483647 26753 28 | 0.000 % |
14.32/14.34 c | 27165 | 636 56659 238983 | 2147483647 27165 27 | 0.000 % |
14.61/14.66 c | 27614 | 636 56659 238983 | 2147483647 27614 27 | 0.000 % |
14.71/14.74 c | 27714 | 636 56659 238983 | 2147483647 27714 27 | 0.000 % |
14.81/14.83 c | 27826 | 636 56659 238983 | 2147483647 27826 27 | 0.000 % |
14.91/14.93 c | 27949 | 636 56659 238983 | 2147483647 27949 27 | 0.000 % |
15.01/15.03 c | 28082 | 636 56659 238983 | 2147483647 28082 27 | 0.000 % |
15.11/15.15 c | 28228 | 636 56659 238983 | 2147483647 28228 27 | 0.000 % |
15.21/15.26 c | 28391 | 636 56659 238983 | 2147483647 28391 27 | 0.000 % |
15.31/15.39 c | 28567 | 636 56659 238983 | 2147483647 28567 27 | 0.000 % |
15.51/15.56 c | 28761 | 636 56659 238983 | 2147483647 28761 28 | 0.000 % |
15.71/15.72 c | 28973 | 636 56659 238983 | 2147483647 28973 28 | 0.000 % |
15.81/15.87 c | 29206 | 636 56659 238983 | 2147483647 29206 28 | 0.000 % |
15.91/16.00 c | 29462 | 636 56659 238983 | 2147483647 29462 28 | 0.000 % |
16.11/16.14 c | 29745 | 636 56659 238983 | 2147483647 29745 28 | 0.000 % |
16.21/16.28 c | 30055 | 636 56659 238983 | 2147483647 30055 28 | 0.000 % |
16.52/16.58 c | 30394 | 636 56659 238983 | 2147483647 30394 28 | 0.000 % |
16.91/16.92 c | 30766 | 636 56659 238983 | 2147483647 30766 28 | 0.000 % |
17.21/17.23 c | 31175 | 636 56659 238983 | 2147483647 31175 28 | 0.000 % |
17.51/17.61 c | 31627 | 636 56659 238983 | 2147483647 31627 28 | 0.000 % |
18.01/18.01 c | 32120 | 636 56659 238983 | 2147483647 32120 28 | 0.000 % |
18.01/18.10 c | 32223 | 636 56659 238983 | 2147483647 32223 28 | 0.000 % |
18.11/18.18 c | 32334 | 636 56659 238983 | 2147483647 32334 28 | 0.000 % |
18.21/18.26 c | 32455 | 636 56659 238983 | 2147483647 32455 27 | 0.000 % |
18.31/18.34 c | 32591 | 636 56659 238983 | 2147483647 32591 27 | 0.000 % |
18.41/18.49 c | 32737 | 636 56659 238983 | 2147483647 32737 27 | 0.000 % |
18.61/18.64 c | 32897 | 636 56659 238983 | 2147483647 32897 27 | 0.000 % |
18.72/18.80 c | 33076 | 636 56659 238983 | 2147483647 33076 27 | 0.000 % |
18.91/18.99 c | 33270 | 636 56659 238983 | 2147483647 33270 28 | 0.000 % |
19.11/19.17 c | 33483 | 636 56659 238983 | 2147483647 33483 28 | 0.000 % |
19.31/19.38 c | 33717 | 636 56659 238983 | 2147483647 33717 28 | 0.000 % |
19.61/19.61 c | 33976 | 636 56659 238983 | 2147483647 33976 28 | 0.000 % |
19.82/19.87 c | 34257 | 636 56659 238983 | 2147483647 34257 28 | 0.000 % |
20.11/20.13 c | 34569 | 636 56659 238983 | 2147483647 34569 27 | 0.000 % |
20.41/20.45 c | 34909 | 636 56659 238983 | 2147483647 34909 28 | 0.000 % |
20.71/20.76 c | 35281 | 636 56659 238983 | 2147483647 35281 28 | 0.000 % |
21.01/21.06 c | 35692 | 636 56659 238983 | 2147483647 35692 27 | 0.000 % |
21.31/21.39 c | 36144 | 636 56659 238983 | 2147483647 36144 27 | 0.000 % |
21.81/21.89 c | 36637 | 636 56659 238983 | 2147483647 36637 27 | 0.000 % |
22.31/22.39 c | 37180 | 636 56659 238983 | 2147483647 37180 27 | 0.000 % |
22.41/22.50 c | 37280 | 636 56659 238983 | 2147483647 37280 27 | 0.000 % |
22.61/22.62 c | 37394 | 636 56659 238983 | 2147483647 37394 27 | 0.000 % |
22.71/22.71 c | 37515 | 636 56659 238983 | 2147483647 37515 27 | 0.000 % |
22.81/22.89 c | 37648 | 636 56659 238983 | 2147483647 37648 27 | 0.000 % |
22.91/23.00 c | 37795 | 636 56659 238983 | 2147483647 37795 27 | 0.000 % |
23.12/23.12 c | 37955 | 636 56659 238983 | 2147483647 37955 27 | 0.000 % |
23.21/23.29 c | 38132 | 636 56659 238983 | 2147483647 38132 27 | 0.000 % |
23.41/23.47 c | 38326 | 636 56659 238983 | 2147483647 38326 27 | 0.000 % |
23.61/23.65 c | 38542 | 636 56659 238983 | 2147483647 38542 27 | 0.000 % |
23.81/23.89 c | 38775 | 636 56659 238983 | 2147483647 38775 27 | 0.000 % |
24.11/24.15 c | 39032 | 636 56659 238983 | 2147483647 39032 27 | 0.000 % |
24.41/24.45 c | 39314 | 636 56659 238983 | 2147483647 39314 27 | 0.000 % |
24.71/24.74 c | 39623 | 636 56659 238983 | 2147483647 39623 27 | 0.000 % |
25.01/25.06 c | 39962 | 636 56659 238983 | 2147483647 39962 27 | 0.000 % |
25.32/25.40 c | 40334 | 636 56659 238983 | 2147483647 40334 28 | 0.000 % |
25.71/25.80 c | 40744 | 636 56659 238983 | 2147483647 40744 28 | 0.000 % |
26.21/26.24 c | 41193 | 636 56659 238983 | 2147483647 41193 28 | 0.000 % |
26.71/26.74 c | 41686 | 636 56659 238983 | 2147483647 41686 28 | 0.000 % |
27.21/27.28 c | 42228 | 636 56659 238983 | 2147483647 42228 28 | 0.000 % |
27.81/27.83 c | 42824 | 636 56659 238983 | 2147483647 42824 28 | 0.000 % |
27.91/27.92 c | 42930 | 636 56659 238983 | 2147483647 42930 28 | 0.000 % |
28.01/28.03 c | 43044 | 636 56659 238983 | 2147483647 43044 28 | 0.000 % |
28.11/28.18 c | 43166 | 636 56659 238983 | 2147483647 43166 28 | 0.000 % |
28.31/28.31 c | 43299 | 636 56659 238983 | 2147483647 43299 28 | 0.000 % |
28.41/28.45 c | 43445 | 636 56659 238983 | 2147483647 43445 28 | 0.000 % |
28.51/28.61 c | 43605 | 636 56659 238983 | 2147483647 43605 28 | 0.000 % |
28.71/28.78 c | 43781 | 636 56659 238983 | 2147483647 43781 28 | 0.000 % |
28.91/28.99 c | 43975 | 636 56659 238983 | 2147483647 43975 28 | 0.000 % |
29.11/29.20 c | 44189 | 636 56659 238983 | 2147483647 44189 28 | 0.000 % |
29.41/29.42 c | 44422 | 636 56659 238983 | 2147483647 44422 28 | 0.000 % |
29.61/29.67 c | 44678 | 636 56659 238983 | 2147483647 44678 28 | 0.000 % |
29.91/29.94 c | 44960 | 636 56659 238983 | 2147483647 44960 28 | 0.000 % |
30.21/30.22 c | 45270 | 636 56659 238983 | 2147483647 45270 28 | 0.000 % |
30.51/30.55 c | 45611 | 636 56659 238983 | 2147483647 45611 27 | 0.000 % |
30.91/30.91 c | 45983 | 636 56659 238983 | 2147483647 45983 27 | 0.000 % |
31.21/31.30 c | 46394 | 636 56659 238983 | 2147483647 46394 27 | 0.000 % |
31.61/31.70 c | 46846 | 636 56659 238983 | 2147483647 46846 27 | 0.000 % |
32.12/32.21 c | 47339 | 636 56659 238983 | 2147483647 47339 27 | 0.000 % |
32.72/32.78 c | 47881 | 636 56659 238983 | 2147483647 47881 27 | 0.000 % |
33.42/33.46 c | 48478 | 636 56659 238983 | 2147483647 48478 27 | 0.000 % |
34.02/34.10 c | 49135 | 636 56659 238983 | 2147483647 49135 27 | 0.000 % |
34.12/34.22 c | 49236 | 636 56659 238983 | 2147483647 49236 27 | 0.000 % |
34.32/34.34 c | 49346 | 636 56659 238983 | 2147483647 49346 27 | 0.000 % |
34.42/34.50 c | 49471 | 636 56659 238983 | 2147483647 49471 27 | 0.000 % |
34.62/34.64 c | 49604 | 636 56659 238983 | 2147483647 49604 27 | 0.000 % |
34.72/34.79 c | 49750 | 636 56659 238983 | 2147483647 49750 27 | 0.000 % |
34.92/34.99 c | 49911 | 636 56659 238983 | 2147483647 49911 27 | 0.000 % |
35.12/35.20 c | 50089 | 636 56659 238983 | 2147483647 50089 27 | 0.000 % |
35.42/35.45 c | 50283 | 636 56659 238983 | 2147483647 50283 27 | 0.000 % |
35.62/35.67 c | 50496 | 636 56659 238983 | 2147483647 50496 27 | 0.000 % |
35.92/35.93 c | 50732 | 636 56659 238983 | 2147483647 50732 27 | 0.000 % |
36.12/36.18 c | 50988 | 636 56659 238983 | 2147483647 50988 27 | 0.000 % |
36.42/36.47 c | 51269 | 636 56659 238983 | 2147483647 51269 27 | 0.000 % |
36.72/36.79 c | 51580 | 636 56659 238983 | 2147483647 51580 27 | 0.000 % |
37.22/37.27 c | 51919 | 636 56659 238983 | 2147483647 51919 27 | 0.000 % |
37.62/37.70 c | 52295 | 636 56659 238983 | 2147483647 52295 27 | 0.000 % |
38.12/38.19 c | 52704 | 636 56659 238983 | 2147483647 52704 27 | 0.000 % |
38.72/38.76 c | 53154 | 636 56659 238983 | 2147483647 53154 27 | 0.000 % |
39.32/39.35 c | 53647 | 636 56659 238983 | 2147483647 53647 27 | 0.000 % |
39.92/39.99 c | 54189 | 636 56659 238983 | 2147483647 54189 27 | 0.000 % |
40.72/40.74 c | 54786 | 636 56659 238983 | 2147483647 54786 27 | 0.000 % |
41.42/41.49 c | 55442 | 636 56659 238983 | 2147483647 55442 27 | 0.000 % |
42.22/42.31 c | 56170 | 636 56659 238983 | 2147483647 56170 27 | 0.000 % |
42.42/42.43 c | 56270 | 636 56659 238983 | 2147483647 56270 27 | 0.000 % |
42.52/42.54 c | 56383 | 636 56659 238983 | 2147483647 56383 27 | 0.000 % |
42.62/42.68 c | 56505 | 636 56659 238983 | 2147483647 56505 27 | 0.000 % |
42.82/42.87 c | 56638 | 636 56659 238983 | 2147483647 56638 27 | 0.000 % |
42.92/43.02 c | 56784 | 636 56659 238983 | 2147483647 56784 27 | 0.000 % |
43.22/43.23 c | 56944 | 636 56659 238983 | 2147483647 56944 27 | 0.000 % |
43.32/43.41 c | 57120 | 636 56659 238983 | 2147483647 57120 27 | 0.000 % |
43.52/43.60 c | 57313 | 636 56659 238983 | 2147483647 57313 27 | 0.000 % |
43.82/43.83 c | 57525 | 636 56659 238983 | 2147483647 57525 27 | 0.000 % |
44.12/44.17 c | 57758 | 636 56659 238983 | 2147483647 57758 27 | 0.000 % |
44.42/44.49 c | 58015 | 636 56659 238983 | 2147483647 58015 27 | 0.000 % |
44.92/44.93 c | 58296 | 636 56659 238983 | 2147483647 58296 27 | 0.000 % |
45.32/45.39 c | 58608 | 636 56659 238983 | 2147483647 58608 27 | 0.000 % |
45.82/45.82 c | 58947 | 636 56659 238983 | 2147483647 58947 27 | 0.000 % |
46.22/46.30 c | 59322 | 636 56659 238983 | 2147483647 59322 27 | 0.000 % |
46.72/46.80 c | 59731 | 636 56659 238983 | 2147483647 59731 27 | 0.000 % |
47.32/47.34 c | 60180 | 636 56659 238983 | 2147483647 60180 27 | 0.000 % |
47.92/48.00 c | 60675 | 636 56659 238983 | 2147483647 60675 27 | 0.000 % |
48.72/48.75 c | 61217 | 636 56659 238983 | 2147483647 61217 28 | 0.000 % |
49.52/49.58 c | 61813 | 636 56659 238983 | 2147483647 61813 28 | 0.000 % |
50.42/50.51 c | 62468 | 636 56659 238983 | 2147483647 62468 28 | 0.000 % |
51.42/51.47 c | 63189 | 636 56659 238983 | 2147483647 63189 28 | 0.000 % |
52.42/52.48 c | 63983 | 636 56659 238983 | 2147483647 63983 28 | 0.000 % |
52.52/52.60 c | 64086 | 636 56659 238983 | 2147483647 64086 28 | 0.000 % |
52.72/52.79 c | 64197 | 636 56659 238983 | 2147483647 64197 28 | 0.000 % |
52.92/52.96 c | 64318 | 636 56659 238983 | 2147483647 64318 28 | 0.000 % |
53.12/53.14 c | 64452 | 636 56659 238983 | 2147483647 64452 28 | 0.000 % |
53.32/53.35 c | 64600 | 636 56659 238983 | 2147483647 64600 28 | 0.000 % |
53.52/53.60 c | 64761 | 636 56659 238983 | 2147483647 64761 28 | 0.000 % |
53.82/53.89 c | 64937 | 636 56659 238983 | 2147483647 64937 28 | 0.000 % |
54.12/54.20 c | 65131 | 636 56659 238983 | 2147483647 65131 28 | 0.000 % |
54.52/54.52 c | 65345 | 636 56659 238983 | 2147483647 65345 28 | 0.000 % |
54.82/54.85 c | 65578 | 636 56659 238983 | 2147483647 65578 28 | 0.000 % |
55.22/55.31 c | 65835 | 636 56659 238983 | 2147483647 65835 28 | 0.000 % |
55.72/55.77 c | 66118 | 636 56659 238983 | 2147483647 66118 28 | 0.000 % |
56.21/56.21 c | 66427 | 636 56659 238983 | 2147483647 66427 28 | 0.000 % |
56.61/56.66 c | 66766 | 636 56659 238983 | 2147483647 66766 28 | 0.000 % |
57.21/57.21 c | 67138 | 636 56659 238983 | 2147483647 67138 28 | 0.000 % |
57.81/57.83 c | 67548 | 636 56659 238983 | 2147483647 67548 28 | 0.000 % |
58.51/58.58 c | 67998 | 636 56659 238983 | 2147483647 67998 28 | 0.000 % |
59.11/59.21 c | 68495 | 636 56659 238983 | 2147483647 68495 28 | 0.000 % |
60.01/60.05 c | 69037 | 636 56659 238983 | 2147483647 69037 28 | 0.000 % |
61.11/61.14 c | 69635 | 636 56659 238983 | 2147483647 69635 28 | 0.000 % |
62.21/62.27 c | 70292 | 636 56659 238983 | 2147483647 70292 28 | 0.000 % |
63.41/63.42 c | 71013 | 636 56659 238983 | 2147483647 71013 28 | 0.000 % |
64.81/64.87 c | 71806 | 636 56659 238983 | 2147483647 71806 28 | 0.000 % |
66.01/66.05 c | 72677 | 636 56659 238983 | 2147483647 72677 28 | 0.000 % |
66.11/66.19 c | 72779 | 636 56659 238983 | 2147483647 72779 28 | 0.000 % |
66.31/66.33 c | 72891 | 636 56659 238983 | 2147483647 72891 28 | 0.000 % |
66.51/66.54 c | 73012 | 636 56659 238983 | 2147483647 73012 28 | 0.000 % |
66.81/66.88 c | 73146 | 636 56659 238983 | 2147483647 73146 28 | 0.000 % |
67.11/67.14 c | 73293 | 636 56659 238983 | 2147483647 73293 28 | 0.000 % |
67.31/67.40 c | 73456 | 636 56659 238983 | 2147483647 73456 28 | 0.000 % |
67.61/67.69 c | 73632 | 636 56659 238983 | 2147483647 73632 28 | 0.000 % |
67.91/67.99 c | 73828 | 636 56659 238983 | 2147483647 73828 28 | 0.000 % |
68.31/68.31 c | 74043 | 636 56659 238983 | 2147483647 74043 28 | 0.000 % |
68.81/68.81 c | 74276 | 636 56659 238983 | 2147483647 74276 28 | 0.000 % |
69.21/69.23 c | 74536 | 636 56659 238983 | 2147483647 74536 28 | 0.000 % |
69.81/69.81 c | 74817 | 636 56659 238983 | 2147483647 74817 28 | 0.000 % |
70.31/70.32 c | 75127 | 636 56659 238983 | 2147483647 75127 28 | 0.000 % |
70.71/70.80 c | 75468 | 636 56659 238983 | 2147483647 75468 28 | 0.000 % |
71.31/71.34 c | 75841 | 636 56659 238983 | 2147483647 75841 28 | 0.000 % |
72.01/72.06 c | 76250 | 636 56659 238983 | 2147483647 76250 28 | 0.000 % |
72.91/72.95 c | 76702 | 636 56659 238983 | 2147483647 76702 28 | 0.000 % |
73.61/73.66 c | 77198 | 636 56659 238983 | 2147483647 77198 28 | 0.000 % |
74.51/74.53 c | 77741 | 636 56659 238983 | 2147483647 77741 28 | 0.000 % |
75.41/75.46 c | 78337 | 636 56659 238983 | 2147483647 78337 28 | 0.000 % |
76.41/76.44 c | 78992 | 636 56659 238983 | 2147483647 78992 28 | 0.000 % |
77.51/77.55 c | 79712 | 636 56659 238983 | 2147483647 79712 28 | 0.000 % |
78.81/78.81 c | 80505 | 636 56659 238983 | 2147483647 80505 28 | 0.000 % |
80.51/80.53 c | 81376 | 636 56659 238983 | 2147483647 81376 28 | 0.000 % |
82.11/82.13 c | 82335 | 636 56659 238983 | 2147483647 82335 28 | 0.000 % |
82.31/82.35 c | 82437 | 636 56659 238983 | 2147483647 82437 28 | 0.000 % |
82.52/82.55 c | 82547 | 636 56659 238983 | 2147483647 82547 28 | 0.000 % |
82.81/82.82 c | 82671 | 636 56659 238983 | 2147483647 82671 28 | 0.000 % |
83.01/83.09 c | 82811 | 636 56659 238983 | 2147483647 82811 28 | 0.000 % |
83.31/83.39 c | 82958 | 636 56659 238983 | 2147483647 82958 28 | 0.000 % |
83.62/83.70 c | 83118 | 636 56659 238983 | 2147483647 83118 28 | 0.000 % |
83.91/83.97 c | 83294 | 636 56659 238983 | 2147483647 83294 28 | 0.000 % |
84.21/84.29 c | 83487 | 636 56659 238983 | 2147483647 83487 28 | 0.000 % |
84.61/84.66 c | 83699 | 636 56659 238983 | 2147483647 83699 28 | 0.000 % |
85.01/85.07 c | 83932 | 636 56659 238983 | 2147483647 83932 28 | 0.000 % |
85.51/85.59 c | 84189 | 636 56659 238983 | 2147483647 84189 28 | 0.000 % |
86.01/86.07 c | 84472 | 636 56659 238983 | 2147483647 84472 28 | 0.000 % |
86.51/86.55 c | 84781 | 636 56659 238983 | 2147483647 84781 28 | 0.000 % |
87.01/87.10 c | 85123 | 636 56659 238983 | 2147483647 85123 28 | 0.000 % |
87.61/87.66 c | 85496 | 636 56659 238983 | 2147483647 85496 28 | 0.000 % |
88.31/88.39 c | 85905 | 636 56659 238983 | 2147483647 85905 28 | 0.000 % |
89.21/89.24 c | 86355 | 636 56659 238983 | 2147483647 86355 28 | 0.000 % |
90.01/90.08 c | 86848 | 636 56659 238983 | 2147483647 86848 28 | 0.000 % |
90.91/91.00 c | 87390 | 636 56659 238983 | 2147483647 87390 28 | 0.000 % |
91.91/91.91 c | 87987 | 636 56659 238983 | 2147483647 87987 28 | 0.000 % |
92.91/92.94 c | 88643 | 636 56659 238983 | 2147483647 88643 28 | 0.000 % |
94.31/94.39 c | 89363 | 636 56659 238983 | 2147483647 89363 28 | 0.000 % |
95.72/95.76 c | 90155 | 636 56659 238983 | 2147483647 90155 28 | 0.000 % |
97.41/97.41 c | 91031 | 636 56659 238983 | 2147483647 91031 28 | 0.000 % |
99.41/99.40 c | 91990 | 636 56659 238983 | 2147483647 91990 28 | 0.000 % |
101.61/101.66 c | 93043 | 636 56659 238983 | 2147483647 93043 28 | 0.000 % |
101.91/101.93 c | 93143 | 636 56659 238983 | 2147483647 93143 28 | 0.000 % |
102.21/102.24 c | 93254 | 636 56659 238983 | 2147483647 93254 28 | 0.000 % |
102.41/102.48 c | 93377 | 636 56659 238983 | 2147483647 93377 28 | 0.000 % |
102.71/102.78 c | 93513 | 636 56659 238983 | 2147483647 93513 28 | 0.000 % |
103.11/103.16 c | 93659 | 636 56659 238983 | 2147483647 93659 28 | 0.000 % |
103.51/103.52 c | 93819 | 636 56659 238983 | 2147483647 93819 28 | 0.000 % |
103.81/103.89 c | 93997 | 636 56659 238983 | 2147483647 93997 28 | 0.000 % |
104.21/104.27 c | 94190 | 636 56659 238983 | 2147483647 94190 28 | 0.000 % |
104.61/104.67 c | 94404 | 636 56659 238983 | 2147483647 94404 28 | 0.000 % |
105.11/105.12 c | 94637 | 636 56659 238983 | 2147483647 94637 28 | 0.000 % |
105.62/105.64 c | 94893 | 636 56659 238983 | 2147483647 94893 28 | 0.000 % |
106.21/106.29 c | 95176 | 636 56659 238983 | 2147483647 95176 28 | 0.000 % |
106.81/106.82 c | 95485 | 636 56659 238983 | 2147483647 95485 28 | 0.000 % |
107.41/107.46 c | 95826 | 636 56659 238983 | 2147483647 95826 28 | 0.000 % |
108.31/108.33 c | 96200 | 636 56659 238983 | 2147483647 96200 28 | 0.000 % |
109.11/109.14 c | 96609 | 636 56659 238983 | 2147483647 96609 28 | 0.000 % |
110.02/110.05 c | 97059 | 636 56659 238983 | 2147483647 97059 28 | 0.000 % |
111.12/111.18 c | 97553 | 636 56659 238983 | 2147483647 97553 28 | 0.000 % |
112.51/112.55 c | 98095 | 636 56659 238983 | 2147483647 98095 28 | 0.000 % |
114.01/114.00 c | 98691 | 636 56659 238983 | 2147483647 98691 28 | 0.000 % |
115.32/115.37 c | 99347 | 636 56659 238983 | 2147483647 99347 28 | 0.000 % |
116.62/116.67 c | 100067 | 636 56659 238983 | 2147483647 100067 28 | 0.000 % |
118.22/118.24 c | 100859 | 636 56659 238983 | 2147483647 100859 28 | 0.000 % |
119.72/119.71 c | 101730 | 636 56659 238983 | 2147483647 101730 28 | 0.000 % |
121.62/121.67 c | 102689 | 636 56659 238983 | 2147483647 102689 28 | 0.000 % |
123.22/123.27 c | 103744 | 636 56659 238983 | 2147483647 103744 28 | 0.000 % |
125.12/125.12 c | 104903 | 636 56659 238983 | 2147483647 104903 28 | 0.000 % |
125.22/125.27 c | 105004 | 636 56659 238983 | 2147483647 105004 28 | 0.000 % |
125.52/125.58 c | 105115 | 636 56659 238983 | 2147483647 105115 28 | 0.000 % |
125.82/125.86 c | 105237 | 636 56659 238983 | 2147483647 105237 28 | 0.000 % |
126.02/126.08 c | 105371 | 636 56659 238983 | 2147483647 105371 28 | 0.000 % |
126.32/126.32 c | 105521 | 636 56659 238983 | 2147483647 105521 28 | 0.000 % |
126.62/126.63 c | 105681 | 636 56659 238983 | 2147483647 105681 28 | 0.000 % |
126.92/126.97 c | 105861 | 636 56659 238983 | 2147483647 105861 28 | 0.000 % |
127.22/127.28 c | 106054 | 636 56659 238983 | 2147483647 106054 28 | 0.000 % |
127.82/127.85 c | 106266 | 636 56659 238983 | 2147483647 106266 28 | 0.000 % |
128.32/128.37 c | 106499 | 636 56659 238983 | 2147483647 106499 28 | 0.000 % |
128.82/128.85 c | 106755 | 636 56659 238983 | 2147483647 106755 28 | 0.000 % |
129.32/129.35 c | 107041 | 636 56659 238983 | 2147483647 107041 28 | 0.000 % |
129.92/129.95 c | 107352 | 636 56659 238983 | 2147483647 107352 28 | 0.000 % |
130.52/130.55 c | 107691 | 636 56659 238983 | 2147483647 107691 28 | 0.000 % |
131.12/131.18 c | 108064 | 636 56659 238983 | 2147483647 108064 28 | 0.000 % |
132.02/132.04 c | 108476 | 636 56659 238983 | 2147483647 108476 28 | 0.000 % |
132.82/132.90 c | 108927 | 636 56659 238983 | 2147483647 108927 28 | 0.000 % |
133.72/133.79 c | 109421 | 636 56659 238983 | 2147483647 109421 28 | 0.000 % |
134.72/134.72 c | 109965 | 636 56659 238983 | 2147483647 109965 28 | 0.000 % |
135.72/135.77 c | 110562 | 636 56659 238983 | 2147483647 110562 28 | 0.000 % |
137.12/137.18 c | 111217 | 636 56659 238983 | 2147483647 111217 28 | 0.000 % |
138.62/138.63 c | 111938 | 636 56659 238983 | 2147483647 111938 28 | 0.000 % |
140.22/140.28 c | 112730 | 636 56659 238983 | 2147483647 112730 28 | 0.000 % |
141.92/141.91 c | 113602 | 636 56659 238983 | 2147483647 113602 28 | 0.000 % |
143.62/143.70 c | 114560 | 636 56659 238983 | 2147483647 114560 28 | 0.000 % |
146.22/146.28 c | 115613 | 636 56659 238983 | 2147483647 115613 28 | 0.000 % |
148.72/148.76 c | 116772 | 636 56659 238983 | 2147483647 116772 28 | 0.000 % |
151.42/151.50 c | 118047 | 636 56659 238983 | 2147483647 118047 28 | 0.000 % |
151.82/151.82 c | 118150 | 636 56659 238983 | 2147483647 118150 28 | 0.000 % |
152.02/152.08 c | 118260 | 636 56659 238983 | 2147483647 118260 28 | 0.000 % |
152.32/152.31 c | 118383 | 636 56659 238983 | 2147483647 118383 28 | 0.000 % |
152.52/152.54 c | 118518 | 636 56659 238983 | 2147483647 118518 28 | 0.000 % |
152.92/152.93 c | 118665 | 636 56659 238983 | 2147483647 118665 28 | 0.000 % |
153.22/153.26 c | 118825 | 636 56659 238983 | 2147483647 118825 28 | 0.000 % |
153.62/153.67 c | 119003 | 636 56659 238983 | 2147483647 119003 28 | 0.000 % |
154.12/154.14 c | 119199 | 636 56659 238983 | 2147483647 119199 28 | 0.000 % |
154.52/154.60 c | 119411 | 636 56659 238983 | 2147483647 119411 28 | 0.000 % |
155.12/155.13 c | 119647 | 636 56659 238983 | 2147483647 119647 28 | 0.000 % |
155.72/155.71 c | 119906 | 636 56659 238983 | 2147483647 119906 28 | 0.000 % |
156.22/156.23 c | 120189 | 636 56659 238983 | 2147483647 120189 28 | 0.000 % |
156.92/156.92 c | 120498 | 636 56659 238983 | 2147483647 120498 28 | 0.000 % |
157.82/157.82 c | 120839 | 636 56659 238983 | 2147483647 120839 28 | 0.000 % |
158.72/158.72 c | 121212 | 636 56659 238983 | 2147483647 121212 28 | 0.000 % |
159.42/159.50 c | 121622 | 636 56659 238983 | 2147483647 121622 28 | 0.000 % |
160.32/160.31 c | 122071 | 636 56659 238983 | 2147483647 122071 28 | 0.000 % |
161.52/161.57 c | 122564 | 636 56659 238983 | 2147483647 122564 28 | 0.000 % |
162.83/162.85 c | 123106 | 636 56659 238983 | 2147483647 123106 28 | 0.000 % |
164.02/164.09 c | 123702 | 636 56659 238983 | 2147483647 123702 28 | 0.000 % |
165.52/165.60 c | 124359 | 636 56659 238983 | 2147483647 124359 28 | 0.000 % |
167.12/167.11 c | 125080 | 636 56659 238983 | 2147483647 125080 28 | 0.000 % |
168.92/168.99 c | 125874 | 636 56659 238983 | 2147483647 125874 28 | 0.000 % |
171.12/171.15 c | 126746 | 636 56659 238983 | 2147483647 126746 28 | 0.000 % |
173.52/173.54 c | 127707 | 636 56659 238983 | 2147483647 127707 28 | 0.000 % |
175.82/175.90 c | 128761 | 636 56659 238983 | 2147483647 128761 28 | 0.000 % |
178.32/178.39 c | 129919 | 636 56659 238983 | 2147483647 129919 28 | 0.000 % |
181.42/181.42 c | 131193 | 636 56659 238983 | 2147483647 131193 28 | 0.000 % |
184.83/184.82 c | 132595 | 636 56659 238983 | 2147483647 132595 28 | 0.000 % |
185.02/185.03 c | 132695 | 636 56659 238983 | 2147483647 132695 28 | 0.000 % |
185.22/185.29 c | 132806 | 636 56659 238983 | 2147483647 132806 28 | 0.000 % |
185.52/185.51 c | 132928 | 636 56659 238983 | 2147483647 132928 28 | 0.000 % |
185.82/185.81 c | 133061 | 636 56659 238983 | 2147483647 133061 28 | 0.000 % |
186.02/186.09 c | 133210 | 636 56659 238983 | 2147483647 133210 28 | 0.000 % |
186.32/186.40 c | 133370 | 636 56659 238983 | 2147483647 133370 28 | 0.000 % |
186.72/186.74 c | 133546 | 636 56659 238983 | 2147483647 133546 28 | 0.000 % |
187.03/187.08 c | 133742 | 636 56659 238983 | 2147483647 133742 28 | 0.000 % |
187.52/187.53 c | 133954 | 636 56659 238983 | 2147483647 133954 28 | 0.000 % |
187.92/187.97 c | 134187 | 636 56659 238983 | 2147483647 134187 28 | 0.000 % |
188.42/188.46 c | 134443 | 636 56659 238983 | 2147483647 134443 28 | 0.000 % |
189.02/189.06 c | 134725 | 636 56659 238983 | 2147483647 134725 28 | 0.000 % |
189.62/189.69 c | 135034 | 636 56659 238983 | 2147483647 135034 28 | 0.000 % |
190.22/190.22 c | 135373 | 636 56659 238983 | 2147483647 135373 28 | 0.000 % |
190.62/190.69 c | 135745 | 636 56659 238983 | 2147483647 135745 28 | 0.000 % |
191.22/191.21 c | 136156 | 636 56659 238983 | 2147483647 136156 28 | 0.000 % |
193.22/193.25 c | 136607 | 636 56659 238983 | 2147483647 136607 28 | 0.000 % |
195.12/195.16 c | 137102 | 636 56659 238983 | 2147483647 137102 27 | 0.000 % |
196.02/196.08 c | 137644 | 636 56659 238983 | 2147483647 137644 27 | 0.000 % |
197.73/197.74 c | 138240 | 636 56659 238983 | 2147483647 138240 27 | 0.000 % |
199.53/199.53 c | 138895 | 636 56659 238983 | 2147483647 138895 27 | 0.000 % |
201.43/201.50 c | 139618 | 636 56659 238983 | 2147483647 139618 27 | 0.000 % |
203.03/203.11 c | 140410 | 636 56659 238983 | 2147483647 140410 27 | 0.000 % |
205.83/205.87 c | 141282 | 636 56659 238983 | 2147483647 141282 27 | 0.000 % |
209.03/209.08 c | 142241 | 636 56659 238983 | 2147483647 142241 27 | 0.000 % |
211.73/211.74 c | 143295 | 636 56659 238983 | 2147483647 143295 27 | 0.000 % |
214.83/214.85 c | 144455 | 636 56659 238983 | 2147483647 144455 27 | 0.000 % |
216.13/216.15 c | 145733 | 636 56659 238983 | 2147483647 145733 27 | 0.000 % |
217.93/217.93 c | 147136 | 636 56659 238983 | 2147483647 147136 27 | 0.002 % |
224.53/224.54 c | 148679 | 636 56659 238983 | 2147483647 148679 27 | 0.000 % |
224.83/224.81 c | 148782 | 636 56659 238983 | 2147483647 148782 27 | 0.000 % |
225.13/225.11 c | 148893 | 636 56659 238983 | 2147483647 148893 27 | 0.000 % |
225.33/225.34 c | 149015 | 636 56659 238983 | 2147483647 149015 27 | 0.000 % |
226.13/226.20 c | 149148 | 636 56659 238983 | 2147483647 149148 27 | 0.000 % |
227.03/227.06 c | 149295 | 636 56659 238983 | 2147483647 149295 27 | 0.000 % |
227.93/227.94 c | 149457 | 636 56659 238983 | 2147483647 149457 27 | 0.000 % |
228.73/228.80 c | 149634 | 636 56659 238983 | 2147483647 149634 27 | 0.000 % |
229.93/230.00 c | 149829 | 636 56659 238983 | 2147483647 149829 27 | 0.000 % |
231.03/231.08 c | 150041 | 636 56659 238983 | 150000 150041 27 | 0.000 % |
232.43/232.49 c | 150275 | 636 56659 238983 | 150000 125119 27 | 0.000 % |
234.03/234.07 c | 150532 | 636 56659 238983 | 150000 125376 27 | 0.000 % |
235.13/235.11 c | 150815 | 636 56659 238983 | 150000 125659 27 | 0.000 % |
236.33/236.35 c | 151125 | 636 56659 238983 | 150000 125969 27 | 0.000 % |
236.73/236.73 c | 151464 | 636 56659 238983 | 150000 126308 27 | 0.000 % |
237.13/237.14 c | 151837 | 636 56659 238983 | 150000 126681 27 | 0.000 % |
237.63/237.69 c | 152247 | 636 56659 238983 | 150000 127091 27 | 0.000 % |
239.63/239.70 c | 152696 | 636 56659 238983 | 150000 127540 27 | 0.000 % |
242.43/242.47 c | 153189 | 636 56659 238983 | 150000 128033 27 | 0.000 % |
243.53/243.56 c | 153731 | 636 56659 238983 | 150000 128575 27 | 0.000 % |
246.63/246.64 c | 154327 | 636 56659 238983 | 150000 129171 27 | 0.000 % |
250.23/250.30 c | 154982 | 636 56659 238983 | 150000 129826 27 | 0.000 % |
254.23/254.29 c | 155702 | 636 56659 238983 | 150000 130546 27 | 0.000 % |
258.43/258.47 c | 156494 | 636 56659 238983 | 150000 131338 27 | 0.000 % |
263.83/263.87 c | 157365 | 636 56659 238983 | 150000 132209 27 | 0.000 % |
269.03/269.07 c | 158328 | 636 56659 238983 | 150000 133172 27 | 0.000 % |
274.53/274.52 c | 159381 | 636 56659 238983 | 150000 134225 27 | 0.000 % |
282.74/282.72 c | 160541 | 636 56659 238983 | 134844 97140 26 | 0.000 % |
288.14/288.15 c | 161814 | 636 56659 238983 | 134844 98413 26 | 0.000 % |
293.74/293.79 c | 163214 | 636 56659 238983 | 134844 99813 26 | 0.000 % |
299.64/299.64 c | 164754 | 636 56659 238983 | 134844 101353 26 | 0.000 % |
306.34/306.37 c | 166448 | 636 56659 238983 | 134844 103047 26 | 0.000 % |
306.74/306.73 c | 166550 | 636 56659 238983 | 134844 103149 26 | 0.000 % |
307.34/307.38 c | 166663 | 636 56659 238983 | 134844 103262 26 | 0.000 % |
307.84/307.86 c | 166785 | 636 56659 238983 | 134844 103384 26 | 0.000 % |
308.14/308.16 c | 166918 | 636 56659 238983 | 134844 103517 26 | 0.000 % |
308.84/308.85 c | 167066 | 636 56659 238983 | 134844 103665 26 | 0.000 % |
309.04/309.05 c | 167229 | 636 56659 238983 | 134844 103828 26 | 0.000 % |
309.44/309.44 c | 167407 | 636 56659 238983 | 134844 104006 26 | 0.000 % |
309.64/309.63 c | 167600 | 636 56659 238983 | 134844 104199 26 | 0.000 % |
309.74/309.80 c | 167812 | 636 56659 238983 | 134844 104411 26 | 0.000 % |
310.04/310.03 c | 168045 | 636 56659 238983 | 134844 104644 26 | 0.000 % |
310.94/310.96 c | 168301 | 636 56659 238983 | 134844 104900 26 | 0.000 % |
312.34/312.32 c | 168582 | 636 56659 238983 | 134844 105181 26 | 0.000 % |
313.14/313.13 c | 168891 | 636 56659 238983 | 134844 105490 26 | 0.000 % |
314.74/314.79 c | 169231 | 636 56659 238983 | 134844 105830 26 | 0.000 % |
316.74/316.73 c | 169603 | 636 56659 238983 | 134844 106202 26 | 0.000 % |
318.14/318.19 c | 170012 | 636 56659 238983 | 106603 106611 26 | 0.000 % |
321.04/321.06 c | 170461 | 636 56659 238983 | 106603 78975 25 | 0.000 % |
322.54/322.53 c | 170954 | 636 56659 238983 | 106603 79468 25 | 0.000 % |
323.34/323.34 c | 171496 | 636 56659 238983 | 106603 80010 25 | 0.000 % |
324.84/324.86 c | 172095 | 636 56659 238983 | 106603 80609 25 | 0.000 % |
326.84/326.83 c | 172750 | 636 56659 238983 | 106603 81264 25 | 0.000 % |
328.34/328.32 c | 173471 | 636 56659 238983 | 106603 81985 25 | 0.000 % |
330.64/330.63 c | 174263 | 636 56659 238983 | 106603 82777 25 | 0.000 % |
333.44/333.44 c | 175134 | 636 56659 238983 | 106603 83648 25 | 0.000 % |
335.14/335.20 c | 176093 | 636 56659 238983 | 106603 84607 25 | 0.000 % |
338.54/338.57 c | 177147 | 636 56659 238983 | 106603 85661 25 | 0.000 % |
341.94/342.00 c | 178306 | 636 56659 238983 | 106603 86820 26 | 0.000 % |
344.44/344.46 c | 179580 | 636 56659 238983 | 106603 88094 26 | 0.000 % |
348.64/348.64 c | 180981 | 636 56659 238983 | 88514 67554 25 | 0.000 % |
352.24/352.30 c | 182521 | 636 56659 238983 | 88514 69094 26 | 0.000 % |
355.04/355.03 c | 184216 | 636 56659 238983 | 88514 70789 26 | 0.000 % |
359.24/359.25 c | 186079 | 636 56659 238983 | 88514 72652 26 | 0.000 % |
359.44/359.51 c | 186179 | 636 56659 238983 | 88514 72752 26 | 0.000 % |
359.75/359.77 c | 186289 | 636 56659 238983 | 88514 72862 26 | 0.000 % |
360.04/360.05 c | 186411 | 636 56659 238983 | 88514 72984 26 | 0.000 % |
360.34/360.31 c | 186544 | 636 56659 238983 | 88514 73117 26 | 0.000 % |
360.74/360.73 c | 186690 | 636 56659 238983 | 88514 73263 26 | 0.000 % |
361.05/361.08 c | 186851 | 636 56659 238983 | 88514 73424 26 | 0.000 % |
361.45/361.50 c | 187028 | 636 56659 238983 | 88514 73601 26 | 0.000 % |
361.95/361.96 c | 187221 | 636 56659 238983 | 88514 73794 26 | 0.000 % |
362.45/362.48 c | 187433 | 636 56659 238983 | 88514 74006 26 | 0.000 % |
363.05/363.06 c | 187666 | 636 56659 238983 | 88514 74239 26 | 0.000 % |
363.65/363.64 c | 187925 | 636 56659 238983 | 88514 74498 26 | 0.000 % |
364.15/364.21 c | 188208 | 636 56659 238983 | 88514 74781 26 | 0.000 % |
364.85/364.82 c | 188518 | 636 56659 238983 | 88514 75091 26 | 0.000 % |
365.65/365.68 c | 188859 | 636 56659 238983 | 88514 75432 26 | 0.000 % |
366.55/366.52 c | 189231 | 636 56659 238983 | 88514 75804 26 | 0.000 % |
367.45/367.49 c | 189643 | 636 56659 238983 | 88514 76216 26 | 0.000 % |
368.45/368.47 c | 190093 | 636 56659 238983 | 2147483647 76666 26 | 0.000 % |
369.75/369.76 c | 190586 | 636 56659 238983 | 2147483647 77159 26 | 0.000 % |
371.35/371.39 c | 191131 | 636 56659 238983 | 2147483647 77704 26 | 0.000 % |
372.05/372.08 c | 191730 | 636 56659 238983 | 2147483647 78303 26 | 0.000 % |
373.75/373.76 c | 192385 | 636 56659 238983 | 2147483647 78958 26 | 0.000 % |
375.55/375.54 c | 193105 | 636 56659 238983 | 2147483647 79678 27 | 0.000 % |
377.75/377.72 c | 193897 | 636 56659 238983 | 2147483647 80470 27 | 0.000 % |
379.95/379.96 c | 194768 | 636 56659 238983 | 2147483647 81341 27 | 0.000 % |
382.05/382.09 c | 195729 | 636 56659 238983 | 2147483647 82302 27 | 0.000 % |
384.35/384.39 c | 196785 | 636 56659 238983 | 2147483647 83358 27 | 0.000 % |
386.95/386.98 c | 197947 | 636 56659 238983 | 2147483647 84520 26 | 0.000 % |
389.95/390.01 c | 199220 | 636 56659 238983 | 2147483647 85793 26 | 0.000 % |
393.45/393.47 c | 200621 | 636 56659 238983 | 2147483647 87194 26 | 0.000 % |
396.55/396.52 c | 202161 | 636 56659 238983 | 2147483647 88734 26 | 0.000 % |
399.85/399.87 c | 203857 | 636 56659 238983 | 2147483647 90430 26 | 0.000 % |
403.55/403.57 c | 205722 | 636 56659 238983 | 2147483647 92295 26 | 0.000 % |
408.75/408.80 c | 207771 | 636 56659 238983 | 2147483647 94344 26 | 0.000 % |
409.05/409.06 c | 207874 | 636 56659 238983 | 2147483647 94447 26 | 0.002 % |
409.35/409.35 c | 207985 | 636 56659 238983 | 2147483647 94558 26 | 0.000 % |
409.65/409.62 c | 208109 | 636 56659 238983 | 2147483647 94682 26 | 0.000 % |
409.95/409.93 c | 208242 | 636 56659 238983 | 2147483647 94815 26 | 0.000 % |
410.25/410.28 c | 208388 | 636 56659 238983 | 2147483647 94961 26 | 0.000 % |
410.75/410.72 c | 208549 | 636 56659 238983 | 2147483647 95122 26 | 0.000 % |
411.25/411.24 c | 208725 | 636 56659 238983 | 2147483647 95298 26 | 0.000 % |
411.65/411.65 c | 208918 | 636 56659 238983 | 2147483647 95491 26 | 0.000 % |
412.15/412.21 c | 209131 | 636 56659 238983 | 2147483647 95704 26 | 0.000 % |
412.85/412.90 c | 209367 | 636 56659 238983 | 2147483647 95940 27 | 0.000 % |
413.55/413.53 c | 209623 | 636 56659 238983 | 2147483647 96196 27 | 0.000 % |
414.24/414.24 c | 209908 | 636 56659 238983 | 2147483647 96481 27 | 0.000 % |
415.04/415.01 c | 210219 | 636 56659 238983 | 2147483647 96792 27 | 0.000 % |
415.85/415.85 c | 210558 | 636 56659 238983 | 2147483647 97131 27 | 0.000 % |
416.74/416.79 c | 210931 | 636 56659 238983 | 2147483647 97504 27 | 0.000 % |
417.44/417.42 c | 211340 | 636 56659 238983 | 2147483647 97913 27 | 0.000 % |
418.84/418.82 c | 211789 | 636 56659 238983 | 2147483647 98362 27 | 0.000 % |
420.14/420.14 c | 212284 | 636 56659 238983 | 2147483647 98857 27 | 0.000 % |
421.35/421.38 c | 212827 | 636 56659 238983 | 2147483647 99400 27 | 0.000 % |
422.74/422.79 c | 213423 | 636 56659 238983 | 2147483647 99996 27 | 0.000 % |
424.34/424.34 c | 214078 | 636 56659 238983 | 2147483647 100651 27 | 0.000 % |
426.34/426.34 c | 214800 | 636 56659 238983 | 2147483647 101373 27 | 0.000 % |
428.34/428.32 c | 215592 | 636 56659 238983 | 2147483647 102165 27 | 0.000 % |
430.94/430.91 c | 216463 | 636 56659 238983 | 2147483647 103036 27 | 0.000 % |
433.45/433.43 c | 217421 | 636 56659 238983 | 2147483647 103994 27 | 0.000 % |
436.04/436.01 c | 218474 | 636 56659 238983 | 2147483647 105047 27 | 0.000 % |
438.95/438.93 c | 219635 | 636 56659 238983 | 2147483647 106208 27 | 0.000 % |
441.94/441.92 c | 220909 | 636 56659 238983 | 106576 96797 27 | 0.000 % |
444.65/444.64 c | 222310 | 636 56659 238983 | 106576 98198 27 | 0.000 % |
447.25/447.29 c | 223851 | 636 56659 238983 | 106576 99739 27 | 0.000 % |
450.45/450.45 c | 225546 | 636 56659 238983 | 106576 101434 27 | 0.000 % |
454.45/454.46 c | 227409 | 636 56659 238983 | 106576 103297 27 | 0.000 % |
458.85/458.83 c | 229459 | 636 56659 238983 | 106576 105347 27 | 0.000 % |
463.45/463.48 c | 231713 | 636 56659 238983 | 2147483647 107601 27 | 0.000 % |
463.65/463.67 c | 231814 | 636 56659 238983 | 2147483647 107702 27 | 0.000 % |
463.95/463.93 c | 231924 | 636 56659 238983 | 2147483647 107812 27 | 0.000 % |
464.15/464.19 c | 232049 | 636 56659 238983 | 2147483647 107937 27 | 0.000 % |
464.45/464.51 c | 232183 | 636 56659 238983 | 2147483647 108071 27 | 0.000 % |
464.85/464.81 c | 232329 | 636 56659 238983 | 2147483647 108217 27 | 0.000 % |
465.15/465.18 c | 232489 | 636 56659 238983 | 2147483647 108377 27 | 0.000 % |
465.55/465.59 c | 232667 | 636 56659 238983 | 2147483647 108555 27 | 0.000 % |
465.95/465.96 c | 232860 | 636 56659 238983 | 2147483647 108748 27 | 0.000 % |
466.35/466.39 c | 233072 | 636 56659 238983 | 2147483647 108960 27 | 0.000 % |
467.05/467.01 c | 233305 | 636 56659 238983 | 2147483647 109193 27 | 0.000 % |
467.55/467.60 c | 233563 | 636 56659 238983 | 2147483647 109451 27 | 0.000 % |
468.25/468.25 c | 233844 | 636 56659 238983 | 2147483647 109732 27 | 0.000 % |
468.85/468.88 c | 234153 | 636 56659 238983 | 2147483647 110041 27 | 0.000 % |
469.55/469.59 c | 234493 | 636 56659 238983 | 2147483647 110381 27 | 0.000 % |
470.35/470.37 c | 234866 | 636 56659 238983 | 2147483647 110754 27 | 0.000 % |
471.25/471.24 c | 235275 | 636 56659 238983 | 2147483647 111163 27 | 0.000 % |
472.15/472.14 c | 235724 | 636 56659 238983 | 2147483647 111612 27 | 0.000 % |
473.15/473.17 c | 236218 | 636 56659 238983 | 2147483647 112106 27 | 0.000 % |
474.15/474.16 c | 236761 | 636 56659 238983 | 2147483647 112649 27 | 0.000 % |
475.65/475.64 c | 237359 | 636 56659 238983 | 2147483647 113247 27 | 0.000 % |
477.25/477.25 c | 238014 | 636 56659 238983 | 2147483647 113902 27 | 0.000 % |
478.95/478.96 c | 238736 | 636 56659 238983 | 2147483647 114624 27 | 0.000 % |
480.65/480.62 c | 239530 | 636 56659 238983 | 2147483647 115418 27 | 0.000 % |
482.65/482.67 c | 240403 | 636 56659 238983 | 2147483647 116291 27 | 0.000 % |
484.95/484.96 c | 241361 | 636 56659 238983 | 2147483647 117249 27 | 0.000 % |
487.35/487.32 c | 242416 | 636 56659 238983 | 2147483647 118304 27 | 0.000 % |
490.05/490.07 c | 243575 | 636 56659 238983 | 2147483647 119463 27 | 0.000 % |
493.25/493.29 c | 244848 | 636 56659 238983 | 2147483647 120736 27 | 0.000 % |
496.05/496.04 c | 246252 | 636 56659 238983 | 2147483647 122140 27 | 0.000 % |
499.95/499.91 c | 247794 | 636 56659 238983 | 2147483647 123682 27 | 0.000 % |
503.75/503.71 c | 249488 | 636 56659 238983 | 2147483647 125376 27 | 0.000 % |
508.65/508.66 c | 251351 | 636 56659 238983 | 2147483647 127239 27 | 0.000 % |
513.85/513.87 c | 253401 | 636 56659 238983 | 2147483647 129289 27 | 0.000 % |
520.05/520.00 c | 255654 | 636 56659 238983 | 2147483647 131542 27 | 0.000 % |
526.46/526.44 c | 258134 | 636 56659 238983 | 2147483647 134022 27 | 0.000 % |
526.66/526.69 c | 258235 | 636 56659 238983 | 2147483647 134123 27 | 0.000 % |
526.96/526.99 c | 258348 | 636 56659 238983 | 2147483647 134236 27 | 0.000 % |
527.26/527.26 c | 258469 | 636 56659 238983 | 2147483647 134357 27 | 0.000 % |
527.56/527.59 c | 258602 | 636 56659 238983 | 2147483647 134490 27 | 0.000 % |
527.96/527.98 c | 258748 | 636 56659 238983 | 2147483647 134636 27 | 0.000 % |
528.36/528.32 c | 258911 | 636 56659 238983 | 2147483647 134799 27 | 0.000 % |
528.76/528.80 c | 259089 | 636 56659 238983 | 2147483647 134977 27 | 0.000 % |
529.36/529.41 c | 259284 | 636 56659 238983 | 2147483647 135172 27 | 0.000 % |
530.06/530.02 c | 259498 | 636 56659 238983 | 2147483647 135386 27 | 0.000 % |
530.76/530.73 c | 259731 | 636 56659 238983 | 2147483647 135619 27 | 0.001 % |
531.46/531.45 c | 259989 | 636 56659 238983 | 2147483647 135877 27 | 0.000 % |
532.46/532.42 c | 260270 | 636 56659 238983 | 135888 122508 27 | 0.000 % |
533.06/533.08 c | 260582 | 636 56659 238983 | 135888 122820 27 | 0.000 % |
533.96/533.92 c | 260925 | 636 56659 238983 | 135888 123163 27 | 0.000 % |
534.86/534.89 c | 261297 | 636 56659 238983 | 135888 123535 27 | 0.000 % |
535.96/535.94 c | 261706 | 636 56659 238983 | 135888 123944 27 | 0.000 % |
537.06/537.05 c | 262155 | 636 56659 238983 | 135888 124393 27 | 0.000 % |
537.96/538.00 c | 262648 | 636 56659 238983 | 135888 124886 27 | 0.000 % |
539.06/539.01 c | 263190 | 636 56659 238983 | 135888 125428 27 | 0.000 % |
540.26/540.27 c | 263786 | 636 56659 238983 | 135888 126024 27 | 0.000 % |
541.56/541.55 c | 264441 | 636 56659 238983 | 135888 126679 27 | 0.000 % |
543.36/543.39 c | 265161 | 636 56659 238983 | 135888 127399 27 | 0.000 % |
544.96/544.92 c | 265956 | 636 56659 238983 | 135888 128194 27 | 0.000 % |
546.76/546.75 c | 266828 | 636 56659 238983 | 135888 129066 27 | 0.000 % |
548.56/548.57 c | 267786 | 636 56659 238983 | 135888 130024 27 | 0.000 % |
549.86/549.89 c | 268840 | 636 56659 238983 | 135888 131078 27 | 0.002 % |
551.26/551.28 c | 269999 | 636 56659 238983 | 135888 132237 27 | 0.002 % |
554.76/554.73 c | 271272 | 636 56659 238983 | 2147483647 133510 27 | 0.002 % |
559.06/559.10 c | 272673 | 636 56659 238983 | 2147483647 134911 27 | 0.002 % |
564.16/564.17 c | 274215 | 636 56659 238983 | 2147483647 136453 27 | 0.000 % |
569.76/569.79 c | 275911 | 636 56659 238983 | 2147483647 138149 27 | 0.000 % |
574.46/574.50 c | 277775 | 636 56659 238983 | 2147483647 140013 27 | 0.000 % |
577.46/577.41 c | 279824 | 636 56659 238983 | 2147483647 142062 27 | 0.000 % |
580.66/580.67 c | 282081 | 636 56659 238983 | 2147483647 144319 27 | 0.000 % |
593.66/593.66 c | 284559 | 636 56659 238983 | 2147483647 146797 27 | 0.000 % |
607.06/607.06 c | 287287 | 636 56659 238983 | 2147483647 149525 27 | 0.000 % |
607.56/607.53 c | 287387 | 636 56659 238983 | 2147483647 149625 27 | 0.000 % |
607.97/608.00 c | 287497 | 636 56659 238983 | 2147483647 149735 27 | 0.000 % |
608.67/608.67 c | 287618 | 636 56659 238983 | 2147483647 149856 27 | 0.000 % |
608.87/608.86 c | 287752 | 636 56659 238983 | 2147483647 149990 27 | 0.000 % |
609.07/609.06 c | 287901 | 636 56659 238983 | 2147483647 150139 27 | 0.000 % |
609.27/609.27 c | 288062 | 636 56659 238983 | 2147483647 150300 27 | 0.000 % |
610.17/610.17 c | 288239 | 636 56659 238983 | 2147483647 150477 27 | 0.000 % |
611.17/611.18 c | 288432 | 636 56659 238983 | 2147483647 150670 27 | 0.000 % |
612.47/612.44 c | 288644 | 636 56659 238983 | 2147483647 150882 27 | 0.000 % |
613.77/613.73 c | 288879 | 636 56659 238983 | 2147483647 151117 27 | 0.000 % |
615.37/615.36 c | 289137 | 636 56659 238983 | 2147483647 151375 27 | 0.000 % |
616.97/617.00 c | 289419 | 636 56659 238983 | 2147483647 151657 27 | 0.000 % |
618.57/618.57 c | 289731 | 636 56659 238983 | 2147483647 151969 27 | 0.000 % |
620.37/620.40 c | 290070 | 636 56659 238983 | 152238 152308 27 | 0.000 % |
623.67/623.62 c | 290444 | 636 56659 238983 | 152238 109695 26 | 0.000 % |
625.47/625.44 c | 290854 | 636 56659 238983 | 152238 110105 26 | 0.000 % |
627.17/627.20 c | 291305 | 636 56659 238983 | 152238 110556 26 | 0.000 % |
629.17/629.18 c | 291798 | 636 56659 238983 | 152238 111049 26 | 0.000 % |
630.97/630.98 c | 292341 | 636 56659 238983 | 152238 111592 26 | 0.000 % |
633.07/633.06 c | 292943 | 636 56659 238983 | 152238 112194 26 | 0.000 % |
635.47/635.51 c | 293600 | 636 56659 238983 | 152238 112851 26 | 0.000 % |
638.37/638.37 c | 294320 | 636 56659 238983 | 152238 113571 26 | 0.000 % |
640.67/640.70 c | 295113 | 636 56659 238983 | 152238 114364 26 | 0.000 % |
641.67/641.62 c | 295988 | 636 56659 238983 | 152238 115239 26 | 0.000 % |
642.67/642.70 c | 296946 | 636 56659 238983 | 152238 116197 26 | 0.000 % |
645.37/645.35 c | 297999 | 636 56659 238983 | 152238 117250 26 | 0.000 % |
650.57/650.53 c | 299158 | 636 56659 238983 | 152238 118409 26 | 0.000 % |
656.07/656.05 c | 300432 | 636 56659 238983 | 119253 97350 25 | 0.000 % |
660.27/660.23 c | 301832 | 636 56659 238983 | 119253 98750 25 | 0.000 % |
664.67/664.65 c | 303372 | 636 56659 238983 | 119253 100290 25 | 0.000 % |
666.27/666.24 c | 305066 | 636 56659 238983 | 119253 101984 25 | 0.000 % |
673.07/673.03 c | 306929 | 636 56659 238983 | 119253 103847 25 | 0.000 % |
680.57/680.58 c | 308980 | 636 56659 238983 | 119253 105898 26 | 0.000 % |
688.37/688.38 c | 311234 | 636 56659 238983 | 106919 88206 25 | 0.000 % |
694.98/694.95 c | 313712 | 636 56659 238983 | 106919 90684 26 | 0.002 % |
702.08/702.04 c | 316438 | 636 56659 238983 | 106919 93410 26 | 0.000 % |
709.28/709.24 c | 319437 | 636 56659 238983 | 106919 96409 26 | 0.000 % |
709.48/709.45 c | 319537 | 636 56659 238983 | 106919 96509 26 | 0.000 % |
709.88/709.88 c | 319648 | 636 56659 238983 | 106919 96620 26 | 0.000 % |
710.08/710.01 c | 319769 | 636 56659 238983 | 106919 96741 26 | 0.000 % |
710.48/710.42 c | 319904 | 636 56659 238983 | 106919 96876 26 | 0.000 % |
710.78/710.77 c | 320051 | 636 56659 238983 | 96972 97023 26 | 0.000 % |
711.78/711.79 c | 320212 | 636 56659 238983 | 96972 75402 25 | 0.000 % |
712.08/712.09 c | 320389 | 636 56659 238983 | 96972 75579 25 | 0.000 % |
712.48/712.44 c | 320583 | 636 56659 238983 | 96972 75773 25 | 0.000 % |
712.78/712.80 c | 320795 | 636 56659 238983 | 96972 75985 25 | 0.000 % |
713.18/713.12 c | 321028 | 636 56659 238983 | 96972 76218 25 | 0.000 % |
713.48/713.49 c | 321284 | 636 56659 238983 | 96972 76474 25 | 0.000 % |
714.08/714.09 c | 321568 | 636 56659 238983 | 96972 76758 26 | 0.000 % |
714.78/714.78 c | 321877 | 636 56659 238983 | 96972 77067 26 | 0.000 % |
715.48/715.47 c | 322216 | 636 56659 238983 | 96972 77406 26 | 0.000 % |
716.18/716.18 c | 322589 | 636 56659 238983 | 96972 77779 26 | 0.000 % |
716.68/716.70 c | 322998 | 636 56659 238983 | 96972 78188 26 | 0.000 % |
717.68/717.68 c | 323447 | 636 56659 238983 | 96972 78637 26 | 0.000 % |
718.58/718.56 c | 323940 | 636 56659 238983 | 96972 79130 26 | 0.000 % |
719.58/719.58 c | 324483 | 636 56659 238983 | 96972 79673 26 | 0.002 % |
720.88/720.91 c | 325081 | 636 56659 238983 | 96972 80271 26 | 0.000 % |
722.18/722.13 c | 325737 | 636 56659 238983 | 96972 80927 26 | 0.000 % |
722.88/722.88 c | 326457 | 636 56659 238983 | 96972 81647 26 | 0.000 % |
724.08/724.03 c | 327249 | 636 56659 238983 | 96972 82439 26 | 0.000 % |
725.48/725.45 c | 328121 | 636 56659 238983 | 96972 83311 26 | 0.000 % |
726.78/726.74 c | 329079 | 636 56659 238983 | 96972 84269 26 | 0.000 % |
729.18/729.21 c | 330136 | 636 56659 238983 | 2147483647 85326 26 | 0.000 % |
730.48/730.50 c | 331294 | 636 56659 238983 | 2147483647 86484 26 | 0.000 % |
732.58/732.52 c | 332569 | 636 56659 238983 | 2147483647 87759 26 | 0.000 % |
734.58/734.59 c | 333969 | 636 56659 238983 | 2147483647 89159 26 | 0.000 % |
737.18/737.20 c | 335511 | 636 56659 238983 | 2147483647 90701 26 | 0.000 % |
740.39/740.37 c | 337206 | 636 56659 238983 | 2147483647 92396 26 | 0.000 % |
744.58/744.55 c | 339070 | 636 56659 238983 | 2147483647 94260 26 | 0.000 % |
749.08/749.09 c | 341119 | 636 56659 238983 | 2147483647 96309 27 | 0.000 % |
754.58/754.60 c | 343372 | 636 56659 238983 | 2147483647 98562 27 | 0.000 % |
759.48/759.46 c | 345851 | 636 56659 238983 | 2147483647 101041 27 | 0.000 % |
764.28/764.26 c | 348576 | 636 56659 238983 | 2147483647 103766 26 | 0.000 % |
769.58/769.54 c | 351575 | 636 56659 238983 | 2147483647 106765 27 | 0.000 % |
774.48/774.44 c | 354871 | 636 56659 238983 | 2147483647 110061 27 | 0.000 % |
774.78/774.72 c | 354973 | 636 56659 238983 | 2147483647 110163 27 | 0.000 % |
774.98/775.00 c | 355083 | 636 56659 238983 | 2147483647 110273 27 | 0.000 % |
775.38/775.31 c | 355205 | 636 56659 238983 | 2147483647 110395 27 | 0.000 % |
775.68/775.67 c | 355338 | 636 56659 238983 | 2147483647 110528 27 | 0.000 % |
776.08/776.02 c | 355485 | 636 56659 238983 | 2147483647 110675 27 | 0.000 % |
776.48/776.48 c | 355649 | 636 56659 238983 | 2147483647 110839 27 | 0.000 % |
776.88/776.90 c | 355829 | 636 56659 238983 | 2147483647 111019 27 | 0.000 % |
777.48/777.43 c | 356022 | 636 56659 238983 | 2147483647 111212 27 | 0.000 % |
778.08/778.09 c | 356235 | 636 56659 238983 | 2147483647 111425 27 | 0.000 % |
778.78/778.74 c | 356470 | 636 56659 238983 | 2147483647 111660 27 | 0.000 % |
779.38/779.35 c | 356726 | 636 56659 238983 | 2147483647 111916 27 | 0.000 % |
779.88/779.83 c | 357007 | 636 56659 238983 | 2147483647 112197 27 | 0.000 % |
780.68/780.67 c | 357316 | 636 56659 238983 | 2147483647 112506 27 | 0.000 % |
781.48/781.43 c | 357656 | 636 56659 238983 | 2147483647 112846 27 | 0.000 % |
782.18/782.14 c | 358028 | 636 56659 238983 | 2147483647 113218 27 | 0.000 % |
783.28/783.24 c | 358437 | 636 56659 238983 | 2147483647 113627 27 | 0.000 % |
784.38/784.34 c | 358886 | 636 56659 238983 | 2147483647 114076 27 | 0.000 % |
785.08/785.06 c | 359379 | 636 56659 238983 | 2147483647 114569 27 | 0.000 % |
785.78/785.79 c | 359921 | 636 56659 238983 | 2147483647 115111 27 | 0.000 % |
786.78/786.75 c | 360517 | 636 56659 238983 | 2147483647 115707 27 | 0.000 % |
788.38/788.35 c | 361172 | 636 56659 238983 | 2147483647 116362 27 | 0.000 % |
789.38/789.34 c | 361896 | 636 56659 238983 | 2147483647 117086 27 | 0.000 % |
790.48/790.45 c | 362690 | 636 56659 238983 | 2147483647 117880 27 | 0.000 % |
791.78/791.71 c | 363563 | 636 56659 238983 | 2147483647 118753 27 | 0.000 % |
794.38/794.36 c | 364522 | 636 56659 238983 | 2147483647 119712 27 | 0.000 % |
797.58/797.53 c | 365576 | 636 56659 238983 | 2147483647 120766 27 | 0.000 % |
800.58/800.51 c | 366734 | 636 56659 238983 | 2147483647 121924 27 | 0.000 % |
803.78/803.75 c | 368011 | 636 56659 238983 | 2147483647 123201 27 | 0.000 % |
807.48/807.46 c | 369413 | 636 56659 238983 | 2147483647 124603 27 | 0.000 % |
811.18/811.16 c | 370956 | 636 56659 238983 | 2147483647 126146 27 | 0.000 % |
816.08/816.04 c | 372657 | 636 56659 238983 | 2147483647 127847 27 | 0.000 % |
820.48/820.45 c | 374520 | 636 56659 238983 | 2147483647 129710 27 | 0.000 % |
825.58/825.59 c | 376569 | 636 56659 238983 | 2147483647 131759 27 | 0.000 % |
831.18/831.16 c | 378824 | 636 56659 238983 | 2147483647 134014 27 | 0.000 % |
838.18/838.18 c | 381302 | 636 56659 238983 | 135195 121807 28 | 0.000 % |
843.58/843.52 c | 384028 | 636 56659 238983 | 135195 124533 28 | 0.000 % |
849.48/849.45 c | 387025 | 636 56659 238983 | 135195 127530 28 | 0.000 % |
857.59/857.52 c | 390321 | 636 56659 238983 | 2147483647 130826 28 | 0.000 % |
865.09/865.09 c | 393946 | 636 56659 238983 | 2147483647 134451 28 | 0.000 % |
865.39/865.32 c | 394046 | 636 56659 238983 | 2147483647 134551 27 | 0.000 % |
865.79/865.76 c | 394156 | 636 56659 238983 | 2147483647 134661 28 | 0.000 % |
866.09/866.10 c | 394278 | 636 56659 238983 | 2147483647 134783 27 | 0.000 % |
866.49/866.45 c | 394411 | 636 56659 238983 | 2147483647 134916 27 | 0.000 % |
866.79/866.80 c | 394557 | 636 56659 238983 | 2147483647 135062 27 | 0.000 % |
867.29/867.30 c | 394719 | 636 56659 238983 | 2147483647 135224 27 | 0.000 % |
867.69/867.69 c | 394895 | 636 56659 238983 | 2147483647 135400 27 | 0.000 % |
868.19/868.15 c | 395089 | 636 56659 238983 | 2147483647 135594 27 | 0.000 % |
868.79/868.71 c | 395301 | 636 56659 238983 | 2147483647 135806 27 | 0.000 % |
869.29/869.30 c | 395535 | 636 56659 238983 | 2147483647 136040 27 | 0.000 % |
870.09/870.08 c | 395791 | 636 56659 238983 | 2147483647 136296 27 | 0.000 % |
870.69/870.70 c | 396072 | 636 56659 238983 | 2147483647 136577 27 | 0.000 % |
871.59/871.60 c | 396381 | 636 56659 238983 | 2147483647 136886 27 | 0.000 % |
872.59/872.52 c | 396720 | 636 56659 238983 | 2147483647 137225 27 | 0.000 % |
873.39/873.37 c | 397095 | 636 56659 238983 | 2147483647 137600 27 | 0.000 % |
874.29/874.29 c | 397505 | 636 56659 238983 | 2147483647 138010 27 | 0.000 % |
875.69/875.66 c | 397954 | 636 56659 238983 | 2147483647 138459 27 | 0.000 % |
876.89/876.85 c | 398449 | 636 56659 238983 | 2147483647 138954 27 | 0.000 % |
877.99/877.94 c | 398992 | 636 56659 238983 | 2147483647 139497 27 | 0.000 % |
879.29/879.28 c | 399588 | 636 56659 238983 | 2147483647 140093 27 | 0.000 % |
880.99/880.91 c | 400247 | 636 56659 238983 | 2147483647 140752 27 | 0.000 % |
882.59/882.57 c | 400968 | 636 56659 238983 | 2147483647 141473 27 | 0.000 % |
884.29/884.30 c | 401760 | 636 56659 238983 | 2147483647 142265 27 | 0.000 % |
885.99/885.98 c | 402632 | 636 56659 238983 | 2147483647 143137 27 | 0.000 % |
888.09/888.03 c | 403590 | 636 56659 238983 | 2147483647 144095 27 | 0.000 % |
890.69/890.64 c | 404647 | 636 56659 238983 | 2147483647 145152 27 | 0.000 % |
893.49/893.45 c | 405807 | 636 56659 238983 | 2147483647 146312 27 | 0.000 % |
896.39/896.36 c | 407082 | 636 56659 238983 | 2147483647 147587 27 | 0.000 % |
900.09/900.07 c | 408487 | 636 56659 238983 | 2147483647 148992 27 | 0.000 % |
904.19/904.12 c | 410027 | 636 56659 238983 | 2147483647 150532 27 | 0.000 % |
908.59/908.56 c | 411721 | 636 56659 238983 | 2147483647 152226 27 | 0.000 % |
913.59/913.56 c | 413586 | 636 56659 238983 | 2147483647 154091 27 | 0.000 % |
919.19/919.15 c | 415635 | 636 56659 238983 | 2147483647 156140 27 | 0.000 % |
923.00/922.97 c | 417892 | 636 56659 238983 | 2147483647 158397 27 | 0.000 % |
930.09/930.07 c | 420371 | 636 56659 238983 | 2147483647 160876 27 | 0.002 % |
937.20/937.13 c | 423096 | 636 56659 238983 | 2147483647 163601 27 | 0.000 % |
954.40/954.38 c | 426095 | 636 56659 238983 | 2147483647 166600 27 | 0.000 % |
969.20/969.14 c | 429391 | 636 56659 238983 | 2147483647 169896 27 | 0.000 % |
986.60/986.51 c | 433019 | 636 56659 238983 | 170506 131017 27 | 0.000 % |
993.20/993.20 c | 437006 | 636 56659 238983 | 170506 135004 27 | 0.000 % |
993.90/993.82 c | 437107 | 636 56659 238983 | 170506 135105 27 | 0.000 % |
994.40/994.37 c | 437221 | 636 56659 238983 | 170506 135219 27 | 0.000 % |
995.00/994.97 c | 437342 | 636 56659 238983 | 170506 135340 27 | 0.000 % |
995.40/995.39 c | 437476 | 636 56659 238983 | 170506 135474 27 | 0.000 % |
996.20/996.19 c | 437622 | 636 56659 238983 | 170506 135620 27 | 0.000 % |
997.00/996.98 c | 437782 | 636 56659 238983 | 170506 135780 27 | 0.000 % |
998.00/997.94 c | 437958 | 636 56659 238983 | 170506 135956 27 | 0.000 % |
998.91/998.90 c | 438151 | 636 56659 238983 | 170506 136149 27 | 0.000 % |
999.90/999.91 c | 438363 | 636 56659 238983 | 170506 136361 27 | 0.000 % |
1001.30/1001.24 c | 438600 | 636 56659 238983 | 170506 136598 27 | 0.000 % |
1002.40/1002.31 c | 438856 | 636 56659 238983 | 170506 136854 27 | 0.000 % |
1003.90/1003.84 c | 439140 | 636 56659 238983 | 170506 137138 27 | 0.000 % |
1005.60/1005.56 c | 439451 | 636 56659 238983 | 170506 137449 27 | 0.000 % |
1007.10/1007.02 c | 439790 | 636 56659 238983 | 170506 137788 27 | 0.000 % |
1010.90/1010.90 c | 440162 | 636 56659 238983 | 137998 107651 26 | 0.000 % |
1011.60/1011.53 c | 440571 | 636 56659 238983 | 137998 108060 26 | 0.000 % |
1013.70/1013.62 c | 441022 | 636 56659 238983 | 137998 108511 26 | 0.000 % |
1015.50/1015.40 c | 441515 | 636 56659 238983 | 137998 109004 26 | 0.000 % |
1017.61/1017.54 c | 442064 | 636 56659 238983 | 137998 109553 26 | 0.000 % |
1020.11/1020.06 c | 442661 | 636 56659 238983 | 137998 110150 26 | 0.000 % |
1022.71/1022.65 c | 443316 | 636 56659 238983 | 137998 110805 26 | 0.000 % |
1026.21/1026.20 c | 444036 | 636 56659 238983 | 137998 111525 26 | 0.000 % |
1029.71/1029.70 c | 444828 | 636 56659 238983 | 137998 112317 26 | 0.000 % |
1032.91/1032.86 c | 445700 | 636 56659 238983 | 137998 113189 26 | 0.000 % |
1035.81/1035.78 c | 446661 | 636 56659 238983 | 137998 114150 26 | 0.000 % |
1038.82/1038.80 c | 447714 | 636 56659 238983 | 137998 115203 26 | 0.000 % |
1040.22/1040.20 c | 448873 | 636 56659 238983 | 137998 116362 26 | 0.000 % |
1044.02/1044.01 c | 450147 | 636 56659 238983 | 117490 91844 25 | 0.000 % |
1047.72/1047.67 c | 451548 | 636 56659 238983 | 117490 93245 25 | 0.000 % |
1053.92/1053.88 c | 453090 | 636 56659 238983 | 117490 94787 25 | 0.000 % |
1060.52/1060.43 c | 454787 | 636 56659 238983 | 117490 96484 26 | 0.000 % |
1065.92/1065.85 c | 456650 | 636 56659 238983 | 117490 98347 26 | 0.000 % |
1071.22/1071.12 c | 458699 | 636 56659 238983 | 117490 100396 26 | 0.000 % |
1078.92/1078.87 c | 460954 | 636 56659 238983 | 101698 82086 25 | 0.000 % |
1085.42/1085.38 c | 463432 | 636 56659 238983 | 101698 84564 25 | 0.000 % |
1091.52/1091.48 c | 466158 | 636 56659 238983 | 101698 87290 24 | 0.000 % |
1094.72/1094.62 c | 469158 | 636 56659 238983 | 101698 90290 24 | 0.000 % |
1101.73/1101.65 c | 472454 | 636 56659 238983 | 2147483647 93586 24 | 0.000 % |
1110.63/1110.54 c | 476080 | 636 56659 238983 | 2147483647 97212 24 | 0.000 % |
1123.23/1123.13 c | 480067 | 636 56659 238983 | 101134 101199 25 | 0.000 % |
1135.32/1135.24 c | 484453 | 636 56659 238983 | 101134 94113 25 | 0.000 % |
1135.52/1135.46 c | 484556 | 636 56659 238983 | 101134 94216 25 | 0.000 % |
1135.82/1135.72 c | 484666 | 636 56659 238983 | 101134 94326 25 | 0.000 % |
1136.12/1136.03 c | 484787 | 636 56659 238983 | 101134 94447 25 | 0.000 % |
1136.42/1136.39 c | 484920 | 636 56659 238983 | 101134 94580 25 | 0.000 % |
1136.82/1136.76 c | 485067 | 636 56659 238983 | 101134 94727 25 | 0.000 % |
1137.32/1137.25 c | 485227 | 636 56659 238983 | 101134 94887 25 | 0.000 % |
1137.72/1137.66 c | 485404 | 636 56659 238983 | 101134 95064 25 | 0.000 % |
1138.32/1138.22 c | 485599 | 636 56659 238983 | 101134 95259 25 | 0.000 % |
1138.72/1138.64 c | 485812 | 636 56659 238983 | 101134 95472 25 | 0.000 % |
1139.02/1138.95 c | 486046 | 636 56659 238983 | 101134 95706 25 | 0.000 % |
1139.82/1139.74 c | 486303 | 636 56659 238983 | 101134 95963 25 | 0.000 % |
1140.62/1140.53 c | 486584 | 636 56659 238983 | 101134 96244 25 | 0.000 % |
1141.22/1141.18 c | 486893 | 636 56659 238983 | 101134 96553 25 | 0.000 % |
1142.22/1142.17 c | 487232 | 636 56659 238983 | 101134 96892 25 | 0.000 % |
1143.22/1143.21 c | 487605 | 636 56659 238983 | 101134 97265 25 | 0.000 % |
1144.52/1144.41 c | 488014 | 636 56659 238983 | 101134 97674 25 | 0.000 % |
1145.72/1145.70 c | 488464 | 636 56659 238983 | 101134 98124 25 | 0.000 % |
1146.92/1146.85 c | 488957 | 636 56659 238983 | 101134 98617 25 | 0.000 % |
1148.42/1148.39 c | 489499 | 636 56659 238983 | 101134 99159 25 | 0.000 % |
1150.32/1150.26 c | 490098 | 636 56659 238983 | 99664 86245 26 | 0.000 % |
1151.72/1151.67 c | 490753 | 636 56659 238983 | 99664 86900 26 | 0.000 % |
1152.93/1152.86 c | 491474 | 636 56659 238983 | 99664 87621 26 | 0.000 % |
1154.42/1154.35 c | 492266 | 636 56659 238983 | 99664 88413 26 | 0.000 % |
1155.72/1155.69 c | 493139 | 636 56659 238983 | 99664 89286 26 | 0.000 % |
1157.12/1157.06 c | 494097 | 636 56659 238983 | 99664 90244 26 | 0.000 % |
1159.42/1159.35 c | 495151 | 636 56659 238983 | 99664 91298 26 | 0.000 % |
1161.22/1161.14 c | 496309 | 636 56659 238983 | 99664 92456 26 | 0.000 % |
1163.22/1163.11 c | 497582 | 636 56659 238983 | 99664 93729 26 | 0.000 % |
1165.42/1165.39 c | 498982 | 636 56659 238983 | 99664 95129 26 | 0.000 % |
1168.02/1167.91 c | 500522 | 636 56659 238983 | 2147483647 96669 26 | 0.000 % |
1171.63/1171.56 c | 502220 | 636 56659 238983 | 2147483647 98367 26 | 0.000 % |
1175.12/1175.08 c | 504083 | 636 56659 238983 | 2147483647 100230 26 | 0.000 % |
1179.12/1179.09 c | 506134 | 636 56659 238983 | 2147483647 102281 26 | 0.000 % |
1183.43/1183.38 c | 508388 | 636 56659 238983 | 2147483647 104535 26 | 0.000 % |
1188.43/1188.39 c | 510867 | 636 56659 238983 | 2147483647 107014 26 | 0.000 % |
1193.83/1193.76 c | 513593 | 636 56659 238983 | 2147483647 109740 26 | 0.000 % |
1199.73/1199.66 c | 516590 | 636 56659 238983 | 2147483647 112737 25 | 0.000 % |
1200.03/1199.92 HOME/SatELiteGTI: line 36: 1700 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-1821796-1242566298/watcher-1821796-1242566298 -o /tmp/evaluation-result-1821796-1242566298/solver-1821796-1242566298 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821796-1242566298.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.00 1.00 1.00 3/93 1694
/proc/meminfo: memFree=450000/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2416 CPUtime=0
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 366 647 0 0 0 0 0 0 25 0 1 0 1021130848 2473984 277 4294967295 134512640 135169312 3216949056 3216947592 3085623022 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1694/statm: 604 277 235 161 0 43 0
[pid=1698] ppid=1694 vsize=948 CPUtime=0
/proc/1698/stat : 1698 (SatELite_releas) R 1694 1694 20977 0 -1 4202496 113 0 0 0 0 0 0 0 25 0 1 0 1021130849 970752 49 4294967295 134512640 135223648 3213640704 3213639608 134736942 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1698/statm: 238 53 44 174 0 63 0
[startup+0.057021 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 1694
/proc/meminfo: memFree=450000/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2416 CPUtime=0
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 366 647 0 0 0 0 0 0 25 0 1 0 1021130848 2473984 277 4294967295 134512640 135169312 3216949056 3216947592 3085623022 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1694/statm: 604 277 235 161 0 43 0
[pid=1698] ppid=1694 vsize=5128 CPUtime=0.06
/proc/1698/stat : 1698 (SatELite_releas) R 1694 1694 20977 0 -1 4202496 1205 0 0 0 5 1 0 0 25 0 1 0 1021130849 5251072 1141 4294967295 134512640 135223648 3213640704 3213638560 134578207 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1698/statm: 1282 1142 73 174 0 1107 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 7544
[startup+0.116996 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 1694
/proc/meminfo: memFree=450000/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2416 CPUtime=0
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 366 647 0 0 0 0 0 0 25 0 1 0 1021130848 2473984 277 4294967295 134512640 135169312 3216949056 3216947592 3085623022 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1694/statm: 604 277 235 161 0 43 0
[pid=1698] ppid=1694 vsize=5676 CPUtime=0.12
/proc/1698/stat : 1698 (SatELite_releas) R 1694 1694 20977 0 -1 4202496 1342 0 0 0 11 1 0 0 25 0 1 0 1021130849 5812224 1278 4294967295 134512640 135223648 3213640704 3213638704 134549036 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1698/statm: 1419 1278 73 174 0 1244 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 8092
[startup+0.316976 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 1694
/proc/meminfo: memFree=450000/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2416 CPUtime=0
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 366 647 0 0 0 0 0 0 25 0 1 0 1021130848 2473984 277 4294967295 134512640 135169312 3216949056 3216947592 3085623022 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/1694/statm: 604 277 235 161 0 43 0
[pid=1698] ppid=1694 vsize=7064 CPUtime=0.32
/proc/1698/stat : 1698 (SatELite_releas) R 1694 1694 20977 0 -1 4202496 1633 0 0 0 31 1 0 0 25 0 1 0 1021130849 7233536 1569 4294967295 134512640 135223648 3213640704 3213638800 134585468 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1698/statm: 1766 1569 73 174 0 1591 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 9480
[startup+0.716944 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 1694
/proc/meminfo: memFree=450000/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2420 CPUtime=0.51
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 386 2284 0 0 0 0 49 2 20 0 1 0 1021130848 2478080 279 4294967295 134512640 135169312 3216949056 3216945272 3085623022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1694/statm: 605 279 235 161 0 44 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 2420
[startup+1.51686 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 1700
/proc/meminfo: memFree=444916/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2420 CPUtime=0.51
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 386 2284 0 0 0 0 49 2 20 0 1 0 1021130848 2478080 279 4294967295 134512640 135169312 3216949056 3216945272 3085623022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1694/statm: 605 279 235 161 0 44 0
[pid=1700] ppid=1694 vsize=5092 CPUtime=1
/proc/1700/stat : 1700 (minisat_static) R 1694 1694 20977 0 -1 4202496 1219 0 0 0 100 0 0 0 25 0 1 0 1021130899 5214208 1153 4294967295 134512640 135215339 3220986720 3220985008 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1700/statm: 1273 1153 73 172 0 1100 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 7512
[startup+3.1167 s]
/proc/loadavg: 1.00 1.00 1.00 4/95 1700
/proc/meminfo: memFree=444668/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2420 CPUtime=0.51
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 386 2284 0 0 0 0 49 2 20 0 1 0 1021130848 2478080 279 4294967295 134512640 135169312 3216949056 3216945272 3085623022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1694/statm: 605 279 235 161 0 44 0
[pid=1700] ppid=1694 vsize=5620 CPUtime=2.6
/proc/1700/stat : 1700 (minisat_static) R 1694 1694 20977 0 -1 4202496 1358 0 0 0 260 0 0 0 25 0 1 0 1021130899 5754880 1292 4294967295 134512640 135215339 3220986720 3220985008 134528881 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1700/statm: 1405 1292 73 172 0 1232 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 8040
[startup+6.31639 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 1700
/proc/meminfo: memFree=443708/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2420 CPUtime=0.51
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 386 2284 0 0 0 0 49 2 20 0 1 0 1021130848 2478080 279 4294967295 134512640 135169312 3216949056 3216945272 3085623022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1694/statm: 605 279 235 161 0 44 0
[pid=1700] ppid=1694 vsize=6812 CPUtime=5.8
/proc/1700/stat : 1700 (minisat_static) R 1694 1694 20977 0 -1 4202496 1631 0 0 0 579 1 0 0 25 0 1 0 1021130899 6975488 1565 4294967295 134512640 135215339 3220986720 3220985008 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1700/statm: 1703 1565 73 172 0 1530 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 9232
[startup+12.7158 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 1700
/proc/meminfo: memFree=441788/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2420 CPUtime=0.51
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 386 2284 0 0 0 0 49 2 20 0 1 0 1021130848 2478080 279 4294967295 134512640 135169312 3216949056 3216945272 3085623022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1694/statm: 605 279 235 161 0 44 0
[pid=1700] ppid=1694 vsize=8420 CPUtime=12.2
/proc/1700/stat : 1700 (minisat_static) R 1694 1694 20977 0 -1 4202496 2056 0 0 0 1219 1 0 0 25 0 1 0 1021130899 8622080 1990 4294967295 134512640 135215339 3220986720 3220985008 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1700/statm: 2105 1990 73 172 0 1932 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 10840
[startup+25.5145 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 1700
/proc/meminfo: memFree=439444/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2420 CPUtime=0.51
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 386 2284 0 0 0 0 49 2 20 0 1 0 1021130848 2478080 279 4294967295 134512640 135169312 3216949056 3216945272 3085623022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1694/statm: 605 279 235 161 0 44 0
[pid=1700] ppid=1694 vsize=10868 CPUtime=25
/proc/1700/stat : 1700 (minisat_static) R 1694 1694 20977 0 -1 4202496 2651 0 0 0 2499 1 0 0 25 0 1 0 1021130899 11128832 2585 4294967295 134512640 135215339 3220986720 3220985008 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1700/statm: 2717 2585 73 172 0 2544 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 13288
[startup+51.122 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 1702
/proc/meminfo: memFree=435948/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2420 CPUtime=0.51
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 386 2284 0 0 0 0 49 2 20 0 1 0 1021130848 2478080 279 4294967295 134512640 135169312 3216949056 3216945272 3085623022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1694/statm: 605 279 235 161 0 44 0
[pid=1700] ppid=1694 vsize=14384 CPUtime=50.61
/proc/1700/stat : 1700 (minisat_static) R 1694 1694 20977 0 -1 4202496 3500 0 0 0 5059 2 0 0 25 0 1 0 1021130899 14729216 3434 4294967295 134512640 135215339 3220986720 3220985008 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1700/statm: 3596 3434 73 172 0 3423 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 16804
[startup+102.317 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 1895
/proc/meminfo: memFree=430476/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2420 CPUtime=0.51
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 386 2284 0 0 0 0 49 2 20 0 1 0 1021130848 2478080 279 4294967295 134512640 135169312 3216949056 3216945272 3085623022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1694/statm: 605 279 235 161 0 44 0
[pid=1700] ppid=1694 vsize=19560 CPUtime=101.81
/proc/1700/stat : 1700 (minisat_static) R 1694 1694 20977 0 -1 4202496 4728 0 0 0 10178 3 0 0 25 0 1 0 1021130899 20029440 4662 4294967295 134512640 135215339 3220986720 3220985008 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1700/statm: 4890 4662 73 172 0 4717 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 21980
[startup+162.311 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 2082
/proc/meminfo: memFree=425516/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2420 CPUtime=0.51
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 386 2284 0 0 0 0 49 2 20 0 1 0 1021130848 2478080 279 4294967295 134512640 135169312 3216949056 3216945272 3085623022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1694/statm: 605 279 235 161 0 44 0
[pid=1700] ppid=1694 vsize=24068 CPUtime=161.81
/proc/1700/stat : 1700 (minisat_static) R 1694 1694 20977 0 -1 4202496 5885 0 0 0 16177 4 0 0 25 0 1 0 1021130899 24645632 5819 4294967295 134512640 135215339 3220986720 3220985008 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1700/statm: 6017 5819 73 172 0 5844 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 26488
[startup+222.315 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 2271
/proc/meminfo: memFree=420416/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2420 CPUtime=0.51
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 386 2284 0 0 0 0 49 2 20 0 1 0 1021130848 2478080 279 4294967295 134512640 135169312 3216949056 3216945272 3085623022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1694/statm: 605 279 235 161 0 44 0
[pid=1700] ppid=1694 vsize=29724 CPUtime=221.82
/proc/1700/stat : 1700 (minisat_static) R 1694 1694 20977 0 -1 4202496 7148 0 0 0 22177 5 0 0 25 0 1 0 1021130899 30437376 7074 4294967295 134512640 135215339 3220986720 3220985008 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1700/statm: 7431 7074 73 172 0 7258 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 32144
[startup+282.319 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 2464
/proc/meminfo: memFree=420200/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2420 CPUtime=0.51
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 386 2284 0 0 0 0 49 2 20 0 1 0 1021130848 2478080 279 4294967295 134512640 135169312 3216949056 3216945272 3085623022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1694/statm: 605 279 235 161 0 44 0
[pid=1700] ppid=1694 vsize=30228 CPUtime=281.83
/proc/1700/stat : 1700 (minisat_static) R 1694 1694 20977 0 -1 4202496 7266 0 0 0 28178 5 0 0 25 0 1 0 1021130899 30953472 7192 4294967295 134512640 135215339 3220986720 3220985008 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1700/statm: 7557 7192 73 172 0 7384 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 32648
[startup+342.313 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 2655
/proc/meminfo: memFree=419944/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2420 CPUtime=0.51
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 386 2284 0 0 0 0 49 2 20 0 1 0 1021130848 2478080 279 4294967295 134512640 135169312 3216949056 3216945272 3085623022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1694/statm: 605 279 235 161 0 44 0
[pid=1700] ppid=1694 vsize=30364 CPUtime=341.83
/proc/1700/stat : 1700 (minisat_static) R 1694 1694 20977 0 -1 4202496 7276 0 0 0 34178 5 0 0 25 0 1 0 1021130899 31092736 7202 4294967295 134512640 135215339 3220986720 3220985008 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1700/statm: 7591 7202 73 172 0 7418 0
Current children cumulated CPU time (s) 342.34
Current children cumulated vsize (KiB) 32784
[startup+402.318 s]
################
# More data... #
################
/proc/1694/statm: 605 279 235 161 0 44 0
[pid=1700] ppid=1694 vsize=31824 CPUtime=521.84
/proc/1700/stat : 1700 (minisat_static) R 1694 1694 20977 0 -1 4202496 7609 0 0 0 52179 5 0 0 25 0 1 0 1021130899 32587776 7535 4294967295 134512640 135215339 3220986720 3220985008 134528694 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1700/statm: 7956 7535 73 172 0 7783 0
Current children cumulated CPU time (s) 522.35
Current children cumulated vsize (KiB) 34244
[startup+582.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 3434
/proc/meminfo: memFree=417348/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2420 CPUtime=0.51
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 386 2284 0 0 0 0 49 2 20 0 1 0 1021130848 2478080 279 4294967295 134512640 135169312 3216949056 3216945272 3085623022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1694/statm: 605 279 235 161 0 44 0
[pid=1700] ppid=1694 vsize=33456 CPUtime=581.85
/proc/1700/stat : 1700 (minisat_static) R 1694 1694 20977 0 -1 4202496 8010 0 0 0 58179 6 0 0 25 0 1 0 1021130899 34258944 7936 4294967295 134512640 135215339 3220986720 3220985008 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1700/statm: 8364 7936 73 172 0 8191 0
Current children cumulated CPU time (s) 582.36
Current children cumulated vsize (KiB) 35876
[startup+642.314 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 3635
/proc/meminfo: memFree=416976/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2420 CPUtime=0.51
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 386 2284 0 0 0 0 49 2 20 0 1 0 1021130848 2478080 279 4294967295 134512640 135169312 3216949056 3216945272 3085623022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1694/statm: 605 279 235 161 0 44 0
[pid=1700] ppid=1694 vsize=33848 CPUtime=641.86
/proc/1700/stat : 1700 (minisat_static) R 1694 1694 20977 0 -1 4202496 8102 0 0 0 64180 6 0 0 25 0 1 0 1021130899 34660352 8028 4294967295 134512640 135215339 3220986720 3220985008 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1700/statm: 8462 8028 73 172 0 8289 0
Current children cumulated CPU time (s) 642.37
Current children cumulated vsize (KiB) 36268
[startup+702.318 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 3824
/proc/meminfo: memFree=416960/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2420 CPUtime=0.51
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 386 2284 0 0 0 0 49 2 20 0 1 0 1021130848 2478080 279 4294967295 134512640 135169312 3216949056 3216945272 3085623022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1694/statm: 605 279 235 161 0 44 0
[pid=1700] ppid=1694 vsize=33848 CPUtime=701.87
/proc/1700/stat : 1700 (minisat_static) R 1694 1694 20977 0 -1 4202496 8103 0 0 0 70181 6 0 0 25 0 1 0 1021130899 34660352 8029 4294967295 134512640 135215339 3220986720 3220985008 134528666 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1700/statm: 8462 8029 73 172 0 8289 0
Current children cumulated CPU time (s) 702.38
Current children cumulated vsize (KiB) 36268
[startup+762.322 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 4011
/proc/meminfo: memFree=416736/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2420 CPUtime=0.51
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 386 2284 0 0 0 0 49 2 20 0 1 0 1021130848 2478080 279 4294967295 134512640 135169312 3216949056 3216945272 3085623022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1694/statm: 605 279 235 161 0 44 0
[pid=1700] ppid=1694 vsize=33848 CPUtime=761.88
/proc/1700/stat : 1700 (minisat_static) R 1694 1694 20977 0 -1 4202496 8103 0 0 0 76181 7 0 0 25 0 1 0 1021130899 34660352 8029 4294967295 134512640 135215339 3220986720 3220985008 134528830 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1700/statm: 8462 8029 73 172 0 8289 0
Current children cumulated CPU time (s) 762.39
Current children cumulated vsize (KiB) 36268
[startup+822.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 4203
/proc/meminfo: memFree=416712/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2420 CPUtime=0.51
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 386 2284 0 0 0 0 49 2 20 0 1 0 1021130848 2478080 279 4294967295 134512640 135169312 3216949056 3216945272 3085623022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1694/statm: 605 279 235 161 0 44 0
[pid=1700] ppid=1694 vsize=34000 CPUtime=821.87
/proc/1700/stat : 1700 (minisat_static) R 1694 1694 20977 0 -1 4202496 8134 0 0 0 82180 7 0 0 25 0 1 0 1021130899 34816000 8060 4294967295 134512640 135215339 3220986720 3220985008 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1700/statm: 8500 8060 73 172 0 8327 0
Current children cumulated CPU time (s) 822.38
Current children cumulated vsize (KiB) 36420
[startup+882.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 4390
/proc/meminfo: memFree=416356/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2420 CPUtime=0.51
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 386 2284 0 0 0 0 49 2 20 0 1 0 1021130848 2478080 279 4294967295 134512640 135169312 3216949056 3216945272 3085623022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1694/statm: 605 279 235 161 0 44 0
[pid=1700] ppid=1694 vsize=34672 CPUtime=881.88
/proc/1700/stat : 1700 (minisat_static) R 1694 1694 20977 0 -1 4202496 8256 0 0 0 88181 7 0 0 25 0 1 0 1021130899 35504128 8182 4294967295 134512640 135215339 3220986720 3220985008 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1700/statm: 8668 8182 73 172 0 8495 0
Current children cumulated CPU time (s) 882.39
Current children cumulated vsize (KiB) 37092
[startup+942.315 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 4578
/proc/meminfo: memFree=413504/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2420 CPUtime=0.51
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 386 2284 0 0 0 0 49 2 20 0 1 0 1021130848 2478080 279 4294967295 134512640 135169312 3216949056 3216945272 3085623022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1694/statm: 605 279 235 161 0 44 0
[pid=1700] ppid=1694 vsize=37656 CPUtime=941.89
/proc/1700/stat : 1700 (minisat_static) R 1694 1694 20977 0 -1 4202496 8972 0 0 0 94182 7 0 0 25 0 1 0 1021130899 38559744 8882 4294967295 134512640 135215339 3220986720 3220985008 134528788 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1700/statm: 9414 8882 73 172 0 9241 0
Current children cumulated CPU time (s) 942.4
Current children cumulated vsize (KiB) 40076
[startup+1002.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 4767
/proc/meminfo: memFree=412752/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2420 CPUtime=0.51
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 386 2284 0 0 0 0 49 2 20 0 1 0 1021130848 2478080 279 4294967295 134512640 135169312 3216949056 3216945272 3085623022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1694/statm: 605 279 235 161 0 44 0
[pid=1700] ppid=1694 vsize=38504 CPUtime=1001.89
/proc/1700/stat : 1700 (minisat_static) R 1694 1694 20977 0 -1 4202496 9190 0 0 0 100182 7 0 0 25 0 1 0 1021130899 39428096 9100 4294967295 134512640 135215339 3220986720 3220985008 134528802 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1700/statm: 9626 9100 73 172 0 9453 0
Current children cumulated CPU time (s) 1002.4
Current children cumulated vsize (KiB) 40924
[startup+1062.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 4954
/proc/meminfo: memFree=412636/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2420 CPUtime=0.51
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 386 2284 0 0 0 0 49 2 20 0 1 0 1021130848 2478080 279 4294967295 134512640 135169312 3216949056 3216945272 3085623022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1694/statm: 605 279 235 161 0 44 0
[pid=1700] ppid=1694 vsize=38504 CPUtime=1061.91
/proc/1700/stat : 1700 (minisat_static) R 1694 1694 20977 0 -1 4202496 9197 0 0 0 106184 7 0 0 25 0 1 0 1021130899 39428096 9107 4294967295 134512640 135215339 3220986720 3220985008 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1700/statm: 9626 9107 73 172 0 9453 0
Current children cumulated CPU time (s) 1062.42
Current children cumulated vsize (KiB) 40924
[startup+1122.33 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 5142
/proc/meminfo: memFree=412576/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2420 CPUtime=0.51
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 386 2284 0 0 0 0 49 2 20 0 1 0 1021130848 2478080 279 4294967295 134512640 135169312 3216949056 3216945272 3085623022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1694/statm: 605 279 235 161 0 44 0
[pid=1700] ppid=1694 vsize=38672 CPUtime=1121.92
/proc/1700/stat : 1700 (minisat_static) R 1694 1694 20977 0 -1 4202496 9223 0 0 0 112185 7 0 0 25 0 1 0 1021130899 39600128 9133 4294967295 134512640 135215339 3220986720 3220985008 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1700/statm: 9668 9133 73 172 0 9495 0
Current children cumulated CPU time (s) 1122.43
Current children cumulated vsize (KiB) 41092
[startup+1182.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 5328
/proc/meminfo: memFree=412584/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2420 CPUtime=0.51
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 386 2284 0 0 0 0 49 2 20 0 1 0 1021130848 2478080 279 4294967295 134512640 135169312 3216949056 3216945272 3085623022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1694/statm: 605 279 235 161 0 44 0
[pid=1700] ppid=1694 vsize=38824 CPUtime=1181.91
/proc/1700/stat : 1700 (minisat_static) R 1694 1694 20977 0 -1 4202496 9238 0 0 0 118184 7 0 0 25 0 1 0 1021130899 39755776 9148 4294967295 134512640 135215339 3220986720 3220985008 134528881 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1700/statm: 9706 9148 73 172 0 9533 0
Current children cumulated CPU time (s) 1182.42
Current children cumulated vsize (KiB) 41244
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1199.92 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 5518
/proc/meminfo: memFree=412304/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2420 CPUtime=0.51
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 386 2284 0 0 0 0 49 2 20 0 1 0 1021130848 2478080 279 4294967295 134512640 135169312 3216949056 3216945272 3085623022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1694/statm: 605 279 235 161 0 44 0
[pid=1700] ppid=1694 vsize=38824 CPUtime=1199.52
/proc/1700/stat : 1700 (minisat_static) R 1694 1694 20977 0 -1 4202496 9260 0 0 0 119945 7 0 0 25 0 1 0 1021130899 39755776 9170 4294967295 134512640 135215339 3220986720 3220985008 134528700 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1700/statm: 9706 9170 73 172 0 9533 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 41244
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1199.92 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 5518
/proc/meminfo: memFree=412304/2074464 swapFree=1951864/1959888
[pid=1694] ppid=1692 vsize=2420 CPUtime=0.51
/proc/1694/stat : 1694 (SatELiteGTI) S 1692 1694 20977 0 -1 4194304 386 2284 0 0 0 0 49 2 20 0 1 0 1021130848 2478080 279 4294967295 134512640 135169312 3216949056 3216945272 3085623022 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1694/statm: 605 279 235 161 0 44 0
[pid=1700] ppid=1694 vsize=38824 CPUtime=1199.52
/proc/1700/stat : 1700 (minisat_static) R 1694 1694 20977 0 -1 4202496 9260 0 0 0 119945 7 0 0 25 0 1 0 1021130899 39755776 9170 4294967295 134512640 135215339 3220986720 3220985008 134528700 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1700/statm: 9706 9170 73 172 0 9533 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 41244
Child status: 143
Real time (s): 1199.93
CPU time (s): 1200.03
CPU user time (s): 1199.94
CPU system time (s): 0.09
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 41244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.94
system time used= 0.09
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12206
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= 4777
runsolver used 0 second user time and 0.01 second system time
The end
Begin job on tipi10 at 2009-05-17 15:18:18
IDJOB=1821796
IDBENCH=71091
IDSOLVER=657
FILE ID=tipi10/1821796-1242566298
PBS_JOBID=
Free space on /tmp= 3861 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_07_UNSAT.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821796-1242566298/watcher-1821796-1242566298 -o /tmp/evaluation-result-1821796-1242566298/solver-1821796-1242566298 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821796-1242566298.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 6419e2e5b92274df2e7e43e6c6a98566
RANDOM SEED= 398194399
Linux tipi10 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.367
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.367
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.77
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.367
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.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.367
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.77
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 450000 kB
Buffers: 45764 kB
Cached: 1443796 kB
SwapCached: 2732 kB
Active: 606292 kB
Inactive: 893200 kB
HighTotal: 1178688 kB
HighFree: 116124 kB
LowTotal: 895776 kB
LowFree: 333876 kB
SwapTotal: 1959888 kB
SwapFree: 1951864 kB
Dirty: 2476 kB
Writeback: 0 kB
AnonPages: 9192 kB
Mapped: 3424 kB
Slab: 115828 kB
PageTables: 444 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90592 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 3861 MiB
End job on tipi10 at 2009-05-17 15:38:18