0.00/0.00 c Parsing...
0.04/0.06 c ==============================================================================
0.04/0.06 c | | ORIGINAL | LEARNT | |
0.04/0.06 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.04/0.06 c ==============================================================================
0.04/0.06 c | 0 | 87044 258924 | 26113 0 0 nan | 0.000 % |
0.83/0.86 c | 0 | 86161 373261 | -- 0 -- -- | -- | -883/114337
0.83/0.86 c ==============================================================================
0.83/0.86 c Result : #vars: 871 #clauses: 86161 #literals: 373261
0.83/0.86 c CPU time: 0.82 s
0.83/0.86 c ==============================================================================
0.93/0.97 c This is MiniSat 2.0 beta
0.93/0.97 c WARNING: for repeatability, setting FPU to use double precision
0.93/0.97 c ============================[ Problem Statistics ]=============================
0.93/0.97 c | |
0.93/0.98 c | Number of variables: 871 |
0.93/0.98 c | Number of clauses: 86161 |
1.03/1.03 c | Parsing time: 0.06 s |
1.03/1.04 c ============================[ Search Statistics ]==============================
1.03/1.04 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.03/1.04 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.03/1.04 c ===============================================================================
1.03/1.04 c | 0 | 871 86161 373261 | 28720 0 nan | 0.000 % |
1.03/1.07 c | 101 | 871 86161 373261 | 28720 101 35 | 0.000 % |
1.12/1.12 c | 201 | 871 86161 373261 | 28720 201 39 | 0.000 % |
1.12/1.18 c | 303 | 871 86161 373261 | 28720 303 42 | 0.000 % |
1.22/1.23 c | 414 | 871 86161 373261 | 28720 414 44 | 0.000 % |
1.22/1.27 c | 514 | 871 86161 373261 | 28720 514 46 | 0.000 % |
1.22/1.31 c | 624 | 871 86161 373261 | 28720 624 48 | 0.000 % |
1.32/1.36 c | 745 | 871 86161 373261 | 28720 745 48 | 0.000 % |
1.32/1.41 c | 845 | 871 86161 373261 | 28720 845 48 | 0.000 % |
1.42/1.44 c | 955 | 871 86161 373261 | 28720 955 49 | 0.000 % |
1.42/1.50 c | 1076 | 871 86161 373261 | 28720 1076 49 | 0.000 % |
1.52/1.55 c | 1211 | 871 86161 373261 | 28720 1211 50 | 0.000 % |
1.52/1.58 c | 1312 | 871 86161 373261 | 28720 1312 50 | 0.000 % |
1.52/1.61 c | 1424 | 871 86161 373261 | 28720 1424 50 | 0.001 % |
1.62/1.63 c | 1546 | 871 86161 373261 | 28720 1546 50 | 0.000 % |
1.62/1.69 c | 1679 | 871 86161 373261 | 28720 1679 51 | 0.000 % |
1.72/1.74 c | 1825 | 871 86161 373261 | 28720 1825 51 | 0.000 % |
1.72/1.76 c | 1926 | 871 86161 373261 | 28720 1926 51 | 0.000 % |
1.72/1.78 c | 2037 | 871 86161 373261 | 28720 2037 51 | 0.000 % |
1.82/1.82 c | 2158 | 871 86161 373261 | 28720 2158 51 | 0.000 % |
1.82/1.85 c | 2292 | 871 86161 373261 | 28720 2292 51 | 0.000 % |
1.82/1.88 c | 2439 | 871 86161 373261 | 28720 2439 51 | 0.000 % |
1.92/1.93 c | 2600 | 871 86161 373261 | 28720 2600 51 | 0.000 % |
1.92/1.98 c | 2700 | 871 86161 373261 | 28720 2700 52 | 0.000 % |
2.02/2.03 c | 2811 | 871 86161 373261 | 28720 2811 52 | 0.000 % |
2.02/2.08 c | 2933 | 871 86161 373261 | 28720 2933 52 | 0.000 % |
2.12/2.14 c | 3066 | 871 86161 373261 | 28720 3066 52 | 0.000 % |
2.12/2.21 c | 3212 | 871 86161 373261 | 28720 3212 52 | 0.000 % |
2.22/2.29 c | 3373 | 871 86161 373261 | 28720 3373 52 | 0.000 % |
2.32/2.38 c | 3550 | 871 86161 373261 | 28720 3550 52 | 0.000 % |
2.42/2.45 c | 3651 | 871 86161 373261 | 28720 3651 52 | 0.000 % |
2.42/2.51 c | 3761 | 871 86161 373261 | 28720 3761 52 | 0.000 % |
2.52/2.59 c | 3882 | 871 86161 373261 | 28720 3882 52 | 0.000 % |
2.62/2.67 c | 4015 | 871 86161 373261 | 28720 4015 52 | 0.000 % |
2.72/2.76 c | 4163 | 871 86161 373261 | 28720 4163 52 | 0.000 % |
2.72/2.81 c | 4323 | 871 86161 373261 | 28720 4323 52 | 0.000 % |
2.82/2.91 c | 4499 | 871 86161 373261 | 28720 4499 52 | 0.000 % |
3.02/3.04 c | 4692 | 871 86161 373261 | 28720 4692 52 | 0.000 % |
3.02/3.09 c | 4792 | 871 86161 373261 | 28720 4792 52 | 0.000 % |
3.12/3.13 c | 4903 | 871 86161 373261 | 28720 4903 52 | 0.000 % |
3.12/3.19 c | 5024 | 871 86161 373261 | 28720 5024 52 | 0.000 % |
3.22/3.28 c | 5157 | 871 86161 373261 | 28720 5157 52 | 0.000 % |
3.32/3.37 c | 5303 | 871 86161 373261 | 28720 5303 52 | 0.000 % |
3.42/3.47 c | 5464 | 871 86161 373261 | 28720 5464 52 | 0.000 % |
3.52/3.56 c | 5640 | 871 86161 373261 | 28720 5640 52 | 0.000 % |
3.62/3.68 c | 5833 | 871 86161 373261 | 28720 5833 52 | 0.000 % |
3.72/3.76 c | 6046 | 871 86161 373261 | 28720 6046 52 | 0.000 % |
3.72/3.78 c | 6147 | 871 86161 373261 | 28720 6147 52 | 0.000 % |
3.72/3.81 c | 6257 | 871 86161 373261 | 28720 6257 52 | 0.000 % |
3.82/3.84 c | 6378 | 871 86161 373261 | 28720 6378 52 | 0.000 % |
3.82/3.87 c | 6513 | 871 86161 373261 | 28720 6513 52 | 0.000 % |
3.92/3.93 c | 6663 | 871 86161 373261 | 28720 6663 52 | 0.000 % |
3.92/3.99 c | 6823 | 871 86161 373261 | 28720 6823 52 | 0.000 % |
4.02/4.04 c | 7004 | 871 86161 373261 | 28720 7004 52 | 0.000 % |
4.12/4.12 c | 7197 | 871 86161 373261 | 28720 7197 52 | 0.000 % |
4.12/4.21 c | 7409 | 871 86161 373261 | 28720 7409 52 | 0.000 % |
4.22/4.29 c | 7643 | 871 86161 373261 | 28720 7643 51 | 0.000 % |
4.32/4.34 c | 7743 | 871 86161 373261 | 28720 7743 51 | 0.000 % |
4.32/4.39 c | 7854 | 871 86161 373261 | 28720 7854 51 | 0.000 % |
4.42/4.45 c | 7975 | 871 86161 373261 | 28720 7975 51 | 0.000 % |
4.42/4.51 c | 8108 | 871 86161 373261 | 28720 8108 51 | 0.000 % |
4.52/4.58 c | 8255 | 871 86161 373261 | 28720 8255 51 | 0.000 % |
4.62/4.66 c | 8416 | 871 86161 373261 | 28720 8416 51 | 0.000 % |
4.72/4.76 c | 8592 | 871 86161 373261 | 28720 8592 51 | 0.000 % |
4.82/4.89 c | 8785 | 871 86161 373261 | 28720 8785 51 | 0.000 % |
5.02/5.05 c | 8998 | 871 86161 373261 | 28720 8998 51 | 0.000 % |
5.22/5.27 c | 9233 | 871 86161 373261 | 28720 9233 51 | 0.000 % |
5.42/5.45 c | 9489 | 871 86161 373261 | 28720 9489 51 | 0.000 % |
5.42/5.50 c | 9589 | 871 86161 373261 | 28720 9589 51 | 0.000 % |
5.52/5.58 c | 9699 | 871 86161 373261 | 28720 9699 51 | 0.000 % |
5.62/5.66 c | 9821 | 871 86161 373261 | 28720 9821 51 | 0.000 % |
5.72/5.77 c | 9956 | 871 86161 373261 | 28720 9956 51 | 0.000 % |
5.82/5.90 c | 10103 | 871 86161 373261 | 2147483647 10103 51 | 0.000 % |
5.92/5.97 c | 10263 | 871 86161 373261 | 2147483647 10263 51 | 0.000 % |
6.02/6.07 c | 10441 | 871 86161 373261 | 2147483647 10441 51 | 0.000 % |
6.12/6.21 c | 10635 | 871 86161 373261 | 2147483647 10635 51 | 0.000 % |
6.32/6.33 c | 10848 | 871 86161 373261 | 2147483647 10848 50 | 0.000 % |
6.42/6.50 c | 11082 | 871 86161 373261 | 2147483647 11082 50 | 0.000 % |
6.72/6.74 c | 11338 | 871 86161 373261 | 2147483647 11338 51 | 0.000 % |
6.92/6.97 c | 11619 | 871 86161 373261 | 2147483647 11619 51 | 0.000 % |
7.02/7.05 c | 11720 | 871 86161 373261 | 2147483647 11720 51 | 0.000 % |
7.12/7.15 c | 11831 | 871 86161 373261 | 2147483647 11831 51 | 0.000 % |
7.22/7.24 c | 11953 | 871 86161 373261 | 2147483647 11953 51 | 0.000 % |
7.32/7.33 c | 12086 | 871 86161 373261 | 2147483647 12086 51 | 0.000 % |
7.42/7.44 c | 12234 | 871 86161 373261 | 2147483647 12234 51 | 0.000 % |
7.62/7.63 c | 12395 | 871 86161 373261 | 2147483647 12395 51 | 0.000 % |
7.72/7.74 c | 12572 | 871 86161 373261 | 2147483647 12572 51 | 0.000 % |
7.82/7.92 c | 12767 | 871 86161 373261 | 2147483647 12767 51 | 0.000 % |
8.02/8.12 c | 12980 | 871 86161 373261 | 2147483647 12980 51 | 0.000 % |
8.22/8.31 c | 13214 | 871 86161 373261 | 2147483647 13214 51 | 0.000 % |
8.52/8.56 c | 13472 | 871 86161 373261 | 2147483647 13472 51 | 0.000 % |
8.62/8.72 c | 13754 | 871 86161 373261 | 2147483647 13754 51 | 0.000 % |
8.92/8.93 c | 14064 | 871 86161 373261 | 2147483647 14064 51 | 0.000 % |
9.02/9.03 c | 14164 | 871 86161 373261 | 2147483647 14164 51 | 0.000 % |
9.12/9.13 c | 14277 | 871 86161 373261 | 2147483647 14277 51 | 0.000 % |
9.22/9.23 c | 14398 | 871 86161 373261 | 2147483647 14398 51 | 0.000 % |
9.32/9.34 c | 14533 | 871 86161 373261 | 2147483647 14533 51 | 0.000 % |
9.42/9.48 c | 14680 | 871 86161 373261 | 2147483647 14680 52 | 0.000 % |
9.52/9.61 c | 14841 | 871 86161 373261 | 2147483647 14841 52 | 0.000 % |
9.72/9.74 c | 15019 | 871 86161 373261 | 2147483647 15019 52 | 0.000 % |
9.92/9.98 c | 15213 | 871 86161 373261 | 2147483647 15213 52 | 0.000 % |
10.12/10.17 c | 15425 | 871 86161 373261 | 2147483647 15425 52 | 0.000 % |
10.32/10.40 c | 15658 | 871 86161 373261 | 2147483647 15658 52 | 0.000 % |
10.52/10.62 c | 15917 | 871 86161 373261 | 2147483647 15917 52 | 0.000 % |
10.82/10.85 c | 16200 | 871 86161 373261 | 2147483647 16200 52 | 0.000 % |
11.22/11.24 c | 16509 | 871 86161 373261 | 2147483647 16509 52 | 0.000 % |
11.62/11.62 c | 16849 | 871 86161 373261 | 2147483647 16849 52 | 0.000 % |
11.62/11.71 c | 16949 | 871 86161 373261 | 2147483647 16949 52 | 0.000 % |
11.82/11.82 c | 17060 | 871 86161 373261 | 2147483647 17060 52 | 0.000 % |
11.92/11.92 c | 17183 | 871 86161 373261 | 2147483647 17183 52 | 0.000 % |
12.02/12.06 c | 17320 | 871 86161 373261 | 2147483647 17320 52 | 0.000 % |
12.12/12.16 c | 17467 | 871 86161 373261 | 2147483647 17467 52 | 0.000 % |
12.32/12.33 c | 17627 | 871 86161 373261 | 2147483647 17627 52 | 0.001 % |
12.42/12.44 c | 17803 | 871 86161 373261 | 2147483647 17803 52 | 0.000 % |
12.52/12.58 c | 17997 | 871 86161 373261 | 2147483647 17997 52 | 0.000 % |
12.72/12.74 c | 18209 | 871 86161 373261 | 2147483647 18209 52 | 0.000 % |
12.92/12.98 c | 18442 | 871 86161 373261 | 2147483647 18442 52 | 0.000 % |
13.12/13.19 c | 18700 | 871 86161 373261 | 2147483647 18700 52 | 0.000 % |
13.42/13.44 c | 18981 | 871 86161 373261 | 2147483647 18981 52 | 0.000 % |
13.72/13.73 c | 19290 | 871 86161 373261 | 2147483647 19290 51 | 0.000 % |
13.92/14.00 c | 19629 | 871 86161 373261 | 2147483647 19629 51 | 0.000 % |
14.32/14.34 c | 20001 | 871 86161 373261 | 2147483647 20001 51 | 0.000 % |
14.42/14.44 c | 20104 | 871 86161 373261 | 2147483647 20104 51 | 0.000 % |
14.52/14.58 c | 20214 | 871 86161 373261 | 2147483647 20214 51 | 0.000 % |
14.62/14.70 c | 20335 | 871 86161 373261 | 2147483647 20335 51 | 0.000 % |
14.82/14.85 c | 20469 | 871 86161 373261 | 2147483647 20469 51 | 0.000 % |
15.02/15.03 c | 20615 | 871 86161 373261 | 2147483647 20615 51 | 0.000 % |
15.12/15.16 c | 20776 | 871 86161 373261 | 2147483647 20776 51 | 0.000 % |
15.32/15.37 c | 20953 | 871 86161 373261 | 2147483647 20953 51 | 0.000 % |
15.42/15.51 c | 21146 | 871 86161 373261 | 2147483647 21146 51 | 0.000 % |
15.72/15.74 c | 21359 | 871 86161 373261 | 2147483647 21359 51 | 0.000 % |
15.92/15.95 c | 21593 | 871 86161 373261 | 2147483647 21593 51 | 0.000 % |
16.32/16.33 c | 21849 | 871 86161 373261 | 2147483647 21849 52 | 0.000 % |
16.62/16.64 c | 22131 | 871 86161 373261 | 2147483647 22131 52 | 0.000 % |
16.92/17.01 c | 22440 | 871 86161 373261 | 2147483647 22440 52 | 0.000 % |
17.32/17.37 c | 22780 | 871 86161 373261 | 2147483647 22780 51 | 0.000 % |
17.72/17.72 c | 23152 | 871 86161 373261 | 2147483647 23152 51 | 0.000 % |
18.12/18.17 c | 23562 | 871 86161 373261 | 2147483647 23562 51 | 0.000 % |
18.32/18.35 c | 23663 | 871 86161 373261 | 2147483647 23663 51 | 0.000 % |
18.42/18.48 c | 23773 | 871 86161 373261 | 2147483647 23773 51 | 0.000 % |
18.52/18.61 c | 23895 | 871 86161 373261 | 2147483647 23895 51 | 0.000 % |
18.72/18.75 c | 24028 | 871 86161 373261 | 2147483647 24028 51 | 0.000 % |
18.92/18.95 c | 24174 | 871 86161 373261 | 2147483647 24174 52 | 0.000 % |
19.22/19.23 c | 24334 | 871 86161 373261 | 2147483647 24334 52 | 0.000 % |
19.42/19.47 c | 24510 | 871 86161 373261 | 2147483647 24510 52 | 0.000 % |
19.62/19.67 c | 24704 | 871 86161 373261 | 2147483647 24704 52 | 0.000 % |
19.82/19.86 c | 24919 | 871 86161 373261 | 2147483647 24919 52 | 0.000 % |
20.02/20.11 c | 25154 | 871 86161 373261 | 2147483647 25154 52 | 0.000 % |
20.32/20.40 c | 25410 | 871 86161 373261 | 2147483647 25410 52 | 0.000 % |
20.62/20.70 c | 25692 | 871 86161 373261 | 2147483647 25692 52 | 0.000 % |
20.92/20.99 c | 26003 | 871 86161 373261 | 2147483647 26003 52 | 0.000 % |
21.32/21.38 c | 26342 | 871 86161 373261 | 2147483647 26342 52 | 0.000 % |
21.82/21.90 c | 26715 | 871 86161 373261 | 2147483647 26715 52 | 0.000 % |
22.42/22.49 c | 27124 | 871 86161 373261 | 2147483647 27124 52 | 0.000 % |
23.12/23.15 c | 27573 | 871 86161 373261 | 2147483647 27573 53 | 0.000 % |
23.32/23.32 c | 27674 | 871 86161 373261 | 2147483647 27674 53 | 0.000 % |
23.42/23.46 c | 27784 | 871 86161 373261 | 2147483647 27784 53 | 0.000 % |
23.62/23.63 c | 27908 | 871 86161 373261 | 2147483647 27908 53 | 0.000 % |
23.82/23.82 c | 28042 | 871 86161 373261 | 2147483647 28042 53 | 0.000 % |
24.02/24.07 c | 28189 | 871 86161 373261 | 2147483647 28189 53 | 0.000 % |
24.32/24.32 c | 28349 | 871 86161 373261 | 2147483647 28349 53 | 0.000 % |
24.52/24.56 c | 28525 | 871 86161 373261 | 2147483647 28525 53 | 0.000 % |
24.82/24.87 c | 28719 | 871 86161 373261 | 2147483647 28719 53 | 0.000 % |
25.12/25.18 c | 28934 | 871 86161 373261 | 2147483647 28934 53 | 0.000 % |
25.52/25.58 c | 29167 | 871 86161 373261 | 2147483647 29167 53 | 0.000 % |
25.92/25.96 c | 29425 | 871 86161 373261 | 2147483647 29425 53 | 0.000 % |
26.42/26.46 c | 29707 | 871 86161 373261 | 2147483647 29707 53 | 0.000 % |
26.92/26.93 c | 30017 | 871 86161 373261 | 2147483647 30017 53 | 0.000 % |
27.42/27.45 c | 30356 | 871 86161 373261 | 2147483647 30356 53 | 0.000 % |
27.82/27.89 c | 30728 | 871 86161 373261 | 2147483647 30728 53 | 0.000 % |
28.32/28.35 c | 31138 | 871 86161 373261 | 2147483647 31138 53 | 0.000 % |
29.12/29.15 c | 31589 | 871 86161 373261 | 2147483647 31589 54 | 0.000 % |
30.02/30.02 c | 32082 | 871 86161 373261 | 2147483647 32082 54 | 0.000 % |
30.22/30.26 c | 32182 | 871 86161 373261 | 2147483647 32182 54 | 0.000 % |
30.42/30.48 c | 32292 | 871 86161 373261 | 2147483647 32292 54 | 0.000 % |
30.62/30.68 c | 32413 | 871 86161 373261 | 2147483647 32413 54 | 0.000 % |
30.92/30.99 c | 32547 | 871 86161 373261 | 2147483647 32547 54 | 0.000 % |
31.22/31.28 c | 32693 | 871 86161 373261 | 2147483647 32693 54 | 0.000 % |
31.52/31.56 c | 32853 | 871 86161 373261 | 2147483647 32853 54 | 0.000 % |
31.72/31.76 c | 33030 | 871 86161 373261 | 2147483647 33030 54 | 0.000 % |
32.12/32.19 c | 33224 | 871 86161 373261 | 2147483647 33224 54 | 0.000 % |
32.52/32.57 c | 33437 | 871 86161 373261 | 2147483647 33437 54 | 0.000 % |
32.92/32.97 c | 33672 | 871 86161 373261 | 2147483647 33672 54 | 0.000 % |
33.42/33.46 c | 33928 | 871 86161 373261 | 2147483647 33928 54 | 0.000 % |
33.82/33.84 c | 34209 | 871 86161 373261 | 2147483647 34209 54 | 0.000 % |
34.32/34.37 c | 34519 | 871 86161 373261 | 2147483647 34519 54 | 0.000 % |
34.92/34.93 c | 34859 | 871 86161 373261 | 2147483647 34859 54 | 0.000 % |
35.42/35.48 c | 35231 | 871 86161 373261 | 2147483647 35231 54 | 0.000 % |
36.12/36.15 c | 35641 | 871 86161 373261 | 2147483647 35641 54 | 0.000 % |
36.52/36.57 c | 36091 | 871 86161 373261 | 2147483647 36091 54 | 0.000 % |
37.82/37.85 c | 36584 | 871 86161 373261 | 2147483647 36584 54 | 0.000 % |
39.12/39.12 c | 37127 | 871 86161 373261 | 2147483647 37127 54 | 0.000 % |
39.22/39.29 c | 37227 | 871 86161 373261 | 2147483647 37227 54 | 0.000 % |
39.52/39.54 c | 37338 | 871 86161 373261 | 2147483647 37338 54 | 0.000 % |
39.82/39.85 c | 37460 | 871 86161 373261 | 2147483647 37460 54 | 0.000 % |
40.12/40.17 c | 37595 | 871 86161 373261 | 2147483647 37595 54 | 0.000 % |
40.42/40.49 c | 37743 | 871 86161 373261 | 2147483647 37743 54 | 0.000 % |
40.72/40.75 c | 37906 | 871 86161 373261 | 2147483647 37906 54 | 0.000 % |
40.92/40.93 c | 38083 | 871 86161 373261 | 2147483647 38083 54 | 0.000 % |
41.32/41.38 c | 38277 | 871 86161 373261 | 2147483647 38277 54 | 0.000 % |
41.62/41.69 c | 38489 | 871 86161 373261 | 2147483647 38489 54 | 0.000 % |
42.02/42.02 c | 38724 | 871 86161 373261 | 2147483647 38724 54 | 0.000 % |
42.22/42.27 c | 38981 | 871 86161 373261 | 2147483647 38981 54 | 0.000 % |
42.82/42.91 c | 39262 | 871 86161 373261 | 2147483647 39262 54 | 0.000 % |
43.82/43.85 c | 39575 | 871 86161 373261 | 2147483647 39575 54 | 0.000 % |
44.72/44.78 c | 39914 | 871 86161 373261 | 2147483647 39914 54 | 0.000 % |
45.42/45.47 c | 40287 | 871 86161 373261 | 2147483647 40287 54 | 0.000 % |
46.12/46.15 c | 40700 | 871 86161 373261 | 2147483647 40700 54 | 0.000 % |
46.92/47.00 c | 41151 | 871 86161 373261 | 2147483647 41151 54 | 0.000 % |
47.92/47.99 c | 41645 | 871 86161 373261 | 2147483647 41645 54 | 0.000 % |
49.22/49.27 c | 42188 | 871 86161 373261 | 2147483647 42188 54 | 0.000 % |
50.62/50.65 c | 42786 | 871 86161 373261 | 2147483647 42786 54 | 0.000 % |
50.92/50.92 c | 42886 | 871 86161 373261 | 2147483647 42886 54 | 0.000 % |
51.12/51.18 c | 42999 | 871 86161 373261 | 2147483647 42999 54 | 0.000 % |
51.32/51.39 c | 43120 | 871 86161 373261 | 2147483647 43120 54 | 0.000 % |
51.62/51.65 c | 43254 | 871 86161 373261 | 2147483647 43254 54 | 0.000 % |
51.82/51.91 c | 43404 | 871 86161 373261 | 2147483647 43404 54 | 0.000 % |
52.12/52.13 c | 43568 | 871 86161 373261 | 2147483647 43568 54 | 0.000 % |
52.62/52.69 c | 43745 | 871 86161 373261 | 2147483647 43745 54 | 0.000 % |
53.02/53.04 c | 43939 | 871 86161 373261 | 2147483647 43939 54 | 0.000 % |
53.62/53.65 c | 44151 | 871 86161 373261 | 2147483647 44151 54 | 0.000 % |
54.12/54.12 c | 44385 | 871 86161 373261 | 2147483647 44385 54 | 0.000 % |
54.52/54.57 c | 44641 | 871 86161 373261 | 2147483647 44641 54 | 0.000 % |
55.12/55.13 c | 44922 | 871 86161 373261 | 2147483647 44922 54 | 0.000 % |
55.72/55.80 c | 45233 | 871 86161 373261 | 2147483647 45233 54 | 0.000 % |
56.82/56.85 c | 45575 | 871 86161 373261 | 2147483647 45575 54 | 0.000 % |
58.02/58.06 c | 45947 | 871 86161 373261 | 2147483647 45947 54 | 0.000 % |
59.52/59.54 c | 46356 | 871 86161 373261 | 2147483647 46356 54 | 0.000 % |
60.72/60.73 c | 46805 | 871 86161 373261 | 2147483647 46805 54 | 0.000 % |
62.02/62.03 c | 47304 | 871 86161 373261 | 2147483647 47304 54 | 0.000 % |
63.62/63.63 c | 47846 | 871 86161 373261 | 2147483647 47846 54 | 0.000 % |
65.22/65.23 c | 48445 | 871 86161 373261 | 2147483647 48445 54 | 0.000 % |
67.22/67.31 c | 49100 | 871 86161 373261 | 2147483647 49100 54 | 0.000 % |
67.62/67.69 c | 49200 | 871 86161 373261 | 2147483647 49200 54 | 0.000 % |
67.82/67.88 c | 49313 | 871 86161 373261 | 2147483647 49313 54 | 0.000 % |
68.32/68.38 c | 49437 | 871 86161 373261 | 2147483647 49437 54 | 0.000 % |
68.82/68.87 c | 49572 | 871 86161 373261 | 2147483647 49572 54 | 0.000 % |
69.52/69.56 c | 49718 | 871 86161 373261 | 2147483647 49718 54 | 0.000 % |
70.02/70.08 c | 49878 | 871 86161 373261 | 2147483647 49878 54 | 0.000 % |
70.72/70.79 c | 50056 | 871 86161 373261 | 2147483647 50056 54 | 0.000 % |
71.32/71.34 c | 50252 | 871 86161 373261 | 2147483647 50252 54 | 0.000 % |
72.02/72.10 c | 50465 | 871 86161 373261 | 2147483647 50465 54 | 0.000 % |
72.92/73.01 c | 50698 | 871 86161 373261 | 2147483647 50698 54 | 0.000 % |
73.82/73.86 c | 50954 | 871 86161 373261 | 2147483647 50954 54 | 0.000 % |
74.72/74.79 c | 51239 | 871 86161 373261 | 2147483647 51239 54 | 0.000 % |
75.82/75.83 c | 51549 | 871 86161 373261 | 2147483647 51549 54 | 0.000 % |
76.92/76.92 c | 51888 | 871 86161 373261 | 2147483647 51888 54 | 0.000 % |
78.32/78.35 c | 52260 | 871 86161 373261 | 2147483647 52260 54 | 0.000 % |
79.42/79.41 c | 52671 | 871 86161 373261 | 2147483647 52671 54 | 0.000 % |
80.72/80.77 c | 53120 | 871 86161 373261 | 2147483647 53120 54 | 0.000 % |
82.32/82.32 c | 53613 | 871 86161 373261 | 2147483647 53613 54 | 0.000 % |
83.72/83.79 c | 54155 | 871 86161 373261 | 2147483647 54155 54 | 0.000 % |
85.42/85.43 c | 54755 | 871 86161 373261 | 2147483647 54755 54 | 0.000 % |
86.62/86.62 c | 55415 | 871 86161 373261 | 2147483647 55415 54 | 0.000 % |
87.82/87.83 c | 56137 | 871 86161 373261 | 2147483647 56137 54 | 0.000 % |
87.92/88.02 c | 56237 | 871 86161 373261 | 2147483647 56237 54 | 0.000 % |
88.22/88.22 c | 56347 | 871 86161 373261 | 2147483647 56347 54 | 0.001 % |
88.42/88.45 c | 56470 | 871 86161 373261 | 2147483647 56470 54 | 0.000 % |
88.72/88.76 c | 56603 | 871 86161 373261 | 2147483647 56603 54 | 0.000 % |
89.02/89.08 c | 56749 | 871 86161 373261 | 2147483647 56749 54 | 0.000 % |
89.32/89.39 c | 56909 | 871 86161 373261 | 2147483647 56909 54 | 0.000 % |
89.72/89.77 c | 57091 | 871 86161 373261 | 2147483647 57091 54 | 0.000 % |
90.52/90.61 c | 57286 | 871 86161 373261 | 2147483647 57286 54 | 0.000 % |
91.12/91.13 c | 57499 | 871 86161 373261 | 2147483647 57499 54 | 0.000 % |
91.72/91.71 c | 57732 | 871 86161 373261 | 2147483647 57732 54 | 0.000 % |
92.52/92.59 c | 57988 | 871 86161 373261 | 2147483647 57988 54 | 0.000 % |
93.53/93.59 c | 58269 | 871 86161 373261 | 2147483647 58269 54 | 0.000 % |
94.63/94.63 c | 58580 | 871 86161 373261 | 2147483647 58580 54 | 0.000 % |
95.73/95.79 c | 58919 | 871 86161 373261 | 2147483647 58919 54 | 0.000 % |
97.22/97.23 c | 59291 | 871 86161 373261 | 2147483647 59291 54 | 0.000 % |
98.62/98.65 c | 59703 | 871 86161 373261 | 2147483647 59703 54 | 0.000 % |
100.33/100.40 c | 60154 | 871 86161 373261 | 2147483647 60154 54 | 0.000 % |
102.03/102.09 c | 60649 | 871 86161 373261 | 2147483647 60649 54 | 0.000 % |
103.53/103.54 c | 61192 | 871 86161 373261 | 2147483647 61192 54 | 0.000 % |
105.33/105.37 c | 61790 | 871 86161 373261 | 2147483647 61790 54 | 0.000 % |
107.83/107.87 c | 62445 | 871 86161 373261 | 2147483647 62445 54 | 0.000 % |
110.23/110.23 c | 63170 | 871 86161 373261 | 2147483647 63170 54 | 0.000 % |
112.93/112.99 c | 63962 | 871 86161 373261 | 2147483647 63962 54 | 0.000 % |
113.33/113.40 c | 64065 | 871 86161 373261 | 2147483647 64065 54 | 0.000 % |
113.83/113.90 c | 64175 | 871 86161 373261 | 2147483647 64175 54 | 0.000 % |
114.33/114.33 c | 64297 | 871 86161 373261 | 2147483647 64297 54 | 0.000 % |
114.83/114.92 c | 64431 | 871 86161 373261 | 2147483647 64431 54 | 0.000 % |
115.53/115.55 c | 64579 | 871 86161 373261 | 2147483647 64579 54 | 0.000 % |
116.33/116.33 c | 64740 | 871 86161 373261 | 2147483647 64740 54 | 0.000 % |
117.03/117.08 c | 64917 | 871 86161 373261 | 2147483647 64917 54 | 0.000 % |
117.63/117.69 c | 65111 | 871 86161 373261 | 2147483647 65111 54 | 0.000 % |
118.43/118.46 c | 65324 | 871 86161 373261 | 2147483647 65324 54 | 0.000 % |
119.23/119.27 c | 65558 | 871 86161 373261 | 2147483647 65558 54 | 0.000 % |
120.13/120.18 c | 65815 | 871 86161 373261 | 2147483647 65815 55 | 0.000 % |
121.03/121.05 c | 66097 | 871 86161 373261 | 2147483647 66097 55 | 0.000 % |
122.23/122.29 c | 66409 | 871 86161 373261 | 2147483647 66409 55 | 0.000 % |
123.13/123.18 c | 66748 | 871 86161 373261 | 2147483647 66748 55 | 0.000 % |
124.63/124.65 c | 67120 | 871 86161 373261 | 2147483647 67120 55 | 0.000 % |
126.23/126.30 c | 67532 | 871 86161 373261 | 2147483647 67532 55 | 0.000 % |
128.03/128.08 c | 67981 | 871 86161 373261 | 2147483647 67981 55 | 0.000 % |
129.03/129.08 c | 68474 | 871 86161 373261 | 2147483647 68474 55 | 0.000 % |
130.73/130.81 c | 69018 | 871 86161 373261 | 2147483647 69018 55 | 0.000 % |
133.13/133.12 c | 69614 | 871 86161 373261 | 2147483647 69614 55 | 0.000 % |
135.43/135.48 c | 70269 | 871 86161 373261 | 2147483647 70269 55 | 0.000 % |
137.83/137.87 c | 70989 | 871 86161 373261 | 2147483647 70989 55 | 0.000 % |
140.93/140.98 c | 71783 | 871 86161 373261 | 2147483647 71783 55 | 0.000 % |
144.73/144.75 c | 72655 | 871 86161 373261 | 2147483647 72655 55 | 0.000 % |
145.23/145.26 c | 72755 | 871 86161 373261 | 2147483647 72755 55 | 0.000 % |
145.63/145.67 c | 72866 | 871 86161 373261 | 2147483647 72866 54 | 0.000 % |
146.03/146.10 c | 72988 | 871 86161 373261 | 2147483647 72988 54 | 0.000 % |
146.53/146.57 c | 73121 | 871 86161 373261 | 2147483647 73121 54 | 0.000 % |
147.23/147.24 c | 73268 | 871 86161 373261 | 2147483647 73268 54 | 0.000 % |
147.83/147.88 c | 73428 | 871 86161 373261 | 2147483647 73428 54 | 0.000 % |
148.53/148.55 c | 73605 | 871 86161 373261 | 2147483647 73605 54 | 0.000 % |
149.13/149.21 c | 73799 | 871 86161 373261 | 2147483647 73799 54 | 0.000 % |
149.83/149.86 c | 74014 | 871 86161 373261 | 2147483647 74014 54 | 0.000 % |
151.03/151.07 c | 74248 | 871 86161 373261 | 2147483647 74248 54 | 0.000 % |
152.13/152.21 c | 74506 | 871 86161 373261 | 2147483647 74506 54 | 0.000 % |
153.33/153.41 c | 74787 | 871 86161 373261 | 2147483647 74787 54 | 0.000 % |
154.23/154.24 c | 75097 | 871 86161 373261 | 2147483647 75097 54 | 0.000 % |
155.73/155.75 c | 75436 | 871 86161 373261 | 2147483647 75436 54 | 0.000 % |
157.33/157.36 c | 75809 | 871 86161 373261 | 2147483647 75809 54 | 0.000 % |
159.13/159.12 c | 76218 | 871 86161 373261 | 2147483647 76218 54 | 0.000 % |
160.73/160.79 c | 76669 | 871 86161 373261 | 2147483647 76669 54 | 0.000 % |
162.73/162.75 c | 77162 | 871 86161 373261 | 2147483647 77162 54 | 0.000 % |
164.72/164.74 c | 77704 | 871 86161 373261 | 2147483647 77704 54 | 0.000 % |
166.62/166.62 c | 78303 | 871 86161 373261 | 2147483647 78303 54 | 0.000 % |
169.32/169.31 c | 78958 | 871 86161 373261 | 2147483647 78958 54 | 0.000 % |
171.72/171.71 c | 79679 | 871 86161 373261 | 2147483647 79679 54 | 0.000 % |
174.21/174.21 c | 80477 | 871 86161 373261 | 2147483647 80477 54 | 0.000 % |
176.51/176.57 c | 81348 | 871 86161 373261 | 2147483647 81348 54 | 0.000 % |
179.41/179.44 c | 82307 | 871 86161 373261 | 2147483647 82307 54 | 0.000 % |
179.71/179.75 c | 82408 | 871 86161 373261 | 2147483647 82408 54 | 0.000 % |
180.21/180.25 c | 82520 | 871 86161 373261 | 2147483647 82520 54 | 0.000 % |
180.91/180.95 c | 82641 | 871 86161 373261 | 2147483647 82641 54 | 0.000 % |
181.41/181.47 c | 82774 | 871 86161 373261 | 2147483647 82774 54 | 0.000 % |
182.11/182.14 c | 82921 | 871 86161 373261 | 2147483647 82921 54 | 0.000 % |
182.81/182.81 c | 83081 | 871 86161 373261 | 2147483647 83081 54 | 0.000 % |
183.61/183.63 c | 83257 | 871 86161 373261 | 2147483647 83257 54 | 0.000 % |
184.31/184.39 c | 83451 | 871 86161 373261 | 2147483647 83451 54 | 0.000 % |
185.31/185.34 c | 83665 | 871 86161 373261 | 2147483647 83665 54 | 0.000 % |
186.31/186.31 c | 83899 | 871 86161 373261 | 2147483647 83899 54 | 0.000 % |
187.02/187.07 c | 84156 | 871 86161 373261 | 2147483647 84156 54 | 0.000 % |
187.91/187.94 c | 84439 | 871 86161 373261 | 2147483647 84439 54 | 0.000 % |
188.91/188.92 c | 84749 | 871 86161 373261 | 2147483647 84749 54 | 0.000 % |
190.01/190.08 c | 85089 | 871 86161 373261 | 2147483647 85089 54 | 0.000 % |
191.81/191.86 c | 85463 | 871 86161 373261 | 2147483647 85463 54 | 0.000 % |
193.01/193.00 c | 85872 | 871 86161 373261 | 2147483647 85872 54 | 0.000 % |
194.01/194.09 c | 86321 | 871 86161 373261 | 2147483647 86321 54 | 0.000 % |
195.51/195.53 c | 86814 | 871 86161 373261 | 2147483647 86814 54 | 0.000 % |
197.11/197.15 c | 87356 | 871 86161 373261 | 2147483647 87356 54 | 0.000 % |
199.12/199.15 c | 87952 | 871 86161 373261 | 2147483647 87952 54 | 0.000 % |
201.01/201.08 c | 88608 | 871 86161 373261 | 2147483647 88608 54 | 0.000 % |
203.21/203.26 c | 89329 | 871 86161 373261 | 2147483647 89329 54 | 0.000 % |
205.91/205.99 c | 90121 | 871 86161 373261 | 2147483647 90121 54 | 0.000 % |
208.61/208.61 c | 90993 | 871 86161 373261 | 2147483647 90993 53 | 0.000 % |
211.81/211.85 c | 91951 | 871 86161 373261 | 2147483647 91951 53 | 0.000 % |
216.32/216.34 c | 93005 | 871 86161 373261 | 2147483647 93005 53 | 0.000 % |
216.82/216.88 c | 93105 | 871 86161 373261 | 2147483647 93105 53 | 0.000 % |
217.42/217.45 c | 93216 | 871 86161 373261 | 2147483647 93216 53 | 0.000 % |
217.82/217.89 c | 93337 | 871 86161 373261 | 2147483647 93337 53 | 0.000 % |
218.32/218.32 c | 93470 | 871 86161 373261 | 2147483647 93470 53 | 0.000 % |
218.82/218.85 c | 93618 | 871 86161 373261 | 2147483647 93618 53 | 0.000 % |
219.32/219.37 c | 93778 | 871 86161 373261 | 2147483647 93778 53 | 0.000 % |
220.02/220.03 c | 93957 | 871 86161 373261 | 2147483647 93957 53 | 0.000 % |
220.62/220.68 c | 94151 | 871 86161 373261 | 2147483647 94151 53 | 0.000 % |
221.62/221.63 c | 94363 | 871 86161 373261 | 2147483647 94363 53 | 0.000 % |
222.72/222.72 c | 94596 | 871 86161 373261 | 2147483647 94596 53 | 0.000 % |
224.02/224.08 c | 94855 | 871 86161 373261 | 2147483647 94855 53 | 0.000 % |
225.52/225.55 c | 95138 | 871 86161 373261 | 2147483647 95138 53 | 0.000 % |
226.82/226.87 c | 95449 | 871 86161 373261 | 2147483647 95449 53 | 0.001 % |
228.12/228.15 c | 95789 | 871 86161 373261 | 2147483647 95789 53 | 0.000 % |
229.32/229.33 c | 96161 | 871 86161 373261 | 2147483647 96161 53 | 0.000 % |
230.42/230.48 c | 96574 | 871 86161 373261 | 2147483647 96574 53 | 0.000 % |
232.02/232.05 c | 97023 | 871 86161 373261 | 2147483647 97023 53 | 0.000 % |
233.72/233.78 c | 97518 | 871 86161 373261 | 2147483647 97518 53 | 0.000 % |
236.12/236.18 c | 98061 | 871 86161 373261 | 2147483647 98061 53 | 0.000 % |
238.12/238.18 c | 98657 | 871 86161 373261 | 2147483647 98657 54 | 0.001 % |
241.22/241.23 c | 99312 | 871 86161 373261 | 2147483647 99312 54 | 0.000 % |
243.32/243.33 c | 100032 | 871 86161 373261 | 2147483647 100032 53 | 0.000 % |
246.52/246.60 c | 100826 | 871 86161 373261 | 2147483647 100826 54 | 0.000 % |
249.52/249.52 c | 101698 | 871 86161 373261 | 2147483647 101698 54 | 0.000 % |
253.02/253.10 c | 102658 | 871 86161 373261 | 2147483647 102658 54 | 0.000 % |
255.72/255.76 c | 103713 | 871 86161 373261 | 2147483647 103713 53 | 0.000 % |
259.32/259.39 c | 104872 | 871 86161 373261 | 2147483647 104872 53 | 0.000 % |
259.72/259.80 c | 104974 | 871 86161 373261 | 2147483647 104974 53 | 0.000 % |
260.32/260.31 c | 105085 | 871 86161 373261 | 2147483647 105085 53 | 0.000 % |
260.72/260.74 c | 105206 | 871 86161 373261 | 2147483647 105206 53 | 0.000 % |
261.02/261.07 c | 105339 | 871 86161 373261 | 2147483647 105339 53 | 0.000 % |
261.62/261.70 c | 105487 | 871 86161 373261 | 2147483647 105487 53 | 0.000 % |
262.62/262.62 c | 105648 | 871 86161 373261 | 2147483647 105648 53 | 0.000 % |
263.52/263.57 c | 105827 | 871 86161 373261 | 2147483647 105827 53 | 0.000 % |
264.32/264.36 c | 106020 | 871 86161 373261 | 2147483647 106020 53 | 0.000 % |
265.12/265.15 c | 106232 | 871 86161 373261 | 2147483647 106232 53 | 0.000 % |
265.92/265.94 c | 106465 | 871 86161 373261 | 2147483647 106465 53 | 0.000 % |
266.82/266.89 c | 106721 | 871 86161 373261 | 2147483647 106721 53 | 0.000 % |
267.92/267.99 c | 107003 | 871 86161 373261 | 2147483647 107003 53 | 0.000 % |
269.42/269.41 c | 107314 | 871 86161 373261 | 2147483647 107314 53 | 0.000 % |
271.12/271.19 c | 107653 | 871 86161 373261 | 2147483647 107653 53 | 0.000 % |
273.12/273.10 c | 108027 | 871 86161 373261 | 2147483647 108027 53 | 0.000 % |
274.62/274.65 c | 108436 | 871 86161 373261 | 2147483647 108436 53 | 0.000 % |
276.72/276.78 c | 108885 | 871 86161 373261 | 2147483647 108885 53 | 0.000 % |
279.02/279.02 c | 109379 | 871 86161 373261 | 2147483647 109379 53 | 0.000 % |
280.72/280.75 c | 109926 | 871 86161 373261 | 2147483647 109926 53 | 0.000 % |
283.12/283.14 c | 110522 | 871 86161 373261 | 2147483647 110522 53 | 0.000 % |
286.42/286.45 c | 111177 | 871 86161 373261 | 2147483647 111177 53 | 0.000 % |
290.12/290.13 c | 111897 | 871 86161 373261 | 2147483647 111897 53 | 0.000 % |
293.52/293.51 c | 112690 | 871 86161 373261 | 2147483647 112690 53 | 0.000 % |
296.92/296.94 c | 113562 | 871 86161 373261 | 2147483647 113562 53 | 0.000 % |
301.72/301.80 c | 114520 | 871 86161 373261 | 2147483647 114520 53 | 0.000 % |
307.42/307.47 c | 115576 | 871 86161 373261 | 2147483647 115576 53 | 0.000 % |
313.22/313.20 c | 116734 | 871 86161 373261 | 2147483647 116734 53 | 0.000 % |
320.22/320.22 c | 118008 | 871 86161 373261 | 2147483647 118008 53 | 0.000 % |
321.02/321.04 c | 118109 | 871 86161 373261 | 2147483647 118109 53 | 0.000 % |
321.72/321.80 c | 118222 | 871 86161 373261 | 2147483647 118222 53 | 0.000 % |
322.22/322.23 c | 118343 | 871 86161 373261 | 2147483647 118343 53 | 0.000 % |
323.02/323.07 c | 118479 | 871 86161 373261 | 2147483647 118479 53 | 0.000 % |
323.43/323.42 c | 118625 | 871 86161 373261 | 2147483647 118625 53 | 0.000 % |
324.42/324.46 c | 118786 | 871 86161 373261 | 2147483647 118786 53 | 0.000 % |
325.22/325.22 c | 118962 | 871 86161 373261 | 2147483647 118962 53 | 0.000 % |
326.22/326.30 c | 119155 | 871 86161 373261 | 2147483647 119155 53 | 0.000 % |
327.42/327.50 c | 119367 | 871 86161 373261 | 2147483647 119367 53 | 0.000 % |
328.83/328.89 c | 119601 | 871 86161 373261 | 2147483647 119601 53 | 0.000 % |
329.63/329.67 c | 119857 | 871 86161 373261 | 2147483647 119857 53 | 0.000 % |
330.43/330.49 c | 120138 | 871 86161 373261 | 120000 120138 53 | 0.000 % |
332.13/332.21 c | 120448 | 871 86161 373261 | 120000 101759 53 | 0.000 % |
333.63/333.62 c | 120795 | 871 86161 373261 | 120000 102106 53 | 0.000 % |
334.93/334.99 c | 121169 | 871 86161 373261 | 120000 102480 53 | 0.000 % |
336.33/336.34 c | 121578 | 871 86161 373261 | 120000 102889 53 | 0.000 % |
338.63/338.69 c | 122029 | 871 86161 373261 | 120000 103340 53 | 0.000 % |
341.33/341.36 c | 122523 | 871 86161 373261 | 120000 103834 53 | 0.000 % |
344.83/344.90 c | 123066 | 871 86161 373261 | 120000 104377 53 | 0.000 % |
347.83/347.83 c | 123662 | 871 86161 373261 | 120000 104973 53 | 0.000 % |
351.03/351.05 c | 124319 | 871 86161 373261 | 120000 105630 53 | 0.000 % |
353.33/353.39 c | 125041 | 871 86161 373261 | 120000 106352 53 | 0.000 % |
356.23/356.25 c | 125835 | 871 86161 373261 | 120000 107146 53 | 0.000 % |
361.13/361.13 c | 126706 | 871 86161 373261 | 120000 108017 53 | 0.000 % |
364.63/364.63 c | 127665 | 871 86161 373261 | 120000 108976 53 | 0.000 % |
369.53/369.57 c | 128718 | 871 86161 373261 | 120000 110029 53 | 0.000 % |
373.93/373.98 c | 129876 | 871 86161 373261 | 120000 111187 53 | 0.000 % |
378.73/378.76 c | 131150 | 871 86161 373261 | 111313 96656 52 | 0.000 % |
383.13/383.12 c | 132552 | 871 86161 373261 | 111313 98058 52 | 0.000 % |
383.53/383.56 c | 132653 | 871 86161 373261 | 111313 98159 52 | 0.000 % |
384.03/384.08 c | 132763 | 871 86161 373261 | 111313 98269 52 | 0.000 % |
384.53/384.59 c | 132884 | 871 86161 373261 | 111313 98390 52 | 0.000 % |
385.13/385.18 c | 133017 | 871 86161 373261 | 111313 98523 52 | 0.000 % |
385.83/385.83 c | 133163 | 871 86161 373261 | 111313 98669 52 | 0.000 % |
386.63/386.61 c | 133324 | 871 86161 373261 | 111313 98830 52 | 0.000 % |
387.33/387.36 c | 133502 | 871 86161 373261 | 111313 99008 52 | 0.000 % |
388.23/388.26 c | 133696 | 871 86161 373261 | 111313 99202 52 | 0.000 % |
389.13/389.12 c | 133909 | 871 86161 373261 | 111313 99415 52 | 0.000 % |
390.03/390.03 c | 134146 | 871 86161 373261 | 111313 99652 52 | 0.000 % |
390.73/390.75 c | 134403 | 871 86161 373261 | 111313 99909 52 | 0.000 % |
391.63/391.64 c | 134685 | 871 86161 373261 | 111313 100191 52 | 0.000 % |
393.23/393.24 c | 134995 | 871 86161 373261 | 111313 100501 52 | 0.000 % |
394.53/394.58 c | 135334 | 871 86161 373261 | 111313 100840 52 | 0.000 % |
395.83/395.84 c | 135706 | 871 86161 373261 | 111313 101212 52 | 0.000 % |
397.03/397.04 c | 136116 | 871 86161 373261 | 111313 101622 52 | 0.000 % |
398.43/398.46 c | 136567 | 871 86161 373261 | 111313 102073 52 | 0.000 % |
400.44/400.46 c | 137060 | 871 86161 373261 | 111313 102566 52 | 0.000 % |
403.33/403.38 c | 137603 | 871 86161 373261 | 111313 103109 52 | 0.000 % |
406.03/406.08 c | 138201 | 871 86161 373261 | 111313 103707 52 | 0.000 % |
408.93/408.99 c | 138859 | 871 86161 373261 | 111313 104365 52 | 0.000 % |
412.63/412.63 c | 139582 | 871 86161 373261 | 111313 105088 52 | 0.000 % |
416.33/416.38 c | 140374 | 871 86161 373261 | 2147483647 105880 52 | 0.000 % |
419.14/419.19 c | 141245 | 871 86161 373261 | 2147483647 106751 52 | 0.000 % |
423.43/423.46 c | 142205 | 871 86161 373261 | 2147483647 107711 52 | 0.000 % |
426.93/426.99 c | 143258 | 871 86161 373261 | 2147483647 108764 52 | 0.000 % |
430.63/430.70 c | 144421 | 871 86161 373261 | 2147483647 109927 52 | 0.000 % |
435.13/435.12 c | 145694 | 871 86161 373261 | 2147483647 111200 52 | 0.000 % |
440.23/440.28 c | 147096 | 871 86161 373261 | 2147483647 112602 52 | 0.000 % |
447.74/447.81 c | 148637 | 871 86161 373261 | 2147483647 114143 52 | 0.000 % |
448.24/448.27 c | 148740 | 871 86161 373261 | 2147483647 114246 52 | 0.000 % |
448.64/448.66 c | 148851 | 871 86161 373261 | 2147483647 114357 52 | 0.000 % |
449.24/449.29 c | 148972 | 871 86161 373261 | 2147483647 114478 52 | 0.000 % |
450.04/450.12 c | 149109 | 871 86161 373261 | 2147483647 114615 52 | 0.000 % |
450.84/450.91 c | 149255 | 871 86161 373261 | 2147483647 114761 52 | 0.000 % |
451.74/451.73 c | 149417 | 871 86161 373261 | 2147483647 114923 52 | 0.000 % |
452.54/452.58 c | 149595 | 871 86161 373261 | 2147483647 115101 52 | 0.000 % |
453.64/453.70 c | 149788 | 871 86161 373261 | 2147483647 115294 52 | 0.000 % |
454.84/454.87 c | 150003 | 871 86161 373261 | 2147483647 115509 52 | 0.000 % |
456.04/456.11 c | 150236 | 871 86161 373261 | 2147483647 115742 52 | 0.000 % |
457.14/457.21 c | 150492 | 871 86161 373261 | 2147483647 115998 52 | 0.000 % |
458.44/458.51 c | 150773 | 871 86161 373261 | 2147483647 116279 52 | 0.000 % |
460.14/460.16 c | 151082 | 871 86161 373261 | 2147483647 116588 52 | 0.000 % |
462.04/462.04 c | 151421 | 871 86161 373261 | 2147483647 116927 52 | 0.000 % |
463.54/463.61 c | 151794 | 871 86161 373261 | 2147483647 117300 52 | 0.000 % |
465.04/465.11 c | 152203 | 871 86161 373261 | 2147483647 117709 52 | 0.000 % |
467.24/467.24 c | 152653 | 871 86161 373261 | 2147483647 118159 52 | 0.000 % |
469.34/469.41 c | 153146 | 871 86161 373261 | 2147483647 118652 52 | 0.000 % |
472.24/472.27 c | 153689 | 871 86161 373261 | 2147483647 119195 52 | 0.000 % |
474.94/474.97 c | 154289 | 871 86161 373261 | 2147483647 119795 52 | 0.000 % |
478.04/478.05 c | 154945 | 871 86161 373261 | 2147483647 120451 52 | 0.000 % |
481.54/481.61 c | 155667 | 871 86161 373261 | 2147483647 121173 52 | 0.000 % |
485.34/485.34 c | 156459 | 871 86161 373261 | 2147483647 121965 52 | 0.000 % |
489.34/489.33 c | 157330 | 871 86161 373261 | 2147483647 122836 52 | 0.000 % |
493.44/493.48 c | 158289 | 871 86161 373261 | 2147483647 123795 52 | 0.000 % |
498.34/498.32 c | 159343 | 871 86161 373261 | 2147483647 124849 52 | 0.000 % |
503.44/503.49 c | 160501 | 871 86161 373261 | 2147483647 126007 52 | 0.000 % |
508.94/508.99 c | 161774 | 871 86161 373261 | 2147483647 127280 52 | 0.000 % |
514.14/514.16 c | 163177 | 871 86161 373261 | 2147483647 128683 52 | 0.000 % |
521.54/521.52 c | 164718 | 871 86161 373261 | 2147483647 130224 52 | 0.000 % |
527.44/527.49 c | 166412 | 871 86161 373261 | 2147483647 131918 52 | 0.000 % |
527.94/527.98 c | 166512 | 871 86161 373261 | 2147483647 132018 52 | 0.000 % |
528.54/528.54 c | 166623 | 871 86161 373261 | 2147483647 132129 52 | 0.000 % |
529.04/529.09 c | 166745 | 871 86161 373261 | 2147483647 132251 52 | 0.000 % |
529.74/529.81 c | 166878 | 871 86161 373261 | 2147483647 132384 52 | 0.000 % |
530.44/530.48 c | 167024 | 871 86161 373261 | 2147483647 132530 52 | 0.000 % |
531.43/531.47 c | 167186 | 871 86161 373261 | 2147483647 132692 52 | 0.000 % |
532.13/532.12 c | 167362 | 871 86161 373261 | 2147483647 132868 52 | 0.000 % |
533.03/533.04 c | 167555 | 871 86161 373261 | 2147483647 133061 52 | 0.000 % |
534.13/534.10 c | 167767 | 871 86161 373261 | 2147483647 133273 52 | 0.001 % |
535.03/535.03 c | 168000 | 871 86161 373261 | 2147483647 133506 52 | 0.000 % |
536.93/536.96 c | 168256 | 871 86161 373261 | 2147483647 133762 52 | 0.000 % |
538.13/538.15 c | 168538 | 871 86161 373261 | 2147483647 134044 52 | 0.000 % |
540.23/540.22 c | 168847 | 871 86161 373261 | 2147483647 134353 52 | 0.000 % |
542.23/542.21 c | 169187 | 871 86161 373261 | 2147483647 134693 52 | 0.000 % |
544.13/544.15 c | 169562 | 871 86161 373261 | 2147483647 135068 52 | 0.000 % |
546.63/546.65 c | 169973 | 871 86161 373261 | 2147483647 135479 52 | 0.000 % |
548.63/548.60 c | 170424 | 871 86161 373261 | 2147483647 135930 52 | 0.000 % |
551.03/551.06 c | 170918 | 871 86161 373261 | 2147483647 136424 52 | 0.000 % |
553.63/553.67 c | 171461 | 871 86161 373261 | 2147483647 136967 51 | 0.000 % |
556.33/556.36 c | 172059 | 871 86161 373261 | 2147483647 137565 51 | 0.000 % |
559.64/559.63 c | 172715 | 871 86161 373261 | 2147483647 138221 51 | 0.000 % |
563.94/563.95 c | 173437 | 871 86161 373261 | 2147483647 138943 51 | 0.000 % |
568.24/568.30 c | 174229 | 871 86161 373261 | 2147483647 139735 51 | 0.000 % |
572.54/572.60 c | 175102 | 871 86161 373261 | 2147483647 140608 51 | 0.000 % |
576.14/576.19 c | 176060 | 871 86161 373261 | 2147483647 141566 51 | 0.000 % |
583.14/583.16 c | 177113 | 871 86161 373261 | 2147483647 142619 51 | 0.000 % |
588.74/588.79 c | 178271 | 871 86161 373261 | 2147483647 143777 51 | 0.000 % |
595.64/595.68 c | 179545 | 871 86161 373261 | 2147483647 145051 51 | 0.000 % |
604.24/604.30 c | 180945 | 871 86161 373261 | 2147483647 146451 51 | 0.000 % |
612.24/612.22 c | 182486 | 871 86161 373261 | 2147483647 147992 51 | 0.000 % |
621.24/621.22 c | 184180 | 871 86161 373261 | 2147483647 149686 51 | 0.000 % |
632.44/632.44 c | 186043 | 871 86161 373261 | 2147483647 151549 51 | 0.000 % |
632.94/632.91 c | 186144 | 871 86161 373261 | 2147483647 151650 51 | 0.000 % |
633.65/633.64 c | 186254 | 871 86161 373261 | 2147483647 151760 51 | 0.000 % |
634.44/634.41 c | 186376 | 871 86161 373261 | 2147483647 151882 51 | 0.000 % |
634.94/634.96 c | 186510 | 871 86161 373261 | 2147483647 152016 51 | 0.000 % |
635.94/635.98 c | 186657 | 871 86161 373261 | 2147483647 152163 51 | 0.000 % |
636.95/636.99 c | 186818 | 871 86161 373261 | 2147483647 152324 51 | 0.000 % |
638.34/638.34 c | 186996 | 871 86161 373261 | 2147483647 152502 51 | 0.000 % |
639.54/639.56 c | 187191 | 871 86161 373261 | 2147483647 152697 51 | 0.000 % |
640.25/640.26 c | 187403 | 871 86161 373261 | 2147483647 152909 51 | 0.000 % |
641.35/641.35 c | 187638 | 871 86161 373261 | 2147483647 153144 51 | 0.000 % |
642.84/642.90 c | 187898 | 871 86161 373261 | 2147483647 153404 51 | 0.000 % |
645.04/645.05 c | 188180 | 871 86161 373261 | 2147483647 153686 51 | 0.000 % |
647.64/647.68 c | 188497 | 871 86161 373261 | 2147483647 154003 51 | 0.000 % |
649.54/649.54 c | 188836 | 871 86161 373261 | 2147483647 154342 51 | 0.000 % |
650.44/650.47 c | 189210 | 871 86161 373261 | 2147483647 154716 51 | 0.000 % |
652.54/652.59 c | 189620 | 871 86161 373261 | 2147483647 155126 51 | 0.000 % |
655.54/655.51 c | 190070 | 871 86161 373261 | 155507 155576 51 | 0.000 % |
660.54/660.56 c | 190566 | 871 86161 373261 | 155507 133339 50 | 0.000 % |
664.45/664.43 c | 191110 | 871 86161 373261 | 155507 133883 50 | 0.000 % |
666.84/666.88 c | 191706 | 871 86161 373261 | 155507 134479 50 | 0.000 % |
670.74/670.79 c | 192363 | 871 86161 373261 | 155507 135136 50 | 0.000 % |
675.45/675.45 c | 193086 | 871 86161 373261 | 155507 135859 50 | 0.000 % |
680.75/680.81 c | 193878 | 871 86161 373261 | 155507 136651 50 | 0.000 % |
685.75/685.78 c | 194749 | 871 86161 373261 | 155507 137522 50 | 0.000 % |
693.05/693.08 c | 195707 | 871 86161 373261 | 155507 138480 50 | 0.000 % |
700.75/700.73 c | 196761 | 871 86161 373261 | 155507 139534 50 | 0.000 % |
706.45/706.49 c | 197919 | 871 86161 373261 | 155507 140692 50 | 0.000 % |
716.35/716.34 c | 199194 | 871 86161 373261 | 155507 141967 50 | 0.000 % |
726.55/726.58 c | 200594 | 871 86161 373261 | 142775 106054 49 | 0.000 % |
736.85/736.84 c | 202135 | 871 86161 373261 | 142775 107595 49 | 0.000 % |
748.45/748.47 c | 203829 | 871 86161 373261 | 142775 109289 49 | 0.000 % |
762.55/762.55 c | 205692 | 871 86161 373261 | 142775 111152 49 | 0.000 % |
769.55/769.56 c | 207741 | 871 86161 373261 | 142775 113201 49 | 0.000 % |
770.06/770.09 c | 207844 | 871 86161 373261 | 142775 113304 49 | 0.000 % |
770.25/770.28 c | 207955 | 871 86161 373261 | 142775 113415 49 | 0.000 % |
770.55/770.51 c | 208076 | 871 86161 373261 | 142775 113536 49 | 0.000 % |
771.85/771.83 c | 208211 | 871 86161 373261 | 142775 113671 49 | 0.000 % |
773.05/773.02 c | 208357 | 871 86161 373261 | 142775 113817 49 | 0.000 % |
774.35/774.36 c | 208518 | 871 86161 373261 | 142775 113978 49 | 0.000 % |
775.95/776.00 c | 208694 | 871 86161 373261 | 142775 114154 49 | 0.000 % |
777.95/777.98 c | 208888 | 871 86161 373261 | 142775 114348 49 | 0.000 % |
778.75/778.80 c | 209103 | 871 86161 373261 | 142775 114563 49 | 0.000 % |
780.55/780.55 c | 209338 | 871 86161 373261 | 142775 114798 49 | 0.000 % |
782.05/782.01 c | 209596 | 871 86161 373261 | 142775 115056 49 | 0.000 % |
783.15/783.19 c | 209877 | 871 86161 373261 | 142775 115337 49 | 0.000 % |
784.95/785.01 c | 210186 | 871 86161 373261 | 115460 115646 49 | 0.000 % |
789.36/789.35 c | 210525 | 871 86161 373261 | 115460 81513 48 | 0.000 % |
791.56/791.61 c | 210898 | 871 86161 373261 | 115460 81886 48 | 0.000 % |
794.16/794.19 c | 211309 | 871 86161 373261 | 115460 82297 48 | 0.000 % |
795.46/795.51 c | 211759 | 871 86161 373261 | 115460 82747 48 | 0.000 % |
796.66/796.70 c | 212252 | 871 86161 373261 | 115460 83240 48 | 0.000 % |
798.06/798.08 c | 212794 | 871 86161 373261 | 115460 83782 48 | 0.000 % |
800.76/800.79 c | 213390 | 871 86161 373261 | 115460 84378 48 | 0.000 % |
803.76/803.77 c | 214047 | 871 86161 373261 | 115460 85035 48 | 0.000 % |
807.76/807.72 c | 214767 | 871 86161 373261 | 115460 85755 48 | 0.000 % |
812.96/812.98 c | 215559 | 871 86161 373261 | 115460 86547 48 | 0.000 % |
818.56/818.58 c | 216431 | 871 86161 373261 | 115460 87419 48 | 0.000 % |
823.36/823.39 c | 217389 | 871 86161 373261 | 115460 88377 48 | 0.000 % |
830.16/830.20 c | 218442 | 871 86161 373261 | 115460 89430 48 | 0.000 % |
837.86/837.89 c | 219600 | 871 86161 373261 | 115460 90588 48 | 0.000 % |
845.76/845.81 c | 220874 | 871 86161 373261 | 90988 67392 48 | 0.000 % |
850.76/850.75 c | 222274 | 871 86161 373261 | 90988 68792 47 | 0.000 % |
855.06/855.08 c | 223816 | 871 86161 373261 | 90988 70334 47 | 0.000 % |
859.86/859.90 c | 225511 | 871 86161 373261 | 90988 72029 47 | 0.000 % |
863.96/864.00 c | 227375 | 871 86161 373261 | 90988 73893 48 | 0.000 % |
872.66/872.64 c | 229426 | 871 86161 373261 | 90988 75944 48 | 0.000 % |
881.76/881.76 c | 231680 | 871 86161 373261 | 76518 68315 48 | 0.000 % |
881.96/882.00 c | 231780 | 871 86161 373261 | 76518 68415 48 | 0.000 % |
882.36/882.32 c | 231892 | 871 86161 373261 | 76518 68527 48 | 0.000 % |
882.66/882.67 c | 232015 | 871 86161 373261 | 76518 68650 48 | 0.000 % |
883.16/883.19 c | 232149 | 871 86161 373261 | 76518 68784 48 | 0.000 % |
883.86/883.83 c | 232295 | 871 86161 373261 | 76518 68930 48 | 0.000 % |
884.47/884.44 c | 232455 | 871 86161 373261 | 76518 69090 48 | 0.000 % |
885.06/885.07 c | 232633 | 871 86161 373261 | 76518 69268 48 | 0.000 % |
885.36/885.38 c | 232826 | 871 86161 373261 | 76518 69461 48 | 0.000 % |
886.16/886.13 c | 233040 | 871 86161 373261 | 76518 69675 48 | 0.000 % |
886.96/886.94 c | 233273 | 871 86161 373261 | 76518 69908 48 | 0.000 % |
887.46/887.51 c | 233530 | 871 86161 373261 | 76518 70165 48 | 0.000 % |
888.65/888.69 c | 233811 | 871 86161 373261 | 76518 70446 48 | 0.000 % |
889.75/889.73 c | 234121 | 871 86161 373261 | 76518 70756 48 | 0.000 % |
890.75/890.74 c | 234460 | 871 86161 373261 | 76518 71095 48 | 0.000 % |
891.95/892.00 c | 234832 | 871 86161 373261 | 76518 71467 48 | 0.000 % |
893.55/893.55 c | 235242 | 871 86161 373261 | 76518 71877 48 | 0.000 % |
894.85/894.87 c | 235695 | 871 86161 373261 | 76518 72330 48 | 0.000 % |
897.05/897.03 c | 236190 | 871 86161 373261 | 76518 72825 48 | 0.000 % |
899.25/899.23 c | 236733 | 871 86161 373261 | 76518 73368 48 | 0.000 % |
902.06/902.02 c | 237330 | 871 86161 373261 | 76518 73965 48 | 0.000 % |
904.46/904.48 c | 237986 | 871 86161 373261 | 76518 74621 48 | 0.000 % |
906.96/906.93 c | 238708 | 871 86161 373261 | 76518 75343 48 | 0.000 % |
910.16/910.15 c | 239500 | 871 86161 373261 | 76518 76135 48 | 0.000 % |
912.76/912.77 c | 240372 | 871 86161 373261 | 2147483647 77007 48 | 0.000 % |
915.96/915.95 c | 241331 | 871 86161 373261 | 2147483647 77966 48 | 0.000 % |
919.46/919.45 c | 242384 | 871 86161 373261 | 2147483647 79019 48 | 0.000 % |
922.96/922.97 c | 243545 | 871 86161 373261 | 2147483647 80180 48 | 0.000 % |
927.86/927.81 c | 244819 | 871 86161 373261 | 2147483647 81454 48 | 0.000 % |
933.06/933.05 c | 246219 | 871 86161 373261 | 2147483647 82854 48 | 0.000 % |
937.86/937.85 c | 247759 | 871 86161 373261 | 2147483647 84394 48 | 0.000 % |
943.56/943.60 c | 249453 | 871 86161 373261 | 2147483647 86088 48 | 0.000 % |
950.06/950.04 c | 251317 | 871 86161 373261 | 2147483647 87952 48 | 0.000 % |
958.06/958.06 c | 253366 | 871 86161 373261 | 2147483647 90001 48 | 0.000 % |
966.76/966.78 c | 255621 | 871 86161 373261 | 2147483647 92256 48 | 0.000 % |
976.96/976.92 c | 258099 | 871 86161 373261 | 2147483647 94734 47 | 0.000 % |
977.16/977.18 c | 258199 | 871 86161 373261 | 2147483647 94834 47 | 0.000 % |
977.76/977.73 c | 258309 | 871 86161 373261 | 2147483647 94944 47 | 0.000 % |
978.16/978.17 c | 258433 | 871 86161 373261 | 2147483647 95068 47 | 0.000 % |
978.86/978.90 c | 258567 | 871 86161 373261 | 2147483647 95202 47 | 0.000 % |
979.56/979.52 c | 258713 | 871 86161 373261 | 2147483647 95348 47 | 0.000 % |
980.17/980.20 c | 258873 | 871 86161 373261 | 2147483647 95508 47 | 0.000 % |
980.76/980.76 c | 259052 | 871 86161 373261 | 2147483647 95687 47 | 0.000 % |
981.76/981.77 c | 259245 | 871 86161 373261 | 2147483647 95880 47 | 0.000 % |
982.46/982.46 c | 259457 | 871 86161 373261 | 2147483647 96092 47 | 0.000 % |
983.26/983.26 c | 259692 | 871 86161 373261 | 2147483647 96327 47 | 0.000 % |
983.96/983.97 c | 259948 | 871 86161 373261 | 2147483647 96583 48 | 0.000 % |
985.36/985.37 c | 260229 | 871 86161 373261 | 96640 83578 48 | 0.000 % |
985.96/985.98 c | 260540 | 871 86161 373261 | 96640 83889 48 | 0.000 % |
986.96/986.91 c | 260880 | 871 86161 373261 | 96640 84229 48 | 0.000 % |
987.96/987.94 c | 261253 | 871 86161 373261 | 96640 84602 48 | 0.000 % |
989.26/989.21 c | 261665 | 871 86161 373261 | 96640 85014 48 | 0.000 % |
990.46/990.44 c | 262115 | 871 86161 373261 | 96640 85464 48 | 0.000 % |
991.56/991.56 c | 262609 | 871 86161 373261 | 96640 85958 48 | 0.000 % |
992.76/992.72 c | 263151 | 871 86161 373261 | 96640 86500 48 | 0.000 % |
993.76/993.78 c | 263748 | 871 86161 373261 | 96640 87097 48 | 0.000 % |
995.76/995.77 c | 264403 | 871 86161 373261 | 96640 87752 48 | 0.000 % |
997.56/997.60 c | 265126 | 871 86161 373261 | 96640 88475 48 | 0.000 % |
999.56/999.51 c | 265918 | 871 86161 373261 | 96640 89267 48 | 0.000 % |
1001.66/1001.66 c | 266790 | 871 86161 373261 | 96640 90139 48 | 0.000 % |
1004.26/1004.30 c | 267748 | 871 86161 373261 | 96640 91097 48 | 0.000 % |
1007.26/1007.26 c | 268802 | 871 86161 373261 | 96640 92151 48 | 0.000 % |
1010.26/1010.31 c | 269962 | 871 86161 373261 | 96640 93311 48 | 0.000 % |
1013.86/1013.88 c | 271235 | 871 86161 373261 | 2147483647 94584 48 | 0.000 % |
1017.57/1017.61 c | 272636 | 871 86161 373261 | 2147483647 95985 48 | 0.000 % |
1021.27/1021.31 c | 274180 | 871 86161 373261 | 2147483647 97529 48 | 0.000 % |
1025.87/1025.84 c | 275874 | 871 86161 373261 | 2147483647 99223 48 | 0.000 % |
1030.57/1030.58 c | 277741 | 871 86161 373261 | 2147483647 101090 48 | 0.000 % |
1035.06/1035.06 c | 279792 | 871 86161 373261 | 2147483647 103141 48 | 0.000 % |
1040.46/1040.51 c | 282045 | 871 86161 373261 | 2147483647 105394 48 | 0.000 % |
1048.76/1048.80 c | 284524 | 871 86161 373261 | 2147483647 107873 48 | 0.000 % |
1057.16/1057.19 c | 287251 | 871 86161 373261 | 2147483647 110600 48 | 0.000 % |
1057.46/1057.43 c | 287353 | 871 86161 373261 | 2147483647 110702 48 | 0.000 % |
1057.76/1057.76 c | 287463 | 871 86161 373261 | 2147483647 110812 48 | 0.000 % |
1058.06/1058.08 c | 287585 | 871 86161 373261 | 2147483647 110934 48 | 0.000 % |
1058.46/1058.46 c | 287719 | 871 86161 373261 | 2147483647 111068 48 | 0.000 % |
1058.96/1058.96 c | 287867 | 871 86161 373261 | 2147483647 111216 48 | 0.000 % |
1059.36/1059.32 c | 288028 | 871 86161 373261 | 2147483647 111377 48 | 0.000 % |
1060.06/1060.10 c | 288206 | 871 86161 373261 | 2147483647 111555 48 | 0.000 % |
1060.66/1060.69 c | 288399 | 871 86161 373261 | 2147483647 111748 48 | 0.000 % |
1061.16/1061.15 c | 288612 | 871 86161 373261 | 2147483647 111961 48 | 0.000 % |
1061.76/1061.79 c | 288847 | 871 86161 373261 | 2147483647 112196 48 | 0.000 % |
1062.76/1062.80 c | 289103 | 871 86161 373261 | 2147483647 112452 48 | 0.000 % |
1063.86/1063.91 c | 289385 | 871 86161 373261 | 2147483647 112734 48 | 0.000 % |
1064.86/1064.83 c | 289694 | 871 86161 373261 | 2147483647 113043 48 | 0.000 % |
1065.66/1065.66 c | 290033 | 871 86161 373261 | 2147483647 113382 48 | 0.000 % |
1067.16/1067.18 c | 290405 | 871 86161 373261 | 2147483647 113754 48 | 0.000 % |
1068.56/1068.52 c | 290814 | 871 86161 373261 | 2147483647 114163 48 | 0.000 % |
1070.16/1070.14 c | 291264 | 871 86161 373261 | 2147483647 114613 48 | 0.000 % |
1071.86/1071.87 c | 291757 | 871 86161 373261 | 2147483647 115106 48 | 0.000 % |
1073.26/1073.22 c | 292299 | 871 86161 373261 | 2147483647 115648 48 | 0.000 % |
1075.16/1075.20 c | 292899 | 871 86161 373261 | 2147483647 116248 48 | 0.000 % |
1077.26/1077.21 c | 293554 | 871 86161 373261 | 2147483647 116903 48 | 0.000 % |
1079.66/1079.65 c | 294274 | 871 86161 373261 | 2147483647 117623 48 | 0.000 % |
1082.46/1082.44 c | 295066 | 871 86161 373261 | 2147483647 118415 48 | 0.000 % |
1085.86/1085.83 c | 295945 | 871 86161 373261 | 2147483647 119294 48 | 0.000 % |
1088.76/1088.80 c | 296903 | 871 86161 373261 | 2147483647 120252 48 | 0.000 % |
1091.86/1091.88 c | 297961 | 871 86161 373261 | 2147483647 121310 48 | 0.000 % |
1094.96/1094.92 c | 299122 | 871 86161 373261 | 2147483647 122471 48 | 0.000 % |
1097.87/1097.89 c | 300398 | 871 86161 373261 | 2147483647 123747 48 | 0.000 % |
1101.66/1101.68 c | 301798 | 871 86161 373261 | 2147483647 125147 48 | 0.000 % |
1105.86/1105.90 c | 303338 | 871 86161 373261 | 2147483647 126687 48 | 0.000 % |
1111.56/1111.59 c | 305033 | 871 86161 373261 | 2147483647 128382 48 | 0.000 % |
1118.56/1118.58 c | 306899 | 871 86161 373261 | 2147483647 130248 48 | 0.000 % |
1125.66/1125.67 c | 308949 | 871 86161 373261 | 2147483647 132298 48 | 0.000 % |
1131.76/1131.76 c | 311202 | 871 86161 373261 | 2147483647 134551 48 | 0.000 % |
1139.67/1139.61 c | 313680 | 871 86161 373261 | 2147483647 137029 48 | 0.000 % |
1149.47/1149.48 c | 316405 | 871 86161 373261 | 2147483647 139754 48 | 0.000 % |
1161.57/1161.56 c | 319403 | 871 86161 373261 | 2147483647 142752 47 | 0.000 % |
1161.97/1161.91 c | 319503 | 871 86161 373261 | 2147483647 142852 47 | 0.000 % |
1162.47/1162.45 c | 319616 | 871 86161 373261 | 2147483647 142965 47 | 0.000 % |
1163.07/1163.07 c | 319737 | 871 86161 373261 | 2147483647 143086 47 | 0.000 % |
1163.67/1163.61 c | 319870 | 871 86161 373261 | 2147483647 143219 47 | 0.000 % |
1164.37/1164.39 c | 320017 | 871 86161 373261 | 143350 143366 47 | 0.000 % |
1165.47/1165.50 c | 320177 | 871 86161 373261 | 143350 126224 47 | 0.000 % |
1166.27/1166.25 c | 320354 | 871 86161 373261 | 143350 126401 47 | 0.000 % |
1166.97/1166.91 c | 320550 | 871 86161 373261 | 143350 126597 47 | 0.000 % |
1167.77/1167.71 c | 320762 | 871 86161 373261 | 143350 126809 47 | 0.000 % |
1168.37/1168.38 c | 320995 | 871 86161 373261 | 143350 127042 47 | 0.000 % |
1169.07/1169.02 c | 321251 | 871 86161 373261 | 143350 127298 47 | 0.000 % |
1169.67/1169.62 c | 321532 | 871 86161 373261 | 143350 127579 47 | 0.000 % |
1170.67/1170.70 c | 321842 | 871 86161 373261 | 143350 127889 47 | 0.000 % |
1171.97/1172.00 c | 322181 | 871 86161 373261 | 143350 128228 47 | 0.000 % |
1173.27/1173.23 c | 322553 | 871 86161 373261 | 143350 128600 47 | 0.000 % |
1174.87/1174.91 c | 322966 | 871 86161 373261 | 143350 129013 47 | 0.000 % |
1176.77/1176.79 c | 323417 | 871 86161 373261 | 143350 129464 47 | 0.000 % |
1178.57/1178.61 c | 323913 | 871 86161 373261 | 143350 129960 47 | 0.000 % |
1180.47/1180.49 c | 324455 | 871 86161 373261 | 143350 130502 47 | 0.000 % |
1182.17/1182.16 c | 325052 | 871 86161 373261 | 143350 131099 47 | 0.000 % |
1184.77/1184.74 c | 325707 | 871 86161 373261 | 143350 131754 47 | 0.000 % |
1186.97/1187.01 c | 326428 | 871 86161 373261 | 143350 132475 47 | 0.000 % |
1189.77/1189.73 c | 327221 | 871 86161 373261 | 143350 133268 47 | 0.000 % |
1192.67/1192.62 c | 328092 | 871 86161 373261 | 143350 134139 47 | 0.000 % |
1196.77/1196.75 c | 329051 | 871 86161 373261 | 143350 135098 47 | 0.000 % |
1200.07/1200.02 HOME/SatELiteGTI: line 36: 17215 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-1821784-1242564395/watcher-1821784-1242564395 -o /tmp/evaluation-result-1821784-1242564395/solver-1821784-1242564395 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821784-1242564395.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.01 1.02 1.00 2/91 17209
/proc/meminfo: memFree=619884/2074464 swapFree=1953004/1959888
[pid=17209] ppid=17207 vsize=2416 CPUtime=0.01
/proc/17209/stat : 17209 (SatELiteGTI) S 17207 17209 9090 0 -1 4194304 368 644 0 0 0 0 0 1 18 0 1 0 1020939873 2473984 277 4294967295 134512640 135169312 3212837712 3212836248 3085672174 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17209/statm: 604 277 235 161 0 43 0
[pid=17213] ppid=17209 vsize=956 CPUtime=0
/proc/17213/stat : 17213 (SatELite_releas) R 17209 17209 9090 0 -1 4202496 128 0 0 0 0 0 0 0 20 0 1 0 1020939874 978944 64 4294967295 134512640 135223648 3216357024 3216355980 134563184 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17213/statm: 239 66 46 174 0 64 0
[startup+0.032052 s]
/proc/loadavg: 1.01 1.02 1.00 2/91 17209
/proc/meminfo: memFree=619884/2074464 swapFree=1953004/1959888
[pid=17209] ppid=17207 vsize=2416 CPUtime=0.01
/proc/17209/stat : 17209 (SatELiteGTI) S 17207 17209 9090 0 -1 4194304 368 644 0 0 0 0 0 1 18 0 1 0 1020939873 2473984 277 4294967295 134512640 135169312 3212837712 3212836248 3085672174 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17209/statm: 604 277 235 161 0 43 0
[pid=17213] ppid=17209 vsize=3468 CPUtime=0.03
/proc/17213/stat : 17213 (SatELite_releas) R 17209 17209 9090 0 -1 4202496 752 0 0 0 3 0 0 0 20 0 1 0 1020939874 3551232 688 4294967295 134512640 135223648 3216357024 3216355976 134737310 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17213/statm: 867 689 46 174 0 692 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5884
[startup+0.122046 s]
/proc/loadavg: 1.01 1.02 1.00 2/91 17209
/proc/meminfo: memFree=619884/2074464 swapFree=1953004/1959888
[pid=17209] ppid=17207 vsize=2416 CPUtime=0.01
/proc/17209/stat : 17209 (SatELiteGTI) S 17207 17209 9090 0 -1 4194304 368 644 0 0 0 0 0 1 18 0 1 0 1020939873 2473984 277 4294967295 134512640 135169312 3212837712 3212836248 3085672174 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17209/statm: 604 277 235 161 0 43 0
[pid=17213] ppid=17209 vsize=7932 CPUtime=0.12
/proc/17213/stat : 17213 (SatELite_releas) R 17209 17209 9090 0 -1 4202496 1852 0 0 0 9 3 0 0 20 0 1 0 1020939874 8122368 1788 4294967295 134512640 135223648 3216357024 3216354692 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17213/statm: 1983 1788 73 174 0 1808 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 10348
[startup+0.322037 s]
/proc/loadavg: 1.01 1.02 1.00 2/91 17209
/proc/meminfo: memFree=619884/2074464 swapFree=1953004/1959888
[pid=17209] ppid=17207 vsize=2416 CPUtime=0.01
/proc/17209/stat : 17209 (SatELiteGTI) S 17207 17209 9090 0 -1 4194304 368 644 0 0 0 0 0 1 18 0 1 0 1020939873 2473984 277 4294967295 134512640 135169312 3212837712 3212836248 3085672174 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17209/statm: 604 277 235 161 0 43 0
[pid=17213] ppid=17209 vsize=9828 CPUtime=0.32
/proc/17213/stat : 17213 (SatELite_releas) R 17209 17209 9090 0 -1 4202496 2323 0 0 0 28 4 0 0 21 0 1 0 1020939874 10063872 2259 4294967295 134512640 135223648 3216357024 3216355376 134602389 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17213/statm: 2457 2259 73 174 0 2282 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 12244
[startup+0.722017 s]
/proc/loadavg: 1.01 1.02 1.00 2/91 17209
/proc/meminfo: memFree=619884/2074464 swapFree=1953004/1959888
[pid=17209] ppid=17207 vsize=2416 CPUtime=0.01
/proc/17209/stat : 17209 (SatELiteGTI) S 17207 17209 9090 0 -1 4194304 368 644 0 0 0 0 0 1 18 0 1 0 1020939873 2473984 277 4294967295 134512640 135169312 3212837712 3212836248 3085672174 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/17209/statm: 604 277 235 161 0 43 0
[pid=17213] ppid=17209 vsize=10180 CPUtime=0.72
/proc/17213/stat : 17213 (SatELite_releas) R 17209 17209 9090 0 -1 4202496 2407 0 0 0 68 4 0 0 22 0 1 0 1020939874 10424320 2343 4294967295 134512640 135223648 3216357024 3216355120 134585544 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17213/statm: 2545 2343 73 174 0 2370 0
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 12596
[startup+1.52198 s]
/proc/loadavg: 1.01 1.02 1.00 2/93 17215
/proc/meminfo: memFree=613644/2074464 swapFree=1953004/1959888
[pid=17209] ppid=17207 vsize=2420 CPUtime=0.98
/proc/17209/stat : 17209 (SatELiteGTI) S 17207 17209 9090 0 -1 4194304 387 3055 0 0 0 0 93 5 18 0 1 0 1020939873 2478080 278 4294967295 134512640 135169312 3212837712 3212833928 3085672174 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17209/statm: 605 278 235 161 0 44 0
[pid=17215] ppid=17209 vsize=6440 CPUtime=0.54
/proc/17215/stat : 17215 (minisat_static) R 17209 17209 9090 0 -1 4202496 1536 0 0 0 54 0 0 0 22 0 1 0 1020939971 6594560 1471 4294967295 134512640 135215339 3217989760 3217988048 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17215/statm: 1610 1471 73 172 0 1437 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 8860
[startup+3.1219 s]
/proc/loadavg: 1.01 1.02 1.00 2/93 17215
/proc/meminfo: memFree=611908/2074464 swapFree=1953004/1959888
[pid=17209] ppid=17207 vsize=2420 CPUtime=0.98
/proc/17209/stat : 17209 (SatELiteGTI) S 17207 17209 9090 0 -1 4194304 387 3055 0 0 0 0 93 5 18 0 1 0 1020939873 2478080 278 4294967295 134512640 135169312 3212837712 3212833928 3085672174 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17209/statm: 605 278 235 161 0 44 0
[pid=17215] ppid=17209 vsize=7376 CPUtime=2.14
/proc/17215/stat : 17215 (minisat_static) R 17209 17209 9090 0 -1 4202496 1775 0 0 0 214 0 0 0 25 0 1 0 1020939971 7553024 1710 4294967295 134512640 135215339 3217989760 3217988048 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17215/statm: 1844 1710 73 172 0 1671 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 9796
[startup+6.32175 s]
/proc/loadavg: 1.01 1.02 1.00 2/93 17215
/proc/meminfo: memFree=610296/2074464 swapFree=1953004/1959888
[pid=17209] ppid=17207 vsize=2420 CPUtime=0.98
/proc/17209/stat : 17209 (SatELiteGTI) S 17207 17209 9090 0 -1 4194304 387 3055 0 0 0 0 93 5 18 0 1 0 1020939873 2478080 278 4294967295 134512640 135169312 3212837712 3212833928 3085672174 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17209/statm: 605 278 235 161 0 44 0
[pid=17215] ppid=17209 vsize=8860 CPUtime=5.34
/proc/17215/stat : 17215 (minisat_static) R 17209 17209 9090 0 -1 4202496 2153 0 0 0 533 1 0 0 25 0 1 0 1020939971 9072640 2088 4294967295 134512640 135215339 3217989760 3217988048 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17215/statm: 2215 2088 73 172 0 2042 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 11280
[startup+12.7214 s]
/proc/loadavg: 1.01 1.02 1.00 2/93 17217
/proc/meminfo: memFree=608104/2074464 swapFree=1953004/1959888
[pid=17209] ppid=17207 vsize=2420 CPUtime=0.98
/proc/17209/stat : 17209 (SatELiteGTI) S 17207 17209 9090 0 -1 4194304 387 3055 0 0 0 0 93 5 18 0 1 0 1020939873 2478080 278 4294967295 134512640 135169312 3212837712 3212833928 3085672174 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17209/statm: 605 278 235 161 0 44 0
[pid=17215] ppid=17209 vsize=10860 CPUtime=11.74
/proc/17215/stat : 17215 (minisat_static) R 17209 17209 9090 0 -1 4202496 2645 0 0 0 1173 1 0 0 25 0 1 0 1020939971 11120640 2580 4294967295 134512640 135215339 3217989760 3217988048 134528809 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17215/statm: 2715 2580 73 172 0 2542 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 13280
[startup+25.5208 s]
/proc/loadavg: 1.01 1.01 1.00 2/93 17217
/proc/meminfo: memFree=605100/2074464 swapFree=1953004/1959888
[pid=17209] ppid=17207 vsize=2420 CPUtime=0.98
/proc/17209/stat : 17209 (SatELiteGTI) S 17207 17209 9090 0 -1 4194304 387 3055 0 0 0 0 93 5 18 0 1 0 1020939873 2478080 278 4294967295 134512640 135169312 3212837712 3212833928 3085672174 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17209/statm: 605 278 235 161 0 44 0
[pid=17215] ppid=17209 vsize=13828 CPUtime=24.54
/proc/17215/stat : 17215 (minisat_static) R 17209 17209 9090 0 -1 4202496 3385 0 0 0 2449 5 0 0 25 0 1 0 1020939971 14159872 3320 4294967295 134512640 135215339 3217989760 3217988048 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17215/statm: 3457 3320 73 172 0 3284 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 16248
[startup+51.1196 s]
/proc/loadavg: 1.00 1.01 1.00 3/93 17401
/proc/meminfo: memFree=600908/2074464 swapFree=1953004/1959888
[pid=17209] ppid=17207 vsize=2420 CPUtime=0.98
/proc/17209/stat : 17209 (SatELiteGTI) S 17207 17209 9090 0 -1 4194304 387 3055 0 0 0 0 93 5 18 0 1 0 1020939873 2478080 278 4294967295 134512640 135169312 3212837712 3212833928 3085672174 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17209/statm: 605 278 235 161 0 44 0
[pid=17215] ppid=17209 vsize=18104 CPUtime=50.14
/proc/17215/stat : 17215 (minisat_static) R 17209 17209 9090 0 -1 4202496 4416 0 0 0 5003 11 0 0 25 0 1 0 1020939971 18538496 4351 4294967295 134512640 135215339 3217989760 3217988048 134528814 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17215/statm: 4526 4351 73 172 0 4353 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 20524
[startup+102.327 s]
/proc/loadavg: 1.11 1.04 1.01 2/93 17589
/proc/meminfo: memFree=595668/2074464 swapFree=1953004/1959888
[pid=17209] ppid=17207 vsize=2420 CPUtime=0.98
/proc/17209/stat : 17209 (SatELiteGTI) S 17207 17209 9090 0 -1 4194304 387 3055 0 0 0 0 93 5 18 0 1 0 1020939873 2478080 278 4294967295 134512640 135169312 3212837712 3212833928 3085672174 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17209/statm: 605 278 235 161 0 44 0
[pid=17215] ppid=17209 vsize=23056 CPUtime=101.35
/proc/17215/stat : 17215 (minisat_static) R 17209 17209 9090 0 -1 4202496 5640 0 0 0 10122 13 0 0 25 0 1 0 1020939971 23609344 5575 4294967295 134512640 135215339 3217989760 3217988048 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17215/statm: 5764 5575 73 172 0 5591 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 25476
[startup+162.324 s]
/proc/loadavg: 1.04 1.03 1.00 3/93 17778
/proc/meminfo: memFree=591412/2074464 swapFree=1953004/1959888
[pid=17209] ppid=17207 vsize=2420 CPUtime=0.98
/proc/17209/stat : 17209 (SatELiteGTI) S 17207 17209 9090 0 -1 4194304 387 3055 0 0 0 0 93 5 18 0 1 0 1020939873 2478080 278 4294967295 134512640 135169312 3212837712 3212833928 3085672174 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17209/statm: 605 278 235 161 0 44 0
[pid=17215] ppid=17209 vsize=27740 CPUtime=161.35
/proc/17215/stat : 17215 (minisat_static) R 17209 17209 9090 0 -1 4202496 6751 0 0 0 16119 16 0 0 25 0 1 0 1020939971 28405760 6686 4294967295 134512640 135215339 3217989760 3217988048 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17215/statm: 6935 6686 73 172 0 6762 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 30160
[startup+222.311 s]
/proc/loadavg: 1.01 1.02 1.00 2/93 17969
/proc/meminfo: memFree=586840/2074464 swapFree=1953004/1959888
[pid=17209] ppid=17207 vsize=2420 CPUtime=0.98
/proc/17209/stat : 17209 (SatELiteGTI) S 17207 17209 9090 0 -1 4194304 387 3055 0 0 0 0 93 5 18 0 1 0 1020939873 2478080 278 4294967295 134512640 135169312 3212837712 3212833928 3085672174 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17209/statm: 605 278 235 161 0 44 0
[pid=17215] ppid=17209 vsize=32448 CPUtime=221.34
/proc/17215/stat : 17215 (minisat_static) R 17209 17209 9090 0 -1 4202496 7879 0 0 0 22117 17 0 0 25 0 1 0 1020939971 33226752 7814 4294967295 134512640 135215339 3217989760 3217988048 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17215/statm: 8112 7814 73 172 0 7939 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 34868
[startup+282.309 s]
/proc/loadavg: 1.00 1.02 1.00 3/93 18156
/proc/meminfo: memFree=582632/2074464 swapFree=1953004/1959888
[pid=17209] ppid=17207 vsize=2420 CPUtime=0.98
/proc/17209/stat : 17209 (SatELiteGTI) S 17207 17209 9090 0 -1 4194304 387 3055 0 0 0 0 93 5 18 0 1 0 1020939873 2478080 278 4294967295 134512640 135169312 3212837712 3212833928 3085672174 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17209/statm: 605 278 235 161 0 44 0
[pid=17215] ppid=17209 vsize=36828 CPUtime=281.34
/proc/17215/stat : 17215 (minisat_static) R 17209 17209 9090 0 -1 4202496 8975 0 0 0 28117 17 0 0 25 0 1 0 1020939971 37711872 8910 4294967295 134512640 135215339 3217989760 3217988048 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17215/statm: 9207 8910 73 172 0 9034 0
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (KiB) 39248
[startup+342.316 s]
/proc/loadavg: 1.00 1.01 1.00 2/93 18344
/proc/meminfo: memFree=580276/2074464 swapFree=1953004/1959888
[pid=17209] ppid=17207 vsize=2420 CPUtime=0.98
/proc/17209/stat : 17209 (SatELiteGTI) S 17207 17209 9090 0 -1 4194304 387 3055 0 0 0 0 93 5 18 0 1 0 1020939873 2478080 278 4294967295 134512640 135169312 3212837712 3212833928 3085672174 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17209/statm: 605 278 235 161 0 44 0
[pid=17215] ppid=17209 vsize=39480 CPUtime=341.35
/proc/17215/stat : 17215 (minisat_static) R 17209 17209 9090 0 -1 4202496 9625 0 0 0 34116 19 0 0 25 0 1 0 1020939971 40427520 9560 4294967295 134512640 135215339 3217989760 3217988048 134528802 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17215/statm: 9870 9560 73 172 0 9697 0
Current children cumulated CPU time (s) 342.33
################
# More data... #
################
[pid=17215] ppid=17209 vsize=41112 CPUtime=461.36
/proc/17215/stat : 17215 (minisat_static) R 17209 17209 9090 0 -1 4202496 9999 0 0 0 46114 22 0 0 25 0 1 0 1020939971 42098688 9934 4294967295 134512640 135215339 3217989760 3217988048 134528784 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17215/statm: 10278 9934 73 172 0 10105 0
Current children cumulated CPU time (s) 462.34
Current children cumulated vsize (KiB) 43532
[startup+522.317 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 18914
/proc/meminfo: memFree=577540/2074464 swapFree=1953004/1959888
[pid=17209] ppid=17207 vsize=2420 CPUtime=0.98
/proc/17209/stat : 17209 (SatELiteGTI) S 17207 17209 9090 0 -1 4194304 387 3055 0 0 0 0 93 5 18 0 1 0 1020939873 2478080 278 4294967295 134512640 135169312 3212837712 3212833928 3085672174 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17209/statm: 605 278 235 161 0 44 0
[pid=17215] ppid=17209 vsize=42656 CPUtime=521.36
/proc/17215/stat : 17215 (minisat_static) R 17209 17209 9090 0 -1 4202496 10365 0 0 0 52112 24 0 0 25 0 1 0 1020939971 43679744 10300 4294967295 134512640 135215339 3217989760 3217988048 134529083 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17215/statm: 10664 10300 73 172 0 10491 0
Current children cumulated CPU time (s) 522.34
Current children cumulated vsize (KiB) 45076
[startup+582.314 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 19101
/proc/meminfo: memFree=574456/2074464 swapFree=1953004/1959888
[pid=17209] ppid=17207 vsize=2420 CPUtime=0.98
/proc/17209/stat : 17209 (SatELiteGTI) S 17207 17209 9090 0 -1 4194304 387 3055 0 0 0 0 93 5 18 0 1 0 1020939873 2478080 278 4294967295 134512640 135169312 3212837712 3212833928 3085672174 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17209/statm: 605 278 235 161 0 44 0
[pid=17215] ppid=17209 vsize=45924 CPUtime=581.36
/proc/17215/stat : 17215 (minisat_static) R 17209 17209 9090 0 -1 4202496 11083 0 0 0 58102 34 0 0 25 0 1 0 1020939971 47026176 11018 4294967295 134512640 135215339 3217989760 3217988048 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17215/statm: 11481 11018 73 172 0 11308 0
Current children cumulated CPU time (s) 582.34
Current children cumulated vsize (KiB) 48344
[startup+642.311 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 19289
/proc/meminfo: memFree=572216/2074464 swapFree=1953004/1959888
[pid=17209] ppid=17207 vsize=2420 CPUtime=0.98
/proc/17209/stat : 17209 (SatELiteGTI) S 17207 17209 9090 0 -1 4194304 387 3055 0 0 0 0 93 5 18 0 1 0 1020939873 2478080 278 4294967295 134512640 135169312 3212837712 3212833928 3085672174 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17209/statm: 605 278 235 161 0 44 0
[pid=17215] ppid=17209 vsize=48376 CPUtime=641.36
/proc/17215/stat : 17215 (minisat_static) R 17209 17209 9090 0 -1 4202496 11679 0 0 0 64099 37 0 0 25 0 1 0 1020939971 49537024 11614 4294967295 134512640 135215339 3217989760 3217988048 134528802 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17215/statm: 12094 11614 73 172 0 11921 0
Current children cumulated CPU time (s) 642.34
Current children cumulated vsize (KiB) 50796
[startup+702.319 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 19477
/proc/meminfo: memFree=571504/2074464 swapFree=1953004/1959888
[pid=17209] ppid=17207 vsize=2420 CPUtime=0.98
/proc/17209/stat : 17209 (SatELiteGTI) S 17207 17209 9090 0 -1 4194304 387 3055 0 0 0 0 93 5 18 0 1 0 1020939873 2478080 278 4294967295 134512640 135169312 3212837712 3212833928 3085672174 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17209/statm: 605 278 235 161 0 44 0
[pid=17215] ppid=17209 vsize=49172 CPUtime=701.37
/proc/17215/stat : 17215 (minisat_static) R 17209 17209 9090 0 -1 4202496 11880 0 0 0 70099 38 0 0 25 0 1 0 1020939971 50352128 11815 4294967295 134512640 135215339 3217989760 3217988048 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17215/statm: 12293 11815 73 172 0 12120 0
Current children cumulated CPU time (s) 702.35
Current children cumulated vsize (KiB) 51592
[startup+762.326 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 19666
/proc/meminfo: memFree=571340/2074464 swapFree=1953004/1959888
[pid=17209] ppid=17207 vsize=2420 CPUtime=0.98
/proc/17209/stat : 17209 (SatELiteGTI) S 17207 17209 9090 0 -1 4194304 387 3055 0 0 0 0 93 5 18 0 1 0 1020939873 2478080 278 4294967295 134512640 135169312 3212837712 3212833928 3085672174 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17209/statm: 605 278 235 161 0 44 0
[pid=17215] ppid=17209 vsize=49528 CPUtime=761.38
/proc/17215/stat : 17215 (minisat_static) R 17209 17209 9090 0 -1 4202496 11903 0 0 0 76100 38 0 0 25 0 1 0 1020939971 50716672 11838 4294967295 134512640 135215339 3217989760 3217988048 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17215/statm: 12382 11838 73 172 0 12209 0
Current children cumulated CPU time (s) 762.36
Current children cumulated vsize (KiB) 51948
[startup+822.323 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 19853
/proc/meminfo: memFree=571200/2074464 swapFree=1953004/1959888
[pid=17209] ppid=17207 vsize=2420 CPUtime=0.98
/proc/17209/stat : 17209 (SatELiteGTI) S 17207 17209 9090 0 -1 4194304 387 3055 0 0 0 0 93 5 18 0 1 0 1020939873 2478080 278 4294967295 134512640 135169312 3212837712 3212833928 3085672174 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17209/statm: 605 278 235 161 0 44 0
[pid=17215] ppid=17209 vsize=49528 CPUtime=821.38
/proc/17215/stat : 17215 (minisat_static) R 17209 17209 9090 0 -1 4202496 11912 0 0 0 82100 38 0 0 25 0 1 0 1020939971 50716672 11847 4294967295 134512640 135215339 3217989760 3217988048 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17215/statm: 12382 11847 73 172 0 12209 0
Current children cumulated CPU time (s) 822.36
Current children cumulated vsize (KiB) 51948
[startup+882.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 20040
/proc/meminfo: memFree=571208/2074464 swapFree=1953004/1959888
[pid=17209] ppid=17207 vsize=2420 CPUtime=0.98
/proc/17209/stat : 17209 (SatELiteGTI) S 17207 17209 9090 0 -1 4194304 387 3055 0 0 0 0 93 5 18 0 1 0 1020939873 2478080 278 4294967295 134512640 135169312 3212837712 3212833928 3085672174 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17209/statm: 605 278 235 161 0 44 0
[pid=17215] ppid=17209 vsize=49528 CPUtime=881.38
/proc/17215/stat : 17215 (minisat_static) R 17209 17209 9090 0 -1 4202496 11914 0 0 0 88100 38 0 0 25 0 1 0 1020939971 50716672 11849 4294967295 134512640 135215339 3217989760 3217988048 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17215/statm: 12382 11849 73 172 0 12209 0
Current children cumulated CPU time (s) 882.36
Current children cumulated vsize (KiB) 51948
[startup+942.317 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 20232
/proc/meminfo: memFree=571324/2074464 swapFree=1953004/1959888
[pid=17209] ppid=17207 vsize=2420 CPUtime=0.98
/proc/17209/stat : 17209 (SatELiteGTI) S 17207 17209 9090 0 -1 4194304 387 3055 0 0 0 0 93 5 18 0 1 0 1020939873 2478080 278 4294967295 134512640 135169312 3212837712 3212833928 3085672174 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17209/statm: 605 278 235 161 0 44 0
[pid=17215] ppid=17209 vsize=49528 CPUtime=941.38
/proc/17215/stat : 17215 (minisat_static) R 17209 17209 9090 0 -1 4202496 11928 0 0 0 94100 38 0 0 25 0 1 0 1020939971 50716672 11863 4294967295 134512640 135215339 3217989760 3217988048 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17215/statm: 12382 11863 73 172 0 12209 0
Current children cumulated CPU time (s) 942.36
Current children cumulated vsize (KiB) 51948
[startup+1002.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 20420
/proc/meminfo: memFree=571248/2074464 swapFree=1953004/1959888
[pid=17209] ppid=17207 vsize=2420 CPUtime=0.98
/proc/17209/stat : 17209 (SatELiteGTI) S 17207 17209 9090 0 -1 4194304 387 3055 0 0 0 0 93 5 18 0 1 0 1020939873 2478080 278 4294967295 134512640 135169312 3212837712 3212833928 3085672174 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17209/statm: 605 278 235 161 0 44 0
[pid=17215] ppid=17209 vsize=49660 CPUtime=1001.38
/proc/17215/stat : 17215 (minisat_static) R 17209 17209 9090 0 -1 4202496 11956 0 0 0 100100 38 0 0 25 0 1 0 1020939971 50851840 11891 4294967295 134512640 135215339 3217989760 3217988048 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17215/statm: 12415 11891 73 172 0 12242 0
Current children cumulated CPU time (s) 1002.36
Current children cumulated vsize (KiB) 52080
[startup+1062.31 s]
/proc/loadavg: 1.05 1.01 1.00 2/93 20609
/proc/meminfo: memFree=570976/2074464 swapFree=1953004/1959888
[pid=17209] ppid=17207 vsize=2420 CPUtime=0.98
/proc/17209/stat : 17209 (SatELiteGTI) S 17207 17209 9090 0 -1 4194304 387 3055 0 0 0 0 93 5 18 0 1 0 1020939873 2478080 278 4294967295 134512640 135169312 3212837712 3212833928 3085672174 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17209/statm: 605 278 235 161 0 44 0
[pid=17215] ppid=17209 vsize=49820 CPUtime=1061.38
/proc/17215/stat : 17215 (minisat_static) R 17209 17209 9090 0 -1 4202496 12005 0 0 0 106100 38 0 0 25 0 1 0 1020939971 51015680 11940 4294967295 134512640 135215339 3217989760 3217988048 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17215/statm: 12455 11940 73 172 0 12282 0
Current children cumulated CPU time (s) 1062.36
Current children cumulated vsize (KiB) 52240
[startup+1122.31 s]
/proc/loadavg: 1.02 1.01 1.00 2/93 20796
/proc/meminfo: memFree=570844/2074464 swapFree=1953004/1959888
[pid=17209] ppid=17207 vsize=2420 CPUtime=0.98
/proc/17209/stat : 17209 (SatELiteGTI) S 17207 17209 9090 0 -1 4194304 387 3055 0 0 0 0 93 5 18 0 1 0 1020939873 2478080 278 4294967295 134512640 135169312 3212837712 3212833928 3085672174 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17209/statm: 605 278 235 161 0 44 0
[pid=17215] ppid=17209 vsize=50216 CPUtime=1121.38
/proc/17215/stat : 17215 (minisat_static) R 17209 17209 9090 0 -1 4202496 12063 0 0 0 112100 38 0 0 25 0 1 0 1020939971 51421184 11998 4294967295 134512640 135215339 3217989760 3217988048 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17215/statm: 12554 11998 73 172 0 12381 0
Current children cumulated CPU time (s) 1122.36
Current children cumulated vsize (KiB) 52636
[startup+1182.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 20983
/proc/meminfo: memFree=570440/2074464 swapFree=1953004/1959888
[pid=17209] ppid=17207 vsize=2420 CPUtime=0.98
/proc/17209/stat : 17209 (SatELiteGTI) S 17207 17209 9090 0 -1 4194304 387 3055 0 0 0 0 93 5 18 0 1 0 1020939873 2478080 278 4294967295 134512640 135169312 3212837712 3212833928 3085672174 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17209/statm: 605 278 235 161 0 44 0
[pid=17215] ppid=17209 vsize=50588 CPUtime=1181.39
/proc/17215/stat : 17215 (minisat_static) R 17209 17209 9090 0 -1 4202496 12150 0 0 0 118101 38 0 0 25 0 1 0 1020939971 51802112 12085 4294967295 134512640 135215339 3217989760 3217988048 134529091 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17215/statm: 12647 12085 73 172 0 12474 0
Current children cumulated CPU time (s) 1182.37
Current children cumulated vsize (KiB) 53008
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.01 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 20985
/proc/meminfo: memFree=570428/2074464 swapFree=1953004/1959888
[pid=17209] ppid=17207 vsize=2420 CPUtime=0.98
/proc/17209/stat : 17209 (SatELiteGTI) S 17207 17209 9090 0 -1 4194304 387 3055 0 0 0 0 93 5 18 0 1 0 1020939873 2478080 278 4294967295 134512640 135169312 3212837712 3212833928 3085672174 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/17209/statm: 605 278 235 161 0 44 0
[pid=17215] ppid=17209 vsize=50588 CPUtime=1199.09
/proc/17215/stat : 17215 (minisat_static) R 17209 17209 9090 0 -1 4202496 12150 0 0 0 119871 38 0 0 25 0 1 0 1020939971 51802112 12085 4294967295 134512640 135215339 3217989760 3217988048 134528714 0 0 0 3 0 0 0 17 0 0 0 0
/proc/17215/statm: 12647 12085 73 172 0 12474 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 53008
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1200.03
CPU time (s): 1200.08
CPU user time (s): 1199.64
CPU system time (s): 0.44
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 53008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.64
system time used= 0.44
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15871
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= 1263
runsolver used 0.01 second user time and 0.02 second system time
The end
Begin job on tipi19 at 2009-05-17 14:46:35
IDJOB=1821784
IDBENCH=71089
IDSOLVER=657
FILE ID=tipi19/1821784-1242564395
PBS_JOBID=
Free space on /tmp= 8816 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rpoc_xits_09_UNSAT.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821784-1242564395/watcher-1821784-1242564395 -o /tmp/evaluation-result-1821784-1242564395/solver-1821784-1242564395 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821784-1242564395.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= feb620c17f2a4d7899a2e7883baa7391
RANDOM SEED= 2146728023
Linux tipi19 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.426
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.39
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.426
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.426
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.426
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: 620412 kB
Buffers: 50184 kB
Cached: 1280500 kB
SwapCached: 2992 kB
Active: 374344 kB
Inactive: 965792 kB
HighTotal: 1178688 kB
HighFree: 82236 kB
LowTotal: 895776 kB
LowFree: 538176 kB
SwapTotal: 1959888 kB
SwapFree: 1953004 kB
Dirty: 3000 kB
Writeback: 0 kB
AnonPages: 8760 kB
Mapped: 3348 kB
Slab: 104908 kB
PageTables: 500 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 87780 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 8815 MiB
End job on tipi19 at 2009-05-17 15:06:36