0.00/0.00 c Parsing...
0.00/0.03 c ==============================================================================
0.00/0.03 c | | ORIGINAL | LEARNT | |
0.00/0.03 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.03 c ==============================================================================
0.00/0.03 c | 0 | 33600 100800 | 10079 0 0 nan | 0.000 % |
0.00/0.11 c | 0 | 33346 101436 | -- 0 -- -- | -- | -254/636
0.00/0.11 c ==============================================================================
0.00/0.11 c Result : #vars: 7784 #clauses: 33346 #literals: 101436
0.00/0.11 c CPU time: 0.100984 s
0.00/0.11 c ==============================================================================
0.00/0.14 c This is MiniSat 2.0 beta
0.00/0.14 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.14 c ============================[ Problem Statistics ]=============================
0.00/0.14 c | |
0.00/0.14 c | Number of variables: 7784 |
0.00/0.14 c | Number of clauses: 33346 |
0.00/0.17 c | Parsing time: 0.02 s |
0.00/0.17 c ============================[ Search Statistics ]==============================
0.00/0.17 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.17 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.17 c ===============================================================================
0.00/0.17 c | 0 | 7784 33346 101436 | 11115 0 nan | 0.000 % |
0.00/0.20 c | 100 | 7784 33346 101436 | 11115 100 153 | 0.000 % |
0.13/0.22 c | 202 | 7784 33346 101436 | 11115 202 149 | 0.000 % |
0.13/0.24 c | 302 | 7784 33346 101436 | 11115 302 141 | 0.000 % |
0.13/0.27 c | 414 | 7784 33346 101436 | 11115 414 134 | 0.000 % |
0.13/0.29 c | 515 | 7784 33346 101436 | 11115 515 128 | 0.000 % |
0.13/0.32 c | 626 | 7784 33346 101436 | 11115 626 127 | 0.000 % |
0.13/0.35 c | 748 | 7784 33346 101436 | 11115 748 126 | 0.000 % |
0.13/0.38 c | 848 | 7784 33346 101436 | 11115 848 124 | 0.000 % |
0.13/0.40 c | 958 | 7784 33346 101436 | 11115 958 127 | 0.000 % |
0.13/0.43 c | 1079 | 7784 33346 101436 | 11115 1079 128 | 0.000 % |
0.13/0.47 c | 1213 | 7784 33346 101436 | 11115 1213 129 | 0.000 % |
0.13/0.49 c | 1314 | 7784 33346 101436 | 11115 1314 133 | 0.000 % |
0.13/0.52 c | 1424 | 7784 33346 101436 | 11115 1424 132 | 0.000 % |
0.13/0.55 c | 1545 | 7784 33346 101436 | 11115 1545 130 | 0.000 % |
0.13/0.59 c | 1680 | 7784 33346 101436 | 11115 1680 131 | 0.000 % |
0.13/0.62 c | 1828 | 7784 33346 101436 | 11115 1828 132 | 0.000 % |
0.13/0.65 c | 1930 | 7784 33346 101436 | 11115 1930 131 | 0.000 % |
0.13/0.68 c | 2040 | 7784 33346 101436 | 11115 2040 131 | 0.000 % |
0.13/0.71 c | 2161 | 7784 33346 101436 | 11115 2161 130 | 0.000 % |
0.13/0.74 c | 2294 | 7784 33346 101436 | 11115 2294 130 | 0.000 % |
0.13/0.78 c | 2441 | 7784 33346 101436 | 11115 2441 133 | 0.000 % |
0.13/0.82 c | 2602 | 7784 33346 101436 | 11115 2602 131 | 0.000 % |
0.13/0.85 c | 2702 | 7784 33346 101436 | 11115 2702 131 | 0.000 % |
0.13/0.88 c | 2812 | 7784 33346 101436 | 11115 2812 129 | 0.000 % |
0.13/0.91 c | 2937 | 7784 33346 101436 | 11115 2937 131 | 0.000 % |
0.13/0.94 c | 3071 | 7784 33346 101436 | 11115 3071 132 | 0.000 % |
0.13/0.98 c | 3218 | 7784 33346 101436 | 11115 3218 132 | 0.000 % |
0.97/1.02 c | 3378 | 7784 33346 101436 | 11115 3378 132 | 0.000 % |
0.97/1.07 c | 3554 | 7784 33346 101436 | 11115 3554 132 | 0.000 % |
0.97/1.09 c | 3656 | 7784 33346 101436 | 11115 3656 132 | 0.000 % |
1.07/1.12 c | 3766 | 7784 33346 101436 | 11115 3766 131 | 0.000 % |
1.07/1.15 c | 3887 | 7784 33346 101436 | 11115 3887 130 | 0.000 % |
1.07/1.19 c | 4020 | 7784 33346 101436 | 11115 4020 132 | 0.000 % |
1.16/1.22 c | 4166 | 7784 33346 101436 | 11115 4166 132 | 0.000 % |
1.16/1.26 c | 4326 | 7784 33346 101436 | 11115 4326 133 | 0.000 % |
1.26/1.31 c | 4502 | 7784 33346 101436 | 11115 4502 134 | 0.000 % |
1.26/1.36 c | 4697 | 7784 33346 101436 | 11115 4697 134 | 0.000 % |
1.26/1.39 c | 4799 | 7784 33346 101436 | 11115 4799 134 | 0.000 % |
1.36/1.42 c | 4913 | 7784 33346 101436 | 11115 4913 134 | 0.000 % |
1.36/1.45 c | 5034 | 7784 33346 101436 | 11115 5034 133 | 0.000 % |
1.36/1.49 c | 5170 | 7784 33346 101436 | 11115 5170 133 | 0.000 % |
1.47/1.53 c | 5316 | 7784 33346 101436 | 11115 5316 134 | 0.000 % |
1.47/1.57 c | 5478 | 7784 33346 101436 | 11115 5478 136 | 0.000 % |
1.57/1.62 c | 5654 | 7784 33346 101436 | 11115 5654 136 | 0.000 % |
1.57/1.67 c | 5848 | 7784 33346 101436 | 11115 5848 136 | 0.000 % |
1.67/1.72 c | 6061 | 7784 33346 101436 | 11115 6061 136 | 0.000 % |
1.67/1.75 c | 6163 | 7784 33346 101436 | 11115 6163 136 | 0.000 % |
1.67/1.79 c | 6276 | 7784 33346 101436 | 11115 6276 136 | 0.000 % |
1.77/1.82 c | 6397 | 7784 33346 101436 | 11115 6397 137 | 0.000 % |
1.77/1.85 c | 6531 | 7784 33346 101436 | 11115 6531 136 | 0.000 % |
1.87/1.90 c | 6678 | 7784 33346 101436 | 11115 6678 136 | 0.000 % |
1.87/1.94 c | 6839 | 7784 33346 101436 | 11115 6839 137 | 0.000 % |
1.87/1.99 c | 7015 | 7784 33346 101436 | 11115 7015 138 | 0.000 % |
1.97/2.05 c | 7208 | 7784 33346 101436 | 11115 7208 138 | 0.000 % |
2.07/2.11 c | 7422 | 7784 33346 101436 | 11115 7422 139 | 0.000 % |
2.07/2.17 c | 7655 | 7784 33346 101436 | 11115 7655 139 | 0.000 % |
2.07/2.20 c | 7756 | 7784 33346 101436 | 11115 7756 138 | 0.000 % |
2.17/2.23 c | 7866 | 7784 33346 101436 | 11115 7866 138 | 0.000 % |
2.17/2.27 c | 7987 | 7784 33346 101436 | 11115 7987 139 | 0.000 % |
2.27/2.31 c | 8122 | 7784 33346 101436 | 11115 8122 139 | 0.000 % |
2.27/2.36 c | 8268 | 7784 33346 101436 | 11115 8268 139 | 0.000 % |
2.37/2.40 c | 8428 | 7784 33346 101436 | 11115 8428 139 | 0.000 % |
2.37/2.45 c | 8605 | 7784 33346 101436 | 11115 8605 139 | 0.000 % |
2.47/2.51 c | 8799 | 7784 33346 101436 | 11115 8799 139 | 0.000 % |
2.47/2.56 c | 9014 | 7784 33346 101436 | 11115 9014 139 | 0.000 % |
2.57/2.63 c | 9247 | 7784 33346 101436 | 11115 9247 138 | 0.000 % |
2.67/2.71 c | 9503 | 7784 33346 101436 | 11115 9503 139 | 0.000 % |
2.67/2.74 c | 9605 | 7784 33346 101436 | 11115 9605 138 | 0.000 % |
2.67/2.77 c | 9715 | 7784 33346 101436 | 11115 9715 138 | 0.000 % |
2.77/2.81 c | 9837 | 7784 33346 101436 | 11115 9837 139 | 0.000 % |
2.77/2.85 c | 9970 | 7784 33346 101436 | 11115 9970 139 | 0.000 % |
2.77/2.89 c | 10120 | 7784 33346 101436 | 2147483647 10120 138 | 0.000 % |
2.87/2.94 c | 10281 | 7784 33346 101436 | 2147483647 10281 139 | 0.000 % |
2.87/2.99 c | 10457 | 7784 33346 101436 | 2147483647 10457 139 | 0.000 % |
2.97/3.04 c | 10650 | 7784 33346 101436 | 2147483647 10650 139 | 0.000 % |
3.07/3.11 c | 10862 | 7784 33346 101436 | 2147483647 10862 139 | 0.000 % |
3.07/3.18 c | 11095 | 7784 33346 101436 | 2147483647 11095 139 | 0.000 % |
3.17/3.26 c | 11352 | 7784 33346 101436 | 2147483647 11352 139 | 0.000 % |
3.27/3.34 c | 11634 | 7784 33346 101436 | 2147483647 11634 140 | 0.000 % |
3.27/3.37 c | 11735 | 7784 33346 101436 | 2147483647 11735 140 | 0.000 % |
3.36/3.41 c | 11845 | 7784 33346 101436 | 2147483647 11845 140 | 0.000 % |
3.36/3.45 c | 11968 | 7784 33346 101436 | 2147483647 11968 140 | 0.000 % |
3.36/3.49 c | 12102 | 7784 33346 101436 | 2147483647 12102 140 | 0.000 % |
3.46/3.54 c | 12248 | 7784 33346 101436 | 2147483647 12248 140 | 0.000 % |
3.46/3.59 c | 12412 | 7784 33346 101436 | 2147483647 12412 140 | 0.000 % |
3.56/3.64 c | 12589 | 7784 33346 101436 | 2147483647 12589 140 | 0.000 % |
3.66/3.71 c | 12783 | 7784 33346 101436 | 2147483647 12783 140 | 0.000 % |
3.66/3.77 c | 12997 | 7784 33346 101436 | 2147483647 12997 140 | 0.000 % |
3.76/3.85 c | 13232 | 7784 33346 101436 | 2147483647 13232 140 | 0.000 % |
3.86/3.94 c | 13488 | 7784 33346 101436 | 2147483647 13488 140 | 0.000 % |
3.96/4.02 c | 13769 | 7784 33346 101436 | 2147483647 13769 141 | 0.000 % |
4.06/4.12 c | 14078 | 7784 33346 101436 | 2147483647 14078 141 | 0.000 % |
4.06/4.16 c | 14179 | 7784 33346 101436 | 2147483647 14179 141 | 0.000 % |
4.17/4.20 c | 14289 | 7784 33346 101436 | 2147483647 14289 141 | 0.000 % |
4.17/4.25 c | 14410 | 7784 33346 101436 | 2147483647 14410 141 | 0.000 % |
4.17/4.29 c | 14543 | 7784 33346 101436 | 2147483647 14543 141 | 0.000 % |
4.27/4.34 c | 14689 | 7784 33346 101436 | 2147483647 14689 141 | 0.000 % |
4.27/4.39 c | 14852 | 7784 33346 101436 | 2147483647 14852 141 | 0.000 % |
4.37/4.45 c | 15029 | 7784 33346 101436 | 2147483647 15029 140 | 0.000 % |
4.47/4.52 c | 15223 | 7784 33346 101436 | 2147483647 15223 141 | 0.000 % |
4.47/4.59 c | 15436 | 7784 33346 101436 | 2147483647 15436 141 | 0.000 % |
4.57/4.67 c | 15669 | 7784 33346 101436 | 2147483647 15669 141 | 0.000 % |
4.67/4.75 c | 15926 | 7784 33346 101436 | 2147483647 15926 141 | 0.000 % |
4.77/4.86 c | 16208 | 7784 33346 101436 | 2147483647 16208 141 | 0.000 % |
4.87/4.96 c | 16517 | 7784 33346 101436 | 2147483647 16517 141 | 0.000 % |
4.97/5.08 c | 16856 | 7784 33346 101436 | 2147483647 16856 142 | 0.000 % |
5.07/5.11 c | 16956 | 7784 33346 101436 | 2147483647 16956 142 | 0.000 % |
5.07/5.15 c | 17067 | 7784 33346 101436 | 2147483647 17067 142 | 0.000 % |
5.17/5.20 c | 17190 | 7784 33346 101436 | 2147483647 17190 142 | 0.000 % |
5.17/5.25 c | 17323 | 7784 33346 101436 | 2147483647 17323 142 | 0.000 % |
5.17/5.29 c | 17469 | 7784 33346 101436 | 2147483647 17469 142 | 0.000 % |
5.27/5.35 c | 17629 | 7784 33346 101436 | 2147483647 17629 142 | 0.000 % |
5.37/5.40 c | 17805 | 7784 33346 101436 | 2147483647 17805 142 | 0.000 % |
5.37/5.47 c | 17999 | 7784 33346 101436 | 2147483647 17999 142 | 0.000 % |
5.47/5.54 c | 18213 | 7784 33346 101436 | 2147483647 18213 142 | 0.000 % |
5.56/5.63 c | 18447 | 7784 33346 101436 | 2147483647 18447 142 | 0.000 % |
5.66/5.72 c | 18704 | 7784 33346 101436 | 2147483647 18704 142 | 0.000 % |
5.76/5.81 c | 18985 | 7784 33346 101436 | 2147483647 18985 142 | 0.000 % |
5.86/5.91 c | 19295 | 7784 33346 101436 | 2147483647 19295 142 | 0.000 % |
5.96/6.04 c | 19636 | 7784 33346 101436 | 2147483647 19636 142 | 0.000 % |
6.06/6.16 c | 20009 | 7784 33346 101436 | 2147483647 20009 142 | 0.000 % |
6.16/6.20 c | 20109 | 7784 33346 101436 | 2147483647 20109 142 | 0.000 % |
6.16/6.24 c | 20221 | 7784 33346 101436 | 2147483647 20221 142 | 0.000 % |
6.16/6.29 c | 20343 | 7784 33346 101436 | 2147483647 20343 142 | 0.000 % |
6.26/6.34 c | 20478 | 7784 33346 101436 | 2147483647 20478 142 | 0.000 % |
6.26/6.39 c | 20625 | 7784 33346 101436 | 2147483647 20625 142 | 0.000 % |
6.36/6.45 c | 20786 | 7784 33346 101436 | 2147483647 20786 142 | 0.000 % |
6.47/6.52 c | 20962 | 7784 33346 101436 | 2147483647 20962 142 | 0.000 % |
6.47/6.60 c | 21155 | 7784 33346 101436 | 2147483647 21155 142 | 0.000 % |
6.57/6.68 c | 21367 | 7784 33346 101436 | 2147483647 21367 143 | 0.000 % |
6.66/6.76 c | 21601 | 7784 33346 101436 | 2147483647 21601 143 | 0.000 % |
6.76/6.84 c | 21860 | 7784 33346 101436 | 2147483647 21860 143 | 0.000 % |
6.86/6.94 c | 22141 | 7784 33346 101436 | 2147483647 22141 144 | 0.000 % |
6.96/7.04 c | 22454 | 7784 33346 101436 | 2147483647 22454 144 | 0.000 % |
7.07/7.17 c | 22794 | 7784 33346 101436 | 2147483647 22794 144 | 0.000 % |
7.27/7.33 c | 23166 | 7784 33346 101436 | 2147483647 23166 145 | 0.000 % |
7.37/7.47 c | 23575 | 7784 33346 101436 | 2147483647 23575 145 | 0.000 % |
7.47/7.51 c | 23676 | 7784 33346 101436 | 2147483647 23676 145 | 0.000 % |
7.47/7.55 c | 23787 | 7784 33346 101436 | 2147483647 23787 145 | 0.000 % |
7.57/7.60 c | 23908 | 7784 33346 101436 | 2147483647 23908 145 | 0.000 % |
7.57/7.66 c | 24043 | 7784 33346 101436 | 2147483647 24043 145 | 0.000 % |
7.67/7.72 c | 24194 | 7784 33346 101436 | 2147483647 24194 145 | 0.000 % |
7.67/7.79 c | 24354 | 7784 33346 101436 | 2147483647 24354 145 | 0.000 % |
7.77/7.85 c | 24533 | 7784 33346 101436 | 2147483647 24533 145 | 0.000 % |
7.87/7.93 c | 24728 | 7784 33346 101436 | 2147483647 24728 145 | 0.000 % |
7.97/8.01 c | 24946 | 7784 33346 101436 | 2147483647 24946 145 | 0.000 % |
8.06/8.10 c | 25180 | 7784 33346 101436 | 2147483647 25180 145 | 0.000 % |
8.16/8.20 c | 25436 | 7784 33346 101436 | 2147483647 25436 145 | 0.000 % |
8.26/8.31 c | 25719 | 7784 33346 101436 | 2147483647 25719 145 | 0.000 % |
8.36/8.43 c | 26028 | 7784 33346 101436 | 2147483647 26028 145 | 0.000 % |
8.46/8.57 c | 26369 | 7784 33346 101436 | 2147483647 26369 145 | 0.000 % |
8.66/8.71 c | 26741 | 7784 33346 101436 | 2147483647 26741 146 | 0.000 % |
8.76/8.86 c | 27151 | 7784 33346 101436 | 2147483647 27151 146 | 0.000 % |
8.96/9.04 c | 27601 | 7784 33346 101436 | 2147483647 27601 147 | 0.000 % |
8.96/9.08 c | 27702 | 7784 33346 101436 | 2147483647 27702 147 | 0.000 % |
9.06/9.12 c | 27812 | 7784 33346 101436 | 2147483647 27812 147 | 0.000 % |
9.06/9.17 c | 27934 | 7784 33346 101436 | 2147483647 27934 147 | 0.000 % |
9.16/9.23 c | 28067 | 7784 33346 101436 | 2147483647 28067 146 | 0.000 % |
9.16/9.29 c | 28218 | 7784 33346 101436 | 2147483647 28218 146 | 0.000 % |
9.26/9.36 c | 28378 | 7784 33346 101436 | 2147483647 28378 146 | 0.000 % |
9.37/9.43 c | 28554 | 7784 33346 101436 | 2147483647 28554 146 | 0.000 % |
9.47/9.52 c | 28747 | 7784 33346 101436 | 2147483647 28747 146 | 0.000 % |
9.57/9.61 c | 28959 | 7784 33346 101436 | 2147483647 28959 146 | 0.000 % |
9.67/9.71 c | 29193 | 7784 33346 101436 | 2147483647 29193 146 | 0.000 % |
9.77/9.81 c | 29450 | 7784 33346 101436 | 2147483647 29450 147 | 0.000 % |
9.87/9.93 c | 29732 | 7784 33346 101436 | 2147483647 29732 147 | 0.000 % |
9.96/10.06 c | 30042 | 7784 33346 101436 | 2147483647 30042 147 | 0.000 % |
10.16/10.20 c | 30383 | 7784 33346 101436 | 2147483647 30383 147 | 0.000 % |
10.26/10.35 c | 30755 | 7784 33346 101436 | 2147483647 30755 147 | 0.000 % |
10.46/10.51 c | 31164 | 7784 33346 101436 | 2147483647 31164 147 | 0.000 % |
10.56/10.70 c | 31613 | 7784 33346 101436 | 2147483647 31613 148 | 0.000 % |
10.86/10.92 c | 32106 | 7784 33346 101436 | 2147483647 32106 148 | 0.000 % |
10.86/10.96 c | 32206 | 7784 33346 101436 | 2147483647 32206 148 | 0.000 % |
10.96/11.02 c | 32316 | 7784 33346 101436 | 2147483647 32316 148 | 0.000 % |
10.96/11.07 c | 32437 | 7784 33346 101436 | 2147483647 32437 148 | 0.000 % |
11.06/11.13 c | 32571 | 7784 33346 101436 | 2147483647 32571 148 | 0.000 % |
11.16/11.20 c | 32717 | 7784 33346 101436 | 2147483647 32717 148 | 0.000 % |
11.16/11.28 c | 32879 | 7784 33346 101436 | 2147483647 32879 148 | 0.000 % |
11.26/11.36 c | 33055 | 7784 33346 101436 | 2147483647 33055 148 | 0.000 % |
11.36/11.45 c | 33250 | 7784 33346 101436 | 2147483647 33250 148 | 0.000 % |
11.46/11.54 c | 33462 | 7784 33346 101436 | 2147483647 33462 148 | 0.000 % |
11.56/11.63 c | 33695 | 7784 33346 101436 | 2147483647 33695 148 | 0.000 % |
11.66/11.74 c | 33951 | 7784 33346 101436 | 2147483647 33951 147 | 0.000 % |
11.76/11.87 c | 34233 | 7784 33346 101436 | 2147483647 34233 147 | 0.000 % |
11.87/12.00 c | 34542 | 7784 33346 101436 | 2147483647 34542 148 | 0.000 % |
12.07/12.16 c | 34884 | 7784 33346 101436 | 2147483647 34884 148 | 0.000 % |
12.27/12.31 c | 35257 | 7784 33346 101436 | 2147483647 35257 147 | 0.000 % |
12.47/12.50 c | 35666 | 7784 33346 101436 | 2147483647 35666 147 | 0.000 % |
12.57/12.68 c | 36115 | 7784 33346 101436 | 2147483647 36115 147 | 0.000 % |
12.86/12.90 c | 36608 | 7784 33346 101436 | 2147483647 36608 148 | 0.000 % |
13.07/13.13 c | 37150 | 7784 33346 101436 | 2147483647 37150 148 | 0.000 % |
13.07/13.18 c | 37251 | 7784 33346 101436 | 2147483647 37251 148 | 0.000 % |
13.17/13.23 c | 37362 | 7784 33346 101436 | 2147483647 37362 147 | 0.000 % |
13.17/13.29 c | 37483 | 7784 33346 101436 | 2147483647 37483 147 | 0.000 % |
13.26/13.35 c | 37616 | 7784 33346 101436 | 2147483647 37616 147 | 0.000 % |
13.36/13.42 c | 37764 | 7784 33346 101436 | 2147483647 37764 147 | 0.000 % |
13.46/13.50 c | 37924 | 7784 33346 101436 | 2147483647 37924 148 | 0.000 % |
13.46/13.58 c | 38100 | 7784 33346 101436 | 2147483647 38100 148 | 0.000 % |
13.56/13.68 c | 38294 | 7784 33346 101436 | 2147483647 38294 147 | 0.000 % |
13.66/13.78 c | 38506 | 7784 33346 101436 | 2147483647 38506 147 | 0.000 % |
13.76/13.89 c | 38739 | 7784 33346 101436 | 2147483647 38739 148 | 0.000 % |
13.96/14.03 c | 38995 | 7784 33346 101436 | 2147483647 38995 148 | 0.000 % |
14.06/14.15 c | 39277 | 7784 33346 101436 | 2147483647 39277 148 | 0.000 % |
14.16/14.30 c | 39586 | 7784 33346 101436 | 2147483647 39586 148 | 0.000 % |
14.36/14.46 c | 39925 | 7784 33346 101436 | 2147483647 39925 148 | 0.000 % |
14.56/14.63 c | 40298 | 7784 33346 101436 | 2147483647 40298 148 | 0.000 % |
14.76/14.83 c | 40709 | 7784 33346 101436 | 2147483647 40709 148 | 0.000 % |
14.96/15.05 c | 41158 | 7784 33346 101436 | 2147483647 41158 148 | 0.000 % |
15.16/15.30 c | 41651 | 7784 33346 101436 | 2147483647 41651 148 | 0.000 % |
15.46/15.57 c | 42193 | 7784 33346 101436 | 2147483647 42193 148 | 0.000 % |
15.76/15.84 c | 42792 | 7784 33346 101436 | 2147483647 42792 148 | 0.000 % |
15.76/15.89 c | 42893 | 7784 33346 101436 | 2147483647 42893 148 | 0.000 % |
15.86/15.94 c | 43003 | 7784 33346 101436 | 2147483647 43003 148 | 0.000 % |
15.96/16.02 c | 43125 | 7784 33346 101436 | 2147483647 43125 148 | 0.000 % |
15.96/16.09 c | 43261 | 7784 33346 101436 | 2147483647 43261 148 | 0.000 % |
16.06/16.16 c | 43407 | 7784 33346 101436 | 2147483647 43407 148 | 0.000 % |
16.16/16.24 c | 43568 | 7784 33346 101436 | 2147483647 43568 148 | 0.000 % |
16.26/16.34 c | 43745 | 7784 33346 101436 | 2147483647 43745 148 | 0.000 % |
16.36/16.45 c | 43940 | 7784 33346 101436 | 2147483647 43940 148 | 0.000 % |
16.46/16.55 c | 44152 | 7784 33346 101436 | 2147483647 44152 148 | 0.000 % |
16.56/16.68 c | 44385 | 7784 33346 101436 | 2147483647 44385 148 | 0.000 % |
16.76/16.81 c | 44641 | 7784 33346 101436 | 2147483647 44641 148 | 0.000 % |
16.86/16.94 c | 44922 | 7784 33346 101436 | 2147483647 44922 148 | 0.000 % |
17.06/17.10 c | 45232 | 7784 33346 101436 | 2147483647 45232 148 | 0.000 % |
17.16/17.27 c | 45571 | 7784 33346 101436 | 2147483647 45571 148 | 0.000 % |
17.36/17.46 c | 45943 | 7784 33346 101436 | 2147483647 45943 148 | 0.000 % |
17.56/17.66 c | 46354 | 7784 33346 101436 | 2147483647 46354 148 | 0.000 % |
17.76/17.90 c | 46804 | 7784 33346 101436 | 2147483647 46804 148 | 0.000 % |
18.05/18.16 c | 47297 | 7784 33346 101436 | 2147483647 47297 149 | 0.000 % |
18.35/18.41 c | 47840 | 7784 33346 101436 | 2147483647 47840 149 | 0.000 % |
18.66/18.71 c | 48437 | 7784 33346 101436 | 2147483647 48437 149 | 0.000 % |
18.96/19.06 c | 49093 | 7784 33346 101436 | 2147483647 49093 149 | 0.000 % |
19.06/19.11 c | 49194 | 7784 33346 101436 | 2147483647 49194 149 | 0.000 % |
19.06/19.18 c | 49306 | 7784 33346 101436 | 2147483647 49306 149 | 0.000 % |
19.16/19.25 c | 49427 | 7784 33346 101436 | 2147483647 49427 149 | 0.000 % |
19.26/19.34 c | 49561 | 7784 33346 101436 | 2147483647 49561 149 | 0.000 % |
19.36/19.43 c | 49707 | 7784 33346 101436 | 2147483647 49707 149 | 0.000 % |
19.46/19.52 c | 49867 | 7784 33346 101436 | 2147483647 49867 149 | 0.000 % |
19.56/19.62 c | 50045 | 7784 33346 101436 | 2147483647 50045 149 | 0.000 % |
19.66/19.73 c | 50238 | 7784 33346 101436 | 2147483647 50238 149 | 0.000 % |
19.76/19.86 c | 50450 | 7784 33346 101436 | 2147483647 50450 149 | 0.000 % |
19.86/19.97 c | 50683 | 7784 33346 101436 | 2147483647 50683 149 | 0.000 % |
20.06/20.12 c | 50940 | 7784 33346 101436 | 2147483647 50940 149 | 0.000 % |
20.16/20.28 c | 51222 | 7784 33346 101436 | 2147483647 51222 149 | 0.000 % |
20.36/20.45 c | 51531 | 7784 33346 101436 | 2147483647 51531 149 | 0.000 % |
20.56/20.65 c | 51872 | 7784 33346 101436 | 2147483647 51872 149 | 0.000 % |
20.76/20.87 c | 52244 | 7784 33346 101436 | 2147483647 52244 149 | 0.000 % |
20.95/21.09 c | 52655 | 7784 33346 101436 | 2147483647 52655 149 | 0.000 % |
21.25/21.35 c | 53105 | 7784 33346 101436 | 2147483647 53105 149 | 0.000 % |
21.55/21.61 c | 53600 | 7784 33346 101436 | 2147483647 53600 150 | 0.000 % |
21.75/21.89 c | 54142 | 7784 33346 101436 | 2147483647 54142 150 | 0.000 % |
22.15/22.20 c | 54738 | 7784 33346 101436 | 2147483647 54738 151 | 0.000 % |
22.45/22.55 c | 55393 | 7784 33346 101436 | 2147483647 55393 150 | 0.000 % |
22.86/22.97 c | 56113 | 7784 33346 101436 | 2147483647 56113 151 | 0.000 % |
22.96/23.03 c | 56213 | 7784 33346 101436 | 2147483647 56213 151 | 0.000 % |
22.96/23.09 c | 56325 | 7784 33346 101436 | 2147483647 56325 151 | 0.000 % |
23.06/23.17 c | 56448 | 7784 33346 101436 | 2147483647 56448 151 | 0.000 % |
23.16/23.24 c | 56581 | 7784 33346 101436 | 2147483647 56581 151 | 0.000 % |
23.26/23.34 c | 56728 | 7784 33346 101436 | 2147483647 56728 151 | 0.000 % |
23.36/23.44 c | 56889 | 7784 33346 101436 | 2147483647 56889 151 | 0.000 % |
23.46/23.54 c | 57065 | 7784 33346 101436 | 2147483647 57065 151 | 0.000 % |
23.56/23.67 c | 57258 | 7784 33346 101436 | 2147483647 57258 151 | 0.000 % |
23.75/23.80 c | 57472 | 7784 33346 101436 | 2147483647 57472 151 | 0.000 % |
23.85/23.95 c | 57707 | 7784 33346 101436 | 2147483647 57707 151 | 0.000 % |
24.06/24.10 c | 57967 | 7784 33346 101436 | 2147483647 57967 151 | 0.000 % |
24.16/24.26 c | 58248 | 7784 33346 101436 | 2147483647 58248 151 | 0.000 % |
24.35/24.45 c | 58558 | 7784 33346 101436 | 2147483647 58558 151 | 0.000 % |
24.55/24.67 c | 58898 | 7784 33346 101436 | 2147483647 58898 150 | 0.000 % |
24.75/24.90 c | 59271 | 7784 33346 101436 | 2147483647 59271 151 | 0.000 % |
25.05/25.15 c | 59683 | 7784 33346 101436 | 2147483647 59683 151 | 0.000 % |
25.35/25.41 c | 60135 | 7784 33346 101436 | 2147483647 60135 151 | 0.000 % |
25.55/25.69 c | 60629 | 7784 33346 101436 | 2147483647 60629 151 | 0.000 % |
25.85/25.99 c | 61171 | 7784 33346 101436 | 2147483647 61171 151 | 0.000 % |
26.26/26.36 c | 61768 | 7784 33346 101436 | 2147483647 61768 152 | 0.000 % |
26.65/26.77 c | 62423 | 7784 33346 101436 | 2147483647 62423 152 | 0.000 % |
27.05/27.16 c | 63143 | 7784 33346 101436 | 2147483647 63143 153 | 0.000 % |
27.54/27.61 c | 63937 | 7784 33346 101436 | 2147483647 63937 153 | 0.000 % |
27.54/27.67 c | 64039 | 7784 33346 101436 | 2147483647 64039 153 | 0.000 % |
27.64/27.76 c | 64152 | 7784 33346 101436 | 2147483647 64152 152 | 0.000 % |
27.74/27.84 c | 64275 | 7784 33346 101436 | 2147483647 64275 152 | 0.000 % |
27.84/27.95 c | 64408 | 7784 33346 101436 | 2147483647 64408 152 | 0.000 % |
27.94/28.05 c | 64554 | 7784 33346 101436 | 2147483647 64554 152 | 0.000 % |
28.04/28.16 c | 64716 | 7784 33346 101436 | 2147483647 64716 152 | 0.000 % |
28.14/28.27 c | 64892 | 7784 33346 101436 | 2147483647 64892 152 | 0.000 % |
28.34/28.41 c | 65087 | 7784 33346 101436 | 2147483647 65087 152 | 0.000 % |
28.45/28.55 c | 65299 | 7784 33346 101436 | 2147483647 65299 152 | 0.000 % |
28.54/28.68 c | 65533 | 7784 33346 101436 | 2147483647 65533 152 | 0.000 % |
28.74/28.85 c | 65789 | 7784 33346 101436 | 2147483647 65789 152 | 0.000 % |
28.94/29.04 c | 66070 | 7784 33346 101436 | 2147483647 66070 152 | 0.000 % |
29.15/29.25 c | 66381 | 7784 33346 101436 | 2147483647 66381 152 | 0.000 % |
29.35/29.46 c | 66721 | 7784 33346 101436 | 2147483647 66721 152 | 0.000 % |
29.65/29.71 c | 67093 | 7784 33346 101436 | 2147483647 67093 152 | 0.000 % |
29.85/29.98 c | 67502 | 7784 33346 101436 | 2147483647 67502 152 | 0.000 % |
30.14/30.26 c | 67952 | 7784 33346 101436 | 2147483647 67952 152 | 0.000 % |
30.44/30.55 c | 68447 | 7784 33346 101436 | 2147483647 68447 152 | 0.000 % |
30.84/30.90 c | 68992 | 7784 33346 101436 | 2147483647 68992 152 | 0.000 % |
31.14/31.27 c | 69588 | 7784 33346 101436 | 2147483647 69588 153 | 0.000 % |
31.64/31.71 c | 70243 | 7784 33346 101436 | 2147483647 70243 153 | 0.000 % |
32.04/32.18 c | 70963 | 7784 33346 101436 | 2147483647 70963 153 | 0.000 % |
32.64/32.73 c | 71755 | 7784 33346 101436 | 2147483647 71755 153 | 0.000 % |
33.14/33.28 c | 72626 | 7784 33346 101436 | 2147483647 72626 153 | 0.000 % |
33.24/33.36 c | 72726 | 7784 33346 101436 | 2147483647 72726 153 | 0.000 % |
33.34/33.44 c | 72840 | 7784 33346 101436 | 2147483647 72840 153 | 0.000 % |
33.44/33.52 c | 72961 | 7784 33346 101436 | 2147483647 72961 153 | 0.000 % |
33.54/33.62 c | 73095 | 7784 33346 101436 | 2147483647 73095 153 | 0.000 % |
33.64/33.72 c | 73241 | 7784 33346 101436 | 2147483647 73241 153 | 0.000 % |
33.74/33.84 c | 73401 | 7784 33346 101436 | 2147483647 73401 153 | 0.000 % |
33.84/33.97 c | 73579 | 7784 33346 101436 | 2147483647 73579 153 | 0.000 % |
34.04/34.11 c | 73772 | 7784 33346 101436 | 2147483647 73772 153 | 0.000 % |
34.14/34.26 c | 73984 | 7784 33346 101436 | 2147483647 73984 153 | 0.000 % |
34.34/34.42 c | 74217 | 7784 33346 101436 | 2147483647 74217 152 | 0.000 % |
34.54/34.61 c | 74474 | 7784 33346 101436 | 2147483647 74474 153 | 0.000 % |
34.74/34.80 c | 74756 | 7784 33346 101436 | 2147483647 74756 153 | 0.000 % |
34.93/35.02 c | 75065 | 7784 33346 101436 | 2147483647 75065 153 | 0.000 % |
35.14/35.28 c | 75405 | 7784 33346 101436 | 2147483647 75405 153 | 0.000 % |
35.43/35.54 c | 75778 | 7784 33346 101436 | 2147483647 75778 153 | 0.000 % |
35.73/35.82 c | 76187 | 7784 33346 101436 | 2147483647 76187 153 | 0.000 % |
36.03/36.10 c | 76636 | 7784 33346 101436 | 2147483647 76636 153 | 0.000 % |
36.33/36.45 c | 77129 | 7784 33346 101436 | 2147483647 77129 153 | 0.000 % |
36.73/36.86 c | 77671 | 7784 33346 101436 | 2147483647 77671 153 | 0.000 % |
37.13/37.24 c | 78267 | 7784 33346 101436 | 2147483647 78267 153 | 0.000 % |
37.64/37.70 c | 78922 | 7784 33346 101436 | 2147483647 78922 153 | 0.000 % |
38.04/38.19 c | 79642 | 7784 33346 101436 | 2147483647 79642 153 | 0.000 % |
38.64/38.74 c | 80434 | 7784 33346 101436 | 2147483647 80434 153 | 0.000 % |
39.24/39.35 c | 81306 | 7784 33346 101436 | 2147483647 81306 153 | 0.000 % |
39.93/40.00 c | 82264 | 7784 33346 101436 | 2147483647 82264 153 | 0.000 % |
39.93/40.08 c | 82364 | 7784 33346 101436 | 2147483647 82364 153 | 0.000 % |
40.03/40.17 c | 82474 | 7784 33346 101436 | 2147483647 82474 153 | 0.000 % |
40.13/40.28 c | 82595 | 7784 33346 101436 | 2147483647 82595 153 | 0.000 % |
40.33/40.41 c | 82730 | 7784 33346 101436 | 2147483647 82730 153 | 0.000 % |
40.43/40.53 c | 82877 | 7784 33346 101436 | 2147483647 82877 153 | 0.000 % |
40.53/40.64 c | 83038 | 7784 33346 101436 | 2147483647 83038 153 | 0.000 % |
40.63/40.79 c | 83214 | 7784 33346 101436 | 2147483647 83214 153 | 0.000 % |
40.83/40.95 c | 83407 | 7784 33346 101436 | 2147483647 83407 153 | 0.000 % |
41.03/41.12 c | 83620 | 7784 33346 101436 | 2147483647 83620 153 | 0.000 % |
41.23/41.31 c | 83853 | 7784 33346 101436 | 2147483647 83853 153 | 0.000 % |
41.43/41.50 c | 84109 | 7784 33346 101436 | 2147483647 84109 153 | 0.000 % |
41.63/41.70 c | 84390 | 7784 33346 101436 | 2147483647 84390 153 | 0.000 % |
41.83/41.94 c | 84699 | 7784 33346 101436 | 2147483647 84699 153 | 0.000 % |
42.03/42.17 c | 85038 | 7784 33346 101436 | 2147483647 85038 153 | 0.000 % |
42.33/42.46 c | 85410 | 7784 33346 101436 | 2147483647 85410 153 | 0.000 % |
42.63/42.75 c | 85819 | 7784 33346 101436 | 2147483647 85819 153 | 0.000 % |
42.93/43.10 c | 86269 | 7784 33346 101436 | 2147483647 86269 153 | 0.000 % |
43.33/43.45 c | 86762 | 7784 33346 101436 | 2147483647 86762 153 | 0.000 % |
43.74/43.87 c | 87304 | 7784 33346 101436 | 2147483647 87304 153 | 0.000 % |
44.23/44.34 c | 87900 | 7784 33346 101436 | 2147483647 87900 153 | 0.000 % |
44.73/44.82 c | 88555 | 7784 33346 101436 | 2147483647 88555 153 | 0.000 % |
45.22/45.37 c | 89279 | 7784 33346 101436 | 2147483647 89279 153 | 0.000 % |
45.82/45.98 c | 90073 | 7784 33346 101436 | 2147483647 90073 154 | 0.000 % |
46.53/46.66 c | 90945 | 7784 33346 101436 | 2147483647 90945 154 | 0.000 % |
47.23/47.37 c | 91903 | 7784 33346 101436 | 2147483647 91903 154 | 0.000 % |
48.02/48.17 c | 92957 | 7784 33346 101436 | 2147483647 92957 154 | 0.000 % |
48.13/48.27 c | 93057 | 7784 33346 101436 | 2147483647 93057 154 | 0.000 % |
48.23/48.36 c | 93167 | 7784 33346 101436 | 2147483647 93167 154 | 0.000 % |
48.33/48.47 c | 93291 | 7784 33346 101436 | 2147483647 93291 154 | 0.000 % |
48.43/48.58 c | 93427 | 7784 33346 101436 | 2147483647 93427 154 | 0.000 % |
48.63/48.71 c | 93573 | 7784 33346 101436 | 2147483647 93573 154 | 0.000 % |
48.73/48.84 c | 93733 | 7784 33346 101436 | 2147483647 93733 154 | 0.000 % |
48.82/48.99 c | 93909 | 7784 33346 101436 | 2147483647 93909 154 | 0.000 % |
49.02/49.14 c | 94102 | 7784 33346 101436 | 2147483647 94102 154 | 0.000 % |
49.22/49.32 c | 94314 | 7784 33346 101436 | 2147483647 94314 154 | 0.000 % |
49.43/49.51 c | 94547 | 7784 33346 101436 | 2147483647 94547 154 | 0.000 % |
49.62/49.73 c | 94803 | 7784 33346 101436 | 2147483647 94803 154 | 0.000 % |
49.82/49.96 c | 95085 | 7784 33346 101436 | 2147483647 95085 154 | 0.000 % |
50.12/50.22 c | 95395 | 7784 33346 101436 | 2147483647 95395 154 | 0.000 % |
50.32/50.48 c | 95735 | 7784 33346 101436 | 2147483647 95735 154 | 0.000 % |
50.62/50.78 c | 96108 | 7784 33346 101436 | 2147483647 96108 154 | 0.000 % |
50.92/51.08 c | 96517 | 7784 33346 101436 | 2147483647 96517 154 | 0.000 % |
51.32/51.42 c | 96966 | 7784 33346 101436 | 2147483647 96966 154 | 0.000 % |
51.72/51.85 c | 97460 | 7784 33346 101436 | 2147483647 97460 154 | 0.000 % |
52.12/52.28 c | 98003 | 7784 33346 101436 | 2147483647 98003 154 | 0.000 % |
52.63/52.76 c | 98599 | 7784 33346 101436 | 2147483647 98599 154 | 0.000 % |
53.22/53.32 c | 99254 | 7784 33346 101436 | 2147483647 99254 154 | 0.000 % |
53.72/53.88 c | 99974 | 7784 33346 101436 | 2147483647 99974 154 | 0.000 % |
54.32/54.48 c | 100766 | 7784 33346 101436 | 2147483647 100766 154 | 0.000 % |
55.01/55.19 c | 101637 | 7784 33346 101436 | 2147483647 101637 155 | 0.000 % |
55.92/56.02 c | 102596 | 7784 33346 101436 | 2147483647 102596 155 | 0.000 % |
56.72/56.87 c | 103649 | 7784 33346 101436 | 2147483647 103649 155 | 0.000 % |
57.62/57.77 c | 104807 | 7784 33346 101436 | 2147483647 104807 155 | 0.000 % |
57.72/57.87 c | 104907 | 7784 33346 101436 | 2147483647 104907 155 | 0.000 % |
57.82/57.97 c | 105017 | 7784 33346 101436 | 2147483647 105017 155 | 0.000 % |
58.02/58.10 c | 105140 | 7784 33346 101436 | 2147483647 105140 155 | 0.000 % |
58.12/58.21 c | 105274 | 7784 33346 101436 | 2147483647 105274 155 | 0.000 % |
58.23/58.36 c | 105423 | 7784 33346 101436 | 2147483647 105423 155 | 0.000 % |
58.42/58.51 c | 105585 | 7784 33346 101436 | 2147483647 105585 155 | 0.000 % |
58.52/58.69 c | 105761 | 7784 33346 101436 | 2147483647 105761 155 | 0.000 % |
58.72/58.86 c | 105954 | 7784 33346 101436 | 2147483647 105954 155 | 0.000 % |
58.92/59.07 c | 106166 | 7784 33346 101436 | 2147483647 106166 155 | 0.000 % |
59.12/59.28 c | 106399 | 7784 33346 101436 | 2147483647 106399 155 | 0.000 % |
59.42/59.50 c | 106656 | 7784 33346 101436 | 2147483647 106656 155 | 0.000 % |
59.62/59.76 c | 106938 | 7784 33346 101436 | 2147483647 106938 155 | 0.000 % |
59.92/60.02 c | 107250 | 7784 33346 101436 | 2147483647 107250 155 | 0.000 % |
60.22/60.32 c | 107590 | 7784 33346 101436 | 2147483647 107590 155 | 0.000 % |
60.52/60.66 c | 107964 | 7784 33346 101436 | 2147483647 107964 155 | 0.000 % |
60.92/61.04 c | 108373 | 7784 33346 101436 | 2147483647 108373 155 | 0.000 % |
61.31/61.43 c | 108822 | 7784 33346 101436 | 2147483647 108822 155 | 0.000 % |
61.71/61.85 c | 109315 | 7784 33346 101436 | 2147483647 109315 155 | 0.000 % |
62.11/62.29 c | 109857 | 7784 33346 101436 | 2147483647 109857 155 | 0.000 % |
62.61/62.79 c | 110454 | 7784 33346 101436 | 2147483647 110454 155 | 0.000 % |
63.21/63.36 c | 111109 | 7784 33346 101436 | 2147483647 111109 155 | 0.000 % |
63.82/63.94 c | 111829 | 7784 33346 101436 | 2147483647 111829 155 | 0.000 % |
64.52/64.64 c | 112622 | 7784 33346 101436 | 2147483647 112622 155 | 0.000 % |
65.31/65.40 c | 113497 | 7784 33346 101436 | 2147483647 113497 156 | 0.000 % |
66.11/66.23 c | 114455 | 7784 33346 101436 | 2147483647 114455 156 | 0.000 % |
67.01/67.15 c | 115508 | 7784 33346 101436 | 2147483647 115508 156 | 0.000 % |
68.01/68.20 c | 116666 | 7784 33346 101436 | 2147483647 116666 156 | 0.000 % |
69.11/69.29 c | 117943 | 7784 33346 101436 | 2147483647 117943 156 | 0.000 % |
69.21/69.39 c | 118043 | 7784 33346 101436 | 2147483647 118043 156 | 0.000 % |
69.41/69.53 c | 118153 | 7784 33346 101436 | 2147483647 118153 156 | 0.000 % |
69.51/69.65 c | 118275 | 7784 33346 101436 | 2147483647 118275 156 | 0.000 % |
69.61/69.79 c | 118408 | 7784 33346 101436 | 2147483647 118408 156 | 0.000 % |
69.80/69.93 c | 118555 | 7784 33346 101436 | 2147483647 118555 156 | 0.000 % |
70.00/70.11 c | 118717 | 7784 33346 101436 | 2147483647 118717 156 | 0.000 % |
70.10/70.29 c | 118895 | 7784 33346 101436 | 2147483647 118895 156 | 0.000 % |
70.31/70.48 c | 119089 | 7784 33346 101436 | 2147483647 119089 156 | 0.000 % |
70.50/70.69 c | 119301 | 7784 33346 101436 | 2147483647 119301 156 | 0.000 % |
70.81/70.93 c | 119535 | 7784 33346 101436 | 2147483647 119535 156 | 0.000 % |
71.11/71.20 c | 119794 | 7784 33346 101436 | 2147483647 119794 156 | 0.000 % |
71.31/71.44 c | 120075 | 7784 33346 101436 | 2147483647 120075 156 | 0.000 % |
71.61/71.75 c | 120384 | 7784 33346 101436 | 2147483647 120384 156 | 0.000 % |
71.91/72.07 c | 120726 | 7784 33346 101436 | 2147483647 120726 156 | 0.000 % |
72.31/72.43 c | 121098 | 7784 33346 101436 | 2147483647 121098 156 | 0.000 % |
72.71/72.86 c | 121512 | 7784 33346 101436 | 2147483647 121512 156 | 0.000 % |
73.11/73.29 c | 121961 | 7784 33346 101436 | 2147483647 121961 156 | 0.000 % |
73.61/73.70 c | 122454 | 7784 33346 101436 | 2147483647 122454 156 | 0.000 % |
74.01/74.19 c | 122996 | 7784 33346 101436 | 2147483647 122996 156 | 0.000 % |
74.61/74.75 c | 123592 | 7784 33346 101436 | 2147483647 123592 156 | 0.000 % |
75.30/75.41 c | 124248 | 7784 33346 101436 | 2147483647 124248 156 | 0.000 % |
76.01/76.11 c | 124968 | 7784 33346 101436 | 2147483647 124968 156 | 0.000 % |
76.71/76.85 c | 125761 | 7784 33346 101436 | 2147483647 125761 156 | 0.000 % |
77.51/77.63 c | 126632 | 7784 33346 101436 | 2147483647 126632 157 | 0.000 % |
78.40/78.51 c | 127591 | 7784 33346 101436 | 2147483647 127591 157 | 0.000 % |
79.40/79.55 c | 128644 | 7784 33346 101436 | 2147483647 128644 157 | 0.000 % |
80.50/80.67 c | 129803 | 7784 33346 101436 | 2147483647 129803 157 | 0.000 % |
81.70/81.85 c | 131077 | 7784 33346 101436 | 2147483647 131077 157 | 0.000 % |
83.10/83.23 c | 132477 | 7784 33346 101436 | 2147483647 132477 158 | 0.000 % |
83.20/83.33 c | 132580 | 7784 33346 101436 | 2147483647 132580 158 | 0.000 % |
83.30/83.46 c | 132691 | 7784 33346 101436 | 2147483647 132691 158 | 0.000 % |
83.51/83.62 c | 132812 | 7784 33346 101436 | 2147483647 132812 158 | 0.000 % |
83.60/83.78 c | 132947 | 7784 33346 101436 | 2147483647 132947 158 | 0.000 % |
83.80/83.94 c | 133094 | 7784 33346 101436 | 2147483647 133094 157 | 0.000 % |
84.00/84.12 c | 133254 | 7784 33346 101436 | 2147483647 133254 157 | 0.000 % |
84.20/84.31 c | 133431 | 7784 33346 101436 | 2147483647 133431 157 | 0.000 % |
84.30/84.49 c | 133627 | 7784 33346 101436 | 2147483647 133627 157 | 0.000 % |
84.60/84.73 c | 133840 | 7784 33346 101436 | 2147483647 133840 157 | 0.000 % |
84.90/85.00 c | 134073 | 7784 33346 101436 | 2147483647 134073 157 | 0.000 % |
85.20/85.31 c | 134329 | 7784 33346 101436 | 2147483647 134329 157 | 0.000 % |
85.50/85.61 c | 134612 | 7784 33346 101436 | 2147483647 134612 157 | 0.000 % |
85.80/85.97 c | 134924 | 7784 33346 101436 | 2147483647 134924 157 | 0.000 % |
86.19/86.35 c | 135266 | 7784 33346 101436 | 2147483647 135266 157 | 0.000 % |
86.59/86.75 c | 135638 | 7784 33346 101436 | 2147483647 135638 157 | 0.000 % |
86.99/87.19 c | 136047 | 7784 33346 101436 | 2147483647 136047 157 | 0.000 % |
87.49/87.67 c | 136498 | 7784 33346 101436 | 2147483647 136498 157 | 0.000 % |
88.09/88.21 c | 136991 | 7784 33346 101436 | 2147483647 136991 157 | 0.000 % |
88.60/88.74 c | 137533 | 7784 33346 101436 | 2147483647 137533 157 | 0.000 % |
89.19/89.33 c | 138129 | 7784 33346 101436 | 2147483647 138129 157 | 0.000 % |
89.79/89.96 c | 138784 | 7784 33346 101436 | 2147483647 138784 157 | 0.000 % |
90.59/90.72 c | 139504 | 7784 33346 101436 | 2147483647 139504 158 | 0.000 % |
91.38/91.51 c | 140297 | 7784 33346 101436 | 2147483647 140297 158 | 0.000 % |
92.29/92.42 c | 141171 | 7784 33346 101436 | 2147483647 141171 158 | 0.000 % |
93.29/93.41 c | 142129 | 7784 33346 101436 | 2147483647 142129 158 | 0.000 % |
94.29/94.49 c | 143182 | 7784 33346 101436 | 2147483647 143182 158 | 0.000 % |
95.49/95.62 c | 144341 | 7784 33346 101436 | 2147483647 144341 158 | 0.000 % |
96.79/96.91 c | 145615 | 7784 33346 101436 | 2147483647 145615 158 | 0.000 % |
98.08/98.29 c | 147016 | 7784 33346 101436 | 2147483647 147016 159 | 0.000 % |
99.68/99.85 c | 148560 | 7784 33346 101436 | 2147483647 148560 159 | 0.000 % |
99.78/99.98 c | 148661 | 7784 33346 101436 | 2147483647 148661 159 | 0.000 % |
99.98/100.11 c | 148771 | 7784 33346 101436 | 2147483647 148771 159 | 0.000 % |
100.08/100.27 c | 148893 | 7784 33346 101436 | 2147483647 148893 159 | 0.000 % |
100.28/100.43 c | 149026 | 7784 33346 101436 | 2147483647 149026 159 | 0.000 % |
100.48/100.64 c | 149172 | 7784 33346 101436 | 2147483647 149172 158 | 0.000 % |
100.68/100.85 c | 149333 | 7784 33346 101436 | 2147483647 149333 158 | 0.000 % |
100.88/101.07 c | 149511 | 7784 33346 101436 | 2147483647 149511 158 | 0.000 % |
101.08/101.29 c | 149704 | 7784 33346 101436 | 2147483647 149704 158 | 0.000 % |
101.38/101.54 c | 149917 | 7784 33346 101436 | 2147483647 149917 158 | 0.000 % |
101.69/101.82 c | 150151 | 7784 33346 101436 | 2147483647 150151 158 | 0.000 % |
101.99/102.11 c | 150407 | 7784 33346 101436 | 2147483647 150407 158 | 0.000 % |
102.29/102.44 c | 150691 | 7784 33346 101436 | 2147483647 150691 158 | 0.000 % |
102.69/102.80 c | 151003 | 7784 33346 101436 | 2147483647 151003 158 | 0.000 % |
103.09/103.23 c | 151342 | 7784 33346 101436 | 2147483647 151342 158 | 0.000 % |
103.48/103.63 c | 151715 | 7784 33346 101436 | 2147483647 151715 158 | 0.000 % |
103.99/104.10 c | 152125 | 7784 33346 101436 | 2147483647 152125 158 | 0.000 % |
104.39/104.58 c | 152576 | 7784 33346 101436 | 2147483647 152576 158 | 0.000 % |
104.98/105.14 c | 153069 | 7784 33346 101436 | 2147483647 153069 158 | 0.000 % |
105.58/105.79 c | 153611 | 7784 33346 101436 | 2147483647 153611 159 | 0.000 % |
106.18/106.40 c | 154207 | 7784 33346 101436 | 2147483647 154207 159 | 0.000 % |
106.98/107.13 c | 154864 | 7784 33346 101436 | 2147483647 154864 159 | 0.000 % |
107.78/107.91 c | 155586 | 7784 33346 101436 | 2147483647 155586 159 | 0.000 % |
108.58/108.72 c | 156378 | 7784 33346 101436 | 2147483647 156378 159 | 0.000 % |
109.48/109.67 c | 157249 | 7784 33346 101436 | 2147483647 157249 159 | 0.000 % |
110.58/110.70 c | 158207 | 7784 33346 101436 | 2147483647 158207 159 | 0.000 % |
111.78/111.90 c | 159260 | 7784 33346 101436 | 2147483647 159260 159 | 0.000 % |
112.97/113.16 c | 160419 | 7784 33346 101436 | 2147483647 160419 159 | 0.000 % |
114.28/114.49 c | 161693 | 7784 33346 101436 | 2147483647 161693 159 | 0.000 % |
115.78/115.99 c | 163093 | 7784 33346 101436 | 2147483647 163093 159 | 0.000 % |
117.48/117.60 c | 164636 | 7784 33346 101436 | 2147483647 164636 160 | 0.000 % |
119.17/119.31 c | 166331 | 7784 33346 101436 | 2147483647 166331 160 | 0.000 % |
119.27/119.46 c | 166431 | 7784 33346 101436 | 2147483647 166431 160 | 0.000 % |
119.47/119.64 c | 166542 | 7784 33346 101436 | 2147483647 166542 160 | 0.000 % |
119.68/119.82 c | 166665 | 7784 33346 101436 | 2147483647 166665 160 | 0.000 % |
119.87/120.02 c | 166799 | 7784 33346 101436 | 2147483647 166799 160 | 0.000 % |
120.07/120.23 c | 166945 | 7784 33346 101436 | 2147483647 166945 160 | 0.000 % |
120.27/120.44 c | 167105 | 7784 33346 101436 | 2147483647 167105 160 | 0.000 % |
120.47/120.67 c | 167281 | 7784 33346 101436 | 2147483647 167281 160 | 0.000 % |
120.77/120.94 c | 167474 | 7784 33346 101436 | 2147483647 167474 160 | 0.000 % |
121.07/121.20 c | 167686 | 7784 33346 101436 | 2147483647 167686 160 | 0.000 % |
121.27/121.47 c | 167919 | 7784 33346 101436 | 2147483647 167919 160 | 0.000 % |
121.67/121.83 c | 168176 | 7784 33346 101436 | 2147483647 168176 160 | 0.000 % |
121.97/122.18 c | 168457 | 7784 33346 101436 | 2147483647 168457 160 | 0.000 % |
122.38/122.57 c | 168766 | 7784 33346 101436 | 2147483647 168766 160 | 0.000 % |
122.77/122.99 c | 169105 | 7784 33346 101436 | 2147483647 169105 160 | 0.000 % |
123.27/123.43 c | 169477 | 7784 33346 101436 | 2147483647 169477 160 | 0.000 % |
123.77/123.93 c | 169889 | 7784 33346 101436 | 2147483647 169889 160 | 0.000 % |
124.37/124.50 c | 170338 | 7784 33346 101436 | 2147483647 170338 160 | 0.000 % |
124.97/125.13 c | 170831 | 7784 33346 101436 | 2147483647 170831 160 | 0.000 % |
125.57/125.77 c | 171375 | 7784 33346 101436 | 2147483647 171375 160 | 0.000 % |
126.27/126.48 c | 171972 | 7784 33346 101436 | 2147483647 171972 160 | 0.000 % |
127.07/127.24 c | 172629 | 7784 33346 101436 | 2147483647 172629 160 | 0.000 % |
127.87/128.07 c | 173349 | 7784 33346 101436 | 2147483647 173349 160 | 0.000 % |
128.87/129.05 c | 174145 | 7784 33346 101436 | 2147483647 174145 160 | 0.000 % |
129.87/130.06 c | 175019 | 7784 33346 101436 | 2147483647 175019 160 | 0.000 % |
131.07/131.22 c | 175977 | 7784 33346 101436 | 2147483647 175977 160 | 0.000 % |
132.27/132.48 c | 177030 | 7784 33346 101436 | 2147483647 177030 160 | 0.000 % |
133.66/133.86 c | 178189 | 7784 33346 101436 | 2147483647 178189 160 | 0.000 % |
135.07/135.30 c | 179463 | 7784 33346 101436 | 2147483647 179463 160 | 0.000 % |
136.76/136.97 c | 180863 | 7784 33346 101436 | 2147483647 180863 161 | 0.000 % |
138.66/138.82 c | 182403 | 7784 33346 101436 | 2147483647 182403 161 | 0.000 % |
140.66/140.90 c | 184097 | 7784 33346 101436 | 2147483647 184097 161 | 0.000 % |
142.96/143.15 c | 185961 | 7784 33346 101436 | 2147483647 185961 161 | 0.000 % |
143.16/143.31 c | 186062 | 7784 33346 101436 | 2147483647 186062 161 | 0.000 % |
143.36/143.51 c | 186172 | 7784 33346 101436 | 2147483647 186172 161 | 0.000 % |
143.46/143.69 c | 186293 | 7784 33346 101436 | 2147483647 186293 161 | 0.000 % |
143.76/143.92 c | 186428 | 7784 33346 101436 | 2147483647 186428 161 | 0.000 % |
143.97/144.13 c | 186577 | 7784 33346 101436 | 2147483647 186577 161 | 0.000 % |
144.27/144.41 c | 186737 | 7784 33346 101436 | 2147483647 186737 161 | 0.000 % |
144.46/144.67 c | 186914 | 7784 33346 101436 | 2147483647 186914 161 | 0.000 % |
144.76/144.95 c | 187108 | 7784 33346 101436 | 2147483647 187108 161 | 0.000 % |
145.07/145.23 c | 187322 | 7784 33346 101436 | 2147483647 187322 161 | 0.000 % |
145.36/145.56 c | 187558 | 7784 33346 101436 | 2147483647 187558 161 | 0.000 % |
145.76/145.94 c | 187814 | 7784 33346 101436 | 2147483647 187814 161 | 0.000 % |
146.17/146.30 c | 188095 | 7784 33346 101436 | 2147483647 188095 161 | 0.000 % |
146.56/146.73 c | 188405 | 7784 33346 101436 | 2147483647 188405 161 | 0.000 % |
146.96/147.13 c | 188745 | 7784 33346 101436 | 2147483647 188745 161 | 0.000 % |
147.46/147.62 c | 189117 | 7784 33346 101436 | 2147483647 189117 161 | 0.000 % |
148.06/148.22 c | 189526 | 7784 33346 101436 | 2147483647 189526 161 | 0.000 % |
148.66/148.86 c | 189975 | 7784 33346 101436 | 2147483647 189975 161 | 0.000 % |
149.36/149.53 c | 190469 | 7784 33346 101436 | 2147483647 190469 161 | 0.000 % |
150.06/150.22 c | 191011 | 7784 33346 101436 | 2147483647 191011 161 | 0.000 % |
150.76/150.98 c | 191607 | 7784 33346 101436 | 2147483647 191607 161 | 0.000 % |
151.66/151.81 c | 192262 | 7784 33346 101436 | 2147483647 192262 161 | 0.000 % |
152.46/152.69 c | 192982 | 7784 33346 101436 | 2147483647 192982 161 | 0.000 % |
153.45/153.68 c | 193776 | 7784 33346 101436 | 2147483647 193776 161 | 0.000 % |
154.65/154.81 c | 194647 | 7784 33346 101436 | 2147483647 194647 161 | 0.000 % |
155.86/156.03 c | 195606 | 7784 33346 101436 | 2147483647 195606 161 | 0.000 % |
157.16/157.34 c | 196660 | 7784 33346 101436 | 2147483647 196660 161 | 0.000 % |
158.66/158.89 c | 197818 | 7784 33346 101436 | 2147483647 197818 161 | 0.000 % |
160.36/160.54 c | 199092 | 7784 33346 101436 | 2147483647 199092 161 | 0.000 % |
162.15/162.39 c | 200492 | 7784 33346 101436 | 2147483647 200492 162 | 0.000 % |
164.16/164.37 c | 202033 | 7784 33346 101436 | 2147483647 202033 162 | 0.000 % |
166.45/166.65 c | 203727 | 7784 33346 101436 | 2147483647 203727 162 | 0.000 % |
168.85/169.05 c | 205590 | 7784 33346 101436 | 2147483647 205590 162 | 0.000 % |
171.55/171.77 c | 207640 | 7784 33346 101436 | 2147483647 207640 162 | 0.000 % |
171.75/171.91 c | 207740 | 7784 33346 101436 | 2147483647 207740 162 | 0.000 % |
171.85/172.09 c | 207850 | 7784 33346 101436 | 2147483647 207850 162 | 0.000 % |
172.05/172.29 c | 207972 | 7784 33346 101436 | 2147483647 207972 162 | 0.000 % |
172.34/172.51 c | 208106 | 7784 33346 101436 | 2147483647 208106 162 | 0.000 % |
172.55/172.74 c | 208252 | 7784 33346 101436 | 2147483647 208252 162 | 0.000 % |
172.84/173.01 c | 208414 | 7784 33346 101436 | 2147483647 208414 162 | 0.000 % |
173.04/173.29 c | 208592 | 7784 33346 101436 | 2147483647 208592 162 | 0.000 % |
173.44/173.61 c | 208787 | 7784 33346 101436 | 2147483647 208787 162 | 0.000 % |
173.74/173.91 c | 208999 | 7784 33346 101436 | 2147483647 208999 162 | 0.000 % |
174.14/174.32 c | 209234 | 7784 33346 101436 | 2147483647 209234 162 | 0.000 % |
174.54/174.74 c | 209491 | 7784 33346 101436 | 2147483647 209491 162 | 0.000 % |
174.94/175.19 c | 209775 | 7784 33346 101436 | 2147483647 209775 162 | 0.000 % |
175.44/175.63 c | 210084 | 7784 33346 101436 | 2147483647 210084 162 | 0.000 % |
175.94/176.15 c | 210423 | 7784 33346 101436 | 2147483647 210423 162 | 0.000 % |
176.55/176.77 c | 210797 | 7784 33346 101436 | 2147483647 210797 162 | 0.000 % |
177.15/177.34 c | 211206 | 7784 33346 101436 | 2147483647 211206 162 | 0.000 % |
177.85/178.02 c | 211655 | 7784 33346 101436 | 2147483647 211655 162 | 0.000 % |
178.55/178.72 c | 212149 | 7784 33346 101436 | 2147483647 212149 162 | 0.000 % |
179.34/179.52 c | 212691 | 7784 33346 101436 | 2147483647 212691 162 | 0.000 % |
180.25/180.41 c | 213288 | 7784 33346 101436 | 2147483647 213288 162 | 0.000 % |
181.14/181.36 c | 213943 | 7784 33346 101436 | 2147483647 213943 162 | 0.000 % |
182.24/182.44 c | 214663 | 7784 33346 101436 | 2147483647 214663 162 | 0.000 % |
183.34/183.51 c | 215457 | 7784 33346 101436 | 2147483647 215457 162 | 0.000 % |
184.44/184.66 c | 216328 | 7784 33346 101436 | 2147483647 216328 162 | 0.000 % |
185.74/185.97 c | 217286 | 7784 33346 101436 | 2147483647 217286 162 | 0.000 % |
187.23/187.45 c | 218339 | 7784 33346 101436 | 2147483647 218339 162 | 0.000 % |
188.84/189.08 c | 219497 | 7784 33346 101436 | 2147483647 219497 162 | 0.000 % |
190.84/191.00 c | 220770 | 7784 33346 101436 | 2147483647 220770 162 | 0.000 % |
192.73/192.97 c | 222171 | 7784 33346 101436 | 2147483647 222171 162 | 0.000 % |
194.83/195.06 c | 223711 | 7784 33346 101436 | 2147483647 223711 163 | 0.000 % |
197.23/197.43 c | 225406 | 7784 33346 101436 | 2147483647 225406 163 | 0.000 % |
199.83/200.02 c | 227269 | 7784 33346 101436 | 2147483647 227269 163 | 0.000 % |
202.62/202.89 c | 229318 | 7784 33346 101436 | 2147483647 229318 163 | 0.000 % |
205.73/205.99 c | 231571 | 7784 33346 101436 | 2147483647 231571 163 | 0.000 % |
205.93/206.19 c | 231672 | 7784 33346 101436 | 2147483647 231672 163 | 0.000 % |
206.23/206.40 c | 231782 | 7784 33346 101436 | 2147483647 231782 163 | 0.000 % |
206.43/206.64 c | 231904 | 7784 33346 101436 | 2147483647 231904 163 | 0.000 % |
206.63/206.86 c | 232037 | 7784 33346 101436 | 2147483647 232037 163 | 0.000 % |
206.93/207.18 c | 232184 | 7784 33346 101436 | 2147483647 232184 163 | 0.000 % |
207.22/207.47 c | 232347 | 7784 33346 101436 | 2147483647 232347 163 | 0.000 % |
207.52/207.77 c | 232525 | 7784 33346 101436 | 2147483647 232525 163 | 0.000 % |
207.82/208.10 c | 232718 | 7784 33346 101436 | 2147483647 232718 163 | 0.000 % |
208.22/208.45 c | 232932 | 7784 33346 101436 | 2147483647 232932 163 | 0.000 % |
208.62/208.83 c | 233165 | 7784 33346 101436 | 2147483647 233165 163 | 0.000 % |
209.02/209.26 c | 233421 | 7784 33346 101436 | 2147483647 233421 163 | 0.000 % |
209.52/209.72 c | 233702 | 7784 33346 101436 | 2147483647 233702 163 | 0.000 % |
210.02/210.23 c | 234011 | 7784 33346 101436 | 2147483647 234011 163 | 0.000 % |
210.62/210.82 c | 234351 | 7784 33346 101436 | 2147483647 234351 163 | 0.000 % |
211.12/211.40 c | 234723 | 7784 33346 101436 | 2147483647 234723 163 | 0.000 % |
211.82/212.08 c | 235132 | 7784 33346 101436 | 2147483647 235132 163 | 0.000 % |
212.52/212.75 c | 235581 | 7784 33346 101436 | 2147483647 235581 163 | 0.000 % |
213.22/213.49 c | 236077 | 7784 33346 101436 | 2147483647 236077 163 | 0.000 % |
214.13/214.40 c | 236621 | 7784 33346 101436 | 2147483647 236621 163 | 0.000 % |
215.12/215.33 c | 237219 | 7784 33346 101436 | 2147483647 237219 163 | 0.000 % |
216.12/216.36 c | 237875 | 7784 33346 101436 | 2147483647 237875 163 | 0.000 % |
217.32/217.50 c | 238595 | 7784 33346 101436 | 2147483647 238595 163 | 0.000 % |
218.52/218.72 c | 239388 | 7784 33346 101436 | 2147483647 239388 163 | 0.000 % |
219.92/220.12 c | 240260 | 7784 33346 101436 | 2147483647 240260 163 | 0.000 % |
221.32/221.58 c | 241219 | 7784 33346 101436 | 2147483647 241219 163 | 0.000 % |
223.03/223.28 c | 242273 | 7784 33346 101436 | 2147483647 242273 163 | 0.000 % |
224.71/224.91 c | 243433 | 7784 33346 101436 | 2147483647 243433 163 | 0.000 % |
226.62/226.80 c | 244706 | 7784 33346 101436 | 2147483647 244706 164 | 0.000 % |
228.62/228.81 c | 246106 | 7784 33346 101436 | 2147483647 246106 164 | 0.000 % |
230.81/231.03 c | 247647 | 7784 33346 101436 | 2147483647 247647 164 | 0.000 % |
233.41/233.67 c | 249341 | 7784 33346 101436 | 2147483647 249341 164 | 0.000 % |
236.22/236.42 c | 251208 | 7784 33346 101436 | 2147483647 251208 164 | 0.000 % |
239.31/239.57 c | 253260 | 7784 33346 101436 | 2147483647 253260 165 | 0.000 % |
242.70/242.92 c | 255513 | 7784 33346 101436 | 2147483647 255513 165 | 0.000 % |
246.70/246.91 c | 257992 | 7784 33346 101436 | 2147483647 257992 165 | 0.000 % |
246.80/247.09 c | 258092 | 7784 33346 101436 | 2147483647 258092 165 | 0.000 % |
247.10/247.32 c | 258202 | 7784 33346 101436 | 2147483647 258202 165 | 0.000 % |
247.31/247.55 c | 258324 | 7784 33346 101436 | 2147483647 258324 165 | 0.000 % |
247.60/247.83 c | 258458 | 7784 33346 101436 | 2147483647 258458 165 | 0.000 % |
247.90/248.11 c | 258605 | 7784 33346 101436 | 2147483647 258605 165 | 0.000 % |
248.20/248.42 c | 258768 | 7784 33346 101436 | 2147483647 258768 165 | 0.000 % |
248.50/248.75 c | 258944 | 7784 33346 101436 | 2147483647 258944 165 | 0.000 % |
248.90/249.18 c | 259137 | 7784 33346 101436 | 2147483647 259137 165 | 0.000 % |
249.40/249.63 c | 259351 | 7784 33346 101436 | 2147483647 259351 165 | 0.000 % |
249.80/250.04 c | 259587 | 7784 33346 101436 | 2147483647 259587 165 | 0.000 % |
250.30/250.53 c | 259843 | 7784 33346 101436 | 2147483647 259843 165 | 0.000 % |
250.80/251.05 c | 260129 | 7784 33346 101436 | 2147483647 260129 165 | 0.000 % |
251.40/251.67 c | 260438 | 7784 33346 101436 | 2147483647 260438 165 | 0.000 % |
252.00/252.26 c | 260779 | 7784 33346 101436 | 2147483647 260779 165 | 0.000 % |
252.71/252.97 c | 261152 | 7784 33346 101436 | 2147483647 261152 165 | 0.000 % |
253.40/253.69 c | 261562 | 7784 33346 101436 | 2147483647 261562 165 | 0.000 % |
254.30/254.54 c | 262011 | 7784 33346 101436 | 2147483647 262011 165 | 0.000 % |
255.20/255.48 c | 262504 | 7784 33346 101436 | 2147483647 262504 165 | 0.000 % |
256.20/256.48 c | 263046 | 7784 33346 101436 | 2147483647 263046 165 | 0.000 % |
257.29/257.53 c | 263644 | 7784 33346 101436 | 2147483647 263644 165 | 0.000 % |
258.40/258.66 c | 264300 | 7784 33346 101436 | 2147483647 264300 165 | 0.000 % |
259.60/259.86 c | 265021 | 7784 33346 101436 | 2147483647 265021 165 | 0.000 % |
261.10/261.32 c | 265816 | 7784 33346 101436 | 2147483647 265816 165 | 0.000 % |
262.60/262.85 c | 266691 | 7784 33346 101436 | 2147483647 266691 165 | 0.000 % |
264.29/264.50 c | 267649 | 7784 33346 101436 | 2147483647 267649 165 | 0.000 % |
266.00/266.21 c | 268702 | 7784 33346 101436 | 2147483647 268702 165 | 0.000 % |
267.80/268.05 c | 269860 | 7784 33346 101436 | 2147483647 269860 165 | 0.000 % |
269.69/269.91 c | 271133 | 7784 33346 101436 | 2147483647 271133 165 | 0.000 % |
271.69/271.99 c | 272536 | 7784 33346 101436 | 2147483647 272536 165 | 0.000 % |
274.38/274.67 c | 274077 | 7784 33346 101436 | 2147483647 274077 166 | 0.000 % |
277.38/277.61 c | 275774 | 7784 33346 101436 | 2147483647 275774 166 | 0.000 % |
280.29/280.53 c | 277637 | 7784 33346 101436 | 2147483647 277637 166 | 0.000 % |
283.68/283.90 c | 279689 | 7784 33346 101436 | 2147483647 279689 166 | 0.000 % |
287.37/287.64 c | 281942 | 7784 33346 101436 | 2147483647 281942 166 | 0.000 % |
291.48/291.71 c | 284420 | 7784 33346 101436 | 2147483647 284420 166 | 0.000 % |
295.97/296.25 c | 287145 | 7784 33346 101436 | 2147483647 287145 167 | 0.000 % |
296.17/296.48 c | 287245 | 7784 33346 101436 | 2147483647 287245 167 | 0.000 % |
296.47/296.75 c | 287356 | 7784 33346 101436 | 2147483647 287356 167 | 0.000 % |
296.68/297.00 c | 287477 | 7784 33346 101436 | 2147483647 287477 167 | 0.000 % |
297.07/297.33 c | 287612 | 7784 33346 101436 | 2147483647 287612 167 | 0.000 % |
297.37/297.66 c | 287758 | 7784 33346 101436 | 2147483647 287758 167 | 0.000 % |
297.77/298.04 c | 287920 | 7784 33346 101436 | 2147483647 287920 167 | 0.000 % |
298.07/298.39 c | 288097 | 7784 33346 101436 | 2147483647 288097 167 | 0.000 % |
298.58/298.84 c | 288291 | 7784 33346 101436 | 2147483647 288291 167 | 0.000 % |
298.98/299.25 c | 288503 | 7784 33346 101436 | 2147483647 288503 167 | 0.000 % |
299.48/299.78 c | 288736 | 7784 33346 101436 | 2147483647 288736 167 | 0.000 % |
299.98/300.26 c | 288992 | 7784 33346 101436 | 2147483647 288992 167 | 0.000 % |
300.58/300.83 c | 289274 | 7784 33346 101436 | 2147483647 289274 167 | 0.000 % |
301.08/301.38 c | 289584 | 7784 33346 101436 | 2147483647 289584 167 | 0.000 % |
301.78/302.07 c | 289923 | 7784 33346 101436 | 2147483647 289923 167 | 0.000 % |
302.58/302.85 c | 290297 | 7784 33346 101436 | 2147483647 290297 167 | 0.000 % |
303.28/303.59 c | 290706 | 7784 33346 101436 | 2147483647 290706 167 | 0.000 % |
304.17/304.47 c | 291155 | 7784 33346 101436 | 2147483647 291155 166 | 0.000 % |
305.17/305.41 c | 291649 | 7784 33346 101436 | 2147483647 291649 166 | 0.000 % |
306.17/306.41 c | 292193 | 7784 33346 101436 | 2147483647 292193 166 | 0.000 % |
307.27/307.56 c | 292789 | 7784 33346 101436 | 2147483647 292789 166 | 0.000 % |
308.57/308.80 c | 293445 | 7784 33346 101436 | 2147483647 293445 166 | 0.000 % |
309.77/310.10 c | 294167 | 7784 33346 101436 | 2147483647 294167 166 | 0.000 % |
311.27/311.58 c | 294960 | 7784 33346 101436 | 2147483647 294960 166 | 0.000 % |
312.87/313.14 c | 295832 | 7784 33346 101436 | 2147483647 295832 166 | 0.000 % |
314.46/314.79 c | 296790 | 7784 33346 101436 | 2147483647 296790 166 | 0.000 % |
316.37/316.66 c | 297844 | 7784 33346 101436 | 2147483647 297844 167 | 0.000 % |
318.46/318.71 c | 299002 | 7784 33346 101436 | 2147483647 299002 167 | 0.000 % |
320.76/321.10 c | 300275 | 7784 33346 101436 | 2147483647 300275 167 | 0.000 % |
323.45/323.70 c | 301675 | 7784 33346 101436 | 2147483647 301675 167 | 0.000 % |
326.26/326.55 c | 303215 | 7784 33346 101436 | 2147483647 303215 167 | 0.000 % |
329.46/329.73 c | 304909 | 7784 33346 101436 | 2147483647 304909 167 | 0.000 % |
332.75/333.06 c | 306774 | 7784 33346 101436 | 2147483647 306774 167 | 0.000 % |
336.46/336.71 c | 308823 | 7784 33346 101436 | 2147483647 308823 167 | 0.000 % |
340.55/340.81 c | 311076 | 7784 33346 101436 | 2147483647 311076 167 | 0.000 % |
345.16/345.46 c | 313555 | 7784 33346 101436 | 2147483647 313555 167 | 0.000 % |
350.15/350.49 c | 316281 | 7784 33346 101436 | 2147483647 316281 167 | 0.000 % |
355.85/356.19 c | 319278 | 7784 33346 101436 | 2147483647 319278 167 | 0.000 % |
356.15/356.42 c | 319378 | 7784 33346 101436 | 2147483647 319378 167 | 0.000 % |
356.45/356.73 c | 319490 | 7784 33346 101436 | 2147483647 319490 167 | 0.000 % |
356.75/357.02 c | 319613 | 7784 33346 101436 | 2147483647 319613 167 | 0.000 % |
357.05/357.36 c | 319746 | 7784 33346 101436 | 2147483647 319746 167 | 0.000 % |
357.35/357.69 c | 319895 | 7784 33346 101436 | 2147483647 319895 167 | 0.000 % |
357.75/358.06 c | 320055 | 7784 33346 101436 | 2147483647 320055 167 | 0.000 % |
358.15/358.48 c | 320232 | 7784 33346 101436 | 2147483647 320232 167 | 0.000 % |
358.64/358.93 c | 320425 | 7784 33346 101436 | 2147483647 320425 167 | 0.000 % |
359.14/359.46 c | 320637 | 7784 33346 101436 | 2147483647 320637 167 | 0.000 % |
359.54/359.89 c | 320870 | 7784 33346 101436 | 2147483647 320870 167 | 0.000 % |
360.14/360.49 c | 321126 | 7784 33346 101436 | 2147483647 321126 167 | 0.000 % |
360.84/361.10 c | 321407 | 7784 33346 101436 | 2147483647 321407 167 | 0.000 % |
361.44/361.80 c | 321717 | 7784 33346 101436 | 2147483647 321717 167 | 0.000 % |
362.24/362.59 c | 322056 | 7784 33346 101436 | 2147483647 322056 167 | 0.000 % |
363.14/363.49 c | 322430 | 7784 33346 101436 | 2147483647 322430 167 | 0.000 % |
363.93/364.24 c | 322839 | 7784 33346 101436 | 2147483647 322839 167 | 0.000 % |
364.84/365.18 c | 323288 | 7784 33346 101436 | 2147483647 323288 167 | 0.000 % |
365.84/366.16 c | 323783 | 7784 33346 101436 | 2147483647 323783 167 | 0.000 % |
367.04/367.30 c | 324325 | 7784 33346 101436 | 2147483647 324325 167 | 0.000 % |
368.14/368.41 c | 324923 | 7784 33346 101436 | 2147483647 324923 167 | 0.000 % |
369.43/369.75 c | 325581 | 7784 33346 101436 | 2147483647 325581 167 | 0.000 % |
370.93/371.25 c | 326301 | 7784 33346 101436 | 2147483647 326301 167 | 0.000 % |
372.63/372.91 c | 327093 | 7784 33346 101436 | 2147483647 327093 167 | 0.000 % |
374.33/374.68 c | 327964 | 7784 33346 101436 | 2147483647 327964 167 | 0.000 % |
376.33/376.68 c | 328923 | 7784 33346 101436 | 2147483647 328923 167 | 0.000 % |
378.53/378.81 c | 329976 | 7784 33346 101436 | 2147483647 329976 167 | 0.000 % |
380.73/381.04 c | 331134 | 7784 33346 101436 | 2147483647 331134 167 | 0.000 % |
383.23/383.55 c | 332408 | 7784 33346 101436 | 2147483647 332408 167 | 0.000 % |
385.93/386.26 c | 333808 | 7784 33346 101436 | 2147483647 333808 167 | 0.000 % |
388.63/388.94 c | 335348 | 7784 33346 101436 | 2147483647 335348 167 | 0.000 % |
391.62/391.99 c | 337043 | 7784 33346 101436 | 2147483647 337043 167 | 0.000 % |
395.43/395.72 c | 338906 | 7784 33346 101436 | 2147483647 338906 167 | 0.000 % |
399.42/399.71 c | 340955 | 7784 33346 101436 | 2147483647 340955 168 | 0.000 % |
403.82/404.18 c | 343208 | 7784 33346 101436 | 2147483647 343208 168 | 0.000 % |
408.81/409.11 c | 345687 | 7784 33346 101436 | 2147483647 345687 168 | 0.000 % |
413.61/413.92 c | 348412 | 7784 33346 101436 | 2147483647 348412 168 | 0.000 % |
419.21/419.56 c | 351410 | 7784 33346 101436 | 2147483647 351410 168 | 0.000 % |
426.21/426.51 c | 354707 | 7784 33346 101436 | 2147483647 354707 168 | 0.000 % |
426.41/426.77 c | 354807 | 7784 33346 101436 | 2147483647 354807 168 | 0.000 % |
426.71/427.06 c | 354922 | 7784 33346 101436 | 2147483647 354922 168 | 0.000 % |
427.01/427.38 c | 355044 | 7784 33346 101436 | 2147483647 355044 168 | 0.000 % |
427.41/427.75 c | 355177 | 7784 33346 101436 | 2147483647 355177 168 | 0.000 % |
427.70/428.10 c | 355323 | 7784 33346 101436 | 2147483647 355323 168 | 0.000 % |
428.20/428.52 c | 355483 | 7784 33346 101436 | 2147483647 355483 168 | 0.000 % |
428.61/428.96 c | 355660 | 7784 33346 101436 | 2147483647 355660 168 | 0.000 % |
429.10/429.46 c | 355853 | 7784 33346 101436 | 2147483647 355853 168 | 0.000 % |
429.60/429.94 c | 356065 | 7784 33346 101436 | 2147483647 356065 168 | 0.000 % |
430.20/430.56 c | 356298 | 7784 33346 101436 | 2147483647 356298 168 | 0.000 % |
430.80/431.13 c | 356554 | 7784 33346 101436 | 2147483647 356554 168 | 0.000 % |
431.60/431.93 c | 356838 | 7784 33346 101436 | 2147483647 356838 168 | 0.000 % |
432.40/432.72 c | 357148 | 7784 33346 101436 | 2147483647 357148 168 | 0.000 % |
433.21/433.56 c | 357487 | 7784 33346 101436 | 2147483647 357487 168 | 0.000 % |
434.01/434.40 c | 357859 | 7784 33346 101436 | 2147483647 357859 168 | 0.000 % |
435.00/435.33 c | 358270 | 7784 33346 101436 | 2147483647 358270 168 | 0.000 % |
436.00/436.36 c | 358719 | 7784 33346 101436 | 2147483647 358719 168 | 0.000 % |
437.10/437.47 c | 359212 | 7784 33346 101436 | 2147483647 359212 168 | 0.000 % |
438.30/438.64 c | 359755 | 7784 33346 101436 | 2147483647 359755 168 | 0.000 % |
439.50/439.89 c | 360351 | 7784 33346 101436 | 2147483647 360351 168 | 0.000 % |
440.99/441.39 c | 361006 | 7784 33346 101436 | 2147483647 361006 168 | 0.000 % |
442.70/443.07 c | 361731 | 7784 33346 101436 | 2147483647 361731 168 | 0.000 % |
444.40/444.77 c | 362525 | 7784 33346 101436 | 2147483647 362525 168 | 0.000 % |
446.49/446.82 c | 363397 | 7784 33346 101436 | 2147483647 363397 168 | 0.000 % |
448.69/449.00 c | 364355 | 7784 33346 101436 | 2147483647 364355 168 | 0.000 % |
450.89/451.20 c | 365408 | 7784 33346 101436 | 2147483647 365408 168 | 0.000 % |
453.49/453.84 c | 366566 | 7784 33346 101436 | 2147483647 366566 169 | 0.000 % |
456.38/456.77 c | 367839 | 7784 33346 101436 | 2147483647 367839 169 | 0.000 % |
459.49/459.82 c | 369241 | 7784 33346 101436 | 2147483647 369241 169 | 0.000 % |
462.88/463.24 c | 370784 | 7784 33346 101436 | 2147483647 370784 169 | 0.000 % |
466.58/466.93 c | 372479 | 7784 33346 101436 | 2147483647 372479 169 | 0.000 % |
470.48/470.86 c | 374345 | 7784 33346 101436 | 2147483647 374345 169 | 0.000 % |
474.78/475.20 c | 376394 | 7784 33346 101436 | 2147483647 376394 169 | 0.000 % |
479.58/479.97 c | 378647 | 7784 33346 101436 | 2147483647 378647 169 | 0.000 % |
484.97/485.33 c | 381125 | 7784 33346 101436 | 2147483647 381125 169 | 0.000 % |
490.77/491.13 c | 383851 | 7784 33346 101436 | 2147483647 383851 169 | 0.000 % |
497.26/497.61 c | 386848 | 7784 33346 101436 | 2147483647 386848 169 | 0.000 % |
504.86/505.26 c | 390145 | 7784 33346 101436 | 2147483647 390145 170 | 0.000 % |
512.56/512.94 c | 393773 | 7784 33346 101436 | 2147483647 393773 170 | 0.000 % |
512.86/513.23 c | 393874 | 7784 33346 101436 | 2147483647 393874 170 | 0.000 % |
513.16/513.53 c | 393985 | 7784 33346 101436 | 2147483647 393985 170 | 0.000 % |
513.56/513.93 c | 394106 | 7784 33346 101436 | 2147483647 394106 170 | 0.000 % |
513.86/514.29 c | 394239 | 7784 33346 101436 | 2147483647 394239 170 | 0.000 % |
514.26/514.70 c | 394387 | 7784 33346 101436 | 2147483647 394387 170 | 0.000 % |
514.76/515.16 c | 394547 | 7784 33346 101436 | 2147483647 394547 170 | 0.000 % |
515.36/515.71 c | 394723 | 7784 33346 101436 | 2147483647 394723 170 | 0.000 % |
515.95/516.31 c | 394917 | 7784 33346 101436 | 2147483647 394917 170 | 0.000 % |
516.56/516.91 c | 395130 | 7784 33346 101436 | 2147483647 395130 170 | 0.000 % |
517.15/517.54 c | 395363 | 7784 33346 101436 | 2147483647 395363 170 | 0.000 % |
517.85/518.28 c | 395620 | 7784 33346 101436 | 2147483647 395620 170 | 0.000 % |
518.65/519.08 c | 395902 | 7784 33346 101436 | 2147483647 395902 170 | 0.000 % |
519.55/519.95 c | 396211 | 7784 33346 101436 | 2147483647 396211 170 | 0.000 % |
520.45/520.83 c | 396551 | 7784 33346 101436 | 2147483647 396551 170 | 0.000 % |
521.55/521.92 c | 396925 | 7784 33346 101436 | 2147483647 396925 170 | 0.000 % |
522.65/523.01 c | 397335 | 7784 33346 101436 | 2147483647 397335 170 | 0.000 % |
523.75/524.19 c | 397784 | 7784 33346 101436 | 2147483647 397784 170 | 0.000 % |
525.05/525.41 c | 398278 | 7784 33346 101436 | 2147483647 398278 170 | 0.000 % |
526.35/526.72 c | 398822 | 7784 33346 101436 | 2147483647 398822 170 | 0.000 % |
527.75/528.18 c | 399418 | 7784 33346 101436 | 2147483647 399418 170 | 0.000 % |
529.35/529.77 c | 400075 | 7784 33346 101436 | 2147483647 400075 170 | 0.000 % |
531.15/531.52 c | 400795 | 7784 33346 101436 | 2147483647 400795 170 | 0.000 % |
532.95/533.40 c | 401587 | 7784 33346 101436 | 2147483647 401587 170 | 0.000 % |
535.14/535.57 c | 402458 | 7784 33346 101436 | 2147483647 402458 170 | 0.000 % |
537.44/537.87 c | 403416 | 7784 33346 101436 | 2147483647 403416 170 | 0.000 % |
539.94/540.38 c | 404471 | 7784 33346 101436 | 2147483647 404471 170 | 0.000 % |
542.64/543.04 c | 405629 | 7784 33346 101436 | 2147483647 405629 170 | 0.000 % |
545.63/546.09 c | 406903 | 7784 33346 101436 | 2147483647 406903 170 | 0.000 % |
548.93/549.37 c | 408303 | 7784 33346 101436 | 2147483647 408303 170 | 0.000 % |
552.54/552.99 c | 409843 | 7784 33346 101436 | 2147483647 409843 170 | 0.000 % |
556.83/557.21 c | 411537 | 7784 33346 101436 | 2147483647 411537 170 | 0.000 % |
561.53/561.96 c | 413400 | 7784 33346 101436 | 2147483647 413400 170 | 0.000 % |
566.33/566.79 c | 415449 | 7784 33346 101436 | 2147483647 415449 170 | 0.000 % |
571.72/572.18 c | 417702 | 7784 33346 101436 | 2147483647 417702 170 | 0.000 % |
577.52/577.93 c | 420180 | 7784 33346 101436 | 2147483647 420180 170 | 0.000 % |
583.61/584.06 c | 422908 | 7784 33346 101436 | 2147483647 422908 171 | 0.000 % |
590.61/591.02 c | 425906 | 7784 33346 101436 | 2147483647 425906 171 | 0.000 % |
598.90/599.30 c | 429203 | 7784 33346 101436 | 2147483647 429203 171 | 0.000 % |
607.40/607.86 c | 432828 | 7784 33346 101436 | 2147483647 432828 171 | 0.000 % |
616.90/617.39 c | 436817 | 7784 33346 101436 | 2147483647 436817 172 | 0.000 % |
617.20/617.69 c | 436917 | 7784 33346 101436 | 2147483647 436917 172 | 0.000 % |
617.59/618.04 c | 437027 | 7784 33346 101436 | 2147483647 437027 172 | 0.000 % |
617.99/618.46 c | 437150 | 7784 33346 101436 | 2147483647 437150 172 | 0.000 % |
618.49/618.91 c | 437283 | 7784 33346 101436 | 2147483647 437283 172 | 0.000 % |
618.99/619.41 c | 437430 | 7784 33346 101436 | 2147483647 437430 172 | 0.000 % |
619.49/619.98 c | 437593 | 7784 33346 101436 | 2147483647 437593 172 | 0.000 % |
620.09/620.58 c | 437771 | 7784 33346 101436 | 2147483647 437771 172 | 0.000 % |
620.80/621.23 c | 437964 | 7784 33346 101436 | 2147483647 437964 172 | 0.000 % |
621.50/621.92 c | 438176 | 7784 33346 101436 | 2147483647 438176 172 | 0.000 % |
622.20/622.65 c | 438409 | 7784 33346 101436 | 2147483647 438409 172 | 0.000 % |
623.00/623.40 c | 438665 | 7784 33346 101436 | 2147483647 438665 172 | 0.000 % |
623.90/624.31 c | 438946 | 7784 33346 101436 | 2147483647 438946 171 | 0.000 % |
624.69/625.14 c | 439255 | 7784 33346 101436 | 2147483647 439255 171 | 0.000 % |
625.69/626.19 c | 439595 | 7784 33346 101436 | 2147483647 439595 171 | 0.000 % |
626.89/627.31 c | 439967 | 7784 33346 101436 | 2147483647 439967 171 | 0.000 % |
627.99/628.49 c | 440376 | 7784 33346 101436 | 2147483647 440376 171 | 0.000 % |
629.38/629.81 c | 440825 | 7784 33346 101436 | 2147483647 440825 171 | 0.000 % |
630.78/631.22 c | 441322 | 7784 33346 101436 | 2147483647 441322 171 | 0.000 % |
632.09/632.59 c | 441865 | 7784 33346 101436 | 2147483647 441865 171 | 0.000 % |
633.78/634.21 c | 442462 | 7784 33346 101436 | 2147483647 442462 171 | 0.000 % |
635.58/636.08 c | 443119 | 7784 33346 101436 | 2147483647 443119 171 | 0.000 % |
637.49/638.00 c | 443839 | 7784 33346 101436 | 2147483647 443839 171 | 0.000 % |
639.68/640.14 c | 444631 | 7784 33346 101436 | 2147483647 444631 171 | 0.000 % |
642.08/642.57 c | 445502 | 7784 33346 101436 | 2147483647 445502 171 | 0.000 % |
644.88/645.31 c | 446460 | 7784 33346 101436 | 2147483647 446460 171 | 0.000 % |
647.58/648.04 c | 447513 | 7784 33346 101436 | 2147483647 447513 171 | 0.000 % |
650.87/651.31 c | 448675 | 7784 33346 101436 | 2147483647 448675 171 | 0.000 % |
654.38/654.88 c | 449950 | 7784 33346 101436 | 2147483647 449950 171 | 0.000 % |
658.18/658.68 c | 451352 | 7784 33346 101436 | 450000 451352 171 | 0.000 % |
662.18/662.63 c | 452893 | 7784 33346 101436 | 450000 400745 171 | 0.000 % |
666.18/666.65 c | 454587 | 7784 33346 101436 | 450000 402439 171 | 0.000 % |
670.58/671.02 c | 456450 | 7784 33346 101436 | 450000 404302 171 | 0.000 % |
675.16/675.62 c | 458500 | 7784 33346 101436 | 450000 406352 171 | 0.000 % |
680.56/681.04 c | 460753 | 7784 33346 101436 | 2147483647 408605 171 | 0.000 % |
686.46/686.97 c | 463232 | 7784 33346 101436 | 2147483647 411084 172 | 0.000 % |
692.65/693.15 c | 465958 | 7784 33346 101436 | 2147483647 413810 172 | 0.000 % |
699.45/699.97 c | 468955 | 7784 33346 101436 | 2147483647 416807 172 | 0.000 % |
706.95/707.41 c | 472253 | 7784 33346 101436 | 2147483647 420105 172 | 0.000 % |
714.75/715.27 c | 475879 | 7784 33346 101436 | 2147483647 423731 173 | 0.000 % |
724.14/724.61 c | 479866 | 7784 33346 101436 | 2147483647 427718 173 | 0.000 % |
734.43/734.94 c | 484251 | 7784 33346 101436 | 2147483647 432103 173 | 0.000 % |
734.73/735.24 c | 484352 | 7784 33346 101436 | 2147483647 432204 173 | 0.000 % |
735.03/735.59 c | 484466 | 7784 33346 101436 | 2147483647 432318 173 | 0.000 % |
735.44/736.00 c | 484588 | 7784 33346 101436 | 2147483647 432440 173 | 0.000 % |
735.93/736.47 c | 484723 | 7784 33346 101436 | 2147483647 432575 173 | 0.000 % |
736.44/736.96 c | 484872 | 7784 33346 101436 | 2147483647 432724 173 | 0.000 % |
736.93/737.48 c | 485034 | 7784 33346 101436 | 2147483647 432886 173 | 0.000 % |
737.63/738.12 c | 485213 | 7784 33346 101436 | 2147483647 433065 173 | 0.000 % |
738.23/738.77 c | 485406 | 7784 33346 101436 | 2147483647 433258 173 | 0.000 % |
738.83/739.38 c | 485618 | 7784 33346 101436 | 2147483647 433470 173 | 0.000 % |
739.53/740.08 c | 485854 | 7784 33346 101436 | 2147483647 433706 173 | 0.000 % |
740.33/740.81 c | 486111 | 7784 33346 101436 | 2147483647 433963 173 | 0.000 % |
741.03/741.59 c | 486392 | 7784 33346 101436 | 2147483647 434244 173 | 0.000 % |
741.93/742.46 c | 486702 | 7784 33346 101436 | 2147483647 434554 173 | 0.000 % |
742.93/743.46 c | 487041 | 7784 33346 101436 | 2147483647 434893 173 | 0.000 % |
744.03/744.54 c | 487415 | 7784 33346 101436 | 2147483647 435267 173 | 0.000 % |
745.23/745.73 c | 487824 | 7784 33346 101436 | 2147483647 435676 173 | 0.000 % |
746.52/747.08 c | 488273 | 7784 33346 101436 | 2147483647 436125 173 | 0.000 % |
747.92/748.41 c | 488768 | 7784 33346 101436 | 2147483647 436620 173 | 0.000 % |
749.22/749.79 c | 489311 | 7784 33346 101436 | 2147483647 437163 173 | 0.000 % |
750.83/751.31 c | 489908 | 7784 33346 101436 | 2147483647 437760 173 | 0.000 % |
752.62/753.12 c | 490564 | 7784 33346 101436 | 2147483647 438416 173 | 0.000 % |
754.82/755.31 c | 491285 | 7784 33346 101436 | 2147483647 439137 173 | 0.000 % |
757.12/757.61 c | 492077 | 7784 33346 101436 | 2147483647 439929 173 | 0.000 % |
759.52/760.06 c | 492948 | 7784 33346 101436 | 2147483647 440800 173 | 0.000 % |
762.22/762.71 c | 493908 | 7784 33346 101436 | 2147483647 441760 173 | 0.000 % |
765.01/765.55 c | 494962 | 7784 33346 101436 | 2147483647 442814 173 | 0.000 % |
768.11/768.62 c | 496120 | 7784 33346 101436 | 2147483647 443972 173 | 0.000 % |
771.41/771.98 c | 497395 | 7784 33346 101436 | 2147483647 445247 173 | 0.000 % |
775.01/775.57 c | 498795 | 7784 33346 101436 | 2147483647 446647 173 | 0.000 % |
778.90/779.48 c | 500335 | 7784 33346 101436 | 447852 448187 173 | 0.000 % |
783.30/783.85 c | 502029 | 7784 33346 101436 | 447852 402133 174 | 0.000 % |
787.70/788.26 c | 503892 | 7784 33346 101436 | 447852 403996 174 | 0.000 % |
792.20/792.70 c | 505942 | 7784 33346 101436 | 447852 406046 174 | 0.000 % |
797.49/798.08 c | 508195 | 7784 33346 101436 | 447852 408299 174 | 0.000 % |
803.49/804.03 c | 510674 | 7784 33346 101436 | 2147483647 410778 174 | 0.000 % |
809.49/810.00 c | 513402 | 7784 33346 101436 | 2147483647 413506 175 | 0.000 % |
816.58/817.13 c | 516400 | 7784 33346 101436 | 2147483647 416504 175 | 0.000 % |
824.08/824.63 c | 519696 | 7784 33346 101436 | 2147483647 419800 175 | 0.000 % |
832.28/832.80 c | 523321 | 7784 33346 101436 | 2147483647 423425 175 | 0.000 % |
841.27/841.86 c | 527308 | 7784 33346 101436 | 2147483647 427412 175 | 0.000 % |
851.07/851.66 c | 531694 | 7784 33346 101436 | 2147483647 431798 176 | 0.000 % |
862.96/863.51 c | 536518 | 7784 33346 101436 | 2147483647 436622 177 | 0.000 % |
863.36/863.92 c | 536618 | 7784 33346 101436 | 2147483647 436722 177 | 0.000 % |
863.76/864.30 c | 536729 | 7784 33346 101436 | 2147483647 436833 177 | 0.000 % |
864.06/864.65 c | 536850 | 7784 33346 101436 | 2147483647 436954 177 | 0.000 % |
864.45/865.07 c | 536986 | 7784 33346 101436 | 2147483647 437090 177 | 0.000 % |
864.95/865.60 c | 537132 | 7784 33346 101436 | 2147483647 437236 177 | 0.000 % |
865.56/866.13 c | 537292 | 7784 33346 101436 | 2147483647 437396 177 | 0.000 % |
866.06/866.68 c | 537468 | 7784 33346 101436 | 2147483647 437572 177 | 0.000 % |
866.75/867.34 c | 537661 | 7784 33346 101436 | 2147483647 437765 177 | 0.000 % |
867.36/867.98 c | 537874 | 7784 33346 101436 | 2147483647 437978 177 | 0.000 % |
868.05/868.68 c | 538109 | 7784 33346 101436 | 2147483647 438213 177 | 0.000 % |
868.85/869.50 c | 538366 | 7784 33346 101436 | 2147483647 438470 177 | 0.000 % |
869.65/870.29 c | 538651 | 7784 33346 101436 | 2147483647 438755 177 | 0.000 % |
870.56/871.18 c | 538960 | 7784 33346 101436 | 2147483647 439064 177 | 0.000 % |
871.56/872.18 c | 539300 | 7784 33346 101436 | 2147483647 439404 177 | 0.000 % |
872.66/873.24 c | 539672 | 7784 33346 101436 | 2147483647 439776 177 | 0.000 % |
873.76/874.31 c | 540081 | 7784 33346 101436 | 2147483647 440185 177 | 0.000 % |
875.15/875.70 c | 540531 | 7784 33346 101436 | 2147483647 440635 177 | 0.000 % |
876.55/877.19 c | 541024 | 7784 33346 101436 | 2147483647 441128 177 | 0.000 % |
878.26/878.82 c | 541568 | 7784 33346 101436 | 2147483647 441672 177 | 0.000 % |
880.05/880.60 c | 542164 | 7784 33346 101436 | 2147483647 442268 177 | 0.000 % |
882.05/882.62 c | 542819 | 7784 33346 101436 | 2147483647 442923 177 | 0.000 % |
884.15/884.74 c | 543539 | 7784 33346 101436 | 2147483647 443643 177 | 0.000 % |
886.35/886.99 c | 544332 | 7784 33346 101436 | 2147483647 444436 177 | 0.000 % |
888.95/889.51 c | 545203 | 7784 33346 101436 | 2147483647 445307 177 | 0.000 % |
891.25/891.87 c | 546163 | 7784 33346 101436 | 2147483647 446267 177 | 0.000 % |
893.94/894.51 c | 547216 | 7784 33346 101436 | 2147483647 447320 177 | 0.000 % |
897.14/897.71 c | 548374 | 7784 33346 101436 | 2147483647 448478 177 | 0.000 % |
900.54/901.14 c | 549647 | 7784 33346 101436 | 2147483647 449751 176 | 0.000 % |
904.14/904.75 c | 551049 | 7784 33346 101436 | 450104 451153 177 | 0.000 % |
908.54/909.15 c | 552589 | 7784 33346 101436 | 450104 402120 178 | 0.000 % |
912.34/912.94 c | 554283 | 7784 33346 101436 | 450104 403814 178 | 0.000 % |
916.74/917.36 c | 556146 | 7784 33346 101436 | 450104 405677 178 | 0.000 % |
921.73/922.37 c | 558196 | 7784 33346 101436 | 450104 407727 178 | 0.000 % |
926.83/927.48 c | 560450 | 7784 33346 101436 | 2147483647 409981 178 | 0.000 % |
932.33/932.95 c | 562928 | 7784 33346 101436 | 2147483647 412459 178 | 0.000 % |
938.52/939.15 c | 565654 | 7784 33346 101436 | 2147483647 415185 178 | 0.000 % |
945.02/945.69 c | 568651 | 7784 33346 101436 | 2147483647 418182 178 | 0.000 % |
952.91/953.59 c | 571947 | 7784 33346 101436 | 2147483647 421478 178 | 0.000 % |
961.31/961.94 c | 575573 | 7784 33346 101436 | 2147483647 425104 179 | 0.000 % |
971.10/971.75 c | 579562 | 7784 33346 101436 | 2147483647 429093 179 | 0.000 % |
981.80/982.44 c | 583947 | 7784 33346 101436 | 2147483647 433478 179 | 0.000 % |
993.19/993.90 c | 588771 | 7784 33346 101436 | 2147483647 438302 179 | 0.000 % |
1006.18/1006.84 c | 594078 | 7784 33346 101436 | 2147483647 443609 179 | 0.000 % |
1006.58/1007.24 c | 594180 | 7784 33346 101436 | 2147483647 443711 179 | 0.000 % |
1006.99/1007.65 c | 594290 | 7784 33346 101436 | 2147483647 443821 179 | 0.000 % |
1007.38/1008.08 c | 594412 | 7784 33346 101436 | 2147483647 443943 179 | 0.000 % |
1007.88/1008.51 c | 594546 | 7784 33346 101436 | 2147483647 444077 179 | 0.000 % |
1008.38/1009.09 c | 594693 | 7784 33346 101436 | 2147483647 444224 179 | 0.000 % |
1008.98/1009.63 c | 594853 | 7784 33346 101436 | 2147483647 444384 179 | 0.000 % |
1009.58/1010.24 c | 595031 | 7784 33346 101436 | 2147483647 444562 179 | 0.000 % |
1010.18/1010.87 c | 595224 | 7784 33346 101436 | 2147483647 444755 179 | 0.000 % |
1010.89/1011.56 c | 595436 | 7784 33346 101436 | 2147483647 444967 179 | 0.000 % |
1011.59/1012.28 c | 595671 | 7784 33346 101436 | 2147483647 445202 179 | 0.000 % |
1012.39/1013.04 c | 595928 | 7784 33346 101436 | 2147483647 445459 179 | 0.000 % |
1013.29/1013.97 c | 596211 | 7784 33346 101436 | 2147483647 445742 179 | 0.000 % |
1014.28/1014.98 c | 596520 | 7784 33346 101436 | 2147483647 446051 179 | 0.000 % |
1015.38/1016.09 c | 596859 | 7784 33346 101436 | 2147483647 446390 179 | 0.000 % |
1016.58/1017.29 c | 597231 | 7784 33346 101436 | 2147483647 446762 179 | 0.000 % |
1017.89/1018.56 c | 597640 | 7784 33346 101436 | 2147483647 447171 179 | 0.000 % |
1019.18/1019.89 c | 598089 | 7784 33346 101436 | 2147483647 447620 179 | 0.000 % |
1020.78/1021.40 c | 598583 | 7784 33346 101436 | 2147483647 448114 179 | 0.000 % |
1022.48/1023.11 c | 599127 | 7784 33346 101436 | 2147483647 448658 179 | 0.000 % |
1024.08/1024.79 c | 599724 | 7784 33346 101436 | 2147483647 449255 179 | 0.000 % |
1025.88/1026.51 c | 600379 | 7784 33346 101436 | 449531 449910 179 | 0.000 % |
1028.08/1028.78 c | 601099 | 7784 33346 101436 | 449531 398249 180 | 0.000 % |
1030.08/1030.77 c | 601891 | 7784 33346 101436 | 449531 399041 180 | 0.000 % |
1032.38/1033.05 c | 602763 | 7784 33346 101436 | 449531 399913 180 | 0.000 % |
1034.87/1035.50 c | 603723 | 7784 33346 101436 | 449531 400873 180 | 0.000 % |
1037.57/1038.20 c | 604776 | 7784 33346 101436 | 449531 401926 180 | 0.000 % |
1040.27/1040.91 c | 605935 | 7784 33346 101436 | 449531 403085 180 | 0.000 % |
1043.37/1044.00 c | 607209 | 7784 33346 101436 | 449531 404359 180 | 0.000 % |
1046.67/1047.36 c | 608609 | 7784 33346 101436 | 449531 405759 180 | 0.000 % |
1050.36/1051.03 c | 610151 | 7784 33346 101436 | 2147483647 407301 180 | 0.000 % |
1054.36/1055.03 c | 611845 | 7784 33346 101436 | 2147483647 408995 180 | 0.000 % |
1058.86/1059.56 c | 613708 | 7784 33346 101436 | 2147483647 410858 180 | 0.000 % |
1063.76/1064.40 c | 615757 | 7784 33346 101436 | 2147483647 412907 180 | 0.000 % |
1068.86/1069.50 c | 618010 | 7784 33346 101436 | 2147483647 415160 180 | 0.000 % |
1074.85/1075.52 c | 620488 | 7784 33346 101436 | 2147483647 417638 180 | 0.000 % |
1081.15/1081.81 c | 623213 | 7784 33346 101436 | 2147483647 420363 180 | 0.000 % |
1088.25/1088.99 c | 626210 | 7784 33346 101436 | 2147483647 423360 180 | 0.000 % |
1096.14/1096.90 c | 629506 | 7784 33346 101436 | 2147483647 426656 180 | 0.000 % |
1104.54/1105.25 c | 633132 | 7784 33346 101436 | 2147483647 430282 181 | 0.000 % |
1113.13/1113.84 c | 637121 | 7784 33346 101436 | 2147483647 434271 181 | 0.000 % |
1123.82/1124.53 c | 641506 | 7784 33346 101436 | 2147483647 438656 181 | 0.000 % |
1135.32/1136.03 c | 646329 | 7784 33346 101436 | 2147483647 443479 182 | 0.000 % |
1147.92/1148.63 c | 651636 | 7784 33346 101436 | 2147483647 448786 182 | 0.000 % |
1162.11/1162.86 c | 657472 | 7784 33346 101436 | 2147483647 454622 182 | 0.000 % |
1162.41/1163.14 c | 657572 | 7784 33346 101436 | 2147483647 454722 182 | 0.000 % |
1162.81/1163.59 c | 657684 | 7784 33346 101436 | 2147483647 454834 182 | 0.000 % |
1163.21/1163.99 c | 657805 | 7784 33346 101436 | 2147483647 454955 182 | 0.000 % |
1163.71/1164.48 c | 657938 | 7784 33346 101436 | 2147483647 455088 182 | 0.000 % |
1164.31/1165.02 c | 658087 | 7784 33346 101436 | 2147483647 455237 182 | 0.000 % |
1164.91/1165.61 c | 658247 | 7784 33346 101436 | 2147483647 455397 182 | 0.000 % |
1165.41/1166.16 c | 658424 | 7784 33346 101436 | 2147483647 455574 182 | 0.000 % |
1166.10/1166.85 c | 658617 | 7784 33346 101436 | 2147483647 455767 182 | 0.000 % |
1166.80/1167.50 c | 658829 | 7784 33346 101436 | 2147483647 455979 182 | 0.000 % |
1167.61/1168.30 c | 659063 | 7784 33346 101436 | 2147483647 456213 182 | 0.000 % |
1168.31/1169.08 c | 659320 | 7784 33346 101436 | 2147483647 456470 182 | 0.000 % |
1169.20/1169.98 c | 659602 | 7784 33346 101436 | 2147483647 456752 182 | 0.000 % |
1170.20/1170.97 c | 659911 | 7784 33346 101436 | 2147483647 457061 182 | 0.000 % |
1171.20/1171.97 c | 660250 | 7784 33346 101436 | 2147483647 457400 182 | 0.000 % |
1172.39/1173.13 c | 660624 | 7784 33346 101436 | 2147483647 457774 182 | 0.000 % |
1173.49/1174.27 c | 661034 | 7784 33346 101436 | 2147483647 458184 182 | 0.000 % |
1174.99/1175.71 c | 661483 | 7784 33346 101436 | 2147483647 458633 182 | 0.000 % |
1176.39/1177.12 c | 661977 | 7784 33346 101436 | 2147483647 459127 182 | 0.000 % |
1177.89/1178.60 c | 662519 | 7784 33346 101436 | 2147483647 459669 182 | 0.000 % |
1179.60/1180.34 c | 663120 | 7784 33346 101436 | 2147483647 460270 182 | 0.000 % |
1181.49/1182.21 c | 663775 | 7784 33346 101436 | 2147483647 460925 182 | 0.000 % |
1183.39/1184.17 c | 664495 | 7784 33346 101436 | 2147483647 461645 182 | 0.000 % |
1185.69/1186.41 c | 665288 | 7784 33346 101436 | 2147483647 462438 182 | 0.000 % |
1187.98/1188.76 c | 666159 | 7784 33346 101436 | 2147483647 463309 182 | 0.000 % |
1190.69/1191.43 c | 667117 | 7784 33346 101436 | 2147483647 464267 182 | 0.000 % |
1193.69/1194.40 c | 668171 | 7784 33346 101436 | 2147483647 465321 182 | 0.000 % |
1196.88/1197.63 c | 669331 | 7784 33346 101436 | 2147483647 466481 182 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832683-1242786253/watcher-1832683-1242786253 -o /tmp/evaluation-result-1832683-1242786253/solver-1832683-1242786253 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832683-1242786253.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: 1.00 1.00 1.00 3/64 32618
/proc/meminfo: memFree=1728560/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0
/proc/32618/stat : 32618 (SatELiteGTI) R 32616 32618 32008 0 -1 4194304 291 249 0 0 0 0 0 0 18 0 1 0 306651581 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 271637998067 0 0 4100 65536 0 0 0 17 0 0 0
/proc/32618/statm: 1339 237 197 169 0 50 0
[startup+0.0877039 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 32618
/proc/meminfo: memFree=1728560/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306651581 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101705 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 32618
/proc/meminfo: memFree=1728560/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306651581 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.30175 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 32618
/proc/meminfo: memFree=1728560/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0.13
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 336 1327 0 0 0 0 13 0 15 0 1 0 306651581 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 5356
[startup+0.701824 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 32618
/proc/meminfo: memFree=1728560/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0.13
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 336 1327 0 0 0 0 13 0 15 0 1 0 306651581 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 5356
[startup+1.50196 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32624
/proc/meminfo: memFree=1722976/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0.13
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 336 1327 0 0 0 0 13 0 15 0 1 0 306651581 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 239 197 169 0 50 0
[pid=32624] ppid=32618 vsize=6848 CPUtime=1.34
/proc/32624/stat : 32624 (minisat_static) R 32618 32618 32008 0 -1 4194304 1506 0 0 0 133 1 0 0 25 0 1 0 306651596 7012352 1492 1992294400 134512640 135215339 4294956240 18446744073709551615 134528697 0 0 4096 3 0 0 0 17 0 0 0
/proc/32624/statm: 1712 1492 77 171 0 1539 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12204
[startup+3.10226 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32624
/proc/meminfo: memFree=1720352/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0.13
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 336 1327 0 0 0 0 13 0 15 0 1 0 306651581 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 239 197 169 0 50 0
[pid=32624] ppid=32618 vsize=10308 CPUtime=2.94
/proc/32624/stat : 32624 (minisat_static) R 32618 32618 32008 0 -1 4194304 2363 0 0 0 293 1 0 0 25 0 1 0 306651596 10555392 2349 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/32624/statm: 2577 2349 77 171 0 2404 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 15664
[startup+6.30183 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32624
/proc/meminfo: memFree=1713904/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0.13
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 336 1327 0 0 0 0 13 0 15 0 1 0 306651581 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 239 197 169 0 50 0
[pid=32624] ppid=32618 vsize=16228 CPUtime=6.13
/proc/32624/stat : 32624 (minisat_static) R 32618 32618 32008 0 -1 4194304 3821 0 0 0 611 2 0 0 25 0 1 0 306651596 16617472 3807 1992294400 134512640 135215339 4294956240 18446744073709551615 134528821 0 0 4096 3 0 0 0 17 0 0 0
/proc/32624/statm: 4057 3807 77 171 0 3884 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 21584
[startup+12.703 s]
/proc/loadavg: 1.07 1.02 1.00 2/66 32624
/proc/meminfo: memFree=1703088/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0.13
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 336 1327 0 0 0 0 13 0 15 0 1 0 306651581 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 239 197 169 0 50 0
[pid=32624] ppid=32618 vsize=26292 CPUtime=12.54
/proc/32624/stat : 32624 (minisat_static) R 32618 32618 32008 0 -1 4194304 6363 0 0 0 1249 5 0 0 25 0 1 0 306651596 26923008 6349 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/32624/statm: 6573 6349 77 171 0 6400 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 31648
[startup+25.5013 s]
/proc/loadavg: 1.06 1.02 1.00 2/66 32624
/proc/meminfo: memFree=1686896/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0.13
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 336 1327 0 0 0 0 13 0 15 0 1 0 306651581 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 239 197 169 0 50 0
[pid=32624] ppid=32618 vsize=42080 CPUtime=25.32
/proc/32624/stat : 32624 (minisat_static) R 32618 32618 32008 0 -1 4194304 10289 0 0 0 2523 9 0 0 25 0 1 0 306651596 43089920 10275 1992294400 134512640 135215339 4294956240 18446744073709551615 134538089 0 0 4096 3 0 0 0 17 0 0 0
/proc/32624/statm: 10520 10275 77 171 0 10347 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 47436
[startup+51.102 s]
/proc/loadavg: 1.04 1.01 1.00 2/66 32624
/proc/meminfo: memFree=1663088/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0.13
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 336 1327 0 0 0 0 13 0 15 0 1 0 306651581 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 239 197 169 0 50 0
[pid=32624] ppid=32618 vsize=66140 CPUtime=50.89
/proc/32624/stat : 32624 (minisat_static) R 32618 32618 32008 0 -1 4194304 16265 0 0 0 5075 14 0 0 25 0 1 0 306651596 67727360 16251 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32624/statm: 16535 16251 77 171 0 16362 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 71496
[startup+102.305 s]
/proc/loadavg: 1.01 1.01 1.00 2/66 32624
/proc/meminfo: memFree=1625136/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0.13
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 336 1327 0 0 0 0 13 0 15 0 1 0 306651581 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 239 197 169 0 50 0
[pid=32624] ppid=32618 vsize=103368 CPUtime=102.06
/proc/32624/stat : 32624 (minisat_static) R 32618 32618 32008 0 -1 4194304 25581 0 0 0 10181 25 0 0 25 0 1 0 306651596 105848832 25567 1992294400 134512640 135215339 4294956240 18446744073709551615 134532684 0 0 4096 3 0 0 0 17 0 0 0
/proc/32624/statm: 25842 25567 77 171 0 25669 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 108724
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32624
/proc/meminfo: memFree=1589872/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0.13
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 336 1327 0 0 0 0 13 0 15 0 1 0 306651581 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 239 197 169 0 50 0
[pid=32624] ppid=32618 vsize=138876 CPUtime=162.02
/proc/32624/stat : 32624 (minisat_static) R 32618 32618 32008 0 -1 4194304 34485 0 0 0 16167 35 0 0 25 0 1 0 306651596 142209024 34471 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/32624/statm: 34719 34471 77 171 0 34546 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 144232
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32624
/proc/meminfo: memFree=1559984/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0.13
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 336 1327 0 0 0 0 13 0 15 0 1 0 306651581 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 239 197 169 0 50 0
[pid=32624] ppid=32618 vsize=168320 CPUtime=221.99
/proc/32624/stat : 32624 (minisat_static) R 32618 32618 32008 0 -1 4194304 41778 0 0 0 22155 44 0 0 25 0 1 0 306651596 172359680 41764 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32624/statm: 42080 41764 77 171 0 41907 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 173676
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32624
/proc/meminfo: memFree=1532528/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0.13
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 336 1327 0 0 0 0 13 0 15 0 1 0 306651581 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 239 197 169 0 50 0
[pid=32624] ppid=32618 vsize=195776 CPUtime=281.95
/proc/32624/stat : 32624 (minisat_static) R 32618 32618 32008 0 -1 4194304 48703 0 0 0 28144 51 0 0 25 0 1 0 306651596 200474624 48689 1992294400 134512640 135215339 4294956240 18446744073709551615 134538249 0 0 4096 3 0 0 0 17 0 0 0
/proc/32624/statm: 48944 48689 77 171 0 48771 0
Current children cumulated CPU time (s) 282.08
Current children cumulated vsize (KiB) 201132
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32624
/proc/meminfo: memFree=1508016/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0.13
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 336 1327 0 0 0 0 13 0 15 0 1 0 306651581 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 239 197 169 0 50 0
[pid=32624] ppid=32618 vsize=220408 CPUtime=341.92
/proc/32624/stat : 32624 (minisat_static) R 32618 32618 32008 0 -1 4194304 54734 0 0 0 34135 57 0 0 25 0 1 0 306651596 225697792 54720 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/32624/statm: 55102 54720 77 171 0 54929 0
Current children cumulated CPU time (s) 342.05
Current children cumulated vsize (KiB) 225764
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32624
/proc/meminfo: memFree=1486000/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0.13
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 336 1327 0 0 0 0 13 0 15 0 1 0 306651581 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 239 197 169 0 50 0
[pid=32624] ppid=32618 vsize=242320 CPUtime=401.89
/proc/32624/stat : 32624 (minisat_static) R 32618 32618 32008 0 -1 4194304 60248 0 0 0 40125 64 0 0 25 0 1 0 306651596 248135680 60234 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/32624/statm: 60580 60234 77 171 0 60407 0
Current children cumulated CPU time (s) 402.02
Current children cumulated vsize (KiB) 247676
[startup+462.302 s]
################
# More data... #
################
/proc/32624/statm: 70942 70645 77 171 0 70769 0
Current children cumulated CPU time (s) 521.95
Current children cumulated vsize (KiB) 289124
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32624
/proc/meminfo: memFree=1424944/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0.13
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 336 1327 0 0 0 0 13 0 15 0 1 0 306651581 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 239 197 169 0 50 0
[pid=32624] ppid=32618 vsize=302644 CPUtime=581.79
/proc/32624/stat : 32624 (minisat_static) R 32618 32618 32008 0 -1 4194304 75382 0 0 0 58097 82 0 0 25 0 1 0 306651596 309907456 75368 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32624/statm: 75661 75368 77 171 0 75488 0
Current children cumulated CPU time (s) 581.92
Current children cumulated vsize (KiB) 308000
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32624
/proc/meminfo: memFree=1406576/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0.13
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 336 1327 0 0 0 0 13 0 15 0 1 0 306651581 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 239 197 169 0 50 0
[pid=32624] ppid=32618 vsize=320464 CPUtime=641.75
/proc/32624/stat : 32624 (minisat_static) R 32618 32618 32008 0 -1 4194304 79874 0 0 0 64088 87 0 0 25 0 1 0 306651596 328155136 79860 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32624/statm: 80116 79860 77 171 0 79943 0
Current children cumulated CPU time (s) 641.88
Current children cumulated vsize (KiB) 325820
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32624
/proc/meminfo: memFree=1402224/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0.13
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 336 1327 0 0 0 0 13 0 15 0 1 0 306651581 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 239 197 169 0 50 0
[pid=32624] ppid=32618 vsize=324556 CPUtime=701.72
/proc/32624/stat : 32624 (minisat_static) R 32618 32618 32008 0 -1 4194304 80907 0 0 0 70084 88 0 0 25 0 1 0 306651596 332345344 80893 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/32624/statm: 81139 80893 77 171 0 80966 0
Current children cumulated CPU time (s) 701.85
Current children cumulated vsize (KiB) 329912
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32624
/proc/meminfo: memFree=1402096/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0.13
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 336 1327 0 0 0 0 13 0 15 0 1 0 306651581 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 239 197 169 0 50 0
[pid=32624] ppid=32618 vsize=324556 CPUtime=761.69
/proc/32624/stat : 32624 (minisat_static) R 32618 32618 32008 0 -1 4194304 80907 0 0 0 76081 88 0 0 25 0 1 0 306651596 332345344 80893 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32624/statm: 81139 80893 77 171 0 80966 0
Current children cumulated CPU time (s) 761.82
Current children cumulated vsize (KiB) 329912
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32624
/proc/meminfo: memFree=1400880/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0.13
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 336 1327 0 0 0 0 13 0 15 0 1 0 306651581 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 239 197 169 0 50 0
[pid=32624] ppid=32618 vsize=325744 CPUtime=821.65
/proc/32624/stat : 32624 (minisat_static) R 32618 32618 32008 0 -1 4194304 81208 0 0 0 82077 88 0 0 25 0 1 0 306651596 333561856 81194 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/32624/statm: 81436 81194 77 171 0 81263 0
Current children cumulated CPU time (s) 821.78
Current children cumulated vsize (KiB) 331100
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32624
/proc/meminfo: memFree=1397552/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0.13
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 336 1327 0 0 0 0 13 0 15 0 1 0 306651581 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 239 197 169 0 50 0
[pid=32624] ppid=32618 vsize=329044 CPUtime=881.62
/proc/32624/stat : 32624 (minisat_static) R 32618 32618 32008 0 -1 4194304 82017 0 0 0 88073 89 0 0 25 0 1 0 306651596 336941056 82003 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/32624/statm: 82261 82003 77 171 0 82088 0
Current children cumulated CPU time (s) 881.75
Current children cumulated vsize (KiB) 334400
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32624
/proc/meminfo: memFree=1391600/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0.13
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 336 1327 0 0 0 0 13 0 15 0 1 0 306651581 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 239 197 169 0 50 0
[pid=32624] ppid=32618 vsize=334852 CPUtime=941.59
/proc/32624/stat : 32624 (minisat_static) R 32618 32618 32008 0 -1 4194304 83467 0 0 0 94068 91 0 0 25 0 1 0 306651596 342888448 83453 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/32624/statm: 83713 83453 77 171 0 83540 0
Current children cumulated CPU time (s) 941.72
Current children cumulated vsize (KiB) 340208
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32624
/proc/meminfo: memFree=1391536/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0.13
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 336 1327 0 0 0 0 13 0 15 0 1 0 306651581 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 239 197 169 0 50 0
[pid=32624] ppid=32618 vsize=334852 CPUtime=1001.55
/proc/32624/stat : 32624 (minisat_static) R 32618 32618 32008 0 -1 4194304 83467 0 0 0 100064 91 0 0 25 0 1 0 306651596 342888448 83453 1992294400 134512640 135215339 4294956240 18446744073709551615 134528852 0 0 4096 3 0 0 0 17 0 0 0
/proc/32624/statm: 83713 83453 77 171 0 83540 0
Current children cumulated CPU time (s) 1001.68
Current children cumulated vsize (KiB) 340208
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32624
/proc/meminfo: memFree=1387504/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0.13
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 336 1327 0 0 0 0 13 0 15 0 1 0 306651581 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 239 197 169 0 50 0
[pid=32624] ppid=32618 vsize=338680 CPUtime=1061.53
/proc/32624/stat : 32624 (minisat_static) R 32618 32618 32008 0 -1 4194304 84447 0 0 0 106060 93 0 0 25 0 1 0 306651596 346808320 84433 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32624/statm: 84670 84433 77 171 0 84497 0
Current children cumulated CPU time (s) 1061.66
Current children cumulated vsize (KiB) 344036
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32624
/proc/meminfo: memFree=1387440/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0.13
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 336 1327 0 0 0 0 13 0 15 0 1 0 306651581 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 239 197 169 0 50 0
[pid=32624] ppid=32618 vsize=338680 CPUtime=1121.5
/proc/32624/stat : 32624 (minisat_static) R 32618 32618 32008 0 -1 4194304 84447 0 0 0 112057 93 0 0 25 0 1 0 306651596 346808320 84433 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32624/statm: 84670 84433 77 171 0 84497 0
Current children cumulated CPU time (s) 1121.63
Current children cumulated vsize (KiB) 344036
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32626
/proc/meminfo: memFree=1374064/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0.13
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 336 1327 0 0 0 0 13 0 15 0 1 0 306651581 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 239 197 169 0 50 0
[pid=32624] ppid=32618 vsize=352144 CPUtime=1181.46
/proc/32624/stat : 32624 (minisat_static) R 32618 32618 32008 0 -1 4194304 87819 0 0 0 118048 98 0 0 25 0 1 0 306651596 360595456 87805 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/32624/statm: 88036 87805 77 171 0 87863 0
Current children cumulated CPU time (s) 1181.59
Current children cumulated vsize (KiB) 357500
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 32626
/proc/meminfo: memFree=1369264/2055920 swapFree=4179888/4192956
[pid=32618] ppid=32616 vsize=5356 CPUtime=0.13
/proc/32618/stat : 32618 (SatELiteGTI) S 32616 32618 32008 0 -1 4194304 336 1327 0 0 0 0 13 0 15 0 1 0 306651581 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/32618/statm: 1339 239 197 169 0 50 0
[pid=32624] ppid=32618 vsize=357544 CPUtime=1199.95
/proc/32624/stat : 32624 (minisat_static) R 32618 32618 32008 0 -1 4194304 88934 0 0 0 119896 99 0 0 25 0 1 0 306651596 366125056 88920 1992294400 134512640 135215339 4294956240 18446744073709551615 134528984 0 0 4096 3 0 0 0 17 0 0 0
/proc/32624/statm: 89386 88920 77 171 0 89213 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 362900
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 32618 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=132979
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=12998
# CPU time returned by wait4() is 0.145977
# while last known CPU time is 1200.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.81
CPU time (s): 1200.08
CPU user time (s): 1199.09
CPU system time (s): 0.99
CPU usage (%): 99.939
Max. virtual memory (cumulated for all children) (KiB): 362900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.132979
system time used= 0.012998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1663
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= 11
involuntary context switches= 10
runsolver used 1.05884 second user time and 3.42248 second system time
The end
Begin job on node67 at 2009-05-20 04:24:14
IDJOB=1832683
IDBENCH=70305
IDSOLVER=671
FILE ID=node67/1832683-1242786253
PBS_JOBID= 9322349
Free space on /tmp= 66348 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/8000/unif-k3-r4.2-v8000-c33600-S439075063-023.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832683-1242786253/watcher-1832683-1242786253 -o /tmp/evaluation-result-1832683-1242786253/solver-1832683-1242786253 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832683-1242786253.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= ee1ee4ce24708e1154601d98d318621f
RANDOM SEED=1324907934
node67.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.277
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.277
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: 1729040 kB
Buffers: 35980 kB
Cached: 220852 kB
SwapCached: 7824 kB
Active: 41052 kB
Inactive: 225108 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1729040 kB
SwapTotal: 4192956 kB
SwapFree: 4179888 kB
Dirty: 2176 kB
Writeback: 0 kB
Mapped: 14112 kB
Slab: 46692 kB
Committed_AS: 1056120 kB
PageTables: 1440 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= 66344 MiB
End job on node67 at 2009-05-20 04:44:16