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.05 c ==============================================================================
0.00/0.05 c Result : #vars: 676 #clauses: 86424 #literals: 226590
0.00/0.05 c CPU time: 0.039993 s
0.00/0.05 c ==============================================================================
0.00/0.13 c This is MiniSat 2.0 beta
0.00/0.13 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.13 c ============================[ Problem Statistics ]=============================
0.00/0.13 c | |
0.00/0.13 c | Number of variables: 676 |
0.00/0.13 c | Number of clauses: 86424 |
0.00/0.17 c | Parsing time: 0.03 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 | 676 86424 226590 | 28808 0 nan | 0.000 % |
0.00/0.19 c | 100 | 676 86424 226590 | 28808 100 49 | 0.000 % |
0.12/0.20 c | 201 | 676 86424 226590 | 28808 201 35 | 0.014 % |
0.12/0.21 c | 301 | 676 86424 226590 | 28808 301 32 | 0.014 % |
0.12/0.22 c | 411 | 676 86424 226590 | 28808 411 29 | 0.015 % |
0.12/0.23 c | 511 | 676 86424 226590 | 28808 511 29 | 0.014 % |
0.12/0.24 c | 621 | 676 86424 226590 | 28808 621 42 | 0.000 % |
0.12/0.25 c | 742 | 676 86424 226590 | 28808 742 41 | 0.000 % |
0.12/0.26 c | 846 | 676 86424 226590 | 28808 846 40 | 0.000 % |
0.12/0.27 c | 958 | 676 86424 226590 | 28808 958 38 | 0.014 % |
0.12/0.28 c | 1079 | 676 86424 226590 | 28808 1079 37 | 0.014 % |
0.12/0.30 c | 1212 | 676 86424 226590 | 28808 1212 41 | 0.000 % |
0.12/0.31 c | 1313 | 676 86424 226590 | 28808 1313 41 | 0.000 % |
0.12/0.32 c | 1424 | 676 86424 226590 | 28808 1424 39 | 0.013 % |
0.12/0.33 c | 1546 | 676 86424 226590 | 28808 1546 39 | 0.000 % |
0.12/0.34 c | 1679 | 676 86424 226590 | 28808 1679 41 | 0.000 % |
0.12/0.36 c | 1826 | 676 86424 226590 | 28808 1826 40 | 0.014 % |
0.12/0.37 c | 1928 | 676 86424 226590 | 28808 1928 39 | 0.000 % |
0.12/0.38 c | 2040 | 676 86424 226590 | 28808 2040 38 | 0.013 % |
0.12/0.39 c | 2163 | 676 86424 226590 | 28808 2163 40 | 0.000 % |
0.12/0.41 c | 2296 | 676 86424 226590 | 28808 2296 40 | 0.000 % |
0.12/0.42 c | 2442 | 676 86424 226590 | 28808 2442 39 | 0.013 % |
0.12/0.44 c | 2602 | 676 86424 226590 | 28808 2602 38 | 0.013 % |
0.12/0.45 c | 2703 | 676 86424 226590 | 28808 2703 37 | 0.013 % |
0.12/0.47 c | 2814 | 676 86424 226590 | 28808 2814 37 | 0.013 % |
0.12/0.48 c | 2936 | 676 86424 226590 | 28808 2936 36 | 0.013 % |
0.12/0.49 c | 3070 | 676 86424 226590 | 28808 3070 35 | 0.013 % |
0.12/0.51 c | 3216 | 676 86424 226590 | 28808 3216 37 | 0.000 % |
0.12/0.53 c | 3379 | 676 86424 226590 | 28808 3379 36 | 0.000 % |
0.12/0.55 c | 3556 | 676 86424 226590 | 28808 3556 36 | 0.013 % |
0.12/0.56 c | 3656 | 676 86424 226590 | 28808 3656 37 | 0.000 % |
0.12/0.57 c | 3768 | 676 86424 226590 | 28808 3768 37 | 0.000 % |
0.12/0.59 c | 3889 | 676 86424 226590 | 28808 3889 37 | 0.000 % |
0.12/0.60 c | 4023 | 676 86424 226590 | 28808 4023 36 | 0.014 % |
0.12/0.62 c | 4170 | 676 86424 226590 | 28808 4170 38 | 0.000 % |
0.12/0.64 c | 4330 | 676 86424 226590 | 28808 4330 38 | 0.000 % |
0.12/0.66 c | 4507 | 676 86424 226590 | 28808 4507 37 | 0.014 % |
0.12/0.68 c | 4700 | 676 86424 226590 | 28808 4700 39 | 0.000 % |
0.12/0.69 c | 4803 | 676 86424 226590 | 28808 4803 39 | 0.000 % |
0.12/0.71 c | 4913 | 676 86424 226590 | 28808 4913 39 | 0.014 % |
0.12/0.72 c | 5038 | 676 86424 226590 | 28808 5038 38 | 0.014 % |
0.12/0.74 c | 5173 | 676 86424 226590 | 28808 5173 40 | 0.000 % |
0.12/0.76 c | 5322 | 676 86424 226590 | 28808 5322 41 | 0.014 % |
0.12/0.77 c | 5482 | 676 86424 226590 | 28808 5482 40 | 0.014 % |
0.12/0.80 c | 5658 | 676 86424 226590 | 28808 5658 40 | 0.014 % |
0.12/0.82 c | 5853 | 676 86424 226590 | 28808 5853 39 | 0.014 % |
0.12/0.85 c | 6066 | 676 86424 226590 | 28808 6066 39 | 0.014 % |
0.12/0.86 c | 6166 | 676 86424 226590 | 28808 6166 39 | 0.000 % |
0.12/0.88 c | 6277 | 676 86424 226590 | 28808 6277 40 | 0.014 % |
0.12/0.89 c | 6400 | 676 86424 226590 | 28808 6400 39 | 0.014 % |
0.12/0.91 c | 6534 | 676 86424 226590 | 28808 6534 39 | 0.014 % |
0.12/0.93 c | 6680 | 676 86424 226590 | 28808 6680 40 | 0.000 % |
0.12/0.95 c | 6844 | 676 86424 226590 | 28808 6844 40 | 0.000 % |
0.12/0.97 c | 7020 | 676 86424 226590 | 28808 7020 40 | 0.014 % |
0.98/1.00 c | 7213 | 676 86424 226590 | 28808 7213 41 | 0.000 % |
0.98/1.04 c | 7429 | 675 86174 225942 | 28808 7428 41 | 0.162 % |
0.98/1.07 c | 7665 | 675 86174 225942 | 28808 7664 40 | 0.162 % |
0.98/1.09 c | 7768 | 675 86174 225942 | 28808 7767 40 | 0.162 % |
1.08/1.11 c | 7879 | 675 86174 225942 | 28808 7878 40 | 0.162 % |
1.08/1.13 c | 8003 | 675 86174 225942 | 28808 8002 40 | 0.162 % |
1.08/1.15 c | 8137 | 675 86174 225942 | 28808 8136 41 | 0.148 % |
1.08/1.17 c | 8286 | 675 86174 225942 | 28808 8285 41 | 0.148 % |
1.08/1.19 c | 8450 | 675 86174 225942 | 28808 8449 41 | 0.162 % |
1.17/1.22 c | 8627 | 675 86174 225942 | 28808 8626 40 | 0.162 % |
1.17/1.25 c | 8820 | 675 86174 225942 | 28808 8819 40 | 0.162 % |
1.17/1.28 c | 9033 | 675 86174 225942 | 28808 9032 40 | 0.148 % |
1.27/1.32 c | 9269 | 675 86174 225942 | 28808 9268 40 | 0.148 % |
1.27/1.35 c | 9525 | 675 86174 225942 | 28808 9524 40 | 0.148 % |
1.27/1.37 c | 9625 | 675 86174 225942 | 28808 9624 40 | 0.148 % |
1.27/1.39 c | 9735 | 675 86174 225942 | 28808 9734 40 | 0.162 % |
1.37/1.41 c | 9856 | 675 86174 225942 | 28808 9855 40 | 0.162 % |
1.37/1.43 c | 9990 | 675 86174 225942 | 28808 9989 40 | 0.162 % |
1.37/1.46 c | 10136 | 675 86174 225942 | 2147483647 10135 40 | 0.162 % |
1.37/1.49 c | 10296 | 675 86174 225942 | 2147483647 10295 39 | 0.162 % |
1.47/1.52 c | 10473 | 675 86174 225942 | 2147483647 10472 39 | 0.162 % |
1.47/1.55 c | 10668 | 675 86174 225942 | 2147483647 10667 39 | 0.163 % |
1.47/1.58 c | 10880 | 675 86174 225942 | 2147483647 10879 38 | 0.162 % |
1.57/1.62 c | 11115 | 675 86174 225942 | 2147483647 11114 38 | 0.163 % |
1.57/1.66 c | 11375 | 675 86174 225942 | 2147483647 11374 38 | 0.162 % |
1.67/1.72 c | 11657 | 675 86174 225942 | 2147483647 11656 37 | 0.162 % |
1.67/1.74 c | 11757 | 675 86174 225942 | 2147483647 11756 37 | 0.163 % |
1.67/1.76 c | 11867 | 675 86174 225942 | 2147483647 11866 37 | 0.163 % |
1.67/1.78 c | 11989 | 675 86174 225942 | 2147483647 11988 37 | 0.163 % |
1.77/1.80 c | 12128 | 675 86174 225942 | 2147483647 12127 37 | 0.162 % |
1.77/1.83 c | 12274 | 675 86174 225942 | 2147483647 12273 36 | 0.163 % |
1.77/1.85 c | 12434 | 675 86174 225942 | 2147483647 12433 36 | 0.163 % |
1.77/1.88 c | 12610 | 675 86174 225942 | 2147483647 12609 36 | 0.163 % |
1.87/1.92 c | 12805 | 675 86174 225942 | 2147483647 12804 36 | 0.162 % |
1.87/1.95 c | 13018 | 675 86174 225942 | 2147483647 13017 36 | 0.162 % |
1.87/1.98 c | 13252 | 675 86174 225942 | 2147483647 13251 36 | 0.148 % |
1.97/2.03 c | 13510 | 675 86174 225942 | 2147483647 13509 36 | 0.162 % |
1.97/2.08 c | 13793 | 675 86174 225942 | 2147483647 13792 37 | 0.148 % |
2.07/2.13 c | 14106 | 675 86174 225942 | 2147483647 14105 37 | 0.148 % |
2.07/2.15 c | 14207 | 675 86174 225942 | 2147483647 14206 37 | 0.162 % |
2.07/2.17 c | 14317 | 675 86174 225942 | 2147483647 14316 37 | 0.162 % |
2.07/2.19 c | 14440 | 675 86174 225942 | 2147483647 14439 37 | 0.161 % |
2.17/2.22 c | 14573 | 675 86174 225942 | 2147483647 14572 37 | 0.161 % |
2.17/2.24 c | 14719 | 675 86174 225942 | 2147483647 14718 37 | 0.148 % |
2.17/2.27 c | 14879 | 675 86174 225942 | 2147483647 14878 37 | 0.162 % |
2.27/2.30 c | 15056 | 675 86174 225942 | 2147483647 15055 37 | 0.162 % |
2.27/2.34 c | 15249 | 675 86174 225942 | 2147483647 15248 37 | 0.148 % |
2.27/2.38 c | 15461 | 675 86174 225942 | 2147483647 15460 38 | 0.148 % |
2.37/2.42 c | 15694 | 675 86174 225942 | 2147483647 15693 38 | 0.162 % |
2.37/2.47 c | 15955 | 675 86174 225942 | 2147483647 15954 38 | 0.162 % |
2.47/2.52 c | 16238 | 675 86174 225942 | 2147483647 16237 38 | 0.162 % |
2.47/2.58 c | 16549 | 675 86174 225942 | 2147483647 16548 37 | 0.162 % |
2.57/2.65 c | 16892 | 675 86174 225942 | 2147483647 16891 38 | 0.148 % |
2.57/2.67 c | 16994 | 675 86174 225942 | 2147483647 16993 38 | 0.162 % |
2.57/2.69 c | 17104 | 675 86174 225942 | 2147483647 17103 38 | 0.162 % |
2.67/2.71 c | 17227 | 675 86174 225942 | 2147483647 17226 38 | 0.162 % |
2.67/2.74 c | 17360 | 675 86174 225942 | 2147483647 17359 38 | 0.161 % |
2.67/2.77 c | 17506 | 675 86174 225942 | 2147483647 17505 38 | 0.162 % |
2.77/2.80 c | 17666 | 675 86174 225942 | 2147483647 17665 38 | 0.148 % |
2.77/2.83 c | 17842 | 675 86174 225942 | 2147483647 17841 38 | 0.162 % |
2.77/2.86 c | 18038 | 675 86174 225942 | 2147483647 18037 38 | 0.162 % |
2.87/2.91 c | 18250 | 675 86174 225942 | 2147483647 18249 38 | 0.148 % |
2.87/2.95 c | 18484 | 675 86174 225942 | 2147483647 18483 38 | 0.148 % |
2.97/3.00 c | 18740 | 675 86174 225942 | 2147483647 18739 38 | 0.162 % |
2.97/3.06 c | 19021 | 675 86174 225942 | 2147483647 19020 38 | 0.148 % |
3.07/3.12 c | 19331 | 675 86174 225942 | 2147483647 19330 39 | 0.148 % |
3.17/3.21 c | 19673 | 675 86174 225942 | 2147483647 19672 39 | 0.148 % |
3.17/3.29 c | 20046 | 675 86174 225942 | 2147483647 20045 38 | 0.162 % |
3.27/3.31 c | 20148 | 675 86174 225942 | 2147483647 20147 39 | 0.148 % |
3.27/3.34 c | 20262 | 675 86174 225942 | 2147483647 20261 38 | 0.162 % |
3.27/3.37 c | 20386 | 675 86174 225942 | 2147483647 20385 38 | 0.162 % |
3.37/3.40 c | 20521 | 675 86174 225942 | 2147483647 20520 38 | 0.162 % |
3.37/3.44 c | 20668 | 675 86174 225942 | 2147483647 20667 38 | 0.148 % |
3.37/3.47 c | 20828 | 675 86174 225942 | 2147483647 20827 38 | 0.162 % |
3.47/3.51 c | 21005 | 675 86174 225942 | 2147483647 21004 38 | 0.162 % |
3.47/3.55 c | 21198 | 675 86174 225942 | 2147483647 21197 38 | 0.148 % |
3.47/3.60 c | 21410 | 675 86174 225942 | 2147483647 21409 38 | 0.162 % |
3.57/3.65 c | 21643 | 675 86174 225942 | 2147483647 21642 38 | 0.148 % |
3.67/3.70 c | 21902 | 675 86174 225942 | 2147483647 21901 38 | 0.162 % |
3.67/3.77 c | 22186 | 675 86174 225942 | 2147483647 22185 38 | 0.148 % |
3.77/3.84 c | 22495 | 675 86174 225942 | 2147483647 22494 38 | 0.162 % |
3.87/3.93 c | 22834 | 675 86174 225942 | 2147483647 22833 38 | 0.162 % |
3.97/4.02 c | 23208 | 675 86174 225942 | 2147483647 23207 37 | 0.162 % |
4.07/4.12 c | 23618 | 675 86174 225942 | 2147483647 23617 37 | 0.162 % |
4.07/4.14 c | 23721 | 675 86174 225942 | 2147483647 23720 37 | 0.163 % |
4.07/4.17 c | 23831 | 675 86174 225942 | 2147483647 23830 37 | 0.162 % |
4.17/4.20 c | 23953 | 675 86174 225942 | 2147483647 23952 37 | 0.162 % |
4.17/4.23 c | 24089 | 675 86174 225942 | 2147483647 24088 37 | 0.148 % |
4.17/4.26 c | 24235 | 675 86174 225942 | 2147483647 24234 37 | 0.148 % |
4.17/4.29 c | 24396 | 675 86174 225942 | 2147483647 24395 37 | 0.148 % |
4.27/4.33 c | 24573 | 675 86174 225942 | 2147483647 24572 37 | 0.162 % |
4.27/4.37 c | 24766 | 675 86174 225942 | 2147483647 24765 37 | 0.148 % |
4.38/4.41 c | 24980 | 675 86174 225942 | 2147483647 24979 37 | 0.162 % |
4.38/4.47 c | 25214 | 675 86174 225942 | 2147483647 25213 37 | 0.163 % |
4.47/4.53 c | 25470 | 675 86174 225942 | 2147483647 25469 37 | 0.162 % |
4.57/4.61 c | 25751 | 675 86174 225942 | 2147483647 25750 37 | 0.162 % |
4.57/4.68 c | 26061 | 675 86174 225942 | 2147483647 26060 37 | 0.162 % |
4.67/4.76 c | 26404 | 675 86174 225942 | 2147483647 26403 38 | 0.148 % |
4.77/4.86 c | 26776 | 675 86174 225942 | 2147483647 26775 38 | 0.162 % |
4.87/4.95 c | 27185 | 675 86174 225942 | 2147483647 27184 38 | 0.162 % |
4.97/5.06 c | 27634 | 675 86174 225942 | 2147483647 27633 38 | 0.162 % |
4.97/5.09 c | 27735 | 675 86174 225942 | 2147483647 27734 38 | 0.162 % |
5.07/5.12 c | 27848 | 675 86174 225942 | 2147483647 27847 38 | 0.162 % |
5.07/5.15 c | 27970 | 675 86174 225942 | 2147483647 27969 37 | 0.162 % |
5.07/5.18 c | 28103 | 675 86174 225942 | 2147483647 28102 37 | 0.162 % |
5.17/5.22 c | 28251 | 675 86174 225942 | 2147483647 28250 37 | 0.162 % |
5.17/5.26 c | 28411 | 675 86174 225942 | 2147483647 28410 37 | 0.162 % |
5.27/5.31 c | 28588 | 675 86174 225942 | 2147483647 28587 37 | 0.162 % |
5.27/5.36 c | 28781 | 675 86174 225942 | 2147483647 28780 38 | 0.148 % |
5.37/5.42 c | 28996 | 675 86174 225942 | 2147483647 28995 38 | 0.162 % |
5.37/5.48 c | 29232 | 675 86174 225942 | 2147483647 29231 37 | 0.162 % |
5.47/5.55 c | 29488 | 675 86174 225942 | 2147483647 29487 37 | 0.162 % |
5.57/5.64 c | 29770 | 675 86174 225942 | 2147483647 29769 37 | 0.162 % |
5.67/5.73 c | 30081 | 675 86174 225942 | 2147483647 30080 37 | 0.162 % |
5.77/5.82 c | 30421 | 675 86174 225942 | 2147483647 30420 37 | 0.148 % |
5.87/5.93 c | 30794 | 675 86174 225942 | 2147483647 30793 37 | 0.162 % |
5.97/6.04 c | 31203 | 675 86174 225942 | 2147483647 31202 37 | 0.162 % |
6.07/6.16 c | 31652 | 675 86174 225942 | 2147483647 31651 37 | 0.162 % |
6.17/6.28 c | 32145 | 675 86174 225942 | 2147483647 32144 37 | 0.162 % |
6.27/6.31 c | 32246 | 675 86174 225942 | 2147483647 32245 37 | 0.162 % |
6.27/6.34 c | 32357 | 675 86174 225942 | 2147483647 32356 37 | 0.162 % |
6.27/6.37 c | 32478 | 675 86174 225942 | 2147483647 32477 37 | 0.162 % |
6.37/6.40 c | 32614 | 675 86174 225942 | 2147483647 32613 37 | 0.162 % |
6.37/6.44 c | 32760 | 675 86174 225942 | 2147483647 32759 37 | 0.162 % |
6.37/6.48 c | 32920 | 675 86174 225942 | 2147483647 32919 37 | 0.162 % |
6.47/6.54 c | 33098 | 675 86174 225942 | 2147483647 33097 37 | 0.162 % |
6.47/6.58 c | 33294 | 675 86174 225942 | 2147483647 33293 37 | 0.148 % |
6.57/6.65 c | 33507 | 675 86174 225942 | 2147483647 33506 37 | 0.162 % |
6.66/6.73 c | 33742 | 675 86174 225942 | 2147483647 33741 37 | 0.148 % |
6.76/6.80 c | 33998 | 675 86174 225942 | 2147483647 33997 37 | 0.161 % |
6.76/6.89 c | 34279 | 675 86174 225942 | 2147483647 34278 37 | 0.163 % |
6.86/6.98 c | 34592 | 675 86174 225942 | 2147483647 34591 37 | 0.162 % |
6.97/7.07 c | 34933 | 675 86174 225942 | 2147483647 34932 37 | 0.148 % |
7.07/7.18 c | 35307 | 675 86174 225942 | 2147483647 35306 38 | 0.162 % |
7.27/7.31 c | 35716 | 675 86174 225942 | 2147483647 35715 37 | 0.162 % |
7.37/7.45 c | 36166 | 675 86174 225942 | 2147483647 36165 37 | 0.162 % |
7.58/7.62 c | 36659 | 675 86174 225942 | 2147483647 36658 37 | 0.162 % |
7.67/7.78 c | 37202 | 675 86174 225942 | 2147483647 37201 37 | 0.162 % |
7.77/7.81 c | 37302 | 675 86174 225942 | 2147483647 37301 37 | 0.162 % |
7.77/7.85 c | 37412 | 675 86174 225942 | 2147483647 37411 37 | 0.162 % |
7.77/7.89 c | 37533 | 675 86174 225942 | 2147483647 37532 37 | 0.162 % |
7.87/7.93 c | 37669 | 675 86174 225942 | 2147483647 37668 37 | 0.148 % |
7.87/7.97 c | 37815 | 675 86174 225942 | 2147483647 37814 37 | 0.162 % |
7.97/8.01 c | 37975 | 675 86174 225942 | 2147483647 37974 37 | 0.162 % |
7.97/8.06 c | 38155 | 675 86174 225942 | 2147483647 38154 37 | 0.163 % |
8.07/8.11 c | 38348 | 675 86174 225942 | 2147483647 38347 37 | 0.163 % |
8.07/8.17 c | 38560 | 675 86174 225942 | 2147483647 38559 37 | 0.163 % |
8.17/8.24 c | 38795 | 675 86174 225942 | 2147483647 38794 37 | 0.148 % |
8.27/8.32 c | 39052 | 675 86174 225942 | 2147483647 39051 37 | 0.163 % |
8.27/8.39 c | 39335 | 675 86174 225942 | 2147483647 39334 37 | 0.148 % |
8.37/8.47 c | 39644 | 675 86174 225942 | 2147483647 39643 37 | 0.148 % |
8.47/8.58 c | 39984 | 675 86174 225942 | 2147483647 39983 37 | 0.162 % |
8.57/8.70 c | 40357 | 675 86174 225942 | 2147483647 40356 37 | 0.162 % |
8.77/8.83 c | 40766 | 675 86174 225942 | 2147483647 40765 37 | 0.162 % |
8.87/8.97 c | 41215 | 675 86174 225942 | 2147483647 41214 37 | 0.161 % |
9.07/9.13 c | 41711 | 675 86174 225942 | 2147483647 41710 37 | 0.161 % |
9.27/9.31 c | 42254 | 675 86174 225942 | 2147483647 42253 37 | 0.161 % |
9.47/9.50 c | 42851 | 675 86174 225942 | 2147483647 42850 37 | 0.162 % |
9.47/9.55 c | 42953 | 675 86174 225942 | 2147483647 42952 37 | 0.161 % |
9.47/9.58 c | 43065 | 675 86174 225942 | 2147483647 43064 37 | 0.162 % |
9.57/9.62 c | 43186 | 675 86174 225942 | 2147483647 43185 37 | 0.148 % |
9.57/9.67 c | 43324 | 675 86174 225942 | 2147483647 43323 37 | 0.173 % |
9.67/9.73 c | 43470 | 675 86174 225942 | 2147483647 43469 37 | 0.148 % |
9.67/9.79 c | 43630 | 675 86174 225942 | 2147483647 43629 37 | 0.162 % |
9.77/9.85 c | 43807 | 675 86174 225942 | 2147483647 43806 37 | 0.161 % |
9.87/9.91 c | 44001 | 675 86174 225942 | 2147483647 44000 37 | 0.162 % |
9.87/9.98 c | 44215 | 675 86174 225942 | 2147483647 44214 37 | 0.148 % |
9.97/10.07 c | 44450 | 675 86174 225942 | 2147483647 44449 37 | 0.148 % |
10.07/10.15 c | 44706 | 675 86174 225942 | 2147483647 44705 37 | 0.162 % |
10.17/10.24 c | 44987 | 675 86174 225942 | 2147483647 44986 37 | 0.162 % |
10.27/10.35 c | 45296 | 675 86174 225942 | 2147483647 45295 37 | 0.162 % |
10.36/10.45 c | 45636 | 675 86174 225942 | 2147483647 45635 37 | 0.162 % |
10.46/10.58 c | 46008 | 675 86174 225942 | 2147483647 46007 37 | 0.162 % |
10.66/10.70 c | 46418 | 675 86174 225942 | 2147483647 46417 37 | 0.148 % |
10.76/10.84 c | 46869 | 675 86174 225942 | 2147483647 46868 37 | 0.148 % |
10.97/11.02 c | 47363 | 675 86174 225942 | 2147483647 47362 37 | 0.162 % |
11.16/11.21 c | 47906 | 675 86174 225942 | 2147483647 47905 37 | 0.148 % |
11.36/11.42 c | 48506 | 675 86174 225942 | 2147483647 48505 37 | 0.162 % |
11.57/11.64 c | 49165 | 675 86174 225942 | 2147483647 49164 38 | 0.148 % |
11.57/11.68 c | 49267 | 675 86174 225942 | 2147483647 49266 38 | 0.148 % |
11.67/11.72 c | 49378 | 675 86174 225942 | 2147483647 49377 38 | 0.163 % |
11.67/11.77 c | 49499 | 675 86174 225942 | 2147483647 49498 38 | 0.162 % |
11.77/11.83 c | 49633 | 675 86174 225942 | 2147483647 49632 38 | 0.162 % |
11.77/11.89 c | 49780 | 675 86174 225942 | 2147483647 49779 38 | 0.162 % |
11.87/11.96 c | 49940 | 675 86174 225942 | 2147483647 49939 37 | 0.162 % |
11.98/12.03 c | 50117 | 675 86174 225942 | 2147483647 50116 38 | 0.162 % |
12.08/12.10 c | 50313 | 675 86174 225942 | 2147483647 50312 38 | 0.162 % |
12.08/12.18 c | 50525 | 675 86174 225942 | 2147483647 50524 37 | 0.162 % |
12.17/12.27 c | 50758 | 675 86174 225942 | 2147483647 50757 38 | 0.148 % |
12.27/12.36 c | 51017 | 675 86174 225942 | 2147483647 51016 38 | 0.162 % |
12.37/12.46 c | 51298 | 675 86174 225942 | 2147483647 51297 38 | 0.148 % |
12.47/12.58 c | 51608 | 675 86174 225942 | 2147483647 51607 38 | 0.162 % |
12.67/12.71 c | 51947 | 675 86174 225942 | 2147483647 51946 38 | 0.162 % |
12.77/12.85 c | 52321 | 675 86174 225942 | 2147483647 52320 38 | 0.162 % |
12.97/13.04 c | 52730 | 675 86174 225942 | 2147483647 52729 38 | 0.162 % |
13.07/13.20 c | 53179 | 675 86174 225942 | 2147483647 53178 38 | 0.162 % |
13.27/13.38 c | 53673 | 675 86174 225942 | 2147483647 53672 38 | 0.148 % |
13.57/13.60 c | 54215 | 675 86174 225942 | 2147483647 54214 37 | 0.162 % |
13.77/13.85 c | 54811 | 675 86174 225942 | 2147483647 54810 37 | 0.162 % |
14.07/14.11 c | 55466 | 675 86174 225942 | 2147483647 55465 37 | 0.162 % |
14.37/14.45 c | 56189 | 675 86174 225942 | 2147483647 56188 37 | 0.162 % |
14.37/14.49 c | 56289 | 675 86174 225942 | 2147483647 56288 37 | 0.148 % |
14.47/14.53 c | 56399 | 675 86174 225942 | 2147483647 56398 37 | 0.162 % |
14.47/14.58 c | 56522 | 675 86174 225942 | 2147483647 56521 37 | 0.162 % |
14.57/14.63 c | 56655 | 675 86174 225942 | 2147483647 56654 37 | 0.148 % |
14.57/14.69 c | 56801 | 675 86174 225942 | 2147483647 56800 37 | 0.162 % |
14.67/14.75 c | 56961 | 675 86174 225942 | 2147483647 56960 37 | 0.162 % |
14.77/14.82 c | 57140 | 675 86174 225942 | 2147483647 57139 37 | 0.162 % |
14.87/14.93 c | 57336 | 675 86174 225942 | 2147483647 57335 37 | 0.162 % |
14.97/15.05 c | 57551 | 675 86174 225942 | 2147483647 57550 37 | 0.162 % |
15.07/15.14 c | 57784 | 675 86174 225942 | 2147483647 57783 37 | 0.148 % |
15.17/15.24 c | 58040 | 675 86174 225942 | 2147483647 58039 37 | 0.162 % |
15.27/15.35 c | 58323 | 675 86174 225942 | 2147483647 58322 38 | 0.148 % |
15.37/15.48 c | 58633 | 675 86174 225942 | 2147483647 58632 38 | 0.148 % |
15.57/15.62 c | 58975 | 675 86174 225942 | 2147483647 58974 37 | 0.162 % |
15.77/15.82 c | 59347 | 675 86174 225942 | 2147483647 59346 37 | 0.163 % |
15.97/16.00 c | 59760 | 675 86174 225942 | 2147483647 59759 37 | 0.163 % |
16.17/16.21 c | 60209 | 675 86174 225942 | 2147483647 60208 37 | 0.161 % |
16.37/16.43 c | 60702 | 675 86174 225942 | 2147483647 60701 37 | 0.162 % |
16.57/16.69 c | 61244 | 675 86174 225942 | 2147483647 61243 37 | 0.148 % |
16.87/16.97 c | 61841 | 675 86174 225942 | 2147483647 61840 37 | 0.162 % |
17.27/17.31 c | 62496 | 675 86174 225942 | 2147483647 62495 37 | 0.162 % |
17.57/17.68 c | 63218 | 675 86174 225942 | 2147483647 63217 37 | 0.163 % |
17.96/18.07 c | 64014 | 675 86174 225942 | 2147483647 64013 37 | 0.163 % |
18.06/18.12 c | 64114 | 675 86174 225942 | 2147483647 64113 37 | 0.148 % |
18.06/18.17 c | 64225 | 675 86174 225942 | 2147483647 64224 37 | 0.148 % |
18.16/18.24 c | 64348 | 675 86174 225942 | 2147483647 64347 37 | 0.163 % |
18.26/18.31 c | 64481 | 675 86174 225942 | 2147483647 64480 37 | 0.163 % |
18.26/18.37 c | 64627 | 675 86174 225942 | 2147483647 64626 37 | 0.162 % |
18.36/18.46 c | 64787 | 675 86174 225942 | 2147483647 64786 37 | 0.162 % |
18.46/18.55 c | 64964 | 675 86174 225942 | 2147483647 64963 37 | 0.162 % |
18.57/18.64 c | 65157 | 675 86174 225942 | 2147483647 65156 37 | 0.162 % |
18.67/18.75 c | 65370 | 675 86174 225942 | 2147483647 65369 37 | 0.161 % |
18.76/18.85 c | 65606 | 675 86174 225942 | 2147483647 65605 37 | 0.162 % |
18.86/18.99 c | 65863 | 675 86174 225942 | 2147483647 65862 37 | 0.162 % |
19.06/19.11 c | 66147 | 675 86174 225942 | 2147483647 66146 37 | 0.161 % |
19.16/19.25 c | 66460 | 675 86174 225942 | 2147483647 66459 36 | 0.161 % |
19.26/19.38 c | 66799 | 675 86174 225942 | 2147483647 66798 36 | 0.162 % |
19.46/19.55 c | 67174 | 675 86174 225942 | 2147483647 67173 36 | 0.162 % |
19.66/19.73 c | 67584 | 675 86174 225942 | 2147483647 67583 36 | 0.162 % |
19.86/19.92 c | 68036 | 675 86174 225942 | 2147483647 68035 37 | 0.148 % |
20.06/20.17 c | 68537 | 675 86174 225942 | 2147483647 68536 37 | 0.148 % |
20.36/20.45 c | 69079 | 675 86174 225942 | 2147483647 69078 37 | 0.148 % |
20.56/20.68 c | 69675 | 675 86174 225942 | 2147483647 69674 38 | 0.148 % |
20.87/20.99 c | 70331 | 675 86174 225942 | 2147483647 70330 38 | 0.162 % |
21.26/21.36 c | 71055 | 675 86174 225942 | 2147483647 71054 37 | 0.162 % |
21.66/21.78 c | 71849 | 675 86174 225942 | 2147483647 71848 38 | 0.148 % |
22.16/22.27 c | 72722 | 675 86174 225942 | 2147483647 72721 38 | 0.162 % |
22.26/22.33 c | 72822 | 675 86174 225942 | 2147483647 72821 38 | 0.162 % |
22.26/22.39 c | 72932 | 675 86174 225942 | 2147483647 72931 38 | 0.162 % |
22.36/22.45 c | 73053 | 675 86174 225942 | 2147483647 73052 38 | 0.162 % |
22.46/22.53 c | 73186 | 675 86174 225942 | 2147483647 73185 38 | 0.148 % |
22.56/22.61 c | 73332 | 675 86174 225942 | 2147483647 73331 38 | 0.148 % |
22.66/22.71 c | 73493 | 675 86174 225942 | 2147483647 73492 38 | 0.162 % |
22.76/22.83 c | 73670 | 675 86174 225942 | 2147483647 73669 38 | 0.162 % |
22.86/22.95 c | 73863 | 675 86174 225942 | 2147483647 73862 38 | 0.162 % |
22.96/23.07 c | 74075 | 675 86174 225942 | 2147483647 74074 38 | 0.162 % |
23.06/23.17 c | 74308 | 675 86174 225942 | 2147483647 74307 38 | 0.148 % |
23.25/23.33 c | 74566 | 675 86174 225942 | 2147483647 74565 38 | 0.162 % |
23.35/23.47 c | 74850 | 675 86174 225942 | 2147483647 74849 38 | 0.148 % |
23.55/23.63 c | 75159 | 675 86174 225942 | 2147483647 75158 38 | 0.162 % |
23.75/23.81 c | 75498 | 675 86174 225942 | 2147483647 75497 38 | 0.162 % |
23.95/24.02 c | 75870 | 675 86174 225942 | 2147483647 75869 38 | 0.162 % |
24.16/24.22 c | 76279 | 675 86174 225942 | 2147483647 76278 38 | 0.148 % |
24.35/24.42 c | 76729 | 675 86174 225942 | 2147483647 76728 38 | 0.162 % |
24.55/24.67 c | 77222 | 675 86174 225942 | 2147483647 77221 38 | 0.162 % |
24.85/24.97 c | 77764 | 675 86174 225942 | 2147483647 77763 38 | 0.162 % |
25.26/25.30 c | 78363 | 675 86174 225942 | 2147483647 78362 38 | 0.163 % |
25.56/25.64 c | 79020 | 675 86174 225942 | 2147483647 79019 38 | 0.163 % |
25.96/26.08 c | 79740 | 675 86174 225942 | 2147483647 79739 38 | 0.148 % |
26.46/26.54 c | 80532 | 675 86174 225942 | 2147483647 80531 38 | 0.162 % |
26.86/26.99 c | 81403 | 675 86174 225942 | 2147483647 81402 39 | 0.148 % |
27.46/27.53 c | 82364 | 675 86174 225942 | 2147483647 82363 39 | 0.163 % |
27.46/27.58 c | 82464 | 675 86174 225942 | 2147483647 82463 39 | 0.163 % |
27.55/27.65 c | 82574 | 675 86174 225942 | 2147483647 82573 39 | 0.163 % |
27.65/27.74 c | 82697 | 675 86174 225942 | 2147483647 82696 39 | 0.148 % |
27.75/27.82 c | 82830 | 675 86174 225942 | 2147483647 82829 39 | 0.162 % |
27.85/27.93 c | 82976 | 675 86174 225942 | 2147483647 82975 39 | 0.148 % |
27.95/28.06 c | 83136 | 675 86174 225942 | 2147483647 83135 39 | 0.162 % |
28.05/28.20 c | 83317 | 675 86174 225942 | 2147483647 83316 39 | 0.162 % |
28.25/28.34 c | 83511 | 675 86174 225942 | 2147483647 83510 38 | 0.162 % |
28.35/28.46 c | 83724 | 675 86174 225942 | 2147483647 83723 39 | 0.148 % |
28.56/28.64 c | 83965 | 675 86174 225942 | 2147483647 83964 39 | 0.148 % |
28.75/28.83 c | 84221 | 675 86174 225942 | 2147483647 84220 39 | 0.162 % |
28.95/29.00 c | 84504 | 675 86174 225942 | 2147483647 84503 39 | 0.162 % |
29.05/29.19 c | 84813 | 675 86174 225942 | 2147483647 84812 39 | 0.148 % |
29.25/29.38 c | 85154 | 675 86174 225942 | 2147483647 85153 39 | 0.148 % |
29.56/29.61 c | 85527 | 675 86174 225942 | 2147483647 85526 39 | 0.163 % |
29.85/29.90 c | 85936 | 675 86174 225942 | 2147483647 85935 39 | 0.148 % |
30.05/30.19 c | 86386 | 675 86174 225942 | 2147483647 86385 39 | 0.162 % |
30.35/30.49 c | 86879 | 675 86174 225942 | 2147483647 86878 39 | 0.162 % |
30.75/30.84 c | 87422 | 675 86174 225942 | 2147483647 87421 39 | 0.162 % |
31.15/31.21 c | 88018 | 675 86174 225942 | 2147483647 88017 39 | 0.162 % |
31.55/31.65 c | 88676 | 675 86174 225942 | 2147483647 88675 39 | 0.148 % |
32.05/32.14 c | 89397 | 675 86174 225942 | 2147483647 89396 39 | 0.162 % |
32.55/32.67 c | 90190 | 675 86174 225942 | 2147483647 90189 39 | 0.162 % |
33.15/33.27 c | 91062 | 675 86174 225942 | 2147483647 91061 39 | 0.162 % |
33.85/33.97 c | 92023 | 675 86174 225942 | 2147483647 92022 39 | 0.148 % |
34.64/34.74 c | 93076 | 675 86174 225942 | 2147483647 93075 40 | 0.148 % |
34.74/34.81 c | 93176 | 675 86174 225942 | 2147483647 93175 40 | 0.148 % |
34.84/34.90 c | 93287 | 675 86174 225942 | 2147483647 93286 40 | 0.148 % |
34.84/35.00 c | 93408 | 675 86174 225942 | 2147483647 93407 40 | 0.148 % |
34.95/35.09 c | 93542 | 675 86174 225942 | 2147483647 93541 40 | 0.163 % |
35.15/35.23 c | 93688 | 675 86174 225942 | 2147483647 93687 40 | 0.148 % |
35.25/35.35 c | 93849 | 675 86174 225942 | 2147483647 93848 40 | 0.148 % |
35.45/35.50 c | 94028 | 675 86174 225942 | 2147483647 94027 40 | 0.162 % |
35.55/35.64 c | 94223 | 675 86174 225942 | 2147483647 94222 40 | 0.148 % |
35.65/35.79 c | 94436 | 675 86174 225942 | 2147483647 94435 40 | 0.163 % |
35.85/35.97 c | 94671 | 675 86174 225942 | 2147483647 94670 40 | 0.163 % |
36.05/36.16 c | 94929 | 675 86174 225942 | 2147483647 94928 40 | 0.163 % |
36.26/36.36 c | 95211 | 675 86174 225942 | 2147483647 95210 40 | 0.163 % |
36.45/36.60 c | 95524 | 675 86174 225942 | 2147483647 95523 40 | 0.163 % |
36.75/36.83 c | 95863 | 675 86174 225942 | 2147483647 95862 40 | 0.148 % |
37.05/37.11 c | 96239 | 675 86174 225942 | 2147483647 96238 40 | 0.148 % |
37.25/37.39 c | 96648 | 675 86174 225942 | 2147483647 96647 40 | 0.162 % |
37.65/37.73 c | 97099 | 675 86174 225942 | 2147483647 97098 40 | 0.162 % |
38.05/38.12 c | 97593 | 675 86174 225942 | 2147483647 97592 40 | 0.148 % |
38.35/38.43 c | 98135 | 675 86174 225942 | 2147483647 98134 40 | 0.148 % |
38.75/38.88 c | 98731 | 675 86174 225942 | 2147483647 98730 40 | 0.162 % |
39.25/39.36 c | 99386 | 675 86174 225942 | 2147483647 99385 40 | 0.162 % |
39.85/39.90 c | 100107 | 675 86174 225942 | 2147483647 100106 40 | 0.162 % |
40.45/40.57 c | 100900 | 675 86174 225942 | 2147483647 100899 40 | 0.162 % |
41.15/41.24 c | 101771 | 675 86174 225942 | 2147483647 101770 40 | 0.163 % |
41.85/41.96 c | 102732 | 675 86174 225942 | 2147483647 102731 40 | 0.163 % |
42.65/42.79 c | 103788 | 675 86174 225942 | 2147483647 103787 40 | 0.163 % |
43.45/43.57 c | 104949 | 675 86174 225942 | 2147483647 104948 40 | 0.162 % |
43.55/43.65 c | 105055 | 675 86174 225942 | 2147483647 105054 40 | 0.162 % |
43.65/43.74 c | 105165 | 675 86174 225942 | 2147483647 105164 40 | 0.148 % |
43.75/43.84 c | 105286 | 675 86174 225942 | 2147483647 105285 40 | 0.148 % |
43.85/43.95 c | 105423 | 675 86174 225942 | 2147483647 105422 40 | 0.162 % |
43.95/44.09 c | 105569 | 675 86174 225942 | 2147483647 105568 40 | 0.162 % |
44.14/44.20 c | 105729 | 675 86174 225942 | 2147483647 105728 40 | 0.148 % |
44.24/44.36 c | 105905 | 675 86174 225942 | 2147483647 105904 40 | 0.163 % |
44.44/44.50 c | 106099 | 675 86174 225942 | 2147483647 106098 40 | 0.163 % |
44.54/44.68 c | 106311 | 675 86174 225942 | 2147483647 106310 40 | 0.148 % |
44.74/44.86 c | 106544 | 675 86174 225942 | 2147483647 106543 40 | 0.163 % |
44.94/45.10 c | 106800 | 675 86174 225942 | 2147483647 106799 40 | 0.148 % |
45.24/45.34 c | 107081 | 675 86174 225942 | 2147483647 107080 40 | 0.148 % |
45.54/45.61 c | 107390 | 675 86174 225942 | 2147483647 107389 40 | 0.148 % |
45.84/45.94 c | 107730 | 675 86174 225942 | 2147483647 107729 40 | 0.162 % |
46.14/46.26 c | 108105 | 675 86174 225942 | 2147483647 108104 40 | 0.162 % |
46.53/46.62 c | 108515 | 675 86174 225942 | 2147483647 108514 40 | 0.162 % |
46.84/46.90 c | 108964 | 675 86174 225942 | 2147483647 108963 40 | 0.148 % |
47.25/47.35 c | 109459 | 675 86174 225942 | 2147483647 109458 40 | 0.162 % |
47.64/47.78 c | 110003 | 675 86174 225942 | 2147483647 110002 40 | 0.162 % |
48.25/48.36 c | 110600 | 675 86174 225942 | 2147483647 110599 40 | 0.148 % |
48.94/49.09 c | 111255 | 675 86174 225942 | 2147483647 111254 40 | 0.162 % |
49.74/49.81 c | 111977 | 675 86174 225942 | 2147483647 111976 40 | 0.162 % |
50.34/50.44 c | 112771 | 675 86174 225942 | 2147483647 112770 40 | 0.148 % |
51.14/51.24 c | 113643 | 675 86174 225942 | 2147483647 113642 40 | 0.162 % |
51.94/52.06 c | 114604 | 675 86174 225942 | 2147483647 114603 40 | 0.162 % |
52.94/53.02 c | 115657 | 675 86174 225942 | 2147483647 115656 40 | 0.163 % |
53.94/54.01 c | 116817 | 675 86174 225942 | 2147483647 116816 40 | 0.148 % |
55.14/55.21 c | 118092 | 675 86174 225942 | 2147483647 118091 40 | 0.163 % |
55.24/55.33 c | 118193 | 675 86174 225942 | 2147483647 118192 40 | 0.148 % |
55.34/55.42 c | 118305 | 675 86174 225942 | 2147483647 118304 40 | 0.148 % |
55.44/55.53 c | 118426 | 675 86174 225942 | 2147483647 118425 40 | 0.162 % |
55.54/55.66 c | 118560 | 675 86174 225942 | 2147483647 118559 40 | 0.162 % |
55.64/55.78 c | 118706 | 675 86174 225942 | 2147483647 118705 40 | 0.148 % |
55.84/55.95 c | 118866 | 675 86174 225942 | 2147483647 118865 40 | 0.162 % |
55.94/56.09 c | 119042 | 675 86174 225942 | 2147483647 119041 40 | 0.162 % |
56.14/56.24 c | 119236 | 675 86174 225942 | 2147483647 119235 40 | 0.148 % |
56.24/56.39 c | 119449 | 675 86174 225942 | 2147483647 119448 40 | 0.161 % |
56.53/56.60 c | 119684 | 675 86174 225942 | 2147483647 119683 40 | 0.162 % |
56.73/56.82 c | 119942 | 675 86174 225942 | 2147483647 119941 40 | 0.162 % |
56.93/57.08 c | 120225 | 675 86174 225942 | 119999 120224 40 | 0.162 % |
57.33/57.48 c | 120539 | 675 86174 225942 | 119999 104747 40 | 0.162 % |
57.63/57.76 c | 120880 | 675 86174 225942 | 119999 105088 40 | 0.148 % |
57.93/58.08 c | 121254 | 675 86174 225942 | 119999 105462 40 | 0.148 % |
58.24/58.38 c | 121668 | 675 86174 225942 | 119999 105876 40 | 0.162 % |
58.63/58.78 c | 122117 | 675 86174 225942 | 119999 106325 40 | 0.162 % |
59.13/59.27 c | 122610 | 675 86174 225942 | 119999 106818 40 | 0.162 % |
59.63/59.71 c | 123153 | 675 86174 225942 | 119999 107361 40 | 0.148 % |
60.03/60.19 c | 123749 | 675 86174 225942 | 119999 107957 40 | 0.163 % |
60.63/60.75 c | 124406 | 675 86174 225942 | 119999 108614 40 | 0.163 % |
61.13/61.27 c | 125128 | 675 86174 225942 | 119999 109336 39 | 0.163 % |
61.73/61.88 c | 125920 | 675 86174 225942 | 119999 110128 39 | 0.163 % |
62.54/62.62 c | 126794 | 675 86174 225942 | 119999 111002 39 | 0.163 % |
63.33/63.42 c | 127755 | 675 86174 225942 | 119999 111963 39 | 0.162 % |
64.13/64.29 c | 128809 | 675 86174 225942 | 119999 113017 39 | 0.162 % |
65.23/65.30 c | 129967 | 675 86174 225942 | 119999 114175 39 | 0.163 % |
66.43/66.55 c | 131244 | 675 86174 225942 | 114209 101204 39 | 0.162 % |
67.73/67.84 c | 132647 | 675 86174 225942 | 114209 102607 39 | 0.162 % |
67.83/67.95 c | 132747 | 675 86174 225942 | 114209 102707 39 | 0.162 % |
67.93/68.04 c | 132858 | 675 86174 225942 | 114209 102818 39 | 0.163 % |
68.03/68.15 c | 132982 | 675 86174 225942 | 114209 102942 39 | 0.163 % |
68.13/68.25 c | 133117 | 675 86174 225942 | 114209 103077 39 | 0.162 % |
68.23/68.38 c | 133266 | 675 86174 225942 | 114209 103226 39 | 0.163 % |
68.43/68.52 c | 133427 | 675 86174 225942 | 114209 103387 39 | 0.163 % |
68.53/68.68 c | 133603 | 675 86174 225942 | 114209 103563 39 | 0.163 % |
68.73/68.86 c | 133796 | 675 86174 225942 | 114209 103756 39 | 0.163 % |
68.93/69.07 c | 134016 | 675 86174 225942 | 114209 103976 39 | 0.163 % |
69.13/69.27 c | 134249 | 675 86174 225942 | 114209 104209 39 | 0.148 % |
69.43/69.50 c | 134507 | 675 86174 225942 | 114209 104467 39 | 0.162 % |
69.63/69.73 c | 134789 | 675 86174 225942 | 114209 104749 39 | 0.148 % |
69.83/70.00 c | 135098 | 675 86174 225942 | 114209 105058 39 | 0.162 % |
70.13/70.27 c | 135438 | 675 86174 225942 | 114209 105398 39 | 0.148 % |
70.53/70.66 c | 135811 | 675 86174 225942 | 114209 105771 39 | 0.161 % |
70.93/71.03 c | 136222 | 675 86174 225942 | 114209 106182 39 | 0.161 % |
71.33/71.41 c | 136672 | 675 86174 225942 | 114209 106632 39 | 0.161 % |
71.73/71.82 c | 137166 | 675 86174 225942 | 114209 107126 39 | 0.161 % |
72.23/72.32 c | 137709 | 675 86174 225942 | 114209 107669 39 | 0.162 % |
72.63/72.77 c | 138306 | 675 86174 225942 | 114209 108266 39 | 0.162 % |
73.23/73.39 c | 138963 | 675 86174 225942 | 114209 108923 39 | 0.164 % |
73.92/74.03 c | 139685 | 675 86174 225942 | 114209 109645 39 | 0.163 % |
74.73/74.89 c | 140478 | 675 86174 225942 | 109962 96860 38 | 0.163 % |
75.52/75.61 c | 141349 | 675 86174 225942 | 109962 97731 38 | 0.162 % |
76.32/76.43 c | 142308 | 675 86174 225942 | 109962 98690 38 | 0.164 % |
77.12/77.24 c | 143362 | 675 86174 225942 | 109962 99744 38 | 0.164 % |
78.13/78.21 c | 144521 | 675 86174 225942 | 109962 100903 38 | 0.164 % |
79.13/79.27 c | 145794 | 675 86174 225942 | 109962 102176 39 | 0.148 % |
80.42/80.50 c | 147194 | 675 86174 225942 | 109962 103576 39 | 0.162 % |
81.72/81.83 c | 148736 | 675 86174 225942 | 109962 105118 39 | 0.162 % |
81.82/81.91 c | 148838 | 675 86174 225942 | 109962 105220 39 | 0.162 % |
81.92/82.00 c | 148948 | 675 86174 225942 | 109962 105330 39 | 0.162 % |
82.02/82.12 c | 149070 | 675 86174 225942 | 109962 105452 39 | 0.162 % |
82.12/82.25 c | 149205 | 675 86174 225942 | 109962 105587 39 | 0.148 % |
82.22/82.38 c | 149351 | 675 86174 225942 | 109962 105733 39 | 0.148 % |
82.43/82.53 c | 149511 | 675 86174 225942 | 109962 105893 39 | 0.162 % |
82.52/82.64 c | 149690 | 675 86174 225942 | 109962 106072 39 | 0.148 % |
82.62/82.78 c | 149884 | 675 86174 225942 | 109962 106266 39 | 0.162 % |
82.82/82.95 c | 150096 | 675 86174 225942 | 106384 106478 39 | 0.163 % |
83.12/83.25 c | 150329 | 675 86174 225942 | 106384 93786 39 | 0.148 % |
83.43/83.51 c | 150586 | 675 86174 225942 | 106384 94043 39 | 0.162 % |
83.62/83.73 c | 150867 | 675 86174 225942 | 106384 94324 39 | 0.148 % |
83.82/83.98 c | 151176 | 675 86174 225942 | 106384 94633 39 | 0.148 % |
84.12/84.27 c | 151517 | 675 86174 225942 | 106384 94974 39 | 0.148 % |
84.42/84.60 c | 151891 | 675 86174 225942 | 106384 95348 39 | 0.148 % |
84.82/84.97 c | 152301 | 675 86174 225942 | 106384 95758 39 | 0.148 % |
85.22/85.39 c | 152750 | 675 86174 225942 | 106384 96207 39 | 0.162 % |
85.72/85.84 c | 153244 | 675 86174 225942 | 106384 96701 39 | 0.162 % |
86.22/86.34 c | 153787 | 675 86174 225942 | 106384 97244 39 | 0.148 % |
86.62/86.78 c | 154384 | 675 86174 225942 | 106384 97841 39 | 0.162 % |
87.22/87.30 c | 155039 | 675 86174 225942 | 106384 98496 39 | 0.162 % |
87.72/87.87 c | 155761 | 675 86174 225942 | 106384 99218 39 | 0.148 % |
88.42/88.59 c | 156554 | 675 86174 225942 | 106384 100011 39 | 0.148 % |
89.22/89.39 c | 157425 | 675 86174 225942 | 106384 100882 40 | 0.148 % |
90.23/90.31 c | 158384 | 675 86174 225942 | 106384 101841 40 | 0.162 % |
91.13/91.22 c | 159438 | 675 86174 225942 | 106384 102895 40 | 0.162 % |
92.13/92.25 c | 160597 | 675 86174 225942 | 103459 91001 39 | 0.162 % |
93.23/93.30 c | 161871 | 675 86174 225942 | 103459 92275 39 | 0.148 % |
94.43/94.51 c | 163272 | 675 86174 225942 | 103459 93676 39 | 0.148 % |
95.73/95.88 c | 164813 | 675 86174 225942 | 103459 95217 39 | 0.162 % |
97.33/97.42 c | 166507 | 675 86174 225942 | 103459 96911 39 | 0.148 % |
97.43/97.51 c | 166607 | 675 86174 225942 | 103459 97011 39 | 0.148 % |
97.53/97.63 c | 166718 | 675 86174 225942 | 103459 97122 39 | 0.148 % |
97.63/97.75 c | 166840 | 675 86174 225942 | 103459 97244 39 | 0.162 % |
97.73/97.88 c | 166973 | 675 86174 225942 | 103459 97377 39 | 0.162 % |
97.83/97.98 c | 167121 | 675 86174 225942 | 103459 97525 39 | 0.162 % |
97.93/98.09 c | 167282 | 675 86174 225942 | 103459 97686 39 | 0.162 % |
98.13/98.21 c | 167460 | 675 86174 225942 | 103459 97864 39 | 0.162 % |
98.23/98.38 c | 167653 | 675 86174 225942 | 103459 98057 39 | 0.161 % |
98.43/98.56 c | 167865 | 675 86174 225942 | 103459 98269 39 | 0.162 % |
98.63/98.75 c | 168098 | 675 86174 225942 | 103459 98502 39 | 0.163 % |
98.83/98.94 c | 168355 | 675 86174 225942 | 103459 98759 39 | 0.148 % |
99.02/99.12 c | 168636 | 675 86174 225942 | 103459 99040 39 | 0.148 % |
99.22/99.39 c | 168945 | 675 86174 225942 | 103459 99349 39 | 0.163 % |
99.62/99.72 c | 169285 | 675 86174 225942 | 103459 99689 39 | 0.162 % |
99.93/100.04 c | 169658 | 675 86174 225942 | 103459 100062 39 | 0.162 % |
100.22/100.40 c | 170068 | 675 86174 225942 | 100406 100472 39 | 0.164 % |
100.72/100.83 c | 170519 | 675 86174 225942 | 100406 88190 38 | 0.148 % |
101.03/101.18 c | 171015 | 675 86174 225942 | 100406 88686 38 | 0.148 % |
101.62/101.71 c | 171558 | 675 86174 225942 | 100406 89229 38 | 0.148 % |
102.02/102.14 c | 172154 | 675 86174 225942 | 100406 89825 39 | 0.148 % |
102.52/102.65 c | 172810 | 675 86174 225942 | 100406 90481 39 | 0.162 % |
103.12/103.24 c | 173531 | 675 86174 225942 | 100406 91202 39 | 0.161 % |
103.72/103.85 c | 174323 | 675 86174 225942 | 100406 91994 39 | 0.148 % |
104.42/104.55 c | 175194 | 675 86174 225942 | 100406 92865 39 | 0.148 % |
105.22/105.32 c | 176153 | 675 86174 225942 | 100406 93824 39 | 0.162 % |
105.92/106.04 c | 177207 | 675 86174 225942 | 100406 94878 39 | 0.162 % |
107.02/107.18 c | 178369 | 675 86174 225942 | 100406 96040 39 | 0.148 % |
108.12/108.30 c | 179644 | 675 86174 225942 | 100406 97315 39 | 0.163 % |
109.42/109.56 c | 181044 | 675 86174 225942 | 97673 87056 38 | 0.148 % |
110.52/110.68 c | 182585 | 675 86174 225942 | 97673 88597 39 | 0.148 % |
112.02/112.15 c | 184285 | 675 86174 225942 | 97673 90297 40 | 0.148 % |
113.61/113.73 c | 186148 | 675 86174 225942 | 97673 92160 40 | 0.162 % |
113.71/113.83 c | 186249 | 675 86174 225942 | 97673 92261 40 | 0.162 % |
113.81/113.91 c | 186360 | 675 86174 225942 | 97673 92372 40 | 0.162 % |
113.81/113.98 c | 186481 | 675 86174 225942 | 97673 92493 40 | 0.162 % |
114.01/114.12 c | 186618 | 675 86174 225942 | 97673 92630 40 | 0.162 % |
114.11/114.26 c | 186766 | 675 86174 225942 | 97673 92778 40 | 0.148 % |
114.32/114.41 c | 186931 | 675 86174 225942 | 97673 92943 40 | 0.162 % |
114.41/114.58 c | 187107 | 675 86174 225942 | 97673 93119 40 | 0.163 % |
114.61/114.76 c | 187301 | 675 86174 225942 | 97673 93313 40 | 0.164 % |
114.81/114.90 c | 187513 | 675 86174 225942 | 97673 93525 40 | 0.164 % |
115.01/115.15 c | 187747 | 675 86174 225942 | 97673 93759 40 | 0.148 % |
115.32/115.40 c | 188005 | 675 86174 225942 | 97673 94017 40 | 0.173 % |
115.51/115.64 c | 188287 | 675 86174 225942 | 97673 94299 40 | 0.148 % |
115.71/115.88 c | 188597 | 675 86174 225942 | 97673 94609 40 | 0.148 % |
116.11/116.22 c | 188937 | 675 86174 225942 | 97673 94949 40 | 0.148 % |
116.42/116.58 c | 189311 | 675 86174 225942 | 97673 95323 40 | 0.148 % |
116.91/117.01 c | 189720 | 675 86174 225942 | 97673 95732 40 | 0.163 % |
117.31/117.45 c | 190169 | 675 86174 225942 | 96013 96181 40 | 0.163 % |
117.91/118.03 c | 190667 | 675 86174 225942 | 96013 85251 40 | 0.148 % |
118.41/118.57 c | 191209 | 675 86174 225942 | 96013 85793 40 | 0.162 % |
118.91/119.08 c | 191805 | 675 86174 225942 | 96013 86389 40 | 0.163 % |
119.51/119.62 c | 192460 | 675 86174 225942 | 96013 87044 40 | 0.163 % |
120.01/120.16 c | 193180 | 675 86174 225942 | 96013 87764 40 | 0.163 % |
120.81/120.91 c | 193972 | 675 86174 225942 | 96013 88556 40 | 0.162 % |
121.51/121.63 c | 194843 | 675 86174 225942 | 96013 89427 40 | 0.163 % |
122.31/122.40 c | 195803 | 675 86174 225942 | 96013 90387 40 | 0.148 % |
123.21/123.32 c | 196856 | 675 86174 225942 | 96013 91440 40 | 0.163 % |
124.11/124.28 c | 198018 | 675 86174 225942 | 96013 92602 40 | 0.163 % |
125.11/125.22 c | 199291 | 675 86174 225942 | 96013 93875 40 | 0.148 % |
126.51/126.65 c | 200691 | 675 86174 225942 | 94585 82335 41 | 0.162 % |
127.81/127.94 c | 202232 | 675 86174 225942 | 94585 83876 41 | 0.162 % |
129.21/129.37 c | 203928 | 675 86174 225942 | 94585 85572 41 | 0.162 % |
130.60/130.77 c | 205792 | 675 86174 225942 | 94585 87436 41 | 0.162 % |
132.50/132.66 c | 207843 | 675 86174 225942 | 94585 89487 41 | 0.162 % |
132.60/132.76 c | 207943 | 675 86174 225942 | 94585 89587 41 | 0.162 % |
132.70/132.86 c | 208055 | 675 86174 225942 | 94585 89699 41 | 0.162 % |
132.80/132.95 c | 208177 | 675 86174 225942 | 94585 89821 41 | 0.148 % |
132.91/133.06 c | 208310 | 675 86174 225942 | 94585 89954 41 | 0.148 % |
133.01/133.19 c | 208464 | 675 86174 225942 | 94585 90108 41 | 0.162 % |
133.20/133.30 c | 208625 | 675 86174 225942 | 94585 90269 41 | 0.162 % |
133.30/133.45 c | 208803 | 675 86174 225942 | 94585 90447 41 | 0.162 % |
133.50/133.60 c | 208998 | 675 86174 225942 | 94585 90642 41 | 0.162 % |
133.60/133.79 c | 209210 | 675 86174 225942 | 94585 90854 41 | 0.162 % |
133.90/134.05 c | 209443 | 675 86174 225942 | 94585 91087 41 | 0.162 % |
134.20/134.36 c | 209700 | 675 86174 225942 | 94585 91344 41 | 0.162 % |
134.50/134.65 c | 209981 | 675 86174 225942 | 94585 91625 41 | 0.163 % |
134.80/134.96 c | 210290 | 675 86174 225942 | 91645 91934 40 | 0.163 % |
135.20/135.38 c | 210631 | 675 86174 225942 | 91645 79741 41 | 0.162 % |
135.60/135.72 c | 211003 | 675 86174 225942 | 91645 80113 41 | 0.162 % |
135.90/136.06 c | 211415 | 675 86174 225942 | 91645 80525 42 | 0.148 % |
136.30/136.43 c | 211865 | 675 86174 225942 | 91645 80975 42 | 0.148 % |
136.80/136.90 c | 212360 | 675 86174 225942 | 91645 81470 41 | 0.148 % |
137.20/137.40 c | 212903 | 675 86174 225942 | 91645 82013 41 | 0.163 % |
137.90/138.03 c | 213499 | 675 86174 225942 | 91645 82609 41 | 0.162 % |
138.40/138.58 c | 214155 | 675 86174 225942 | 91645 83265 41 | 0.162 % |
139.00/139.16 c | 214877 | 675 86174 225942 | 91645 83987 41 | 0.162 % |
139.70/139.85 c | 215670 | 675 86174 225942 | 91645 84780 41 | 0.162 % |
140.40/140.58 c | 216541 | 675 86174 225942 | 91645 85651 41 | 0.162 % |
141.20/141.31 c | 217500 | 675 86174 225942 | 91645 86610 41 | 0.148 % |
142.00/142.18 c | 218554 | 675 86174 225942 | 91645 87664 42 | 0.148 % |
143.10/143.28 c | 219712 | 675 86174 225942 | 91645 88822 42 | 0.148 % |
144.30/144.45 c | 220986 | 675 86174 225942 | 89110 77394 42 | 0.148 % |
145.50/145.66 c | 222386 | 675 86174 225942 | 89110 78794 42 | 0.162 % |
146.70/146.85 c | 223928 | 675 86174 225942 | 89110 80336 42 | 0.162 % |
148.19/148.32 c | 225623 | 675 86174 225942 | 89110 82031 42 | 0.163 % |
149.89/150.01 c | 227487 | 675 86174 225942 | 89110 83895 42 | 0.163 % |
151.60/151.76 c | 229540 | 675 86174 225942 | 89110 85948 42 | 0.163 % |
153.80/153.91 c | 231794 | 675 86174 225942 | 86408 76039 42 | 0.148 % |
153.90/154.01 c | 231899 | 675 86174 225942 | 86408 76144 42 | 0.164 % |
153.99/154.14 c | 232009 | 675 86174 225942 | 86408 76254 42 | 0.162 % |
154.09/154.27 c | 232130 | 675 86174 225942 | 86408 76375 42 | 0.148 % |
154.19/154.38 c | 232268 | 675 86174 225942 | 86408 76513 42 | 0.162 % |
154.39/154.51 c | 232414 | 675 86174 225942 | 86408 76659 42 | 0.162 % |
154.49/154.67 c | 232575 | 675 86174 225942 | 86408 76820 42 | 0.162 % |
154.69/154.85 c | 232752 | 675 86174 225942 | 86408 76997 42 | 0.148 % |
154.89/155.03 c | 232945 | 675 86174 225942 | 86408 77190 42 | 0.148 % |
155.09/155.20 c | 233161 | 675 86174 225942 | 86408 77406 42 | 0.162 % |
155.29/155.42 c | 233397 | 675 86174 225942 | 86408 77642 42 | 0.162 % |
155.49/155.63 c | 233655 | 675 86174 225942 | 86408 77900 42 | 0.163 % |
155.69/155.88 c | 233937 | 675 86174 225942 | 86408 78182 42 | 0.163 % |
155.99/156.17 c | 234251 | 675 86174 225942 | 86408 78496 42 | 0.148 % |
156.39/156.52 c | 234592 | 675 86174 225942 | 86408 78837 42 | 0.148 % |
156.69/156.80 c | 234965 | 675 86174 225942 | 86408 79210 42 | 0.148 % |
156.99/157.18 c | 235375 | 675 86174 225942 | 86408 79620 42 | 0.162 % |
157.39/157.60 c | 235824 | 675 86174 225942 | 86408 80069 42 | 0.148 % |
157.89/158.08 c | 236317 | 675 86174 225942 | 86408 80562 42 | 0.162 % |
158.39/158.58 c | 236862 | 675 86174 225942 | 86408 81107 42 | 0.162 % |
158.89/159.05 c | 237458 | 675 86174 225942 | 86408 81703 42 | 0.148 % |
159.59/159.72 c | 238116 | 675 86174 225942 | 86408 82361 42 | 0.162 % |
160.19/160.38 c | 238837 | 675 86174 225942 | 86408 83082 42 | 0.163 % |
160.89/161.03 c | 239631 | 675 86174 225942 | 86408 83876 42 | 0.163 % |
161.68/161.85 c | 240503 | 675 86174 225942 | 84246 72346 40 | 0.163 % |
162.48/162.65 c | 241461 | 675 86174 225942 | 84246 73304 41 | 0.148 % |
163.39/163.56 c | 242516 | 675 86174 225942 | 84246 74359 40 | 0.162 % |
164.28/164.40 c | 243675 | 675 86174 225942 | 84246 75518 41 | 0.148 % |
165.38/165.58 c | 244948 | 675 86174 225942 | 84246 76791 41 | 0.148 % |
166.78/166.92 c | 246352 | 675 86174 225942 | 84246 78195 41 | 0.163 % |
168.38/168.55 c | 247892 | 675 86174 225942 | 84246 79735 41 | 0.163 % |
169.98/170.19 c | 249588 | 675 86174 225942 | 84246 81431 41 | 0.163 % |
171.88/172.05 c | 251451 | 675 86174 225942 | 81845 71222 41 | 0.148 % |
173.78/173.97 c | 253504 | 675 86174 225942 | 81845 73275 41 | 0.148 % |
175.88/176.05 c | 255757 | 675 86174 225942 | 81845 75528 41 | 0.148 % |
178.28/178.45 c | 258241 | 675 86174 225942 | 81845 78012 41 | 0.163 % |
178.38/178.58 c | 258341 | 675 86174 225942 | 81845 78112 41 | 0.163 % |
178.48/178.70 c | 258453 | 675 86174 225942 | 81845 78224 41 | 0.163 % |
178.68/178.83 c | 258574 | 675 86174 225942 | 81845 78345 41 | 0.163 % |
178.78/178.99 c | 258707 | 675 86174 225942 | 81845 78478 41 | 0.148 % |
178.88/179.09 c | 258853 | 675 86174 225942 | 81845 78624 41 | 0.148 % |
179.08/179.22 c | 259014 | 675 86174 225942 | 81845 78785 41 | 0.149 % |
179.28/179.41 c | 259194 | 675 86174 225942 | 81845 78965 41 | 0.148 % |
179.38/179.58 c | 259389 | 675 86174 225942 | 81845 79160 41 | 0.162 % |
179.68/179.81 c | 259604 | 675 86174 225942 | 81845 79375 41 | 0.164 % |
179.88/180.03 c | 259837 | 675 86174 225942 | 81845 79608 41 | 0.148 % |
180.08/180.25 c | 260093 | 675 86174 225942 | 79772 79864 41 | 0.163 % |
180.48/180.63 c | 260375 | 675 86174 225942 | 79772 68152 41 | 0.148 % |
180.78/180.94 c | 260686 | 675 86174 225942 | 79772 68463 41 | 0.148 % |
181.08/181.23 c | 261027 | 675 86174 225942 | 79772 68804 42 | 0.162 % |
181.38/181.55 c | 261403 | 675 86174 225942 | 79772 69180 42 | 0.148 % |
181.78/181.97 c | 261815 | 675 86174 225942 | 79772 69592 42 | 0.148 % |
182.28/182.40 c | 262266 | 675 86174 225942 | 79772 70043 42 | 0.148 % |
182.68/182.84 c | 262763 | 675 86174 225942 | 79772 70540 42 | 0.162 % |
183.18/183.31 c | 263305 | 675 86174 225942 | 79772 71082 42 | 0.162 % |
183.68/183.82 c | 263901 | 675 86174 225942 | 79772 71678 42 | 0.162 % |
184.18/184.37 c | 264557 | 675 86174 225942 | 79772 72334 42 | 0.163 % |
184.87/185.05 c | 265278 | 675 86174 225942 | 79772 73055 42 | 0.148 % |
185.57/185.78 c | 266076 | 675 86174 225942 | 79772 73853 42 | 0.162 % |
186.37/186.59 c | 266950 | 675 86174 225942 | 79772 74727 42 | 0.148 % |
187.27/187.49 c | 267908 | 675 86174 225942 | 79772 75685 42 | 0.148 % |
188.37/188.50 c | 268961 | 675 86174 225942 | 79772 76738 42 | 0.162 % |
189.38/189.54 c | 270119 | 675 86174 225942 | 77777 77896 42 | 0.162 % |
190.57/190.73 c | 271394 | 675 86174 225942 | 77777 68053 42 | 0.148 % |
191.78/191.95 c | 272796 | 675 86174 225942 | 77777 69455 41 | 0.162 % |
193.28/193.45 c | 274339 | 675 86174 225942 | 77777 70998 42 | 0.162 % |
194.68/194.87 c | 276034 | 675 86174 225942 | 77777 72693 41 | 0.163 % |
196.38/196.53 c | 277897 | 675 86174 225942 | 77777 74556 42 | 0.148 % |
198.28/198.45 c | 279946 | 675 86174 225942 | 77777 76605 42 | 0.162 % |
200.38/200.59 c | 282202 | 675 86174 225942 | 76659 67710 41 | 0.162 % |
202.68/202.81 c | 284680 | 675 86174 225942 | 76659 70188 41 | 0.148 % |
205.28/205.43 c | 287406 | 675 86174 225942 | 76659 72914 41 | 0.164 % |
205.38/205.53 c | 287510 | 675 86174 225942 | 76659 73018 41 | 0.163 % |
205.48/205.69 c | 287621 | 675 86174 225942 | 76659 73129 41 | 0.148 % |
205.68/205.84 c | 287745 | 675 86174 225942 | 76659 73253 41 | 0.148 % |
205.77/205.95 c | 287880 | 675 86174 225942 | 76659 73388 41 | 0.162 % |
205.98/206.12 c | 288029 | 675 86174 225942 | 76659 73537 41 | 0.162 % |
206.07/206.29 c | 288190 | 675 86174 225942 | 76659 73698 41 | 0.148 % |
206.27/206.46 c | 288369 | 675 86174 225942 | 76659 73877 41 | 0.148 % |
206.47/206.65 c | 288563 | 675 86174 225942 | 76659 74071 41 | 0.163 % |
206.68/206.85 c | 288775 | 675 86174 225942 | 76659 74283 41 | 0.148 % |
206.87/207.10 c | 289009 | 675 86174 225942 | 76659 74517 41 | 0.148 % |
207.17/207.35 c | 289267 | 675 86174 225942 | 76659 74775 41 | 0.149 % |
207.47/207.61 c | 289549 | 675 86174 225942 | 76659 75057 41 | 0.148 % |
207.78/207.91 c | 289862 | 675 86174 225942 | 76659 75370 41 | 0.148 % |
208.27/208.41 c | 290202 | 675 86174 225942 | 75511 64131 41 | 0.148 % |
208.57/208.76 c | 290578 | 675 86174 225942 | 75511 64507 41 | 0.148 % |
208.97/209.10 c | 290989 | 675 86174 225942 | 75511 64918 41 | 0.148 % |
209.37/209.52 c | 291440 | 675 86174 225942 | 75511 65369 41 | 0.148 % |
209.77/210.00 c | 291934 | 675 86174 225942 | 75511 65863 41 | 0.148 % |
210.27/210.46 c | 292477 | 675 86174 225942 | 75511 66406 41 | 0.148 % |
210.87/211.00 c | 293073 | 675 86174 225942 | 75511 67002 41 | 0.163 % |
211.37/211.58 c | 293733 | 675 86174 225942 | 75511 67662 41 | 0.148 % |
212.07/212.24 c | 294456 | 675 86174 225942 | 75511 68385 41 | 0.148 % |
212.77/212.99 c | 295252 | 675 86174 225942 | 75511 69181 41 | 0.162 % |
213.67/213.82 c | 296123 | 675 86174 225942 | 75511 70052 41 | 0.162 % |
214.37/214.59 c | 297084 | 675 86174 225942 | 75511 71013 41 | 0.148 % |
215.47/215.65 c | 298139 | 675 86174 225942 | 75511 72068 42 | 0.148 % |
216.67/216.86 c | 299299 | 675 86174 225942 | 75511 73228 41 | 0.163 % |
217.17/217.32 c ===============================================================================
217.17/217.32 c restarts : 695
217.17/217.32 c conflicts : 299748 (1381 /sec)
217.17/217.32 c decisions : 581896 (1.11 % random) (2682 /sec)
217.17/217.32 c propagations : 34213049 (157680 /sec)
217.17/217.32 c conflict literals : 12733641 (42.51 % deleted)
217.17/217.32 c Memory used : 28.63 MB
217.17/217.32 c CPU time : 216.978 s
217.17/217.32 c
217.17/217.32 s SATISFIABLE
217.17/217.33 s SATISFIABLE
217.17/217.33 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:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832115-1242769188/watcher-1832115-1242769188 -o /tmp/evaluation-result-1832115-1242769188/solver-1832115-1242769188 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832115-1242769188.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 0.94 3/64 6781
/proc/meminfo: memFree=1906824/2055920 swapFree=4180424/4192956
[pid=6781] ppid=6779 vsize=5356 CPUtime=0
/proc/6781/stat : 6781 (SatELiteGTI) S 6779 6781 6563 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304952381 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6781/statm: 1339 237 197 169 0 50 0
[startup+0.047482 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 6781
/proc/meminfo: memFree=1906824/2055920 swapFree=4180424/4192956
[pid=6781] ppid=6779 vsize=5356 CPUtime=0
/proc/6781/stat : 6781 (SatELiteGTI) S 6779 6781 6563 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304952381 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6781/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101486 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 6781
/proc/meminfo: memFree=1906824/2055920 swapFree=4180424/4192956
[pid=6781] ppid=6779 vsize=5356 CPUtime=0
/proc/6781/stat : 6781 (SatELiteGTI) S 6779 6781 6563 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304952381 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6781/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301512 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 6781
/proc/meminfo: memFree=1906824/2055920 swapFree=4180424/4192956
[pid=6781] ppid=6779 vsize=5356 CPUtime=0.12
/proc/6781/stat : 6781 (SatELiteGTI) S 6779 6781 6563 0 -1 4194304 336 1529 0 0 0 0 10 2 16 0 1 0 304952381 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6781/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 5356
[startup+0.702557 s]
/proc/loadavg: 1.00 1.00 0.94 3/64 6781
/proc/meminfo: memFree=1906824/2055920 swapFree=4180424/4192956
[pid=6781] ppid=6779 vsize=5356 CPUtime=0.12
/proc/6781/stat : 6781 (SatELiteGTI) S 6779 6781 6563 0 -1 4194304 336 1529 0 0 0 0 10 2 16 0 1 0 304952381 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6781/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 5356
[startup+1.50263 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 6787
/proc/meminfo: memFree=1899384/2055920 swapFree=4180424/4192956
[pid=6781] ppid=6779 vsize=5356 CPUtime=0.12
/proc/6781/stat : 6781 (SatELiteGTI) S 6779 6781 6563 0 -1 4194304 336 1529 0 0 0 0 10 2 16 0 1 0 304952381 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6781/statm: 1339 239 197 169 0 50 0
[pid=6787] ppid=6781 vsize=7240 CPUtime=1.35
/proc/6787/stat : 6787 (minisat_static) R 6781 6781 6563 0 -1 4194304 1700 0 0 0 134 1 0 0 25 0 1 0 304952394 7413760 1686 1992294400 134512640 135215339 4294956240 18446744073709551615 134528726 0 0 4096 3 0 0 0 17 1 0 0
/proc/6787/statm: 1810 1686 77 171 0 1637 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12596
[startup+3.1018 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 6787
/proc/meminfo: memFree=1898168/2055920 swapFree=4180424/4192956
[pid=6781] ppid=6779 vsize=5356 CPUtime=0.12
/proc/6781/stat : 6781 (SatELiteGTI) S 6779 6781 6563 0 -1 4194304 336 1529 0 0 0 0 10 2 16 0 1 0 304952381 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6781/statm: 1339 239 197 169 0 50 0
[pid=6787] ppid=6781 vsize=8940 CPUtime=2.95
/proc/6787/stat : 6787 (minisat_static) R 6781 6781 6563 0 -1 4194304 2107 0 0 0 294 1 0 0 25 0 1 0 304952394 9154560 2093 1992294400 134512640 135215339 4294956240 18446744073709551615 134528688 0 0 4096 3 0 0 0 17 1 0 0
/proc/6787/statm: 2235 2093 77 171 0 2062 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 14296
[startup+6.30113 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 6787
/proc/meminfo: memFree=1895160/2055920 swapFree=4180424/4192956
[pid=6781] ppid=6779 vsize=5356 CPUtime=0.12
/proc/6781/stat : 6781 (SatELiteGTI) S 6779 6781 6563 0 -1 4194304 336 1529 0 0 0 0 10 2 16 0 1 0 304952381 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6781/statm: 1339 239 197 169 0 50 0
[pid=6787] ppid=6781 vsize=11216 CPUtime=6.15
/proc/6787/stat : 6787 (minisat_static) R 6781 6781 6563 0 -1 4194304 2678 0 0 0 613 2 0 0 25 0 1 0 304952394 11485184 2664 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/6787/statm: 2804 2664 77 171 0 2631 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 16572
[startup+12.7018 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 6787
/proc/meminfo: memFree=1891128/2055920 swapFree=4180424/4192956
[pid=6781] ppid=6779 vsize=5356 CPUtime=0.12
/proc/6781/stat : 6781 (SatELiteGTI) S 6779 6781 6563 0 -1 4194304 336 1529 0 0 0 0 10 2 16 0 1 0 304952381 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6781/statm: 1339 239 197 169 0 50 0
[pid=6787] ppid=6781 vsize=14992 CPUtime=12.55
/proc/6787/stat : 6787 (minisat_static) R 6781 6781 6563 0 -1 4194304 3640 0 0 0 1251 4 0 0 25 0 1 0 304952394 15351808 3626 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6787/statm: 3748 3626 77 171 0 3575 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 20348
[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 6787
/proc/meminfo: memFree=1885816/2055920 swapFree=4180424/4192956
[pid=6781] ppid=6779 vsize=5356 CPUtime=0.12
/proc/6781/stat : 6781 (SatELiteGTI) S 6779 6781 6563 0 -1 4194304 336 1529 0 0 0 0 10 2 16 0 1 0 304952381 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6781/statm: 1339 239 197 169 0 50 0
[pid=6787] ppid=6781 vsize=20132 CPUtime=25.34
/proc/6787/stat : 6787 (minisat_static) R 6781 6781 6563 0 -1 4194304 4896 0 0 0 2528 6 0 0 25 0 1 0 304952394 20615168 4882 1992294400 134512640 135215339 4294956240 18446744073709551615 134721303 0 0 4096 3 0 0 0 17 1 0 0
/proc/6787/statm: 5033 4882 77 171 0 4860 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 25488
[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 6787
/proc/meminfo: memFree=1878136/2055920 swapFree=4180424/4192956
[pid=6781] ppid=6779 vsize=5356 CPUtime=0.12
/proc/6781/stat : 6781 (SatELiteGTI) S 6779 6781 6563 0 -1 4194304 336 1529 0 0 0 0 10 2 16 0 1 0 304952381 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6781/statm: 1339 239 197 169 0 50 0
[pid=6787] ppid=6781 vsize=27712 CPUtime=50.92
/proc/6787/stat : 6787 (minisat_static) R 6781 6781 6563 0 -1 4194304 6803 0 0 0 5084 8 0 0 25 0 1 0 304952394 28377088 6789 1992294400 134512640 135215339 4294956240 18446744073709551615 134528688 0 0 4096 3 0 0 0 17 1 0 0
/proc/6787/statm: 6928 6789 77 171 0 6755 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 33068
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 6787
/proc/meminfo: memFree=1876600/2055920 swapFree=4180424/4192956
[pid=6781] ppid=6779 vsize=5356 CPUtime=0.12
/proc/6781/stat : 6781 (SatELiteGTI) S 6779 6781 6563 0 -1 4194304 336 1529 0 0 0 0 10 2 16 0 1 0 304952381 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6781/statm: 1339 239 197 169 0 50 0
[pid=6787] ppid=6781 vsize=29180 CPUtime=102.11
/proc/6787/stat : 6787 (minisat_static) R 6781 6781 6563 0 -1 4194304 7150 0 0 0 10202 9 0 0 25 0 1 0 304952394 29880320 7136 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6787/statm: 7295 7136 77 171 0 7122 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 34536
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 6789
/proc/meminfo: memFree=1876216/2055920 swapFree=4180424/4192956
[pid=6781] ppid=6779 vsize=5356 CPUtime=0.12
/proc/6781/stat : 6781 (SatELiteGTI) S 6779 6781 6563 0 -1 4194304 336 1529 0 0 0 0 10 2 16 0 1 0 304952381 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6781/statm: 1339 239 197 169 0 50 0
[pid=6787] ppid=6781 vsize=29180 CPUtime=162.06
/proc/6787/stat : 6787 (minisat_static) R 6781 6781 6563 0 -1 4194304 7174 0 0 0 16197 9 0 0 25 0 1 0 304952394 29880320 7160 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6787/statm: 7295 7160 77 171 0 7122 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 34536
Solver just ended. Dumping a history of the last processes samples
[startup+179.102 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 6789
/proc/meminfo: memFree=1876216/2055920 swapFree=4180424/4192956
[pid=6781] ppid=6779 vsize=5356 CPUtime=0.12
/proc/6781/stat : 6781 (SatELiteGTI) S 6779 6781 6563 0 -1 4194304 336 1529 0 0 0 0 10 2 16 0 1 0 304952381 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6781/statm: 1339 239 197 169 0 50 0
[pid=6787] ppid=6781 vsize=29316 CPUtime=178.86
/proc/6787/stat : 6787 (minisat_static) R 6781 6781 6563 0 -1 4194304 7180 0 0 0 17877 9 0 0 25 0 1 0 304952394 30019584 7166 1992294400 134512640 135215339 4294956240 18446744073709551615 134528793 0 0 4096 3 0 0 0 17 1 0 0
/proc/6787/statm: 7329 7166 77 171 0 7156 0
Current children cumulated CPU time (s) 178.98
Current children cumulated vsize (KiB) 34672
[startup+204.702 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 6789
/proc/meminfo: memFree=1876152/2055920 swapFree=4180424/4192956
[pid=6781] ppid=6779 vsize=5356 CPUtime=0.12
/proc/6781/stat : 6781 (SatELiteGTI) S 6779 6781 6563 0 -1 4194304 336 1529 0 0 0 0 10 2 16 0 1 0 304952381 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6781/statm: 1339 239 197 169 0 50 0
[pid=6787] ppid=6781 vsize=29316 CPUtime=204.46
/proc/6787/stat : 6787 (minisat_static) R 6781 6781 6563 0 -1 4194304 7201 0 0 0 20436 10 0 0 25 0 1 0 304952394 30019584 7187 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6787/statm: 7329 7187 77 171 0 7156 0
Current children cumulated CPU time (s) 204.58
Current children cumulated vsize (KiB) 34672
[startup+211.101 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 6789
/proc/meminfo: memFree=1876088/2055920 swapFree=4180424/4192956
[pid=6781] ppid=6779 vsize=5356 CPUtime=0.12
/proc/6781/stat : 6781 (SatELiteGTI) S 6779 6781 6563 0 -1 4194304 336 1529 0 0 0 0 10 2 16 0 1 0 304952381 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6781/statm: 1339 239 197 169 0 50 0
[pid=6787] ppid=6781 vsize=29316 CPUtime=210.85
/proc/6787/stat : 6787 (minisat_static) R 6781 6781 6563 0 -1 4194304 7206 0 0 0 21075 10 0 0 25 0 1 0 304952394 30019584 7192 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6787/statm: 7329 7192 77 171 0 7156 0
Current children cumulated CPU time (s) 210.97
Current children cumulated vsize (KiB) 34672
[startup+214.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 6789
/proc/meminfo: memFree=1876088/2055920 swapFree=4180424/4192956
[pid=6781] ppid=6779 vsize=5356 CPUtime=0.12
/proc/6781/stat : 6781 (SatELiteGTI) S 6779 6781 6563 0 -1 4194304 336 1529 0 0 0 0 10 2 16 0 1 0 304952381 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6781/statm: 1339 239 197 169 0 50 0
[pid=6787] ppid=6781 vsize=29316 CPUtime=214.05
/proc/6787/stat : 6787 (minisat_static) R 6781 6781 6563 0 -1 4194304 7211 0 0 0 21395 10 0 0 25 0 1 0 304952394 30019584 7197 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6787/statm: 7329 7197 77 171 0 7156 0
Current children cumulated CPU time (s) 214.17
Current children cumulated vsize (KiB) 34672
[startup+215.902 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 6789
/proc/meminfo: memFree=1876088/2055920 swapFree=4180424/4192956
[pid=6781] ppid=6779 vsize=5356 CPUtime=0.12
/proc/6781/stat : 6781 (SatELiteGTI) S 6779 6781 6563 0 -1 4194304 336 1529 0 0 0 0 10 2 16 0 1 0 304952381 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6781/statm: 1339 239 197 169 0 50 0
[pid=6787] ppid=6781 vsize=29316 CPUtime=215.65
/proc/6787/stat : 6787 (minisat_static) R 6781 6781 6563 0 -1 4194304 7211 0 0 0 21555 10 0 0 25 0 1 0 304952394 30019584 7197 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 1 0 0
/proc/6787/statm: 7329 7197 77 171 0 7156 0
Current children cumulated CPU time (s) 215.77
Current children cumulated vsize (KiB) 34672
[startup+216.706 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 6789
/proc/meminfo: memFree=1876088/2055920 swapFree=4180424/4192956
[pid=6781] ppid=6779 vsize=5356 CPUtime=0.12
/proc/6781/stat : 6781 (SatELiteGTI) S 6779 6781 6563 0 -1 4194304 336 1529 0 0 0 0 10 2 16 0 1 0 304952381 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6781/statm: 1339 239 197 169 0 50 0
[pid=6787] ppid=6781 vsize=29316 CPUtime=216.45
/proc/6787/stat : 6787 (minisat_static) R 6781 6781 6563 0 -1 4194304 7211 0 0 0 21635 10 0 0 25 0 1 0 304952394 30019584 7197 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6787/statm: 7329 7197 77 171 0 7156 0
Current children cumulated CPU time (s) 216.57
Current children cumulated vsize (KiB) 34672
[startup+217.102 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 6789
/proc/meminfo: memFree=1876088/2055920 swapFree=4180424/4192956
[pid=6781] ppid=6779 vsize=5356 CPUtime=0.12
/proc/6781/stat : 6781 (SatELiteGTI) S 6779 6781 6563 0 -1 4194304 336 1529 0 0 0 0 10 2 16 0 1 0 304952381 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6781/statm: 1339 239 197 169 0 50 0
[pid=6787] ppid=6781 vsize=29316 CPUtime=216.85
/proc/6787/stat : 6787 (minisat_static) R 6781 6781 6563 0 -1 4194304 7211 0 0 0 21675 10 0 0 25 0 1 0 304952394 30019584 7197 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/6787/statm: 7329 7197 77 171 0 7156 0
Current children cumulated CPU time (s) 216.97
Current children cumulated vsize (KiB) 34672
[startup+217.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/66 6789
/proc/meminfo: memFree=1876088/2055920 swapFree=4180424/4192956
[pid=6781] ppid=6779 vsize=5356 CPUtime=0.12
/proc/6781/stat : 6781 (SatELiteGTI) S 6779 6781 6563 0 -1 4194304 336 1529 0 0 0 0 10 2 16 0 1 0 304952381 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 237788259140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6781/statm: 1339 239 197 169 0 50 0
[pid=6787] ppid=6781 vsize=29316 CPUtime=217.05
/proc/6787/stat : 6787 (minisat_static) R 6781 6781 6563 0 -1 4194304 7211 0 0 0 21695 10 0 0 25 0 1 0 304952394 30019584 7197 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6787/statm: 7329 7197 77 171 0 7156 0
Current children cumulated CPU time (s) 217.17
Current children cumulated vsize (KiB) 34672
Child status: 10
Real time (s): 217.342
CPU time (s): 217.22
CPU user time (s): 217.086
CPU system time (s): 0.133979
CPU usage (%): 99.9438
Max. virtual memory (cumulated for all children) (KiB): 34672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 217.086
system time used= 0.133979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9383
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= 49
involuntary context switches= 1563
runsolver used 0.286956 second user time and 0.578911 second system time
The end
Begin job on node24 at 2009-05-19 23:39:49
IDJOB=1832115
IDBENCH=20494
IDSOLVER=671
FILE ID=node24/1832115-1242769188
PBS_JOBID= 9322274
Free space on /tmp= 66320 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/grieu/vmpc_26.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832115-1242769188/watcher-1832115-1242769188 -o /tmp/evaluation-result-1832115-1242769188/solver-1832115-1242769188 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832115-1242769188.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 7e9eba7a609bdbcf7c3a7e0f5c07ab04
RANDOM SEED=471978712
node24.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.232
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.232
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: 1907304 kB
Buffers: 11768 kB
Cached: 100104 kB
SwapCached: 6720 kB
Active: 59836 kB
Inactive: 60924 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1907304 kB
SwapTotal: 4192956 kB
SwapFree: 4180424 kB
Dirty: 2776 kB
Writeback: 0 kB
Mapped: 13964 kB
Slab: 13776 kB
Committed_AS: 1017720 kB
PageTables: 1444 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= 66320 MiB
End job on node24 at 2009-05-19 23:43:26