0.00/0.00 c Parsing...
0.00/0.11 c ==============================================================================
0.00/0.11 c | | ORIGINAL | LEARNT | |
0.00/0.11 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.11 c ==============================================================================
0.00/0.11 c | 0 | 155712 523920 | 46713 0 0 nan | 0.000 % |
1.09/1.12 c | 0 | 155623 523760 | -- 0 -- -- | -- | -89/-160
1.09/1.12 c ==============================================================================
1.09/1.12 c Result : #vars: 12534 #clauses: 155623 #literals: 523760
1.09/1.12 c CPU time: 1.09083 s
1.09/1.12 c ==============================================================================
1.18/1.27 c This is MiniSat 2.0 beta
1.18/1.27 c WARNING: for repeatability, setting FPU to use double precision
1.18/1.27 c ============================[ Problem Statistics ]=============================
1.18/1.27 c | |
1.18/1.28 c | Number of variables: 12534 |
1.18/1.28 c | Number of clauses: 155623 |
1.26/1.37 c | Parsing time: 0.09 s |
1.26/1.38 c ============================[ Search Statistics ]==============================
1.26/1.38 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.26/1.38 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.26/1.38 c ===============================================================================
1.26/1.38 c | 0 | 12534 155623 523760 | 51874 0 nan | 0.000 % |
1.26/1.39 c | 100 | 12534 155623 523760 | 51874 100 183 | 0.000 % |
1.26/1.42 c | 201 | 12534 155623 523760 | 51874 201 149 | 0.000 % |
1.26/1.43 c | 306 | 12534 155623 523760 | 51874 306 148 | 0.000 % |
1.26/1.44 c | 418 | 12534 155623 523760 | 51874 418 146 | 0.000 % |
1.26/1.45 c | 519 | 12534 155623 523760 | 51874 519 147 | 0.000 % |
1.26/1.51 c | 629 | 12534 155623 523760 | 51874 629 134 | 0.000 % |
1.26/1.62 c | 752 | 12534 155623 523760 | 51874 752 129 | 0.000 % |
1.26/1.64 c | 852 | 12534 155623 523760 | 51874 852 136 | 0.000 % |
1.26/1.65 c | 962 | 12534 155623 523760 | 51874 962 139 | 0.000 % |
1.26/1.66 c | 1084 | 12534 155623 523760 | 51874 1084 142 | 0.000 % |
1.26/1.68 c | 1218 | 12534 155623 523760 | 51874 1218 151 | 0.000 % |
1.26/1.69 c | 1320 | 12534 155623 523760 | 51874 1320 151 | 0.000 % |
1.26/1.70 c | 1430 | 12534 155623 523760 | 51874 1430 151 | 0.000 % |
1.26/1.71 c | 1552 | 12534 155623 523760 | 51874 1552 155 | 0.000 % |
1.26/1.76 c | 1685 | 12534 155623 523760 | 51874 1685 156 | 0.000 % |
1.26/1.79 c | 1832 | 12534 155623 523760 | 51874 1832 155 | 0.000 % |
1.26/1.81 c | 1933 | 12534 155623 523760 | 51874 1933 159 | 0.000 % |
1.26/1.82 c | 2043 | 12534 155623 523760 | 51874 2043 160 | 0.000 % |
1.26/1.83 c | 2165 | 12534 155623 523760 | 51874 2165 161 | 0.000 % |
1.26/1.86 c | 2298 | 12534 155623 523760 | 51874 2298 160 | 0.000 % |
1.26/2.00 c | 2444 | 12534 155623 523760 | 51874 2444 154 | 0.000 % |
1.26/2.04 c | 2604 | 12534 155623 523760 | 51874 2604 157 | 0.000 % |
1.26/2.06 c | 2704 | 12534 155623 523760 | 51874 2704 157 | 0.000 % |
2.07/2.18 c | 2815 | 12534 155623 523760 | 51874 2815 154 | 0.000 % |
2.17/2.21 c | 2936 | 12534 155623 523760 | 51874 2936 156 | 0.000 % |
2.17/2.23 c | 3070 | 12534 155623 523760 | 51874 3070 160 | 0.000 % |
2.17/2.24 c | 3217 | 12534 155623 523760 | 51874 3217 160 | 0.000 % |
2.17/2.26 c | 3377 | 12534 155623 523760 | 51874 3377 162 | 0.000 % |
2.17/2.28 c | 3554 | 12534 155623 523760 | 51874 3554 163 | 0.000 % |
2.17/2.29 c | 3654 | 12534 155623 523760 | 51874 3654 163 | 0.000 % |
2.27/2.36 c | 3764 | 12534 155623 523760 | 51874 3764 160 | 0.000 % |
2.37/2.46 c | 3887 | 12534 155623 523760 | 51874 3887 158 | 0.000 % |
2.37/2.48 c | 4020 | 12534 155623 523760 | 51874 4020 159 | 0.000 % |
2.47/2.52 c | 4167 | 12534 155623 523760 | 51874 4167 157 | 0.000 % |
2.47/2.54 c | 4327 | 12534 155623 523760 | 51874 4327 158 | 0.000 % |
2.47/2.57 c | 4504 | 12534 155623 523760 | 51874 4504 158 | 0.000 % |
2.47/2.59 c | 4698 | 12534 155623 523760 | 51874 4698 159 | 0.000 % |
2.57/2.60 c | 4798 | 12534 155623 523760 | 51874 4798 158 | 0.000 % |
2.57/2.61 c | 4908 | 12534 155623 523760 | 51874 4908 159 | 0.000 % |
2.57/2.63 c | 5030 | 12534 155623 523760 | 51874 5030 160 | 0.000 % |
2.57/2.65 c | 5166 | 12534 155623 523760 | 51874 5166 161 | 0.000 % |
2.57/2.66 c | 5314 | 12534 155623 523760 | 51874 5314 161 | 0.000 % |
2.57/2.68 c | 5474 | 12534 155623 523760 | 51874 5474 161 | 0.000 % |
2.67/2.74 c | 5651 | 12534 155623 523760 | 51874 5651 160 | 0.000 % |
2.77/2.85 c | 5845 | 12534 155623 523760 | 51874 5845 160 | 0.000 % |
2.97/3.04 c | 6057 | 12534 155623 523760 | 51874 6057 157 | 0.000 % |
3.07/3.16 c | 6157 | 12534 155623 523760 | 51874 6157 155 | 0.000 % |
3.17/3.27 c | 6267 | 12534 155623 523760 | 51874 6267 154 | 0.000 % |
3.27/3.39 c | 6388 | 12534 155623 523760 | 51874 6388 152 | 0.000 % |
3.47/3.56 c | 6521 | 12534 155623 523760 | 51874 6521 150 | 0.000 % |
3.67/3.71 c | 6667 | 12534 155623 523760 | 51874 6667 148 | 0.000 % |
3.77/3.89 c | 6827 | 12534 155623 523760 | 51874 6827 146 | 0.000 % |
3.97/4.07 c | 7003 | 12534 155623 523760 | 51874 7003 145 | 0.000 % |
4.17/4.22 c | 7197 | 12534 155623 523760 | 51874 7197 143 | 0.000 % |
4.37/4.49 c | 7409 | 12534 155623 523760 | 51874 7409 141 | 0.000 % |
4.57/4.68 c | 7642 | 12534 155623 523760 | 51874 7642 138 | 0.000 % |
4.76/4.80 c | 7742 | 12534 155623 523760 | 51874 7742 137 | 0.000 % |
4.86/4.94 c | 7852 | 12534 155623 523760 | 51874 7852 136 | 0.000 % |
4.96/5.08 c | 7973 | 12534 155623 523760 | 51874 7973 135 | 0.000 % |
5.17/5.27 c | 8106 | 12534 155623 523760 | 51874 8106 134 | 0.000 % |
5.37/5.44 c | 8252 | 12534 155623 523760 | 51874 8252 133 | 0.000 % |
5.57/5.65 c | 8412 | 12534 155623 523760 | 51874 8412 131 | 0.000 % |
5.67/5.79 c | 8588 | 12534 155623 523760 | 51874 8588 130 | 0.000 % |
5.76/5.90 c | 8783 | 12534 155623 523760 | 51874 8783 131 | 0.000 % |
6.06/6.18 c | 8996 | 12534 155623 523760 | 51874 8996 130 | 0.000 % |
6.36/6.41 c | 9229 | 12534 155623 523760 | 51874 9229 128 | 0.000 % |
6.66/6.73 c | 9485 | 12534 155623 523760 | 51874 9485 126 | 0.000 % |
6.76/6.83 c | 9585 | 12534 155623 523760 | 51874 9585 125 | 0.000 % |
6.86/6.97 c | 9696 | 12534 155623 523760 | 51874 9696 125 | 0.000 % |
6.96/7.08 c | 9817 | 12534 155623 523760 | 51874 9817 124 | 0.000 % |
7.16/7.24 c | 9950 | 12534 155623 523760 | 51874 9950 124 | 0.000 % |
7.26/7.38 c | 10096 | 12534 155623 523760 | 2147483647 10096 123 | 0.000 % |
7.46/7.57 c | 10256 | 12534 155623 523760 | 2147483647 10256 122 | 0.000 % |
7.76/7.82 c | 10432 | 12534 155623 523760 | 2147483647 10432 121 | 0.000 % |
7.96/8.01 c | 10625 | 12534 155623 523760 | 2147483647 10625 119 | 0.000 % |
8.17/8.25 c | 10837 | 12534 155623 523760 | 2147483647 10837 119 | 0.000 % |
8.47/8.51 c | 11071 | 12534 155623 523760 | 2147483647 11071 117 | 0.000 % |
8.67/8.78 c | 11329 | 12534 155623 523760 | 2147483647 11329 117 | 0.000 % |
9.07/9.12 c | 11610 | 12534 155623 523760 | 2147483647 11610 115 | 0.000 % |
9.17/9.27 c | 11710 | 12534 155623 523760 | 2147483647 11710 115 | 0.000 % |
9.37/9.42 c | 11820 | 12534 155623 523760 | 2147483647 11820 114 | 0.000 % |
9.47/9.56 c | 11941 | 12534 155623 523760 | 2147483647 11941 114 | 0.000 % |
9.67/9.72 c | 12074 | 12534 155623 523760 | 2147483647 12074 113 | 0.000 % |
9.77/9.90 c | 12223 | 12534 155623 523760 | 2147483647 12223 113 | 0.000 % |
10.07/10.10 c | 12383 | 12534 155623 523760 | 2147483647 12383 112 | 0.000 % |
10.17/10.27 c | 12560 | 12534 155623 523760 | 2147483647 12560 111 | 0.000 % |
10.37/10.44 c | 12754 | 12534 155623 523760 | 2147483647 12754 111 | 0.000 % |
10.67/10.71 c | 12966 | 12534 155623 523760 | 2147483647 12966 111 | 0.000 % |
10.97/11.01 c | 13200 | 12534 155623 523760 | 2147483647 13200 110 | 0.000 % |
11.27/11.33 c | 13456 | 12534 155623 523760 | 2147483647 13456 109 | 0.000 % |
11.57/11.62 c | 13737 | 12534 155623 523760 | 2147483647 13737 108 | 0.000 % |
11.87/11.93 c | 14046 | 12534 155623 523760 | 2147483647 14046 108 | 0.000 % |
11.97/12.05 c | 14146 | 12534 155623 523760 | 2147483647 14146 108 | 0.000 % |
12.17/12.20 c | 14256 | 12534 155623 523760 | 2147483647 14256 107 | 0.000 % |
12.27/12.32 c | 14377 | 12534 155623 523760 | 2147483647 14377 107 | 0.000 % |
12.47/12.52 c | 14510 | 12534 155623 523760 | 2147483647 14510 107 | 0.000 % |
12.57/12.67 c | 14656 | 12534 155623 523760 | 2147483647 14656 106 | 0.000 % |
12.86/12.90 c | 14816 | 12534 155623 523760 | 2147483647 14816 106 | 0.000 % |
13.07/13.11 c | 14992 | 12534 155623 523760 | 2147483647 14992 105 | 0.000 % |
13.26/13.35 c | 15190 | 12534 155623 523760 | 2147483647 15190 105 | 0.000 % |
13.56/13.60 c | 15403 | 12534 155623 523760 | 2147483647 15403 104 | 0.000 % |
13.76/13.87 c | 15636 | 12534 155623 523760 | 2147483647 15636 104 | 0.000 % |
14.17/14.21 c | 15892 | 12534 155623 523760 | 2147483647 15892 103 | 0.000 % |
14.56/14.63 c | 16173 | 12534 155623 523760 | 2147483647 16173 102 | 0.000 % |
14.96/15.04 c | 16483 | 12534 155623 523760 | 2147483647 16483 102 | 0.000 % |
15.37/15.45 c | 16824 | 12534 155623 523760 | 2147483647 16824 101 | 0.000 % |
15.46/15.56 c | 16924 | 12534 155623 523760 | 2147483647 16924 101 | 0.000 % |
15.66/15.70 c | 17034 | 12534 155623 523760 | 2147483647 17034 101 | 0.000 % |
15.76/15.86 c | 17157 | 12534 155623 523760 | 2147483647 17157 101 | 0.000 % |
15.96/16.03 c | 17290 | 12534 155623 523760 | 2147483647 17290 100 | 0.000 % |
16.16/16.27 c | 17436 | 12534 155623 523760 | 2147483647 17436 100 | 0.000 % |
16.36/16.46 c | 17596 | 12534 155623 523760 | 2147483647 17596 100 | 0.000 % |
16.66/16.76 c | 17773 | 12534 155623 523760 | 2147483647 17773 99 | 0.000 % |
16.96/17.05 c | 17966 | 12534 155623 523760 | 2147483647 17966 99 | 0.000 % |
17.26/17.31 c | 18180 | 12534 155623 523760 | 2147483647 18180 98 | 0.000 % |
17.46/17.56 c | 18413 | 12534 155623 523760 | 2147483647 18413 98 | 0.000 % |
17.76/17.87 c | 18669 | 12534 155623 523760 | 2147483647 18669 98 | 0.000 % |
18.16/18.29 c | 18950 | 12534 155623 523760 | 2147483647 18950 97 | 0.000 % |
18.56/18.65 c | 19259 | 12534 155623 523760 | 2147483647 19259 97 | 0.000 % |
18.96/19.06 c | 19598 | 12534 155623 523760 | 2147483647 19598 96 | 0.000 % |
19.46/19.50 c | 19970 | 12534 155623 523760 | 2147483647 19970 96 | 0.000 % |
19.56/19.66 c | 20071 | 12534 155623 523760 | 2147483647 20071 95 | 0.000 % |
19.76/19.84 c | 20181 | 12534 155623 523760 | 2147483647 20181 95 | 0.000 % |
19.96/20.01 c | 20303 | 12534 155623 523760 | 2147483647 20303 95 | 0.000 % |
20.16/20.22 c | 20436 | 12534 155623 523760 | 2147483647 20436 95 | 0.000 % |
20.26/20.40 c | 20582 | 12534 155623 523760 | 2147483647 20582 94 | 0.000 % |
20.56/20.65 c | 20742 | 12534 155623 523760 | 2147483647 20742 94 | 0.000 % |
20.86/20.91 c | 20918 | 12534 155623 523760 | 2147483647 20918 94 | 0.000 % |
21.05/21.17 c | 21111 | 12534 155623 523760 | 2147483647 21111 93 | 0.000 % |
21.45/21.53 c | 21323 | 12534 155623 523760 | 2147483647 21323 93 | 0.000 % |
21.76/21.82 c | 21556 | 12534 155623 523760 | 2147483647 21556 93 | 0.000 % |
22.16/22.25 c | 21812 | 12534 155623 523760 | 2147483647 21812 93 | 0.000 % |
22.56/22.65 c | 22093 | 12534 155623 523760 | 2147483647 22093 92 | 0.000 % |
23.06/23.12 c | 22402 | 12534 155623 523760 | 2147483647 22402 92 | 0.000 % |
23.46/23.54 c | 22741 | 12534 155623 523760 | 2147483647 22741 92 | 0.000 % |
23.96/24.04 c | 23113 | 12534 155623 523760 | 2147483647 23113 91 | 0.000 % |
24.56/24.61 c | 23522 | 12534 155623 523760 | 2147483647 23522 91 | 0.000 % |
24.66/24.75 c | 23622 | 12534 155623 523760 | 2147483647 23622 91 | 0.000 % |
24.86/24.92 c | 23732 | 12534 155623 523760 | 2147483647 23732 91 | 0.000 % |
25.06/25.12 c | 23853 | 12534 155623 523760 | 2147483647 23853 91 | 0.000 % |
25.36/25.40 c | 23987 | 12534 155623 523760 | 2147483647 23987 90 | 0.000 % |
25.46/25.58 c | 24133 | 12534 155623 523760 | 2147483647 24133 90 | 0.000 % |
25.76/25.81 c | 24293 | 12534 155623 523760 | 2147483647 24293 90 | 0.000 % |
26.06/26.12 c | 24469 | 12534 155623 523760 | 2147483647 24469 90 | 0.000 % |
26.36/26.41 c | 24662 | 12534 155623 523760 | 2147483647 24662 90 | 0.000 % |
26.66/26.76 c | 24874 | 12534 155623 523760 | 2147483647 24874 89 | 0.000 % |
27.06/27.11 c | 25108 | 12534 155623 523760 | 2147483647 25108 89 | 0.000 % |
27.46/27.50 c | 25364 | 12534 155623 523760 | 2147483647 25364 89 | 0.000 % |
27.75/27.88 c | 25645 | 12534 155623 523760 | 2147483647 25645 89 | 0.000 % |
28.35/28.45 c | 25955 | 12534 155623 523760 | 2147483647 25955 88 | 0.000 % |
28.75/28.88 c | 26294 | 12534 155623 523760 | 2147483647 26294 88 | 0.000 % |
29.35/29.43 c | 26666 | 12534 155623 523760 | 2147483647 26666 88 | 0.000 % |
29.85/29.99 c | 27075 | 12534 155623 523760 | 2147483647 27075 88 | 0.000 % |
30.55/30.65 c | 27524 | 12534 155623 523760 | 2147483647 27524 87 | 0.000 % |
30.76/30.82 c | 27624 | 12534 155623 523760 | 2147483647 27624 87 | 0.000 % |
30.85/30.98 c | 27735 | 12534 155623 523760 | 2147483647 27735 87 | 0.000 % |
31.15/31.22 c | 27857 | 12534 155623 523760 | 2147483647 27857 87 | 0.000 % |
31.35/31.42 c | 27990 | 12534 155623 523760 | 2147483647 27990 87 | 0.000 % |
31.55/31.63 c | 28136 | 12534 155623 523760 | 2147483647 28136 87 | 0.000 % |
31.75/31.86 c | 28297 | 12534 155623 523760 | 2147483647 28297 87 | 0.000 % |
32.05/32.13 c | 28473 | 12534 155623 523760 | 2147483647 28473 86 | 0.000 % |
32.25/32.39 c | 28666 | 12534 155623 523760 | 2147483647 28666 86 | 0.000 % |
32.55/32.69 c | 28878 | 12534 155623 523760 | 2147483647 28878 86 | 0.000 % |
32.95/33.05 c | 29113 | 12534 155623 523760 | 2147483647 29113 86 | 0.000 % |
33.35/33.42 c | 29369 | 12534 155623 523760 | 2147483647 29369 86 | 0.000 % |
33.65/33.75 c | 29652 | 12534 155623 523760 | 2147483647 29652 86 | 0.000 % |
34.14/34.26 c | 29961 | 12534 155623 523760 | 2147483647 29961 86 | 0.000 % |
34.65/34.70 c | 30300 | 12534 155623 523760 | 2147483647 30300 86 | 0.000 % |
35.15/35.27 c | 30672 | 12534 155623 523760 | 2147483647 30672 86 | 0.000 % |
35.75/35.84 c | 31081 | 12534 155623 523760 | 2147483647 31081 86 | 0.000 % |
36.44/36.57 c | 31530 | 12534 155623 523760 | 2147483647 31530 85 | 0.000 % |
37.14/37.27 c | 32023 | 12534 155623 523760 | 2147483647 32023 85 | 0.000 % |
37.35/37.44 c | 32123 | 12534 155623 523760 | 2147483647 32123 85 | 0.000 % |
37.54/37.66 c | 32233 | 12534 155623 523760 | 2147483647 32233 85 | 0.000 % |
37.74/37.83 c | 32354 | 12534 155623 523760 | 2147483647 32354 85 | 0.000 % |
37.94/38.06 c | 32487 | 12534 155623 523760 | 2147483647 32487 85 | 0.000 % |
38.14/38.27 c | 32634 | 12534 155623 523760 | 2147483647 32634 85 | 0.000 % |
38.45/38.53 c | 32794 | 12534 155623 523760 | 2147483647 32794 85 | 0.000 % |
38.74/38.83 c | 32970 | 12534 155623 523760 | 2147483647 32970 85 | 0.000 % |
39.04/39.13 c | 33163 | 12534 155623 523760 | 2147483647 33163 85 | 0.000 % |
39.34/39.43 c | 33375 | 12534 155623 523760 | 2147483647 33375 85 | 0.000 % |
39.74/39.84 c | 33608 | 12534 155623 523760 | 2147483647 33608 85 | 0.000 % |
40.24/40.35 c | 33864 | 12534 155623 523760 | 2147483647 33864 85 | 0.000 % |
40.64/40.77 c | 34145 | 12534 155623 523760 | 2147483647 34145 84 | 0.000 % |
41.24/41.30 c | 34454 | 12534 155623 523760 | 2147483647 34454 84 | 0.000 % |
41.54/41.60 c | 34793 | 12534 155623 523760 | 2147483647 34793 85 | 0.000 % |
42.04/42.14 c | 35165 | 12534 155623 523760 | 2147483647 35165 85 | 0.000 % |
42.53/42.66 c | 35574 | 12534 155623 523760 | 2147483647 35574 85 | 0.000 % |
43.24/43.37 c | 36023 | 12534 155623 523760 | 2147483647 36023 85 | 0.000 % |
44.04/44.11 c | 36516 | 12534 155623 523760 | 2147483647 36516 85 | 0.000 % |
44.74/44.88 c | 37058 | 12534 155623 523760 | 2147483647 37058 85 | 0.000 % |
44.94/45.05 c | 37158 | 12534 155623 523760 | 2147483647 37158 85 | 0.000 % |
45.14/45.24 c | 37268 | 12534 155623 523760 | 2147483647 37268 85 | 0.000 % |
45.34/45.46 c | 37389 | 12534 155623 523760 | 2147483647 37389 85 | 0.000 % |
45.54/45.64 c | 37522 | 12534 155623 523760 | 2147483647 37522 85 | 0.000 % |
45.74/45.83 c | 37669 | 12534 155623 523760 | 2147483647 37669 85 | 0.000 % |
46.04/46.12 c | 37829 | 12534 155623 523760 | 2147483647 37829 85 | 0.000 % |
46.34/46.41 c | 38005 | 12534 155623 523760 | 2147483647 38005 85 | 0.000 % |
46.64/46.72 c | 38198 | 12534 155623 523760 | 2147483647 38198 85 | 0.000 % |
46.94/47.07 c | 38410 | 12534 155623 523760 | 2147483647 38410 85 | 0.000 % |
47.44/47.52 c | 38643 | 12534 155623 523760 | 2147483647 38643 85 | 0.000 % |
47.84/47.92 c | 38899 | 12534 155623 523760 | 2147483647 38899 85 | 0.000 % |
48.34/48.41 c | 39180 | 12534 155623 523760 | 2147483647 39180 85 | 0.000 % |
48.84/48.93 c | 39489 | 12534 155623 523760 | 2147483647 39489 85 | 0.000 % |
49.23/49.38 c | 39829 | 12534 155623 523760 | 2147483647 39829 85 | 0.000 % |
49.93/50.03 c | 40201 | 12534 155623 523760 | 2147483647 40201 85 | 0.000 % |
50.63/50.71 c | 40610 | 12534 155623 523760 | 2147483647 40610 85 | 0.000 % |
51.23/51.35 c | 41059 | 12534 155623 523760 | 2147483647 41059 85 | 0.000 % |
52.03/52.19 c | 41552 | 12534 155623 523760 | 2147483647 41552 84 | 0.000 % |
52.93/53.10 c | 42094 | 12534 155623 523760 | 2147483647 42094 84 | 0.000 % |
53.83/53.94 c | 42690 | 12534 155623 523760 | 2147483647 42690 84 | 0.000 % |
54.03/54.11 c | 42790 | 12534 155623 523760 | 2147483647 42790 84 | 0.000 % |
54.13/54.25 c | 42900 | 12534 155623 523760 | 2147483647 42900 84 | 0.000 % |
54.33/54.47 c | 43021 | 12534 155623 523760 | 2147483647 43021 84 | 0.000 % |
54.53/54.69 c | 43154 | 12534 155623 523760 | 2147483647 43154 84 | 0.000 % |
54.83/55.00 c | 43300 | 12534 155623 523760 | 2147483647 43300 84 | 0.000 % |
55.13/55.25 c | 43461 | 12534 155623 523760 | 2147483647 43461 84 | 0.000 % |
55.44/55.56 c | 43637 | 12534 155623 523760 | 2147483647 43637 84 | 0.000 % |
55.84/55.94 c | 43830 | 12534 155623 523760 | 2147483647 43830 84 | 0.000 % |
56.14/56.24 c | 44042 | 12534 155623 523760 | 2147483647 44042 84 | 0.000 % |
56.64/56.72 c | 44276 | 12534 155623 523760 | 2147483647 44276 84 | 0.000 % |
56.94/57.09 c | 44532 | 12534 155623 523760 | 2147483647 44532 84 | 0.000 % |
57.44/57.56 c | 44813 | 12534 155623 523760 | 2147483647 44813 84 | 0.000 % |
57.84/57.99 c | 45122 | 12534 155623 523760 | 2147483647 45122 84 | 0.000 % |
58.44/58.54 c | 45461 | 12534 155623 523760 | 2147483647 45461 84 | 0.000 % |
59.14/59.21 c | 45834 | 12534 155623 523760 | 2147483647 45834 84 | 0.000 % |
59.84/59.96 c | 46243 | 12534 155623 523760 | 2147483647 46243 84 | 0.000 % |
60.63/60.73 c | 46692 | 12534 155623 523760 | 2147483647 46692 84 | 0.000 % |
61.44/61.60 c | 47185 | 12534 155623 523760 | 2147483647 47185 83 | 0.000 % |
62.43/62.59 c | 47727 | 12534 155623 523760 | 2147483647 47727 83 | 0.000 % |
63.43/63.57 c | 48324 | 12534 155623 523760 | 2147483647 48324 83 | 0.000 % |
64.63/64.74 c | 48979 | 12534 155623 523760 | 2147483647 48979 83 | 0.000 % |
64.83/64.93 c | 49081 | 12534 155623 523760 | 2147483647 49081 83 | 0.000 % |
65.03/65.10 c | 49191 | 12534 155623 523760 | 2147483647 49191 83 | 0.000 % |
65.23/65.31 c | 49312 | 12534 155623 523760 | 2147483647 49312 83 | 0.000 % |
65.33/65.49 c | 49445 | 12534 155623 523760 | 2147483647 49445 83 | 0.000 % |
65.63/65.74 c | 49591 | 12534 155623 523760 | 2147483647 49591 83 | 0.000 % |
65.93/66.07 c | 49751 | 12534 155623 523760 | 2147483647 49751 83 | 0.000 % |
66.33/66.42 c | 49927 | 12534 155623 523760 | 2147483647 49927 83 | 0.000 % |
66.63/66.76 c | 50120 | 12534 155623 523760 | 2147483647 50120 83 | 0.000 % |
67.03/67.14 c | 50332 | 12534 155623 523760 | 2147483647 50332 83 | 0.000 % |
67.43/67.53 c | 50566 | 12534 155623 523760 | 2147483647 50566 83 | 0.000 % |
67.73/67.82 c | 50822 | 12534 155623 523760 | 2147483647 50822 84 | 0.000 % |
68.13/68.25 c | 51105 | 12534 155623 523760 | 2147483647 51105 84 | 0.000 % |
68.73/68.83 c | 51414 | 12534 155623 523760 | 2147483647 51414 84 | 0.000 % |
69.42/69.51 c | 51753 | 12534 155623 523760 | 2147483647 51753 84 | 0.000 % |
70.12/70.22 c | 52125 | 12534 155623 523760 | 2147483647 52125 84 | 0.000 % |
70.92/71.00 c | 52534 | 12534 155623 523760 | 2147483647 52534 84 | 0.000 % |
71.82/71.90 c | 52983 | 12534 155623 523760 | 2147483647 52983 84 | 0.000 % |
72.62/72.72 c | 53476 | 12534 155623 523760 | 2147483647 53476 84 | 0.000 % |
73.64/73.75 c | 54018 | 12534 155623 523760 | 2147483647 54018 84 | 0.000 % |
74.64/74.75 c | 54614 | 12534 155623 523760 | 2147483647 54614 83 | 0.000 % |
75.84/75.98 c | 55271 | 12534 155623 523760 | 2147483647 55271 83 | 0.000 % |
77.22/77.36 c | 55991 | 12534 155623 523760 | 2147483647 55991 83 | 0.000 % |
77.42/77.50 c | 56091 | 12534 155623 523760 | 2147483647 56091 83 | 0.000 % |
77.72/77.80 c | 56202 | 12534 155623 523760 | 2147483647 56202 83 | 0.000 % |
77.92/78.04 c | 56323 | 12534 155623 523760 | 2147483647 56323 83 | 0.000 % |
78.12/78.29 c | 56456 | 12534 155623 523760 | 2147483647 56456 83 | 0.000 % |
78.52/78.63 c | 56602 | 12534 155623 523760 | 2147483647 56602 83 | 0.000 % |
78.82/78.96 c | 56762 | 12534 155623 523760 | 2147483647 56762 83 | 0.000 % |
79.22/79.30 c | 56938 | 12534 155623 523760 | 2147483647 56938 83 | 0.000 % |
79.52/79.68 c | 57132 | 12534 155623 523760 | 2147483647 57132 83 | 0.000 % |
79.92/80.06 c | 57344 | 12534 155623 523760 | 2147483647 57344 83 | 0.000 % |
80.32/80.49 c | 57577 | 12534 155623 523760 | 2147483647 57577 83 | 0.000 % |
80.82/80.99 c | 57833 | 12534 155623 523760 | 2147483647 57833 83 | 0.000 % |
81.42/81.55 c | 58114 | 12534 155623 523760 | 2147483647 58114 83 | 0.000 % |
82.12/82.26 c | 58423 | 12534 155623 523760 | 2147483647 58423 83 | 0.000 % |
82.82/82.98 c | 58763 | 12534 155623 523760 | 2147483647 58763 83 | 0.000 % |
83.62/83.77 c | 59135 | 12534 155623 523760 | 2147483647 59135 83 | 0.000 % |
84.42/84.56 c | 59545 | 12534 155623 523760 | 2147483647 59545 83 | 0.000 % |
85.32/85.46 c | 59996 | 12534 155623 523760 | 2147483647 59996 83 | 0.000 % |
86.22/86.35 c | 60489 | 12534 155623 523760 | 2147483647 60489 82 | 0.000 % |
87.21/87.37 c | 61031 | 12534 155623 523760 | 2147483647 61031 82 | 0.000 % |
88.41/88.50 c | 61628 | 12534 155623 523760 | 2147483647 61628 82 | 0.000 % |
89.71/89.84 c | 62283 | 12534 155623 523760 | 2147483647 62283 82 | 0.000 % |
91.11/91.29 c | 63003 | 12534 155623 523760 | 2147483647 63003 82 | 0.000 % |
92.91/93.00 c | 63795 | 12534 155623 523760 | 2147483647 63795 82 | 0.000 % |
93.11/93.22 c | 63895 | 12534 155623 523760 | 2147483647 63895 82 | 0.000 % |
93.31/93.41 c | 64005 | 12534 155623 523760 | 2147483647 64005 82 | 0.000 % |
93.51/93.67 c | 64126 | 12534 155623 523760 | 2147483647 64126 82 | 0.000 % |
93.81/93.90 c | 64260 | 12534 155623 523760 | 2147483647 64260 82 | 0.000 % |
94.11/94.24 c | 64406 | 12534 155623 523760 | 2147483647 64406 82 | 0.000 % |
94.41/94.57 c | 64566 | 12534 155623 523760 | 2147483647 64566 82 | 0.000 % |
94.81/94.94 c | 64742 | 12534 155623 523760 | 2147483647 64742 82 | 0.000 % |
95.21/95.31 c | 64935 | 12534 155623 523760 | 2147483647 64935 82 | 0.000 % |
95.52/95.69 c | 65147 | 12534 155623 523760 | 2147483647 65147 82 | 0.000 % |
96.01/96.11 c | 65380 | 12534 155623 523760 | 2147483647 65380 82 | 0.000 % |
96.51/96.60 c | 65639 | 12534 155623 523760 | 2147483647 65639 82 | 0.000 % |
97.01/97.12 c | 65921 | 12534 155623 523760 | 2147483647 65921 82 | 0.000 % |
97.61/97.74 c | 66230 | 12534 155623 523760 | 2147483647 66230 82 | 0.000 % |
98.21/98.37 c | 66569 | 12534 155623 523760 | 2147483647 66569 82 | 0.000 % |
98.91/99.09 c | 66941 | 12534 155623 523760 | 2147483647 66941 82 | 0.000 % |
99.91/100.01 c | 67350 | 12534 155623 523760 | 2147483647 67350 82 | 0.000 % |
100.71/100.82 c | 67799 | 12534 155623 523760 | 2147483647 67799 82 | 0.000 % |
101.61/101.78 c | 68292 | 12534 155623 523760 | 2147483647 68292 82 | 0.000 % |
102.91/103.04 c | 68835 | 12534 155623 523760 | 2147483647 68835 82 | 0.000 % |
104.01/104.15 c | 69431 | 12534 155623 523760 | 2147483647 69431 82 | 0.000 % |
105.42/105.51 c | 70086 | 12534 155623 523760 | 2147483647 70086 82 | 0.000 % |
106.81/106.97 c | 70806 | 12534 155623 523760 | 2147483647 70806 82 | 0.000 % |
108.61/108.72 c | 71598 | 12534 155623 523760 | 2147483647 71598 82 | 0.000 % |
110.41/110.53 c | 72469 | 12534 155623 523760 | 2147483647 72469 83 | 0.000 % |
110.61/110.75 c | 72569 | 12534 155623 523760 | 2147483647 72569 82 | 0.000 % |
110.91/111.09 c | 72679 | 12534 155623 523760 | 2147483647 72679 82 | 0.000 % |
111.21/111.38 c | 72800 | 12534 155623 523760 | 2147483647 72800 82 | 0.000 % |
111.51/111.67 c | 72933 | 12534 155623 523760 | 2147483647 72933 82 | 0.000 % |
111.91/112.04 c | 73079 | 12534 155623 523760 | 2147483647 73079 82 | 0.000 % |
112.21/112.37 c | 73239 | 12534 155623 523760 | 2147483647 73239 82 | 0.000 % |
112.61/112.70 c | 73415 | 12534 155623 523760 | 2147483647 73415 82 | 0.000 % |
113.01/113.13 c | 73608 | 12534 155623 523760 | 2147483647 73608 82 | 0.000 % |
113.41/113.57 c | 73820 | 12534 155623 523760 | 2147483647 73820 82 | 0.000 % |
113.91/114.02 c | 74053 | 12534 155623 523760 | 2147483647 74053 83 | 0.000 % |
114.40/114.58 c | 74309 | 12534 155623 523760 | 2147483647 74309 83 | 0.000 % |
115.10/115.22 c | 74590 | 12534 155623 523760 | 2147483647 74590 82 | 0.000 % |
115.70/115.83 c | 74900 | 12534 155623 523760 | 2147483647 74900 83 | 0.000 % |
116.30/116.41 c | 75239 | 12534 155623 523760 | 2147483647 75239 83 | 0.000 % |
117.01/117.19 c | 75613 | 12534 155623 523760 | 2147483647 75613 83 | 0.000 % |
117.80/117.96 c | 76022 | 12534 155623 523760 | 2147483647 76022 83 | 0.000 % |
118.80/118.99 c | 76471 | 12534 155623 523760 | 2147483647 76471 83 | 0.000 % |
120.00/120.15 c | 76964 | 12534 155623 523760 | 2147483647 76964 83 | 0.000 % |
121.20/121.36 c | 77506 | 12534 155623 523760 | 2147483647 77506 83 | 0.000 % |
122.69/122.80 c | 78102 | 12534 155623 523760 | 2147483647 78102 83 | 0.000 % |
124.09/124.25 c | 78758 | 12534 155623 523760 | 2147483647 78758 83 | 0.000 % |
125.79/125.90 c | 79478 | 12534 155623 523760 | 2147483647 79478 83 | 0.000 % |
127.59/127.80 c | 80272 | 12534 155623 523760 | 2147483647 80272 83 | 0.000 % |
129.60/129.71 c | 81143 | 12534 155623 523760 | 2147483647 81143 83 | 0.000 % |
131.80/131.93 c | 82101 | 12534 155623 523760 | 2147483647 82101 83 | 0.000 % |
131.99/132.13 c | 82201 | 12534 155623 523760 | 2147483647 82201 83 | 0.000 % |
132.19/132.40 c | 82314 | 12534 155623 523760 | 2147483647 82314 83 | 0.000 % |
132.49/132.63 c | 82436 | 12534 155623 523760 | 2147483647 82436 83 | 0.000 % |
132.79/132.93 c | 82569 | 12534 155623 523760 | 2147483647 82569 83 | 0.000 % |
133.19/133.35 c | 82715 | 12534 155623 523760 | 2147483647 82715 83 | 0.000 % |
133.49/133.64 c | 82877 | 12534 155623 523760 | 2147483647 82877 83 | 0.000 % |
133.89/134.03 c | 83053 | 12534 155623 523760 | 2147483647 83053 83 | 0.000 % |
134.39/134.51 c | 83246 | 12534 155623 523760 | 2147483647 83246 83 | 0.000 % |
134.99/135.11 c | 83458 | 12534 155623 523760 | 2147483647 83458 83 | 0.000 % |
135.49/135.65 c | 83691 | 12534 155623 523760 | 2147483647 83691 83 | 0.000 % |
136.09/136.21 c | 83949 | 12534 155623 523760 | 2147483647 83949 83 | 0.000 % |
136.69/136.82 c | 84230 | 12534 155623 523760 | 2147483647 84230 83 | 0.000 % |
137.39/137.54 c | 84539 | 12534 155623 523760 | 2147483647 84539 83 | 0.000 % |
138.09/138.26 c | 84878 | 12534 155623 523760 | 2147483647 84878 83 | 0.000 % |
138.99/139.19 c | 85250 | 12534 155623 523760 | 2147483647 85250 83 | 0.000 % |
139.78/139.98 c | 85659 | 12534 155623 523760 | 2147483647 85659 83 | 0.000 % |
140.70/140.88 c | 86108 | 12534 155623 523760 | 2147483647 86108 84 | 0.000 % |
141.80/141.99 c | 86601 | 12534 155623 523760 | 2147483647 86601 84 | 0.000 % |
143.09/143.25 c | 87143 | 12534 155623 523760 | 2147483647 87143 84 | 0.000 % |
144.69/144.81 c | 87739 | 12534 155623 523760 | 2147483647 87739 84 | 0.000 % |
146.09/146.28 c | 88394 | 12534 155623 523760 | 2147483647 88394 84 | 0.000 % |
147.79/147.99 c | 89114 | 12534 155623 523760 | 2147483647 89114 84 | 0.000 % |
149.78/149.92 c | 89906 | 12534 155623 523760 | 2147483647 89906 84 | 0.000 % |
151.78/151.94 c | 90777 | 12534 155623 523760 | 2147483647 90777 84 | 0.000 % |
153.88/154.07 c | 91736 | 12534 155623 523760 | 2147483647 91736 84 | 0.000 % |
156.38/156.59 c | 92789 | 12534 155623 523760 | 2147483647 92789 84 | 0.000 % |
156.68/156.83 c | 92889 | 12534 155623 523760 | 2147483647 92889 84 | 0.000 % |
156.88/157.09 c | 92999 | 12534 155623 523760 | 2147483647 92999 84 | 0.000 % |
157.18/157.32 c | 93120 | 12534 155623 523760 | 2147483647 93120 84 | 0.000 % |
157.48/157.60 c | 93253 | 12534 155623 523760 | 2147483647 93253 84 | 0.000 % |
157.78/157.95 c | 93400 | 12534 155623 523760 | 2147483647 93400 84 | 0.000 % |
158.18/158.31 c | 93560 | 12534 155623 523760 | 2147483647 93560 84 | 0.000 % |
158.48/158.67 c | 93736 | 12534 155623 523760 | 2147483647 93736 84 | 0.000 % |
159.08/159.23 c | 93929 | 12534 155623 523760 | 2147483647 93929 84 | 0.000 % |
159.48/159.66 c | 94141 | 12534 155623 523760 | 2147483647 94141 84 | 0.000 % |
159.88/160.08 c | 94374 | 12534 155623 523760 | 2147483647 94374 84 | 0.000 % |
160.68/160.84 c | 94630 | 12534 155623 523760 | 2147483647 94630 84 | 0.000 % |
161.38/161.55 c | 94911 | 12534 155623 523760 | 2147483647 94911 84 | 0.000 % |
162.18/162.35 c | 95221 | 12534 155623 523760 | 2147483647 95221 85 | 0.000 % |
162.98/163.19 c | 95560 | 12534 155623 523760 | 2147483647 95560 85 | 0.000 % |
163.88/164.03 c | 95933 | 12534 155623 523760 | 2147483647 95933 85 | 0.000 % |
164.88/165.03 c | 96342 | 12534 155623 523760 | 2147483647 96342 85 | 0.000 % |
165.98/166.17 c | 96791 | 12534 155623 523760 | 2147483647 96791 85 | 0.000 % |
167.17/167.36 c | 97285 | 12534 155623 523760 | 2147483647 97285 85 | 0.000 % |
168.67/168.87 c | 97827 | 12534 155623 523760 | 2147483647 97827 85 | 0.000 % |
170.26/170.41 c | 98424 | 12534 155623 523760 | 2147483647 98424 85 | 0.000 % |
172.05/172.20 c | 99079 | 12534 155623 523760 | 2147483647 99079 85 | 0.000 % |
173.85/174.05 c | 99799 | 12534 155623 523760 | 2147483647 99799 85 | 0.000 % |
175.75/175.90 c | 100591 | 12534 155623 523760 | 2147483647 100591 85 | 0.000 % |
177.85/178.08 c | 101462 | 12534 155623 523760 | 2147483647 101462 85 | 0.000 % |
180.25/180.40 c | 102420 | 12534 155623 523760 | 2147483647 102420 85 | 0.000 % |
182.75/182.98 c | 103474 | 12534 155623 523760 | 2147483647 103474 85 | 0.000 % |
185.76/185.93 c | 104632 | 12534 155623 523760 | 2147483647 104632 85 | 0.000 % |
185.96/186.17 c | 104732 | 12534 155623 523760 | 2147483647 104732 85 | 0.000 % |
186.25/186.45 c | 104842 | 12534 155623 523760 | 2147483647 104842 85 | 0.000 % |
186.55/186.71 c | 104963 | 12534 155623 523760 | 2147483647 104963 85 | 0.000 % |
186.76/186.98 c | 105096 | 12534 155623 523760 | 2147483647 105096 85 | 0.000 % |
187.15/187.38 c | 105242 | 12534 155623 523760 | 2147483647 105242 85 | 0.000 % |
187.65/187.89 c | 105402 | 12534 155623 523760 | 2147483647 105402 85 | 0.000 % |
188.15/188.35 c | 105578 | 12534 155623 523760 | 2147483647 105578 85 | 0.000 % |
188.65/188.81 c | 105771 | 12534 155623 523760 | 2147483647 105771 86 | 0.000 % |
189.25/189.42 c | 105984 | 12534 155623 523760 | 2147483647 105984 86 | 0.000 % |
189.85/190.00 c | 106219 | 12534 155623 523760 | 2147483647 106219 86 | 0.000 % |
190.45/190.68 c | 106475 | 12534 155623 523760 | 2147483647 106475 86 | 0.000 % |
191.15/191.38 c | 106756 | 12534 155623 523760 | 2147483647 106756 86 | 0.000 % |
192.05/192.21 c | 107065 | 12534 155623 523760 | 2147483647 107065 86 | 0.000 % |
192.85/193.06 c | 107404 | 12534 155623 523760 | 2147483647 107404 86 | 0.000 % |
193.85/194.02 c | 107776 | 12534 155623 523760 | 2147483647 107776 86 | 0.000 % |
194.84/195.09 c | 108185 | 12534 155623 523760 | 2147483647 108185 86 | 0.000 % |
196.34/196.51 c | 108634 | 12534 155623 523760 | 2147483647 108634 86 | 0.000 % |
197.54/197.74 c | 109127 | 12534 155623 523760 | 2147483647 109127 86 | 0.000 % |
198.95/199.12 c | 109669 | 12534 155623 523760 | 2147483647 109669 86 | 0.000 % |
200.45/200.65 c | 110265 | 12534 155623 523760 | 2147483647 110265 86 | 0.000 % |
202.15/202.32 c | 110920 | 12534 155623 523760 | 2147483647 110920 86 | 0.000 % |
203.74/203.91 c | 111640 | 12534 155623 523760 | 2147483647 111640 87 | 0.000 % |
205.84/206.05 c | 112432 | 12534 155623 523760 | 2147483647 112432 87 | 0.000 % |
207.94/208.20 c | 113303 | 12534 155623 523760 | 2147483647 113303 87 | 0.000 % |
210.65/210.87 c | 114261 | 12534 155623 523760 | 2147483647 114261 87 | 0.000 % |
213.54/213.72 c | 115314 | 12534 155623 523760 | 2147483647 115314 87 | 0.000 % |
216.93/217.18 c | 116472 | 12534 155623 523760 | 2147483647 116472 87 | 0.000 % |
219.84/220.04 c | 117745 | 12534 155623 523760 | 2147483647 117745 88 | 0.000 % |
220.13/220.31 c | 117845 | 12534 155623 523760 | 2147483647 117845 88 | 0.000 % |
220.43/220.63 c | 117956 | 12534 155623 523760 | 2147483647 117956 88 | 0.000 % |
220.63/220.89 c | 118077 | 12534 155623 523760 | 2147483647 118077 88 | 0.000 % |
221.13/221.32 c | 118210 | 12534 155623 523760 | 2147483647 118210 88 | 0.000 % |
221.53/221.79 c | 118357 | 12534 155623 523760 | 2147483647 118357 88 | 0.000 % |
222.03/222.24 c | 118517 | 12534 155623 523760 | 2147483647 118517 88 | 0.000 % |
222.53/222.75 c | 118697 | 12534 155623 523760 | 2147483647 118697 88 | 0.000 % |
223.03/223.25 c | 118890 | 12534 155623 523760 | 2147483647 118890 88 | 0.000 % |
223.73/223.92 c | 119103 | 12534 155623 523760 | 2147483647 119103 88 | 0.000 % |
224.23/224.46 c | 119337 | 12534 155623 523760 | 2147483647 119337 88 | 0.000 % |
225.03/225.28 c | 119593 | 12534 155623 523760 | 2147483647 119593 88 | 0.000 % |
225.93/226.16 c | 119874 | 12534 155623 523760 | 2147483647 119874 88 | 0.000 % |
226.73/226.98 c | 120183 | 12534 155623 523760 | 2147483647 120183 88 | 0.000 % |
227.62/227.87 c | 120522 | 12534 155623 523760 | 2147483647 120522 88 | 0.000 % |
228.63/228.81 c | 120894 | 12534 155623 523760 | 2147483647 120894 88 | 0.000 % |
229.93/230.11 c | 121303 | 12534 155623 523760 | 2147483647 121303 88 | 0.000 % |
231.23/231.49 c | 121752 | 12534 155623 523760 | 2147483647 121752 88 | 0.000 % |
232.63/232.82 c | 122246 | 12534 155623 523760 | 2147483647 122246 88 | 0.000 % |
234.13/234.34 c | 122788 | 12534 155623 523760 | 2147483647 122788 88 | 0.000 % |
235.73/235.96 c | 123384 | 12534 155623 523760 | 2147483647 123384 89 | 0.000 % |
237.62/237.86 c | 124039 | 12534 155623 523760 | 2147483647 124039 89 | 0.000 % |
239.02/239.25 c | 124759 | 12534 155623 523760 | 2147483647 124759 89 | 0.000 % |
241.22/241.48 c | 125551 | 12534 155623 523760 | 2147483647 125551 89 | 0.000 % |
243.93/244.13 c | 126422 | 12534 155623 523760 | 2147483647 126422 89 | 0.000 % |
246.82/247.03 c | 127380 | 12534 155623 523760 | 2147483647 127380 89 | 0.000 % |
249.52/249.77 c | 128433 | 12534 155623 523760 | 2147483647 128433 90 | 0.000 % |
252.72/252.92 c | 129591 | 12534 155623 523760 | 2147483647 129591 90 | 0.000 % |
256.41/256.65 c | 130864 | 12534 155623 523760 | 2147483647 130864 90 | 0.000 % |
260.61/260.87 c | 132265 | 12534 155623 523760 | 2147483647 132265 91 | 0.000 % |
260.91/261.15 c | 132368 | 12534 155623 523760 | 2147483647 132368 91 | 0.000 % |
261.22/261.41 c | 132479 | 12534 155623 523760 | 2147483647 132479 91 | 0.000 % |
261.62/261.83 c | 132600 | 12534 155623 523760 | 2147483647 132600 91 | 0.000 % |
262.02/262.26 c | 132736 | 12534 155623 523760 | 2147483647 132736 91 | 0.000 % |
262.52/262.70 c | 132882 | 12534 155623 523760 | 2147483647 132882 91 | 0.000 % |
262.91/263.18 c | 133043 | 12534 155623 523760 | 2147483647 133043 91 | 0.000 % |
263.51/263.74 c | 133219 | 12534 155623 523760 | 2147483647 133219 91 | 0.000 % |
264.11/264.40 c | 133412 | 12534 155623 523760 | 2147483647 133412 91 | 0.000 % |
264.92/265.17 c | 133625 | 12534 155623 523760 | 2147483647 133625 91 | 0.000 % |
265.71/265.94 c | 133858 | 12534 155623 523760 | 2147483647 133858 91 | 0.000 % |
266.51/266.71 c | 134114 | 12534 155623 523760 | 2147483647 134114 91 | 0.000 % |
267.31/267.51 c | 134396 | 12534 155623 523760 | 2147483647 134396 91 | 0.000 % |
268.12/268.38 c | 134706 | 12534 155623 523760 | 2147483647 134706 91 | 0.000 % |
269.11/269.39 c | 135045 | 12534 155623 523760 | 2147483647 135045 91 | 0.000 % |
270.01/270.21 c | 135418 | 12534 155623 523760 | 2147483647 135418 91 | 0.000 % |
271.31/271.55 c | 135830 | 12534 155623 523760 | 2147483647 135830 91 | 0.000 % |
272.51/272.76 c | 136279 | 12534 155623 523760 | 2147483647 136279 91 | 0.000 % |
274.00/274.26 c | 136772 | 12534 155623 523760 | 2147483647 136772 91 | 0.000 % |
275.61/275.86 c | 137315 | 12534 155623 523760 | 2147483647 137315 91 | 0.000 % |
277.31/277.57 c | 137911 | 12534 155623 523760 | 2147483647 137911 91 | 0.000 % |
279.31/279.59 c | 138566 | 12534 155623 523760 | 2147483647 138566 91 | 0.000 % |
281.41/281.61 c | 139286 | 12534 155623 523760 | 2147483647 139286 92 | 0.000 % |
283.90/284.16 c | 140078 | 12534 155623 523760 | 2147483647 140078 92 | 0.000 % |
286.80/287.02 c | 140949 | 12534 155623 523760 | 2147483647 140949 92 | 0.000 % |
289.51/289.80 c | 141908 | 12534 155623 523760 | 2147483647 141908 92 | 0.000 % |
292.90/293.15 c | 142961 | 12534 155623 523760 | 2147483647 142961 92 | 0.000 % |
296.80/297.07 c | 144119 | 12534 155623 523760 | 2147483647 144119 92 | 0.000 % |
300.90/301.11 c | 145392 | 12534 155623 523760 | 2147483647 145392 93 | 0.000 % |
305.29/305.54 c | 146792 | 12534 155623 523760 | 2147483647 146792 93 | 0.000 % |
310.09/310.30 c | 148332 | 12534 155623 523760 | 2147483647 148332 93 | 0.000 % |
310.49/310.70 c | 148432 | 12534 155623 523760 | 2147483647 148432 93 | 0.000 % |
310.79/311.08 c | 148543 | 12534 155623 523760 | 2147483647 148543 93 | 0.000 % |
311.19/311.46 c | 148664 | 12534 155623 523760 | 2147483647 148664 93 | 0.000 % |
311.59/311.89 c | 148797 | 12534 155623 523760 | 2147483647 148797 93 | 0.000 % |
312.19/312.41 c | 148944 | 12534 155623 523760 | 2147483647 148944 93 | 0.000 % |
312.69/312.93 c | 149104 | 12534 155623 523760 | 2147483647 149104 93 | 0.000 % |
313.09/313.40 c | 149280 | 12534 155623 523760 | 2147483647 149280 93 | 0.000 % |
313.89/314.14 c | 149474 | 12534 155623 523760 | 2147483647 149474 93 | 0.000 % |
314.59/314.81 c | 149686 | 12534 155623 523760 | 2147483647 149686 93 | 0.000 % |
315.39/315.63 c | 149920 | 12534 155623 523760 | 2147483647 149920 93 | 0.000 % |
316.19/316.49 c | 150178 | 12534 155623 523760 | 2147483647 150178 94 | 0.000 % |
317.09/317.32 c | 150459 | 12534 155623 523760 | 2147483647 150459 94 | 0.000 % |
318.08/318.32 c | 150768 | 12534 155623 523760 | 2147483647 150768 94 | 0.000 % |
319.18/319.45 c | 151107 | 12534 155623 523760 | 2147483647 151107 94 | 0.000 % |
320.38/320.66 c | 151479 | 12534 155623 523760 | 2147483647 151479 94 | 0.000 % |
321.78/322.07 c | 151888 | 12534 155623 523760 | 2147483647 151888 94 | 0.000 % |
322.98/323.27 c | 152337 | 12534 155623 523760 | 2147483647 152337 94 | 0.000 % |
324.58/324.89 c | 152830 | 12534 155623 523760 | 2147483647 152830 94 | 0.000 % |
326.38/326.64 c | 153372 | 12534 155623 523760 | 2147483647 153372 94 | 0.000 % |
328.38/328.66 c | 153968 | 12534 155623 523760 | 2147483647 153968 94 | 0.000 % |
330.38/330.67 c | 154623 | 12534 155623 523760 | 2147483647 154623 94 | 0.000 % |
332.88/333.16 c | 155343 | 12534 155623 523760 | 2147483647 155343 94 | 0.000 % |
335.38/335.68 c | 156136 | 12534 155623 523760 | 2147483647 156136 94 | 0.000 % |
337.98/338.30 c | 157007 | 12534 155623 523760 | 2147483647 157007 94 | 0.000 % |
341.28/341.55 c | 157965 | 12534 155623 523760 | 2147483647 157965 95 | 0.000 % |
345.08/345.34 c | 159018 | 12534 155623 523760 | 2147483647 159018 95 | 0.000 % |
348.97/349.28 c | 160176 | 12534 155623 523760 | 2147483647 160176 95 | 0.000 % |
352.77/353.10 c | 161449 | 12534 155623 523760 | 2147483647 161449 95 | 0.000 % |
357.17/357.46 c | 162849 | 12534 155623 523760 | 2147483647 162849 96 | 0.000 % |
362.37/362.65 c | 164389 | 12534 155623 523760 | 2147483647 164389 96 | 0.000 % |
368.16/368.41 c | 166083 | 12534 155623 523760 | 2147483647 166083 96 | 0.000 % |
368.46/368.71 c | 166183 | 12534 155623 523760 | 2147483647 166183 96 | 0.000 % |
368.76/369.04 c | 166293 | 12534 155623 523760 | 2147483647 166293 96 | 0.000 % |
369.06/369.34 c | 166415 | 12534 155623 523760 | 2147483647 166415 96 | 0.000 % |
369.56/369.86 c | 166548 | 12534 155623 523760 | 2147483647 166548 96 | 0.000 % |
370.15/370.43 c | 166694 | 12534 155623 523760 | 2147483647 166694 96 | 0.000 % |
370.66/370.94 c | 166855 | 12534 155623 523760 | 2147483647 166855 96 | 0.000 % |
371.36/371.68 c | 167031 | 12534 155623 523760 | 2147483647 167031 96 | 0.000 % |
372.16/372.48 c | 167224 | 12534 155623 523760 | 2147483647 167224 96 | 0.000 % |
372.96/373.23 c | 167436 | 12534 155623 523760 | 2147483647 167436 96 | 0.000 % |
373.77/374.04 c | 167669 | 12534 155623 523760 | 2147483647 167669 96 | 0.000 % |
374.66/374.92 c | 167925 | 12534 155623 523760 | 2147483647 167925 96 | 0.000 % |
375.86/376.16 c | 168206 | 12534 155623 523760 | 2147483647 168206 96 | 0.000 % |
376.96/377.30 c | 168515 | 12534 155623 523760 | 2147483647 168515 96 | 0.000 % |
378.26/378.58 c | 168854 | 12534 155623 523760 | 2147483647 168854 96 | 0.000 % |
379.76/380.07 c | 169227 | 12534 155623 523760 | 2147483647 169227 96 | 0.000 % |
381.36/381.65 c | 169636 | 12534 155623 523760 | 2147483647 169636 96 | 0.000 % |
382.75/383.03 c | 170085 | 12534 155623 523760 | 2147483647 170085 96 | 0.000 % |
384.25/384.55 c | 170578 | 12534 155623 523760 | 2147483647 170578 97 | 0.000 % |
386.25/386.58 c | 171121 | 12534 155623 523760 | 2147483647 171121 97 | 0.000 % |
388.25/388.59 c | 171717 | 12534 155623 523760 | 2147483647 171717 97 | 0.000 % |
390.65/391.00 c | 172372 | 12534 155623 523760 | 2147483647 172372 97 | 0.000 % |
393.05/393.40 c | 173092 | 12534 155623 523760 | 2147483647 173092 97 | 0.000 % |
395.65/395.92 c | 173884 | 12534 155623 523760 | 2147483647 173884 97 | 0.000 % |
398.64/398.96 c | 174755 | 12534 155623 523760 | 2147483647 174755 97 | 0.000 % |
402.04/402.36 c | 175713 | 12534 155623 523760 | 2147483647 175713 98 | 0.000 % |
405.83/406.12 c | 176767 | 12534 155623 523760 | 2147483647 176767 98 | 0.000 % |
409.94/410.24 c | 177925 | 12534 155623 523760 | 2147483647 177925 98 | 0.000 % |
414.13/414.49 c | 179199 | 12534 155623 523760 | 2147483647 179199 98 | 0.000 % |
419.04/419.35 c | 180599 | 12534 155623 523760 | 2147483647 180599 98 | 0.000 % |
424.43/424.77 c | 182139 | 12534 155623 523760 | 2147483647 182139 98 | 0.000 % |
430.43/430.79 c | 183833 | 12534 155623 523760 | 2147483647 183833 99 | 0.000 % |
437.71/438.01 c | 185696 | 12534 155623 523760 | 2147483647 185696 99 | 0.000 % |
438.01/438.32 c | 185797 | 12534 155623 523760 | 2147483647 185797 99 | 0.000 % |
438.41/438.77 c | 185908 | 12534 155623 523760 | 2147483647 185908 99 | 0.000 % |
438.71/439.08 c | 186029 | 12534 155623 523760 | 2147483647 186029 99 | 0.000 % |
439.31/439.64 c | 186162 | 12534 155623 523760 | 2147483647 186162 99 | 0.000 % |
439.81/440.15 c | 186309 | 12534 155623 523760 | 2147483647 186309 99 | 0.000 % |
440.31/440.66 c | 186471 | 12534 155623 523760 | 2147483647 186471 99 | 0.000 % |
441.11/441.41 c | 186647 | 12534 155623 523760 | 2147483647 186647 99 | 0.000 % |
441.82/442.18 c | 186840 | 12534 155623 523760 | 2147483647 186840 99 | 0.000 % |
442.51/442.81 c | 187053 | 12534 155623 523760 | 2147483647 187053 99 | 0.000 % |
443.21/443.57 c | 187286 | 12534 155623 523760 | 2147483647 187286 99 | 0.000 % |
444.11/444.47 c | 187542 | 12534 155623 523760 | 2147483647 187542 99 | 0.000 % |
445.21/445.51 c | 187824 | 12534 155623 523760 | 2147483647 187824 99 | 0.000 % |
446.31/446.67 c | 188133 | 12534 155623 523760 | 2147483647 188133 99 | 0.000 % |
447.42/447.77 c | 188473 | 12534 155623 523760 | 2147483647 188473 100 | 0.000 % |
449.01/449.34 c | 188845 | 12534 155623 523760 | 2147483647 188845 100 | 0.000 % |
450.41/450.74 c | 189255 | 12534 155623 523760 | 2147483647 189255 100 | 0.000 % |
452.01/452.34 c | 189704 | 12534 155623 523760 | 2147483647 189704 100 | 0.000 % |
453.61/453.97 c | 190197 | 12534 155623 523760 | 2147483647 190197 100 | 0.000 % |
455.31/455.65 c | 190739 | 12534 155623 523760 | 2147483647 190739 100 | 0.000 % |
457.50/457.86 c | 191335 | 12534 155623 523760 | 2147483647 191335 100 | 0.000 % |
459.30/459.67 c | 191992 | 12534 155623 523760 | 2147483647 191992 101 | 0.000 % |
461.80/462.11 c | 192712 | 12534 155623 523760 | 2147483647 192712 101 | 0.000 % |
465.00/465.38 c | 193504 | 12534 155623 523760 | 2147483647 193504 101 | 0.000 % |
468.60/468.99 c | 194375 | 12534 155623 523760 | 2147483647 194375 101 | 0.000 % |
472.21/472.59 c | 195333 | 12534 155623 523760 | 2147483647 195333 101 | 0.000 % |
476.20/476.58 c | 196388 | 12534 155623 523760 | 2147483647 196388 101 | 0.000 % |
480.30/480.62 c | 197546 | 12534 155623 523760 | 2147483647 197546 101 | 0.000 % |
485.09/485.43 c | 198819 | 12534 155623 523760 | 2147483647 198819 102 | 0.000 % |
490.38/490.70 c | 200219 | 12534 155623 523760 | 2147483647 200219 102 | 0.000 % |
496.79/497.15 c | 201759 | 12534 155623 523760 | 2147483647 201759 102 | 0.000 % |
503.49/503.83 c | 203454 | 12534 155623 523760 | 2147483647 203454 102 | 0.000 % |
510.68/511.06 c | 205317 | 12534 155623 523760 | 2147483647 205317 103 | 0.000 % |
518.67/519.08 c | 207366 | 12534 155623 523760 | 2147483647 207366 103 | 0.000 % |
519.07/519.48 c | 207466 | 12534 155623 523760 | 2147483647 207466 103 | 0.000 % |
519.37/519.78 c | 207576 | 12534 155623 523760 | 2147483647 207576 103 | 0.000 % |
519.57/519.96 c | 207697 | 12534 155623 523760 | 2147483647 207697 103 | 0.000 % |
520.07/520.49 c | 207832 | 12534 155623 523760 | 2147483647 207832 103 | 0.000 % |
520.47/520.82 c | 207978 | 12534 155623 523760 | 2147483647 207978 103 | 0.000 % |
520.97/521.38 c | 208138 | 12534 155623 523760 | 2147483647 208138 103 | 0.000 % |
521.67/522.01 c | 208314 | 12534 155623 523760 | 2147483647 208314 103 | 0.000 % |
522.38/522.76 c | 208507 | 12534 155623 523760 | 2147483647 208507 103 | 0.000 % |
523.18/523.60 c | 208719 | 12534 155623 523760 | 2147483647 208719 103 | 0.000 % |
524.17/524.51 c | 208952 | 12534 155623 523760 | 2147483647 208952 103 | 0.000 % |
525.48/525.83 c | 209208 | 12534 155623 523760 | 2147483647 209208 103 | 0.000 % |
526.57/526.96 c | 209489 | 12534 155623 523760 | 2147483647 209489 104 | 0.000 % |
527.67/528.02 c | 209798 | 12534 155623 523760 | 2147483647 209798 104 | 0.000 % |
529.06/529.48 c | 210137 | 12534 155623 523760 | 2147483647 210137 104 | 0.000 % |
530.46/530.81 c | 210509 | 12534 155623 523760 | 2147483647 210509 104 | 0.000 % |
532.15/532.53 c | 210918 | 12534 155623 523760 | 2147483647 210918 104 | 0.000 % |
533.85/534.28 c | 211367 | 12534 155623 523760 | 2147483647 211367 104 | 0.000 % |
535.76/536.10 c | 211860 | 12534 155623 523760 | 2147483647 211860 104 | 0.000 % |
537.46/537.83 c | 212402 | 12534 155623 523760 | 2147483647 212402 104 | 0.000 % |
539.66/540.06 c | 212998 | 12534 155623 523760 | 2147483647 212998 104 | 0.000 % |
542.45/542.82 c | 213654 | 12534 155623 523760 | 2147483647 213654 104 | 0.000 % |
544.95/545.39 c | 214374 | 12534 155623 523760 | 2147483647 214374 105 | 0.000 % |
548.25/548.62 c | 215166 | 12534 155623 523760 | 2147483647 215166 105 | 0.000 % |
551.35/551.79 c | 216037 | 12534 155623 523760 | 2147483647 216037 105 | 0.000 % |
554.94/555.40 c | 216995 | 12534 155623 523760 | 2147483647 216995 105 | 0.000 % |
558.94/559.35 c | 218048 | 12534 155623 523760 | 2147483647 218048 105 | 0.000 % |
563.84/564.29 c | 219206 | 12534 155623 523760 | 2147483647 219206 106 | 0.000 % |
569.24/569.70 c | 220479 | 12534 155623 523760 | 220000 220479 106 | 0.000 % |
574.73/575.18 c | 221879 | 12534 155623 523760 | 220000 197131 102 | 0.000 % |
579.43/579.89 c | 223419 | 12534 155623 523760 | 220000 198671 103 | 0.000 % |
585.63/586.08 c | 225113 | 12534 155623 523760 | 220000 200365 104 | 0.000 % |
592.53/592.99 c | 226976 | 12534 155623 523760 | 220000 202228 104 | 0.000 % |
600.12/600.53 c | 229025 | 12534 155623 523760 | 220000 204277 105 | 0.000 % |
608.82/609.22 c | 231278 | 12534 155623 523760 | 2147483647 206530 105 | 0.000 % |
609.12/609.54 c | 231378 | 12534 155623 523760 | 2147483647 206630 105 | 0.000 % |
609.52/609.92 c | 231488 | 12534 155623 523760 | 2147483647 206740 105 | 0.000 % |
610.02/610.49 c | 231609 | 12534 155623 523760 | 2147483647 206861 105 | 0.000 % |
610.62/611.04 c | 231742 | 12534 155623 523760 | 2147483647 206994 105 | 0.000 % |
611.12/611.56 c | 231888 | 12534 155623 523760 | 2147483647 207140 105 | 0.000 % |
611.72/612.12 c | 232048 | 12534 155623 523760 | 2147483647 207300 105 | 0.000 % |
612.42/612.87 c | 232224 | 12534 155623 523760 | 2147483647 207476 105 | 0.000 % |
613.23/613.63 c | 232417 | 12534 155623 523760 | 2147483647 207669 105 | 0.000 % |
614.32/614.76 c | 232629 | 12534 155623 523760 | 2147483647 207881 105 | 0.000 % |
615.22/615.65 c | 232862 | 12534 155623 523760 | 2147483647 208114 105 | 0.000 % |
616.42/616.86 c | 233119 | 12534 155623 523760 | 2147483647 208371 105 | 0.000 % |
617.42/617.83 c | 233400 | 12534 155623 523760 | 2147483647 208652 105 | 0.000 % |
618.42/618.87 c | 233709 | 12534 155623 523760 | 2147483647 208961 105 | 0.000 % |
619.72/620.18 c | 234048 | 12534 155623 523760 | 2147483647 209300 106 | 0.000 % |
620.61/621.08 c | 234420 | 12534 155623 523760 | 2147483647 209672 106 | 0.000 % |
622.01/622.50 c | 234830 | 12534 155623 523760 | 2147483647 210082 106 | 0.000 % |
623.41/623.87 c | 235279 | 12534 155623 523760 | 2147483647 210531 106 | 0.000 % |
625.11/625.57 c | 235772 | 12534 155623 523760 | 2147483647 211024 106 | 0.000 % |
627.11/627.55 c | 236314 | 12534 155623 523760 | 2147483647 211566 106 | 0.000 % |
629.31/629.76 c | 236910 | 12534 155623 523760 | 2147483647 212162 107 | 0.000 % |
632.01/632.49 c | 237565 | 12534 155623 523760 | 2147483647 212817 107 | 0.000 % |
633.31/633.74 c | 238285 | 12534 155623 523760 | 2147483647 213537 108 | 0.000 % |
636.71/637.10 c | 239077 | 12534 155623 523760 | 2147483647 214329 108 | 0.000 % |
639.81/640.25 c | 239949 | 12534 155623 523760 | 2147483647 215201 108 | 0.000 % |
643.11/643.54 c | 240907 | 12534 155623 523760 | 215256 191079 105 | 0.000 % |
647.20/647.61 c | 241960 | 12534 155623 523760 | 215256 192132 105 | 0.000 % |
651.70/652.17 c | 243118 | 12534 155623 523760 | 215256 193290 105 | 0.000 % |
656.70/657.10 c | 244391 | 12534 155623 523760 | 215256 194563 105 | 0.000 % |
661.69/662.12 c | 245791 | 12534 155623 523760 | 215256 195963 106 | 0.000 % |
666.99/667.41 c | 247331 | 12534 155623 523760 | 215256 197503 106 | 0.000 % |
673.09/673.54 c | 249027 | 12534 155623 523760 | 215256 199199 107 | 0.000 % |
680.28/680.72 c | 250890 | 12534 155623 523760 | 2147483647 201062 107 | 0.000 % |
688.48/688.91 c | 252939 | 12534 155623 523760 | 2147483647 203111 107 | 0.000 % |
697.18/697.65 c | 255193 | 12534 155623 523760 | 2147483647 205365 108 | 0.000 % |
706.97/707.49 c | 257671 | 12534 155623 523760 | 2147483647 207843 108 | 0.000 % |
707.47/707.97 c | 257771 | 12534 155623 523760 | 2147483647 207943 108 | 0.000 % |
707.97/708.49 c | 257881 | 12534 155623 523760 | 2147483647 208053 108 | 0.000 % |
708.56/709.03 c | 258002 | 12534 155623 523760 | 2147483647 208174 108 | 0.000 % |
709.16/709.60 c | 258135 | 12534 155623 523760 | 2147483647 208307 108 | 0.000 % |
709.66/710.13 c | 258281 | 12534 155623 523760 | 2147483647 208453 108 | 0.000 % |
710.35/710.80 c | 258441 | 12534 155623 523760 | 2147483647 208613 108 | 0.000 % |
710.95/711.50 c | 258617 | 12534 155623 523760 | 2147483647 208789 108 | 0.000 % |
711.65/712.14 c | 258814 | 12534 155623 523760 | 2147483647 208986 108 | 0.000 % |
712.45/712.92 c | 259027 | 12534 155623 523760 | 2147483647 209199 108 | 0.000 % |
713.45/713.91 c | 259261 | 12534 155623 523760 | 2147483647 209433 108 | 0.000 % |
714.65/715.17 c | 259517 | 12534 155623 523760 | 2147483647 209689 108 | 0.000 % |
715.75/716.27 c | 259798 | 12534 155623 523760 | 2147483647 209970 108 | 0.000 % |
716.95/717.44 c | 260108 | 12534 155623 523760 | 210173 210280 108 | 0.000 % |
718.64/719.10 c | 260447 | 12534 155623 523760 | 210173 187687 105 | 0.000 % |
719.84/720.32 c | 260822 | 12534 155623 523760 | 210173 188062 105 | 0.000 % |
721.34/721.80 c | 261232 | 12534 155623 523760 | 210173 188472 105 | 0.000 % |
723.35/723.85 c | 261682 | 12534 155623 523760 | 210173 188922 105 | 0.000 % |
725.04/725.51 c | 262175 | 12534 155623 523760 | 210173 189415 105 | 0.000 % |
727.04/727.54 c | 262719 | 12534 155623 523760 | 210173 189959 105 | 0.000 % |
729.34/729.89 c | 263315 | 12534 155623 523760 | 210173 190555 105 | 0.000 % |
732.04/732.52 c | 263970 | 12534 155623 523760 | 210173 191210 106 | 0.000 % |
734.64/735.16 c | 264690 | 12534 155623 523760 | 210173 191930 106 | 0.000 % |
737.84/738.30 c | 265482 | 12534 155623 523760 | 210173 192722 106 | 0.000 % |
740.84/741.30 c | 266353 | 12534 155623 523760 | 210173 193593 106 | 0.000 % |
744.73/745.25 c | 267311 | 12534 155623 523760 | 210173 194551 106 | 0.000 % |
748.83/749.39 c | 268364 | 12534 155623 523760 | 210173 195604 106 | 0.000 % |
753.23/753.75 c | 269522 | 12534 155623 523760 | 210173 196762 107 | 0.000 % |
758.62/759.13 c | 270795 | 12534 155623 523760 | 2147483647 198035 107 | 0.000 % |
763.52/764.09 c | 272195 | 12534 155623 523760 | 2147483647 199435 107 | 0.000 % |
768.72/769.27 c | 273735 | 12534 155623 523760 | 2147483647 200975 108 | 0.000 % |
775.22/775.72 c | 275431 | 12534 155623 523760 | 2147483647 202671 108 | 0.000 % |
782.11/782.65 c | 277294 | 12534 155623 523760 | 2147483647 204534 109 | 0.000 % |
789.51/790.02 c | 279344 | 12534 155623 523760 | 2147483647 206584 110 | 0.000 % |
797.80/798.36 c | 281597 | 12534 155623 523760 | 207240 186128 107 | 0.000 % |
806.10/806.69 c | 284075 | 12534 155623 523760 | 207240 188606 108 | 0.000 % |
815.89/816.47 c | 286800 | 12534 155623 523760 | 207240 191331 109 | 0.000 % |
816.19/816.79 c | 286900 | 12534 155623 523760 | 207240 191431 109 | 0.000 % |
816.70/817.22 c | 287012 | 12534 155623 523760 | 207240 191543 109 | 0.000 % |
817.29/817.81 c | 287133 | 12534 155623 523760 | 207240 191664 109 | 0.000 % |
817.80/818.40 c | 287266 | 12534 155623 523760 | 207240 191797 109 | 0.000 % |
818.49/819.01 c | 287412 | 12534 155623 523760 | 207240 191943 109 | 0.000 % |
819.29/819.85 c | 287572 | 12534 155623 523760 | 207240 192103 109 | 0.000 % |
819.69/820.21 c | 287748 | 12534 155623 523760 | 207240 192279 109 | 0.000 % |
820.49/821.03 c | 287941 | 12534 155623 523760 | 207240 192472 109 | 0.000 % |
821.29/821.85 c | 288153 | 12534 155623 523760 | 207240 192684 109 | 0.000 % |
822.09/822.63 c | 288387 | 12534 155623 523760 | 207240 192918 109 | 0.000 % |
823.30/823.80 c | 288643 | 12534 155623 523760 | 207240 193174 109 | 0.000 % |
824.39/824.92 c | 288924 | 12534 155623 523760 | 207240 193455 109 | 0.000 % |
825.49/826.03 c | 289233 | 12534 155623 523760 | 207240 193764 110 | 0.000 % |
826.69/827.29 c | 289572 | 12534 155623 523760 | 207240 194103 110 | 0.000 % |
828.29/828.88 c | 289944 | 12534 155623 523760 | 207240 194475 110 | 0.000 % |
829.89/830.40 c | 290353 | 12534 155623 523760 | 2147483647 194884 110 | 0.000 % |
831.39/831.94 c | 290802 | 12534 155623 523760 | 2147483647 195333 110 | 0.000 % |
833.19/833.76 c | 291295 | 12534 155623 523760 | 2147483647 195826 110 | 0.000 % |
835.49/836.00 c | 291837 | 12534 155623 523760 | 2147483647 196368 110 | 0.000 % |
837.79/838.31 c | 292433 | 12534 155623 523760 | 2147483647 196964 110 | 0.000 % |
840.18/840.79 c | 293088 | 12534 155623 523760 | 2147483647 197619 110 | 0.000 % |
842.98/843.52 c | 293808 | 12534 155623 523760 | 2147483647 198339 110 | 0.000 % |
845.98/846.59 c | 294600 | 12534 155623 523760 | 2147483647 199131 111 | 0.000 % |
849.18/849.74 c | 295471 | 12534 155623 523760 | 2147483647 200002 111 | 0.000 % |
852.77/853.33 c | 296430 | 12534 155623 523760 | 2147483647 200961 111 | 0.000 % |
856.67/857.27 c | 297483 | 12534 155623 523760 | 2147483647 202014 111 | 0.000 % |
860.87/861.42 c | 298641 | 12534 155623 523760 | 2147483647 203172 111 | 0.000 % |
865.37/865.94 c | 299914 | 12534 155623 523760 | 2147483647 204445 112 | 0.000 % |
871.07/871.70 c | 301314 | 12534 155623 523760 | 204531 183311 108 | 0.000 % |
877.18/877.74 c | 302855 | 12534 155623 523760 | 204531 184852 109 | 0.000 % |
883.57/884.20 c | 304549 | 12534 155623 523760 | 204531 186546 109 | 0.000 % |
890.55/891.14 c | 306412 | 12534 155623 523760 | 204531 188409 109 | 0.000 % |
898.05/898.66 c | 308463 | 12534 155623 523760 | 204531 190460 110 | 0.000 % |
906.05/906.68 c | 310717 | 12534 155623 523760 | 2147483647 192714 110 | 0.000 % |
915.34/915.90 c | 313195 | 12534 155623 523760 | 2147483647 195192 111 | 0.000 % |
924.74/925.37 c | 315921 | 12534 155623 523760 | 2147483647 197918 112 | 0.000 % |
935.93/936.59 c | 318918 | 12534 155623 523760 | 2147483647 200915 112 | 0.000 % |
936.33/936.92 c | 319018 | 12534 155623 523760 | 2147483647 201015 112 | 0.000 % |
936.93/937.53 c | 319130 | 12534 155623 523760 | 2147483647 201127 112 | 0.000 % |
937.53/938.10 c | 319251 | 12534 155623 523760 | 2147483647 201248 112 | 0.000 % |
937.93/938.52 c | 319384 | 12534 155623 523760 | 2147483647 201381 112 | 0.000 % |
938.53/939.17 c | 319530 | 12534 155623 523760 | 2147483647 201527 113 | 0.000 % |
939.23/939.88 c | 319691 | 12534 155623 523760 | 2147483647 201688 112 | 0.000 % |
939.94/940.55 c | 319867 | 12534 155623 523760 | 2147483647 201864 113 | 0.000 % |
940.83/941.40 c | 320062 | 12534 155623 523760 | 2147483647 202059 113 | 0.000 % |
941.63/942.22 c | 320274 | 12534 155623 523760 | 2147483647 202271 113 | 0.000 % |
942.53/943.11 c | 320507 | 12534 155623 523760 | 2147483647 202504 113 | 0.000 % |
943.53/944.15 c | 320763 | 12534 155623 523760 | 2147483647 202760 113 | 0.000 % |
944.53/945.12 c | 321044 | 12534 155623 523760 | 2147483647 203041 113 | 0.000 % |
945.93/946.50 c | 321354 | 12534 155623 523760 | 2147483647 203351 113 | 0.000 % |
947.33/947.99 c | 321694 | 12534 155623 523760 | 2147483647 203691 113 | 0.000 % |
948.73/949.34 c | 322067 | 12534 155623 523760 | 2147483647 204064 113 | 0.000 % |
950.12/950.79 c | 322476 | 12534 155623 523760 | 2147483647 204473 113 | 0.000 % |
951.82/952.40 c | 322925 | 12534 155623 523760 | 2147483647 204922 113 | 0.000 % |
953.92/954.55 c | 323418 | 12534 155623 523760 | 2147483647 205415 113 | 0.000 % |
955.72/956.38 c | 323960 | 12534 155623 523760 | 2147483647 205957 114 | 0.000 % |
957.61/958.26 c | 324556 | 12534 155623 523760 | 2147483647 206553 114 | 0.000 % |
960.02/960.68 c | 325212 | 12534 155623 523760 | 2147483647 207209 114 | 0.000 % |
963.22/963.87 c | 325932 | 12534 155623 523760 | 2147483647 207929 114 | 0.000 % |
966.32/966.92 c | 326725 | 12534 155623 523760 | 2147483647 208722 114 | 0.000 % |
969.52/970.14 c | 327596 | 12534 155623 523760 | 2147483647 209593 115 | 0.000 % |
973.21/973.87 c | 328554 | 12534 155623 523760 | 2147483647 210551 115 | 0.000 % |
977.61/978.24 c | 329607 | 12534 155623 523760 | 2147483647 211604 115 | 0.000 % |
981.71/982.39 c | 330768 | 12534 155623 523760 | 211998 186753 110 | 0.000 % |
986.50/987.12 c | 332041 | 12534 155623 523760 | 211998 188026 111 | 0.000 % |
991.80/992.43 c | 333441 | 12534 155623 523760 | 211998 189426 111 | 0.000 % |
997.20/997.84 c | 334981 | 12534 155623 523760 | 211998 190966 111 | 0.000 % |
1003.50/1004.20 c | 336675 | 12534 155623 523760 | 211998 192660 112 | 0.000 % |
1011.09/1011.75 c | 338538 | 12534 155623 523760 | 211998 194523 112 | 0.000 % |
1018.09/1018.70 c | 340587 | 12534 155623 523760 | 195985 196572 113 | 0.000 % |
1025.29/1025.95 c | 342842 | 12534 155623 523760 | 195985 178997 109 | 0.000 % |
1034.08/1034.73 c | 345321 | 12534 155623 523760 | 195985 181476 110 | 0.000 % |
1043.98/1044.63 c | 348046 | 12534 155623 523760 | 195985 184201 110 | 0.000 % |
1054.08/1054.70 c | 351043 | 12534 155623 523760 | 2147483647 187198 111 | 0.000 % |
1065.67/1066.33 c | 354339 | 12534 155623 523760 | 2147483647 190494 112 | 0.000 % |
1066.17/1066.81 c | 354439 | 12534 155623 523760 | 2147483647 190594 112 | 0.000 % |
1066.66/1067.38 c | 354549 | 12534 155623 523760 | 2147483647 190704 112 | 0.000 % |
1067.26/1067.90 c | 354670 | 12534 155623 523760 | 2147483647 190825 112 | 0.000 % |
1067.66/1068.31 c | 354804 | 12534 155623 523760 | 2147483647 190959 112 | 0.000 % |
1068.06/1068.79 c | 354951 | 12534 155623 523760 | 2147483647 191106 112 | 0.000 % |
1068.96/1069.63 c | 355114 | 12534 155623 523760 | 2147483647 191269 112 | 0.000 % |
1069.26/1069.98 c | 355290 | 12534 155623 523760 | 2147483647 191445 112 | 0.000 % |
1069.96/1070.68 c | 355484 | 12534 155623 523760 | 2147483647 191639 112 | 0.000 % |
1070.86/1071.54 c | 355697 | 12534 155623 523760 | 2147483647 191852 112 | 0.000 % |
1071.86/1072.50 c | 355930 | 12534 155623 523760 | 2147483647 192085 112 | 0.000 % |
1072.86/1073.57 c | 356186 | 12534 155623 523760 | 2147483647 192341 112 | 0.000 % |
1073.96/1074.66 c | 356467 | 12534 155623 523760 | 2147483647 192622 112 | 0.000 % |
1074.96/1075.67 c | 356777 | 12534 155623 523760 | 2147483647 192932 113 | 0.000 % |
1076.16/1076.87 c | 357116 | 12534 155623 523760 | 2147483647 193271 113 | 0.000 % |
1077.46/1078.18 c | 357488 | 12534 155623 523760 | 2147483647 193643 113 | 0.000 % |
1079.06/1079.74 c | 357897 | 12534 155623 523760 | 2147483647 194052 113 | 0.000 % |
1080.85/1081.60 c | 358346 | 12534 155623 523760 | 2147483647 194501 113 | 0.000 % |
1082.55/1083.25 c | 358839 | 12534 155623 523760 | 2147483647 194994 113 | 0.000 % |
1084.65/1085.37 c | 359381 | 12534 155623 523760 | 2147483647 195536 113 | 0.000 % |
1086.95/1087.65 c | 359977 | 12534 155623 523760 | 2147483647 196132 113 | 0.000 % |
1089.75/1090.47 c | 360632 | 12534 155623 523760 | 2147483647 196787 113 | 0.000 % |
1092.75/1093.47 c | 361352 | 12534 155623 523760 | 2147483647 197507 113 | 0.000 % |
1095.35/1096.05 c | 362144 | 12534 155623 523760 | 2147483647 198299 114 | 0.000 % |
1098.65/1099.30 c | 363015 | 12534 155623 523760 | 2147483647 199170 114 | 0.000 % |
1102.05/1102.79 c | 363973 | 12534 155623 523760 | 2147483647 200128 114 | 0.000 % |
1106.05/1106.71 c | 365026 | 12534 155623 523760 | 2147483647 201181 115 | 0.000 % |
1111.04/1111.78 c | 366187 | 12534 155623 523760 | 2147483647 202342 115 | 0.000 % |
1115.84/1116.53 c | 367460 | 12534 155623 523760 | 2147483647 203615 115 | 0.000 % |
1120.43/1121.13 c | 368860 | 12534 155623 523760 | 2147483647 205015 116 | 0.000 % |
1125.83/1126.51 c | 370402 | 12534 155623 523760 | 206155 206557 116 | 0.000 % |
1132.13/1132.82 c | 372096 | 12534 155623 523760 | 206155 185405 112 | 0.000 % |
1136.33/1137.07 c | 373962 | 12534 155623 523760 | 206155 187271 113 | 0.000 % |
1143.72/1144.46 c | 376013 | 12534 155623 523760 | 206155 189322 114 | 0.000 % |
1151.62/1152.38 c | 378266 | 12534 155623 523760 | 206155 191575 115 | 0.000 % |
1160.40/1161.11 c | 380744 | 12534 155623 523760 | 2147483647 194053 116 | 0.000 % |
1169.80/1170.54 c | 383469 | 12534 155623 523760 | 2147483647 196778 117 | 0.000 % |
1180.50/1181.24 c | 386466 | 12534 155623 523760 | 2147483647 199775 118 | 0.000 % |
1191.89/1192.66 c | 389762 | 12534 155623 523760 | 2147483647 203071 119 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833739-1242824844/watcher-1833739-1242824844 -o /tmp/evaluation-result-1833739-1242824844/solver-1833739-1242824844 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833739-1242824844.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.98 1.00 3/64 20378
/proc/meminfo: memFree=1813064/2055920 swapFree=4179756/4192956
[pid=20378] ppid=20376 vsize=5356 CPUtime=0
/proc/20378/stat : 20378 (SatELiteGTI) R 20376 20378 20163 0 -1 4194304 291 249 0 0 0 0 0 0 18 0 1 0 310518087 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 214919473651 0 0 4100 65536 0 0 0 17 0 0 0
/proc/20378/statm: 1339 237 197 169 0 50 0
[startup+0.0645519 s]
/proc/loadavg: 0.99 0.98 1.00 3/64 20378
/proc/meminfo: memFree=1813064/2055920 swapFree=4179756/4192956
[pid=20378] ppid=20376 vsize=5356 CPUtime=0
/proc/20378/stat : 20378 (SatELiteGTI) S 20376 20378 20163 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310518087 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20378/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102561 s]
/proc/loadavg: 0.99 0.98 1.00 3/64 20378
/proc/meminfo: memFree=1813064/2055920 swapFree=4179756/4192956
[pid=20378] ppid=20376 vsize=5356 CPUtime=0
/proc/20378/stat : 20378 (SatELiteGTI) S 20376 20378 20163 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310518087 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20378/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.302602 s]
/proc/loadavg: 0.99 0.98 1.00 3/64 20378
/proc/meminfo: memFree=1813064/2055920 swapFree=4179756/4192956
[pid=20378] ppid=20376 vsize=5356 CPUtime=0
/proc/20378/stat : 20378 (SatELiteGTI) S 20376 20378 20163 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310518087 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20378/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701687 s]
/proc/loadavg: 0.99 0.98 1.00 3/64 20378
/proc/meminfo: memFree=1813064/2055920 swapFree=4179756/4192956
[pid=20378] ppid=20376 vsize=5356 CPUtime=0
/proc/20378/stat : 20378 (SatELiteGTI) S 20376 20378 20163 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310518087 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20378/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50187 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 20383
/proc/meminfo: memFree=1800696/2055920 swapFree=4179756/4192956
[pid=20378] ppid=20376 vsize=5356 CPUtime=1.26
/proc/20378/stat : 20378 (SatELiteGTI) S 20376 20378 20163 0 -1 4194304 336 3833 0 0 0 0 123 3 16 0 1 0 310518087 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20378/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 5356
[startup+3.1012 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 20384
/proc/meminfo: memFree=1798200/2055920 swapFree=4179756/4192956
[pid=20378] ppid=20376 vsize=5356 CPUtime=1.26
/proc/20378/stat : 20378 (SatELiteGTI) S 20376 20378 20163 0 -1 4194304 336 3833 0 0 0 0 123 3 16 0 1 0 310518087 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20378/statm: 1339 239 197 169 0 50 0
[pid=20384] ppid=20378 vsize=14140 CPUtime=1.81
/proc/20384/stat : 20384 (minisat_static) R 20378 20378 20163 0 -1 4194304 3364 0 0 0 180 1 0 0 25 0 1 0 310518215 14479360 3350 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/20384/statm: 3535 3350 77 171 0 3362 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 19496
[startup+6.30189 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 20384
/proc/meminfo: memFree=1794808/2055920 swapFree=4179756/4192956
[pid=20378] ppid=20376 vsize=5356 CPUtime=1.26
/proc/20378/stat : 20378 (SatELiteGTI) S 20376 20378 20163 0 -1 4194304 336 3833 0 0 0 0 123 3 16 0 1 0 310518087 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20378/statm: 1339 239 197 169 0 50 0
[pid=20384] ppid=20378 vsize=15328 CPUtime=5
/proc/20384/stat : 20384 (minisat_static) R 20378 20378 20163 0 -1 4194304 3658 0 0 0 499 1 0 0 25 0 1 0 310518215 15695872 3644 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/20384/statm: 3832 3644 77 171 0 3659 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 20684
[startup+12.7013 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 20384
/proc/meminfo: memFree=1792760/2055920 swapFree=4179756/4192956
[pid=20378] ppid=20376 vsize=5356 CPUtime=1.26
/proc/20378/stat : 20378 (SatELiteGTI) S 20376 20378 20163 0 -1 4194304 336 3833 0 0 0 0 123 3 16 0 1 0 310518087 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20378/statm: 1339 239 197 169 0 50 0
[pid=20384] ppid=20378 vsize=17364 CPUtime=11.41
/proc/20384/stat : 20384 (minisat_static) R 20378 20378 20163 0 -1 4194304 4167 0 0 0 1139 2 0 0 25 0 1 0 310518215 17780736 4153 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 0 0 0
/proc/20384/statm: 4341 4153 77 171 0 4168 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 22720
[startup+25.503 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 20384
/proc/meminfo: memFree=1789432/2055920 swapFree=4179756/4192956
[pid=20378] ppid=20376 vsize=5356 CPUtime=1.26
/proc/20378/stat : 20378 (SatELiteGTI) S 20376 20378 20163 0 -1 4194304 336 3833 0 0 0 0 123 3 16 0 1 0 310518087 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20378/statm: 1339 239 197 169 0 50 0
[pid=20384] ppid=20378 vsize=20664 CPUtime=24.2
/proc/20384/stat : 20384 (minisat_static) R 20378 20378 20163 0 -1 4194304 4978 0 0 0 2417 3 0 0 25 0 1 0 310518215 21159936 4964 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/20384/statm: 5166 4964 77 171 0 4993 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 26020
[startup+51.1025 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 20384
/proc/meminfo: memFree=1782904/2055920 swapFree=4179756/4192956
[pid=20378] ppid=20376 vsize=5356 CPUtime=1.26
/proc/20378/stat : 20378 (SatELiteGTI) S 20376 20378 20163 0 -1 4194304 336 3833 0 0 0 0 123 3 16 0 1 0 310518087 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20378/statm: 1339 239 197 169 0 50 0
[pid=20384] ppid=20378 vsize=27428 CPUtime=49.77
/proc/20384/stat : 20384 (minisat_static) R 20378 20378 20163 0 -1 4194304 6657 0 0 0 4972 5 0 0 25 0 1 0 310518215 28086272 6643 1992294400 134512640 135215339 4294956240 18446744073709551615 134528664 0 0 4096 3 0 0 0 17 0 0 0
/proc/20384/statm: 6857 6643 77 171 0 6684 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 32784
[startup+102.305 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 20384
/proc/meminfo: memFree=1771448/2055920 swapFree=4179756/4192956
[pid=20378] ppid=20376 vsize=5356 CPUtime=1.26
/proc/20378/stat : 20378 (SatELiteGTI) S 20376 20378 20163 0 -1 4194304 336 3833 0 0 0 0 123 3 16 0 1 0 310518087 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20378/statm: 1339 239 197 169 0 50 0
[pid=20384] ppid=20378 vsize=38716 CPUtime=100.95
/proc/20384/stat : 20384 (minisat_static) R 20378 20378 20163 0 -1 4194304 9455 0 0 0 10087 8 0 0 25 0 1 0 310518215 39645184 9441 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/20384/statm: 9679 9441 77 171 0 9506 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 44072
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 20384
/proc/meminfo: memFree=1759416/2055920 swapFree=4179756/4192956
[pid=20378] ppid=20376 vsize=5356 CPUtime=1.26
/proc/20378/stat : 20378 (SatELiteGTI) S 20376 20378 20163 0 -1 4194304 336 3833 0 0 0 0 123 3 16 0 1 0 310518087 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20378/statm: 1339 239 197 169 0 50 0
[pid=20384] ppid=20378 vsize=50776 CPUtime=160.92
/proc/20384/stat : 20384 (minisat_static) R 20378 20378 20163 0 -1 4194304 12469 0 0 0 16080 12 0 0 25 0 1 0 310518215 51994624 12455 1992294400 134512640 135215339 4294956240 18446744073709551615 134527353 0 0 4096 3 0 0 0 17 0 0 0
/proc/20384/statm: 12694 12455 77 171 0 12521 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 56132
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 20384
/proc/meminfo: memFree=1747512/2055920 swapFree=4179756/4192956
[pid=20378] ppid=20376 vsize=5356 CPUtime=1.26
/proc/20378/stat : 20378 (SatELiteGTI) S 20376 20378 20163 0 -1 4194304 336 3833 0 0 0 0 123 3 16 0 1 0 310518087 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20378/statm: 1339 239 197 169 0 50 0
[pid=20384] ppid=20378 vsize=62528 CPUtime=220.87
/proc/20384/stat : 20384 (minisat_static) R 20378 20378 20163 0 -1 4194304 15428 0 0 0 22072 15 0 0 25 0 1 0 310518215 64028672 15414 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/20384/statm: 15632 15414 77 171 0 15459 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 67884
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 20384
/proc/meminfo: memFree=1735864/2055920 swapFree=4179756/4192956
[pid=20378] ppid=20376 vsize=5356 CPUtime=1.26
/proc/20378/stat : 20378 (SatELiteGTI) S 20376 20378 20163 0 -1 4194304 336 3833 0 0 0 0 123 3 16 0 1 0 310518087 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20378/statm: 1339 239 197 169 0 50 0
[pid=20384] ppid=20378 vsize=74288 CPUtime=280.85
/proc/20384/stat : 20384 (minisat_static) R 20378 20378 20163 0 -1 4194304 18330 0 0 0 28066 19 0 0 25 0 1 0 310518215 76070912 18316 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 0 0 0
/proc/20384/statm: 18572 18316 77 171 0 18399 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 79644
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 20384
/proc/meminfo: memFree=1725248/2055920 swapFree=4179756/4192956
[pid=20378] ppid=20376 vsize=5356 CPUtime=1.26
/proc/20378/stat : 20378 (SatELiteGTI) S 20376 20378 20163 0 -1 4194304 336 3833 0 0 0 0 123 3 16 0 1 0 310518087 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20378/statm: 1339 239 197 169 0 50 0
[pid=20384] ppid=20378 vsize=84848 CPUtime=340.81
/proc/20384/stat : 20384 (minisat_static) R 20378 20378 20163 0 -1 4194304 20975 0 0 0 34059 22 0 0 25 0 1 0 310518215 86884352 20961 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/20384/statm: 21212 20961 77 171 0 21039 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 90204
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 20384
/proc/meminfo: memFree=1714816/2055920 swapFree=4179756/4192956
[pid=20378] ppid=20376 vsize=5356 CPUtime=1.26
/proc/20378/stat : 20378 (SatELiteGTI) S 20376 20378 20163 0 -1 4194304 336 3833 0 0 0 0 123 3 16 0 1 0 310518087 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20378/statm: 1339 239 197 169 0 50 0
[pid=20384] ppid=20378 vsize=95276 CPUtime=400.78
/proc/20384/stat : 20384 (minisat_static) R 20378 20378 20163 0 -1 4194304 23605 0 0 0 40053 25 0 0 25 0 1 0 310518215 97562624 23591 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/20384/statm: 23819 23591 77 171 0 23646 0
Current children cumulated CPU time (s) 402.04
Current children cumulated vsize (KiB) 100632
[startup+462.303 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 20384
/proc/meminfo: memFree=1703744/2055920 swapFree=4179756/4192956
[pid=20378] ppid=20376 vsize=5356 CPUtime=1.26
################
# More data... #
################
/proc/20384/statm: 29135 28840 77 171 0 28962 0
Current children cumulated CPU time (s) 521.98
Current children cumulated vsize (KiB) 121896
[startup+582.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 20384
/proc/meminfo: memFree=1684800/2055920 swapFree=4179756/4192956
[pid=20378] ppid=20376 vsize=5356 CPUtime=1.26
/proc/20378/stat : 20378 (SatELiteGTI) S 20376 20378 20163 0 -1 4194304 336 3833 0 0 0 0 123 3 16 0 1 0 310518087 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20378/statm: 1339 239 197 169 0 50 0
[pid=20384] ppid=20378 vsize=125124 CPUtime=580.67
/proc/20384/stat : 20384 (minisat_static) R 20378 20378 20163 0 -1 4194304 31017 0 0 0 58036 31 0 0 25 0 1 0 310518215 128126976 31003 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/20384/statm: 31281 31003 77 171 0 31108 0
Current children cumulated CPU time (s) 581.93
Current children cumulated vsize (KiB) 130480
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 20384
/proc/meminfo: memFree=1683456/2055920 swapFree=4179756/4192956
[pid=20378] ppid=20376 vsize=5356 CPUtime=1.26
/proc/20378/stat : 20378 (SatELiteGTI) S 20376 20378 20163 0 -1 4194304 336 3833 0 0 0 0 123 3 16 0 1 0 310518087 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20378/statm: 1339 239 197 169 0 50 0
[pid=20384] ppid=20378 vsize=126444 CPUtime=640.65
/proc/20384/stat : 20384 (minisat_static) R 20378 20378 20163 0 -1 4194304 31346 0 0 0 64033 32 0 0 25 0 1 0 310518215 129478656 31332 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 0 0 0
/proc/20384/statm: 31611 31332 77 171 0 31438 0
Current children cumulated CPU time (s) 641.91
Current children cumulated vsize (KiB) 131800
[startup+702.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 20384
/proc/meminfo: memFree=1683328/2055920 swapFree=4179756/4192956
[pid=20378] ppid=20376 vsize=5356 CPUtime=1.26
/proc/20378/stat : 20378 (SatELiteGTI) S 20376 20378 20163 0 -1 4194304 336 3833 0 0 0 0 123 3 16 0 1 0 310518087 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20378/statm: 1339 239 197 169 0 50 0
[pid=20384] ppid=20378 vsize=126444 CPUtime=700.62
/proc/20384/stat : 20384 (minisat_static) R 20378 20378 20163 0 -1 4194304 31346 0 0 0 70030 32 0 0 25 0 1 0 310518215 129478656 31332 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 0 0 0
/proc/20384/statm: 31611 31332 77 171 0 31438 0
Current children cumulated CPU time (s) 701.88
Current children cumulated vsize (KiB) 131800
[startup+762.307 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 20384
/proc/meminfo: memFree=1683264/2055920 swapFree=4179756/4192956
[pid=20378] ppid=20376 vsize=5356 CPUtime=1.26
/proc/20378/stat : 20378 (SatELiteGTI) S 20376 20378 20163 0 -1 4194304 336 3833 0 0 0 0 123 3 16 0 1 0 310518087 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20378/statm: 1339 239 197 169 0 50 0
[pid=20384] ppid=20378 vsize=126444 CPUtime=760.57
/proc/20384/stat : 20384 (minisat_static) R 20378 20378 20163 0 -1 4194304 31346 0 0 0 76025 32 0 0 25 0 1 0 310518215 129478656 31332 1992294400 134512640 135215339 4294956240 18446744073709551615 134528872 0 0 4096 3 0 0 0 17 0 0 0
/proc/20384/statm: 31611 31332 77 171 0 31438 0
Current children cumulated CPU time (s) 761.83
Current children cumulated vsize (KiB) 131800
[startup+822.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 20384
/proc/meminfo: memFree=1681984/2055920 swapFree=4179756/4192956
[pid=20378] ppid=20376 vsize=5356 CPUtime=1.26
/proc/20378/stat : 20378 (SatELiteGTI) S 20376 20378 20163 0 -1 4194304 336 3833 0 0 0 0 123 3 16 0 1 0 310518087 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20378/statm: 1339 239 197 169 0 50 0
[pid=20384] ppid=20378 vsize=127772 CPUtime=820.53
/proc/20384/stat : 20384 (minisat_static) R 20378 20378 20163 0 -1 4194304 31660 0 0 0 82021 32 0 0 25 0 1 0 310518215 130838528 31646 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/20384/statm: 31943 31646 77 171 0 31770 0
Current children cumulated CPU time (s) 821.79
Current children cumulated vsize (KiB) 133128
[startup+882.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 20384
/proc/meminfo: memFree=1681088/2055920 swapFree=4179756/4192956
[pid=20378] ppid=20376 vsize=5356 CPUtime=1.26
/proc/20378/stat : 20378 (SatELiteGTI) S 20376 20378 20163 0 -1 4194304 336 3833 0 0 0 0 123 3 16 0 1 0 310518087 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20378/statm: 1339 239 197 169 0 50 0
[pid=20384] ppid=20378 vsize=128568 CPUtime=880.51
/proc/20384/stat : 20384 (minisat_static) R 20378 20378 20163 0 -1 4194304 31879 0 0 0 88018 33 0 0 25 0 1 0 310518215 131653632 31865 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/20384/statm: 32142 31865 77 171 0 31969 0
Current children cumulated CPU time (s) 881.77
Current children cumulated vsize (KiB) 133924
[startup+942.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 20384
/proc/meminfo: memFree=1681024/2055920 swapFree=4179756/4192956
[pid=20378] ppid=20376 vsize=5356 CPUtime=1.26
/proc/20378/stat : 20378 (SatELiteGTI) S 20376 20378 20163 0 -1 4194304 336 3833 0 0 0 0 123 3 16 0 1 0 310518087 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20378/statm: 1339 239 197 169 0 50 0
[pid=20384] ppid=20378 vsize=128568 CPUtime=940.47
/proc/20384/stat : 20384 (minisat_static) R 20378 20378 20163 0 -1 4194304 31879 0 0 0 94014 33 0 0 25 0 1 0 310518215 131653632 31865 1992294400 134512640 135215339 4294956240 18446744073709551615 134527353 0 0 4096 3 0 0 0 17 0 0 0
/proc/20384/statm: 32142 31865 77 171 0 31969 0
Current children cumulated CPU time (s) 941.73
Current children cumulated vsize (KiB) 133924
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 20384
/proc/meminfo: memFree=1675072/2055920 swapFree=4179756/4192956
[pid=20378] ppid=20376 vsize=5356 CPUtime=1.26
/proc/20378/stat : 20378 (SatELiteGTI) S 20376 20378 20163 0 -1 4194304 336 3833 0 0 0 0 123 3 16 0 1 0 310518087 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20378/statm: 1339 239 197 169 0 50 0
[pid=20384] ppid=20378 vsize=134644 CPUtime=1000.44
/proc/20384/stat : 20384 (minisat_static) R 20378 20378 20163 0 -1 4194304 33390 0 0 0 100009 35 0 0 25 0 1 0 310518215 137875456 33376 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/20384/statm: 33661 33376 77 171 0 33488 0
Current children cumulated CPU time (s) 1001.7
Current children cumulated vsize (KiB) 140000
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 20384
/proc/meminfo: memFree=1674944/2055920 swapFree=4179756/4192956
[pid=20378] ppid=20376 vsize=5356 CPUtime=1.26
/proc/20378/stat : 20378 (SatELiteGTI) S 20376 20378 20163 0 -1 4194304 336 3833 0 0 0 0 123 3 16 0 1 0 310518087 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20378/statm: 1339 239 197 169 0 50 0
[pid=20384] ppid=20378 vsize=134644 CPUtime=1060.41
/proc/20384/stat : 20384 (minisat_static) R 20378 20378 20163 0 -1 4194304 33390 0 0 0 106006 35 0 0 25 0 1 0 310518215 137875456 33376 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/20384/statm: 33661 33376 77 171 0 33488 0
Current children cumulated CPU time (s) 1061.67
Current children cumulated vsize (KiB) 140000
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 20384
/proc/meminfo: memFree=1674880/2055920 swapFree=4179756/4192956
[pid=20378] ppid=20376 vsize=5356 CPUtime=1.26
/proc/20378/stat : 20378 (SatELiteGTI) S 20376 20378 20163 0 -1 4194304 336 3833 0 0 0 0 123 3 16 0 1 0 310518087 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20378/statm: 1339 239 197 169 0 50 0
[pid=20384] ppid=20378 vsize=134644 CPUtime=1120.37
/proc/20384/stat : 20384 (minisat_static) R 20378 20378 20163 0 -1 4194304 33390 0 0 0 112002 35 0 0 25 0 1 0 310518215 137875456 33376 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/20384/statm: 33661 33376 77 171 0 33488 0
Current children cumulated CPU time (s) 1121.63
Current children cumulated vsize (KiB) 140000
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 20384
/proc/meminfo: memFree=1674880/2055920 swapFree=4179756/4192956
[pid=20378] ppid=20376 vsize=5356 CPUtime=1.26
/proc/20378/stat : 20378 (SatELiteGTI) S 20376 20378 20163 0 -1 4194304 336 3833 0 0 0 0 123 3 16 0 1 0 310518087 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20378/statm: 1339 239 197 169 0 50 0
[pid=20384] ppid=20378 vsize=134644 CPUtime=1180.34
/proc/20384/stat : 20384 (minisat_static) R 20378 20378 20163 0 -1 4194304 33390 0 0 0 117999 35 0 0 25 0 1 0 310518215 137875456 33376 1992294400 134512640 135215339 4294956240 18446744073709551615 134528875 0 0 4096 3 0 0 0 17 0 0 0
/proc/20384/statm: 33661 33376 77 171 0 33488 0
Current children cumulated CPU time (s) 1181.6
Current children cumulated vsize (KiB) 140000
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.8 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 20384
/proc/meminfo: memFree=1674816/2055920 swapFree=4179756/4192956
[pid=20378] ppid=20376 vsize=5356 CPUtime=1.26
/proc/20378/stat : 20378 (SatELiteGTI) S 20376 20378 20163 0 -1 4194304 336 3833 0 0 0 0 123 3 16 0 1 0 310518087 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20378/statm: 1339 239 197 169 0 50 0
[pid=20384] ppid=20378 vsize=134644 CPUtime=1198.83
/proc/20384/stat : 20384 (minisat_static) R 20378 20378 20163 0 -1 4194304 33390 0 0 0 119848 35 0 0 25 0 1 0 310518215 137875456 33376 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/20384/statm: 33661 33376 77 171 0 33488 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 140000
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20378 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=238811
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=38994
# CPU time returned by wait4() is 1.27781
# while last known CPU time is 1200.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.81
CPU time (s): 1200.09
CPU user time (s): 1199.71
CPU system time (s): 0.38
CPU usage (%): 99.9399
Max. virtual memory (cumulated for all children) (KiB): 140000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.23881
system time used= 0.038994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4169
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= 12
involuntary context switches= 14
runsolver used 1.07484 second user time and 3.35949 second system time
The end
Begin job on node10 at 2009-05-20 15:07:24
IDJOB=1833739
IDBENCH=70908
IDSOLVER=671
FILE ID=node10/1833739-1242824844
PBS_JOBID= 9322532
Free space on /tmp= 66376 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/edgematching/compact/em_12_2_4_cmp.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833739-1242824844/watcher-1833739-1242824844 -o /tmp/evaluation-result-1833739-1242824844/solver-1833739-1242824844 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833739-1242824844.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 7ea97a36d5ab6c8a5aa99830d5253591
RANDOM SEED=449104874
node10.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.263
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5931.00
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.263
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1813544 kB
Buffers: 55100 kB
Cached: 116908 kB
SwapCached: 7784 kB
Active: 59924 kB
Inactive: 121428 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1813544 kB
SwapTotal: 4192956 kB
SwapFree: 4179756 kB
Dirty: 5048 kB
Writeback: 0 kB
Mapped: 14104 kB
Slab: 47060 kB
Committed_AS: 1057580 kB
PageTables: 1384 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66372 MiB
End job on node10 at 2009-05-20 15:27:27