0.00/0.00 c Parsing...
0.00/0.06 c ==============================================================================
0.00/0.06 c | | ORIGINAL | LEARNT | |
0.00/0.06 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.06 c ==============================================================================
0.00/0.06 c | 0 | 100116 297952 | 30034 0 0 nan | 0.000 % |
0.00/0.91 c | 0 | 99290 430382 | -- 0 -- -- | -- | -826/132430
0.00/0.91 c ==============================================================================
0.00/0.91 c Result : #vars: 958 #clauses: 99290 #literals: 430382
0.00/0.91 c CPU time: 0.892864 s
0.00/0.91 c ==============================================================================
0.99/1.03 c This is MiniSat 2.0 beta
0.99/1.03 c WARNING: for repeatability, setting FPU to use double precision
0.99/1.03 c ============================[ Problem Statistics ]=============================
0.99/1.03 c | |
0.99/1.03 c | Number of variables: 958 |
0.99/1.03 c | Number of clauses: 99290 |
0.99/1.09 c | Parsing time: 0.05 s |
0.99/1.09 c ============================[ Search Statistics ]==============================
0.99/1.09 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.99/1.09 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.99/1.09 c ===============================================================================
0.99/1.09 c | 0 | 958 99290 430382 | 33096 0 nan | 0.000 % |
1.01/1.12 c | 100 | 958 99290 430382 | 33096 100 47 | 0.000 % |
1.01/1.16 c | 201 | 958 99290 430382 | 33096 201 50 | 0.001 % |
1.01/1.19 c | 302 | 958 99290 430382 | 33096 302 52 | 0.000 % |
1.01/1.23 c | 412 | 958 99290 430382 | 33096 412 53 | 0.000 % |
1.01/1.25 c | 513 | 958 99290 430382 | 33096 513 52 | 0.000 % |
1.01/1.29 c | 623 | 958 99290 430382 | 33096 623 53 | 0.000 % |
1.01/1.32 c | 746 | 958 99290 430382 | 33096 746 53 | 0.000 % |
1.01/1.34 c | 847 | 958 99290 430382 | 33096 847 52 | 0.000 % |
1.01/1.36 c | 958 | 958 99290 430382 | 33096 958 52 | 0.000 % |
1.01/1.37 c | 1080 | 958 99290 430382 | 33096 1080 51 | 0.000 % |
1.01/1.41 c | 1215 | 958 99290 430382 | 33096 1215 51 | 0.000 % |
1.01/1.44 c | 1317 | 958 99290 430382 | 33096 1317 51 | 0.000 % |
1.01/1.47 c | 1427 | 958 99290 430382 | 33096 1427 52 | 0.000 % |
1.01/1.51 c | 1548 | 958 99290 430382 | 33096 1548 52 | 0.000 % |
1.01/1.54 c | 1681 | 958 99290 430382 | 33096 1681 53 | 0.000 % |
1.01/1.57 c | 1827 | 958 99290 430382 | 33096 1827 53 | 0.000 % |
1.01/1.59 c | 1927 | 958 99290 430382 | 33096 1927 53 | 0.000 % |
1.01/1.62 c | 2037 | 958 99290 430382 | 33096 2037 53 | 0.000 % |
1.01/1.65 c | 2159 | 958 99290 430382 | 33096 2159 53 | 0.000 % |
1.01/1.67 c | 2292 | 958 99290 430382 | 33096 2292 53 | 0.000 % |
1.01/1.72 c | 2438 | 958 99290 430382 | 33096 2438 53 | 0.000 % |
1.01/1.78 c | 2601 | 958 99290 430382 | 33096 2601 54 | 0.000 % |
1.01/1.81 c | 2702 | 958 99290 430382 | 33096 2702 54 | 0.000 % |
1.01/1.85 c | 2812 | 958 99290 430382 | 33096 2812 54 | 0.000 % |
1.01/1.89 c | 2934 | 958 99290 430382 | 33096 2934 54 | 0.000 % |
1.01/1.94 c | 3069 | 958 99290 430382 | 33096 3069 54 | 0.000 % |
1.01/2.00 c | 3215 | 958 99290 430382 | 33096 3215 54 | 0.000 % |
1.01/2.05 c | 3377 | 958 99290 430382 | 33096 3377 54 | 0.000 % |
2.06/2.12 c | 3554 | 958 99290 430382 | 33096 3554 54 | 0.000 % |
2.06/2.16 c | 3654 | 958 99290 430382 | 33096 3654 55 | 0.000 % |
2.16/2.21 c | 3764 | 958 99290 430382 | 33096 3764 55 | 0.000 % |
2.16/2.26 c | 3885 | 958 99290 430382 | 33096 3885 55 | 0.000 % |
2.25/2.33 c | 4019 | 958 99290 430382 | 33096 4019 55 | 0.000 % |
2.25/2.38 c | 4167 | 958 99290 430382 | 33096 4167 55 | 0.000 % |
2.35/2.43 c | 4327 | 958 99290 430382 | 33096 4327 55 | 0.000 % |
2.45/2.51 c | 4503 | 958 99290 430382 | 33096 4503 55 | 0.000 % |
2.55/2.60 c | 4696 | 958 99290 430382 | 33096 4696 55 | 0.000 % |
2.55/2.64 c | 4796 | 958 99290 430382 | 33096 4796 55 | 0.000 % |
2.55/2.68 c | 4906 | 958 99290 430382 | 33096 4906 55 | 0.000 % |
2.65/2.74 c | 5028 | 958 99290 430382 | 33096 5028 55 | 0.000 % |
2.75/2.80 c | 5163 | 958 99290 430382 | 33096 5163 55 | 0.000 % |
2.75/2.87 c | 5309 | 958 99290 430382 | 33096 5309 55 | 0.000 % |
2.86/2.93 c | 5472 | 958 99290 430382 | 33096 5472 55 | 0.000 % |
2.96/3.00 c | 5650 | 958 99290 430382 | 33096 5650 55 | 0.000 % |
2.96/3.07 c | 5843 | 958 99290 430382 | 33096 5843 55 | 0.000 % |
3.06/3.14 c | 6055 | 958 99290 430382 | 33096 6055 55 | 0.000 % |
3.06/3.19 c | 6156 | 958 99290 430382 | 33096 6156 55 | 0.000 % |
3.16/3.24 c | 6266 | 958 99290 430382 | 33096 6266 55 | 0.000 % |
3.26/3.32 c | 6387 | 958 99290 430382 | 33096 6387 55 | 0.000 % |
3.26/3.38 c | 6520 | 958 99290 430382 | 33096 6520 55 | 0.000 % |
3.36/3.46 c | 6667 | 958 99290 430382 | 33096 6667 55 | 0.000 % |
3.46/3.52 c | 6827 | 958 99290 430382 | 33096 6827 55 | 0.000 % |
3.46/3.59 c | 7003 | 958 99290 430382 | 33096 7003 55 | 0.000 % |
3.56/3.67 c | 7197 | 958 99290 430382 | 33096 7197 55 | 0.000 % |
3.76/3.84 c | 7409 | 958 99290 430382 | 33096 7409 55 | 0.000 % |
3.96/4.03 c | 7645 | 958 99290 430382 | 33096 7645 55 | 0.000 % |
4.06/4.10 c | 7745 | 958 99290 430382 | 33096 7745 55 | 0.000 % |
4.06/4.19 c | 7855 | 958 99290 430382 | 33096 7855 55 | 0.000 % |
4.16/4.29 c | 7978 | 958 99290 430382 | 33096 7978 55 | 0.000 % |
4.26/4.37 c | 8111 | 958 99290 430382 | 33096 8111 56 | 0.000 % |
4.36/4.47 c | 8257 | 958 99290 430382 | 33096 8257 56 | 0.000 % |
4.46/4.60 c | 8417 | 958 99290 430382 | 33096 8417 56 | 0.000 % |
4.66/4.72 c | 8593 | 958 99290 430382 | 33096 8593 56 | 0.000 % |
4.76/4.86 c | 8788 | 958 99290 430382 | 33096 8788 56 | 0.000 % |
4.86/4.99 c | 9001 | 958 99290 430382 | 33096 9001 56 | 0.000 % |
5.06/5.19 c | 9234 | 958 99290 430382 | 33096 9234 56 | 0.000 % |
5.36/5.43 c | 9491 | 958 99290 430382 | 33096 9491 56 | 0.000 % |
5.46/5.54 c | 9591 | 958 99290 430382 | 33096 9591 56 | 0.000 % |
5.56/5.65 c | 9702 | 958 99290 430382 | 33096 9702 55 | 0.000 % |
5.66/5.73 c | 9824 | 958 99290 430382 | 33096 9824 55 | 0.000 % |
5.76/5.90 c | 9959 | 958 99290 430382 | 33096 9959 55 | 0.000 % |
5.96/6.07 c | 10107 | 958 99290 430382 | 2147483647 10107 55 | 0.000 % |
6.16/6.26 c | 10268 | 958 99290 430382 | 2147483647 10268 55 | 0.000 % |
6.26/6.35 c | 10445 | 958 99290 430382 | 2147483647 10445 56 | 0.000 % |
6.46/6.53 c | 10638 | 958 99290 430382 | 2147483647 10638 56 | 0.000 % |
6.56/6.65 c | 10851 | 958 99290 430382 | 2147483647 10851 56 | 0.000 % |
6.66/6.78 c | 11085 | 958 99290 430382 | 2147483647 11085 56 | 0.000 % |
6.76/6.88 c | 11341 | 958 99290 430382 | 2147483647 11341 56 | 0.000 % |
6.86/6.97 c | 11623 | 958 99290 430382 | 2147483647 11623 56 | 0.000 % |
6.96/7.01 c | 11724 | 958 99290 430382 | 2147483647 11724 56 | 0.000 % |
6.96/7.04 c | 11836 | 958 99290 430382 | 2147483647 11836 56 | 0.000 % |
6.96/7.08 c | 11958 | 958 99290 430382 | 2147483647 11958 56 | 0.000 % |
7.06/7.13 c | 12091 | 958 99290 430382 | 2147483647 12091 56 | 0.000 % |
7.06/7.18 c | 12237 | 958 99290 430382 | 2147483647 12237 56 | 0.000 % |
7.16/7.23 c | 12397 | 958 99290 430382 | 2147483647 12397 56 | 0.000 % |
7.16/7.28 c | 12573 | 958 99290 430382 | 2147483647 12573 56 | 0.000 % |
7.26/7.35 c | 12768 | 958 99290 430382 | 2147483647 12768 56 | 0.000 % |
7.36/7.43 c | 12980 | 958 99290 430382 | 2147483647 12980 56 | 0.000 % |
7.46/7.50 c | 13213 | 958 99290 430382 | 2147483647 13213 55 | 0.000 % |
7.46/7.59 c | 13470 | 958 99290 430382 | 2147483647 13470 55 | 0.000 % |
7.66/7.72 c | 13752 | 958 99290 430382 | 2147483647 13752 55 | 0.000 % |
7.76/7.82 c | 14063 | 958 99290 430382 | 2147483647 14063 55 | 0.000 % |
7.76/7.87 c | 14165 | 958 99290 430382 | 2147483647 14165 55 | 0.000 % |
7.86/7.90 c | 14275 | 958 99290 430382 | 2147483647 14275 55 | 0.000 % |
7.86/7.95 c | 14397 | 958 99290 430382 | 2147483647 14397 55 | 0.000 % |
7.96/8.00 c | 14530 | 958 99290 430382 | 2147483647 14530 55 | 0.000 % |
7.96/8.08 c | 14679 | 958 99290 430382 | 2147483647 14679 55 | 0.000 % |
8.06/8.16 c | 14840 | 958 99290 430382 | 2147483647 14840 55 | 0.000 % |
8.16/8.23 c | 15017 | 958 99290 430382 | 2147483647 15017 55 | 0.000 % |
8.26/8.34 c | 15213 | 958 99290 430382 | 2147483647 15213 55 | 0.000 % |
8.36/8.43 c | 15425 | 958 99290 430382 | 2147483647 15425 55 | 0.000 % |
8.46/8.54 c | 15658 | 958 99290 430382 | 2147483647 15658 55 | 0.000 % |
8.56/8.64 c | 15914 | 958 99290 430382 | 2147483647 15914 55 | 0.000 % |
8.66/8.74 c | 16196 | 958 99290 430382 | 2147483647 16196 55 | 0.000 % |
8.86/8.91 c | 16505 | 958 99290 430382 | 2147483647 16505 55 | 0.000 % |
8.96/9.09 c | 16844 | 958 99290 430382 | 2147483647 16844 55 | 0.000 % |
9.06/9.15 c | 16945 | 958 99290 430382 | 2147483647 16945 55 | 0.000 % |
9.16/9.24 c | 17055 | 958 99290 430382 | 2147483647 17055 55 | 0.000 % |
9.16/9.29 c | 17178 | 958 99290 430382 | 2147483647 17178 55 | 0.000 % |
9.26/9.39 c | 17312 | 958 99290 430382 | 2147483647 17312 55 | 0.000 % |
9.36/9.48 c | 17458 | 958 99290 430382 | 2147483647 17458 54 | 0.000 % |
9.46/9.57 c | 17619 | 958 99290 430382 | 2147483647 17619 54 | 0.000 % |
9.86/9.96 c | 17796 | 958 99290 430382 | 2147483647 17796 54 | 0.000 % |
10.05/10.11 c | 17991 | 958 99290 430382 | 2147483647 17991 54 | 0.000 % |
10.35/10.42 c | 18204 | 958 99290 430382 | 2147483647 18204 54 | 0.000 % |
10.75/10.89 c | 18438 | 958 99290 430382 | 2147483647 18438 54 | 0.000 % |
10.86/10.96 c | 18695 | 958 99290 430382 | 2147483647 18695 54 | 0.000 % |
11.35/11.46 c | 18979 | 958 99290 430382 | 2147483647 18979 54 | 0.000 % |
11.96/12.04 c | 19288 | 958 99290 430382 | 2147483647 19288 54 | 0.000 % |
12.75/12.80 c | 19627 | 958 99290 430382 | 2147483647 19627 54 | 0.000 % |
13.16/13.26 c | 20001 | 958 99290 430382 | 2147483647 20001 54 | 0.000 % |
13.45/13.56 c | 20102 | 958 99290 430382 | 2147483647 20102 54 | 0.000 % |
13.75/13.89 c | 20213 | 958 99290 430382 | 2147483647 20213 54 | 0.000 % |
14.05/14.16 c | 20335 | 958 99290 430382 | 2147483647 20335 54 | 0.000 % |
14.26/14.32 c | 20470 | 958 99290 430382 | 2147483647 20470 54 | 0.000 % |
14.65/14.70 c | 20617 | 958 99290 430382 | 2147483647 20617 54 | 0.000 % |
14.95/15.04 c | 20777 | 958 99290 430382 | 2147483647 20777 54 | 0.000 % |
15.36/15.44 c | 20955 | 958 99290 430382 | 2147483647 20955 54 | 0.000 % |
15.75/15.86 c | 21148 | 958 99290 430382 | 2147483647 21148 54 | 0.000 % |
16.15/16.22 c | 21360 | 958 99290 430382 | 2147483647 21360 54 | 0.000 % |
16.65/16.73 c | 21596 | 958 99290 430382 | 2147483647 21596 54 | 0.000 % |
17.35/17.41 c | 21852 | 958 99290 430382 | 2147483647 21852 54 | 0.000 % |
17.65/17.70 c | 22134 | 958 99290 430382 | 2147483647 22134 54 | 0.000 % |
18.45/18.53 c | 22443 | 958 99290 430382 | 2147483647 22443 54 | 0.000 % |
19.25/19.39 c | 22784 | 958 99290 430382 | 2147483647 22784 54 | 0.000 % |
19.55/19.62 c | 23157 | 958 99290 430382 | 2147483647 23157 54 | 0.000 % |
20.35/20.50 c | 23567 | 958 99290 430382 | 2147483647 23567 54 | 0.000 % |
20.55/20.69 c | 23668 | 958 99290 430382 | 2147483647 23668 54 | 0.000 % |
20.85/20.98 c | 23778 | 958 99290 430382 | 2147483647 23778 54 | 0.000 % |
21.15/21.28 c | 23899 | 958 99290 430382 | 2147483647 23899 54 | 0.000 % |
21.45/21.53 c | 24035 | 958 99290 430382 | 2147483647 24035 54 | 0.000 % |
21.85/21.97 c | 24181 | 958 99290 430382 | 2147483647 24181 54 | 0.000 % |
22.35/22.43 c | 24342 | 958 99290 430382 | 2147483647 24342 54 | 0.000 % |
22.75/22.85 c | 24518 | 958 99290 430382 | 2147483647 24518 54 | 0.000 % |
23.25/23.31 c | 24713 | 958 99290 430382 | 2147483647 24713 54 | 0.000 % |
23.65/23.78 c | 24925 | 958 99290 430382 | 2147483647 24925 54 | 0.000 % |
24.25/24.33 c | 25158 | 958 99290 430382 | 2147483647 25158 54 | 0.000 % |
25.05/25.12 c | 25414 | 958 99290 430382 | 2147483647 25414 54 | 0.000 % |
25.75/25.89 c | 25696 | 958 99290 430382 | 2147483647 25696 54 | 0.000 % |
26.65/26.73 c | 26005 | 958 99290 430382 | 2147483647 26005 54 | 0.000 % |
27.35/27.47 c | 26345 | 958 99290 430382 | 2147483647 26345 54 | 0.000 % |
28.25/28.39 c | 26718 | 958 99290 430382 | 2147483647 26718 54 | 0.000 % |
29.35/29.46 c | 27127 | 958 99290 430382 | 2147483647 27127 54 | 0.000 % |
30.55/30.63 c | 27576 | 958 99290 430382 | 2147483647 27576 54 | 0.000 % |
30.85/30.93 c | 27679 | 958 99290 430382 | 2147483647 27679 54 | 0.000 % |
31.15/31.29 c | 27789 | 958 99290 430382 | 2147483647 27789 54 | 0.000 % |
31.55/31.65 c | 27913 | 958 99290 430382 | 2147483647 27913 54 | 0.000 % |
31.95/32.07 c | 28048 | 958 99290 430382 | 2147483647 28048 54 | 0.000 % |
32.34/32.45 c | 28194 | 958 99290 430382 | 2147483647 28194 54 | 0.000 % |
32.74/32.88 c | 28354 | 958 99290 430382 | 2147483647 28354 54 | 0.000 % |
33.34/33.45 c | 28532 | 958 99290 430382 | 2147483647 28532 54 | 0.000 % |
33.94/34.06 c | 28727 | 958 99290 430382 | 2147483647 28727 54 | 0.000 % |
34.54/34.64 c | 28939 | 958 99290 430382 | 2147483647 28939 54 | 0.000 % |
34.84/34.96 c | 29173 | 958 99290 430382 | 2147483647 29173 54 | 0.000 % |
35.54/35.61 c | 29429 | 958 99290 430382 | 2147483647 29429 54 | 0.000 % |
36.24/36.33 c | 29710 | 958 99290 430382 | 2147483647 29710 54 | 0.000 % |
36.84/36.95 c | 30019 | 958 99290 430382 | 2147483647 30019 54 | 0.000 % |
37.44/37.56 c | 30359 | 958 99290 430382 | 2147483647 30359 54 | 0.000 % |
38.64/38.72 c | 30731 | 958 99290 430382 | 2147483647 30731 54 | 0.000 % |
39.94/40.04 c | 31142 | 958 99290 430382 | 2147483647 31142 54 | 0.000 % |
41.24/41.32 c | 31592 | 958 99290 430382 | 2147483647 31592 54 | 0.000 % |
42.74/42.89 c | 32085 | 958 99290 430382 | 2147483647 32085 54 | 0.000 % |
43.04/43.18 c | 32185 | 958 99290 430382 | 2147483647 32185 54 | 0.000 % |
43.44/43.51 c | 32295 | 958 99290 430382 | 2147483647 32295 54 | 0.000 % |
43.74/43.89 c | 32417 | 958 99290 430382 | 2147483647 32417 54 | 0.000 % |
44.24/44.37 c | 32551 | 958 99290 430382 | 2147483647 32551 54 | 0.000 % |
44.64/44.76 c | 32698 | 958 99290 430382 | 2147483647 32698 54 | 0.000 % |
45.14/45.23 c | 32858 | 958 99290 430382 | 2147483647 32858 54 | 0.000 % |
45.64/45.78 c | 33035 | 958 99290 430382 | 2147483647 33035 54 | 0.000 % |
46.33/46.48 c | 33228 | 958 99290 430382 | 2147483647 33228 54 | 0.000 % |
47.14/47.24 c | 33441 | 958 99290 430382 | 2147483647 33441 54 | 0.000 % |
47.83/47.95 c | 33674 | 958 99290 430382 | 2147483647 33674 54 | 0.000 % |
48.53/48.66 c | 33930 | 958 99290 430382 | 2147483647 33930 54 | 0.000 % |
49.53/49.62 c | 34212 | 958 99290 430382 | 2147483647 34212 54 | 0.000 % |
50.73/50.89 c | 34521 | 958 99290 430382 | 2147483647 34521 54 | 0.000 % |
52.13/52.21 c | 34861 | 958 99290 430382 | 2147483647 34861 54 | 0.000 % |
53.43/53.59 c | 35233 | 958 99290 430382 | 2147483647 35233 54 | 0.000 % |
54.84/54.93 c | 35644 | 958 99290 430382 | 2147483647 35644 53 | 0.000 % |
56.23/56.32 c | 36094 | 958 99290 430382 | 2147483647 36094 53 | 0.000 % |
57.33/57.47 c | 36588 | 958 99290 430382 | 2147483647 36588 53 | 0.000 % |
59.34/59.49 c | 37130 | 958 99290 430382 | 2147483647 37130 53 | 0.000 % |
59.73/59.86 c | 37231 | 958 99290 430382 | 2147483647 37231 53 | 0.000 % |
60.13/60.25 c | 37341 | 958 99290 430382 | 2147483647 37341 53 | 0.000 % |
60.53/60.63 c | 37463 | 958 99290 430382 | 2147483647 37463 53 | 0.000 % |
61.03/61.13 c | 37596 | 958 99290 430382 | 2147483647 37596 53 | 0.000 % |
61.53/61.61 c | 37743 | 958 99290 430382 | 2147483647 37743 53 | 0.000 % |
62.03/62.15 c | 37904 | 958 99290 430382 | 2147483647 37904 53 | 0.000 % |
62.43/62.54 c | 38081 | 958 99290 430382 | 2147483647 38081 53 | 0.000 % |
63.23/63.38 c | 38274 | 958 99290 430382 | 2147483647 38274 53 | 0.000 % |
64.03/64.16 c | 38486 | 958 99290 430382 | 2147483647 38486 53 | 0.000 % |
65.03/65.17 c | 38720 | 958 99290 430382 | 2147483647 38720 53 | 0.000 % |
66.03/66.12 c | 38976 | 958 99290 430382 | 2147483647 38976 53 | 0.000 % |
67.03/67.14 c | 39258 | 958 99290 430382 | 2147483647 39258 53 | 0.000 % |
68.33/68.46 c | 39568 | 958 99290 430382 | 2147483647 39568 53 | 0.000 % |
69.53/69.61 c | 39907 | 958 99290 430382 | 2147483647 39907 53 | 0.000 % |
70.64/70.74 c | 40279 | 958 99290 430382 | 2147483647 40279 53 | 0.000 % |
71.84/71.96 c | 40688 | 958 99290 430382 | 2147483647 40688 53 | 0.000 % |
73.64/73.74 c | 41143 | 958 99290 430382 | 2147483647 41143 53 | 0.000 % |
75.03/75.10 c | 41636 | 958 99290 430382 | 2147483647 41636 53 | 0.000 % |
76.33/76.44 c | 42179 | 958 99290 430382 | 2147483647 42179 53 | 0.000 % |
78.93/79.04 c | 42777 | 958 99290 430382 | 2147483647 42777 53 | 0.000 % |
79.43/79.54 c | 42878 | 958 99290 430382 | 2147483647 42878 53 | 0.000 % |
79.83/79.97 c | 42988 | 958 99290 430382 | 2147483647 42988 53 | 0.000 % |
80.43/80.54 c | 43109 | 958 99290 430382 | 2147483647 43109 53 | 0.000 % |
81.03/81.16 c | 43242 | 958 99290 430382 | 2147483647 43242 53 | 0.000 % |
81.73/81.82 c | 43390 | 958 99290 430382 | 2147483647 43390 53 | 0.000 % |
82.44/82.57 c | 43550 | 958 99290 430382 | 2147483647 43550 53 | 0.000 % |
83.33/83.40 c | 43726 | 958 99290 430382 | 2147483647 43726 53 | 0.000 % |
84.13/84.23 c | 43920 | 958 99290 430382 | 2147483647 43920 53 | 0.000 % |
85.23/85.32 c | 44132 | 958 99290 430382 | 2147483647 44132 53 | 0.000 % |
86.23/86.35 c | 44366 | 958 99290 430382 | 2147483647 44366 53 | 0.000 % |
87.23/87.39 c | 44622 | 958 99290 430382 | 2147483647 44622 53 | 0.000 % |
88.43/88.55 c | 44905 | 958 99290 430382 | 2147483647 44905 52 | 0.000 % |
89.23/89.32 c | 45215 | 958 99290 430382 | 2147483647 45215 52 | 0.000 % |
90.33/90.44 c | 45554 | 958 99290 430382 | 2147483647 45554 52 | 0.000 % |
90.52/90.68 c | 45926 | 958 99290 430382 | 2147483647 45926 52 | 0.000 % |
92.62/92.76 c | 46336 | 958 99290 430382 | 2147483647 46336 52 | 0.000 % |
93.72/93.83 c | 46787 | 958 99290 430382 | 2147483647 46787 52 | 0.000 % |
96.13/96.24 c | 47282 | 958 99290 430382 | 2147483647 47282 52 | 0.000 % |
98.53/98.61 c | 47824 | 958 99290 430382 | 2147483647 47824 52 | 0.000 % |
99.03/99.19 c | 48420 | 958 99290 430382 | 2147483647 48420 52 | 0.000 % |
99.63/99.79 c | 49075 | 958 99290 430382 | 2147483647 49075 52 | 0.000 % |
99.83/99.98 c | 49176 | 958 99290 430382 | 2147483647 49176 52 | 0.000 % |
100.03/100.20 c | 49286 | 958 99290 430382 | 2147483647 49286 52 | 0.000 % |
100.23/100.30 c | 49407 | 958 99290 430382 | 2147483647 49407 52 | 0.000 % |
101.13/101.26 c | 49540 | 958 99290 430382 | 2147483647 49540 52 | 0.000 % |
102.13/102.21 c | 49688 | 958 99290 430382 | 2147483647 49688 52 | 0.000 % |
102.63/102.72 c | 49848 | 958 99290 430382 | 2147483647 49848 52 | 0.000 % |
103.73/103.85 c | 50028 | 958 99290 430382 | 2147483647 50028 52 | 0.000 % |
104.43/104.54 c | 50222 | 958 99290 430382 | 2147483647 50222 52 | 0.000 % |
104.82/104.94 c | 50435 | 958 99290 430382 | 2147483647 50435 53 | 0.000 % |
105.12/105.26 c | 50668 | 958 99290 430382 | 2147483647 50668 53 | 0.000 % |
105.22/105.32 c | 50925 | 958 99290 430382 | 2147483647 50925 53 | 0.000 % |
106.53/106.62 c | 51209 | 958 99290 430382 | 2147483647 51209 53 | 0.000 % |
108.02/108.19 c | 51519 | 958 99290 430382 | 2147483647 51519 53 | 0.000 % |
108.52/108.69 c | 51858 | 958 99290 430382 | 2147483647 51858 53 | 0.000 % |
108.83/108.94 c | 52231 | 958 99290 430382 | 2147483647 52231 53 | 0.000 % |
109.12/109.20 c | 52641 | 958 99290 430382 | 2147483647 52641 52 | 0.000 % |
109.32/109.46 c | 53091 | 958 99290 430382 | 2147483647 53091 52 | 0.000 % |
111.62/111.78 c | 53586 | 958 99290 430382 | 2147483647 53586 52 | 0.000 % |
112.32/112.44 c | 54129 | 958 99290 430382 | 2147483647 54129 52 | 0.000 % |
114.22/114.34 c | 54725 | 958 99290 430382 | 2147483647 54725 52 | 0.000 % |
115.62/115.73 c | 55382 | 958 99290 430382 | 2147483647 55382 52 | 0.000 % |
118.12/118.24 c | 56102 | 958 99290 430382 | 2147483647 56102 53 | 0.000 % |
118.22/118.35 c | 56204 | 958 99290 430382 | 2147483647 56204 53 | 0.000 % |
118.32/118.48 c | 56316 | 958 99290 430382 | 2147483647 56316 53 | 0.000 % |
118.42/118.58 c | 56437 | 958 99290 430382 | 2147483647 56437 53 | 0.000 % |
118.72/118.84 c | 56572 | 958 99290 430382 | 2147483647 56572 53 | 0.000 % |
119.82/119.97 c | 56719 | 958 99290 430382 | 2147483647 56719 53 | 0.000 % |
120.51/120.65 c | 56882 | 958 99290 430382 | 2147483647 56882 53 | 0.000 % |
120.92/121.01 c | 57061 | 958 99290 430382 | 2147483647 57061 53 | 0.000 % |
121.51/121.68 c | 57255 | 958 99290 430382 | 2147483647 57255 53 | 0.000 % |
121.81/121.98 c | 57467 | 958 99290 430382 | 2147483647 57467 53 | 0.000 % |
123.02/123.20 c | 57702 | 958 99290 430382 | 2147483647 57702 53 | 0.000 % |
123.21/123.31 c | 57958 | 958 99290 430382 | 2147483647 57958 53 | 0.000 % |
124.52/124.67 c | 58241 | 958 99290 430382 | 2147483647 58241 53 | 0.000 % |
125.33/125.48 c | 58553 | 958 99290 430382 | 2147483647 58553 53 | 0.000 % |
126.02/126.19 c | 58892 | 958 99290 430382 | 2147483647 58892 53 | 0.000 % |
127.92/128.07 c | 59266 | 958 99290 430382 | 2147483647 59266 53 | 0.000 % |
129.72/129.85 c | 59675 | 958 99290 430382 | 2147483647 59675 53 | 0.000 % |
130.82/130.94 c | 60125 | 958 99290 430382 | 2147483647 60125 53 | 0.000 % |
133.02/133.19 c | 60619 | 958 99290 430382 | 2147483647 60619 53 | 0.000 % |
135.72/135.90 c | 61163 | 958 99290 430382 | 2147483647 61163 53 | 0.000 % |
137.82/137.93 c | 61759 | 958 99290 430382 | 2147483647 61759 53 | 0.000 % |
139.11/139.21 c | 62414 | 958 99290 430382 | 2147483647 62414 53 | 0.000 % |
140.62/140.74 c | 63135 | 958 99290 430382 | 2147483647 63135 54 | 0.000 % |
141.41/141.58 c | 63928 | 958 99290 430382 | 2147483647 63928 54 | 0.000 % |
141.51/141.65 c | 64028 | 958 99290 430382 | 2147483647 64028 54 | 0.000 % |
141.82/141.96 c | 64138 | 958 99290 430382 | 2147483647 64138 54 | 0.000 % |
142.11/142.21 c | 64260 | 958 99290 430382 | 2147483647 64260 54 | 0.000 % |
142.61/142.70 c | 64393 | 958 99290 430382 | 2147483647 64393 54 | 0.000 % |
143.11/143.26 c | 64540 | 958 99290 430382 | 2147483647 64540 54 | 0.000 % |
143.71/143.89 c | 64701 | 958 99290 430382 | 2147483647 64701 54 | 0.000 % |
144.41/144.54 c | 64878 | 958 99290 430382 | 2147483647 64878 54 | 0.000 % |
145.21/145.35 c | 65071 | 958 99290 430382 | 2147483647 65071 54 | 0.000 % |
145.71/145.88 c | 65283 | 958 99290 430382 | 2147483647 65283 54 | 0.000 % |
146.41/146.53 c | 65518 | 958 99290 430382 | 2147483647 65518 54 | 0.000 % |
146.91/147.08 c | 65774 | 958 99290 430382 | 2147483647 65774 54 | 0.000 % |
147.31/147.43 c | 66057 | 958 99290 430382 | 2147483647 66057 54 | 0.000 % |
149.01/149.13 c | 66366 | 958 99290 430382 | 2147483647 66366 54 | 0.000 % |
150.51/150.67 c | 66705 | 958 99290 430382 | 2147483647 66705 54 | 0.000 % |
152.91/153.00 c | 67078 | 958 99290 430382 | 2147483647 67078 54 | 0.000 % |
154.81/154.91 c | 67489 | 958 99290 430382 | 2147483647 67489 54 | 0.000 % |
157.31/157.40 c | 67938 | 958 99290 430382 | 2147483647 67938 54 | 0.000 % |
160.11/160.21 c | 68431 | 958 99290 430382 | 2147483647 68431 54 | 0.000 % |
160.41/160.57 c | 68974 | 958 99290 430382 | 2147483647 68974 55 | 0.000 % |
163.40/163.55 c | 69571 | 958 99290 430382 | 2147483647 69571 55 | 0.000 % |
166.01/166.17 c | 70226 | 958 99290 430382 | 2147483647 70226 55 | 0.000 % |
169.21/169.30 c | 70946 | 958 99290 430382 | 2147483647 70946 55 | 0.000 % |
171.10/171.26 c | 71739 | 958 99290 430382 | 2147483647 71739 55 | 0.000 % |
172.70/172.86 c | 72613 | 958 99290 430382 | 2147483647 72613 55 | 0.000 % |
172.90/173.06 c | 72713 | 958 99290 430382 | 2147483647 72713 55 | 0.000 % |
173.00/173.17 c | 72824 | 958 99290 430382 | 2147483647 72824 55 | 0.000 % |
173.20/173.30 c | 72945 | 958 99290 430382 | 2147483647 72945 55 | 0.000 % |
173.30/173.43 c | 73078 | 958 99290 430382 | 2147483647 73078 55 | 0.000 % |
173.70/173.86 c | 73224 | 958 99290 430382 | 2147483647 73224 55 | 0.000 % |
174.20/174.33 c | 73384 | 958 99290 430382 | 2147483647 73384 55 | 0.000 % |
174.40/174.54 c | 73560 | 958 99290 430382 | 2147483647 73560 55 | 0.000 % |
174.70/174.90 c | 73758 | 958 99290 430382 | 2147483647 73758 55 | 0.000 % |
175.10/175.26 c | 73970 | 958 99290 430382 | 2147483647 73970 55 | 0.000 % |
175.60/175.71 c | 74203 | 958 99290 430382 | 2147483647 74203 55 | 0.000 % |
177.00/177.18 c | 74461 | 958 99290 430382 | 2147483647 74461 55 | 0.000 % |
178.00/178.12 c | 74745 | 958 99290 430382 | 2147483647 74745 55 | 0.000 % |
179.40/179.54 c | 75056 | 958 99290 430382 | 2147483647 75056 55 | 0.000 % |
181.00/181.10 c | 75395 | 958 99290 430382 | 2147483647 75395 55 | 0.000 % |
182.30/182.42 c | 75769 | 958 99290 430382 | 2147483647 75769 55 | 0.000 % |
183.70/183.88 c | 76179 | 958 99290 430382 | 2147483647 76179 55 | 0.000 % |
184.60/184.73 c | 76629 | 958 99290 430382 | 2147483647 76629 55 | 0.000 % |
185.70/185.83 c | 77122 | 958 99290 430382 | 2147483647 77122 55 | 0.000 % |
187.70/187.81 c | 77666 | 958 99290 430382 | 2147483647 77666 55 | 0.000 % |
188.59/188.74 c | 78262 | 958 99290 430382 | 2147483647 78262 55 | 0.000 % |
189.59/189.72 c | 78920 | 958 99290 430382 | 2147483647 78920 55 | 0.000 % |
190.59/190.77 c | 79646 | 958 99290 430382 | 2147483647 79646 55 | 0.000 % |
191.59/191.77 c | 80441 | 958 99290 430382 | 2147483647 80441 55 | 0.000 % |
192.79/192.91 c | 81312 | 958 99290 430382 | 2147483647 81312 55 | 0.000 % |
194.00/194.17 c | 82270 | 958 99290 430382 | 2147483647 82270 55 | 0.000 % |
194.20/194.31 c | 82370 | 958 99290 430382 | 2147483647 82370 55 | 0.000 % |
194.30/194.42 c | 82482 | 958 99290 430382 | 2147483647 82482 55 | 0.000 % |
194.40/194.55 c | 82604 | 958 99290 430382 | 2147483647 82604 55 | 0.000 % |
194.51/194.68 c | 82738 | 958 99290 430382 | 2147483647 82738 55 | 0.000 % |
194.70/194.86 c | 82884 | 958 99290 430382 | 2147483647 82884 55 | 0.000 % |
194.90/195.02 c | 83046 | 958 99290 430382 | 2147483647 83046 55 | 0.000 % |
196.00/196.18 c | 83224 | 958 99290 430382 | 2147483647 83224 55 | 0.000 % |
196.60/196.77 c | 83421 | 958 99290 430382 | 2147483647 83421 55 | 0.000 % |
197.60/197.70 c | 83633 | 958 99290 430382 | 2147483647 83633 55 | 0.000 % |
198.20/198.37 c | 83866 | 958 99290 430382 | 2147483647 83866 55 | 0.000 % |
199.50/199.66 c | 84122 | 958 99290 430382 | 2147483647 84122 55 | 0.000 % |
200.50/200.67 c | 84403 | 958 99290 430382 | 2147483647 84403 55 | 0.000 % |
202.10/202.22 c | 84714 | 958 99290 430382 | 2147483647 84714 55 | 0.000 % |
203.90/204.08 c | 85053 | 958 99290 430382 | 2147483647 85053 55 | 0.000 % |
205.80/205.93 c | 85426 | 958 99290 430382 | 2147483647 85426 55 | 0.000 % |
207.60/207.80 c | 85836 | 958 99290 430382 | 2147483647 85836 55 | 0.000 % |
209.10/209.23 c | 86285 | 958 99290 430382 | 2147483647 86285 55 | 0.000 % |
209.49/209.68 c | 86779 | 958 99290 430382 | 2147483647 86779 55 | 0.000 % |
210.89/211.04 c | 87322 | 958 99290 430382 | 2147483647 87322 55 | 0.000 % |
213.59/213.75 c | 87919 | 958 99290 430382 | 2147483647 87919 55 | 0.000 % |
215.40/215.52 c | 88574 | 958 99290 430382 | 2147483647 88574 55 | 0.000 % |
216.99/217.10 c | 89294 | 958 99290 430382 | 2147483647 89294 55 | 0.000 % |
218.49/218.61 c | 90086 | 958 99290 430382 | 2147483647 90086 55 | 0.000 % |
219.79/219.97 c | 90958 | 958 99290 430382 | 2147483647 90958 56 | 0.000 % |
220.99/221.16 c | 91917 | 958 99290 430382 | 2147483647 91917 56 | 0.000 % |
222.99/223.11 c | 92970 | 958 99290 430382 | 2147483647 92970 56 | 0.000 % |
223.19/223.31 c | 93070 | 958 99290 430382 | 2147483647 93070 56 | 0.000 % |
223.29/223.44 c | 93180 | 958 99290 430382 | 2147483647 93180 56 | 0.000 % |
223.49/223.67 c | 93301 | 958 99290 430382 | 2147483647 93301 56 | 0.000 % |
223.79/223.95 c | 93435 | 958 99290 430382 | 2147483647 93435 56 | 0.000 % |
223.99/224.11 c | 93582 | 958 99290 430382 | 2147483647 93582 56 | 0.000 % |
224.29/224.42 c | 93743 | 958 99290 430382 | 2147483647 93743 56 | 0.000 % |
224.39/224.58 c | 93921 | 958 99290 430382 | 2147483647 93921 56 | 0.000 % |
224.69/224.88 c | 94115 | 958 99290 430382 | 2147483647 94115 56 | 0.000 % |
224.88/225.07 c | 94327 | 958 99290 430382 | 2147483647 94327 56 | 0.000 % |
225.29/225.40 c | 94560 | 958 99290 430382 | 2147483647 94560 56 | 0.000 % |
225.68/225.87 c | 94817 | 958 99290 430382 | 2147483647 94817 56 | 0.000 % |
226.18/226.32 c | 95099 | 958 99290 430382 | 2147483647 95099 56 | 0.000 % |
226.68/226.81 c | 95409 | 958 99290 430382 | 2147483647 95409 56 | 0.000 % |
228.08/228.27 c | 95751 | 958 99290 430382 | 2147483647 95751 56 | 0.000 % |
229.69/229.83 c | 96123 | 958 99290 430382 | 2147483647 96123 56 | 0.000 % |
231.38/231.58 c | 96532 | 958 99290 430382 | 2147483647 96532 56 | 0.000 % |
233.68/233.84 c | 96982 | 958 99290 430382 | 2147483647 96982 56 | 0.000 % |
235.98/236.13 c | 97477 | 958 99290 430382 | 2147483647 97477 56 | 0.000 % |
237.69/237.87 c | 98020 | 958 99290 430382 | 2147483647 98020 56 | 0.000 % |
240.89/241.01 c | 98616 | 958 99290 430382 | 2147483647 98616 56 | 0.000 % |
244.29/244.41 c | 99272 | 958 99290 430382 | 2147483647 99272 56 | 0.000 % |
246.88/247.06 c | 99992 | 958 99290 430382 | 2147483647 99992 56 | 0.000 % |
250.08/250.28 c | 100784 | 958 99290 430382 | 2147483647 100784 57 | 0.000 % |
253.98/254.17 c | 101656 | 958 99290 430382 | 2147483647 101656 57 | 0.000 % |
257.97/258.13 c | 102615 | 958 99290 430382 | 2147483647 102615 57 | 0.000 % |
262.67/262.82 c | 103669 | 958 99290 430382 | 2147483647 103669 57 | 0.000 % |
267.07/267.29 c | 104828 | 958 99290 430382 | 2147483647 104828 57 | 0.000 % |
267.46/267.69 c | 104929 | 958 99290 430382 | 2147483647 104929 57 | 0.000 % |
267.96/268.11 c | 105040 | 958 99290 430382 | 2147483647 105040 57 | 0.000 % |
268.46/268.61 c | 105162 | 958 99290 430382 | 2147483647 105162 57 | 0.000 % |
268.97/269.15 c | 105295 | 958 99290 430382 | 2147483647 105295 57 | 0.000 % |
269.57/269.75 c | 105441 | 958 99290 430382 | 2147483647 105441 57 | 0.000 % |
270.17/270.31 c | 105601 | 958 99290 430382 | 2147483647 105601 57 | 0.000 % |
270.57/270.74 c | 105777 | 958 99290 430382 | 2147483647 105777 57 | 0.000 % |
271.47/271.64 c | 105970 | 958 99290 430382 | 2147483647 105970 57 | 0.000 % |
272.37/272.54 c | 106182 | 958 99290 430382 | 2147483647 106182 57 | 0.000 % |
273.17/273.30 c | 106415 | 958 99290 430382 | 2147483647 106415 57 | 0.000 % |
274.57/274.76 c | 106673 | 958 99290 430382 | 2147483647 106673 57 | 0.000 % |
275.47/275.61 c | 106957 | 958 99290 430382 | 2147483647 106957 57 | 0.000 % |
276.67/276.84 c | 107266 | 958 99290 430382 | 2147483647 107266 57 | 0.000 % |
277.97/278.10 c | 107606 | 958 99290 430382 | 2147483647 107606 57 | 0.000 % |
279.46/279.65 c | 107978 | 958 99290 430382 | 2147483647 107978 57 | 0.000 % |
280.56/280.75 c | 108387 | 958 99290 430382 | 2147483647 108387 57 | 0.000 % |
282.26/282.41 c | 108840 | 958 99290 430382 | 2147483647 108840 57 | 0.000 % |
284.06/284.21 c | 109336 | 958 99290 430382 | 2147483647 109336 57 | 0.000 % |
286.06/286.24 c | 109879 | 958 99290 430382 | 2147483647 109879 57 | 0.000 % |
287.76/287.98 c | 110478 | 958 99290 430382 | 2147483647 110478 57 | 0.000 % |
289.66/289.88 c | 111133 | 958 99290 430382 | 2147483647 111133 57 | 0.000 % |
290.65/290.85 c | 111858 | 958 99290 430382 | 2147483647 111858 57 | 0.000 % |
295.76/295.94 c | 112651 | 958 99290 430382 | 2147483647 112651 57 | 0.000 % |
300.35/300.53 c | 113524 | 958 99290 430382 | 2147483647 113524 57 | 0.000 % |
303.65/303.85 c | 114482 | 958 99290 430382 | 2147483647 114482 57 | 0.000 % |
307.65/307.82 c | 115535 | 958 99290 430382 | 2147483647 115535 57 | 0.000 % |
311.75/311.97 c | 116696 | 958 99290 430382 | 2147483647 116696 58 | 0.000 % |
316.35/316.59 c | 117970 | 958 99290 430382 | 2147483647 117970 58 | 0.000 % |
316.95/317.11 c | 118073 | 958 99290 430382 | 2147483647 118073 58 | 0.000 % |
317.45/317.68 c | 118183 | 958 99290 430382 | 2147483647 118183 58 | 0.000 % |
317.95/318.19 c | 118304 | 958 99290 430382 | 2147483647 118304 58 | 0.000 % |
318.45/318.65 c | 118438 | 958 99290 430382 | 2147483647 118438 58 | 0.000 % |
318.95/319.14 c | 118584 | 958 99290 430382 | 2147483647 118584 58 | 0.000 % |
319.75/319.92 c | 118745 | 958 99290 430382 | 2147483647 118745 58 | 0.000 % |
320.85/321.03 c | 118921 | 958 99290 430382 | 2147483647 118921 58 | 0.000 % |
321.95/322.10 c | 119116 | 958 99290 430382 | 2147483647 119116 58 | 0.000 % |
322.85/323.07 c | 119328 | 958 99290 430382 | 2147483647 119328 58 | 0.000 % |
324.04/324.24 c | 119562 | 958 99290 430382 | 2147483647 119562 58 | 0.000 % |
325.04/325.26 c | 119820 | 958 99290 430382 | 2147483647 119820 58 | 0.000 % |
326.34/326.53 c | 120105 | 958 99290 430382 | 120000 120105 58 | 0.000 % |
327.65/327.87 c | 120414 | 958 99290 430382 | 120000 106349 58 | 0.000 % |
328.94/329.12 c | 120758 | 958 99290 430382 | 120000 106693 58 | 0.000 % |
330.34/330.56 c | 121130 | 958 99290 430382 | 120000 107065 58 | 0.000 % |
331.94/332.11 c | 121539 | 958 99290 430382 | 120000 107474 58 | 0.000 % |
333.34/333.54 c | 121988 | 958 99290 430382 | 120000 107923 58 | 0.000 % |
334.74/334.99 c | 122481 | 958 99290 430382 | 120000 108416 58 | 0.000 % |
336.24/336.48 c | 123024 | 958 99290 430382 | 120000 108959 58 | 0.000 % |
338.14/338.35 c | 123620 | 958 99290 430382 | 120000 109555 58 | 0.000 % |
339.94/340.16 c | 124280 | 958 99290 430382 | 120000 110215 58 | 0.000 % |
342.24/342.49 c | 125002 | 958 99290 430382 | 120000 110937 58 | 0.000 % |
345.33/345.52 c | 125795 | 958 99290 430382 | 120000 111730 58 | 0.000 % |
348.23/348.48 c | 126667 | 958 99290 430382 | 120000 112602 58 | 0.000 % |
351.43/351.61 c | 127625 | 958 99290 430382 | 120000 113560 58 | 0.000 % |
354.04/354.24 c | 128680 | 958 99290 430382 | 120000 114615 58 | 0.000 % |
357.83/358.03 c | 129839 | 958 99290 430382 | 120000 115774 58 | 0.000 % |
361.83/362.06 c | 131114 | 958 99290 430382 | 2147483647 117049 58 | 0.000 % |
366.23/366.46 c | 132518 | 958 99290 430382 | 2147483647 118453 58 | 0.000 % |
366.63/366.83 c | 132619 | 958 99290 430382 | 2147483647 118554 58 | 0.000 % |
367.33/367.51 c | 132729 | 958 99290 430382 | 2147483647 118664 58 | 0.000 % |
367.74/367.99 c | 132852 | 958 99290 430382 | 2147483647 118787 58 | 0.000 % |
368.34/368.55 c | 132986 | 958 99290 430382 | 2147483647 118921 58 | 0.000 % |
368.94/369.15 c | 133132 | 958 99290 430382 | 2147483647 119067 58 | 0.000 % |
369.44/369.61 c | 133292 | 958 99290 430382 | 2147483647 119227 58 | 0.000 % |
370.04/370.27 c | 133468 | 958 99290 430382 | 2147483647 119403 58 | 0.000 % |
370.74/370.95 c | 133661 | 958 99290 430382 | 2147483647 119596 58 | 0.000 % |
371.43/371.65 c | 133875 | 958 99290 430382 | 2147483647 119810 58 | 0.000 % |
372.33/372.51 c | 134110 | 958 99290 430382 | 2147483647 120045 58 | 0.000 % |
373.23/373.44 c | 134368 | 958 99290 430382 | 2147483647 120303 58 | 0.000 % |
374.23/374.45 c | 134650 | 958 99290 430382 | 2147483647 120585 58 | 0.000 % |
375.53/375.72 c | 134961 | 958 99290 430382 | 2147483647 120896 58 | 0.000 % |
376.13/376.32 c | 135301 | 958 99290 430382 | 2147483647 121236 58 | 0.000 % |
377.13/377.35 c | 135674 | 958 99290 430382 | 2147483647 121609 58 | 0.000 % |
379.13/379.34 c | 136084 | 958 99290 430382 | 2147483647 122019 58 | 0.000 % |
381.13/381.30 c | 136535 | 958 99290 430382 | 2147483647 122470 58 | 0.000 % |
382.63/382.86 c | 137030 | 958 99290 430382 | 2147483647 122965 58 | 0.000 % |
384.43/384.60 c | 137572 | 958 99290 430382 | 2147483647 123507 58 | 0.000 % |
386.43/386.64 c | 138168 | 958 99290 430382 | 2147483647 124103 58 | 0.000 % |
388.42/388.61 c | 138824 | 958 99290 430382 | 2147483647 124759 58 | 0.000 % |
391.43/391.66 c | 139544 | 958 99290 430382 | 2147483647 125479 59 | 0.000 % |
393.42/393.60 c | 140338 | 958 99290 430382 | 125936 126273 59 | 0.000 % |
395.82/396.06 c | 141211 | 958 99290 430382 | 125936 106305 60 | 0.000 % |
398.02/398.27 c | 142172 | 958 99290 430382 | 125936 107266 60 | 0.000 % |
400.42/400.65 c | 143227 | 958 99290 430382 | 125936 108321 60 | 0.000 % |
402.62/402.84 c | 144385 | 958 99290 430382 | 125936 109479 60 | 0.000 % |
406.61/406.81 c | 145658 | 958 99290 430382 | 125936 110752 60 | 0.000 % |
410.31/410.52 c | 147058 | 958 99290 430382 | 125936 112152 60 | 0.000 % |
414.42/414.66 c | 148598 | 958 99290 430382 | 125936 113692 60 | 0.000 % |
414.81/415.01 c | 148699 | 958 99290 430382 | 125936 113793 60 | 0.000 % |
415.01/415.29 c | 148810 | 958 99290 430382 | 125936 113904 60 | 0.000 % |
415.41/415.66 c | 148931 | 958 99290 430382 | 125936 114025 60 | 0.000 % |
415.91/416.11 c | 149065 | 958 99290 430382 | 125936 114159 60 | 0.000 % |
416.41/416.65 c | 149211 | 958 99290 430382 | 125936 114305 60 | 0.000 % |
417.01/417.25 c | 149371 | 958 99290 430382 | 125936 114465 60 | 0.000 % |
417.51/417.77 c | 149549 | 958 99290 430382 | 125936 114643 60 | 0.000 % |
418.01/418.29 c | 149743 | 958 99290 430382 | 125936 114837 60 | 0.000 % |
418.81/419.01 c | 149955 | 958 99290 430382 | 125936 115049 60 | 0.000 % |
419.71/419.90 c | 150188 | 958 99290 430382 | 115095 115282 60 | 0.000 % |
420.61/420.85 c | 150445 | 958 99290 430382 | 115095 95517 62 | 0.000 % |
421.51/421.74 c | 150727 | 958 99290 430382 | 115095 95799 62 | 0.000 % |
422.41/422.68 c | 151036 | 958 99290 430382 | 115095 96108 62 | 0.000 % |
423.41/423.63 c | 151375 | 958 99290 430382 | 115095 96447 62 | 0.000 % |
424.42/424.66 c | 151747 | 958 99290 430382 | 115095 96819 62 | 0.000 % |
425.52/425.78 c | 152158 | 958 99290 430382 | 115095 97230 62 | 0.000 % |
426.71/426.94 c | 152608 | 958 99290 430382 | 115095 97680 62 | 0.000 % |
427.81/428.09 c | 153101 | 958 99290 430382 | 115095 98173 62 | 0.000 % |
429.11/429.39 c | 153644 | 958 99290 430382 | 115095 98716 62 | 0.000 % |
430.51/430.79 c | 154243 | 958 99290 430382 | 115095 99315 62 | 0.000 % |
432.01/432.29 c | 154898 | 958 99290 430382 | 115095 99970 62 | 0.000 % |
434.31/434.55 c | 155618 | 958 99290 430382 | 115095 100690 62 | 0.000 % |
436.51/436.79 c | 156411 | 958 99290 430382 | 115095 101483 62 | 0.000 % |
439.11/439.33 c | 157282 | 958 99290 430382 | 115095 102354 62 | 0.000 % |
441.91/442.12 c | 158240 | 958 99290 430382 | 115095 103312 62 | 0.000 % |
445.31/445.53 c | 159295 | 958 99290 430382 | 115095 104367 62 | 0.000 % |
449.30/449.54 c | 160453 | 958 99290 430382 | 105073 89221 62 | 0.000 % |
452.81/453.09 c | 161727 | 958 99290 430382 | 105073 90495 62 | 0.000 % |
457.50/457.78 c | 163128 | 958 99290 430382 | 105073 91896 62 | 0.000 % |
462.50/462.72 c | 164668 | 958 99290 430382 | 105073 93436 62 | 0.000 % |
466.50/466.79 c | 166362 | 958 99290 430382 | 105073 95130 62 | 0.000 % |
466.80/467.08 c | 166463 | 958 99290 430382 | 105073 95231 62 | 0.000 % |
467.20/467.45 c | 166575 | 958 99290 430382 | 105073 95343 62 | 0.000 % |
467.60/467.86 c | 166696 | 958 99290 430382 | 105073 95464 62 | 0.000 % |
468.10/468.39 c | 166829 | 958 99290 430382 | 105073 95597 62 | 0.000 % |
468.80/469.04 c | 166976 | 958 99290 430382 | 105073 95744 62 | 0.000 % |
469.50/469.70 c | 167137 | 958 99290 430382 | 105073 95905 62 | 0.000 % |
470.10/470.38 c | 167313 | 958 99290 430382 | 105073 96081 62 | 0.000 % |
470.90/471.12 c | 167508 | 958 99290 430382 | 105073 96276 62 | 0.000 % |
471.60/471.87 c | 167721 | 958 99290 430382 | 105073 96489 62 | 0.000 % |
472.30/472.53 c | 167955 | 958 99290 430382 | 105073 96723 62 | 0.000 % |
473.00/473.26 c | 168211 | 958 99290 430382 | 105073 96979 62 | 0.000 % |
473.70/473.91 c | 168492 | 958 99290 430382 | 105073 97260 62 | 0.000 % |
474.30/474.56 c | 168801 | 958 99290 430382 | 105073 97569 62 | 0.000 % |
475.00/475.25 c | 169140 | 958 99290 430382 | 105073 97908 62 | 0.000 % |
476.49/476.73 c | 169513 | 958 99290 430382 | 105073 98281 62 | 0.000 % |
479.59/479.81 c | 169923 | 958 99290 430382 | 105073 98691 62 | 0.000 % |
482.29/482.55 c | 170372 | 958 99290 430382 | 98769 83439 63 | 0.000 % |
485.99/486.28 c | 170865 | 958 99290 430382 | 98769 83932 63 | 0.000 % |
488.69/488.91 c | 171409 | 958 99290 430382 | 98769 84476 63 | 0.000 % |
491.89/492.19 c | 172006 | 958 99290 430382 | 98769 85073 63 | 0.000 % |
497.89/498.19 c | 172665 | 958 99290 430382 | 98769 85732 63 | 0.000 % |
505.28/505.55 c | 173388 | 958 99290 430382 | 98769 86455 63 | 0.000 % |
513.18/513.43 c | 174180 | 958 99290 430382 | 98769 87247 63 | 0.000 % |
520.38/520.63 c | 175056 | 958 99290 430382 | 98769 88123 63 | 0.000 % |
529.98/530.24 c | 176015 | 958 99290 430382 | 98769 89082 63 | 0.000 % |
540.07/540.33 c | 177068 | 958 99290 430382 | 98769 90135 63 | 0.000 % |
545.77/546.06 c | 178226 | 958 99290 430382 | 98769 91293 63 | 0.000 % |
552.67/552.98 c | 179499 | 958 99290 430382 | 98769 92566 63 | 0.000 % |
557.07/557.39 c | 180900 | 958 99290 430382 | 93067 78488 62 | 0.000 % |
561.77/562.06 c | 182440 | 958 99290 430382 | 93067 80028 62 | 0.000 % |
569.47/569.77 c | 184134 | 958 99290 430382 | 93067 81722 62 | 0.000 % |
577.56/577.87 c | 186000 | 958 99290 430382 | 93067 83588 62 | 0.000 % |
577.86/578.14 c | 186100 | 958 99290 430382 | 93067 83688 62 | 0.000 % |
578.76/579.06 c | 186210 | 958 99290 430382 | 93067 83798 62 | 0.000 % |
579.96/580.20 c | 186331 | 958 99290 430382 | 93067 83919 62 | 0.000 % |
581.26/581.57 c | 186464 | 958 99290 430382 | 93067 84052 62 | 0.000 % |
582.67/582.94 c | 186612 | 958 99290 430382 | 93067 84200 62 | 0.000 % |
584.06/584.32 c | 186772 | 958 99290 430382 | 93067 84360 62 | 0.000 % |
585.16/585.42 c | 186948 | 958 99290 430382 | 93067 84536 62 | 0.000 % |
586.36/586.63 c | 187142 | 958 99290 430382 | 93067 84730 62 | 0.000 % |
588.16/588.50 c | 187355 | 958 99290 430382 | 93067 84943 62 | 0.000 % |
590.46/590.79 c | 187592 | 958 99290 430382 | 93067 85180 62 | 0.000 % |
592.16/592.47 c | 187849 | 958 99290 430382 | 93067 85437 62 | 0.000 % |
594.86/595.11 c | 188132 | 958 99290 430382 | 93067 85720 62 | 0.000 % |
597.66/597.93 c | 188442 | 958 99290 430382 | 93067 86030 62 | 0.000 % |
600.26/600.56 c | 188781 | 958 99290 430382 | 93067 86369 62 | 0.000 % |
603.16/603.42 c | 189155 | 958 99290 430382 | 93067 86743 62 | 0.000 % |
606.46/606.77 c | 189565 | 958 99290 430382 | 93067 87153 62 | 0.000 % |
609.25/609.50 c | 190014 | 958 99290 430382 | 87590 87602 62 | 0.000 % |
614.05/614.37 c | 190509 | 958 99290 430382 | 87590 78435 61 | 0.000 % |
615.76/616.02 c | 191051 | 958 99290 430382 | 87590 78977 61 | 0.000 % |
620.35/620.60 c | 191647 | 958 99290 430382 | 87590 79573 61 | 0.000 % |
624.35/624.70 c | 192303 | 958 99290 430382 | 87590 80229 61 | 0.000 % |
628.05/628.38 c | 193026 | 958 99290 430382 | 87590 80952 61 | 0.000 % |
634.35/634.62 c | 193823 | 958 99290 430382 | 87590 81749 61 | 0.000 % |
639.34/639.63 c | 194694 | 958 99290 430382 | 87590 82620 61 | 0.000 % |
644.25/644.54 c | 195653 | 958 99290 430382 | 87590 83579 61 | 0.000 % |
645.45/645.71 c | 196711 | 958 99290 430382 | 87590 84637 61 | 0.000 % |
646.55/646.84 c | 197869 | 958 99290 430382 | 87590 85795 61 | 0.000 % |
651.14/651.44 c | 199143 | 958 99290 430382 | 87590 87069 61 | 0.000 % |
657.84/658.13 c | 200543 | 958 99290 430382 | 2147483647 79696 60 | 0.000 % |
666.54/666.86 c | 202084 | 958 99290 430382 | 2147483647 81237 60 | 0.000 % |
676.63/676.97 c | 203778 | 958 99290 430382 | 2147483647 82931 61 | 0.000 % |
682.23/682.55 c | 205641 | 958 99290 430382 | 2147483647 84794 61 | 0.000 % |
692.93/693.22 c | 207690 | 958 99290 430382 | 2147483647 86843 61 | 0.000 % |
693.73/694.08 c | 207790 | 958 99290 430382 | 2147483647 86943 61 | 0.000 % |
694.53/694.86 c | 207900 | 958 99290 430382 | 2147483647 87053 61 | 0.000 % |
695.63/695.95 c | 208022 | 958 99290 430382 | 2147483647 87175 61 | 0.000 % |
696.43/696.71 c | 208157 | 958 99290 430382 | 2147483647 87310 61 | 0.000 % |
697.43/697.77 c | 208305 | 958 99290 430382 | 2147483647 87458 61 | 0.000 % |
698.53/698.90 c | 208467 | 958 99290 430382 | 2147483647 87620 61 | 0.000 % |
700.03/700.35 c | 208643 | 958 99290 430382 | 2147483647 87796 61 | 0.000 % |
701.43/701.79 c | 208837 | 958 99290 430382 | 2147483647 87990 61 | 0.000 % |
703.13/703.42 c | 209052 | 958 99290 430382 | 2147483647 88205 61 | 0.000 % |
704.93/705.29 c | 209285 | 958 99290 430382 | 2147483647 88438 61 | 0.000 % |
706.72/707.08 c | 209541 | 958 99290 430382 | 2147483647 88694 61 | 0.000 % |
709.23/709.55 c | 209822 | 958 99290 430382 | 2147483647 88975 61 | 0.000 % |
711.72/712.01 c | 210131 | 958 99290 430382 | 89153 89284 61 | 0.000 % |
713.92/714.23 c | 210473 | 958 99290 430382 | 89153 72573 61 | 0.000 % |
714.42/714.80 c | 210846 | 958 99290 430382 | 89153 72946 61 | 0.000 % |
716.52/716.86 c | 211255 | 958 99290 430382 | 89153 73355 61 | 0.000 % |
718.52/718.84 c | 211704 | 958 99290 430382 | 89153 73804 61 | 0.000 % |
720.22/720.52 c | 212198 | 958 99290 430382 | 89153 74298 61 | 0.000 % |
722.22/722.60 c | 212741 | 958 99290 430382 | 89153 74841 61 | 0.000 % |
724.12/724.45 c | 213337 | 958 99290 430382 | 89153 75437 61 | 0.000 % |
727.32/727.68 c | 213992 | 958 99290 430382 | 89153 76092 61 | 0.000 % |
730.52/730.83 c | 214712 | 958 99290 430382 | 89153 76812 61 | 0.000 % |
733.82/734.14 c | 215505 | 958 99290 430382 | 89153 77605 61 | 0.000 % |
738.11/738.49 c | 216376 | 958 99290 430382 | 89153 78476 61 | 0.000 % |
742.01/742.33 c | 217335 | 958 99290 430382 | 89153 79435 61 | 0.000 % |
743.52/743.84 c | 218388 | 958 99290 430382 | 89153 80488 61 | 0.000 % |
745.11/745.41 c | 219549 | 958 99290 430382 | 89153 81649 61 | 0.000 % |
751.91/752.27 c | 220823 | 958 99290 430382 | 2147483647 82923 61 | 0.000 % |
757.91/758.24 c | 222223 | 958 99290 430382 | 2147483647 84323 61 | 0.000 % |
764.01/764.36 c | 223770 | 958 99290 430382 | 2147483647 85870 61 | 0.000 % |
772.81/773.16 c | 225464 | 958 99290 430382 | 2147483647 87564 61 | 0.000 % |
782.20/782.54 c | 227327 | 958 99290 430382 | 2147483647 89427 62 | 0.000 % |
791.00/791.38 c | 229377 | 958 99290 430382 | 2147483647 91477 62 | 0.000 % |
797.00/797.34 c | 231630 | 958 99290 430382 | 92102 82022 61 | 0.000 % |
797.20/797.56 c | 231734 | 958 99290 430382 | 92102 82126 61 | 0.000 % |
797.50/797.81 c | 231845 | 958 99290 430382 | 92102 82237 61 | 0.000 % |
797.70/798.08 c | 231967 | 958 99290 430382 | 92102 82359 61 | 0.000 % |
798.00/798.35 c | 232100 | 958 99290 430382 | 92102 82492 61 | 0.000 % |
798.40/798.78 c | 232246 | 958 99290 430382 | 92102 82638 61 | 0.000 % |
798.80/799.17 c | 232408 | 958 99290 430382 | 92102 82800 61 | 0.000 % |
799.30/799.65 c | 232584 | 958 99290 430382 | 92102 82976 61 | 0.000 % |
799.90/800.23 c | 232777 | 958 99290 430382 | 92102 83169 61 | 0.000 % |
800.70/801.04 c | 232989 | 958 99290 430382 | 92102 83381 61 | 0.000 % |
801.40/801.74 c | 233223 | 958 99290 430382 | 92102 83615 61 | 0.000 % |
802.40/802.75 c | 233481 | 958 99290 430382 | 92102 83873 61 | 0.000 % |
803.20/803.55 c | 233762 | 958 99290 430382 | 92102 84154 61 | 0.000 % |
804.49/804.89 c | 234072 | 958 99290 430382 | 92102 84464 61 | 0.000 % |
805.79/806.11 c | 234412 | 958 99290 430382 | 92102 84804 61 | 0.000 % |
806.39/806.71 c | 234784 | 958 99290 430382 | 92102 85176 61 | 0.000 % |
808.49/808.80 c | 235194 | 958 99290 430382 | 92102 85586 61 | 0.000 % |
810.09/810.46 c | 235643 | 958 99290 430382 | 92102 86035 61 | 0.000 % |
811.79/812.13 c | 236137 | 958 99290 430382 | 92102 86529 61 | 0.000 % |
813.89/814.28 c | 236681 | 958 99290 430382 | 92102 87073 61 | 0.000 % |
816.29/816.68 c | 237278 | 958 99290 430382 | 92102 87670 61 | 0.000 % |
818.89/819.21 c | 237935 | 958 99290 430382 | 92102 88327 61 | 0.000 % |
820.69/821.07 c | 238655 | 958 99290 430382 | 92102 89047 61 | 0.000 % |
822.69/823.02 c | 239448 | 958 99290 430382 | 92102 89840 61 | 0.000 % |
825.29/825.63 c | 240319 | 958 99290 430382 | 2147483647 90711 61 | 0.000 % |
828.09/828.49 c | 241277 | 958 99290 430382 | 2147483647 91669 61 | 0.000 % |
831.29/831.64 c | 242330 | 958 99290 430382 | 2147483647 92722 61 | 0.000 % |
834.89/835.27 c | 243488 | 958 99290 430382 | 2147483647 93880 61 | 0.000 % |
838.58/838.90 c | 244762 | 958 99290 430382 | 2147483647 95154 61 | 0.000 % |
842.88/843.20 c | 246163 | 958 99290 430382 | 2147483647 96555 61 | 0.000 % |
846.88/847.28 c | 247703 | 958 99290 430382 | 2147483647 98095 61 | 0.000 % |
851.78/852.15 c | 249397 | 958 99290 430382 | 2147483647 99789 60 | 0.000 % |
856.98/857.39 c | 251260 | 958 99290 430382 | 2147483647 101652 60 | 0.000 % |
862.98/863.35 c | 253312 | 958 99290 430382 | 2147483647 103704 60 | 0.000 % |
868.68/869.08 c | 255566 | 958 99290 430382 | 2147483647 105958 60 | 0.000 % |
879.47/879.88 c | 258045 | 958 99290 430382 | 2147483647 108437 60 | 0.000 % |
880.07/880.43 c | 258146 | 958 99290 430382 | 2147483647 108538 60 | 0.000 % |
880.57/880.97 c | 258257 | 958 99290 430382 | 2147483647 108649 60 | 0.000 % |
881.17/881.59 c | 258379 | 958 99290 430382 | 2147483647 108771 60 | 0.000 % |
881.88/882.21 c | 258513 | 958 99290 430382 | 2147483647 108905 60 | 0.000 % |
882.77/883.17 c | 258661 | 958 99290 430382 | 2147483647 109053 60 | 0.000 % |
883.57/883.92 c | 258822 | 958 99290 430382 | 2147483647 109214 60 | 0.000 % |
884.37/884.75 c | 258998 | 958 99290 430382 | 2147483647 109390 60 | 0.000 % |
885.27/885.61 c | 259191 | 958 99290 430382 | 2147483647 109583 60 | 0.000 % |
885.87/886.24 c | 259403 | 958 99290 430382 | 2147483647 109795 60 | 0.000 % |
886.77/887.11 c | 259636 | 958 99290 430382 | 2147483647 110028 60 | 0.000 % |
887.77/888.13 c | 259893 | 958 99290 430382 | 2147483647 110285 60 | 0.000 % |
888.47/888.81 c | 260174 | 958 99290 430382 | 2147483647 110566 60 | 0.000 % |
889.87/890.20 c | 260484 | 958 99290 430382 | 2147483647 110876 60 | 0.000 % |
891.17/891.52 c | 260825 | 958 99290 430382 | 2147483647 111217 60 | 0.000 % |
892.97/893.38 c | 261198 | 958 99290 430382 | 2147483647 111590 60 | 0.000 % |
894.87/895.30 c | 261608 | 958 99290 430382 | 2147483647 112000 60 | 0.000 % |
896.96/897.37 c | 262057 | 958 99290 430382 | 2147483647 112449 60 | 0.000 % |
899.37/899.73 c | 262550 | 958 99290 430382 | 2147483647 112942 60 | 0.000 % |
901.96/902.30 c | 263095 | 958 99290 430382 | 2147483647 113487 60 | 0.000 % |
904.26/904.65 c | 263692 | 958 99290 430382 | 2147483647 114084 60 | 0.000 % |
907.07/907.48 c | 264347 | 958 99290 430382 | 2147483647 114739 60 | 0.000 % |
910.47/910.86 c | 265069 | 958 99290 430382 | 2147483647 115461 60 | 0.000 % |
914.06/914.48 c | 265862 | 958 99290 430382 | 2147483647 116254 60 | 0.000 % |
917.36/917.77 c | 266733 | 958 99290 430382 | 2147483647 117125 60 | 0.000 % |
921.26/921.62 c | 267693 | 958 99290 430382 | 2147483647 118085 60 | 0.000 % |
924.56/924.93 c | 268746 | 958 99290 430382 | 2147483647 119138 60 | 0.000 % |
929.65/930.03 c | 269904 | 958 99290 430382 | 2147483647 120296 60 | 0.000 % |
935.45/935.87 c | 271179 | 958 99290 430382 | 2147483647 121571 61 | 0.000 % |
940.75/941.11 c | 272580 | 958 99290 430382 | 2147483647 122972 61 | 0.000 % |
947.25/947.63 c | 274120 | 958 99290 430382 | 2147483647 124512 61 | 0.000 % |
956.85/957.28 c | 275814 | 958 99290 430382 | 2147483647 126206 61 | 0.000 % |
965.85/966.28 c | 277677 | 958 99290 430382 | 2147483647 128069 61 | 0.000 % |
974.35/974.70 c | 279727 | 958 99290 430382 | 2147483647 130119 61 | 0.000 % |
982.54/982.95 c | 281980 | 958 99290 430382 | 130392 113078 61 | 0.000 % |
990.44/990.80 c | 284458 | 958 99290 430382 | 130392 115556 61 | 0.000 % |
999.84/1000.22 c | 287184 | 958 99290 430382 | 130392 118282 61 | 0.000 % |
1000.04/1000.47 c | 287284 | 958 99290 430382 | 130392 118382 61 | 0.000 % |
1000.44/1000.83 c | 287394 | 958 99290 430382 | 130392 118492 61 | 0.000 % |
1001.04/1001.42 c | 287517 | 958 99290 430382 | 130392 118615 61 | 0.000 % |
1001.64/1002.05 c | 287650 | 958 99290 430382 | 130392 118748 61 | 0.000 % |
1002.24/1002.68 c | 287797 | 958 99290 430382 | 130392 118895 61 | 0.000 % |
1002.84/1003.24 c | 287957 | 958 99290 430382 | 130392 119055 61 | 0.000 % |
1003.54/1003.91 c | 288135 | 958 99290 430382 | 130392 119233 61 | 0.000 % |
1004.14/1004.58 c | 288329 | 958 99290 430382 | 130392 119427 61 | 0.000 % |
1004.94/1005.33 c | 288542 | 958 99290 430382 | 130392 119640 61 | 0.000 % |
1005.93/1006.30 c | 288776 | 958 99290 430382 | 130392 119874 61 | 0.000 % |
1006.93/1007.36 c | 289034 | 958 99290 430382 | 130392 120132 61 | 0.000 % |
1008.34/1008.79 c | 289315 | 958 99290 430382 | 130392 120413 61 | 0.000 % |
1009.44/1009.84 c | 289627 | 958 99290 430382 | 130392 120725 61 | 0.000 % |
1010.83/1011.27 c | 289966 | 958 99290 430382 | 130392 121064 61 | 0.000 % |
1012.23/1012.68 c | 290339 | 958 99290 430382 | 121098 106996 62 | 0.000 % |
1013.74/1014.14 c | 290749 | 958 99290 430382 | 121098 107406 62 | 0.000 % |
1015.53/1016.00 c | 291199 | 958 99290 430382 | 121098 107856 62 | 0.000 % |
1017.73/1018.13 c | 291692 | 958 99290 430382 | 121098 108349 62 | 0.000 % |
1019.93/1020.38 c | 292234 | 958 99290 430382 | 121098 108891 62 | 0.000 % |
1021.63/1022.04 c | 292831 | 958 99290 430382 | 121098 109488 62 | 0.000 % |
1023.53/1023.95 c | 293487 | 958 99290 430382 | 121098 110144 62 | 0.000 % |
1026.03/1026.47 c | 294207 | 958 99290 430382 | 121098 110864 62 | 0.000 % |
1028.63/1029.04 c | 295001 | 958 99290 430382 | 121098 111658 62 | 0.000 % |
1032.03/1032.49 c | 295873 | 958 99290 430382 | 121098 112530 62 | 0.000 % |
1035.83/1036.27 c | 296832 | 958 99290 430382 | 121098 113489 62 | 0.000 % |
1038.52/1038.97 c | 297885 | 958 99290 430382 | 121098 114542 62 | 0.000 % |
1043.02/1043.42 c | 299045 | 958 99290 430382 | 121098 115702 62 | 0.000 % |
1047.32/1047.77 c | 300320 | 958 99290 430382 | 2147483647 116977 62 | 0.000 % |
1050.52/1050.91 c | 301720 | 958 99290 430382 | 2147483647 118377 62 | 0.000 % |
1056.52/1056.95 c | 303260 | 958 99290 430382 | 2147483647 119917 62 | 0.000 % |
1064.12/1064.56 c | 304955 | 958 99290 430382 | 2147483647 121612 62 | 0.000 % |
1072.51/1072.90 c | 306818 | 958 99290 430382 | 2147483647 123475 62 | 0.000 % |
1078.51/1078.95 c | 308868 | 958 99290 430382 | 2147483647 125525 62 | 0.000 % |
1085.01/1085.47 c | 311124 | 958 99290 430382 | 2147483647 127781 62 | 0.000 % |
1094.01/1094.49 c | 313607 | 958 99290 430382 | 2147483647 130264 62 | 0.000 % |
1100.00/1100.42 c | 316337 | 958 99290 430382 | 2147483647 132994 62 | 0.000 % |
1107.51/1107.94 c | 319334 | 958 99290 430382 | 2147483647 135991 62 | 0.000 % |
1107.71/1108.17 c | 319434 | 958 99290 430382 | 2147483647 136091 62 | 0.000 % |
1108.01/1108.46 c | 319547 | 958 99290 430382 | 2147483647 136204 62 | 0.000 % |
1108.71/1109.15 c | 319668 | 958 99290 430382 | 2147483647 136325 62 | 0.000 % |
1109.11/1109.54 c | 319801 | 958 99290 430382 | 2147483647 136458 62 | 0.000 % |
1109.51/1109.96 c | 319947 | 958 99290 430382 | 2147483647 136604 62 | 0.000 % |
1110.01/1110.43 c | 320107 | 958 99290 430382 | 2147483647 136764 62 | 0.000 % |
1110.51/1110.99 c | 320283 | 958 99290 430382 | 2147483647 136940 62 | 0.000 % |
1111.10/1111.51 c | 320477 | 958 99290 430382 | 2147483647 137134 62 | 0.000 % |
1111.61/1112.03 c | 320690 | 958 99290 430382 | 2147483647 137347 62 | 0.000 % |
1112.10/1112.50 c | 320923 | 958 99290 430382 | 2147483647 137580 62 | 0.000 % |
1113.60/1114.07 c | 321180 | 958 99290 430382 | 2147483647 137837 62 | 0.000 % |
1114.60/1115.09 c | 321466 | 958 99290 430382 | 2147483647 138123 62 | 0.000 % |
1115.70/1116.11 c | 321777 | 958 99290 430382 | 2147483647 138434 62 | 0.000 % |
1116.40/1116.81 c | 322117 | 958 99290 430382 | 2147483647 138774 62 | 0.000 % |
1117.20/1117.68 c | 322490 | 958 99290 430382 | 2147483647 139147 62 | 0.000 % |
1117.90/1118.35 c | 322900 | 958 99290 430382 | 2147483647 139557 61 | 0.000 % |
1118.50/1118.99 c | 323351 | 958 99290 430382 | 2147483647 140008 61 | 0.000 % |
1119.30/1119.75 c | 323844 | 958 99290 430382 | 2147483647 140501 61 | 0.000 % |
1120.10/1120.59 c | 324388 | 958 99290 430382 | 2147483647 141045 61 | 0.000 % |
1121.00/1121.47 c | 324984 | 958 99290 430382 | 2147483647 141641 61 | 0.000 % |
1122.00/1122.45 c | 325639 | 958 99290 430382 | 2147483647 142296 61 | 0.000 % |
1123.09/1123.55 c | 326360 | 958 99290 430382 | 2147483647 143017 61 | 0.000 % |
1124.29/1124.76 c | 327152 | 958 99290 430382 | 2147483647 143809 61 | 0.000 % |
1125.69/1126.14 c | 328025 | 958 99290 430382 | 2147483647 144682 61 | 0.000 % |
1128.80/1129.22 c | 328983 | 958 99290 430382 | 2147483647 145640 61 | 0.000 % |
1133.99/1134.43 c | 330037 | 958 99290 430382 | 2147483647 146694 61 | 0.000 % |
1140.99/1141.45 c | 331197 | 958 99290 430382 | 2147483647 147854 61 | 0.000 % |
1146.89/1147.33 c | 332471 | 958 99290 430382 | 2147483647 149128 61 | 0.000 % |
1151.19/1151.62 c | 333872 | 958 99290 430382 | 2147483647 150529 61 | 0.000 % |
1157.89/1158.32 c | 335413 | 958 99290 430382 | 2147483647 152070 61 | 0.000 % |
1166.78/1167.29 c | 337107 | 958 99290 430382 | 2147483647 153764 60 | 0.000 % |
1174.48/1174.94 c | 338971 | 958 99290 430382 | 2147483647 155628 60 | 0.001 % |
1184.88/1185.31 c | 341021 | 958 99290 430382 | 2147483647 157678 60 | 0.001 % |
1190.68/1191.17 c | 343274 | 958 99290 430382 | 2147483647 159931 60 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833965-1242826674/watcher-1833965-1242826674 -o /tmp/evaluation-result-1833965-1242826674/solver-1833965-1242826674 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833965-1242826674.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 1.00 1.00 3/65 8226
/proc/meminfo: memFree=1963720/2055920 swapFree=4178772/4192956
[pid=8226] ppid=8224 vsize=5356 CPUtime=0
/proc/8226/stat : 8226 (SatELiteGTI) S 8224 8226 8047 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310701172 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 228706713682 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/8226/statm: 1339 235 195 169 0 50 0
[pid=8227] ppid=8226 vsize=5356 CPUtime=0
/proc/8227/stat : 8227 (SatELiteGTI) S 8226 8226 8047 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 310701173 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/8227/statm: 1339 238 198 169 0 50 0
[pid=8229] ppid=8227 vsize=5356 CPUtime=0
/proc/8229/stat : 8229 (SatELiteGTI) R 8227 8226 8047 0 -1 4194368 19 0 0 0 0 0 0 0 21 0 1 0 310701173 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706544935 0 0 4096 0 0 0 0 17 1 0 0
/proc/8229/statm: 1339 239 199 169 0 50 0
[startup+0.0581129 s]
/proc/loadavg: 0.99 1.00 1.00 3/65 8226
/proc/meminfo: memFree=1963720/2055920 swapFree=4178772/4192956
[pid=8226] ppid=8224 vsize=5356 CPUtime=0
/proc/8226/stat : 8226 (SatELiteGTI) S 8224 8226 8047 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310701172 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8226/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102114 s]
/proc/loadavg: 0.99 1.00 1.00 3/65 8226
/proc/meminfo: memFree=1963720/2055920 swapFree=4178772/4192956
[pid=8226] ppid=8224 vsize=5356 CPUtime=0
/proc/8226/stat : 8226 (SatELiteGTI) S 8224 8226 8047 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310701172 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8226/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.302144 s]
/proc/loadavg: 0.99 1.00 1.00 3/65 8226
/proc/meminfo: memFree=1963720/2055920 swapFree=4178772/4192956
[pid=8226] ppid=8224 vsize=5356 CPUtime=0
/proc/8226/stat : 8226 (SatELiteGTI) S 8224 8226 8047 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310701172 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8226/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.70117 s]
/proc/loadavg: 0.99 1.00 1.00 3/65 8226
/proc/meminfo: memFree=1963720/2055920 swapFree=4178772/4192956
[pid=8226] ppid=8224 vsize=5356 CPUtime=0
/proc/8226/stat : 8226 (SatELiteGTI) S 8224 8226 8047 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310701172 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8226/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50126 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 8231
/proc/meminfo: memFree=1951736/2055920 swapFree=4178772/4192956
[pid=8226] ppid=8224 vsize=5356 CPUtime=1.01
/proc/8226/stat : 8226 (SatELiteGTI) S 8224 8226 8047 0 -1 4194304 336 2955 0 0 0 0 99 2 16 0 1 0 310701172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8226/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 5356
[startup+3.10139 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 8232
/proc/meminfo: memFree=1953528/2055920 swapFree=4178772/4192956
[pid=8226] ppid=8224 vsize=5356 CPUtime=1.01
/proc/8226/stat : 8226 (SatELiteGTI) S 8224 8226 8047 0 -1 4194304 336 2955 0 0 0 0 99 2 16 0 1 0 310701172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8226/statm: 1339 239 197 169 0 50 0
[pid=8232] ppid=8226 vsize=8492 CPUtime=2.05
/proc/8232/stat : 8232 (minisat_static) R 8226 8226 8047 0 -1 4194304 1992 0 0 0 204 1 0 0 25 0 1 0 310701276 8695808 1978 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8232/statm: 2123 1978 77 171 0 1950 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 13848
[startup+6.30169 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 8232
/proc/meminfo: memFree=1951992/2055920 swapFree=4178772/4192956
[pid=8226] ppid=8224 vsize=5356 CPUtime=1.01
/proc/8226/stat : 8226 (SatELiteGTI) S 8224 8226 8047 0 -1 4194304 336 2955 0 0 0 0 99 2 16 0 1 0 310701172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8226/statm: 1339 239 197 169 0 50 0
[pid=8232] ppid=8226 vsize=9984 CPUtime=5.25
/proc/8232/stat : 8232 (minisat_static) R 8226 8226 8047 0 -1 4194304 2341 0 0 0 524 1 0 0 25 0 1 0 310701276 10223616 2327 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8232/statm: 2496 2327 77 171 0 2323 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 15340
[startup+12.7013 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 8232
/proc/meminfo: memFree=1949176/2055920 swapFree=4178772/4192956
[pid=8226] ppid=8224 vsize=5356 CPUtime=1.01
/proc/8226/stat : 8226 (SatELiteGTI) S 8224 8226 8047 0 -1 4194304 336 2955 0 0 0 0 99 2 16 0 1 0 310701172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8226/statm: 1339 239 197 169 0 50 0
[pid=8232] ppid=8226 vsize=12408 CPUtime=11.64
/proc/8232/stat : 8232 (minisat_static) R 8226 8226 8047 0 -1 4194304 2938 0 0 0 1163 1 0 0 25 0 1 0 310701276 12705792 2924 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8232/statm: 3102 2924 77 171 0 2929 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 17764
[startup+25.5025 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 8232
/proc/meminfo: memFree=1947512/2055920 swapFree=4178772/4192956
[pid=8226] ppid=8224 vsize=5356 CPUtime=1.01
/proc/8226/stat : 8226 (SatELiteGTI) S 8224 8226 8047 0 -1 4194304 336 2955 0 0 0 0 99 2 16 0 1 0 310701172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8226/statm: 1339 239 197 169 0 50 0
[pid=8232] ppid=8226 vsize=14036 CPUtime=24.44
/proc/8232/stat : 8232 (minisat_static) R 8226 8226 8047 0 -1 4194304 3354 0 0 0 2443 1 0 0 25 0 1 0 310701276 14372864 3340 1992294400 134512640 135215339 4294956256 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/8232/statm: 3509 3340 77 171 0 3336 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 19392
[startup+51.1029 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 8232
/proc/meminfo: memFree=1945080/2055920 swapFree=4178772/4192956
[pid=8226] ppid=8224 vsize=5356 CPUtime=1.01
/proc/8226/stat : 8226 (SatELiteGTI) S 8224 8226 8047 0 -1 4194304 336 2955 0 0 0 0 99 2 16 0 1 0 310701172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8226/statm: 1339 239 197 169 0 50 0
[pid=8232] ppid=8226 vsize=16528 CPUtime=50.02
/proc/8232/stat : 8232 (minisat_static) R 8226 8226 8047 0 -1 4194304 3951 0 0 0 5001 1 0 0 25 0 1 0 310701276 16924672 3937 1992294400 134512640 135215339 4294956256 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/8232/statm: 4132 3937 77 171 0 3959 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 21884
[startup+102.307 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 8232
/proc/meminfo: memFree=1939192/2055920 swapFree=4178772/4192956
[pid=8226] ppid=8224 vsize=5356 CPUtime=1.01
/proc/8226/stat : 8226 (SatELiteGTI) S 8224 8226 8047 0 -1 4194304 336 2955 0 0 0 0 99 2 16 0 1 0 310701172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8226/statm: 1339 239 197 169 0 50 0
[pid=8232] ppid=8226 vsize=22736 CPUtime=101.22
/proc/8232/stat : 8232 (minisat_static) R 8226 8226 8047 0 -1 4194304 5407 0 0 0 10119 3 0 0 25 0 1 0 310701276 23281664 5393 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8232/statm: 5684 5393 77 171 0 5511 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 28092
[startup+162.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 8232
/proc/meminfo: memFree=1933688/2055920 swapFree=4178772/4192956
[pid=8226] ppid=8224 vsize=5356 CPUtime=1.01
/proc/8226/stat : 8226 (SatELiteGTI) S 8224 8226 8047 0 -1 4194304 336 2955 0 0 0 0 99 2 16 0 1 0 310701172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8226/statm: 1339 239 197 169 0 50 0
[pid=8232] ppid=8226 vsize=28324 CPUtime=161.2
/proc/8232/stat : 8232 (minisat_static) R 8226 8226 8047 0 -1 4194304 6768 0 0 0 16116 4 0 0 25 0 1 0 310701276 29003776 6754 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8232/statm: 7081 6754 77 171 0 6908 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 33680
[startup+222.303 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 8232
/proc/meminfo: memFree=1927096/2055920 swapFree=4178772/4192956
[pid=8226] ppid=8224 vsize=5356 CPUtime=1.01
/proc/8226/stat : 8226 (SatELiteGTI) S 8224 8226 8047 0 -1 4194304 336 2955 0 0 0 0 99 2 16 0 1 0 310701172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8226/statm: 1339 239 197 169 0 50 0
[pid=8232] ppid=8226 vsize=34932 CPUtime=221.18
/proc/8232/stat : 8232 (minisat_static) R 8226 8226 8047 0 -1 4194304 8380 0 0 0 22113 5 0 0 25 0 1 0 310701276 35770368 8366 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8232/statm: 8733 8366 77 171 0 8560 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 40288
[startup+282.303 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 8234
/proc/meminfo: memFree=1922424/2055920 swapFree=4178772/4192956
[pid=8226] ppid=8224 vsize=5356 CPUtime=1.01
/proc/8226/stat : 8226 (SatELiteGTI) S 8224 8226 8047 0 -1 4194304 336 2955 0 0 0 0 99 2 16 0 1 0 310701172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8226/statm: 1339 239 197 169 0 50 0
[pid=8232] ppid=8226 vsize=39436 CPUtime=281.15
/proc/8232/stat : 8232 (minisat_static) R 8226 8226 8047 0 -1 4194304 9533 0 0 0 28108 7 0 0 25 0 1 0 310701276 40382464 9519 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8232/statm: 9859 9519 77 171 0 9686 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 44792
[startup+342.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 8234
/proc/meminfo: memFree=1918776/2055920 swapFree=4178772/4192956
[pid=8226] ppid=8224 vsize=5356 CPUtime=1.01
/proc/8226/stat : 8226 (SatELiteGTI) S 8224 8226 8047 0 -1 4194304 336 2955 0 0 0 0 99 2 16 0 1 0 310701172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8226/statm: 1339 239 197 169 0 50 0
[pid=8232] ppid=8226 vsize=42880 CPUtime=341.13
/proc/8232/stat : 8232 (minisat_static) R 8226 8226 8047 0 -1 4194304 10399 0 0 0 34105 8 0 0 25 0 1 0 310701276 43909120 10385 1992294400 134512640 135215339 4294956256 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/8232/statm: 10720 10385 77 171 0 10547 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 48236
[startup+402.303 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 8234
/proc/meminfo: memFree=1916344/2055920 swapFree=4178772/4192956
[pid=8226] ppid=8224 vsize=5356 CPUtime=1.01
/proc/8226/stat : 8226 (SatELiteGTI) S 8224 8226 8047 0 -1 4194304 336 2955 0 0 0 0 99 2 16 0 1 0 310701172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8226/statm: 1339 239 197 169 0 50 0
[pid=8232] ppid=8226 vsize=45444 CPUtime=401.11
/proc/8232/stat : 8232 (minisat_static) R 8226 8226 8047 0 -1 4194304 11016 0 0 0 40102 9 0 0 25 0 1 0 310701276 46534656 11002 1992294400 134512640 135215339 4294956256 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/8232/statm: 11361 11002 77 171 0 11188 0
Current children cumulated CPU time (s) 402.12
################
# More data... #
################
/proc/8232/statm: 11943 11533 77 171 0 11770 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 53128
[startup+642.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 8234
/proc/meminfo: memFree=1913784/2055920 swapFree=4178772/4192956
[pid=8226] ppid=8224 vsize=5356 CPUtime=1.01
/proc/8226/stat : 8226 (SatELiteGTI) S 8224 8226 8047 0 -1 4194304 336 2955 0 0 0 0 99 2 16 0 1 0 310701172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8226/statm: 1339 239 197 169 0 50 0
[pid=8232] ppid=8226 vsize=47772 CPUtime=641.04
/proc/8232/stat : 8232 (minisat_static) R 8226 8226 8047 0 -1 4194304 11578 0 0 0 64094 10 0 0 25 0 1 0 310701276 48918528 11536 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8232/statm: 11943 11536 77 171 0 11770 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 53128
[startup+702.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 8234
/proc/meminfo: memFree=1913592/2055920 swapFree=4178772/4192956
[pid=8226] ppid=8224 vsize=5356 CPUtime=1.01
/proc/8226/stat : 8226 (SatELiteGTI) S 8224 8226 8047 0 -1 4194304 336 2955 0 0 0 0 99 2 16 0 1 0 310701172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8226/statm: 1339 239 197 169 0 50 0
[pid=8232] ppid=8226 vsize=47772 CPUtime=701.02
/proc/8232/stat : 8232 (minisat_static) R 8226 8226 8047 0 -1 4194304 11580 0 0 0 70092 10 0 0 25 0 1 0 310701276 48918528 11538 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8232/statm: 11943 11538 77 171 0 11770 0
Current children cumulated CPU time (s) 702.03
Current children cumulated vsize (KiB) 53128
[startup+762.305 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 8234
/proc/meminfo: memFree=1913464/2055920 swapFree=4178772/4192956
[pid=8226] ppid=8224 vsize=5356 CPUtime=1.01
/proc/8226/stat : 8226 (SatELiteGTI) S 8224 8226 8047 0 -1 4194304 336 2955 0 0 0 0 99 2 16 0 1 0 310701172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8226/statm: 1339 239 197 169 0 50 0
[pid=8232] ppid=8226 vsize=47772 CPUtime=761
/proc/8232/stat : 8232 (minisat_static) R 8226 8226 8047 0 -1 4194304 11580 0 0 0 76090 10 0 0 25 0 1 0 310701276 48918528 11538 1992294400 134512640 135215339 4294956256 18446744073709551615 134528700 0 0 4096 3 0 0 0 17 1 0 0
/proc/8232/statm: 11943 11538 77 171 0 11770 0
Current children cumulated CPU time (s) 762.01
Current children cumulated vsize (KiB) 53128
[startup+822.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 8234
/proc/meminfo: memFree=1913400/2055920 swapFree=4178772/4192956
[pid=8226] ppid=8224 vsize=5356 CPUtime=1.01
/proc/8226/stat : 8226 (SatELiteGTI) S 8224 8226 8047 0 -1 4194304 336 2955 0 0 0 0 99 2 16 0 1 0 310701172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8226/statm: 1339 239 197 169 0 50 0
[pid=8232] ppid=8226 vsize=47948 CPUtime=820.98
/proc/8232/stat : 8232 (minisat_static) R 8226 8226 8047 0 -1 4194304 11595 0 0 0 82088 10 0 0 25 0 1 0 310701276 49098752 11553 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8232/statm: 11987 11553 77 171 0 11814 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 53304
[startup+882.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 8234
/proc/meminfo: memFree=1913208/2055920 swapFree=4178772/4192956
[pid=8226] ppid=8224 vsize=5356 CPUtime=1.01
/proc/8226/stat : 8226 (SatELiteGTI) S 8224 8226 8047 0 -1 4194304 336 2955 0 0 0 0 99 2 16 0 1 0 310701172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8226/statm: 1339 239 197 169 0 50 0
[pid=8232] ppid=8226 vsize=48112 CPUtime=880.96
/proc/8232/stat : 8232 (minisat_static) R 8226 8226 8047 0 -1 4194304 11637 0 0 0 88086 10 0 0 25 0 1 0 310701276 49266688 11595 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8232/statm: 12028 11595 77 171 0 11855 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 53468
[startup+942.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 8234
/proc/meminfo: memFree=1911800/2055920 swapFree=4178772/4192956
[pid=8226] ppid=8224 vsize=5356 CPUtime=1.01
/proc/8226/stat : 8226 (SatELiteGTI) S 8224 8226 8047 0 -1 4194304 336 2955 0 0 0 0 99 2 16 0 1 0 310701172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8226/statm: 1339 239 197 169 0 50 0
[pid=8232] ppid=8226 vsize=49352 CPUtime=940.94
/proc/8232/stat : 8232 (minisat_static) R 8226 8226 8047 0 -1 4194304 11963 0 0 0 94084 10 0 0 25 0 1 0 310701276 50536448 11921 1992294400 134512640 135215339 4294956256 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/8232/statm: 12338 11921 77 171 0 12165 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 54708
[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 8234
/proc/meminfo: memFree=1909304/2055920 swapFree=4178772/4192956
[pid=8226] ppid=8224 vsize=5356 CPUtime=1.01
/proc/8226/stat : 8226 (SatELiteGTI) S 8224 8226 8047 0 -1 4194304 336 2955 0 0 0 0 99 2 16 0 1 0 310701172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8226/statm: 1339 239 197 169 0 50 0
[pid=8232] ppid=8226 vsize=51864 CPUtime=1000.93
/proc/8232/stat : 8232 (minisat_static) R 8226 8226 8047 0 -1 4194304 12565 0 0 0 100082 11 0 0 25 0 1 0 310701276 53108736 12523 1992294400 134512640 135215339 4294956256 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/8232/statm: 12966 12523 77 171 0 12793 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 57220
[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 8234
/proc/meminfo: memFree=1908920/2055920 swapFree=4178772/4192956
[pid=8226] ppid=8224 vsize=5356 CPUtime=1.01
/proc/8226/stat : 8226 (SatELiteGTI) S 8224 8226 8047 0 -1 4194304 336 2955 0 0 0 0 99 2 16 0 1 0 310701172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8226/statm: 1339 239 197 169 0 50 0
[pid=8232] ppid=8226 vsize=52304 CPUtime=1060.91
/proc/8232/stat : 8232 (minisat_static) R 8226 8226 8047 0 -1 4194304 12656 0 0 0 106080 11 0 0 25 0 1 0 310701276 53559296 12614 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8232/statm: 13076 12614 77 171 0 12903 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 57660
[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 8234
/proc/meminfo: memFree=1905144/2055920 swapFree=4178772/4192956
[pid=8226] ppid=8224 vsize=5356 CPUtime=1.01
/proc/8226/stat : 8226 (SatELiteGTI) S 8224 8226 8047 0 -1 4194304 336 2955 0 0 0 0 99 2 16 0 1 0 310701172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8226/statm: 1339 239 197 169 0 50 0
[pid=8232] ppid=8226 vsize=56400 CPUtime=1120.89
/proc/8232/stat : 8232 (minisat_static) R 8226 8226 8047 0 -1 4194304 13592 0 0 0 112077 12 0 0 25 0 1 0 310701276 57753600 13542 1992294400 134512640 135215339 4294956256 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/8232/statm: 14100 13542 77 171 0 13927 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 61756
[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 8234
/proc/meminfo: memFree=1899384/2055920 swapFree=4178772/4192956
[pid=8226] ppid=8224 vsize=5356 CPUtime=1.01
/proc/8226/stat : 8226 (SatELiteGTI) S 8224 8226 8047 0 -1 4194304 336 2955 0 0 0 0 99 2 16 0 1 0 310701172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8226/statm: 1339 239 197 169 0 50 0
[pid=8232] ppid=8226 vsize=62540 CPUtime=1180.87
/proc/8232/stat : 8232 (minisat_static) R 8226 8226 8047 0 -1 4194304 15008 0 0 0 118074 13 0 0 25 0 1 0 310701276 64040960 14942 1992294400 134512640 135215339 4294956256 18446744073709551615 134528700 0 0 4096 3 0 0 0 17 1 0 0
/proc/8232/statm: 15635 14942 77 171 0 15462 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 67896
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 8234
/proc/meminfo: memFree=1897784/2055920 swapFree=4178772/4192956
[pid=8226] ppid=8224 vsize=5356 CPUtime=1.01
/proc/8226/stat : 8226 (SatELiteGTI) S 8224 8226 8047 0 -1 4194304 336 2955 0 0 0 0 99 2 16 0 1 0 310701172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8226/statm: 1339 239 197 169 0 50 0
[pid=8232] ppid=8226 vsize=64172 CPUtime=1199.07
/proc/8232/stat : 8232 (minisat_static) R 8226 8226 8047 0 -1 4194304 15388 0 0 0 119893 14 0 0 25 0 1 0 310701276 65712128 15322 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8232/statm: 16043 15322 77 171 0 15870 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 69528
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 8234
/proc/meminfo: memFree=1897784/2055920 swapFree=4178772/4192956
[pid=8226] ppid=8224 vsize=5356 CPUtime=1.01
/proc/8226/stat : 8226 (SatELiteGTI) S 8224 8226 8047 0 -1 4194304 336 2955 0 0 0 0 99 2 16 0 1 0 310701172 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8226/statm: 1339 239 197 169 0 50 0
[pid=8232] ppid=8226 vsize=64172 CPUtime=1199.07
/proc/8232/stat : 8232 (minisat_static) R 8226 8226 8047 0 -1 4194304 15388 0 0 0 119893 14 0 0 25 0 1 0 310701276 65712128 15322 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/8232/statm: 16043 15322 77 171 0 15870 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 69528
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8226 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=1847
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=29995
# CPU time returned by wait4() is 1.03184
# while last known CPU time is 1200.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.08
CPU user time (s): 1199.92
CPU system time (s): 0.16
CPU usage (%): 99.9641
Max. virtual memory (cumulated for all children) (KiB): 69528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.00185
system time used= 0.029995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3291
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= 15
involuntary context switches= 10
runsolver used 1.14383 second user time and 3.3045 second system time
The end
Begin job on node8 at 2009-05-20 15:37:55
IDJOB=1833965
IDBENCH=71101
IDSOLVER=671
FILE ID=node8/1833965-1242826674
PBS_JOBID= 9322554
Free space on /tmp= 66236 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rpoc_xits_10_UNKNOWN.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833965-1242826674/watcher-1833965-1242826674 -o /tmp/evaluation-result-1833965-1242826674/solver-1833965-1242826674 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833965-1242826674.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 8ece32bbd9e6c3f5c8cdf0e94e0569cd
RANDOM SEED=695730863
node8.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.238
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.238
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1964200 kB
Buffers: 15068 kB
Cached: 38420 kB
SwapCached: 7644 kB
Active: 32596 kB
Inactive: 29876 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1964200 kB
SwapTotal: 4192956 kB
SwapFree: 4178772 kB
Dirty: 3124 kB
Writeback: 0 kB
Mapped: 14156 kB
Slab: 15052 kB
Committed_AS: 1116576 kB
PageTables: 1388 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66232 MiB
End job on node8 at 2009-05-20 15:57:57