0.00/0.00 c Parsing...
0.00/0.05 c ==============================================================================
0.00/0.05 c | | ORIGINAL | LEARNT | |
0.00/0.05 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.05 c ==============================================================================
0.00/0.05 c | 0 | 86424 226590 | 25927 0 0 nan | 0.000 % |
0.00/0.06 c ==============================================================================
0.00/0.06 c Result : #vars: 676 #clauses: 86424 #literals: 226590
0.00/0.06 c CPU time: 0.05 s
0.00/0.06 c ==============================================================================
0.11/0.13 c This is MiniSat 2.0 beta
0.11/0.13 c WARNING: for repeatability, setting FPU to use double precision
0.11/0.13 c ============================[ Problem Statistics ]=============================
0.11/0.13 c | |
0.11/0.13 c | Number of variables: 676 |
0.11/0.13 c | Number of clauses: 86424 |
0.11/0.17 c | Parsing time: 0.04 s |
0.11/0.18 c ============================[ Search Statistics ]==============================
0.11/0.18 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.11/0.18 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.11/0.18 c ===============================================================================
0.11/0.18 c | 0 | 676 86424 226590 | 28808 0 nan | 0.000 % |
0.11/0.20 c | 100 | 676 86424 226590 | 28808 100 49 | 0.000 % |
0.11/0.21 c | 201 | 676 86424 226590 | 28808 201 35 | 0.014 % |
0.13/0.22 c | 301 | 676 86424 226590 | 28808 301 32 | 0.014 % |
0.13/0.23 c | 411 | 676 86424 226590 | 28808 411 29 | 0.015 % |
0.13/0.24 c | 511 | 676 86424 226590 | 28808 511 29 | 0.014 % |
0.13/0.26 c | 621 | 676 86424 226590 | 28808 621 42 | 0.000 % |
0.13/0.27 c | 742 | 676 86424 226590 | 28808 742 41 | 0.000 % |
0.13/0.28 c | 846 | 676 86424 226590 | 28808 846 40 | 0.000 % |
0.13/0.29 c | 958 | 676 86424 226590 | 28808 958 38 | 0.014 % |
0.13/0.30 c | 1079 | 676 86424 226590 | 28808 1079 37 | 0.014 % |
0.13/0.32 c | 1212 | 676 86424 226590 | 28808 1212 41 | 0.000 % |
0.13/0.33 c | 1313 | 676 86424 226590 | 28808 1313 41 | 0.000 % |
0.13/0.34 c | 1424 | 676 86424 226590 | 28808 1424 39 | 0.013 % |
0.13/0.35 c | 1546 | 676 86424 226590 | 28808 1546 39 | 0.000 % |
0.13/0.36 c | 1679 | 676 86424 226590 | 28808 1679 41 | 0.000 % |
0.13/0.38 c | 1826 | 676 86424 226590 | 28808 1826 40 | 0.014 % |
0.13/0.39 c | 1928 | 676 86424 226590 | 28808 1928 39 | 0.000 % |
0.13/0.41 c | 2040 | 676 86424 226590 | 28808 2040 38 | 0.013 % |
0.13/0.42 c | 2163 | 676 86424 226590 | 28808 2163 40 | 0.000 % |
0.13/0.44 c | 2296 | 676 86424 226590 | 28808 2296 40 | 0.000 % |
0.13/0.45 c | 2442 | 676 86424 226590 | 28808 2442 39 | 0.013 % |
0.13/0.47 c | 2602 | 676 86424 226590 | 28808 2602 38 | 0.013 % |
0.13/0.48 c | 2703 | 676 86424 226590 | 28808 2703 37 | 0.013 % |
0.13/0.50 c | 2814 | 676 86424 226590 | 28808 2814 37 | 0.013 % |
0.13/0.51 c | 2936 | 676 86424 226590 | 28808 2936 36 | 0.013 % |
0.13/0.53 c | 3070 | 676 86424 226590 | 28808 3070 35 | 0.013 % |
0.13/0.54 c | 3216 | 676 86424 226590 | 28808 3216 37 | 0.000 % |
0.13/0.56 c | 3379 | 676 86424 226590 | 28808 3379 36 | 0.000 % |
0.13/0.58 c | 3556 | 676 86424 226590 | 28808 3556 36 | 0.013 % |
0.13/0.59 c | 3656 | 676 86424 226590 | 28808 3656 37 | 0.000 % |
0.13/0.61 c | 3768 | 676 86424 226590 | 28808 3768 37 | 0.000 % |
0.13/0.62 c | 3889 | 676 86424 226590 | 28808 3889 37 | 0.000 % |
0.13/0.64 c | 4023 | 676 86424 226590 | 28808 4023 36 | 0.014 % |
0.13/0.66 c | 4170 | 676 86424 226590 | 28808 4170 38 | 0.000 % |
0.13/0.68 c | 4330 | 676 86424 226590 | 28808 4330 38 | 0.000 % |
0.13/0.70 c | 4507 | 676 86424 226590 | 28808 4507 37 | 0.014 % |
0.13/0.72 c | 4700 | 676 86424 226590 | 28808 4700 39 | 0.000 % |
0.13/0.73 c | 4803 | 676 86424 226590 | 28808 4803 39 | 0.000 % |
0.13/0.75 c | 4913 | 676 86424 226590 | 28808 4913 39 | 0.014 % |
0.13/0.76 c | 5038 | 676 86424 226590 | 28808 5038 38 | 0.014 % |
0.13/0.78 c | 5173 | 676 86424 226590 | 28808 5173 40 | 0.000 % |
0.13/0.80 c | 5322 | 676 86424 226590 | 28808 5322 41 | 0.014 % |
0.13/0.82 c | 5482 | 676 86424 226590 | 28808 5482 40 | 0.014 % |
0.13/0.84 c | 5658 | 676 86424 226590 | 28808 5658 40 | 0.014 % |
0.13/0.87 c | 5853 | 676 86424 226590 | 28808 5853 39 | 0.014 % |
0.13/0.90 c | 6066 | 676 86424 226590 | 28808 6066 39 | 0.014 % |
0.13/0.91 c | 6166 | 676 86424 226590 | 28808 6166 39 | 0.000 % |
0.13/0.92 c | 6277 | 676 86424 226590 | 28808 6277 40 | 0.014 % |
0.13/0.94 c | 6400 | 676 86424 226590 | 28808 6400 39 | 0.014 % |
0.13/0.96 c | 6534 | 676 86424 226590 | 28808 6534 39 | 0.014 % |
0.13/0.98 c | 6680 | 676 86424 226590 | 28808 6680 40 | 0.000 % |
0.13/1.00 c | 6844 | 676 86424 226590 | 28808 6844 40 | 0.000 % |
0.13/1.03 c | 7020 | 676 86424 226590 | 28808 7020 40 | 0.014 % |
0.13/1.06 c | 7213 | 676 86424 226590 | 28808 7213 41 | 0.000 % |
0.13/1.09 c | 7429 | 675 86174 225942 | 28808 7428 41 | 0.162 % |
1.12/1.13 c | 7665 | 675 86174 225942 | 28808 7664 40 | 0.162 % |
1.12/1.14 c | 7768 | 675 86174 225942 | 28808 7767 40 | 0.162 % |
1.12/1.16 c | 7879 | 675 86174 225942 | 28808 7878 40 | 0.162 % |
1.12/1.18 c | 8003 | 675 86174 225942 | 28808 8002 40 | 0.162 % |
1.12/1.20 c | 8137 | 675 86174 225942 | 28808 8136 41 | 0.148 % |
1.12/1.22 c | 8286 | 675 86174 225942 | 28808 8285 41 | 0.148 % |
1.23/1.24 c | 8450 | 675 86174 225942 | 28808 8449 41 | 0.162 % |
1.23/1.27 c | 8627 | 675 86174 225942 | 28808 8626 40 | 0.162 % |
1.23/1.30 c | 8820 | 675 86174 225942 | 28808 8819 40 | 0.162 % |
1.32/1.34 c | 9033 | 675 86174 225942 | 28808 9032 40 | 0.148 % |
1.32/1.37 c | 9269 | 675 86174 225942 | 28808 9268 40 | 0.148 % |
1.32/1.40 c | 9525 | 675 86174 225942 | 28808 9524 40 | 0.148 % |
1.42/1.42 c | 9625 | 675 86174 225942 | 28808 9624 40 | 0.148 % |
1.42/1.44 c | 9735 | 675 86174 225942 | 28808 9734 40 | 0.162 % |
1.42/1.46 c | 9856 | 675 86174 225942 | 28808 9855 40 | 0.162 % |
1.42/1.48 c | 9990 | 675 86174 225942 | 28808 9989 40 | 0.162 % |
1.52/1.51 c | 10136 | 675 86174 225942 | 2147483647 10135 40 | 0.162 % |
1.52/1.54 c | 10296 | 675 86174 225942 | 2147483647 10295 39 | 0.162 % |
1.52/1.57 c | 10473 | 675 86174 225942 | 2147483647 10472 39 | 0.162 % |
1.52/1.60 c | 10668 | 675 86174 225942 | 2147483647 10667 39 | 0.163 % |
1.62/1.64 c | 10880 | 675 86174 225942 | 2147483647 10879 38 | 0.162 % |
1.62/1.67 c | 11115 | 675 86174 225942 | 2147483647 11114 38 | 0.163 % |
1.72/1.72 c | 11375 | 675 86174 225942 | 2147483647 11374 38 | 0.162 % |
1.72/1.77 c | 11657 | 675 86174 225942 | 2147483647 11656 37 | 0.162 % |
1.72/1.80 c | 11757 | 675 86174 225942 | 2147483647 11756 37 | 0.163 % |
1.72/1.81 c | 11867 | 675 86174 225942 | 2147483647 11866 37 | 0.163 % |
1.82/1.83 c | 11989 | 675 86174 225942 | 2147483647 11988 37 | 0.163 % |
1.82/1.86 c | 12128 | 675 86174 225942 | 2147483647 12127 37 | 0.162 % |
1.82/1.88 c | 12274 | 675 86174 225942 | 2147483647 12273 36 | 0.163 % |
1.82/1.91 c | 12434 | 675 86174 225942 | 2147483647 12433 36 | 0.163 % |
1.92/1.94 c | 12610 | 675 86174 225942 | 2147483647 12609 36 | 0.163 % |
1.92/1.97 c | 12805 | 675 86174 225942 | 2147483647 12804 36 | 0.162 % |
1.92/2.01 c | 13018 | 675 86174 225942 | 2147483647 13017 36 | 0.162 % |
2.02/2.04 c | 13252 | 675 86174 225942 | 2147483647 13251 36 | 0.148 % |
2.02/2.09 c | 13510 | 675 86174 225942 | 2147483647 13509 36 | 0.162 % |
2.12/2.13 c | 13793 | 675 86174 225942 | 2147483647 13792 37 | 0.148 % |
2.12/2.19 c | 14106 | 675 86174 225942 | 2147483647 14105 37 | 0.148 % |
2.12/2.20 c | 14207 | 675 86174 225942 | 2147483647 14206 37 | 0.162 % |
2.22/2.23 c | 14317 | 675 86174 225942 | 2147483647 14316 37 | 0.162 % |
2.22/2.25 c | 14440 | 675 86174 225942 | 2147483647 14439 37 | 0.161 % |
2.22/2.27 c | 14573 | 675 86174 225942 | 2147483647 14572 37 | 0.161 % |
2.22/2.30 c | 14719 | 675 86174 225942 | 2147483647 14718 37 | 0.148 % |
2.33/2.33 c | 14879 | 675 86174 225942 | 2147483647 14878 37 | 0.162 % |
2.33/2.36 c | 15056 | 675 86174 225942 | 2147483647 15055 37 | 0.162 % |
2.33/2.40 c | 15249 | 675 86174 225942 | 2147483647 15248 37 | 0.148 % |
2.42/2.43 c | 15461 | 675 86174 225942 | 2147483647 15460 38 | 0.148 % |
2.42/2.48 c | 15694 | 675 86174 225942 | 2147483647 15693 38 | 0.162 % |
2.52/2.53 c | 15955 | 675 86174 225942 | 2147483647 15954 38 | 0.162 % |
2.52/2.58 c | 16238 | 675 86174 225942 | 2147483647 16237 38 | 0.162 % |
2.62/2.64 c | 16549 | 675 86174 225942 | 2147483647 16548 37 | 0.162 % |
2.62/2.71 c | 16892 | 675 86174 225942 | 2147483647 16891 38 | 0.148 % |
2.72/2.73 c | 16994 | 675 86174 225942 | 2147483647 16993 38 | 0.162 % |
2.72/2.75 c | 17104 | 675 86174 225942 | 2147483647 17103 38 | 0.162 % |
2.72/2.77 c | 17227 | 675 86174 225942 | 2147483647 17226 38 | 0.162 % |
2.72/2.80 c | 17360 | 675 86174 225942 | 2147483647 17359 38 | 0.161 % |
2.82/2.82 c | 17506 | 675 86174 225942 | 2147483647 17505 38 | 0.162 % |
2.82/2.86 c | 17666 | 675 86174 225942 | 2147483647 17665 38 | 0.148 % |
2.82/2.89 c | 17842 | 675 86174 225942 | 2147483647 17841 38 | 0.162 % |
2.92/2.92 c | 18038 | 675 86174 225942 | 2147483647 18037 38 | 0.162 % |
2.92/2.97 c | 18250 | 675 86174 225942 | 2147483647 18249 38 | 0.148 % |
2.92/3.01 c | 18484 | 675 86174 225942 | 2147483647 18483 38 | 0.148 % |
3.02/3.06 c | 18740 | 675 86174 225942 | 2147483647 18739 38 | 0.162 % |
3.12/3.12 c | 19021 | 675 86174 225942 | 2147483647 19020 38 | 0.148 % |
3.12/3.18 c | 19331 | 675 86174 225942 | 2147483647 19330 39 | 0.148 % |
3.22/3.27 c | 19673 | 675 86174 225942 | 2147483647 19672 39 | 0.148 % |
3.32/3.35 c | 20046 | 675 86174 225942 | 2147483647 20045 38 | 0.162 % |
3.32/3.37 c | 20148 | 675 86174 225942 | 2147483647 20147 39 | 0.148 % |
3.32/3.40 c | 20262 | 675 86174 225942 | 2147483647 20261 38 | 0.162 % |
3.43/3.43 c | 20386 | 675 86174 225942 | 2147483647 20385 38 | 0.162 % |
3.43/3.46 c | 20521 | 675 86174 225942 | 2147483647 20520 38 | 0.162 % |
3.43/3.50 c | 20668 | 675 86174 225942 | 2147483647 20667 38 | 0.148 % |
3.52/3.53 c | 20828 | 675 86174 225942 | 2147483647 20827 38 | 0.162 % |
3.52/3.57 c | 21005 | 675 86174 225942 | 2147483647 21004 38 | 0.162 % |
3.62/3.62 c | 21198 | 675 86174 225942 | 2147483647 21197 38 | 0.148 % |
3.62/3.66 c | 21410 | 675 86174 225942 | 2147483647 21409 38 | 0.162 % |
3.62/3.71 c | 21643 | 675 86174 225942 | 2147483647 21642 38 | 0.148 % |
3.72/3.76 c | 21902 | 675 86174 225942 | 2147483647 21901 38 | 0.162 % |
3.82/3.84 c | 22186 | 675 86174 225942 | 2147483647 22185 38 | 0.148 % |
3.82/3.91 c | 22495 | 675 86174 225942 | 2147483647 22494 38 | 0.162 % |
3.92/3.99 c | 22834 | 675 86174 225942 | 2147483647 22833 38 | 0.162 % |
4.02/4.08 c | 23208 | 675 86174 225942 | 2147483647 23207 37 | 0.162 % |
4.12/4.18 c | 23618 | 675 86174 225942 | 2147483647 23617 37 | 0.162 % |
4.12/4.20 c | 23721 | 675 86174 225942 | 2147483647 23720 37 | 0.163 % |
4.22/4.23 c | 23831 | 675 86174 225942 | 2147483647 23830 37 | 0.162 % |
4.22/4.26 c | 23953 | 675 86174 225942 | 2147483647 23952 37 | 0.162 % |
4.22/4.29 c | 24089 | 675 86174 225942 | 2147483647 24088 37 | 0.148 % |
4.32/4.33 c | 24235 | 675 86174 225942 | 2147483647 24234 37 | 0.148 % |
4.32/4.36 c | 24396 | 675 86174 225942 | 2147483647 24395 37 | 0.148 % |
4.32/4.40 c | 24573 | 675 86174 225942 | 2147483647 24572 37 | 0.162 % |
4.42/4.44 c | 24766 | 675 86174 225942 | 2147483647 24765 37 | 0.148 % |
4.42/4.48 c | 24980 | 675 86174 225942 | 2147483647 24979 37 | 0.162 % |
4.53/4.54 c | 25214 | 675 86174 225942 | 2147483647 25213 37 | 0.163 % |
4.53/4.60 c | 25470 | 675 86174 225942 | 2147483647 25469 37 | 0.162 % |
4.62/4.68 c | 25751 | 675 86174 225942 | 2147483647 25750 37 | 0.162 % |
4.72/4.75 c | 26061 | 675 86174 225942 | 2147483647 26060 37 | 0.162 % |
4.82/4.82 c | 26404 | 675 86174 225942 | 2147483647 26403 38 | 0.148 % |
4.92/4.92 c | 26776 | 675 86174 225942 | 2147483647 26775 38 | 0.162 % |
5.02/5.02 c | 27185 | 675 86174 225942 | 2147483647 27184 38 | 0.162 % |
5.12/5.13 c | 27634 | 675 86174 225942 | 2147483647 27633 38 | 0.162 % |
5.12/5.16 c | 27735 | 675 86174 225942 | 2147483647 27734 38 | 0.162 % |
5.12/5.18 c | 27848 | 675 86174 225942 | 2147483647 27847 38 | 0.162 % |
5.22/5.22 c | 27970 | 675 86174 225942 | 2147483647 27969 37 | 0.162 % |
5.22/5.25 c | 28103 | 675 86174 225942 | 2147483647 28102 37 | 0.162 % |
5.22/5.28 c | 28251 | 675 86174 225942 | 2147483647 28250 37 | 0.162 % |
5.32/5.32 c | 28411 | 675 86174 225942 | 2147483647 28410 37 | 0.162 % |
5.32/5.37 c | 28588 | 675 86174 225942 | 2147483647 28587 37 | 0.162 % |
5.42/5.43 c | 28781 | 675 86174 225942 | 2147483647 28780 38 | 0.148 % |
5.42/5.49 c | 28996 | 675 86174 225942 | 2147483647 28995 38 | 0.162 % |
5.52/5.55 c | 29232 | 675 86174 225942 | 2147483647 29231 37 | 0.162 % |
5.52/5.62 c | 29488 | 675 86174 225942 | 2147483647 29487 37 | 0.162 % |
5.63/5.71 c | 29770 | 675 86174 225942 | 2147483647 29769 37 | 0.162 % |
5.72/5.80 c | 30081 | 675 86174 225942 | 2147483647 30080 37 | 0.162 % |
5.82/5.89 c | 30421 | 675 86174 225942 | 2147483647 30420 37 | 0.148 % |
5.92/6.00 c | 30794 | 675 86174 225942 | 2147483647 30793 37 | 0.162 % |
6.12/6.12 c | 31203 | 675 86174 225942 | 2147483647 31202 37 | 0.162 % |
6.22/6.24 c | 31652 | 675 86174 225942 | 2147483647 31651 37 | 0.162 % |
6.32/6.36 c | 32145 | 675 86174 225942 | 2147483647 32144 37 | 0.162 % |
6.32/6.38 c | 32246 | 675 86174 225942 | 2147483647 32245 37 | 0.162 % |
6.42/6.42 c | 32357 | 675 86174 225942 | 2147483647 32356 37 | 0.162 % |
6.42/6.45 c | 32478 | 675 86174 225942 | 2147483647 32477 37 | 0.162 % |
6.42/6.48 c | 32614 | 675 86174 225942 | 2147483647 32613 37 | 0.162 % |
6.52/6.52 c | 32760 | 675 86174 225942 | 2147483647 32759 37 | 0.162 % |
6.52/6.56 c | 32920 | 675 86174 225942 | 2147483647 32919 37 | 0.162 % |
6.62/6.62 c | 33098 | 675 86174 225942 | 2147483647 33097 37 | 0.162 % |
6.62/6.66 c | 33294 | 675 86174 225942 | 2147483647 33293 37 | 0.148 % |
6.73/6.73 c | 33507 | 675 86174 225942 | 2147483647 33506 37 | 0.162 % |
6.73/6.81 c | 33742 | 675 86174 225942 | 2147483647 33741 37 | 0.148 % |
6.82/6.88 c | 33998 | 675 86174 225942 | 2147483647 33997 37 | 0.161 % |
6.92/6.98 c | 34279 | 675 86174 225942 | 2147483647 34278 37 | 0.163 % |
7.02/7.07 c | 34592 | 675 86174 225942 | 2147483647 34591 37 | 0.162 % |
7.12/7.16 c | 34933 | 675 86174 225942 | 2147483647 34932 37 | 0.148 % |
7.22/7.27 c | 35307 | 675 86174 225942 | 2147483647 35306 38 | 0.162 % |
7.32/7.40 c | 35716 | 675 86174 225942 | 2147483647 35715 37 | 0.162 % |
7.52/7.54 c | 36166 | 675 86174 225942 | 2147483647 36165 37 | 0.162 % |
7.62/7.71 c | 36659 | 675 86174 225942 | 2147483647 36658 37 | 0.162 % |
7.83/7.87 c | 37202 | 675 86174 225942 | 2147483647 37201 37 | 0.162 % |
7.83/7.91 c | 37302 | 675 86174 225942 | 2147483647 37301 37 | 0.162 % |
7.92/7.94 c | 37412 | 675 86174 225942 | 2147483647 37411 37 | 0.162 % |
7.92/7.98 c | 37533 | 675 86174 225942 | 2147483647 37532 37 | 0.162 % |
8.02/8.03 c | 37669 | 675 86174 225942 | 2147483647 37668 37 | 0.148 % |
8.02/8.07 c | 37815 | 675 86174 225942 | 2147483647 37814 37 | 0.162 % |
8.02/8.11 c | 37975 | 675 86174 225942 | 2147483647 37974 37 | 0.162 % |
8.12/8.15 c | 38155 | 675 86174 225942 | 2147483647 38154 37 | 0.163 % |
8.12/8.21 c | 38348 | 675 86174 225942 | 2147483647 38347 37 | 0.163 % |
8.22/8.27 c | 38560 | 675 86174 225942 | 2147483647 38559 37 | 0.163 % |
8.32/8.34 c | 38795 | 675 86174 225942 | 2147483647 38794 37 | 0.148 % |
8.42/8.42 c | 39052 | 675 86174 225942 | 2147483647 39051 37 | 0.163 % |
8.42/8.49 c | 39335 | 675 86174 225942 | 2147483647 39334 37 | 0.148 % |
8.52/8.57 c | 39644 | 675 86174 225942 | 2147483647 39643 37 | 0.148 % |
8.62/8.68 c | 39984 | 675 86174 225942 | 2147483647 39983 37 | 0.162 % |
8.72/8.80 c | 40357 | 675 86174 225942 | 2147483647 40356 37 | 0.162 % |
8.93/8.93 c | 40766 | 675 86174 225942 | 2147483647 40765 37 | 0.162 % |
9.02/9.07 c | 41215 | 675 86174 225942 | 2147483647 41214 37 | 0.161 % |
9.22/9.23 c | 41711 | 675 86174 225942 | 2147483647 41710 37 | 0.161 % |
9.42/9.42 c | 42254 | 675 86174 225942 | 2147483647 42253 37 | 0.161 % |
9.62/9.61 c | 42851 | 675 86174 225942 | 2147483647 42850 37 | 0.162 % |
9.62/9.66 c | 42953 | 675 86174 225942 | 2147483647 42952 37 | 0.161 % |
9.62/9.69 c | 43065 | 675 86174 225942 | 2147483647 43064 37 | 0.162 % |
9.72/9.74 c | 43186 | 675 86174 225942 | 2147483647 43185 37 | 0.148 % |
9.72/9.78 c | 43324 | 675 86174 225942 | 2147483647 43323 37 | 0.173 % |
9.82/9.84 c | 43470 | 675 86174 225942 | 2147483647 43469 37 | 0.148 % |
9.82/9.90 c | 43630 | 675 86174 225942 | 2147483647 43629 37 | 0.162 % |
9.92/9.96 c | 43807 | 675 86174 225942 | 2147483647 43806 37 | 0.161 % |
10.03/10.02 c | 44001 | 675 86174 225942 | 2147483647 44000 37 | 0.162 % |
10.03/10.10 c | 44215 | 675 86174 225942 | 2147483647 44214 37 | 0.148 % |
10.12/10.19 c | 44450 | 675 86174 225942 | 2147483647 44449 37 | 0.148 % |
10.22/10.27 c | 44706 | 675 86174 225942 | 2147483647 44705 37 | 0.162 % |
10.32/10.36 c | 44987 | 675 86174 225942 | 2147483647 44986 37 | 0.162 % |
10.42/10.48 c | 45296 | 675 86174 225942 | 2147483647 45295 37 | 0.162 % |
10.52/10.57 c | 45636 | 675 86174 225942 | 2147483647 45635 37 | 0.162 % |
10.62/10.70 c | 46008 | 675 86174 225942 | 2147483647 46007 37 | 0.162 % |
10.82/10.83 c | 46418 | 675 86174 225942 | 2147483647 46417 37 | 0.148 % |
10.92/10.97 c | 46869 | 675 86174 225942 | 2147483647 46868 37 | 0.148 % |
11.13/11.15 c | 47363 | 675 86174 225942 | 2147483647 47362 37 | 0.162 % |
11.32/11.34 c | 47906 | 675 86174 225942 | 2147483647 47905 37 | 0.148 % |
11.52/11.55 c | 48506 | 675 86174 225942 | 2147483647 48505 37 | 0.162 % |
11.72/11.77 c | 49165 | 675 86174 225942 | 2147483647 49164 38 | 0.148 % |
11.82/11.82 c | 49267 | 675 86174 225942 | 2147483647 49266 38 | 0.148 % |
11.82/11.85 c | 49378 | 675 86174 225942 | 2147483647 49377 38 | 0.163 % |
11.82/11.90 c | 49499 | 675 86174 225942 | 2147483647 49498 38 | 0.162 % |
11.92/11.96 c | 49633 | 675 86174 225942 | 2147483647 49632 38 | 0.162 % |
12.02/12.02 c | 49780 | 675 86174 225942 | 2147483647 49779 38 | 0.162 % |
12.02/12.08 c | 49940 | 675 86174 225942 | 2147483647 49939 37 | 0.162 % |
12.12/12.16 c | 50117 | 675 86174 225942 | 2147483647 50116 38 | 0.162 % |
12.23/12.23 c | 50313 | 675 86174 225942 | 2147483647 50312 38 | 0.162 % |
12.23/12.31 c | 50525 | 675 86174 225942 | 2147483647 50524 37 | 0.162 % |
12.32/12.39 c | 50758 | 675 86174 225942 | 2147483647 50757 38 | 0.148 % |
12.42/12.48 c | 51017 | 675 86174 225942 | 2147483647 51016 38 | 0.162 % |
12.52/12.59 c | 51298 | 675 86174 225942 | 2147483647 51297 38 | 0.148 % |
12.62/12.70 c | 51608 | 675 86174 225942 | 2147483647 51607 38 | 0.162 % |
12.82/12.83 c | 51947 | 675 86174 225942 | 2147483647 51946 38 | 0.162 % |
12.92/12.98 c | 52321 | 675 86174 225942 | 2147483647 52320 38 | 0.162 % |
13.12/13.17 c | 52730 | 675 86174 225942 | 2147483647 52729 38 | 0.162 % |
13.33/13.33 c | 53179 | 675 86174 225942 | 2147483647 53178 38 | 0.162 % |
13.42/13.51 c | 53673 | 675 86174 225942 | 2147483647 53672 38 | 0.148 % |
13.72/13.73 c | 54215 | 675 86174 225942 | 2147483647 54214 37 | 0.162 % |
13.92/13.98 c | 54811 | 675 86174 225942 | 2147483647 54810 37 | 0.162 % |
14.22/14.24 c | 55466 | 675 86174 225942 | 2147483647 55465 37 | 0.162 % |
14.52/14.59 c | 56189 | 675 86174 225942 | 2147483647 56188 37 | 0.162 % |
14.62/14.63 c | 56289 | 675 86174 225942 | 2147483647 56288 37 | 0.148 % |
14.62/14.68 c | 56399 | 675 86174 225942 | 2147483647 56398 37 | 0.162 % |
14.72/14.73 c | 56522 | 675 86174 225942 | 2147483647 56521 37 | 0.162 % |
14.72/14.78 c | 56655 | 675 86174 225942 | 2147483647 56654 37 | 0.148 % |
14.82/14.83 c | 56801 | 675 86174 225942 | 2147483647 56800 37 | 0.162 % |
14.82/14.90 c | 56961 | 675 86174 225942 | 2147483647 56960 37 | 0.162 % |
14.92/14.97 c | 57140 | 675 86174 225942 | 2147483647 57139 37 | 0.162 % |
15.02/15.08 c | 57336 | 675 86174 225942 | 2147483647 57335 37 | 0.162 % |
15.12/15.19 c | 57551 | 675 86174 225942 | 2147483647 57550 37 | 0.162 % |
15.22/15.28 c | 57784 | 675 86174 225942 | 2147483647 57783 37 | 0.148 % |
15.32/15.39 c | 58040 | 675 86174 225942 | 2147483647 58039 37 | 0.162 % |
15.42/15.50 c | 58323 | 675 86174 225942 | 2147483647 58322 38 | 0.148 % |
15.62/15.64 c | 58633 | 675 86174 225942 | 2147483647 58632 38 | 0.148 % |
15.72/15.77 c | 58975 | 675 86174 225942 | 2147483647 58974 37 | 0.162 % |
15.92/15.97 c | 59347 | 675 86174 225942 | 2147483647 59346 37 | 0.163 % |
16.12/16.15 c | 59760 | 675 86174 225942 | 2147483647 59759 37 | 0.163 % |
16.32/16.36 c | 60209 | 675 86174 225942 | 2147483647 60208 37 | 0.161 % |
16.52/16.59 c | 60702 | 675 86174 225942 | 2147483647 60701 37 | 0.162 % |
16.82/16.84 c | 61244 | 675 86174 225942 | 2147483647 61243 37 | 0.148 % |
17.12/17.13 c | 61841 | 675 86174 225942 | 2147483647 61840 37 | 0.162 % |
17.42/17.47 c | 62496 | 675 86174 225942 | 2147483647 62495 37 | 0.162 % |
17.82/17.84 c | 63218 | 675 86174 225942 | 2147483647 63217 37 | 0.163 % |
18.22/18.24 c | 64014 | 675 86174 225942 | 2147483647 64013 37 | 0.163 % |
18.22/18.29 c | 64114 | 675 86174 225942 | 2147483647 64113 37 | 0.148 % |
18.32/18.34 c | 64225 | 675 86174 225942 | 2147483647 64224 37 | 0.148 % |
18.32/18.41 c | 64348 | 675 86174 225942 | 2147483647 64347 37 | 0.163 % |
18.42/18.48 c | 64481 | 675 86174 225942 | 2147483647 64480 37 | 0.163 % |
18.52/18.55 c | 64627 | 675 86174 225942 | 2147483647 64626 37 | 0.162 % |
18.62/18.63 c | 64787 | 675 86174 225942 | 2147483647 64786 37 | 0.162 % |
18.72/18.72 c | 64964 | 675 86174 225942 | 2147483647 64963 37 | 0.162 % |
18.72/18.81 c | 65157 | 675 86174 225942 | 2147483647 65156 37 | 0.162 % |
18.92/18.92 c | 65370 | 675 86174 225942 | 2147483647 65369 37 | 0.161 % |
19.02/19.02 c | 65606 | 675 86174 225942 | 2147483647 65605 37 | 0.162 % |
19.12/19.16 c | 65863 | 675 86174 225942 | 2147483647 65862 37 | 0.162 % |
19.22/19.29 c | 66147 | 675 86174 225942 | 2147483647 66146 37 | 0.161 % |
19.42/19.42 c | 66460 | 675 86174 225942 | 2147483647 66459 36 | 0.161 % |
19.52/19.55 c | 66799 | 675 86174 225942 | 2147483647 66798 36 | 0.162 % |
19.72/19.73 c | 67174 | 675 86174 225942 | 2147483647 67173 36 | 0.162 % |
19.82/19.91 c | 67584 | 675 86174 225942 | 2147483647 67583 36 | 0.162 % |
20.02/20.11 c | 68036 | 675 86174 225942 | 2147483647 68035 37 | 0.148 % |
20.32/20.35 c | 68537 | 675 86174 225942 | 2147483647 68536 37 | 0.148 % |
20.62/20.63 c | 69079 | 675 86174 225942 | 2147483647 69078 37 | 0.148 % |
20.82/20.88 c | 69675 | 675 86174 225942 | 2147483647 69674 38 | 0.148 % |
21.12/21.19 c | 70331 | 675 86174 225942 | 2147483647 70330 38 | 0.162 % |
21.52/21.56 c | 71055 | 675 86174 225942 | 2147483647 71054 37 | 0.162 % |
21.92/21.99 c | 71849 | 675 86174 225942 | 2147483647 71848 38 | 0.148 % |
22.42/22.48 c | 72722 | 675 86174 225942 | 2147483647 72721 38 | 0.162 % |
22.52/22.54 c | 72822 | 675 86174 225942 | 2147483647 72821 38 | 0.162 % |
22.52/22.60 c | 72932 | 675 86174 225942 | 2147483647 72931 38 | 0.162 % |
22.62/22.66 c | 73053 | 675 86174 225942 | 2147483647 73052 38 | 0.162 % |
22.72/22.75 c | 73186 | 675 86174 225942 | 2147483647 73185 38 | 0.148 % |
22.82/22.82 c | 73332 | 675 86174 225942 | 2147483647 73331 38 | 0.148 % |
22.92/22.92 c | 73493 | 675 86174 225942 | 2147483647 73492 38 | 0.162 % |
23.02/23.04 c | 73670 | 675 86174 225942 | 2147483647 73669 38 | 0.162 % |
23.12/23.16 c | 73863 | 675 86174 225942 | 2147483647 73862 38 | 0.162 % |
23.23/23.28 c | 74075 | 675 86174 225942 | 2147483647 74074 38 | 0.162 % |
23.32/23.39 c | 74308 | 675 86174 225942 | 2147483647 74307 38 | 0.148 % |
23.52/23.54 c | 74566 | 675 86174 225942 | 2147483647 74565 38 | 0.162 % |
23.62/23.68 c | 74850 | 675 86174 225942 | 2147483647 74849 38 | 0.148 % |
23.82/23.85 c | 75159 | 675 86174 225942 | 2147483647 75158 38 | 0.162 % |
24.02/24.03 c | 75498 | 675 86174 225942 | 2147483647 75497 38 | 0.162 % |
24.22/24.24 c | 75870 | 675 86174 225942 | 2147483647 75869 38 | 0.162 % |
24.42/24.44 c | 76279 | 675 86174 225942 | 2147483647 76278 38 | 0.148 % |
24.62/24.64 c | 76729 | 675 86174 225942 | 2147483647 76728 38 | 0.162 % |
24.82/24.89 c | 77222 | 675 86174 225942 | 2147483647 77221 38 | 0.162 % |
25.12/25.20 c | 77764 | 675 86174 225942 | 2147483647 77763 38 | 0.162 % |
25.52/25.54 c | 78363 | 675 86174 225942 | 2147483647 78362 38 | 0.163 % |
25.82/25.88 c | 79020 | 675 86174 225942 | 2147483647 79019 38 | 0.163 % |
26.32/26.31 c | 79740 | 675 86174 225942 | 2147483647 79739 38 | 0.148 % |
26.72/26.78 c | 80532 | 675 86174 225942 | 2147483647 80531 38 | 0.162 % |
27.22/27.23 c | 81403 | 675 86174 225942 | 2147483647 81402 39 | 0.148 % |
27.72/27.78 c | 82364 | 675 86174 225942 | 2147483647 82363 39 | 0.163 % |
27.82/27.83 c | 82464 | 675 86174 225942 | 2147483647 82463 39 | 0.163 % |
27.82/27.90 c | 82574 | 675 86174 225942 | 2147483647 82573 39 | 0.163 % |
27.92/27.99 c | 82697 | 675 86174 225942 | 2147483647 82696 39 | 0.148 % |
28.02/28.07 c | 82830 | 675 86174 225942 | 2147483647 82829 39 | 0.162 % |
28.12/28.18 c | 82976 | 675 86174 225942 | 2147483647 82975 39 | 0.148 % |
28.32/28.31 c | 83136 | 675 86174 225942 | 2147483647 83135 39 | 0.162 % |
28.42/28.44 c | 83317 | 675 86174 225942 | 2147483647 83316 39 | 0.162 % |
28.52/28.58 c | 83511 | 675 86174 225942 | 2147483647 83510 38 | 0.162 % |
28.62/28.70 c | 83724 | 675 86174 225942 | 2147483647 83723 39 | 0.148 % |
28.82/28.88 c | 83965 | 675 86174 225942 | 2147483647 83964 39 | 0.148 % |
29.02/29.07 c | 84221 | 675 86174 225942 | 2147483647 84220 39 | 0.162 % |
29.22/29.25 c | 84504 | 675 86174 225942 | 2147483647 84503 39 | 0.162 % |
29.42/29.43 c | 84813 | 675 86174 225942 | 2147483647 84812 39 | 0.148 % |
29.62/29.63 c | 85154 | 675 86174 225942 | 2147483647 85153 39 | 0.148 % |
29.83/29.86 c | 85527 | 675 86174 225942 | 2147483647 85526 39 | 0.163 % |
30.12/30.15 c | 85936 | 675 86174 225942 | 2147483647 85935 39 | 0.148 % |
30.42/30.44 c | 86386 | 675 86174 225942 | 2147483647 86385 39 | 0.162 % |
30.72/30.74 c | 86879 | 675 86174 225942 | 2147483647 86878 39 | 0.162 % |
31.02/31.10 c | 87422 | 675 86174 225942 | 2147483647 87421 39 | 0.162 % |
31.42/31.46 c | 88018 | 675 86174 225942 | 2147483647 88017 39 | 0.162 % |
31.82/31.91 c | 88676 | 675 86174 225942 | 2147483647 88675 39 | 0.148 % |
32.32/32.40 c | 89397 | 675 86174 225942 | 2147483647 89396 39 | 0.162 % |
32.92/32.93 c | 90190 | 675 86174 225942 | 2147483647 90189 39 | 0.162 % |
33.52/33.54 c | 91062 | 675 86174 225942 | 2147483647 91061 39 | 0.162 % |
34.12/34.22 c | 92023 | 675 86174 225942 | 2147483647 92022 39 | 0.148 % |
34.92/34.99 c | 93076 | 675 86174 225942 | 2147483647 93075 40 | 0.148 % |
35.02/35.07 c | 93176 | 675 86174 225942 | 2147483647 93175 40 | 0.148 % |
35.12/35.15 c | 93287 | 675 86174 225942 | 2147483647 93286 40 | 0.148 % |
35.22/35.25 c | 93408 | 675 86174 225942 | 2147483647 93407 40 | 0.148 % |
35.33/35.35 c | 93542 | 675 86174 225942 | 2147483647 93541 40 | 0.163 % |
35.42/35.49 c | 93688 | 675 86174 225942 | 2147483647 93687 40 | 0.148 % |
35.52/35.60 c | 93849 | 675 86174 225942 | 2147483647 93848 40 | 0.148 % |
35.72/35.75 c | 94028 | 675 86174 225942 | 2147483647 94027 40 | 0.162 % |
35.82/35.89 c | 94223 | 675 86174 225942 | 2147483647 94222 40 | 0.148 % |
36.02/36.04 c | 94436 | 675 86174 225942 | 2147483647 94435 40 | 0.163 % |
36.22/36.22 c | 94671 | 675 86174 225942 | 2147483647 94670 40 | 0.163 % |
36.32/36.41 c | 94929 | 675 86174 225942 | 2147483647 94928 40 | 0.163 % |
36.62/36.61 c | 95211 | 675 86174 225942 | 2147483647 95210 40 | 0.163 % |
36.82/36.85 c | 95524 | 675 86174 225942 | 2147483647 95523 40 | 0.163 % |
37.02/37.08 c | 95863 | 675 86174 225942 | 2147483647 95862 40 | 0.148 % |
37.32/37.36 c | 96239 | 675 86174 225942 | 2147483647 96238 40 | 0.148 % |
37.62/37.64 c | 96648 | 675 86174 225942 | 2147483647 96647 40 | 0.162 % |
37.92/37.98 c | 97099 | 675 86174 225942 | 2147483647 97098 40 | 0.162 % |
38.32/38.36 c | 97593 | 675 86174 225942 | 2147483647 97592 40 | 0.148 % |
38.63/38.68 c | 98135 | 675 86174 225942 | 2147483647 98134 40 | 0.148 % |
39.12/39.12 c | 98731 | 675 86174 225942 | 2147483647 98730 40 | 0.162 % |
39.62/39.62 c | 99386 | 675 86174 225942 | 2147483647 99385 40 | 0.162 % |
40.12/40.16 c | 100107 | 675 86174 225942 | 2147483647 100106 40 | 0.162 % |
40.83/40.83 c | 100900 | 675 86174 225942 | 2147483647 100899 40 | 0.162 % |
41.42/41.50 c | 101771 | 675 86174 225942 | 2147483647 101770 40 | 0.163 % |
42.22/42.24 c | 102732 | 675 86174 225942 | 2147483647 102731 40 | 0.163 % |
43.03/43.07 c | 103788 | 675 86174 225942 | 2147483647 103787 40 | 0.163 % |
43.83/43.88 c | 104949 | 675 86174 225942 | 2147483647 104948 40 | 0.162 % |
43.93/43.96 c | 105055 | 675 86174 225942 | 2147483647 105054 40 | 0.162 % |
44.03/44.05 c | 105165 | 675 86174 225942 | 2147483647 105164 40 | 0.148 % |
44.13/44.15 c | 105286 | 675 86174 225942 | 2147483647 105285 40 | 0.148 % |
44.23/44.27 c | 105423 | 675 86174 225942 | 2147483647 105422 40 | 0.162 % |
44.33/44.40 c | 105569 | 675 86174 225942 | 2147483647 105568 40 | 0.162 % |
44.43/44.51 c | 105729 | 675 86174 225942 | 2147483647 105728 40 | 0.148 % |
44.63/44.66 c | 105905 | 675 86174 225942 | 2147483647 105904 40 | 0.163 % |
44.73/44.81 c | 106099 | 675 86174 225942 | 2147483647 106098 40 | 0.163 % |
44.93/44.98 c | 106311 | 675 86174 225942 | 2147483647 106310 40 | 0.148 % |
45.13/45.17 c | 106544 | 675 86174 225942 | 2147483647 106543 40 | 0.163 % |
45.33/45.40 c | 106800 | 675 86174 225942 | 2147483647 106799 40 | 0.148 % |
45.63/45.65 c | 107081 | 675 86174 225942 | 2147483647 107080 40 | 0.148 % |
45.83/45.91 c | 107390 | 675 86174 225942 | 2147483647 107389 40 | 0.148 % |
46.23/46.25 c | 107730 | 675 86174 225942 | 2147483647 107729 40 | 0.162 % |
46.53/46.56 c | 108105 | 675 86174 225942 | 2147483647 108104 40 | 0.162 % |
46.93/46.92 c | 108515 | 675 86174 225942 | 2147483647 108514 40 | 0.162 % |
47.13/47.21 c | 108964 | 675 86174 225942 | 2147483647 108963 40 | 0.148 % |
47.63/47.65 c | 109459 | 675 86174 225942 | 2147483647 109458 40 | 0.162 % |
48.03/48.07 c | 110003 | 675 86174 225942 | 2147483647 110002 40 | 0.162 % |
48.63/48.65 c | 110600 | 675 86174 225942 | 2147483647 110599 40 | 0.148 % |
49.33/49.38 c | 111255 | 675 86174 225942 | 2147483647 111254 40 | 0.162 % |
50.03/50.10 c | 111977 | 675 86174 225942 | 2147483647 111976 40 | 0.162 % |
50.73/50.75 c | 112771 | 675 86174 225942 | 2147483647 112770 40 | 0.148 % |
51.53/51.55 c | 113643 | 675 86174 225942 | 2147483647 113642 40 | 0.162 % |
52.33/52.39 c | 114604 | 675 86174 225942 | 2147483647 114603 40 | 0.162 % |
53.33/53.36 c | 115657 | 675 86174 225942 | 2147483647 115656 40 | 0.163 % |
54.33/54.36 c | 116817 | 675 86174 225942 | 2147483647 116816 40 | 0.148 % |
55.53/55.56 c | 118092 | 675 86174 225942 | 2147483647 118091 40 | 0.163 % |
55.63/55.68 c | 118193 | 675 86174 225942 | 2147483647 118192 40 | 0.148 % |
55.73/55.78 c | 118305 | 675 86174 225942 | 2147483647 118304 40 | 0.148 % |
55.83/55.88 c | 118426 | 675 86174 225942 | 2147483647 118425 40 | 0.162 % |
55.93/56.02 c | 118560 | 675 86174 225942 | 2147483647 118559 40 | 0.162 % |
56.13/56.14 c | 118706 | 675 86174 225942 | 2147483647 118705 40 | 0.148 % |
56.23/56.30 c | 118866 | 675 86174 225942 | 2147483647 118865 40 | 0.162 % |
56.43/56.45 c | 119042 | 675 86174 225942 | 2147483647 119041 40 | 0.162 % |
56.53/56.60 c | 119236 | 675 86174 225942 | 2147483647 119235 40 | 0.148 % |
56.73/56.75 c | 119449 | 675 86174 225942 | 2147483647 119448 40 | 0.161 % |
56.93/56.96 c | 119684 | 675 86174 225942 | 2147483647 119683 40 | 0.162 % |
57.13/57.18 c | 119942 | 675 86174 225942 | 2147483647 119941 40 | 0.162 % |
57.43/57.44 c | 120225 | 675 86174 225942 | 119999 120224 40 | 0.162 % |
57.83/57.83 c | 120539 | 675 86174 225942 | 119999 104747 40 | 0.162 % |
58.03/58.11 c | 120880 | 675 86174 225942 | 119999 105088 40 | 0.148 % |
58.43/58.43 c | 121254 | 675 86174 225942 | 119999 105462 40 | 0.148 % |
58.73/58.74 c | 121668 | 675 86174 225942 | 119999 105876 40 | 0.162 % |
59.13/59.15 c | 122117 | 675 86174 225942 | 119999 106325 40 | 0.162 % |
59.63/59.63 c | 122610 | 675 86174 225942 | 119999 106818 40 | 0.162 % |
60.03/60.07 c | 123153 | 675 86174 225942 | 119999 107361 40 | 0.148 % |
60.53/60.56 c | 123749 | 675 86174 225942 | 119999 107957 40 | 0.163 % |
61.13/61.12 c | 124406 | 675 86174 225942 | 119999 108614 40 | 0.163 % |
61.63/61.65 c | 125128 | 675 86174 225942 | 119999 109336 39 | 0.163 % |
62.23/62.28 c | 125920 | 675 86174 225942 | 119999 110128 39 | 0.163 % |
63.03/63.04 c | 126794 | 675 86174 225942 | 119999 111002 39 | 0.163 % |
63.83/63.86 c | 127755 | 675 86174 225942 | 119999 111963 39 | 0.162 % |
64.73/64.75 c | 128809 | 675 86174 225942 | 119999 113017 39 | 0.162 % |
65.73/65.76 c | 129967 | 675 86174 225942 | 119999 114175 39 | 0.163 % |
66.93/67.01 c | 131244 | 675 86174 225942 | 114209 101204 39 | 0.162 % |
68.23/68.31 c | 132647 | 675 86174 225942 | 114209 102607 39 | 0.162 % |
68.33/68.41 c | 132747 | 675 86174 225942 | 114209 102707 39 | 0.162 % |
68.43/68.51 c | 132858 | 675 86174 225942 | 114209 102818 39 | 0.163 % |
68.63/68.62 c | 132982 | 675 86174 225942 | 114209 102942 39 | 0.163 % |
68.73/68.72 c | 133117 | 675 86174 225942 | 114209 103077 39 | 0.162 % |
68.83/68.85 c | 133266 | 675 86174 225942 | 114209 103226 39 | 0.163 % |
68.93/68.99 c | 133427 | 675 86174 225942 | 114209 103387 39 | 0.163 % |
69.13/69.16 c | 133603 | 675 86174 225942 | 114209 103563 39 | 0.163 % |
69.33/69.33 c | 133796 | 675 86174 225942 | 114209 103756 39 | 0.163 % |
69.53/69.54 c | 134016 | 675 86174 225942 | 114209 103976 39 | 0.163 % |
69.73/69.74 c | 134249 | 675 86174 225942 | 114209 104209 39 | 0.148 % |
69.93/69.98 c | 134507 | 675 86174 225942 | 114209 104467 39 | 0.162 % |
70.13/70.20 c | 134789 | 675 86174 225942 | 114209 104749 39 | 0.148 % |
70.43/70.46 c | 135098 | 675 86174 225942 | 114209 105058 39 | 0.162 % |
70.73/70.74 c | 135438 | 675 86174 225942 | 114209 105398 39 | 0.148 % |
71.13/71.12 c | 135811 | 675 86174 225942 | 114209 105771 39 | 0.161 % |
71.43/71.50 c | 136222 | 675 86174 225942 | 114209 106182 39 | 0.161 % |
71.83/71.89 c | 136672 | 675 86174 225942 | 114209 106632 39 | 0.161 % |
72.23/72.30 c | 137166 | 675 86174 225942 | 114209 107126 39 | 0.161 % |
72.73/72.81 c | 137709 | 675 86174 225942 | 114209 107669 39 | 0.162 % |
73.23/73.26 c | 138306 | 675 86174 225942 | 114209 108266 39 | 0.162 % |
73.83/73.87 c | 138963 | 675 86174 225942 | 114209 108923 39 | 0.164 % |
74.43/74.51 c | 139685 | 675 86174 225942 | 114209 109645 39 | 0.163 % |
75.33/75.34 c | 140478 | 675 86174 225942 | 109962 96860 38 | 0.163 % |
76.03/76.06 c | 141349 | 675 86174 225942 | 109962 97731 38 | 0.162 % |
76.83/76.87 c | 142308 | 675 86174 225942 | 109962 98690 38 | 0.164 % |
77.63/77.69 c | 143362 | 675 86174 225942 | 109962 99744 38 | 0.164 % |
78.63/78.66 c | 144521 | 675 86174 225942 | 109962 100903 38 | 0.164 % |
79.63/79.72 c | 145794 | 675 86174 225942 | 109962 102176 39 | 0.148 % |
80.93/80.94 c | 147194 | 675 86174 225942 | 109962 103576 39 | 0.162 % |
82.23/82.28 c | 148736 | 675 86174 225942 | 109962 105118 39 | 0.162 % |
82.33/82.36 c | 148838 | 675 86174 225942 | 109962 105220 39 | 0.162 % |
82.43/82.45 c | 148948 | 675 86174 225942 | 109962 105330 39 | 0.162 % |
82.53/82.57 c | 149070 | 675 86174 225942 | 109962 105452 39 | 0.162 % |
82.63/82.70 c | 149205 | 675 86174 225942 | 109962 105587 39 | 0.148 % |
82.83/82.83 c | 149351 | 675 86174 225942 | 109962 105733 39 | 0.148 % |
82.93/82.98 c | 149511 | 675 86174 225942 | 109962 105893 39 | 0.162 % |
83.03/83.10 c | 149690 | 675 86174 225942 | 109962 106072 39 | 0.148 % |
83.23/83.23 c | 149884 | 675 86174 225942 | 109962 106266 39 | 0.162 % |
83.33/83.40 c | 150096 | 675 86174 225942 | 106384 106478 39 | 0.163 % |
83.63/83.71 c | 150329 | 675 86174 225942 | 106384 93786 39 | 0.148 % |
83.93/83.96 c | 150586 | 675 86174 225942 | 106384 94043 39 | 0.162 % |
84.13/84.19 c | 150867 | 675 86174 225942 | 106384 94324 39 | 0.148 % |
84.43/84.44 c | 151176 | 675 86174 225942 | 106384 94633 39 | 0.148 % |
84.73/84.73 c | 151517 | 675 86174 225942 | 106384 94974 39 | 0.148 % |
85.03/85.05 c | 151891 | 675 86174 225942 | 106384 95348 39 | 0.148 % |
85.33/85.41 c | 152301 | 675 86174 225942 | 106384 95758 39 | 0.148 % |
85.83/85.84 c | 152750 | 675 86174 225942 | 106384 96207 39 | 0.162 % |
86.23/86.27 c | 153244 | 675 86174 225942 | 106384 96701 39 | 0.162 % |
86.73/86.76 c | 153787 | 675 86174 225942 | 106384 97244 39 | 0.148 % |
87.13/87.20 c | 154384 | 675 86174 225942 | 106384 97841 39 | 0.162 % |
87.73/87.72 c | 155039 | 675 86174 225942 | 106384 98496 39 | 0.162 % |
88.23/88.30 c | 155761 | 675 86174 225942 | 106384 99218 39 | 0.148 % |
89.03/89.02 c | 156554 | 675 86174 225942 | 106384 100011 39 | 0.148 % |
89.83/89.83 c | 157425 | 675 86174 225942 | 106384 100882 40 | 0.148 % |
90.73/90.76 c | 158384 | 675 86174 225942 | 106384 101841 40 | 0.162 % |
91.63/91.68 c | 159438 | 675 86174 225942 | 106384 102895 40 | 0.162 % |
92.73/92.73 c | 160597 | 675 86174 225942 | 103459 91001 39 | 0.162 % |
93.73/93.79 c | 161871 | 675 86174 225942 | 103459 92275 39 | 0.148 % |
94.93/94.99 c | 163272 | 675 86174 225942 | 103459 93676 39 | 0.148 % |
96.33/96.38 c | 164813 | 675 86174 225942 | 103459 95217 39 | 0.162 % |
97.93/97.94 c | 166507 | 675 86174 225942 | 103459 96911 39 | 0.148 % |
98.03/98.04 c | 166607 | 675 86174 225942 | 103459 97011 39 | 0.148 % |
98.13/98.15 c | 166718 | 675 86174 225942 | 103459 97122 39 | 0.148 % |
98.23/98.28 c | 166840 | 675 86174 225942 | 103459 97244 39 | 0.162 % |
98.33/98.41 c | 166973 | 675 86174 225942 | 103459 97377 39 | 0.162 % |
98.43/98.50 c | 167121 | 675 86174 225942 | 103459 97525 39 | 0.162 % |
98.63/98.62 c | 167282 | 675 86174 225942 | 103459 97686 39 | 0.162 % |
98.73/98.74 c | 167460 | 675 86174 225942 | 103459 97864 39 | 0.162 % |
98.83/98.91 c | 167653 | 675 86174 225942 | 103459 98057 39 | 0.161 % |
99.03/99.10 c | 167865 | 675 86174 225942 | 103459 98269 39 | 0.162 % |
99.23/99.28 c | 168098 | 675 86174 225942 | 103459 98502 39 | 0.163 % |
99.43/99.47 c | 168355 | 675 86174 225942 | 103459 98759 39 | 0.148 % |
99.63/99.66 c | 168636 | 675 86174 225942 | 103459 99040 39 | 0.148 % |
99.93/99.93 c | 168945 | 675 86174 225942 | 103459 99349 39 | 0.163 % |
100.23/100.26 c | 169285 | 675 86174 225942 | 103459 99689 39 | 0.162 % |
100.53/100.58 c | 169658 | 675 86174 225942 | 103459 100062 39 | 0.162 % |
100.93/100.94 c | 170068 | 675 86174 225942 | 100406 100472 39 | 0.164 % |
101.33/101.37 c | 170519 | 675 86174 225942 | 100406 88190 38 | 0.148 % |
101.73/101.72 c | 171015 | 675 86174 225942 | 100406 88686 38 | 0.148 % |
102.23/102.24 c | 171558 | 675 86174 225942 | 100406 89229 38 | 0.148 % |
102.63/102.68 c | 172154 | 675 86174 225942 | 100406 89825 39 | 0.148 % |
103.13/103.19 c | 172810 | 675 86174 225942 | 100406 90481 39 | 0.162 % |
103.73/103.77 c | 173531 | 675 86174 225942 | 100406 91202 39 | 0.161 % |
104.33/104.39 c | 174323 | 675 86174 225942 | 100406 91994 39 | 0.148 % |
105.03/105.09 c | 175194 | 675 86174 225942 | 100406 92865 39 | 0.148 % |
105.83/105.87 c | 176153 | 675 86174 225942 | 100406 93824 39 | 0.162 % |
106.53/106.61 c | 177207 | 675 86174 225942 | 100406 94878 39 | 0.162 % |
107.73/107.76 c | 178369 | 675 86174 225942 | 100406 96040 39 | 0.148 % |
108.83/108.89 c | 179644 | 675 86174 225942 | 100406 97315 39 | 0.163 % |
110.13/110.17 c | 181044 | 675 86174 225942 | 97673 87056 38 | 0.148 % |
111.23/111.30 c | 182585 | 675 86174 225942 | 97673 88597 39 | 0.148 % |
112.73/112.76 c | 184285 | 675 86174 225942 | 97673 90297 40 | 0.148 % |
114.23/114.32 c | 186148 | 675 86174 225942 | 97673 92160 40 | 0.162 % |
114.43/114.42 c | 186249 | 675 86174 225942 | 97673 92261 40 | 0.162 % |
114.43/114.49 c | 186360 | 675 86174 225942 | 97673 92372 40 | 0.162 % |
114.54/114.56 c | 186481 | 675 86174 225942 | 97673 92493 40 | 0.162 % |
114.63/114.70 c | 186618 | 675 86174 225942 | 97673 92630 40 | 0.162 % |
114.83/114.84 c | 186766 | 675 86174 225942 | 97673 92778 40 | 0.148 % |
114.93/114.99 c | 186931 | 675 86174 225942 | 97673 92943 40 | 0.162 % |
115.13/115.16 c | 187107 | 675 86174 225942 | 97673 93119 40 | 0.163 % |
115.33/115.34 c | 187301 | 675 86174 225942 | 97673 93313 40 | 0.164 % |
115.43/115.49 c | 187513 | 675 86174 225942 | 97673 93525 40 | 0.164 % |
115.73/115.73 c | 187747 | 675 86174 225942 | 97673 93759 40 | 0.148 % |
115.93/115.99 c | 188005 | 675 86174 225942 | 97673 94017 40 | 0.173 % |
116.23/116.22 c | 188287 | 675 86174 225942 | 97673 94299 40 | 0.148 % |
116.43/116.46 c | 188597 | 675 86174 225942 | 97673 94609 40 | 0.148 % |
116.74/116.79 c | 188937 | 675 86174 225942 | 97673 94949 40 | 0.148 % |
117.13/117.14 c | 189311 | 675 86174 225942 | 97673 95323 40 | 0.148 % |
117.53/117.57 c | 189720 | 675 86174 225942 | 97673 95732 40 | 0.163 % |
117.93/118.00 c | 190169 | 675 86174 225942 | 96013 96181 40 | 0.163 % |
118.53/118.57 c | 190667 | 675 86174 225942 | 96013 85251 40 | 0.148 % |
119.03/119.10 c | 191209 | 675 86174 225942 | 96013 85793 40 | 0.162 % |
119.53/119.61 c | 191805 | 675 86174 225942 | 96013 86389 40 | 0.163 % |
120.13/120.14 c | 192460 | 675 86174 225942 | 96013 87044 40 | 0.163 % |
120.63/120.69 c | 193180 | 675 86174 225942 | 96013 87764 40 | 0.163 % |
121.43/121.42 c | 193972 | 675 86174 225942 | 96013 88556 40 | 0.162 % |
122.13/122.14 c | 194843 | 675 86174 225942 | 96013 89427 40 | 0.163 % |
122.93/122.93 c | 195803 | 675 86174 225942 | 96013 90387 40 | 0.148 % |
123.83/123.85 c | 196856 | 675 86174 225942 | 96013 91440 40 | 0.163 % |
124.73/124.82 c | 198018 | 675 86174 225942 | 96013 92602 40 | 0.163 % |
125.73/125.77 c | 199291 | 675 86174 225942 | 96013 93875 40 | 0.148 % |
127.23/127.22 c | 200691 | 675 86174 225942 | 94585 82335 41 | 0.162 % |
128.52/128.52 c | 202232 | 675 86174 225942 | 94585 83876 41 | 0.162 % |
129.93/129.97 c | 203928 | 675 86174 225942 | 94585 85572 41 | 0.162 % |
131.32/131.39 c | 205792 | 675 86174 225942 | 94585 87436 41 | 0.162 % |
133.23/133.30 c | 207843 | 675 86174 225942 | 94585 89487 41 | 0.162 % |
133.32/133.40 c | 207943 | 675 86174 225942 | 94585 89587 41 | 0.162 % |
133.42/133.50 c | 208055 | 675 86174 225942 | 94585 89699 41 | 0.162 % |
133.52/133.59 c | 208177 | 675 86174 225942 | 94585 89821 41 | 0.148 % |
133.62/133.69 c | 208310 | 675 86174 225942 | 94585 89954 41 | 0.148 % |
133.82/133.82 c | 208464 | 675 86174 225942 | 94585 90108 41 | 0.162 % |
133.92/133.94 c | 208625 | 675 86174 225942 | 94585 90269 41 | 0.162 % |
134.02/134.08 c | 208803 | 675 86174 225942 | 94585 90447 41 | 0.162 % |
134.22/134.24 c | 208998 | 675 86174 225942 | 94585 90642 41 | 0.162 % |
134.42/134.43 c | 209210 | 675 86174 225942 | 94585 90854 41 | 0.162 % |
134.62/134.69 c | 209443 | 675 86174 225942 | 94585 91087 41 | 0.162 % |
134.92/135.00 c | 209700 | 675 86174 225942 | 94585 91344 41 | 0.162 % |
135.22/135.29 c | 209981 | 675 86174 225942 | 94585 91625 41 | 0.163 % |
135.52/135.60 c | 210290 | 675 86174 225942 | 91645 91934 40 | 0.163 % |
136.02/136.02 c | 210631 | 675 86174 225942 | 91645 79741 41 | 0.162 % |
136.32/136.36 c | 211003 | 675 86174 225942 | 91645 80113 41 | 0.162 % |
136.62/136.70 c | 211415 | 675 86174 225942 | 91645 80525 42 | 0.148 % |
137.02/137.07 c | 211865 | 675 86174 225942 | 91645 80975 42 | 0.148 % |
137.52/137.53 c | 212360 | 675 86174 225942 | 91645 81470 41 | 0.148 % |
138.02/138.03 c | 212903 | 675 86174 225942 | 91645 82013 41 | 0.163 % |
138.62/138.66 c | 213499 | 675 86174 225942 | 91645 82609 41 | 0.162 % |
139.22/139.21 c | 214155 | 675 86174 225942 | 91645 83265 41 | 0.162 % |
139.72/139.79 c | 214877 | 675 86174 225942 | 91645 83987 41 | 0.162 % |
140.42/140.48 c | 215670 | 675 86174 225942 | 91645 84780 41 | 0.162 % |
141.22/141.22 c | 216541 | 675 86174 225942 | 91645 85651 41 | 0.162 % |
141.92/141.98 c | 217500 | 675 86174 225942 | 91645 86610 41 | 0.148 % |
142.82/142.84 c | 218554 | 675 86174 225942 | 91645 87664 42 | 0.148 % |
143.92/143.95 c | 219712 | 675 86174 225942 | 91645 88822 42 | 0.148 % |
145.12/145.13 c | 220986 | 675 86174 225942 | 89110 77394 42 | 0.148 % |
146.32/146.36 c | 222386 | 675 86174 225942 | 89110 78794 42 | 0.162 % |
147.53/147.58 c | 223928 | 675 86174 225942 | 89110 80336 42 | 0.162 % |
149.02/149.06 c | 225623 | 675 86174 225942 | 89110 82031 42 | 0.163 % |
150.72/150.79 c | 227487 | 675 86174 225942 | 89110 83895 42 | 0.163 % |
152.52/152.60 c | 229540 | 675 86174 225942 | 89110 85948 42 | 0.163 % |
154.72/154.76 c | 231794 | 675 86174 225942 | 86408 76039 42 | 0.148 % |
154.82/154.86 c | 231899 | 675 86174 225942 | 86408 76144 42 | 0.164 % |
154.92/155.00 c | 232009 | 675 86174 225942 | 86408 76254 42 | 0.162 % |
155.12/155.12 c | 232130 | 675 86174 225942 | 86408 76375 42 | 0.148 % |
155.23/155.22 c | 232268 | 675 86174 225942 | 86408 76513 42 | 0.162 % |
155.32/155.36 c | 232414 | 675 86174 225942 | 86408 76659 42 | 0.162 % |
155.52/155.51 c | 232575 | 675 86174 225942 | 86408 76820 42 | 0.162 % |
155.62/155.70 c | 232752 | 675 86174 225942 | 86408 76997 42 | 0.148 % |
155.82/155.88 c | 232945 | 675 86174 225942 | 86408 77190 42 | 0.148 % |
156.02/156.05 c | 233161 | 675 86174 225942 | 86408 77406 42 | 0.162 % |
156.22/156.27 c | 233397 | 675 86174 225942 | 86408 77642 42 | 0.162 % |
156.42/156.49 c | 233655 | 675 86174 225942 | 86408 77900 42 | 0.163 % |
156.72/156.74 c | 233937 | 675 86174 225942 | 86408 78182 42 | 0.163 % |
157.02/157.03 c | 234251 | 675 86174 225942 | 86408 78496 42 | 0.148 % |
157.32/157.37 c | 234592 | 675 86174 225942 | 86408 78837 42 | 0.148 % |
157.62/157.66 c | 234965 | 675 86174 225942 | 86408 79210 42 | 0.148 % |
158.02/158.05 c | 235375 | 675 86174 225942 | 86408 79620 42 | 0.162 % |
158.42/158.46 c | 235824 | 675 86174 225942 | 86408 80069 42 | 0.148 % |
158.92/158.95 c | 236317 | 675 86174 225942 | 86408 80562 42 | 0.162 % |
159.42/159.46 c | 236862 | 675 86174 225942 | 86408 81107 42 | 0.162 % |
159.92/159.93 c | 237458 | 675 86174 225942 | 86408 81703 42 | 0.148 % |
160.62/160.62 c | 238116 | 675 86174 225942 | 86408 82361 42 | 0.162 % |
161.22/161.29 c | 238837 | 675 86174 225942 | 86408 83082 42 | 0.163 % |
161.92/161.94 c | 239631 | 675 86174 225942 | 86408 83876 42 | 0.163 % |
162.72/162.79 c | 240503 | 675 86174 225942 | 84246 72346 40 | 0.163 % |
163.62/163.60 c | 241461 | 675 86174 225942 | 84246 73304 41 | 0.148 % |
164.52/164.53 c | 242516 | 675 86174 225942 | 84246 74359 40 | 0.162 % |
165.32/165.37 c | 243675 | 675 86174 225942 | 84246 75518 41 | 0.148 % |
166.52/166.54 c | 244948 | 675 86174 225942 | 84246 76791 41 | 0.148 % |
167.82/167.87 c | 246352 | 675 86174 225942 | 84246 78195 41 | 0.163 % |
169.43/169.49 c | 247892 | 675 86174 225942 | 84246 79735 41 | 0.163 % |
171.13/171.13 c | 249588 | 675 86174 225942 | 84246 81431 41 | 0.163 % |
172.93/172.98 c | 251451 | 675 86174 225942 | 81845 71222 41 | 0.148 % |
174.93/174.94 c | 253504 | 675 86174 225942 | 81845 73275 41 | 0.148 % |
177.03/177.05 c | 255757 | 675 86174 225942 | 81845 75528 41 | 0.148 % |
179.43/179.49 c | 258241 | 675 86174 225942 | 81845 78012 41 | 0.163 % |
179.63/179.62 c | 258341 | 675 86174 225942 | 81845 78112 41 | 0.163 % |
179.73/179.74 c | 258453 | 675 86174 225942 | 81845 78224 41 | 0.163 % |
179.83/179.87 c | 258574 | 675 86174 225942 | 81845 78345 41 | 0.163 % |
180.03/180.04 c | 258707 | 675 86174 225942 | 81845 78478 41 | 0.148 % |
180.13/180.15 c | 258853 | 675 86174 225942 | 81845 78624 41 | 0.148 % |
180.23/180.28 c | 259014 | 675 86174 225942 | 81845 78785 41 | 0.149 % |
180.43/180.47 c | 259194 | 675 86174 225942 | 81845 78965 41 | 0.148 % |
180.63/180.64 c | 259389 | 675 86174 225942 | 81845 79160 41 | 0.162 % |
180.83/180.88 c | 259604 | 675 86174 225942 | 81845 79375 41 | 0.164 % |
181.03/181.10 c | 259837 | 675 86174 225942 | 81845 79608 41 | 0.148 % |
181.33/181.33 c | 260093 | 675 86174 225942 | 79772 79864 41 | 0.163 % |
181.63/181.70 c | 260375 | 675 86174 225942 | 79772 68152 41 | 0.148 % |
181.93/182.00 c | 260686 | 675 86174 225942 | 79772 68463 41 | 0.148 % |
182.23/182.30 c | 261027 | 675 86174 225942 | 79772 68804 42 | 0.162 % |
182.63/182.62 c | 261403 | 675 86174 225942 | 79772 69180 42 | 0.148 % |
183.03/183.03 c | 261815 | 675 86174 225942 | 79772 69592 42 | 0.148 % |
183.43/183.47 c | 262266 | 675 86174 225942 | 79772 70043 42 | 0.148 % |
183.93/183.92 c | 262763 | 675 86174 225942 | 79772 70540 42 | 0.162 % |
184.33/184.40 c | 263305 | 675 86174 225942 | 79772 71082 42 | 0.162 % |
184.83/184.91 c | 263901 | 675 86174 225942 | 79772 71678 42 | 0.162 % |
185.43/185.47 c | 264557 | 675 86174 225942 | 79772 72334 42 | 0.163 % |
186.13/186.17 c | 265278 | 675 86174 225942 | 79772 73055 42 | 0.148 % |
186.93/186.92 c | 266076 | 675 86174 225942 | 79772 73853 42 | 0.162 % |
187.73/187.75 c | 266950 | 675 86174 225942 | 79772 74727 42 | 0.148 % |
188.63/188.68 c | 267908 | 675 86174 225942 | 79772 75685 42 | 0.148 % |
189.73/189.73 c | 268961 | 675 86174 225942 | 79772 76738 42 | 0.162 % |
190.73/190.81 c | 270119 | 675 86174 225942 | 77777 77896 42 | 0.162 % |
192.03/192.02 c | 271394 | 675 86174 225942 | 77777 68053 42 | 0.148 % |
193.23/193.27 c | 272796 | 675 86174 225942 | 77777 69455 41 | 0.162 % |
194.73/194.79 c | 274339 | 675 86174 225942 | 77777 70998 42 | 0.162 % |
196.23/196.24 c | 276034 | 675 86174 225942 | 77777 72693 41 | 0.163 % |
197.93/197.94 c | 277897 | 675 86174 225942 | 77777 74556 42 | 0.148 % |
199.83/199.87 c | 279946 | 675 86174 225942 | 77777 76605 42 | 0.162 % |
201.93/202.01 c | 282202 | 675 86174 225942 | 76659 67710 41 | 0.162 % |
204.23/204.26 c | 284680 | 675 86174 225942 | 76659 70188 41 | 0.148 % |
206.93/206.94 c | 287406 | 675 86174 225942 | 76659 72914 41 | 0.164 % |
207.03/207.05 c | 287510 | 675 86174 225942 | 76659 73018 41 | 0.163 % |
207.13/207.21 c | 287621 | 675 86174 225942 | 76659 73129 41 | 0.148 % |
207.33/207.36 c | 287745 | 675 86174 225942 | 76659 73253 41 | 0.148 % |
207.43/207.48 c | 287880 | 675 86174 225942 | 76659 73388 41 | 0.162 % |
207.63/207.65 c | 288029 | 675 86174 225942 | 76659 73537 41 | 0.162 % |
207.83/207.82 c | 288190 | 675 86174 225942 | 76659 73698 41 | 0.148 % |
207.93/207.99 c | 288369 | 675 86174 225942 | 76659 73877 41 | 0.148 % |
208.13/208.19 c | 288563 | 675 86174 225942 | 76659 74071 41 | 0.163 % |
208.33/208.39 c | 288775 | 675 86174 225942 | 76659 74283 41 | 0.148 % |
208.63/208.63 c | 289009 | 675 86174 225942 | 76659 74517 41 | 0.148 % |
208.83/208.90 c | 289267 | 675 86174 225942 | 76659 74775 41 | 0.149 % |
209.13/209.16 c | 289549 | 675 86174 225942 | 76659 75057 41 | 0.148 % |
209.43/209.47 c | 289862 | 675 86174 225942 | 76659 75370 41 | 0.148 % |
209.93/209.98 c | 290202 | 675 86174 225942 | 75511 64131 41 | 0.148 % |
210.33/210.33 c | 290578 | 675 86174 225942 | 75511 64507 41 | 0.148 % |
210.63/210.68 c | 290989 | 675 86174 225942 | 75511 64918 41 | 0.148 % |
211.13/211.11 c | 291440 | 675 86174 225942 | 75511 65369 41 | 0.148 % |
211.53/211.60 c | 291934 | 675 86174 225942 | 75511 65863 41 | 0.148 % |
212.03/212.07 c | 292477 | 675 86174 225942 | 75511 66406 41 | 0.148 % |
212.63/212.62 c | 293073 | 675 86174 225942 | 75511 67002 41 | 0.163 % |
213.23/213.22 c | 293733 | 675 86174 225942 | 75511 67662 41 | 0.148 % |
213.83/213.90 c | 294456 | 675 86174 225942 | 75511 68385 41 | 0.148 % |
214.63/214.66 c | 295252 | 675 86174 225942 | 75511 69181 41 | 0.162 % |
215.43/215.50 c | 296123 | 675 86174 225942 | 75511 70052 41 | 0.162 % |
216.23/216.30 c | 297084 | 675 86174 225942 | 75511 71013 41 | 0.148 % |
217.33/217.38 c | 298139 | 675 86174 225942 | 75511 72068 42 | 0.148 % |
218.63/218.62 c | 299299 | 675 86174 225942 | 75511 73228 41 | 0.163 % |
219.03/219.09 c ===============================================================================
219.03/219.09 c restarts : 695
219.03/219.09 c conflicts : 299748 (1369 /sec)
219.03/219.09 c decisions : 581896 (1.11 % random) (2658 /sec)
219.03/219.09 c propagations : 34213049 (156260 /sec)
219.03/219.09 c conflict literals : 12733641 (42.51 % deleted)
219.03/219.09 c Memory used : 28.64 MB
219.03/219.09 c CPU time : 218.95 s
219.03/219.09 c
219.03/219.09 s SATISFIABLE
219.03/219.09 s SATISFIABLE
219.03/219.09 v -1 -2 -3 -4 -5 -6 -7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 21 -22 -23 -24 -25 -26 -27 -28 -29 -30 -31 -32 -33 -34 -35 -36 37 -38 -39 -40 -41 -42 -43 -44 -45 -46 -47 -48 -49 -50 -51 -52 -53 -54 -55 -56 -57 -58 -59 -60 -61 -62 -63 -64 -65 -66 -67 -68 -69 -70 -71 72 -73 -74 -75 -76 -77 -78 -79 -80 -81 -82 -83 -84 -85 -86 87 -88 -89 -90 -91 -92 -93 -94 -95 -96 -97 -98 -99 -100 -101 -102 -103 -104 -105 -106 -107 -108 -109 -110 -111 -112 -113 -114 -115 -116 -117 118 -119 -120 -121 -122 -123 -124 -125 -126 -127 -128 -129 -130 -131 -132 -133 -134 -135 -136 -137 -138 -139 -140 -141 142 -143 -144 -145 -146 -147 -148 -149 -150 -151 -152 -153 -154 -155 -156 -157 158 -159 -160 -161 -162 -163 -164 -165 -166 -167 -168 -169 -170 -171 -172 -173 -174 -175 -176 -177 -178 -179 -180 -181 -182 -183 -184 185 -186 -187 -188 -189 -190 -191 -192 -193 -194 -195 -196 -197 -198 -199 -200 -201 -202 -203 -204 -205 -206 -207 -208 -209 -210 -211 -212 -213 -214 -215 -216 -217 -218 -219 -220 221 -222 -223 -224 -225 -226 -227 -228 -229 -230 -231 -232 -233 -234 -235 -236 -237 -238 -239 -240 -241 -242 -243 -244 -245 -246 -247 -248 -249 250 -251 -252 -253 -254 -255 -256 -257 -258 -259 -260 -261 -262 -263 -264 -265 -266 -267 -268 -269 -270 -271 -272 -273 -274 -275 -276 277 -278 -279 -280 -281 -282 -283 -284 -285 -286 -287 -288 -289 -290 -291 -292 -293 -294 -295 -296 -297 -298 -299 -300 -301 -302 -303 -304 305 -306 -307 -308 -309 -310 -311 -312 -313 -314 -315 -316 -317 -318 -319 -320 -321 -322 -323 -324 -325 -326 -327 -328 -329 -330 -331 -332 -333 -334 -335 -336 -337 338 -339 -340 -341 -342 -343 -344 -345 -346 -347 348 -349 -350 -351 -352 -353 -354 -355 -356 -357 -358 -359 -360 -361 -362 -363 -364 -365 -366 -367 -368 369 -370 -371 -372 -373 -374 -375 -376 -377 -378 -379 -380 -381 -382 -383 -384 -385 -386 -387 -388 -389 -390 -391 -392 -393 -394 -395 -396 -397 -398 -399 -400 -401 -402 -403 -404 -405 -406 -407 -408 -409 -410 -411 -412 -413 -414 415 -416 -417 -418 -419 -420 -421 -422 -423 -424 -425 -426 -427 -428 -429 -430 -431 -432 -433 434 -435 -436 -437 -438 -439 -440 -441 -442 -443 -444 -445 -446 -447 -448 -449 450 -451 -452 -453 -454 -455 -456 -457 -458 -459 -460 -461 -462 -463 -464 -465 -466 -467 -468 -469 -470 -471 -472 -473 -474 475 -476 -477 -478 -479 -480 -481 -482 -483 -484 -485 -486 -487 -488 -489 -490 -491 -492 -493 -494 -495 -496 -497 -498 -499 -500 -501 -502 -503 -504 -505 -506 -507 -508 -509 -510 -511 -512 -513 -514 -515 516 -517 -518 -519 -520 -521 -522 -523 -524 -525 -526 -527 -528 -529 -530 -531 -532 -533 -534 -535 -536 -537 -538 -539 -540 -541 -542 -543 544 -545 -546 -547 -548 -549 -550 -551 -552 -553 -554 -555 -556 -557 -558 -559 -560 -561 -562 -563 -564 -565 -566 -567 -568 569 -570 -571 -572 573 -574 -575 -576 -577 -578 -579 -580 -581 -582 -583 -584 -585 -586 -587 -588 -589 -590 -591 -592 -593 -594 -595 -596 -597 -598 -599 -600 -601 -602 -603 604 -605 -606 -607 -608 -609 -610 -611 -612 -613 -614 -615 -616 -617 -618 -619 -620 -621 -622 -623 -624 -625 -626 -627 -628 -629 -630 -631 -632 -633 -634 -635 -636 -637 -638 639 -640 -641 -642 -643 -644 -645 -646 -647 -648 -649 -650 -651 -652 -653 654 -655 -656 -657 -658 -659 -660 -661 -662 -663 -664 -665 -666 -667 -668 -669 -670 -671 -672 -673 -674 -675 -676 0
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820620-1242459633/watcher-1820620-1242459633 -o /tmp/evaluation-result-1820620-1242459633/solver-1820620-1242459633 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820620-1242459633.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 2/97 11081
/proc/meminfo: memFree=655844/2074464 swapFree=1949244/1959888
[pid=11081] ppid=11079 vsize=2416 CPUtime=0
/proc/11081/stat : 11081 (SatELiteGTI) S 11079 11081 16367 0 -1 4194304 368 647 0 0 0 0 0 0 18 0 1 0 1010464333 2473984 277 4294967295 134512640 135169312 3220896512 3220895048 3085500142 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/11081/statm: 604 277 235 161 0 43 0
[pid=11085] ppid=11081 vsize=956 CPUtime=0
/proc/11085/stat : 11085 (SatELite_releas) R 11081 11081 16367 0 -1 4202496 141 0 0 0 0 0 0 0 18 0 1 0 1010464333 978944 77 4294967295 134512640 135223648 3212870464 3212869184 134734703 0 0 0 3 0 0 0 17 1 0 0 0
/proc/11085/statm: 272 83 46 174 0 97 0
[startup+0.107683 s]
/proc/loadavg: 1.00 1.00 1.00 2/97 11081
/proc/meminfo: memFree=655844/2074464 swapFree=1949244/1959888
[pid=11081] ppid=11079 vsize=2416 CPUtime=0
/proc/11081/stat : 11081 (SatELiteGTI) S 11079 11081 16367 0 -1 4194304 368 647 0 0 0 0 0 0 18 0 1 0 1010464333 2473984 277 4294967295 134512640 135169312 3220896512 3220895048 3085500142 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/11081/statm: 604 277 235 161 0 43 0
[pid=11085] ppid=11081 vsize=5740 CPUtime=0.11
/proc/11085/stat : 11085 (SatELite_releas) R 11081 11081 16367 0 -1 4202496 1326 0 0 0 9 2 0 0 18 0 1 0 1010464333 5877760 1262 4294967295 134512640 135223648 3212870464 3212867084 134737406 0 0 0 3 0 0 0 17 1 0 0 0
/proc/11085/statm: 1435 1262 72 174 0 1260 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 8156
[startup+0.217675 s]
/proc/loadavg: 1.00 1.00 1.00 2/97 11081
/proc/meminfo: memFree=655844/2074464 swapFree=1949244/1959888
[pid=11081] ppid=11079 vsize=2420 CPUtime=0.13
/proc/11081/stat : 11081 (SatELiteGTI) S 11079 11081 16367 0 -1 4194304 387 1975 0 0 0 0 11 2 18 0 1 0 1010464333 2478080 278 4294967295 134512640 135169312 3220896512 3220892728 3085500142 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11081/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 2420
[startup+0.317669 s]
/proc/loadavg: 1.00 1.00 1.00 2/97 11081
/proc/meminfo: memFree=655844/2074464 swapFree=1949244/1959888
[pid=11081] ppid=11079 vsize=2420 CPUtime=0.13
/proc/11081/stat : 11081 (SatELiteGTI) S 11079 11081 16367 0 -1 4194304 387 1975 0 0 0 0 11 2 18 0 1 0 1010464333 2478080 278 4294967295 134512640 135169312 3220896512 3220892728 3085500142 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11081/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 2420
[startup+0.717647 s]
/proc/loadavg: 1.00 1.00 1.00 2/97 11081
/proc/meminfo: memFree=655844/2074464 swapFree=1949244/1959888
[pid=11081] ppid=11079 vsize=2420 CPUtime=0.13
/proc/11081/stat : 11081 (SatELiteGTI) S 11079 11081 16367 0 -1 4194304 387 1975 0 0 0 0 11 2 18 0 1 0 1010464333 2478080 278 4294967295 134512640 135169312 3220896512 3220892728 3085500142 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11081/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 2420
[startup+1.5176 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 11087
/proc/meminfo: memFree=648876/2074464 swapFree=1949244/1959888
[pid=11081] ppid=11079 vsize=2420 CPUtime=0.13
/proc/11081/stat : 11081 (SatELiteGTI) S 11079 11081 16367 0 -1 4194304 387 1975 0 0 0 0 11 2 18 0 1 0 1010464333 2478080 278 4294967295 134512640 135169312 3220896512 3220892728 3085500142 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11081/statm: 605 278 235 161 0 44 0
[pid=11087] ppid=11081 vsize=7248 CPUtime=1.39
/proc/11087/stat : 11087 (minisat_static) R 11081 11081 16367 0 -1 4202496 1742 0 0 0 139 0 0 0 19 0 1 0 1010464346 7421952 1677 4294967295 134512640 135215339 3214466352 3214464640 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11087/statm: 1812 1677 73 172 0 1639 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 9668
[startup+3.11751 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 11088
/proc/meminfo: memFree=647760/2074464 swapFree=1949244/1959888
[pid=11081] ppid=11079 vsize=2420 CPUtime=0.13
/proc/11081/stat : 11081 (SatELiteGTI) S 11079 11081 16367 0 -1 4194304 387 1975 0 0 0 0 11 2 18 0 1 0 1010464333 2478080 278 4294967295 134512640 135169312 3220896512 3220892728 3085500142 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11081/statm: 605 278 235 161 0 44 0
[pid=11087] ppid=11081 vsize=8816 CPUtime=2.99
/proc/11087/stat : 11087 (minisat_static) R 11081 11081 16367 0 -1 4202496 2135 0 0 0 299 0 0 0 25 0 1 0 1010464346 9027584 2070 4294967295 134512640 135215339 3214466352 3214464640 134528908 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11087/statm: 2204 2070 73 172 0 2031 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 11236
[startup+6.31733 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 11088
/proc/meminfo: memFree=644908/2074464 swapFree=1949244/1959888
[pid=11081] ppid=11079 vsize=2420 CPUtime=0.13
/proc/11081/stat : 11081 (SatELiteGTI) S 11079 11081 16367 0 -1 4194304 387 1975 0 0 0 0 11 2 18 0 1 0 1010464333 2478080 278 4294967295 134512640 135169312 3220896512 3220892728 3085500142 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11081/statm: 605 278 235 161 0 44 0
[pid=11087] ppid=11081 vsize=11092 CPUtime=6.19
/proc/11087/stat : 11087 (minisat_static) R 11081 11081 16367 0 -1 4202496 2718 0 0 0 619 0 0 0 25 0 1 0 1010464346 11358208 2653 4294967295 134512640 135215339 3214466352 3214464640 134528721 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11087/statm: 2773 2653 73 172 0 2600 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 13512
[startup+12.717 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 11088
/proc/meminfo: memFree=641004/2074464 swapFree=1949244/1959888
[pid=11081] ppid=11079 vsize=2420 CPUtime=0.13
/proc/11081/stat : 11081 (SatELiteGTI) S 11079 11081 16367 0 -1 4194304 387 1975 0 0 0 0 11 2 18 0 1 0 1010464333 2478080 278 4294967295 134512640 135169312 3220896512 3220892728 3085500142 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11081/statm: 605 278 235 161 0 44 0
[pid=11087] ppid=11081 vsize=15000 CPUtime=12.59
/proc/11087/stat : 11087 (minisat_static) R 11081 11081 16367 0 -1 4202496 3680 0 0 0 1259 0 0 0 25 0 1 0 1010464346 15360000 3615 4294967295 134512640 135215339 3214466352 3214464640 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11087/statm: 3750 3615 73 172 0 3577 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 17420
[startup+25.5162 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 11271
/proc/meminfo: memFree=635324/2074464 swapFree=1949244/1959888
[pid=11081] ppid=11079 vsize=2420 CPUtime=0.13
/proc/11081/stat : 11081 (SatELiteGTI) S 11079 11081 16367 0 -1 4194304 387 1975 0 0 0 0 11 2 18 0 1 0 1010464333 2478080 278 4294967295 134512640 135169312 3220896512 3220892728 3085500142 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11081/statm: 605 278 235 161 0 44 0
[pid=11087] ppid=11081 vsize=20008 CPUtime=25.39
/proc/11087/stat : 11087 (minisat_static) R 11081 11081 16367 0 -1 4202496 4920 0 0 0 2539 0 0 0 25 0 1 0 1010464346 20488192 4855 4294967295 134512640 135215339 3214466352 3214464624 134525048 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11087/statm: 5002 4855 73 172 0 4829 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 22428
[startup+51.1248 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 11273
/proc/meminfo: memFree=627892/2074464 swapFree=1949244/1959888
[pid=11081] ppid=11079 vsize=2420 CPUtime=0.13
/proc/11081/stat : 11081 (SatELiteGTI) S 11079 11081 16367 0 -1 4194304 387 1975 0 0 0 0 11 2 18 0 1 0 1010464333 2478080 278 4294967295 134512640 135169312 3220896512 3220892728 3085500142 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11081/statm: 605 278 235 161 0 44 0
[pid=11087] ppid=11081 vsize=27720 CPUtime=51
/proc/11087/stat : 11087 (minisat_static) R 11081 11081 16367 0 -1 4202496 6841 0 0 0 5099 1 0 0 25 0 1 0 1010464346 28385280 6776 4294967295 134512640 135215339 3214466352 3214464640 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11087/statm: 6930 6776 73 172 0 6757 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 30140
[startup+102.322 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 11460
/proc/meminfo: memFree=626124/2074464 swapFree=1949244/1959888
[pid=11081] ppid=11079 vsize=2420 CPUtime=0.13
/proc/11081/stat : 11081 (SatELiteGTI) S 11079 11081 16367 0 -1 4194304 387 1975 0 0 0 0 11 2 18 0 1 0 1010464333 2478080 278 4294967295 134512640 135169312 3220896512 3220892728 3085500142 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11081/statm: 605 278 235 161 0 44 0
[pid=11087] ppid=11081 vsize=29184 CPUtime=102.2
/proc/11087/stat : 11087 (minisat_static) R 11081 11081 16367 0 -1 4202496 7198 0 0 0 10218 2 0 0 25 0 1 0 1010464346 29884416 7133 4294967295 134512640 135215339 3214466352 3214464640 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11087/statm: 7296 7133 73 172 0 7123 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 31604
[startup+162.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 11649
/proc/meminfo: memFree=626000/2074464 swapFree=1949244/1959888
[pid=11081] ppid=11079 vsize=2420 CPUtime=0.13
/proc/11081/stat : 11081 (SatELiteGTI) S 11079 11081 16367 0 -1 4194304 387 1975 0 0 0 0 11 2 18 0 1 0 1010464333 2478080 278 4294967295 134512640 135169312 3220896512 3220892728 3085500142 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11081/statm: 605 278 235 161 0 44 0
[pid=11087] ppid=11081 vsize=29184 CPUtime=162.19
/proc/11087/stat : 11087 (minisat_static) R 11081 11081 16367 0 -1 4202496 7223 0 0 0 16217 2 0 0 25 0 1 0 1010464346 29884416 7158 4294967295 134512640 135215339 3214466352 3214464640 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11087/statm: 7296 7158 73 172 0 7123 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 31604
Solver just ended. Dumping a history of the last processes samples
[startup+179.218 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 11649
/proc/meminfo: memFree=626072/2074464 swapFree=1949244/1959888
[pid=11081] ppid=11079 vsize=2420 CPUtime=0.13
/proc/11081/stat : 11081 (SatELiteGTI) S 11079 11081 16367 0 -1 4194304 387 1975 0 0 0 0 11 2 18 0 1 0 1010464333 2478080 278 4294967295 134512640 135169312 3220896512 3220892728 3085500142 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11081/statm: 605 278 235 161 0 44 0
[pid=11087] ppid=11081 vsize=29324 CPUtime=179.1
/proc/11087/stat : 11087 (minisat_static) R 11081 11081 16367 0 -1 4202496 7229 0 0 0 17908 2 0 0 25 0 1 0 1010464346 30027776 7164 4294967295 134512640 135215339 3214466352 3214464640 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11087/statm: 7331 7164 73 172 0 7158 0
Current children cumulated CPU time (s) 179.23
Current children cumulated vsize (KiB) 31744
[startup+204.816 s]
/proc/loadavg: 1.00 1.00 1.00 5/100 11743
/proc/meminfo: memFree=625228/2074464 swapFree=1949244/1959888
[pid=11081] ppid=11079 vsize=2420 CPUtime=0.13
/proc/11081/stat : 11081 (SatELiteGTI) S 11079 11081 16367 0 -1 4194304 387 1975 0 0 0 0 11 2 18 0 1 0 1010464333 2478080 278 4294967295 134512640 135169312 3220896512 3220892728 3085500142 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11081/statm: 605 278 235 161 0 44 0
[pid=11087] ppid=11081 vsize=29324 CPUtime=204.7
/proc/11087/stat : 11087 (minisat_static) R 11081 11081 16367 0 -1 4202496 7250 0 0 0 20468 2 0 0 25 0 1 0 1010464346 30027776 7185 4294967295 134512640 135215339 3214466352 3214464640 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11087/statm: 7331 7185 73 172 0 7158 0
Current children cumulated CPU time (s) 204.83
Current children cumulated vsize (KiB) 31744
[startup+211.216 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 11840
/proc/meminfo: memFree=625400/2074464 swapFree=1949244/1959888
[pid=11081] ppid=11079 vsize=2420 CPUtime=0.13
/proc/11081/stat : 11081 (SatELiteGTI) S 11079 11081 16367 0 -1 4194304 387 1975 0 0 0 0 11 2 18 0 1 0 1010464333 2478080 278 4294967295 134512640 135169312 3220896512 3220892728 3085500142 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11081/statm: 605 278 235 161 0 44 0
[pid=11087] ppid=11081 vsize=29324 CPUtime=211.1
/proc/11087/stat : 11087 (minisat_static) R 11081 11081 16367 0 -1 4202496 7255 0 0 0 21108 2 0 0 25 0 1 0 1010464346 30027776 7190 4294967295 134512640 135215339 3214466352 3214464640 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11087/statm: 7331 7190 73 172 0 7158 0
Current children cumulated CPU time (s) 211.23
Current children cumulated vsize (KiB) 31744
[startup+214.416 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 11840
/proc/meminfo: memFree=625408/2074464 swapFree=1949244/1959888
[pid=11081] ppid=11079 vsize=2420 CPUtime=0.13
/proc/11081/stat : 11081 (SatELiteGTI) S 11079 11081 16367 0 -1 4194304 387 1975 0 0 0 0 11 2 18 0 1 0 1010464333 2478080 278 4294967295 134512640 135169312 3220896512 3220892728 3085500142 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11081/statm: 605 278 235 161 0 44 0
[pid=11087] ppid=11081 vsize=29324 CPUtime=214.3
/proc/11087/stat : 11087 (minisat_static) R 11081 11081 16367 0 -1 4202496 7255 0 0 0 21428 2 0 0 25 0 1 0 1010464346 30027776 7190 4294967295 134512640 135215339 3214466352 3214464640 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11087/statm: 7331 7190 73 172 0 7158 0
Current children cumulated CPU time (s) 214.43
Current children cumulated vsize (KiB) 31744
[startup+217.615 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 11840
/proc/meminfo: memFree=625472/2074464 swapFree=1949244/1959888
[pid=11081] ppid=11079 vsize=2420 CPUtime=0.13
/proc/11081/stat : 11081 (SatELiteGTI) S 11079 11081 16367 0 -1 4194304 387 1975 0 0 0 0 11 2 18 0 1 0 1010464333 2478080 278 4294967295 134512640 135169312 3220896512 3220892728 3085500142 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11081/statm: 605 278 235 161 0 44 0
[pid=11087] ppid=11081 vsize=29324 CPUtime=217.5
/proc/11087/stat : 11087 (minisat_static) R 11081 11081 16367 0 -1 4202496 7260 0 0 0 21748 2 0 0 25 0 1 0 1010464346 30027776 7195 4294967295 134512640 135215339 3214466352 3214464640 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11087/statm: 7331 7195 73 172 0 7158 0
Current children cumulated CPU time (s) 217.63
Current children cumulated vsize (KiB) 31744
[startup+218.415 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 11840
/proc/meminfo: memFree=625472/2074464 swapFree=1949244/1959888
[pid=11081] ppid=11079 vsize=2420 CPUtime=0.13
/proc/11081/stat : 11081 (SatELiteGTI) S 11079 11081 16367 0 -1 4194304 387 1975 0 0 0 0 11 2 18 0 1 0 1010464333 2478080 278 4294967295 134512640 135169312 3220896512 3220892728 3085500142 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11081/statm: 605 278 235 161 0 44 0
[pid=11087] ppid=11081 vsize=29324 CPUtime=218.3
/proc/11087/stat : 11087 (minisat_static) R 11081 11081 16367 0 -1 4202496 7260 0 0 0 21828 2 0 0 25 0 1 0 1010464346 30027776 7195 4294967295 134512640 135215339 3214466352 3214464640 134528779 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11087/statm: 7331 7195 73 172 0 7158 0
Current children cumulated CPU time (s) 218.43
Current children cumulated vsize (KiB) 31744
[startup+218.815 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 11840
/proc/meminfo: memFree=625472/2074464 swapFree=1949244/1959888
[pid=11081] ppid=11079 vsize=2420 CPUtime=0.13
/proc/11081/stat : 11081 (SatELiteGTI) S 11079 11081 16367 0 -1 4194304 387 1975 0 0 0 0 11 2 18 0 1 0 1010464333 2478080 278 4294967295 134512640 135169312 3220896512 3220892728 3085500142 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11081/statm: 605 278 235 161 0 44 0
[pid=11087] ppid=11081 vsize=29324 CPUtime=218.7
/proc/11087/stat : 11087 (minisat_static) R 11081 11081 16367 0 -1 4202496 7260 0 0 0 21868 2 0 0 25 0 1 0 1010464346 30027776 7195 4294967295 134512640 135215339 3214466352 3214464640 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11087/statm: 7331 7195 73 172 0 7158 0
Current children cumulated CPU time (s) 218.83
Current children cumulated vsize (KiB) 31744
[startup+219.015 s]
/proc/loadavg: 1.00 1.00 1.00 2/99 11840
/proc/meminfo: memFree=625472/2074464 swapFree=1949244/1959888
[pid=11081] ppid=11079 vsize=2420 CPUtime=0.13
/proc/11081/stat : 11081 (SatELiteGTI) S 11079 11081 16367 0 -1 4194304 387 1975 0 0 0 0 11 2 18 0 1 0 1010464333 2478080 278 4294967295 134512640 135169312 3220896512 3220892728 3085500142 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/11081/statm: 605 278 235 161 0 44 0
[pid=11087] ppid=11081 vsize=29324 CPUtime=218.9
/proc/11087/stat : 11087 (minisat_static) R 11081 11081 16367 0 -1 4202496 7260 0 0 0 21888 2 0 0 25 0 1 0 1010464346 30027776 7195 4294967295 134512640 135215339 3214466352 3214464640 134528776 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11087/statm: 7331 7195 73 172 0 7158 0
Current children cumulated CPU time (s) 219.03
Current children cumulated vsize (KiB) 31744
Child status: 10
Real time (s): 219.1
CPU time (s): 219.11
CPU user time (s): 219.06
CPU system time (s): 0.05
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 31744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 219.06
system time used= 0.05
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10090
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= 27
involuntary context switches= 315
runsolver used 0 second user time and 0 second system time
The end
Begin job on tipi11 at 2009-05-16 09:40:33
IDJOB=1820620
IDBENCH=20494
IDSOLVER=657
FILE ID=tipi11/1820620-1242459633
PBS_JOBID=
Free space on /tmp= 10597 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/grieu/vmpc_26.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820620-1242459633/watcher-1820620-1242459633 -o /tmp/evaluation-result-1820620-1242459633/solver-1820620-1242459633 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820620-1242459633.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 7e9eba7a609bdbcf7c3a7e0f5c07ab04
RANDOM SEED= 1369309406
Linux tipi11 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.431
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.40
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.431
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.431
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.79
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.431
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 655860 kB
Buffers: 37892 kB
Cached: 1278672 kB
SwapCached: 5336 kB
Active: 356520 kB
Inactive: 971996 kB
HighTotal: 1178688 kB
HighFree: 184408 kB
LowTotal: 895776 kB
LowFree: 471452 kB
SwapTotal: 1959888 kB
SwapFree: 1949244 kB
Dirty: 2656 kB
Writeback: 0 kB
AnonPages: 11092 kB
Mapped: 4952 kB
Slab: 80604 kB
PageTables: 388 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 97132 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 10597 MiB
End job on tipi11 at 2009-05-16 09:44:13