0.00/0.00 c Parsing...
0.00/0.08 c ==============================================================================
0.00/0.08 c | | ORIGINAL | LEARNT | |
0.00/0.08 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.08 c ==============================================================================
0.00/0.08 c | 0 | 118441 352559 | 35532 0 0 nan | 0.000 % |
0.81/0.90 c | 0 | 117566 500149 | -- 0 -- -- | -- | -875/147590
0.81/0.90 c ==============================================================================
0.81/0.90 c Result : #vars: 1205 #clauses: 117566 #literals: 500149
0.81/0.90 c CPU time: 0.88 s
0.81/0.90 c ==============================================================================
1.00/1.06 c This is MiniSat 2.0 beta
1.00/1.06 c WARNING: for repeatability, setting FPU to use double precision
1.00/1.06 c ============================[ Problem Statistics ]=============================
1.00/1.06 c | |
1.00/1.06 c | Number of variables: 1205 |
1.00/1.06 c | Number of clauses: 117566 |
1.04/1.13 c | Parsing time: 0.06 s |
1.04/1.14 c ============================[ Search Statistics ]==============================
1.04/1.14 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.04/1.14 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.04/1.14 c ===============================================================================
1.04/1.14 c | 0 | 1205 117566 500149 | 39188 0 nan | 0.000 % |
1.04/1.17 c | 100 | 1205 117566 500149 | 39188 100 47 | 0.000 % |
1.04/1.20 c | 200 | 1205 117566 500149 | 39188 200 65 | 0.000 % |
1.04/1.22 c | 303 | 1205 117566 500149 | 39188 303 73 | 0.000 % |
1.04/1.25 c | 413 | 1205 117566 500149 | 39188 413 77 | 0.000 % |
1.04/1.27 c | 514 | 1205 117566 500149 | 39188 514 77 | 0.000 % |
1.04/1.29 c | 626 | 1205 117566 500149 | 39188 626 83 | 0.000 % |
1.04/1.32 c | 750 | 1205 117566 500149 | 39188 750 87 | 0.000 % |
1.04/1.33 c | 851 | 1205 117566 500149 | 39188 851 89 | 0.000 % |
1.04/1.36 c | 964 | 1205 117566 500149 | 39188 964 94 | 0.000 % |
1.04/1.38 c | 1087 | 1205 117566 500149 | 39188 1087 96 | 0.000 % |
1.04/1.41 c | 1221 | 1205 117566 500149 | 39188 1221 98 | 0.000 % |
1.04/1.44 c | 1321 | 1205 117566 500149 | 39188 1321 99 | 0.000 % |
1.04/1.47 c | 1431 | 1205 117566 500149 | 39188 1431 100 | 0.000 % |
1.04/1.50 c | 1552 | 1205 117566 500149 | 39188 1552 102 | 0.000 % |
1.04/1.54 c | 1686 | 1205 117566 500149 | 39188 1686 104 | 0.000 % |
1.04/1.58 c | 1833 | 1205 117566 500149 | 39188 1833 106 | 0.000 % |
1.04/1.60 c | 1934 | 1205 117566 500149 | 39188 1934 108 | 0.000 % |
1.04/1.62 c | 2049 | 1205 117566 500149 | 39188 2049 110 | 0.000 % |
1.04/1.66 c | 2170 | 1205 117566 500149 | 39188 2170 111 | 0.000 % |
1.04/1.69 c | 2303 | 1205 117566 500149 | 39188 2303 113 | 0.000 % |
1.04/1.73 c | 2449 | 1205 117566 500149 | 39188 2449 114 | 0.000 % |
1.04/1.76 c | 2609 | 1205 117566 500149 | 39188 2609 115 | 0.000 % |
1.04/1.79 c | 2710 | 1205 117566 500149 | 39188 2710 116 | 0.000 % |
1.04/1.83 c | 2820 | 1205 117566 500149 | 39188 2820 116 | 0.000 % |
1.04/1.87 c | 2942 | 1205 117566 500149 | 39188 2942 117 | 0.000 % |
1.04/1.92 c | 3079 | 1205 117566 500149 | 39188 3079 117 | 0.000 % |
1.04/1.97 c | 3226 | 1205 117566 500149 | 39188 3226 117 | 0.000 % |
1.04/2.03 c | 3386 | 1205 117566 500149 | 39188 3386 118 | 0.000 % |
1.04/2.09 c | 3563 | 1205 117566 500149 | 39188 3563 118 | 0.000 % |
2.10/2.13 c | 3663 | 1205 117566 500149 | 39188 3663 118 | 0.000 % |
2.10/2.17 c | 3774 | 1205 117566 500149 | 39188 3774 119 | 0.000 % |
2.10/2.21 c | 3895 | 1205 117566 500149 | 39188 3895 119 | 0.000 % |
2.20/2.24 c | 4029 | 1205 117566 500149 | 39188 4029 119 | 0.000 % |
2.20/2.27 c | 4178 | 1205 117566 500149 | 39188 4178 119 | 0.000 % |
2.30/2.31 c | 4338 | 1205 117566 500149 | 39188 4338 119 | 0.000 % |
2.30/2.36 c | 4514 | 1205 117566 500149 | 39188 4514 119 | 0.000 % |
2.40/2.46 c | 4710 | 1205 117566 500149 | 39188 4710 119 | 0.000 % |
2.40/2.51 c | 4810 | 1205 117566 500149 | 39188 4810 119 | 0.000 % |
2.50/2.55 c | 4921 | 1205 117566 500149 | 39188 4921 119 | 0.000 % |
2.60/2.64 c | 5042 | 1205 117566 500149 | 39188 5042 120 | 0.000 % |
2.70/2.71 c | 5175 | 1205 117566 500149 | 39188 5175 120 | 0.000 % |
2.80/2.83 c | 5321 | 1205 117566 500149 | 39188 5321 120 | 0.000 % |
2.90/2.95 c | 5481 | 1205 117566 500149 | 39188 5481 120 | 0.000 % |
3.00/3.02 c | 5658 | 1205 117566 500149 | 39188 5658 119 | 0.000 % |
3.10/3.13 c | 5852 | 1205 117566 500149 | 39188 5852 120 | 0.000 % |
3.10/3.19 c | 6065 | 1205 117566 500149 | 39188 6065 119 | 0.000 % |
3.20/3.28 c | 6166 | 1205 117566 500149 | 39188 6166 119 | 0.000 % |
3.30/3.34 c | 6279 | 1205 117566 500149 | 39188 6279 119 | 0.000 % |
3.30/3.40 c | 6400 | 1205 117566 500149 | 39188 6400 119 | 0.000 % |
3.40/3.45 c | 6535 | 1205 117566 500149 | 39188 6535 120 | 0.000 % |
3.40/3.51 c | 6681 | 1205 117566 500149 | 39188 6681 120 | 0.000 % |
3.50/3.58 c | 6841 | 1205 117566 500149 | 39188 6841 120 | 0.000 % |
3.60/3.66 c | 7017 | 1205 117566 500149 | 39188 7017 120 | 0.000 % |
3.70/3.74 c | 7211 | 1205 117566 500149 | 39188 7211 120 | 0.000 % |
3.80/3.84 c | 7426 | 1205 117566 500149 | 39188 7426 120 | 0.000 % |
4.00/4.02 c | 7660 | 1205 117566 500149 | 39188 7660 120 | 0.000 % |
4.00/4.10 c | 7760 | 1205 117566 500149 | 39188 7760 120 | 0.000 % |
4.10/4.20 c | 7870 | 1205 117566 500149 | 39188 7870 120 | 0.000 % |
4.20/4.30 c | 7991 | 1205 117566 500149 | 39188 7991 120 | 0.000 % |
4.40/4.42 c | 8124 | 1205 117566 500149 | 39188 8124 120 | 0.000 % |
4.50/4.56 c | 8271 | 1205 117566 500149 | 39188 8271 120 | 0.000 % |
4.60/4.71 c | 8433 | 1205 117566 500149 | 39188 8433 121 | 0.000 % |
4.80/4.89 c | 8609 | 1205 117566 500149 | 39188 8609 121 | 0.000 % |
5.00/5.05 c | 8803 | 1205 117566 500149 | 39188 8803 121 | 0.000 % |
5.20/5.21 c | 9016 | 1205 117566 500149 | 39188 9016 121 | 0.000 % |
5.40/5.43 c | 9251 | 1205 117566 500149 | 39188 9251 121 | 0.000 % |
5.60/5.68 c | 9507 | 1205 117566 500149 | 39188 9507 121 | 0.000 % |
5.70/5.79 c | 9609 | 1205 117566 500149 | 39188 9609 121 | 0.000 % |
5.80/5.86 c | 9720 | 1205 117566 500149 | 39188 9720 121 | 0.000 % |
5.90/5.98 c | 9843 | 1205 117566 500149 | 39188 9843 121 | 0.000 % |
6.00/6.04 c | 9977 | 1205 117566 500149 | 39188 9977 121 | 0.000 % |
6.10/6.13 c | 10124 | 1205 117566 500149 | 2147483647 10124 121 | 0.000 % |
6.20/6.22 c | 10286 | 1205 117566 500149 | 2147483647 10286 121 | 0.000 % |
6.30/6.33 c | 10462 | 1205 117566 500149 | 2147483647 10462 121 | 0.000 % |
6.40/6.44 c | 10656 | 1205 117566 500149 | 2147483647 10656 121 | 0.000 % |
6.60/6.65 c | 10868 | 1205 117566 500149 | 2147483647 10868 121 | 0.000 % |
6.90/6.91 c | 11102 | 1205 117566 500149 | 2147483647 11102 121 | 0.000 % |
7.20/7.23 c | 11358 | 1205 117566 500149 | 2147483647 11358 121 | 0.000 % |
7.50/7.55 c | 11639 | 1205 117566 500149 | 2147483647 11639 121 | 0.000 % |
7.60/7.69 c | 11739 | 1205 117566 500149 | 2147483647 11739 121 | 0.000 % |
7.70/7.80 c | 11849 | 1205 117566 500149 | 2147483647 11849 121 | 0.000 % |
7.80/7.91 c | 11971 | 1205 117566 500149 | 2147483647 11971 121 | 0.000 % |
8.00/8.05 c | 12105 | 1205 117566 500149 | 2147483647 12105 121 | 0.000 % |
8.10/8.19 c | 12254 | 1205 117566 500149 | 2147483647 12254 121 | 0.000 % |
8.30/8.34 c | 12415 | 1205 117566 500149 | 2147483647 12415 121 | 0.000 % |
8.40/8.46 c | 12591 | 1205 117566 500149 | 2147483647 12591 121 | 0.000 % |
8.70/8.80 c | 12784 | 1205 117566 500149 | 2147483647 12784 121 | 0.000 % |
9.00/9.10 c | 12996 | 1205 117566 500149 | 2147483647 12996 121 | 0.000 % |
9.30/9.40 c | 13229 | 1205 117566 500149 | 2147483647 13229 121 | 0.000 % |
9.60/9.71 c | 13486 | 1205 117566 500149 | 2147483647 13486 121 | 0.000 % |
10.00/10.10 c | 13767 | 1205 117566 500149 | 2147483647 13767 121 | 0.000 % |
10.50/10.53 c | 14077 | 1205 117566 500149 | 2147483647 14077 120 | 0.000 % |
10.60/10.69 c | 14180 | 1205 117566 500149 | 2147483647 14180 120 | 0.000 % |
10.70/10.78 c | 14291 | 1205 117566 500149 | 2147483647 14291 120 | 0.000 % |
10.90/10.91 c | 14412 | 1205 117566 500149 | 2147483647 14412 120 | 0.000 % |
11.00/11.07 c | 14545 | 1205 117566 500149 | 2147483647 14545 120 | 0.000 % |
11.10/11.16 c | 14695 | 1205 117566 500149 | 2147483647 14695 120 | 0.000 % |
11.30/11.35 c | 14855 | 1205 117566 500149 | 2147483647 14855 119 | 0.000 % |
11.40/11.47 c | 15031 | 1205 117566 500149 | 2147483647 15031 119 | 0.000 % |
11.60/11.67 c | 15226 | 1205 117566 500149 | 2147483647 15226 118 | 0.000 % |
11.80/11.86 c | 15439 | 1205 117566 500149 | 2147483647 15439 118 | 0.000 % |
12.00/12.05 c | 15673 | 1205 117566 500149 | 2147483647 15673 117 | 0.000 % |
12.10/12.16 c | 15930 | 1205 117566 500149 | 2147483647 15930 116 | 0.000 % |
12.20/12.27 c | 16211 | 1205 117566 500149 | 2147483647 16211 115 | 0.000 % |
12.60/12.64 c | 16521 | 1205 117566 500149 | 2147483647 16521 115 | 0.000 % |
12.80/12.88 c | 16861 | 1205 117566 500149 | 2147483647 16861 114 | 0.000 % |
12.90/12.94 c | 16961 | 1205 117566 500149 | 2147483647 16961 114 | 0.000 % |
13.00/13.03 c | 17075 | 1205 117566 500149 | 2147483647 17075 113 | 0.000 % |
13.10/13.15 c | 17196 | 1205 117566 500149 | 2147483647 17196 113 | 0.000 % |
13.20/13.23 c | 17329 | 1205 117566 500149 | 2147483647 17329 113 | 0.000 % |
13.30/13.40 c | 17477 | 1205 117566 500149 | 2147483647 17477 112 | 0.000 % |
13.50/13.51 c | 17637 | 1205 117566 500149 | 2147483647 17637 112 | 0.000 % |
13.60/13.62 c | 17813 | 1205 117566 500149 | 2147483647 17813 111 | 0.000 % |
13.80/13.87 c | 18006 | 1205 117566 500149 | 2147483647 18006 111 | 0.000 % |
14.00/14.02 c | 18220 | 1205 117566 500149 | 2147483647 18220 111 | 0.000 % |
14.10/14.20 c | 18454 | 1205 117566 500149 | 2147483647 18454 110 | 0.000 % |
14.60/14.68 c | 18711 | 1205 117566 500149 | 2147483647 18711 110 | 0.000 % |
14.80/14.88 c | 18994 | 1205 117566 500149 | 2147483647 18994 109 | 0.000 % |
15.00/15.08 c | 19303 | 1205 117566 500149 | 2147483647 19303 109 | 0.000 % |
15.40/15.45 c | 19642 | 1205 117566 500149 | 2147483647 19642 108 | 0.000 % |
15.60/15.71 c | 20019 | 1205 117566 500149 | 2147483647 20019 108 | 0.000 % |
15.70/15.79 c | 20119 | 1205 117566 500149 | 2147483647 20119 108 | 0.000 % |
15.90/15.97 c | 20229 | 1205 117566 500149 | 2147483647 20229 108 | 0.000 % |
16.00/16.08 c | 20353 | 1205 117566 500149 | 2147483647 20353 108 | 0.000 % |
16.20/16.24 c | 20487 | 1205 117566 500149 | 2147483647 20487 107 | 0.000 % |
16.30/16.40 c | 20633 | 1205 117566 500149 | 2147483647 20633 107 | 0.000 % |
16.50/16.52 c | 20793 | 1205 117566 500149 | 2147483647 20793 107 | 0.000 % |
16.60/16.68 c | 20971 | 1205 117566 500149 | 2147483647 20971 107 | 0.000 % |
16.90/16.91 c | 21164 | 1205 117566 500149 | 2147483647 21164 107 | 0.000 % |
17.10/17.19 c | 21379 | 1205 117566 500149 | 2147483647 21379 106 | 0.000 % |
17.30/17.33 c | 21613 | 1205 117566 500149 | 2147483647 21613 106 | 0.000 % |
17.60/17.62 c | 21869 | 1205 117566 500149 | 2147483647 21869 106 | 0.000 % |
17.90/17.98 c | 22151 | 1205 117566 500149 | 2147483647 22151 106 | 0.000 % |
18.10/18.17 c | 22461 | 1205 117566 500149 | 2147483647 22461 106 | 0.000 % |
18.40/18.43 c | 22800 | 1205 117566 500149 | 2147483647 22800 105 | 0.000 % |
18.60/18.68 c | 23173 | 1205 117566 500149 | 2147483647 23173 105 | 0.000 % |
19.00/19.06 c | 23582 | 1205 117566 500149 | 2147483647 23582 105 | 0.000 % |
19.10/19.14 c | 23682 | 1205 117566 500149 | 2147483647 23682 105 | 0.000 % |
19.20/19.21 c | 23792 | 1205 117566 500149 | 2147483647 23792 105 | 0.000 % |
19.30/19.33 c | 23914 | 1205 117566 500149 | 2147483647 23914 105 | 0.000 % |
19.40/19.46 c | 24047 | 1205 117566 500149 | 2147483647 24047 105 | 0.000 % |
19.50/19.61 c | 24195 | 1205 117566 500149 | 2147483647 24195 104 | 0.000 % |
19.70/19.77 c | 24356 | 1205 117566 500149 | 2147483647 24356 104 | 0.000 % |
19.90/19.97 c | 24532 | 1205 117566 500149 | 2147483647 24532 105 | 0.000 % |
20.10/20.21 c | 24727 | 1205 117566 500149 | 2147483647 24727 104 | 0.000 % |
20.30/20.39 c | 24939 | 1205 117566 500149 | 2147483647 24939 104 | 0.000 % |
20.50/20.59 c | 25172 | 1205 117566 500149 | 2147483647 25172 104 | 0.000 % |
20.80/20.85 c | 25428 | 1205 117566 500149 | 2147483647 25428 104 | 0.000 % |
21.10/21.11 c | 25709 | 1205 117566 500149 | 2147483647 25709 104 | 0.000 % |
21.40/21.49 c | 26020 | 1205 117566 500149 | 2147483647 26020 104 | 0.000 % |
21.80/21.86 c | 26359 | 1205 117566 500149 | 2147483647 26359 104 | 0.000 % |
22.30/22.40 c | 26732 | 1205 117566 500149 | 2147483647 26732 104 | 0.000 % |
22.80/22.82 c | 27143 | 1205 117566 500149 | 2147483647 27143 103 | 0.000 % |
23.20/23.23 c | 27592 | 1205 117566 500149 | 2147483647 27592 103 | 0.000 % |
23.30/23.36 c | 27692 | 1205 117566 500149 | 2147483647 27692 103 | 0.000 % |
23.40/23.49 c | 27802 | 1205 117566 500149 | 2147483647 27802 103 | 0.000 % |
23.60/23.61 c | 27923 | 1205 117566 500149 | 2147483647 27923 103 | 0.000 % |
23.60/23.69 c | 28056 | 1205 117566 500149 | 2147483647 28056 103 | 0.000 % |
23.70/23.80 c | 28203 | 1205 117566 500149 | 2147483647 28203 103 | 0.000 % |
23.90/23.92 c | 28364 | 1205 117566 500149 | 2147483647 28364 103 | 0.001 % |
23.90/24.00 c | 28542 | 1205 117566 500149 | 2147483647 28542 103 | 0.000 % |
24.10/24.12 c | 28735 | 1205 117566 500149 | 2147483647 28735 103 | 0.000 % |
24.30/24.33 c | 28947 | 1205 117566 500149 | 2147483647 28947 103 | 0.000 % |
24.50/24.53 c | 29180 | 1205 117566 500149 | 2147483647 29180 103 | 0.000 % |
24.70/24.72 c | 29436 | 1205 117566 500149 | 2147483647 29436 102 | 0.000 % |
24.80/24.89 c | 29719 | 1205 117566 500149 | 2147483647 29719 102 | 0.000 % |
25.00/25.03 c | 30028 | 1205 117566 500149 | 2147483647 30028 102 | 0.000 % |
25.20/25.27 c | 30368 | 1205 117566 500149 | 2147483647 30368 102 | 0.000 % |
25.40/25.47 c | 30741 | 1205 117566 500149 | 2147483647 30741 102 | 0.000 % |
25.70/25.79 c | 31150 | 1205 117566 500149 | 2147483647 31150 103 | 0.000 % |
26.10/26.18 c | 31599 | 1205 117566 500149 | 2147483647 31599 103 | 0.000 % |
26.41/26.43 c | 32094 | 1205 117566 500149 | 2147483647 32094 103 | 0.000 % |
26.41/26.50 c | 32194 | 1205 117566 500149 | 2147483647 32194 103 | 0.000 % |
26.50/26.57 c | 32307 | 1205 117566 500149 | 2147483647 32307 103 | 0.000 % |
26.60/26.65 c | 32428 | 1205 117566 500149 | 2147483647 32428 102 | 0.000 % |
26.70/26.73 c | 32564 | 1205 117566 500149 | 2147483647 32564 102 | 0.000 % |
26.80/26.85 c | 32711 | 1205 117566 500149 | 2147483647 32711 102 | 0.000 % |
26.90/26.95 c | 32873 | 1205 117566 500149 | 2147483647 32873 102 | 0.000 % |
27.00/27.01 c | 33050 | 1205 117566 500149 | 2147483647 33050 102 | 0.000 % |
27.10/27.14 c | 33244 | 1205 117566 500149 | 2147483647 33244 102 | 0.000 % |
27.20/27.23 c | 33456 | 1205 117566 500149 | 2147483647 33456 102 | 0.000 % |
27.30/27.38 c | 33690 | 1205 117566 500149 | 2147483647 33690 102 | 0.000 % |
27.40/27.52 c | 33946 | 1205 117566 500149 | 2147483647 33946 102 | 0.000 % |
27.60/27.70 c | 34229 | 1205 117566 500149 | 2147483647 34229 102 | 0.000 % |
27.90/27.91 c | 34541 | 1205 117566 500149 | 2147483647 34541 102 | 0.000 % |
28.10/28.16 c | 34880 | 1205 117566 500149 | 2147483647 34880 102 | 0.000 % |
28.40/28.48 c | 35256 | 1205 117566 500149 | 2147483647 35256 102 | 0.000 % |
28.80/28.81 c | 35665 | 1205 117566 500149 | 2147483647 35665 102 | 0.000 % |
29.10/29.18 c | 36116 | 1205 117566 500149 | 2147483647 36116 101 | 0.000 % |
29.50/29.57 c | 36609 | 1205 117566 500149 | 2147483647 36609 101 | 0.000 % |
29.90/29.99 c | 37152 | 1205 117566 500149 | 2147483647 37152 101 | 0.000 % |
30.00/30.05 c | 37254 | 1205 117566 500149 | 2147483647 37254 101 | 0.000 % |
30.10/30.13 c | 37364 | 1205 117566 500149 | 2147483647 37364 101 | 0.000 % |
30.10/30.19 c | 37485 | 1205 117566 500149 | 2147483647 37485 101 | 0.000 % |
30.20/30.30 c | 37620 | 1205 117566 500149 | 2147483647 37620 101 | 0.000 % |
30.40/30.41 c | 37771 | 1205 117566 500149 | 2147483647 37771 101 | 0.000 % |
30.50/30.53 c | 37932 | 1205 117566 500149 | 2147483647 37932 101 | 0.000 % |
30.60/30.65 c | 38108 | 1205 117566 500149 | 2147483647 38108 101 | 0.000 % |
30.70/30.79 c | 38301 | 1205 117566 500149 | 2147483647 38301 101 | 0.000 % |
30.90/30.97 c | 38514 | 1205 117566 500149 | 2147483647 38514 101 | 0.000 % |
31.10/31.17 c | 38747 | 1205 117566 500149 | 2147483647 38747 101 | 0.000 % |
31.30/31.34 c | 39006 | 1205 117566 500149 | 2147483647 39006 101 | 0.000 % |
31.60/31.64 c | 39287 | 1205 117566 500149 | 2147483647 39287 101 | 0.000 % |
31.80/31.87 c | 39597 | 1205 117566 500149 | 2147483647 39597 101 | 0.000 % |
32.10/32.20 c | 39936 | 1205 117566 500149 | 2147483647 39936 101 | 0.000 % |
32.40/32.44 c | 40309 | 1205 117566 500149 | 2147483647 40309 101 | 0.000 % |
32.90/32.92 c | 40718 | 1205 117566 500149 | 2147483647 40718 101 | 0.000 % |
33.30/33.34 c | 41167 | 1205 117566 500149 | 2147483647 41167 100 | 0.000 % |
33.70/33.79 c | 41660 | 1205 117566 500149 | 2147483647 41660 100 | 0.000 % |
34.30/34.32 c | 42204 | 1205 117566 500149 | 2147483647 42204 100 | 0.000 % |
34.70/34.76 c | 42802 | 1205 117566 500149 | 2147483647 42802 100 | 0.000 % |
34.80/34.86 c | 42903 | 1205 117566 500149 | 2147483647 42903 100 | 0.000 % |
34.90/34.98 c | 43013 | 1205 117566 500149 | 2147483647 43013 100 | 0.000 % |
35.10/35.15 c | 43135 | 1205 117566 500149 | 2147483647 43135 100 | 0.000 % |
35.30/35.33 c | 43268 | 1205 117566 500149 | 2147483647 43268 100 | 0.000 % |
35.40/35.45 c | 43415 | 1205 117566 500149 | 2147483647 43415 100 | 0.000 % |
35.60/35.62 c | 43575 | 1205 117566 500149 | 2147483647 43575 100 | 0.000 % |
35.70/35.79 c | 43754 | 1205 117566 500149 | 2147483647 43754 100 | 0.000 % |
35.90/35.98 c | 43948 | 1205 117566 500149 | 2147483647 43948 100 | 0.000 % |
36.10/36.17 c | 44161 | 1205 117566 500149 | 2147483647 44161 100 | 0.000 % |
36.31/36.35 c | 44394 | 1205 117566 500149 | 2147483647 44394 100 | 0.000 % |
36.50/36.56 c | 44651 | 1205 117566 500149 | 2147483647 44651 100 | 0.000 % |
36.70/36.78 c | 44932 | 1205 117566 500149 | 2147483647 44932 100 | 0.000 % |
37.00/37.03 c | 45242 | 1205 117566 500149 | 2147483647 45242 100 | 0.000 % |
37.20/37.31 c | 45581 | 1205 117566 500149 | 2147483647 45581 99 | 0.000 % |
37.60/37.64 c | 45953 | 1205 117566 500149 | 2147483647 45953 99 | 0.000 % |
38.00/38.03 c | 46362 | 1205 117566 500149 | 2147483647 46362 99 | 0.000 % |
38.40/38.46 c | 46813 | 1205 117566 500149 | 2147483647 46813 99 | 0.000 % |
38.90/38.93 c | 47308 | 1205 117566 500149 | 2147483647 47308 99 | 0.000 % |
39.30/39.39 c | 47851 | 1205 117566 500149 | 2147483647 47851 99 | 0.000 % |
39.90/40.00 c | 48447 | 1205 117566 500149 | 2147483647 48447 99 | 0.000 % |
40.60/40.64 c | 49102 | 1205 117566 500149 | 2147483647 49102 99 | 0.000 % |
40.71/40.74 c | 49202 | 1205 117566 500149 | 2147483647 49202 99 | 0.000 % |
40.80/40.87 c | 49313 | 1205 117566 500149 | 2147483647 49313 99 | 0.000 % |
40.90/40.98 c | 49435 | 1205 117566 500149 | 2147483647 49435 99 | 0.000 % |
41.00/41.09 c | 49570 | 1205 117566 500149 | 2147483647 49570 99 | 0.000 % |
41.20/41.30 c | 49716 | 1205 117566 500149 | 2147483647 49716 99 | 0.000 % |
41.40/41.44 c | 49876 | 1205 117566 500149 | 2147483647 49876 99 | 0.000 % |
41.60/41.63 c | 50055 | 1205 117566 500149 | 2147483647 50055 99 | 0.000 % |
41.81/41.86 c | 50250 | 1205 117566 500149 | 2147483647 50250 99 | 0.000 % |
42.10/42.15 c | 50462 | 1205 117566 500149 | 2147483647 50462 99 | 0.000 % |
42.40/42.46 c | 50695 | 1205 117566 500149 | 2147483647 50695 99 | 0.000 % |
42.80/42.81 c | 50951 | 1205 117566 500149 | 2147483647 50951 99 | 0.000 % |
43.00/43.05 c | 51232 | 1205 117566 500149 | 2147483647 51232 99 | 0.000 % |
43.40/43.48 c | 51542 | 1205 117566 500149 | 2147483647 51542 99 | 0.000 % |
43.90/43.92 c | 51881 | 1205 117566 500149 | 2147483647 51881 99 | 0.000 % |
44.20/44.29 c | 52254 | 1205 117566 500149 | 2147483647 52254 98 | 0.000 % |
44.70/44.73 c | 52664 | 1205 117566 500149 | 2147483647 52664 98 | 0.000 % |
45.30/45.40 c | 53113 | 1205 117566 500149 | 2147483647 53113 98 | 0.000 % |
45.80/45.90 c | 53606 | 1205 117566 500149 | 2147483647 53606 98 | 0.000 % |
46.21/46.28 c | 54148 | 1205 117566 500149 | 2147483647 54148 98 | 0.000 % |
47.00/47.03 c | 54744 | 1205 117566 500149 | 2147483647 54744 98 | 0.000 % |
47.80/47.84 c | 55399 | 1205 117566 500149 | 2147483647 55399 98 | 0.000 % |
48.70/48.75 c | 56120 | 1205 117566 500149 | 2147483647 56120 98 | 0.000 % |
48.90/48.92 c | 56221 | 1205 117566 500149 | 2147483647 56221 98 | 0.000 % |
49.00/49.06 c | 56333 | 1205 117566 500149 | 2147483647 56333 98 | 0.000 % |
49.20/49.22 c | 56456 | 1205 117566 500149 | 2147483647 56456 98 | 0.000 % |
49.40/49.41 c | 56590 | 1205 117566 500149 | 2147483647 56590 98 | 0.000 % |
49.51/49.59 c | 56736 | 1205 117566 500149 | 2147483647 56736 98 | 0.000 % |
49.70/49.79 c | 56896 | 1205 117566 500149 | 2147483647 56896 98 | 0.000 % |
49.90/49.99 c | 57072 | 1205 117566 500149 | 2147483647 57072 98 | 0.000 % |
50.20/50.22 c | 57265 | 1205 117566 500149 | 2147483647 57265 98 | 0.000 % |
50.50/50.51 c | 57478 | 1205 117566 500149 | 2147483647 57478 98 | 0.000 % |
50.80/50.86 c | 57713 | 1205 117566 500149 | 2147483647 57713 98 | 0.000 % |
51.10/51.15 c | 57970 | 1205 117566 500149 | 2147483647 57970 98 | 0.000 % |
51.40/51.50 c | 58251 | 1205 117566 500149 | 2147483647 58251 98 | 0.000 % |
52.00/52.07 c | 58567 | 1205 117566 500149 | 2147483647 58567 98 | 0.000 % |
52.50/52.60 c | 58907 | 1205 117566 500149 | 2147483647 58907 98 | 0.000 % |
53.00/53.07 c | 59279 | 1205 117566 500149 | 2147483647 59279 98 | 0.000 % |
53.60/53.66 c | 59688 | 1205 117566 500149 | 2147483647 59688 98 | 0.000 % |
54.30/54.33 c | 60137 | 1205 117566 500149 | 2147483647 60137 98 | 0.000 % |
54.90/55.00 c | 60633 | 1205 117566 500149 | 2147483647 60633 98 | 0.000 % |
55.80/55.90 c | 61175 | 1205 117566 500149 | 2147483647 61175 98 | 0.000 % |
56.70/56.80 c | 61772 | 1205 117566 500149 | 2147483647 61772 98 | 0.000 % |
57.70/57.80 c | 62430 | 1205 117566 500149 | 2147483647 62430 98 | 0.000 % |
58.60/58.66 c | 63153 | 1205 117566 500149 | 2147483647 63153 98 | 0.000 % |
59.70/59.78 c | 63945 | 1205 117566 500149 | 2147483647 63945 98 | 0.000 % |
59.90/59.93 c | 64047 | 1205 117566 500149 | 2147483647 64047 98 | 0.000 % |
60.10/60.16 c | 64158 | 1205 117566 500149 | 2147483647 64158 98 | 0.000 % |
60.30/60.37 c | 64280 | 1205 117566 500149 | 2147483647 64280 98 | 0.000 % |
60.60/60.63 c | 64414 | 1205 117566 500149 | 2147483647 64414 98 | 0.000 % |
60.90/60.91 c | 64561 | 1205 117566 500149 | 2147483647 64561 98 | 0.000 % |
61.20/61.26 c | 64721 | 1205 117566 500149 | 2147483647 64721 98 | 0.000 % |
61.61/61.65 c | 64899 | 1205 117566 500149 | 2147483647 64899 98 | 0.000 % |
62.00/62.03 c | 65094 | 1205 117566 500149 | 2147483647 65094 98 | 0.000 % |
62.30/62.34 c | 65308 | 1205 117566 500149 | 2147483647 65308 98 | 0.000 % |
62.71/62.74 c | 65541 | 1205 117566 500149 | 2147483647 65541 98 | 0.000 % |
63.10/63.14 c | 65797 | 1205 117566 500149 | 2147483647 65797 98 | 0.000 % |
63.60/63.64 c | 66079 | 1205 117566 500149 | 2147483647 66079 98 | 0.000 % |
64.60/64.63 c | 66388 | 1205 117566 500149 | 2147483647 66388 98 | 0.000 % |
65.10/65.19 c | 66727 | 1205 117566 500149 | 2147483647 66727 98 | 0.000 % |
65.70/65.79 c | 67099 | 1205 117566 500149 | 2147483647 67099 98 | 0.000 % |
66.50/66.53 c | 67508 | 1205 117566 500149 | 2147483647 67508 98 | 0.000 % |
67.90/67.99 c | 67958 | 1205 117566 500149 | 2147483647 67958 97 | 0.000 % |
68.60/68.65 c | 68451 | 1205 117566 500149 | 2147483647 68451 97 | 0.000 % |
69.31/69.38 c | 68995 | 1205 117566 500149 | 2147483647 68995 97 | 0.000 % |
70.20/70.25 c | 69591 | 1205 117566 500149 | 2147483647 69591 97 | 0.000 % |
72.61/72.62 c | 70247 | 1205 117566 500149 | 2147483647 70247 97 | 0.000 % |
73.90/74.00 c | 70967 | 1205 117566 500149 | 2147483647 70967 97 | 0.000 % |
75.70/75.77 c | 71759 | 1205 117566 500149 | 2147483647 71759 97 | 0.000 % |
78.21/78.30 c | 72630 | 1205 117566 500149 | 2147483647 72630 97 | 0.000 % |
78.51/78.62 c | 72730 | 1205 117566 500149 | 2147483647 72730 97 | 0.000 % |
78.71/78.77 c | 72841 | 1205 117566 500149 | 2147483647 72841 97 | 0.000 % |
79.01/79.09 c | 72962 | 1205 117566 500149 | 2147483647 72962 97 | 0.000 % |
79.31/79.40 c | 73096 | 1205 117566 500149 | 2147483647 73096 97 | 0.000 % |
79.71/79.80 c | 73242 | 1205 117566 500149 | 2147483647 73242 97 | 0.000 % |
80.21/80.26 c | 73406 | 1205 117566 500149 | 2147483647 73406 97 | 0.000 % |
80.51/80.57 c | 73582 | 1205 117566 500149 | 2147483647 73582 97 | 0.000 % |
81.01/81.07 c | 73777 | 1205 117566 500149 | 2147483647 73777 97 | 0.000 % |
81.51/81.56 c | 73989 | 1205 117566 500149 | 2147483647 73989 97 | 0.000 % |
82.11/82.17 c | 74222 | 1205 117566 500149 | 2147483647 74222 97 | 0.000 % |
82.61/82.71 c | 74479 | 1205 117566 500149 | 2147483647 74479 97 | 0.000 % |
83.01/83.10 c | 74761 | 1205 117566 500149 | 2147483647 74761 97 | 0.000 % |
83.91/83.93 c | 75070 | 1205 117566 500149 | 2147483647 75070 97 | 0.000 % |
84.81/84.89 c | 75413 | 1205 117566 500149 | 2147483647 75413 97 | 0.000 % |
86.01/86.03 c | 75789 | 1205 117566 500149 | 2147483647 75789 97 | 0.000 % |
86.81/86.85 c | 76199 | 1205 117566 500149 | 2147483647 76199 97 | 0.000 % |
87.51/87.55 c | 76649 | 1205 117566 500149 | 2147483647 76649 97 | 0.000 % |
88.31/88.39 c | 77143 | 1205 117566 500149 | 2147483647 77143 97 | 0.000 % |
89.81/89.85 c | 77685 | 1205 117566 500149 | 2147483647 77685 97 | 0.000 % |
91.51/91.57 c | 78284 | 1205 117566 500149 | 2147483647 78284 97 | 0.000 % |
93.21/93.31 c | 78942 | 1205 117566 500149 | 2147483647 78942 97 | 0.000 % |
95.11/95.19 c | 79662 | 1205 117566 500149 | 2147483647 79662 97 | 0.000 % |
97.21/97.31 c | 80455 | 1205 117566 500149 | 2147483647 80455 97 | 0.000 % |
99.11/99.18 c | 81326 | 1205 117566 500149 | 2147483647 81326 97 | 0.000 % |
100.51/100.55 c | 82285 | 1205 117566 500149 | 2147483647 82285 96 | 0.001 % |
100.71/100.75 c | 82385 | 1205 117566 500149 | 2147483647 82385 96 | 0.000 % |
101.01/101.11 c | 82495 | 1205 117566 500149 | 2147483647 82495 96 | 0.000 % |
101.41/101.47 c | 82616 | 1205 117566 500149 | 2147483647 82616 96 | 0.000 % |
101.71/101.77 c | 82749 | 1205 117566 500149 | 2147483647 82749 96 | 0.001 % |
102.31/102.35 c | 82895 | 1205 117566 500149 | 2147483647 82895 96 | 0.000 % |
102.61/102.65 c | 83056 | 1205 117566 500149 | 2147483647 83056 96 | 0.000 % |
102.91/102.97 c | 83234 | 1205 117566 500149 | 2147483647 83234 96 | 0.000 % |
103.31/103.36 c | 83427 | 1205 117566 500149 | 2147483647 83427 96 | 0.000 % |
103.61/103.66 c | 83639 | 1205 117566 500149 | 2147483647 83639 96 | 0.000 % |
104.21/104.30 c | 83872 | 1205 117566 500149 | 2147483647 83872 96 | 0.000 % |
104.81/104.84 c | 84128 | 1205 117566 500149 | 2147483647 84128 96 | 0.000 % |
105.31/105.35 c | 84409 | 1205 117566 500149 | 2147483647 84409 96 | 0.000 % |
106.01/106.09 c | 84719 | 1205 117566 500149 | 2147483647 84719 96 | 0.000 % |
106.71/106.78 c | 85059 | 1205 117566 500149 | 2147483647 85059 96 | 0.000 % |
107.51/107.52 c | 85432 | 1205 117566 500149 | 2147483647 85432 96 | 0.000 % |
108.61/108.62 c | 85841 | 1205 117566 500149 | 2147483647 85841 96 | 0.000 % |
109.71/109.74 c | 86292 | 1205 117566 500149 | 2147483647 86292 96 | 0.000 % |
110.71/110.75 c | 86786 | 1205 117566 500149 | 2147483647 86786 96 | 0.000 % |
112.11/112.18 c | 87328 | 1205 117566 500149 | 2147483647 87328 96 | 0.000 % |
113.61/113.65 c | 87924 | 1205 117566 500149 | 2147483647 87924 96 | 0.000 % |
114.61/114.68 c | 88579 | 1205 117566 500149 | 2147483647 88579 96 | 0.000 % |
116.51/116.57 c | 89299 | 1205 117566 500149 | 2147483647 89299 96 | 0.000 % |
118.21/118.26 c | 90092 | 1205 117566 500149 | 2147483647 90092 96 | 0.000 % |
120.41/120.47 c | 90964 | 1205 117566 500149 | 2147483647 90964 96 | 0.000 % |
122.21/122.30 c | 91924 | 1205 117566 500149 | 2147483647 91924 96 | 0.000 % |
124.11/124.19 c | 92981 | 1205 117566 500149 | 2147483647 92981 96 | 0.000 % |
124.41/124.48 c | 93081 | 1205 117566 500149 | 2147483647 93081 96 | 0.000 % |
124.61/124.70 c | 93191 | 1205 117566 500149 | 2147483647 93191 96 | 0.000 % |
124.91/124.92 c | 93312 | 1205 117566 500149 | 2147483647 93312 96 | 0.000 % |
125.21/125.23 c | 93446 | 1205 117566 500149 | 2147483647 93446 96 | 0.000 % |
125.71/125.77 c | 93594 | 1205 117566 500149 | 2147483647 93594 96 | 0.000 % |
126.31/126.33 c | 93756 | 1205 117566 500149 | 2147483647 93756 96 | 0.000 % |
127.01/127.07 c | 93933 | 1205 117566 500149 | 2147483647 93933 96 | 0.000 % |
127.61/127.71 c | 94127 | 1205 117566 500149 | 2147483647 94127 96 | 0.000 % |
128.51/128.58 c | 94340 | 1205 117566 500149 | 2147483647 94340 96 | 0.000 % |
129.41/129.48 c | 94576 | 1205 117566 500149 | 2147483647 94576 96 | 0.000 % |
130.01/130.02 c | 94834 | 1205 117566 500149 | 2147483647 94834 96 | 0.000 % |
130.71/130.72 c | 95116 | 1205 117566 500149 | 2147483647 95116 96 | 0.000 % |
131.31/131.33 c | 95427 | 1205 117566 500149 | 2147483647 95427 96 | 0.000 % |
132.61/132.63 c | 95766 | 1205 117566 500149 | 2147483647 95766 96 | 0.000 % |
134.01/134.09 c | 96138 | 1205 117566 500149 | 2147483647 96138 96 | 0.000 % |
135.21/135.23 c | 96551 | 1205 117566 500149 | 2147483647 96551 96 | 0.000 % |
137.21/137.22 c | 97000 | 1205 117566 500149 | 2147483647 97000 96 | 0.000 % |
138.71/138.71 c | 97493 | 1205 117566 500149 | 2147483647 97493 96 | 0.000 % |
140.90/140.95 c | 98035 | 1205 117566 500149 | 2147483647 98035 96 | 0.000 % |
141.90/141.95 c | 98631 | 1205 117566 500149 | 2147483647 98631 96 | 0.000 % |
144.50/144.54 c | 99286 | 1205 117566 500149 | 2147483647 99286 96 | 0.000 % |
147.20/147.24 c | 100007 | 1205 117566 500149 | 2147483647 100007 96 | 0.000 % |
149.40/149.41 c | 100799 | 1205 117566 500149 | 2147483647 100799 96 | 0.000 % |
152.80/152.82 c | 101670 | 1205 117566 500149 | 2147483647 101670 96 | 0.000 % |
156.10/156.19 c | 102629 | 1205 117566 500149 | 2147483647 102629 96 | 0.000 % |
160.50/160.52 c | 103682 | 1205 117566 500149 | 2147483647 103682 96 | 0.000 % |
164.90/164.99 c | 104840 | 1205 117566 500149 | 2147483647 104840 96 | 0.000 % |
165.50/165.54 c | 104940 | 1205 117566 500149 | 2147483647 104940 96 | 0.000 % |
165.90/166.00 c | 105051 | 1205 117566 500149 | 2147483647 105051 96 | 0.000 % |
166.20/166.23 c | 105174 | 1205 117566 500149 | 2147483647 105174 96 | 0.000 % |
167.00/167.04 c | 105310 | 1205 117566 500149 | 2147483647 105310 96 | 0.000 % |
167.70/167.72 c | 105460 | 1205 117566 500149 | 2147483647 105460 96 | 0.000 % |
168.60/168.66 c | 105620 | 1205 117566 500149 | 2147483647 105620 96 | 0.000 % |
169.41/169.47 c | 105796 | 1205 117566 500149 | 2147483647 105796 96 | 0.000 % |
170.10/170.17 c | 105989 | 1205 117566 500149 | 2147483647 105989 96 | 0.000 % |
170.51/170.58 c | 106201 | 1205 117566 500149 | 2147483647 106201 96 | 0.000 % |
171.20/171.28 c | 106434 | 1205 117566 500149 | 2147483647 106434 96 | 0.000 % |
172.00/172.02 c | 106691 | 1205 117566 500149 | 2147483647 106691 96 | 0.000 % |
173.40/173.45 c | 106973 | 1205 117566 500149 | 2147483647 106973 96 | 0.000 % |
174.70/174.70 c | 107283 | 1205 117566 500149 | 2147483647 107283 96 | 0.000 % |
176.10/176.20 c | 107622 | 1205 117566 500149 | 2147483647 107622 96 | 0.000 % |
178.10/178.14 c | 107995 | 1205 117566 500149 | 2147483647 107995 96 | 0.000 % |
179.40/179.48 c | 108408 | 1205 117566 500149 | 2147483647 108408 96 | 0.000 % |
181.60/181.69 c | 108857 | 1205 117566 500149 | 2147483647 108857 96 | 0.000 % |
183.80/183.85 c | 109350 | 1205 117566 500149 | 2147483647 109350 96 | 0.000 % |
186.10/186.15 c | 109892 | 1205 117566 500149 | 2147483647 109892 96 | 0.000 % |
188.30/188.32 c | 110488 | 1205 117566 500149 | 2147483647 110488 96 | 0.000 % |
190.90/190.94 c | 111144 | 1205 117566 500149 | 2147483647 111144 95 | 0.000 % |
194.10/194.18 c | 111865 | 1205 117566 500149 | 2147483647 111865 95 | 0.000 % |
197.50/197.55 c | 112659 | 1205 117566 500149 | 2147483647 112659 95 | 0.000 % |
200.00/200.07 c | 113531 | 1205 117566 500149 | 2147483647 113531 95 | 0.000 % |
202.80/202.82 c | 114489 | 1205 117566 500149 | 2147483647 114489 95 | 0.000 % |
205.71/205.77 c | 115543 | 1205 117566 500149 | 2147483647 115543 95 | 0.000 % |
208.81/208.82 c | 116701 | 1205 117566 500149 | 2147483647 116701 95 | 0.000 % |
211.91/211.94 c | 117974 | 1205 117566 500149 | 2147483647 117974 95 | 0.000 % |
212.31/212.34 c | 118074 | 1205 117566 500149 | 2147483647 118074 95 | 0.000 % |
213.01/213.01 c | 118184 | 1205 117566 500149 | 2147483647 118184 95 | 0.000 % |
213.71/213.73 c | 118307 | 1205 117566 500149 | 2147483647 118307 95 | 0.000 % |
214.51/214.54 c | 118441 | 1205 117566 500149 | 2147483647 118441 95 | 0.000 % |
215.21/215.27 c | 118587 | 1205 117566 500149 | 2147483647 118587 95 | 0.000 % |
216.11/216.17 c | 118750 | 1205 117566 500149 | 2147483647 118750 95 | 0.000 % |
217.01/217.03 c | 118928 | 1205 117566 500149 | 2147483647 118928 95 | 0.000 % |
217.81/217.86 c | 119124 | 1205 117566 500149 | 2147483647 119124 95 | 0.000 % |
219.21/219.22 c | 119336 | 1205 117566 500149 | 2147483647 119336 95 | 0.000 % |
221.01/221.03 c | 119571 | 1205 117566 500149 | 2147483647 119571 95 | 0.000 % |
222.81/222.89 c | 119828 | 1205 117566 500149 | 2147483647 119828 95 | 0.000 % |
224.61/224.64 c | 120109 | 1205 117566 500149 | 2147483647 120109 95 | 0.000 % |
225.31/225.41 c | 120419 | 1205 117566 500149 | 2147483647 120419 95 | 0.000 % |
227.01/227.04 c | 120760 | 1205 117566 500149 | 2147483647 120760 95 | 0.000 % |
227.81/227.82 c | 121132 | 1205 117566 500149 | 2147483647 121132 95 | 0.000 % |
230.61/230.64 c | 121546 | 1205 117566 500149 | 2147483647 121546 95 | 0.000 % |
233.31/233.33 c | 121995 | 1205 117566 500149 | 2147483647 121995 95 | 0.000 % |
236.31/236.36 c | 122488 | 1205 117566 500149 | 2147483647 122488 96 | 0.000 % |
239.01/239.07 c | 123030 | 1205 117566 500149 | 2147483647 123030 96 | 0.000 % |
241.81/241.90 c | 123626 | 1205 117566 500149 | 2147483647 123626 96 | 0.000 % |
245.51/245.55 c | 124281 | 1205 117566 500149 | 2147483647 124281 96 | 0.000 % |
248.81/248.90 c | 125001 | 1205 117566 500149 | 2147483647 125001 96 | 0.000 % |
253.01/253.08 c | 125795 | 1205 117566 500149 | 2147483647 125795 96 | 0.000 % |
257.61/257.68 c | 126667 | 1205 117566 500149 | 2147483647 126667 96 | 0.000 % |
261.51/261.51 c | 127625 | 1205 117566 500149 | 2147483647 127625 96 | 0.000 % |
266.01/266.04 c | 128679 | 1205 117566 500149 | 2147483647 128679 96 | 0.000 % |
271.61/271.68 c | 129838 | 1205 117566 500149 | 2147483647 129838 96 | 0.000 % |
278.91/278.96 c | 131111 | 1205 117566 500149 | 2147483647 131111 96 | 0.000 % |
285.41/285.41 c | 132511 | 1205 117566 500149 | 2147483647 132511 96 | 0.000 % |
285.61/285.69 c | 132611 | 1205 117566 500149 | 2147483647 132611 96 | 0.000 % |
285.91/285.93 c | 132721 | 1205 117566 500149 | 2147483647 132721 96 | 0.000 % |
286.21/286.23 c | 132842 | 1205 117566 500149 | 2147483647 132842 96 | 0.000 % |
287.01/287.11 c | 132977 | 1205 117566 500149 | 2147483647 132977 96 | 0.000 % |
287.91/287.96 c | 133123 | 1205 117566 500149 | 2147483647 133123 95 | 0.000 % |
288.61/288.69 c | 133283 | 1205 117566 500149 | 2147483647 133283 95 | 0.000 % |
289.32/289.35 c | 133459 | 1205 117566 500149 | 2147483647 133459 95 | 0.000 % |
289.91/289.92 c | 133653 | 1205 117566 500149 | 2147483647 133653 95 | 0.000 % |
291.21/291.26 c | 133868 | 1205 117566 500149 | 2147483647 133868 95 | 0.000 % |
292.11/292.19 c | 134101 | 1205 117566 500149 | 2147483647 134101 95 | 0.000 % |
292.62/292.70 c | 134358 | 1205 117566 500149 | 2147483647 134358 95 | 0.000 % |
293.31/293.37 c | 134639 | 1205 117566 500149 | 2147483647 134639 95 | 0.000 % |
294.21/294.23 c | 134948 | 1205 117566 500149 | 2147483647 134948 95 | 0.000 % |
294.91/294.92 c | 135289 | 1205 117566 500149 | 2147483647 135289 95 | 0.000 % |
295.61/295.68 c | 135661 | 1205 117566 500149 | 2147483647 135661 95 | 0.000 % |
296.51/296.60 c | 136072 | 1205 117566 500149 | 2147483647 136072 95 | 0.000 % |
298.81/298.86 c | 136523 | 1205 117566 500149 | 2147483647 136523 95 | 0.000 % |
300.21/300.21 c | 137022 | 1205 117566 500149 | 2147483647 137022 95 | 0.000 % |
301.21/301.21 c | 137570 | 1205 117566 500149 | 2147483647 137570 95 | 0.000 % |
302.81/302.82 c | 138167 | 1205 117566 500149 | 2147483647 138167 95 | 0.000 % |
303.71/303.74 c | 138822 | 1205 117566 500149 | 2147483647 138822 95 | 0.000 % |
305.71/305.76 c | 139542 | 1205 117566 500149 | 2147483647 139542 95 | 0.000 % |
307.71/307.75 c | 140335 | 1205 117566 500149 | 2147483647 140335 95 | 0.000 % |
308.51/308.55 c | 141206 | 1205 117566 500149 | 2147483647 141206 95 | 0.000 % |
309.21/309.28 c | 142165 | 1205 117566 500149 | 2147483647 142165 95 | 0.000 % |
310.31/310.40 c | 143219 | 1205 117566 500149 | 2147483647 143219 95 | 0.000 % |
311.91/311.91 c | 144377 | 1205 117566 500149 | 2147483647 144377 95 | 0.000 % |
313.31/313.35 c | 145650 | 1205 117566 500149 | 2147483647 145650 95 | 0.000 % |
314.62/314.67 c | 147050 | 1205 117566 500149 | 2147483647 147050 95 | 0.000 % |
316.82/316.89 c | 148591 | 1205 117566 500149 | 2147483647 148591 95 | 0.000 % |
317.01/317.09 c | 148691 | 1205 117566 500149 | 2147483647 148691 95 | 0.000 % |
317.21/317.21 c | 148803 | 1205 117566 500149 | 2147483647 148803 95 | 0.000 % |
317.31/317.37 c | 148925 | 1205 117566 500149 | 2147483647 148925 95 | 0.000 % |
317.51/317.56 c | 149059 | 1205 117566 500149 | 2147483647 149059 95 | 0.000 % |
317.71/317.73 c | 149207 | 1205 117566 500149 | 2147483647 149207 95 | 0.000 % |
317.81/317.91 c | 149367 | 1205 117566 500149 | 2147483647 149367 95 | 0.000 % |
318.11/318.14 c | 149544 | 1205 117566 500149 | 2147483647 149544 95 | 0.000 % |
318.41/318.44 c | 149739 | 1205 117566 500149 | 2147483647 149739 95 | 0.000 % |
318.71/318.74 c | 149951 | 1205 117566 500149 | 2147483647 149951 95 | 0.000 % |
318.91/318.97 c | 150184 | 1205 117566 500149 | 2147483647 150184 95 | 0.000 % |
319.21/319.28 c | 150440 | 1205 117566 500149 | 2147483647 150440 95 | 0.000 % |
319.61/319.65 c | 150721 | 1205 117566 500149 | 2147483647 150721 95 | 0.000 % |
320.01/320.01 c | 151030 | 1205 117566 500149 | 2147483647 151030 95 | 0.000 % |
320.41/320.43 c | 151369 | 1205 117566 500149 | 2147483647 151369 95 | 0.000 % |
320.91/320.95 c | 151741 | 1205 117566 500149 | 2147483647 151741 95 | 0.000 % |
321.41/321.47 c | 152151 | 1205 117566 500149 | 2147483647 152151 95 | 0.000 % |
322.01/322.08 c | 152601 | 1205 117566 500149 | 2147483647 152601 95 | 0.000 % |
322.61/322.63 c | 153097 | 1205 117566 500149 | 2147483647 153097 95 | 0.000 % |
323.31/323.36 c | 153639 | 1205 117566 500149 | 2147483647 153639 95 | 0.000 % |
324.01/324.07 c | 154235 | 1205 117566 500149 | 2147483647 154235 95 | 0.000 % |
324.81/324.85 c | 154892 | 1205 117566 500149 | 2147483647 154892 95 | 0.000 % |
325.81/325.88 c | 155613 | 1205 117566 500149 | 2147483647 155613 95 | 0.000 % |
327.01/327.05 c | 156406 | 1205 117566 500149 | 2147483647 156406 95 | 0.000 % |
328.21/328.28 c | 157277 | 1205 117566 500149 | 2147483647 157277 95 | 0.000 % |
329.82/329.91 c | 158236 | 1205 117566 500149 | 2147483647 158236 95 | 0.000 % |
331.42/331.51 c | 159291 | 1205 117566 500149 | 2147483647 159291 95 | 0.000 % |
333.82/333.89 c | 160450 | 1205 117566 500149 | 2147483647 160450 95 | 0.000 % |
336.12/336.20 c | 161726 | 1205 117566 500149 | 2147483647 161726 95 | 0.000 % |
338.82/338.83 c | 163126 | 1205 117566 500149 | 2147483647 163126 95 | 0.000 % |
341.52/341.55 c | 164666 | 1205 117566 500149 | 2147483647 164666 95 | 0.000 % |
344.52/344.60 c | 166360 | 1205 117566 500149 | 2147483647 166360 95 | 0.000 % |
344.72/344.73 c | 166461 | 1205 117566 500149 | 2147483647 166461 95 | 0.000 % |
344.92/344.92 c | 166571 | 1205 117566 500149 | 2147483647 166571 95 | 0.000 % |
345.22/345.24 c | 166693 | 1205 117566 500149 | 2147483647 166693 95 | 0.000 % |
345.42/345.45 c | 166826 | 1205 117566 500149 | 2147483647 166826 95 | 0.000 % |
345.72/345.74 c | 166973 | 1205 117566 500149 | 2147483647 166973 95 | 0.000 % |
346.12/346.13 c | 167133 | 1205 117566 500149 | 2147483647 167133 95 | 0.000 % |
346.42/346.47 c | 167309 | 1205 117566 500149 | 2147483647 167309 95 | 0.000 % |
346.82/346.88 c | 167503 | 1205 117566 500149 | 2147483647 167503 95 | 0.000 % |
347.42/347.46 c | 167716 | 1205 117566 500149 | 2147483647 167716 95 | 0.000 % |
347.92/348.01 c | 167949 | 1205 117566 500149 | 2147483647 167949 95 | 0.000 % |
348.72/348.72 c | 168205 | 1205 117566 500149 | 2147483647 168205 95 | 0.000 % |
349.32/349.36 c | 168487 | 1205 117566 500149 | 2147483647 168487 95 | 0.000 % |
350.12/350.20 c | 168797 | 1205 117566 500149 | 2147483647 168797 95 | 0.001 % |
351.02/351.07 c | 169136 | 1205 117566 500149 | 2147483647 169136 95 | 0.000 % |
351.72/351.79 c | 169509 | 1205 117566 500149 | 2147483647 169509 95 | 0.000 % |
352.92/352.92 c | 169919 | 1205 117566 500149 | 2147483647 169919 95 | 0.000 % |
353.92/353.97 c | 170369 | 1205 117566 500149 | 2147483647 170369 95 | 0.000 % |
354.92/354.93 c | 170862 | 1205 117566 500149 | 2147483647 170862 95 | 0.000 % |
356.22/356.25 c | 171404 | 1205 117566 500149 | 2147483647 171404 95 | 0.000 % |
357.52/357.54 c | 172003 | 1205 117566 500149 | 2147483647 172003 95 | 0.000 % |
359.12/359.18 c | 172658 | 1205 117566 500149 | 2147483647 172658 95 | 0.000 % |
360.62/360.66 c | 173378 | 1205 117566 500149 | 2147483647 173378 95 | 0.000 % |
362.22/362.22 c | 174171 | 1205 117566 500149 | 2147483647 174171 95 | 0.000 % |
363.52/363.51 c | 175044 | 1205 117566 500149 | 2147483647 175044 95 | 0.000 % |
365.72/365.77 c | 176002 | 1205 117566 500149 | 2147483647 176002 95 | 0.000 % |
368.82/368.89 c | 177055 | 1205 117566 500149 | 2147483647 177055 95 | 0.000 % |
372.52/372.57 c | 178213 | 1205 117566 500149 | 2147483647 178213 95 | 0.000 % |
377.92/378.01 c | 179488 | 1205 117566 500149 | 2147483647 179488 95 | 0.000 % |
382.52/382.58 c | 180888 | 1205 117566 500149 | 2147483647 180888 95 | 0.000 % |
390.92/390.94 c | 182428 | 1205 117566 500149 | 2147483647 182428 95 | 0.000 % |
398.02/398.08 c | 184125 | 1205 117566 500149 | 2147483647 184125 94 | 0.000 % |
403.92/403.95 c | 185988 | 1205 117566 500149 | 2147483647 185988 94 | 0.000 % |
404.52/404.56 c | 186089 | 1205 117566 500149 | 2147483647 186089 94 | 0.000 % |
404.92/404.95 c | 186200 | 1205 117566 500149 | 2147483647 186200 94 | 0.000 % |
405.52/405.52 c | 186323 | 1205 117566 500149 | 2147483647 186323 94 | 0.000 % |
405.72/405.77 c | 186458 | 1205 117566 500149 | 2147483647 186458 94 | 0.000 % |
406.32/406.34 c | 186607 | 1205 117566 500149 | 2147483647 186607 94 | 0.000 % |
406.92/406.95 c | 186768 | 1205 117566 500149 | 2147483647 186768 94 | 0.000 % |
407.52/407.59 c | 186944 | 1205 117566 500149 | 2147483647 186944 94 | 0.000 % |
408.13/408.17 c | 187137 | 1205 117566 500149 | 2147483647 187137 94 | 0.000 % |
408.92/409.01 c | 187349 | 1205 117566 500149 | 2147483647 187349 94 | 0.000 % |
409.72/409.74 c | 187583 | 1205 117566 500149 | 2147483647 187583 94 | 0.000 % |
411.12/411.12 c | 187840 | 1205 117566 500149 | 2147483647 187840 94 | 0.000 % |
412.42/412.43 c | 188122 | 1205 117566 500149 | 2147483647 188122 94 | 0.000 % |
413.32/413.38 c | 188432 | 1205 117566 500149 | 2147483647 188432 94 | 0.000 % |
414.52/414.56 c | 188771 | 1205 117566 500149 | 2147483647 188771 94 | 0.000 % |
416.02/416.09 c | 189143 | 1205 117566 500149 | 2147483647 189143 94 | 0.000 % |
417.62/417.70 c | 189554 | 1205 117566 500149 | 2147483647 189554 94 | 0.000 % |
419.72/419.78 c | 190004 | 1205 117566 500149 | 190000 190004 94 | 0.000 % |
424.02/424.03 c | 190498 | 1205 117566 500149 | 190000 169312 94 | 0.000 % |
426.02/426.04 c | 191042 | 1205 117566 500149 | 190000 169856 94 | 0.000 % |
428.62/428.70 c | 191639 | 1205 117566 500149 | 190000 170453 94 | 0.000 % |
431.32/431.35 c | 192294 | 1205 117566 500149 | 190000 171108 94 | 0.000 % |
434.12/434.15 c | 193016 | 1205 117566 500149 | 190000 171830 94 | 0.000 % |
435.92/435.95 c | 193812 | 1205 117566 500149 | 190000 172626 94 | 0.000 % |
437.62/437.70 c | 194683 | 1205 117566 500149 | 190000 173497 94 | 0.000 % |
441.32/441.33 c | 195641 | 1205 117566 500149 | 190000 174455 94 | 0.000 % |
444.62/444.61 c | 196697 | 1205 117566 500149 | 190000 175511 94 | 0.000 % |
448.62/448.66 c | 197856 | 1205 117566 500149 | 190000 176670 94 | 0.000 % |
453.02/453.06 c | 199129 | 1205 117566 500149 | 190000 177943 94 | 0.000 % |
457.33/457.33 c | 200529 | 1205 117566 500149 | 2147483647 179343 94 | 0.000 % |
461.03/461.02 c | 202070 | 1205 117566 500149 | 2147483647 180884 94 | 0.000 % |
469.33/469.41 c | 203764 | 1205 117566 500149 | 2147483647 182578 94 | 0.000 % |
472.23/472.28 c | 205630 | 1205 117566 500149 | 2147483647 184444 94 | 0.000 % |
480.53/480.61 c | 207679 | 1205 117566 500149 | 2147483647 186493 93 | 0.000 % |
481.03/481.02 c | 207779 | 1205 117566 500149 | 2147483647 186593 93 | 0.000 % |
481.33/481.41 c | 207889 | 1205 117566 500149 | 2147483647 186703 93 | 0.000 % |
481.73/481.80 c | 208010 | 1205 117566 500149 | 2147483647 186824 93 | 0.000 % |
482.23/482.24 c | 208144 | 1205 117566 500149 | 2147483647 186958 93 | 0.000 % |
482.73/482.73 c | 208290 | 1205 117566 500149 | 2147483647 187104 93 | 0.000 % |
483.13/483.19 c | 208450 | 1205 117566 500149 | 2147483647 187264 93 | 0.000 % |
483.63/483.70 c | 208627 | 1205 117566 500149 | 2147483647 187441 93 | 0.000 % |
484.43/484.46 c | 208824 | 1205 117566 500149 | 2147483647 187638 93 | 0.000 % |
485.13/485.16 c | 209040 | 1205 117566 500149 | 2147483647 187854 93 | 0.000 % |
486.13/486.20 c | 209274 | 1205 117566 500149 | 2147483647 188088 93 | 0.000 % |
487.13/487.15 c | 209533 | 1205 117566 500149 | 2147483647 188347 93 | 0.000 % |
487.73/487.73 c | 209814 | 1205 117566 500149 | 2147483647 188628 93 | 0.000 % |
489.03/489.10 c | 210123 | 1205 117566 500149 | 188816 188937 93 | 0.000 % |
490.93/490.98 c | 210462 | 1205 117566 500149 | 188816 165678 91 | 0.000 % |
491.93/491.99 c | 210836 | 1205 117566 500149 | 188816 166052 91 | 0.000 % |
493.13/493.16 c | 211247 | 1205 117566 500149 | 188816 166463 91 | 0.000 % |
494.83/494.91 c | 211696 | 1205 117566 500149 | 188816 166912 91 | 0.000 % |
495.93/495.92 c | 212190 | 1205 117566 500149 | 188816 167406 91 | 0.000 % |
497.13/497.14 c | 212734 | 1205 117566 500149 | 188816 167950 91 | 0.000 % |
498.22/498.23 c | 213330 | 1205 117566 500149 | 188816 168546 91 | 0.000 % |
500.72/500.77 c | 213986 | 1205 117566 500149 | 188816 169202 91 | 0.000 % |
501.82/501.88 c | 214707 | 1205 117566 500149 | 188816 169923 91 | 0.000 % |
504.82/504.84 c | 215500 | 1205 117566 500149 | 188816 170716 91 | 0.000 % |
508.92/508.92 c | 216374 | 1205 117566 500149 | 188816 171590 91 | 0.000 % |
512.02/512.02 c | 217332 | 1205 117566 500149 | 188816 172548 91 | 0.000 % |
516.02/516.07 c | 218385 | 1205 117566 500149 | 188816 173601 91 | 0.000 % |
519.62/519.63 c | 219544 | 1205 117566 500149 | 188816 174760 91 | 0.000 % |
523.12/523.15 c | 220817 | 1205 117566 500149 | 2147483647 176033 91 | 0.000 % |
526.02/526.06 c | 222217 | 1205 117566 500149 | 2147483647 177433 91 | 0.000 % |
528.42/528.41 c | 223757 | 1205 117566 500149 | 2147483647 178973 91 | 0.000 % |
532.32/532.39 c | 225451 | 1205 117566 500149 | 2147483647 180667 91 | 0.000 % |
537.42/537.46 c | 227315 | 1205 117566 500149 | 2147483647 182531 91 | 0.000 % |
544.32/544.40 c | 229365 | 1205 117566 500149 | 2147483647 184581 91 | 0.000 % |
551.13/551.16 c | 231618 | 1205 117566 500149 | 2147483647 186834 91 | 0.000 % |
551.52/551.56 c | 231719 | 1205 117566 500149 | 2147483647 186935 91 | 0.000 % |
551.82/551.85 c | 231831 | 1205 117566 500149 | 2147483647 187047 91 | 0.000 % |
552.23/552.24 c | 231952 | 1205 117566 500149 | 2147483647 187168 91 | 0.000 % |
552.72/552.71 c | 232086 | 1205 117566 500149 | 2147483647 187302 91 | 0.000 % |
553.42/553.49 c | 232232 | 1205 117566 500149 | 2147483647 187448 91 | 0.000 % |
554.12/554.17 c | 232394 | 1205 117566 500149 | 2147483647 187610 91 | 0.000 % |
554.43/554.49 c | 232570 | 1205 117566 500149 | 2147483647 187786 91 | 0.000 % |
555.32/555.31 c | 232764 | 1205 117566 500149 | 2147483647 187980 91 | 0.000 % |
556.22/556.22 c | 232976 | 1205 117566 500149 | 2147483647 188192 91 | 0.000 % |
557.32/557.35 c | 233210 | 1205 117566 500149 | 2147483647 188426 91 | 0.000 % |
558.12/558.14 c | 233466 | 1205 117566 500149 | 2147483647 188682 91 | 0.000 % |
559.42/559.43 c | 233748 | 1205 117566 500149 | 2147483647 188964 91 | 0.000 % |
560.72/560.80 c | 234058 | 1205 117566 500149 | 2147483647 189274 91 | 0.000 % |
562.42/562.48 c | 234398 | 1205 117566 500149 | 2147483647 189614 91 | 0.000 % |
564.33/564.34 c | 234771 | 1205 117566 500149 | 2147483647 189987 91 | 0.000 % |
565.52/565.56 c | 235180 | 1205 117566 500149 | 2147483647 190396 91 | 0.000 % |
567.42/567.48 c | 235629 | 1205 117566 500149 | 2147483647 190845 91 | 0.000 % |
569.22/569.21 c | 236124 | 1205 117566 500149 | 2147483647 191340 91 | 0.000 % |
570.72/570.78 c | 236666 | 1205 117566 500149 | 2147483647 191882 91 | 0.000 % |
572.42/572.50 c | 237263 | 1205 117566 500149 | 2147483647 192479 91 | 0.000 % |
574.62/574.62 c | 237918 | 1205 117566 500149 | 2147483647 193134 91 | 0.000 % |
576.92/576.99 c | 238639 | 1205 117566 500149 | 2147483647 193855 91 | 0.000 % |
578.12/578.14 c | 239431 | 1205 117566 500149 | 2147483647 194647 90 | 0.000 % |
582.43/582.48 c | 240306 | 1205 117566 500149 | 2147483647 195522 90 | 0.000 % |
587.03/587.08 c | 241266 | 1205 117566 500149 | 2147483647 196482 90 | 0.000 % |
591.63/591.61 c | 242320 | 1205 117566 500149 | 2147483647 197536 91 | 0.000 % |
597.03/597.06 c | 243480 | 1205 117566 500149 | 2147483647 198696 91 | 0.000 % |
603.13/603.15 c | 244753 | 1205 117566 500149 | 2147483647 199969 91 | 0.000 % |
608.03/608.08 c | 246153 | 1205 117566 500149 | 2147483647 201369 91 | 0.000 % |
613.63/613.67 c | 247693 | 1205 117566 500149 | 2147483647 202909 91 | 0.000 % |
621.53/621.54 c | 249387 | 1205 117566 500149 | 2147483647 204603 91 | 0.000 % |
630.23/630.24 c | 251251 | 1205 117566 500149 | 205217 161146 90 | 0.000 % |
638.33/638.32 c | 253300 | 1205 117566 500149 | 205217 163195 90 | 0.000 % |
647.33/647.35 c | 255553 | 1205 117566 500149 | 205217 165448 90 | 0.000 % |
656.33/656.32 c | 258031 | 1205 117566 500149 | 205217 167926 90 | 0.000 % |
656.93/656.91 c | 258132 | 1205 117566 500149 | 205217 168027 90 | 0.000 % |
657.33/657.31 c | 258242 | 1205 117566 500149 | 205217 168137 90 | 0.000 % |
657.84/657.90 c | 258364 | 1205 117566 500149 | 205217 168259 90 | 0.000 % |
658.63/658.62 c | 258497 | 1205 117566 500149 | 205217 168392 90 | 0.000 % |
659.23/659.23 c | 258643 | 1205 117566 500149 | 205217 168538 90 | 0.000 % |
659.73/659.78 c | 258803 | 1205 117566 500149 | 205217 168698 90 | 0.000 % |
660.33/660.34 c | 258980 | 1205 117566 500149 | 205217 168875 90 | 0.000 % |
661.14/661.14 c | 259174 | 1205 117566 500149 | 205217 169069 90 | 0.000 % |
661.93/662.00 c | 259388 | 1205 117566 500149 | 205217 169283 90 | 0.000 % |
662.83/662.82 c | 259621 | 1205 117566 500149 | 205217 169516 90 | 0.000 % |
664.03/664.01 c | 259877 | 1205 117566 500149 | 205217 169772 90 | 0.000 % |
664.73/664.78 c | 260158 | 1205 117566 500149 | 169896 170053 90 | 0.000 % |
666.83/666.88 c | 260470 | 1205 117566 500149 | 169896 142430 89 | 0.000 % |
668.33/668.33 c | 260809 | 1205 117566 500149 | 169896 142769 89 | 0.000 % |
670.03/670.07 c | 261183 | 1205 117566 500149 | 169896 143143 89 | 0.000 % |
671.33/671.39 c | 261594 | 1205 117566 500149 | 169896 143554 89 | 0.000 % |
672.93/672.98 c | 262043 | 1205 117566 500149 | 169896 144003 89 | 0.000 % |
675.13/675.13 c | 262536 | 1205 117566 500149 | 169896 144496 89 | 0.000 % |
677.33/677.32 c | 263079 | 1205 117566 500149 | 169896 145039 89 | 0.000 % |
679.63/679.71 c | 263676 | 1205 117566 500149 | 169896 145636 89 | 0.000 % |
681.53/681.54 c | 264332 | 1205 117566 500149 | 169896 146292 89 | 0.000 % |
684.73/684.72 c | 265053 | 1205 117566 500149 | 169896 147013 89 | 0.000 % |
687.33/687.35 c | 265847 | 1205 117566 500149 | 169896 147807 89 | 0.000 % |
690.53/690.58 c | 266718 | 1205 117566 500149 | 169896 148678 89 | 0.000 % |
693.93/694.00 c | 267677 | 1205 117566 500149 | 169896 149637 89 | 0.000 % |
698.73/698.78 c | 268733 | 1205 117566 500149 | 169896 150693 89 | 0.000 % |
702.83/702.84 c | 269893 | 1205 117566 500149 | 169896 151853 89 | 0.000 % |
708.74/708.76 c | 271170 | 1205 117566 500149 | 151964 128948 89 | 0.000 % |
714.74/714.77 c | 272574 | 1205 117566 500149 | 151964 130352 89 | 0.000 % |
721.34/721.41 c | 274114 | 1205 117566 500149 | 151964 131892 89 | 0.000 % |
729.44/729.46 c | 275808 | 1205 117566 500149 | 151964 133586 89 | 0.000 % |
737.64/737.69 c | 277672 | 1205 117566 500149 | 151964 135450 89 | 0.000 % |
745.44/745.45 c | 279721 | 1205 117566 500149 | 151964 137499 88 | 0.000 % |
753.24/753.23 c | 281976 | 1205 117566 500149 | 137778 116789 87 | 0.000 % |
763.05/763.08 c | 284454 | 1205 117566 500149 | 137778 119267 87 | 0.000 % |
772.25/772.28 c | 287179 | 1205 117566 500149 | 137778 121992 87 | 0.000 % |
772.95/773.00 c | 287280 | 1205 117566 500149 | 137778 122093 87 | 0.000 % |
773.45/773.46 c | 287390 | 1205 117566 500149 | 137778 122203 87 | 0.000 % |
773.85/773.91 c | 287511 | 1205 117566 500149 | 137778 122324 87 | 0.000 % |
774.55/774.52 c | 287645 | 1205 117566 500149 | 137778 122458 87 | 0.000 % |
775.05/775.08 c | 287793 | 1205 117566 500149 | 137778 122606 87 | 0.000 % |
775.75/775.75 c | 287953 | 1205 117566 500149 | 137778 122766 87 | 0.000 % |
776.35/776.36 c | 288130 | 1205 117566 500149 | 137778 122943 87 | 0.000 % |
777.05/777.08 c | 288324 | 1205 117566 500149 | 137778 123137 87 | 0.000 % |
777.65/777.64 c | 288537 | 1205 117566 500149 | 137778 123350 87 | 0.000 % |
778.75/778.77 c | 288770 | 1205 117566 500149 | 137778 123583 87 | 0.000 % |
780.15/780.13 c | 289027 | 1205 117566 500149 | 137778 123840 87 | 0.000 % |
780.95/780.94 c | 289309 | 1205 117566 500149 | 137778 124122 87 | 0.000 % |
781.65/781.66 c | 289619 | 1205 117566 500149 | 137778 124432 87 | 0.000 % |
783.26/783.25 c | 289958 | 1205 117566 500149 | 137778 124771 87 | 0.000 % |
784.25/784.23 c | 290334 | 1205 117566 500149 | 124813 125147 87 | 0.000 % |
786.65/786.63 c | 290745 | 1205 117566 500149 | 124813 110723 86 | 0.000 % |
788.15/788.15 c | 291196 | 1205 117566 500149 | 124813 111174 86 | 0.000 % |
792.35/792.35 c | 291690 | 1205 117566 500149 | 124813 111668 86 | 0.000 % |
795.75/795.77 c | 292233 | 1205 117566 500149 | 124813 112211 86 | 0.000 % |
800.35/800.40 c | 292829 | 1205 117566 500149 | 124813 112807 86 | 0.000 % |
804.85/804.83 c | 293484 | 1205 117566 500149 | 124813 113462 86 | 0.000 % |
810.25/810.27 c | 294204 | 1205 117566 500149 | 124813 114182 86 | 0.000 % |
816.26/816.30 c | 294997 | 1205 117566 500149 | 124813 114975 86 | 0.000 % |
822.35/822.35 c | 295869 | 1205 117566 500149 | 124813 115847 86 | 0.000 % |
828.75/828.78 c | 296827 | 1205 117566 500149 | 124813 116805 86 | 0.000 % |
835.96/835.98 c | 297881 | 1205 117566 500149 | 124813 117859 86 | 0.000 % |
845.26/845.29 c | 299039 | 1205 117566 500149 | 124813 119017 86 | 0.000 % |
855.46/855.48 c | 300313 | 1205 117566 500149 | 119978 120291 86 | 0.000 % |
865.95/866.01 c | 301713 | 1205 117566 500149 | 119978 90660 86 | 0.000 % |
877.95/877.99 c | 303253 | 1205 117566 500149 | 119978 92200 86 | 0.000 % |
891.15/891.21 c | 304949 | 1205 117566 500149 | 119978 93896 86 | 0.000 % |
905.75/905.81 c | 306812 | 1205 117566 500149 | 119978 95759 86 | 0.000 % |
920.76/920.79 c | 308865 | 1205 117566 500149 | 119978 97812 86 | 0.000 % |
935.85/935.84 c | 311118 | 1205 117566 500149 | 98948 72155 85 | 0.000 % |
949.75/949.76 c | 313598 | 1205 117566 500149 | 98948 74635 85 | 0.000 % |
967.16/967.13 c | 316324 | 1205 117566 500149 | 98948 77361 85 | 0.000 % |
982.26/982.25 c | 319322 | 1205 117566 500149 | 98948 80359 85 | 0.000 % |
982.96/982.96 c | 319422 | 1205 117566 500149 | 98948 80459 85 | 0.000 % |
983.66/983.63 c | 319532 | 1205 117566 500149 | 98948 80569 85 | 0.000 % |
984.56/984.52 c | 319653 | 1205 117566 500149 | 98948 80690 85 | 0.000 % |
985.46/985.47 c | 319789 | 1205 117566 500149 | 98948 80826 85 | 0.000 % |
986.46/986.49 c | 319938 | 1205 117566 500149 | 98948 80975 85 | 0.000 % |
987.76/987.75 c | 320099 | 1205 117566 500149 | 81039 81136 85 | 0.000 % |
989.36/989.32 c | 320279 | 1205 117566 500149 | 81039 61381 84 | 0.000 % |
990.36/990.41 c | 320474 | 1205 117566 500149 | 81039 61576 84 | 0.000 % |
991.36/991.35 c | 320686 | 1205 117566 500149 | 81039 61788 84 | 0.000 % |
992.36/992.33 c | 320921 | 1205 117566 500149 | 81039 62023 84 | 0.000 % |
993.56/993.59 c | 321178 | 1205 117566 500149 | 81039 62280 84 | 0.000 % |
994.76/994.72 c | 321460 | 1205 117566 500149 | 81039 62562 84 | 0.000 % |
996.06/996.09 c | 321769 | 1205 117566 500149 | 81039 62871 84 | 0.000 % |
997.46/997.51 c | 322111 | 1205 117566 500149 | 81039 63213 84 | 0.000 % |
999.16/999.13 c | 322484 | 1205 117566 500149 | 81039 63586 84 | 0.000 % |
1001.06/1001.06 c | 322896 | 1205 117566 500149 | 81039 63998 84 | 0.000 % |
1003.06/1003.02 c | 323345 | 1205 117566 500149 | 81039 64447 84 | 0.000 % |
1004.46/1004.47 c | 323838 | 1205 117566 500149 | 81039 64940 84 | 0.000 % |
1006.46/1006.43 c | 324381 | 1205 117566 500149 | 81039 65483 84 | 0.000 % |
1008.86/1008.85 c | 324978 | 1205 117566 500149 | 81039 66080 84 | 0.000 % |
1011.26/1011.29 c | 325633 | 1205 117566 500149 | 81039 66735 84 | 0.000 % |
1014.26/1014.22 c | 326353 | 1205 117566 500149 | 81039 67455 84 | 0.000 % |
1017.46/1017.48 c | 327146 | 1205 117566 500149 | 81039 68248 84 | 0.000 % |
1020.96/1021.01 c | 328017 | 1205 117566 500149 | 81039 69119 84 | 0.000 % |
1024.96/1024.94 c | 328975 | 1205 117566 500149 | 81039 70077 84 | 0.000 % |
1029.76/1029.76 c | 330030 | 1205 117566 500149 | 71107 71132 84 | 0.000 % |
1034.26/1034.24 c | 331191 | 1205 117566 500149 | 71107 62198 83 | 0.000 % |
1037.06/1037.11 c | 332464 | 1205 117566 500149 | 71107 63471 83 | 0.000 % |
1043.86/1043.83 c | 333865 | 1205 117566 500149 | 71107 64872 83 | 0.000 % |
1049.86/1049.88 c | 335405 | 1205 117566 500149 | 71107 66412 83 | 0.000 % |
1056.36/1056.35 c | 337099 | 1205 117566 500149 | 71107 68106 83 | 0.000 % |
1063.46/1063.49 c | 338962 | 1205 117566 500149 | 71107 69969 84 | 0.000 % |
1067.66/1067.67 c | 341011 | 1205 117566 500149 | 2147483647 72018 84 | 0.000 % |
1073.76/1073.75 c | 343265 | 1205 117566 500149 | 2147483647 74272 84 | 0.000 % |
1076.56/1076.59 c | 345743 | 1205 117566 500149 | 2147483647 76750 84 | 0.000 % |
1079.66/1079.67 c | 348468 | 1205 117566 500149 | 2147483647 79475 84 | 0.000 % |
1082.16/1082.21 c | 351466 | 1205 117566 500149 | 2147483647 82473 84 | 0.000 % |
1105.07/1105.05 c | 354762 | 1205 117566 500149 | 2147483647 85769 84 | 0.000 % |
1105.47/1105.46 c | 354863 | 1205 117566 500149 | 2147483647 85870 84 | 0.000 % |
1106.27/1106.26 c | 354976 | 1205 117566 500149 | 2147483647 85983 84 | 0.000 % |
1107.07/1107.09 c | 355098 | 1205 117566 500149 | 2147483647 86105 84 | 0.000 % |
1107.97/1107.92 c | 355232 | 1205 117566 500149 | 2147483647 86239 84 | 0.000 % |
1109.07/1109.02 c | 355379 | 1205 117566 500149 | 2147483647 86386 84 | 0.000 % |
1109.77/1109.82 c | 355539 | 1205 117566 500149 | 2147483647 86546 84 | 0.000 % |
1110.67/1110.72 c | 355715 | 1205 117566 500149 | 2147483647 86722 84 | 0.000 % |
1111.67/1111.66 c | 355909 | 1205 117566 500149 | 2147483647 86916 84 | 0.000 % |
1113.37/1113.34 c | 356122 | 1205 117566 500149 | 2147483647 87129 85 | 0.000 % |
1115.17/1115.12 c | 356355 | 1205 117566 500149 | 2147483647 87362 85 | 0.000 % |
1115.87/1115.90 c | 356612 | 1205 117566 500149 | 2147483647 87619 85 | 0.000 % |
1116.67/1116.71 c | 356893 | 1205 117566 500149 | 2147483647 87900 85 | 0.000 % |
1117.17/1117.21 c | 357204 | 1205 117566 500149 | 2147483647 88211 84 | 0.000 % |
1117.57/1117.53 c | 357543 | 1205 117566 500149 | 2147483647 88550 84 | 0.000 % |
1118.07/1118.07 c | 357917 | 1205 117566 500149 | 2147483647 88924 84 | 0.000 % |
1118.57/1118.59 c | 358331 | 1205 117566 500149 | 2147483647 89338 84 | 0.000 % |
1118.87/1118.85 c | 358782 | 1205 117566 500149 | 2147483647 89789 84 | 0.000 % |
1120.57/1120.54 c | 359276 | 1205 117566 500149 | 2147483647 90283 84 | 0.000 % |
1123.27/1123.22 c | 359818 | 1205 117566 500149 | 2147483647 90825 84 | 0.000 % |
1124.77/1124.73 c | 360414 | 1205 117566 500149 | 2147483647 91421 84 | 0.001 % |
1127.67/1127.69 c | 361070 | 1205 117566 500149 | 2147483647 92077 84 | 0.000 % |
1128.87/1128.85 c | 361790 | 1205 117566 500149 | 2147483647 92797 84 | 0.000 % |
1130.57/1130.58 c | 362582 | 1205 117566 500149 | 2147483647 93589 84 | 0.000 % |
1132.57/1132.53 c | 363453 | 1205 117566 500149 | 2147483647 94460 84 | 0.000 % |
1134.57/1134.59 c | 364412 | 1205 117566 500149 | 2147483647 95419 84 | 0.000 % |
1136.57/1136.56 c | 365465 | 1205 117566 500149 | 2147483647 96472 84 | 0.000 % |
1138.07/1138.10 c | 366623 | 1205 117566 500149 | 2147483647 97630 84 | 0.000 % |
1138.77/1138.72 c | 367896 | 1205 117566 500149 | 2147483647 98903 85 | 0.000 % |
1139.57/1139.53 c | 369296 | 1205 117566 500149 | 2147483647 100303 85 | 0.000 % |
1140.57/1140.61 c | 370837 | 1205 117566 500149 | 2147483647 101844 85 | 0.000 % |
1141.67/1141.70 c | 372531 | 1205 117566 500149 | 2147483647 103538 85 | 0.000 % |
1144.67/1144.65 c | 374395 | 1205 117566 500149 | 2147483647 105402 85 | 0.000 % |
1146.97/1146.94 c | 376445 | 1205 117566 500149 | 2147483647 107452 85 | 0.000 % |
1149.57/1149.56 c | 378699 | 1205 117566 500149 | 2147483647 109706 85 | 0.000 % |
1151.67/1151.71 c | 381180 | 1205 117566 500149 | 2147483647 112187 85 | 0.000 % |
1154.47/1154.48 c | 383905 | 1205 117566 500149 | 2147483647 114912 85 | 0.000 % |
1157.17/1157.15 c | 386902 | 1205 117566 500149 | 2147483647 117909 85 | 0.000 % |
1159.97/1159.97 c | 390199 | 1205 117566 500149 | 2147483647 121206 85 | 0.000 % |
1162.97/1162.92 c | 393824 | 1205 117566 500149 | 2147483647 124831 85 | 0.000 % |
1163.07/1163.05 c | 393924 | 1205 117566 500149 | 2147483647 124931 85 | 0.000 % |
1163.17/1163.12 c | 394036 | 1205 117566 500149 | 2147483647 125043 85 | 0.000 % |
1163.27/1163.27 c | 394157 | 1205 117566 500149 | 2147483647 125164 85 | 0.000 % |
1163.37/1163.41 c | 394290 | 1205 117566 500149 | 2147483647 125297 85 | 0.000 % |
1163.57/1163.60 c | 394437 | 1205 117566 500149 | 2147483647 125444 85 | 0.000 % |
1163.77/1163.82 c | 394599 | 1205 117566 500149 | 2147483647 125606 85 | 0.000 % |
1163.97/1164.01 c | 394778 | 1205 117566 500149 | 2147483647 125785 85 | 0.000 % |
1164.17/1164.19 c | 394973 | 1205 117566 500149 | 2147483647 125980 85 | 0.000 % |
1164.47/1164.44 c | 395185 | 1205 117566 500149 | 2147483647 126192 85 | 0.000 % |
1164.67/1164.71 c | 395420 | 1205 117566 500149 | 2147483647 126427 85 | 0.000 % |
1165.07/1165.02 c | 395676 | 1205 117566 500149 | 2147483647 126683 85 | 0.000 % |
1165.37/1165.32 c | 395960 | 1205 117566 500149 | 2147483647 126967 85 | 0.000 % |
1165.67/1165.67 c | 396271 | 1205 117566 500149 | 2147483647 127278 85 | 0.000 % |
1166.17/1166.19 c | 396610 | 1205 117566 500149 | 2147483647 127617 85 | 0.000 % |
1166.77/1166.75 c | 396983 | 1205 117566 500149 | 2147483647 127990 85 | 0.000 % |
1167.37/1167.35 c | 397396 | 1205 117566 500149 | 2147483647 128403 85 | 0.000 % |
1168.07/1168.06 c | 397845 | 1205 117566 500149 | 2147483647 128852 85 | 0.000 % |
1168.67/1168.62 c | 398340 | 1205 117566 500149 | 2147483647 129347 85 | 0.000 % |
1169.07/1169.11 c | 398883 | 1205 117566 500149 | 2147483647 129890 85 | 0.000 % |
1169.97/1170.00 c | 399480 | 1205 117566 500149 | 2147483647 130487 86 | 0.000 % |
1170.97/1170.99 c | 400135 | 1205 117566 500149 | 2147483647 131142 86 | 0.000 % |
1172.07/1172.02 c | 400856 | 1205 117566 500149 | 2147483647 131863 85 | 0.000 % |
1173.37/1173.35 c | 401649 | 1205 117566 500149 | 2147483647 132656 85 | 0.000 % |
1175.37/1175.35 c | 402521 | 1205 117566 500149 | 2147483647 133528 85 | 0.000 % |
1176.77/1176.77 c | 403480 | 1205 117566 500149 | 2147483647 134487 85 | 0.000 % |
1178.57/1178.60 c | 404537 | 1205 117566 500149 | 2147483647 135544 86 | 0.000 % |
1180.27/1180.28 c | 405696 | 1205 117566 500149 | 2147483647 136703 86 | 0.000 % |
1182.07/1182.11 c | 406969 | 1205 117566 500149 | 2147483647 137976 86 | 0.000 % |
1184.07/1184.02 c | 408372 | 1205 117566 500149 | 2147483647 139379 86 | 0.000 % |
1187.07/1187.06 c | 409913 | 1205 117566 500149 | 2147483647 140920 86 | 0.000 % |
1191.47/1191.46 c | 411607 | 1205 117566 500149 | 2147483647 142614 86 | 0.000 % |
1195.17/1195.19 c | 413471 | 1205 117566 500149 | 2147483647 144478 86 | 0.000 % |
1200.07/1200.02 c | 415520 | 1205 117566 500149 | 2147483647 146527 86 | 0.000 % |
1200.07/1200.03 HOME/SatELiteGTI: line 36: 31651 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-1821802-1242567001/watcher-1821802-1242567001 -o /tmp/evaluation-result-1821802-1242567001/solver-1821802-1242567001 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821802-1242567001.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 2/97 31645
/proc/meminfo: memFree=1447952/2074464 swapFree=1949244/1959888
[pid=31645] ppid=31643 vsize=2412 CPUtime=0
/proc/31645/stat : 31645 (SatELiteGTI) S 31643 31645 16367 0 -1 4194304 367 646 0 0 0 0 0 0 25 0 1 0 1021201142 2469888 276 4294967295 134512640 135169312 3213226928 3213225464 3085594350 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31645/statm: 603 276 235 161 0 42 0
[pid=31649] ppid=31645 vsize=820 CPUtime=0
/proc/31649/stat : 31649 (SatELite_releas) R 31645 31645 16367 0 -1 4202496 88 0 0 0 0 0 0 0 25 0 1 0 1021201142 839680 24 4294967295 134512640 135223648 3215119728 3215119300 134718632 0 0 0 0 0 0 0 17 3 0 0 0
/proc/31649/statm: 238 35 27 174 0 63 0
[startup+0.085737 s]
/proc/loadavg: 1.00 1.00 1.00 2/97 31645
/proc/meminfo: memFree=1447952/2074464 swapFree=1949244/1959888
[pid=31645] ppid=31643 vsize=2412 CPUtime=0
/proc/31645/stat : 31645 (SatELiteGTI) S 31643 31645 16367 0 -1 4194304 367 646 0 0 0 0 0 0 25 0 1 0 1021201142 2469888 276 4294967295 134512640 135169312 3213226928 3213225464 3085594350 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31645/statm: 603 276 235 161 0 42 0
[pid=31649] ppid=31645 vsize=8464 CPUtime=0.09
/proc/31649/stat : 31649 (SatELite_releas) R 31645 31645 16367 0 -1 4202496 2033 0 0 0 8 1 0 0 25 0 1 0 1021201142 8667136 1969 4294967295 134512640 135223648 3215119728 3215117396 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/31649/statm: 2116 1970 72 174 0 1941 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10876
[startup+0.115735 s]
/proc/loadavg: 1.00 1.00 1.00 2/97 31645
/proc/meminfo: memFree=1447952/2074464 swapFree=1949244/1959888
[pid=31645] ppid=31643 vsize=2412 CPUtime=0
/proc/31645/stat : 31645 (SatELiteGTI) S 31643 31645 16367 0 -1 4194304 367 646 0 0 0 0 0 0 25 0 1 0 1021201142 2469888 276 4294967295 134512640 135169312 3213226928 3213225464 3085594350 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31645/statm: 603 276 235 161 0 42 0
[pid=31649] ppid=31645 vsize=9656 CPUtime=0.12
/proc/31649/stat : 31649 (SatELite_releas) R 31645 31645 16367 0 -1 4202496 2319 0 0 0 11 1 0 0 25 0 1 0 1021201142 9887744 2255 4294967295 134512640 135223648 3215119728 3215117588 134725179 0 0 0 3 0 0 0 17 3 0 0 0
/proc/31649/statm: 2414 2255 73 174 0 2239 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 12068
[startup+0.315732 s]
/proc/loadavg: 1.00 1.00 1.00 2/97 31645
/proc/meminfo: memFree=1447952/2074464 swapFree=1949244/1959888
[pid=31645] ppid=31643 vsize=2412 CPUtime=0
/proc/31645/stat : 31645 (SatELiteGTI) S 31643 31645 16367 0 -1 4194304 367 646 0 0 0 0 0 0 25 0 1 0 1021201142 2469888 276 4294967295 134512640 135169312 3213226928 3213225464 3085594350 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31645/statm: 603 276 235 161 0 42 0
[pid=31649] ppid=31645 vsize=11372 CPUtime=0.31
/proc/31649/stat : 31649 (SatELite_releas) R 31645 31645 16367 0 -1 4202496 2763 0 0 0 30 1 0 0 25 0 1 0 1021201142 11644928 2699 4294967295 134512640 135223648 3215119728 3215117728 134548215 0 0 0 3 0 0 0 17 0 0 0 0
/proc/31649/statm: 2843 2699 73 174 0 2668 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 13784
[startup+0.715706 s]
/proc/loadavg: 1.00 1.00 1.00 2/97 31645
/proc/meminfo: memFree=1447952/2074464 swapFree=1949244/1959888
[pid=31645] ppid=31643 vsize=2412 CPUtime=0
/proc/31645/stat : 31645 (SatELiteGTI) S 31643 31645 16367 0 -1 4194304 367 646 0 0 0 0 0 0 25 0 1 0 1021201142 2469888 276 4294967295 134512640 135169312 3213226928 3213225464 3085594350 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31645/statm: 603 276 235 161 0 42 0
[pid=31649] ppid=31645 vsize=14040 CPUtime=0.71
/proc/31649/stat : 31649 (SatELite_releas) R 31645 31645 16367 0 -1 4202496 3131 0 0 0 70 1 0 0 25 0 1 0 1021201142 14376960 3067 4294967295 134512640 135223648 3215119728 3215117824 134585532 0 0 0 3 0 0 0 17 0 0 0 0
/proc/31649/statm: 3510 3067 73 174 0 3335 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 16452
[startup+1.51566 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 31650
/proc/meminfo: memFree=1435428/2074464 swapFree=1949244/1959888
[pid=31645] ppid=31643 vsize=2416 CPUtime=1.04
/proc/31645/stat : 31645 (SatELiteGTI) S 31643 31645 16367 0 -1 4194304 386 3781 0 0 0 0 103 1 18 0 1 0 1021201142 2473984 277 4294967295 134512640 135169312 3213226928 3213223144 3085594350 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31645/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 2416
[startup+3.11557 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 31651
/proc/meminfo: memFree=1437164/2074464 swapFree=1949244/1959888
[pid=31645] ppid=31643 vsize=2416 CPUtime=1.04
/proc/31645/stat : 31645 (SatELiteGTI) S 31643 31645 16367 0 -1 4194304 386 3781 0 0 0 0 103 1 18 0 1 0 1021201142 2473984 277 4294967295 134512640 135169312 3213226928 3213223144 3085594350 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31645/statm: 604 277 235 161 0 43 0
[pid=31651] ppid=31645 vsize=10616 CPUtime=2.06
/proc/31651/stat : 31651 (minisat_static) R 31645 31645 16367 0 -1 4202496 2573 0 0 0 204 2 0 0 25 0 1 0 1021201248 10870784 2508 4294967295 134512640 135215339 3214236912 3214235200 134528788 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31651/statm: 2654 2508 73 172 0 2481 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 13032
[startup+6.31539 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 31651
/proc/meminfo: memFree=1434104/2074464 swapFree=1949244/1959888
[pid=31645] ppid=31643 vsize=2416 CPUtime=1.04
/proc/31645/stat : 31645 (SatELiteGTI) S 31643 31645 16367 0 -1 4194304 386 3781 0 0 0 0 103 1 18 0 1 0 1021201142 2473984 277 4294967295 134512640 135169312 3213226928 3213223144 3085594350 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31645/statm: 604 277 235 161 0 43 0
[pid=31651] ppid=31645 vsize=13156 CPUtime=5.26
/proc/31651/stat : 31651 (minisat_static) R 31645 31645 16367 0 -1 4202496 3198 0 0 0 524 2 0 0 25 0 1 0 1021201248 13471744 3133 4294967295 134512640 135215339 3214236912 3214235200 134528700 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31651/statm: 3289 3133 73 172 0 3116 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 15572
[startup+12.715 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 31651
/proc/meminfo: memFree=1430340/2074464 swapFree=1949244/1959888
[pid=31645] ppid=31643 vsize=2416 CPUtime=1.04
/proc/31645/stat : 31645 (SatELiteGTI) S 31643 31645 16367 0 -1 4194304 386 3781 0 0 0 0 103 1 18 0 1 0 1021201142 2473984 277 4294967295 134512640 135169312 3213226928 3213223144 3085594350 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31645/statm: 604 277 235 161 0 43 0
[pid=31651] ppid=31645 vsize=16844 CPUtime=11.66
/proc/31651/stat : 31651 (minisat_static) R 31645 31645 16367 0 -1 4202496 4118 0 0 0 1163 3 0 0 25 0 1 0 1021201248 17248256 4053 4294967295 134512640 135215339 3214236912 3214235200 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31651/statm: 4211 4053 73 172 0 4038 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 19260
[startup+25.5143 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 31652
/proc/meminfo: memFree=1424112/2074464 swapFree=1949244/1959888
[pid=31645] ppid=31643 vsize=2416 CPUtime=1.04
/proc/31645/stat : 31645 (SatELiteGTI) S 31643 31645 16367 0 -1 4194304 386 3781 0 0 0 0 103 1 18 0 1 0 1021201142 2473984 277 4294967295 134512640 135169312 3213226928 3213223144 3085594350 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31645/statm: 604 277 235 161 0 43 0
[pid=31651] ppid=31645 vsize=22812 CPUtime=24.46
/proc/31651/stat : 31651 (minisat_static) R 31645 31645 16367 0 -1 4202496 5603 0 0 0 2442 4 0 0 25 0 1 0 1021201248 23359488 5538 4294967295 134512640 135215339 3214236912 3214235200 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31651/statm: 5703 5538 73 172 0 5530 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 25228
[startup+51.1129 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 31655
/proc/meminfo: memFree=1413052/2074464 swapFree=1949244/1959888
[pid=31645] ppid=31643 vsize=2416 CPUtime=1.04
/proc/31645/stat : 31645 (SatELiteGTI) S 31643 31645 16367 0 -1 4194304 386 3781 0 0 0 0 103 1 18 0 1 0 1021201142 2473984 277 4294967295 134512640 135169312 3213226928 3213223144 3085594350 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31645/statm: 604 277 235 161 0 43 0
[pid=31651] ppid=31645 vsize=33900 CPUtime=50.06
/proc/31651/stat : 31651 (minisat_static) R 31645 31645 16367 0 -1 4202496 8362 0 0 0 5001 5 0 0 25 0 1 0 1021201248 34713600 8297 4294967295 134512640 135215339 3214236912 3214235200 134528700 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31651/statm: 8475 8297 73 172 0 8302 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 36316
[startup+102.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 31841
/proc/meminfo: memFree=1401296/2074464 swapFree=1949244/1959888
[pid=31645] ppid=31643 vsize=2416 CPUtime=1.04
/proc/31645/stat : 31645 (SatELiteGTI) S 31643 31645 16367 0 -1 4194304 386 3781 0 0 0 0 103 1 18 0 1 0 1021201142 2473984 277 4294967295 134512640 135169312 3213226928 3213223144 3085594350 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31645/statm: 604 277 235 161 0 43 0
[pid=31651] ppid=31645 vsize=45584 CPUtime=101.27
/proc/31651/stat : 31651 (minisat_static) R 31645 31645 16367 0 -1 4202496 11208 0 0 0 10119 8 0 0 25 0 1 0 1021201248 46678016 11143 4294967295 134512640 135215339 3214236912 3214235200 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31651/statm: 11396 11143 73 172 0 11223 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 48000
[startup+162.307 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 32029
/proc/meminfo: memFree=1392268/2074464 swapFree=1949244/1959888
[pid=31645] ppid=31643 vsize=2416 CPUtime=1.04
/proc/31645/stat : 31645 (SatELiteGTI) S 31643 31645 16367 0 -1 4194304 386 3781 0 0 0 0 103 1 18 0 1 0 1021201142 2473984 277 4294967295 134512640 135169312 3213226928 3213223144 3085594350 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31645/statm: 604 277 235 161 0 43 0
[pid=31651] ppid=31645 vsize=54804 CPUtime=161.26
/proc/31651/stat : 31651 (minisat_static) R 31645 31645 16367 0 -1 4202496 13458 0 0 0 16113 13 0 0 25 0 1 0 1021201248 56119296 13393 4294967295 134512640 135215339 3214236912 3214235200 134528795 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31651/statm: 13701 13393 73 172 0 13528 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 57220
[startup+222.313 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 32218
/proc/meminfo: memFree=1385804/2074464 swapFree=1949244/1959888
[pid=31645] ppid=31643 vsize=2416 CPUtime=1.04
/proc/31645/stat : 31645 (SatELiteGTI) S 31643 31645 16367 0 -1 4194304 386 3781 0 0 0 0 103 1 18 0 1 0 1021201142 2473984 277 4294967295 134512640 135169312 3213226928 3213223144 3085594350 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31645/statm: 604 277 235 161 0 43 0
[pid=31651] ppid=31645 vsize=60980 CPUtime=221.27
/proc/31651/stat : 31651 (minisat_static) R 31645 31645 16367 0 -1 4202496 15027 0 0 0 22112 15 0 0 25 0 1 0 1021201248 62443520 14962 4294967295 134512640 135215339 3214236912 3214235200 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31651/statm: 15245 14962 73 172 0 15072 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 63396
[startup+282.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 32410
/proc/meminfo: memFree=1380604/2074464 swapFree=1949244/1959888
[pid=31645] ppid=31643 vsize=2416 CPUtime=1.04
/proc/31645/stat : 31645 (SatELiteGTI) S 31643 31645 16367 0 -1 4194304 386 3781 0 0 0 0 103 1 18 0 1 0 1021201142 2473984 277 4294967295 134512640 135169312 3213226928 3213223144 3085594350 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31645/statm: 604 277 235 161 0 43 0
[pid=31651] ppid=31645 vsize=66308 CPUtime=281.27
/proc/31651/stat : 31651 (minisat_static) R 31645 31645 16367 0 -1 4202496 16318 0 0 0 28112 15 0 0 25 0 1 0 1021201248 67899392 16253 4294967295 134512640 135215339 3214236912 3214235200 134528793 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31651/statm: 16577 16253 73 172 0 16404 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 68724
[startup+342.317 s]
/proc/loadavg: 1.00 1.00 1.00 4/99 32598
/proc/meminfo: memFree=1365088/2074464 swapFree=1949244/1959888
[pid=31645] ppid=31643 vsize=2416 CPUtime=1.04
/proc/31645/stat : 31645 (SatELiteGTI) S 31643 31645 16367 0 -1 4194304 386 3781 0 0 0 0 103 1 18 0 1 0 1021201142 2473984 277 4294967295 134512640 135169312 3213226928 3213223144 3085594350 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31645/statm: 604 277 235 161 0 43 0
[pid=31651] ppid=31645 vsize=82360 CPUtime=341.28
/proc/31651/stat : 31651 (minisat_static) R 31645 31645 16367 0 -1 4202496 20201 0 0 0 34109 19 0 0 25 0 1 0 1021201248 84336640 20136 4294967295 134512640 135215339 3214236912 3214235200 134528802 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31651/statm: 20590 20136 73 172 0 20417 0
Current children cumulated CPU time (s) 342.32
Current children cumulated vsize (KiB) 84776
[startup+402.313 s]
################
# More data... #
################
[pid=31645] ppid=31643 vsize=2416 CPUtime=1.04
/proc/31645/stat : 31645 (SatELiteGTI) S 31643 31645 16367 0 -1 4194304 386 3781 0 0 0 0 103 1 18 0 1 0 1021201142 2473984 277 4294967295 134512640 135169312 3213226928 3213223144 3085594350 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31645/statm: 604 277 235 161 0 43 0
[pid=31651] ppid=31645 vsize=93164 CPUtime=461.29
/proc/31651/stat : 31651 (minisat_static) R 31645 31645 16367 0 -1 4202496 22863 0 0 0 46107 22 0 0 25 0 1 0 1021201248 95399936 22798 4294967295 134512640 135215339 3214236912 3214235200 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31651/statm: 23291 22798 73 172 0 23118 0
Current children cumulated CPU time (s) 462.33
Current children cumulated vsize (KiB) 95580
[startup+522.306 s]
/proc/loadavg: 1.02 1.01 1.00 2/99 695
/proc/meminfo: memFree=1354052/2074464 swapFree=1949244/1959888
[pid=31645] ppid=31643 vsize=2416 CPUtime=1.04
/proc/31645/stat : 31645 (SatELiteGTI) S 31643 31645 16367 0 -1 4194304 386 3781 0 0 0 0 103 1 18 0 1 0 1021201142 2473984 277 4294967295 134512640 135169312 3213226928 3213223144 3085594350 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31645/statm: 604 277 235 161 0 43 0
[pid=31651] ppid=31645 vsize=93164 CPUtime=521.28
/proc/31651/stat : 31651 (minisat_static) R 31645 31645 16367 0 -1 4202496 22872 0 0 0 52106 22 0 0 25 0 1 0 1021201248 95399936 22807 4294967295 134512640 135215339 3214236912 3214235200 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31651/statm: 23291 22807 73 172 0 23118 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 95580
[startup+582.313 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 888
/proc/meminfo: memFree=1354176/2074464 swapFree=1949244/1959888
[pid=31645] ppid=31643 vsize=2416 CPUtime=1.04
/proc/31645/stat : 31645 (SatELiteGTI) S 31643 31645 16367 0 -1 4194304 386 3781 0 0 0 0 103 1 18 0 1 0 1021201142 2473984 277 4294967295 134512640 135169312 3213226928 3213223144 3085594350 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31645/statm: 604 277 235 161 0 43 0
[pid=31651] ppid=31645 vsize=93164 CPUtime=581.29
/proc/31651/stat : 31651 (minisat_static) R 31645 31645 16367 0 -1 4202496 22881 0 0 0 58107 22 0 0 25 0 1 0 1021201248 95399936 22816 4294967295 134512640 135215339 3214236912 3214235200 134528776 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31651/statm: 23291 22816 73 172 0 23118 0
Current children cumulated CPU time (s) 582.33
Current children cumulated vsize (KiB) 95580
[startup+642.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 1089
/proc/meminfo: memFree=1350356/2074464 swapFree=1949244/1959888
[pid=31645] ppid=31643 vsize=2416 CPUtime=1.04
/proc/31645/stat : 31645 (SatELiteGTI) S 31643 31645 16367 0 -1 4194304 386 3781 0 0 0 0 103 1 18 0 1 0 1021201142 2473984 277 4294967295 134512640 135169312 3213226928 3213223144 3085594350 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31645/statm: 604 277 235 161 0 43 0
[pid=31651] ppid=31645 vsize=97016 CPUtime=641.29
/proc/31651/stat : 31651 (minisat_static) R 31645 31645 16367 0 -1 4202496 23861 0 0 0 64107 22 0 0 25 0 1 0 1021201248 99344384 23796 4294967295 134512640 135215339 3214236912 3214235200 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31651/statm: 24254 23796 73 172 0 24081 0
Current children cumulated CPU time (s) 642.33
Current children cumulated vsize (KiB) 99432
[startup+702.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 1275
/proc/meminfo: memFree=1350224/2074464 swapFree=1949244/1959888
[pid=31645] ppid=31643 vsize=2416 CPUtime=1.04
/proc/31645/stat : 31645 (SatELiteGTI) S 31643 31645 16367 0 -1 4194304 386 3781 0 0 0 0 103 1 18 0 1 0 1021201142 2473984 277 4294967295 134512640 135169312 3213226928 3213223144 3085594350 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31645/statm: 604 277 235 161 0 43 0
[pid=31651] ppid=31645 vsize=97016 CPUtime=701.29
/proc/31651/stat : 31651 (minisat_static) R 31645 31645 16367 0 -1 4202496 23870 0 0 0 70107 22 0 0 25 0 1 0 1021201248 99344384 23805 4294967295 134512640 135215339 3214236912 3214235200 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31651/statm: 24254 23805 73 172 0 24081 0
Current children cumulated CPU time (s) 702.33
Current children cumulated vsize (KiB) 99432
[startup+762.323 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 1463
/proc/meminfo: memFree=1350224/2074464 swapFree=1949244/1959888
[pid=31645] ppid=31643 vsize=2416 CPUtime=1.04
/proc/31645/stat : 31645 (SatELiteGTI) S 31643 31645 16367 0 -1 4194304 386 3781 0 0 0 0 103 1 18 0 1 0 1021201142 2473984 277 4294967295 134512640 135169312 3213226928 3213223144 3085594350 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31645/statm: 604 277 235 161 0 43 0
[pid=31651] ppid=31645 vsize=97016 CPUtime=761.31
/proc/31651/stat : 31651 (minisat_static) R 31645 31645 16367 0 -1 4202496 23871 0 0 0 76109 22 0 0 25 0 1 0 1021201248 99344384 23806 4294967295 134512640 135215339 3214236912 3214235200 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31651/statm: 24254 23806 73 172 0 24081 0
Current children cumulated CPU time (s) 762.35
Current children cumulated vsize (KiB) 99432
[startup+822.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 1652
/proc/meminfo: memFree=1350124/2074464 swapFree=1949244/1959888
[pid=31645] ppid=31643 vsize=2416 CPUtime=1.04
/proc/31645/stat : 31645 (SatELiteGTI) S 31643 31645 16367 0 -1 4194304 386 3781 0 0 0 0 103 1 18 0 1 0 1021201142 2473984 277 4294967295 134512640 135169312 3213226928 3213223144 3085594350 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31645/statm: 604 277 235 161 0 43 0
[pid=31651] ppid=31645 vsize=97016 CPUtime=821.31
/proc/31651/stat : 31651 (minisat_static) R 31645 31645 16367 0 -1 4202496 23883 0 0 0 82109 22 0 0 25 0 1 0 1021201248 99344384 23818 4294967295 134512640 135215339 3214236912 3214235200 134528793 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31651/statm: 24254 23818 73 172 0 24081 0
Current children cumulated CPU time (s) 822.35
Current children cumulated vsize (KiB) 99432
[startup+882.316 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 1840
/proc/meminfo: memFree=1350000/2074464 swapFree=1949244/1959888
[pid=31645] ppid=31643 vsize=2416 CPUtime=1.04
/proc/31645/stat : 31645 (SatELiteGTI) S 31643 31645 16367 0 -1 4194304 386 3781 0 0 0 0 103 1 18 0 1 0 1021201142 2473984 277 4294967295 134512640 135169312 3213226928 3213223144 3085594350 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31645/statm: 604 277 235 161 0 43 0
[pid=31651] ppid=31645 vsize=97260 CPUtime=881.31
/proc/31651/stat : 31651 (minisat_static) R 31645 31645 16367 0 -1 4202496 23926 0 0 0 88109 22 0 0 25 0 1 0 1021201248 99594240 23861 4294967295 134512640 135215339 3214236912 3214235200 134528784 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31651/statm: 24315 23861 73 172 0 24142 0
Current children cumulated CPU time (s) 882.35
Current children cumulated vsize (KiB) 99676
[startup+942.313 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 2032
/proc/meminfo: memFree=1349728/2074464 swapFree=1949244/1959888
[pid=31645] ppid=31643 vsize=2416 CPUtime=1.04
/proc/31645/stat : 31645 (SatELiteGTI) S 31643 31645 16367 0 -1 4194304 386 3781 0 0 0 0 103 1 18 0 1 0 1021201142 2473984 277 4294967295 134512640 135169312 3213226928 3213223144 3085594350 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31645/statm: 604 277 235 161 0 43 0
[pid=31651] ppid=31645 vsize=97260 CPUtime=941.31
/proc/31651/stat : 31651 (minisat_static) R 31645 31645 16367 0 -1 4202496 23926 0 0 0 94107 24 0 0 25 0 1 0 1021201248 99594240 23861 4294967295 134512640 135215339 3214236912 3214235200 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31651/statm: 24315 23861 73 172 0 24142 0
Current children cumulated CPU time (s) 942.35
Current children cumulated vsize (KiB) 99676
[startup+1002.32 s]
/proc/loadavg: 1.15 1.03 1.01 3/99 2218
/proc/meminfo: memFree=1349868/2074464 swapFree=1949244/1959888
[pid=31645] ppid=31643 vsize=2416 CPUtime=1.04
/proc/31645/stat : 31645 (SatELiteGTI) S 31643 31645 16367 0 -1 4194304 386 3781 0 0 0 0 103 1 18 0 1 0 1021201142 2473984 277 4294967295 134512640 135169312 3213226928 3213223144 3085594350 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31645/statm: 604 277 235 161 0 43 0
[pid=31651] ppid=31645 vsize=97260 CPUtime=1001.32
/proc/31651/stat : 31651 (minisat_static) R 31645 31645 16367 0 -1 4202496 23928 0 0 0 100108 24 0 0 25 0 1 0 1021201248 99594240 23863 4294967295 134512640 135215339 3214236912 3214235200 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31651/statm: 24315 23863 73 172 0 24142 0
Current children cumulated CPU time (s) 1002.36
Current children cumulated vsize (KiB) 99676
[startup+1062.32 s]
/proc/loadavg: 1.06 1.03 1.00 3/99 2406
/proc/meminfo: memFree=1349860/2074464 swapFree=1949244/1959888
[pid=31645] ppid=31643 vsize=2416 CPUtime=1.04
/proc/31645/stat : 31645 (SatELiteGTI) S 31643 31645 16367 0 -1 4194304 386 3781 0 0 0 0 103 1 18 0 1 0 1021201142 2473984 277 4294967295 134512640 135169312 3213226928 3213223144 3085594350 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31645/statm: 604 277 235 161 0 43 0
[pid=31651] ppid=31645 vsize=97260 CPUtime=1061.32
/proc/31651/stat : 31651 (minisat_static) R 31645 31645 16367 0 -1 4202496 23933 0 0 0 106108 24 0 0 25 0 1 0 1021201248 99594240 23868 4294967295 134512640 135215339 3214236912 3214235200 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31651/statm: 24315 23868 73 172 0 24142 0
Current children cumulated CPU time (s) 1062.36
Current children cumulated vsize (KiB) 99676
[startup+1122.32 s]
/proc/loadavg: 1.02 1.02 1.00 2/99 2602
/proc/meminfo: memFree=1349132/2074464 swapFree=1949244/1959888
[pid=31645] ppid=31643 vsize=2416 CPUtime=1.04
/proc/31645/stat : 31645 (SatELiteGTI) S 31643 31645 16367 0 -1 4194304 386 3781 0 0 0 0 103 1 18 0 1 0 1021201142 2473984 277 4294967295 134512640 135169312 3213226928 3213223144 3085594350 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31645/statm: 604 277 235 161 0 43 0
[pid=31651] ppid=31645 vsize=98236 CPUtime=1121.33
/proc/31651/stat : 31651 (minisat_static) R 31645 31645 16367 0 -1 4202496 24143 0 0 0 112109 24 0 0 25 0 1 0 1021201248 100593664 24078 4294967295 134512640 135215339 3214236912 3214235200 134528788 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31651/statm: 24559 24078 73 172 0 24386 0
Current children cumulated CPU time (s) 1122.37
Current children cumulated vsize (KiB) 100652
[startup+1182.32 s]
/proc/loadavg: 1.05 1.03 1.00 3/99 2797
/proc/meminfo: memFree=1348868/2074464 swapFree=1949244/1959888
[pid=31645] ppid=31643 vsize=2416 CPUtime=1.04
/proc/31645/stat : 31645 (SatELiteGTI) S 31643 31645 16367 0 -1 4194304 386 3781 0 0 0 0 103 1 18 0 1 0 1021201142 2473984 277 4294967295 134512640 135169312 3213226928 3213223144 3085594350 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31645/statm: 604 277 235 161 0 43 0
[pid=31651] ppid=31645 vsize=98564 CPUtime=1181.33
/proc/31651/stat : 31651 (minisat_static) R 31645 31645 16367 0 -1 4202496 24220 0 0 0 118109 24 0 0 25 0 1 0 1021201248 100929536 24155 4294967295 134512640 135215339 3214236912 3214235200 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31651/statm: 24641 24155 73 172 0 24468 0
Current children cumulated CPU time (s) 1182.37
Current children cumulated vsize (KiB) 100980
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.02 s]
/proc/loadavg: 1.03 1.03 1.00 3/99 2798
/proc/meminfo: memFree=1348868/2074464 swapFree=1949244/1959888
[pid=31645] ppid=31643 vsize=2416 CPUtime=1.04
/proc/31645/stat : 31645 (SatELiteGTI) S 31643 31645 16367 0 -1 4194304 386 3781 0 0 0 0 103 1 18 0 1 0 1021201142 2473984 277 4294967295 134512640 135169312 3213226928 3213223144 3085594350 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/31645/statm: 604 277 235 161 0 43 0
[pid=31651] ppid=31645 vsize=98564 CPUtime=1199.03
/proc/31651/stat : 31651 (minisat_static) R 31645 31645 16367 0 -1 4202496 24221 0 0 0 119879 24 0 0 25 0 1 0 1021201248 100929536 24156 4294967295 134512640 135215339 3214236912 3214225652 134743406 0 0 0 3 0 0 0 17 2 0 0 0
/proc/31651/statm: 24641 24156 73 172 0 24468 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 100980
Sending SIGTERM to process tree (bottom up)
Solver just ended. D
Child status: 143
Real time (s): 1200.04
CPU time (s): 1200.09
CPU user time (s): 1199.82
CPU system time (s): 0.27
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 100980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.82
system time used= 0.27
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28666
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= 22
involuntary context switches= 710
runsolver used 0.02 second user time and 0.04 second system time
The end
Begin job on tipi11 at 2009-05-17 15:30:01
IDJOB=1821802
IDBENCH=71092
IDSOLVER=657
FILE ID=tipi11/1821802-1242567001
PBS_JOBID=
Free space on /tmp= 9534 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_12_UNKNOWN.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821802-1242567001/watcher-1821802-1242567001 -o /tmp/evaluation-result-1821802-1242567001/solver-1821802-1242567001 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821802-1242567001.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= d18a114d646a89f18fb3efba2be009e6
RANDOM SEED= 615673709
Linux tipi11 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.431
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.40
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.431
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.431
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.79
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.431
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: 1447952 kB
Buffers: 37440 kB
Cached: 499580 kB
SwapCached: 5248 kB
Active: 279904 kB
Inactive: 268996 kB
HighTotal: 1178688 kB
HighFree: 665520 kB
LowTotal: 895776 kB
LowFree: 782432 kB
SwapTotal: 1959888 kB
SwapFree: 1949244 kB
Dirty: 3468 kB
Writeback: 68 kB
AnonPages: 11056 kB
Mapped: 5104 kB
Slab: 68196 kB
PageTables: 660 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 97132 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 9534 MiB
End job on tipi11 at 2009-05-17 15:50:02